Asymptotic invariants of symbolic powers of binomial edge ideals

Basic Information

• Paper ID: 2510.14272
• Title: Asymptotic invariants of symbolic powers of binomial edge ideals
• Authors: Dennis Belotserkovskiy, Mariana Landín, Charlie Ruppe, Lizzy Teryoshin
• Classification: math.AC (Commutative Algebra), math.CO (Combinatorics)
• Publication Date: October 16, 2025
• Paper Link: https://arxiv.org/abs/2510.14272

Abstract

This paper investigates the asymptotic behavior of symbolic powers of binomial edge ideals $J_G$ associated with a graph $G$, including their lexicographic initial ideals $\mathrm{in}_<(J_G)$ and multigraded generic initial ideals $\mathrm{gin}(J_G)$. The focus is on the Waldschmidt constant $\widehat{\alpha}$ and asymptotic regularity $\widehat{\mathrm{reg}}$, which characterize the linear growth of the minimal degree of generators and Castelnuovo-Mumford regularity, respectively. The paper explicitly computes $\widehat{\alpha}(J_G)$ and $\widehat{\alpha}(\mathrm{in}_<(J_G))$, and compares the Betti numbers of symbolic powers of $J_G$ with those of $J_H$ for subgraphs $H$. By analyzing initial ideals through symbolic polytopes—convex polytopes encoding elements of symbolic powers of monomial ideals—the paper determines the relationship between vertices and induced connected subgraphs of the graph, and proves that $\widehat{\alpha}(\mathrm{gin}(J_G))=\widehat{\alpha}(I_G)$, where $I_G$ is the edge ideal of graph $G$.

Research Background and Motivation

1. Research Problem: This paper aims to study asymptotic invariants of symbolic powers of binomial edge ideals, particularly the Waldschmidt constant and asymptotic regularity, which characterize the long-term behavior of ideal symbolic power sequences.
2. Significance:
   • Binomial edge ideals serve as an important bridge connecting algebraic structures and graph theory, occupying a central position in combinatorial commutative algebra
   • The study of symbolic powers is a recent hotspot in commutative algebra, revealing deeper properties of ideals through comparison with ordinary powers
   • Asymptotic invariants provide quantitative tools for understanding the long-term behavior of ideals
3. Limitations of Existing Methods:
   • Lack of systematic research on asymptotic behavior of symbolic powers of binomial edge ideals
   • Absence of effective methods for computing these asymptotic invariants
   • Insufficient analytical tools for initial ideals and generic initial ideals
4. Research Motivation: To systematically study asymptotic properties of binomial edge ideals and related ideals through symbolic polytopes as a geometric tool, establishing connections between graph-theoretic properties and algebraic invariants.

Core Contributions

1. Explicit computation of Waldschmidt constants for all graphs: Proved that $\widehat{\alpha}(J_G) = \widehat{\alpha}(\mathrm{in}_<(J_G)) = 2$
2. Established decomposition theory for symbolic polytopes: Characterized the vertex structure of symbolic polytopes through induced connected subgraphs of graphs
3. Proved equivalence between generic initial ideals and edge ideal Waldschmidt constants: $\widehat{\alpha}(\mathrm{gin}(J_G)) = \widehat{\alpha}(I_G)$
4. Provided new proofs for bounds on edge ideal Waldschmidt constants: Established bounds through graph clique numbers and chromatic numbers
5. Established comparison relations for Betti numbers of symbolic powers: Built inequalities for the case of induced subgraphs

Detailed Methodology

Problem Definition

Study binomial edge ideals $J_G \subset K[x_1,\ldots,x_n,y_1,\ldots,y_n]$ corresponding to graph $G$, where: $J_G = (x_iy_j - x_jy_i \mid \{i,j\} \in E(G))$

The goal is to compute asymptotic invariants of symbolic powers $J_G^{(m)}$:

• Waldschmidt constant: $\widehat{\alpha}(J_G) = \lim_{m\to\infty} \frac{\alpha(J_G^{(m)})}{m}$
• Asymptotic regularity: $\widehat{\mathrm{reg}}(J_G) = \lim_{m\to\infty} \frac{\mathrm{reg}(J_G^{(m)})}{m}$

Core Tool: Symbolic Polytopes

Definition: For a monomial ideal $I$, the symbolic polytope is defined as: $SP(I) = \bigcup_{q\geq 1} \frac{NP(I^{(q)})}{q} = \mathrm{conv}\left\{\frac{a}{q} \mid x^a \in I^{(q)}, q \geq 1\right\}$

Key Properties:

• $\widehat{\alpha}(I) = \min\{\sum_{i=1}^n a_i \mid a \in V(SP(I))\}$
• $\widehat{\mathrm{reg}}(I) = \max\{\sum_{i=1}^n a_i \mid a \in V(SP(I))\}$

Main Technical Methods

1. Prime ideal decomposition: Utilizing irreducible disconnected sets (IDS) to describe prime decompositions of binomial edge ideals
2. Vertex analysis of symbolic polytopes: Characterizing vertices through face intersections
3. Induced subgraph decomposition of graphs: Classifying vertices of symbolic polytopes by induced connected subgraphs

Main Results

Waldschmidt Constant of Binomial Edge Ideals

Theorem 3.4: For any graph $G$, we have $\widehat{\alpha}(J_G) = \widehat{\alpha}(\mathrm{in}_<(J_G)) = 2$.

Proof Strategy:

• Upper bound: Since $\alpha(J_G) = 2$, clearly $\widehat{\alpha}(J_G) \leq 2$
• Lower bound: Using inclusion relations with complete graphs $K_n$ and $J_{K_n}^{(m)} = J_{K_n}^m$, we obtain $\widehat{\alpha}(J_G) \geq 2$

Asymptotic Regularity

Theorem 3.5: If ideal $I$ satisfies $I^{(m)} = I^m$, then $\widehat{\mathrm{reg}}(I)$ exists. For monomial ideals or equidimensional ideals, $\widehat{\mathrm{reg}}(I) = d(I)$.

Corollary 3.7: For closed graphs $G$, $\widehat{\mathrm{reg}}(J_G) = \widehat{\mathrm{reg}}(\mathrm{in}_<(J_G)) = 2$.

Decomposition Theorem for Symbolic Polytopes

Theorem 4.12: Let $G$ be a connected graph and $H_G$ be the set of all connected induced subgraphs of $G$ containing at least one edge. Then: $V(SP(I_G)) = \bigcup_{H \in H_G} i_H(V_F(SP(I_H)))$

where $V_F$ denotes the set of full vertices and $i_H$ is the standard inclusion map.

Waldschmidt Constant of Generic Initial Ideals

Theorem 5.3: $\widehat{\alpha}(\mathrm{gin}(J_G)) = \widehat{\alpha}(I_G)$

Theorem 5.10: Let $G$ be a non-empty graph with chromatic number $\chi(G)$ and clique number $\omega(G)$. Then: $\frac{\chi(G)}{\chi(G)-1} \leq \widehat{\alpha}(\mathrm{gin}(J_G)) = \widehat{\alpha}(I_G) \leq \frac{\omega(G)}{\omega(G)-1}$

Technical Innovations

1. Systematic application of symbolic polytopes: First systematic application of symbolic polytope theory to the analysis of binomial edge ideals
2. Deep integration of graph theory and algebra: Characterizing geometric structures of algebraic objects through combinatorial properties of graphs (induced subgraphs, connected components, etc.)
3. Vertex classification theory: Introduced the concept of "full vertices," simplifying the analysis of symbolic polytope vertices
4. Unified analytical framework: Provided unified analytical methods for binomial edge ideals, their initial ideals, and generic initial ideals

Experimental Verification and Examples

Path Graph Example

Example 4.13: For the 4-path graph $P_4$, the symbolic polytope $SP(\mathrm{gin}(J_{P_4}))$ has 11 vertices, which can be recovered from full vertices of $P_2$, $P_3$, $P_4$ under appropriate inclusions.

Asymptotic Regularity of Web Graphs

Conjecture 6.1: For web graphs $N$, $\widehat{\mathrm{reg}}(J_N) = 3$.

Related Work

1. Foundational theory of binomial edge ideals: Introduced by Herzog et al. in 22
2. Theory of symbolic powers: Fundamental framework established by Bocci-Harbourne 3
3. Symbolic polytopes: Concept introduced by Cooper et al. in 7
4. Waldschmidt constants of edge ideals: Studied by Bocci et al. in 2

Conclusions and Discussion

Main Conclusions

1. The Waldschmidt constant of binomial edge ideals for all graphs equals 2
2. The Waldschmidt constant of generic initial ideals equals that of corresponding edge ideals
3. Vertices of symbolic polytopes can be completely characterized through induced connected subgraphs of graphs

Limitations

1. Complete results for asymptotic regularity are obtained only for special graph classes (e.g., closed graphs)
2. Asymptotic regularity for general graphs requires further investigation
3. Some results depend on specific term order choices

Future Directions

1. Conjecture 6.2: For any graph $G$, does $\widehat{\mathrm{reg}}(\mathrm{gin}(J_G)) = \ell$ hold, where $\ell$ is the length of the longest induced path?
2. Extension to other types of edge ideals
3. Study of more general symbolic polytope decomposition theory

In-Depth Evaluation

Strengths

1. Theoretical depth: Establishes profound connections between graph theory and commutative algebra
2. Methodological innovation: Systematic application of symbolic polytope methods
3. Complete results: Provides complete computation for Waldschmidt constants
4. Technical rigor: Proofs are rigorous with clear logical structure

Weaknesses

1. Computational complexity: Vertex computation of symbolic polytopes may be complex for large graphs
2. Application scope: Primarily focused on theoretical analysis; practical applications warrant further exploration
3. Open problems: Important conjectures remain unresolved

Impact

1. Academic contribution: Provides new analytical tools for combinatorial commutative algebra
2. Methodological value: Symbolic polytope methods have broad generalization potential
3. Theoretical advancement: Perfects asymptotic theory of binomial edge ideals

Applicable Scenarios

1. Theoretical research in combinatorial commutative algebra
2. Interdisciplinary research between graph theory and algebraic geometry
3. Symbolic computation and computational algebraic geometry

References

The paper contains 35 important references spanning classical works in commutative algebra, combinatorics, and algebraic geometry, providing a solid theoretical foundation for the research.