Recognition: 2 theorem links
· Lean TheoremBound States in Second-order Topological Graphitic Structures
Pith reviewed 2026-05-13 02:08 UTC · model grok-4.3
The pith
Graphitic structures with zigzag edges form four topological classes that host protected massless corner states at domain intersections.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
By engineering the positions and connections of zigzag edges, graphitic structures can be classified into four topological classes. Domains belonging to different classes intersect to produce topologically protected massless corner states. Tuning the smoothness of the domain wall between such domains produces additional massive localized states with non-zero angular momentum, allowing both types of bound states to coexist in two dimensions.
What carries the argument
The four topological classes defined by the positions and connections of zigzag edges, together with the domain walls that separate domains of different classes.
If this is right
- Topologically protected massless corner states appear at intersections of domains from different topological classes.
- Tuning domain-wall smoothness produces additional massive localized states carrying non-zero angular momentum.
- Both massless and massive bound states can coexist within the same two-dimensional structure.
- This edge-engineering approach supplies a practical route to realizing quadrupole insulators in graphitic materials.
Where Pith is reading between the lines
- The same edge-position classification might be applied to other two-dimensional lattices to generate analogous bound states.
- The massive states with angular momentum could be probed for transport signatures distinct from the massless corner states.
- Varying the domain-wall profile offers an experimental knob to switch between regimes containing only massless states or both types of states.
Load-bearing premise
That the positions and connections of zigzag edges can be used to define four distinct topological classes whose domain walls produce the claimed massless and massive bound states.
What would settle it
Fabrication of a graphitic structure with intersecting domains from different classes that shows no massless corner state at the intersection would falsify the central claim.
Figures
read the original abstract
Quadrupole insulators are a class of second-order topological insulators (SOTIs) that host zero-dimensional corner states within a two-dimensional bulk. Despite their unique properties, their realization in electronic systems on realistic material platforms remains rare. In this work, we present a general design principle to obtain quadrupole insulators based on two-dimensional graphitic structures. By engineering the positions and connections of zigzag edges, we identify four topological classes of graphitic structures. We show that topologically protected massless corner state emerge at the intersection of domains belonging to different topological classes. Crucially, by tuning the smoothness of the domain wall, we further demonstrate the appearance of additional massive localized states with non-zero angular momentum. Our results provide a practical framework for realizing experimentally accessible SOTIs and uncover the coexistence of both massless and massive bound states in two dimensions.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proposes a design principle for quadrupole insulators (second-order topological insulators) in 2D graphitic structures. By engineering positions and connections of zigzag edges, four topological classes are identified. Topologically protected massless corner states are claimed to emerge at intersections of domains from different classes; tuning domain-wall smoothness is further claimed to produce additional massive localized states carrying non-zero angular momentum.
Significance. If the topological classification is rigorously established, the work supplies a concrete, experimentally accessible route to SOTIs on graphitic platforms and demonstrates coexistence of massless and massive 2D bound states. The geometric construction is appealing for fabrication, but its impact hinges on verification that the classes are distinguished by a bulk invariant rather than by local geometry alone.
major comments (1)
- [Section introducing the four topological classes] The four topological classes are introduced via geometric engineering of zigzag-edge positions and connections, yet no explicit values of a distinguishing bulk invariant (quadrupole moment, nested Wilson loop, or equivalent) are reported for each class. Without this, the assertion that domain-wall intersections host topologically protected massless corner states (rather than states arising from local confinement or potential) cannot be verified. This is load-bearing for the central claim.
minor comments (1)
- [Abstract] Abstract, line 3: 'massless corner state emerge' is grammatically incorrect and should read 'massless corner states emerge'.
Simulated Author's Rebuttal
We thank the referee for their careful reading of our manuscript and for identifying this important point regarding the explicit verification of the bulk topological invariants. We address the concern below and will strengthen the manuscript accordingly.
read point-by-point responses
-
Referee: [Section introducing the four topological classes] The four topological classes are introduced via geometric engineering of zigzag-edge positions and connections, yet no explicit values of a distinguishing bulk invariant (quadrupole moment, nested Wilson loop, or equivalent) are reported for each class. Without this, the assertion that domain-wall intersections host topologically protected massless corner states (rather than states arising from local confinement or potential) cannot be verified. This is load-bearing for the central claim.
Authors: We agree that explicitly reporting the values of a bulk invariant is essential to rigorously establish the topological classification and to confirm that the corner states are protected by bulk topology rather than arising solely from local geometry. In the original manuscript the four classes were defined through the distinct geometric arrangements of zigzag edges and the resulting patterns of protected states at domain intersections. To address this, we will add in the revised manuscript explicit calculations of the quadrupole moment (and, where relevant, the nested Wilson loop eigenvalues) for representative structures from each of the four classes. These calculations will demonstrate that the classes are distinguished by quantized values of the bulk invariant (e.g., differing by 1/2 in the appropriate normalization), thereby confirming the topological origin of the massless corner states. We will also include a brief discussion of how the geometric engineering maps onto these invariant values. revision: yes
Circularity Check
No significant circularity; derivation relies on geometric class definition plus standard SOTI invariants.
full rationale
The abstract and provided text define four classes explicitly by zigzag-edge positions and connections, then invoke standard quadrupole/SOTI theory for protected corner states at domain walls. No equations, self-citations, or fitted parameters are shown that would make any 'prediction' equivalent to the input by construction. The skeptic's concern about an uncomputed invariant is a completeness issue, not a circular reduction. This matches the reader's assessment of score 2.0 with no self-definitional or load-bearing self-citation patterns.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Zigzag-edge positions and connections in graphitic structures define four distinct topological classes.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
By engineering the positions and connections of zigzag edges, we identify four topological classes... Wilson loop... nested Wilson loop... quadrupole moment q_xy = 2e p_vx^y p_vy^x
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Linearizing... low-energy theory... Dirac cone... domain wall μ_i... massive states with angular momentum l
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.
Reference graph
Works this paper leans on
-
[1]
C. L. Kane and E. J. Mele, Phys. Rev. Lett.95, 146802 (2005)
work page 2005
-
[2]
B. A. Volkov and O. A. Pankratov, JETP Lett.42, 178 (1985)
work page 1985
-
[3]
S. Tchoumakov, V. Jouffrey, A. Inhofer, E. Bocquillon, B. Pla¸ cais, D. Carpentier, and M. Goerbig, Phys. Rev. B 96, 201302 (2017)
work page 2017
- [4]
-
[5]
T. L. Van Den Berg, A. De Martino, M. R. Calvo, and D. Bercioux, Phys. Rev. Res.2, 023373 (2020)
work page 2020
-
[6]
D. M. Mahler, V. L. M¨ uller, C. Thienel, J. Wiedenmann, W. Beugeling, H. Buhmann, and L. W. Molenkamp, Nano Lett.21, 9869 (2021)
work page 2021
-
[8]
W. A. Benalcazar, B. A. Bernevig, and T. L. Hughes, Phys. Rev. B96, 245115 (2017)
work page 2017
-
[9]
F. Schindler, A. M. Cook, M. G. Vergniory, Z. Wang, S. S. Parkin, B. A. Bernevig, and T. Neupert, Sci. Adv. 4, eaat0346 (2018)
work page 2018
- [10]
- [11]
-
[12]
J. Langbehn, Y. Peng, L. Trifunovic, F. Von Oppen, and P. W. Brouwer, Phys. Rev. Lett.119, 246401 (2017)
work page 2017
- [13]
- [14]
- [15]
-
[16]
M. J. Park, Y. Kim, G. Y. Cho, and S. Lee, Phys. Rev. Lett.123, 216803 (2019)
work page 2019
-
[17]
T. Hu, T. Zhang, H. Mu, and Z. Wang, J. Phys. Chem. Lett.13, 10905 (2022)
work page 2022
-
[18]
X. Ni, H. Huang, and J.-L. Br´ edas, J. Am. Chem. Soc. 144, 22778 (2022)
work page 2022
- [19]
-
[20]
B. Liu, G. Zhao, Z. Liu, and Z. F. Wang, Nano Lett.19, 6492 (2019)
work page 2019
- [21]
-
[22]
L. Wang, A. H. Qureshi, Y. Sun, X. Xu, X. Yao, A.-L. He, Y. Zhou, and X. Zhang, Phys. Rev. B111, 035113 (2025). 6
work page 2025
-
[23]
S. K. Radha and W. R. L. Lambrecht, Phys. Rev. B102, 115104 (2020)
work page 2020
-
[24]
M. Pan, D. Li, J. Fan, and H. Huang, npj Comput. Mater. 8, 1 (2022)
work page 2022
-
[25]
S. N. Kempkes, M. R. Slot, J. J. van den Broeke, P. Capiod, W. A. Benalcazar, D. Vanmaekelbergh, D. Bercioux, I. Swart, and C. Morais Smith, Nat. Mater. 18, 1292 (2019)
work page 2019
-
[26]
Y. Xue, H. Huan, B. Zhao, Y. Luo, Z. Zhang, and Z. Yang, Phys. Rev. Res.3, L042044 (2021)
work page 2021
- [27]
-
[28]
H. Mu, B. Liu, T. Hu, and Z. Wang, Nano Lett.22, 1122 (2022)
work page 2022
-
[29]
Z. Li, P. Zhou, Q. Yan, X. Peng, Z. Ma, and L. Sun, Phys. Rev. B106, 085126 (2022)
work page 2022
-
[30]
B. Liu, L. Xian, H. Mu, G. Zhao, Z. Liu, A. Rubio, and Z. F. Wang, Phys. Rev. Lett.126, 066401 (2021)
work page 2021
-
[31]
T. Hu, W. Zhong, T. Zhang, W. Wang, and Z. Wang, Nat. Commun.14, 7092 (2023)
work page 2023
-
[32]
L. He, Z. Addison, E. J. Mele, and B. Zhen, Nat. Com- mun.11, 3119 (2020)
work page 2020
-
[33]
C. W. Peterson, W. A. Benalcazar, T. L. Hughes, and G. Bahl, Nature555, 346 (2018)
work page 2018
- [34]
- [35]
-
[36]
M. Serra-Garcia, V. Peri, R. S¨ usstrunk, O. R. Bilal, T. Larsen, L. G. Villanueva, and S. D. Huber, Nature 555, 342 (2018)
work page 2018
-
[37]
S. S. Yamada, T. Li, M. Lin, C. W. Peterson, T. L. Hughes, and G. Bahl, Nat. Commun.13, 2035 (2022)
work page 2035
- [38]
-
[39]
K. Wakabayashi, K.-i. Sasaki, T. Nakanishi, and T. Enoki, Sci. Technol. Adv. Mater.11, 054504 (2010)
work page 2010
- [40]
-
[41]
O. Gr¨ oning, S. Wang, X. Yao, C. A. Pignedoli, G. Borin Barin, C. Daniels, A. Cupo, V. Meunier, X. Feng, A. Narita,et al., Nature560, 209 (2018)
work page 2018
-
[42]
D. J. Rizzo, G. Veber, T. Cao, C. Bronner, T. Chen, F. Zhao, H. Rodriguez, S. G. Louie, M. F. Crommie, and F. R. Fischer, Nature560, 204 (2018)
work page 2018
-
[43]
D. J. Rizzo, G. Veber, J. Jiang, R. McCurdy, T. Cao, C. Bronner, T. Chen, S. G. Louie, F. R. Fischer, and M. F. Crommie, Science369, 1597 (2020)
work page 2020
-
[44]
T. Cao, F. Zhao, and S. G. Louie, Phys. Rev. Lett.119, 076401 (2017)
work page 2017
- [45]
-
[46]
A. J. Heeger, S. Kivelson, J. R. Schrieffer, and W.-P. Su, Rev. Mod. Phys.60, 781 (1988)
work page 1988
-
[47]
J. K. Asb´ oth, L. Oroszl´ any, and A. P´ alyi,A short course on topological insulators, Vol. 919 (Springer, 2016)
work page 2016
-
[49]
A. Alexandradinata, X. Dai, and B. A. Bernevig, Phys. Rev. B89, 155114 (2014)
work page 2014
-
[50]
M. Sarker, C. Dobner, P. Zahl, C. Fiankor, J. Zhang, A. Saxena, N. Aluru, A. Enders, and A. Sinitskii, J. Am. Chem. Soc.146, 14453 (2024). Supplemental Material for Massive Bound States in Second-order Topological Graphitic Structures Haiyue Huang, 1 Prineha Narang, 1, 2,∗ and Ioannis Petrides 1,∗ 1Division of Physical Sciences, College of Letters and Sci...
work page 2024
- [51]
- [52]
- [53]
-
[54]
V. Wang, N. Xu, J.-C. Liu, G. Tang, and W.-T. Geng, Comput. Phys. Commun.267, 108033 (2021)
work page 2021
-
[55]
P. Giannozzi, S. Baroni, N. Bonini, M. Calandra, R. Car, C. Cavazzoni, D. Ceresoli, G. L. Chiarotti, M. Cococ- cioni, I. Dabo,et al., J. Phys.: Condens. Matter21, 395502 (2009)
work page 2009
-
[56]
A. A. Mostofi, J. R. Yates, Y.-S. Lee, I. Souza, D. Van- derbilt, and N. Marzari, Comput. Phys. Commun.178, 685 (2008)
work page 2008
-
[57]
W. A. Benalcazar, B. A. Bernevig, and T. L. Hughes, Science357, 61 (2017)
work page 2017
-
[58]
Z. Wang, B. J. Wieder, J. Li, B. Yan, and B. A. Bernevig, Phys. Rev. Lett.123, 186401 (2019)
work page 2019
-
[59]
T. Yusufaly, D. Vanderbilt, and S. Coh, Tight-binding formalism in the context of the pythtb package (2013)
work page 2013
-
[60]
W. A. Benalcazar, B. A. Bernevig, and T. L. Hughes, Phys. Rev. B96, 245115 (2017). 4 pvx y p vy x A1 0.495 0.500 A2 0.495 0.000 B1 0.007 0.500 B2 0.007 0.000 TABLE S1. Wannier-sector polarizations based on tight-binding modeling ofp z orbitals on carbon atoms (i.e.p-Hamiltonian). pvx y p vy x A1 0.498 0.486 A2 0.498 0.014 B1 0.015 0.497 B2 0.015 0.003 TAB...
work page 2017
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.