arXiv++ Combinatorics

In this work, we obtain a Hall--Littlewood expansion of the chromatic quasisymmetric function arising from a natural unit interval order and describe the coefficients in terms of linked rook placements. Applying the Carlsson--Mellit relation between chromatic quasisymmetric functions and unicellular LLT polynomials, we also obtain a combinatorial description for the coefficients of the unicellular LLT polynomials expanded in terms of the modified transformed Hall--Littlewood polynomials.

Lusztig $q$-weight multiplicities extend the Kostka-Foulkes polynomials to a broader range of Lie types. In this work, we investigate these multiplicities through the framework of Kirillov-Reshetikhin crystals. Specifically, for type $C$ with dominant weights and type $B$ with dominant spin weights, we present a combinatorial formula for Lusztig $q$-weight multiplicities in terms of energy functions of Kirillov-Reshetikhin crystals, generalizing the charge statistic on semistandard Young tableaux for type $A$. Additionally, we introduce level-restricted $q$-weight multiplicities for nonexceptional types, and prove positivity by providing their combinatorial formulas.

We conjecture a precise relationship between Lusztig $q$-weight multiplicities for type $C$ and Kirillov-Reshetikhin crystals. We also define $\mathfrak{gl}_n$-version of $q$-weight multiplicity for type $C$ and conjecture the positivity.

We initiate the study of the Macdonald intersection polynomials $\operatorname{I}_{μ^{(1)},\dots,μ^{(k)}}[X;q,t]$, which are indexed by $k$-tuples of partitions $μ^{(1)},\dots,μ^{(k)}$. These polynomials are conjectured to be equal to the bigraded Frobenius characteristic of the intersection of Garsia-Haiman modules, as proposed by the science fiction conjecture of Bergeron and Garsia. In this work, we establish the vanishing identity and the shape independence of the Macdonald intersection polynomials. Additionally, we unveil a remarkable connection between $\operatorname{I}_{μ^{(1)},\dots,μ^{(k)}}$ and the character $\nabla e_{k-1}$ of diagonal coinvariant algebra by employing the plethystic formula for the Macdonald polynomials of Garsia--Haiman--Tesler. Furthermore, we establish a connection between $\operatorname{I}_{μ^{(1)},\dots,μ^{(k)}}$ and the shuffle formula $D_{k-1}[X;q,t]$, utilizing novel combinatorial tools such as the column exchange rule, a new fermionic formula for the shuffle formula, and the lightning bolt formula for Macdonald intersection polynomials. Notably, our findings provide a new proof for the shuffle theorem.

For a partition $ν$, let $λ,μ\subseteq ν$ be two distinct partitions such that $|ν/λ|=|ν/μ|=1$. Butler conjectured that the divided difference $\operatorname{I}_{λ,μ}[X;q,t]=(T_λ\widetilde{H}_μ[X;q,t]-T_μ\widetilde{H}_λ[X;q,t])/(T_λ-T_μ)$ of modified Macdonald polynomials of two partitions $λ$ and $μ$ is Schur positive. By introducing a new LLT equivalence called column exchange rule, we give a combinatorial formula for $\operatorname{I}_{λ,μ}[X;q,t]$, which is a positive monomial expansion. We also prove Butler's conjecture for some special cases.

We provide new approaches to prove identities for the modified Macdonald polynomials via their LLT expansions. As an application, we prove a conjecture of Haglund concerning the multi-$t$-Macdonald polynomials of two rows.

In 1993, Stanley and Stembridge conjectured that a chromatic symmetric function of any $(3+1)$-free poset is $e$-positive. Guay-Paquet reduced the conjecture to $(3+1)$- and $(2+2)$-free posets which are also called natural unit interval orders. Shareshian and Wachs defined chromatic quasisymmetric functions, generalizing chromatic symmetric functions, and conjectured that a chromatic quasisymmetric function of any natural unit interval order is $e$-positive and $e$-unimodal. For a given natural interval order, there is a corresponding partition $λ$ and we denote the chromatic quasisymmetric function by $X_λ$. The first author introduced local linear relations for chromatic quasisymmetric functions. In this paper, we prove a powerful generalization of the above-mentioned local linear relations, called a rectangular lemma, which also generalizes the result of Huh,Nam and Yoo. Such a lemma can be applied to describe explicit formulas for $e$-positivity of a chromatic symmetric function $X_λ$ where $λ$ is contained in a rectangle. We also suggest some conjectural formulas for $e$-positivity when $λ$ is not contained in a rectangle by applying the rectangular lemma.

We study the back stable $K$-theory Schubert calculus of the infinite flag variety. We define back stable (double) Grothendieck polynomials and double $K$-Stanley functions and establish coproduct expansion formulae. Applying work of Weigandt, we extend our previous results on bumpless pipedreams from cohomology to $K$-theory. We study finiteness and positivity properties of the ring of back stable Grothendieck polynomials, and divided difference operators in $K$-homology.

In 1976, King defined certain tableaux model, called King tableaux in this paper, counting weight multiplicities of irreducible representation of the symplectic group $Sp(2m)$ for a given dominant weight. Since Kashiwara defined crystals, it is an open problem to provide a crystal structure on King tableaux. In this paper, we present crystal structures on King tableaux and semistandard oscillating tableaux. The semistandard oscillating tableaux naturally appear as $Q$-tableaux in the symplectic version of RSK algorithms. As an application, we discuss Littlewood-Richardson coefficients for $Sp(2m)$ in terms of semistandard oscillating tableaux.

The cohomology of the affine flag variety of a complex reductive group is a comodule over the cohomology of the affine Grassmannian. We give positive formulae for the coproduct of an affine Schubert class in terms of affine Stanley classes and finite Schubert classes, in (torus-equivariant) cohomology and K-theory. As an application, we deduce monomial positivity for the affine Schubert polynomials of the second author.

LLT polynomials are $q$-analogues of product of Schur functions that are known to be Schur-positive by Grojnowski and Haiman. However, there is no known combinatorial formula for the coefficients in the Schur expansion. Finding such a formula also provides Schur positivity of Macdonald polynomials. On the other hand, Haiman and Hugland conjectured that LLT polynomials for skew partitions lying on $k$ adjacent diagonals are $k$-Schur positive, which is much stronger than Schur positivity. In this paper, we prove the conjecture for $k=2$ by analyzing unicellular LLT polynomials. We first present a linearity theorem for unicellular LLT polynomials for $k=2$. By analyzing linear relations between LLT polynomials with known results on LLT polynomials for rectangles, we provide the $2$-Schur positivity of the unicellular LLT polynomials as well as LLT polynomials appearing in Haiman-Hugland conjecture for $k=2$.

We study the back stable Schubert calculus of the infinite flag variety. Our main results are: 1) a formula for back stable (double) Schubert classes expressing them in terms of a symmetric function part and a finite part; 2) a novel definition of double and triple Stanley symmetric functions; 3) a proof of the positivity of double Edelman-Greene coefficients generalizing the results of Edelman-Greene and Lascoux-Schutzenberger; 4) the definition of a new class of bumpless pipedreams, giving new formulae for double Schubert polynomials, back stable double Schubert polynomials, and a new form of the Edelman-Greene insertion algorithm; 5) the construction of the Peterson subalgebra of the infinite nilHecke algebra, extending work of Peterson in the affine case; 6) equivariant Pieri rules for the homology of the infinite Grassmannian; 7) homology divided difference operators that create the equivariant homology Schubert classes of the infinite Grassmannian.

Cylindric skew Schur functions, a generalization of skew Schur functions, are closely related to the famous problem finding a combinatorial formula for the 3-point Gromov-Witten invariants of Grassmannian. In this paper, we prove cylindric Schur positivity of the cylindric skew Schur functions, conjectured by McNamara. We also show that all coefficients appearing in the expansion are the same as $3$-point Gromov-Witten invariants. We start discussing properties of affine Stanley symmetric functions for general affine permutations and $321$-avoiding affine permutations, and explain how these functions are related to cylindric skew Schur functions. We also provide an effective algorithm to compute the expansion of the cylindric skew Schur functions in terms of the cylindric Schur functions, and the expansion of affine Stanley symmetric functions in terms of affine Schur functions.

We discuss a relationship between Chern-Schwartz-MacPherson classes for Schubert cells in flag manifolds, Fomin-Kirillov algebra, and the generalized nil-Hecke algebra. We show that nonnegativity conjecture in Fomin-Kirillov algebra implies the nonnegativity of the Chern-Schwartz-MacPherson classes for Schubert cells in flag manifolds for type A. Motivated by this connection, we also prove that the (equivariant) Chern-Schwartz-MacPherson classes for Schubert cells in flag manifolds are certain summations of the structure constants of the equivariant cohomology of the Bott-Samelson varieties. We also discuss the refined positivity conjectures of the Chern-Schwartz-MacPherson classes for Schubert cells motivated by the nonnegativity conjecture in Fomin-Kirillov algebra.

We construct the affine version of the Fomin-Kirillov algebra, called the affine FK algebra, to investigate the combinatorics of affine Schubert calculus for type $A$. We introduce Murnaghan-Nakayama elements and Dunkl elements in the affine FK algebra. We show that they are commutative as Bruhat operators, and the commutative algebra generated by these operators is isomorphic to the cohomology of the affine flag variety. We show that the cohomology of the affine flag variety is product of the cohomology of an affine Grassmannian and a flag variety, which are generated by MN elements and Dunkl elements respectively. The Schubert classes in cohomology of the affine Grassmannian (resp. the flag variety) can be identified with affine Schur functions (resp. Schubert polynomials) in a quotient of the polynomial ring. Affine Schubert polynomials, polynomial representatives of the Schubert class in the cohomology of the affine flag variety, can be defined in the product of two quotient rings using the Bernstein-Gelfand-Gelfand operators interpreted as divided difference operators acting on the affine Fomin-Kirillov algebra. As for other applications, we obtain Murnaghan-Nakayama rules both for the affine Schubert polynomials and affine Stanley symmetric functions. We also define $k$-strong-ribbon tableaux from Murnaghan-Nakayama elements to provide a new formula of $k$-Schur functions. This formula gives the character table of the representation of the symmetric group whose Frobenius characteristic image is the $k$-Schur function.

We prove the affine Pieri rule for the cohomology of the affine flag variety conjectured by Lam, Lapointe, Morse and Shimozono. We study the cap operator on the affine nilHecke ring that is motivated by Kostant and Kumar's work on the equivariant cohomology of the affine flag variety. We show that the cap operators for Pieri elements are the same as Pieri operators defined by Berg, Saliola and Serrano. This establishes the affine Pieri rule.

We present explicit constructions of centrally symmetric 2-neighborly d-dimensional polytopes with about 3^{d/2} = (1.73)^d vertices and of centrally symmetric k-neighborly d-polytopes with about 2^{c_k d} vertices where c_k=3/20 k^2 2^k. Using this result, we construct for a fixed k > 1 and arbitrarily large d and N, a centrally symmetric d-polytope with N vertices that has at least (1-k^2 (gamma_k)^d) binom(N, k) faces of dimension k-1, where gamma_2=1/\sqrt{3} = 0.58 and gamma_k = 2^{-3/{20k^2 2^k}} for k > 2. Another application is a construction of a set of 3^{d/2 -1}-1 points in R^d every two of which are strictly antipodal as well as a construction of an n-point set (for an arbitrarily large n) in R^d with many pairs of strictly antipodal points. The two latter results significantly improve the previous bounds by Talata, and Makai and Martini, respectively.

We present explicit constructions of centrally symmetric polytopes with many faces: first, we construct a d-dimensional centrally symmetric polytope P with about (1.316)^d vertices such that every pair of non-antipodal vertices of P spans an edge of P, second, for an integer k>1, we construct a d-dimensional centrally symmetric polytope P of an arbitrarily high dimension d and with an arbitrarily large number N of vertices such that for some 0 < delta_k < 1 at least (1-delta_k^d) {N choose k} k-subsets of the set of vertices span faces of P, and third, for an integer k>1 and a>0, we construct a centrally symmetric polytope Q with an arbitrary large number N of vertices and of dimension d=k^{1+o(1)} such that least (1 - k^{-a}){N choose k} k-subsets of the set of vertices span faces of Q.

We consider the convex hull B_k of the symmetric moment curve U(t)=(cos t, sin t, cos 3t, sin 3t, ..., cos (2k-1)t, sin (2k-1)t) in R^{2k}, where t ranges over the unit circle S= R/2pi Z. The curve U(t) is locally neighborly: as long as t_1, ..., t_k lie in an open arc of S of a certain length phi_k>0, the convex hull of the points U(t_1), ..., U(t_k) is a face of B_k. We characterize the maximum possible length phi_k, proving, in particular, that phi_k > pi/2 for all k and that the limit of phi_k is pi/2 as k grows. This allows us to construct centrally symmetric polytopes with a record number of faces.

A centrally symmetric analogue of the cyclic polytope, the bicyclic polytope, was defined in [BN08]. The bicyclic polytope is defined by the convex hull of finitely many points on the symmetric moment curve where the set of points has a symmetry about the origin. In this paper, we study the Barvinok-Novik orbitope, the convex hull of the symmetric moment curve. It was proven in [BN08] that the orbitope is locally $k$-neighborly, that is, the convex hull of any set of $k$ distinct points on an arc of length not exceeding $φ_k$ in $\mathbb{S}^1$ is a $(k-1)$-dimensional face of the orbitope for some positive constant $φ_k$. We prove that we can choose $φ_k $ bigger than $γk^{-3/2} $ for some positive constant $γ$.