polynomial
11184 papers tagged with this keyword
Combinatorics behind discriminants of polynomial systems
In the 1970s, Kouchnirenko, Bernstein, and Khovanskii noticed that the geometry of a generic system of polynomial equations is determined by the geometry of its Newton polytopes. In the 1990s, Gelfand, Kapranov, Zelevinsky, and Sturmfels extended this observation to discriminants and resultants of generic polynomials. Particularly, well-known open questions about the irreducibility of discriminants and sets of solutions of such systems lead to questions about the corresponding geometric property of tuples of polytopes: Minkowski linear independence. To address these questions, we encode Minkowski linear independence into a finite matroid and characterize its bases, circuits, and cyclics. The obtained combinatorial results are used in the subsequent work to describe components of discriminants for generic square polynomial systems.
Colored base-3 partitions, sequences of polynomials, and perfect numbers
Motivated by the observation that the counting function of a certain base-3 colored partition contains the even perfect numbers as a subsequence, we begin by defining a sequence of polynomials in four variables and discuss their properties and combinatorial interpretations. We then concentrate on certain subsequences that are related to the Chebyshev polynomials of both kinds. Finally, we consider several sequences of single-variable polynomials that have meaningful combinatorial interpretations as well as interesting zero distributions.
The ratio monotonicity of Eulerian-type polynomials
This paper is motivated by determining the location of modes of some unimodal Eulerian-type polynomials. The notion of ratio monotonicity was introduced by Chen-Xia when they investigated the $q$-derangement numbers. Let $(f_n(x))_{n\geqslant 0}$ be a sequence of real polynomials satisfying the Eulerian-type recurrence relation $$f_{n+1}(x)=(anx+bx+c)f_n(x)+ax(1-x)\frac{\mathrm{d}}{\mathrm{d}x}f_n(x),~f_0(x)=1,$$ where $a,b$ and $c$ are nonnegative integers. Assume that $deg f_n(x)=n$. Setting $g_n(x)=x^nf_n\left(\frac{1}{x}\right)$, we have $$g_{n+1}(x)=(anx+b+cx)g_n(x)+ax(1-x)\frac{\mathrm{d}}{\mathrm{d}x}g_n(x),$$ We find that if $a+c\geqslant b\geqslant c>0$, then $f_n(x)$ is bi-gamma-positive and $g_n(x)$ is ratio monotone. As applications, we discover the ratio monotonicity of several Eulerian-type polynomials, including the $(exc,cyc)$ $q$-Eulerian polynomials, the $1/k$-Eulerian polynomials, a kind of generalized Eulerian polynomials studied by Carlitz-Scoville, the $(des_B,neg)$ $q$-Eulerian polynomials over the hyperoctahedral group and the $r$-colored Eulerian polynomials. In particular, let $A_n(x,q)$ be the $(exc,cyc)$ $q$-Eulerian polynomials, we find that the polynomials $x^{n-1}A_n(1/x,q)$ are ratio monotone when $0<q\leqslant 1$, while $A_n(x,q)$ are ratio monotone when $1\leqslant q\leqslant 2$.
From small eigenvalues to large cuts, and Chowla's cosine problem
We prove that every graph with average degree $d$ and smallest adjacency eigenvalue $|λ_n|\leq d^γ$ contains a clique of size $d^{1-O(γ)}$. A simple corollary of this yields the first polynomial bound for Chowla's cosine problem (1965): for every finite set $A\subseteq \mathbb{Z}_{>0}$, the minimum of the cosine polynomial satisfies $$\min_{x\in [0, 2π]}\sum_{a\in A}\cos(ax)\leq -|A|^{1/10-o(1)}.$$
Another application makes significant progress on the problem of MaxCut in $H$-free graphs initiated by Erdős and Lovász in the 1970's. We show that every $m$-edge graph with no clique of size $m^{1/2-δ}$ has a cut of size at least $m/2+m^{1/2+\varepsilon}$ for some $\varepsilon=\varepsilon(δ)>0$.
Hybrid pipe dreams for the lower-upper scheme
In [KU23] were introduced hybrid pipe dreams interpolating between classic and bumpless pipe dreams, each hybridization giving a different formula for double Schubert polynomials. A bijective proof was given (following [GH23]) of the independence of hybridization, but only for nonequivariant Schubert polynomials. In this paper we further generalize to hybrid generic pipe dreams, replacing the bijective proof of hybridization-independence with a Yang-Baxter-based proof that allows one to maintain equivariance. An additional YB-based proof establishes a divided-difference type recurrence for these generic pipe dream polynomials. These polynomials compute something richer than double Schubert polynomials, namely the equivariant classes of the lower-upper varieties introduced in [Knu05]. We give two proofs of this: the easier being a proof that the recurrence relation holds on those classes, the more difficult being a degeneration of the lower-upper variety to a union of quadratic complete intersections (plus, possibly, some embedded components) whose individual classes match those of the generic pipe dreams. One new feature of the generic situation is a definition of the "flux" through an edge of the matrix; the notion of pipe dream itself can then be derived from the equalities among the fluxes.
On the Characteristic polynomial of ABS Matrix and ABS-Energy of Some Graphs
For a graph $G$ with $n$ vertices and $m$ edges, Lin \textit{et al.} \cite{Lin} define the \textit{atom--bond sum-connectivity} ($ABS$) matrix of $G$ such that the $(i,j)^{\text{th}}$ entry is \[ \sqrt{1 - \frac{2}{d_i + d_j}} \] if vertex $v_i$ is adjacent to the vertex $v_j$, and $0$ otherwise. In this article, we determine the characteristic polynomial of the $ABS$ matrix for certain specific classes of graphs. Furthermore, we compute the $ABS$ eigenvalues and the $ABS$ energy for these classes.
Algorithmic Polynomial Freiman-Ruzsa Theorems
We prove algorithmic versions of the polynomial Freiman-Ruzsa theorem of Gowers, Green, Manners, and Tao (Annals of Mathematics, 2025) in additive combinatorics. In particular, we give classical and quantum polynomial-time algorithms that, for $A \subseteq \mathbb{F}_2^n$ with doubling constant $K$, learn an explicit description of a subspace $V \subseteq \mathbb{F}_2^n$ of size $|V| \leq |A|$ such that $A$ can be covered by $K^C$ translates of $V$, for a universal constant $C>1$.
On the coefficients of Coxeter polynomials of trees and bipartite quivers
We apply spectral graph theory and a theorem of A'Campo to express the first and second coefficients of the Coxeter polynomials associated with certain bipartite quivers in terms of the degrees of the vertices in their underlying graphs. As a consequence, we provide a new proof of a result by Happel, expressing the second coefficient of the Coxeter polynomial of a tree in terms of its vertex degrees.
Constricting the Computational Complexity Gap of the $4$-Coloring Problem in $(P_t,C_3)$-free Graphs
The $k$-Coloring problem on hereditary graph classes has been a deeply researched problem over the last decade. A hereditary graph class is characterized by a (possibly infinite) list of minimal forbidden induced subgraphs. We say that a graph is $(H_1,H_2,\ldots)$-free if it does not contain any of $H_1,H_2,\ldots$ as induced subgraphs. The complexity landscape of the problem remains unclear even when restricting to the case $k=4$ and classes defined by a few forbidden induced subgraphs. While the case of only one forbidden induced subgraph has been completely resolved lately, the complexity when considering two forbidden induced subgraphs still has a couple of unknown cases. In particular, $4$-Coloring on $(P_6,C_3)$-free graphs is polynomial while it is NP-hard on $(P_{22},C_3)$-free graphs.
We provide a reduction showing NP-completeness of $4$-Coloring on $(P_t,C_3)$-free graphs for $19\leq t\leq 21$, thus constricting the gap of cases whose complexity remains unknown. Our proof includes a computer search ensuring that the graph family obtained through the reduction is indeed $P_{19}$-free.
A bi-Stirling-Euler-Mahonian polynomial
Motivated by recent work on (re)mixed Eulerian numbers, we provide a combinatorial interpretation of a subfamily of the remixed Eulerian numbers introduced by Nadeau and Tewari. More specifically, we show that these numbers can be realized as the generating polynomials of permutations with respect to the statistics of left-to-right minima, right-to-left minima, descents, and the mixed major index. Our results generalize both the bi-Stirling-Eulerian polynomials of Carlitz-Scoville and the Stirling-Euler-Mahonian polynomials of Butler.
Visibility polynomial of corona of two graphs
In multiagent systems, effective coordination, coverage, and communication often rely on the concept of visibility between agents or nodes within the system. Graph-theoretically, for any subset $X$ of vertices of a graph $G$, two vertices are said to be $X$-visible if there exists a shortest path between them that contains no vertex of $X$ as an internal vertex. In this paper, we investigate the visibility polynomial associated with the corona product of two graphs. The visibility polynomial encodes the number of mutual-visibility sets of all orders within a graph, and the process of enumerating these sets provides a deeper understanding of their structural properties. We characterize the structure of mutual-visibility sets arising specifically within the corona product. As part of this study, we introduce the notion of $C_Q$-visible sets, defined with respect to a selected subset $Q$ of vertices in a graph $G$. A $C_Q$-visible set is a collection of vertices in $\overline{Q}$ that is not only $Q$-visible, but also individually visible from each vertex in $Q$. Using this concept, we establish several characterizations and properties of mutual-visibility sets within the corona product, thereby providing deeper insights into their structure and behavior.
Combinatorial Aspects of Weighted Free Poisson Random Variables
Published in Infin. Dimens. Anal. Quantum Probab. Relat. Top., Vol. 27, No. 3 (2024) 2450001
• Search Publication
This paper will be devoted to study weighted (deformed) free Poisson random variables from the viewpoint of orthogonal polynomials and statistics of non-crossing partitions. A family of weighted (deformed) free Poisson random variables will be defined in a sense by the sum of weighted (deformed) free creation, annihilation, scalar, and intermediate operators with certain parameters on a weighted (deformed) free Fock space together with the vacuum expectation. We shall provide a combinatorial moment formula of non-commutative Poisson random variables. This formula gives us a very nice combinatorial interpretation to two parameters of weights. One can see that the deformation treated in this paper interpolates free and boolean Poisson random variables, their distributions and moments, and yields some conditionally free Poisson distribution by taking limit of the parameter.
Binomial edge ideals of Cameron-Walker graphs
Let $G$ be a Cameron--Walker graph on $n$ vertices and $J_G$ the binomial edge ideal of $G$. Let $S$ denote the polynomial ring in $2n$ variables over a field. It is shown that the following conditions are equivalent: (i) $S/J_G$ is Cohen--Macaulay; (ii) $J_G$ is unmixed; (iii) $\dim (S/J_G) = n+1$; (iv) (a) $n = 3$ and $G$ is a path of length $2$ or (b) $n = 5$ and $G$ is a path of length $4$ or (c) $n=5$ and $G$ is obtained by attaching a path of length $2$ to a triangle. Moreover, the depth of $S/J_G$ is computed for a class of Cameron--Walker graphs, called minimal dense Cameron--Walker graphs. As an application, it is proved that finite graphs $G$ with $\depth(S/J_G)=6$ can have any number of vertices~$n\geq 6$. Finally, it is shown that given integers $t,n$ with $6\leq t\leq n+1$, there exists a finite connected graph $G$ with $\depth (S/J_G)=t$.
Degree-similar graphs and cospectral graphs
Let $G$ be a graph with adjacency matrix $A(G)$ and degree matrix $D(G)$, and let $L_μ(G):=A(G)-μD(G)$. Two graphs $G_1$ and $G_2$ are called \emph{degree-similar} if there exists an invertible matrix $M$ such that $M^{-1} A(G_1) M =A(G_2)$ and $M^{-1} D(G_1) M =D(G_2)$. In this paper, we address three problems concerning degree-similar graphs proposed by Godsil and Sun. First, we present a new characterization of degree-similar graphs using degree partition, from which we derive methods and examples for constructing cospectral graphs and degree-similar graphs. Second, we construct infinite pairs of non-degree-similar trees $G_1$ and $G_2$ such that $tI- L_μ(G_1)$ and $tI-L_μ(G_2)$ have the same Smith normal form over $\Q(μ)[t]$, which provides a negative answer to a problem posed by Godsil and Sun. Third, we establish several invariants of degree-similar graphs and obtain results on unicyclic graphs that are degree-similar determined. Lastly we prove that for a strongly regular graph $G$ and any two edges $e$ and $f$ of $G$, $G \backslash e$ and $G \backslash f$ have identical $μ$-polynomial, i.e., $\det(tI-L_μ(G \backslash e))=\det(tI-L_μ(G \backslash f))$, which enables the construction of pairs of non-isomorphic graphs with same $μ$-polynomial, where $G \backslash e$ denotes the graph obtained from $G$ by deleting the edge $e$.
Polynomiality of the Striling coefficients of $c(\mathrm{Pol}^d(\mathbb{C}^n))$ and Fano schemes
We prove that the $d$-dependence of $c(\mathrm{Pol}^d(\mathbb{C}^n))$, the Chern class of the $\mathrm{GL}(n)$-representation of degree $d$ homogeneous polynomials in $n$ complex variables is polynomial. We also study the asymptotics of the polynomial $d$-dependence of this Chern class. We apply these results to solve a conjecture of Manivel on the degree of varieties of hypersurfaces containing linear subspaces. We also prove new formulas for the degree and Euler characteristics of Fano schemes of lines for generic hypersurfaces.
To prove the polynomial dependence of $c(\mathrm{Pol}^d(\mathbb{C}^n))$ we introduce the notion of Striling coefficients. This can be considered as a generalization of Stirling numbers. We express the Stirling coefficients in terms of specializations of monomial symmetric polynomials so we can deduce their polynomiality and, in certain cases, their asymptotic behaviour.
Density Characterization with The Upper Bound of Density of Fibonacci Word
This paper investigates the natural density and structural relationships within Fibonacci words, the density of a Fibonacci word is $\operatorname{DF}(F_k)=n/(n+m),$ where $m$ denote the number of zeros in a Fibonacci word and $n$ denote the units digit. Through analysis of these ratios and their convergence to powers of $\varphi$, we illustrate the intrinsic exponential growth rates characteristic of Fibonacci words. By considering the natural density concept for sets of positive integers, it is demonstrated that the density of Fibonacci words approaches unity, correlating with classical results on Fibonacci number distributions as \[ \operatorname{DF}(F_k) <\frac{m(m+1)}{n(2m-n+1)}. \] Furthermore, generating functions and combinatorial formulas for general terms of Fibonacci words are derived, linking polynomial expressions and limit behaviors integral to their combinatorial structure. The study is supplemented by numerical data and graphical visualization, confirming theoretical findings and providing insights into the early transient and asymptotic behavior of Fibonacci word densities.
Distance-based (and path-based) covering problems for graphs of given cyclomatic number
Published in Discrete Mathematics 348(11):114595, 2025
• View Publication
• BIB
We study a large family of graph covering problems, whose definitions rely on distances, for graphs of bounded cyclomatic number (that is, the minimum number of edges that need to be removed from the graph to destroy all cycles). These problems include (but are not restricted to) three families of problems: (i) variants of metric dimension, where one wants to choose a small set $S$ of vertices of the graph such that every vertex is uniquely determined by its ordered vector of distances to the vertices of $S$; (ii) variants of geodetic sets, where one wants to select a small set $S$ of vertices such that any vertex lies on some shortest path between two vertices of $S$; (iii) variants of path covers, where one wants to select a small set of paths such that every vertex or edge belongs to one of the paths. We generalize and/or improve previous results in the area which show that the optimal values for these problems can be upper-bounded by a linear function of the cyclomatic number and the degree~1-vertices of the graph. To this end, we develop and enhance a technique recently introduced in [C. Lu, Q. Ye, C. Zhu. Algorithmic aspect on the minimum (weighted) doubly resolving set problem of graphs, Journal of Combinatorial Optimization 44:2029--2039, 2022] and give near-optimal bounds in several cases. This solves (in some cases fully, in some cases partially) some conjectures and open questions from the literature. The method, based on breadth-first search, is of algorithmic nature and thus, all the constructions can be computed in linear time. Our results also imply an algorithmic consequence for the computation of the optimal solutions: for some of the problems, they can be computed in polynomial time for graphs of bounded cyclomatic number.
Weighted Ehrhart functions
Published in Bol. Soc. Mat. Mexicana 32 (2026), Paper No. 13, 17 pp
• View Publication
• BIB
We give an algorithm to compute weighted Ehrhart functions of lattice polytopes for polynomial weights using Lagrange interpolation. We show how to compute generating functions of polynomials using those of unit cubes and Eulerian numbers, and use integer programming to study the algebraic properties of the Ehrhart ring of the $d$-th unit cube. Then we show some applications to weighted Ehrhart functions and enumeration problems.
Finite $N$ precursors of the free cumulants
We study $\mathrm{U}(N)$ invariant polynomials on the space of $N\times N$ matrices first introduced by Capitaine and Casalis, that are precursors of free cumulants in various respects. First, they are polynomials of deterministic matrices, that are not yet evaluated over some probability law, contrary to what is usually meant by cumulants. Secondly, they converge towards the algebraic expression of free cumulants in terms of moments as $N\to \infty$, with $1/N^2$ corrections expressed in terms of monotone Hurwitz numbers. Their most crucial property is their additivity with respect to averaging over sums of $\mathrm{U}(N)$ conjugacy orbits, providing a finite $N$ version of the well-known additivity of free cumulants in free probability. Finally, they extend several properties of free cumulants at finite $N$, including a Wick rule for their average over a Gaussian weight and their appearance in various matrix integrals. Building on the additivity property of these precursors, we also define and compute a coproduct describing the behaviour of general invariant polynomials with respect to the addition of $\mathrm{U}(N)$ conjugacy orbits, as well as their expectation values on sums of $\mathrm{U}(N)$-invariant random matrices. In our construction, a central role is played by the so-called HCIZ integral, both for the definition of the precursors and for the derivation of their properties.
Combinatorial proof of a permuted basement Macdonald polynomial identity
A well-known and fundamental property of the Macdonald polynomials $P_λ(x;q,t)$ is their invariance under the transformation sending $(q,t)$ to $(q^{-1},t^{-1})$. Recently, Concha and Lapointe showed that this property extends in an interesting, nontrivial way to an identity for partially symmetric Macdonald polynomials. Their identity played a key role in the work of Bechtloff Weising and Orr linking partially symmetric Macdonald polynomials to parabolic flag Hilbert schemes. In this paper, we refine the Concha-Lapointe identity to a sub-family of Alexandersson's permuted basement Macdonald polynomials and give a combinatorial proof of the refined identity. We show also that the Concha-Lapointe identity is equivalent to the assertion that (normalized) partially symmetric Macdonald polynomials are fixed under the Kazhdan-Lusztig involution.