arXiv subjects

Jonathan Sorce

Publications and source records attributed to Jonathan Sorce.

At least 19 recordsLinked to original sources

arXiv2026

Uniqueness of null-local modular flow

In arXiv:2306.01837, it was conjectured that one can engineer a large class of quantum field theory states for which the modular flow on a spacelike slice is "instantaneously local." Here we show that on null slices, such flows are highly constrained; ultraviolet universality essentially requires null-local modular flow to be unique. Concretely, we study massless Klein-Gordon theory in Minkowski spacetime, and construct, for any sufficiently regular future-directed vector field on the past null boundary of a causal diamond, a state that has this vector field as its instantaneous modular flow. We then show by explicit computation that no two distinct states in this class can be realized in the same local Hilbert space. Using a more abstract argument, we also show that in the vacuum sector of the theory, the only null-local modular flow in a causal diamond is provided by the vacuum state itself. We also comment on the construction of null-local modular flow for massive scalars, free Maxwell fields, free gravitons, and in curved backgrounds.

hep-th↗

arXiv2026

Excitability of Gaussian states with VEVs

In arXiv:2604.19861, we gave general criteria for when one zero-mean Gaussian state can be excited out of another in a (generalized) free field theory. Here we extend this analysis to the case of nonzero mean, i.e., to Gaussian states with vacuum expectation values (VEVs). We prove that excitability is possible exactly when (i) the connected two-point functions satisfy criteria like those in arXiv:2604.19861, and (ii) the difference of the VEVs is bounded relative to the two-point functions. As an application, we give an explicit computation showing that in anti-de Sitter spacetime, a VEV shift can be excited from the Klein-Gordon vacuum if and only if its boundary extrapolation can be excited from the vacuum of the dual conformal field theory.

hep-th↗

arXiv2026

Algebraic locality and non-invertible Gauss laws

We study algebraic locality principles on a 2+1D closed lattice in the presence of a Gauss law for a non-invertible symmetry. Prior work in arXiv:2509.03589 showed that when enforcing the Gauss law of an invertible symmetry, the principle of "Haag duality" is preserved exactly, and "disjoint additivity" is preserved after appropriate treatment of discreteness artifacts. Here we show that for a large class of non-invertible on-site symmetries, Haag duality is preserved exactly only for sufficiently nice, "cuspless" regions. For cusped regions, we instead have a weak form of Haag duality that requires adding a collar. Our results apply to double models with a purely magnetic constraint, and to the more general framework of constraints induced by the on-site action of a Hopf algebra. In particular, we treat a class of extended string-net models explicitly. We also demonstrate disjoint additivity for double models based on a group, and a weakened form of disjoint additivity in the setting of a general Hopf algebra.

hep-th↗

arXiv2026

Excitability in quantum field theory

In quantum field theory, it is not always possible to excite one state out of another using only local operators. This paper establishes abstract algebraic criteria for (local) excitability in general quantum theories, and computes these criteria explicitly for zero-mean Gaussian states in (generalized) free field theories. We find that in this context, due to the special nature of Gaussian states, one-way excitability always implies two-way excitability, and our results generalize the "quasiequivalence theorems" of Powers, Stormer, van Daele, Araki, and Yamagami. A key role in our proof is played by the information-theoretic tool of canonical purification. In appendices, we provide a pedagogical introduction to the algebraic formulation of (generalized) free field theory.

hep-th↗

arXiv2025

Continuum canonical purifications

We construct and characterize canonical purifications for general algebraic states, extending prior constructions by Woronowicz and by Dutta/Faulkner to general quantum theories. Given a state on a $*$-algebra, the canonical purification is a state on a "doubled" algebra that admits an interpretation in terms of CRT reflection. This interpretation holds for all quantum theories, even in the absence of gravity. We then identify conditions under which canonical purifications are "pure" in the technical sense, compute their modular conjugations, and relate them to GNS and natural-cone purifications in certain settings. In an appendix, we develop a general theory of von Neumann algebras generated by unbounded $*$-algebras. In a forthcoming paper with Caminiti and Capeccia, we provide an application of this general theory to the problem of excitability in quantum field theory.

hep-th↗

arXiv2025

Disjoint additivity and local quantum physics

Quantum systems of physical interest are often local, but there are at least three competing perspectives on how "locality" should be formalized: an algebraic framework, a path-integral framework, and a lattice framework. One puzzle in this competition is that systems with higher-form symmetries, which are perfectly local from the path-integral and lattice perspectives, can violate the algebraic principle of "additivity". In this paper, we propose a resolution to this puzzle by introducing a weaker locality principle, "disjoint additivity", which together with Haag duality should always be satisfied in local quantum systems. As evidence, we give examples in which disjoint additivity is preserved when ordinary additivity is violated; we show that Haag duality and disjoint additivity are satisfied in rather general lattice systems with local symmetry constraints; we give examples of nonlocal theories in which either disjoint additivity or Haag duality is violated; and finally we give examples of systems with nonlocal symmetry constraints in which disjoint additivity is violated, but can be restored by passing to a local "SymTFT" system in one higher dimension.

hep-th↗

arXiv2025

Additivity, Haag duality, and non-invertible symmetries

The algebraic approach to quantum field theory focuses on the properties of local algebras, whereas the study of (possibly non-invertible) global symmetries emphasizes global aspects of the theory and spacetime. We study connections between these two perspectives by examining how either of two core algebraic properties -- "additivity" or "Haag duality" -- is violated in a 1+1D CFT or lattice model restricted to the symmetric sector of a general global symmetry. For the Verlinde symmetry of a bosonic diagonal RCFT, we find that additivity is violated whenever the symmetry algebra contains an invertible element, while Haag duality is violated whenever it contains a non-invertible element. We find similar phenomena for the Kramers-Wannier and Rep(D$_8$) non-invertible symmetries on spin chains.

hep-th↗

arXiv2025

A classical model for semiclassical state-counting

In the type II von Neumann algebras that appear in semiclassical gravity, all states have infinite entropy, but entropy differences are uniquely defined. Akers and I have shown that the entropy difference of microcanonical states has a relative state-counting interpretation in terms of the additional (finite) number of degrees of freedom that are needed to represent the "larger-entropy" state supposing that one already has a representation of the "smaller-entropy" state, and supposing that one is restricted to act with gauge-invariant operators. This short paper explains some of the curious features of relative state-counting by analogy to the classical limit of quantum statistical mechanics. In this analogy the preferred family of renormalized traces becomes the preferred family of symplectic measures on phase space; the trace-index of infinite-dimensional subspaces becomes the ratio of phase space volumes; and the restriction that one must act with gauge-invariant operators becomes the restriction that one must act with symplectomorphisms. Because in the phase-space analogy one has exact control over the quantum deformation away from the classical theory, one can see precisely how the relevant aspects of the classical structure are inherited from the quantum theory -- though even in this simple setting, it is a nontrivial technical task to show how classical symplectomorphisms emerge from the underlying quantum theory in the $\hbar \to 0$ limit.

hep-th↗

arXiv2024

Bootstrap 2024: Lectures on "The algebraic approach: when, how, and why?"

These lecture notes formed the basis of a mini-course on algebraic quantum field theory presented at the Bootstrap 2024 conference in Madrid. The goal of the notes is to explain the merits of algebraic quantum field theory to a broad audience, and to explore (i) how to know when a particular question calls for an algebraic answer, (ii) how to apply the tools of algebraic QFT to such a problem, and (iii) why quantum field theorists of all stripes stand to benefit from a basic knowledge of algebraic quantum fields. The first lecture focuses on the big-picture motivation behind the algebraic approach to quantum field theory, and an elaboration of its basic tools. Subsequent lectures explain some of the modern achievements of the algebraic toolkit, including an argument for the averaged null energy condition and an enhanced understanding of entropy for semiclassical black holes.

hep-th↗

arXiv2024

Relative state-counting for semiclassical black holes

It has been shown that entropy differences between certain states of perturbative quantum gravity can be computed without specifying an ultraviolet completion. This is analogous to the situation in classical statistical mechanics, where entropy differences are defined but absolute entropy is not. Unlike in classical statistical mechanics, however, the entropy differences computed in perturbative quantum gravity do not have a clear physical interpretation. Here we construct a family of perturbative black hole states for which the entropy difference can be interpreted as a relative counting of states. Conceptually, this paper begins with the algebra of mass fluctuations around a fixed black hole background, and points out that while this is a type I algebra, it is not a factor and therefore has no canonical definition of entropy. As in previous work, coupling the mass fluctuations to quantum matter embeds the mass algebra within a type II factor, in which entropy differences (but not absolute entropies) are well defined. It is then shown that for microcanonical wavefunctions of mass fluctuation, the type II entropy difference equals the logarithm of the dimension of the extra Hilbert space that is needed to map one microcanonical window to another using gauge-invariant unitaries. The paper closes with comments on type II entropy difference in a more general class of states, where the von Neumann entropy difference does not have a physical interpretation, but "one-shot" entropy differences do.

hep-th↗

arXiv2024

Analyticity and the Unruh effect: a study of local modular flow

The Unruh effect can be formulated as the statement that the Minkowski vacuum in a Rindler wedge has a boost as its modular flow. In recent years, other examples of states with geometrically local modular flow have played important roles in understanding energy and entropy in quantum field theory and quantum gravity. Here I initiate a general study of the settings in which geometric modular flow can arise, showing (i) that any geometric modular flow must be a conformal symmetry of the background spacetime, and (ii) that in a well behaved class of "weakly analytic" states, geometric modular flow must be future-directed. I further argue that if a geometric transformation is conformal but not isometric, then it can only be realized as modular flow in a conformal field theory. Finally, I discuss a few settings in which converse results can be shown -- i.e., settings in which a state can be constructed whose modular flow reproduces a given vector field.

hep-th↗

arXiv2024

Relational bulk reconstruction from modular flow

The entanglement wedge reconstruction paradigm in AdS/CFT states that for a bulk qudit within the entanglement wedge of a boundary subregion $\bar{A}$, operators acting on the bulk qudit can be reconstructed as CFT operators on $\bar{A}$. This naturally fits within the framework of quantum error correction, with the CFT states containing the bulk qudit forming a code protected against the erasure of the boundary subregion $A$. In this paper, we set up and study a framework for relational bulk reconstruction in holography: given two code subspaces both protected against erasure of the boundary region $A$, the goal is to relate the operator reconstructions between the two spaces. To accomplish this, we assume that the two code subspaces are smoothly connected by a one-parameter family of codes all protected against the erasure of $A$, and that the maximally-entangled states on these codes are all full-rank. We argue that such code subspaces can naturally be constructed in holography in a "measurement-based" setting. In this setting, we derive a flow equation for the operator reconstruction of a fixed code subspace operator using modular theory which can, in principle, be integrated to relate the reconstructed operators all along the flow. We observe a striking resemblance between our formulas for relational bulk reconstruction and the infinite-time limit of Connes cocycle flow, and take some steps towards making this connection more rigorous. We also provide alternative derivations of our reconstruction formulas in terms of a canonical reconstruction map we call the modular reflection operator.

hep-th↗

arXiv2023

An intuitive construction of modular flow

The theory of modular flow has proved extremely useful for applying thermodynamic reasoning to out-of-equilibrium states in quantum field theory. However, the standard proofs of the fundamental theorems of modular flow use machinery from Fourier analysis on Banach spaces, and as such are not especially transparent to an audience of physicists. In this article, I present a construction of modular flow that differs from existing treatments. The main pedagogical contribution is that I start with thermal physics via the KMS condition, and derive the modular operator as the only operator that could generate a thermal time-evolution map, rather than starting with the modular operator as the fundamental object of the theory. The main technical contribution is a new proof of the fundamental theorem stating that modular flow is a symmetry. The new proof circumvents the delicate issues of Fourier analysis that appear in previous treatments, but is still mathematically rigorous.

hep-th↗

arXiv2023

A short proof of Tomita's theorem

Tomita-Takesaki theory associates a positive operator called the "modular operator" with a von Neumann algebra and a cyclic-separating vector. Tomita's theorem says that the unitary flow generated by the modular operator leaves the algebra invariant. I give a new, short proof of this theorem which only uses the analytic structure of unitary flows, and which avoids operator-valued Fourier transforms (as in van Daele's proof) and operator-valued Mellin transforms (as in Zsid\'{o}'s and Woronowicz's proofs). The proof is similar to one given by Bratteli and Robinson in the special case that the modular operator is bounded.

math.OA↗

arXiv2023

Reflected entropy is not a correlation measure

By explicit counterexample, we show that the "reflected entropy" defined by Dutta and Faulkner is not monotonically decreasing under partial trace, and so is not a measure of physical correlations. In fact, our counterexamples show that none of the Rényi reflected entropies $S_{R}^{(α)}$ for $0 < α< 2$ is a correlation measure; the usual reflected entropy is realized as the $α=1$ member of this family. The counterexamples are given by quantum states that correspond to classical probability distributions, so reflected entropy fails to measure correlations even at the classical level.

hep-th↗

arXiv2023

Generalized entropy for general subregions in quantum gravity

We consider quantum algebras of observables associated with subregions in theories of Einstein gravity coupled to matter in the $G_N\rightarrow 0$ limit. When the subregion is spatially compact or encompasses an asymptotic boundary, we argue that the algebra is a type II von Neumann factor. To do so in the former case we introduce a model of an observer living in the region; in the latter, the ADM Hamiltonian effectively serves as an observer. In both cases the entropy of states on which this algebra acts is UV finite, and we find that it agrees, up to a state-independent constant, with the generalized entropy. For spatially compact regions the algebra is type II$_1$, implying the existence of an entropy maximizing state, which realizes a version of Jacobson's entanglement equilibrium hypothesis. The construction relies on the existence of well-motivated but conjectural states whose modular flow is geometric at an instant in time. Our results generalize the recent work of Chandrasekaran, Longo, Penington, and Witten on an algebra of operators for the static patch of de Sitter space.

hep-th↗

arXiv2023

Notes on the type classification of von Neumann algebras

These notes provide an explanation of the type classification of von Neumann algebras, which has made many appearances in 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 these notes 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 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 I have read; it is most similar in spirit to the recent work on gravity and the crossed product by Chandrasekaran, Longo, Penington, and Witten.

hep-th↗

arXiv2022

The connected wedge theorem and its consequences

In the AdS/CFT correspondence, bulk causal structure has consequences for boundary entanglement. In quantum information science, causal structures can be replaced by distributed entanglement for the purposes of information processing. In this work, we deepen the understanding of both of these statements, and their relationship, with a number of new results. Centrally, we present and prove a new theorem, the $n$-to-$n$ connected wedge theorem, which considers $n$ input and $n$ output locations at the boundary of an asymptotically AdS$_{2+1}$ spacetime described by AdS/CFT. When a sufficiently strong set of causal connections exists among these points in the bulk, a set of $n$ associated regions in the boundary will have extensive-in-N mutual information across any bipartition of the regions. The proof holds in three bulk dimensions for classical spacetimes satisfying the null curvature condition and for semiclassical spacetimes satisfying standard conjectures. The $n$-to-$n$ connected wedge theorem gives a precise example of how causal connections in a bulk state can emerge from large-N entanglement features of its boundary dual. It also has consequences for quantum information theory: it reveals one pattern of entanglement which is sufficient for information processing in a particular class of causal networks. We argue this pattern is also necessary, and give an AdS/CFT inspired protocol for information processing in this setting. Our theorem generalizes the $2$-to-$2$ connected wedge theorem proven in arXiv:1912.05649. We also correct some errors in the proof presented there, in particular a false claim that existing proof techniques work above three bulk dimensions.

hep-th↗