arXiv++ Combinatorics

Let $P$ be a $d$-dimensional lattice polytope with Ehrhart polynomial $L_P(t)$. Motivated by the study of Ehrhart positivity and magic positivity, we investigate the Taylor coefficients $\mathsf{A}_j(P;k)$ in the shifted expansion $L_P(t)=\sum_{j=0}^{d}\mathsf{A}_j(P;k)(t-k)^j$ about a real center $k$. In this paper, we obtain the following four main results. (i) We give exact formulas for these coefficients in terms of the ordinary Ehrhart coefficients, the $h^*$-vector, elementary symmetric functions, and Stirling numbers. (ii) We denote by $τ(P)$ and $τ^+(P)$ the smallest nonnegative integral centers at which all Taylor coefficients are nonnegative and positive, respectively. If $s$ is the degree of the $h^*$-polynomial, then $0\leqτ(P)\leqτ^+(P)\leq\min\{\max\{0,s-1\},\lfloor\frac{d-1}{2}\rfloor\}$. As an application, we slightly improve an upper bound due to Beck, De Loera, Develin, Pfeifle, and Stanley. That is, every real root of $L_P(t)$ lies in $[-d,\lfloor\frac{d-1}{2}\rfloor)$. (iii) Let $ρ(P)$ be the smallest nonnegative real center such that the Taylor coefficients are nonnegative. If $λ_{\mathbb{R}}(f)$ denotes the largest real zero of $f(t)$, with value $-\infty$ when no such zero exists, then $ρ(P)=\max\{0,\max_{0\leq j<d}λ_{\mathbb{R}}\!(L_P^{(j)})\}$. (iv) We establish structural properties of the Taylor coefficients $\mathsf{A}_j(P;k)$, including derivative interlacing, palindromic reflection symmetries, and Laguerre and Newton inequalities. As a final note, these results provide a systematic partial answer to an open problem listed on the website of the American Institute of Mathematics.

We study polynomial zero-avoidance over finite vector spaces by means of slice rank and partition rank. We first make the support-entropy method effective by showing how a finite dual certificate yields an explicit entropy gap whenever the coefficient support admits no probability distribution with uniform marginals. For the quadratic elementary symmetric polynomial over fields of characteristic three, the ternary structure of the coefficient support gives a certificate with optimal normalized margin and a uniform analytic bound for the corresponding higher-degree Erdős--Ginzburg--Ziv constant, avoiding a separate optimization for each field. We then use partition rank to handle solutions in pairwise distinct variables. Equality profiles are encoded by contracted local tensors, reducing the global problem to finitely many slice-rank estimates. Applying this reduction on the multiplicative torus gives restricted-alphabet zero-sum bounds with exponential base below the alphabet size. Coordinatewise inversion and support stratification then yield, to the best of our knowledge, the first nontrivial exponential bound for the higher-degree Erdős--Ginzburg--Ziv problem over $\mathbb{F}_5^n$ associated with the fourth elementary symmetric polynomial.

We prove new inequalities for elementary symmetric polynomials (ESPs) for vectors that sum to zero, and for square matrices with zero row and column sums. We apply these results to obtain a unified upper bound on the mean-field approximation guarantee for permutation mixtures, as well as a sharp $χ^2$ version of the de Finetti theorem for finite sequences over a small alphabet. The main proof ideas were developed by the GPT-5.5 Pro model.

Introduced by Ballantine, Beck, and Merca, the elementary symmetric partition function $\mathrm{pre}_k$, defined on the set of partitions with at least $k$ parts, has been a topic of recent interest. We prove that $\mathrm{pre}_k$ is injective on the set of $m$-ary partitions for positive integers $m \ge k$, generalizing the binary $k = 2$ result of Ballantine, Beck, and Merca, and complementing a result of Hadelyn, Niergarth, Li and Li showing that, for each $k \ge 3$, $\mathrm{pre}_k$ is not injective on partitions of $n$ with length $2k$ for infinitely many $n$. We introduce the skew Schur partition function $\mathrm{prs}_{λ'/μ'}$, prove injectivity results for particular choices of $λ',μ'$, and describe an application to representation theory.

Ballantine, Beck, Merca, and Sagan conjectured four identities, collectively Conjecture 19, relating the image of the map pre_k on integer partitions to four OEIS sequences. We prove parts (i) and (iii) unconditionally, prove part (iv) unconditionally using the injectivity of pre_2 on partitions of n (Conjecture 1 of the same paper, proved by Li in arXiv:2508.00971), and show that this injectivity is in fact equivalent to part (iv). For part (ii) we prove the partition-theoretic half unconditionally and reduce the remaining content to a 2006 conjecture of Dean Hickerson on the OEIS concerning Huffman coding. We also correct a sign error in the published statement of part (iii): the correct identity is chi(ImP_3(n)) = A213213(n) - 1, not 1 + A213213(n) as stated.

Devnani and Eyyunni recently studied the maps pre$_k$ on integer partitions, which arise from applying elementary symmetric polynomials to the parts of a partition. They asked whether there exists $n \ge 1$ such that exactly one partition of $n$ lies in the image of pre$_2$. We show that this occurs only for $n$ in {1, 2, 4}, and that for all $n \ge 5$, at least two partitions of n are in the image of pre$_2$.

A \emph{sprout sequence} is a sequence $\frakr=(R_0=1,R_1,R_2,\dots)$ of symmetric functions in the variables $\bmx=(x_1,x_2,\dots)$ over a field $K$ generated from a power series $F(t)=1+a_1t+a_2t^2+\cdots$ by the rule $\sum_{n\geq 0}R_nt^n = \prod_{i\geq 1} F(x_it)$. The power series $F(t)$ is called the \emph{seed} of $\frakr$. This concept originated in the work of Littlewood and Richardson (though not with the name ``sprout sequence''), and numerous examples of sprout sequences have appeared in the literature. They are related to chromatic Tutte polynomials of complete graphs and complete hypergraphs, binomial posets, upper homogeneous (upho) posets, topological genera, etc. We first develop the basic theory of sprout sequences and then look at the special case $F(t)=\sec(\sqrt{t})$. We give five characterizations of sprout sequences and consider the expansion of sprout symmetric functions in terms of well-known symmetric function bases. The Schur positivity, elementary symmetric function positivity, and complete homogeneous symmetric function positivity of $R_n$ for all $n$ are completely characterized using the Edrei-Thoma theorem from the theory of total positivity. The seed $F(t)=\sec(\sqrt{t})$ is especially interesting. The expansion of $R_n$ in the power sum or monomial basis is related to alternating permutations. The Schur function expansion is related to standard Young skew tableaux. The expansion in terms of the complete symmetric functions has nonnegative integer coefficients, but we don't know a combinatorial interpretation. Finally we give a formula for $R_n$ as a sum of chromatic symmetric functions of interval orders.

We study three-dimensional partition functions constructed from the tetrahedral $L$-operator introduced and studied by Bazhanov-Sergeev and Kuniba-Maruyama-Okado. First, we explore the $q=0$ case, extending the authors' previous results and giving applications by a further analysis on the Zamolodchikov-Faddeev algebra. We introduce a class of partition functions which can be expressed as the tensor Schur polynomials, a class of products of Schur polynomials. As an application, we derive the shuffle formula for the Schur polynomials which is geometrically the pushforward formula by Joźefiak-Pragacz-Lascoux. We also give a derivation and a unification of the Gustafson-Milne and Feh{é}r--N{é}methi--Rim{á}nyi identities, and introduce a family of Laurent polynomials using divided difference operators which imitates the Schubert polynomials from the perspective of our study. We also present an application to the steady state of the multispecies totally asymmetric simple exclusion process. Second, we investigate several classes of partition functions for the generic $q$ case, and determine the explicit forms as deformations of the elementary symmetric functions. One of them can be regarded as (an extension of) a $q$-deformed loop elementary symmetric functions.

We present a uniform framework for constructing \(3\)-designs from \(\mathrm{GL}_2(\mathbb F_q)\)-invariant subspaces of \(\mathbb F_q[X,Y]_k\), the space of homogeneous polynomials of degree \(k\). Given such a subspace \(W\), we associate a \(\mathrm{PGL}_2(\mathbb F_q)\)-invariant family of \(k\)-subsets of \(\mathbb P^1(\mathbb F_q)\). Whenever this family is nonempty, it forms a \(3\text{-}(q+1,k,λ)\) design. When \(k\le q\), the evaluation map on \(\mathbb P^1(\mathbb F_q)\) identifies \(W\) with a subcode \(C_W\) of the projective Reed--Solomon code. We also show that the supports of minimum-weight codewords in \(C_W\), as well as the supports of suitable fixed-weight codewords in the dual code \(C_W^\perp\), yield further \(3\)-designs. Via the Cayley transform, the construction is transferred to the unit circle \(U_{q+1}\subseteq \mathbb F_{q^2}^{\times}\), where the block conditions become explicit linear relations among elementary symmetric polynomials. Applying this framework to the Lucas subspaces, we obtain explicit block descriptions, classify the cases in which the defining conditions reduce to a single equation, and establish several emptiness and nonemptiness results. In particular, for \(q=p^e\) and \(k=p^m+1\), we show that the associated block family is nonempty if and only if \(m\mid e\), in which case it yields the Steiner system \(S(3,p^m+1,q+1)\). Finally, in the ternary case \(p=3\) and \(k=7\), we use the weight distribution of the ternary Melas code to determine the design parameters left undetermined by Xu et al. (Designs, Codes and Cryptography: Vol. 92, 2024).

We derive explicit rational generating functions for weighted tilings of $2k\times n$ rectangles by straight $k\times 1$ tiles. Our approach combines a decomposition by fault lines with a Hadamard-product framework. Tools from algebraic combinatorics are used together with a theorem of Klivans and Reiner on Schur expansions of plethystic compositions of elementary symmetric functions. This translates the tiling problem into a combinatorial framework via special rim-hook tableaux. On the tiling side, Graham's theorem on fault-free tilings provides the key input needed to complete the analysis.

In this article, we provide an infinite family of examples to disprove a recent conjecture due to Ballantine and her collaborators on the injectivity of a class of maps, namely pre_k, defined on integer partitions. These maps arise from applying the sequence of elementary symmetric polynomials to integer partitions, where pre_k is associated with the kth polynomial. Subsequently, we state a modified version of their conjecture. Throwing fresh light on these class of maps, we study the inter-relationships between them, deviating from the approaches so far, which study these maps one at a time. Though one case of the conjecture (k=2) has now been settled independently by the work of Ballantine and collaborators, and Li, we provide alternate proofs of three subcases corresponding to this settled case. We also discuss lower bounds for the number of partitions of n which are in the image of the map pre_2.

It is known that the set of square free monomials on the Chern classes of the tautological line bundles over the Peterson variety forms an additive basis of its cohomology ring. We study the expansion formula for their products. In particular, we give a square free expansion of the products multiplying degree 2 classes in terms of elementary symmetric polynomials and binomial coefficients.

We study the factorization of Schubert polynomials into elementary symmetric polynomials. We conjecture that this occurs when the permutation corresponding to the Schubert polynomial does not contain the patterns $1432$, $1423$, $4132$, and $3142$. We prove one direction of this and provide progress towards the second direction, including obstructions arising from permutations with a rectangular array of crosses in their bottom pipe dream. This characterization helps us identify new ties between elementary symmetric polynomials and Schubert polynomials. It contributes to the broader understanding of pattern avoidance phenomena in algebraic combinatorics.

The elementary symmetric partition function is a map on the set of partitions. It sends a partition lambda to the partition whose parts are the summands in the evaluation of the elementary symmetric function on the parts of lambda. These elementary symmetric partition functions have been studied before, and are related to plethysm. In this note, we study properties of the elementary symmetric partition functions, particularly related to injectivity and the number of parts appearing in their image partitions.

Petrie symmetric functions $G(k,n)$, also known as truncated homogeneous symmetric functions or modular complete symmetric functions, form a class of symmetric functions interpolating between the elementary symmetric functions $e_n$ and the homogeneous symmetric functions $h_n$. Analogous to the Pieri rule for $s_μh_n$ and the dual Pieri rule for $s_μe_n$, Grinberg showed that the Schur coefficients for the ``Pieri rule'' of $s_μG(k,n)$ can be determined by the determinant $\pet_k(λ,μ)$ of Petrie matrices. Cheng, Chou, Eu, Fu, and Yao provided a ribbon tiling interpretation for the coefficient $\pet_k(λ,\varnothing)$, which was later generalized by Jin, Jing, and Liu to $\pet_k(λ,μ)$ in the case where $λ/μ$ is connected. The goal of this paper is to offer a more transparent combinatorial perspective on the structure and behavior of Petrie symmetric functions. First, we provide a refined combinatorial formula for the determinant of a Petrie matrix in terms of certain orientations of the associated graph derived from the matrix. We then generalize the result of JJL to arbitrary skew shapes using purely combinatorial proofs. In addition, we investigate the generating function of these orientations with respect to certain statistics. As an application of our method, we present a combinatorial proof of the plethystic Pieri rule.

Let $f(z)$ be a degree $d$ polynomial with zeros $z_i$. For arbitrary $m$ we construct explicit set of fixed points (attractors) of NRS($m$), and prove a factored formula for the Jacobian at these points. We prove that if NRS(2), when applied to $f$ with an arbitrary starting point, converges to a point $(w_0, w_1)$, then $w_0$ is of the form $z_i+z_j$ for some $i \neq j$. As a corollary, we prove a formula expressing the elementary symmetric expansion of the function \[ \prod_{1\leq i < j \leq d} (z - z_i -z_j) \] in the variables $z_i$ in terms of non-intersecting paths on certain directed graphs, using the Lindström-Gessel-Veinnot Lemma.

Denote by $E_r$ the $r^{th}$ elementary symmetric polynomial in $\dim V$ variables for a vector space $V$ over an infinite field $\Bbbk$. We describe the rational points on the Fano scheme $F_{d-1}(Z(E_{\dim V-1}))$ of projective $(d-1)$-spaces contained in the zero locus of $E_{\dim V-1}$. Isolated points exist precisely for $\dim V=2d$, in which case they are in bijection with the $1\cdot 3\cdots (2d-1)$ pairings on a $2d$-element set. This, in particular, confirming a conjecture of Ambartsoumian, Auel and Jebelli to the effect that (over $\mathbb{R}$) all isolated points are recoverable via integral star transforms with appropriate symbols.

The recurrence for the $k$-generalized Fibonacci polynomials is usually iterated upwards to positive values of $n$ only. When the recurrence is iterated downwards to $n<0$, there are indices where the polynomials vanish identically. This fact does not seem to have been noted in the literature. We derive the set of such indices. We present the left-justified generalized Pascal triangle for $n<0$. For $k\ge3$ and $n<0$, we show that the degree of the polynomial does not increase monotonically with $|n|$. We derive expressions for the individual polynomial coefficients (the elementary symmetric polynomials of the roots). We present results for the properties of the polynomials, for both $n>0$ and $n<0$, including factorization of the polynomials and properties of the roots (including bounds on the amplitudes of the nonzero roots). Results are also derived for real roots. (Separate treatments are required for $n>0$ and $n<0$.) We employ generating functions to derive new combinatorial sums for the polynomials. The sums are more concise and computationally more efficient than previously published expressions. We also exhibit the relation of the $k$-generalized Jacobsthal and Pell polynomials to the Fibonacci polynomials.

A long-standing open problem in representation stability is whether every finitely generated commutative algebra in the category of strict polynomial functors satisfies the noetherian property. In this paper, we resolve this problem negatively over fields of positive characteristic using ideas from invariant theory. Specifically, we consider the algebra $P$ of polarizations of elementary symmetric polynomials inside the ring of all multisymmetric polynomials in $p \times \infty$ variables. We show $P$ is not noetherian based on two key facts: (1) the $p$-th power of every multisymmetric polynomial is in $P$ (our main technical result) and (2) the ring of multisymmetric polynomials is Frobenius split.

We prove new formulas for $p_d(n)$, the number of $d$-ary partitions of $n$, and, also, for its polynomial part. Given a partition $λ=(λ_1,\ldots,λ_{\ell})$, its associated $j$-th symmetric elementary partition, $pre_{j}(λ)$, is the partition whose parts are $\{λ_{i_1}\cdotsλ_{i_j}\;:\;1\leq i_1 < \cdots < i_j\leq \ell\}$. We prove that if $λ$ and $μ$ are two $d$-ary partitions of length $\ell$ such that $pre_j(λ)=pre_j(μ)$ and $λ_{i_1}\cdots λ_{i_j} = μ_{i_1}\cdots μ_{i_j}$, for all $1\leq i_1 < \cdots < i_j\leq \ell$, then $λ=μ$.