Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Finite-Dimensional Crystals B^{2,s} for Quantum Affine Algebras of type D_{n}^{(1)}
Published in J. Alg. Combin. 23 (2006) 317-354
• View Publication
• BIB
The Kirillov--Reshetikhin modules W^{r,s} are finite-dimensional representations of quantum affine algebras U'_q(g), labeled by a Dynkin node r of the affine Kac--Moody algebra g and a positive integer s. In this paper we study the combinatorial structure of the crystal basis B^{2,s} corresponding to W^{2,s} for the algebra of type D_n^{(1)}.
The octahedron recurrence and gl(n) crystals
We study the hive model of gl(n) tensor products, following Knutson, Tao, and Woodward. We define a coboundary category where the tensor product is given by hives and where the associator and commutor are defined using a modified octahedron recurrence. We then prove that this category is equivalent to the category of crystals for the Lie algebra gl(n). The proof of this equivalence uses a new connection between the octahedron recurrence and the Jeu de Taquin and Schutzenberger involution procedures on Young tableaux.
A combinatorial interpretation for a super-Catalan recurrence
Nicholas Pippenger and Kristin Schleich have recently given a combinatorial interpretation for the second-order super-Catalan numbers (u_{n})_{n>=0}=(3,2,3,6,14,36,...): they count "aligned cubic trees" on n internal vertices. Here we give a combinatorial interpretation of the recurrence u_{n} = Sum_{k=0}^{n/2-1} ({n-2}choose{2k} 2^{n-2-2k} u_{k}): it counts these trees by number of deep interior vertices where deep interior means "neither a leaf nor adjacent to a leaf".
Vertex Partitions of Chordal Graphs
Published in J. Graph Theory, 53:167-172, 2006.
• View Publication
• BIB
A \emph{$k$-tree} is a chordal graph with no $(k+2)$-clique. An \emph{$\ell$-tree-partition} of a graph $G$ is a vertex partition of $G$ into `bags', such that contracting each bag to a single vertex gives an $\ell$-tree (after deleting loops and replacing parallel edges by a single edge). We prove that for all $k\geq\ell\geq0$, every $k$-tree has an $\ell$-tree-partition in which every bag induces a connected $\floor{k/(\ell+1)}$-tree. An analogous result is proved for oriented $k$-trees.
Tropical Mathematics
Published
• View Publication
• BIB
These are the notes for the Clay Mathematics Institute Senior Scholar Lecture which was delivered by Bernd Sturmfels in Park City, Utah, on July 22, 2004. The topic of this lecture is the ``tropical approach'' in mathematics, which has gotten a lot of attention recently in combinatorics, algebraic geometry and related fields. It offers an an elementary introduction to this subject, touching upon Arithmetic, Polynomials, Curves, Phylogenetics and Linear Spaces. Each section ends with a suggestion for further research. The bibliography contains numerousreferences for further reading in this field.
Constructions of Generalized Sidon Sets
Published in J. Combin. Theory Ser. A 113 (2006), no. 4, 591--607.
• View Publication
• BIB
We give explicit constructions of sets S with the property that for each integer k, there are at most g solutions to k=s_1+s_2, s_i\in S; such sets are called Sidon sets if g=2 and generalized Sidon sets if g\ge 3. We extend to generalized Sidon sets the Sidon-set constructions of Singer, Bose, and Ruzsa. We also further optimize Koulantzakis' idea of interleaving several copies of a Sidon set, extending the improvements of Cilleruelo & Ruzsa & Trujillo, Jia, and Habsieger & Plagne. The resulting constructions yield the largest known generalized Sidon sets in virtually all cases.
Haruspicy 3: The directed bond-animal generating function is not D-finite
Published
• View Publication
• BIB
While directed site-animals have been solved on several lattices, directed bond-animals remain unsolved on any non-trivial lattice. In this paper we demonstrate that the anisotropic generating function of directed bond-animals on the square lattice is fundamentally different from that of directed site-animals in that it is not differentiably finite. We also extend this result to directed bond-animals on hypercubic lattices.
This indicates that directed bond-animals are unlikely to be solved by similar methods to those used in the solution of directed site-animals. It also implies that a solution cannot by conjectured using computer packages such as GFUN or differential approximants.
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.