Overview
Research published on arXiv details a method for establishing a sufficient condition for the spectral gapping of two-dimensional parent Hamiltonians. This condition is formulated in terms of overlapping Projected Entangled Pair States (PEPS) boundary states and their approximate factorization properties. The methodology involves analyzing the boundary response when bonds are cut through the center of a rectangular region.
Research Context
The work focuses on the spectral gap of the hexagonal AKLT (Affleck-Kennedy-Lieb-Tasaki) model, a specific quantum many-body system, and also applies to Ising PEPS. The concept of a spectral gap is fundamental in characterizing the properties of quantum phases of matter. The study leverages PEPS, which are tensor network states used to represent ground states of local Hamiltonians, particularly in two dimensions. A key aspect of this research is the factorization criterion for a spectral gap, which relates the properties of local boundary states to the global gapped nature of the system.
Approach
The core of the approach is the establishment of a sufficient condition for approximate factorization of overlapping PEPS boundary states, which, in turn, implies a spectral gap. This condition hinges on the boundary response induced by cutting bonds through the center of a rectangular region. The method involves several steps:
- Decomposition of Boundary Response: The induced boundary response is decomposed into two parts: a contribution common to all four associated regions and a remainder. The remainder is measured in the instantaneous boundary metric.
- Linear Transport and Factorization Operators: A single linear transport mechanism is employed to absorb the common contribution. This process yields compatible factorization operators.
- Error Control: The error associated with these factorization operators is controlled solely by the remainder term.
The framework was applied to two distinct systems:
- Ising PEPS: For Ising PEPS, the required boundary-response estimate is reduced to a Dobrushin-Shlosman-type condition. The factorization error demonstrated exponential decay with the overlap width, prefactored by the cut length. For Ising PEPS, the gap implication necessitates compatible injective regional contractions, as specified within the research.
- Spin-3/2 AKLT Model on Hexagonal Lattice: In this application, a rooted expansion utilizing paths and loops was used to isolate the common response component. The remaining terms were controlled via a local comparison of boundary states, combined with a scalar Kotecký-Preiss estimate. Similar to Ising PEPS, the factorization error for the AKLT model also exhibited exponential decay with the overlap width, scaled by the cut length.
Findings
The research established a sufficient condition under which overlapping PEPS boundary states satisfy the approximate factorization criterion for a spectral gap. This condition is explicitly formulated in terms of the boundary response generated by cutting bonds through the center of a rectangular region.
- The boundary response can be decomposed into a common contribution across four associated regions and a remainder, which is measured in the instantaneous boundary metric.
- A single linear transport operation integrates the common contribution, yielding compatible factorization operators.
- The error of these factorization operators is directly controlled by the remainder term.
- For Ising PEPS, the boundary-response estimate reduces to a Dobrushin-Shlosman-type condition. The implication for a spectral gap in Ising PEPS additionally requires compatible injective regional contractions.
- For the spin-3/2 AKLT model on the hexagonal lattice, a rooted expansion involving paths and loops successfully isolates the common response. The remaining terms are managed through local boundary state comparisons and a scalar Kotecký-Preiss estimate.
- In both the Ising PEPS and hexagonal AKLT model cases, the factorization error was observed to decay exponentially with the overlap width. This decay is modulated by a prefactor proportional to the cut length.
- Specifically for the AKLT model, the study established the corresponding physical projector estimate and obtained a uniform spectral gap.
Why This Matters
The method developed provides a systematic pathway from the locality of PEPS boundary response to the determination of spectral gaps in two-dimensional parent Hamiltonians. This establishes a formal connection between local properties of tensor network states and a fundamental global property (the spectral gap) of the Hamiltonians they represent.