arXiv++ Combinatorics

Symmetric functions show up in several areas of mathematics including enumerative combinatorics and representation theory. Tewodros Amdeberhan conjectures equalities of $Σ_n$ characters sums over a new set called $Ev(λ)$. When investigating the alternating sum of characters for $Ev(λ)$ written in terms of the inner product of Schur functions and power sum symmetric functions, we found an equality between the alternating sum of power sum symmetric polynomials and a product of monomial symmetric polynomials. As a consequence, a special case of an alternating sum of $Σ_n$ characters over the set $Ev(λ)$ equals $0$.

The operation of twinning a graph at a vertex was introduced by Foley, Hoàng, and Merkel (2019), who conjectured that twinning preserves $e$-positivity of the chromatic symmetric function. A counterexample to this conjecture was given by Li, Li, Wang, and Yang (2021). In this paper, we prove that $e$-positivity is preserved by the twinning operation on cycles, by giving an $e$-positive generating function for the chromatic symmetric function, as well as an $e$-positive recurrence. We derive similar $e$-positive generating functions and recurrences for twins of paths. Our methods make use of the important triple deletion formulas of Orellana and Scott (2014), as well as new symmetric function identities.

We investigate a generalization of the classical notion of a Schur functor associated to a ribbon diagram. These functors are defined with respect to an arbitrary algebra, and in the case that the underlying algebra is the symmetric/exterior algebra, we recover the classical definition of Schur/Weyl functors, respectively. In general, we construct a family of 3-term complexes categorifying the classical concatenation/near-concatenation identity for symmetric functions, and one of our main results is that the exactness of these 3-term complexes is equivalent to the Koszul property of the underlying algebra $A$. We further generalize these ribbon Schur functors to the notion of a multi-Schur functor and construct a canonical filtration of these objects whose associated graded pieces are described explicitly; one consequence of this filtration is a complete equivariant description of the syzygies of arbitrary Segre products of Koszul modules over the Segre product of Koszul algebras. Further applications to the equivariant structure of derived invariants, symmetric function identities, and Koszulness of certain classes of modules are explored at the end, along with a characteristic-free computation of the regularity of a Schur functor applied to the tautological subbundle on projective space.

An almost self-conjugate (ASC) partition has a Young diagram in which each arm along the diagonal is exactly one box longer than its corresponding leg. Classically, the ASC partitions and their conjugates appear in two of Littlewood's symmetric function identities. These identities can be viewed as Euler characteristics of BGG complexes of the trivial representation, for classical Hermitian symmetric pairs. In this paper, we consider partitions in which the arm-leg difference is an arbitrary constant $m$. By viewing these partitions as highest weights, we establish an infinite family of dimension identities between $\mathfrak{gl}_n$- and $\mathfrak{gl}_{n+m}$-modules. We then interpret this result in the context of blocks in parabolic category $\mathcal{O}$: in particular, we exhibit six infinite families of congruent blocks whose corresponding posets of highest weights consist of the partitions in question. These posets, in turn, lead to generalizations of the Littlewood identities and their corresponding BGG complexes. Our results in this paper shed light on the surprising combinatorics underlying the work of Enright and Willenbring (2004).

For random integer matrices $M_1,\ldots,M_k \in \operatorname{Mat}_n(\mathbb{Z})$ with independent entries, we study the distribution of the cokernel $\operatorname{cok}(M_1 \cdots M_k)$ of their product. We show that this distribution converges to a universal one as $n \to \infty$ for a general class of matrix entry distributions, and more generally show universal limits for the joint distribution of $\operatorname{cok}(M_1),\operatorname{cok}(M_1M_2),\ldots,\operatorname{cok}(M_1 \cdots M_k)$. Furthermore, we characterize the universal distributions arising as marginals of a natural generalization of the Cohen-Lenstra measure to sequences of abelian groups with maps between them, which weights sequences inversely proportionally to their number of automorphisms. The proofs develop an extension of the moment method of Wood to joint moments of multiple groups, and rely also on the connection to Hall-Littlewood polynomials and symmetric function identities. As a corollary we obtain an explicit universal distribution for coranks of random matrix products over $\mathbb{F}_p$ as the matrix size tends to infinity.

This is a chapter for the upcoming book "Handbook of Combinatorial Algebraic Geometry". Comments are welcome! We cover symmetric function identities tied to delta operators, as well as representation-theoretic and geometric avatars of these identities.

Plethysm is a fundamental operation in symmetric function theory, derived directly from its connection with representation theory. However, it does not admit a simple combinatorial interpretation, and finding coefficients of Schur function plethysms is a major open question. In this paper, we introduce a graph-theoretic interpretation for any plethysm based on the chromatic symmetric function. We use this interpretation to give simple proofs of new and previously known plethystic identities, as well as chromatic symmetric function identities.

In [Haglund, Remmel, Wilson 2018] the authors state two versions of the so called Delta conjecture, the rise version and the valley version. Of the former, they also give a more general statement in which zero labels are also allowed. In [Qiu, Wilson 2020], the corresponding generalisation of the valley version is also formulated. In [D'Adderio, Iraci, Vanden Wyngaerd 2020], the authors use a pushing algorithm to prove the generalised version of the shuffle theorem. An extension of that argument is used in [Iraci, Vanden Wyngaerd 2020] to formulate a valley version of the (generalised) Delta square conjecture, and to suggest a symmetric function identity later stated and proved in [D'Adderio, Romero 2020]. In this paper, we use the pushing algorithm together with the aforementioned symmetric function identity in order to prove that the valley version of the Delta conjecture implies the valley version of the generalised Delta conjecture, which means that they are actually equivalent. Combining this with the results in [Iraci, Vanden Wyngaerd 2020], we prove that the valley version of the Delta conjecture also implies the corresponding generalised Delta square conjecture.

We derive an equation that is analogous to a well-known symmetric function identity: $\sum_{i=0}^n(-1)^ie_ih_{n-i}=0$. Here the elementary symmetric function $e_i$ is the Frobenius characteristic of the representation of $\mathcal{S}_i$ on the top homology of the subset lattice $B_i$, whereas our identity involves the representation of $\mathcal{S}_n\times \mathcal{S}_n$ on the Segre product of $B_n$ with itself. We then obtain a q-analogue of a polynomial identity given by Carlitz, Scoville and Vaughan through examining the Segre product of the subspace lattice $B_n(q)$ with itself. We recognize the connection between the Euler characteristic of the Segre product of $B_n(q)$ with itself and the representation on the Segre product of $B_n$ with itself by recovering our polynomial identity from specializing the identity on the representation of $\mathcal{S}_i\times \mathcal{S}_i$.

A special case of a fundamental result of Loewner and Horn [Trans. Amer. Math. Soc. 1969] says that given an integer $n \geq 1$, if the entrywise application of a smooth function $f : (0,\infty) \to \mathbb{R}$ preserves the set of $n \times n$ positive semidefinite matrices with positive entries, then $f$ and its first $n-1$ derivatives are non-negative on $(0,\infty)$. In a recent joint work with Belton-Guillot-Putinar [J. Eur. Math. Soc., in press], we proved a stronger version, and used it to strengthen the Schoenberg-Rudin characterization of dimension-free positivity preservers [Duke Math. J. 1942, 1959]. In recent works with Belton-Guillot-Putinar [Adv. Math. 2016] and with Tao [Amer. J. Math., in press] we used local, real-analytic versions at the origin of the Horn-Loewner condition, and discovered unexpected connections between entrywise polynomials preserving positivity and Schur polynomials. In this paper, we unify these two stories via a Master Theorem (Theorem A) which (i) simultaneously unifies and extends all of the aforementioned variants; and (ii) proves the positivity of the first $n$ nonzero Taylor coefficients at individual points rather than on all of $(0,\infty)$. A key step in the proof is a new determinantal / symmetric function calculation (Theorem B), which shows that Schur polynomials arise naturally from considering arbitrary entrywise maps that are sufficiently differentiable. Of independent interest may be the following application to symmetric function theory: we extend the Schur function expansion of Cauchy's (1841) determinant (whose matrix entries are geometric series $1 / (1 - u_j v_k)$), as well as of a determinant of Frobenius [J. reine angew. Math. 1882] (whose matrix entries are a sum of two geometric series), to arbitrary power series, and over all commutative rings.

The modified Macdonald polynomials introduced by Garsia and Haiman (1996) have many remarkable combinatorial properties. One such class of properties involves applying the $\nabla$ operator of Bergeron and Garsia (1999) to basic symmetric functions. The first discovery of this type was the Shuffle Conjecture of Haglund, Haiman, Loehr, Remmel, and Ulyanov (2005), which relates the expression $\nabla e_n$ to parking functions. A refinement of this conjecture, called the Compositional Shuffle Conjecture, was introduced by Haglund, Morse, and Zabrocki (2012) and proved by Carlsson and Mellit (2015). We give a symmetric function identity relating hook monomial symmetric functions to the operators used in the Compositional Shuffle Conjecture. This implies a parking function interpretation for nabla of a hook monomial symmetric function, as well as LLT positivity. We show that our identity is a $q$-analog of the expansion of a hook monomial into complete homogeneous symmetric functions given by Kulikauskas and Remmel (2006). We use this connection to conjecture a model for expanding $\nabla m_μ$ in this way when $μ$ is not a hook.

An identity of Chung, Graham and Knuth involving binomial coefficients and Eulerian numbers motivates our study of a class of polynomials that we call binomial-Eulerian polynomials. These polynomials share several properties with the Eulerian polynomials. For one thing, they are $h$-polynomials of simplicial polytopes, which gives a geometric interpretation of the fact that they are palindromic and unimodal. A formula of Foata and Schützenberger shows that the Eulerian polynomials have a stronger property, namely $γ$-positivity, and a formula of Postnikov, Reiner and Williams does the same for the binomial-Eulerian polynomials. We obtain $q$-analogs of both the Foata-Schützenberger formula and an alternative to the Postnikov-Reiner-Williams formula, and we show that these $q$-analogs are specializations of analogous symmetric function identities. Algebro-geometric interpretations of these symmetric function analogs are presented.

These notes -- originating from a one-semester class by their second author at the University of Minnesota -- survey some of the most important Hopf algebras appearing in combinatorics. After introducing coalgebras, bialgebras and Hopf algebras in general, we study the Hopf algebra of symmetric functions, including Zelevinsky's axiomatic characterization of it as a "positive self-adjoint Hopf algebra" and its application to the representation theory of symmetric and (briefly) finite general linear groups. The notes then continue with the quasisymmetric and the noncommutative symmetric functions, some Hopf algebras formed from graphs, posets and matroids, and the Malvenuto-Reutenauer Hopf algebra of permutations. Among the results surveyed are the Littlewood-Richardson rule and other symmetric function identities, Zelevinsky's structure theorem for PSHs, the antipode formula for P-partition enumerators, the Aguiar-Bergeron-Sottile universal property of QSym, the theory of Lyndon words, the Gessel-Reutenauer bijection, and Hazewinkel's polynomial freeness of QSym. The notes are written with a graduate student reader in mind, being mostly self-contained but requiring a good familiarity with multilinear algebra and -- for the representation-theory applications -- basic group representation theory.

We prove and conjecture some new symmetric function identities, which equate the generating series of 1. Plane partitions, subject to certain restrictions and weightings, and 2. Alternating sign matrices, subject to certain symmetry properties. The left hand side of each of our identities is a simple refinement of a relevant Cauchy or Littlewood identity, allowing them to be interpreted as generating series for plane partitions. The right hand side of each identity is a partition function of the six-vertex model, on a relevant domain. These can be interpreted as generating series for alternating sign matrices, using the well known bijection with six-vertex model configurations.

We present several multi-variable generating functions for a new pattern matching condition on the wreath product of the cyclic group and the symmetric group. Our new pattern matching condition requires that the underlying permutations match in the usual sense of pattern matching for the symmetric group and that the corresponding sequence of signs match in the sense of words, rather than the exact equality of signs which has been previously studied. We produce the generating functions for the number of matches that occur in elements of the wreath product for any pattern of length 2 by applying appropriate homomorphisms from the ring of symmetric functions over an infinite number of variables to simple symmetric function identities. We also provide multi-variable generating functions for the distribution of non-overlapping matches and for the number of elements of the wreath product which have exactly 2 matches which do not overlap for several patterns of length 2.

Using Schur positivity and the principal specialization of Schur functions, we provide a proof of a recent conjecture of Liu and Wang on the $q$-log-convexity of the Narayana polynomials, and a proof of the second conjecture that the Narayana transformation preserves the log-convexity. Based on a formula of Bränd$\mathrm{\acute{e}}$n which expresses the $q$-Narayana numbers as the specializations of Schur functions, we derive several symmetric function identities using the Littlewood-Richardson rule for the product of Schur functions, and obtain the strong $q$-log-convexity of the Narayana polynomials and the strong $q$-log-concavity of the $q$-Narayana numbers.

Given a partition $\la = (\la_1, \la_2, ... \la_k)$, let $\la^{rc} = (\la_2-1, \la_3-1, ... \la_k-1)$. It is easily seen that the diagram $\la\slash \la^{rc}$ is connected and has no $2 \times 2$ subdiagrams which we shall refer to as a ribbon. To each ribbon $R$, we associate a symmetric function operator $S^R$. We may define the major index of a ribbon $maj(R)$ to be the major index of any permutation that fits the ribbon. This paper is concerned with the operator $H_{1^k}^q = \sum_R q^{maj(R)} S^R$ where the sum is over all $2^{k-1}$ ribbons of size $k$. We show here that $H_{1^k}^q$ has truly remarkable properties, in particular that it is a Rodriguez operator that adds a column to the Hall-Littlewood symmetric functions. We believe that some of the tools we introduce here to prove our results should also be of independent interest and may be useful to establish further symmetric function identities.