polynomial
11173 papers tagged with this keyword
A class of polyocollection ideals with quadratic Gröbner bases
In 2024, Cisto et al. introduced polyocollections and polyocollection ideals, which generalize the notions of collections of cells and inner $2$-minors ideals, respectively. In this paper, we naturally extend the notions and results about zig-zag walk, zero-sum condition, rook number, and switching polynomial from collections of cells to polyocollections, and we define a class of polyocollections, called natural polyocollections, whose structure is similar to that of collections of cells. We focus on natural polyocollections whose polyocollection ideals admit quadratic Gröbner bases with respect to lexicographic order induced by some specific orders on vertices. Using the zero-sum condition, we prove the primality of this class of polyocollections, which shows that the zig-zag conjecture proposed by Mascia et al. holds true for collections of cells satisfying the aforementioned properties. Moreover, we show that $h$-polynomials and regularities of the coordinate rings of this class of polyocollections are equal to their switching rook polynomials and rook numbers, respectively. These results give positive answers to the switching rook polynomial conjecture proposed by Jahangir and Navarra, and the rook number open problem proposed by Rinaldo and Romeo for collections of cells satisfying the aforementioned properties.
Largest Sperner families with restricted differences
Let $L$ be a fixed set of positive integers. A family $\mathcal{F}\subseteq 2^{[n]}$ is called $L$-differencing if $\lvert A\setminus B\rvert\in L$ for every ordered pair of distinct members $A,B\in\mathcal{F}$. A longstanding conjecture of Frankl, proposed in 1985, asserts that every $L$-differencing family has size at most $\binom{n}{|L|}$. We resolve this conjecture asymptotically for every fixed $L$, and obtain the exact answer in the only case in which the conjectured bound could be tight. (1) If $L\ne [s]$ and $n$ is large, then every $L$-differencing family satisfies $\lvert \mathcal{F}\rvert \le \left(\frac{s}{s+1}+o_L(1)\right)\binom{n}{s}$. (2) If $L=[s]$ and $n\ge 2s-1$, then $\lvert \mathcal{F}\rvert\le\binom{n}{s}$, with equality only for $\binom{[n]}{s}$ and $\binom{[n]}{n-s}$. The first result follows by reducing directed differences to restricted Hamming distances. For the exact result, we develop a new homogeneous polynomial method, which might be of independent interest.
Positivity of stretched Littlewood-Richardson coefficients for partitions of length at most four
For partitions lambda, mu, nu the Littlewood-Richardson coefficient stretches to a function P(t) = c(t nu; t lambda, t mu) which, by a theorem of Derksen and Weyman, is a polynomial in t. King, Tollu and Toumazet conjectured that P has no negative coefficient. The conjecture is known only for the value at most 2 and is otherwise open. We prove it for all triples whose parts number at most four. The proof is structural: a period-one dilation transfers the Berline-Vergne local Ehrhart formula from an integral dilate back to the rational hive polytope, reducing the statement to the positivity of the Berline-Vergne weight of every two-dimensional transverse cone spanned by rank-four rhombus normals, which we verify exactly (minimum weight 1/9). Vertex integrality and unimodularity of vertex cones are not used, and indeed fail already in rank four. The same local method yields two rank-uniform consequences: for every full-dimensional hive polytope of any rank the top four Ehrhart coefficients are positive, and every full-dimensional five-part hive has all coefficients positive except possibly the linear one. We close by reducing the general conjecture to a single hive-specific effectivity statement and recording the exact obstructions that rule out the standard shortcuts. All finite verifications are accompanied by independent replay scripts.
Nuancing the unicity of $q$-rationals
We prove unicity of $q$-rational numbers up to conjugacy, using character varieties. Despite the unicity, we exhibit a two-parameter family of deformations of rationals with a modular symmetry. We prove that there are exactly two deformations which deliver the usual $q$-integers: the original $q$-rationals defined by Morier-Genoud and Ovsienko, and another new one. Although the new family can be obtained by conjugacy from the old one, new positivity properties appear. In addition, this new family provides a direct computation of the Jones polynomial of rational knots.
Critical-exponent stratification and inverse realization on biregular trees
For free type-preserving discrete actions on the biregular tree $\mathcal T_{r+1,s+1}$, we stratify the critical-exponent spectrum by quotient complexity. The unrestricted spectrum is the full interval $[0,\frac12\log(rs)]$, whereas the finitely generated spectrum is countable and dense and is encoded by the Hashimoto radii of finite typed cores. At fixed rank, finitely many typed kernels parametrize all values, and every nonzero accumulation belongs to a lower-rank stratum. Rank two admits a complete effective inverse classification through the figure-eight, theta, and dumbbell polynomial families.
The Ehrhart series of magic squares of order seven
Let $\mathrm{IMS}_n(m)$ denote the number of $n\times n$ nonnegative integer matrices whose row sums, column sums, and two main diagonal sums are all equal to $m$. We determine the Ehrhart series $F_7(q)=\sum_{m\ge 0}\mathrm{IMS}_7(m)q^m$ as a reduced rational function. The denominator has degree $373$ and cyclotomic factors of order at most $15$; the numerator is a palindromic polynomial of degree $366$ with nonnegative integer coefficients.
Using the SimpCone decomposition, the associated polytope is represented as a sum of $166$ million signed simplicial cones. The LRQC evaluator computes their generating functions over finite fields; a typical cone requires only one or two quotient characters, and the cost per character is nearly linear in the truncation degree $T$. An explicit common denominator together with Ehrhart reciprocity reduces the rational reconstruction to the prefix up to $T=1256$, while an explicit counting bound supplies the coefficient bounds needed for deterministic lifting from the prime fields to $\mathbb Z$. This prefix is independently computed for the whole cone family in eight prime fields. Exact Chinese remaindering lifts the verified residues to equality over $\mathbb Z$, the finite-prefix criterion proves the rational identity, and exact polynomial gcds prove that the displayed denominator is reduced.
Adjacency-degree algebras and spectral determination of graphs
McKay proved that the spectra of all polynomial functions of the adjacency matrix $A$ and the diagonal degree matrix $D$ determine a tree. We prove a principal version of this theorem. Let $\mathcal A(G)=\langle I,A_G,D_G\rangle$ and let $M_G=\mathcal A(G)\mathbf1$ be the cyclic module generated by the all-ones vector. For connected graphs the ideal $\mathcal A(G)J\mathcal A(G)$, where $J=\mathbf1\mathbf1^T$, acts on $M_G$ as the full endomorphism algebra. We show that every forest satisfies $M_G=U_G$, the automorphism-orbit module, and that the induced algebra on the orbit quotient of a tree is a full matrix algebra. It follows that the scalar moments $\mathbf1^Tw(A_T,D_T)\mathbf1$ determine every tree. For general graphs these moments are degree-decorated caterpillar homomorphism counts. The resulting moment-rigidity class lies inside the amenable, compact, refinable hierarchy of color refinement, and its first small-order failures are ten-vertex integral switchings invisible to $M_G$.
Chromatic symmetric functions of claw-free graphs are not Schur positive
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.
A direct injection for the strong $q$-log-convexity of Touchard polynomials
We provide a direct injection for the well-known strong log-convexity of the Bell numbers $B_n$, that is $B_mB_n\le B_{m-1}B_{n+1}$ for every $1\le m\le n$. Our injection $Π_m\timesΠ_n\to Π_{m-1}\timesΠ_{n+1}$, where $Π_n$ denotes the set of all partitions of $[n]$, preserves the total number of blocks in the pair of partitions. In other words, it is also an injection for the strong $q$-log-convexity of Touchard polynomials, a result established by Chen, Wang, and Yang using analytical arguments. As an application of the injection, we also recover a related result of Chern, Diaconis, Kane, and Rhoades.
Exact certification of the coordinate fields of the triangle-free Exoo-Ismailescu unit-distance graphs EI17 and EI19 (HoG 51375, 51376): a solvable-non-solvable dichotomy (origami vs. S20) and the Laman-number conjecture
We certify, exactly, the coordinate fields of a faithful planar realization of two neighbouring triangle-free Exoo-Ismailescu unit-distance graphs (UDGs), and show they realize the two opposite extremes of the constructibility hierarchy. The 17-vertex graph EI17 (House of Graphs 51375) is the smallest triangle-free UDG with chromatic number 4; the 19-vertex graph EI19 (HoG 51376) is its state-of-the-art origami neighbour. In both, fixing a rational base edge, the remaining vertices are intersections of unit circles -- each on the radical axis of its two neighbours, a tower of square roots over the free angles -- and a small closure system locks the realization. For EI19 the base lies in Q(sqrt 2, sqrt 5, sqrt 7) and a single free angle has an irreducible degree 12 = 2^2*3 minimal polynomial with Galois group the solvable transitive group 12T236 (order 2304 = 2^8*3^2): not ruler-and-compass, but origami-constructible (the cubic Beloch fold O6 necessary, in casus irreducibilis). For EI17 two free angles are locked by two closures, whose resultant is irreducible of degree 20 = 2^2*5 with Galois group the full symmetric group S20 (a Frobenius census exhibits a 17-cycle, forcing A20 by Jordan, and an odd 20-cycle, raising it to S20): non-solvable, so the coordinates are not expressible by radicals -- neither compass nor origami of any fold order. Thus the smallest triangle-free 4-chromatic UDG is the generic, maximally exotic case, the exact opposite of its origami neighbour. We give the full certification pipeline as explicit algorithms, record two methodological pitfalls, and read the pair through a conjectural bridge between the Laman number and the Galois group.
The Duval--Reiner Conjecture: Counterexamples and the Second Partial-Sum Inequality
Let \(F\subseteq\binom{V}{q}\) be a \(q\)-uniform family on a finite vertex set \(V\). Write \(s_r(F)\) for the sum of the \(r\) largest eigenvalues of its simplicial up-Laplacian and \(d_F(v)\) for the degree of \(v\in V\). Then $D_r(F)=\sum_{v\in V}\min\{d_F(v),r\}$ is the \(r\)-th partial sum of the conjugate degree sequence of \(F\). The majorization assertion in the Duval--Reiner conjecture [Trans. Amer. Math. Soc., 2002] states that \(s_r(F)\le D_r(F)\) for every \(q\)-uniform family \(F\) and every \(r\ge1\). We disprove this assertion in two complementary senses: for every \(r\ge5\), there is a strict counterexample at index \(r\) in some uniformity, while every uniformity \(q\ge3\) admits a strict counterexample at some index \(r\ge5\). In contrast, we prove the universal inequality \(s_2(F)\le D_2(F)\) and classify all equality cases. The counterexamples are obtained from two \(3\)-uniform seeds with explicitly computed characteristic polynomials through defect-preserving ridge-whiskering and set-complement duality. For the second partial sum, core completion reduces the problem to the boundary matrix of a complete simplex, where Ky Fan variational and compression arguments yield both the inequality and its equality classification.
Generic properties of discrete Steklov eigenfunctions
Let $G=(V,E)$ be a finite connected graph with boundary $B$. We prove that for a generic positive edge weight function $w \in \mathbb{R}^{|E|}$, the Steklov eigenvalues of $(G,B,w)$ are simple and every Steklov eigenfunction does not vanish on the boundary. More precisely, the exceptional weights are contained in a zero set of a non-identically zero polynomial and hence form a set of Lebesgue measure zero and Hausdorff dimension at most $|E|-1$. Our results provide a discrete extension of the genericity theorem for the Steklov problem on compact manifolds.
Negative-index $u$-deformed homogeneous functions and Ramanujan partial theta functions
We introduce and study a class of \(u\)-deformed homogeneous functions of complex order \(\rr_α(x,y;u\,|\,q)\), obtained by extending \(u\)-deformed homogeneous polynomials beyond the nonnegative integer regime. We establish their basic analytic and algebraic properties, including convergence criteria, recurrence relations, \(q\)-derivative formulas, and an operator-theoretic realization through a deformed \(q\)-exponential operator. A central feature of the theory appears in the negative-index sector: for every nonnegative integer \(n\), the functions \(\rr_{\minus n\minus1}(x,y;u\,|\,q)\) admit finite triangular decompositions in terms of shifted Ramanujan partial theta functions. We also prove the inverse triangular transformation, showing that the corresponding partial theta functions can be recovered from the negative-index \(u\)-deformed homogeneous functions. We also derive pantograph-type \(q\)-difference equations for these functions. Finally, we derive specialized forms of the negative-index theory in Cauchy and Stieltjes--Wigert-type regimes, including a boundary geometric case and genuine partial-theta regimes.
Proof of Barry's Four Hankel Determinant Conjectures
Barry introduced a central transform of integer sequences and proposed four conjectures concerning the Hankel transforms of central transform of four rational families. We prove these four conjectures. The proofs are unified within a common algebraic framework: we interpret the Hankel determinants as Gram determinants and use a basis of shifted monic Chebyshev polynomials to reveal the finite-band structure of the associated Gram matrices.
Polynomiality of Stretched Schubert Structure Constants and Key Coefficients
We prove that monomial coefficients in affine families of key and Schubert polynomials are eventually polynomial. The proof combines Demazure operators with vector partition functions and, in the Schubert case, P.~Magyar's orthodontic formula. These coefficient results extend to finite products. Using M.~Watanabe's Schubert duality, we deduce that stretched Schubert structure constants are eventually polynomial, proving a conjecture of I.~Pak and Z.~Slonim. For key polynomials, this resolves the polynomiality part of a conjecture of P.~Alexandersson and E.~Alhajjar.
Various Bialgebras Of Representative Functions On Free Monoids
Factorization and decomposition of representative functions on a free monoid X * (generated by an alphabet X ) and with values in a ring A containing Q are equivalent to factorization and decomposition of their graphs (within the A-algebra of rational noncommutative series over X ) admitting linear representations (thanks to the Kleene-Sch{ü}tzenberger theorem). To factorize and to decompose effectively these graphs, we examine various products of noncommutative series (as concatenation, shuffle and its $φ$deformations) and co-products such that, for A is a field K, their associated non graded commutative and co-noncommutative bialgebras of series are isomorphic to the Sweedler's dual of the graded noncommutative co-commutative bialgebras of polynomials having, for the concatenation, only Kleene stars of the planes as characters, or equivalently, only the planes are infinitesimal characters (thanks to a Ree's theorem like).
An $e$-positive classification for complete multipartite graphs
Shelburne and van Willigenburg (arXiv:2604.26158) characterize the Schur-positive complete multipartite graphs and leave open whether the graphs~$G=K_{(3,\,2^β)}$ are $e$-positive. We resolve this question and, together with their classification, characterize all $e$-positive complete multipartite graphs. Our main result is an explicit, manifestly nonnegative $e$-expansion of~$X_G$ whose coefficients are expressed in terms of the restricted-injection numbers. Our main idea is to derive a marker-variable coefficient-extraction formula for the $e$-coefficients of arbitrary complete multipartite graphs from the elementary--monomial Cauchy identity. For the particular graph~$G$, this formula reduces the proof to three coefficient families, which we evaluate using Dickson polynomials and recurrences for these numbers.
On the autotopism groups and the equivalence of finite cyclic semifields
Special cases of finite cyclic semifields were first constructed by Hughes and Kleinfeld in 1960, and later by Sandler in 1962 and Knuth in 1965. The general construction of cyclic semifields was subsequently introduced by Petit in 1966, and later rediscovered from the perspective of irreducible semilinear transformations by Jha and Johnson in 1989. Since Sandler's foundational work in 1962, the complete determination of the autotopism groups of cyclic semifields and the full resolution of the isotopy problem for this family have remained long-standing open problems. The most significant advances in determining these autotopism groups are due to Dempwolff in 2011, who left open the case in which the field extension degree strictly divides the degree of the polynomial defining the semifield.
In this paper, we provide a complete classification of cyclic semifields up to isotopy, together with the full determination of their autotopism groups, thereby closing the remaining cases left open by Dempwolff. Since cyclic semifields arise as a special instance of a broader family of maximum rank distance (MRD) codes constructed via skew polynomials, our methods also yield a complete classification of these MRD codes up to linear and semilinear equivalence over the prime field, together with an explicit description of their full automorphism groups.
Homogeneous hypergraph regularity lemmas via $k$-strong honest definitions
We prove that $(k+1)$-uniform hypergraphs definable in an NIP strongly $k$-distal structure satisfy a homogeneous regularity lemma -- they can be partitioned into a bounded number of simplicial complexes, most of which are homogeneous (meaning that the restriction of the hypergraph to the simplicial complex is either complete or empty). Furthermore, the parts of the partition can be chosen uniformly definably, and the size of the partition is polynomial in the reciprocal of the error parameter. This extends the homogeneous regularity lemma proven by Chernikov and Starchenko for hypergraphs definable in a distal structure.
We prove this by introducing $k$-strong honest definitions and showing that an NIP structure is strongly $k$-distal if and only if every formula $\varphi(x_1, ..., x_k; y)$ has a $k$-strong honest definition. This extends the theory of strong honest definitions in distal structures to the higher-arity setting.
Eventually nondecreasing quasi-polynomials
Quasi-polynomials are ubiquitous in combinatorics and algebra, as they arise in a variety of enumeration problems. Because quasi-polynomials consist of constituent polynomials, their behavior is more subtle than for a single polynomial. In particular, unlike for a polynomial, it is possible for a quasi-polynomial defined on the positive integers to have infinitely many points at which it is decreasing. In this work, we characterize quasi-polynomials of degree $d$ and period dividing $p$ that are eventually nondecreasing, i.e., that have only finitely many values at which they decrease. We then give a detailed analysis of the space of eventually nondecreasing quasi-polynomials with fixed degree $d$ and period dividing a fixed $p$ such that the $h$-vector of the quasi-polynomial is nonnegative. Using this analysis, we determine the rate of growth of the number of such quasi-polynomials as a function of the sum of the $h$-vector entries for the $0$-th constituent polynomial.