polynomial
11422 papers tagged with this keyword
Classification and Ehrhart Theory of Denominator 2 Polygons
We present an algorithm for growing the denominator $r$ polygons containing a fixed number of lattice points and enumerate such polygons containing few lattice points for small $r$. We describe the Ehrhart quasi-polynomial of a rational polygon in terms of boundary and interior point counts. Using this, we bound the coefficients of Ehrhart quasi-polynomials of denominator 2 polygons. In particular, we completely classify such polynomials in the case of zero interior points.
On the matching arrangement of a graph, improper weight function problem and its application
Published
• View Publication
• BIB
This article presents examples of an application of the finite field method for the computation of the characteristic polynomial of the matching arrangement of a graph. Weight functions on edges of a graph with weights from a finite field are divided into proper and improper functions in connection with proper colorings of vertices of the matching polytope of a graph. An improper weight function problem is introduced, a proof of its NP-completeness is presented, and a knapsack-like public key cryptosystem is constructed based on the improper weight function problem.
An evolution of matrix-valued orthogonal polynomials
Published in Pacific J. Math. 338 (2025) 325-348
• View Publication
• BIB
We establish new explicit connections between classical (scalar) and matrix Gegenbauer polynomials, which result in new symmetries of the latter and further give access to several properties that have been out of reach before: generating functions, distribution of zeros for individual entries of the matrices and new type of differential-difference structure. We further speculate about other potentials of the connection formulas found. Part of our proofs makes use of creative telescoping in a matrix setting$-$the strategy which is not yet developed algorithmically.
Generalized snake posets, order polytopes, and lattice-point enumeration
Published
• View Publication
• BIB
Building from the work of von Bell et al.~(2022), we study the Ehrhart theory of order polytopes arising from a special class of distributive lattices, known as generalized snake posets. We present arithmetic properties satisfied by the Ehrhart polynomials of order polytopes of generalized snake posets along with a computation of their Gorenstein index. Then we give a combinatorial description of the chain polynomial of generalized snake posets as a direction to obtain the $h^*$-polynomial of their associated order polytopes. Additionally, we present explicit formulae for the $h^*$-polynomial of the order polytopes of the two extremal examples of generalized snake posets, namely the ladder and regular snake poset. We then provide a recursive formula for the $h^*$-polynomial of any generalized snake posets and show that the $h^*$-vectors are entry-wise bounded by the $h^*$-vectors of the two extremal cases.
Irreducible components of two-column $Δ$-Springer fibers
The $Δ$-Springer fibers $Y_{n,λ,s}$, introduced by Levinson, Woo, and the second author, generalize Springer fibers for $\mathrm{GL}_n(\mathbb{C})$ and give a geometric interpretation of the of the Delta Conjecture from algebraic combinatorics (at $t=0$). We prove that all irreducible components of the $Δ$-Springer fiber $Y_{n,n-1}=Y_{n,(1^{n-1}),n-1}$ are smooth. In fact, we prove that any intersection of irreducible components of $Y_{n,n-1}$ is a smooth Hessenberg variety which has the structure of an iterated Grassmannian fiber bundle. We then give a presentation of the singular cohomology ring of each irreducible component of $Y_{n,n-1}$ and a combinatorial formula for the Poincaré polynomial of an arbitrary union of intersections of irreducible components in terms of arm and leg statistics on Dyck paths.
On combinatorics of plus-one generated line arrangements
Published
• View Publication
• BIB
In this note we focus on combinatorial aspects of plus-one generated line arrangements. We provide combinatorial constraints on such arrangements and we construct a polynomial that decodes the plus-one generated property. We present new examples of plus-one generated arrangements constructed by using classical Klein and Wiman reflection arrangements, and we detect, among all known sporadic simplicial arrangements up to $27$ lines, exactly $9$ arrangements that are minimal plus-one generated.
Stable curves and chromatic polynomials
Published
• View Publication
• BIB
The intersection numbers of moduli spaces of stable curves $\overline{\mathcal{M}}_{g,m}$ are well-studied and are known to have rich combinatorial structure. We introduce a natural class of these intersection numbers $ω_{G,g,m}$ indexed by finite simple graphs $G=(V,E)$. In genus zero, these numbers are closely related to several previously-studied quantities, including maximum likelihood degrees in algebraic statistics, counts of regions of certain hyperplane arrangements, and Kapranov degrees. We give two proofs of a simple closed formula $ω_{G,g,m}=(-1)^{\left\lvert V \right\rvert}χ_G(-(2g-2+m)),$ where $χ_G$ is the chromatic polynomial of $G$ -- one proof via intersection theory on moduli spaces of stable curves, and the other using the theory of hyperplane arrangements. We discuss several related questions and speculations, including new candidates for the chromatic polynomial of a directed graph.
Log-concavity of polynomials arising from equivariant cohomology
We study the equivariant cohomology classes of torus-equivariant subvarieties of the space of matrices. For a large class of torus actions, we prove that the polynomials representing these classes (up to suitably changing signs) are covolume polynomials in the sense of Aluffi. We study the cohomology rings of complex varieties in terms of Macaulay inverse systems over $\mathbb{Z}$. As applications, we show that under certain conditions, the Macaulay dual generator is a denormalized Lorentzian polynomial in the sense of Brändén and Huh, and we give a characteristic-free extension (over $\mathbb{Z}$) of the result of Khovanskii and Pukhlikov describing the cohomology ring of toric varieties in terms of volume polynomials.
Reduced Groebner Bases With Double Exponential Cardinality
In this article, we investigate the cardinality of Groebner bases under various monomial orderings. We identify a family of polynomials F and a criterion such that the reduced Groebner basis of F is double exponential in cardinality with respect to any monomial ordering which satisfies this criterion. We also show that the said criterion is satisfied by orderings such as the lexicographic, degree lexicographic and weighted orderings.
Generalizing the Bierbrauer-Friedman bound for orthogonal arrays
Published in Des. Codes Cryptogr. 93(11) 2025, 4937-4950
• View Publication
• BIB
We characterize mixed-level orthogonal arrays in terms of algebraic designs in a special multigraph. We prove a mixed-level analog of the Bierbrauer-Friedman (BF) bound for pure-level orthogonal arrays and show that arrays attaining it are radius-1 completely regular codes (equivalently, intriguing sets, equitable 2-partitions, perfect 2-colorings) in the corresponding multigraph. For the case when the numbers of levels are powers of the same prime number, we characterize, in terms of multispreads, additive mixed-level orthogonal arrays attaining the BF bound. For pure-level orthogonal arrays, we consider versions of the BF bound obtained by replacing the Hamming graph by its polynomial generalization and show that in some cases this gives a new bound.
Keywords: orthogonal array, algebraic t-design, completely regular code, equitable partition, intriguing set, Hamming graph, Bierbrauer-Friedman bound, additive codes.
Newton polytopes of dual Schubert polynomials
The M-convexity of dual Schubert polynomials was first proven by Huh, Matherne, Mészáros, and St. Dizier in 2022. We give a full characterization of the supports of dual Schubert polynomials, which yields an elementary alternative proof of the M-convexity result, and furthermore strengthens it by explicitly characterizing the vertices of their Newton polytopes combinatorially.
Revisiting Asymptotic-Type Dimension Bounds through Combinatorial Approaches
We present an alternative probabilistic proof for the sharp Assouad--Nagata dimension bound of a doubling metric space. In addition, we explore some partial rigidity results and applications to scalar curvature. A significant technical tool in our argument is the concept of padded decomposition, which originates in computer science and has been extended to general separable metric spaces by us. Along the way, we extend the sharp upper bound on the asymptotic dimension of graphs with polynomial growth to noncollapsed locally compact metric measure spaces with polynomial volume growth. This sheds light on broader applications of probabilistic methods in metric geometry.
Pentagonal number recurrence relations for $p(n)$
Published
• View Publication
• BIB
We revisit Euler's partition function recurrence, which asserts, for integers $n\geq 1,$ that $$ p(n)=p(n-1)+p(n-2)-p(n-5)-p(n-7)+\dots = \sum_{k\in \mathbb{Z}\setminus \{0\}} (-1)^{k+1} p(n-ω(k)), $$ where $ω(m):=(3m^2+m)/2$ is the $m$th pentagonal number. We prove that this classical result is the $ν=0$ case of an infinite family of ``pentagonal number'' recurrences. For each $ν\geq 0,$ we prove for positive $n$ that
$$ p(n)=\frac{1}{g_ν(n,0)}\left(α_ν\cdot σ_{2ν-1}(n)+ \mathrm{Tr}_{2ν}(n) +\sum_{k\in \mathbb{Z}\setminus \{0\}} (-1)^{k+1} g_ν(n,k)\cdot p(n-ω(k))\right), $$ where $σ_{2ν-1}(n)$ is a divisor function, $\mathrm{Tr}_{2ν}(n)$ is the $n$th weight $2ν$ Hecke trace of values of special twisted quadratic Dirichlet series, and each $g_ν(n,k)$ is a polynomial in $n$ and $k.$ The $ν=6$ case can be viewed as a partition theoretic formula for Ramanujan's tau-function, as we have $$ \mathrm{Tr}_{12}(n)=-\frac{33108590592}{691}\cdot τ(n). $$
The independence polynomial on recursive sequences of graphs
We study the zero sets of the independence polynomial on recursive sequences of graphs. We prove that for a maximally independent starting graph and a stable and expanding recursion algorithm, the zeros of the independence polynomial are uniformly bounded. Each of the recursion algorithms leads to a rational dynamical system whose formula, degree and the dimension of the space it acts upon depend on the specific algorithm. Nevertheless, we demonstrate that the qualitative behavior of the dynamics exhibit universal features that can be exploited to draw conclusions about the zero sets.
Totally $Δ$-modular IPs with two non-zeros in most rows
Published
• View Publication
• BIB
Integer programs (IPs) on constraint matrices with bounded subdeterminants are conjectured to be solvable in polynomial time. We give a strongly polynomial time algorithm to solve IPs where the constraint matrix has bounded subdeterminants and at most two non-zeros per row after removing a constant number of rows and columns. This result extends the work by Fiorini, Joret, Weltge \& Yuditsky (J. ACM 72(1), 1-50 (2025)) by allowing for additional, unifying constraints and variables.
When are off-diagonal hypergraph Ramsey numbers polynomial?
Published
• View Publication
• BIB
A natural open problem in Ramsey theory is to determine those $3$-graphs $H$ for which the off-diagonal Ramsey number $r(H, K_n^{(3)})$ grows polynomially with $n$. We make substantial progress on this question by showing that if $H$ is tightly connected or has at most two tight components, then $r(H, K_n^{(3)})$ grows polynomially if and only if $H$ is contained in an iterated blowup of an edge.
Computing the permanental polynomial of $4k$-intercyclic bipartite graphs
Published in American Journal of Combinatorics, 3:35-43, (2024)
• View Publication
• BIB
Let $G$ be a bipartite graph with adjacency matrix $A(G)$. The characteristic polynomial $φ(G,x)=\det(xI-A(G))$ and the permanental polynomial $π(G,x) = \text{per}(xI-A(G))$ are both graph invariants used to distinguish graphs. For bipartite graphs, we define the modified characteristic polynomial, which is obtained by changing the signs of some of the coefficients of $φ(G,x)$. For $4k$-intercyclic bipartite graphs, i.e., those for which the removal of any $4k$-cycle results in a $C_{4k}$-free graph, we provide an expression for $π(G,x)$ in terms of the modified characteristic polynomial of the graph and its subgraphs. Our approach is purely combinatorial in contrast to the Pfaffian orientation method found in the literature to compute the permanental polynomial.
(Independent) Roman Domination Parameterized by Distance to Cluster
Published
• View Publication
• BIB
Given a graph $G=(V,E)$, a function $f:V\to \{0,1,2\}$ is said to be a \emph{Roman Dominating function} (RDF) if for every $v\in V$ with $f(v)=0$, there exists a vertex $u\in N(v)$ such that $f(u)=2$. A Roman Dominating function $f$ is said to be an \emph{Independent Roman Dominating function} (IRDF), if $V_1\cup V_2$ forms an independent set, where $V_i=\{v\in V~\vert~f(v)=i\}$, for $i\in \{0,1,2\}$. The total weight of $f$ is equal to $\sum_{v\in V} f(v)$, and is denoted as $w(f)$. The \emph{Roman Domination Number} (resp. \emph{Independent Roman Domination Number}) of $G$, denoted by $γ_R(G)$ (resp. $i_R(G)$), is defined as min$\{w(f)~\vert~f$ is an RDF (resp. IRDF) of $G\}$. For a given graph $G$, the problem of computing $γ_R(G)$ (resp. $i_R(G)$) is defined as the \emph{Roman Domination problem} (resp. \emph{Independent Roman Domination problem}).
In this paper, we examine structural parameterizations of the (Independent) Roman Domination problem. We propose fixed-parameter tractable (FPT) algorithms for the (Independent) Roman Domination problem in graphs that are $k$ vertices away from a cluster graph. These graphs have a set of $k$ vertices whose removal results in a cluster graph. We refer to $k$ as the distance to the cluster graph. Specifically, we prove the following results when parameterized by the deletion distance $k$ to cluster graphs: we can find the Roman Domination Number (and Independent Roman Domination Number) in time $4^kn^{O(1)}$. In terms of lower bounds, we show that the Roman Domination number can not be computed in time $2^{εk}n^{O(1)}$, for any $0<ε<1$ unless a well-known conjecture, SETH fails. In addition, we also show that the Roman Domination problem parameterized by distance to cluster, does not admit a polynomial kernel unless NP $\subseteq$ coNP$/$poly.
An Analytical Exploration of the Erdös-Moser Equation $ \sum_{i=1}^{m-1} i^k = m^k $ Using Approximation Methods
The Erdös-Moser equation $ \sum_{i=1}^{m - 1} i^k = m^k $ is a longstanding challenge in number theory, with the only known integer solution being $ (k,m) = (1,3) $. Here, we investigate whether other solutions might exist by using the Euler-MacLaurin formula to approximate the discrete sum $ S(m-1,k) $ with a continuous function $ S_{\mathbb{R}}(m-1,k) $. We then analyze the resulting approximate polynomial $ P_{\mathbb{R}}(m) = S_{\mathbb{R}}(m-1,k) - m^k $ under the rational root theorem to look for integer roots. Our approximation confirms that for $ k=1 $, the only solution is $ m=3 $, and for $ k \geq 2 $ it suggests there are no further positive integer solutions. However, because Diophantine problems demand exactness, any omission of correction terms in the Euler-MacLaurin formula could mask genuine solutions. Thus, while our method offers valuable insights into the behavior of the Erdös-Moser equation and illustrates the analytical challenges involved, it does not constitute a definitive proof. We discuss the implications of these findings and emphasize that fully rigorous approaches, potentially incorporating prime-power constraints, are needed to conclusively resolve the conjecture.
Polynomial Freiman-Ruzsa, Reed-Muller codes and Shannon capacity
In 1948, Shannon used a probabilistic argument to show the existence of codes achieving a maximal rate defined by the channel capacity. In 1954, Muller and Reed introduced a simple deterministic code construction, based on polynomial evaluations, conjectured shortly after to achieve capacity. The conjecture led to decades of activity involving various areas of mathematics and the recent settlement by [AS23] using flower set boosting. In this paper, we provide an alternative proof of the weak form of the capacity result, i.e., that RM codes have a vanishing local error at any rate below capacity. Our proof relies on the recent Polynomial Freiman-Ruzsa conjecture's proof [GGMT23] and an entropy extraction approach similar to [AY19]. Further, a new additive combinatorics conjecture is put forward which would imply the stronger result with vanishing global error. We expect the latter conjecture to be more directly relevant to coding applications.