Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Canonical characters on quasi-symmetric functions and bivariate Catalan numbers
Published
• View Publication
• BIB
Every character on a graded connected Hopf algebra decomposes uniquely as a product of an even character and an odd character (Aguiar, Bergeron, and Sottile, math.CO/0310016).
We obtain explicit formulas for the even and odd parts of the universal character on the Hopf algebra of quasi-symmetric functions. They can be described in terms of Legendre's beta function evaluated at half-integers, or in terms of bivariate Catalan numbers:
$$ C(m,n)=\frac{(2m)!(2n)!}{m!(m+n)!n!}. $$
Properties of characters and of quasi-symmetric functions are then used to derive several interesting identities among bivariate Catalan numbers and in particular among Catalan numbers and central binomial coefficients.
Regenerative partition structures
Published
• View Publication
• BIB
We consider Kingman's partition structures which are regenerative with respect to a general operation of random deletion of some part. Prototypes of this class are the Ewens partition structures which Kingman characterised by regeneration after deletion of a part chosen by size-biased sampling. We associate each regenerative partition structure with a corresponding regenerative composition structure, which (as we showed in a previous paper) can be associated in turn with a regenerative random subset of the positive halfline, that is the closed range of a subordinator. A general regenerative partition structure is thus represented in terms of the Laplace exponent of an associated subordinator. We also analyse deletion properties characteristic of the two-parameter family of partition structures.
Random cyclations
Published
• View Publication
• BIB
Consider n unit intervals, say [1,2], [3,4], ..., [2n-1,2n]. Identify their endpoints in pairs at random, with all (2n-1)!! = (2n-1) (2n-3) ... 3 1 pairings being equally likely. The result is a collection of cycles of various lengths, and we investigate the distribution of these lengths. The distribution is similar to that of the distribution of the lengths of cycles in a random permutation, but it also exhibits some striking differences.
The homotopy type of complexes of graph homomorphisms between cycles
Published
• View Publication
• BIB
In this paper we study the homotopy type of $\Hom(C_m,C_n)$, where $C_k$ is the cyclic graph with $k$ vertices. We enumerate connected components of $\Hom(C_m,C_n)$ and show that each such component is either homeomorphic to a point or homotopy equivalent to $S^1$.
Moreover, we prove that $\Hom(C_m,L_n)$ is either empty or is homotopy equivalent to the union of two points, where $L_n$ is an $n$-string, i.e., a tree with $n$ vertices and no branching points.
Characteristic-independence of Betti numbers of graph ideals
Published
• View Publication
• BIB
In this paper we study the Betti numbers of Stanley-Reisner ideals generated in degree 2. We show that the first six Betti numbers do not depend on the characteristic of the ground field. We also show that, if the number of variables $n$ is at most 10, all Betti numbers are independent of the ground field. For $n=11$, there exists precisely 4 examples in which the Betti numbers depend on the ground field. This is equivalent to the statement that the homology of flag complexes with at most 10 vertices is torsion free and that there exists precisely 4 non-isomorphic flag complexes with 11 vertices whose homology has torsion.
In each of the 4 examples mentioned above the 8th Betti numbers depend on the ground field and so we conclude that the highest Betti number which is always independent of the ground field is either 6 or 7; if the former is true then we show that there must exist a graph with 12 vertices whose 7th Betti number depends on the ground field.
Embedding the diamond graph in $L_p$ and dimension reduction in $L_1$
Published
• View Publication
• BIB
We show that any embedding of the level-k diamond graph of Newman and Rabinovich into $L_p$, $1 < p \le 2$, requires distortion at least $\sqrt{k(p-1) + 1}$. An immediate consequence is that there exist arbitrarily large n-point sets $X \subseteq L_1$ such that any D-embedding of X into $\ell_1^d$ requires $d \geq n^{Ω(1/D^2)}$. This gives a simple proof of the recent result of Brinkman and Charikar which settles the long standing question of whether there is an $L_1$ analogue of the Johnson-Lindenstrauss dimension reduction lemma.
Hypercube embedding of Wythoffians
Published
• View Publication
• BIB
The Wythoff construction takes a $d$-dimensional polytope $P$, a subset $S$ of $\{0,..., d\}$ and returns another $d$-dimensional polytope $P(S)$. If $P$ is a regular polytope, then $P(S)$ is vertex-transitive. This construction builds a large part of the Archimedean polytopes and tilings in dimension 3 and 4.
We want to determine, which of those Wythoffians $P(S)$ with regular $P$ have their skeleton or dual skeleton isometrically embeddable into the hypercubes $H_m$ and half-cubes ${1/2}H_m$. We find six infinite series, which, we conjecture, cover all cases for dimension $d>5$ and some sporadic cases in dimension 3 and 4 (see Tables \ref{WythoffEmbeddable3} and \ref{WythoffEmbeddable4}).
Three out of those six infinite series are explained by a general result about the embedding of Wythoff construction for Coxeter groups. In the last section, we consider the Euclidean case; also, zonotopality of embeddable $P(S)$ are addressed throughout the text.
A combinatorial approach to jumping particles
Published
• View Publication
• BIB
In this paper we consider a model of particles jumping on a row of cells, called in physics the one dimensional totally asymmetric exclusion process (TASEP). More precisely we deal with the TASEP with open or periodic boundary conditions and with two or three types of particles. From the point of view of combinatorics a remarkable feature of this Markov chain is that it involves Catalan numbers in several entries of its stationary distribution. We give a combinatorial interpretation and a simple proof of these observations. In doing this we reveal a second row of cells, which is used by particles to travel backward. As a byproduct we also obtain an interpretation of the occurrence of the Brownian excursion in the description of the density of particles on a long row of cells.
Covering the Baire space by families which are not finitely dominating
Published in Annals of Pure and Applied Logic 140 (2006), 60--71
• View Publication
• BIB
It is consistent (relative to ZFC) that the union of max{b,g} many families in the Baire space which are not finitely dominating is not dominating. In particular, it is consistent that for each nonprincipal ultrafilter U, the cofinality of the reduced ultrapower w^w/U is greater than max{b,g}. The model is constructed by oracle chain condition forcing, to which we give a self-contained introduction.
Complete toric varieties with reductive automorphism group
Published in Math. Z. 252 (2006), 767-786
• View Publication
• BIB
We give equivalent and sufficient criteria for the automorphism group of a complete toric variety, respectively a Gorenstein toric Fano variety, to be reductive. In particular we show that the automorphism group of a Gorenstein toric Fano variety is reductive, if the barycenter of the associated reflexive polytope is zero. Furthermore a sharp bound on the dimension of the reductive automorphism group of a complete toric variety is proven by studying the set of Demazure roots.
The Renyi-Ulam pathological liar game with a fixed number of lies
Published
• View Publication
• BIB
The $q$-round Renyi-Ulam pathological liar game with $k$ lies on the set $[n]:=\{1,...,n\}$ is a 2-player perfect information zero sum game. In each round Paul chooses a subset $A\subseteq [n]$ and Carole either assigns 1 lie to each element of $A$ or to each element of $[n]\setminus A$. Paul wins if after $q$ rounds there is at least one element with $k$ or fewer lies. The game is dual to the original Renyi-Ulam liar game for which the winning condition is that at most one element has $k$ or fewer lies. We prove the existence of a winning strategy for Paul to the existence of a covering of the discrete hypercube with certain relaxed Hamming balls. Defining $F^*_k(q)$ to be the minimum $n$ such that Paul can win the $q$-round pathological liar game with $k$ lies and initial set $[n]$, we find $F^*_1(q)$ and $F^*_2(q)$ exactly. For fixed $k$ we prove that $F_k^*(q)$ is within an absolute constant (depending only on $k$) of the sphere bound, $2^q/\binom{q}{\leq k}$; this is already known to hold for the original Renyi-Ulam liar game due to a result of J. Spencer.
On vertex covers, matchings and random trees
We study minimal vertex covers and maximal matchings on trees. We pay special attention to the corresponding backbones i.e. these vertices that are occupied and those that are empty in every minimal vertex cover (resp. these egdes that are occupied and those that are empty in every maximal matching). The key result in our approach is that for trees, the backbones can be recovered from a particular tri-coloring which has a simple characterization. We give applications to the computation of some averages related to the enumeration of minimal vertex covers and maximal matchings in the random labeled tree ensemble, both for finite size and in the asymptotic regime.
Assisted Quantum Secret Sharing
Published
• View Publication
• BIB
A restriction on quantum secret sharing (QSS) that comes from the no-cloning theorem is that any pair of authorized sets in an access structure should overlap. From the viewpoint of application, this places an unnatural constraint on secret sharing. We present a generalization, called assisted QSS (AQSS), where access structures without pairwise overlap of authorized sets is permissible, provided some shares are withheld by the share dealer. We show that no more than $λ-1$ withheld shares are required, where $λ$ is the minimum number of {\em partially linked classes} among the authorized sets for the QSS. This is useful in QSS schemes where the share dealer is honest by definition and is equivalent to a secret reconstructor. Our result means that such applications of QSS need not be thwarted by the no-cloning theorem.
Negative Latin square type partial difference sets in nonelementary abelian 2-groups
Published
• View Publication
• BIB
Combining results on quadrics in projective geometries with an algebraic interplay between finite fields and Galois rings, we construct the first known family of partial difference sets with negative Latin square type parameters in nonelementary abelian groups, the groups $\Z_4^{2k}\times \Z_2^{4 \ell-4k}$ for all $k$ when $\ell$ is odd and for all $k < \ell$ when $\ell$ is even. Similarly, we construct partial difference sets with Latin square type parameters in the same groups for all $k$ when $\ell$ is even and for all $k<\ell$ when $\ell$ is odd. These constructions provide the first example that the non-homomorphic bijection approach outlined by Hagita and Schmidt \cite{hagitaschmidt} can produce difference sets in groups that previously had no known constructions. Computer computations indicate that the strongly regular graphs associated to the PDSs are not isomorphic to the known graphs, and we conjecture that the family of strongly regular graphs will be new.
A Class of Permutation Polynomials of $\bF_{2^m}$ Related to Dickson Polynomials
Published
• View Publication
• BIB
We construct a class of permutation polynomials of $\bF_{2^m}$ that are closely related to Dickson polynomials.
Recent results on $p$-ranks and Smith normal forms of some $2-(v,k,λ)$ designs
Published
• View Publication
• BIB
We survey recent results on $p$-ranks and Smith normal forms of some $2-(v,k,λ)$ designs. In particular, we give a description of the recent work in \cite{csx} on the Smith normal forms of the 2-designs arising from projective and affine spaces over $\Ff_q$.
Harmonic analysis on metrized graphs
Published
• View Publication
• BIB
We study the Laplacian on a metrized graph, and its eigenfunctions.
Metrized graphs, electrical networks, and Fourier analysis
A metrized graph is a finite weighted graph whose edges are thought of as line segments. In this expository paper, we study the Laplacian operator on a metrized graph and some important functions related to it, including the ``j-function'', the effective resistance, and eigenfunctions of the Laplacian. We discuss the relationship between metrized graphs and electrical networks, which provides some physical intuition for the concepts being dealt with. We also discuss the relation between the Laplacian on a metrized graph and the combinatorial Laplacian matrix. We introduce the``canonical measure'' on a metrized graph, which arises naturally when considering the Laplacian of the effective resistance function. Finally, we discuss a generalization of classical Fourier analysis which utilizes eigenfunctions of the Laplacian on a metrized graph. During the course of the paper, we obtain a proof of Foster's network theorem and of an intriguing series identity.
A Pieri-type formula for the K-theory of a flag manifold
Published in Trans. Amer. Math. Soc. 359 (2007), 2317--2342.
• View Publication
• BIB
We derive explicit Pieri-type multiplication formulas in the Grothendieck ring of a flag variety. These expand the product of an arbitrary Schubert class and a special Schubert class in the basis of Schubert classes. These special Schubert classes are indexed by a cycle which has either the form (k-p+1,k-p+2,...,k+1) or the form (k+p,k+p-1,...,k), and are pulled back from a Grassmannian projection. Our formulas are in terms of certain labeled chains in the k-Bruhat order on the symmetric group and are combinatorial in that they involve no cancellations. We also show that the multiplicities in the Pieri formula are naturally certain binomial coefficients.
Largest family without A union B contained in C intersect D
Published in J. Combin. Theory Ser. A 111 (2005), no. 2, 331--336
• View Publication
• BIB
Let F be a family of subsets of an n-element set not containing four distinct members such that A union B is contained in C intersect D. It is proved that the maximum size of F under this condition is equal to the sum of the two largest binomial coefficients of order n. The maximum families are also characterized. A LYM-type inequality for such families is given, too.