The Spectral Edges Conjecture via Corners

Basic Information

• Paper ID: 2510.10143
• Title: The Spectral Edges Conjecture via Corners
• Authors: M. Faust, F. Sottile
• Classification: math.SP (Spectral Theory), math.AG (Algebraic Geometry), math.CO (Combinatorics)
• Publication Date: October 11, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.10143

Abstract

The spectral edges conjecture is a celebrated and widely recognized conjecture in the theory of discrete periodic operators, asserting that extrema of the dispersion relation are isolated, non-degenerate, and occur in a single frequency band. This paper presents two infinite families of periodic graphs satisfying the spectral edges conjecture. For each family, every extremum of the dispersion relation occurs at a corner (symmetric point). In fact, each spectral band function is a perfect Morse function. The article also provides a dimension-increasing construction that preserves the property that each spectral band function remains a perfect Morse function.

Research Background and Motivation

Core Problem

This research addresses the spectral edges conjecture in discrete periodic operator theory. The conjecture asserts that for generic parameter choices, extrema of the dispersion relation possess the following properties:

1. Isolation: Extremal points are isolated
2. Non-degeneracy: Extremal points are non-degenerate
3. Single-band property: Each extremum occurs in a single spectral band function

Problem Significance

This problem holds important significance in mathematical physics because:

1. Crystal Models: Periodic graphs serve as discrete models of crystals, and evolution equations for electron transport become operators on graphs
2. Floquet Theory: Through Floquet theory, the spectrum of periodic operators is realized as the image of spectral band functions defined on the Brillouin zone or compact tori
3. Band Edge Structure: The structure of band edges is crucial in mathematical physics

Limitations of Existing Research

1. The conjecture holds in one dimension but may fail for Schrödinger operators in higher dimensions
2. Although the conjecture is widely believed to hold for connected graphs, it has been shown to fail for certain Schrödinger operators
3. Lack of systematic construction methods to generate graph families satisfying the conjecture

Core Contributions

1. Two Infinite Graph Families: Constructs two infinite families of periodic graphs, each with infinitely many members in every dimension, all satisfying the spectral edges conjecture
2. Stronger Properties: Proves that these graph families not only satisfy the spectral edges conjecture but also possess the stronger property that each spectral band function is a perfect Morse function
3. Corner Characterization: Proves that all extrema occur at corners (symmetric points), i.e., points where $z_i = ±1$
4. Dimension-Increasing Construction: Provides a method to construct $\mathbb{Z}^{d+1}$-periodic graphs from $\mathbb{Z}^d$-periodic graphs while preserving the perfect Morse property of spectral band functions
5. Theoretical Connections: Establishes connections between the critical point conjecture and the spectral edges conjecture

Detailed Methodology

Problem Setup

Given a $\mathbb{Z}^d$-periodic graph $\Gamma$ equipped with a potential function $V: V \to \mathbb{R}$ and edge weight function $E: E \to \mathbb{R}$, we study the spectral properties of the discrete periodic operator $H = V + \Delta_E$, particularly the structure of critical points of the dispersion relation.

Core Theoretical Framework

Floquet Theory and Dispersion Relation

For operators on periodic graphs, Floquet theory transforms the spectral problem into a parametrized matrix eigenvalue problem: $\sigma(H) = \bigcup_{z \in \mathbb{T}^d} \sigma_z(H) = \{\lambda \in \mathbb{R} | \exists z \in \mathbb{T}^d \text{ s.t. } \det(H(z) - \lambda) = 0\}$

where $H(z)$ is the Floquet matrix and $D(z,\lambda) := \det(H(z) - \lambda)$ is the dispersion polynomial.

Critical Point Equations

Critical points of the Bloch variety are determined by the system: $D(z,\lambda) = \frac{\partial D}{\partial z_1}(z,\lambda) = \cdots = \frac{\partial D}{\partial z_d}(z,\lambda) = 0$

Corner Properties

Lemma 1.2: Every point $(z,\lambda)$ on the Bloch variety satisfying $z^2 = 1$ is a critical point. If critical points are isolated, there are at least $2^d|W|$ critical points (counted with multiplicity).

Two Main Graph Families

1. Minimally Sparse Graphs

Definition: The dispersion polynomial $D(z,\lambda)$ is minimally sparse if the monomials appearing in $z$ are only $z_i^{±1}$.

Periodic Flower Graph Construction:

• Start with a connected graph $S$ and cycles $P_1, \ldots, P_\ell$
• Connect each cycle at a designated vertex to the distinguished vertex $u$ of $S$
• Construct a $\mathbb{Z}^d$-periodic graph via a labeling function $f: [\ell] \twoheadrightarrow \{e_1, \ldots, e_d\}$

Main Result: Theorem 2.4: Let $(Γ,V,E)$ be a $\mathbb{Z}^d$-periodic marked graph with minimally sparse dispersion polynomial. Then one of the following holds:

1. The dispersion relation has flat bands
2. The dispersion relation of some coordinate projection has flat bands
3. The only critical points of the dispersion relation are corners

2. Isthmus-Connected Graphs

Construction: Start with an isthmus graph $G = (A, I, B)$ where:

• $A$: connected graph ($a$ vertices)
• $I$: path of length $m$
• $B$: connected graph ($b$ vertices)
• Connected via cut edges to form an isthmus structure

Main Result: Theorem 3.2: Let $Γ$ be a periodic isthmus-connected graph with fixed non-zero edge weights. If the potential is generic, then the only critical points of the Bloch variety occur at corners and are all non-degenerate.

Parallel Extension Construction

Theorem 4.2: Provides a parallel extension method to construct $\mathbb{Z}^{d+1}$-periodic graphs from $\mathbb{Z}^d$-periodic graphs while preserving the perfect Morse function property.

If each spectral band function of $Γ$ is a perfect Morse function, then each spectral band function of its parallel extension is also a perfect Morse function.

Experimental Setup

Theoretical Verification Methods

This paper primarily employs rigorous mathematical proofs, verifying theory through:

1. Algebraic Methods: Utilizing Floquet theory to transform analytic problems in spectral theory into algebraic problems
2. Concrete Examples: Providing multiple specific graph examples and calculations
3. Constructive Proofs: Proving existence through explicit constructions

Specific Example Analysis

Lieb Lattice

• $\mathbb{Z}^2$-periodic graph
• Dispersion polynomial: $(λ-u)(λ-v)(λ-w) - λ(a^2+b^2+c^2+d^2) + v(a^2+c^2) + w(b^2+d^2) - bd(z_1+z_1^{-1})(λ-w) - ac(z_2+z_2^{-1})(λ-v)$
• Demonstrates minimal sparsity property

Isthmus-Connected Graph Examples

The paper provides three specific isthmus graph examples with parameters $(3,1,0)$, $(3,3,3)$, and $(0,2,0)$, demonstrating different connectivity structures.

Experimental Results

Main Theoretical Results

1. Critical Point Conjecture Implies Spectral Edges Conjecture (Theorem 1.1)
2. Minimally Sparse Connected Graphs Satisfy Spectral Edges Conjecture (Corollary 2.6)
3. Spectral Edges Conjecture Conditions for Periodic Flower Graphs (Theorem 2.10): Schrödinger operators satisfy the spectral edges conjecture if and only if the flower graph has no 2-cycle petals
4. Complete Results for Isthmus-Connected Graphs (Theorem 3.2): For generic parameters, all critical points occur at corners and are non-degenerate

Perfect Morse Function Property

For both graph families, stronger results are proven:

• Exactly $2^d|W|$ critical points exist, all at corners
• All critical points are non-degenerate
• Each spectral band function is a perfect Morse function

Dimension Extension Results

Theorem 4.2 proves that parallel extension preserves:

• If the original graph's spectral band functions are perfect Morse functions, so are those of the extension
• Non-degenerate critical points remain non-degenerate
• Degenerate critical points remain degenerate

Related Work

Main Research Directions

1. Periodic Operator Theory: References 2,4,15,16,17,23 provide background on periodic graph operators and Floquet theory
2. Flat Band Research: References 7,8 study algebraic properties of flat bands in dispersion relations
3. Critical Point Analysis: References 6,11 investigate the critical point conjecture
4. Local Criteria: Reference 3 provides local criteria for local extrema of spectral band functions to be global extrema

Novelty of This Work

1. Systematic Construction: First systematic construction method for graphs satisfying the spectral edges conjecture
2. Perfect Morse Property: Proves stronger perfect Morse function property than the spectral edges conjecture
3. Algebraic Methods: Uses algebraic and global arguments, distinct from the analytical approach in reference 3
4. Dimension Extension: Provides dimension-increasing constructions that preserve properties

Conclusions and Discussion

Main Conclusions

1. Existence Results: Proves existence of two infinite graph families satisfying the spectral edges conjecture
2. Corner Characterization: All extrema occur at symmetric points (corners)
3. Perfect Morse Property: Establishes properties stronger than the spectral edges conjecture
4. Construction Methods: Provides systematic construction and extension methods

Theoretical Significance

1. Conjecture Verification: Provides numerous positive examples for the spectral edges conjecture
2. Methodological Contribution: Demonstrates the power of algebraic methods in spectral theory
3. Structural Understanding: Deepens understanding of spectral structure of periodic graphs

Limitations

1. Special Structures: Results apply only to specific graph structures (minimally sparse graphs and isthmus-connected graphs)
2. Generality Issues: Does not completely resolve the spectral edges conjecture for general graphs
3. Computational Complexity: Does not discuss computational complexity of verifying conditions

Future Directions

1. More General Graph Families: Seek other graph families satisfying the spectral edges conjecture
2. Necessary Conditions: Study necessary conditions for satisfying the conjecture
3. Numerical Methods: Develop numerical methods for verifying the conjecture
4. Physical Applications: Explore applications in condensed matter physics

In-Depth Evaluation

Strengths

1. Theoretical Rigor: All results have rigorous mathematical proofs with clear logic
2. Methodological Innovation: Cleverly transforms spectral theory problems into algebraic geometry problems
3. Result Strength: Not only proves the spectral edges conjecture but establishes stronger perfect Morse function properties
4. Systematicity: Provides two complete graph families and construction methods
5. Technical Depth: Synthesizes techniques from spectral theory, algebraic geometry, and combinatorics

Weaknesses

1. Limited Scope: Results apply only to specific graph structures with limited generality
2. Practical Applications: Lacks direct connections to physical systems
3. Computational Aspects: Provides no effective algorithms to verify whether a given graph satisfies the conditions
4. Numerical Verification: Lacks numerical experiments supporting theoretical results

Impact

1. Theoretical Contribution: Provides important progress on the spectral edges conjecture
2. Methodological Value: Application of algebraic methods in spectral theory is instructive
3. Future Research: Provides important technical tools and insights for further research
4. Interdisciplinary Significance: Connects pure mathematics and mathematical physics

Applicable Scenarios

1. Theoretical Research: Suitable for theoretical research in spectral theory, algebraic geometry, and combinatorics
2. Educational Use: Can serve as advanced course material on periodic operator theory
3. Further Research: Provides foundation for investigating more general spectral edges conjectures
4. Related Problems: Can be extended to other types of periodic structures

References

The paper cites 23 important references covering:

• Solid state physics foundations: 2,15
• Quantum graph theory: 4
• Floquet theory: 17,18
• Algebraic aspects of periodic operators: 23
• Flat band theory: 7,8
• Critical point research: 6,11

These references provide solid theoretical foundation and methodological justification for this work.