arXiv++ Combinatorics

We use the partition functions of a five-vertex exactly solvable lattice model from statistical mechanics to give new combinatorial formulae for the Schubert structure constants of torus-equivariant quantum K-theory rings of Grassmannians. The proofs build on our earlier results where we identified the transfer matrices of these lattice models geometrically as multiplications by the Hirzebruch $λ_y$ classes of the tautological subbundle and the (dual) quotient bundle. The structure constants are solutions of a system of linear equations with coefficients given by the partition function. This system may be solved explicitly by specializing the Hirzebruch parameter $y$ to an equivariant parameter, leading to explicit formulae using Cramer's rule. Furthermore, we give an alternative combinatorial construction of the partition functions in terms of sums over cylindric set-valued tableaux, which we call cylindric Grothendieck polynomials. The latter generalise McNamara's factorial skew Grothendieck and Yeliussizov's modified Grothendieck polynomials and can be thought of as an equivariant K-theoretic version of Postnikov's toric Schur function. We also provide new polynomial representatives for equivariant K-theory classes of Richardson varieties and their variants.

We give an explicit partition of $\{1,\ldots,537\}$ into six sum-free sets, establishing $S(6)\ge 537$. This improves the lower bound 536 of Fredricksen and Sweet (2000). Known recursive constructions then give the improved lower bounds $S(8)\ge 5\,372$, $S(11)\ge 204\,208$, $S(13)\ge 2\,042\,082$, and $R_6(3)\ge 539$. We also report 131 pairwise inequivalent partitions found by the search. We describe their structure and provide the complete partitions in the supplementary material. These partitions provide starting points for future searches and structural studies of Schur partitions.

Colored lattice models can be used to describe many different types of special functions of interest in both algebraic combinatorics and representation theory, for example Schur polynomials, nonsymmetric Macdonald polynomials, and characters and Whittaker functions for representations of p-adic groups. A notable example is the metaplectic ice model of which there are actually two different variants: a Gamma and a Delta variant. These variants differ in key aspects but surprisingly produce equal partition functions, which are weighted sums over admissible configurations, and this equality is called the Gamma-Delta duality. The duality was used to prove the analytic continuation of certain multiple Dirichlet series and is highly non-trivial, especially since the number of configurations on each side of the equality can differ. In this paper we generalize the Gamma-Delta duality by constructing a new family of solvable, colored lattice models and prove that they are dual to existing lattice models in the literature. Besides the above metaplectic case we also get a new lattice model and Gamma-Delta type duality for (non-metaplectic) Iwahori Whittaker functions together with a crystal limit for Demazure atoms for Cartan type A. The equality of partition functions is shown using Yang-Baxter equations involving both variants of lattice models simultaneously. For the crystal lattice model we show that the duality refines to a weight-respecting bijection of states given by the Schützenberger involution on the associated Gelfand-Tsetlin patterns or semistandard Young tableaux. We also show how the individual steps exchanging two rows in the proof of the duality for the partition functions refines to Berenstein-Kirillov or, equivalently, Bender-Knuth involutions.

Finite Toeplitz truncation does not, in general, preserve multiplication. For products of $m$ $N\times N$ tridiagonal Toeplitz matrices with symbols $z+z^{-1}+a_h$, we make the two boundary corrections in Widom's product formula for finite sections explicit. The method of images gives two Hankel corrections when $m\le N+2$, a sharp uniform degree bound. For $N\ge m-1$, the ratio of the determinant of the matrix product to the Toeplitz determinant with the product symbol reduces, whenever defined, to a determinant of order $2(m-1)$, which reversal symmetry splits into two determinants of order $m-1$. A rectangular Schur polynomial gives an exact formula for the Toeplitz determinant with the product symbol, including when roots coincide. For symbols nonzero on the unit circle, classical identities for rational symbols give an exact $m\times m$ determinant formula for the ratio, with an explicit confluent form for repeated roots. With $ρ_h$ the zero of $z+z^{-1}+a_h$ in $|z|<1$, the limit is $\prod_{i<j}(1-ρ_iρ_j)^2$ as $N\to\infty$ at fixed $m,a_h$. For rectangular domino tilings, these formulas compare the classical Kasteleyn--Temperley--Fisher product with the banded Toeplitz determinant formed from the product symbol. We obtain the first exponentially small correction at fixed width and relate this comparison to the Toeplitz determinant furnished by the dual Cauchy identity.

Bergeron, Garsia, Haiman, and Tesler (1999) introduced two Schur positivity conjectures concerning the action of the $\nabla$ operator on modified Hall--Littlewood polynomials. Although the proofs of the celebrated compositional shuffle conjecture and its rational generalization, along with various symmetric function identities, have largely resolved these conjectures in the affirmative, we provide an elegant alternative proof driven by $q$-series techniques. Through this approach, we derive explicit Schur function expansions for two-column partitions and extend our results to arbitrary positive powers $\nabla^k$.

After the substitution $q\mapsto q+1$, vertical-strip LLT polynomials are weighted sums of strict $P$-partition generating functions indexed by orientations of decorated unit-interval graphs, with weight $q^{\mathrm{asc}(θ)}$. A flip moves an ascending edge across a triangle while keeping its long edge. We show that the sum over every flip class is elementary-positive: it equals the sum of the elementary symmetric functions given by the highest reachable vertices of its orientations. This answers Hwang's question on the Schur positivity of LLT flip-class sums, and it holds for circular unit-interval graphs as well. Summing over classes gives a new proof of the elementary expansion of Alexandersson and Sulzgruber, and its circular analog, which was open. We also obtain a flip-class refinement of the elementary expansion of LLT cumulants.

Symmetric function theory is a key ingredient in the Schubert calculus of Grassmannians. Quasisymmetric functions are analogues that are similarly central to algebraic combinatorics, but for which the associated geometry is poorly developed. Baker and Richter (2008) showed that $\operatorname{QSym}$ manifests topologically as the cohomology ring of the loop suspension of infinite projective space or equivalently of its combinatorial homotopy model, the James reduced product $J\mathbb{C}\mathbb{P}^\infty$. In recent work, we used this viewpoint to develop topologically-motivated bases of $\operatorname{QSym}$ and initiate a Schubert calculus for $J\mathbb{C}\mathbb{P}^\infty$ in both cohomology and $K$-theory. Here, we study the torus-equivariant cohomology of $J\mathbb{C}\mathbb{P}^\infty$. We identify a cellular basis and introduce double monomial quasisymmetric functions as combinatorial representatives, analogous to the factorial Schur functions and double Schubert polynomials of classical Schubert calculus. We also provide a combinatorial Littlewood--Richardson-type rule for the structure coefficients of this basis. Furthermore, we introduce an algebro-geometric analogue of the James reduced product construction. In particular, we prove that the James reduced product of a complex (quasi-)projective variety also carries the structure of a (quasi-)projective variety.

We show how the tools of modern algebraic combinatorics -- representation theory, Murphy elements, and particularly Schur--Weyl duality -- can be used to give an explicit orthonormal basis of eigenfunctions for a "curiously slowly mixing Markov chain" on the space of binary $n$-tuples. The basis is used to give sharp rates of convergence to stationarity.

Katabolizable tableaux provide a combinatorial formula for the Schur coefficients of Catalan functions. We prove that a tableau involution preserves katabolizability under antidiagonal reflection of any upper root ideal. This involution complements shape and content in a fixed rectangle and preserves charge. We obtain a bijective proof of the rectangular symmetry of these coefficients.

A universal framework for Hopf algebras in combinatorics provides a unified understanding of combinatorial objects. To establish such a framework, we dualize the theory of combinatorial Hopf algebras developed by Aguiar, Bergeron, and Sottile, obtaining the category of rooted Hopf algebras. An object in this category is a graded connected Hopf algebra equipped with a group-like element, called a root, in its completion. These roots dualize the character theory of combinatorial Hopf algebras and provide a natural way to extend Bernstein and raising operators to other rooted Hopf algebras. The resulting constructions extend Schur, Hall--Littlewood, and Macdonald functions to rooted Hopf algebras. As an application, we develop these constructions for symmetric functions in noncommuting variables.

We prove that the product of chains $\mathbf m\times\mathbf n$ is not Schur positive whenever $n\ge4$ and $m\ge3n-1$. Writing $m=n+k$, we exhibit a negative Schur coefficient indexed by $(2n+k-1,2n+k-3,\ldots,k+5,k,k,4)$ and evaluate it explicitly as $(n-2)!$ times a polynomial of degree three in $k$. Together with earlier results, this establishes the two-case interpretation of the conjecture of Li, Qiu, Yang, and Zhang: these products are not Schur positive when $n=2$ and $m\ge8$, or when $n\ge3$ and $m\ge n+5$.

Let $h_n$ denote the complete homogeneous symmetric function of degree $n$, $s_ν$ the Schur function indexed by a partition $ν$, and $\langle\cdot,\cdot\rangle$ the Hall inner product. The plethysm coefficient $\langle h_n[h_m], s_ν\rangle$ is the multiplicity of the Weyl module $W_ν(\mathbb{C}^N)$ in $\mathrm{Sym}^n(\mathrm{Sym}^m(\mathbb{C}^N))$ whenever $ν$ has at most $N$ parts. For a partition $λ$, let $λ[mn]=(mn-|λ|,λ_1,λ_2,\dots)$. Bowman and Paget proved that $\langle h_n[h_m], s_{λ[mn]}\rangle$ is independent of $m$ and $n$ once $m,n\ge|λ|$. We prove that this coefficient is already constant for $m\geλ_1$ and $n\ge\lfloor(|λ|+λ_1)/2\rfloor$, and that its stable value equals $\langle s_λ, H[H-1-h_1]\rangle$, where $H=\sum_{i\ge0}h_i$; the proof uses the skewing operators adjoint to multiplication by complete homogeneous symmetric functions. We give a short new proof of the Bowman-Paget theorem based on stability of vector-partition functions, which count the ways of writing a vector of non-negative integers as an unordered sum of non-zero such vectors (its parts). Using a Vandermonde-type determinantal identity, we deduce that the stable value is a signed sum of numbers of vector partitions all of whose parts have entries summing to at least 2. The same method gives a short proof of Brion's stability theorem. We show that the stable value equals the multiplicity of $W_λ(\mathbb{C}^k)$, where $k=\lfloor|λ|/2\rfloor$, in an explicit representation of $GL_k(\mathbb{C})$ independent of $m$ and $n$, obtained by modifying the polynomial induction of Narayanan, Paul, Prasad and Srivastava. Finally, we prove an explicit positive formula for the stable value, which counts the number of lattice points in a polytope, when $λ_1\le 4$.

We show that a finite coloring of an amenable group contains `many' monochromatic sets of the form $\{x,y,xy,yx\},$ and natural extensions with more variables. This gives the first combinatorial proof and extensions of Bergelson and McCutcheon's non-commutative Schur theorem. Our main new tool is the introduction of what we call `quasirandom colorings,' a condition that is automatically satisfied by colorings of quasirandom groups, and a reduction to this case.

We study quotients of free associative algebras by the two-sided ideals generated by positive-degree symmetric, quasisymmetric, or free quasisymmetric polynomials. Free quasisymmetric functions give a word realization of the Malvenuto-Reutenauer Hopf algebra of permutations. For quotients on $n$ variables, finiteness in the symmetric and quasisymmetric cases follows from a theorem of Bergman--Isaacs when $n!$ is invertible in the field. Our main result is a nilpotence criterion for families of relations compatible with restriction to subalphabets. The criterion proves finiteness over every field for quasisymmetric, $r$-quasisymmetric, and free quasisymmetric coinvariants, with explicit degree bounds exponential in $n$ for fixed $r$. In the quasisymmetric and $r$-quasisymmetric cases, these improve the bounds inherited from Bergman--Isaacs. A principal application is to the free quasisymmetric case, where, for $n\geq3$, the group-invariant argument used for the symmetric case does not apply. For the symmetric quotient $C_n$, we prove that invertibility of $n!$ is also necessary for finiteness. In characteristic zero, an auxiliary presentation and the Golod--Shafarevich inequality give $\log\dim C_n\geq(1-o(1))n^5(\log n)^2$ as $n\to\infty$. The same inequality shows that quasisymmetric and free quasisymmetric coinvariant dimensions grow faster than every fixed power of $n!$. For all three families on several freely noncommuting alphabets, we determine all multigraded Hilbert series and, for symmetric coinvariants in characteristic zero, Frobenius characteristics from one-alphabet data. In characteristic zero, projection gives stable Schur multiplicities for compatible quotients in mixed commuting, anticommuting, and free alphabets.

Bergeron, Garsia, Haiman, and Tesler conjectured that $(-1)^{n-\ell(μ)}\nabla\widetilde H_μ[X;0,t]$ and $\nablaω\widetilde H_μ[X;0,t^{-1}]$ are Schur positive, and that $\nablaω\widetilde H_μ[X;0,t^{-1}]-\nablaω\widetilde H_ν[X;0,t^{-1}]$ is Schur positive when $μ$ dominates $ν$. The first statement follows from the compositional shuffle conjecture of Haglund, Morse, and Zabrocki, proved by Carlsson and Mellit. We prove the other two statements. All three statements also hold for $\nabla^r$ with $r\geq1$. The main new step is an identity: when $μ$ covers $ν$, the difference $ω\widetilde H_μ[X;0,t^{-1}]-ω\widetilde H_ν[X;0,t^{-1}]$ is minus a power of $t$ times one LLT polynomial. Using the Catalanimals and the Cauchy identity of Blasiak, Haiman, Morse, Pun, and Seelinger, we show that $\nabla^r$ of this LLT polynomial is, up to sign, a positive sum of LLT polynomials. We also extend the main results to the Schiffmann algebra setting.

We introduce and study trigonometric weight functions of type $B$ and type $C$ arising from integrable lattice models. These functions give $q$-deformations of the factorial $K$-theoretic Schur $P$- and $Q$-functions of Ikeda and Naruse, with the $P$-functions specialized to the type $B$ case. We realize them as specializations of partition functions of a six-vertex model with triangular boundary conditions and derive their algebraic properties using the Yang-Baxter equation and properties of the $R$- and $K$-matrices. We introduce normalized weight functions and establish diagonal evaluation formulas, divisibility properties, and bounds on Newton polytopes analogous to those in type $A$, together with recursive relations and stability. We further derive branching formulas relating these functions to type $A$ weight functions, and prove equal-cardinality orthogonality and all-cardinality biorthogonality relations.

Determining when the chromatic symmetric function of a graph is Schur positive is a central problem in algebraic combinatorics. Elementary expansions can help answer this question, but negative coefficients obstruct a direct positivity argument. We develop methods for proving Schur positivity from signed elementary expansions and apply them to chromatic symmetric functions of clique-spiders and three-legged spiders. We first give the Schur alpha-omega lemma, which bounds Schur support. We then give four equivalent sufficient criteria for Schur positivity from a fixed composition-indexed elementary expansion. The matrix, order-ideal, negative Hall, and positive Hall formulations treat positive coefficients as capacities and negative coefficients as demands, with admissible assignments governed by dominance order. These criteria provide certificates of Schur positivity especially when elementary coefficients are negative. For the four basic families of $3$-clique-spiders with total leg length at most one, we obtain complete classifications of both $e$-positivity and Schur positivity. These classifications show how the position of a single leg edge changes positivity. Using selected clique-spider cases and a path-clique bootstrap, we prove that all spiders of the form $S(a,b,2)$ are Schur positive.

In characteristic zero, we prove that the Tor algebras of the generic, symmetric, and skew-symmetric determinantal rings are Koszul with respect to a natural regrading. In particular, their Eilenberg--Moore spectral sequence degenerates, which allows us to explicitly determine the Poincaré series of their residue fields and answers a problem raised by Avramov. To do this, we construct the universal hook algebra and prove that it has a quadratic Gröbner basis and thus is Koszul. This leads to a new standard monomial construction of the irreducible polynomial GL-representations, alongside the Schur and Weyl functors, which is of independent interest.

We establish a quantum super Schur--Weyl duality for the mirabolic Hecke algebra \(H_n^{\mathrm{mir}}(q)\) with \(q\) indeterminate and determine the corresponding bimodule decomposition. The centralizer of the mirabolic action is shown as a direct sum of homogeneous quantum Schur superalgebras. We describe the tensor-space annihilator and the resulting faithful quotient. When nonzero, the annihilator is generated by an explicit spectral idempotent attached to the smallest rectangle excluded by the hook condition. From the quantum super Schur--Weyl duality, we derive a super Frobenius formula for mirabolic Hecke algebras. This formula then yields a Murnaghan--Nakayama rule and Regev-type formulas for the irreducible characters. We also construct a super mirabolic RSK bijection from words in a super alphabet with an additional even letter to hook semistandard insertion tableaux together with recording pairs that distinguish the positions of the additional letter. This correspondence yields a Roichman formula for irreducible characters of \(H_n^{\mathrm{mir}}(q)\). Finally, we establish a parameter-inversion isomorphism between \(H_n^{\mathrm{mir}}(q^{-1})\) and the \(q\)-rook monoid algebra \(R_n(q)\) and use it to transport the duality, annihilators, and character formulas in both directions. The transported tensor decomposition provides a representation-theoretic interpretation of hook and two-row character sums for \(R_n(q)\).

We develop Delsarte theory for quantum association schemes, allowing both composition and the quantum Schur product to be noncommutative. A MacWilliams identity and positivity of the inner and dual distributions yield conic upper bounds for codes and lower bounds for designs in terms of effective size, which extends subset cardinality. These bounds recover classical linear programs for symmetric association schemes and semidefinite programs for homogeneous coherent configurations. We also quantize Schurian schemes using finite-group representations and characterize quantum block designs in quantum Johnson schemes arising from irreducible stabilizer representations by averaging over subgroups fixing prescribed points individually. In a quantum Johnson scheme on $M_2(\mathbb{C})^{\oplus10}$, we prove that the minimum effective size of a nonzero positive element satisfying the strength-two design condition is $20$, attained by complementary projections outside the center of the underlying algebra. Every such element in the center has effective size $40$, while the conic lower bound is $40/3$, strictly below the actual minimum.