arXiv++ Combinatorics

We use the hook lengths of a partition to define two rectangular tableaux. We prove these tableaux have equal multisets of entries, first by elementary combinatorial arguments, and then using Stanley's Hook Content Formula and symmetric polynomials.

Many families of combinatorial objects have a Hopf monoid structure. Aguiar and Ardila introduced the Hopf monoid of generalized permutahedra and showed that it contains various other notable combinatorial families as Hopf submonoids, including graphs, posets, and matroids. We introduce the Hopf monoid of orbit polytopes, which is generated by the generalized permutahedra that are invariant under the action of the symmetric group. We show that modulo normal equivalence, these polytopes are in bijection with integer compositions. We interpret the Hopf structure through this lens, and we show that applying the first Fock functor to this Hopf monoid gives a Hopf algebra of compositions. We describe the character group of the Hopf monoid of orbit polytopes in terms of noncommutative symmetric functions, and we give a combinatorial interpretation of the basic character and its polynomial invariant.

In a 2016 ArXiv posting F. Bergeron listed a variety of symmetric functions $G[X;q]$ with the property that $G[X;1+q]$ is $e$-positive. A large subvariety of his examples could be explained by the conjecture that the Dyck path LLT polynomials exhibit the same phenomenon. In this paper we list the results of computer explorations which suggest that other examples exhibit the same phenomenon. We prove two of the resulting conjectures and propose algorithms that would prove several of our conjectures. In writing this paper we have learned that similar findings have been independently discovered by Per Alexandersson.

Let G be a graph, and let $χ$G be its chromatic polynomial. For any non-negative integers i, j, we give an interpretation for the evaluation $χ$ (i) G (--j) in terms of acyclic orientations. This recovers the classical interpretations due to Stanley and to Green and Zaslavsky respectively in the cases i = 0 and j = 0. We also give symmetric function refinements of our interpretations, and some extensions. The proofs use heap theory in the spirit of a 1999 paper of Gessel.

The classical theory of symmetric functions has a central position in algebraic combinatorics, bridging aspects of representation theory, combinatorics, and enumerative geometry. More recently, this theory has been fruitfully extended to the larger ring of quasisymmetric functions, with corresponding applications. Here, we survey recent work extending this theory further to general asymmetric polynomials.

We present a review of the most important results in the theory of symmetric functions in superspace (or symmetric superpolynomials), summarizing all principal contributions since its introduction in 2001 in the context of the supersymmetric Calogero-Moser-Sutherland integrable model. We also mention some open problems which remain unanswered at this moment, in particular the connection with representation theory. In addition, we provide a free open access source code, relying on SageMath library, that can be used as a research tool for symmetric superpolynomials. The content is directed to an audience new to this research area, but who is familiar with the classical theory of symmetric functions.

A {\em spanning configuration} in the complex vector space $\mathbb{C}^k$ is a sequence $(W_1, \dots, W_r)$ of linear subspaces of $\mathbb{C}^k$ such that $W_1 + \cdots + W_r = \mathbb{C}^k$. We present the integral cohomology of the moduli space of spanning configurations in $\mathbb{C}^k$ corresponding to a given sequence of subspace dimensions. This simultaneously generalizes the classical presentation of the cohomology of partial flag varieties and the more recent presentation of a variety of spanning line configurations defined by the author and Pawlowski. This latter variety of spanning line configurations plays the role of the flag variety for the Haglund-Remmel-Wilson Delta Conjecture of symmetric function theory.

Edelman and Greene generalized the Robinson--Schensted--Knuth correspondence to reduced words in order to give a bijective proof of the Schur positivity of Stanley symmetric functions. Stanley symmetric functions may be regarded as the stable limits of Schubert polynomials, and similarly Schur functions may be regarded as the stable limits of Demazure characters for the general linear group. We modify the Edelman--Greene correspondence to give an analogous, explicit formula for the Demazure character expansion of Schubert polynomials. Our techniques utilize dual equivalence and its polynomial variation, but here we demonstrate how to extract explicit formulas from that machinery which may be applied to other positivity problems as well.

Gelfand-Tsetlin polytopes are classical objects in algebraic combinatorics arising in the representation theory of $\mathfrak{gl}_n(\mathbb{C})$. The integer point transform of the Gelfand-Tsetlin polytope $\mathrm{GT}(λ)$ projects to the Schur function $s_λ$. Schur functions form a distinguished basis of the ring of symmetric functions; they are also special cases of Schubert polynomials $\mathfrak{S}_{w}$ corresponding to Grassmannian permutations. For any permutation $w \in S_n$ with column-convex Rothe diagram, we construct a polytope $\mathcal{P}_{w}$ whose integer point transform projects to the Schubert polynomial $\mathfrak{S}_{w}$. Such a construction has been sought after at least since the construction of twisted cubes by Grossberg and Karshon in 1994, whose integer point transforms project to Schubert polynomials $\mathfrak{S}_{w}$ for all $w \in S_n$. However, twisted cubes are not honest polytopes; rather one can think of them as signed polytopal complexes. Our polytope $\mathcal{P}_{w}$ is a convex polytope. We also show that $\mathcal{P}_{w}$ is a Minkowski sum of Gelfand-Tsetlin polytopes of varying sizes. When the permutation $w$ is Grassmannian, the Gelfand-Tsetlin polytope is recovered. We conclude by showing that the Gelfand-Tsetlin polytope is a flow polytope.

We conjecture an explicit positive combinatorial formula for the expansion of unicellular LLT polynomials in the elementary symmetric basis. This is an analogue of the Shareshian-Wachs conjecture and previously studied by Panova and the author in 2018. We show that the conjecture for unicellular LLT polynomials implies a similar formula for vertical-strip LLT polynomials. We prove positivity in the elementary basis in for the class of graphs called `melting lollipops' previously considered by Huh, Nam and Yoo. This is done by proving a curious relationship between a generalization of charge and orientations of unit-interval graphs. We also provide short bijective proofs of Lee's three-term recurrences for unicellular LLT polynomials and we show that these recurrences are enough to generate all unicellular LLT polynomials associated with abelian area sequences.

We employ a multivariate extension of the Gauss quadrature formula, originally due to Berens, Schmid and Xu [BSX95], so as to derive cubature rules for the integration of symmetric functions over hypercubes (or infinite limiting degenerations thereof) with respect to the densities of unitary random matrix ensembles. Our main application concerns the explicit implementation of a class of cubature rules associated with the Bernstein-Szegö polynomials, which permit the exact integration of symmetric rational functions with prescribed poles at coordinate hyperplanes against unitary circular Jacobi distributions stemming from the Haar measures on the symplectic and the orthogonal groups.

Let $1\leq k \leq n$ and let $X_n = (x_1, \dots, x_n)$ be a list of $n$ variables. The {\em Boolean product polynomial} $B_{n,k}(X_n)$ is the product of the linear forms $\sum_{i \in S} x_i$ where $S$ ranges over all $k$-element subsets of $\{1, 2, \dots, n\}$. We prove that Boolean product polynomials are Schur positive. We do this via a new method of proving Schur positivity using vector bundles and a symmetric function operation we call {\em Chern plethysm}. This gives a geometric method for producing a vast array of Schur positive polynomials whose Schur positivity lacks (at present) a combinatorial or representation theoretic proof. We relate the polynomials $B_{n,k}(X_n)$ for certain $k$ to other combinatorial objects including derangements, positroids, alternating sign matrices, and reverse flagged fillings of a partition shape. We also relate $B_{n,n-1}(X_n)$ to a bigraded action of the symmetric group $\mathfrak{S}_n$ on a divergence free quotient of superspace.

We connect twisted vertex operator presentation of Hall-Littlewood polynomials with the action of charged free fermions, describe a boson-fermion correspondence that relates twisted vertex operators with classical Heisenberg algebra. We also show that the elements of the orthogonal to Schur functions basis of the one-parameter deformation of the ring of symmetric functions $Λ[t]$ are $τ$-functions of KP hierarchy.

We consider the loci of invertible linear maps $f : \mathbb{C}^n \to {(\mathbb{C}^n)}^*$ together with pairs of flags $(E_\bullet, F_\bullet)$ in $\mathbb{C}^n$ such that the various restrictions $f : F_j \to E_i^*$ have specified ranks. Identifying an invertible linear map with its graph viewed as a point in a Grassmannian, we show that the closures of these loci have cohomology classes represented by the back-stable Schubert polynomials of Lam, Lee, and Shimozono. As a special case, we recover the result of Knutson, Lam, and Speyer that Stanley symmetric functions represent the classes of graph Schubert varieties. We consider similar loci where $f$ is restricted to be symmetric or skew-symmetric. Their classes are now given by back-stable versions of the polynomials introduced by Wyser and Yong to represent classes of orbit closures for the orthogonal and symplectic groups acting on the type A flag variety. Using degeneracy locus formulas of Kazarian and of Anderson and Fulton, we obtain new Pfaffian formulas for these polynomials in the vexillary case. We also give a geometric interpretation of the involution Stanley symmetric functions of Hamaker, Marberg, and the author: they represent classes of involution graph Schubert varieties in isotropic Grassmannians.

We define a module that is an extension of the diagonal harmonics and whose graded Frobenius characteristic is conjectured to be the symmetric function expression which appears in `the Delta conjecture' of Haglund, Remmel and Wilson [arXiv:1509.07058].

A notion of generalized $n$-semimodularity is introduced, which extends that of (sub/super)mod\-ularity in four ways at once. The main result of this paper, stating that every generalized $(n\colon\!2)$-semimodular function on the $n$th Cartesian power of a distributive lattice is generalized $n$-semimodular, may be considered a multi/infinite-dimensional analogue of the well-known Muirhead lemma in the theory of Schur majorization. This result is also similar to a discretized version of the well-known theorem due to Lorentz, which latter was given only for additive-type functions. Illustrations of our main result are presented for counts of combinations of faces of a polytope; one-sided potentials; multiadditive forms, including multilinear ones -- in particular, permanents of rectangular matrices and elementary symmetric functions; and association inequalities for order statistics. Based on an extension of the FKG inequality due to Rinott \& Saks and Aharoni \& Keich, applications to correlation inequalities for order statistics are given as well.

We generalize the concept of partial permutations of Ivanov and Kerov and introduce $k$-partial permutations. This allows us to show that the structure coefficients of the center of the wreath product $\mathcal{S}_k\wr \mathcal{S}_n$ algebra are polynomials in $n$ with non-negative integer coefficients. We use a universal algebra $\mathcal{I}_\infty^k$ which projects on the center $Z(\mathbb{C}[\mathcal{S}_k\wr \mathcal{S}_n])$ for each $n.$ We show that $\mathcal{I}_\infty^k$ is isomorphic to the algebra of shifted symmetric functions on many alphabets.

A well-known open problem in graph theory asks whether Stanley's chromatic symmetric function, a generalization of the chromatic polynomial of a graph, distinguishes between any two non-isomorphic trees. Previous work has proven the conjecture for a class of trees called spiders. This paper generalizes the class of spiders to $n$-spiders, where normal spiders correspond to $n = 1$, and verifies the conjecture for $n = 2$.

We prove the cases q=0 and t=0 of the generalized Delta conjecture of Haglund, Remmel and Wilson involving the symmetric function $Δ_{h_m}Δ_{e_{n-k-1}}'e_n$. Our theorem generalizes recent results by Garsia, Haglund, Remmel and Yoo. This proves also the case q=0 of our recent generalized Delta square conjecture.

We prove that the chromatic symmetric function of any $n$-vertex tree containing a vertex of degree $d\geq \log _2n +1$ is not $e$-positive, that is, not a positive linear combination of elementary symmetric functions. Generalizing this, we also prove that the chromatic symmetric function of any $n$-vertex connected graph containing a cut vertex whose deletion disconnects the graph into $d\geq\log _2n +1$ connected components is not $e$-positive. Furthermore we prove that any $n$-vertex bipartite graph, including all trees, containing a vertex of degree greater than $\lceil \frac{n}{2}\rceil$ is not Schur-positive, namely not a positive linear combination of Schur functions. In complete generality, we prove that if an $n$-vertex connected graph has no perfect matching (if $n$ is even) or no almost perfect matching (if $n$ is odd), then it is not $e$-positive. We hence deduce that many graphs containing the claw are not $e$-positive.