Pith. sign in

REVIEW 2 major objections 5 minor 36 references

Absence of flat bands for discrete periodic graph operators with generic potentials

T0 review · 2 major / 5 minor · reviewed 2026-08-05 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For Schrödinger-type operators on any discrete connected periodic graph, potentials that produce a flat band at some energy form a proper algebraic subvariety of potential space; hence generic potentials have no flat bands.

desk verdict The paper likely proves the right theorem, but the combinatorial core (Theorem 3.1) has a real gap for ℓ=1 that the stress-test note correctly identifies. read the letter →

arxiv 2509.01927 v1 pith:7OOWSYUT submitted 2025-09-02 math.SP math-phmath.MP

Matthew Faust , Ilya Kachkovskiy This is my paper · ORCID
classification math.SPmath-phmath.MP MSC 47B3905C50
keywords flatbandsperiodicgraphsgenericpotentialsperturbationseriesloopconfigurationsBlochvarietyFloquettheoryalgebraicsubvariety
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper proves that flat bands—spectral bands that collapse to a single energy and produce eigenvalues of infinite multiplicity—are exceptional for Schrödinger-type operators on discrete connected periodic graphs. With the graph structure and edge weights fixed and only the on-site potential allowed to vary, the theorem says the potentials that produce a flat band at any energy form a thin algebraic set; both Zariski-open and Euclidean-open-dense sets of complex potentials, and an open-dense set of real potentials, are free of flat bands. Previous examples showed flat bands occur for special potentials, and the paper resolves an open problem by showing that such examples are non-generic. The proof reduces the question to perturbation theory in the small-hooping regime, then to a combinatorial statement about loop configurations in the quotient graph, and finally to an elimination-theory step that converts an open set of good potentials into genericity.

What carries the argument

Rayleigh–Schrödinger perturbation series expanded in small hopping, encoded as loop configurations—closed paths in the quotient graph with quasimomentum labels, possibly with attached loops. The argument isolates extremal loop configurations (minimal length and footprint among loops with nonzero quasimomentum) and proves Theorem 3.1: each extremal loop is either itself non-cancelable (the only configuration with its footprint and quasimomentum), or can be modified into a non-cancelable symmetric extremal loop of length L+1. That theorem, together with the algebraic-geometric closure theorem, converts a single nonvanishing perturbative term into generic absence of flat bands.

What would settle it

Search for the smallest N and permutation σ of {1,...,N} with |σ(i)−σ(j)|=|i−j| for every inversion i<j, σ(i)>σ(j), where σ is not a union of interval identities and reflections; Lemma 3.2 says none exists, so any example would refute the combinatorial core. Alternatively, numerically compute the full perturbation coefficients for a specific connected periodic graph and find a potential outside the algebraic exceptional set for which a band function is identically constant.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.4: fix a Zd-periodic graph satisfying natural finiteness conditions (finite fundamental domain, finite degree, weak symmetry of edge weights) with connected quotient/infinite graph. Then the set of potential tuples (V1,...,VN) ∈ C^N for which the operator has a flat band at some energy E is contained in a proper affine algebraic subvariety of C^N. Equivalently, absence of flat bands holds on a Zariski-open, hence Euclidean open dense, set of potentials; the same holds for real potentials. The key mechanism is perturbation theory: after rescaling so hopping is small, the claim that an eigenvalue band is constant in quasimomentum is equivalent to a nonvanishing o

Load-bearing premise

The load-bearing premise is the combinatorial claim in Section 3 that every shortest non-trivial loop path either is unique for its footprint and quasimomentum or can be lengthened by one step into such a unique path, and this is the step that must be trusted.

Editorial extensions

If this is right

  • If the theorem is correct, any flat band in a discrete periodic graph is a codimension-at-least-one phenomenon in potential space, not a structural necessity of the graph.
  • For self-adjoint operators, the theorem removes the only mechanism that produces eigenvalues of infinite multiplicity; every spectral band is a genuine interval for a generic potential.
  • It answers the question posed in [33, Problem 2] affirmatively: fixing edge weights, a generic potential alone suffices to destroy flat bands.
  • The connectedness assumption can be relaxed: the conclusion holds for any graph with no finite connected components, since finite components are handled separately and trivially.
  • Because the exceptional set is described by finitely many polynomial equations, any small perturbation of a generic potential also has no flat bands.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A natural testable extension is quantitative: estimate the degree and number of defining equations of the exceptional algebraic variety in terms of N, d, and edge-range, which would yield a measure of how rare flat-band potentials are.
  • The combinatorial core suggests a purely graph-theoretic characterization: flat bands persist on a codimension-one set only when the quotient graph has symmetric multi-edge structures (like the Lieb lattice's V2 = V3 condition); one could investigate whether all extremal cancellations arise from such symmetries.
  • The perturbation argument may extend to other matrix families with Laurent-polynomial entries beyond graph Schrödinger operators, such as tight-binding models with magnetic phases, where the same loop-configuration cancellation question determines whether nondegenerate bands are generic.
  • A reader could test the key Lemma 3.2 independently: search for permutations of {1,...,N} satisfying |σ(i)-σ(j)| = |i-j| for all inversions but not decomposing into interval reflections; finding one would pinpoint the exact fragility of the proof.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. Using the Floquet transform, the paper reduces the absence of flat bands for generic potentials on a connected Z^d-periodic graph to a perturbative statement: for each eigenvalue branch λ_j, after rescaling the hopping by ε, one must find a non-cancelable loop configuration with nonzero quasimomentum (§2). The analytic part is careful: the Rayleigh–Schrödinger series is absolutely convergent in a suitable region, constant dependence on z is detected coefficientwise, and elimination theory upgrades an open set of good potentials to a proper algebraic variety bound. The remaining work is the combinatorial Theorem 3.1, which asserts that extremal loop configurations either are non-cancelable or produce a non-cancelable symmetric extremal loop one order longer. The proof of that theorem is the main technical content.

Significance. If Theorem 3.1 is repaired, the paper resolves [33, Problem 2] for fixed hopping and generic potential, and gives Zariski-open genericity rather than merely measure-zero. The analytic reduction via perturbation series and elimination theory is elegant; the explicit next-order construction of symmetric extremal loops is potentially useful. The paper does not rely on fitted quantities or circular input; the perturbation-series formula from [13] is a published, independent technique.

major comments (2)
  1. [§3.2, Step 6] The proof of Theorem 3.1 is incomplete in the case ℓ=1. For ℓ=1 and i=1, the replacement path n_s --β_1--> m_1 --(-β'_1)--> n_s has exactly the same length as Q and the same footprint {m_1}; it creates no extra repetition, so the stated contradiction with extremality does not arise. Moreover, when ℓ=1 the original extremal loop has length L=2s+2, which is even, while any symmetric extremal loop has even length (one vertex of multiplicity one and all others of multiplicity two give |P|=2r+2). Hence the second alternative of Theorem 3.1 cannot supply a non-cancelable loop of length L+1. This is a load-bearing gap because Corollary 2.12 depends entirely on Theorem 3.1.
  2. [§3.2, Steps 7–8 and Lemma 3.2] Lemma 3.2 is a structural statement about permutations preserving inversion distances, but its proof is only a two-sentence sketch. Step 8 relies on this lemma to conclude that every alternative arrangement of the non-repeated part is obtained by mirror flips of non-overlapping segments; without a complete proof of Lemma 3.2 that conclusion is unsupported. The lemma is probably true, but the proof needs to be written in full (e.g., by induction on the first element moved).
minor comments (5)
  1. [Theorem 1.4] The statement reads 'H it has a flat band'; this should be 'H has a flat band'.
  2. [Eq. (2.3)] The set is denoted B_r, but the following sentence says 'Clearly, V_r is an open subset of C^N'. The symbol should be B_r.
  3. [Remark 1.5] 'polynominals' should be 'polynomials'.
  4. [§3.2, Step 3] The notation P^{-1}_1 is used without definition; it should be defined explicitly as the reverse path.
  5. [References] References [26] and [28] appear to be the same article, as do [25] and [30]. Please consolidate or distinguish them.

Circularity Check

0 steps flagged · score 1.0 of 10

No circular derivation: central claim rests on an independent perturbation-series formula and a self-contained combinatorial argument; only a minor self-citation is present.

full rationale

The claimed derivation reduces Theorem 1.4 to Corollary 2.12, which requires exhibiting, for each j, a loop configuration whose footprint/quasimomentum coefficient cannot cancel. That reduction is analytic (Lemmas 2.7–2.9 and Corollary 2.11) and contains no fitted parameters, no predicted quantity renamed from an input, and no definition that presupposes the conclusion. The only external input is the Rayleigh–Schrödinger expansion formula quoted in Proposition 2.3 from [13]; although the second author is a coauthor of [13], that paper is an independently published perturbation-series result whose stated assumptions do not include the target flat-band theorem, so this is a standard tool citation rather than a load-bearing circular self-citation. Theorem 3.1 is then a self-contained combinatorial proof that a non-cancelable configuration exists; it does not assume the conclusion it is meant to establish. Even if the proof has a gap for the ℓ=1 case in Step 6 as the skeptic suggests, that is a correctness concern, not a circularity, because the step is not equivalent to its inputs by construction. No step reduces to its own input by definition, and no uniqueness claim is imported from the authors' prior work to force the result.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The central claim rests on standard spectral theory, a cited perturbation series formula, and a new combinatorial lemma. The graph assumptions (p1)-(p4) are domain assumptions of the theorem. No free parameters are fitted and no new entities are introduced.

assumptions (6)
  • standard math Floquet transform gives a direct integral decomposition of H into fibers h(z) (Proposition 1.1).
    Used in Section 1.2 to identify flat bands with z-constant eigenvalues of h(z).
  • standard math Equivalence of four characterizations of eigenvalues of infinite multiplicity (Proposition 1.2).
    Invoked to define flat bands for non-self-adjoint operators and to justify algebraic conditions on det(h(z)-E).
  • standard math Rayleigh-Schrödinger perturbation series representation (Proposition 2.3), cited to [13].
    The entire perturbative reduction in Section 2 relies on this formula. The second author is a coauthor of [13]; the result is published, so this is independent support rather than circular.
  • standard math Constructibility and closure theorem for polynomial maps over C (Proposition 2.10, from Cox-Little-O'Shea).
    Used in Corollary 2.11 to pass from an open good set to a Zariski-closed bad set.
  • domain assumption The graph is connected, locally finite, with finite fundamental domain and weak edge symmetry (conditions (p1)-(p4)).
    The theorem is stated for such graphs; connectedness implies existence of extremal loops, weak symmetry allows path reversal in Section 3.
  • standard math Lemma 3.2: permutations with |σ(i)-σ(j)|=|i-j| for inversions are interval-wise identities or reflections.
    Proved in sketch form in Section 3.2; load-bearing for the uniqueness of the non-repeated part of extremal loops.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Absence of flat bands for discrete periodic graph operators with generic potentials." pith.science (2026). https://pith.science/paper/7OOWSYUT

@misc{pith2026250901927,
  author       = {Pith},
  title        = {Pith review of: Absence of flat bands for discrete periodic graph operators with generic potentials},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7OOWSYUT}},
  note         = {Machine review of arXiv:2509.01927}
}
read the original abstract

We show that Schr\"odinger-type operators on discrete connected periodic graphs do not have flat bands for generic potentials.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

36 extracted references · 36 canonical work pages

  1. [5]

    Faust M., Liu W., Rare flat bands for periodic graph operators , preprint (2025), https://arxiv.org/abs/ 2503.03632

    work page Pith review arXiv 2025

  2. [13]

    Kachkovskiy I., Parnovski L., Shterenberg R., Convergence of perturbation series for unbounded monotone quasiperiodic operators, Adv. Math. 409 (2022), part B, 108647

    work page 2022

  3. [1]

    Nauk 38 (1983), no

    Arnol’d V., Remarks on perturbation theory for problems of Mathieu type (Russian), Uspekhi Mat. Nauk 38 (1983), no. 4 (232), 189 – 203

    work page 1983

  4. [2]

    Ashcroft N., Mermin N., Solid State Physics , Brooks Cole, 1976

    work page 1976

  5. [3]

    Sh., Suslina T

    Birman M. Sh., Suslina T. A., A periodic magnetic Hamiltonian with a variable metric. The problem of abso- lute continuity, Algebra i Analiz 11 (1999), no. 2, 1 – 40. English translation in St. Petersburg Mathematical Journal 11 (2000), no. 2, 203 – 232

    work page 1999

  6. [4]

    Cox D., Little J., O’Shea D., Ideals, varieties, and algorithms , Springer, New York, (2007)

    work page 2007

  7. [6]

    L., Irreducibility of the Dispersion Polynomial for Periodic Graphs , SIAM Journal on Applied Algebra and Geometry 9, (2025), no

    Faust M., Garcia J. L., Irreducibility of the Dispersion Polynomial for Periodic Graphs , SIAM Journal on Applied Algebra and Geometry 9, (2025), no. 1, 83–107

    work page 2025

  8. [7]

    Fillman J., Liu W., Matos R., Algebraic Properties of the Fermi Variety for Periodic Graph Operators , J. Funct. Anal. 286, (2024), no. 4, 110286

    work page 2024

Show all 36 references
  1. [8]

    Fillman J., Liu W., Matos R., Irreducibility of the Bloch variety for finite-range Schr¨ odinger operators , J. Funct. Anal. 283, (2022), no. 10, Paper No. 109670, 22

    2022

  2. [9]

    Filonov N., Kachkovskiy I., On spectral bands of discrete periodic operators, Comm. Math. Phys. 405, (2024), no. 2, article no. 21

    2024

  3. [10]

    2 (2006), 3826 – 3831

    Filonov N., Sobolev A., Absence of the singular continuous component in the spectra of analytic direct integrals, Journal of Mathematical Sciences 136, no. 2 (2006), 3826 – 3831

    2006

  4. [11]

    P., Reducible Fermi surface for multi-layer quantum graphs including stacked graphene, Comm

    Fisher L., Li W., Shipman S. P., Reducible Fermi surface for multi-layer quantum graphs including stacked graphene, Comm. Math. Phys. 385, (2021), no. 3, 1499 – 1534

    2021

  5. [12]

    2, 570 – 585

    Higuchi Y., Nomura Y., Spectral structure of the Laplacian on a covering graph , European Journal of Com- binatorics 30, (2009), no. 2, 570 – 585

    2009

  6. [14]

    Henri Poincar´ e 25, (2024), no

    Kerner J., T¨ aufer M., Wintermayr J., Robustness of flat bands on the perturbed Kagome and the perturbed super-Kagome lattice, Ann. Henri Poincar´ e 25, (2024), no. 8, 3831 – 3857

    2024

  7. [15]

    Kerner J., Post O., Sabri M., Ta¨ ufer M.,The Curious Spectra and Dynamics of Non-locally Finite Crystals , Comm. Math. Phys. 406 (2025), article no. 169

    2025

  8. [16]

    Kruger H., Periodic and limit-periodic discrete Schr¨ odinger operators, preprint (2011), https://arxiv.org/ abs/1108.1584

    2011 arXiv

  9. [17]

    Korotyaev E., Saburova N., Schr¨ odinger operators on periodic discrete graphs, J. Math. Anal. Appl. 420 (2014), no. 1, 576 – 611

    2014

  10. [18]

    What is known and unknown , J

    Kuchment P., Analytic and algebraic properties of dispersion relations (Bloch varieties) and Fermi surfaces. What is known and unknown , J. Math. Phys. 64, (2023), no. 11, Paper No. 113504, 11

    2023

  11. [19]

    ABSENCE OF FLAT BANDS FOR DISCRETE PERIODIC GRAPH OPERATORS WITH GENERIC POTENTIALS 19

    Kuchment P., Vainberg B., On Embedded Eigenvalues of Perturbed Periodic Schr¨ odinger Operators, (1998). ABSENCE OF FLAT BANDS FOR DISCRETE PERIODIC GRAPH OPERATORS WITH GENERIC POTENTIALS 19

    1998

  12. [20]

    Kuchment P., An overview of periodic elliptic operators , Bull. Amer. Math. Soc. (N.S.) 53, (2016), no. 3, 343 – 414

    2016

  13. [21]

    Kuchment P., Floquet theory for Partial Differential Equations , Birkh¨ auser, 1993

    1993

  14. [22]

    9 – 10, 1809 – 1826

    Kuchment P., Vainberg B., On absence of embedded eigenvalues for Schr¨ odinger operators with perturbed periodic potentials, Communications in Partial Differential Equations 25, (2000), no. 9 – 10, 1809 – 1826

    2000

  15. [23]

    3, 673 – 686

    Kuchment P., Vainberg B., On the Structure of Eigenfunctions Corresponding to Embedded Eigenvalues of Locally Perturbed Periodic Graph Operators , Communications in Mathematical Physics 268, (2006), no. 3, 673 – 686

    2006

  16. [24]

    P., Irreducibility of the Fermi surface for planar periodic graph operators , Lett

    Li W., Shipman S. P., Irreducibility of the Fermi surface for planar periodic graph operators , Lett. Math. Phys. 110, (2020), no. 9, 2543 – 2572

    2020

  17. [25]

    Liu W., Bloch varieties and quantum ergodicity for periodic graph operators , J. Anal. Math. 153, (2024), no. 2

    2024

  18. [27]

    N., Sharp decay rate for eigenfunctions of perturbed periodic Schr¨ odinger operators, preprint (2024), https://arxiv.org/abs/2409.10387

    Liu W., Matos R., Treuer J. N., Sharp decay rate for eigenfunctions of perturbed periodic Schr¨ odinger operators, preprint (2024), https://arxiv.org/abs/2409.10387

    2024 arXiv

  19. [28]

    Liu W., Irreducibility of the Fermi variety for discrete periodic Schr¨ odinger operators and embedded eigen- values, Geom. Funct. Anal. 32, (2022), no. 1, 1 – 30

    2022

  20. [29]

    Liu W., Criteria for embedded eigenvalues for discrete Schr¨ odinger operators, Int. Math. Res. Not. IMRN, (2021), no. 20, 15803 – 15832

    2021

  21. [30]

    Liu W., Bloch varieties and quantum ergodicity for periodic graph operators , Journal d’Analyse Math´ ematique 153 (2024), 671 – 681

    2024

  22. [31]

    Liu W., Topics on Fermi varieties of discrete periodic Schr¨ odinger operators, J. Math. Phys. 63, (2022), no. 2, Paper No. 023503, 13

    2022

  23. [32]

    Reed M., Simon B., Methods of Modern Mathematical Physics, Volume IV: Analysis of Operators , Academic Press, 1978

    1978

  24. [33]

    Sabri M., Youssef P., Flat bands of periodic graphs , J. Math. Phys. 64, (2023), no. 9, Paper No. 092101, 23

    2023

  25. [34]

    P., Reducible Fermi surfaces for non-symmetric bilayer quantum-graph operators , J

    Shipman S. P., Reducible Fermi surfaces for non-symmetric bilayer quantum-graph operators , J. Spectr. Theory 10, (2020), no. 1, 33 – 72

    2020

  26. [35]

    P., Eigenfunctions of unbounded support for embedded eigenvalues of locally perturbed periodic graph operators, Comm

    Shipman S. P., Eigenfunctions of unbounded support for embedded eigenvalues of locally perturbed periodic graph operators, Comm. Math. Phys. 332, (2014), no. 2, 605 – 626

    2014

  27. [36]

    P., Sottile F., Algebraic Aspects of Periodic Graph Operators, preprint (2025), https://arxiv

    Shipman S. P., Sottile F., Algebraic Aspects of Periodic Graph Operators, preprint (2025), https://arxiv. org/abs/2502.03659

    2025 arXiv

  28. [37]

    Thomas L., Time-dependent approach to scattering from impurities in a crystal , Commun. Math. Phys. 33 (1973), 335 – 343. Department of Mathematics, Michigan State University, Wells Hall, 619 Red Cedar Road, East Lansing, MI, 48840, United States of America Department of Mathe...

    1973

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.