Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Clusters, Coxeter-sortable elements and noncrossing partitions
Published
• View Publication
• BIB
We introduce Coxeter-sortable elements of a Coxeter group W. For finite W, we give bijective proofs that Coxeter-sortable elements are equinumerous with clusters and with noncrossing partitions. We characterize Coxeter-sortable elements in terms of their inversion sets and, in the classical cases, in terms of permutations.
Demonstration de la conjecture de Dumont
Published
• View Publication
• BIB
Dumont has conjectured a marvellous identity, which generalizes, in particular, the classical results of Lagrange, Gauss, Jacobi and Kronecker on the sums of two, three and four squares. We give a combinatorial proof of Dumont's conjecture.
Permutation Tableaux and Permutation Patterns
In this paper we introduce and study a class of tableaux which we call permutation tableaux; these tableaux are naturally in bijection with permutations, and they are a distinguished subset of the Le-diagrams of Alex Postnikov. The structure of these tableaux is in some ways more transparent than the structure of permutations; therefore we believe that permutation tableaux will be useful in furthering the understanding of permutations. We give two bijections from permutation tableaux to permutations. The first bijection carries tableaux statistics to permutation statistics based on relative sizes of pairs of letters in a permutation and their places. We call these statistics weak excedance statistics, because of their close relation to weak excedances. The second bijection carries tableaux statistics (via the weak excedance statistics) to statistics based on generalized permutation patterns. We then give enumerative applications of these bijections. One nice consequence of these results is that the polynomial enumerating permutation tableaux according to their content generalizes both Carlitz' q-analog of the Eulerian numbers and the more recent q-analog of the Eulerian numbers of the second author. We conclude our paper with a list of open problems, some of which have now been solved by Burstein, Corteel, Eriksen, Reifegerste, and Viennot.
Permutohedra, associahedra, and beyond
Published
• View Publication
• BIB
The volume and the number of lattice points of the permutohedron P_n are given by certain multivariate polynomials that have remarkable combinatorial properties. We give several different formulas for these polynomials. We also study a more general class of polytopes that includes the permutohedron, the associahedron, the cyclohedron, the Pitman-Stanley polytope, and various generalized associahedra related to wonderful compactifications of De Concini-Procesi. These polytopes are constructed as Minkowski sums of simplices. We calculate their volumes and describe their combinatorial structure. The coefficients of monomials in Vol P_n are certain positive integer numbers, which we call the mixed Eulerian numbers. These numbers are equal to the mixed volumes of hypersimplices. Various specializations of these numbers give the usual Eulerian numbers, the Catalan numbers, the numbers (n+1)^{n-1} of trees, the binomial coefficients, etc. We calculate the mixed Eulerian numbers using certain binary trees. Many results are extended to an arbitrary Weyl group.
The chromatic numbers of double coverings of a graph
Published in Discrete Math. 308(2008) 5078-5086
• View Publication
• BIB
If we fix a spanning subgraph $H$ of a graph $G$, we can define a chromatic number of $H$ with respect to $G$ and we show that it coincides with the chromatic number of a double covering of $G$ with co-support $H$. We also find a few estimations for the chromatic numbers of $H$ with respect to $G$.
Enumeration of non-positive planar trivalent graphs
Published in J Algebr Comb (2007) 25:357-373
• View Publication
• BIB
In this paper we construct inverse bijections between two sequences of finite sets. One sequence is defined by planar diagrams and the other by lattice walks. G. Kuperberg has shown that the number of elements in these two sets are equal. This problem and the methods we use are motivated by the representation theory of the exceptional simple Lie algebra $G_2$. However in this account we have emphasised the combinatorics.
Cluster algebras associated with extended Dynkin quivers
We show that the mutation class of a finite quiver without oriented cycles is finite if and only is the quiver is either Dynkin, extended Dynkin or has at most two vertices.
Cohomology of colorings of cycles
Published
• View Publication
• BIB
We compute the cohomology groups of the spaces of colorings of cycles, i.e., of the prodsimplicial complexes Hom(C_m,K_n). We perform the computation first with Z_2, and then with integer coefficients. The main technical tool is to use spectral sequences in conjunction with a detailed combinatorial analysis of a family of cubical complexes, which we call torus front complexes.
As an application of our method, we demonstrate how to collapse each connected component of Hom(C_m,C_n) onto a garland of cubes.
Lattice Delone simplices with super-exponential volume
Published in European Journal of Combinatorics 28 (2007), 801-806
• View Publication
• BIB
In this short note we give a construction of an infinite series of Delone simplices whose relative volume grows super-exponentially with their dimension. This dramatically improves the previous best lower bound, which was linear.
Spiral Chains: The Proofs of Tait's and Tutte's Three-Edge-Coloring Conjectures
In this paper we have shown without assuming the four color theorem of planar graphs that every (bridgeless) cubic planar graph has a three-edge-coloring. This is an old-conjecture due to Tait in the squeal of efforts in settling the four-color conjecture at the end of the 19th century. We have also shown the applicability of our method to another well-known three edge-coloring conjecture on cubic graphs. Namely Tutte's conjecture that "every 2-connected cubic graph with no Petersen minor is 3-edge colorable". Hence the conclusion of this paper implies another non-computer proof of the four color theorem by using spiral-chains in different context.
A Relative Laplacian spectral recursion
Published
• View Publication
• BIB
The Laplacian spectral recursion, satisfied by matroid complexes and shifted complexes, expresses the eigenvalues of the combinatorial Laplacian of a simplicial complex in terms of its deletion and contraction with respect to vertex e, and the relative simplicial pair of the deletion modulo the contraction. We generalize this recursion to relative simplicial pairs, which we interpret as intervals in the Boolean algebra. The deletion modulo contraction term is replaced by the result of removing from the interval all pairs of faces in the interval that differ only by vertex e.
We show that shifted pairs and some matroid pairs satisfy this recursion. We also show that the class of intervals satisfying this recursion is closed under a wide variety of operations, including duality and taking skeleta.
A remark on a theorem of M. Haiman
We deduce a special case of a theorem of M. Haiman concerning alternating polynomials in 2n variables from our results about almost commuting variety, obtained earlier in a joint work with W.-L. Gan.
A canonical semi-classical star-product
Published
• View Publication
• BIB
We study the Maurer-Cartan equation of the pre-Lie algebra of graphs controling the deformation theory of associative algebras and prove that there is a canonical solution within the class of graphs without circuits, without assuming the Jacobi identity. The proof is based on the unique factorization property of graph insertions.
Set maps, umbral calculus, and the chromatic polynomial
Published
• View Publication
• BIB
Some important properties of the chromatic polynomial also hold for any polynomial set map satisfying p_S(x+y)=\sum_{T\uplus U=S}p_T(x)p_U(y). Using umbral calculus, we give a formula for the expansion of such a set map in terms of any polynomial sequence of binomial type. This leads to some new expansions of the chromatic polynomial. We also describe a set map generalization of Abel polynomials.
Scales, fields, and a problem of Hurewicz
Published in Journal of the European Mathematical Society 10 (2008), 837-866
• View Publication
• BIB
Menger's basis property is a generalization of $σ$-compactness and admits an elegant combinatorial interpretation. We introduce a general combinatorial method to construct non $σ$-compact sets of reals with Menger's property. Special instances of these constructions give known counterexamples to conjectures of Menger and Hurewicz. We obtain the first explicit solution to the Hurewicz 1927 problem, that was previously solved by Chaber and Pol on a dichotomic basis.
The constructed sets generate nontrivial subfields of the real line with strong combinatorial properties, and most of our results can be stated in a Ramsey-theoretic manner.
Since we believe that this paper is of interest to a diverse mathematical audience, we have made a special effort to make it self-contained and accessible.
A Geometric Form for the Extended Patience Sorting Algorithm
Published
• View Publication
• BIB
Patience Sorting is a combinatorial algorithm that can be viewed as an iterated, non-recursive form of the Schensted Insertion Algorithm. In recent work the authors extended Patience Sorting to a full bijection between the symmetric group and certain pairs of combinatorial objects (called pile configurations) that are most naturally defined in terms of generalized permutation pattern and barred pattern avoidance. This Extended Patience Sorting Algorithm is very similar to the Robinson-Schensted-Knuth (or RSK) Correspondence, which is itself built from repeated application of the Schensted Insertion Algorithm.
In this work we introduce a geometric form for the Extended Patience Sorting Algorithm that is in some sense a natural dual algorithm to G. Viennot's celebrated Geometric RSK Algorithm. Unlike Geometric RSK, though, the lattice paths coming from Patience Sorting are allowed to intersect. We thus also give a characterization for the intersections of these lattice paths in terms of the pile configurations associated with a given permutation under the Extended Patience Sorting Algorithm.
Transitive Hall sets
We give the definition of Lazard and Hall sets in the context of transitive factorizations of free monoids. The equivalence of the two properties is proved. This allows to build new effective bases of free partially commutative Lie algebras. The commutation graphs for which such sets exist are completely characterized and we explicit, in this context, the classical PBW rewriting process.
Some New Exact van der Waerden Numbers
For positive integers $r,k_0,k_1,...,k_{r-1},$ the van der Waerden number $w(k_0,k_1,...,k_{r-1})$ is the least positive integer $n$ such that whenever $\{1,2,...,n\}$ is partitioned into $r$ sets $S_{0},S_{1},...,S_{r-1}$, there is some $i$ so that $S_i$ contains a $k_i$-term arithmetic progression. We find several new exact values of $w(k_0,k_1,...,k_{r-1})$. In addition, for the situation in which only one value of $k_i$ differs from 2, we give a precise formula for the van der Waerden function (provided this one value of $k_i$ is not too small)
Detecting the orientation of long links by finite type invariants
Published
• View Publication
• BIB
We prove the existence of a degree 7 Vassiliev invariant of long (or string) two-component links which is not preserved under the simultaneous change of orientation of both components. The non-invertibility of this invariant can be detected by the standard weight system with values in the tensor square of the universal enveloping algebra for $\gl(n)$.
RSK Insertion for Set Partitions and Diagram Algebras
Published
• View Publication
• BIB
We give combinatorial proofs of two identities from the representation theory of the partition algebra $C A_k(n), n \ge 2k$. The first is $n^k = \sum_λf^λm_k^λ$, where the sum is over partitions $λ$ of $n$, $f^λ$ is the number of standard tableaux of shape $λ$, and $m_k^λ$ is the number of "vacillating tableaux" of shape $λ$ and length $2k$. Our proof uses a combination of Robinson-Schensted-Knuth insertion and jeu de taquin. The second identity is $B(2k) = \sum_λ(m_k^λ)^2$, where $B(2k)$ is the number of set partitions of $\{1, >..., 2k\}$. We show that this insertion restricts to work for the diagram algebras which appear as subalgebras of the partition algebra: the Brauer, Temperley-Lieb, planar partition, rook monoid, planar rook monoid, and symmetric group algebras.