BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Pieter Naaijkens

Pieter Naaijkens contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math-phmath.MPquant-phmath.OAcond-mat.str-elmath.CT

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
7works
0followers
6topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

7 published item(s)

preprint2021arXiv

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

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. In fact, we will 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': 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.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

An entropic invariant for 2D gapped quantum phases

We introduce an entropic quantity for two-dimensional (2D) quantum spin systems to characterize gapped quantum phases modeled by local commuting projector code Hamiltonians. The definition is based on a recently introduced specific operator algebra defined on an annular region, which encodes the superselection sectors of the model. The quantity is calculable from local properties, and it is invariant under any constant-depth local quantum circuit, and thus an indicator of gapped quantum spin-liquids. We explicitly calculate the quantity for Kitaev's quantum double models, and show that the value is exactly same as the topological entanglement entropy of the models. Our method circumvents some of the problems around extracting the TEE, allowing us to prove invariance under constant-depth quantum circuits.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

On the stability of charges in infinite quantum spin systems

We consider a theory of superselection sectors for infinite quantum spin systems, describing charges that can be approximately localized in cone-like regions. The primary examples we have in mind are the anyons (or charges) in topologically ordered models such as Kitaev's quantum double models and perturbations of such models. In order to cover the case of perturbed quantum double models, the Doplicher-Haag-Roberts approach, in which strict localization is assumed, has to be amended. To this end we consider endomorphisms of the observable algebra that are almost localized in cones. Under natural conditions on the reference ground state (which plays a role analogous to the vacuum state in relativistic theories), we obtain a braided tensor $C^*$-category describing the sectors. We also introduce a superselection criterion selecting excitations with energy below a threshold. When the threshold energy falls in a gap of the spectrum of the ground state, we prove stability of the entire superselection structure under perturbations that do not close the gap. We apply our results to prove that all essential properties of the anyons in Kitaev's abelian quantum double models are stable against perturbations.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Kosaki-Longo index and classification of charges in 2D quantum spin models

We consider charge superselection sectors of two-dimensional quantum spin models corresponding to cone localisable charges, and prove that the number of equivalence classes of such charges is bounded by the Kosaki-Longo index of an inclusion of certain observable algebras. To demonstrate the power of this result we apply the theory to the toric code on a 2D infinite lattice. For this model we can compute the index of this inclusion, and conclude that there are four distinct irreducible charges in this model, in accordance with the analysis of the toric code model on compact surfaces. We also give a sufficient criterion for the non-degeneracy of the charge sectors, in the sense that Verlinde's matrix S is invertible.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Haag duality and the distal split property for cones in the toric code

We prove that Haag duality holds for cones in the toric code model. That is, for a cone Lambda, the algebra R_Lambda of observables localized in Lambda and the algebra R_{Lambda^c} of observables localized in the complement Lambda^c generate each other's commutant as von Neumann algebras. Moreover, we show that the distal split property holds: if Lambda_1 \subset Lambda_2 are two cones whose boundaries are well separated, there is a Type I factor N such that R_{Lambda_1} \subset N \subset R_{Lambda_2}. We demonstrate this by explicitly constructing N.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Localized endomorphisms in Kitaev's toric code on the plane

We consider various aspects of Kitaev's toric code model on a plane in the C^*-algebraic approach to quantum spin systems on a lattice. In particular, we show that elementary excitations of the ground state can be described by localized endomorphisms of the observable algebra. The structure of these endomorphisms is analyzed in the spirit of the Doplicher-Haag-Roberts program (specifically, through its generalization to infinite regions as considered by Buchholz and Fredenhagen). Most notably, the statistics of excitations can be calculated in this way. The excitations can equivalently be described by the representation theory of D(Z_2), i.e., Drinfel'd's quantum double of the group algebra of Z_2.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

On the extension of stringlike localised sectors in 2+1 dimensions

In the framework of algebraic quantum field theory, we study the category Δ_BF^A of stringlike localised representations of a net of observables O \mapsto A(O) in three dimensions. It is shown that compactly localised (DHR) representations give rise to a non-trivial centre of Δ_BF^A with respect to the braiding. This implies that Δ_BF^A cannot be modular when non-trival DHR sectors exist. Modular tensor categories, however, are important for topological quantum computing. For this reason, we discuss a method to remove this obstruction to modularity. Indeed, the obstruction can be removed by passing from the observable net A(O) to the Doplicher-Roberts field net F(O). It is then shown that sectors of A can be extended to sectors of the field net that commute with the action of the corresponding symmetry group. Moreover, all such sectors are extensions of sectors of A. Finally, the category Δ_BF^F of sectors of F is studied by investigating the relation with the categorical crossed product of Δ_BF^A by the subcategory of DHR representations. Under appropriate conditions, this completely determines the category Δ_BF^F.

0 citations0 reviewsNo code linkedOpen access