polynomial
11422 papers tagged with this keyword
Polynomial extension of Van der Waerden's Theorem near zero
Published
• View Publication
• BIB
Let $S$ be a dense subring of the real numbers. In this paper we prove a polynomial version of Van der Waerden's theorem near zero. In fact, we prove that if $p_1,\ldots,p_m \in \mathbb{Z}[x]$ are polynomials such that $p_i(0) = 0$ and there exists $δ> 0$ such that $p_i(x) > 0$ for every $x \in (0,δ)$ and for every $i=1,\ldots , m$. Then for any finite partition $\mathcal{C}$ of \( S\cap(0,1) \) and every sequence $f:\mathbb{N}\to S\cap(0,1)$ satisfying $\sum_{n=1}^\infty f(n)<\infty$, there exist a cell $C \in \mathcal{C}$, an element $a \in S$, and $F \in P_f(\mathbb{N})$ such that
\[
\{ a + p_i(\sum_{t \in F} f(t)) : i = 1,2,\ldots,m \} \subseteq C.
\]
Volume Polynomials and Log-concavity of the Characteristic Polynomials of Matroids
The Rota--Heron--Welsh conjecture (now a theorem of Adiprasito, Huh, and the author) asserts the log-concavity of the characteristic polynomial of matroids. We give an exposition of the Lorentzian polynomial proof following the work of Branden and Leake aimed at undergraduate and beginning graduate students.
Recursions, Trains, Trees, and Combinatorial Rod Set Algebra
We explore a physical model of ordered sums of integers as trains of rods. The trains for a fixed, possibly infinite, set of rod lengths naturally correspond to nodes in a tree; relations among finite linear recursions encoded in the subtrees define algebraic operations on sets of rods. We use this algebra to prove classic identities for recursively defined sequences, to show that Lucas sequences are divisibility sequences, to characterize two-term linear Fibonacci identities, and to find the cyclotomic polynomial factors of Borwein trinomials. We complement abstractions with lots of examples.
The Combinatorial Nullstellensatz, Chevalley-Warning Theorem and weak Finitesatz in skew polynomial rings
We study zeros of polynomials in the multivariate skew polynomial ring $D[x_1,\ldots,x_n; σ]$, where $σ$ is an automorphism of a division ring $D$. We prove a generalization of Alon's celebrated Combinatorial Nullstellensatz for such polynomials. In the case where $D$ is a finite field, we prove skew analogues of the Chevalley--Warning theorem, Ax's Lemma, and the weak case of Terjanian's Finitesatz.
Improved Bounds on Rainbow $k$-partite Matchings
Published
• View Publication
• BIB
Let $n$, $s$, and $k$ be positive integers. We say that a sequence $f_1,\dots,f_s$ of nonnegative integers is satisfying if for any collection of $s$ families $\mathcal F_1,\dots,\mathcal F_s\subseteq [n]^k$ such that $|\mathcal F_i|=f_i$ for all $i$, there exists a rainbow matching, i.e., a list of pairwise disjoint tuples $F_1\in\mathcal F_1$, $\dots$, $F_s\in\mathcal F_s$. We investigate the question, posed by Kupavskii and Popova, of determining the smallest $c=c(n,s,k)$ such that the arithmetic progression $c$, $n^{k-1}+c$, $2n^{k-1}+c$, $\dots$, $(s-1)n^{k-1}+c$ is satisfying. We prove that the sequence is satisfying for $c=Ω_k(\max(s^2n^{k-2}, sn^{k-3/2}\sqrt{\log s}))$, improving the previous result by Kupavskii and Popova. We also study satisfying sequences for $k=2$ using the polynomial method, extending the previous result by Kupavskii and Popova to when $n$ is not prime.
Hurwitz--Lerch Type Families of Poly-Bernoulli and Poly-Cauchy Numbers and Polynomials with Parameters $(α,a)$
This study introduces $(α,a)$-parameterized Hurwitz-Lerch type poly-Bernoulli and poly-Cauchy numbers and polynomials, extending classical sequences through the Hurwitz-Lerch zeta function. We derive generating functions, recurrences, and explicit formulas, revealing deeper structures and connections with zeta functions and polylogarithms. The results enrich existing theory and open new directions in analytic number theory and combinatorics.
On the proportion of derangements in affine classical groups
Published
• View Publication
• BIB
We derive explicit formulas for the proportion of derangements and of derangements of $p$-power order in the affine unitary group $AU_m(q)$ over the finite field $\mathbb{F}_{q^2}$ of characteristic $p$. Both formulas rely on a result of independent interest concerning integer partitions: we obtain a generating function for partitions $λ=(λ_1, \dots, λ_m)$ into $m$ parts, for which $λ_1=1$ or there exists $k \in \{2, \dots,m\}$ such that $λ_{k-1}>λ_k=k$. Moreover, when $p$ is odd, we conjecture remarkably simple formulas for the proportions of derangements in the finite affine symplectic group $ASp_{2m}(q)$, and in the affine orthogonal groups $AO_{2m+1}(q)$ and $AO^{\pm}_{2m}(q)$, and we also propose conjectures for the proportions of derangements of $p$-power order. We further reduce the proofs of these conjectures to establishing three $q$-polynomial identities.
An Algebraic Proof of the Polynomial Version of van der Waerden's Theorem
The polynomial version of van der Waerden's theorem, proved using dynamical systems by V. Bergelson and A. Leibman in 1996, \cite{Bergelson1996}, significantly highlighted the role of dynamical systems in addressing problems related to monochromatic configurations within algebraic structures. In this paper, by introducing symbolic polynomials, we aim to provide an alternative proof of the polynomial version of van der Waerden's theorem relying solely on Stone-Čech compactification of an infinite discrete semigroup.
A refined twist on Hurwitz numbers
We introduce a two-parameter refinement of the Jucys-Murphy theory, that we call the CJT-refinement, unifying Schur, zonal, and, conjecturally, Jack actions of the ring of symmetric functions on the Fock space. Applications of this formalism include a partial resolution of a recent conjecture of Coulter-Do, as well as cut-and-join recursion for $b$-Hurwitz numbers. The cut-and-join equations enable the derivation of the tropicalization of $b$--Hurwitz numbers. We also provide a first application of this tropical interpretation by answering an open problem of Chapuy-Dołęga on the polynomial structure of $b$-Hurwitz numbers.
Finite Interpretation of the Hyper-Catalan Series Zero and its Powers
In 2025, Wildberger and Rubine showed the formal series zero of the univariate geometric polynomial is $\mathbf{S}$, the generating series for the hyper-Catalan numbers $\mathbf{C}_m$, which count the number of roofed subdivided polygons (subdigons) of type $\mathbf{m}$. We show that we can interpret this result as a finite identity at each level, where a level is a truncation of $\Sb$ to a given maximum number of vertices, edges, or faces (bounded by degree) of the associated subdigon types. We then explore powers $\mathbf{S}^r$, recounting Raney's and our own combinatorial derivations of its coefficients.
Monotonicity for generalized binomial coefficients and Jack positivity
Published in Séminaire Lotharingien de Combinatoire 93B (2025), Article #139
• Search Publication
Binomial formulas for Schur polynomials and Jack polynomials were studied by Lascoux in 1978, and Kaneko, Okounkov--Olshanski and Lassalle in the 1990s. We prove that the associated binomial coefficients are monotone and derive some symmetric function inequalities, in particular, a Schur positivity and Jack positivity result. These inequalities are similar to those studied by Newton, Muirhead, Gantmacher, Cuttler--Greene--Skandera, Sra and Khare--Tao.
Exact Matching in Matrix Multiplication Time
Initiated by Mulmuley, Vazirani, and Vazirani (1987), many algebraic algorithms have been developed for matching and related problems. In this paper, we review basic facts and discuss possible improvements with the aid of fast computation of the characteristic polynomial of a matrix. In particular, we show that the so-called exact matching problem can be solved with high probability in asymptotically the same time order as matrix multiplication. We also discuss its extension to the linear matroid parity problem.
Connectedness of independence attractors of graphs with independence number three
An independent set in a simple graph $G$ is a set of pairwise non-adjacent vertices in $G$. The independence polynomial of $G$, denoted by $I_G$ is defined as $1 + a_1 z + a_2 z^2+\cdots+a_d z^{d}$, where $a_i$ denotes the number of independent sets with cardinality $i$ and $d$ is the cardinality of a largest independent set in $G$. This $d$ is known as the independence number of $G$. Let $G^m$ denote the $m$-times lexicographic product of $G$ with itself. The independence attractor of $G$, denoted by $\mathcal{A}(G)$ is defined as $\mathcal{A}(G) = \lim\limits_{m\rightarrow \infty} \{z: I_{G^m}(z)=0\}$, where the limit is taken with respect to the Hausdorff metric defined on the space of all compact subsets of the plane. This paper investigates the connectedness of the independence attractors of all graphs with independence number three. Let the independence polynomial of $G$ be $1+a_1 z +a_2 z^2 +a_3 z^3$. For $a_1 =3$, $\mathcal{A}(G)$ turns out to be $ \{-1\} \cup \{z: |z+1|=1\} $. For $a_1 >3$, we prove the following.
If $a_2 ^2 \leq 3 a_1 a_3$, or $3 a_1 a_3 < a_2 ^2 < 4a_3 (a_1 -1)$ then $\mathcal{A}(G)$ is totally disconnected. For $a_2 ^2 =4a_3 (a_1 -1) $, $\mathcal{A}(G)$ is connected when $a_1 =5$ and is disconnected but not totally disconnected for all other values of $a_1$. If $a_2 ^2 > 4a_3 (a_1 -1)$ then $\mathcal{A}(G)$ can be connected, totally disconnected or disconnected but not totally disconnected depending on further conditions involving $a_1, a_2$ and $a_3$. Examples of graphs exhibiting all the possibilities are provided.
A bivariate version of the spread polynomials
We study a bivariate variant of Hans-Christian Herbig's version of Norman Wildberger's spread polynomials.
The canonical form, scissors congruence and adjoint degrees of polytopes
We study the canonical form $Ω$ as a valuation in the context of scissors congruence for polytopes. We identify the degree of its numerator - the adjoint polynomial $\operatorname{adj}_P$ - as an important invariant in this context. More precisely, for a polytope $P$ we define the degree drop that measures how much smaller than expected the degree of the adjoint polynomial of $P$ is. We show that this drop behaves well under various operations, such as decompositions, restrictions to faces, projections, products and Minkowski sums. Next we define the reduced canonical form $Ω_0$ and show that it is a translation-invariant 1-homogeneous valuation on polytopes that vanishes if and only if $P$ has positive degree drop. Using it we can prove that zonotopes can be characterized as the $d$-polytopes that have maximal possible degree drop $d-1$. We obtain a decomposition formula for $Ω_0$ that expresses it as a sum of edge-local quantities of $P$. Finally, we discuss valuations $Ω_s$ that can distinguish higher values of the degree drop.
Unimodality and Cluster Algebras from Surfaces
Published
• View Publication
• BIB
We prove that the rank polynomial of the lattice of order ideals of a loop fence poset is unimodal. This poset arises as the poset of join-irreducibles in the lattice of good matchings of loop graphs associated with notched arcs. Equivalently, such polynomials can be obtained by evaluating all coefficient variables in an F-polynomial at a single variable q. We also conclude that the rank polynomial of any tagged arc, whether plain or notched, is not only unimodal but also satisfies a symmetry condition known as almost interlacing. Furthermore, when the lamination consists of a single curve, the cluster expansion-evaluated by setting all cluster variables to 1 and all coefficient variables to q-is also unimodal. We conjecture that polynomials in this case are log-concave.
New formulas for Macdonald polynomials via the multispecies exclusion and zero range processes
Published in Contemporary Mathematics; Macdonald Theory and Beyond: Combinatorics, Geometry, and Integrable Systems, vol. 815, American Mathematical Society, Providence, RI, 2025
• View Publication
• BIB
We describe some recently discovered connections between one-dimensional interacting particle models and Macdonald polynomials. The first such model is the multispecies asymmetric simple exclusion process (ASEP) on a ring, linked to the symmetric Macdonald polynomial $P_λ(X;q,t)$ through its partition function. Through this connection, a new formula was found for $P_λ$ by generalizing multiline queues, which were introduced by Martin in 2018 to compute stationary probabilities of the ASEP. The second particle model is the multispecies totally asymmetric zero range process (TAZRP) on a ring, which was very recently found to have an analogous connection to the modified Macdonald polynomial $\widetilde{H}_λ(X;q,t)$ through its partition function. This discovery coincided with a new formula for $\widetilde{H}_λ$, this time in terms of tableaux with a queue inversion statistic, which also compute stationary probabilities of the TAZRP. We explain the plethystic relationship between multiline queues and queue inversion tableaux, and along the way, derive a new formula for $P_λ$ using the queue inversion statistic. This plethystic correspondence is closely related to fusion in the setting of integrable systems.
Chain characteristic polynomials of matroids
In this note we introduce a family of polynomials on a matroid derived from chain Tutte polynomials which generalize the classic and ubiquitous characteristic polynomial. We show that the coefficients of these polynomials alternate and present a recursion for any matroid. The classic characteristic polynomials were motivated by the chromatic polynomial on graphs. We define a generalized proper vertex coloring on a graph, which we call coupled multicoloring. We also define a generalized nowhere zero flow, which we call coupled multicommodity flow. Then we show that these chain characteristic polynomials enumerate the number of coupled multicolorings and coupled multicommodity flows on a graph. We conclude by listing multiple problems on enumerative properties of chain characteristic polynomials.
The approach of cluster symmetry to Diophantine equations
This paper aims to employ a cluster-theoretic approach to provide a class of Diophantine equations whose solutions can be obtained by starting from initial solutions through mutations. We establish a novel framework bridging cluster theory and Diophantine equations through the lens of cluster symmetry. On the one hand, we give the necessary and sufficient condition for Laurent polynomials to remain invariant under a given cluster symmetric map. On the other hand, we construct a discriminant algorithm to determine whether a given Laurent polynomial has cluster symmetry and whether it can be realized in a generalized cluster algebra. As applications, we solve Markov-cluster equations, describe some invariant Laurent polynomial rings, and resolve the questions posed by Gyoda and Matsushita.
A way to treat dual Hahn polynomials as Racah polynomials via the theory of Leonard pairs
Published
• View Publication
• BIB
The dual Hahn polynomials $\{u_i(x)\}_{i=0}^d$ are a family of discrete orthogonal polynomials involving two real parameters $r$ and $s$. Let $L,L^*$ denote the corresponding Leonard pair. Assume that $r\not=0$ and $r+s=0$. We show that $L,(L^*+\frac{r-d}{2})^{2}$ is a Leonard pair. According to the theory of Leonard pairs, the polynomials $\{u_i(x)\}_{i=0}^d$ are not only the dual Hahn polynomials but also the Racah polynomials with respect to the same inner product.