REVIEW 3 major objections 4 minor 3 cited by
Stable Real-Space Invariants and Topology Beyond Symmetry Indicators
T0 review · 3 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read The paper introduces stable real-space invariants that fully classify when atomic insulators are stably equivalent, determine all symmetry indicators, and diagnose almost every split elementary band representation.
desk verdict Real-space invariants finally classify stable equivalence of atomic insulators, but the one-to-one map to symmetry data hinges on an explicitly unproven identity. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the adiabatic-process matrix $q$, whose columns are the elementary symmetry-preserving moves of Wannier orbitals between connected Wyckoff positions, together with its Smith decomposition $q=L\Lambda R$. The SRSIs are rows of $L^{-1}$: rows paired with zero elementary divisors give $\mathbb{Z}$-valued invariants, and rows paired with divisors $n=2,4$ give $\mathbb{Z}_n$-valued invariants modulo $n$. Because every adiabatic process changes the irrep-multiplicity vector $p$ by an integer combination of columns of $q$, these combinations are unchanged by construction. The same matrix equation, combined with the band-representation matrix $BR$ mapping real-space multiplicities to momentum-space little-group irreps, is what lets the paper prove the one-to-one ZSRSI-to-symmetry-data correspondence and derive the split-elementary-band-representation criterion.
What would settle it
Search the kernel of the band-representation matrix in any of the 230 space groups for a vector $p_0$ with $\Theta^{(0)} p_0 \neq 0$; if one exists, two atomic insulators with identical momentum-space symmetry data but different integer SRSIs can be constructed, and the claimed one-to-one mapping fails. On the split-EBR side, compute the Wilson loops of the 8 exceptional cases; finding a trivial, non-winding Wilson spectrum for both the valence and conduction bands without any large-gauge transformation would show that matching SRSIs do not always certify triviality, while finding winding would confirm the paper's diagnosis.
Extended reading notes
Core claim
The paper's central claim is that stable equivalence of band representations—equivalence up to adding the same set of trivial atomic bands—is fully diagnosed by the SRSIs. For any atomic insulator, assemble a vector $p$ of site-symmetry-irrep multiplicities at all Wyckoff positions, and collect all adiabatic deformations into a matrix $q$; the Smith decomposition $q=L\Lambda R$ produces invariant combinations $\theta=(L^{-1}p)$ reduced mod the elementary divisors. The authors prove that two atomic insulators have matching SRSIs if and only if they are adiabatically deformable into each other in the presence of auxiliary trivial bands. They then establish, by exhaustive computation for all 230 nonmagnetic space groups with and without spin-orbit coupling, that the $\mathbb{Z}$-valued SRSIs are in one-to-one correspondence with momentum-space symmetry data, hence determine the symmetry indicators; the $\mathbb{Z}_n$-valued SRSIs are not fixed by momentum data and serve as sufficient criteria for non-symmetry-indicated topology. This diagnoses all but eight of 211 split elementary band representations in 51 space groups, with the eight exceptions being cases where the split representation is stably equivalent to the proposed sum of elementary band representations.
Load-bearing premise
The load-bearing premise is that no 'hidden' orbital configuration exists: the authors verify numerically, in every space group and spin-orbit setting, that any configuration with zero momentum-space symmetry data also has zero integer SRSI, but they leave an analytic proof of this to future work, and the whole classification further assumes the listed elementary orbital moves generate every symmetry-preserving adiabatic process.
Editorial extensions
If this is right
- Two atomic insulators with equal SRSI values are guaranteed to be connected by an adiabatic path once the same auxiliary trivial bands are added on both sides, so the SRSIs give a complete stable-equivalence classification in real space.
- Because the $\mathbb{Z}$-SRSIs determine the symmetry-data vector, every symmetry indicator can be written as a linear function of the $\mathbb{Z}$-SRSIs; fractional $\mathbb{Z}$-SRSIs and nonzero symmetry indicators become the same statement.
- A mismatch in $\mathbb{Z}_n$ SRSIs between a split band representation and its proposed decomposition is a sufficient criterion for topology, so band splittings that look trivial in momentum space can still be certified topological.
- The method resolves almost all known split-elementary-band-representation cases (203 of 211), and the eight exceptions are precisely the cases where the split representation is stably equivalent to the sum.
- The framework subsumes earlier local and composite real-space invariants and matches the structure of the $E^2_{0,0}$ page of the real-space Atiyah–Hirzebruch spectral sequence, giving an explicit construction of those invariants.
Reading between the lines
- If the one-to-one mapping holds, symmetry-indicator-based materials databases could in principle be re-expressed in terms of occupancy counts at Wyckoff positions, which would make high-throughput searches for 'topological-only' candidates a real-space calculation once automated from Wannier functions.
- The same Smith-decomposition construction should extend to magnetic space groups beyond the paper's illustrative example; K-theory work cited by the authors suggests magnetic groups could harbor adiabatic equivalences that produce new $\mathbb{Z}_n$ invariants, possibly with $n>4$.
- The eight exceptional split-EBR cases are natural targets for fragile topology or large-gauge transformations; if no large-gauge equivalence exists in those cases, then SRSIs are not quite complete as a diagnostic and an additional invariant is needed to close the gap.
- A practical testable extension would be to compute SRSIs from first-principles Wannier functions for the obstructed atomic insulator the paper analyzes and check whether the predicted real-space mismatch appears in the realistic material's occupied subspace.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper introduces stable real-space invariants (SRSIs), obtained from the Smith normal form of a matrix q that encodes adiabatic processes between site-symmetry irreps at Wyckoff positions. The authors prove that two atomic insulators are stably equivalent if and only if their SRSIs match, generalize earlier local and composite RSIs, and enumerate SRSIs for all 230 nonmagnetic space groups with and without spin-orbit coupling. They further claim that the Z-valued SRSIs are in one-to-one correspondence with momentum-space symmetry-data vectors, hence determine all symmetry indicators, while the Zn-valued SRSIs provide information not captured by momentum-space data. The framework is applied to 211 split elementary band representations in 51 space groups, diagnosing band topology in all but 8 cases, and is illustrated with tight-binding models in SG P 41′.
Significance. If the central claims hold, this work provides a comprehensive real-space classification that goes beyond symmetry indicators, gives an explicit construction of the E2_{0,0} page of the real-space Atiyah–Hirzebruch spectral sequence, and offers practical diagnostics for non-symmetry-indicated topology. The Smith-decomposition derivation in Sec. III and the stable-equivalence theorem in Sec. IV are clean and well presented, and the exhaustive tables in the Supplemental Material are a valuable resource. The split-EBR analysis is timely and the tight-binding examples are convincing. However, the one-to-one mapping between ZSRSIs and symmetry-data vectors rests on an identity that the authors state is only numerically verified, not proven; this gap is load-bearing for the paper's headline claim that ZSRSIs determine all symmetry indicators.
major comments (3)
- [SM SIII B 2; Eq. (S86)] The identity Θ^(0)·p0 = 0 for every p0 in ker BR is explicitly stated to be only numerically checked, with an analytic proof deferred (SM SIII B 2). This identity is load-bearing: it underlies the rank relation r_BR = Nρ_UC − rank(q) in Eq. (S87) and, via Eqs. (S88)–(S89) and Sec. V, the one-to-one correspondence between ZSRSIs and symmetry-data vectors, and hence the claim that ZSRSIs determine all symmetry indicators. Without an analytic proof or machine-checkable certificates covering all 230 space groups, the central claim is not fully established.
- [Sec. III; SM SIII A (definition of q)] The adiabatic-process matrix q is introduced as a finite basis that generates all adiabatic processes, but the completeness of this basis is assumed rather than proved. The stable-equivalence theorem in Sec. IV and SM SIII B 4 relies on the assertion that every adiabatic deformation corresponds to an integer linear combination of columns of q; a missing adiabatic process would break the 'if' direction of the matching-SRSI criterion. Please state precisely why the listed processes generate the full lattice of adiabatic deformations, or prove completeness from Wyckoff-position connectivity.
- [SM SVI tables] The exhaustive enumeration results are presented in large tables without accompanying code or machine-readable certificates. Because the Θ^(0)·p0 = 0 identity is only numerically verified, a single arithmetic error in a large space-group computation could invalidate the central conclusions; releasing the verification code and the generated data would make the exhaustive claims reproducible and would substantially strengthen the paper.
minor comments (4)
- [SM SIII B 1] The text contains an editorial artifact, '[YH: changed display of Eq. (S75)]', which should be removed from the published version.
- [Sec. IX, Fig. 3] The caption of Fig. 3 refers to 'double winding' of the Wilson loop without explaining what this implies for the fragile topology; a brief clarifying sentence in the caption or text would help the reader.
- [SM SIII C 1] The sentence 'In Sec. SII D, we apply Eqs. (S103) and (S108)...' appears to refer to the wrong section; Sec. SII D is about local RSIs, whereas the discussion of SRSIs relating to local RSIs is in Sec. SIII C.
- [References] Reference [66] is cited as 'In preparation'; the authors should either provide a public preprint or clarify the status of this work in the bibliography.
Circularity Check
No circular derivation: SRSIs are constructed from the Smith normal form of q; the only load-bearing gap is an explicitly unproven numerical identity, which is a proof gap rather than a circular step.
full rationale
The paper's central construction is self-contained: SRSIs are defined as the invariants of the integer lattice generated by the adiabatic-process matrix q via its Smith normal form (Eqs. (2)-(3)), and the stable-equivalence theorem (SM SIII B 4) is a proof that two atomic insulators have matching SRSIs if and only if their symmetry-representation vectors differ by an integral combination of q columns in the presence of auxiliary bands. This is a mathematical characterization of the quotient lattice, not a renaming of the conclusion or a fit masquerading as a prediction. The one-to-one mapping between ZSRSIs and symmetry-data vectors (Sec. V, SM SIII B 3) rests on the identity Theta^(0)*p0 = 0 on ker BR; the paper explicitly states in SM SIII B 2: "We numerically checked that Theta^(0)*p0 = 0 holds for all SG with and without SOC. We leave a proof of this result analytically as a future research." That is an honest missing-proof flag, and it is a correctness risk for the mapping claim, but it is not circular: the identity is a property of two independently defined integer matrices, and no parameter is fitted from the data being predicted. The split-EBR diagnoses use ZnSRSI additivity as a derived sufficient criterion, and the 211-case enumeration is an independent algebraic computation rather than a restatement of the paper's inputs. Self-citations to prior TQC and RSI papers supply context and earlier theorems, but the new SNF-based invariants and the split-EBR tables do not reduce to those citations. A score of 2 reflects the presence of a load-bearing but unproven numerical check and heavy same-author contextual citation, not any circular reduction of the derivation.
Assumptions & free parameters
assumptions (4)
- domain assumption An atomic insulator admits exponentially localized symmetric Wannier functions, so it is described by a non-negative integer site-symmetry representation vector p.
- domain assumption Every adiabatic process that preserves symmetries and the gap changes p by an integer vector in the column lattice of the adiabatic-process matrix q.
- ad hoc to paper The identity Theta^(0) * p0 = 0 holds for all nonmagnetic space groups with and without spin-orbit coupling.
- standard math Smith normal form and Hermite normal form of integer matrices give complete invariants of the quotient lattice Z^N / im(q).
Cite this review
Pith. "Pith review of Stable Real-Space Invariants and Topology Beyond Symmetry Indicators." pith.science (2026). https://pith.science/paper/66QTTF5L
@misc{pith2026250509697,
author = {Pith},
title = {Pith review of: Stable Real-Space Invariants and Topology Beyond Symmetry Indicators},
year = {2026},
howpublished = {\url{https://pith.science/paper/66QTTF5L}},
note = {Machine review of arXiv:2505.09697}
}
abstract
We introduce stable real-space invariants (SRSIs), topological invariants defined from adiabatic deformations between Wannier states, generalizing previously discovered local and composite real-space invariants. SRSIs are $\mathbb{Z}$- and $\mathbb{Z}_n$-valued ($n=2,4$) linear combinations of Wannier state multiplicities characterizing the stable equivalence of atomic insulators. We enumerate all SRSIs in nonmagnetic space groups with and without spin-orbit coupling. $\mathbb{Z}$SRSIs are in one-to-one correspondence with momentum-space symmetry data and thus determine symmetry indicators of topology (SIs). $\mathbb{Z}_n$SRSIs capture real-space information beyond momentum-space symmetry data and SIs. Applying SRSIs to split elementary band representations (EBRs) whose symmetry data decomposes into positive sums of other EBR symmetry data, we diagnose the topology of all 211 cases across 51 space groups except for 8 exceptions in 5 space groups. Our results solidify Topological Quantum Chemistry beyond SIs and momentum-space symmetry data. Finally, we use SRSIs to diagnose an obstructed atomic insulator in a realistic material.
Figures
Forward citations
Cited by 3 Pith papers
-
Higher-Order Topological States with Cleavage-Dependent Dirac Mass
Corner states with e/2 charges appear on half the corners of a cleaved obstructed atomic insulator only when the dangling bonds at those corners are tilted, not aligned with the cut.
-
Fragile Topology is Unstable Under Translation Refinement
Every symmetry-indicated fragile phase in any 2D wallpaper group is adiabatically connected to an atomic insulator in some finite symmetry-compatible supercell, with the minimal supercell index tabulated for every sym...
-
Topological Dislocation Response in Elementary Semiconductors
Edge dislocations in silicon, diamond, germanium, and black phosphorene are predicted to bind mid-gap polarization bands protected by a filling anomaly, while screw dislocations are trivial.
Reference graph
Works this paper leans on
-
[1]
B. Bradlyn, L. Elcoro, J. Cano, M. G. Vergniory, Z. Wang, C. Fel ser, M. I. Aroyo, and B. A. Bernevig, Nature 547, 298 (2017)
work page 2017
-
[2]
The SIs without SOC are listed in Tab. V. For each space group, we list its number in the International Tables for Crystallography, Vol. A , to- gether with the corresponding list of SIs that are expressed in terms of the SRSIs of Table IV. SG# SIs with SOC 2 z2w,1 = − 2θ1 + 2θ2 + 2θ5 mod 2 z2w,2 = − 2θ1 + 2θ2 + 2θ4 mod 2 z2w,3 = − 2θ1 + 2θ2 + 2θ3 mod 2 z...
-
[3]
Zak, Phys
J. Zak, Phys. Rev. Lett. 45, 1025 (1980)
1980
-
[4]
H. C. Po, A. Vishwanath, and H. Watanabe, Nature Communications 8, 50 (2017)
2017
-
[5]
J. Kruthoff, J. de Boer, J. van Wezel, C. L. Kane, and R.-J. Sla ger, Phys. Rev. X 7, 041069 (2017)
work page 2017
-
[6]
Zak, Phys
J. Zak, Phys. Rev. B 23, 2824 (1981)
1981
- [7]
-
[8]
M. I. Aroyo, A. Kirov, C. Capillas, J. M. Perez-Mato, and H. Wo ndratschek, Bilbao crystallographic server, http://www.cryst.ehu.eus
Show all 36 references
-
[9]
Z.-D. Song, L. Elcoro, Y.-F. Xu, N. Regnault, and B. A. Bernev ig, Phys. Rev. X 10, 031001 (2020)
2020
-
[10]
Bradlyn, L
B. Bradlyn, L. Elcoro, M. G. Vergniory, J. Cano, Z. Wang, C. Fel ser, M. I. Aroyo, and B. A. Bernevig, Phys. Rev. B 97, 035138 (2018)
2018
-
[11]
H. C. Po, H. Watanabe, and A. Vishwanath, Phys. Rev. Lett. 121, 126402 (2018)
2018
-
[12]
Z.-D. Song, L. Elcoro, and B. A. Bernevig, Science 367, 794 (2020)
2020
-
[13]
Peri, Z.-D
V. Peri, Z.-D. Song, M. Serra-Garcia, P. Engeler, R. Queiroz, X. Huang, W. Deng, Z. Liu, B. A. Bernevig, and S. D. Huber, Science 367, 797 (2020)
2020
-
[14]
Cano and B
J. Cano and B. Bradlyn, Annual Review of Condensed Matter Physics 12, 225 (2021)
2021
-
[15]
J. Cano, B. Bradlyn, Z. Wang, L. Elcoro, M. G. Vergniory, C. Fe lser, M. I. Aroyo, and B. A. Bernevig, Phys. Rev. Lett. 120, 266401 (2018)
2018
-
[16]
Y. Xu, L. Elcoro, G. Li, Z.-D. Song, N. Regnault, Q. Yang, Y. Sun, S. Parkin, C. Felser, and B. A. Bernevig, arXiv preprint arXiv:2111.02433 (2021)
2021 arXiv
-
[17]
Altmann and P
S. Altmann and P. Herzig, Point-group Theory Tables , Oxford science publications (Clarendon Press, 1994)
1994
-
[18]
Elcoro, B
L. Elcoro, B. Bradlyn, Z. Wang, M. G. Vergniory, J. Cano, C. Fe lser, B. A. Bernevig, D. Orobengoa, G. de la Flor, and M. I. Aroyo, Journal of Applied Crystallography 50, 1457 (2017)
2017
-
[19]
Cohen, A course in computational algebraic number theory , Vol
H. Cohen, A course in computational algebraic number theory , Vol. 138 (Springer Science & Business Media, 2013)
2013
-
[20]
C. J. Bradley and A. P. Cracknell, The Mathematical Theory of Symmetry in Solids (Clarendon Press Oxford, Oxford, United Kingdom, 1972)
1972
-
[21]
J. Cano, L. Elcoro, M. I. Aroyo, B. A. Bernevig, and B. Bradlyn , Phys. Rev. B 105, 125115 (2022)
2022
-
[22]
Elcoro, Z
L. Elcoro, Z. Song, and B. A. Bernevig, Physical Review B 102, 035110 (2020)
2020
-
[23]
For each space group, we list its number in the International Tables for Crystallography, Vol
The SIs with SOC are listed in Table VI. For each space group, we list its number in the International Tables for Crystallography, Vol. A , together with the corresponding list of SIs that are expressed in terms of the SRSIs of Table III. SG# SIs without SOC 2 z2,1 = − 2θ1 + 2...
-
[24]
Belov, N
N. Belov, N. Neronova, and T. Smirnova, Sov. Phys. Crystall ogr. 2, 311 (1957)
1957
-
[25]
Z. Song, T. Zhang, Z. Fang, and C. Fang, Nature Communications 9, 3530 (2018)
2018
-
[26]
Z.-D. Song, L. Elcoro, Y.-F. Xu, N. Regnault, and B. A. Berne vig, Phys. Rev. X 10, 031001 (2020)
2020
-
[27]
Hwang, J
Y. Hwang, J. Ahn, and B.-J. Yang, Physical Review B 100, 10.1103/PhysRevB.100.205126 (2019)
2019 doi
-
[28]
Schindler and B
F. Schindler and B. A. Bernevig, Phys. Rev. B 104, L201114 (2021)
2021
-
[29]
J. Cano, B. Bradlyn, Z. Wang, L. Elcoro, M. G. Vergniory, C. Fe lser, M. I. Aroyo, and B. A. Bernevig, Phys. Rev. B 97, 035139 (2018)
2018
-
[30]
Bouhon, A
A. Bouhon, A. M. Black-Schaffer, and R.-J. Slager, Phys. Rev. B 100, 195135 (2019)
2019
-
[31]
Bradlyn, Z
B. Bradlyn, Z. Wang, J. Cano, and B. A. Bernevig, Phys. Rev. B 99, 045140 (2019)
2019
-
[32]
Shiozaki and M
K. Shiozaki and M. Sato, Physical Review B 90, 10.1103/PhysRevB.90.165114 (2014)
2014 doi
-
[33]
J. Ahn, S. Park, and B.-J. Yang, Phys. Rev. X 9, 021013 (2019)
2019
-
[34]
R. Yu, X. L. Qi, A. Bernevig, Z. Fang, and X. Dai, Phys. Rev. B 84, 075119 (2011)
2011
-
[35]
C. L. Kane and E. J. Mele, Phys. Rev. Lett. 95, 146802 (2005)
2005
-
[36]
B. A. Bernevig, T. L. Hughes, and S.-C. Zhang, Science 314, 1757 (2006)
2006
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.