arXiv++ Combinatorics

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.

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.

As its 40th anniversary nears, we present a history of the International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC), through interviews with figures from its past, present, and future.

We introduce $qt$Bench, a benchmark of 29 open problems in algebraic combinatorics. These problems ask for a simple combinatorial algorithm that explains given polynomial coefficients or identities. To help AI agents search for such algorithms, we provide a scaffold for playing with combinatorial objects, countering cheating attempts, and testing candidate solutions. To explore how far frontier AI systems can go on these problems, we collaborated with OpenAI, whose researchers obtained proposed solutions to several of them. This highlights bigger meta-problems: is AI discovery at scale ethical? How should these results be released? How should proof digestion be organized? We discuss these questions and give our views.

Splines on Weyl groups model the equivariant cohomology of regular semisimple Hessenberg varieties, and the natural group action on them encodes the monodromy action. The resulting representations are of great interest in algebraic combinatorics for their connections to Hecke algebra characters, LLT polynomials, and chromatic symmetric functions. We study the analogous construction for dihedral groups, which in general have no underlying geometry. Using purely algebraic methods, we show that these spline modules are free, construct explicit bases, and compute their Hilbert series, recovering the familiar properties of the geometric setting. We also determine the associated dihedral group representations completely. Unlike what is conjectured for the symmetric group case, these need not be permutation representations.

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.

A conference signal is a complex-valued function on a finite abelian group that vanishes at 0 in both the time and frequency domains, and is otherwise flat in both domains. For example, the Legendre symbol is a conference signal on $\mathbb{Z}_p$ since it vanishes at $0$, takes values $\pm 1$ away from zero, and is a scalar multiple of its Fourier transform. More generally, any nontrivial multiplicative character on a finite field is a conference signal on its additive group. Until now, conference signals have mainly been studied by number theorists, who wanted to know if multiplicative characters were the only conference signals on finite fields. The state of the art uses fancy tools from symplectic geometry to prove that non-character conference signals exist on non-small fields. The same tools show conference signals exist on every abelian group of odd order, without saying what they are. In this (human-friendly!) paper, we explain how conference signals produce other objects of interest in algebraic combinatorics and applied harmonic analysis, and then we present some new, explicit constructions of conference signals on $\mathbb{Z}_n$. In particular, we give the first explicit conference signals for composite $n$ and the first explicit non-character examples for prime $n$.

We classify the maximum scattered $\mathbb{F}_q$-linear sets of $\mathrm{PG}(1,q^5)$, proving that every such set is of pseudoregulus type or of Lunardon-Polverino type. Building on the reduction obtained by Lia, Longobardi and Zanella in [S. Lia, G. Longobardi and C. Zanella, Towards the classification of maximum scattered linear sets of $\mathrm{PG}(1,q^5)$, Algebraic Combinatorics 9 (2026), 327-355], we show that the two remaining candidate families contain no scattered linear sets. Our approach reduces these candidates to two normal forms and establishes their non-scatteredness through the existence of rational points on associated algebraic varieties.

Diverse pretraining has been shown to be an effective method for learning reusable, domain-aware representations that provide a starting point for fine-tuning on downstream tasks. While much of the excitement in AI for math has been concentrated in the use of frontier reasoning models to solve well-specified problems through the medium of language, narrow, specialized models remain an important component of the AI for math ecosystem. In contrast to large language models, specialized models are usually trained directly on the mathematical objects themselves (e.g., graphs, sequences of numbers) rather than the textual descriptions that characterize these objects. However, the common practice of training specialists from scratch may limit their ability to develop domain-aware representations that capture the multifaceted nature of mathematics. In this paper, we describe an approach to pretraining for permutation-focused tasks in algebraic combinatorics. We introduce PermuFormer, an autoregressive transformer trained on a 2.8 billion token multi-task, multi-encoding corpus. We show that PermuFormer is an effective starting point for fine-tuning on basic tasks unseen during pretraining and more complex research-level tasks, frequently outperforming the same architecture trained from scratch, baseline MLPs, and a fine-tuned generic language model of comparable size. We also analyze some of the internal mechanisms by which PermuFormer learns to solve training tasks. For example, we show that while some tasks can be linearly decoded directly from the internal representation of the prompt, other tasks require multiple rounds of generation before the answer can be decoded.

Given a finite dimensional Lie algebra $L$ on a finite field $\mathbb{F}_{p^n}$ of prime power order $p^n$ (with $n$ positive integer and $p$ prime), we consider the number of modular pairs $(A,B)$ in the lattice of all subalgebras $\mathcal{L}(L)$ and introduce the notion of ``subalgebra commutativity degree'' of $L$. This represents the probability to find that two randomly chosen subalgebras $A$ and $B$ of $L$ are permutable. We investigate the subalgebra commutativity degree of $L$ in connection with recent techniques of algebraic combinatorics and number theory, providing upper and lower bounds which may influence the structure of $L$. A specific study for the subalgebra commutativity degree of Heisenberg algebras is executed.

We explain how to derive the Robinson-Schensted-Knuth (RSK) correspondence, a fundamental bijection in algebraic combinatorics, from the Yang-Baxter equation. The Yang-Baxter equation arose in the study of quantum many-body systems and later became a cornerstone of the theory of solvable lattice models, particularly vertex models. In a vertex model, arrows occupy the edges of a grid, and each vertex carries a Boltzmann weight determined by the arrows on the four edges meeting at it. The weight of a configuration is the product of these local weights, and a partition function is the sum of the weights of all configurations with prescribed boundary conditions. For a vertex model whose partition functions are the Schur polynomials, the two sides of each instance of the Yang-Baxter equation admit exactly one weight-preserving matching of their summands. Carried across a grid, this forced matching is the classical RSK correspondence in the form of Fomin's growth diagrams. In natural coordinates the local matching becomes the combinatorial three-dimensional R, a set-theoretic solution of the Zamolodchikov tetrahedron equation. Its periodic closure returns the combinatorial R-matrices of one-row crystals. The forced matching is special to the Schur weights. For the Hall-Littlewood and q-Whittaker deformations and their spin versions, at generic parameter values no deterministic matching works for all boundary data. Reading each instance of the Yang-Baxter equation probabilistically, we replace the matching by a coupling of the two sides - a bijectivization, or probabilistic bijection - and obtain Markov operators that transport probability measures attached to vertex models. Iterated over the grid, these operators produce randomized RSK-type dynamics and interacting particle systems, including q-PushTASEP and the stochastic six-vertex model.

We show that the rowmotion operator from dynamical algebraic combinatorics behaves the same on all alt $ν$-Tamari lattices for a fixed lattice path $ν$. We use this invariance of rowmotion to establish cyclic sieving and homomesy results for rational Tamari lattices. We also conjecture that this invariance extends to the more general cross Tamari lattices.

Algebraic combinatorics often seeks bijections that explain identities between distributions object by object. Encoding combinatorial objects as words lets automata theory study such a bijection as a word-to-word computation and measure its memory, input access, and control of output order. This refines existence questions by asking which computational mechanisms a bijection requires. We develop this viewpoint for Dyck paths. Our motivating example is the $q,t$-Catalan polynomial. Let $D_n$ be the set of Dyck paths of semilength $n$, let $D=\bigcup_{n\ge 0}D_n$, and let $area, dinv, bounce \colon D\to\mathbb{N}$ be the standard statistics. Then, \[ C_n(q,t)=\sum_{P\in D_n}q^{area(P)}t^{bounce(P)} =\sum_{P\in D_n}q^{dinv(P)}t^{area(P)}. \] Haglund's zeta map $ζ\colon D\to D$ gives a bijective proof: it preserves semilength and sends $(dinv,area)$ to $(area,bounce)$. By contrast, the full symmetry $C_n(q,t)=C_n(t,q)$ still lacks a direct explanation: no explicit, uniform, semilength-preserving bijection is known that swaps area and dinv on every Dyck path. Polyregular maps from automata theory provide a natural computational starting point, but we prove that neither $ζ$ nor the classical height-sweep bijection witnessing Narayana symmetry is polyregular. The missing mechanism is global ordering by numerical levels whose range grows with the input. We call this a \emph{rank sort} and introduce \emph{weighted-rank polyregular maps} (WRP), extending polyregular maps by one such sort and containing both bijections. Nevertheless, WRP is a proper subclass of deterministic logspace. We prove that $ζ^{-1}$ lies outside WRP and that no WRP map can realise a semilength-preserving area-dinv swap. Thus the rank-sorting strategy behind $ζ$ cannot be extended within WRP to exchange the two statistics.

Chromatic symmetric functions are well-studied symmetric functions in algebraic combinatorics that generalize chromatic polynomials of graphs. In 1995, Stanley introduced these symmetric functions and conjectured that they are Schur positive for claw-free graphs. We give examples of a line graphs, which are thus claw-free, whose chromatic symmetric function have a negative coefficient in its Schur expansion. We also give a counterexample to the 2018 conjecture of Monical that Schur positive chromatic symmetric functions have saturated Newton polytope when expanded in any finite number of variables. Both of these examples were found using ChatGPT-5.6 Sol Pro.

We use partially ordered sets (posets) to provide a canonical parameterization for the Zariski closure of the image of a semialgebraic set under a rational map whose coordinate functions are polynomials with nonnegative integral coefficients. The resulting poset parametrization of such a unirational variety allows us to translate several well-studied problems into combinatorics; e.g. reducing the problems to describing the poset associated to the variety. These problems include, the implicitization problem from algebraic geometry, the toric reparameterization problem, the computation of the linear span of the variety, and the problem of distinguishing two semialgebraic subsets of the same ambient space. The technique applies to instances of these problems in several fields, including algebraic geometry, algebraic combinatorics, statistics and applied algebra. We demonstrate the technique on examples from each field, including degenerate subvarieties of secant varieties, matroid flat varieties -- which generalize toric varieties of edge polytopes, as well as varieties arising in multivariate data analysis and evolutionary biology.

We study the class $\#\mathsf{L}$ of functions counting accepting paths of non-deterministic log-space Turing machines and construct methods to prove containment in $\#\mathsf{L}$. We prove that a large number of classical combinatorial and number theoretic functions belong to this class: classical functions from enumerative combinatorics (multinomial coefficients, Catalan numbers, linear extensions of trees, Stirling numbers, etc), algebraic combinatorics (number of standard Young tableaux, etc), discrete geometry, number theoretic functions, representation theoretic multiplicities in a large class of cases. We show that $\mathrm{GL}_2$-plethysm coefficients of bounded length outer partition can be counted by log$^2$-space polytime verifiers. We pose numerous questions and conjectures on $\#\mathsf{L}$ containment and its generalizations, that suggest venues for conditionally disproving $\#\mathsf{P}$-completeness. While studying which combinatorial functions are in $\#\mathsf{P}$ provides a formal way of (dis)proving the existence of combinatorial interpretations, the lower class $\#\mathsf{L}$ serves as an analogue for functions computable in polynomial time.

Bergeron's conjecture states that, if $1\leq a<b<c<d$ are integers with $ad=bc$, then one has the coefficient-wise inequality ${\binom{b+c}b}_q \ge {\binom{a+d}a}_q$ among two Gaussian polynomials. It originated in algebraic combinatorics and is wide open. The corresponding inequality for binomial coefficients (i.e., the case $q=1$) must be known to experts, but we could not find it in the literature. We give two proofs, each generalizing the statement in a separate direction. Binomial coefficients (and Gaussian polynomials) are fundamental combinatorial objects, and so one naturally hopes to see a combinatorial proof of this inequality. However, this seems hard to come by. We nevertheless give a combinatorial proof of a special case.

The paper studies the graph algebra whose monomial basis is naturally indexed by simple graphs on a fixed set of vertices. This algebra is at the same time the algebra of pseudo-Boolean functions on the Boolean cube and a natural object of algebraic combinatorics, related to the Boolean lattice of subsets of the edge set of the complete graph. The main aim of the paper is to study two compatible representation-theoretic structures on this algebra: the action of the Lie algebra $\mathfrak{sl}_2$, arising from the operators of adding and deleting one edge, and the action of the pair group $S_n^{(2)}$, induced by the renumbering of vertices. It is proved that the graph algebra with this $\mathfrak{sl}_2$-action is isomorphic to a tensor power of the standard two-dimensional $\mathfrak{sl}_2$-module, and on this basis its decomposition into irreducible $\mathfrak{sl}_2$-modules is obtained. Primitive spaces, that is, the kernels of the edge-deletion operator on rank components, are also described, and it is shown that they have a natural interpretation in terms of two-row Specht modules. It is then established that the $\mathfrak{sl}_2$-action commutes with the action of the pair group. It follows that the space of graph invariants also inherits the structure of an $\mathfrak{sl}_2$-module. Using Schur--Weyl duality, primitive invariants are described through the fixed parts of the restrictions of two-row Specht modules from the full symmetric group on the edge set to the pair group. As a consequence, the classical enumeration of non-isomorphic graphs by the number of edges receives a representation-theoretic refinement: the orbital components entering the Burnside--Polya formula decompose into natural primitive contributions associated with the $\mathfrak{sl}_2$-structure and two-row Specht modules.

Let $G$ be a finite abelian group of order $n$ and let $\mathcal M_G=(x_{a+b})_{a,b\in G}$ be the Cayley table of $G$. Let $\text{imm}_λ(\mathcal M_G)$ be the immanant of $\mathcal M_G$ with respect to a partition $λ$ and $\mathcal I_λ(G)$ be the number of formally different monomials occurring in $\text{imm}_λ(\mathcal M_G)$ (in particular, we denote by $\mathcal P(G)$ (resp. $\mathcal D(G)$) for the corresponding quantity for $\text{per}(\mathcal M_G)$ (resp. $\text{det}(\mathcal M_G)$) for simplicity). The study of $\mathcal P(G)$ and $\mathcal D(G)$ lies at the intersection of algebraic combinatorics and additive combinatorics. In this paper, we prove the following results. (1) If $|G|$ is a prime power, then $$\mathcal P(G)=\mathcal D(G).$$ (2) If $|G|$ is odd, then $$\mathcal I_{(n-1,1)}(G)= \mathcal I_{(2,1^{n-2})}(G)=0,$$ and if $|G|\equiv 2\pmod 4$, then $$\mathcal I_{(n-1,1)}(G)=\mathcal P(G)\quad \text{and}\quad \mathcal I_{(2,1^{n-2})}(G)=\mathcal D(G).$$ (3) If $|G|$ is odd and $|G|\ge 7$, then $$ \text{imm}_{(4,1^{n-4})}(\mathcal M_G)=\text{imm}_{(2,2,2,1^{n-6})}(\mathcal M_G).$$