arXiv++ Combinatorics

We study P-Hopf algebras with one coassociative cooperation over different operads P. For example, we consider the Loday-Ronco dendriform Hopf algebra and its isomorphisms with the noncommutative planar Connes-Kreimer Hopf algebra and with a Hopf algebra of Brouder and Frabetti. We focus on Hopf algebra structures over free operads, like the operad Mag freely generated by a non-commutative non-associative binary operation, and the operad of Stasheff polytopes. In order to describe the operads of primitive elements we prove an analogon of the Poincare-Birkhoff-Witt theorem. We determine the generating series for these operads and show that the dimension of PrimMag(n) is related to the log-Catalan numbers. By a recursive method we show how, for small n, these spaces can be described as modules over the symmetric groups.

To calibrate Fourier analysis of $S_5$ ranking data by Markov chain Monte Carlo techniques, a set of moves (Markov basis) is needed. We calculate this basis, and use it to provide a new statistical analysis of two data sets. The calculation involves a large Gröbner basis computation (45825 generators), but reduction to a minimal basis and reduction by natural symmetries leads to a remarkably small basis (14 elements). Although the Gröbner basis calculation is infeasible for $S_6$, we exploit the symmetry of the problem to calculate a Markov basis for $S_6$ with 7,113,390 elements in 58 symmetry classes. We improve a bound on the degree of the generators for a Markov basis for $S_n$ and conjecture that this ideal is generated in degree 3.

The aim of the present survey paper is to provide an accessible introduction to a new chapter of representation theory - harmonic analysis for noncommutative groups with infinite-dimensional dual space. I omitted detailed proofs but tried to explain the main ideas of the theory and its connections with other fields. The fact that irreducible representations of the groups in question depend on infinitely many parameters leads to a number of new effects which never occurred in conventional noncommutative harmonic analysis. A link with stochastic point processes is especially emphasized. The exposition focuses on a single group, the infinite symmetric group. The reason is that presently this particular example is worked out the most. Furthermore, the infinite symmetric group can serve as a very good model for more complicated groups like the infinite-dimensional unitary group.

For any finite Coxeter system $(W,S)$ we construct a certain noncommutative algebra, so-called {\it bracket algebra}, together with a familiy of commuting elements, so-called {\it Dunkl elements.} Dunkl elements conjecturally generate an algebra which is canonically isomorphic to the coinvariant algebra of the group $W.$ We prove this conjecture for classical Coxeter groups and $I_2(m)$. We define a ``quantization'' and a multiparameter deformation of our construction and show that for Lie groups of classical type and $G_2,$ the algebra generated by Dunkl elements in the quantized bracket algebra is canonically isomorphic to the small quantum cohomology ring of the corresponding flag variety, as described by B. Kim. For crystallographic Coxeter systems we define {\it quantum Bruhat representation} of the corresponding bracket algebra. We study in more detail relations and structure of $B_n$-, $D_n$- and $G_2$-bracket algebras, and as an application, discover {\it Pieri type formula} in the $B_n$-bracket algebra. As a corollary, we obtain Pieri type formula for multiplication of arbitrary $B_n$-Schubert classes by some special ones. Our Pieri type formula is a generalization of Pieri's formulas obtained by A. Lascoux and M.-P. Schützenberger for flag varieties of type $A.$ We also introduce a super-version of the bracket algebra together with a family of pairwise anticommutative elements which describes ``noncommutative differential geometry on a finite Coxeter group'' in a sense of S. Majid.

We describe a general technique to study Dirac operators on noncommutative spaces under some additional assumptions. The main idea is to capture the compact resolvent condition in a combinatorial set up. Using this, we then prove that for a certain class of representations of the C^*-algebra C(SU_q(\ell+1)), any Dirac operator that diagonalises with respect to the natural basis of the underlying Hilbert space must have trivial sign.

Using the formalism of noncommutative symmetric functions, we derive the basic theory of the peak algebra of symmetric groups and of its graded Hopf dual. Our main result is to provide a representation theoretical interpretation of the peak algebra and its graded dual as Grothendieck rings of the tower of Hecke-Clifford algebras at $q=0$.

Given a basis for a polynomial ring, the coefficients in the expansion of a product of some of its elements in terms of this basis are called linearization coefficients. These coefficients have combinatorial significance for many classical families of orthogonal polynomials. Starting with a stochastic process and using the stochastic measures machinery introduced by Rota and Wallstrom, we calculate and give an interpretation of linearization coefficients for a number of polynomial families. The processes involved may have independent, freely independent or q-independent increments. The use of noncommutative stochastic processes extends the range of applications significantly, allowing us to treat Hermite, Charlier, Chebyshev, free Charlier and Rogers and continuous big q-Hermite polynomials. We also show that the q-Poisson process is a Markov process.

Cumulants linearize convolution of measures. We use a formula of Good to define noncommutative cumulants in a very general setting.It turns out that the essential property needed is exchangeability of random variables. Roughly speaking the formula says that cumulants are moments of a certain ``discrete Fourier transform'' of a random variable. This provides a simple unified method to understand the known examples of cumulants, like classical, free cumulants and various q-cumulants.

We continue the investigation of noncommutative cumulants. In this paper various characterizations of noncommutative Gaussian random variables are proved.

Fock space constructions give rise to natural exchangeable families and are thus well suited for cumulant calculations. In this paper we develop some general formulas and compute cumulants for generalized Toeplitz operators, notably for q-Fock spaces, previously considered by M. Anshelevich and A. Nica, and Fock spaces for characters of the infinite symmetric group, which where constructed by Bozejko and Guta. An expression for cumulants in terms of the cycle-cover polynomials of certain directed graphs is obtained in this case.

Generalizations of the series exp and log to noncommutative non-associative and other types of algebras were considered by M.Lazard, and recently by V.Drensky and L.Gerritzen. There is a unique power series exp(x) in one non-associative variable x such that exp(x)exp(x)=exp(2x), exp'(0)=1. We call the unique series H=H(x,y) in two non-associative variables satisfying exp(H)=exp(x)exp(y) the non-associative Hausdorff series, and we show that the homogeneous components of H are primitive elements with respect to the co-addition for non-associative variables. We describe the space of primitive elements for the co-addition in non-associative variables using Taylor expansion and a projector onto the algebra A_0 of constants for the partial derivations. By a theorem of Kurosh, A_0 is a free algebra. We describe a procedure to construct a free algebra basis consisting of primitive elements.

We begin by considering the graded vector space with a basis consisting of rooted trees, graded by the count of non-root vertices. We define two linear operators on this vector space, the growth and pruning operators, which respectively raise and lower grading; their commutator is the operator that multiplies a rooted tree by its number of vertices. We define an inner product with respect to which the growth and pruning operators are adjoint, and obtain several results about the multiplicities associated with each operator. The symmetric algebra on the vector space of rooted trees (after a degree shift) can be endowed with a coproduct to make a Hopf algebra; this was defined by Kreimer in connection with renormalization. We extend the growth and pruning operators, as well as the inner product mentioned above, to Kreimer's Hopf algebra. On the other hand, the vector space of rooted trees itself can be given a noncommutative multiplication: with an appropriate coproduct, this gives the Hopf algebra of Grossman and Larson. We show the inner product on rooted trees leads to an isomorphism of the Grossman-Larson Hopf algebra with the graded dual of Kreimer's Hopf algebra, correcting an earlier result of Panaite.

We construct an addition and a multiplication on the set of planar binary trees, closely related to addition and multiplication on the integers. This gives rise to a new kind of (noncommutative) arithmetic theory. The price to pay for this generalization is that, first the addition is not commutative, second the multiplication is distributive with the addition only on the left. This algebraic structure is the "exponent part" of the free dendriform algebra on one generator, a notion related to several other types of algebras. In the second part we extend this theory to all the planar trees. Then it is related to the free dendriform trialgebra as constructed in Loday-Ronco's paper "Une dualite' entre simplexes standards et polytopes de Stasheff".

The goal of harmonic analysis on a (noncommutative) group is to decompose the most `natural' unitary representations of this group (like the regular representation) on irreducible ones. The infinite-dimensional unitary group U(infinity) is one of the basic examples of `big' groups whose irreducible representations depend on infinitely many parameters. Our aim is to explain what the harmonic analysis on U(infinity) consists of. We deal with unitary representations of a reasonable class, which are in 1-1 correspondence with characters (central, positive definite, normalized functions on U(infinity)). The decomposition of any representation of this class is described by a probability measure (called spectral measure) on the space of indecomposable characters. The indecomposable characters were found by Dan Voiculescu in 1976. The main result of the present paper consists in explicitly constructing a 4-parameter family of `natural' representations and computing their characters. We view these representations as a substitute of the nonexisting regular representation of U(infinity). We state the problem of harmonic analysis on U(infinity) as the problem of computing the spectral measures for these `natural' representations. A solution to this problem is given in the next paper math/0109194, joint with Alexei Borodin. We also prove a few auxiliary general results. In particular, it is proved that the spectral measure of any character of U(infinity) can be approximated by a sequence of (discrete) spectral measures for the restrictions of the character to the compact unitary groups U(N). This fact is a starting point for computing spectral measures.

We define two-parameter families of noncommutative symmetric functions and quasi-symmetric functions, which appear to be the proper analogues of the Macdonald symmetric functions in these settings.

This article is devoted to the study of several algebras which are related to symmetric functions, and which admit linear bases labelled by various combinatorial objects: permutations (free quasi-symmetric functions), standard Young tableaux (free symmetric functions) and packed integer matrices (matrix quasi-symmetric functions). Free quasi-symmetric functions provide a kind of noncommutative Frobenius characteristic for a certain category of modules over the 0-Hecke algebras. New examples of indecomposable $H_n(0)$-modules are discussed, and the homological properties of $H_n(0)$ are computed for small $n$. Finally, the algebra of matrix quasi-symmetric functions is interpreted as a convolution algebra.

This paper involves categories and computer science. The paper is motivated by a question which arises from two pieces of research. Firstly, the work of Brown and Heyworth which extends rewriting techniques to enable the computation of left Kan extensions over the category of sets. It is well known that left Kan extensions can be defined over categories other than Sets. Secondly, the `folklore' that rewriting theory is a special case of noncommutative Groebner basis theory. It is therefore natural to ask whether Groebner bases can provide a method for computing Kan extensions beyond the special case of rewriting. To answer this question completely, fully exploiting the computational power of Groebner basis techniques relating to Kan extensions is the ultimate aim. This paper provides a first step by showing how standard noncommutative Groebner basis procedures can be used to calculate left Kan extensions of K-category actions. In the final section of the paper a number of interesting problems arising from the work are identified.

We consider graded representations of the algebra NC of noncommutative symmetric functions on the Z-linear span of a graded poset P. The matrix coefficients of such a representation give a Hopf morphism from a Hopf algebra HP generated by the intervals of P to the Hopf algebra of quasi-symmetric functions. This provides a unified construction of quasi-symmetric generating functions from different branches of algebraic combinatorics, and this construction is useful for transferring techniques and ideas between these branches. In particular we show that the (Hopf) algebra of Billera and Liu related to Eulerian posets is dual to the peak (Hopf) algebra of Stembridge related to enriched P-partitions, and connect this to the combinatorics of the Schubert calculus for isotropic flag manifolds.

Given a locally finite graded set A and a commutative, associative operation on A that adds degrees, we construct a commutative multiplication * on the set of noncommutative polynomials in A which we call a quasi-shuffle product; it can be viewed as a generalization of the shuffle product. The resulting commutative algebra can be given the structure of a Hopf algebra (_A_,*,Delta). In the case where A is the set of positive integers and the operation on A is addition, (_A_,*,Delta) is the Hopf algebra of quasi-symmetric functions. If rational coefficients are allowed, there is a Hopf algebra isomorphism exp from the shuffle Hopf algebra on A onto (_A_,*,Delta). We discuss the dual of (_A_,*,Delta), and define a deformation *_q of * that coincides with * when q = 1 and is isomorphic to the concatenation product when q is not a root of unity. Finally, we discuss various examples of this construction.

Stanley associated with a graph G a symmetric function X_G which reduces to G's chromatic polynomial under a certain specialization of variables. He then proved various theorems generalizing results about the chromatic polynomial, as well as new ones that cannot be interpreted at that level. Unfortunately, X_G does not satisfy a Deletion-Contraction Law which makes it difficult to apply induction. We introduce a symmetric function in noncommuting variables which does have such a law and specializes to X_G when the variables are allowed to commute. This permits us to further generalize some of Stanley's theorems and prove them in a uniform and straightforward manner. Furthermore, we make some progress on the (3+1)-free Conjecture of Stanley and Stembridge.