We begin by deriving bounds for the entanglement of a spin with an (adjacent and non-adjacent) interval of spins in an arbitrary pure Finitely Correlated States (FCS). The bounds we derive become exact in the case where one considers the entanglement of a single spin with a half-infinite chain to the right of it. Our result permits a more efficient calculation, numerically and in some cases even analytically, of the entanglement in arbitrary finitely correlated quantum spin chains. We continue the study of entanglement in the setting of ground states of Hamiltonians with a spectral gap. In particular, for
V a finite subset of
Zd, we let
HV denote a Hamiltonian on
V with finite range, finite strength interactions and a unique ground state with a non-vanishing spectral gap. For a density matrix
ρA that describes the finite-volume restriction to a region
A of the unique ground state, we provide a detailed version of a proof by M. Hastings, that the entropy of
ρA is bounded by a uniform constant
C. Moreover, we provide a detailed generalization of the 1-dimensional construction of Hastings' approximation to the ground state in dimensions 2 and higher. Finally, we turn our attention to the study of a conjecture central to Quantum Information Theory, the multiplicativity of the maximal output Schatten
p-norm of quantum channels, for
p>1. In particular, we study the output 2-norm for a special class of quantum channels, the depolarized Werner-Holevo channels, and show that multiplicativity holds for a product of two identical channels in this class.
Abstract The split property of a pure state for a certain cut of a quantum spin system can be understood as the entanglement between the two subsystems being weak. From this point of view, we may say that if it is not possible to transform a state
ω ω via sufficiently local automorphisms (in a sense that we will make precise) into a state satisfying the split property, then the state
ω ω has a long-range entanglement. It is well known that in 1D, gapped ground states have the split property with respect to cutting the system into left and right half-chains. In 2D, however, the split property fails to hold for interesting models such as Kitaev’s toric code. Here we show that this failure is the reason that anyons can exist in that model. There is a folklore saying that the existence of anyons, like in the toric code model, implies long-range entanglement of the state. In this paper, we prove this folklore in an infinite dimensional setting. More precisely, we show that long-range entanglement, in a way that we will define precisely, is a necessary condition to have non-trivial superselection sectors. Anyons in particular give rise to such non-trivial sectors. States with the split property for cones, on the other hand, do not admit non-trivial sectors. A key technical ingredient of our proof is that under suitable assumptions on locality, the automorphisms generated by local interactions can be “approximately factorized.” That is, they can be written as the tensor product of automorphisms localized in a cone and its complement respectively, followed by an automorphism acting near the “boundary” of
Λ Λ , and conjugation with a unitary. This result may be of independent interest. This technique also allows us to prove that theapproximatesplit property, a weaker version of the split property thatissatisfied in e.g. the toric code, is stable under applying such automorphisms.
It is widely believed that the spectral gap above the Fermi sea ground state of lattice free fermions is stable against generic weak interactions. Quite recently, Hastings presented a new interesting idea to prove the stability for Majorana free fermions. He ingeniously used Majorana fermions so that the unperturbed Hamiltonian of the free fermion part is mapped into a frustration-free form. In this paper, we refine Hastings's argument, and give a complete proof of the stability of the spectral gap above the Fermi sea ground state against generic weak interactions for generic lattice free fermions.