polynomial
11184 papers tagged with this keyword
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.
Top to random and reverse: analysis of a new descent algebra shuffle
We study the "top-to-random-and-reverse shuffle", defined as the top-to-random shuffle in the symmetric group algebra composed with the permutation $w_0$ (which sends each $i$ to $n+1-i$). More generally, we analyze the composition of any B-basis element of the descent algebra with $w_0$. We show that the minimal polynomial of any such composition (over $\mathbb{Q}$) factors into distinct linear factors, which correspond to the "signed knapsack numbers" of set compositions. This is a counterpart to an analogous property of the B-basis elements themselves, which was proved by Brown using Bidigare's face monoid. In the case of the top-to-random-and-reverse shuffle, the minimal polynomial turns out to be $\prod_{k \in \set{-n+2} \cup \interval{-n+4, n-3} \cup \set{0} \cup \set{n}} \tup{x-k}$.
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
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.
On Polynomial Progressions Inside Sets of Large Dimension
In this note we connect Sobolev estimates in the context of polynomial averages e.g. \[ \| \int_0^1 \prod_{k=1}^m f_k(x-t^k) \|_{1} \leq \text{Const} \cdot 2^{-\text{const} \cdot l} \prod_{i=1}^m \| f_k \|_m \] whenever some $f_i$ vanishes on $\{ |ξ| \leq 2^l \}$ to the existence of polynomial progressions inside of sets of sufficiently large Hausdorff dimension, in analogy with work of Peluse in the discrete context. Our strongest (unconditional) result builds off deep work of Hu-Lie and is as follows: suppose that $\mathcal{P} = \{P_1,P_2,P_3\}$ vanish at the origin at different rates, and that $E \subset [0,1]$ has sufficiently large Hausdorff dimension, \[ 1 - \text{const}(\mathcal{P}) < \text{dim}_H(E) < 1 \] and Hausdorff content bounded away from zero, sufficiently large in terms of its dimension. Then $E$ contains a non-trivial polynomial progression of the form \[ \{ x , x - P_1(t), x - P_2(t), x - P_3(t) \} \subset E, \; \; \; t \neq 0. \] We also provide a short proof that whenever $E$ has sufficiently large Hausdorff dimension and Fourier dimension $> 1/2$, it necessarily contains a non-trivial generalized three-term arithmetic progression of the form \[ \{ x, x - θ_1 t, x- θ_2 t\} \subset E, \; \; \; θ_i \in \mathbb{Q},\ t \neq 0.\]
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
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.
Lorentzian polynomials and matroids over triangular hyperfields 1: Topological aspects
Lorentzian polynomials serve as a bridge between continuous and discrete convexity, connecting analysis and combinatorics. In this article, we study the topology of the space $\mathbb{P}\textrm{L}_J$ of Lorentzian polynomials on $J$ modulo $\mathbb{R}_{>0}$, which is nonempty if and only if $J$ is the set of bases of a polymatroid. We prove that $\mathbb{P}\textrm{L}_J$ is a manifold with boundary of dimension equal to the Tutte rank of $J$, and more precisely, that it is homeomorphic to a closed Euclidean ball with the Dressian of $J$ removed from its boundary. Furthermore, we show that $\mathbb{P}\textrm{L}_J$ is homeomorphic to the thin Schubert cell $\textrm{Gr}_J(\mathbb{T}_q)$ of $J$ over the triangular hyperfield $\mathbb{T}_q$, introduced by Viro in the context of tropical geometry and Maslov dequantization, for any $q>0$. This identification enables us to apply the representation theory of polymatroids developed in a companion paper, as well as earlier work by the first and fourth authors on foundations of matroids, to give a simple explicit description of $\mathbb{P}\textrm{L}_J$ up to homeomorphism in several key cases. Our results show that $\mathbb{P}\textrm{L}_J$ always admits a compactification homeomorphic to a closed Euclidean ball. They can also be used to answer a question of Brändén in the negative by showing that the closure of $\mathbb{P}\textrm{L}_J$ within the space of all polynomials modulo $\mathbb{R}_{>0}$ is not homeomorphic to a closed Euclidean ball in general. In addition, we introduce the Hausdorff compactification of the space of rescaling classes of Lorentzian polynomials and show that the Chow quotient of a complex Grassmannian maps naturally to this compactification. This provides a geometric framework that connects the asymptotic structure of the space of Lorentzian polynomials with classical constructions in algebraic geometry.
Determination of Some Types of Permutations over $\mathbb{F}_q^2$ with Low-Degree
The characterization of permutations over finite fields is an important topic in number theory with a long-standing history. This paper presents a systematic investigation of low-degree bivariate polynomial systems $F=(f_1(x,y),f_2(x,y))$ defined over $\mathbb{F}_{q}^2$. Specifically, we employ Hermite's Criterion to completely classify bivariate quadratic permutation polynomial systems, while utilizing the theory of permutation rational functions to give a full classification of bivariate 3-homogeneous permutation polynomial systems. Furthermore, as an application of our findings, we provide an explicit characterization of the permutation binomials of the form $x^3+ax^{2q+1}$ over $\mathbb{F}_{q^2}$ with characteristic $p\neq3$, thereby resolving a significant special case within this classical research domain.
Involutory Cayley graphs of polynomial and power series rings over the ring of integers modulo $n$
Let $R$ be a commutative ring with identity. The involutory Cayley graph $\mathcal{G}(R)$ of $R$ is defined as the graph whose vertex set is the set of elements of $R$, where two vertices $a$ and $b$ are adjacent exactly when $(a-b)^2=1$. This paper investigates the properties of involutory Cayley graphs associated with polynomial and power series rings over the ring of integers modulo $n$.
Quantum Algorithms for Gowers Norm Estimation, Polynomial Testing, and Arithmetic Progression Counting over Finite Abelian Groups
We propose a family of quantum algorithms for estimating Gowers uniformity norms $ U^k $ over finite abelian groups and demonstrate their applications to testing polynomial structure and counting arithmetic progressions. Building on recent work for estimating the $ U^2 $-norm over $ \mathbb{F}_2^n $, we generalize the construction to arbitrary finite fields and abelian groups for higher values of $ k $. Our algorithms prepare quantum states encoding finite differences and apply Fourier sampling to estimate uniformity norms, enabling efficient detection of structural correlations.
As a key application, we show that for certain degrees $ d = 4, 5, 6 $ and under appropriate conditions on the underlying field, there exist quasipolynomial-time quantum algorithms that distinguish whether a bounded function $ f(x) $ is a degree-$ d $ phase polynomial or far from any such structure. These algorithms leverage recent inverse theorems for Gowers norms, together with amplitude estimation, to reveal higher-order algebraic correlations.
We also develop a quantum method for estimating the number of 3-term arithmetic progressions in Boolean functions $ f : \mathbb{F}_p^n \to \{0,1\} $, based on estimating the $ U^2 $-norm. Though not as query-efficient as Grover-based counting, our approach provides a structure-sensitive alternative aligned with additive combinatorics.
Finally, we demonstrate that our techniques remain valid under certain quantum noise models, due to the shift-invariance of Gowers norms. This enables noise-resilient implementations within the NISQ regime and suggests that Gowers-norm-based quantum algorithms may serve as robust primitives for quantum property testing, learning, and pseudorandomness.
Saturation for Non-Symmetric Macdonald Polynomials
We prove that supports of non-symmetric Macdonald polynomials are $M$-convex. As a consequence, we resolve a 2019 conjecture of Monical, Tokcan, and Yong that they have the saturated Newton polytope property. As a further consequence, we prove that the moment polytopes of affine Schubert varieties in the affine Grassmannian of type $\mathrm{GL}$ are generalized permutahedra.
Multivariate Tutte polynomials of semimatroids
We introduce and investigate multivariate Tutte polynomials, dichromatic polynomials, subset-corank polynomials, size-corank polynomials, and rank generating polynomials of semimatroids, which generalize the corresponding polynomial invariants of graphs and matroids. We primarily establish their deletion-contraction recurrences, basis activities expansions, and various convolution identities. These findings naturally extend Kook-Reiner-Stanton's convolution formula and Kung's convolution-multiplication identities for the Tutte polynomials of graphs and matroids to semimatroids.
Quivers with Polynomial Identities
We provide a topological characterization of quivers whose path algebra satisfies a polynomial identity. This class includes the oriented cycle and acyclic quivers and, in the latter case, we describe the associated T-ideal. We introduce a generalization of Arnold's A-graded algebras, which we call locally A-graded algebras, and prove that they are also PI. We give an example of a quiver algebra satisfying a polynomial identity, even if the path algebra of the quiver does not.