polynomial
11184 papers tagged with this keyword
On homological invariants and Cohen-Macaulayness of closed neighborhood ideals
Let $G$ be a finite simple graph and $NI(G)$ be the closed neighborhood ideal of $G$ in the polynomial ring $S=K[V(G)]$. In this paper, we study the Castelnuovo-Mumford regularity, projective dimension and Cohen-Macaulayness of this ideal. For any chordal graph $G$, we show that $\text{reg}(S/NI(G))=τ(G)$, where $τ(G)$ denotes the vertex cover number of $G$. This generalizes the corresponding result for trees shown in [3], as in trees $τ(G)$ is the same as the matching number of $G$. When $G$ is a bipartite graph or a very well-covered graph, we notice that $\text{reg}(S/NI(G))\geq τ(G)$ and that this inequality can be strict in general. Moreover, we describe the projective dimension of $S/NI(G)$ for some families of graphs. Finally, we give a characterization of very well-covered graphs $G$ for which the ring $S/NI(G)$ is Cohen-Macaulay.
Efficient $k$-Sign Consistency Verification of Hankel Matrices via Schur Polynomials
We consider the problem of certifying (strict) $k$-sign consistency of a matrix, that is, whether all of its $k$-th order minors share the same (strict) sign. Although this problem is generally of combinatorial complexity, we show that for Hankel matrices it can be significantly simplified: our sufficient condition requires checking only the $k$-th order minors of a reshaped Hankel matrix with $k$ rows. Remarkably, when applied to the Hankel operator, this sufficient condition is also necessary. Comparable results were known only in the setting of (strictly) $k$-positive Hankel matrices and operators, in which all minors of order up to $k$ have the same (strict) sign.
More concretely, we derive a formula expressing the $k$-th order minors of Hankel matrices as nonnegative integer linear combinations of $k$-th order minors with consecutive row indices. Our derivation uses Schur polynomial theory to show that the $k$-th order minors of any matrix are nonnegative integer linear combinations of row-consecutive $k$-th order minors, meaning minors formed from distinct columns whose consecutive row indices need not coincide across columns. For Hankel matrices, these minors coincide -- up to sign changes arising from column swaps -- with the usual $k$-th order minors with consecutive row indices. Our main result then follows by showing that the sum of certain signed nonnegative integer coefficients equals the corresponding Littlewood--Richardson coefficients. In our problem, the nonnegativity of these coefficients ensures that negatively signed column permutations are cancelled by positively signed ones. Our results also extend naturally to Toeplitz matrices and operators, and we present a partial analogue for circulant matrices.
Determining the Outerthickness of Graphs Is NP-Hard
We give a short, self-contained, and easily verifiable proof that determining the outerthickness of a general graph is NP-hard. This resolves a long-standing open problem on the computational complexity of outerthickness.
Moreover, our hardness result applies to a more general covering problem $P_F$, defined as follows. Fix a proper graph class $F$ whose membership is decidable. Given an undirected simple graph $G$ and an integer $k$, the task is to cover the edge set $E(G)$ by at most $k$ subsets $E_1,\ldots,E_k$ such that each subgraph $(V(G),E_i)$ belongs to $F$. Note that if $F$ is monotone (in particular, when $F$ is the class of all outerplanar graphs), any such cover can be converted into an edge partition by deleting overlaps; hence, in this case, covering and partitioning are equivalent.
Our result shows that for every proper graph class $F$ whose membership is decidable and that satisfies all of the following conditions: (a) $F$ is closed under topological minors, (b) $F$ is closed under $1$-sums, and (c) $F$ contains a cycle of length $3$, the problem $P_F$ is NP-hard for every fixed integer $k\ge 3$. In particular:
For $F$ equal to the class of all outerplanar graphs, our result settles the long-standing open problem on the complexity of determining outerthickness.
For $F$ equal to the class of all planar graphs, our result complements Mansfield's NP-hardness result for the thickness, which applies only to the case $k=2$.
It is also worth noting that each of the three conditions above is necessary. If $F$ is the class of all eulerian graphs, then cond. (a) fails. If $F$ is the class of all pseudoforests, then cond. (b) fails. If $F$ is the class of all forests, then cond. (c) fails. For each of these three classes $F$, the problem $P_F$ is solvable in polynomial time for every fixed integer $k\ge 3$, showing that none of the three conditions can be dropped.
Inverse-Limit Formulas and Stable-Range Rigidity for Cyclotomic Sums
We study truncation compatible families F = (F_m)_{m>=1} over Q[z] through an inverse limit formalism, and we evaluate them at the punctured cyclotomic cosine points alpha_{k,n} = cos(2 pi k/n) with the specialization z equals n-1. For symmetric families of uniformly bounded total degree in x <= d, we prove a stable range rigidity theorem: for all n >= d+2, the cosine point evaluation factors through the finitely many punctured cosine power sums the finitely many power sums P1(n) through Pd(n). In the purely polynomial case this implies eventual polynomiality in n. We then extend the framework to include fixed product factors and package their cosine point contribution in multiplicative invariants MQ(n). In the stable range, the bounded degree symmetric part collapses as before; any remaining cyclotomic dependence occurs only through these explicit product terms. Finally, we show that coefficient extraction from such products produces further bounded degree symmetric families, and we apply this to complete symmetric functions h_r evaluated at cosine points.
Quickly excluding an annotated planar graph
We provide proofs certifying that the structure theorem for vertex sets of bounded bidimensionality holds with polynomial bounds. The bidimensionality of vertex sets is a common generalisation of both treewidth and the face-cover-number of vertex sets in planar graphs. As such, it plays a crucial role in extensions of Courcelle's Theorem to $H$-minor-free graphs. Recently, bidimensionality and similar parameters have emerged as key for extensions of known parameterized algorithms for problems defined on a terminal set $R$. A prominent example for such a problem is Steiner Tree, which admits efficient algorithms on planar graphs whenever $R$ can be covered with few faces.
Key to the algorithmic applications of bidimensionality is a structure theorem that explains how a graph $G$ can be decomposed into pieces where the behaviour of $R$ is highly controlled. One may see this structure theorem as a rooted analogue of Robertson and Seymour's celebrated Grid Theorem. Combining recent advances in obtaining polynomial bounds in the Graph Minors framework with new techniques for handling annotated vertex sets, we show that all parameters in the structure theorem above admit polynomial bounds. As an application, we also provide a sketch showing how our techniques imply polynomial bounds for the structure theorem for graphs excluding an apex minor.
DP color functions versus chromatic polynomials for hypergraphs (I)
For a hypergraph $\mathcal{H}$, the DP color function $P_{DP}(\mathcal{H},k)$ of $\mathcal{H}$ is an extension of the chromatic polynomial $P(\mathcal{H},k)$ with the property that $P_{DP}(\mathcal{H},k) \le P(\mathcal{H},k)$ for all positive integers $k$. In this article, we primarily investigate the influence of the minimum cycle length on the DP-coloring function, as well as the relevant properties of the DP-coloring function of $\mathcal{H} \vee K_p$ (i.e., the join of $\mathcal{H}$ and $K_p$). We show that for any linear and uniform hypergraph $\mathcal H$ with even girth,
there exists a positive integer $N$ such that $P_{DP} (\mathcal H, k) < P(\mathcal H, k)$ for all integers $k\ge N$, and this conclusion also holds for any hypergraph $\mathcal{H}$ that contains an edge $e$ with the properties that $\mathcal{H}-e$ has exactly $|e|-1$ components and any shortest cycle in $\mathcal{H}$ containing $e$ is an even cycle. For the hypergraph $\mathcal{H}\vee K_p$, we prove that if $\mathcal{H}$ is uniform, then there exist positive integers $p$ and $N$ such that $P_{DP}(\mathcal{H} \vee K_p,k)=P(\mathcal{H} \vee K_p,k)$ holds for all integers $k\geq N$.
121 Patchworked Curves of Degree Seven
The 121 real schemes, i.e., ambient isotopy classes, of smooth real plane algebraic curves of degree seven were classified by Viro (1984). By constructing one patchwork of the dilated triangle $7\cdotΔ_2$ for each real scheme, we provide an explicit method for constructing polynomials realizing each real scheme. In particular, every real scheme of degree seven can be realized as a T-curve; this settles a question raised by Itenberg and Viro (1996).
Almost all graphs are vertex-minor universal
Answering a question of Claudet, we prove that the uniformly random graph $G\sim \mathbb G(n, 1/2)$ is $Ω(\sqrt n)$-vertex-minor universal with high probability. That is, for some constant $α\approx 0.911$, any graph on any $α\sqrt n$ specified vertices of $G$ can be obtained as a vertex-minor of $G$. This has direct implications for quantum communications networks: an $n$-vertex $k$-vertex-minor universal graph corresponds to an $n$-qubit $k$-stabilizer universal graph state, which has the property that one can induce any stabilizer state on any $k$ qubits using only local operations and classical communications.
We further employ our methods in two other contexts. We obtain a bipartite pivot-minor version of our main result, and we use it to derive a universality statement for minors in random binary matroids. We also introduce the vertex-minor Ramsey number $R_{\mathrm{vm}}(k)$ to be the smallest value $n$ such that every $n$-vertex graph contains an independent set of size $k$ as a vertex-minor. Supported by our main result, we conjecture that $R_{\mathrm{vm}}(k)$ is polynomial in $k$. We prove $Ω(k^2) \leq R_{\mathrm{vm}}(k) \leq 2^k - 1$.
Extremal Graphs for the Lights Out Problem
Lights Out is a game played on a graph $G$ where every vertex has a light bulb that is either on or off, and pressing a vertex $v$ toggles the state of every vertex in the closed neighborhood of $v$. The goal is to find a subset of vertices $S$ such that pressing every vertex in $S$ results in all light bulbs being turned off. We study the extremal graphs for which pressing every vertex is the unique solution to the lights out problem given an initial configuration of all lights on. We show that a graph is extremal if and only if it is even and has an odd number of matchings. Furthermore, there is a bijection between the set of labeled $n$-vertex extremal graphs and the set of symmetric invertible matrices of size $n-2$ over $\mathbb{F}_2$. We prove that any even graph with no cycle of length $0\pmod 3$ must be extremal. We also demonstrate operations that build larger extremal graphs from smaller ones. Along the way, we prove using the polynomial method that in any even graph, the number of matchings of a fixed size covering an odd subset of vertices is even.
Matrices of nonnegative integer rank two
The nonnegative integer rank of a matrix is a variant of the classical nonnegative rank, introduced in the 1980s, where factorizations are required to have integer entries. While computing nonnegative integer rank is generally very hard, we focus on a fundamental special case: determining when a rank 2 nonnegative integer matrix has nonnegative integer rank equal to 2 (the "rank2 problem"). Although this problem is trivial in the continuous case, in this context it is surprisingly rich.
We provide a geometric reformulation in terms of affine semigroups and rational cones in the plane, which yields new structural insights. We show that any rank 2 integer matrix can be reduced to a $3\times 3$ matrix which has nonnegative integer rank $2$ if and only if the original one also has nonnegative integer rank $2$, with the reduction computable in polynomial time. This reduction reveals that the difficulty of the rank2 problem is already captured by small matrices. Building on this geometric framework, we also develop an algorithm that solves the rank2 problem by strategically searching for integer generators within bounded regions of the associated cone. Although the theoretical worst-case complexity remains high, numerical experiments demonstrate that the algorithm performs efficiently in practice.
Colored interlacing triangles and Genocchi medians
Colored interlacing triangles, introduced by Aggarwal-Borodin-Wheeler (2024), provide the combinatorial framework for the Central Limit Theorem for probability measures arising from the Lascoux-Leclerc-Thibon (LLT) polynomials. Colored interlacing triangles depend on two key parameters: the number of colors $n$ and the depth of the triangle $N$. Recent work of Gaetz-Gao (2025) connects these objects to Schubert calculus and resolves the enumeration for $n=3$ and arbitrary depth $N$. However, the enumerative behavior for general $n$ has remained open.
In this paper, we analyze the complementary regime: fixed depth $N=2$ and arbitrary number of colors $n$. We prove that in this setting, colored interlacing triangles are in bijection with Dumont derangements, identifying their enumeration with the Genocchi medians. This connects the probabilistic model to a rich hierarchy of classical combinatorial objects.
Furthermore, we introduce a $q$-deformation of this enumeration arising naturally from the LLT transition energy. This yields new $q$-analogs of the Genocchi medians. Finally, we present computational results and sampling algorithms for colored interlacing triangles with higher $N$ or $n$, which suggests the limits of combinatorial tractability in the $(N,n)$ parameter space.
Refined invariants for Abelian surfaces: between polynomiality and modularity
Tropical refined invariants for toric surfaces, introduced Block and G{ö}ttsche, are obtained couting tropical curves with a Laurent polynomial multiplicity. Brugall{é} and Jaramillo-Puentes then exhibited a polynomial behavior of the coefficients of this Laurent polynomial, seen as function on the curve degree. The authors provided explicit formula for small genus, involving quasi-modular forms. Inspired by the toric setting, the first-named author defined refined invariants for abelian surfaces and extended the polynomiality result. In this paper, we further study this regularity for abelian surfaces, providing explicit formulas involving quasi-modular forms. This resonates with the small genus cases of the toric setting.
Uniformity of extremal graph-codes
It is an important fact that extremal discrete structures -- that is, discrete structures of maximal size among those that avoid certain configurations -- exhibit strong pseudorandom behavior. We present instances of this phenomenon in the context of graph-codes, a notion put forth recently by Alon, as well as on related problems related to density polynomial Hales--Jewett conjecture.
Fel's Conjecture on Syzygies of Numerical Semigroups
Let $S=\langle d_1,\dots,d_m\rangle$ be a numerical semigroup and $k[S]$ its semigroup ring. The Hilbert numerator of $k[S]$ determines normalized alternating syzygy power sums $K_p(S)$ encoding alternating power sums of syzygy degrees. Fel conjectured an explicit formula for $K_p(S)$, for all $p\ge 0$, in terms of the gap power sums $G_r(S)=\sum_{g\notin S} g^r$ and universal symmetric polynomials $T_n$ evaluated at the generator power sums $σ_k=\sum_i d_i^k$ (and $δ_k=(σ_k-1)/2^k$). We prove Fel's conjecture via exponential generating functions and coefficient extraction, solating the universal identities for $T_n$ needed for the derivation. The argument is fully formalized in Lean/Mathlib, and was produced automatically by AxiomProver from a natural-language statement of the conjecture.
A concept of largeness of monochromatic sums and products in large ideal domain
An infinite integral domain $R$ is called a large ideal domain (LID) if every nontrivial ideal of $R$ has finite index in $R$. Recently, N. Hindman and D. Strauss have established a refinement of Moreira's theorem for the set of natural numbers and infinite fields. In this article, we prove the same result of N. Hindman and D. Strauss for large ideal domains (LID) and a polynomial extension.
Matchings: Source, Goal and Faithful Companion
Matchings were among the earliest motivations for graph theory. They subsequently remained a central goal, inspiring the development of new tools that went well beyond problems directly concerning matchings.
These tools proved widely applicable, accompanying the growth of graph theory over the past century. A legendary milestone in this trajectory is W. T. Tutte, "The factorization of linear graphs," J. Lond. Math. Soc. (1), 22, no. 2, (1947), 107-111, which firmly embedded graph theory through matchings into the body of classical mathematics, in particular, linear algebra and polynomials.
In this note we revisit this article presenting its original content, sketching some aspects of its impact until some recent progress, and trace one of its subsequent lines of development finally leading to a new contribution answering an open challenge and extending known results.
Forest Polynomials and Pattern Avoidance
Forest polynomials, recently introduced by Nadeau and Tewari, can be thought of as a quasisymmetric analogue for Schubert polynomials. They have already been shown to exhibit interesting interactions with Schubert polynomials; for example, Schubert polynomials decompose positively into forest polynomials. We further describe this relationship by showing that a Schubert polynomial $\mathfrak{S}_w$ is a forest polynomial exactly when $w$ avoids a set of $6$ patterns. This result adds to the long list of properties of Schubert polynomials that are controlled by pattern avoidance.
The price of homogeneity is polynomial
We provide explicit and polynomial bounds for the Homogeneous Wall Lemma which occurred for the first time implicitly in the $13$th entry of Robertson and Seymour's Graph Minors Series [JCTB 1990] and has since become a cornerstone in the algorithmic theory of graph minors.
A wall where each brick is assigned a set of colours is said to be homogeneous if each brick is assigned the same set of colours. The Homogeneous Wall Lemma says that there exists a function $h$ that, given non-negative integers $q$ and $k$ and an $h(q,k)$-wall $W$ where each brick is assigned a, possibly empty, subset of $\{ 1, \ldots , q \}$ contains a $k$-wall $W'$ as a subgraph such that, if one assigns to each brick $B$ of $W'$ the union of the sets assigned to the bricks of $W$ in its interior, then $W'$ is homogeneous. It is well-known that $h(q,k) \in k^{\mathcal{O}(q)}$. The Homogeneous Wall Lemma plays a key role in most applications of the Irrelevant Vertex Technique where an exponential dependency of $h$ on $q$ usually causes non-uniform dependencies on meta-parameters at best and additional exponential blow-ups at worst. By proving that $h(q,k) \in \mathcal{O}(q^4 \cdot k^6)$, we provide a positive answer to a problem raised by Sau, Stamoulis, and Thilikos [ICALP 2020].
On the Graphical $r$-Stirling Numbers of the First Kind for Specific Graph Families
This paper investigates the \textbf{graphical $r$-Stirling numbers of the first kind}, denoted by $\str{G}{k}$, which enumerate partitions of a vertex set $V(G)$ into $k$ disjoint cycles such that $r$ specified vertices occupy distinct blocks. We establish closed-form expressions and recursive identities for fundamental graph families, including \textbf{Path} ($P_n$), \textbf{Cycle} ($C_n$), \textbf{Star} ($S_n$), \textbf{Wheel} ($W_n$), and \textbf{Fan} ($F_n$) graphs.
A primary focus of this study is the \textbf{statistical characterization} of the cycle distribution. We derive explicit formulas for the \textbf{mean} and \textbf{variance} of these numbers, extracted from the structural properties of the $r$-cycle polynomials. These results provide a rigorous measure of the average cycle density and variability across different graph topologies, bridging the gap between algebraic combinatorics and the structural analysis of restricted permutations.
Supports of Castelnuovo-Mumford polynomials
The Castelnuovo-Mumford polynomials are the maximal degree components of Grothendieck polynomials. The support of each Castelnuovo-Mumford polynomial is conjectured to be M-convex, i.e. the set of integer points of a generalized permutahedron (Mészáros and St. Dizier, 2020). This conjecture is known to hold in certain special cases but remains open in general. We define new families of permutations whose Castelnuovo-Mumford polynomials we show to have M-convex support. Specifically, we investigate which permutations have Castelnuovo-Mumford polynomials whose supports are the set of integer points in a schubitope.