Recognition: 2 theorem links
· Lean TheoremOn the origin of energy gaps in quasicrystalline potentials
Pith reviewed 2026-05-16 20:53 UTC · model grok-4.3
The pith
Energy gaps in quasicrystals arise from resonant hybridization between increasingly distant neighboring sites that pins the integrated density of states to specific irrational areas in configuration space.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
A hierarchy of gaps stems from resonant hybridization between increasingly distant neighboring sites, pinning the integrated density of states below these gaps to specific irrational areas in configuration space. The configuration-space framework predicts the positions and origins of the gaps exactly, and large-scale simulations of a lowest-band tight-binding model built from localized Wannier functions show excellent agreement with these predictions.
What carries the argument
Configuration-space framework that identifies resonant hybridizations between sites at increasing distances and maps them to gaps that pin the integrated density of states at irrational values.
If this is right
- Gap positions and the associated irrational pinning values of the integrated density of states are determined exactly for any quasicrystalline potential in the infinite-size limit.
- The hierarchy of gaps can be generated systematically by considering successive levels of hybridization between more distant neighbors.
- The lowest-band tight-binding model suffices to reproduce the full gap structure once the configuration-space predictions are applied.
- Quantum properties of quasicrystals become accessible to analytic treatment beyond finite-size numerics.
Where Pith is reading between the lines
- The same hybridization mechanism may classify gaps in other aperiodic or quasiperiodic potentials where real-space numerics are intractable.
- Experimental spectra could be checked for the predicted irrational pinning values to test whether the configuration-space description survives disorder or interactions.
- The framework suggests a route to engineer specific gap sequences by tuning the underlying quasiperiodic potential parameters.
Load-bearing premise
The configuration-space framework together with the lowest-band tight-binding model from localized Wannier functions remains accurate in the infinite-size limit without additional finite-size corrections or higher-band effects.
What would settle it
A direct numerical or experimental measurement showing that the integrated density of states below a predicted gap deviates from the specific irrational area fixed by the configuration-space calculation in the thermodynamic limit.
Figures
read the original abstract
Quasicrystals, structures that are ordered yet aperiodic, defy conventional band theory, confining most studies to finite-size real-space numerics. We overcome this limitation with a configuration-space framework that predicts and explains the positions and origins of energy gaps in quasicrystalline potentials. We find that a hierarchy of gaps stems from resonant hybridization between increasingly distant neighboring sites, pinning the integrated density of states below these gaps to specific irrational areas in configuration space. Large-scale simulations of a lowest-band tight-binding model built from localized Wannier functions show excellent agreement with these predictions. By moving beyond finite-size numerics, this study advances the understanding of quasicrystalline potentials, paving the way for new explorations of their quantum properties in the infinite-size limit.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript introduces a configuration-space framework to predict and explain energy gaps in quasicrystalline potentials. It claims that a hierarchy of gaps arises from resonant hybridization between increasingly distant neighboring sites, which pins the integrated density of states (IDOS) below the gaps to specific irrational areas in configuration space. This is supported by large-scale simulations of a lowest-band tight-binding model constructed from localized Wannier functions, which show excellent agreement with the analytic predictions and extend the analysis beyond finite-size real-space numerics.
Significance. If the central claims hold, the work offers a meaningful advance by providing an analytic route to the infinite-size limit of quasicrystalline spectra, where conventional band theory fails. The configuration-space approach and its agreement with TB numerics could enable new explorations of quantum properties in aperiodic systems, particularly if the framework proves robust against higher-band effects.
major comments (2)
- [§4] §4 (numerical validation): The reported agreement is exclusively between the configuration-space predictions and finite-size lowest-band TB numerics. No direct comparison is shown to the full continuous Schrödinger operator on the same approximants, leaving open whether band mixing or non-local effects from the aperiodic potential become significant in the thermodynamic limit. This comparison is load-bearing for the claim that the TB model faithfully reproduces the potential.
- [§3] §3 (hybridization rules and IDOS pinning): The derivation that resonant hybridization pins the IDOS to exact irrational areas lacks explicit step-by-step algebra, error bounds, or rules for excluding non-resonant contributions. Without these, it is unclear whether the predictions are truly parameter-free or whether normalization choices in the configuration-space areas are tuned to the quantities being predicted.
minor comments (2)
- [Abstract] Abstract: The phrase 'excellent agreement' is used without reference to quantitative metrics (e.g., RMS deviation or R² values) or specific figures/tables that display the comparison.
- [§2] Notation: The definition of the configuration-space areas and the precise meaning of 'irrational areas' should be stated explicitly in a dedicated equation or table to avoid ambiguity when comparing to IDOS values.
Simulated Author's Rebuttal
We thank the referee for their positive evaluation of the significance of our work and for the detailed, constructive comments. We respond to each major comment below and indicate the revisions planned for the manuscript.
read point-by-point responses
-
Referee: §4 (numerical validation): The reported agreement is exclusively between the configuration-space predictions and finite-size lowest-band TB numerics. No direct comparison is shown to the full continuous Schrödinger operator on the same approximants, leaving open whether band mixing or non-local effects from the aperiodic potential become significant in the thermodynamic limit. This comparison is load-bearing for the claim that the TB model faithfully reproduces the potential.
Authors: We acknowledge the value of a direct comparison to the full continuous Schrödinger operator. The tight-binding model is constructed from maximally localized Wannier functions extracted from the continuous potential, which by construction captures the low-energy sector with exponentially small errors due to localization. The configuration-space predictions are formulated for this effective model, and the reported large-scale TB simulations already demonstrate convergence to the analytic IDOS values beyond finite-size real-space limits. In the revised manuscript we will add a dedicated paragraph in §4 (and a supporting estimate in the methods) quantifying the expected band-mixing corrections from the Wannier localization length, thereby clarifying why the TB faithfully reproduces the potential for the gaps under consideration. A full-operator comparison on large approximants lies outside the present scope but is not required to substantiate the central claims. revision: partial
-
Referee: §3 (hybridization rules and IDOS pinning): The derivation that resonant hybridization pins the IDOS to exact irrational areas lacks explicit step-by-step algebra, error bounds, or rules for excluding non-resonant contributions. Without these, it is unclear whether the predictions are truly parameter-free or whether normalization choices in the configuration-space areas are tuned to the quantities being predicted.
Authors: The pinning arises because resonant hybridization occurs precisely when the phase-space orbit closes after an integer number of steps under the irrational rotation, enclosing an area fixed by the continued-fraction convergents of the rotation number. We will insert a new appendix that supplies the missing step-by-step algebra: (i) the resonance condition expressed as an equality between the on-site energy difference and the hopping amplitude, (ii) the explicit computation of the enclosed configuration-space area from the orbit, and (iii) a perturbative bound showing that non-resonant contributions are suppressed by the detuning energy, which grows with distance. The areas are determined solely by the geometry of the torus and the irrational rotation number; no adjustable normalization is introduced. These additions will make the derivation fully explicit and demonstrate that the predictions remain parameter-free. revision: yes
Circularity Check
No significant circularity in configuration-space derivation
full rationale
The paper constructs a configuration-space framework from resonant hybridization rules between neighboring sites to predict gap positions and the pinning of IDOS to specific irrational areas. These predictions are then compared for agreement against independent large-scale numerical simulations of the lowest-band tight-binding model. No quoted step shows a prediction that reduces by construction to a fitted parameter, a self-defined quantity, or a load-bearing self-citation; the hybridization mechanism supplies explanatory content separate from the numerical outputs. The absence of a direct benchmark against the full continuous Schrödinger operator is a potential limitation on model validity but does not create circularity within the reported derivation chain.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Quasicrystalline potentials admit a configuration-space representation in which resonant hybridization between distant sites can be identified without finite-size truncation.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
hierarchy of gaps stems from resonant hybridization... pinning the integrated density of states below these gaps to specific irrational areas in configuration space... silver ratio 1/(1+√2)
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Forward citations
Cited by 1 Pith paper
-
Programmable Dynamic Phase Control of a Quasiperiodic Optical Lattice
An experimental scheme creates a programmable dynamic 2D quasiperiodic optical lattice with phase noise suppressed by over 70 dB below 60 Hz and 350 kHz modulation bandwidth, enabling translational and phasonic contro...
Reference graph
Works this paper leans on
-
[1]
To verify our predictions, we use our recently developed techniques [36] to construct a large-scale numerical tight-binding Hamiltonian of the lowest band of the system and find excellent agreement between the numerics and our analytical predictions. In addition, we establish the 8QC as an ideal candidate for hosting two-dimensional (2D) many-body localis...
-
[2]
EveryΦuniquely identifies a single lattice site
-
[3]
In the infinite-size limit, the octagon is densely and uniformly populated with lattice sites, which is sim- ilar to the perpendicular spaces of octagonal dis- crete quasiperiodic lattices [54, 55]
-
[4]
Every edge of the octagon can be identified with the opposing edge, equipping configuration space with periodic boundary conditions and hence the topology of a two-hole torus
-
[5]
Symmetry points or lines in configuration space correspond to symmetry points or lines of the qua- sicrystal. For instance, the center of configuration space corresponds to the global minimum and cen- ter of eight-fold symmetry of the 8QC potential. We can then re-express the tight-binding Hamiltonian of the 8QC in this uniformly dense octagonal configura...
-
[6]
To demonstrate the validity of the ana- lytical construction, we predicted the integrated density of states expected below the lowest of the most signifi- cant gaps in the system and found excellent agreement with numerics obtained on a large-scale tight-binding Hamiltonian constructed using localized Wannier func- tions. Additionally, we observed that th...
-
[7]
D. Shechtman, I. Blech, D. Gratias, and J. W. Cahn, Metallic Phase with Long-Range Orientational Order and No Translational Symmetry, Physical Review Let- ters53, 1951 (1984)
work page 1951
-
[8]
P. A. Thiel and J.-M. Dubois, Quasicrystals. Reaching maturity for technological applications, Materials Today 2, 3 (1999)
work page 1999
-
[9]
L. Bindi, W. Kolb, G. N. Eby, P. D. Asimow, T. C. Wal- lace, and P. J. Steinhardt, Accidental synthesis of a pre- viously unknown quasicrystal in the first atomic bomb test, Proceedings of the National Academy of Sciences 118, 10.1073/pnas.2101350118 (2021)
- [10]
-
[11]
G. Agros` ı, P. Manzari, D. Mele, G. Tempesta, F. Rizzo, T. Catelani, and L. Bindi, A naturally occurring Al- Cu-Fe-Si quasicrystal in a micrometeorite from southern Italy, Communications Earth & Environment5, 1 (2024)
work page 2024
- [12]
-
[13]
S. Yao and Z. Wang, Edge states and topo- logical invariants of non-hermitian systems, Physical Review Letters121, 086803 (2018), https://www.pnas.org/doi/pdf/10.1073/pnas.1720865115
-
[14]
S. J. Ahn, P. Moon, T.-H. Kim, H.-W. Kim, H.-C. Shin, E. H. Kim, H. W. Cha, S.-J. Kahng, P. Kim, M. Koshino, Y.-W. Son, C.-W. Yang, and J. R. Ahn, Dirac electrons in a dodecagonal graphene quasicrystal, Science361, 782 (2018)
work page 2018
-
[15]
A. Uri, S. C. de la Barrera, M. T. Randeria, D. Rodan- Legrain, T. Devakul, P. J. D. Crowley, N. Paul, K. Watanabe, T. Taniguchi, R. Lifshitz, L. Fu, R. C. Ashoori, and P. Jarillo-Herrero, Superconductivity and strong interactions in a tunable moir´ e quasicrystal, Na- ture620, 762 (2023)
work page 2023
-
[16]
W. Steurer and D. Sutter-Widmer, Photonic and phononic quasicrystals, Journal of Physics D: Applied Physics40, R229–R247 (2007)
work page 2007
-
[17]
Z. V. Vardeny, A. Nahata, and A. Agrawal, Optics of pho- tonic quasicrystals, Nature Photonics7, 177–187 (2013)
work page 2013
-
[18]
Y. E. Kraus, Y. Lahini, Z. Ringel, M. Verbin, and O. Zilberberg, Topological states and adiabatic pump- ing in quasicrystals, Physical Review Letters109, 106402 (2012)
work page 2012
-
[19]
Y. E. Kraus, Z. Ringel, and O. Zilberberg, Four- Dimensional Quantum Hall Effect in a Two-Dimensional Quasicrystal, Physical Review Letters111, 226401 (2013)
work page 2013
- [20]
- [21]
-
[22]
V. Goblot, A. ˇStrkalj, N. Pernet, J. L. Lado, C. Dorow, A. Lemaˆ ıtre, L. Le Gratiet, A. Harouri, I. Sagnes, S. Ravets, A. Amo, J. Bloch, and O. Zilberberg, Emer- gence of criticality through a cascade of delocalization transitions in quasiperiodic chains, Nature Physics16, 832–836 (2020)
work page 2020
-
[23]
Senechal,Quasicrystals and Geometry(Cambridge University Press, Cambridge, 1995)
M. Senechal,Quasicrystals and Geometry(Cambridge University Press, Cambridge, 1995)
work page 1995
-
[24]
J. Bellissard, A. Bovier, and J.-M. Ghez, Gap labelling theorems for one dimensional discrete schr¨ odinger oper- ators, Reviews in Mathematical Physics04, 1 (1992), https://doi.org/10.1142/S0129055X92000029
-
[25]
M. Sbroscia, K. Viebahn, E. Carter, J.-C. Yu, A. Gaunt, and U. Schneider, Observing Localization in a 2D Qua- sicrystalline Optical Lattice, Physical Review Letters 125, 200604 (2020)
work page 2020
-
[26]
T. Devakul and D. A. Huse, Anderson localization tran- sitions with and without random potentials, Phys. Rev. B96, 214201 (2017)
work page 2017
- [27]
-
[28]
S. Ostlund, R. Pandit, D. Rand, H. J. Schellnhuber, and E. D. Siggia, One-dimensional schr¨ odinger equation with an almost periodic potential, Phys. Rev. Lett.50, 1873 (1983)
work page 1983
-
[29]
J. Q. You, J. R. Yan, T. Xie, X. Zeng, and J. X. Zhong, Generalized fibonacci lattices: dynamical maps, energy spectra and wavefunctions, Journal of Physics: Con- densed Matter3, 7255 (1991)
work page 1991
-
[30]
J. H. Han, D. J. Thouless, H. Hiramoto, and M. Kohmoto, Critical and bicritical properties of harper’s equation with next-nearest-neighbor coupling, Phys. Rev. B50, 11365 (1994)
work page 1994
-
[31]
A. Szab´ o and U. Schneider, Mixed spectra and par- tially extended states in a two-dimensional quasiperiodic model, Physical Review B101, 014205 (2020)
work page 2020
- [32]
-
[33]
K. Viebahn, M. Sbroscia, E. Carter, J.-C. Yu, and U. Schneider, Matter-Wave Diffraction from a Quasicrys- talline Optical Lattice, Physical Review Letters122, 110404 (2019). 14
work page 2019
-
[34]
M. N. Kosch, L. Asteria, H. P. Zahn, K. Sengstock, and C. Weitenberg, Multifrequency optical lattice for dynamic lattice-geometry control, Physical Review Re- search4, 043083 (2022)
work page 2022
-
[35]
J.-C. Yu, S. Bhave, L. Reeve, B. Song, and U. Schneider, Observing the two-dimensional bose glass in an optical quasicrystal, Nature633, 338–343 (2024)
work page 2024
-
[36]
D. Johnstone, P. ¨Ohberg, and C. W. Duncan, Mean-field phases of an ultracold gas in a quasicrystalline potential, Physical Review A100, 053609 (2019)
work page 2019
-
[37]
D. Johnstone, P. ¨Ohberg, and C. W. Duncan, The mean- field bose glass in quasicrystalline systems, Journal of Physics A: Mathematical and Theoretical54, 395001 (2021)
work page 2021
-
[38]
R. Gautier, H. Yao, and L. Sanchez-Palencia, Strongly Interacting Bosons in a Two-Dimensional Quasicrystal Lattice, Physical Review Letters126, 110401 (2021)
work page 2021
- [39]
-
[40]
Z. Zhu, H. Yao, and L. Sanchez-Palencia, Thermody- namic phase diagram of two-dimensional bosons in a qua- sicrystal potential, Physical Review Letters130, 220402 (2023)
work page 2023
-
[41]
A. Szab´ o and U. Schneider, Non-power-law universality in one-dimensional quasicrystals, Physical Review B98, 134201 (2018)
work page 2018
-
[42]
E. Gottlob and U. Schneider, Hubbard models for qua- sicrystalline potentials, Physical Review B107, 144202 (2023)
work page 2023
-
[43]
W. De Roeck and F. Huveneers, Stability and instabil- ity towards delocalization in many-body localization sys- tems, Physical Review B95, 155129 (2017)
work page 2017
-
[44]
U. Agrawal, R. Vasseur, and S. Gopalakrishnan, Quasiperiodic many-body localization transition in di- mension$d>1$, Physical Review B106, 094206 (2022)
work page 2022
-
[45]
P. J. D. Crowley and A. Chandran, Mean-field theory of failed thermalizing avalanches, Phys. Rev. B106, 184208 (2022)
work page 2022
-
[46]
A. ˇStrkalj, E. V. H. Doggen, and C. Castelnovo, Coexis- tence of localization and transport in many-body two- dimensional Aubry-Andr´ e models, Physical Review B 106, 184209 (2022)
work page 2022
-
[47]
D. Johnstone, P. ¨Ohberg, and C. W. Duncan, Bar- riers to macroscopic superfluidity and insulation in a 2d aubry–andr´ e model, Journal of Physics B: Atomic, Molecular and Optical Physics55, 125302 (2022)
work page 2022
-
[48]
C. W. Duncan, Critical states and anomalous mobility edges in two-dimensional diagonal quasicrystals, Phys. Rev. B109, 014210 (2024)
work page 2024
-
[49]
A. Jagannathan and M. Duneau, An eightfold optical quasicrystal with cold atoms, EPL (Europhysics Letters) 104, 66003 (2013)
work page 2013
-
[50]
A. Jagannathan and M. Duneau, Properties of the ammann-beenker tiling and its square approximants (2024), arXiv:2308.07701 [cond-mat.str-el]
-
[51]
E. Gottlob, D. S. Borgnia, R.-J. Slager, and U. Schnei- der, Quasiperiodicity protects quantized transport in dis- ordered systems without gaps, PRX Quantum6, 020359 (2025)
work page 2025
-
[52]
P. Marra and M. Nitta, Topologically quantized current in quasiperiodic Thouless pumps, Physical Review Re- search2, 042035 (2020)
work page 2020
- [53]
-
[54]
J. Zhu, Z. Chen, and B. Wu, Construction of Maximally Localized Wannier Functions, Frontiers of Physics12, 127102 (2017), arXiv:1609.05992
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[55]
M. L. Wall, K. R. A. Hazzard, and A. M. Rey, Effec- tive many-body parameters for atoms in nonseparable Gaussian optical potentials, Physical Review A: Atomic, Molecular, and Optical Physics92, 013610 (2015)
work page 2015
-
[56]
H.-T. Wei, E. Ibarra-Garc´ ıa-Padilla, M. L. Wall, and K. R. A. Hazzard, Hubbard parameters for pro- grammable tweezer arrays, Physical Review A: Atomic, Molecular, and Optical Physics109, 013318 (2024)
work page 2024
-
[57]
Z. Zhu, S. Yu, D. Johnstone, and L. Sanchez-Palencia, Localization and spectral structure in two-dimensional quasicrystal potentials, Phys. Rev. A109, 013314 (2024)
work page 2024
-
[58]
E. Gottlob, Large-scale tight-binding hamiltonians of the eightfold quasicrystalline potential (8qc),https://doi. org/10.17863/CAM.95664
-
[59]
B. I. Shklovskii, B. Shapiro, B. R. Sears, P. Lambrian- ides, and H. B. Shore, Statistics of spectra of disordered systems near the metal-insulator transition, Phys. Rev. B47, 11487 (1993)
work page 1993
-
[60]
M. Mirzhalilov and M. ¨O. Oktel, Perpendicular space ac- counting of localized states in a quasicrystal, Physical Review B102, 064213 (2020)
work page 2020
-
[61]
M. ¨O. Oktel, Strictly localized states in the octagonal Ammann-Beenker quasicrystal, Physical Review B104, 014204 (2021)
work page 2021
-
[62]
R. B. Griffiths, Nonanalytic behavior above the critical point in a random ising ferromagnet, Physical Review Letters23, 17–19 (1969)
work page 1969
-
[63]
K. Agarwal, E. Altman, E. Demler, S. Gopalakrishnan, D. A. Huse, and M. Knap, Rare-region effects and dy- namics near the many-body localization transition, An- nalen der Physik529, 10.1002/andp.201600326 (2017)
-
[64]
A. Jagannathan, Closing of gaps, gap labeling, and pas- sage from molecular states to critical states in a two- dimensional quasicrystal, Phys. Rev. B108, 115109 (2023)
work page 2023
-
[65]
Sinc Discrete Variable representation The slow, polynomial, convergence of finite-difference (FD) methods calls for the use of alternatives with im- proved convergence rate. This can be achieved with the use of discrete variable representation (DVR) methods, which have been commonly used in chemical and molecu- lar physics, but did not find their way to t...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.