arXiv++ Combinatorics

Recent work on perturbative quantum field theory has led to much study of the Connes-Kreimer Hopf algebra. Its (graded) dual, the Grossman-Larson Hopf algebra of rooted trees, had already been studied by algebraists. L. Foissy introduced a noncommutative version of the Connes-Kreimer Hopf algebra, which turns out to be self-dual. Using some homomorphisms defined by the author and W. Zhao, we describe a commutative diagram that relates the aforementioned Hopf algebras to each other and to the Hopf algebras of symmetric functions, noncommutative symmetric functions, and quasi-symmetric functions.

We introduce a shifted analog of the plactic monoid of Lascoux and Schützenberger, the \emph{shifted plactic monoid}. It can be defined in two different ways: via the \emph{shifted Knuth relations}, or using Haiman's mixed insertion. Applications include: a new combinatorial derivation (and a new version of) the shifted Littlewood-Richardson Rule; similar results for the coefficients in the Schur expansion of a Schur $P$-function; a shifted counterpart of the Lascoux-Schützenberger theory of noncommutative Schur functions in plactic variables; a characterization of shifted tableau words; and more.

In this paper we obtain the LU-decomposition of a noncommutative linear system of equations that, in the rank one case, characterizes the image of the Lepowsky homomorphism $U(\lieg)^{K}\to U(\liek)^{M}\otimes U(\liea)$. This LU-decomposition can be transformed into very simple matrix identities, where the entries of the matrices involved belong to a special class of Jacobi polynomials. In particular, each entry of the L part of the original system is expressed in terms of a single ultraspherical Jacobi polynomial. In turns, these matrix identities yield a biorthogonality relation between the ultraspherical Jacobi polynomials.

We prove a Cauchy identity for free quasi-symmetric functions and apply it to the study of various bases. A free Weyl formula and a generalization of the splitting formula are also discussed.

We prove, by simple manipulation of commutators, two noncommutative generalizations of the Cauchy-Binet formula for the determinant of a product. As special cases we obtain elementary proofs of the Capelli identity from classical invariant theory and of Turnbull's Capelli-type identities for symmetric and antisymmetric matrices.

We introduce analogs of the Hopf algebra of Free quasi-symmetric functions with bases labelled by colored permutations. When the color set is a semigroup, an internal product can be introduced. This leads to the construction of generalized descent algebras associated with wreath products $Γ\wr\SG_n$ and to the corresponding generalizations of quasi-symmetric functions. The associated Hopf algebras appear as natural analogs of McMahon's multisymmetric functions. As a consequence, we obtain an internal product on ordinary multi-symmetric functions. We extend these constructions to Hopf algebras of colored parking functions, colored non-crossing partitions and parking functions of type B.

Given an affine hyperplane arrangement with some additional structure, we define two finite-dimensional, noncommutative algebras, both of which are motivated by the geometry of hypertoric varieties. We show that these algebras are Koszul dual to each other, and that the roles of the two algebras are reversed by Gale duality. We also study the centers and representation categories of our algebras, which are in many ways analogous to integral blocks of category O.

We study finite set-theoretic solutions $(X,r)$ of the Yang-Baxter equation of square-free multipermutation type. We show that each such solution over $\C$ with multipermutation level two can be put in diagonal form with the associated Yang-Baxter algebra $\Acal(\C,X,r)$ having a $q$-commutation form of relations determined by complex phase factors. These complex factors are roots of unity and all roots of a prescribed form appear as determined by the representation theory of finite abelian group $\Gcal$ of left actions on $X$. We study the structure of $\Acal(\C,X,r)$ and show that they have a $\bullet$-product form `quantizing' the commutative algebra of polynomials in $|X|$ variables. We obtain the $\bullet$-product both as a Drinfeld cotwist for a certain canonical 2-cocycle and as a braided-opposite product for a certain crossed $\Gcal$-module (over any field $k$). We provide first steps in the noncommutative differential geometry of $\Acal(k,X,r)$ arising from these results. As a byproduct of our work we find that every such level 2 solution $(X,r)$ factorises as $r=f\circτ\circ f^{-1}$ where $τ$ is the flip map and $(X,f)$ is another solution coming from $X$ as a crossed $\Gcal$-set.

In this paper we will study the structure of algebras A(Gamma) associated to two directed, layered graphs Gamma. These are algebras associated with Hasse graphs of n-gons and the algebras Q_n related to pseudoroots of noncommutative polynomials. We will find the filtration preserving automorphism group of these algebras and then we will find the multiplicities of the irreducible representations of Aut(A(Gamma)) acting on the homogeneous components of A(Gamma) and A(Gamma) dual.

We introduce a new family of noncommutative analogues of the Hall-Littlewood symmetric functions. Our construction relies upon Tevlin's bases and simple q-deformations of the classical combinatorial Hopf algebras. We connect our new Hall-Littlewood functions to permutation tableaux, and also give an exact formula for the q-enumeration of permutation tableaux of a fixed shape. This gives an explicit formula for: the steady state probability of each state in the partially asymmetric exclusion process (PASEP); the polynomial enumerating permutations with a fixed set of weak excedances according to crossings; the polynomial enumerating permutations with a fixed set of descent bottoms according to occurrences of the generalized pattern 2-31.

On March 2004, Anshel, Anshel, Goldfeld, and Lemieux introduced the \emph{Algebraic Eraser} scheme for key agreement over an insecure channel, using a novel hybrid of infinite and finite noncommutative groups. They also introduced the \emph{Colored Burau Key Agreement Protocol (CBKAP)}, a concrete realization of this scheme. We present general, efficient heuristic algorithms, which extract the shared key out of the public information provided by CBKAP. These algorithms are, according to heuristic reasoning and according to massive experiments, successful for all sizes of the security parameters, assuming that the keys are chosen with standard distributions. Our methods come from probabilistic group theory (permutation group actions and expander graphs). In particular, we provide a simple algorithm for finding short expressions of permutations in $S_n$, as products of given random permutations. Heuristically, our algorithm gives expressions of length $O(n^2\log n)$, in time and space $O(n^3)$. Moreover, this is provable from \emph{the Minimal Cycle Conjecture}, a simply stated hypothesis concerning the uniform distribution on $S_n$. Experiments show that the constants in these estimations are small. This is the first practical algorithm for this problem for $n\ge 256$. Remark: \emph{Algebraic Eraser} is a trademark of SecureRF. The variant of CBKAP actually implemented by SecureRF uses proprietary distributions, and thus our results do not imply its vulnerability. See also arXiv:abs/12020598

This paper introduces noncommutative analogs of monomial symmetric functions and fundamental noncommutative symmetric functions. The expansion of ribbon Schur functions in both of these basis is nonnegative. With these functions at hand, one can derive a noncommutative Cauchy identity as well as study a noncommutative scalar product implied by Cauchy identity. This scalar product seems be the noncommutative analog of Hall scalar product in the commutative theory.

Let W be a finite Coxeter group. We define its Hecke-group algebra by gluing together appropriately its group algebra and its 0-Hecke algebra. We describe in detail this algebra (dimension, several bases, conjectural presentation, combinatorial construction of simple and indecomposable projective modules, Cartan map) and give several alternative equivalent definitions (as symmetry preserving operator algebra, as poset algebra, as commutant algebra, ...). In type A, the Hecke-group algebra can be described as the algebra generated simultaneously by the elementary transpositions and the elementary sorting operators acting on permutations. It turns out to be closely related to the monoid algebras of respectively nondecreasing functions and nondecreasing parking functions, the representation theory of which we describe as well. This defines three towers of algebras, and we give explicitly the Grothendieck algebras and coalgebras given respectively by their induction products and their restriction coproducts. This yields some new interpretations of the classical bases of quasi-symmetric and noncommutative symmetric functions as well as some new bases.

We prove conjectures of the third author [L. Tevlin, Proc. FPSAC'07, Tianjin] on two new bases of noncommutative symmetric functions: the transition matrices from the ribbon basis have nonnegative integral coefficients. This is done by means of two composition-valued statistics on permutations and packed words, which generalize the combinatorics of Genocchi numbers.

The operad of moulds is realized in terms of an operational calculus of formal integrals (continuous formal power series). This leads to many simplifications and to the discovery of various suboperads. In particular, we prove a conjecture of the first author about the inverse image of non-crossing trees in the dendriform operad. Finally, we explain a connection with the formalism of noncommutative symmetric functions.

We prove a q-identity in the dendriform dialgebra of colored free quasi-symmetric functions. For q=1, we recover identities due to Ebrahimi-Fard, Manchon, and Patras, in particular the noncommutative Bohnenblust-Spitzer identity.

The classical Frobenius problem is to compute the largest number g not representable as a non-negative integer linear combination of non-negative integers x_1, x_2, ..., x_k, where gcd(x_1, x_2, ..., x_k) = 1. In this paper we consider generalizations of the Frobenius problem to the noncommutative setting of a free monoid. Unlike the commutative case, where the bound on g is quadratic, we are able to show exponential or subexponential behavior for an analogue of g, depending on the particular measure chosen.

We prove the uniqueness of a translation invariant extension to non integer order classical symbols of the ordinary discrete sum on $L^1$-symbols, which we then describe using an Hadamard finite part procedure for sums over integer points of infinite unions of nested convex polytopes in $\R^d$. This canonical regularised sum is the building block to construct meromorphic extensions of the ordinary sum on holomorphic symbols. Explicit formulae for the complex residues at their poles are given in terms of noncommutative residues of classical symbols, thus extending results of Guillemin, Sternberg and Weitsman. These formulae are then applied to zeta functions associated with quadratic forms and with Laplacians on tori.

We construct and study a class of algebras associated to generalized layered graphs, i.e. directed graphs with a ranking function on their vertices. Each finite directed acyclic graph admits countably many structures of a generalized layered graph. We construct linear bases in such algebras and compute their Hilbert series. Our interest to generalized layered graphs and algebras associated to those graphs is motivated by their relations to factorizations of polynomials over noncommutative rings.

Dendriform structures arise naturally in algebraic combinatorics (where they allow, for example, the splitting of the shuffle product into two pieces) and through Rota-Baxter algebra structures (the latter appear, among others, in differential systems and in the renormalization process of pQFT). We prove new combinatorial identities in dendriform dialgebras that appear to be strongly related to classical phenomena, such as the combinatorics of Lyndon words, rewriting rules in Lie algebras, or the fine structure of the Malvenuto-Reutenauer algebra. One of these identities is an abstract noncommutative, dendriform, generalization of the Bohnenblust-Spitzer identity and of an identity involving iterated Chen integrals due to C.S. Lam.