Hopf Algebras of m-permutations, (m+1)-ary trees, and m-parking functions

The m-Tamari lattice of F. Bergeron is an analogue of the clasical Tamari order defined on objects counted by Fuss-Catalan numbers, such as m-Dyck paths or (m+1)-ary trees. On another hand, the Tamari order is related to the product in the Loday-Ronco Hopf algebra of planar binary trees. We introduce new combinatorial Hopf algebras based on (m+1)-ary trees, whose structure is described by the m-Tamari lattices. In the same way as planar binary trees can be interpreted as sylvester classes of permutations, we obtain (m+1)-ary trees as sylvester classes of what we call m-permutations. These objects are no longer in bijection with decreasing (m+1)-ary trees, and a finer congruence, called metasylvester, allows us to build Hopf algebras based on these decreasing trees. At the opposite, a coarser congruence, called hyposylvester, leads to Hopf algebras of graded dimensions (m+1)^{n-1}, generalizing noncommutative symmetric functions and quasi-symmetric functions in a natural way. Finally, the algebras of packed words and parking functions also admit such m-analogues, and we present their subalgebras and quotients induced by the various congruences.Comment: 51 page

Commutative combinatorial Hopf algebras

We propose several constructions of commutative or cocommutative Hopf algebras based on various combinatorial structures, and investigate the relations between them. A commutative Hopf algebra of permutations is obtained by a general construction based on graphs, and its non-commutative dual is realized in three different ways, in particular as the Grossman-Larson algebra of heap ordered trees. Extensions to endofunctions, parking functions, set compositions, set partitions, planar binary trees and rooted forests are discussed. Finally, we introduce one-parameter families interpolating between different structures constructed on the same combinatorial objects.Comment: 29 pages, LaTEX; expanded and updated version of math.CO/050245

A Hopf algebra of parking functions

If the moments of a probability measure on $\R$ are interpreted as a specialization of complete homogeneous symmetric functions, its free cumulants are, up to sign, the corresponding specializations of a sequence of Schur positive symmetric functions $(f_n)$. We prove that $(f_n)$ is the Frobenius characteristic of the natural permutation representation of \SG_n on the set of prime parking functions. This observation leads us to the construction of a Hopf algebra of parking functions, which we study in some detail.Comment: AmsLatex, 14 page

On dual canonical bases

The dual basis of the canonical basis of the modified quantized enveloping algebra is studied, in particular for type $A$. The construction of a basis for the coordinate algebra of the $n\times n$ quantum matrices is appropriate for the study the multiplicative property. It is shown that this basis is invariant under multiplication by certain quantum minors including the quantum determinant. Then a basis of quantum SL(n) is obtained by setting the quantum determinant to one. This basis turns out to be equivalent to the dual canonical basis

Entanglement of four qubit systems: a geometric atlas with polynomial compass I (the finite world)

We investigate the geometry of the four qubit systems by means of algebraic geometry and invariant theory, which allows us to interpret certain entangled states as algebraic varieties. More precisely we describe the nullcone, i.e., the set of states annihilated by all invariant polynomials, and also the so called third secant variety, which can be interpreted as the generalization of GHZ-states for more than three qubits. All our geometric descriptions go along with algorithms which allow us to identify any given state in the nullcone or in the third secant variety as a point of one of the 47 varieties described in the paper. These 47 varieties correspond to 47 non-equivalent entanglement patterns, which reduce to 15 different classes if we allow permutations of the qubits.Comment: 48 pages, 7 tables, 13 figures, references and remarks added (v2

On the geometry of a class of N-qubit entanglement monotones

A family of N-qubit entanglement monotones invariant under stochastic local operations and classical communication (SLOCC) is defined. This class of entanglement monotones includes the well-known examples of the concurrence, the three-tangle, and some of the four, five and N-qubit SLOCC invariants introduced recently. The construction of these invariants is based on bipartite partitions of the Hilbert space in the form ${\bf C}^{2^N}\simeq{\bf C}^L\otimes{\bf C}^l$ with $L=2^{N-n}\geq l=2^n$. Such partitions can be given a nice geometrical interpretation in terms of Grassmannians Gr(L,l) of l-planes in ${\bf C}^L$ that can be realized as the zero locus of quadratic polinomials in the complex projective space of suitable dimension via the Plucker embedding. The invariants are neatly expressed in terms of the Plucker coordinates of the Grassmannian.Comment: 7 pages RevTex, Submitted to Physical Review