polynomial
11422 papers tagged with this keyword
On partitions associated with elementary symmetric polynomials
Published
• View Publication
• BIB
The elementary symmetric partition function is a map on the set of partitions. It sends a partition lambda to the partition whose parts are the summands in the evaluation of the elementary symmetric function on the parts of lambda. These elementary symmetric partition functions have been studied before, and are related to plethysm. In this note, we study properties of the elementary symmetric partition functions, particularly related to injectivity and the number of parts appearing in their image partitions.
Zero-free regions for the independence polynomial on restricted graph classes
Published
• View Publication
• BIB
Generalising the Heilman-Lieb Theorem from statistical physics, Chudnovsky and Seymour [J. Combin. Theory Ser. B, 97(3):350--357] showed that the univariate independence polynomial of any claw-free graph has all of its zeros on the negative real line. In this paper, we show that for any fixed subdivded claw $H$ and any $Δ$, there is an open set $F \subseteq \mathbb{C}$ containing $[0, \infty)$ such that the independence polynomial of any $H$-free graph of maximum degree $Δ$ has all of its zeros outside of $F$. We also show that no such result can hold when $H$ is any graph other than a subdivided claw or if we drop the maximum degree condition.
We also establish zero-free regions for the multivariate independence polynomial of $H$-free graphs of bounded degree when $H$ is a subdivided claw. The statements of these results are more subtle, but are again best possible in various senses.
Zeros and Orthogonality of generalized Fibonacci polynomials
This paper analyzes the concept of orthogonality in second-order polynomial sequences that have Binet formula similar to that of the Fibonacci and Lucas numbers, referred to as Generalized Fibonacci Polynomials (GFP). We give a technique to find roots of the GFP. As a corollary of this result, we give an alternative proof of a special case of Favard's Theorem. The general case of Favard's Theorem guarantees that there is a measure to determine whether a sequence of second-order polynomials is orthogonal or not. However, the theorem does not provide an explicit such measure. Our special case gives both the explicit measure and the relationship between the second-order recurrence and orthogonality, demonstrating whether the GFP polynomials are orthogonal or not. This allows us to classify which of familiar GFPs are orthogonal and which are not. Some familiar orthogonal polynomials include the Fermat, Fermat-Lucas, both types of Chebyshev polynomials, both types of Morgan-Voyce polynomials, and Vieta and Vieta-Lucas polynomials. However, we prove that the Fibonacci, Lucas, Pell, and Pell-Lucas sequences are not orthogonal.
In Section \ref{sectionrw}, we give a brief description of discrete--time and continuous--time Morkov chains with special emphasis on birth-and-death stochastic processes.
We find sufficient conditions on the polynomial's coefficients under which a given family of orthogonal polynomial induces a Markov chain. These families of orthogonal polynomials include Chebyshev polynomials of first kind and Fermat-Lucas.
In the final section, we highlight some connections between orthogonal polynomials and Markov processes. These relations are not new but seem to have been somewhat forgotten. We do so to draw the attention of researchers in the orthogonal polynomial and probability communities for further collaboration.
Flow polytopes for extensions of bipartite graphs
The space of unit flows on a finite acyclic directed graph is a lattice polytope called the flow polytope of the graph. Given a bipartite graph $G$ with minimum degree at least two, we construct two associated acyclic directed graphs: the extension of $G$ and the almost-degree-whiskered graph of $G$. We prove that the normalized volume of the flow polytope for the extension of $G$ is equal to the number of matchings in the almost-degree-whiskered graph of $G$. Further, we refine this result by proving that the Ehrhart $h^*$-polynomial of the flow polytope for the extension of $G$ is equal to the unsigned matching polynomial of the almost-degree-whiskered graph of $G$.
Further Applications of Cubic $q$-Binomial Transformations
Published
• View Publication
• BIB
Consider \begin{align*} G(N,M;α,β,K,q) = \sum\limits_{j\in\mathbb{Z}}(-1)^jq^{\frac{1}{2}Kj((α+β)j+α-β)}\left[\begin{matrix}M+N\\N-Kj\end{matrix}\right]_{q}. \end{align*} In this paper, we prove the non-negativity of coefficients of some cases of $G(N,M;α,β,K,q)$. For instance, for non-negative integers $n$ and $t$, we prove that\\ \begin{align*} G\left(n,n;\frac{4}{3}+\frac{3(3^t-1)}{2},\frac{5}{3}+\frac{3(3^t-1)}{2},3^{t+1},q\right) \end{align*} and \begin{align*} G\left(n-\frac{3^t-1}{2},n+\frac{3^t+1}{2};\frac{8}{3}+2(3^t-1),\frac{4}{3}-(3^t-1),3^{t+1},q\right)\\ \end{align*} are polynomials in $q$ with non-negative coefficients. Using cubic positivity preserving transformations of Berkovich and Warnaar and some known formulae arising from Rogers-Szegö polynomials, we establish new identities such as\\ \begin{align*} \sum\limits_{0\le 3j\le n}\dfrac{(q^3;q^3)_{n-j-1}(1-q^{2n})q^{3j^2}}{(q;q)_{n-3j}(q^6;q^6)_{j}} = \sum\limits_{j=-\infty}^{\infty}(-1)^jq^{6j^2}{2n\brack n-3j}_q. \end{align*}
Advances in the Shannon Capacity of Graphs
Published
• View Publication
• BIB
We derive exact values and new bounds for the Shannon capacity of two families of graphs: the $q$-Kneser graphs and the tadpole graphs. We also construct a countably infinite family of connected graphs whose Shannon capacity is not attained by the independence number of any finite strong power. Building on recent work of Schrijver, we establish sufficient conditions under which the Shannon capacity of a polynomial in graphs, formed via disjoint unions and strong products, equals the corresponding polynomial of the individual capacities, thereby reducing the evaluation of such capacities to that of their components. Finally, we prove an inequality relating the Shannon capacities of the strong product of graphs and their disjoint union, which yields alternative proofs of several known bounds as well as new tightness conditions. In addition to contributing to the computation of the Shannon capacity of graphs, this paper is intended to serve as an accessible entry point to those wishing to work in this area.
Eigenvalue Bounds for Random Matrices via Zerofreeness
We introduce a new technique to prove bounds for the spectral radius of a random matrix, based on using Jensen's formula to establish the zerofreeness of the associated characteristic polynomial in a region of the complex plane. Our techniques are entirely non-asymptotic, and we instantiate it in three settings:
(i) The spectral radius of non-asymptotic Girko matrices -- these are asymmetric matrices $\mathbf{M} \in \mathbb{C}^{n \times n}$ whose entries are independent and satisfy $\mathbb{E} \mathbf{M}_{ij} = 0$ and $\mathbb{E} |\mathbf{M}_{ij}^2| \le \frac{1}{n}$.
(ii) The spectral radius of non-asymptotic Wigner matrices -- these are symmetric matrices $\mathbf{M} \in \mathbb{C}^{n \times n}$ whose entries above the diagonal are independent and satisfy $\mathbb{E} \mathbf{M}_{ij} = 0$, $\mathbb{E} |\mathbf{M}_{ij}^2| \le \frac{1}{n}$, and $\mathbb{E} |\mathbf{M}_{ij}^4| \le \frac{1}{n}$.
(iii) The second eigenvalue of the adjacency matrix of a random $d$-regular graph on $n$ vertices, as drawn from the configuration model.
In all three settings, we obtain constant-probability eigenvalue bounds that are tight up to a constant. Applied to specific random matrix ensembles, we recover classic bounds for Wigner matrices, as well as results of Bordenave--Chafaï--García-Zelada, Bordenave--Lelarge--Massoulié, and Friedman, up to constants.
On the multiplicity of matching polynomial roots and $θ$-critical graphs
The matching polynomial of a graph encodes rich combinatorial information through its roots. We determine the maximum multiplicity of a non-zero matching polynomial root and characterize all graphs attaining the bound. We also generalize the result to any fixed $θ$, where the graphs attaining the bound are related to $θ$-critical graphs. Inspired by these graphs, we give a constructive answer to Godsil's question. Finally, we show the existence of $1$-critical tree of order $n$ for all $n\ge 9$ and $1$-critical graph of order $n$ for all $n\ge 5$, and describe a method to construct $1$-critical graphs from existing ones.
The nonsymmetric shuffle theorem
The shuffle conjecture of Haglund et al. expresses the symmetric function $\nabla e_n$ as a sum over labeled Dyck paths. Here $\nabla$ is an operator on symmetric functions defined in terms of its diagonal action on the basis of modified Macdonald polynomials. The shuffle conjecture was later refined by Haglund-Morse-Zabrocki to the compositional shuffle conjecture, expressing $\nabla C_α$ as a sum over labeled Dyck paths with touchpoints specified by $α$, where $C_α$ is a compositional Hall-Littlewood polynomial. Carlsson-Mellit settled both versions by developing the theory of a variant of the DAHA called the double Dyck path algebra.
In a recent paper, we discovered a notion of nonsymmetric plethsym which led us to a construction of modified nonsymmetric Macdonald polynomials $\mathsf{H}_{η|λ}(\mathbf{x};q,t)$. These polynomials Weyl symmetrize to their symmetric counterparts and are conjecturally atom positive. Here we introduce a nonsymmetric version $\boldsymbol{\nabla}$ of $\nabla$, now acting diagonally on the basis given by the functions $\mathsf{H}_{η|λ}(\mathbf{x};q,t)$. Weaving together our theory with results of Carlsson-Mellit and Mellit, we establish a nonsymmetric version of the compositional shuffle theorem, which equates $\boldsymbol{\nabla}^{-1}$ applied to a nonsymmetric version $\mathsf{C}_α$ of $C_α$ with a sum over flagged labeled Dyck paths with touchpoints given by $α$. This combinatorial sum is conjecturally atom positive, refining the known Schur positivity of its symmetric counterpart.
Efficient graph similarity assessment method based on vectors of topological indices
Published
• View Publication
• BIB
Measuring similarity between complex objects is a fundamental task in many scientific fields. When objects are represented as graphs, graph similarity/distance measures offer a powerful framework for quantifying structural resemblance. Those comparative measures play a key role in domains such as network science, chemoinformatics, and social network analysis. While methods like graph edit distance and graph kernels are widely used, they can be computationally intensive or fail to capture fine structural variations, since they require graphs without any structural uncertainty. Another class of methods is based on using topological indices to encode structural information of the graphs, followed by the application of distance or similarity measures for real numbers to obtain corresponding graph-level metrics. In this paper, we introduce a novel class of distance/similarity measures which are based on multiple topological indices. Since they are generally computed in polynomial time, our method is computationally efficient in practice. We demonstrate its effectiveness through comparisons and show that it captures subtle structural information meaningfully. Additionally, we explore its applicability in two domains: analyzing random graph models in network theory and assessing molecular similarity among isomers in chemoinformatics. These preliminary results suggest that our approach holds promise for graph comparison across disciplines.
Planar ternary graphs, flag spheres, and Delannoy polynomials
Published
• View Publication
• BIB
In 2022 Kim showed when a graph $G$ is ternary (without induced cycles of length divisible by three), its independence complex $\text{Ind}(G)$ is either contractible or homotopy equivalent to a sphere. In this paper, we show that when $\text{Ind}(G)$ is homotopy equivalent to a sphere of dimension $\dim \text{Ind}(G)$, the complex is Gorenstein. Equivalently, $G$ is a $1$-well-covered graph. This answers a question by Faridi and Holleben.
We then focus on the independence complexes of Gorenstein planar ternary graphs. We prove that they are boundaries of vertex decomposable simplicial polytopes. We show that the transformations among these flag spheres using edge subdivisions and contractions can be modeled by the Hasse diagram of the partition refinement poset. In addition, their $h$-polynomials are products of Delannoy polynomials and thus real-rooted. Finally, we demonstrate a way to construct nonplanar Gorenstein ($1$-well-covered) ternary graphs from planar ones.
On the coefficients of interior and exterior polynomials of polymatroids
The Tutte polynomial is an important invariant of graphs and matroids. Chen and Guo \emph{[Adv. in Appl. Math. 166 (2025) 102868.]} proved that for a $(k+1)$-edge connected graph $G$ and for any $i$ with $0\leq i <\frac{3(k+1)}{2}$, $$[y^{g-i}]T_{G}(1,y)=\binom{|V(G)|+i-2}{i}-\sum_{j=0}^{i}\binom{|V(G)|+i-2-j}{i-j}|\mathcal{SC}_{j}(G)|,$$ where $g=|E(G)|-|V(G)|+1$, $\mathcal{SC}_{j}(G)$ is the set of all minimal edge cuts with $j$ edges, $T_{G}(x,y)$ is the Tutte polynomial of the graph $G$, and $[y^{g-i}]T_{G}(1,y)$ denotes the coefficient of $y^{g-i}$ in the polynomial $T_{G}(1,y)$. Recently, Ma, Guan and Jin \emph{[arXiv.2503.06095, 2025.]} generalized this result from graphs to matroids and obtained the dual result on coefficients of $T_M(x,1)$ of matroids $M$ at the same time. In 2013, as a generalization of $T_{G}(x,1)$ and $T_{G}(1,y)$ of graphs $G$ to hypergraphs, Kálmán \emph{[Adv. Math. 244 (2013) 823-873.]} introduced interior and exterior polynomials for connected hypergraphs. Chen and Guo posed a problem that can one generalize these results of graphs to interior and exterior polynomials of hypergraphs? In this paper, we solve it in the affirmative by obtaining results for more general polymatroids, which include the case of hypergraphs and also generalize the results of matroids due to Ma, Guan and Jin. As an application, the sequence consisting of these coefficients on polymatroids is proven to be unimodal, while the unimodality of the whole coefficients of matroids was obtained in 2018 by Adiprasito, Huh and Katz using Hodge theory.
On the D-finiteness of generating functions counting small steps walks in the quadrant
The enumeration of small steps walks confined to the first quadrant of the plane has attracted a lot of attention over the past fifteen years. The associated generating functions are trivariate formal power series in $x,y,t$ where the parameter $t$ encodes the length of the walk while the variables $x,y$ correspond to the coordinates of its ending point. These functions satisfy a functional equation in two catalytic variables.
Bousquet-Mélou and Mishna have associated to any small steps model an algebraic curve called the kernel curve and a group called the group of the walk. These two objects turned out to be central in the classification of small steps models. In a recent work, Dreyfus, Elvey Price, and Raschel prove that the group of the walk is finite if and only if the generating function is $D$-finite, that is, it satisfies a linear differential equation with polynomial coefficients in each of its variables $x,y,t$.
In this paper, we show that if the group of the walk is infinite, the generating function doesn't satisfy a linear differential equation in $x,y$ or $t$ over the field $\mathbb{Q}(x,y,t)$. The proof of Dreyfus, Elvey Price, and Raschel is based on some singularity analysis. Here, we propose a new strategy which relies essentially on the aforementioned functional equation and on algebraic arguments. This point of view sheds also a new light on the algebraic nature of the generating functions of small steps models since it relates their $D$-finiteness more directly to some geometric properties of the kernel curve.
Visibility Polynomial of Some Graph Classes
Published in Advances and Applications in Discrete Mathematics 43(2), (2026), 213-225
• View Publication
• BIB
Mutual visibility in graphs provides a framework for analysing how vertices can observe one another along shortest paths free of internal obstructions. The visibility polynomial, which enumerates mutual-visibility sets of all orders, has emerged as a central invariant in this study, with both theoretical significance and practical relevance in areas such as surveillance, target tracking, and distributed coordination. While computing this polynomial is computationally demanding, with known complexity $O(n^32^n)$, explicit characterizations for specific graph families yield valuable structural insights. In this paper, we characterize the mutual-visibility sets of several fundamental graph classes and derive closed-form expressions for their associated visibility polynomials. These results deepen the understanding of visibility-based invariants and expand the toolkit available for studying visibility phenomena in networks.
Generating functions of $q$-chromatic polynomials
Given a graph $G=(V,E)$ and a linear form $λ\in \mathbb{Z}_{ > 0 }^V$, Bajo et al. (2025) introduced the $q$-chromatic polynomial $χ_G^λ(q,n) := \sum q^{\sum_{v \in V} λ_v c(v)}$ where the sum is over all proper colorings $c: V \to [n] := \{ 1, 2, \dots, n \}$; they showed that $χ_G^λ(q,n)$ is a polynomial in $[n]_q := 1 + q + \dots + q^{ n-1 } $ with coefficients in $\mathbb{Z}(q)$. For $d \in \mathbb{Z}_{>0}$ and the linear form given by $(d,d^2,\ldots,d^d)$, we show that the $q$-chromatic polynomial distinguishes labeled graphs with vertex set $[d]$. Using permutation statistics introduced by Chung--Graham (1995), called $G$-statistics, and polyhedral geometry, we give the multivariate integer point transform for the region of proper colorings of a given graph $G$. This integer point transform allows us to find the generating function for the $q$-chromatic polynomial with respect to any linear form. We further specialize these results to the linear form $(1, 1, \dots, 1)$, which allows us to write the $q$-chromatic polynomial in the $q$-binomial basis, clarifying expressions found by Bajo et al. Moreover, we show that $G$-statistics are compatible with the theory of order polytopes used by Bajo et al. and Chow (1999). This yields further properties for the generating function of $q$-chromatic polynomial with linear form $(1, 1, \dots, 1)$, where certain coefficients of the numerator polynomial are palindromic polynomials in $q$.
Bigraded Polynomials for the Cohomology of Wild Hitchin Systems
We introduce a bi-graded polynomial that encodes the cohomology groups of the wild Hitchin system of type~$A_{n-1}$, constructed using an irregular singularity (determined by an integer~$m$) and an arbitrary regular singularity~$f$. When the regular singularity is of the form~$f = [1, \ldots, 1]$, the bi-graded polynomial~$C_{m,n}(q,t)$ coincides with the bigraded rational parking function defined combinatorially, admitting a Schur expansion~$C_{m,n}(q,t) = \sum_λf_λ(q,t) s_λ(x)$. For general~$f$, the polynomial takes the form~$C^f_{m,n}(q,t) = \sum_λf_λ(q,t) K_{λf}$, where~$K_{λf}$ denotes the Kostka number. We conjecture that this bi-graded polynomial agrees with the one arising from the perverse filtration of the Hitchin fibration, or equivalently, from the weight filtration of the mixed Hodge structure from the character variety. We also give a description by using the geometry of affine Springer fiber.}
A recurrence for certain Tutte polynomials
We combinatorially prove a new recurrence between the Tutte polynomials of graphs obtained by contraction of the complete graphs $K_{n}$%. This generalizes, to two variables, a relation previously obtained by the author between the inversion enumerator polynomials in the colored tree sequences.
A weak Lehmer code for type $F_4$
We show that, despite the Poincaré polynomial of $F_4$ is a product of $q$-analogues, the Bruhat order of $F_4$ does not admit a product of chains as subposet. This answers negatively, in this type, a question by Billey, Fan and Losonczy. In other words, we show that Lehmer codes for type $F_4$ do not exist. Nevertheless, by introducing weak Lehmer codes, we construct explicitly multicomplexes and Lehmer complexes for any lower Bruhat interval in type $F_4$.
A weak regularity lemma for polynomials
A regularity lemma for polynomials provides a decomposition in terms of a bounded number of approximately independent polynomials. Such regularity lemmas play an important role in numerous results, yet suffer from the familiar shortcoming of having tower-type bounds or worse. In this paper we design a new, weaker regularity lemma with strong bounds. The new regularity lemma in particular provides means to quantitatively study the curves contained in the image of a polynomial map, which is beyond the reach of standard methods.
Applications include strong bounds for a problem of Karam on generalized rank, as well as a new method to obtain upper bounds for fan-in parameters in arithmetic circuits. For example, we show that if the image of a polynomial map $\mathbf{P} \colon \mathbb{F}^n \to \mathbb{F}^m$ of degree $d$ does not contain a line, then $\mathbf{P}$ can be computed by a depth-$4$ arithmetic formula with bottom fan-in at most $d/2$ and top fan-in at most $(2m)^{C(d)}$ (with $C(d)=2^{(1+o(1))d}$). One implication of our work is a certain ``barrier'' to arithmetic circuit lower bounds, in terms of the smallest degree of a polynomial curve contained in the image of the given polynomial map.
The clock theorem for knotoids and linkoids
In this paper, we generalize the \textit{Clock Theorem} of Formal Knot Theory to knotoids in $S^2$. The clock theorem implies that clock states of a knotoid diagram form a lattice under transpositions. These states form the basis of many invariants of knotoids and linkoids including the Alexander polynomial, Mock Alexander polynomial and the Jones polynomial.