Subdimensional Entanglement Entropy: From Geometric-Topological Response to Mixed-State Holography
Pith reviewed 2026-05-18 06:08 UTC · model grok-4.3
The pith
Each D-dimensional subdimensional entanglement subsystem holographically encodes a (D+1)-dimensional topological order.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For subdimensional entanglement subsystems with nontrivial subdimensional entanglement entropy, weak symmetries function as transparent patch operators for the corresponding strong symmetries. This gives rise to a transparent composite symmetry that is preserved by finite-depth quantum circuits maintaining the entropy. Consequently, each D-dimensional SES holographically encodes a (D+1)-dimensional topological order.
What carries the argument
The correspondence between bulk stabilizers and mixed-state symmetries on SESs, which classifies them into strong and weak classes, with weak symmetries acting as transparent patch operators for strong ones.
If this is right
- The subleading term of SEE responds differently across cluster states, Z_q orders, and fracton orders when SES dimension and geometry are varied.
- Strong-to-weak spontaneous symmetry breaking is identified inside the mixed states defined on the SES.
- Transparent composite symmetry remains robust under finite-depth quantum circuits that preserve SEE.
- Each D-dimensional SES holographically encodes a (D+1)-dimensional topological order.
Where Pith is reading between the lines
- The same correspondence may supply a practical route to detect higher-dimensional topology by measuring entanglement on accessible lower-dimensional cuts in experiments.
- The construction suggests that mixed-state symmetry classifications could be extended to other submanifold geometries beyond those explicitly treated.
- Numerical simulations of larger stabilizer codes could directly test whether the transparent composite symmetry survives under local perturbations that preserve SEE.
Load-bearing premise
The reduced density matrix of an SES can be treated as a many-body mixed state supported on the SES manifold.
What would settle it
A calculation in a concrete model such as the toric code or a fracton Hamiltonian where a finite-depth circuit that preserves SEE nevertheless breaks the proposed transparent composite symmetry.
Figures
read the original abstract
We introduce the subdimensional entanglement entropy (SEE), defined on subdimensional entanglement subsystems (SESs) embedded in the bulk, as an entanglement-based probe of how geometry and topology jointly shape universal properties of quantum matter. By varying the dimension, geometry, and topology of the SES, we show that the subleading term of SEE exhibits sharply distinct responses in different phases, including cluster states, $\mathbb{Z}_q$ topological orders, and fracton orders. Treating the reduced density matrix of an SES as a many-body mixed state supported on the SES manifold, we further establish a general correspondence between bulk stabilizers and mixed-state symmetries on SESs, separating them into strong and weak classes, and use it to identify strong-to-weak spontaneous symmetry breaking within SESs. Finally, for SESs with nontrivial SEE, we show that weak symmetries act as transparent patch operators of the corresponding strong symmetries. This motivates the notion of transparent composite symmetry, which remains robust under finite-depth quantum circuits that preserve SEE, and implies that each $D$-dimensional SES holographically encodes a $(D+1)$-dimensional topological order. These results establish SEE not only as a sharp probe of geometric-topological response, but also as a route from bulk pure-state entanglement to mixed-state symmetry and holography on subdimensional manifolds.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces subdimensional entanglement entropy (SEE) defined on subdimensional entanglement subsystems (SESs) embedded in the bulk as an entanglement-based probe of geometric-topological responses in quantum matter. By varying the dimension, geometry, and topology of SESs, it shows that the subleading term of SEE exhibits distinct responses in phases including cluster states, Z_q topological orders, and fracton orders. Treating the SES reduced density matrix as a many-body mixed state on the SES manifold, the work establishes a correspondence between bulk stabilizers and mixed-state symmetries, classifying them into strong and weak classes and identifying strong-to-weak spontaneous symmetry breaking. For SESs with nontrivial SEE, weak symmetries act as transparent patch operators for the corresponding strong symmetries; this motivates the notion of transparent composite symmetry, which remains robust under finite-depth quantum circuits preserving SEE and implies that each D-dimensional SES holographically encodes a (D+1)-dimensional topological order.
Significance. If the results hold, the manuscript provides a new entanglement diagnostic linking geometry, topology, and mixed-state symmetries in subdimensional structures, with potential relevance to fracton phases and holographic dualities in condensed-matter settings. Explicit demonstrations of SEE responses across known phases and the introduction of transparent composite symmetry are constructive contributions. The proposed route from bulk pure-state entanglement to mixed-state holography via symmetry robustness could open avenues for subdimensional probes, provided the encoding is made rigorous.
major comments (2)
- [Abstract and section on mixed-state holography / transparent composite symmetry] The step from the robustness of transparent composite symmetry under SEE-preserving finite-depth quantum circuits to the claim that each D-dimensional SES holographically encodes a (D+1)-dimensional topological order (as stated in the abstract and the final section) lacks an explicit encoding map or verification that full topological data such as anyon content, braiding phases, or ground-state degeneracy appear in SES observables. Invariance of the composite symmetry alone does not automatically establish the correspondence to higher-dimensional topological order.
- [Section establishing bulk-stabilizer to mixed-state symmetry correspondence] The foundational assumption that the reduced density matrix of an SES can be treated as a many-body mixed state supported on the SES manifold, which enables the bulk-stabilizer correspondence and the separation into strong and weak symmetries, requires additional justification regarding the precise support and operator algebra on the subdimensional manifold; this underpins the subsequent definitions of transparent patch operators and strong-to-weak breaking.
minor comments (2)
- [Introduction / early results section] Add an explicit example or figure illustrating the embedding of an SES in a simple lattice model (e.g., the cluster state) to clarify the geometric construction before presenting the SEE responses.
- [Section on geometric-topological responses] Specify the precise form of the subleading term of SEE (e.g., constant, logarithmic, or area-law correction) for each phase examined, and include a table comparing the responses across cluster, Z_q, and fracton orders.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for the constructive major comments. We address each point below and have made revisions to improve clarity and justification where the concerns are valid.
read point-by-point responses
-
Referee: [Abstract and section on mixed-state holography / transparent composite symmetry] The step from the robustness of transparent composite symmetry under SEE-preserving finite-depth quantum circuits to the claim that each D-dimensional SES holographically encodes a (D+1)-dimensional topological order (as stated in the abstract and the final section) lacks an explicit encoding map or verification that full topological data such as anyon content, braiding phases, or ground-state degeneracy appear in SES observables. Invariance of the composite symmetry alone does not automatically establish the correspondence to higher-dimensional topological order.
Authors: We agree that invariance of the transparent composite symmetry under SEE-preserving circuits does not by itself constitute a complete holographic encoding with all topological data. The manuscript motivates the claim through the correspondence between bulk stabilizers and the strong/weak symmetry structure on the SES, where the transparent patch operators capture essential features analogous to topological order protection. In the revised manuscript we have modified the abstract and final section to state the implication more precisely as a symmetry-based correspondence rather than a full encoding of anyon content or braiding phases. We have added a clarifying paragraph noting that explicit verification of ground-state degeneracy or braiding statistics on SES observables would require further operator-algebra analysis and is left for future work. This addresses the concern without overstating the current results. revision: partial
-
Referee: [Section establishing bulk-stabilizer to mixed-state symmetry correspondence] The foundational assumption that the reduced density matrix of an SES can be treated as a many-body mixed state supported on the SES manifold, which enables the bulk-stabilizer correspondence and the separation into strong and weak symmetries, requires additional justification regarding the precise support and operator algebra on the subdimensional manifold; this underpins the subsequent definitions of transparent patch operators and strong-to-weak breaking.
Authors: We accept that the treatment of the SES reduced density matrix as a mixed state on the subdimensional manifold requires explicit justification. In the revised manuscript we have inserted a new explanatory paragraph immediately preceding the symmetry correspondence section. This paragraph defines the support as the geometric submanifold of the SES and specifies that the operator algebra is obtained by restricting the bulk stabilizer generators to this submanifold, thereby inducing strong symmetries (non-localizable on proper subsets) and weak symmetries (patch operators). This added justification directly supports the subsequent definitions of transparent patch operators and strong-to-weak spontaneous symmetry breaking. revision: yes
Circularity Check
No significant circularity; derivation generates independent distinctions from definitions
full rationale
The paper defines SEE on SESs of varying dimension/geometry/topology and computes its subleading term to exhibit distinct responses across cluster states, Z_q TOs, and fracton orders. It then treats the SES reduced density matrix as a mixed state on the SES manifold to establish a bulk-stabilizer to mixed-state symmetry correspondence, partitioning symmetries into strong and weak classes and identifying strong-to-weak SSB. For nontrivial SEE it shows weak symmetries act as transparent patch operators of strong symmetries, motivating a transparent composite symmetry that is invariant under SEE-preserving FDQCs; the holographic-encoding claim is presented as a consequence of this invariance rather than a redefinition of the input symmetries or a fitted parameter. No load-bearing step reduces by construction to prior inputs, self-citations, or ansatzes; the constructions produce new symmetry classifications and response distinctions that are not tautological with the initial definitions.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard quantum-information definitions of reduced density matrix and entanglement entropy apply to subdimensional subsystems.
invented entities (2)
-
Subdimensional entanglement entropy (SEE)
no independent evidence
-
Transparent composite symmetry
no independent evidence
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
weak symmetries act as transparent patch operators of the corresponding strong symmetries... each D-dimensional SES holographically encodes a (D+1)-dimensional topological order
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
-
Universal Design and Physical Applications of Non-Uniform Cellular Automata on Translationally Invariant Lattices
A higher-order non-uniform cellular automata algorithm is introduced for translationally invariant Euclidean and hyperbolic lattices, demonstrated on the {5,4} lattice to generate subsystem symmetry-protected topologi...
Reference graph
Works this paper leans on
-
[1]
C. Chamon, Quantum Glassiness in Strongly Correlated Clean Systems: An Example of Topological Overprotec- tion, Phys. Rev. Lett.94, 040402 (2005)
work page 2005
-
[2]
Haah, Local stabilizer codes in three dimensions with- out string logical operators, Phys
J. Haah, Local stabilizer codes in three dimensions with- out string logical operators, Phys. Rev. A83, 042330 (2011)
work page 2011
- [3]
- [4]
-
[5]
Spurious Long-range Entanglement and Replica Correlation Length
L. Zou and J. Haah, Spurious long-range entanglement and replica correlation length, Phys. Rev. B94, 075151 (2016), arXiv:1604.06101 [cond-mat.str-el]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[6]
W. Shirley, K. Slagle, and X. Chen, Universal entan- glement signatures of foliated fracton phases, SciPost Physics6, 015 (2019)
work page 2019
- [7]
-
[8]
H. Ma, A. T. Schmitz, S. A. Parameswaran, M. Hermele, and R. M. Nandkishore, Topological entanglement en- tropy of fracton stabilizer codes, Phys. Rev. B97, 125101 (2018)
work page 2018
-
[9]
B. Shi and Y.-M. Lu, Deciphering the nonlocal entangle- ment entropy of fracton topological orders, Phys. Rev. B 97, 144106 (2018)
work page 2018
-
[10]
J.-Y. Zhang, M.-Y. Li, and P. Ye, Higher-Order Cel- lular Automata Generated Symmetry-Protected Topo- logical Phases and Detection Through Multi Point Strange Correlators, PRX Quantum5, 030342 (2024), arXiv:2401.00505 [cond-mat.str-el]
-
[11]
Y. You, T. Devakul, F. J. Burnell, and S. L. Sondhi, Subsystem symmetry protected topological order, Phys. Rev. B98, 035112 (2018)
work page 2018
- [12]
-
[13]
K. Kato and F. G. S. L. Brand˜ ao, Toy model of boundary states with spurious topological entanglement entropy, Physical Review Research2, 032005 (2020), arXiv:1911.09819 [quant-ph]
-
[14]
X.-L. Qi, T. L. Hughes, and S.-C. Zhang, Topolog- ical field theory of time-reversal invariant insulators, Phys. Rev. B78, 195424 (2008), arXiv:0802.3537 [cond- mat.mes-hall]
work page internal anchor Pith review Pith/arXiv arXiv 2008
-
[15]
S. Ryu, J. E. Moore, and A. W. W. Ludwig, Electro- magnetic and gravitational responses and anomalies in topological insulators and superconductors, Phys. Rev. B85, 045104 (2012), arXiv:1010.0936 [cond-mat.str-el]
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[16]
Gravitational Anomalies and Thermal Hall effect in Topological Insulators
M. Stone, Gravitational anomalies and thermal Hall ef- fect in topological insulators, Phys. Rev. B85, 184503 (2012), arXiv:1201.4095 [cond-mat.mes-hall]
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[17]
P. Ye and J. Wang, Symmetry-protected topological phases with charge and spin symmetries: Response the- ory and dynamical gauge theory in two and three dimen- sions, Phys. Rev. B88, 235109 (2013), arXiv:1306.3695 [cond-mat.str-el]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[18]
Topological Response Theory of Abelian Symmetry-Protected Topological Phases in Two Dimensions
M. Cheng and Z.-C. Gu, Topological Response Theory of Abelian Symmetry-Protected Topological Phases in Two Dimensions, Phys. Rev. Lett.112, 141602 (2014), arXiv:1302.4803 [cond-mat.str-el]. 7
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[19]
M. F. Lapa, C.-M. Jian, P. Ye, and T. L. Hughes, Topological electromagnetic responses of bosonic quan- tum Hall, topological insulator, and chiral semimetal phases in all dimensions, Phys. Rev. B95, 035149 (2017), arXiv:1611.03504 [cond-mat.str-el]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[20]
J. Nissinen and G. E. Volovik, Elasticity tetrads, mixed axial-gravitational anomalies, and (3 +1 )-d quantum Hall effect, Physical Review Research1, 023007 (2019), arXiv:1812.03175 [cond-mat.mes-hall]
-
[21]
B. Han, H. Wang, and P. Ye, Generalized wen-zee terms, Phys. Rev. B99, 205120 (2019)
work page 2019
-
[22]
A note on symmetry reductions of the Lindblad equation: transport in constrained open spin chains
B. Buˇ ca and T. Prosen, A note on symmetry reductions of the Lindblad equation: transport in constrained open spin chains, New Journal of Physics14, 073007 (2012), arXiv:1203.0943 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[23]
C. de Groot, A. Turzillo, and N. Schuch, Symmetry Pro- tected Topological Order in Open Quantum Systems, Quantum6, 856 (2022), arXiv:2112.04483 [quant-ph]
- [24]
- [25]
-
[26]
A. Chatterjee and X.-G. Wen, Symmetry as a shadow of topological order and a derivation of topological holo- graphic principle, Physical Review B107, 155136 (2023), arXiv:2203.03596 [cond-mat.str-el]
-
[27]
W. Ji and X.-G. Wen, Categorical symmetry and nonin- vertible anomaly in symmetry-breaking and topological phase transitions, Phys. Rev. Res.2, 033417 (2020)
work page 2020
- [28]
-
[29]
K. Inamura and X.-G. Wen, 2+1D symmetry- topological-order from local symmetric operators in 1+1D, arXiv e-prints , arXiv:2310.05790 (2023), arXiv:2310.05790 [cond-mat.str-el]
- [30]
-
[31]
V. V. Albert and L. Jiang, Symmetries and conserved quantities in Lindblad master equations, Phys. Rev. A 89, 022118 (2014), arXiv:1310.1523 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2014
- [32]
- [33]
-
[34]
Strong-to-weak spontaneous breaking of 1-form symmetry and intrinsically mixed topological order,
C. Zhang, Y. Xu, J.-H. Zhang, C. Xu, Z. Bi, and Z.-X. Luo, Strong-to-weak spontaneous breaking of 1- form symmetry and intrinsically mixed topological or- der, Phys. Rev. B111, 115137 (2025), arXiv:2409.17530 [quant-ph]
- [35]
- [36]
- [37]
-
[38]
Entanglement in the stabilizer formalism
D. Fattal, T. S. Cubitt, Y. Yamamoto, S. Bravyi, and I. L. Chuang, Entanglement in the stabilizer formalism, arXiv e-prints , quant-ph/0406168 (2004), arXiv:quant- ph/0406168 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2004
- [39]
-
[40]
See Supplemental Material at URL-will-be-inserted-by- publisher for reviews and proofs. Ref. [66, 67] are cited in SM
-
[41]
Entanglement of Skeletal Regions,
C. Berthiere and W. Witczak-Krempa, Entanglement of Skeletal Regions, Phys. Rev. Lett.128, 240502 (2022), arXiv:2112.13931 [cond-mat.str-el]
- [42]
- [43]
-
[44]
R. Raussendorf and H. J. Briegel, A one-way quantum computer, Phys. Rev. Lett.86, 5188 (2001)
work page 2001
-
[45]
E. Dennis, A. Kitaev, A. Landahl, and J. Preskill, Topological quantum memory, Journal of Mathemati- cal Physics43, 4452 (2002), arXiv:quant-ph/0110143 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2002
-
[46]
A. Y. Kitaev, Fault-tolerant quantum computation by anyons, Ann. Phys.303, 2 (2003)
work page 2003
- [47]
-
[48]
H. Watanabe, M. Cheng, and Y. Fuji, Ground state degeneracy on torus in a family of zn toric code, Journal of Mathematical Physics64, 051901 (2023), arXiv:2211.00299 [cond-mat.other]
- [49]
-
[50]
Topological order and topological entropy in classical systems
C. Castelnovo and C. Chamon, Topological order and topological entropy in classical systems, Phys. Rev. B76, 174416 (2007), arXiv:cond-mat/0610316 [cond-mat.str- el]
work page internal anchor Pith review Pith/arXiv arXiv 2007
-
[51]
A R\'enyi entropy perspective on topological order in classical toric code models
J. Helmes, J.-M. St´ ephan, and S. Trebst, R´ enyi en- tropy perspective on topological order in classical toric code models, Phys. Rev. B92, 125144 (2015), arXiv:1507.04682 [cond-mat.str-el]
work page internal anchor Pith review Pith/arXiv arXiv 2015
- [52]
-
[53]
C. Zhou, M.-Y. Li, Z. Yan, P. Ye, and Z. Y. Meng, Evolu- tion of dynamical signature in the X-cube fracton topo- logical order, Physical Review Research4, 033111 (2022), 8 arXiv:2203.13274 [cond-mat.str-el]
-
[54]
C. Zhou, M.-Y. Li, Z. Yan, P. Ye, and Z. Y. Meng, De- tecting subsystem symmetry protected topological order through strange correlators, Phys. Rev. B106, 214428 (2022)
work page 2022
-
[55]
Y.-M. Ding, Y. Tang, Z. Wang, Z. Wang, B.-B. Mao, and Z. Yan, Tracking the variation of entanglement r´ enyi neg- ativity: A quantum monte carlo study, Physical Review B111, L241108 (2025)
work page 2025
- [56]
- [57]
- [58]
- [59]
- [60]
-
[61]
Y. Huang, Z.-F. Zhang, and P. Ye, Diagrammatics, pen- tagon equations, and hexagon equations of topological or- ders with loop- and membrane-like excitations, Journal of High Energy Physics2025, 238 (2025), arXiv:2405.19077 [hep-th]
-
[62]
Y.-A. Chen and P.-S. Hsin, Exactly solvable lattice Hamiltonians and gravitational anomalies, SciPost Phys. 14, 089 (2023)
work page 2023
- [63]
-
[64]
Y. Zhou and P. Ye, Entanglement signature of hinge arcs, fermi arcs, and crystalline symmetry protection in higher-order weyl semimetals, Phys. Rev. B107, 085108 (2023)
work page 2023
-
[65]
R. Sohal and A. Prem, Noisy Approach to Intrinsi- cally Mixed-State Topological Order, PRX Quantum6, 010313 (2025), arXiv:2403.13879 [cond-mat.str-el]
-
[66]
Exact Topological Quantum Order in D=3 and Beyond: Branyons and Brane-Net Condensates
H. Bombin and M. A. Martin-Delgado, Exact topologi- cal quantum order in D=3 and beyond: Branyons and brane-net condensates, Phys. Rev. B75, 075103 (2007), arXiv:cond-mat/0607736 [cond-mat.str-el]
work page internal anchor Pith review Pith/arXiv arXiv 2007
-
[67]
H. Ma, E. Lake, X. Chen, and M. Hermele, Fracton topo- logical order via coupled layers, Phys. Rev. B95, 245126 (2017). 9 Supplemental materials CONTENTS References 6 S1. Review of von Neumann entanglement entropy in stabilizer states 9 S2. Computation details of SEE 10 A. Example 1: subsystem cat state 10 B. Example 2: 2D cluster state 11 C. Example 3: [...
work page 2017
-
[68]
And the Hamiltonian is given by (see Fig
centers of faces, and 4) center the tetrahedron itself. And the Hamiltonian is given by (see Fig. S4 (a)): H=− X c Ac − X p Bp,(S5) whereA c is the product of PauliXoperators in a cell,B p is the product of PauliZoperators in a plaquette. We take logical operatorsW(f) = Q i∈f Xi as a nonlocal stabilizer, wherefis a face of the total tetrahedron (see Fig. ...
-
[69]
0-dimensional t-patch operators:X i andZ iZi+1
-
[70]
1-dimensional t-patch operators: patch symmetry operatorP X ij =X i+1Xi+2 · · ·X j and patch charge operator P Z ij =Z iZj, wherei < jis assumed, and we use a convention to start theP X ij string from sitei+ 1. Note thatP Z ij is regarded as an open string operator connecting siteiandjwith empty bulk, thus it can also be denoted asP Z ∂OS1. Similarly,P X ...
-
[71]
0-dimensional t-patch operators:X i andZ iZi+ˆk, where ˆk= ˆx,ˆyis the unit vector along spatial directionxor y
-
[72]
1-dimensional t-patch operators: patch charge operatorP Z ∂OS1 =P Z ij =Z iZj
-
[73]
2-dimensional t-patch operators: patch symmetry operatorP X OS2 =Q i∈OS2 Xi, whereOS 2 is a 2D open disk. Obviously, the only important nontrivial commutation between spatially extended t-patch operators is: P Z ij P X OS2 =−P X OS2 P Z ij ,(S23) where there is exactly one of sitei, jbelongs to the diskOS 2. It is also straightforward to check that these ...
-
[74]
0-dimensional t-patch operators:X l
-
[75]
1-dimensional t-patch operators: patch symmetry operatorP X OS1 =Q l∈OS1 Xl, whereOS 1 is an open string
-
[76]
2-dimensional t-patch operators: patch charge operatorP Z ∂OD2 =Q l∈∂OD2 Zl, whereOD 2 is a 2D open disk in the dual lattice,∂OD 2 as a dual loop is the boundary ofOD 2. Obviously, the only nontrivial commutation relation between spatially extended t-patch operators is: P X OS1 P Z ∂OD2 =−P Z ∂OD2 P X OS1 ,(S26) where there is exactly one endpoint ofOS 1 ...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.