polynomial
11184 papers tagged with this keyword
Polynomial graph invariants induced from the ${\mathfrak gl}$-weight system
Published
• View Publication
• BIB
Weight systems are functions on chord diagrams satisfying so-called Vassiliev's $4$-term relations. They are closely related to finite type knot invariants introduced by Vassiliev.
Certain weight systems can be derived from graph invariants. Another main source of weight systems are Lie algebras. In recent papers, the weight systems associated to Lie algebras ${\mathfrak gl}(N)$ were unified in a universal ${\mathfrak gl}$-weight system, which takes values in the ring of polynomials in infinitely many variables. The unification has been achieved by extending the ${\mathfrak gl}(N)$-weight systems from chord diagrams to arbitrary permutations.
A natural question then arises, namely, which already known weight systems can be obtained from the universal ${\mathfrak gl}$ weight system. In addition to understanding the internal relationship between weight systems, knowing that a given weight system can be induced from the ${\mathfrak gl}$-weight system would immediately lead to extending the former to arbitrary permutations.
To each chord diagram, one can associate a graph, called the intersection graph of the chord diagram. Certain weight systems are completely determined by the intersection graphs. In general, the relationship between Lie algebra weight systems and polynomial graph invariants looks rather complicated.
Our main result in the present paper consists in showing that the well-known graph and delta-matroid invariant, the interlace polynomial, can be induced from the universal ${\mathfrak gl}$-weight system. We provide an explicit substitution making the ${\mathfrak gl}$-weight system into the interlace polynomial for chord diagrams and their intersection graphs.
Total Matching and Subdeterminants
Published
• View Publication
• BIB
In the total matching problem, one is given a graph $G$ with weights on the vertices and edges. The goal is to find a maximum weight set of vertices and edges that is the non-incident union of a stable set and a matching.
We consider the natural formulation of the problem as an integer program (IP), with variables corresponding to vertices and edges. Let $M = M(G)$ denote the constraint matrix of this IP. We define $Δ(G)$ as the maximum absolute value of the determinant of a square submatrix of $M$.
We show that the total matching problem can be solved in strongly polynomial time provided $Δ(G) \leq Δ$ for some constant $Δ\in \mathbb{Z}_{\ge 1}$. We also show that the problem of computing $Δ(G)$ admits an FPT algorithm. We also establish further results on $Δ(G)$ when $G$ is a forest.
On some discrete statistics of parking functions
Recall that $α=(a_1,a_2,\ldots,a_n)\in[n]^n$ is a parking function if its nondecreasing rearrangement $β=(b_1,b_2,\ldots,b_n)$ satisfies $b_i\leq i$ for all $1\leq i\leq n$. In this article, we study parking functions based on their ascents (indices at which $a_i<a_{i+1}$), descents (indices at which $a_i>a_{i+1}$), and ties (indices at which $a_i=a_{i+1}$). By utilizing multiset Eulerian polynomials, we give a generating function for the number of parking functions of length $n$ with $i$ descents. We present a recursive formula for the number of parking functions of length $n$ with descents at a specified subset of $[n-1]$. We establish that the number of parking functions of length $n$ with descents at $I\subset[n-1]$ and descents at $J=\{n-i:i\in I\}$ are equinumerous. As a special case, we show that the number of parking functions of length $n$ with descents at the first $k$ indices is given by $f(n, n-k-1)=\frac{1}{n}\binom{n}{k}\binom{2n-k}{n-k-1}$. We prove this by bijecting to the set of standard Young tableaux of shape $((n-k)^2,1^k)$, which are enumerated by $f(n,n-k-1)$. We also study peaks of parking functions, which are indices at which $a_{i-1}<a_i>a_{i+1}$. We show that the set of parking functions with no peaks and no ties is enumerated by the Catalan numbers. We conclude our study by characterizing when a parking function is uniquely determined by their statistic encoding; a word indicating what indices in the parking function are ascents, descents, and ties. We provide open problems throughout.
A parking function interpretation for $(-1)^{k}\nabla m_{2^{k}1^{l}}$
Published in J. Algebr. Comb. Volume 61, article number 45 (2025)
• View Publication
• BIB
Haglund, Morse, and Zabrocki introduced a family of creation operators of Hall-Littlewood polynomials, $\{C_{a}\}$ for any $a\in \mathbb{Z}$, in their compositional refinement of the shuffle (ex-)conjecture. For any $α\vDash n$, the combinatorial formula for $\nabla C_α$ is a weighted sum of parking functions. These summations can be converted to a weighted sum of certain LLT polynomials. Thus $\nabla C_α$ is Schur positive since Grojnowski and Haiman proved that all LLT polynomials are Schur positive. In this paper, we obtain a recursion that implies the $C$-positivity of $(-1)^{k} m_{2^{k}1^{l}}$, and hence prove the Schur positivity of $(-1)^{k}\nabla m_{2^{k}1^{l}}$. As a corollary, a parking function interpretation for $(-1)^{k}\nabla m_{2^{k}1^{l}}$ is obtained by using the compositional shuffle theorem of Carlsson and Mellit.
Universal polynomials for tropical refined invariants in genus 0
In 2022, Brugall{é} and Jaramillo-Puentes showed that the coefficients of small codegree of the tropical refined invariant are polynomial in the Newton polygon. This raised the question of the existence of universal polynomials giving these coefficients, i.e. polynomials depending only on the genus and the codegree, and with variables the combinatorial data of the Newton polygon.In this paper we show that such universal polynomials exist for rational enumeration, and we give an explicit formula. The proof relies on the manipulation of floor diagrams.
A classification of permutation binomials of the form $x^i+ax$ over $\mathbb{F}_{2^n}$ for dimensions up to 8
Published
• View Publication
• BIB
Permutation polynomials with few terms (especially permutation binomials) attract many people due to their simple algebraic structure. Despite the great interests in the study of permutation binomials, a complete characterization of permutation binomials is still unknown. In this paper, we give a classification of permutation binomials of the form $x^i+ax$ over $\mathbb{F}_{2^n}$, where $n\leq 8$ by characterizing three new classes of permutation binomials. In particular one of them has relatively large index $\frac{q^2+q+1}{3}$ over $\mathbb{F}_{q^3}$.
Tighter List-Size Bounds for List-Decoding and Recovery of Folded Reed-Solomon and Multiplicity Codes
Published
• View Publication
• BIB
Folded Reed-Solomon (FRS) and univariate multiplicity codes are prominent polynomial codes over finite fields, renowned for achieving list decoding capacity. These codes have found a wide range of applications beyond the traditional scope of coding theory. In this paper, we introduce improved bounds on the list size for list decoding of these codes, achieved through a more streamlined proof method. Additionally, we refine an existing randomized algorithm to output the codewords on the list, enhancing its success probability and reducing its running time. Lastly, we establish list-size bounds for a fixed decoding parameter. Notably, our results demonstrate that FRS codes asymptotically attain the generalized Singleton bound for a list of size $2$ over a relatively small alphabet, marking the first explicit instance of a code with this property.
Bounds and extremal graphs for the energy of complex unit gain graphs
Published
• View Publication
• BIB
A complex unit gain graph ($ \mathbb{T} $-gain graph), $ Φ=(G, \varphi) $ is a graph where the gain function $ \varphi $ assigns a unit complex number to each orientation of an edge of $ G $ and its inverse is assigned to the opposite orientation. The associated adjacency matrix $ A(Φ) $ is defined canonically. The energy $ \mathcal{E}(Φ) $ of a $ \mathbb{T} $-gain graph $ Φ$ is the sum of the absolute values of all eigenvalues of $ A(Φ) $. For any connected triangle-free $ \mathbb{T} $-gain graph $ Φ$ with the minimum vertex degree $ δ$, we establish a lower bound $ \mathcal{E}(Φ)\geq 2δ$ and characterize the equality. Then, we present a relationship between the characteristic and the matching polynomial of $ Φ$. Using this, we obtain an upper bound for the energy $ \mathcal{E}(Φ)\leq 2μ\sqrt{2Δ_e+1} $ and characterize the classes of graphs for which the bound sharp, where $ μ$ and $ Δ_e$ are the matching number and the maximum edge degree of $ Φ$, respectively. Further, for any unicyclic graph $ G $, we study the gains for which the gain energy $ \mathcal{E}(Φ) $ attains the maximum/minimum among all $ \mathbb{T} $-gain graphs defined on $G$.
Chevalley formulae for the motivic Chern classes of Schubert cells and for the stable envelopes
Published
• View Publication
• BIB
We prove a Chevalley formula to multiply the motivic Chern classes of Schubert cells in a generalized flag manifold $G/P$ by the class of any line bundle $\mathcal{L}_λ$. Our formula is given in terms of the $λ$-chains of Lenart and Postnikov. Its proof relies on a change of basis formula in the affine Hecke algebra due to Ram, and on the Hecke algebra action on torus-equivariant K-theory of the complete flag manifold $G/B$ via left Demazure--Lusztig operators. We revisit some wall-crossing formulae for the stable envelopes in $T^*(G/B)$. We use our Chevalley formula, and the equivalence between motivic Chern classes of Schubert cells and K-theoretic stable envelopes in $T^*(G/B)$, to give formulae for the change of polarization, and for the change of slope for stable envelopes. We prove several additional applications, including Serre, star, and Dynkin, dualities of the Chevalley coefficients, new formulae for the Whittaker functions, and for the Hall--Littlewood polynomials. We also discuss positivity properties of Chevalley coefficients, and properties of the coefficients arising from multiplication by minuscule weights.
On the complexity of Cayley graphs on a dihedral group
Published
• View Publication
• BIB
In this paper, we investigate the complexity of an infinite family of Cayley graphs $\mathcal{D}_{n}=Cay(\mathbb{D}_{n}, b^{\pmβ_1},b^{\pmβ_2},\ldots,b^{\pmβ_s}, a b^{γ_1}, a b^{γ_2},\ldots, a b^{γ_t} )$ on the dihedral group $\mathbb{D}_{n}=\langle a,b| a^2=1, b^n=1,(a\,b)^2=1\rangle$ of order $2n.$
We obtain a closed formula for the number $τ(n)$ of spanning trees in $\mathcal{D}_{n}$ in terms of Chebyshev polynomials, investigate some arithmetical properties of this function, and find its asymptotics as $n\to\infty.$ Moreover, we show that the generating function $F(x)=\sum\limits_{n=1}^\inftyτ(n)x^n$ is a rational function with integer coefficients.
Stanley decompositions of modules of covariants
Let $H$ be a complex reductive group, with finite-dimensional representations $W$ and $U$. The module of covariants for $W$ of type $U$ is the space of all $H$-equivariant polynomial maps $\varphi: W \longrightarrow U$. In this paper, we take $H$ to be one of the classical groups $\operatorname{GL}(V)$, $\operatorname{O}(V)$, or $\operatorname{Sp}(V)$, where $W$ is a direct sum of copies of $V$ and $V^*$, and $U$ is an arbitrary rational representation (with $U$ restricted to exterior powers of $V$ in the $H= \operatorname{O}(V)$ case). Our main result gives uniform Stanley decompositions of these modules of covariants, with Stanley spaces parametrized by combinatorial objects we call jellyfish. As a corollary, we write down the Hilbert series as a finite sum of rational functions, each with a combinatorial interpretation in terms of lattice paths. Notably, these results do not rely on the module being Cohen-Macaulay. We further apply our methods to invariant rings for $\operatorname{SL}(V)$ and $\operatorname{SO}(V)$. Our proofs (for $H = \operatorname{GL}(V)$ and $\operatorname{Sp}(V)$) rely on previous work by Jackson on standard monomial theory for dual reductive pairs, since classical modules of covariants can be viewed via Howe duality as Harish-Chandra modules of unitary highest weight representations of a certain real reductive group. As a first step toward extending this program to arbitrary unitary highest weight representations (including those of the exceptional groups), we establish analogous results uniformly for the Wallach representations of type ADE.
A Graph-Theoretic Approach to Ring Analysis: Dominant Metric Dimensions in Zero-Divisor Graphs
Published
• View Publication
• BIB
This article investigates the concept of dominant metric dimensions in zero divisor graphs (ZD-graphs) associated with rings. Consider a finite commutative ring with unity, denoted as R, where nonzero elements x and y are identified as zero divisors if their product results in zero (x.y=0). The set of zero divisors in ring R is referred to as L(R). To analyze various algebraic properties of R, a graph known as the zero-divisor graph is constructed using L(R). This manuscript establishes specific general bounds for the dominant metric dimension (Ddim) concerning the ZD-graph of R. To achieve this objective, we examine the zero divisor graphs for specific rings, such as the ring of Gaussian integers modulo m, denoted as Zm[i], the ring of integers modulo n, denoted as Zn, and some quotient polynomial rings. Additionally, we present a general result outlining bounds for the dominant metric dimension expressed in terms of the maximum degree, girth, clique number, and diameter of the associated ZD-graphs. Finally, we provide insights into commutative rings that share identical metric dimensions and dominant metric dimensions. This exploration contributes to a deeper understanding of the structural characteristics of ZD-graphs and their implications for the algebraic properties of commutative rings.
Polynomial Reconstruction Problem for Hypergraphs
Published
• View Publication
• BIB
We show that, in general, the characteristic polynomial of a hypergraph is not determined by its ``polynomial deck'', the multiset of characteristic polynomials of its vertex-deleted subgraphs, thus settling the ``polynomial reconstruction problem'' for hypergraphs in the negative. The proof proceeds by showing that a construction due to Kocay of an infinite family of pairs of $3$-uniform hypergraphs which are non-isomorphic but share the same hypergraph deck, in fact, have different characteristic polynomials. The question remain unresolved for ordinary graphs.
Induced subgraph density. VI. Bounded VC-dimension
Published
• View Publication
• BIB
We confirm a conjecture of Fox, Pach, and Suk, that for every $d>0$, there exists $c>0$ such that every $n$-vertex graph of VC-dimension at most $d$ has a clique or stable set of size at least $n^c$. This implies that, in the language of model theory, every graph definable in NIP structures has a clique or anti-clique of polynomial size, settling a conjecture of Chernikov, Starchenko, and Thomas.
Our result also implies that every two-colourable tournament satisfies the tournament version of the Erdős-Hajnal conjecture, which completes the verification of the conjecture for six-vertex tournaments. The result extends to uniform hypergraphs of bounded VC-dimension as well.
The proof method uses the ultra-strong regularity lemma for graphs of bounded VC-dimension proved by Lovász and Szegedy and the method of iterative sparsification introduced by the authors in an earlier paper.
Bialternant formula for Schur polynomials with repeating variables
Published in Linear and Multilinear Algebra, 1-35 (2025)
• View Publication
• BIB
We consider polynomials of the form $\operatorname{s}_λ(y_1^{[\varkappa_1]},\ldots,y_n^{[\varkappa_n]})$, where $λ$ is an integer partition, $\operatorname{s}_λ$ is the Schur polynomial associated to $λ$, and $y_j^{[\varkappa_j]}$ denotes $y_j$ repeated $\varkappa_j$ times. We represent $\operatorname{s}_λ(y_1^{[\varkappa_1]},\ldots,y_n^{[\varkappa_n]})$ as a quotient whose the denominator is the determinant of the confluent Vandermonde matrix, and the numerator is the determinant of some generalized confluent Vandermonde matrix. We give three algebraic proofs of this formula.
Primed decomposition tableaux and extended queer crystals
Published in Algebras and Representation Theory 28 (2025), 445-482
• View Publication
• BIB
Our previous work introduced a category of extended queer crystals, whose connected normal objects have unique highest weight elements and characters that are Schur $Q$-polynomials. The initial models for such crystals were based on semistandard shifted tableaux. Here, we introduce a simpler construction using certain "primed" decomposition tableaux, which slightly generalize the decomposition tableaux used in work of Grantcharov et al. This leads to a new, shorter proof of the highest weight properties of the normal subcategory of extended queer crystals. Along the way, we analyze a primed extension of Grantcharov et al.'s insertion scheme for decomposition tableaux.
Iterated Entropy Derivatives and Binary Entropy Inequalities
Published
• View Publication
• BIB
We embark on a systematic study of the $(k+1)$-th derivative of $x^{k-r}H(x^r)$, where $H(x):=-x\log x-(1-x)\log(1-x)$ is the binary entropy and $k>r\geq 1$ are integers. Our motivation is the conjectural entropy inequality $α_k H(x^k)\geq x^{k-1}H(x)$, where $0<α_k<1$ is given by a functional equation. The $k=2$ case was the key technical tool driving recent breakthroughs on the union-closed sets conjecture. We express $ \frac{d^{k+1}}{dx^{k+1}}x^{k-r}H(x^r)$ as a rational function, an infinite series, and a sum over generalized Stirling numbers. This allows us to reduce the proof of the entropy inequality for real $k$ to showing that an associated polynomial has only two real roots in the interval $(0,1)$, which also allows us to prove the inequality for fractional exponents such as $k=3/2$. The proof suggests a new framework for proving tight inequalities for the sum of polynomials times the logarithms of polynomials, which converts the inequality into a statement about the real roots of a simpler associated polynomial.
Classification of tight $2s$-designs with $s \geq 2$
Tight $2 s$-designs are the $2 s$-$(v, k, λ)$ designs whose sizes achieve the Fisher type lower bound ${v \choose s}$. Symmetric $2$-designs, the Witt $4$-$(23, 7, 1)$ design and the Witt $4$-$(23, 16, 52)$ design are tight designs. It has been widely conjectured since 1970s that there are no other nontrivial tight designs. In this paper, we give a proof of this conjecture. In the proof, an upper bound $v \ll s$ is shown by analyzing the parameters of the designs and the coefficients of the Wilson polynomials, and a lower bound $v \gg s (\ln s)^2$ is shown by using estimates on prime gaps.
Sandpiles on the Vicsek fractal explode with probability 1/4
Published
• View Publication
• BIB
Vicsek fractal graphs are an important class of infinite graphs with self similar properties, polynomial growth and treelike features, on which several dynamical processes such as random walks or Abelian sandpiles can be rigorously analyzed and one can obtain explicit closed form expressions. While such processes on Vicsek fractals and on Euclidean lattices $\mathbb{Z}^2$ share some properties for instance in the recurrence behaviour, many quantities related to sandpiles on Euclidean lattices are still poorly understood. The current work focuses on the stabilization and explosion of Abelian sandpiles on Vicsek fractal graphs, and we prove that a sandpile sampled from the infinite volume limit plus one additional particle stabilizes with probability 3/4, that is, it does not stabilize almost surely and it explodes with the complementary probability 1/4. We prove the main result by using two different approaches: one of probabilistic nature and one of algebraic flavor. The first approach is based on investigating the particles sent to the boundary of finite volumes and showing that their number stays above four with positive probability. In the second approach we relate the question of stabilization and explosion of sandpiles in infinite volume to the order of elements of the sandpile group on finite approximations of the infinite Vicsek graph. The method applies to more general state spaces and by employing it we also find all invariant factors of the sandpile groups on the finite approximations of the infinite Vicsek fractal.
Spanning trees for many different numbers of leaves
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:3, Graph Theory (November 18, 2024) dmtcs:13116
• View Publication
• BIB
Let $G$ be a connected graph and $L(G)$ the set of all integers $k$ such that $G$ contains a spanning tree with exactly $k$ leaves. We show that for a connected graph $G$, the set $L(G)$ is contiguous. It follows from work of Chen, Ren, and Shan that every connected and locally connected $n$-vertex graph -- this includes triangulations -- has a spanning tree with at least $n/2 + 1$ leaves, so by a classic theorem of Whitney and our result, in any plane $4$-connected $n$-vertex triangulation one can find for any integer $k$ which is at least $2$ and at most $n/2 + 1$ a spanning tree with exactly $k$ leaves (and each of these trees can be constructed in polynomial time). We also prove that there exist infinitely many $n$ such that there is a plane $4$-connected $n$-vertex triangulation containing a spanning tree with $2n/3$ leaves, but no spanning tree with more than $2n/3$ leaves.