arXiv++ Combinatorics

We provide in this text a new framework for a family of combinatorial Hopf algebras. We adopt for this the language of species and twisted bialgebras (also known as Hopf monoids). We define the category of combinatorial twisted bialgebras (briefly, CTBs), a class of twisted bialgebras satisfying strong combinatorial conditions of compatibilities of the product and the coproduct with the underlying combinatorial structure. The considered morphisms also have to respect the combinatorial structure, in some sense. Many classical examples fit into this framework, including Hopf algebras of graphs, rooted trees, posets, hypergraphs, symmetric functions, boolean maps, etc. Most of known combinatorial Hopf algebras can be obtained from a CTB by application of a Fock functor, or by duality. A central result is the introduction of a universal CTB denoted by $\mathbf{Exch}$, built from collections of compositions satisfying a certain exchange condition. It has a special character $ε$, such that the pair $(\mathbf{Exch},ε)$ plays a role analogous to that of quasi-symmetric functions for graded and connected Hopf algebras: it is the terminal object in the category of CTBs equipped with combinatorial characters. This leads to universal morphisms that encode important information about the combinatorial structure of coproducts. The natural order on the set of compositions on a fixed set is used to define three important sub-objects $\mathbf{Exch}\_-$, $\mathbf{Exch}\_+$ and $\mathbf{Exch}\_{+\hspace{-2mm}+}$ of $\mathbf{Exch}$. We also studies polynomial invariants associated with CTBs. It establishes a correspondence between characters and polynomial invariants. Well-known invariants such as the chromatic polynomial of graphs and the Ehrhart polynomials of posets arise naturally within this framework. We show that, for a given degree, only finitely many polynomial invariants can occur. We show that these universal polynomial invariants can be used to give cancellation-free formulas for the antipode or the Eulerian idempotent, under conditions on the CTB, and use this for an example based on rooted trees, coming from a Hopf algebra used in linguistics. Results are also obtained for families of polynomial invariants with the alternating sign condition, or satisfying a reciprocity principle. We also extend the theory to combinatorial twisted double bialgebras (briefly, CTDBs), which involve two interacting coproduct structures. These generalize previously known examples arising from graphs, posets, hypergraphs, and rooted trees. The twisted approach preserves the combinatorial richness of these structures while providing a unified algebraic framework. We show that not any CTB can be made a CTDB, leading to the introduction of the notion of quasi-cocommutativity. In particular, we show that $\mathbf{Exch}\_+$ is not a CTDB, and construct a sub-object which is, in a unique way, and maximal for the inclusion. In the cocommutative case, simplifications naturally occur, and we show that in this case, a CTB of hypergraphs plays a central role, especially two sub-objects based on connectedness systems and antichain covers. We also show that, in the cocommutative case, the universal polynomial invariants are always chromatic polynomials of hypergraphs, no matter which CTB is considered. Finally, forgetting the combinatorial underlying structure, we study the algebraic structure of $\mathrm{Exch}$, with the help of a twisted version of Loday and Ronco's rigidity theorem for infinitesimal bialgebras.

Regular semisimple Hessenberg varieties are subvarieties of flag varieties defined for any reductive group. Their cohomology carries a representation of the associated Weyl group, known as the dot action representation. In type $A$, these representations can be computed using the chromatic quasisymmetric functions of naturally labeled unit interval graphs. We prove that restricting the dot action representation of any Weyl group to a type $A$ parabolic subgroup yields a representation isomorphic to a direct sum of type $A$ dot action representations. This work is motivated by the conjecture that an analogous property holds for all parabolic subgroups. In particular, for classical Weyl groups of types $B/C$ and $D$, we use chromatic symmetric functions to provide a streamlined, combinatorial formula for the restriction to a specific maximal type $A$ parabolic subgroup. As an application, we prove a conjecture of Lesnevich regarding the representations associated with ideals of types $B$ and $C$ identified under the standard poset isomorphism. Specifically, we show that the corresponding dot action representations are isomorphic if and only if the ideals determine the same reflection sets in their respective root systems. Furthermore, we show that a Catalan number counts the total number of such ideals.

The $k$-Schur functions (resp., $K$-$k$-Schur functions) are the symmetric function representatives of Schubert classes in the homology (resp., $K$-homology) of the affine Grassmannian of type $A$. We prove that every $K$-$k$-Schur function is a nonnegative integer linear combination in the basis of $k$-Schur functions. This settles a conjecture by Lam, Schilling and Shimozono. The proof relies on realizations of $k$-Schur and $K$-$k$-Schur functions as Catalan and Katalan functions, respectively.

The Kromatic symmetric function (KSF) $\overline{X}_{G}$, introduced by Crew, Pechenik, and Spirkl (2026), is a $K$-theoretic analogue of the chromatic symmetric function (CSF) $X_G$. We study expansion formulas for the KSF in two different bases. First, we explore recursive ways to compute the KSF's expansion in the $K$-theoretic monomial symmetric function basis $\overline{\widetilde{m}}_λ$, generalizing formulas that were used by the second author and Samanta to show that the KSF distinguishes certain families of graphs that are not distinguished by the CSF. Second, we give new interpretations for the KSF's expansion in the $K$-theoretic power sum basis $\overline{p}_λ$, using an inclusion-exclusion approach like the one from Stanley (1995) instead of an acyclic orientation approach. Finally, we give $K$-analogues of Schmitt's and of Humpert and Martin's antipode formulas for the Hopf algebra of graphs, along with a Hopf algebra interpretation for both the $\overline{p}$-expansion and $\overline{\widetilde{m}}$-expansion of the KSF.

The algebra of polysymmetric functions (PSym) is defined as the tensor product of copies of the algebra of symmetric functions (Sym) where the $i$th copy has variables scaled by $i$. One way to construct a basis of PSym is to start with a basis $\{f_λ\}$ of Sym and consider all pure tensors arising from this basis. Asvin G and Andrew O'Desky described four families of non-pure tensor bases, namely $H, E, E^+$ and $P$, which we call plethystic bases. In this paper, we study the expansions of the plethystic bases into the pure-tensor bases $\{h^\otimes_τ\}$ and $\{e^\otimes_τ\}$, and interpret the results via combinatorial objects called polywrapping block tabloids. The expansions of $H, E$ and $E^+$ in $h^\otimes$ and $e^\otimes$ are found via the $h$-expansion of the plethysm $h_n[p_r]$. We compute this $h$-expansion using a statistic on words and prove it through abacus methods.

We prove an $e$-positive formula for the chromatic symmetric function of proper circular arc graphs solving the $q=1$ case of Ellzey's conjecture. In doing so, we provide a new proof of the $e$-positivity of unit interval graphs, which alongside Guay-Paquet's reduction gives a new proof of the Stanley--Stembridge conjecture. We define color matrices, which count proper colorings, and tableau matrices, whose entries are nonnegative rational numbers and ratios of elementary symmetric functions. We prove the two matrices are related by a single family of change of basis matrices, which become invertible after restricting to finitely many colors, and we show the chromatic symmetric function of proper circular arc graphs comes from taking the trace of these matrices. Using Hikita's tableaux, this gives an explicit formula for the chromatic symmetric function of a proper circular arc graph as a weighted sum over tableaux whose first and last $k$ vertices lie in the same columns.

We show that the cohomology rings of toric Richardson varieties in the Grassmannian are finite truncations of the ring of quasisymmetric functions. We exhibit an affine paving of each such variety whose cell closures give rise to the basis of fundamental quasisymmetric functions. We similarly interpret the homology of these varieties in terms of the ring of noncommutative symmetric functions and show that the expansion of the homological class of any torus-invariant subvariety into the affine paving basis agrees with the expansion of a corresponding generalized noncommutative ribbon function into the ribbon basis. By taking the direct limit of all toric Richardson varieties, we obtain an ind-variety equipped with a weak $H$-group structure whose cohomology is the Hopf algebra of quasisymmetric functions. We conjecture that it is isomorphic to a similar $H$-group constructed by Baker--Richter. As a byproduct, we deduce that the $f$-vectors of shard polytopes are log-concave, making the first progress on a question of Ferroni--Schröter for matroid base polytopes.

We study the Theta operators of D'Adderio-Iraci-Vanden Wyngaerd at $t=1$ and show that the power-sum-indexed operators $Θ_{\mathsf p_k}|_{t=1}$ agree with a commuting family of derivations when restricted to symmetric functions of positive degree. Writing $\widetilde{h}_a$ for the modified Macdonald function indexed by the single row $(a)$ we establish that $Θ_{\mathsf p_μ}\widetilde{h}_a|_{t=1}$ is, up to a normalization, the single-row Macdonald cumulant of Dolęga. We use these results to show that $Θ_{\mathsf p_μ}\widetilde{h}_a|_{t=1}$ and $Θ_{\mathsf e_λ}\widetilde{h}_a|_{t=1}$ are both sums of vertical-strip LLT polynomials indexed by certain plane trees. The former further shows that single-row Macdonald cumulants are LLT-positive, thereby yielding a stronger form of the higher-order Macdonald positivity conjecture of Dolęga when all shapes are single rows.

Majorization inequalities for symmetric polynomials have interested mathematicians for centuries, from the AM-GM inequality for two variables going back at least to Baudhāyana's Śulbasūtra and Euclid's Elements in the first millenium BCE, through classical results of Newton, Muirhead and Gantmacher, to more recent extensions to Schur polynomials and zonal spherical functions. These have been established case by case, with no unified approach. Although it is known that majorization inequalities follow from symmetry and convexity in the indexing partition, the difficulty of proving convexity in specific cases has left a number of outstanding conjectures inaccessible until now. The key insight of this paper is that log-convexity provides a more versatile tool and a unifying principle. It implies convexity and hence majorization, and it is preserved under multiplication and weighted averaging, making it well suited to inductive arguments in a wide range of settings. Using this idea, we prove new majorization inequalities for Macdonald polynomials, Jack polynomials and Heckman-Opdam hypergeometric functions, unifying existing results and resolving several open conjectures.

We introduce partition functors: algebraic structures indexed by partitions of finite sets and equipped with restriction and transfer maps along refinements. We construct a monad PD on the category of partition functors and on several categories of partition functors with additional multiplicative structure. For a partition ring, exponential elements in its associated completed ring of symmetric functions acquire canonical logarithms after applying PD. This gives rise to a universal exponential relation between multiplicative and additive power operations. For representation rings this can be used to recover the classical relation between symmetric powers and Adams operations, while for Morava E-theory it can be used to recover Ganter's exponential relation between symmetric powers and Hecke operators. We show that the representation rings of products of symmetric groups form the initial partition ring and that, for symmetric monoidal partition functors, the monad PD is closely related to symmetric invariant tensors and the divided power envelope. We also construct a symmetric monoidal partition ring carrying the universal exponential element, so that its image under PD carries the universal exponential relation.

The Ehrhart series of the $n$th Birkhoff polytope is $\sum_{r\geq0}H_n(r)z^r$, where $H_n(r)$ counts nonnegative integer $n\times n$ matrices whose row and column sums all equal $r$. We present an exact method for computing this series using constant terms and finite fields. A root filter expresses $H_n(r)$ as a weighted sum of the values $h_r(M)^n$, where $h_r$ is the complete homogeneous symmetric polynomial and $M$ ranges over multisets of $m$th roots of unity with $m=r+1$. Constant-term cancellation reduces the evaluation of $h_r(M)$ to a sum over repeated elements $a$ of $M$. For a particular $a$ of multiplicity $μ_a$, the computation uses a generalized Todd coefficient of degree $μ_a-2$. Sums of $h_r(M)^n$ over selected multiplicity classes are handled using symmetric function techniques. Together with the remaining individual evaluations, this gives $O_n(m^{n-5}+m^4)$ field operations for each admissible prime and fixed $n\geq5$. An explicit bound and the Chinese remainder theorem recover the integer counts, and Ehrhart symmetry determines the full series. The same method applies to the World Cup problem, which counts the same matrices with diagonal entries required to be $0$. We prove correctness and compute complete series for both families through order $12$. The Birkhoff series for orders $10$--$12$ and the World Cup series for orders $9$--$12$ are tabulated in the appendices.

We introduce back stable standard elementary monomials and their complete homogeneous analogues. These families form bases of the back stable Schubert ring and record the eventual standard elementary monomial expansions of left-stabilized Schubert polynomials. Dynkin reversal exchanges the two bases while preserving their coefficients. We also show that orbit sums of the back stable coefficients recover the elementary and complete homogeneous coefficients of Stanley symmetric functions. Finally, we study the shifted specialization polynomial $\mathcal{T}_w(t)=\mathfrak{S}_{1^t\times w}(1)$, considered by Fomin and Kirillov, which counts reduced pipe dreams of $1^t\times w$. We express this polynomial in terms of back stable standard elementary monomial coefficients.

Consider a symmetric function $\mathcal{C}(x,y)$ on $[0,1]\times[0,1]$ which is twice continuously differentiable up to the boundary, and which satisfies $ \mathcal{C}(x,y)=\mathcal{C}(1-x,1-y)$. Let $A^{(n)} = \big(a^{(n)}_{i,j}\, :\, i,j \in [n]\big)$ be the matrix with entries $a^{(n)}_{i,j}\, =\, \exp(-\mathcal{C}(i/n,j/n))$. Soumik Pal conjectured the asymptotics $$\operatorname{perm}\big(A^{(n)}\big)/n!\sim \exp\big(n Λ[\mathcal{C}]\big)/ \sqrt{\mathcal{D}[\mathcal{C}]}$$ as $n \to \infty$ for known functionals that arise naturally in the context of entropy regularized optimal transport. The functional $Λ[\mathcal{C}]$ is the known large deviation rate function, already proved rigorously by Sumit Mukherjee. It is $\int_{0}^1 \int_0^{1} (α(x)+β(y))\, dx\, dy$ where $α(x)+β(y)$ is chosen such that $ρ(x,y) := \exp(-\mathcal{C}(x,y)-α(x)-β(y))$ has uniform marginals. The algebraic term $\mathcal{D}[c]$ is given by Peter McCullagh's formula for doubly stochastic matrices: $\operatorname{det}_F(I+J-T^*T)$, the Fredholm determinant, where $I$ is the identity on $L^2([0,1])$, $Jf(x) \equiv \int_{0}^1 f(z)\, dz$ (for all $x$) and $Tf(x) = \int_0^1 ρ(x,y) f(y)\, dy$. We prove the conjecture for functions $\mathcal C$ that are constant on blocks, exploiting a well-known Ross Pinsky's combinatorial decomposition of permutations in blocks.

We study the number of prototypes needed to represent Boolean functions by nearest-neighbour classification. There are two distinct settings: the prototypes may be arbitrary points of Euclidean space, or they may themselves be required to lie in the Boolean cube. For unrestricted prototypes, we strengthen a known lower bound for almost all Boolean functions. The bound applies simultaneously to nearest-neighbour voting rules with any number of voting neighbours, and substantially narrows the gap with the known general upper bound. We obtain a VC-dimension bound for classes with a bounded number of prototypes, and show that it is sharp in order in dimensions at least four. We then study Boolean prototypes, beginning with symmetric threshold functions. A connection with covering designs expresses the minimum number of prototypes at every threshold level exactly in terms of a covering number, and leads to further exact results for related monotone functions, including disjunctive extensions and a characterisation of when a representation with a single negative prototype is possible. For a uniformly random Boolean function, the Boolean nearest-neighbour complexity, as a proportion of the cube, is asymptotically close either to one half or to one, with explicit limiting probabilities. In particular, almost every Boolean function requires at least approximately half as many prototypes as there are points in the cube, and one half is the largest proportion for which such a lower bound holds. Finally, we consider arbitrary symmetric Boolean functions. Their Boolean nearest-neighbour complexity is closely approximated by a weighted vertex-cover problem on paths. As a consequence, a uniformly random symmetric function typically requires prototypes amounting to $11/20$ of the cube. This is much larger than the upper bounds known when the prototypes are allowed to lie anywhere in Euclidean space.

We introduce a combinatorial definition of chromatic symmetric functions for annular webs. We prove their symmetry by constructing a web analogue of the Shareshian--Wachs involution and show that they coincide with the symmetric functions associated to annular webs via Turaev's isomorphism. We then derive explicit formulas for their hook Schur coefficients. We also introduce web LLT functions, whose hook Schur coefficients admit positive Laurent-polynomial formulas. These formulas yield a combinatorial expression for the coefficients of the HOMFLY--PT polynomial of an annular web.

Let \(λ\succγ\succμ\) be equal-degree exponent partitions with at most three parts, and let \begin{equation*} P_{λ,γ,μ} = J_λ+J_μ-2J_γ, \end{equation*} where \(J_ν\) denotes the symmetric monomial orbit sum associated with \(ν\). We prove a necessary and sufficient collision criterion for the positivity of this three-point majorization difference in three variables. For nonnegative integer exponent partitions, \begin{equation*} P_{λ,γ,μ}(x,y,z)\ge0 \qquad(x,y,z>0) \end{equation*} if and only if \begin{equation*} P_{λ,γ,μ}(t,1,1)\ge0 \qquad(t>0). \end{equation*} Thus the positivity of a genuinely three-variable symmetric polynomial of this form is completely determined by its one-variable restriction to the locus where two variables coincide. The theorem gives a uniform and effectively checkable criterion for an infinite class of symmetric polynomial inequalities. For a fixed integer chain, the global three-variable problem is reduced to a single univariate polynomial inequality, which can often be verified exactly by factorization, Sturm's theorem, or other one-variable methods. The criterion extends well beyond the classical Schur family, produces explicit inequalities outside the Schur pattern, and yields genuine strengthenings and refinements of Schur's inequality.

The elementary symmetric partition map $\pre_s$, introduced by Ballantine, Beck, and Merca, sends an integer partition to the summands in the evaluation of the $s$-th elementary symmetric polynomial at its parts. By encoding partition parts as prime-exponent valuation vectors, we connect $\pre_s$ to Leo Moser's additive Multiset Recovery Problem (1957) and prove that $\pre_s$ is unconditionally injective on partitions of length $n$ whenever $n$ lies outside the Moser root set $\mathcal{Z}_s$, with no size restrictions. Furthermore, under the equal-size constraint $|λ| = |μ| = N$, we prove that $\pre_4$ is injective at the isolated singular length $n = 12$, and that every fiber of $\pre_3$ on $\Part_6(N)$ has cardinality at most $2$, completely excluding both triplets and quartets.

We describe the ring of Laurent symmetric polynomials in terms of generators and relations, giving an analogue of the Fundamental Theorem of Symmetric Polynomials. We extend the Hall inner product, and give an algebraic proof that the Laurent Schur polynomials form an orthonormal basis of this ring. In the case of infinitely many variables, we realize the ring of Laurent symmetric functions as a direct limit of inverse limits, and relate them to characters of rational and algebraic representations of general linear groups.

Recent major breakthroughs in $q,t$-combinatorics include the introduction of the Dyck path algebra $\mathbb{A}_{q,t}$ by Carlsson and Mellit and of the Catalanimals by Blasiak et al., both of which led, among other things, to independent proofs of different extensions of the rational shuffle conjecture of Bergeron et al. The first main contribution of this paper is a simple, explicit formula inside the algebra $\mathbb{A}_{q,t}$ for the Negut operators, yielding a direct, elementary connection between the original operators of the rational shuffle conjecture and the corresponding Catalanimals. Our formula bypasses the elliptic Hall algebra, turning these operators into transparent, workable tools whose action we can compute exactly and efficiently on any symmetric function, not just constants. Our second main contribution consists of a series of explicit formulas relating the Negut operators to the Theta operators introduced by D'Adderio et al. To prove these formulas, we provide an extension of the aforementioned Theta operators to the entire algebra $\mathbb{A}_{q,t}$, allowing us to obtain a series of new combinatorial results. The algebraic computations underlying this extension have been formalized in Lean. To showcase the power of our results, we give a proof, also partially formalized in Lean, of the Theta conjecture of D'Adderio et al., first stated in 2019.

We define a diagonal-inversion statistic on labeled Dyck paths carrying both decorated rises and decorated contractible valleys. This gives an explicit candidate for a bivariate refinement of the univariate Theta conjecture of D'Adderio, Iraci, and Vanden Wyngaerd, recently proved by D'Adderio, Pagaria, and the authors of this work. The univariate conjecture can be recovered from our bivariate version by setting $q=1$. The new conjecture recovers the rise and valley versions of the Delta conjecture when either decoration parameter vanishes, and provides a combinatorial interpretation of the symmetric function $Θ_{e_l} Θ_{e_k}\nabla e_{n-k-l}$, which is also conjectured to be the Frobenius characteristic of a certain graded module of diagonal coinvariants with two sets of commuting variables and two sets of anticommuting variables. In support of the Theta conjecture and its touching refinement, we prove its Schröder case, that is, the scalar product of the symmetric function side with $e_{n-d} h_d$ matches the combinatorial side restricted to Schröder paths. The proof uses a finer combinatorial argument than the previously known cases, leveraging two Gaussian product identities.