polynomial
11184 papers tagged with this keyword
The bracket polynomial of the Celtic link shadow $CK_4^{2n}$
We derive the Kauffman bracket polynomial for the shadow of the Celtic link $CK_4^{2n}$ using two complementary approaches. The first approach uses a recursive relation within the Celtic framework of Gross and Tucker, based on diagrammatic identities. The second approach makes use of a 4-tangle algebraic framework: a fundamental tangle is concatenated with itself n times to form an iterated composite tangle, and the Kauffman bracket polynomial is computed by decomposing the state space with respect to the basis elements of the 4-strand diagram monoid.
Ext operators for wreath Macdonald polynomials
We introduce a wreath Macdonald polynomial analogue of the Carlsson--Nekrasov--Okounkov vertex operator. As an application, we prove a modular $(q,t)$-Nekrasov--Okounkov formula for $r\ge 3$ originally conjectured by Walsh and Warnaar.
Complementary edge ideals
Let $S=K[x_1,\dots,x_n]$ be the polynomial ring over a field $K$ and $I\subset S$ be a squarefree monomial ideal generated in degree $n-2$. Motivated by the remarkable behavior of the powers of $I$ when $I$ admits a linear resolution, as established in [11], in this work we investigate the algebraic and homological properties of $I$ and its powers. To this end, we introduce the complementary edge ideal of a finite simple graph $G$ as the ideal $$I_c(G)=((x_1\cdots x_n)/(x_ix_j):\{i,j\}\in E(G)) $$ of $S$, where $V(G)=\{1,\ldots,n\}$ and $E(G)$ is the edge set of $G$. By interpreting any squarefree monomial ideal $I$ generated in degree $n-2$ as the complementary edge ideal of a graph $G$, we establish a correspondence between algebraic invariants of $I$ and combinatorial properties of $G$. More precisely, we characterize sequentially Cohen-Macaulay, Cohen-Macaulay, Gorenstein, nearly Gorenstein and matroidal complementary edge ideals. Moreover, we determine the regularity of powers of $I$ in terms of combinatorial invariants of the graph $G$ and obtain that $I^k$ has linear resolution or linear quotients for some $k$ (equivalently for all $k\geq 1$) if and only if $G$ has only one connected component with at least two vertices.
On a nonnegativity conjecture of Andrews
I settle a conjecture of Andrews related to the Alladi-Schur polynomials. In addition, I give further relations and implications to two families of polynomials related to the Alladi-Schur polynomials.
Planar graphs embedded in generic ways and realizing them as Reeb graphs of real algebraic functions
This paper is concerned with long-time interest of us, especially, the author, in realizing graphs as Reeb graphs of real algebraic functions of certain nice classes.
The Reeb graph of a differentiable function is the set consisting of all components of preimages of all single points and endowed with the quotient topology canonically. In tame cases, such objects are graphs. The Reeb graph of the natural height of the unit sphere of dimension at least $2$ is a graph with exactly one edge and homeomorphic to a closed interval. These graphs have been fundamental and strong tools in geometry since theory of Morse functions has been established in the former half of the last century.
We present a new answer to the problem, saying that generically embedded planar graphs are homeomorphic to the Reeb graphs of real algebraic functions obtained by elementary polynomials and elementary procedures.
Pretty good state transfer in Grover walks on abelian Cayley graphs
In this paper, we study pretty good state transfer (PGST) in Grover walks on graphs. We consider transfer of quantum states that are localized at the vertices of a graph and we use Chebyshev polynomials to analyze PGST between such states. In general, we find a necessary and sufficient condition for the occurrence of PGST on graphs. We then focus our analysis on abelian Cayley graphs and derive a necessary and sufficient condition for the occurrence of PGST on such graphs. Consequently, we obtain a complete characterization of PGST on unitary Cayley graphs. Our results yield infinite families of graphs that exhibit PGST but fail to exhibit perfect state transfer.
Parking functions and chip-firing on hypergraphs
For a connected graph $G$ with sink vertex $q$, a $G$-parking function is a vector of nonnegative integers whose entries are determined by cut-sets in $G$. Such objects also arise as the superstable configurations in the context of chip-firing. The set of all $G$-parking functions have various algebraic and combinatorial properties; for instance they relate to evaluations of the Tutte polynomial and in particular are counted by spanning trees of $G$. We extend these constructions to the setting of hypergraphs, where edges can have multiple vertices. For a hypergraph $H$ with sink $q$, we define $H$-parking functions in terms of cuts in $H$ and prove that the maximal such sequences are characterized by certain acyclic orientations of $H$. We introduce a notion of a $q$-rooted spanning tree for $H$, and prove that the set of all such objects are counted by $H$-parking functions. We also show how $H$-parking functions can be recovered as the superstable configurations in a version of chip-firing on $H$, where chips have a choice of where to go when fired. We prove that one can recover such configurations via chip-firing on a family of digraphs associated to $H$.
Regularity for hypergraphs with bounded VC$_2$ dimension
While Szemerédi's graph regularity lemma is an indispensable tool for studying extremal problems in graph theory, using it comes with a hefty price, since a worst-case graph may only have regular partitions of tower-type size. It is thus sensible to ask if there is some natural restriction which forces graphs to have much smaller regular partitions. A celebrated result of this type, due to Alon-Fischer-Newman and Lovász-Szegedy, states that for graphs of bounded VC dimension, one can reduce the tower-type bounds to polynomial.
The graph regularity lemma has been extended to the setting of $k$-graphs by Gowers, Nagle-Rödl-Schacht-Skokan, and Tao. Unfortunately, these lemmas come with even larger Ackermann-type bounds. Chernikov-Starchenko and Fox-Pach-Suk considered a strong notion of $k$-graph VC dimension and proved that $k$-graphs of bounded VC dimension have regular partitions of polynomial size. Shelah introduced a weaker and combinatorially natural notion of dimension, called VC$_2$ dimension, which has since been extensively studied. In particular, Chernikov, Towsner, Terry, and Wolf asked if one can improve the worst case bounds for 3-graph regularity when the 3-graph has bounded VC$_2$ dimension. Our main result in this paper answers this question positively in the following strong sense: in the setting of bounded VC$_2$ dimension, one can reduce the bounds for 3-graph regularity by one level in Ackermann hierarchy. Furthermore, our new bound is best possible.
Our proof has two key steps. We first introduce a new method for designing regularity lemmas for graphs of bounded VC dimension, based on the cylinder regularity lemma. We then prove a hypergraph version of the cylinder regularity lemma, which allows us to extend this method to hypergraphs. We also highlight a few other applications of this cylinder regularity lemma, which we expect to find many other uses.
Periodicity and Dynamical Systems of Dickson Polynomials in Finite Fields
This paper investigates the dynamical properties of Dickson polynomials over finite fields, focusing on the periodicity and structural behavior of their iterated sequences. We introduce and analyze the sequence $[D_n(x, α) \mod (x^q - x)]_n$, where $D_n(x, α)$ denotes a Dickson polynomial of the first kind, and explore its periodic nature when reduced modulo $x^q - x$. We derive explicit formulas for the period of these sequences, particularly in the case when $n$ is coprime to $q^2 - 1$. In addition, we identify a symmetric property of the polynomial coefficients that plays a crucial role in the analysis of these sequences. Using tools from combinatorics, elementary number theory, and finite fields, we present algorithms to compute the exact period and investigate the dynamical structure of these polynomials. We also highlight open problems in cases where the degree $n$ is not coprime to $q^2 - 1$. Our results offer deep insights into the algebraic structure of Dickson polynomials and their role in dynamical systems over finite fields.
Polynomial extension of Van der Waerden's Theorem near zero
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.
\]
Newton polytopes of fireworks Grothendieck polynomials
We show that the support of the Grothendieck polynomial $\mathfrak G_w$ of any fireworks permutation is as large as possible: a monomial appears in $\mathfrak G_w$ if and only if it divides $\mathbf x^{\mathrm{wt}(\overline{D(w)})}$ and is divisible by some monomial appearing in the Schubert polynomial $\mathfrak S_w$. Our formula implies that the homogenization of $\mathfrak G_w$ has M-convex support. We also show that for any fireworks permutation $w\in S_n$, there exists a layered permutation $π(w)\in S_n$ so that $\mathrm{supp}(\mathfrak G_{π(w)})\supseteq \mathrm{supp}(\mathfrak G_w)$.
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
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
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.
On pairs of triangular numbers whose product is a perfect square and pairs of intervals of successive integers with equal sums of squares
A number $N$ is a triangular number if it can be written as $N = t(t + 1)/2$ for some nonnegative integer number $t$. A triangular number $N$ is called square if it is a perfect square, that is, $N = d^2$ for some integer number $d$. Square triangular numbers were characterized by Euler in 1778 and are in one-to-one correspondence with the so-called near-isosceles Pythagorean triples $(k,k+1,l)$, where $k^2 + (k+1)^2 = l^2$. A quadratic number is the product $Π= Π(k,j) = k(k+1)(k+j)(k+j+1)$ for some nonnegative integer numbers $k$ and $j$. By definition, it is the product of two triangular numbers and 4. Quadratic number $Π$ and the corresponding pair $(k,j)$ are called square if $Π$ is a perfect square. Clearly, $(k,j)$ is square if both triangular numbers $k(k+1)/2$ and $(k+j)(k+j+1)/2$ are perfect squares. Yet, there exist infinitely many other square quadratic numbers. We construct polynomials $j_i(k)$ of degree $i$ with positive integer coefficients satisfying equations: $k + j_{2 \ell}(k) + 1 = k [a_\ell k^\ell + \dots + a_1 k + a_0]^2 +1 = (k+1) [b_\ell k^\ell + \dots + b_1 k + b_0]^2$ and \newline $k + j_{2\ell+1}(k) + 1 = k(k+1) [a_\ell k^\ell + \dots + a_1 k + a_0]^2 + 1 = [b_{\ell+1} k^{\ell+1}+b_\ell k^\ell + \dots + b_1 k + b_0]^2$ for some positive integer $\ell$ and some coefficients $a_i, b_j$, $i=0, \ldots, \ell, j=0, \ldots, \ell+1$. All the obtained pairs $(k, j_i(k))$ are square. We conjecture that the products of square triangular numbers and pairs $(k, j_i(k))$ cover all quadratic squares. Additionally, we identify pairs of intervals of successive integers with equal sums of squares.