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

Back to manuscript

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

Nearby in this section