Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2608.12512

Type III von Neumann Algebras are Magical

Mudassir Moosa

hep-thmath-phquant-phSubmitted Aug 12, 2026• Announced Aug 14, 2026• 0 citations
arXivHTMLPDF

Abstract

The number of non-Clifford gates needed to perform a task, or simply \textit{magic}, is a resource for fault-tolerant quantum computation. Von Neumann algebras provide a formal mathematical structure to describe infinite-dimensional quantum systems, such as those in quantum field theory or quantum statistical mechanics. A particularly important class of von Neumann algebras is called Type III algebras, for which the standard notions of finite-dimensional systems such as density matrices and traces break down. In this work, we argue that Type III von Neumann algebras fundamentally require an infinite amount of magic. Specifically, we consider the thermodynamic limit of finite-dimensional quantum systems, such as lattice systems, and show that if the states in the thermodynamic limit possess only a bounded amount of magic, the resulting local von Neumann algebra cannot be of Type III. Our result has direct implications for the quantum simulations of quantum field theories, for which the algebra of a local subregion is known to be of Type III.

Related papers

Infinite magic and the emergence of the continuum

Leo Shaposhnik, Lorenzo Leone, Lennart Bittel +3 more

Which features of a quantum state are needed for a relativistic quantum field theory to emerge from a lattice system? We address this question by establishing a quantitative relationship between the type classification of hyperfinite von Neumann algebras and the quantum-information-theoretic resource of nonstabilizerness, also called magic. Our results establish two complementary parts of this relationship. First, we prove that any stabilizer system on a lattice defines a canonical GNS Hilbert space in which local von Neumann algebras do not contain type III factors in their central decomposition. As an explicit example, we prove that for stabilizer systems with short-range order, the local algebras are isomorphic to tensor products of hyperfinite factors of type I or type II. This demonstrates that the absence of magic is accompanied by the absence of type III factors in the local algebras, therefore prohibiting the appearance of a quantum field theory. Second, for the hyperfinite factors of Araki, Woods and Powers, we prove a quantitative equivalence: The limiting factor is of type III if and only if the locally optimized min-relative entropy of magic diverges. This divergence is necessary to generate the continuous spectrum associated to a type III factor. Thus, in this setting, the emergence of a type III factor requires not merely the presence of magic, but an infinite amount of it. These results provide a rigorous setting supporting the proposal that infinite magic is a necessary structural ingredient for the emergence of a relativistic continuum from lattice systems.

quant-pharXiv:2610.20790•Oct 16, 2026•0 citations

Universality of Magic in Local Quantum Field Theory

Valentin Benedetti, Atish Dabholkar, Marcello Dalmonte

We show that no stabilizer state in a discrete realization of a local quantum field theory can flow in the continuum to the vacuum or to any state that resembles the vacuum at short distances. The argument rests on the fact that the entanglement spectrum is flat for stabilizer states but non-flat for cyclic and separating states in a local QFT as a consequence of the type III$_1$ nature of the von Neumann algebras associated with arbitrary subregions. Our result implies that simulating physically relevant QFT states necessarily requires quantum resources beyond stabilizer states and Clifford operations. We comment on the implications for holography.

hep-thCross-listedarXiv:2607.16403•Jul 21, 2026•0 citations

The role of type III factors in quantum field theory

Jakob Yngvason

One of von Neumann’s motivations for developing the theory of operator algebras and his and Murray’s 1936 classification of factors was the question of possible decompositions of quantum systems into independent parts. For quantum systems with a finite number of degrees of freedom the simplest possibility, i.e., factors of type I in the terminology of Murray and von Neumann, are perfectly adequate. In relativistic quantum field theory (RQFT), on the other hand, factors of type III occur naturally. The same holds true in quantum statistical mechanics of infinite systems. In this brief review some physical consequences of the type III property of the von Neumann algebras corresponding to localized observables in RQFT and their difference from the type I case will be discussed. The cumulative effort of many people over more than 30 years has established a remarkable uniqueness result: The local algebras in RQFT are generically isomorphic to the unique, hyperfinite type III1 factor in Connes ’ classification of 1973. Specific theories are characterized by the net structure of the collection of these isomorphic algebras for different space-time regions, i.e., the way they are embedded into each other. John von Neumann was the father of the Hilbert space formulation of quantum mechanics [1] that has been the basis of almost all mathematically rigorous investigations of the theory to this day. We start by recalling the main concepts and explaining some notations.

•Jan 1, 2005•117 citations

Notes on the type classification of von Neumann algebras

Jonathan Sorce

This paper provides an explanation of the type classification of von Neumann algebras, which has made many appearances in the recent work on entanglement in quantum field theory and quantum gravity. The goal is to bridge a gap in the literature between resources that are too technical for the non-expert reader, and resources that seek to explain the broad intuition of the theory without giving precise definitions. Reading this paper will provide you with: (i) an argument for why “factors” are the fundamental von Neumann algebras that one needs to study; (ii) an intuitive explanation of the type classification of factors in terms of renormalization schemes that turn unnormalizable positive operators into “effective density matrices”; (iii) a mathematical explanation of the different types of renormalization schemes in terms of the allowed traces on a factor; (iv) an intuitive characterization of type I and type II factors in terms of their “standard forms”; and (v) a list of some interesting connections between type classification and modular theory, including the argument for why type III 1 factors are believed to be the relevant ones in quantum field theory. None of the material is new, but the pedagogy is different from other sources the author has read; it is most similar in spirit to the recent work on gravity and the crossed product by Chandrasekaran, Longo, Penington, and Witten.

arXiv:2302.01958•Reviews in Mathematical Physics•Nov 1, 2023•77 citations

Magic and Non-Clifford Gates in Topological Quantum Field Theory

William Munizzi, Howard J. Schnitzer

Non-Clifford gates, used to generate quantum magic, are essential for universal quantum computation. We show that non-Clifford gates arise naturally from path integrals in topological quantum field theories, where their magic-generating properties are determined by the algebraic data of the theory. In Chern-Simons theory, we construct the Ising interaction gate, whose generator is prepared by path integration over simple three-boundary manifolds, and show that it produces non-local magic away from discrete Clifford points. We show that the Toffoli gate is obstructed in $SU(2)_1$ by the $\mathbb{Z}_2$ fusion structure, while $SU(2)_3$ is the minimal theory supporting the required conditional logic, given the density of the mapping class group in the projective unitary group on the manifold boundary. Finally, we demonstrate that the T gate arises as a path integral in Dijkgraaf-Witten theory, with gauge group $\mathbb{Z}_4$, where a single Dehn twist on the boundary torus produces the gate without approximation. These results show that topological path integrals construct gates in multiple levels of the Clifford hierarchy, and across distinct classes of field theories, with implications for topological quantum computing.

hep-thCross-listedarXiv:2604.14271•Apr 17, 2026•0 citations

Quantum error correction on infinite-dimensional Hilbert spaces

Cédric Bény, Achim Kempf, David W. Kribs

We present a generalization of quantum error correction to infinite-dimensional Hilbert spaces. We find that, under relatively mild conditions, much of the structure known from systems in finite-dimensional Hilbert spaces carries straightforwardly over to infinite dimensions. We also find that, at least in principle, there exist qualitatively new classes of quantum error correcting codes that have no finite-dimensional counterparts. We begin with a shift of focus from states to algebras of observables. Standard subspace codes and subsystem codes are seen as the special case of algebras of observables given by finite-dimensional von Neumann factors of type I. The new classes of codes that arise in infinite dimensions are shown to be characterized by von Neumann algebras of types II and III, for which we give in-principle physical examples.

arXiv:0811.0421•Journal of Mathematical Physics•Jun 1, 2009•20 citations
The number of non-Clifford gates needed to perform a task, or simply \textit{magic}, is a resource for fault-tolerant quantum computation. Von Neumann algebras provide a formal mathematical structure to describe infinite-dimensional quantum systems, such as those in quantum field theory or quantum statistical mechanics. A particularly important class of von Neumann algebras is called Type III algebras, for which the standard notions of finite-dimensional systems such as density matrices and traces break down. In this work, we argue that Type III von Neumann algebras fundamentally require an infinite amount of magic. Specifically, we consider the thermodynamic limit of finite-dimensional quantum systems, such as lattice systems, and show that if the states in the thermodynamic limit possess only a bounded amount of magic, the resulting local von Neumann algebra cannot be of Type III. Our result has direct implications for the quantum simulations of quantum field theories, for which the algebra of a local subregion is known to be of Type III.
Which features of a quantum state are needed for a relativistic quantum field theory to emerge from a lattice system? We address this question by establishing a quantitative relationship between the type classification of hyperfinite von Neumann algebras and the quantum-information-theoretic resource of nonstabilizerness, also called magic. Our results establish two complementary parts of this relationship. First, we prove that any stabilizer system on a lattice defines a canonical GNS Hilbert space in which local von Neumann algebras do not contain type III factors in their central decomposition. As an explicit example, we prove that for stabilizer systems with short-range order, the local algebras are isomorphic to tensor products of hyperfinite factors of type I or type II. This demonstrates that the absence of magic is accompanied by the absence of type III factors in the local algebras, therefore prohibiting the appearance of a quantum field theory. Second, for the hyperfinite factors of Araki, Woods and Powers, we prove a quantitative equivalence: The limiting factor is of type III if and only if the locally optimized min-relative entropy of magic diverges. This divergence is necessary to generate the continuous spectrum associated to a type III factor. Thus, in this setting, the emergence of a type III factor requires not merely the presence of magic, but an infinite amount of it. These results provide a rigorous setting supporting the proposal that infinite magic is a necessary structural ingredient for the emergence of a relativistic continuum from lattice systems.
We show that no stabilizer state in a discrete realization of a local quantum field theory can flow in the continuum to the vacuum or to any state that resembles the vacuum at short distances. The argument rests on the fact that the entanglement spectrum is flat for stabilizer states but non-flat for cyclic and separating states in a local QFT as a consequence of the type III1_11​ nature of the von Neumann algebras associated with arbitrary subregions. Our result implies that simulating physically relevant QFT states necessarily requires quantum resources beyond stabilizer states and Clifford operations. We comment on the implications for holography.
One of von Neumann’s motivations for developing the theory of operator algebras and his and Murray’s 1936 classification of factors was the question of possible decompositions of quantum systems into independent parts. For quantum systems with a finite number of degrees of freedom the simplest possibility, i.e., factors of type I in the terminology of Murray and von Neumann, are perfectly adequate. In relativistic quantum field theory (RQFT), on the other hand, factors of type III occur naturally. The same holds true in quantum statistical mechanics of infinite systems. In this brief review some physical consequences of the type III property of the von Neumann algebras corresponding to localized observables in RQFT and their difference from the type I case will be discussed. The cumulative effort of many people over more than 30 years has established a remarkable uniqueness result: The local algebras in RQFT are generically isomorphic to the unique, hyperfinite type III1 factor in Connes ’ classification of 1973. Specific theories are characterized by the net structure of the collection of these isomorphic algebras for different space-time regions, i.e., the way they are embedded into each other. John von Neumann was the father of the Hilbert space formulation of quantum mechanics [1] that has been the basis of almost all mathematically rigorous investigations of the theory to this day. We start by recalling the main concepts and explaining some notations.
This paper provides an explanation of the type classification of von Neumann algebras, which has made many appearances in the recent work on entanglement in quantum field theory and quantum gravity. The goal is to bridge a gap in the literature between resources that are too technical for the non-expert reader, and resources that seek to explain the broad intuition of the theory without giving precise definitions. Reading this paper will provide you with: (i) an argument for why “factors” are the fundamental von Neumann algebras that one needs to study; (ii) an intuitive explanation of the type classification of factors in terms of renormalization schemes that turn unnormalizable positive operators into “effective density matrices”; (iii) a mathematical explanation of the different types of renormalization schemes in terms of the allowed traces on a factor; (iv) an intuitive characterization of type I and type II factors in terms of their “standard forms”; and (v) a list of some interesting connections between type classification and modular theory, including the argument for why type III 1 factors are believed to be the relevant ones in quantum field theory. None of the material is new, but the pedagogy is different from other sources the author has read; it is most similar in spirit to the recent work on gravity and the crossed product by Chandrasekaran, Longo, Penington, and Witten.
Non-Clifford gates, used to generate quantum magic, are essential for universal quantum computation. We show that non-Clifford gates arise naturally from path integrals in topological quantum field theories, where their magic-generating properties are determined by the algebraic data of the theory. In Chern-Simons theory, we construct the Ising interaction gate, whose generator is prepared by path integration over simple three-boundary manifolds, and show that it produces non-local magic away from discrete Clifford points. We show that the Toffoli gate is obstructed in SU(2)1SU(2)_1SU(2)1​ by the Z2\mathbb{Z}_2Z2​ fusion structure, while SU(2)3SU(2)_3SU(2)3​ is the minimal theory supporting the required conditional logic, given the density of the mapping class group in the projective unitary group on the manifold boundary. Finally, we demonstrate that the T gate arises as a path integral in Dijkgraaf-Witten theory, with gauge group Z4\mathbb{Z}_4Z4​, where a single Dehn twist on the boundary torus produces the gate without approximation. These results show that topological path integrals construct gates in multiple levels of the Clifford hierarchy, and across distinct classes of field theories, with implications for topological quantum computing.
We present a generalization of quantum error correction to infinite-dimensional Hilbert spaces. We find that, under relatively mild conditions, much of the structure known from systems in finite-dimensional Hilbert spaces carries straightforwardly over to infinite dimensions. We also find that, at least in principle, there exist qualitatively new classes of quantum error correcting codes that have no finite-dimensional counterparts. We begin with a shift of focus from states to algebras of observables. Standard subspace codes and subsystem codes are seen as the special case of algebras of observables given by finite-dimensional von Neumann factors of type I. The new classes of codes that arise in infinite dimensions are shown to be characterized by von Neumann algebras of types II and III, for which we give in-principle physical examples.