polynomial
11184 papers tagged with this keyword
Ehrhart Theory over Abelian Group Rings
We study Ehrhart series with coefficients in Abelian group rings. This opens new enumeration applications and unifies earlier variants, in particular, polynomial weighted, $q$-weighted, and equivariant Ehrhart series.
A fractal-like configuration of point-line pairs for the minimal distance problem
We show that for every $n \in \mathbb N$ there is a collection of points $p_1, \ldots, p_n$ and lines $\ell_1, \ldots, \ell_n$ in the unit square such that for any $i$ we have $p_i \in \ell_i$ and the distance from $p_i$ to any other line $\ell_j$ is at least $c n^{γ-1}$ for some universal constants $c, γ>0$. This is better than a trivial construction by a polynomial factor.
A polynomial improvement for the odd cycle-complete Ramsey numbers
We give a polynomial improvement to the cycle-complete Ramsey numbers \[ r(C_{\ell},K_k) \geq k^{1+1/(\ell- 2) + \varepsilon_{\ell} + o(1)}, \] for all fixed odd $\ell > 7$ with $k \rightarrow \infty$, for some $\varepsilon_{\ell} > 0$.
Decompositions of Chow rings of direct sums of matroids
We prove two dual recursive decompositions as a graded $\underline{\mathrm{CH}}(M)\otimes \underline{\mathrm{CH}}(N)$-module of the Chow ring $\underline{\mathrm{CH}}(M\oplus N)$ of the direct sum of matroids. We use this to obtain a decomposition of $\underline{\mathrm{CH}}(M\oplus N)$ into irreducible $\underline{\mathrm{CH}}(M) \otimes \underline{\mathrm{CH}}(N)$-modules. The result implies a new recursive formula for the Eulerian numbers. Similarly, we find a recursive decomposition of the augmented Chow ring $\mathrm{CH}(M \oplus N)$ into $\mathrm{CH}(M)\otimes \mathrm{CH}(N)$-modules, generalizing some of the results of arXiv:2002.03341. We prove analogous decompositions of (augmented) Chow polynomials of weakly ranked posets in the sense of arXiv:2411.04070.
Hadamard Products of dual Jacobi-Trudi matrices
We study positivity properties of Hadamard products of Jacobi-Trudi matrices. Maló proved that the Hadamard (entrywise) product of two totally positive upper-triangular Toeplitz matrices whose Toeplitz sequences are the coefficient sequences of real-rooted polynomials with nonpositive zeros is again totally positive. Sokal conjectured that this result can be strengthened to total monomial positivity for the Hadamard product of Jacobi-Trudi matrices. In this paper we show that Temperley-Lieb immanants are Schur positive for Hadamard products of Jacobi-Trudi matrices given by ribbon-like skew shapes. In particular, we affirm Sokal's conjecture for minors given by ribbon-like skew shapes. Moreover, we provide a manifestly positive Schur expansion for Temperley-Lieb immanants evaluated on the Hadamard product of Jacobi-Trudi matrices indexed by ribbons. In addition, for the ribbon case, we construct a corresponding representation, offering a representation-theoretic proof of the Schur positivity.
A recursion for the twist polynomial of a one-point join of normal binary delta-matroids
The partial-dual Euler-genus polynomial was defined by Gross, Mansour, and Tucker to analyze how the Euler genus of a ribbon graph changes under partial duality, a generalization of Euler-Poincaré duality introduced by Chmutov. The twist polynomial defined by Yan and Jin extends the partial-dual Euler-genus polynomial to a polynomial on delta-matroids. We derive a recursion formula for the twist polynomial of a one-point join of looped simple graphs -- equivalently, normal, binary delta-matroids. Our recursion applies to the partial-dual Euler-genus polynomial as a special case, where it generalizes a recursion obtained by Yan and Jin. We obtain relations for the twist polynomial on looped simple graphs evaluated at $-1/2$ and for the twist polynomial of a graph with a single looped vertex. A characterization is given for the feasible sets of the delta-matroid associated to a one-point join of looped simple graphs. We show that Yan and Jin's recursion extends to the twist polynomial on delta-matroids.
Region level via centralization for hyperplane arrangements and beyond
In "Faces of a Hyperplane Arrangement Enumerated by Ideal Dimension, with Applications to Plane, Plaids, and Shi," Zaslavsky showed how to compute the number $r_\ell(\mathcal{A})$ of regions of a real hyperplane arrangement $\mathcal{A}$ with a given level, refining his well known enumeration of regions and relatively bounded regions. We restate this theorem in terms of a construction called the centralization of $\mathcal{A}$, give a bijective proof, and then apply it in two ways to answer questions concerning the concept of level. Firstly, a consequence of this enumeration is that $r_\ell(\mathcal{A})$ depends only on the intersection poset $\mathcal{L}(\mathcal{A})$, such that both $r_\ell$ and centralization can be defined in the more general setting of geometric semilattices. In this context we derive a very general expression for the characteristic polynomial of a geometric semilattice with several interesting corollaries. Secondly, recent investigations into the phenomenon of level have made little use of Zaslavsky's level-counting theorem, but it can be applied to obtain or generalize many of their results. In particular we show how exponential generating function identities (arXiv:2410.10198, arXiv:2411.02971) and an expression giving the characteristic polynomial in terms of $r_\ell$ (arXiv:2411.03756) can be derived for deformations of the braid arrangement.
Computing parametric weighted Ehrhart polynomials of smooth polytopes
We show that when integral polytopes are deformed while keeping the same facet normal vectors, the coefficients of weighted Ehrhart and $h^*$-polynomials are piecewise polynomial functions in the ``right hand sides'' of the linear inequalities defining the polytopes. We give an algorithm and an implementation in SageMath for computing these polynomials for smooth polytopes, such as type $A$ alcoved polytopes, using a weighted Euler-Maclaurin type formula by Khovanskiǐ and Pukhlikov. We discuss some natural questions concerning signs of the coefficients of the weighted $h^*$-polynomials.
On the $h$-polynomials of cyclotomic standard graded commutative algebras
We call a standard graded commutative $\Bbbk$-algebra cyclotomic if its $h$-polynomial has all its roots on the unit circle in the complex plane. Complete intersections provide typical examples of cyclotomic algebras, since the $h$-polynomial of any standard graded complete intersection is a product of polynomials of the form $1 + t + \cdots + t^{m-1}$. We refer to such polynomials as being of type CI. A natural question is whether there exists a cyclotomic standard graded $\Bbbk$-algebra whose $h$-polynomial is not of type CI. In this paper, we give a partial answer to this question. We show that the $h$-polynomial $h_R(t)$ of a cyclotomic standard graded $\Bbbk$-algebra $R$ is of type CI whenever $h_R(1) \in \{1, 4, 6\}$ or $h_R(1)$ is prime. On the other hand, if $n \ge 8$ and $n$ is not prime, then there exists a cyclotomic standard graded $\Bbbk$-algebra $R$ whose $h$-polynomial $h_R(t)$ is not of type CI and satisfies $h_R(1) = n$.
Inferring DAGs and Phylogenetic Networks from Least Common Ancestors
A least common ancestor (LCA) of two leaves in a directed acyclic graph (DAG) is a vertex that is an ancestor of both leaves and has no proper descendant that is also their common ancestor. LCAs capture hierarchical relationships in rooted trees and, more generally, in DAGs. In 1981, Aho et al. introduced the problem of determining whether a set of pairwise LCA constraints on a set $X$, of the form $(i,j)<(k,l)$ with $i,j,k,l\in X$, can be realized by a rooted tree whose leaf set is $X$, such that whenever $(i,j)<(k,l)$, the LCA of $i,j$ is a descendant of that of $k,l$. They also presented a polynomial-time algorithm, BUILD, to solve this problem. However, many such constraint systems cannot be realized by any tree, prompting the question of whether they can be realized by a more general DAG. We extend Aho et al.'s framework from trees to DAGs, providing both theoretical and algorithmic foundations for reasoning about LCA constraints in this broader setting. Given a collection $R$ of LCA constraints, we define its $+$-closure $R^+$, capturing additional LCA relations implied by $R$. Using $R^+$, we construct a canonical DAG $G_R$ and prove that $R$ is DAG-realizable if and only if it is realized by $G_R$. We further adapt this construction to phylogenetic networks, defining a canonical network $N_R$ and prove that it is regular, i.e., it coincides with the Hasse diagram of its underlying set system. Finally, we show that for any DAG-realizable $R$, its classical closure - comprising all LCA constraints that hold in every DAG realizing $R$ - coincides with its $+$-closure. All constructions are computable in polynomial time, and we provide explicit algorithms for each.
Characteristic polynomials of $\{\pm 1\}$-matrices modulo a power of $2$
For a fixed integer $e \geqslant 3$ and $n$ large enough, we show that the number of congruence classes modulo $2^e$ of characteristic polynomials of $n \times n$ symmetric $\{\pm 1\}$-matrices with constant diagonal is equal to $2^{\binom{e-2}{2}}$ if $n$ is even or $2^{\binom{e-2}{2}+1}$ if $n$ is odd, thereby solving a conjecture of Greaves and Yatsyna from 2019. We also show that, for $n$ large enough, the number of congruence classes modulo $2^e$ of characteristic polynomials of $n \times n$ skew-symmetric $\{\pm 1\}$-matrices with constant diagonal is equal to $2^{\lfloor \frac{e-1}{2} \rfloor\lfloor \frac{e-2}{2} \rfloor}$ if $n$ is even or $2^{\lfloor \frac{e-2}{2} \rfloor\lfloor \frac{e-3}{2} \rfloor}$ if $n$ is odd. We introduce the concept of a lift graph/tournament, which serves as our main tool. We also introduce the notion of the walk polynomial of a graph, which enables us to show the existence of the requisite lift tournaments.
Distinguishability and linear independence for $H$-chromatic symmetric functions
We study the $H$-chromatic symmetric functions $X_G^H$ (introduced in (arXiv:2011.06063) as a generalization of the chromatic symmetric function (CSF) $X_G$), which track homomorphisms from the graph $G$ to the graph $H$. We focus first on the case of self-chromatic symmetric functions (self-CSFs) $X_G^G$, making some progress toward a conjecture from (arXiv:2011.06063) that the self-CSF, like the normal CSF, is always different for different trees. In particular, we show that the self-CSF distinguishes trees from non-trees with just one exception, we check using Sage that it distinguishes all trees on up to 12 vertices, and we show that it determines the number of legs of a spider and the degree sequence of a caterpillar given its spine length. We also show that the self-CSF detects the number of connected components of a forest, again with just one exception. Then we prove some results about the power sum expansions for $H$-CSFs when $H$ is a complete bipartite graph, in particular proving that the conjecture from (arXiv:2011.06063) about $p$-monotonicity of $ω(X_G^H)$ for $H$ a star holds as long as $H$ is sufficiently large compared to $G$. We also show that the self-CSFs of complete multipartite graphs form a basis for the ring $Λ$ of symmetric functions, and we give some construction of bases for the vector space $Λ^n$ of degree $n$ symmetric functions using $H$-CSFs $X_G^H$ where $H$ is a fixed graph that is not a complete graph, answering a question from (arXiv:2011.06063) about whether such bases exist. However, we show that there generally do not exist such bases with $G$ fixed, even with loops, answering another question from (arXiv:2011.06063). We also define the $H$-chromatic polynomial as an analogue of the chromatic polynomial, and ask when it is the same for different graphs.
Polynomial extensions of Raimi's theorem
Raimi's theorem guarantees the existence of a partition of $\mathbb{N}$ into two parts with an unavoidable intersection property: for any finite coloring of $\mathbb{N}$, some color class intersects both parts infinitely many times, after an appropriate shift (translation). We establish a polynomial extension of this result, proving that such intersections persist under polynomial shifts in any dimension. Let $P^{(1)},\dots,P^{(f)}\in\mathbb{Z}[x]$ be non-constant polynomials with positive leading coefficients and $P^{(j)}(0)=0$ for every $j$. We construct a partition of $\mathbb{N}^k$ into an arbitrarily fixed finite number of pieces such that for any coloring of $\mathbb{N}^k$ with finitely many colors, there exist $x_0\in \mathbb{N}$ and a single color class that meets all partition pieces after shifts by $x_0+P^{(j)}(h)$ in each of the $k$ coordinate directions, for every $j$ and infinitely many values $h\in \mathbb{N}$. Our proof exploits Weyl's equidistribution theory, Pontryagin duality, and the structure of polynomial relation lattices. We also prove some finite analogues of the above results for abelian groups and $SL_2(\mathbb{F}_q)$.
A combinatorial proof of the trace Cayley-Hamilton theorem
The deep interconnection between linear algebra and graph theory allows one to interpret classical matrix invariants through combinatorial structures. To each square matrix A over a commutative ring K, one can associate a weighted directed graph D(A), where the algebraic behavior of A is reflected in the combinatorial properties of D(A). In particular, the determinant and characteristic polynomial of A admit elegant formulations in terms of sign-weighted sums over linear subdigraphs of D(A), thereby providing a graphical interpretation of fundamental algebraic quantities. Building upon this correspondence, we establish a combinatorial proof of the trace Cayley-Hamilton theorem. This theorem furnishes explicit trace identities linking the coefficients of the characteristic polynomial of A with the traces of its successive powers.
On the gradient of the coefficient of the characteristic polynomial
We prove the bivariate Cayley-Hamilton theorem, a powerful generalization of the classical Cayley-Hamilton theorem. The bivariate Cayley-Hamilton theorem has three direct corollaries that are usually proved independently: The classical Cayley-Hamilton theorem, the Girard-Newton identities, and the fact that the determinant and every coefficient of the characteristic polynomial has polynomially sized algebraic branching programs (ABPs) over arbitrary commutative rings. This last fact could so far only be obtained from separate constructions, and now we get it as a direct consequence of this much more general statement.
The statement of the bivariate Cayley-Hamilton theorem involves the gradient of the coefficient of the characteristic polynomial, which is a generalization of the adjugate matrix. Analyzing this gradient, we obtain another new ABP for the determinant and every coefficient of the characteristic polynomial. This ABP has one third the size and half the width compared to the current record-holder ABP constructed by Mahajan-Vinay in 1997. This is the first improvement on this problem for 28 years.
Our ABP is built around algebraic identities involving the first order partial derivatives of the coefficients of the characteristic polynomial, and does not use the ad-hoc combinatorial concept of clow sequences. This answers the 26-year-old open question by Mahajan-Vinay from 1999 about the necessity of clow sequences.
We prove all results in a combinatorial way that on a first sight looks similar to Mahajan-Vinay, but it is closer to Straubing's and Zeilberger's constructions.
Integral Formulas for the Noncentral Tanny-Dowling Polynomials
Published in European Journal of Pure and Applied Mathematics, Vol. 18(4) (2025) Article Number 6743
• View Publication
• BIB
In this paper, we established some integral formulas for and involving the noncentral Tanny-Dowling polynomials. These formulas are shown to be generalizations of some known results on the classical geometric polynomials.
Adjoint and duality for rank-metric codes in a skew polynomial framework
Skew polynomial rings provide a fundamental example of noncommutative principal ideal domains. Special quotients of these rings yield matrix algebras that play a central role in the theory of rank-metric codes. Recent breakthroughs have shown that specific subsets of these quotients produce the largest known families of maximum rank distance (MRD) codes. In this work, we present a systematic study of transposition and duality operations within quotients of skew polynomial rings. We develop explicit skew-polynomial descriptions of the transpose and dual code constructions, enabling us to determine the adjoint and dual codes associated with the MRD code families recently introduced by Sheekey et al. Building on these results, we compute the nuclear parameters of these codes, and prove that, for a new infinite set of parameters, many of these MRD codes are inequivalent to previously known constructions in the literature.
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.
The Complexity of Stackelberg Pricing Games
We consider Stackelberg pricing games, which are also known as bilevel pricing problems, or combinatorial price-setting problems. This family of problems consists of games between two players: the leader and the follower. There is a market that is partitioned into two parts: the part of the leader and the part of the leader's competitors. The leader controls one part of the market and can freely set the prices for products. By contrast, the prices of the competitors' products are fixed and known in advance. The follower, then, needs to solve a combinatorial optimization problem in order to satisfy their own demands, while comparing the leader's offers to the offers of the competitors. Therefore, the leader has to hit the intricate balance of making an attractive offer to the follower, while at the same time ensuring that their own profit is maximized.
Pferschy, Nicosia, Pacifici, and Schauer considered the Stackelberg pricing game where the follower solves a knapsack problem. They raised the question whether this problem is complete for the second level of the polynomial hierarchy, i.e., $Σ^p_2$-complete. The same conjecture was also made by Böhnlein, Schaudt, and Schauer. In this paper, we positively settle this conjecture. Moreover, we show that this result holds actually in a much broader context: The Stackelberg pricing game is $Σ^p_2$-complete for over 50 NP-complete problems, including most classics such as TSP, vertex cover, clique, subset sum, etc. This result falls in line of recent meta-theorems about higher complexity in the polynomial hierarchy by Grüne and Wulf.
A step toward Chen-Lih-Wu conjecture
An equitable $k$-coloring of a graph is a proper $k$-coloring where the sizes of any two different color classes differ by at most one. In 1973, Meyer conjectured that every connected graph $G$ has an equitable $k$-coloring for some $k\leq Δ(G)$, unless $G$ is a complete graph or an odd cycle. Chen, Lih, and Wu strengthened this in 1994 by conjecturing that for $k\geq 3$, the only connected graphs of maximum degree at most $k$ with no equitable $k$-coloring are the complete bipartite graph $K_{k,k}$ for odd $k$ and the complete graph $K_{k+1}$. A more refined conjecture was proposed by Kierstead and Kostochka, relaxing the maximum degree condition to an Ore-type condition. Their conjecture states the following: for $k\geq 3$, if $G$ is an $n$-vertex graph such that $d(x) + d(y)\leq 2k$ for every edge $xy\in E(G)$, and $G$ admits no equitable $k$-coloring, then $G$ contains either $K_{k+1}$ or $K_{m,2k-m}$ for some odd $m$. We prove that for any constant $c>0$ and all sufficiently large $n$, the latter two conjectures hold for every $k\geq cn$. Our proof yields an algorithm with polynomial time that decides whether $G$ has an equitable $k$-coloring, thereby answering a conjecture of Kierstead, Kostochka, Mydlarz, and Szemerédi when $k \ge cn$.