ﻻ يوجد ملخص باللغة العربية
Proving that the parent Hamiltonian of a Projected Entangled Pair State (PEPS) is gapped remains an important open problem. We take a step forward in solving this problem by showing two results: first, we identify an approximate factorization condition on the boundary state of rectangular subregions that is sufficient to prove that the parent Hamiltonian of the bulk 2D PEPS has a constant gap in the thermodynamic limit; second, we then show that Gibbs state of a local, finite-range Hamiltonian satisfy such condition. The proof applies to the case of injective and MPO-injective PEPS, employs the martingale method of nearly commuting projectors, and exploits a result of Araki on the robustness of one dimensional Gibbs states. Our result provides one of the first rigorous connections between boundary theories and dynamical properties in an interacting many body system.
We provide explicit formulas for the Green function of an elliptic PDE in the infinite strip and the half-plane. They are expressed in elementary and special functions. Proofs of uniqueness and existence are also given.
We study the stationary nonhomogeneous Navier--Stokes problem in a two dimensional symmetric domain with a semi-infinite outlet (for instance, either parabo-loidal or channel-like). Under the symmetry assumptions on the domain, boundary value and ext
The spectral and dynamical properties of dissipative quantum systems, as modeled by a damped oscillator in the Fock space, are investigated from a topological point of view. Unlike a physical lattice system that is naturally under the open boundary c
We explore boundary scattering in the sine-Gordon model with a non-integrable family of Robin boundary conditions. The soliton content of the field after collision is analysed using a numerical implementation of the direct scattering problem associat
As a model for the semiclassical analysis of quantum-mechanical systems with both potentials and boundary conditions, we construct the WKB propagator for a linear potential sloping away from an impenetrable boundary. First, we find all classical path