Manuscript Oai265-A@2 · Oai265-A.tex · proposition · c0a34a45
Proposition: The same spatial allowance permits turnover and no turnover
Static spatial bounds do not determine temporal histories › Uniformly gapped instantaneous states permit different paths · lines 1508–1556 · proof included or linked
Oai265-A@2#prop:gappedpath
Choose adjacent qubit sites , and let
Define
Every has a unique ground state , gap one, and local interaction norms at most one. For every cut,
The states have exact PEPS representations of bond dimension at most two.
A cut separating has entropy
Thus the constant path and a path increasing from to have the same uniform gap and spatial allowance but different entropy histories.
Proof. The pair projector has a one-dimensional kernel and gap one. All other projectors act on disjoint sites. If a cut does not separate , its reduction is pure. Otherwise the only mixed factor has eigenvalues , with entropy at most . The edge crosses every such cut. A Schmidt expansion on that one edge gives bond dimension two. The entropy is zero at the endpoints and at .
Displayed formulas in this passage
unlabeled · line 1512
unlabeled · line 1518
unlabeled · line 1523
unlabeled · line 1531
unlabeled · line 1538