arXiv++ Combinatorics

We consider two extensions of free probability that have been studied in the research literature, and are based on the notions of c-freeness and respectively of infinitesimal freeness for noncommutative random variables. In a 2012 paper, Belinschi and Shlyakhtenko pointed out a connection between these two frameworks, at the level of their operations of 1-dimensional free additive convolution. Motivated by that, we propose a construction which produces a multi-variate version of the Belinschi-Shlyakhtenko result, together with a result concerning free products of multi-variate noncommutative distributions. Our arguments are based on the combinatorics of the specific types of cumulants used in c-free and in infinitesimal free probability. They work in a rather general setting, where the initial data consists of a vector space $V$ given together with a linear map $Δ: V \to V \otimes V$. In this setting, all the needed brands of cumulants live in the guise of families of multilinear functionals on $V$, and our main result concerns a certain transformation $Δ^{*}$ on such families of multilinear functionals.

The main goal of the paper is to establish a sufficient condition for a two-valenced association scheme to be schurian and separable. To this end, an analog of the Desargues theorem is introduced for a noncommutative geometry defined by the scheme in question. It turns out that if the geometry has enough many Desarguesian configurations, then under a technical condition the scheme is schurian and separable. This result enables us to give short proofs for known statements on the schurity and separability of quasi-thin and pseudocyclic schemes. Moreover, by the same technique we prove a new result: given a prime $p$, any $\{1,p\}$-scheme with thin residue isomorphic to an elementary abelian $p$-group of rank greater than two, is schurian and separable.

Typed decorated trees are used by Bruned, Hairer and Zambotti to give a description of a renormalisation processon stochastic PDEs. We here study the algebraic structures on these objects: multiple prelie algebrasand related operads (generalizing a result by Chapoton and Livernet), noncommutative and cocommutative Hopf algebras (generalizing Grossman and Larson's construction),commutative and noncocommutative Hopf algebras (generalizing Connes and Kreimer's construction),bialgebras in cointeraction (generalizing Calaque, Ebrahimi-Fard and Manchon's result). We also define families of morphisms and in particular we prove that any Connes-Kreimer Hopf algebraof typed and decorated trees is isomorphic to a Connes-Kreimer Hopf algebra of non--typed and decoratedtrees (the set of decorations of vertices being bigger), through a contraction process,and finally obtain the Bruned-Hairer-Zambotti construction as a subquotient.

The pentagram map is a discrete integrable system first introduced by Schwartz in 1992. It was proved to be intregable by Schwartz, Ovsienko, and Tabachnikov in 2010. Gekhtman, Shapiro, and Vainshtein studied Poisson geometry associated to certain networks embedded in a disc or annulus, and its relation to cluster algebras. Later, Gekhtman et al. and Tabachnikov reinterpreted the pentagram map in terms of these networks, and used the associated Poisson structures to give a new proof of integrability. In 2011, Mari Beffa and Felipe introduced a generalization of the pentagram map to certain Grassmannians, and proved it was integrable. We reinterpret this Grassmann pentagram map in terms of noncommutative algebra, in particular the double brackets of Van den bergh, and generalize the approach of Gekhtman et al. to establish a noncommutative version of integrability.

This article serves as an introduction to several recent developments in the study of quasisymmetric functions. The focus of this survey is on connections between quasisymmetric functions and the combinatorial Hopf algebra of noncommutative symmetric functions, appearances of quasisymmetric functions within the theory of Macdonald polynomials, and analogues of symmetric functions. Topics include the significance of quasisymmetric functions in representation theory (such as representations of the 0-Hecke algebra), recently discovered bases (including analogues of well-studied symmetric function bases), and applications to open problems in symmetric function theory.

In this paper, a construction of an infinite dimensional associative algebra, which will be called a \emph{Surface Algebra}, is associated in a "canonical" way to a dessin d'enfant, or more generally, a cellularly embedded graph in a Riemann surface. Once the surface algebras are constructed we will see a construction of what we call here the associated \emph{Dessin Order} or more generally the \emph{Surface Order}. This provides a way of associating to every algebraic curve $X$, with function field $k(X)$ (defined over an arbitrary field $k$) the representation theory of its Surface Algebra and the lattices over Surface Orders, which are defined as pullbacks of certain matrix algebras over commutative $k$-algebras. We will then be able to prove that the center and the (noncommutative) normalization of the surface orders are invariant under the action of the absolute Galois group $\mathcal{G}(\overline{\mathbb{Q}}/\mathbb{Q})$. We will see that the surface algebras and surface orders are closely related to the fundamental group(oid) of the Riemann surfaces and the associated monodromy group. A description of the projective resolutions of the simple modules over the surface order is given and it will be shown that one can completely recover the dessin with the projective resolutions of the simple modules alone. In particular, the projective resolutions of the simple modules encode all combinatorial and topological data of the monodromy group (or cartographic group) of a dessin. Finally, as a corollary we are able to say that classifying dessins in an orbit of $\mathcal{G}(\overline{\mathbb{Q}}/\mathbb{Q})$ is equivalent to classifying dessin orders with a given normalization. We end with some further examples of surface algebras and surface orders related to the classical and geometric version of the Langlands Program.

We introduce a ring of noncommutative shifted symmetric functions based on an integer-indexed sequence of shift parameters. Using generating series and quasideterminants, this multiparameter approach produces deformations of the ring of noncommutative symmetric functions. Shifted versions of ribbon Schur functions are defined and form a basis for the ring. Further, we produce analogues of Jacobi-Trudi and Nägelsbach-Kostka formulas, a duality anti-algebra isomorphism, shifted quasi-Schur functions, and Giambelli's formula in this setup. In addition, an analogue of power sums is provided, satisfying versions of Wronski and Newton formulas. Finally, a realization of these noncommutative shifted symmetric functions as rational functions in noncommuting variables is given. These realizations have a shifted symmetry under exchange of the variables and are well-behaved under extension of the list of variables.

We show that the reciprocal of a partial sum with 2m terms of the alternating exponential series is the exponential generating function for permutations in which every increasing run has length congruent to 0 or 1 modulo 2m. More generally we study polynomials whose reciprocals are exponential generating functions for permutations whose run lengths are restricted to certain congruence classes, and extend these results to noncommutative symmetric functions that count words with the same restrictions on run lengths.

It is well-known that, on a purely algebraic level, a simplified algebraic version of the Central Limit Theorem (CLT) can be proved in the framework of a noncommutative probability space, under the hypotheses that the sequence of non-commutative random variables we consider is exchangeable and obeys a certain vanishing condition of some of its joint moments. In this approach (which covers versions for both the classical CLT and the CLT of free probability), the determination of the resulting limit law has to be addressed on a case-by-case basis. In this paper we discuss an instance of the above theorem which takes place in the framework of the group algebra of the infinite symmetric group $S_{\infty}$: the exchangeable sequence that is considered consists of the star-generators of $S_{\infty}$, and the expectation functional used on the group algebra of $S_{\infty}$ depends in a natural way on a parameter $d$, which is a positive integer. We identify precisely the limit distribution $μ_d$ for this special instance of exchangeable CLT, via a connection that $μ_d$ turns out to have with the average empirical eigenvalue distribution of a random GUE matrix of size $d \times d$. Moreover, we put into evidence a multi-variate version of this result which follows from the observation that, on the level of calculations with pair-partitions, the (non-centred) star-generators are related to a (centred) exchangeable sequence of GUE matrices with independent entries

We define a generalization of the Eulerian polynomials and the Eulerian numbers by considering a descent statistic on segmented permutations coming from the study of 2-species exclusion processes and a change of basis in a Hopf algebra. We give some properties satisfied by these generalized Eulerian numbers. We also define a $q$-analog of these Eulerian polynomials which gives back usual Eulerian polynomials and ordered Bell polynomials for specific values of its variables. We also define a noncommutative analog living in the algebra of segmented compositions. It gives us an explicit generating function and some identities satisfied by the generalized Eulerian polynomials such as a Worpitzky-type relation.

This is a short review of some recent results obtained by the author. These results are related the problem of obtaining polynomial identities (computational formulas) for some matrix functions by means of the known polarization theorem, including the case of noncommutative variables and of determinant of space matrices.

We define a new basis of the algebra of quasi-symmetric functions by lifting the cycle-index polynomials of symmetric groups to noncommutative polynomials with coefficients in the algebra of free quasi-symmetric functions, and then projecting the coefficients to $QSym$. By duality, we obtain a basis of noncommutative symmetric functions, for which a product formula and a recurrence in the form of a combinatorial complex are obtained. This basis allows to identify noncommutative symmetric functions with the quotient of FQSym induced by the pattern-replacement relation $321 \equiv 231$ and $312 \equiv 132$.

Recently, inspired by the Connes-Kreimer Hopf algebra of rooted trees, the second named author introduced rooted tree maps as a family of linear maps on the noncommutative polynomial algebra in two letters. These give a class of relations among multiple zeta values, which are known to be a subclass of the so-called linear part of the Kawashima relations. In this paper we show the opposite implication, that is the linear part of the Kawashima relations is implied by the relations coming from rooted tree maps.

The completely positive maps, a generalization of the nonnegative matrices, are a well-studied class of maps from $n\times n$ matrices to $m\times m$ matrices. The existence of the operator analogues of doubly stochastic scalings of matrices is equivalent to a multitude of problems in computer science and mathematics, such rational identity testing in non-commuting variables, noncommutative rank of symbolic matrices, and a basic problem in invariant theory (Garg, Gurvits, Oliveira and Wigderson, FOCS, 2016). We study operator scaling with specified marginals, which is the operator analogue of scaling matrices to specified row and column sums. We characterize the operators which can be scaled to given marginals, much in the spirit of the Gurvits' algorithmic characterization of the operators that can be scaled to doubly stochastic (Gurvits, Journal of Computer and System Sciences, 2004). Our algorithm produces approximate scalings in time poly(n,m) whenever scalings exist. A central ingredient in our analysis is a reduction from the specified marginals setting to the doubly stochastic setting. Operator scaling with specified marginals arises in diverse areas of study such as the Brascamp-Lieb inequalities, communication complexity, eigenvalues of sums of Hermitian matrices, and quantum information theory. Some of the known theorems in these areas, several of which had no effective proof, are straightforward consequences of our characterization theorem. For instance, we obtain a simple algorithm to find, when they exist, a tuple of Hermitian matrices with given spectra whose sum has a given spectrum. We also prove new theorems such as a generalization of Forster's theorem (Forster, Journal of Computer and System Sciences, 2002) concerning radial isotropic position.

The main ideas developed in this habilitation thesis consist in endowing combinatorial objects (words, permutations, trees, Young tableaux, etc.) with operations in order to construct algebraic structures. This process allows, by studying algebraically the structures thus obtained (changes of bases, generating sets, presentations, morphisms, representations), to collect combinatorial information about the underlying objects. The algebraic structures the most encountered here are magmas, posets, associative algebras, dendriform algebras, Hopf bialgebras, operads, and pros. This work explores the aforementioned research direction and provides many constructions having the particularity to build algebraic structures on combinatorial objects. We develop for instance a functor from nonsymmetric colored operads to nonsymmetric operads, from monoids to operads, from unitary magmas to nonsymmetric operads, from finite posets to nonsymmetric operads, from stiff pros to Hopf bialgebras, and from precompositions to nonsymmetric operads. These constructions bring alternative ways to describe already known structures and provide new ones, as for instance, some of the deformations of the noncommutative Faà di Bruno Hopf bialgebra of Foissy and a generalization of the dendriform operad of Loday. We also use algebraic structures to obtain enumerative results. In particular, nonsymmetric colored operads are promising devices to define formal series generalizing the usual ones. These series come with several products (for instance a pre-Lie product, an associative product, and their Kleene stars) enriching the usual ones on classical power series. This provides a framework and a toolbox to strike combinatorial questions in an original way. The first two chapters pose the elementary notions of combinatorics and algebraic combinatorics used here. The last ten chapters contain our original research.

Rooted tree maps assign to an element of the Connes-Kreimer Hopf algebra of rooted trees a linear map on the noncommutative polynomial algebra in two letters. Evaluated at any admissible word these maps induce linear relations between multiple zeta values. In this note we show that the derivation relations for multiple zeta values are contained in this class of linear relations.

Based on Hopf algebra of rooted trees introduced by Connes and Kreimer, we construct a class of linear maps on noncommutative polynomial algebra in two indeterminates, namely rooted tree maps. We also prove that their maps induce a class of relations among multiple zeta values.

We prove an infinite Ramsey theorem for noncommutative graphs realized as unital self-adjoint subspaces of linear operators acting on an infinite dimensional Hilbert space. Specifically, we prove that if V is such a subspace, then provided there is no obvious obstruction, there is an infinite rank projection P with the property that the compression PVP is either maximal or minimal in a certain natural sense.

We define spreadability systems as a generalization of exchangeability systems in order to unify various notions of independence and cumulants known in noncommutative probability. In particular, our theory covers monotone independence and monotone cumulants which do not satisfy exchangeability. To this end we study generalized zeta and Möbius functions in the context of the incidence algebra of the semilattice of ordered set partitions and prove an appropriate variant of Faa di Bruno's theorem. With the aid of this machinery we show that our cumulants cover most of the previously known cumulants. Due to noncommutativity of independence the behaviour of these cumulants with respect to independent random variables is more complicated than in the exchangeable case and the appearance of Goldberg coefficients exhibits the role of the Campbell-Baker-Hausdorff series in this context. In a final section we exhibit an interpretation of the Campbell-Baker-Hausdorff series as a sum of cumulants in a particular spreadability system, thus providing a new derivation of the Goldberg coefficients.

In the 1995 paper entitled "Noncommutative symmetric functions," Gelfand, et. al. defined two noncommutative symmetric function analogues for the power sum basis of the symmetric functions, along with analogues for the elementary and the homogeneous bases. They did not consider the noncommutative symmetric power sum duals in the quasisymmetric functions, which have since been explored only in passing by Derksen and Malvenuto-Reutenauer. These two distinct quasisymmetric power sum bases are the topic of this paper. In contrast to the simplicity of the symmetric power sums, or the other well known bases of the quasisymmetric functions, the quasisymmetric power sums have a more complex combinatorial description. As a result, although symmetric function proofs often translate directly to quasisymmetric analogues, this is not the case for quasisymmetric power sums. Neither is there a model for working with the quasisymmetric power sums in the work of Gelfand, et. al., which relies heavily on quasi-determinants (which can only be exploited by duality for our purposes) and is not particularly combinatorial in nature. This paper therefore offers a first glimpse at working with these two relatively unstudied quasisymmetric bases, avoiding duality where possible to encourage a previously unexplored combinatorial understanding.