polynomial
11184 papers tagged with this keyword
The entries of the Sinkhorn limit of an $m \times n$ matrix
We use a variety of computational tools to obtain a degree-$\binom{m + n - 2}{m - 1}$ polynomial equation conjecturally satisfied by the top-left entry of the Sinkhorn limit of a positive $m \times n$ matrix. The degree of this equation has a combinatorial interpretation as the number of minors of an $(m - 1) \times (n - 1)$ matrix, and the coefficients involve a determinant formula that reflects new combinatorial structure on sets of minor specifications. The tools we use include Gröbner bases, which produce equations for small matrices; the PSLQ algorithm, which produces equations for larger matrices as part of an interpolation effort that required 1.5 years of CPU time; and ChatGPT o3-mini-high, which identified the signs of the off-diagonal entries in the determinant formula.
Parity statistics on restricted permutations and the Catalan--Schett polynomials
Motivated by Kitaev and Zhang's recent work on non-overlapping ascents in stack-sortable permutations and Dumont's permutation interpretation of the Jacobi elliptic functions, we investigate some parity statistics on restricted permutations. Some new related bijections are constructed and two refinements of the generating function for descents over $321$-avoiding permutations due to Barnabei, Bonetti and Silimbanian are obtained. In particular, an open problem of Kitaev and Zhang about non-overlapping ascents on $321$-avoiding permutations is solved and several combinatorial interpretations for the Catalan--Schett polynomials are found. The stack-sortable permutations are at the heart of our approaches.
Improved fewnomial upper bounds from Wronskians and dessins d'enfant
We use Grothendieck's dessins d'enfant to show that if $P$ and $Q$ are two real polynomials, any real function of the form $x^α(1-x)^β P - Q$, has at most $°P +°Q + 2$ roots in the interval $]0,~1[$. As a consequence, we obtain an upper bound on the number of positive solutions to a real polynomial system $f=g=0$ in two variables where $f$ has three monomials terms, and $g$ has $t$ terms. The approach we adopt for tackling this Fewnomial bound relies on the theory of Wronskians, which was used in Koiran et.\ al.\ (J.\ Symb.\ Comput., 2015) for producing the first upper bound which is polynomial in $t$.
On the gcd graphs over polynomial rings
Gcd-graphs over the ring of integers modulo $n$ are a natural generalization of unitary Cayley graphs. The study of these graphs has foundations in various mathematical fields, including number theory, ring theory, and representation theory. Using the theory of Ramanujan sums, it is known that these gcd-graphs have integral spectra; i.e., all their eigenvalues are integers. In this work, inspired by the analogy between number fields and function fields, we define and study gcd-graphs over polynomial rings with coefficients in finite fields. We establish some fundamental properties of these graphs, emphasizing their analogy to their counterparts over $\mathbb{Z}.$
Every tree on $n$ edges decomposes $K_{nx,nx}$ and $K_{2nx+1}$
We prove that every tree on $n$ edges decomposes $K_{nx,nx}$ and $K_{2nx + 1}$ for all positive integers $x$. The said decompositions are obtained by proving that every tree admits a $\vecβ$-labeling (oriented beta-labeling). Our proof employs the polynomial method by identifying trees as functions in the transformation monoid $\mathbb{Z}_n^{\mathbb{Z}_n}$. A proof of the graceful tree conjecture (1967) follows as an immediate consequence of the current result. Finally, we introduce additional algebraic properties derived from the decomposition results.
Extending the science fiction and the Loehr--Warrington formula
We introduce the Macdonald piece polynomial $\operatorname{I}_{μ,λ,k}[X;q,t]$, which is a vast generalization of the Macdonald intersection polynomial in the science fiction conjecture by Bergeron and Garsia. We demonstrate a remarkable connection between $\operatorname{I}_{μ,λ,k}$, $\nabla s_λ$, and the Loehr--Warrington formula $\operatorname{LW}_λ$, thereby obtaining the Loehr--Warrington conjecture as a corollary. To connect $\operatorname{I}_{μ,λ,k}$ and $\nabla s_λ$, we employ the plethystic formula for the Macdonald polynomials of Garsia--Haiman--Tesler, and to connect $\operatorname{I}_{μ,λ,k}$ and $\operatorname{LW}_λ$, we use our new findings on the combinatorics of $P$-tableaux together with the column exchange rule. We also present an extension of the science fiction conjecture and the Macdonald positivity by exploiting $\operatorname{I}_{μ,λ,k}$.
Off-diagonal Ramsey numbers for slowly growing hypergraphs
For a $k$-uniform hypergraph $F$ and a positive integer $n$, the Ramsey number $r(F,n)$ denotes the minimum $N$ such that every $N$-vertex $F$-free $k$-uniform hypergraph contains an independent set of $n$ vertices. A hypergraph is $\textit{slowly growing}$ if there is an ordering $e_1,e_2,\dots,e_t$ of its edges such that $|e_i \setminus \bigcup_{j = 1}^{i - 1}e_j| \leq 1$ for each $i \in \{2, \ldots, t\}$. We prove that if $k \geq 3$ is fixed and $F$ is any non $k$-partite slowly growing $k$-uniform hypergraph, then for $n\ge2$, \[ r(F,n) = Ω\Bigl(\frac{n^k}{(\log n)^{2k - 2}}\Bigr).\] In particular, we deduce that the off-diagonal Ramsey number $r(F_5,n)$ is of order $n^{3}/\mbox{polylog}(n)$, where $F_5$ is the triple system $\{123, 124, 345\}$. This is the only 3-uniform Berge triangle for which the polynomial power of its off-diagonal Ramsey number was not previously known. Our constructions use pseudorandom graphs, martingales, and hypergraph containers.
Log-concavity of the independence polynomials of $\mathbf{W}_{p}$ graphs
Let $G$ be a graph of order $n$. For a positive integer $p$, $G$ is said to be a $\mathbf{W}_{p}$ graph if $n\geq p$ and every $p$ pairwise disjoint independent sets of $G$ are contained within $p$ pairwise disjoint maximum independent sets. In this paper, we establish that every connected $\mathbf{W}_{p}$ graph $G$ is $p$-quasi-regularizable if and only if $n\geq(p+1)\cdotα$, where $α$ is the independence number of $G$ and $p\neq2$. This finding ensures that the independence polynomial of a connected $\mathbf{W}_{p}$ graph $G$ is log-concave whenever $(p+1)\cdotα\leq n\leq p\cdotα+2\sqrt{p\cdotα+p}$ and $\frac{α^{2}}{4\left( α+1\right) }\leq p$, or $p\cdotα+2\sqrt{p\cdotα+p}<n\leq \frac{\left( α^{2}+1\right) \cdot p+\left( α-1\right) ^{2}}{α-1}$ and $\frac{α\left( α-1\right) }{α+1}\leq p$. Moreover, the clique corona graph $G\circ K_{p}$ serves as an example of the $\mathbf{W}_{p}$ graph class. We further demonstrate that the independence polynomial of $G\circ K_{p}$ is always log-concave for sufficiently large $p$.
Keywords: very well-covered graph; quasi-regularizable graph; corona graph; $\mathbf{W}_{p}$ graph; independence polynomial; log-concavity.
Polynomial bounds for monochromatic tight cycle partition in $r$-edge-coloured $K_n^{(k)}$
Let $K_n^{(k)}$ be the complete $k$-graph on $n$ vertices. A $k$-uniform tight cycle is a $k$-graph with its vertices cyclically ordered so that every $k$ consecutive vertices form an edge and any two consecutive edges share exactly $k-1$ vertices. A result of Bustamante, Corsten, Frankl, Pokrovskiy and Skokan shows that all $r$-edge coloured $K_{n}^{(k)}$ can be partitioned into $c_{r,k}$ vertex disjoint monochromatic tight cycles. However, the constant $c_{r,k}$ is of tower-type. In this work, we show that $c_{r, k}$ is a polynomial in $r$.
Tournament transitivity of graphs
Let $G=(V, E)$ be a graph where $V$ and $E$ are the vertex and edge sets, respectively. For two disjoint subsets $A$ and $B$ of $V$, we say $A$ \textit{dominates} $B$ if every vertex of $B$ is adjacent to at least one vertex of $A$ in $G$. A vertex partition $π= \{V_1, V_2, \ldots, V_k\}$ of $G$ is called a \emph{transitive partition} of size $k$ if $V_i$ dominates $V_j$ for all $1\leq i<j\leq k$. A vertex partition $π= \{V_1, V_2, \ldots, V_k\}$ of $G$ is called a \emph{tournament transitive partition} of size $k$ if $V_i$ dominates $V_j$ for all $1\leq i<j\leq k$ and $V_j$ does not dominate $V_i$ for $i<j$. The maximum integer $k$ for which the above partition exists is called \emph{tournament transitivity} of $G$, and it is denoted by $TTr(G)$. The \textsc{Maximum Tournament Transitivity Problem} is to find a tournament transitive partition of a given graph with the maximum number of parts. In this article, we study this variation of transitive partition from a structure and algorithmic point of view. We show that the decision version of this problem is NP-complete for chordal graphs (connected), perfect elimination bipartite graphs (disconnected) and doubly chordal graphs (disconnected). On the positive side, we prove that this problem can be solved in polynomial time for trees. Furthermore, we characterize \textup{Type-I BCG} with equal transitivity and tournament transitivity and find some sufficient conditions under which the above two parameters are equal for a \textup{Type-II BCG}. Finally, we show that for \textup{Type-III BCG}, these two parameters are never equal.
Key expansion of the flagged refined skew stable Grothendieck polynomial
The flagged refined stable Grothendieck polynomials of skew shapes generalize several polynomials like stable Grothendieck polynomials, flagged skew Schur polynomials. In this paper, we provide a combinatorial expansion of the flagged refined skew stable Grothendieck polynomial in terms of key polynomials. We present this expansion by imposing a Demazure crystal structure on the set of flagged semi-standard set-valued tableaux of a given skew shape and a flag. We also provide expansions of the row-refined stable Grothendieck polynomials and refined dual stable Grothendieck polynomials and the Schur P-functions in terms of stable Grothendieck polynomials $G_λ$ and in terms of dual stable Grothendieck polynomials $g_λ$.
On Modular Invariants of Truncated Polynomial Rings in low ranks
We verify the conjectures due to Lewis, Reiner and Stanton about the Hilbert series of the invariant ring of the truncated polynomial ring for all parabolic subgroups up to rank $3$. This is done by constructing an explicit set of generators for each invariant ring in question. We also propose a conjecture concerning the action of the Steenrod algebra and the Dickson algebra on a certain naturally occurring filtration of the invariant ring under the general linear group.
Filtrations and recursions for Schubert modules
Revisiting Kraśkiewicz and Pragacz's construction of Schubert modules, we provide a new proof that their characters are equal to Schubert polynomials. The main innovation is a representation-theoretic interpretation of a recurrence relation for Schubert polynomials recently discovered by Nadeau, Spink, and Tewari. Along the way, we review several related constructions, and show that the Nadeau-Spink-Tewari recursion determines the characters of flagged Schur modules coming from a broader class of translucent diagrams.
Zeros of Hook Polynomials and Related Questions
Published in SIGMA 21 (2025), 026, 14 pages
• View Publication
• BIB
We study the zero set of polynomials built from partition statistics, complementing earlier work in this direction by Boyer, Goh, Parry, and others. In particular, addressing a question of Males with two of the authors, we prove asymptotics for the values of $t$-hook polynomials away from an annulus and isolated zeros of a theta function. We also discuss some open problems and present data on other polynomial families, including those associated to deformations of Rogers-Ramanujan functions.
Analytic properties of Speyer's $g$-polynomial of uniform matroids
Let $U_{n,d}$ denote the uniform matroid of rank $d$ on $n$ elements. We obtain some recurrence relations satisfied by Speyer's $g$-polynomials $g_{U_{n,d}}(t)$ of $U_{n,d}$. Based on these recurrence relations, we prove that the polynomial $g_{U_{n,d}}(t)$ has only real zeros for any $n-1\geq d\geq 1$. Furthermore, we show that the coefficient of $g_{U_{n,[n/2]}}(t)$ is asymptotically normal by local and central limit theorems.
Tree-tubings and the combinatorics of resurgent Dyson-Schwinger equations
Published
• View Publication
• BIB
We give a novel combinatorial interpretation to the perturbative series solutions for a class of Dyson-Schwinger equations. We show how binary tubings of rooted trees with labels from an alphabet on the tubes, and where the labels satisfy certain compatibility constraints, can be used to give series solutions to Dyson-Schwinger equations with a single Mellin transform which is the reciprocal of a polynomial with rational roots, in a fully combinatorial way. Further, the structure of these tubings leads directly to systems of differential equations for the anomalous dimension that are ideally suited for resurgent analysis. We give a general result in the distinct root case, and investigate the effect of repeated roots, which drastically changes the asymptotics and the transseries structure.
Derangements in intransitive groups
Let $G$ be a nontrivial permutation group of degree $n$. If $G$ is transitive, then a theorem of Jordan states that $G$ has a derangement. Equivalently, a finite group is never the union of conjugates of a proper subgroup. If $G$ is intransitive, then $G$ may fail to have a derangement, and this can happen even if $G$ has only two orbits, both of which have size $(1/2+o(1))n$. However, we conjecture that if $G$ has two orbits of size exactly $n/2$ then $G$ does have a derangement, and we prove this conjecture when $G$ acts primitively on at least one of the orbits. Equivalently, we conjecture that a finite group is never the union of conjugates of two proper subgroups of the same order, and we prove this conjecture when at least one of the subgroups is maximal. (Feldman also implicitly raised this conjecture on StackExchange.) We also prove the conjecture for soluble groups, almost simple groups and groups of order at most 50000, and we reduce the conjecture to perfect groups. Along the way, we prove a linear variant on Isbell's conjecture regarding derangements of prime-power order, and we highlight connections with intersecting families of permutations and roots of polynomials modulo primes.
Restricted van der Waerden theorem for nilprogressions
In [Adv. Math., 321 (2017) 269-286], using the theory of ultrafilters, J. H. Johnson Jr., and F. K. Richter proved the nilpotent polynomial Hales-Jewett theorem. Using this result they proved the restricted version of the van der Waerden theorem for nilprogressions of rank $2$ and conjectured that this result must hold for arbitrary rank. In this article, we give an affirmative answer to their conjecture.
An asymmetric version of Elekes-Szabó via group actions
We consider when finite families $F \subseteq \mathbb{C}[t]$ of bounded degree polynomials, or more generally of bounded complexity finite-to-finite correspondences on $\mathbb{C}$, can exhibit non-expansion of the form $|F(A)| = O(|A|^{1+η})$ in their actions on finite sets $A \subseteq \mathbb{C}$ with $|F| \gg |A|^\eps \gg 1$, for a fixed $\eps>0$ and arbitrarily small $η>0$. Our conclusions generalise the Elekes-Rónyai and Elekes-Szabó theorems, which correspond to the case that $F$ is parametrised by a single complex variable and $|F|=|A|$. Our result also applies to families of correspondences between varieties of arbitrary dimension if we impose a general position assumption on $A$. In all cases, the conclusion is that a commutative algebraic group structure is responsible. As a special case, we obtain asymmetric versions of Elekes-Rónyai and Elekes-Szabó, with explicit bounds on exponents. Our methods originate in model theory.
Looking for all solutions of the Max Atom Problem (MAP)
This present paper provides the absolutely necessary corrections to the previous work entitled {\it A polynomial Time Algorithm to Solve The Max-atom Problem} (arXiv:2106.08854v1). The max-atom-problem (MAP) deals with system of scalar inequalities (called atoms or max-atom) of the form: $x \leq a + \max(y,z)$. Where $a$ is a real number and $x,y$ and $z$ belong to the set of the variables of the whole MAP. A max-atom is said to be positive if its scalar $a$ is $\geq 0$ and stricly negative if its scalar $a <0$. A MAP will be said to be positive if all atoms are positive. In the case of non positive MAP we present a saturation principle for system of vectorial inequalities of the form $x \leq A x + b$ in the so-called $(\max,+)$-algebra assuming some properties on the matrix $A$. Then, we apply such principle to explore all non-trivial solutions (ie $\neq -\infty$). We deduce a strongly polynomial method to express all solutions of a non positive MAP. In the case a positive MAP which has always the vector $x^{1}=(0)$ as trivial solution we show that looking for all solutions requires the enumeration of all elementary circuits in a graph associated with the MAP. However, we propose a strongly polynomial method wich provides some non trivial solutions.