Recognition: 1 theorem link
· Lean TheoremExtracting conserved operators from a projected entangled pair state
Pith reviewed 2026-05-17 04:50 UTC · model grok-4.3
The pith
A method extracts geometrically k-local conserved operators for which an iPEPS is an approximate eigenstate by locating vanishing fidelity susceptibility in its parameter-deformed manifold.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Conserved operators for an iPEPS are identified as those with vanishing fidelity susceptibility on the manifold of states obtained by deforming the tensor network with parameters. These susceptibilities are obtained by differentiating the generating function to evaluate static structure factors of multi-site operators. The resulting operators are geometrically local and include both frustration-free and non-frustration-free parent Hamiltonians beyond conventional constructions, as shown by a 4-site plaquette Hamiltonian that approximately stabilizes the short-range RVB state and a Hamiltonian for which the toric code deformed by arbitrary string tension remains an excited eigenstate at fixed
What carries the argument
The manifold of the iPEPS deformed by parameters, equipped with quantum geometry in which conserved operators correspond to directions of vanishing fidelity susceptibility, identified by differentiating the generating function for structure factors.
If this is right
- Both frustration-free and non-frustration-free parent Hamiltonians beyond standard constructions can be extracted to good precision from exact or variational iPEPS.
- A 4-site-plaquette local Hamiltonian approximately has the short-range RVB state as its ground state.
- A Hamiltonian exists for which the toric code deformed at arbitrary string tension remains an excited eigenstate with the same energy, potentially realizing quantum many-body scars.
- The procedure yields operators with improved locality compared with conventional parent Hamiltonian constructions.
Where Pith is reading between the lines
- The same differentiation technique could be applied to matrix product states in one dimension to extract approximately conserved operators for approximate ground states.
- Numerical searches using this method might systematically generate families of Hamiltonians supporting topological or scarred eigenstates for use in quantum simulation.
- Extensions to open quantum systems could identify approximately conserved quantities even when the tensor network represents a steady state rather than a pure eigenstate.
Load-bearing premise
Approximation errors from variational or truncated iPEPS do not substantially degrade the identification of directions with vanishing fidelity susceptibility.
What would settle it
Apply the extraction procedure to an exact iPEPS whose parent Hamiltonian is already known from analytic construction and verify whether the method recovers an operator of comparable or better locality that leaves the state invariant up to a constant shift.
Figures
read the original abstract
Given a tensor network state, how can we determine conserved operators (including Hamiltonians) for which the state is an eigenstate? We answer this question by presenting a method to extract geometrically $k$-local conserved operators that have the given infinite projected entangled pair state (iPEPS) in 2D as an (approximate) eigenstate. The key ingredient is the evaluation of the static structure factors of multi-site operators through differentiating the generating function. These generating functions define a manifold of the given tensor network state deformed by some parameters, endowed with a quantum geometry, where conserved operators correspond to vanishing fidelity susceptibility. Despite the approximation errors, we show that our method is still able to extract from exact or variational iPEPS to good precision both frustration-free and non-frustration-free parent Hamiltonians that are beyond the standard construction and obtain better locality. In particular, we find a 4-site-plaquette local Hamiltonian that approximately has the short-range RVB state as the ground state. Moreover, we find a Hamiltonian for which the deformed toric code state at arbitrary string tension is an excited eigenstate with the same energy, thereby potentially realizing quantum many-body scars.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper presents a method to extract geometrically k-local conserved operators (including parent Hamiltonians) from 2D infinite projected entangled pair states (iPEPS) by differentiating a generating function to obtain static structure factors of multi-site operators. These define a manifold of deformed states equipped with a quantum geometry in which conserved operators appear as directions of vanishing fidelity susceptibility. The authors apply the approach to both exact and variational iPEPS, extracting frustration-free and non-frustration-free Hamiltonians with improved locality; in particular they report a 4-site plaquette Hamiltonian for which the short-range RVB state is an approximate ground state, and a Hamiltonian for which a deformed toric-code state at arbitrary string tension is an excited eigenstate of constant energy, potentially realizing many-body scars.
Significance. If the robustness to approximation errors holds, the work supplies a systematic, geometry-based route to parent Hamiltonians that extends beyond standard frustration-free constructions and yields more local operators. The concrete demonstrations on RVB and toric-code iPEPS, together with the use of fidelity susceptibility on a generating-function manifold, constitute a useful addition to the tensor-network and quantum-many-body toolbox. The paper explicitly addresses both exact and variational cases and reports extraction to good precision, which, if quantitatively supported, would strengthen its practical value.
major comments (2)
- [§4] §4 (RVB results): the claim that a 4-site-plaquette Hamiltonian is extracted 'to good precision' from a variational iPEPS and approximately has the short-range RVB state as ground state is load-bearing for the central assertion of robustness; however, no quantitative error bars, scaling with bond dimension, or direct comparison of the fidelity-susceptibility minima between exact and variational iPEPS are provided, leaving open whether truncation/optimization errors shift the identified flat directions.
- [§3] §3 (method): the mapping from vanishing fidelity susceptibility to conserved operators relies on second derivatives of the generating function; the manuscript does not supply an a-priori bound or numerical test showing that these derivatives remain faithful proxies once the iPEPS is only variational, which directly affects the reliability of both the RVB plaquette Hamiltonian and the scar Hamiltonian for the deformed toric code.
minor comments (2)
- Notation for the multi-site operators and the parameters of the generating function could be made more uniform across sections to improve readability.
- Figure captions for the susceptibility plots should explicitly state the bond dimension and truncation threshold used in the variational iPEPS calculations.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive criticism. The concerns about quantitative validation and faithfulness of derivatives in the variational setting are substantive and we address them point by point below, indicating the revisions we will make.
read point-by-point responses
-
Referee: [§4] §4 (RVB results): the claim that a 4-site-plaquette Hamiltonian is extracted 'to good precision' from a variational iPEPS and approximately has the short-range RVB state as ground state is load-bearing for the central assertion of robustness; however, no quantitative error bars, scaling with bond dimension, or direct comparison of the fidelity-susceptibility minima between exact and variational iPEPS are provided, leaving open whether truncation/optimization errors shift the identified flat directions.
Authors: We agree that the robustness claim would be strengthened by quantitative measures. The manuscript currently supports the extraction through the close numerical agreement of the obtained coefficients with the expected plaquette terms and through the low energy variance of the resulting Hamiltonian on the variational state. In the revised version we will add error bars obtained from repeated optimizations with different random seeds, include a direct side-by-side comparison of the fidelity-susceptibility minima for the exact and variational iPEPS at the bond dimensions used, and report the shift in the identified flat directions. These additions will be placed in §4 and the associated figures. revision: yes
-
Referee: [§3] §3 (method): the mapping from vanishing fidelity susceptibility to conserved operators relies on second derivatives of the generating function; the manuscript does not supply an a-priori bound or numerical test showing that these derivatives remain faithful proxies once the iPEPS is only variational, which directly affects the reliability of both the RVB plaquette Hamiltonian and the scar Hamiltonian for the deformed toric code.
Authors: The referee correctly notes the absence of an a-priori error bound. Deriving such a bound analytically is difficult because the error depends on the specific contraction scheme and the gauge fixing of the iPEPS. We will therefore add, in the revised §3, explicit numerical tests that compare the second derivatives (i.e., the static structure factors) computed from the exact iPEPS against those from the variational iPEPS for both the RVB and deformed toric-code examples. These tests will quantify the deviation and show that the locations of the vanishing-susceptibility directions remain stable within the reported precision. We will also expand the discussion of limitations to make the empirical nature of the validation clearer. revision: partial
- A rigorous a-priori analytical bound on the error of the second derivatives of the generating function under variational iPEPS approximations.
Circularity Check
No circularity: extraction method derives from quantum geometry without reducing to inputs by construction
full rationale
The paper defines a procedure to extract k-local conserved operators from an iPEPS by differentiating a generating function to compute static structure factors of multi-site operators, then locating directions of vanishing fidelity susceptibility on the manifold of deformed states. This construction applies standard quantum-geometric notions (fidelity susceptibility as a metric on the parameter manifold) to tensor-network states and does not equate any output Hamiltonian or operator to a fitted parameter, a self-referential definition, or a load-bearing self-citation whose validity is presupposed. Numerical demonstrations for the short-range RVB state and deformed toric code are presented as applications of the method rather than tautological rederivations, so the claimed derivation chain remains independent of its own outputs.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption iPEPS provides a faithful (approximate) representation of the target quantum state
- standard math Fidelity susceptibility vanishes exactly for conserved operators in the exact state
Reference graph
Works this paper leans on
- [1]
-
[2]
Efficient learning of commuting hamiltonians on lattices,
A. Anshu, S. Arunachalam, T. Kuwahara, and M. Soleimanifar, “Efficient learning of commuting hamiltonians on lattices,” https://anuraganshu.seas.harvard.edu/links (2021), accessed: 2025-11-18
work page 2021
-
[3]
J. Haah, R. Kothari, and E. Tang, Nature Physics20, 1027 (2024)
work page 2024
- [4]
- [5]
- [6]
- [7]
- [8]
-
[9]
Y . Zhan, A. Elben, H.-Y . Huang, and Y . Tong, PRX Quantum 5, 010350 (2024)
work page 2024
- [10]
-
[11]
R. P. Feynman, International Journal of Theoretical Physics21, 467 (1982)
work page 1982
-
[12]
I. M. Georgescu, S. Ashhab, and F. Nori, Rev. Mod. Phys.86, 153 (2014)
work page 2014
- [13]
- [14]
-
[15]
J. Wang, S. Paesani, R. Santagati, S. Knauer, A. A. Gentile, N. Wiebe, M. Petruzzella, J. L. O’Brien, J. G. Rarity, A. Laing, and M. G. Thompson, Nature Physics13, 551 (2017)
work page 2017
-
[16]
J. R. Schrieffer and P. A. Wolff, Phys. Rev.149, 491 (1966)
work page 1966
- [17]
- [18]
-
[19]
M. Yang, B. Vanhecke, and N. Schuch, Phys. Rev. Lett.131, 036505 (2023)
work page 2023
-
[20]
R. B. Laughlin, Phys. Rev. Lett.50, 1395 (1983)
work page 1983
-
[21]
P. W. Anderson, Science235, 1196 (1987)
work page 1987
-
[22]
C. J. Turner, A. A. Michailidis, D. A. Abanin, M. Serbyn, and Z. Papi´c, Nature Physics14, 745 (2018)
work page 2018
- [23]
-
[24]
S. R. White, Phys. Rev. Lett.69, 2863 (1992)
work page 1992
-
[25]
S. R. White, Phys. Rev. B48, 10345 (1993)
work page 1993
-
[26]
N. Maeshima, Y . Hieida, Y . Akutsu, T. Nishino, and K. Okunishi, Phys. Rev. E64, 016705 (2001)
work page 2001
-
[27]
Renormalization algorithms for Quantum-Many Body Systems in two and higher dimensions
F. Verstraete and J. I. Cirac, “Renormalization algorithms for quantum-many body systems in two and higher dimensions,” (2004), arXiv:cond-mat/0407066 [cond-mat.str-el]
work page internal anchor Pith review Pith/arXiv arXiv 2004
-
[28]
M. B. Hastings, Journal of Statistical Mechanics: Theory and Experiment2007, P08024 (2007)
work page 2007
-
[29]
An area law and sub-exponential algorithm for 1D systems
I. Arad, A. Kitaev, Z. Landau, and U. Vazirani, “An area law and sub-exponential algorithm for 1d systems,” (2013), arXiv:1301.1162 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2013
- [30]
- [31]
-
[32]
J. I. Cirac, D. Pérez-García, N. Schuch, and F. Verstraete, Rev. Mod. Phys.93, 045003 (2021)
work page 2021
- [33]
- [34]
-
[35]
T. Nishino and K. Okunishi, Journal of the Physical Society of Japan65, 891 (1996)
work page 1996
- [36]
- [37]
-
[38]
L. Vanderstraeten, L. Burgelman, B. Ponsioen, M. Van Damme, B. Vanhecke, P. Corboz, J. Haegeman, and F. Verstraete, Phys. Rev. B105, 195140 (2022)
work page 2022
-
[39]
T. P. Devereaux and R. Hackl, Rev. Mod. Phys.79, 175 (2007)
work page 2007
-
[40]
F. Boschini, M. Zonno, and A. Damascelli, Rev. Mod. Phys. 96, 015003 (2024)
work page 2024
-
[41]
D. Perez-Garcia, F. Verstraete, M. M. Wolf, and J. I. Cirac, Quantum Info. Comput.8, 650–663 (2008)
work page 2008
- [42]
-
[43]
Supplemental Material also includes Refs
See Supplemental Material for. Supplemental Material also includes Refs. []
- [44]
-
[46]
B. Vanhecke, J. Hasik, F. Verstraete, and L. Vanderstraeten, Phys. Rev. Lett.129, 200601 (2022)
work page 2022
- [47]
- [48]
- [49]
-
[50]
L. Vanderstraeten, M. Mariën, F. Verstraete, and J. Haegeman, Phys. Rev. B92, 201111 (2015)
work page 2015
-
[51]
L. Vanderstraeten, J. Haegeman, P. Corboz, and F. Verstraete, Phys. Rev. B94, 155123 (2016)
work page 2016
- [52]
- [53]
- [54]
- [55]
-
[56]
W.-L. Tu, L. Vanderstraeten, N. Schuch, H.-Y . Lee, N. Kawashima, and J.-Y . Chen, PRX Quantum5, 010335 (2024)
work page 2024
-
[57]
H.-J. Liao, J.-G. Liu, L. Wang, and T. Xiang, Phys. Rev. X9, 031041 (2019)
work page 2019
-
[58]
Orús, Nature Reviews Physics1, 538 (2019)
R. Orús, Nature Reviews Physics1, 538 (2019)
work page 2019
-
[59]
F. Pollmann, S. Mukerjee, A. M. Turner, and J. E. Moore, Phys. Rev. Lett.102, 255701 (2009)
work page 2009
- [60]
- [61]
-
[62]
I. Affleck, T. Kennedy, E. H. Lieb, and H. Tasaki, Phys. Rev. Lett.59, 799 (1987)
work page 1987
-
[63]
Thermalization and criticality on an analog-digital quantum simulator,
T. I. Andersen, N. Astrakhantsev, A. H. Karamlou, J. Berndtsson, J. Motruk, and et al., “Thermalization and criticality on an analog-digital quantum simulator,” (2024), arXiv:2405.17385 [quant-ph]
- [64]
-
[65]
A. F. Albuquerque and F. Alet, Phys. Rev. B82, 180408 (2010)
work page 2010
-
[66]
Y . Tang, A. W. Sandvik, and C. L. Henley, Phys. Rev. B84, 174427 (2011)
work page 2011
- [67]
- [68]
- [69]
- [70]
-
[71]
Z. Zhou, J. Wildeboer, and A. Seidel, Phys. Rev. B89, 035123 (2014)
work page 2014
- [72]
-
[73]
F. Verstraete, M. M. Wolf, D. Perez-Garcia, and J. I. Cirac, Phys. Rev. Lett.96, 220601 (2006)
work page 2006
- [74]
-
[75]
Topological Order and Quantum Criticality
C. Castelnovo, S. Trebst, and M. Troyer, arXiv:0912.3272 [cond-mat]20103812, 169 (2010), arXiv: 0912.3272
work page internal anchor Pith review Pith/arXiv arXiv 2010
- [76]
- [77]
- [78]
- [79]
-
[80]
Emergent universality in critical quantum spin chains: entanglement virasoro algebra,
Q. Hu, A. Franco-Rubio, and G. Vidal, “Emergent universality in critical quantum spin chains: entanglement virasoro algebra,” (2020), arXiv:2009.11383 [quant-ph]
- [81]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.