polynomial
11538 papers tagged with this keyword
The cyclic-induction Schur cone: Boolean sums, Ramanujan-square positivity, and integral structure
We study the Schur-positive cone in $\Rspace_{n,\mathbb R}\coloneqq \operatorname{span}_{\mathbb R}\{p_d^{n/d}:d\mid n\}$ through its basis $Q_{n,d}\coloneqq\ell_{n/d}^{(1)}[p_d]$, where $\ell_m^{(1)}$ is the Frobenius characteristic of the representation induced to $S_m$ from a faithful linear character of the subgroup generated by an $m$-cycle; brackets denote plethysm. A Boolean $Q$-sum is a sum of distinct elements of this basis.
We give a unified proof of four conjectures of Sundaram on Schur positivity by classifying all Schur-positive Boolean $Q$-sums; the case of sums over divisors up to a prescribed bound recovers Hou's theorem. Specifically, for a nonempty set $J$ of divisors of $n$, the sum $\sum_{d\in J}Q_{n,d}$ is Schur-positive exactly when $1\in J$ and, for even $n$, $n\in J$ implies $n/2\in J$. The same character estimates prove the Ramanujan-square conjecture of Shareshian and Sundaram: the function $\sum_{d\mid n}c_d(n/d)^2p_d^{n/d}$, where $c_d(r)$ is the Ramanujan sum, has a positive coefficient of $s_λ$ for every $n\ge1$ and $λ\vdash n$, except when $n\equiv2\pmod4$ and $λ=(1^n)$, in which case the coefficient is zero.
We prove that an element of this space has integral Schur coefficients if and only if its $Q$-coordinates are integral. The Boolean classification also determines the convex hull of the Schur-positive Boolean points with $Q_{n,1}$-coordinate $1$. We compute its Ehrhart polynomial and volume, prove its integer decomposition property, and determine the Hilbert basis of its cone. For $n\ge18$, we prove that setting the coefficient of $s_{(n)}$ or $s_{(1^n)}$ equal to $0$ or $1$ defines a facet of the section of the Schur-positive cone with $Q_{n,1}$-coordinate $1$. The positivity results and coordinate formulas also yield inequalities for major-index residue multiplicities.
Four hyperplanes do not always equipartition a mass in $\mathbb{R}^4$
We construct a smooth strictly positive density in $\mathbb{R}^4$ that cannot be divided into $16$ parts of the same size by four affine hyperplanes. This settles the last open case of Grünbaum's 1960 conjecture and disproves Ramos' general conjecture on hyperplane equipartitions.
We reduce the construction to finding two homogeneous polynomials in four variables, of degrees three and four, whose multilinear coefficients cannot vanish simultaneously after any orthogonal change of coordinates. We give two proofs of this nonvanishing result. The first uses a local perturbation argument. The second reduces it to the absence of a common zero for five explicit polynomials on $[-1,1]^6$, verified by a computer-assisted Bernstein subdivision argument.
A short proof of Mathar's 2021 recurrence conjecture for the Lehmer-Comtet diagonal A045406
For OEIS sequence A045406, the column-2 diagonal of the Lehmer-Comtet triangle A008296, R. J. Mathar contributed in September 2021 the conjectured order-2 P-recursive recurrence \[ a(n) + (2n-7)\,a(n-1) + (n-4)^{2}\,a(n-2) \;=\; 0,\qquad n \ge 5. \] We give a short proof. Detlefs's harmonic-number closed form $a(n) = (-1)^n (2 H_{n-3} - 3)(n-3)!$ for $n \ge 3$ collapses the left-hand side, after factoring out $(-1)^n (n-5)! (n-4)$, to a polynomial identity in $n$ with coefficient $H_{n-4}$. The $H_{n-4}$-coefficient simplifies to $(n-3) - (2n-7) + (n-4) = 0$ (using $H_{n-3} = H_{n-4} + 1/(n-3)$ and $H_{n-5} = H_{n-4} - 1/(n-4)$); the constant remainder is $0$ for the same reason. The supplementary archive contains a SymPy script verifying both pieces symbolically, the e.g.f.\ expansion against the harmonic closed form, and Mathar's recurrence numerically for $n = 5, \ldots, 5000$.
Entropy Expansion for General Polynomial Images of Frostman Random Variables
We prove dyadic entropy expansion for the observables $X+Y$ and $f(X,Y)$ under Frostman nonconcentration hypotheses on a prescribed, possibly dependent law. For an integer $n\ge1$, write $H_n(Z)=H(\lfloor 2^nZ\rfloor)$ for the base-two Shannon entropy at resolution $2^{-n}$; thus $n$ indexes the fineness of the dyadic discretization. For every $0<s<1$ and every real bivariate polynomial outside the family $H(ax+by+c)$, conditional Frostman regularity with common exponent $s$ forces one of the two output entropies to exceed $sn$ by a fixed positive multiple of $n$. Under rectangular Frostman regularity, the same conclusion holds after including the average marginal entropy in the maximum. The proof combines the discretized Elekes--Rónyai and web theorems of Raz and Zahl with simultaneous information profiles and an estimate for mass near critical layers. A second argument, based on Pham's folding estimate and a mutual information penalty, gives explicit gains. If the conditional laws of $X$ given $Y$ and of $Y$ given $X$ have Frostman exponents $s_1,s_2\in(0,1)$, respectively, with $s_1+s_2>4/3$, we obtain $\max\{H_n(X+Y),H_n(f(X,Y))\}\ge (\frac{s_1+s_2}{2}+\varepsilon)n-O(1)$ for an explicit $\varepsilon>0$. Here the baseline averages the two Frostman exponents. We also classify the exceptional coordinate representations and construct obstructions for algebraic affine directions with Frostman constants uniform in the scale.
Tree-indexed sums of Catalan numbers
We consider a family of infinite sums of products of Catalan numbers, indexed by trees. We show that these sums are polynomials in $1/π$ with rational coefficients; the proof is effective and provides an algorithm to explicitly compute these sums. Along the way we introduce parametric liftings of our sums, and show that they are polynomials in the complete elliptic integrals of the first and second kind. Moreover, the degrees of these polynomials are at most half of the number of vertices of the tree. The computation of these tree-indexed sums is motivated by the study of large meandric systems, which are non-crossing configurations of loops in the plane.
Counting Weight-$k$ Italian Dominating Sets on Trees and Cycles
We study the problem of counting \emph{Italian dominating functions} (IDFs) of each possible weight on paths, trees, and cycles. An Italian dominating function on a graph $G=(V,E)$ is a function $f\colon V\to\{0,1,2\}$ such that every vertex $v$ with $f(v)=0$ satisfies $\sum_{u\in N(v)}f(u)\ge 2$; the \emph{Italian domination polynomial} $D_I(G,x)=\sum_k d_I(G,k)\,x^k$ records the number $d_I(G,k)$ of such functions of weight~$k$. This polynomial is the Italian analogue of the well-studied domination and Roman domination polynomials, and computing its coefficients on a fixed graph class is, in essence, a \emph{constrained integer composition} problem: passing to the deficit variables $y(v)=2-f(v)$, each coefficient $d_I(G,2n-j)$ counts the number of compositions of $j$ into $n$ parts, each at most~$2$, that additionally satisfy a local adjacency capacity constraint. We make this connection explicit and use it to derive closed-form expressions for $d_I(C_n,2n-j)$, $j=0,\ldots,5$, as trinomial coefficients minus explicitly enumerated forbidden configurations. On the algorithmic side, we give dynamic programming algorithms that compute \emph{all} coefficients of $D_I$ on path graphs ($O(n^2)$ time, $O(n)$ space), on general trees ($O(n^2)$ time, $O(n)$ space, via a post-order merge with a deficit parameter), and on cycle graphs ($O(n^2)$ time, $O(n)$ space, via boundary conditioning), together with formal correctness proofs and complexity analyses. The known values $γ_I(P_n)=\lfloor n/2\rfloor+1$ and $γ_I(C_n)=\lceil n/2\rceil$ are recalled with references rather than reproved. All numerical results are verified against brute-force enumeration, and complete tables are provided.
Fence Posets, Good Gradings and Frobenius Maximal Parabolics
Let $\mathfrak L$ be a Frobenius maximal parabolic subalgebra of $\mathfrak{sl}_n$. For any $F\in\mathfrak L^*$ for which the Kirillov form $B_F(x,y)=F([x,y])$ is non-degenerate, let $\widehat F$ denote the associated principal element. We prove that the multiplicities of the eigenvalues of $\operatorname{ad}_{\widehat F}$ on $\mathfrak L$ form a unimodal sequence symmetric about $\frac12$. We also prove that the multiplicities of the eigenvalues of $\operatorname{ad}_{\widehat F}$ on $\mathfrak{gl}_n$ form a unimodal sequence symmetric about $0$. The proof relates the ranked meander associated to $\mathfrak L$ to the order ideals of a related fence poset through Panyushev reduction. The known unimodality of the rank polynomial of the fence poset implies that of the meander, which in turn determines a good grading of $\mathfrak{gl}_n$ in the sense of Elashvili and Kac. We prove that this grading coincides with that induced by the principal element and that the pyramid associated to this grading may be filled in such a way that its good element $e$ lies in $\mathfrak L$. The two unimodality results then follow from the injectivity properties of $\operatorname{ad}_e$ coming from the good grading and the duality induced by the bilinear form $B_F$.
Paths and Intersections: Repelling Pairs
We study two inverse problems for shortest-path metrics of Okamura-Seymour instances: recognizing metrics realizable by outerplanar graphs, and computing minimum-edge Okamura-Seymour realizations. We introduce the notion of \emph{repelling pairs}, a metric certificate that the shortest paths corresponding to two terminal pairs must be vertex-disjoint in every realization. Our central structural result is that, for an Okamura-Seymour metric with a prescribed cyclic order, a terminal path structure in an Okamura-Seymour instance can be realized by nonnegative edge lengths if and only if the paths assigned to every repelling pair are vertex-disjoint.
Building on the notion of repelling pairs, we give algorithmic answers to the inverse problems. First, we design an algorithm that, given a metric, decides in polynomial time whether or it admits an outerplanar realization and constructs one when one exists. Second, given an Okamura-Seymour metric, we efficiently compute a canonical medial template whose crossing number equals the minimum number of edges in any Okamura-Seymour realization. The minimum-edge graph structures are exactly the primal graphs of arrangements of this template, and each can be assigned realizing edge lengths in polynomial time.
About the Cramér Large Deviation Property for Bell Polynomials
If $\boldsymbol{w} = (w_1,w_2,\dots)$ is a sequence in $\mathbb{N}=\{1,2,\dots\}$, the partial Bell polynomials based on $\boldsymbol{w}$ are $B_{n,k}$ for $k \in \mathbb{N}$ and $n\in\{k,k+1,\dots\}$. Let $F(z) = \sum_{n=1}^{\infty} (w_n/n!)z^n$ be the exponential generating function for $\boldsymbol{w}$, and assume the radius of convegence is positive $R>0$. Then $F(z)^k = \sum_{n=k}^{\infty} (k!/n!) z^n B_{n,k}$ for $|z|<R$. Alternatively, defining $Q_{k,n} = (k!/n!)B_{n,k}$, we have $Q_{1,n} = w_n/n!$, and $Q_{k+1,n}=\sum_{m=1}^{n-k} Q_{1,m} Q_{k,n-m}$ for $k\geq 1$. Let us say that the Cramér-type large deviation property holds if $$ \lim_{\substack{n \to \infty\\ k/n \to κ}} \frac{1}{n}\, \ln\left(Q_{k,n}\right)\, =\, \mathcal{G}(κ)\, ,$$ for every $κ\in (0,1)$, where $\mathcal{G}(κ)=\inf_{r \in (0,R)} (κ\ln(F(r))-\ln(r))$. The (Hardy-Ramanujan) Erdös induction argument suggests this should generally be true as long as two technical conditions are true: one an initial step, and the other a condition for small densities $κ$.
Letter frequency in shifts of finite type with one forbidden word
This work considers combinatorial and statistical aspects of {\em{shifts of finite type}}, which are families of words over a finite alphabet which avoid a fixed class of {\emph{forbidden}} sub-words. The overarching question we are interested in is: how do local statistics of a uniformly random element of the shift space depend on combinatorial features of the forbidden set? We focus on the binary alphabet $\{0,1\}$, the class of shift spaces where a single pattern is forbidden, and the average frequency of $1$s (equivalently, the probability of observing $1$ at a given position). In this case, the relevant combinatorial information is encoded by a two-variable auto-correlation polynomial associated to the forbidden word, which we call the {\em{border polynomial}}. We present several results and examples characterizing the ordering of all words by their letter frequencies: for example, we describe the set of patterns which, when forbidden, cause the frequency of $1$s to increase, decrease, or stay exactly $1/2$. Our methodologies include novel explicit local injections and bijections, generating function analysis, and a connection with a probabilistic notion of letter frequency.
The 2-Adic Valuation of the Order of the All-Ones Class in the Sandpile Group of a Square
Place one grain at every nonsink vertex of the wired $n\times n$ square, and let $L(n)$ be the order of this operation in the sandpile group. Thus $L(n)$ is the least positive $q$ for which $q$ uniform grain layers form an integral combination of toppling moves. We prove that, for every $n\ge1$, \[ ν_2(L(n))= \begin{cases} 2,&n=1,\\ 1,&n\ge2\text{ even},\\ ν_2(n+1)+2,&n\ge3\text{ odd}. \end{cases} \] For even squares, this follows from the domino--sandpile results of Florescu, Morar, Perkinson, Salter, and Xu, completed by a short parity observation. For odd squares, a unimodular cyclic basis identifies the folded cokernel with a quotient by two shifted Chebyshev polynomials and sends the all-ones class to $1$. Its order is determined by the constant part of this polynomial ideal, not just by a determinant. Two normalized Euclidean remainders reduce to consecutive Fibonacci polynomials over $\mathbb F_2$, giving the exact valuation.
The $E_6$ Restricted Hyperplane Arrangement and its $E_7$ Shadow: Weyl Transport on a Minuscule Bruhat Poset
We study the restricted fan cut inside the dual fundamental Weyl chamber by the weights of a $27$-dimensional minuscule representation of $E_6$; the two such representations are dual and give the same arrangement.
Only $11$ of the $27$ weights have kernels meeting its interior, and we prove that they determine the entire fan. It has exactly $14$ chambers and $18$ extreme rays, every chamber is a six-dimensional simplicial cone, and we determine all facets, rays, and incidence relations. The chamber count was previously obtained by Diaconescu and Entin; the simplicial structure, extreme rays, and incidence data are new. The geometry of the $27$ lines on a cubic surface then explains and organizes the resulting chamber architecture. We also enumerate all faces, compute both characteristic polynomials---the arrangement is not supersolvable---together with lattice indices and projective chamber volumes, and describe the oriented matroid.
Our main result is representation-theoretic. A distinguished $14$-element visible subposet of the minuscule $\mathbf{56}$ of $E_7$, defined entirely inside $E_7$, has Hasse diagram equal to the chamber adjacency graph of the $E_6$ arrangement. Three canonical $7+7$ splittings of it, of types $A_7$, $D_7$, and $E_7$, are the visible traces of Levi-center $\mathfrak{u}(1)$-charge decompositions of the $\mathbf{56}$ and reproduce the three level-$8$ decompositions on the $E_6$ side. More strongly, the simple-root labels on its covers, transported by minimal-length coset representatives, recover chamber by chamber all six facets and, globally, the $11$ active weight hyperplanes and the boundary walls of the dual Weyl chamber. Thus the $E_7$ shadow records not merely the chamber graph but, once matched with the independent $E_6$ classification, the full local wall architecture of $I(E_6,\mathbf{27})$.
Weak Bruhat interval modules of the 0-Hecke algebras for stable Grothendieck polynomials
For a partition $λ$, let $G_λ^{(β)}$ be the stable $β$-Grothendieck polynomial attached to $λ$. Each homogeneous component of the $β= 1$ specialization $G_λ^{(1)}$ is Schur-positive and hence positive in the fundamental basis of quasisymmetric functions. For $m\ge|λ|$, let $G_{λ,m}^{(1)}$ be the homogeneous degree $m$ component of $G_λ^{(1)}$. In this paper, we first give a direct proof of an expansion of $G_{λ,m}^{(1)}$ in the fundamental basis in terms of standard set-valued tableaux. We then use these tableaux as a basis to define a module of the $0$-Hecke algebra and show that the quasisymmetric characteristic of the resulting module is $G_{λ,m}^{(1)}$. We further show that this module decomposes as a direct sum of weak Bruhat interval modules.
Umbral calculus over a vector space
Let $V$ be a vector space over $\mathbb F=\mathbb R$ or $\mathbb C$. We develop a basis-free umbral calculus over $V$. We define the vector space of polynomials over $V$, and polynomial sequences in it. We discuss shift-invariant operators acting in polynomials over $V$. We define polynomial sequences of binomial type and Sheffer sequences over $V$. We provide equivalent characterizations of these polynomial sequences. We prove two recurrence formulas for Sheffer sequences. With each Sheffer sequence, we associate a linear operator acting in polynomials over $V$, which we call a Sheffer operator. We prove that the set of Sheffer operators is a group for the usual product of linear operators, which is isomorphic to the Riordan group of pairs of formal tensor power series in a variable from $V$. Under the assumption that $V$ is an algebra, we lift every Sheffer sequence over $\mathbb F$ to a Sheffer sequence over $V$. We provide examples of such lifting.
Unimodality shenanigans in Ehrhart theory
We show the existence of counterexamples to a four-decade-old conjecture attributed to Stanley concerning the unimodality of $h^*$-polynomials of IDP polytopes. As additional applications of our main constructions, we also disprove a conjecture by Brenti on the log-concavity of $h^*$-polynomials of Gorenstein IDP polytopes, and a conjecture by Ferroni and Higashitani concerning the log-concavity of the Ehrhart series of IDP polytopes. We also answer their question about the existence of very ample polytopes with non-log-concave interior Ehrhart series. Our class of examples arises by taking Cayley sums of rectangular prisms, and hence they possess regular unimodular flag triangulations by a result of Haase, Paffenholz, Piechnik and Santos. For the unimodality conjecture, we can even find smooth counterexamples.
Subexponential Approximation of the Permanent in Deterministic Polynomial Time
We give the first deterministic polynomial time algorithm that approximates the permanent of arbitrary nonnegative rational matrices within a subexponential factor. For a matrix of order $n$, the approximation factor is \[
\exp\!\left(O\!\left(\frac{n(\log\log n)^2}{\log n}\right)\right)=\exp(o(n)). \] All previously known deterministic polynomial time guarantees for unrestricted inputs had approximation factors $\exp(Ω(n))$.
Our proof uses convex optimization to tighten an upper bound on the permanent. The bound is based on weighted sums over all matchings in a bipartite graph representing the matrix, and correlations between unmatched vertices control its error. We approximate these sums deterministically using correlation decay and a bound on the effect of vertex deletion.
Irreducibility of truncations of the Catalan generating function
We prove that, for every positive integer $n$, the polynomial $C_0+C_1x+\cdots+C_nx^n$ is irreducible over $\mathbb{Q}$, where $C_k$ denotes the $k$th Catalan number.
Residual structure and growing inversion-monotonicity regions for 1324-avoiding permutations
Let $a(n,k)$ be the number of $1324$-avoiding permutations of length $n$ with $k$ inversions. Linusson and Verkama proved $a(n,k)\le a(n+1,k)$ for $k\le2n-7$. We study the obstruction beyond that line: the residuals $\mathcal R_{δ,n}$, namely the indecomposable, non-almost-decomposable avoiders at defect $δ=k-2n+7$. Contracting maximal increasing consecutive runs reduces residuality to a quadratic equation on a finite family of skeletons. It follows that, for every fixed $δ$, the eventual count has the form $|\mathcal R_{δ,n}|=A_δn^2+B_δn+C_δ$. Our central uniform result determines the quadratic coefficient at every defect: with $P(q)=\prod_{j\ge1}(1-q^j)^{-1}$, $\sum_{δ\ge0}A_δq^δ=4q^3(1+q)P(q)^2/(1-q)^2$. This is a formula for the leading coefficient of the residual count, not for the full count.
The same structural estimates give computer-assisted proofs of $a(n,k)\le a(n+1,k)$ for every $n\ge1$ and $k\le2n+6$, and of regions whose width grows with $n$: for $n\ge2^{16},2^{18},2^{20}$ the defect may be as large as $\lfloor\sqrt n/4\rfloor$, $\lfloor\sqrt n/3\rfloor$, $\lfloor\sqrt n/2\rfloor$, respectively. More generally, every fixed $c<\sqrt2\log(5)/\log(68)$ is admissible for all sufficiently large $n$. The three added fixed defects $11,12,13$ use complete catalogue and rational-sum certificates supplied in the accompanying archival supplement. The leading-coefficient theorem is obtained from a complete finite classification of marked rank-three cores and all-parameter extension lemmas. We also determine the exact rank-three stabilization onset, while keeping it separate from the still unknown onset of the complete residual count. The unrestricted Claesson--Jel'inek--Steingr'imsson conjecture, the full residual polynomials, and the sharp global base-length bound remain open.
Restricted inversion polynomials
For a finite subset $I$ of positive integers, the descent polynomial $\mathcal{D}(I;n)$ counts the number of permutations in $S_n$ that have descent set $I$. We generalize descent polynomials by considering permutations with a specific subset $S$ of common inversions called $\mathbf{h}$-inversions, where $\mathbf{h} = (\mathbf{h}(1), \mathbf{h}(2), \ldots )$ is a weakly increasing sequence of positive integers such that $\mathbf{h}(i)> i$. We prove that this more general count, denoted by $\mathcal{I}_\mathbf{h}(S;n)$, is also a polynomial. We give three explicit expansions for $\mathcal{I}_\mathbf{h}(S;n)$, prove the coefficients for two of these expansions are log-concave, and define a graded generalization.
Perfect codes in weakly metric association schemes
The Lloyd Theorem of (Solé, 1989) is combined with the Schwartz-Zippel Lemma of theoretical computer science to derive non-existence results for perfect codes in the Lee metric, NRT metric, mixed Hamming metric, and for the sum-rank distance. The proofs are based on asymptotic enumeration of integer partitions. The framework is the new concept of {\em polynomial} weakly metric association schemes.
A connection between this notion and the recent theory of multivariate P-polynomial schemes of ( Bannai et al. 2025) and of $m$-distance regular graphs ( Bernard et al 2025) is pointed out.