Cardiff University | Prifysgol Caerdydd ORCA
Online Research @ Cardiff 
WelshClear Cookie - decide language by browser settings

The split and approximate split property in 2D systems: stability and absence of superselection sectors

Naaijkens, Pieter ORCID: https://orcid.org/0000-0001-5670-243X and Ogata, Yoshiko 2022. The split and approximate split property in 2D systems: stability and absence of superselection sectors. Communications in Mathematical Physics 392 , pp. 921-950. 10.1007/s00220-022-04356-3

[thumbnail of Naaijkens-Ogata2022_Article_TheSplitAndApproximateSplitPro.pdf]
Preview
PDF - Published Version
Available under License Creative Commons Attribution.

Download (540kB) | Preview

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 the approximate split property, a weaker version of the split property that is satisfied in e.g. the toric code, is stable under applying such automorphisms.

Item Type: Article
Date Type: Publication
Status: Published
Schools: Mathematics
Additional Information: This article is licensed under a Creative Commons Attribution 4.0 International License
Publisher: Springer
ISSN: 1432-0916
Date of First Compliant Deposit: 25 February 2022
Date of Acceptance: 22 February 2022
Last Modified: 07 May 2023 21:55
URI: https://orca.cardiff.ac.uk/id/eprint/147828

Actions (repository staff only)

Edit Item Edit Item

Downloads

Downloads per month over past year

View more statistics