arXiv++ Combinatorics

We introduce a coloured generalization $\mathrm{NSym}_A$ of the Hopf algebra of non-commutative symmetric functions described as a subalgebra of the of rooted ordered coloured trees Hopf algebra. Its natural basis can be identified with the set of sentences over alphabet $A$ (the set of colours). We present also its graded dual algebra $\mathrm{QSym}_A$ of coloured quasi-symmetric functions together with its realization in terms of power series in partially commutative variables. We provide formulas expressing multiplication, comultiplication and the antipode for these Hopf algebras in various bases -- the corresponding generalizations of the complete homogeneous, elementary, ribbon Schur and power sum bases of $\mathrm{NSym}$, and the monomial and fundamental bases of $\mathrm{QSym}$. We study also certain distinguished series of trees in the setting of restricted duals to Hopf algebras.

Let $P$ be a simple polytope of dimension $n$ with $m$ facets. In this paper we pay our attention on those elementary symmetric polynomials in the Stanley--Reisner face ring of $P$ and study how the decomposability of the $n$-th elementary symmetric polynomial influences on the combinatorics of $P$ and the topology and geometry of toric spaces over $P$. We give algebraic criterions of detecting the decomposability of $P$ and determining when $P$ is $n$-colorable in terms of the $n$-th elementary symmetric polynomial. In addition, we define the Stanley--Reisner {\em exterior} face ring $\mathcal{E}(K_P)$ of $P$, which is non-commutative in the case of ${\Bbb Z}$ coefficients, where $K_P$ is the boundary complex of dual of $P$. Then we obtain a criterion for the (real) Buchstaber invariant of $P$ to be $m-n$ in terms of the $n$-th elementary symmetric polynomial in $\mathcal{E}(K_P)$. Our results as above can directly associate with the topology and geometry of toric spaces over $P$. In particular, we show that the decomposability of the $n$-th elementary symmetric polynomial in $\mathcal{E}(K_P)$ with ${\Bbb Z}$ coefficients can detect the existence of the almost complex structures of quasitoric manifolds over $P$, and if the (real) Buchstaber invariant of $P$ is $m-n$, then there exists an essential relation between the $n$-th equivariant characteristic class of the (real) moment-angle manifold over $P$ in $\mathcal{E}(K_P)$ and the characteristic functions of $P$.

We propose a $q$-analog of classical plethystic conjectures due to Foulkes. In our conjectures, a divided difference of plethysms of Hall-Littlewood polynomials $H_n(\mathbf{x};q)$ replaces the analogous difference of plethysms of complete homogeneous symmetric functions $h_n(\mathbf{x})$ in Foulkes conjecture. At $q=0$, we get back the original statement of Foulkes, and we show that our version holds at $q=1$. We discuss further supporting evidence, as well as various generalizations.

The \emph{$q,t$-Catalan numbers} $C_n(q,t)$ are polynomials in $q$ and $t$ that reduce to the ordinary Catalan numbers when $q=t=1$. These polynomials have important connections to representation theory, algebraic geometry, and symmetric functions. Haglund and Haiman discovered combinatorial formulas for $C_n(q,t)$ as weighted sums of Dyck paths (or equivalently, integer partitions contained in a staircase shape). This paper undertakes a combinatorial investigation of the joint symmetry property $C_n(q,t)=C_n(t,q)$. We conjecture some structural decompositions of Dyck objects into "mutually opposite" subcollections that lead to a bijective explanation of joint symmetry in certain cases. A key new idea is the construction of infinite chains of partitions that are independent of $n$ but induce the joint symmetry for all $n$ simultaneously. Using these methods, we prove combinatorially that for $0\leq k\leq 9$ and all $n$, the terms in $C_n(q,t)$ of total degree $\binom{n}{2}-k$ have the required symmetry property.

We study the eigenvalues of a Laplace-Beltrami operator defined on the set of the symmetric polynomials, where the eigenvalues are expressed in terms of partitions of integers. By assigning partitions with the restricted uniform measure, the restricted Jack measure, the uniform measure or the Plancherel measure, we prove that the global distribution of the eigenvalues is asymptotically a new distribution $μ$, the Gamma distribution, the Gumbel distribution and the Tracy-Widom distribution, respectively. An explicit representation of $μ$ is obtained by a function of independent random variables. We also derive an independent result on random partitions itself: a law of large numbers for the restricted uniform measure. Two open problems are also asked.

This paper surveys some combinatorial aspects of Smith normal form, and more generally, diagonal form. The discussion includes general algebraic properties and interpretations of Smith normal form, critical groups of graphs, and Smith normal form of random integer matrices. We then give some examples of Smith normal form and diagonal form arising from (1) symmetric functions, (2) a result of Carlitz, Roselle, and Scoville, and (3) the Varchenko matrix of a hyperplane arrangement.

Crystal graphs, in the sense of Kashiwara, carry a natural monoid structure given by identifying words labelling vertices that appear in the same position of isomorphic components of the crystal. In the particular case of the crystal graph for the $q$-analogue of the special linear Lie algebra $\mathfrak{sl}_{n}$, this monoid is the celebrated plactic monoid, whose elements can be identified with Young tableaux. The crystal graph and the so-called Kashiwara operators interact beautifully with the combinatorics of Young tableaux and with the Robinson--Schensted--Knuth correspondence and so provide powerful combinatorial tools to work with them. This paper constructs an analogous `quasi-crystal' structure for the hypoplactic monoid, whose elements can be identified with quasi-ribbon tableaux and whose connection with the theory of quasi-symmetric functions echoes the connection of the plactic monoid with the theory of symmetric functions. This quasi-crystal structure and the associated quasi-Kashiwara operators are shown to interact just as neatly with the combinatorics of quasi-ribbon tableaux and with the hypoplactic version of the Robinson--Schensted--Knuth correspondence. A study is then made of the interaction of the crystal graph of the plactic monoid and the quasi-crystal graph for the hypoplactic monoid. Finally, the quasi-crystal structure is applied to prove some new results about the hypoplactic monoid.

The modified Macdonald polynomials, introduced by Garsia and Haiman (1996), have many astounding combinatorial properties. One such class of properties involves applying the related $\nabla$ operator of Bergeron and Garsia (1999) to basic symmetric functions. The first discovery of this type was the (recently proven) Shuffle Conjecture of Haglund, Haiman, Loehr, Remmel, and Ulyanov (2005), which relates the expression $\nabla e_n$ to parking functions. In (2007), Loehr and Warrington conjectured a similar expression for $\nabla p_n$ in terms of labeled square paths. In this paper, we extend Haglund and Loehr's (2005) notion of schedules to labeled square paths and apply this extension to prove the Square Paths Conjecture.

We give a description of the tropical variety of univariate polynomials of degree n having two double roots. As a set, it is given as the union of three types of maximal cones of dimension n-1, where only cones of two of these types are cones of the secondary fan of {0,...,n}. Through Kapranov's theorem, this goal is achieved by a careful study of the possible valuations of the elementary symmetric functions of the roots of a polynomial with two double root. Despite its apparent simplicity, the computation of the tropical Severi variety has both combinatorial and arithmetic ingredients.

This is a set of working notes which give a second proof of the Shareshian--Wachs conjecture, the first (and recent) proof being by Brosnan and Chow in November 2015. The conjecture relates some symmetric functions constructed combinatorially out of unit interval graphs (their $q$-chromatic quasisymmetric functions), and some symmetric functions constructed algebro-geometrically out of Tymoczko's representation of the symmetric group on the equivariant cohomology ring of a family of subvarieties of the complex flag variety, called regular semisimple Hessenberg varieties. Brosnan and Chow's proof is based in part on the idea of deforming the Hessenberg varieties. The proof given here, in contrast, is based on the idea of recursively decomposing Hessenberg varieties, using a new Hopf algebra as the organizing principle for this recursion. We hope that taken together, each approach will shed some light on the other, since there are still many outstanding questions regarding the objects under study.

Goulden and Jackson (1996) introduced, using Jack symmetric functions, some multivariate generating series $ψ(x, y, z; t, 1+β)$ that might be interpreted as a continuous deformation of the generating series of rooted hypermaps. They made the following conjecture: the coefficients of $ψ(x, y, z; t, 1+β)$ in the power-sum basis are polynomials in $β$ with nonnegative integer coefficients (by construction, these coefficients are rational functions in $β$). We prove partially this conjecture, nowadays called $b$-conjecture, by showing that coefficients of $ψ(x, y, z; t, 1+ β)$ are polynomials in $β$ with rational coefficients. A key step of the proof is a strong factorization property of Jack polynomials when the Jack-deformation parameter $α$ tends to $0$, that may be of independent interest.

We review and present new studies on the relation between the partition functions of integrable lattice models and symmetric polynomials, and its combinatorial representation theory based on the correspondence, including our work. In particular, we examine the correspondence between the wavefunctions of the XXZ type, Felderhof type and the boson type integrable models and symmetric polynomials such as the Schur, Grothendieck and symplectic Schur functions. We also give a brief report of our work on generalizing the correspondence between the Felderhof models and factorial Schur and symplectic Schur functions.

The generalized Lax conjecture asserts that each hyperbolicity cone is a linear slice of the cone of positive semidefinite matrices. Hyperbolic polynomials give rise to a class of (hyperbolic) matroids which properly contains the class of matroids representable over the complex numbers. This connection was used by the second author to construct counterexamples to algebraic (stronger) versions of the generalized Lax conjecture by considering a non-representable hyperbolic matroid. The Vámos matroid and a generalization of it are, prior to this work, the only known instances of non-representable hyperbolic matroids. We prove that the Non-Pappus and Non-Desargues matroids are non-representable hyperbolic matroids by exploiting a connection between Euclidean Jordan algebras and projective geometries. We further identify a large class of hyperbolic matroids which contains the Vámos matroid and the generalized Vámos matroids recently studied by Burton, Vinzant and Youm. This proves a conjecture of Burton et al. We also prove that many of the matroids considered here are non-representable. The proof of hyperbolicity for the matroids in the class depends on proving nonnegativity of certain symmetric polynomials. In particular we generalize and strengthen several inequalities in the literature, such as the Laguerre-Turán inequality and Jensen's inequality. Finally we explore consequences to algebraic versions of the generalized Lax conjecture.

In the aim to understand the generalization of Stirling numbers occurring in the bosonic normal ordering problem, several combinatorial models have been proposed. In particular, Blasiak \emph{et al.} defined combinatorial objects allowing to interpret the number of $S_{\bf{r,s}}(k)$ appearing in the identity $(a^†)^{r_n}a^{s_n}\cdots(a^†)^{r_1}a^{s_1}=(a^†)^α\displaystyle\sum S_{\bf{r,s}}(k)(a^†)^k a^k$, where $α$ is assumed to be non-negative. These objects are used to define a combinatorial Hopf algebra which specializes to the enveloping algebra of the Heisenberg Lie algebra. Here, we propose a new variant of this construction which admits a realization with variables. This means that we construct our algebra from a free algebra $\mathbb{C}\langle A \rangle$ using quotient and shifted product. The combinatorial objects (B-diagrams) are slightly different from those proposed by Blasiak \emph{et al.}, but give also a combinatorial interpretation of the generalized Stirling numbers together with a combinatorial Hopf algebra related to Heisenberg Lie algebra. The main difference comes from the fact that the B-diagrams have the same number of inputs and outputs. After studying the combinatorics and the enumeration of B-diagrams, we propose two constructions of algebras called Fusion algebra $\mathcal{F}$, defined using formal variable and another algebra $\mathcal{B}$ constructed directly from the B-diagrams. We show the connection between these two algebras and that $\mathcal{B}$ can be endowed with a Hopf structure. We recognize two already known combinatorial Hopf subalgebras of $\mathcal{B}$ : $\mathrm{WSym}$ the algebra of word symmetric functions indexed by set partitions and $\mathrm{BWSym}$ the algebra of biword symmetric functions indexed by set partitions into lists.

The branching of (k-1)-Schur functions into k-Schur functions was given by Lapointe, Lam, Morse and Shimozono as chains in a poset on k-shapes. The k-Schur functions are the parameterless case of a more general family of symmetric functions over Q(t), conjectured to satisfy a k-branching formula given by weights on the k-shape poset. A concept of a (co)charge on a k-tableau was defined by Lapointe and Pinto. Although it is not manifestly positive, they prove it is compatible with the k-shape poset for standard k-tableau and the positivity follows. Morse introduced a manifestly positive notion of affine (co)charge on k-tableaux and conjectured that it matches the statistic of Lapointe-Pinto. Here we prove her conjecture and the positivity of k-(co)charge for semi-standard tableaux follows.

A probabilistic characterization of the dominance partial order on the set of partitions is presented. This extends work in "Symmetric polynomials and symmetric mean inequalities". Electron. J. Combin., 20(3): Paper 34, 2013. Let $n$ be a positive integer and let $ν$ be a partition of $n$. Let $F$ be the Ferrers diagram of $ν$. Let $m$ be a positive integer and let $p \in (0,1)$. Fill each cell of $F$ with balls, the number of which is independently drawn from the random variable $X = Bin(m,p)$. Given non-negative integers $j$ and $t$, let $P(ν,j,t)$ be the probability that the total number of balls in $F$ is $j$ and that no row of $F$ contains more that $t$ balls. We show that if $ν$ and $μ$ are partitions of $n$, then $ν$ dominates $μ$, i.e. $\sum_{i=1}^k ν(i) \geq \sum_{i=1}^k μ(i)$ for all positive integers $k$, if and only if $P(ν,j,t) \leq P(μ,j,t)$ for all non-negative integers $j$ and $t$. It is also shown that this same result holds when $X$ is replaced by any one member of a large class of random variables. Let $p = \{p_n\}_{n=0}^\infty$ be a sequence of real numbers. Let ${\cal T}_p$ be the $\mathbb{N}$ by $\mathbb{N}$ matrix with $({\cal T}_p)_{i,j} = p_{j-i}$ for all $i, j \in \mathbb{N}$ where we take $p_n = 0$ for $n < 0$. Let $(p^i)_j$ be the coefficient of $x^j$ in $(p(x))^i$ where $p(x) = \sum_{n=0}^\infty p_n x^n$ and $p^0(x) =1$. Let ${\cal S}_p$ be the $\mathbb{N}$ by $\mathbb{N}$ matrix with $({\cal S}_p)_{i,j} = (p^i)_j$ for all $i, j \in \mathbb{N}$. We show that if ${\cal T}_p$ is totally non-negative of order $k$ then so is ${\cal S}_p$. The case $k=2$ of this result is a key step in the proof of the result on domination. We also show that the case $k=2$ would follow from a combinatorial conjecture that might be of independent interest.

Using cocommutativity of the Hopf algebra of symmetric functions, certain skew Schur functions are proved to be equal. Some of these skew Schur function identities are new.

The theory of symmetric functions has been extended to the case where each variable is paired with an anticommuting one. The resulting expressions, dubbed superpolynomials, provide the natural N=1 supersymmetric version of the classical bases of symmetric functions. Here we consider the case where two independent anticommuting variables are attached to each ordinary variable. The N=2 super-version of the monomial, elementary, homogeneous symmetric functions, as well as the power sums, are then constructed systematically (using an exterior-differential formalism for the multiplicative bases), these functions being now indexed by a novel type of superpartitions. Moreover, the scalar product of power sums turns out to have a natural N=2 generalization which preserves the duality between the monomial and homogeneous bases. All these results are then generalized to an arbitrary value of N. Finally, for N=2, the scalar product and the homogenous functions are shown to have a one-parameter deformation, a result that prepares the ground for the yet-to-be-defined N=2 Jack superpolynomials.

The concept of $t$-difference operator for functions of partitions is introduced to prove a generalization of Stanley's theorem on polynomiality of Plancherel averages of symmetric functions related to contents and hook lengths. Our extension uses a generalization of the notion of Plancherel measure, based on walks in the Young lattice with steps given by the addition of $t$-hooks. It is well-known that the hook lengths of multiples of $t$ can be characterized by the Littlewood decomposition. Our study gives some further information on the contents and hook lengths of other congruence classes modulo $t$.

Motivated by a 1993 conjecture of Stanley and Stembridge, Shareshian and Wachs conjectured that the characteristic map takes the dot action of the symmetric group on the cohomology of a regular semisimple Hessenberg variety to $ωX_G(t)$, where $X_G(t)$ is the chromatic quasisymmetric function of the incomparability graph $G$ of the corresponding natural unit interval order, and $ω$ is the usual involution on symmetric functions. We prove the Shareshian--Wachs conjecture. Our proof uses the local invariant cycle theorem of Beilinson-Bernstein-Deligne to obtain a surjection from the cohomology of a regular Hessenberg variety of Jordan type $λ$ to a space of local invariant cycles; as $λ$ ranges over all partitions, these spaces collectively contain all the information about the dot action on a regular semisimple Hessenberg variety. Using a palindromicity argument, we show that in our case the surjections are actually isomorphisms, thus reducing the Shareshian-Wachs conjecture to computing the cohomology of a regular Hessenberg variety. But this cohomology has already been described combinatorially by Tymoczko; we give a bijective proof (using a generalization of a combinatorial reciprocity theorem of Chow) that Tymoczko's combinatorial description coincides with the combinatorics of the chromatic quasisymmetric function.