arXiv++ Combinatorics

The pairwise independent correlation gap is the ratio of the maximum expected value of a set function under arbitrary dependence to that under pairwise independence, measuring the loss from this independence restriction. Under mutual independence, this gap is universally bounded by $e/(e-1)$ for monotone submodular functions. With pairwise independence, a tighter $4/3$ upper bound was established for several special cases, including $n=3$, and conjectured to hold universally. A recent AI-assisted counterexample disproved this conjecture for $n=5$, leaving the validity of the $n=4$ bound and the tight worst case bound open. We resolve both questions. First, for $n=4$, we establish that the $4/3$ bound holds universally and is tight using an AI-assisted proof combining theoretical analysis and computational verification. The proof combines a structural characterization of optimal numerator vertices, permutation symmetry, cone certificate systems, Bernstein polynomial representations, recursive simplex subdivision, and verification of $2,745$ Bernstein coefficient systems. Second, we show that the worst case pairwise independent correlation gap attains $e/(e-1)$ asymptotically by constructing an instance with identical marginal probabilities and a monotone submodular union coverage function on a ground set partitioned into $m$ blocks. The number of blocks grows sublinearly with the ground set size. The result follows by constructing a feasible solution to a scaled asymptotic reduced dual of the pairwise independent linear program and immediately extends to $t$-wise independent random elements ($t\ge2$), since $t$-wise independence implies pairwise independence. Thus, pairwise independence, despite being the least restrictive form of independence in the $t$-wise independence hierarchy, can be as restrictive as mutual independence in the worst case.

We construct two stable limit representations of the double affine Hecke algebra of type $(C^\vee,C)$ on the space of almost symmetric Laurent polynomials, namely the positive and negative stable limit representations. Starting from the standard polynomial representation of the finite rank DAHA of type $(C_n^\vee,C_n)$, we study the asymptotic behavior of the Cherednik operators under the two natural rescalings by positive and negative powers of the parameter $t$. We prove that these rescaled Cherednik operators admit well-defined limits on the ring of almost symmetric Laurent polynomials. This yields stable positive and negative actions of a common stable limit DAHA. The action of the limit Cherednik operators is also proven to be triangular on a natural basis of almost symmetric Laurent polynomials labeled by tuple-partition symbols with respect to the induced Bruhat order. We further construct for each of the two stable limit representations a set of simultaneous eigenfunctions of the limit Cherednik operators using the partial symmetrization operators acting on the non-symmetric Koornwinder polynomials. We show that each of the two sets of the eigenfunctions form a basis of the space of almost symmetric Laurent polynomials, and denote them by the positive and negative stable limit Koornwinder polynomials.

We study the image of a regular unipotent element under any finite-dimensional irreducible polynomial representations of $\mathrm{GL}_3(\mathbb{C})$. This problem is equivalent to decomposing certain compositions of irreducible representations as $\mathrm{SL}_2(\mathbb{C})$-modules. We give an explicit decomposition of this finding, its Jordan decomposition.

Hughes introduced the projective planes that bear his name in 1957 and they have since been studied extensively. However, until now, no polynomial representation of a planar ternary ring that represents them has been determined. In this paper, we rectify this omission by determining a reduced PTR polynomial for any Hughes plane defined over a regular nearfield. The polynomials obtained provide a new surprising connection: both the Catalan numbers and generalized Catalan numbers occur among the coefficients, depending on the representation. Since every PTR polynomial has connections with several classes of permutation polynomials, we obtain three new infinite classes of permutation polynomials as a consequence of our main result, and these, too, involve the Catalan numbers. The differential uniformity of new permutation polynomials is also determined.

The plethysm product of Schur functions corresponds to composing polynomial representations of infinite general linear groups. Finding the plethysm coefficients $\langle s_ν\circ s_μ, s_λ\rangle$ that express an arbitrary plethysm $s_ν\circ s_μ$ as a sum $\sum_λ\langle s_ν\circ s_μ, s_λ\rangle s_λ$ of Schur functions is a fundamental open problem in algebraic combinatorics. We prove two stability theorems for plethysm coefficients under the operations of adding and/or joining an arbitrary partition to either $μ$ or $ν$. In both theorems $μ$ may be replaced with an arbitrary skew partition. As special cases we obtain all stability results on the plethysm product of two Schur functions in the literature to date. The proofs are entirely combinatorial using plethystic semistandard tableaux with positive and negative entries.

By using level one polynomial representations of affine Hecke algebras of type $A$, we obtain a $(q,t)$-analogue of the chromatic symmetric functions of unit interval graphs which generalizes Syu Kato's formula for the chromatic symmetric functions of unit interval graphs. We show that at $q=1$, the $(q,t)$-chromatic symmetric functions essentially reduce to the chromatic quasisymmetric functions defined by Shareshian-Wachs, which in particular gives an algebraic proof of Kato's formula. We also give an explicit formula of the $(q,t)$-chromatic symmetric functions at $q=\infty$, which leads to a probability theoretic interpretation of $e$-expansion coefficients of chromatic quasisymmetric functions used in our proof of the Stanley-Stembridge conjecture. Moreover, we observe that the $(q,t)$-chromatic symmetric functions are multiplicative with respect to certain deformed multiplication on the ring of symmetric functions. We give a simple description of such multiplication in terms of the affine Hecke algebras of type $A$. We also obtain a recipe to produce $(q,t)$-chromatic symmetric functions from chromatic quasisymmetric functions, which actually makes sense for any oriented graphs.

In this paper, we introduce higher rank generalizations of Macdonald polynomials. The higher rank non-symmetric Macdonald polynomials are Laurent polynomials in several sets of variables which form weight bases for higher rank polynomial representations of double affine Hecke algebras with respect to higher rank Cherednik operators. We prove that these polynomials satisfy generalized versions of the classical Knop--Sahi relations and we give combinatorial descriptions of their weights. The higher rank symmetric Macdonald polynomials are defined as Hecke-symmetrizations of the higher rank non-symmetric Macdonald polynomials and form eigenbases for the spaces of Hecke-invariant higher rank polynomials with respect to generalized finite variable Macdonald operators. We prove that the higher rank symmetric Macdonald polynomials satisfy stability properties allowing for the construction of infinite variable limits. These higher rank symmetric Macdonald functions form eigenbases for certain representations of the (positive) elliptic Hall algebra with respect to generalized infinite variable Macdonald operators. Lastly, we show that the higher rank polynomial representations may be used to construct higher rank polynomial representations of the double Dyck path algebra. This is a copy of the author's accepted extended abstract for FPSAC2025.

The Naito--Sagaki conjecture asserts that the branching rule for the restriction of finite-dimensional, irreducible polynomial representations of $GL_{2n}(\mathbb{C})$ to $Sp_{2n}(\mathbb{C})$ amounts to the enumeration of certain ``rational paths'' satisfying specific conditions. This conjecture can be thought of as a non-Levi type analog of the Levi type branching rule, stated in terms of the path model due to Littelmann, and was proved combinatorially in 2018 by Schumann--Torres. In this paper, we give a new proof of the Naito--Sagaki conjecture independently of Schumann--Torres, using the branching rule based on the crystal basis theory for $\imath$quantum groups of type $\mathrm{AII}_{2n-1}$. Here, note that $\imath$quantum groups are certain coideal subalgebras of a quantized universal enveloping algebra obtained by $q$-deforming symmetric pairs, and also regarded as a generalization of quantized universal enveloping algebras; these were defined by Letzter in 1999, and since then their representation theory has become an active area of research. The main ingredients of our approach are certain combinatorial operations, such as promotion operators and Kashiwara operators, which are well-suited to the representation theory of complex semisimple Lie algebras.

The modified Macdonald functions $\widetilde{H}_μ$ are fundamental objects in modern algebraic combinatorics. Haiman showed that there is a correspondence between the $(\mathbb{C}^{*})^2$-fixed points $I_μ$ of the Hilbert schemes $\mathrm{Hilb}_{n}(\mathbb{C}^2)$ and the functions $\widetilde{H}_μ$ realizing a derived equivalence between $(\mathbb{C}^{*})^2$-equivariant coherent sheaves on $\mathrm{Hilb}_{n}(\mathbb{C}^2)$ and $(\mathfrak{S}_n \times (\mathbb{C}^{*})^2)$-equivariant coherent sheaves on $(\mathbb{C}^2)^n.$ Carlsson--Gorsky--Mellit introduced a larger family of smooth projective varieties $\mathrm{PFH}_{n,n-k}$ called the parabolic flag Hilbert schemes. They showed that an algebra $\mathbb{B}_{q,t}$, directly related to the double Dyck path algebra $\mathbb{A}_{q,t}$ employed in Carlsson--Mellit's proof of the Shuffle Theorem, acts naturally on the $(\mathbb{C}^{*})^2$-equivariant K-theory $U_{\bullet}$ of these spaces and, moreover, there is a $\mathbb{B}_{q,t}$-isomorphism $Φ: U_{\bullet} \rightarrow V_{\bullet}$ where $V_{\bullet}$ is the polynomial representation. The isomorphism $Φ: U_{\bullet} \rightarrow V_{\bullet}$ is known to extend Haiman's correspondence. In this paper, we explicitly compute the images $Φ(H_{μ,w})$ of the normalized $(\mathbb{C}^{*})^2$-fixed point classes $H_{μ,w}$ of the spaces $\mathrm{PFH}_{n,n-k}$ and show they agree with the modified partially symmetric Macdonald polynomials $\widetilde{H}_{(λ|γ)}$ introduced by Goodberry-Orr, confirming their prior conjecture. We use this result to give an explicit formula for the action of the involution $\mathcal{N}$ on $V_{\bullet}.$

DP-coloring (also called correspondence coloring) is a generalization of list coloring that was introduced by Dvořák and Postle in 2015. The chromatic polynomial of a graph is an important notion in algebraic combinatorics that was introduced by Birkhoff in 1912; denoted $P(G,m)$, it equals the number of proper $m$-colorings of graph $G$. Counting function analogues of chromatic polynomials have been introduced for list colorings: $P_{\ell}$, list color functions (1990); DP colorings: $P_{DP}$, DP color functions (2019), and $P^*_{DP}$, dual DP color functions (2021). For any graph $G$ and $m \in \mathbb{N}$, $P_{DP}(G, m) \leq P_\ell(G,m) \leq P(G,m) \leq P_{DP}^*(G,m)$. In 2022 (improving on older results) Dong and Zhang showed that for any graph $G$, $P_{\ell}(G,m)=P(G,m)$ whenever $m \geq |E(G)|-1$. Consequently, the list color function of a graph is a polynomial for sufficiently large $m$. One of the most important and longstanding open questions on DP color functions asks: for every graph $G$ is there an $N \in \mathbb{N}$ and a polynomial $p(m)$ such that $P_{DP}(G,m) = p(m)$ whenever $m \geq N$? We show that the answer to the analogue of this question for dual DP color functions is no. Our proof reveals a connection between a dual DP color function and the balanced chromatic polynomial of a signed graph introduced by Zaslavsky in 1982.

We construct $Δ$-operators $F[Δ]$ on the space of almost symmetric functions $\mathscr{P}_{as}^{+}$. These operators extend the usual $Δ$-operators on the space of symmetric functions $Λ\subset \mathscr{P}_{as}^{+}$ central to Macdonald theory. The $F[Δ]$ operators are constructed as certain limits of symmetric functions in the Cherednik operators $Y_i$ and act diagonally on the stable-limit non-symmetric Macdonald functions $\widetilde{E}_{(μ|λ)}(x_1,x_2,\ldots;q,t).$ Using properties of Ion-Wu limits, we are able to compute commutation relations for the $Δ$-operators $F[Δ]$ and many of the other operators on $\mathscr{P}_{as}^{+}$ introduced by Ion-Wu. Using these relations we show that there is an action of $\mathbb{B}_{q,t}^{\text{ext}}$ on almost symmetric functions which we show is isomorphic to the polynomial representation of $\mathbb{B}_{q,t}^{\text{ext}}$ constructed by González-Gorsky-Simental.

We introduce the immersion poset $(\mathcal{P}(n), \leqslant_I)$ on partitions, defined by $λ\leqslant_I μ$ if and only if $s_μ(x_1, \ldots, x_N) - s_λ(x_1, \ldots, x_N)$ is monomial-positive. Relations in the immersion poset determine when irreducible polynomial representations of $GL_N(\mathbb{C})$ form an immersion pair, as defined by Prasad and Raghunathan (2022). We develop injections $\mathsf{SSYT}(λ, ν) \hookrightarrow \mathsf{SSYT}(μ, ν)$ on semistandard Young tableaux given constraints on the shape of $λ$, and present results on immersion relations among hook and two column partitions. The standard immersion poset $(\mathcal{P}(n), \leqslant_{std})$ is a refinement of the immersion poset, defined by $λ\leqslant_{std} μ$ if and only if $λ\leqslant_D μ$ in dominance order and $f^λ\leqslant f^μ$, where $f^ν$ is the number of standard Young tableaux of shape $ν$. We classify maximal elements of certain shapes in the standard immersion poset using the hook length formula. Finally, we prove Schur-positivity of power sum symmetric functions $p_{A_μ}$ on conjectured lower intervals in the immersion poset, addressing questions posed by Sundaram (2018).

The permutation matrices form a subgroup of $\text{GL}_n(\mathbb{C})$ that is isomorphic to the symmetric group $S_n$. Let $r_{μλ}$ denote the multiplicity of the irreducible representation $V_μ$ of $S_n$, corresponding to a partition $μ$ of $n$, in the restriction of an irreducible polynomial representation $W_λ(\mathbb{C})$ of $\text{GL}_n(\mathbb{C})$, corresponding to a partition $λ$ with at most $n$ parts. Finding a combinatorial interpretation for $r_{μλ}$ remains an open problem in algebraic combinatorics, called the \emph{restriction problem}. We derive a new nonrecursive expression for a character polynomial called the \emph{Specht polynomial} and use it to find a combinatorial interpretation of $r_{μλ}$ when $λ$ is a hook-shaped partition.

In this paper, we reveal an internal structure within Dedekind numbers, demonstrating that they can be expressed as polynomials of powers of 2. This discovery is based on innovative concepts and methods, offering a new perspective on the nature of these numbers.

We propose in this paper a polynomial representation of TU-games, fuzzy measures, capacities, and more generally set functions. Our representation needs a countably infinite set of players and the natural ordering of finite sets of $\mathbb{N}$, defined recursively. For a given basis of the vector space of games, we associate to each game $v$ a formal polynomial of degree at most $2^n-1$ whose coefficients are the coordinates of $v$ in the given basis. By the fundamental theorem of algebra, $v$ can be represented by the roots of the polynomial. We present some new families of games stemming from this polynomial context, like the irreducible games, the multiplicative games and the cyclotomic games.

The double Dyck path algebra $\mathbb{A}_{q,t}$ and its polynomial representation first arose as a key figure in the proof of the celebrated Shuffle Theorem of Carlsson and Mellit. A geometric formulation for an equivalent algebra $\mathbb{B}_{q,t}$ was then given by the second author and Carlsson and Mellit using the K-theory of parabolic flag Hilbert schemes. In this article, we initiate the systematic study of the representation theory of the double Dyck path algebra $\mathbb{B}_{q,t}$. We define a natural extension of this algebra and study its calibrated representations. We show that the polynomial representation is calibrated, and place it into a large family of calibrated representations constructed from posets satisfying certain conditions. We also define tensor products and duals of these representations, thus proving (under suitable conditions) the category of calibrated representations is generically monoidal. As an application, we prove that tensor powers of the polynomial representation can be constructed from the equivariant K-theory of parabolic Gieseker moduli spaces.

Inspired by the split decomposition of graphs and rank-width, we introduce the notion of $r$-splits. We focus on the family of $r$-splits of a graph of order $n$, and we prove that it forms a hypergraph with several properties. We prove that such hypergraphs can be represented using only $\mathcal O(n^{r+1})$ of its hyperedges, despite its potentially exponential number of hyperedges. We also prove that there exist hypergraphs that need at least $Ω(n^r)$ hyperedges to be represented, using a generalization of set orthogonality.

We use character polynomials to obtain a positive combinatorial interpretation of the multiplicity of the sign representation in irreducible polynomial representations of $GL_n(\mathbb{C})$ indexed by two-column and hook partitions. Our method also yields a positive combinatorial interpretation for the multiplicity of the trivial representation of $S_n$ in an irreducible polynomial representation indexed by a hook partition.

We introduce a graph polynomial that distinguishes tree structures to represent dependency grammar and a measure based on the polynomial representation to quantify syntax similarity. The polynomial encodes accurate and comprehensive information about the dependency structure and dependency relations of words in a sentence. We apply the polynomial-based methods to analyze sentences in the Parallel Universal Dependencies treebanks. Specifically, we compare the syntax of sentences and their translations in different languages, and we perform a syntactic typology study of available languages in the Parallel Universal Dependencies treebanks. We also demonstrate and discuss the potential of the methods in measuring syntax diversity of corpora.

Graphons are symmetric measurable functions that arise from a sequence of graphs. A graphon variety is the a set of all graphons defined by a condition of the form $t(g, W) = 0$ for a fixed quantum graph $g$, where $t(.,.)$ is the homomorphism density and a quantum graph is a formal linear combination of multigraphs. Using a method of representing graphs as polynomials, we construct an epimorphism from the space of quantum graphs to a subring of the complex polynomial ring that is invariant under permutations of variables. When graphons are of finite rank, we demonstrate that an analog of the "ideal" inverse in Algebraic Geometry is an ideal in our polynomial representation. Defining an algebraic kernel set using kernel varieties, we demonstrate that we can call such sets closed under the Zariski Topology. We determine several ties to Algebraic Geometry as a result of utilizing finite rank kernels and discover that a weaker version of Hilbert's Nullstellensatz applies to kernel zero-sets with respect to homomorphism density. Throughout, we examine the connection between Algebraic Geometry and Graphon Theory.