Diagonal Isometric Form for Tensor Product States in Two Dimensions
Pith reviewed 2026-05-19 05:02 UTC · model grok-4.3
The pith
Incorporating auxiliary tensors creates a diagonal isometric form for two-dimensional tensor product states that supports stable TEBD simulations.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
By representing the orthogonality hypersurface with auxiliary tensors, the diagonal isometric form for isoTPS preserves the isometric properties required for stable contractions, allowing the TEBD algorithm to compute ground states and real-time dynamics of two-dimensional area-law states on large lattices.
What carries the argument
The diagonal isometric form for isoTPS, which uses auxiliary tensors to represent the orthogonality hypersurface while maintaining isometry for TEBD contractions.
If this is right
- isoTPS can efficiently capture the entanglement structure of two-dimensional area law states.
- Short-time dynamics is accurately reproduced even at the critical point.
- The formulation allows a natural extension to different lattice geometries such as the honeycomb or kagome lattice.
- Ground states and real-time evolution can be computed on large square lattices of up to 1250 sites.
Where Pith is reading between the lines
- The same auxiliary-tensor construction might be applied to other 2D models with area-law entanglement to test broader applicability.
- Combining this isometric form with truncation schemes could extend accessible simulation times beyond short-time regimes.
- The approach may simplify contractions on lattices with different coordination numbers without changing the core algorithm.
Load-bearing premise
Auxiliary tensors can be incorporated to represent the orthogonality hypersurface while preserving the isometric properties required for stable and accurate TEBD contractions in two dimensions.
What would settle it
A demonstration that the isometry breaks during repeated TEBD updates on a small lattice with known exact results, producing growing norm errors or inaccurate observables, would falsify the claim.
Figures
read the original abstract
Isometric tensor product states (isoTPS) generalize the isometric form of the one-dimensional matrix product states (MPS) to tensor networks in two and higher dimensions. Here, we introduce an alternative isometric form for isoTPS by incorporating auxiliary tensors to represent the orthogonality hypersurface. We implement the time evolving block decimation (TEBD) algorithm on this new isometric form and benchmark the method by computing ground states and the real time evolution of the transverse field Ising model in two dimensions on large square lattices of up to 1250 sites. Our results demonstrate that isoTPS can efficiently capture the entanglement structure of two-dimensional area law states. The short-time dynamics is also accurately reproduced even at the critical point. Our isoTPS formulation further allows for a natural extension to different lattice geometries, such as the honeycomb or kagome latice.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces a diagonal isometric form for two-dimensional isometric tensor product states (isoTPS) by incorporating auxiliary tensors to represent the orthogonality hypersurface. It implements the time-evolving block decimation (TEBD) algorithm on this form and benchmarks ground-state preparation and short-time real-time evolution for the two-dimensional transverse-field Ising model on square lattices up to 1250 sites, claiming that the method efficiently captures the entanglement structure of area-law states and accurately reproduces dynamics even at criticality, with potential extension to other lattices such as honeycomb or kagome.
Significance. If the auxiliary-tensor construction preserves exact isometry under 2D TEBD contractions, this formulation could provide a stable and efficient tensor-network approach for simulating 2D quantum systems obeying area laws, generalizing 1D MPS techniques. The reported benchmarks on large lattices constitute a concrete strength, though the lack of detailed convergence diagnostics reduces immediate verifiability.
major comments (2)
- [Abstract] Abstract and TEBD implementation description: The central claim that the diagonal isometric form enables stable and accurate TEBD contractions requires that the auxiliary tensors preserve the exact isometric condition (unitary contraction along physical legs) after each gate application and truncation. No explicit verification is supplied, such as measured deviation from unitarity after a full sweep or norm drift as a function of bond dimension, which is load-bearing for the stability and accuracy assertions on lattices of 1250 sites.
- [Benchmarking results] Benchmarking results: The abstract reports successful ground-state and real-time evolution benchmarks for the 2D Ising model, yet supplies no error bars, bond-dimension convergence data, or implementation details sufficient to assess the claimed accuracy at the critical point; this weakens the quantitative support for the efficiency claim.
minor comments (2)
- The abstract states that the formulation allows natural extension to honeycomb or kagome lattices, but the main text contains no explicit discussion, diagram, or example of this extension.
- A schematic figure illustrating the placement of auxiliary tensors on the orthogonality hypersurface would improve readability of the new isometric construction.
Simulated Author's Rebuttal
We thank the referee for their careful reading of our manuscript and for the constructive comments. We address each major point below and have revised the manuscript to incorporate additional verification and quantitative details.
read point-by-point responses
-
Referee: [Abstract] Abstract and TEBD implementation description: The central claim that the diagonal isometric form enables stable and accurate TEBD contractions requires that the auxiliary tensors preserve the exact isometric condition (unitary contraction along physical legs) after each gate application and truncation. No explicit verification is supplied, such as measured deviation from unitarity after a full sweep or norm drift as a function of bond dimension, which is load-bearing for the stability and accuracy assertions on lattices of 1250 sites.
Authors: We thank the referee for highlighting this important aspect. The diagonal isometric form is constructed such that the isometry is preserved exactly by design during gate application and truncation steps, as the auxiliary tensors represent the orthogonality hypersurface and the contractions remain unitary along the physical legs. Nevertheless, we agree that explicit numerical checks would provide stronger support for the claims on large lattices. In the revised manuscript we have added a dedicated subsection with numerical verification, including the measured deviation from unitarity after full sweeps and norm drift as a function of bond dimension, confirming that deviations remain below machine precision. revision: yes
-
Referee: [Benchmarking results] Benchmarking results: The abstract reports successful ground-state and real-time evolution benchmarks for the 2D Ising model, yet supplies no error bars, bond-dimension convergence data, or implementation details sufficient to assess the claimed accuracy at the critical point; this weakens the quantitative support for the efficiency claim.
Authors: We agree that the benchmarking section would benefit from additional quantitative diagnostics. In the revised manuscript we have added error bars to the reported observables (obtained from multiple independent runs), included explicit bond-dimension convergence plots for both ground-state energies and short-time dynamics at the critical point, and provided further implementation details such as the truncation threshold, number of sweeps, and lattice sizes used in the 1250-site calculations. revision: yes
Circularity Check
No significant circularity; results rest on numerical implementation and benchmarking
full rationale
The paper defines a new auxiliary-tensor construction for the diagonal isometric form of isoTPS, then directly implements TEBD contractions and reports numerical ground-state and real-time results for the 2D TFIM on lattices up to 1250 sites. No equation or claim reduces a reported quantity to a fitted parameter or self-referential definition by construction; the isometry preservation and accuracy statements are validated externally via explicit computation rather than being tautological with the input ansatz. Self-citations, if present, are not load-bearing for the central claims, which remain falsifiable against independent benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Auxiliary tensors exist that enforce the required isometric condition across the 2D orthogonality hypersurface without compromising contraction efficiency.
Forward citations
Cited by 1 Pith paper
-
Holographic Representation of One-Dimensional Many-Body Quantum States via Isometric Tensor Networks
Holographic isoTNS represent volume-law entangled states including arbitrary fermionic Gaussian states, Clifford states, and certain short-time evolved states using an extra network dimension with isometric constraints.
Reference graph
Works this paper leans on
-
[1]
To keep the isometric structure of the network, T ′ and W ′ 1 must be isome- tries and (if the wavefunction is normalized) W ′ 2 must be a tensor of norm one. Due to the visual similarity to the Yang- Baxter equation we call this procedure the Yang-Baxter (YB) move. Accordingly, to distinguish the alternative isometric form from the original isoTPS, we wi...
work page 2020
-
[2]
D. C. Tsui, H. L. Stormer, and A. C. Gossard, Physical Review Letters 48, 1559 (1982)
work page 1982
-
[3]
R. B. Laughlin, Physical Review Letters 50, 1395 (1983)
work page 1983
-
[4]
H. L. Stormer, D. C. Tsui, and A. C. Gossard, Reviews of Mod- ern Physics 71, S298 (1999)
work page 1999
-
[5]
T.-H. Han, J. S. Helton, S. Chu, D. G. Nocera, J. A. Rodriguez- Rivera, C. Broholm, and Y . S. Lee, Nature492, 406 (2012)
work page 2012
-
[6]
Wen, Reviews of Modern Physics 89, 041004 (2017)
X.-G. Wen, Reviews of Modern Physics 89, 041004 (2017)
work page 2017
-
[7]
J. G. Bednorz and K. A. M ¨uller, Zeitschrift f¨ur Physik B Con- densed Matter 64, 189 (1986)
work page 1986
-
[8]
P. A. Lee, N. Nagaosa, and X.-G. Wen, Reviews of Modern Physics 78, 17 (2006)
work page 2006
-
[9]
S. R. White, Physical Review Letters 69, 2863 (1992)
work page 1992
-
[10]
J. Dukelsky, M. A. Mart ´ın-Delgado, T. Nishino, and G. Sierra, Europhysics Letters (EPL) 43, 457 (1998)
work page 1998
-
[11]
Schollw ¨ock, Annals of Physics 326, 96 (2011)
U. Schollw ¨ock, Annals of Physics 326, 96 (2011)
work page 2011
-
[12]
Or ´us, Annals of Physics 349, 117 (2014)
R. Or ´us, Annals of Physics 349, 117 (2014)
work page 2014
- [13]
- [14]
-
[15]
M. B. Hastings, Journal of Statistical Mechanics: Theory and Experiment 2007, P08024 (2007)
work page 2007
-
[16]
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
work page internal anchor Pith review Pith/arXiv arXiv 2004
-
[17]
J. Haegeman, C. Lubich, I. Oseledets, B. Vandereycken, and F. Verstraete, Physical Review B94, 165116 (2016)
work page 2016
-
[18]
M. Lubasch, J. I. Cirac, and M.-C. Ba ˜nuls, Physical Review B 90, 064425 (2014)
work page 2014
-
[19]
M. P. Zaletel and F. Pollmann, Physical Review Letters 124, 037201 (2020)
work page 2020
-
[20]
R. Haghshenas, M. J. O’Rourke, and G. K.-L. Chan, Physical Review B 100, 054404 (2019)
work page 2019
-
[21]
K. Hyatt and E. M. Stoudenmire, DMRG Approach to Optimizing Two-Dimensional Tensor Networks (2020), arXiv:1908.08833 [cond-mat]
-
[22]
S.-H. Lin, M. P. Zaletel, and F. Pollmann, Physical Review B 106, 245102 (2022)
work page 2022
-
[23]
T. Soejima, K. Siva, N. Bultinck, S. Chatterjee, F. Pollmann, and M. P. Zaletel, Physical Review B101, 085117 (2020)
work page 2020
- [24]
- [25]
-
[26]
Y . Wu, S. Anand, S.-H. Lin, F. Pollmann, and M. P. Zaletel, Physical Review B 107, 245118 (2023)
work page 2023
-
[27]
M. S. J. Tepaske and D. J. Luitz, Physical Review Research 3, 023236 (2021)
work page 2021
- [28]
-
[29]
Computational Complexity of Isometric Tensor-Network States
D. Malz and R. Trivedi, Computational complexity of isometric tensor network states (2024), arXiv:2402.07975 [quant-ph]
-
[30]
Z.-Y . Wei, D. Malz, and J. I. Cirac, Physical Review Letters 128, 010607 (2022)
work page 2022
-
[31]
L. Slattery and B. K. Clark, Quantum Circuits For Two-Dimensional Isometric Tensor Networks (2021), arXiv:2108.02792 [quant-ph]
- [32]
-
[33]
Vidal, Physical Review Letters 93, 040502 (2004)
G. Vidal, Physical Review Letters 93, 040502 (2004)
work page 2004
-
[34]
F. Verstraete, M. M. Wolf, D. Perez-Garcia, and J. I. Cirac, Physical Review Letters 96, 220601 (2006)
work page 2006
-
[35]
R. J. Baxter and I. G. Enting, Journal of Statistical Physics 21, 103 (1979)
work page 1979
-
[36]
M. Lubasch, J. I. Cirac, and M.-C. Ba ˜nuls, New Journal of Physics 16, 033014 (2014)
work page 2014
- [37]
- [38]
-
[39]
J. Unfried, J. Hauschild, and F. Pollmann, Physical Review B 107, 155133 (2023)
work page 2023
-
[40]
H. W. J. Bl ¨ote and Y . Deng, Physical Review E 66, 066110 (2002)
work page 2002
-
[41]
J. Hauschild and F. Pollmann, SciPost Physics Lecture Notes , 5 (2018)
work page 2018
-
[42]
M. P. Zaletel, R. S. K. Mong, C. Karrasch, J. E. Moore, and F. Pollmann, Physical Review B 91, 165112 (2015)
work page 2015
-
[43]
Efficient classical simulation of slightly entangled quantum computations
G. Vidal, Physical Review Letters 91, 147902 (2003), arXiv:quant-ph/0301063
work page internal anchor Pith review Pith/arXiv arXiv 2003
-
[44]
M. Urbanek and P. Sold´an, Computer Physics Communications 199, 170 (2016)
work page 2016
-
[45]
V . V olokitin, I. Vakulchyk, E. Kozinov, A. Liniov, I. Meyerov, M. Ivanchenko, T. Laptyeva, and S. Denisov, Journal of Physics: Conference Series 1392, 012061 (2019), arXiv:1905.08365 [cond-mat]
- [46]
-
[47]
S.-H. Lin, R. Dilip, A. G. Green, A. Smith, and F. Pollmann, PRX Quantum 2, 010342 (2021)
work page 2021
-
[48]
Sappler, YB-isoTPS, https://github.com/ SnackerBit/YB-isoTPS (2025)
B. Sappler, YB-isoTPS, https://github.com/ SnackerBit/YB-isoTPS (2025)
work page 2025
-
[49]
J. C. Gower and G. B. Dijksterhuis, Procrustes problems , V ol. 30 (Oxford University Press, USA, 2004)
work page 2004
- [50]
-
[51]
I. A. Luchnikov, M. E. Krechetov, and S. N. Filippov, New Jour- nal of Physics 23, 073006 (2021)
work page 2021
- [52]
-
[53]
J. Townsend, N. Koep, and S. Weichwald, Pymanopt: A Python Toolbox for Optimization on Manifolds using Automatic Dif- ferentiation (2016), arXiv:1603.03236 [cs]
-
[54]
J. R. Shewchuk et al., An introduction to the conjugate gradient method without the agonizing pain (1994)
work page 1994
-
[55]
W. W. Hager and H. Zhang, Pacific journal of Optimization 2, 35 (2006)
work page 2006
-
[56]
W. W. Hager and H. Zhang, ACM Transactions on Mathemati- cal Software 32, 113 (2006)
work page 2006
-
[57]
Zhu, Computational Optimization and Applications 67, 73 (2017)
X. Zhu, Computational Optimization and Applications 67, 73 (2017)
work page 2017
- [58]
-
[59]
P.-A. Absil, C. Baker, and K. Gallivan, Foundations of Compu- tational Mathematics 7, 303 (2007). Appendix A: Optimization of isometric tensor networks When working with isometric tensor networks, one often needs to find optimal tensors that extremize a given cost func- tion f . In the most general case, f is a function f : Cm1×n1 × Cm2×n2 × · · · × CmK ×...
work page 2007
-
[60]
Orthogonal Procrustes problem If the cost function is linear, it can be written as f (T) = mX j=1 nX k=1 h α j,k Re T j,k + β j,k Im T j,k i 13 with parameters α j,k, β j,k ∈ R. Introducing the environment tensor E ∈ Cm×n as E j,k = α j + iβk, we can write the cost func- tion as f (T) = mX j=1 nX k=1 Re E∗ j,kT j,k = Re Tr E†T = Re Tr T †E . Maximizing f ...
-
[61]
Evenbly-Vidal style optimization In general, the cost function f (T) is not linear. For example, a non-linear cost function is encountered in the disentangling procedure when optimizing a MERA wave function [36]. It was proposed by Evenbly and Vidal [36, 37] to linearize the cost function and to update the tensor T iteratively using the closed form soluti...
-
[62]
For a more in-depth introduction to the topic we recommend the book [49]
Riemannian optimization In the following, we give a brief review of Riemannian optimization algorithms over the manifold of isometric ma- 14 trices T ∈ Cn×p, T †T = 1, which is called the Stiefel mani- fold St(n,p). For a more in-depth introduction to the topic we recommend the book [49]. Riemannian optimization of complex matrix manifolds is discussed in...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.