polynomial
11570 papers tagged with this keyword
An unconditional lower bound for the active-set method in convex quadratic maximization
Published
• View Publication
• BIB
We prove that the active-set method needs an exponential number of iterations in the worst-case to maximize a convex quadratic function subject to linear constraints, regardless of the pivot rule used. This substantially improves over the best previously known lower bound [IPCO 2025], which needs objective functions of polynomial degrees $ω(\log d)$ in dimension $d$, to a bound using a convex polynomial of degree 2. In particular, our result firmly resolves the open question [IPCO 2025] of whether a constant degree suffices, and it represents significant progress towards linear objectives, where the active-set method coincides with the simplex method and a lower bound for all pivot rules would constitute a major breakthrough.
Our result is based on a novel extended formulation, recursively constructed using deformed products. Its key feature is that it projects onto a polygonal approximation of a parabola while preserving all of its exponentially many vertices. We define a quadratic objective that forces the active-set method to follow the parabolic boundary of this projection, without allowing any shortcuts along chords corresponding to edges of its full-dimensional preimage.
Twists, Higher Dimer Covers, and Web Duality for Grassmannian Cluster Algebras
Published
• View Publication
• BIB
We study a twisted version of Fraser, Lam, and Le's higher boundary measurement map, using face weights instead of edge weights, thereby providing Laurent polynomial expansions, in Plücker coordinates, for twisted web immanants for Grassmannians. In some small cases, Fraser, Lam, and Le observe a phenomenon they call "web duality'', where web immanants coincide with web invariants, and they conjecture that this duality corresponds to transposing the standard Young tableaux that index basis webs. We show that this duality continues to hold for a large set of $\text{SL}_3$ and $\text{SL}_4$ webs. Combining this with our twisted higher boundary measurement map, we recover and extend formulas of Elkin-Musiker-Wright for twists of certain cluster variables. We also provide evidence supporting conjectures of Fomin-Pylyavskyy as well as one by Cheung-Dechant-He-Heyes-Hirst-Li concerning classification of cluster variables of low Plücker degree in $\mathbb{C}[\text{Gr}(3,n)]$.
Distribution of the roots of Eulerian polynomials
Published
• View Publication
• BIB
We give a new proof that the empirical measures of the roots of Eulerian polynomials converge to a certain log-Cauchy distribution. To do so, we show that each moment of the roots of a related family of polynomials not only converge, but in fact become ultimately constant. These asymptotic moments are expressed in terms of Cauchy numbers of the second kind.
The Complexity of Color-constrained Paths in Semicomplete Multipartite Digraphs
Published
• View Publication
• BIB
Every semicomplete multipartite digraph contains a quasi-Hamiltonian path, but the problem of finding a quasi-Hamiltonian path with prescribed start and end vertex is NP-complete even when restricted to semicomplete multipartite digraphs with independence number exactly 3. Bang-Jensen, Wang and Yeo (arXiv 2024) showed that deciding the presence of a quasi-Hamiltonian cycle which does not contain at least one vertex from each color class is NP-complete. Similarly, deciding the presence of a quasi-Hamiltonian cycle which intersects every part exactly once is also NP-complete as shown in the same work.
In this paper, we continue the study of paths with constraints on the number of covered vertices from each color class. We consider the problem of finding a path with prescribed start and end vertex that contains at least $a$ and at most $b$ vertices from each color class where all color classes have size exactly $α$. This unifies the Hamiltonian path problem, the quasi-Hamiltonian path problem and the path-version of the cycle problems mentioned above, among other problems. Using Schaefer's dichotomy theorem, we classify the complexity of almost all problems in our framework. Notable open problems are the Hamiltonian path problem on semicomplete multipartite digraphs as well as the quasi-Hamiltonian path problem restricted to semicomplete multipartite digraphs with independence number 2.
We then investigate the quasi-Hamiltonian path problem restricted to semicomplete multipartite digraphs with independence number 2. We generalize sufficient criteria for Hamiltonian $(s,t)$-paths in semicomplete digraphs to sufficient criteria for quasi-Hamiltonian $(s,t)$-paths in this class. Although this does not settle the problem, the initial results suggest that this special case may be solvable in polynomial time.
On the edge reconstruction of the second immanantal polynomials of undirected graph and digraph
Let $M=(m_{ij})$ be an $n\times n$ matrix. The second immanant of matrix $M$ is defined by \begin{eqnarray*} d_{2}(M)=\sum_{σ\in S_{n}}χ_{2}(σ)\prod_{s=1}^{n}m_{sσ(s)}, \end{eqnarray*} where $χ_{2}$ is the irreducible character of $S_{n}$ corresponding to the partition $(2^{1},1^{n-2})$. The polynomial $d_{2}(xI-M)$ is called the second immanantal polynomial of matrix $M$. Denote by $D(G)$ (resp. $D(\overrightarrow{G})$) and $A(G)$ (resp. $A(\overrightarrow{G})$) the diagonal matrix of vertex degrees and the adjacency matrix of undirected graph $G$ (resp. digraph $\overrightarrow{G}$), respectively. In this article, we prove that $d_{2}(xI-A(G))$ (resp. $d_{2}(xI-A(\overrightarrow{G}))$) can be reconstructed from the second immanantal polynomials of the adjacency matrix of all subgraphs in $\{G-uv,G-u-v|uv\in E(G)\}$ (resp. $\{\overrightarrow{G}-e|e\in E(\overrightarrow{G})\}$). Furthermore, the polynomial $d_{2}(xI-D(\overrightarrow{G})\pm A(\overrightarrow{G}))$ can also be reconstructed by the second immanantal polynomials of the (signless) Laplacian matrixs of all subgraphs in $\{\overrightarrow{G}-e|e\in E(\overrightarrow{G})\}$, respectively.
Spectral Theory of Hypergraphs: A Survey
Hypergraphs require higher-dimensional representations, which makes it more difficult to compute and interpret their spectral properties. This survey article uses the framework of hypermatrices to give an in-depth overview of the spectral theory of hypergraphs. Our focus in this article relies on the theoretical aspects of hypergraphs that help to ease the computational methods. Spectral theory hypergraphs, one of the most advanced fields of study, are constantly finding novel applications in various domains such as theoretical computer science, quantum physics, and theoretical chemistry, among many others. We start our journey by introducing hypergraphs, hypermatrices (tensors), resultants, and their properties. We outline some of the results used to determine the adjacency spectrum of hypergraphs and go over some of the groundbreaking findings in the development of the theory. On passing through a list of bounds for the spectral radius of uniform hypergraphs, we will have a look into the spectral versions of Turán-type problems in hypergraphs. Finally, in addition to the Estrada index of hypergraphs, some significant results related to the characteristic polynomial and its relationship with the matching polynomial are presented.
Some short notes on oriented line graphs and related matrices
Oriented line graph, introduced by Kotani and Sunada (2000), is closely related to Hashimato's non-backtracking matrix (1989). It is known that for regular graphs $G$, the eigenvalues of the adjacency matrix of the oriented line graph $\vec{L}(G)$ of $G$ are the reciprocals of the poles of the Ihara zeta function of $G$. We determine the characteristic polynomial of the $z$-Hermitian adjacency matrix of $\vec{L}(G)$ for each $z\in \mathbb{C}$ and $d$-regular graph $G$ with $d\geq 3$. Special cases of this matrix include the Hermitian adjacency matrix of $\vec{L}(G)$ and the adjacency matrix of the underlying undirected graph of $\vec{L}(G)$. We also exhibit an application to star coloring of graphs.
Exercises for A Hyper-Catalan Series Solution to Polynomial Equations, and the Geode
We present exercises with solutions related to A Hyper-Catalan Series Solution to Polynomial Equations, and the Geode.
Kernelization for list $H$-coloring for graphs with small vertex cover
Published
• View Publication
• BIB
For a fixed graph $H$, in the List $H$-Coloring problem, we are given a graph $G$ along with list $L(v) \subseteq V(H)$ for every $v \in V(G)$, and we have to determine if there exists a list homomorphism $\varphi$ from $(G,L)$ to $H$, i.e., an edge preserving mapping $\varphi: V(G)\to V(H)$ that satisfies $\varphi(v)\in L(v)$ for every $v\in V(G)$. Note that if $H$ is the complete graph on $q$ vertices, the problem is equivalent to List $q$-Coloring. We investigate the kernelization properties of List $H$-Coloring parameterized by the vertex cover number of $G$: given an instance $(G,L)$ and a vertex cover of $G$ of size $k$, can we reduce $(G,L)$ to an equivalent instance $(G',L')$ of List $H$-Coloring where the size of $G'$ is bounded by a low-degree polynomial $p(k)$ in $k$? This question has been investigated previously by Jansen and Pieterse [Algorithmica 2019], who provided an upper bound, which turns out to be optimal if $H$ is a complete graph, i.e., for List $q$-Coloring. This result was one of the first applications of the method of kernelization via bounded-degree polynomials. We define two new integral graph invariants, $c^*(H)$ and $d^*(H)$, with $d^*(H) \leq c^*(H) \leq d^*(H)+1$, and show that for every graph $H$, List $H$-Coloring
-- has a kernel with $\mathcal{O}(k^{c^*(H)})$ vertices,
-- admits no kernel of size $\mathcal{O}(k^{d^*(H)-\varepsilon})$ for any $\varepsilon > 0$, unless the polynomial hierarchy collapses.
-- Furthermore, if $c^*(H) > d^*(H)$, then there is a kernel with $\mathcal{O}(k^{c^*(H)-\varepsilon})$ vertices where $\varepsilon \geq 2^{1-c^*(H)}$.
Additionally, we show that for some classes of graphs, including powers of cycles and graphs $H$ where $Δ(H) \leq c^*(H)$ (which in particular includes cliques), the bound $d^*(H)$ is tight, using the polynomial method. We conjecture that this holds in general.
Quasimodular forms arising from Jacobi's theta function and special symmetric polynomials
Published
• View Publication
• BIB
Ramanujan derived a sequence of even weight $2n$ quasimodular forms $U_{2n}(q)$ from derivatives of Jacobi's weight $3/2$ theta function. Using the generating function for this sequence, one can construct sequences of quasimodular forms of all nonnegative integer weights with minimal input: a weight 1 modular form and a power series $F(X)$. Using the weight 1 form $θ(q)^2$ and $F(X)=\exp(X/2)$, we obtain a sequence $\{Y_n(q)\}$ of weight $n$ quasimodular forms on $Γ_0(4)$ whose symmetric function avatars $\widetilde{Y}_n(\pmb{x}^k)$ are the symmetric polynomials $T_n(\pmb{x}^k)$ that arise naturally in the study of syzygies of numerical semigroups. With this information, we settle two conjectures about the $T_n(\pmb{x}^k).$ Finally, we note that these polynomials are systematically given in terms of the Borel-Hirzebruch $\widehat{A}$-genus for spin manifolds, where one identifies power sum symmetric functions $p_i$ with Pontryagin classes.
Characterization of matchable sets and subspaces via Dyson transforms
Published
• View Publication
• BIB
A matching from a finite subset $A$ of an abelian group $G$ to another subset $B$ is a bijection $f : A \to B$ such that $af(a) \notin A$ for all $a \in A$. The study of matchings began in the 1990s and was motivated by a conjecture of E. K. Wakeford on canonical forms for homogeneous polynomials. The theory was later extended to the linear setting of vector subspaces over field extensions, and then to matroids. In this paper, we investigate the existence and structure of matchings in both abelian groups and field extensions. Using Dyson's $e$-transform, a tool from additive combinatorics, along with a linear analogue which is introduced in this paper, we establish characterization theorems for matchable sets and subspaces. Several applications are given to demonstrate the effectiveness of these theorems as standalone tools. Throughout, we highlight the parallels between the group-theoretic and linear perspectives.
Vogel's universality and Macdonald dimensions
Published in Nucl. Phys. B 1018, 117085 (2025)
• View Publication
• BIB
We discuss algebraic universality in the sense of P. Vogel for the simplest refined quantity, the Macdonald dimensions. The main known source of universal quantities is given by Chern-Simons theory. Refinement of Chern-Simons theory means introducing additional parameters. At the level of symmetric functions, the refinement is the transition from the Schur functions to the Macdonald polynomials. We consider the Macdonald polynomials associated with the simple Lie algebras, define Macdonald dimensions and dual Macdonald dimensions, and present a universal formula for them that unifies these quantities for algebras associated with simply laced root systems. We also consider mixed Macdonald dimensions that depend on two different root systems.
Inversions Tableaux
We introduce inversions tableaux, a new combinatorial model for Schubert polynomials and Stanley symmetric functions that directly specializes to semi-standard Young tableaux in the Grassmannian case. They are a modification of the balanced staircase tableaux of Edelman and Greene. We explicitly describe inversions tableaux that correspond to the lexicographically minimal and maximal monomials in each Schubert polynomial and characterize the unique inversions tableau for dominant permutations. We also characterize the action of generalized chute moves on inversions tableaux, and establish related background that will be used to prove Rubey's chute moves conjecture in upcoming work.
Lower bounds for mask polynomials with many cyclotomic divisors
Published
• View Publication
• BIB
Given a nonempty set $A \subset \mathbb{N}\cup\{0\}$, define the mask polynomial $A(X)=\sum_{a\in A} X^a$. Suppose that there are $s_1,\dots,s_k\in\nn\setminus\{1\}$ such that the cyclotomic polynomials $Φ_{s_1},\dots,Φ_{s_k}$ divide $A(X)$. What is the smallest possible size of $A$? For $k=1$, this was answered by Lam and Leung in 2000. Less is known about the case when $k\geq 2$; in particular, one may ask whether (similarly to the $k=1$ case) the optimal configurations have a simple ``fibered" structure on each scale involved. We prove that this is true in a number of special cases, but false in general, even if further strong structural assumptions are added. Results of this type are expected to have a broad range of applications, including Favard length of product Cantor sets, Fuglede's spectral set conjecture, and the Coven-Meyerowitz conjecture on integer tilings.
Symplectic Hecke eigenbases from Ehrhart polynomials
For $n\in\mathbb{N}$ and $\ell\in\{0,1,\dots,n\}$, we consider the function extracting the $\ell$th coefficient of the Ehrhart polynomials of lattice polytopes in $\mathbb{R}^n$. These functions form a basis of the space of unimodular invariant valuations. We show that, in even dimensions, these functions are in fact simultaneous symplectic Hecke eigenfunctions. We leverage this and apply the theory of spherical functions and their associated zeta functions to prove analytic, asymptotic, and combinatorial results about the arithmetic functions averaging $\ell$th Ehrhart coefficients.
An Alon-Boppana--type bound for very dense graphs, with applications to max-cut
For any $ε> 0$, we show that if $G$ is a regular graph on $n \gg_ε1$ vertices that is $ε$-far (differs by at least $εn^2$ edges) from any Turán graph, then its second eigenvalue $λ_2$ satisfies $$λ_2 \geq n^{1/4 - ε}.$$ The exponent $1/4$ is optimal. Our result generalizes an analogous bound, independently obtained by Balla, Räty -- Sudakov-Tomon, and Ihringer, which only applies to graphs with density at most $\frac{1}{2}$. Up to a lower-order factor, this confirms a conjecture of Räty, Sudakov and Tomon. Our spectral approach has interesting applications to max-cut. First, we show that if a graph $G$, on $n \gg_ε1$ vertices and $m$ edges, is $ε$-far from a disjoint union of cliques, then it has a max-cut of size at least $$\frac{m}{2} + n^{1.01}.$$ Our result improves upon a classical result of Edwards by a non-trivial polynomial factor, making progress towards another conjecture of Räty, Sudakov and Tomon. As another application of our method, we show that if a graph $G$ is $H$-free and has $m$ edges, then $G$ has a max-cut of size at least $$\frac{m}{2} + c_H m^{0.5001}$$ where $c_H > 0$ is some constant depending on $H$ only. This result makes progress towards a conjecture of Alon, Bollobás, Krivelevich and Sudakov, and answers recent questions by Glock-Janzer-Sudakov and Balla-Janzer-Sudakov.
Computing the probability of intersection
Published
• View Publication
• BIB
Let $Ω_1, \ldots, Ω_m$ be probability spaces, let $Ω=Ω_1 \times \cdots \times Ω_m$ be their product and let $A_1, \ldots, A_n \subset Ω$ be events. Suppose that each event $A_i$ depends on $r_i$ coordinates of a point $x \in Ω$, $x=\left(ξ_1, \ldots, ξ_m\right)$, and that for each event $A_i$ there are $Δ_i$ of other events $A_j$ that depend on some of the coordinates that $A_i$ depends on. Let $Δ=\max\{5,\ Δ_i: i=1, \ldots, n\}$ and let $μ_i=\min\{r_i,\ Δ_i+1\}$ for $i=1, \ldots, n$. We prove that if $P(A_i) < (3Δ)^{-3μ_i}$ for all $i$, then for any $0 < ε< 1$, the probability $P\left( \bigcap_{i=1}^n \overline{A}_i\right)$ of the intersection of the complements of all $A_i$ can be computed within relative error $ε$ in polynomial time from the probabilities $P\left(A_{i_1} \cap \ldots \cap A_{i_k}\right)$ of $k$-wise intersections of the events $A_i$ for $k = e^{O(Δ)} \ln (n/ε)$.
A Fast Coloring Oracle for Average Case Hypergraphs
Hypergraph $2$-colorability is one of the classical NP-hard problems. Person and Schacht [SODA'09] designed a deterministic algorithm whose expected running time is polynomial over a uniformly chosen $2$-colorable $3$-uniform hypergraph. Lee, Molla, and Nagle recently extended this to $k$-uniform hypergraphs for all $k\geq 3$. Both papers relied heavily on the regularity lemma, hence their analysis was involved and their running time hid tower-type constants.
Our first result in this paper is a new simple and elementary deterministic $2$-coloring algorithm that reproves the theorems of Person-Schacht and Lee-Molla-Nagle while avoiding the use of the regularity lemma. We also show how to turn our new algorithm into a randomized one with average expected running time of only $O(n)$.
Our second and main result gives what we consider to be the ultimate evidence of just how easy it is to find a $2$-coloring of an average $2$-colorable hypergraph. We define a coloring oracle to be an algorithm which, given vertex $v$, assigns color red/blue to $v$ while inspecting as few edges as possible, so that the answers to any sequence of queries to the oracle are consistent with a single legal $2$-coloring of the input. Surprisingly, we show that there is a coloring oracle that, on average, can answer every vertex query in time $O(1)$.
Polynomial-to-exponential transition in 3-uniform Ramsey numbers
Let $r_k(s, e; t)$ denote the smallest $N$ such that any red/blue edge coloring of the complete $k$-uniform hypergraph on $N$ vertices contains either $e$ red edges among some $s$ vertices, or a blue clique of size $t$. Erd\H os and Hajnal introduced the study of this Ramsey number in 1972 and conjectured that for fixed $s>k\geq 3$, there is a well defined value $h_k(s)$ such that $r_k(s, h_k(s)-1; t)$ is polynomial in $t$, while $r_k(s, h_k(s); t)$ is exponential in a power of $t$. Erd\H os later offered \$500 for a proof. Conlon, Fox, and Sudakov proved the conjecture for $k=3$ and $3$-adically special values of $s$, and Mubayi and Razborov proved it for $s > k \geq 4$. We prove the conjecture for $k=3$ and all $s$, settling all remaining cases of the problem. We do this by solving a novel Turán-type problem: what is the maximum number of edges in an $n$-vertex $3$-uniform hypergraph in which all tight components are tripartite? We show that the balanced iterated blowup of an edge is an exact extremizer for this problem for all $n$.
Fibonacci, Lucas, and Spread Polynomials
This note gives an elementary exposition of a variant of the spread polynomials in terms of Fibonacci and Lucas polynomials.