polynomial
11422 papers tagged with this keyword
Planar Graphs with Ore-degree at Most seven is strongly $13$-edge-colorable
Published
• View Publication
• BIB
A strong edge-coloring of a graph $G$ is a coloring of edges of $G$ such that every color class forms an induced matching. The strong chromatic index is the minimum number of colors needed to color the graph. The Ore-degree $θ(G)$ of a graph $G$ is the maximum sum of degrees of adjacent vertices. We show that every planar graph $G$ with $θ(G)\le 7$ has strong chromatic index at most $13$. This settles a conjecture of Chen et al in the planar case. We use a discharging method, and apply Combinatorial Nullstellensatz to show reducible configurations. We provide an algorithm to allow Combinatorial Nullstellansatz extracting coefficients from large polynomials.
$q$-analogues of $π$-formulas due to Ramanujan and Guillera
Published
• View Publication
• BIB
The first known $q$-analogues for any of the $17$ formulas for $\frac{1}π$ due to Ramanujan were introduced in 2018 by Guo and Liu (J. Difference Equ. Appl. 29:505-513, 2018), via the $q$-Wilf-Zeilberger method. Through a "normalization" method, which we refer to as EKHAD-normalization, based on the $q$-polynomial coefficients involved in first-order difference equations obtained from the $q$-version of Zeilberger's algorithm, we introduce $q$-WZ pairs that extend WZ pairs introduced by Guillera (Adv. in Appl. Math. 29:599-603, 2002) (Ramanujan J. 11:41-48, 2006). We apply our EKHAD-normalization method to prove four new $q$-analogues for three of Ramanujan's formulas for $\frac{1}π$ along with $q$-analogues of Guillera's first two series for $\frac{1}{π^2}$. Our normalization method does not seem to have been previously considered in any equivalent way in relation to $q$-series, and this is substantiated through our survey on previously known $q$-analogues of Ramanujan-type series for $\frac{1}π$ and of Guillera's series for $\frac{1}{π^2}$. We conclude by showing how our method can be adapted to further extend Guillera's WZ pairs by introducing hypergeometric expansions for $\frac{1}{π^2}$.
Partition Functions and Kurepa Decomposition I: Algebraic computation and some physical Applications
This paper examines the algebraic features of notable polynomial functions and explores their combinatorial aspects by presenting precise decompositions in terms of Dobinski numbers, Bell numbers, and moments generating functions. Additionally, a new equivalence to the Kurepa factorial is developed to help investigate the Kurepa conjecture. In conclusion, we examine several physical phenomena related to Kurepa factorials, occupation number, Fermi-Dirac and Bose-Einstein distributions while exploring their algebraic characteristics.
Finite biorthogonal M matrix polynomials
Published
• View Publication
• BIB
This paper provides a finite pair of biorthogonal matrix polynomials and their finite biorthogonality, several recurrence relations, matrix differential equation, generating function and integral representation.
Some power series extensions of Fibonacci and Lucas polynomials
We study formal power series which can be interpreted as interpolations of Fibonacci and Lucas polynomials with even (or odd) indices.
Capturing an Invisible Robber using Separators
Published
• View Publication
• BIB
We study the zero-visibility cops and robbers game, where the robber is invisible to the cops until they are caught. This differs from the classic game where full information about the robber's location is known at any time. A previously known solution for capturing a robber in the zero-visibility case is based on the pathwidth decomposition. We provide an alternative solution based on a separation hierarchy, improving capture time and space complexity without asymptotically increasing the zero-visibility cop number in most cases. In addition, we provide a better bound on the approximate zero-visibility cop number for various classes of graphs, where approximate refers to the restriction to polynomial time computable strategies.
Color-avoiding connected colorings and orientations
We study network robustness under correlated failures modeled by colors, where each color represents a class of edges or vertices that may fail simultaneously. An edge-colored graph is said to be edge-color-avoiding $k$-edge-connected if it remains $k$-edge-connected after the removal of all edges of any single color. We characterize the graphs that admit such a coloring and show that, when $k = 1$, one can determine in polynomial time both the minimum number of colors required and a coloring achieving it; while the problem becomes NP-hard for $k \ge 2$. We also investigate the problem of orienting the edges of a graph so that the resulting digraph remains strongly or rooted connected even after the removal of all arcs of any single color. In addition, we explore generalizations involving vertex-colorings, $k$-vertex-connectivity, simultaneous failures of multiple colors and matroids.
Vertex-ordering and arc-partitioning problems
We study vertex-ordering problems in loop-free digraphs subject to constraints on the left-going arcs, focusing on existence conditions and computational complexity. As an intriguing special case, we explore vertex-specific lower and upper bounds on the left-outdegrees and right-indegrees. We show, for example, that deciding whether the left-going arcs can form an in-branching is solvable in polynomial time and provide a necessary and sufficient condition, while the analogous problem for an in-arborescence turns out to be NP-complete. We also consider a weighted variant that enforces vertex-specific lower and upper bounds on the weighted left-outdegrees, which is particularly relevant in applications. Furthermore, we investigate the connection between ordering problems and their arc-partitioning counterparts, where one seeks to partition the arcs into a subgraph from a specific digraph family and an acyclic subgraph -- equivalently, one seeks to cover all directed cycles with a subgraph belonging to a specific family. For the family of in-branchings, unions of disjoint dipaths, and matchings, the two formulations coincide, whereas for in-arborescences, dipaths, Hamiltonian dipaths, and perfect matchings the formulations diverge. Our results yield a comprehensive complexity landscape, unify diverse special cases and variants, clarify the algorithmic boundaries of ordered digraphs, and relate them to broader topics including graph degeneracy, acyclic orientations, influence propagation, and rank aggregation.
Polynomial bounds for the Chowla Cosine Problem
Let $A\subset \mathbf{N}$ be a finite set of $n=|A|$ positive integers, and consider the cosine sum $f_A(x)=\sum_{a\in A}\cos ax$. We prove that $$\min_x f_A(x)\leqslant -n^{ 1/7-o(1)},$$ thereby establishing polynomial bounds for the Chowla cosine problem.
Hyperpfaffian Correlations for Beta-Ensembles: Beta an Even Square Integer
We give a hyperpfaffian formulation for correlation functions in $β$-ensembles of $M \times M$ random matrices when $β= L^2$ is an even square integer. More specifically, to the $m$th correlation function $R_m : \R^m \rightarrow [0, \infty)$ we associate the $L$-vector valued function $ω_m : \R^m \rightarrow Λ^L \R^{L(M-m)}$ such that $R_m(\mathbf y)$ is given by the Vandermonde determinant in $y_1, \ldots, y_M$ times the hyperpfaffian of $ω_m.$ The partition function of the ensemble was previously shown to be the hyperpfaffian of a {\it Gram} $L$-form $ω$ in $Λ^L \R^{LM},$ and we demonstrate the relationship between $ω_m(\mathbf y)$ and $ω$, both having coefficients built from integrals of Wronskians of monic polynomials. Assuming the existence of families of polynomials sympathetic with the weight of the ensemble, we may construct $ω(\mathbf y)$ so it is very sparse (relative to the expected ${L(M-m) \choose L}$ coefficients of a general $L$-vector). These generalize skew-orthogonal polynomials arising in the well-understood $β= 4$ situation. Finally we explore the situation in the circular $β= L^2$ ensembles. Here the monomials give a prototype, and we give explicit formulas for (the circular versions of) $ω$ and $ω_m.$ We use our hyperpfaffian framework to produce exact formulas for the two point function when $β= 16$ for small values $M.$ Along the way we will record hyperpfaffian evaluations using known values of partition functions of $β$-ensembles.
Stabilizers and NIP arithmetic regularity
We give a new proof of the NIP arithmetic regularity lemma for finite groups (due to the authors and Pillay), which describes the approximate structure of "NIP sets" in finite groups, i.e., subsets whose collection of left translates has bounded VC-dimension. Our new proof avoids sophisticated ingredients from the model theory of NIP formulas (e.g., Borel definability and generic compact domination). The key tool is an elaboration on an elementary lemma due to Alon, Fox, and Zhao concerning the behavior of subgroups contained in stabilizers. We adapt this lemma to arbitrary subsets of stabilizers using technical (but elementary) maneuvers based on work of Sisask. Using another trick from Alon, Fox, and Zhao, we then give an effective proof of a related result of the first author and Pillay on finite NIP sets of bounded tripling in arbitrary groups. Along the way, we show that NIP sets satisfy a strong form of the Polynomial Bogolyubov-Ruzsa Conjecture.
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.