polynomial
11173 papers tagged with this keyword
Schubitopes are not Ehrhart positive
Schubitopes are a family of generalized permutahedra arising as the Newton polytopes of both Schubert polynomials and Demazure characters of $\mathrm{GL}_n$. Monical, Tokcan, and Yong conjectured that Schubitopes are Ehrhart positive. We exhibit a counterexample to this conjecture, a Schubitope whose Ehrhart polynomial contains a negative coefficient in its monomial expansion. This example was found using GPT-5.6 Sol Pro in ChatGPT.
Two $q$-Supercongruences Related to Double Sums
In this paper, by using $q$-identities and differential operator techniques, we establish two $q$-supercongruences modulo the square of a cyclotomic polynomial, which are associated with truncated double basic hypergeometric $q$-series.
The finitude of the fibers of the complementary Bell numbers
Subbarao and Verma introduced, in 1999, a number of open problems concerning the sequence $(f(n))_{n \geq 0}$ of complementary Bell numbers, which may be defined via Bell polynomials $B_{n}(x) = \sum_{k=0}^{n} \left\{ \begin{smallmatrix} n \\ k \end{smallmatrix} \right\} x^k$ so that $f(n) = B_{n}(-1)$. Yang [Electron. J. Combin., 2001] subsequently solved the first two problems from Subbarao and Verma, but the third such problem has remained open, to the best of our knowledge. The first part of this third problem asks whether or not $f(n)$ takes any given value only a finite number of times. We solve this problem in the affirmative, through a combined application of finite difference-based methods, partial Motzkin paths, the completeness of the Tate algebra with respect to the Gauss norm, and Strassmann's theorem.
Odd-Cycle Span Defect: A Polynomial Lower Bound and a Square-Root Upper Bound
For a graph $G$, let $ψ(G)=\max\{χ(G[V(C)]):C$ is an odd cycle of $G\}$, with $ψ(G)=0$ when $G$ is bipartite. For positive integers $N$, set $F(N)=\max\{χ(G)-ψ(G):|V(G)|\le N\}$. The function $F$ measures the finite-order additive gap arising from an open problem of Erdos and Hajnal. We prove $N^{1/6-o(1)}\le F(N)<\sqrt{6N}$. The lower bound raises the finite-order scale supplied by the Cameron-Clow path-colour construction from $\log N/\log\log N$ to a fixed power of $N$. Its proof constructs a palette-code graph from a binary covering code $\mathcal{C}\subseteq\{0,1\}^p$ and establishes the exact identities $χ(G)=2p+\ell-ρ(\mathcal{C})$ and $ψ(G)=2p$. Near-middle Hamming coverings yield the exponent $1/6$. The upper bound combines Polavarapu's connectivity theorem, the Chvatal-Erdos Hamiltonicity theorem, and maximum-independent-set stripping.
Root-of-unity weighted trigonometric power sums: a constant term approach
We present a unified method for evaluating finite sums of powers of cotangent, tangent, cosecant and secant weighted by primitive $k$th roots of unity. The approach relies on constant term extraction for iterated Laurent series, combined with generating functions and partial fraction decomposition. We obtain explicit closed-form expressions for all even-power sums of the four functions, as well as for odd-power cotangent and tangent sums. The formulas are given in terms of Bernoulli polynomials, Euler polynomials, and universal coefficients $r_{n,t}$. As applications, we recover numerous classical identities---including the ordinary and alternating cotangent power sums and Acton's alternating tangent sum---in a systematic and elementary way.
Chebyshev Recurrence Structures for Reduced Spectral Functions of Cyclic Circulant Graphs
Let $S$ be a nonempty finite set of positive integers, let $q=\max S$, and let $B_n(S)$, $n>2q$, be the normalized product sequence associated with the Chebyshev-type polynomial of the cyclic circulant graph $G_n(S)$. When $G_n(S)$ is connected, $B_n(S)$ is both the normalized spanning-tree number and a normalized special value of the \emph{reduced spectral function}, a determinant-type function constructed from the non-trivial adjacency spectrum. Chebyshev root representations and the existence of linear recurrences for fixed-step circulant spanning-tree sequences are known. Starting from these representations, we explicitly construct a monic annihilating polynomial $\mathcal H_S(X)\in\mathbb Z[X]$ of degree $3^{q-1}$, which yields a general upper bound for the recurrence order of $B_n(S)$. By collecting coincident exponential bases and accounting for possible cancellations, we determine the minimal annihilating polynomial and give a sufficient condition under which the minimal recurrence order is exactly $3^{q-1}$. For $S=\{1,2,3\}$ and $S=\{1,3\}$, we explicitly derive the corresponding ninth-degree annihilating polynomials and prove their minimality.
Structural Classification of a Graph with Independence Number Five
The independence polynomial of a simple graph $G$ is given by \( I_G(z) = i_0 + i_1 z + i_2 z^2 + \cdots + i_αz^α\), where \( i_α\) denotes the size of a maximum independent set, also called the independence number of the graph. The independence polynomial has the notable feature of being essentially closed under graph composition (lexicographic product). In this paper, we determine the independence polynomials of size five. For a disconnected graph $G$, we exploit the fact that $I_G(z)$ factors as the product of the independence polynomials of the connected components of $G$. Furthermore, we classify all independence polynomials that can occur for such a disconnected graph $G$ and, by examining their component structures, we characterize the disconnected configurations that may arise.
Structure of 2-step nilpotent ergodic averages for distinct-degree polynomials
We investigate manifestations of the Nilpotent Heuristic, which posits that recurrence and convergence phenomena known for measure-preserving $\mathbb{Z}^D$-systems extend to nilpotent group actions. Our main results establish seminorm estimates and limiting formulas for multiple ergodic averages arising from actions of 2-step nilpotent groups. In particular, if $T_1,\ldots,T_\ell$ are totally ergodic and generate a 2-step nilpotent group, then \[ \lim_{N\to\infty}\frac{1}{N}\sum_{n=1}^N T_1^n f_1 \cdots T_\ell^{n^\ell}f_\ell = \prod_{j=1}^{\ell}\int f_j\,dμ\] in the $L^{2}$ norm for all bounded functions $f_{1},\dots,f_{\ell}$; the same holds for any distinct-degree polynomial iterates. We also obtain popular-common-difference versions of the polynomial Szemeédi theorem in the same setting. In a different direction, our approach allows us to completely resolve the joint ergodicity conjecture for multidimensional polynomials and $\mathbb Z^D$-systems; we also present an example showing that, surprisingly enough, the 2-step nilpotent analog fails. We conclude with many open problems concerning joint ergodicity, seminorm estimates, and the structure theory of nilpotent systems.
Strong invariants and Tverberg numbers in convexity spaces
Helly, Carathéodory, and Radon numbers encode three kinds of finite certificates in a convexity space: for the emptiness of an intersection, for membership in a convex hull, and for the existence of intersecting hulls. We study exact versions of these certificates, in which a subfamily must preserve the whole intersection or a subset must preserve the whole hull. Our first main result shows that, for finite configurations in an arbitrary convexity space, five a priori different boundedness conditions are equivalent: VC-dimension, strong Helly number, strong Carathéodory number, comatching number, and strong Radon number (with the expected additive-one shift). We also obtain equivalent layered Tverberg-type decompositions and colorful consequences.
The common mechanism is exposed by the bipartite incidence graph between points and a generating family. For finite spaces, the unique minimal generator yields a natural dual convexity space; we characterize double dualization and prove that the strong parameters are duality invariant. The same model gives a polynomial-size, $O(t^4)$, realization of Bukh's counterexample to the Calder-Eckhoff partition conjecture.
Finally, we obtain the first Tverberg bound for separable convexity spaces that is simultaneously linear in the number of parts and polynomial in the Radon number. If an $S_3$-separable convexity space has Helly number $h$ and its halfspaces have VC-dimension $d$, then $r_t=O(dh\log h)\,t$; in particular, Radon number $r$ gives $r_t=O(r^2\log r)\,t$. The bound attains the weak-Eckhoff scale $O(rt)$ whenever the Helly number is bounded. For axis-parallel box convexity in $\mathbb{R}^k$, gives the optimal order $r_t=O(rt)$ uniformly in every dimension. This appears to be the first dimension-uniform estimate of weak-Eckhoff order for box convexity, whereas the previous direct theory was confined to dimension three.
Edge-Span Chern Algebras of Graphical Configuration Spaces
Place the vertices of a finite graph at projective points. Each edge defines a span map to $\mathrm{Gr}(2,n)$; the pulled-back Chern classes generate a graded algebra $A_G^{(n)}$. This assignment is a covariant graph functor, so the abstract graded-algebra type is a graph invariant. In ambient dimension four, the Hilbert series is incomparable with the chromatic and Tutte polynomials. On five vertices in dimension three, the $34$ graph classes yield $33$ algebra types, strictly refining both classical polynomials. For every tree $T$, we obtain a closed Hilbert-series formula depending only on $|V(T)|$ and $n$, while $A_T^{(3)}$ determines $T$ up to isomorphism. More precisely, its cubic relation data is a complete tree invariant of polynomial size. Finally, the graphical configuration space embeds as a dense open in the picture variety, and picture spaces with equal additive homology can have nonisomorphic edge-Chern algebras.
Slice and Partition Rank Criteria for Polynomial Zero-Avoidance
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.
Short Cycles Decide P-versus-NPC Status ofHamiltonicity on Bisplit Graphs
A connected graph G is said to be a bisplit graph if the vertex set of G can be partitioned into a stable set and a complete bipartite graph. We establish the following dichotomy with chordality being the parameter; for chordal bisplit graphs, Hamiltonian cycle (HCYCLE) and Hamiltonian path (HPATH) problems are polynomial-time solvable, and for chordal bipartite bisplit graphs, HCYCLE (HPATH) is NP-complete. We further strengthen the result of [1] and show that HCYCLE (HPATH) is polynomial-time solvable on P5-free chordal bipartite graphs (bipartite chain graphs) and NP-complete on P10-free chordal bipartite graphs. By using our polynomial results on HCYCLE (HPATH) as a framework, we solve many variants and generalizations of HCYCLE (HPATH), which are also reported in this paper.
Derangement permutation matrices and orbit harmonics
Let $\mathbf{x}_{n \times n}$ be an $n \times n$ matrix of variables and let $S = \mathbb{F}[\mathbf{x}_{n \times n}]$ be the polynomial ring over these variables where $\mathbb{F}$ is a field of characteristic zero. Regard $S$ as the coordinate ring of the affine space $\mathbb{F}^{n \times n}$ of $n \times n$ $\mathbb{F}$-matrices. Let $\mathfrak{D}_n \subseteq \mathbb{F}^{n \times n}$ be the locus of derangement permutation matrices. We study the orbit harmonics quotient ring ${\bf R}(\mathfrak{D}_n) = S/\mathrm{gr} \, \mathbf{I}(\mathfrak{D}_n)$ where $\mathrm{gr} \, \mathbf{I}(\mathfrak{D}_n)$ is the associated graded ideal of the vanishing ideal $\mathbf{I}(\mathfrak{D}_n) \subseteq S$. We give an explicit generating set of $\mathrm{gr} \, \mathbf{I}(\mathfrak{D}_n),$ relate the Hilbert series of $\mathbf{R}(\mathfrak{D}_n)$ to the Foata transformation and the longest increasing subsequence statistic on $\mathfrak{S}_n$, and give an alternating sum formula for the graded $\mathfrak{S}_n$-character of $\mathbf{R}(\mathfrak{D}_n)$. Our proofs make heavy use of the mapping cone construction of homological algebra.
Nearly linear lattice coverings of arbitrary convex bodies
For an $n$-dimensional convex body $K$, let $θ_L(K)$ denote its lattice covering density. We prove that there is an absolute constant $C>0$ such that, uniformly over all such bodies, \[
θ_L(K) \le Cn\log n\,(\log\log n)^{10/3+o(1)}. \] The $o(1)$ term is independent of $K$. This improves the previous universal bound $O(n^2)$ of Ordentlich, Regev, and Weiss and, together with the classical linear lower bound of Coxeter, Few, and Rogers for Euclidean balls, determines the optimal polynomial growth exponent of the worst-case lattice covering density.
The main innovation is a vertical--horizontal construction that converts a uniform weight estimate on the full Boolean cube into a lattice covering of any convex body. In a low-dimensional vertical space, folded Gaussians and a finite-field Kakeya theorem select, for every translate, a Boolean pattern with total normalized weight $d^{-5/2+o(1)}$. Gaussian marginals transfer the resulting weights to sections of the body, while entropy yields one horizontal lattice with a very small uncovered set. Finite-index lifting then assembles all shifts into a single lattice, and Rogers' completion lemma makes the covering exact.
New relations for the vertex polynomial
We extend the vertex polynomial to graphs of arbitrary degree and prove local relations that hold when a graph contains a digon, triangle, quadrilateral or pentagon.
An Invertible Family of Hurwitz--Lerch Type Functions Associated with $k$-Augmented Centered Triangular Numbers
This paper defines a family of Hurwitz--Lerch type functions whose
coefficients are the \(k\)-augmented centered triangular numbers. For this
family, we obtain the convergence conditions, a reduction formula, and an
Euler-operator form. A Vandermonde-based inversion formula is derived for a
class of polynomially weighted Hurwitz--Lerch functions. The family considered
here is the quadratic case with geometric factors \(1\), \(2\), and \(4\).
The resulting formulas show that three consecutive functions recover the
classical Hurwitz--Lerch transcendent and its first two Euler derivatives.
We also derive recurrence formulas, ordinary generating functions, finite
sums, and special values. The values at \(z=1\) are expressed through
Hurwitz zeta functions and Bernoulli polynomials. When \(a=1\), the numerator
polynomials of the rational values \(H_k(z,-m,1)\) are written in terms of
Eulerian polynomials, while the alternating values \(H_k(-1,-m,a)\) are
expressed through Euler polynomials.
On a Question of Lehmer concerning the Comtet Numbers
The Comtet numbers $b(n,k)$ and $B(n,k)$ of the first and second kind arise from the powers of $(1+x)\log(1+x)$ and of its compositional inverse, respectively. By interpreting both families as special values of weighted Stirling polynomials, we answer Lehmer's question of whether $B(n,k)$ satisfies a recurrence with a fixed number of terms by proving the four-term recurrence $kB(n+1,k+1)=B(n,k-1)-(n-k)B(n,k)-B(n+1,k)$. The corresponding relation for the unsigned array was conjectured by M. Kurkov, but not proved, in OEIS A354794. We further derive explicit formulas, convolution identities, and differential-difference relations for the Touchard-type polynomials attached to the two families.
On the Betti numbers, Poincaré polynomials, and Euler characteristics of $\overline{\mathcal M}_{0,n}$
In this paper, we revisit the Poincaré polynomials, Betti numbers, and Euler characteristics of the Deligne-Mumford moduli spaces $\overline{\mathcal M}_{0,n}$ of stable $n$-pointed rational curves. We give elementary derivations of two recent closed formulas for their Poincaré polynomials, due respectively to Aluffi-Marcolli-Nascimento (arXiv:2406.13095) and to Eur-Ferroni-Matherne-Pagaria-Vecchi (arXiv:2504.16776). Our approach shows that both formulas are already implicit in the generating-series results of Getzler and Manin, and can be extracted from them by elementary manipulations of generating functions, the binomial series, and standard identities for Stirling numbers. Beyond these new derivations, the same method also yields new linear recurrence relations for refined invariants associated with these Poincaré polynomials, namely distinguished summands and a bivariate refinement. As a further consequence, we obtain two additional formulas for the Betti numbers, not previously recorded in this form.
We also study the Euler characteristics $χ(\overline{\mathcal M}_{0,n})$. Using the Taylor expansion of a suitable branch of the Lambert $W$-function, we show that their sequence is obtained by evaluating complete Bell polynomials at an explicit auxiliary integer sequence. This Bell-polynomial representation yields Hessenberg determinantal formulas and a new linear recursion, distinct from the well-known quadratic Keel-Manin recursion. It also provides an explicit extraction of the Euler characteristics from the Lambert $W$-function expression considered by Aluffi-Marcolli-Nascimento. Finally, we refine the Manin-Zagier asymptotic estimate for these Euler characteristics by computing the full asymptotic expansion.
Self-dual double cyclic codes over $\mathbb{F}_q$
This article focuses specifically on the study of self-dual double cyclic codes over a finite field $\mathbb{F}_q$. A self-dual double cyclic code is a double cyclic code that is equal to its dual. Structurally, a double cyclic code of length $(r,s)$ over $\mathbb{F}_q$ is a $\mathbb{F}_q[x]$-submodule of $\mathbb{F}_{q,r,s}:=\mathbb{F}_q[x]/\langle x^r-1\rangle\times\mathbb{F}_q[x]/\langle x^s-1\rangle$. Moreover, any double cyclic code of length $(r,s)$ over $\mathbb{F}_q$ is generated by two pairs of polynomials in $\mathbb{F}_{q,r,s}$. From the properties of the generating elements, we provide the necessary and sufficient conditions such that two pairs of polynomials in $\mathbb{F}_{q,r,s}$ generate a self-dual code. Furthermore, we examine the existence of self-dual double cyclic codes for some specific lengths: $(r,r)$; $(r,2r)$ and $(2r,r)$; and $(r,s)$, where $\gcd(r,s)=1$. For each case, we provide a construction method with some explicit examples over various finite fields. We also observe some connections between self-dual double cyclic codes and other classes of self-dual codes.
The 2-Domination Number and the Upper Median Degree: A Proof of Graffiti.pc Conjecture 387
Let G be a nonempty finite simple graph of order n, and let m(G) be the upper median of its degree sequence. We prove that the 2-domination number satisfies gamma_2(G) <= n - m(G) + 1. This proves Graffiti.pc Conjecture 387. In fact, the argument establishes the inequality for every nonempty finite simple graph, so the connectedness hypothesis in the original formulation is unnecessary. The proof uses the complement graph and a minimally linearly dependent family of polynomials encoding selected nonneighborhoods.