Diagonal Isometric Form for Tensor Network States in Two Dimensions

Benjamin Sappler; Frank Pollmann; Masataka Kawano; Michael P Zaletel

arxiv: 2507.08080 · v3 · pith:TYCPW6OSnew · submitted 2025-07-10 · ❄️ cond-mat.str-el · quant-ph

Diagonal Isometric Form for Tensor Network States in Two Dimensions

Benjamin Sappler , Masataka Kawano , Michael P Zaletel , Frank Pollmann This is my paper

Pith reviewed 2026-05-19 05:02 UTC · model grok-4.3

classification ❄️ cond-mat.str-el quant-ph

keywords isometric tensor product statesTEBDtensor networkstwo-dimensional quantum systemstransverse field Ising modelarea law entanglementreal time evolution

0 comments

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.

The paper introduces an alternative isometric form for tensor product states in two dimensions by adding auxiliary tensors to represent the orthogonality hypersurface. This form is used to run the time evolving block decimation algorithm for ground states and real-time evolution of the transverse field Ising model. Tests on square lattices up to 1250 sites show that the method handles the entanglement structure of area-law states and reproduces short-time dynamics accurately even at the critical point. The same construction extends naturally to other lattices such as honeycomb or kagome.

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

These are editorial extensions of the paper, not claims the author makes directly.

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

Figures reproduced from arXiv: 2507.08080 by Benjamin Sappler, Frank Pollmann, Masataka Kawano, Michael P Zaletel.

**Figure 2.** Figure 2: FIG. 2: Isometric tensor product states. (a) An MPS in isometric [PITH_FULL_IMAGE:figures/full_fig_p003_2.png] view at source ↗

**Figure 3.** Figure 3: FIG. 3: Moses Move (MM) algorithm. (a) The orthogonality hyper [PITH_FULL_IMAGE:figures/full_fig_p004_3.png] view at source ↗

**Figure 4.** Figure 4: FIG. 4: (a) Tensor network diagram of an isoTPS in the alternative [PITH_FULL_IMAGE:figures/full_fig_p005_4.png] view at source ↗

**Figure 5.** Figure 5: FIG. 5: (a) In the alternative isometric form, the orthogonality hy [PITH_FULL_IMAGE:figures/full_fig_p005_5.png] view at source ↗

**Figure 7.** Figure 7: FIG. 7: (a) Approximate truncated SVD based on Ref. [ [PITH_FULL_IMAGE:figures/full_fig_p006_7.png] view at source ↗

**Figure 6.** Figure 6: FIG. 6: Tensor network diagram of the tripartite decomposition algo [PITH_FULL_IMAGE:figures/full_fig_p006_6.png] view at source ↗

**Figure 8.** Figure 8: FIG. 8: A full second order TEBD update of time step [PITH_FULL_IMAGE:figures/full_fig_p007_8.png] view at source ↗

**Figure 9.** Figure 9: FIG. 9: The overlap of the state before and after applying a local [PITH_FULL_IMAGE:figures/full_fig_p007_9.png] view at source ↗

**Figure 10.** Figure 10: FIG. 10: (a) In this Figure we perform ground state search of the TFI model on a 4 [PITH_FULL_IMAGE:figures/full_fig_p008_10.png] view at source ↗

**Figure 11.** Figure 11: FIG. 11: (a) In this figure we plot the lowest energy densities found [PITH_FULL_IMAGE:figures/full_fig_p009_11.png] view at source ↗

**Figure 12.** Figure 12: FIG. 12: (a) Imaginary time TEBD results using YB-isoTPS on the [PITH_FULL_IMAGE:figures/full_fig_p010_12.png] view at source ↗

**Figure 14.** Figure 14: FIG. 14: In this figure, a visualization of optimization on Riemannian [PITH_FULL_IMAGE:figures/full_fig_p013_14.png] view at source ↗

read the original abstract

Isometric tensor network states (isoTNS) 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 isoTNS 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 isoTNS 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 isoTNS 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.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper introduces an auxiliary-tensor version of the diagonal isometric form for 2D isoTPS and shows it supports TEBD on the Ising model up to 1250 sites, but the isometry preservation under 2D contractions is not explicitly verified in the abstract.

read the letter

The main takeaway is that this work gives a new way to build an isometric form for two-dimensional tensor product states by adding auxiliary tensors that stand in for the orthogonality hypersurface. This setup lets them run time-evolving block decimation without the usual 2D contraction headaches, at least for the models they test. They benchmark ground states and short-time dynamics on the transverse-field Ising model on square lattices up to 1250 sites, and the results look reasonable even at the critical point where entanglement is higher. That part is useful because it shows the method can handle area-law states on lattices that are big enough to matter for condensed-matter questions. The extension note to honeycomb or kagome lattices is also a practical plus. What stands out is the concrete numerical evidence rather than just a formal rewrite of the isometric condition. The soft spots are in the verification details. The abstract reports success but gives no error bars, no plots of norm drift or unitarity deviation after full sweeps, and no direct comparison of how the auxiliary tensors behave versus standard isoTPS extensions. The stress-test concern about whether the isometry stays exact after each TEBD gate and truncation in 2D topology is reasonable; if those checks are missing or only approximate, the stability claim for general area-law states rests more on this one model than on a clear mechanism. The paper is aimed at people already using tensor networks for 2D quantum systems who want a workable alternative to existing isometric forms. A reader who needs to simulate dynamics or ground states on large 2D lattices would get something concrete to try. It shows honest engagement with the isoTPS literature and supplies reproducible numerical tests on a standard model, so it deserves a serious referee to look at the auxiliary construction and the contraction stability in the full manuscript.

Referee Report

2 major / 2 minor

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

2 responses · 0 unresolved

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

0 steps flagged

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

0 free parameters · 1 axioms · 0 invented entities

The approach rests on standard tensor-network assumptions for area-law states and the existence of suitable auxiliary tensors; no explicit free parameters or invented entities are introduced in the abstract.

axioms (1)

domain assumption Auxiliary tensors exist that enforce the required isometric condition across the 2D orthogonality hypersurface without compromising contraction efficiency.
Invoked to justify the new diagonal form and its use in TEBD.

pith-pipeline@v0.9.0 · 5677 in / 1166 out tokens · 40207 ms · 2026-05-19T05:02:05.961428+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Holographic Representation of One-Dimensional Many-Body Quantum States via Isometric Tensor Networks
quant-ph 2025-12 unverdicted novelty 7.0

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.