arXiv subjects

Corey Jones

Publications and source records attributed to Corey Jones.

At least 19 recordsLinked to original sources

arXiv2026

Quantum cellular automata and invertible phases of matter

We introduce and study (fermionic and bosonic) invertible quasi-local algebras over uniformly locally finite metric spaces $X$ with infinite-dimensional local von Neumann algebras. We show that the group of Brauer equivalence classes of such algebras is isomorphic to both the group of phases of invertible states and the group of stable equivalence classes of quantum cellular automata over $X\times \mathbb{Z}$. Using K-theory of the symmetric monoidal category of invertible quasi-local algebras and bounded spread isomorphisms, we propose a definition of an $\Omega$-spectrum of invertible phases as conjectured by Kitaev. We then show that the $c=\frac{1}{2}$ chiral Majorana fermion net and the $(E_{8})_{1}$ conformal net provide Brauer non-trivial invertible quasi-local algebras, thus providing explicit constructions of non-trivial invertible states and quantum cellular automata on $\mathbb{Z}^{2}$. In addition, we show that the time-slice nets of rational diagonal conformal field theories admit lattice degrees of freedom, which implies the discretization of any holomorphic conformal net is invertible.

math-ph↗

arXiv2026

Universal fusion category symmetries on tensor products of infinite-dimensional Hilbert spaces

We show that anyon chains, after stabilizing with infinite-dimensional ancilla spaces, factorize locally as tensor products of infinite-dimensional Hilbert spaces. This implies that any unitary fusion category can be realized as symmetries on a tensor product of infinite-dimensional Hilbert spaces. We then show that any two anyon chains with the same symmetry category are related by a symmetry-compatible locality-preserving unitary after stabilizing with infinite-dimensional ancilla, showing that for a fixed fusion category, there is a single stable equivalence class of symmetry realizations on the lattice via anyon chains. As a corollary of our proof, we show that the physical boundary algebras of Levin-Wen type models are bounded spread isomorphic after stabilization if and only if they have the same bulk topological order.

math-ph↗

arXiv2026

On the structure of categorical duality operators

We systematically study categorical duality operators on spin (and anyon) chains with respect to an internal fusion category symmetry C. We parameterize duality operators on the quasi-local algebra in terms of data dependent on the associated quantum cellular automata (QCA) on the symmetric subalgebra $B$. In particular, a QCA $\alpha$ on $B$ defines an invertible C-C bimodule category $M_{\alpha}$, and the duality operators extending $\alpha$ form a simplex, with extreme points in bijective correspondence with the simple object of $M_{\alpha}$. Then we consider the structure of external symmetries generated by a family of duality operators, and show that if the UV models are all defined on tensor product Hilbert spaces, these categories necessarily flow to weakly integral fusion categories in the IR.

math.QA↗

arXiv2025

Centralizers of discrete Temperley-Lieb-Jones subfactors

Discrete, unimodular inclusions of factors $(N\subseteq M, E)$ with $N$ of type $\rm{II}_{1}$ have a natural notion of standard invariant, generalizing the finite index case. When the unitary tensor category of $N$-$N$ bimodules generated by $_{N}L^{2}(M, \tau\circ E)_{N}$ is equivalent to the Temperley-Lieb-Jones category $\text{TLJ}(\delta)$, the associated discrete standard invariants are classified in terms of fair and balanced $\delta$-graphs. Many examples of these subfactors naturally arise in the context of the Guionnet-Jones-Shlyakhtenko (GJS) construction for graphs. In this paper, we compute the discrete standard invariant of the centralizer subfactor $N\subseteq M^{\phi}$ for the canonical state $\phi=\tau\circ E$, which is again a discrete subfactor of $\text{TLJ}(\delta)$-type. We show that the associated fair and balanced $\delta$-graph behaves analogously to a universal covering space of the original fair and balanced $\delta$-graph. As an application, we obtain an obstruction to the realization of discrete tracial TLJ-type standard invariants by subfactors of a $\rm{II}_{1}$ factor $M$ in terms of the fundamental group of M.

math.OA↗

arXiv2025

An operator algebraic approach to fusion category symmetry on the lattice

We propose a framework for fusion category symmetry on the (1+1)D lattice in the infinite-volume limit by giving a formal interpretation of SymTFT decompositions. Our approach is based on axiomatizing physical boundary subalgebra of quasi-local observables, and applying ideas from algebraic quantum field theory to derive the expected categorical structures. We show that given a physical boundary subalgebra $B$ of a quasi-local algebra $A$, there is a canonical fusion category $\mathcal{C}$ that acts on $A$ by bimodules and whose fusion ring acts by locality preserving quantum channels on the quasi-local algebra such that $B$ is recovered as the fixed point operators. We show that a fusion category can be realized as symmetries on a tensor product quasi-local algebra if and only if all of its objects have integer dimensions, and that it admits an ``on-site" action on a tensor product spin chain if and only if it admits a fiber functor. We give a formal definition of a topological symmetric state, and prove two anomaly enforced gaplessness theorems, one for internal categorical symmetries and one for anomalous duality channels. Using the first, we show that for any fusion category $\mathcal{C}$ with no fiber functor there always exist gapless pure symmetric states on an anyon chain.

math-ph↗

arXiv2025

Holography for bulk-boundary local topological order

In our previous article [arXiv:2307.12552], we introduced local topological order (LTO) axioms for quantum spin systems which allowed us to define a physical boundary (associated to a cut of the lattice) manifested by a net of boundary algebras in one dimension lower. This gives a formal setting for topological holography, where the braided tensor category of DHR bimodules of the physical boundary algebra captures the bulk topological order. In this article, we extend the LTO axioms to quantum spin systems equipped with a topological boundary (domain wall with the trivial phase), again producing a physical boundary algebra for the bulk-boundary system, whose category of (topological) boundary DHR bimodules recovers the topological boundary order. We perform this analysis in explicit detail for Levin-Wen and Walker-Wang bulk-boundary systems. Along the way, we introduce a 2D braided categorical net of algebras built from a unitary braided fusion category (UBFC). Such nets arise as boundary algebras of Walker-Wang models. We consider the canonical state on this braided categorical net corresponding to the standard topological boundary for the Walker-Wang model. Interestingly, in this state, the cone von Neumann algebras are type I with finite dimensional centers, in contrast with the type II and III cone von Neumann algebras from the Levin-Wen models studied in [arXiv:2307.12552]. Their superselection sectors recover the underlying unitary category of our UBFC, and we conjecture the superselection category also captures the fusion and braiding.

math-ph↗

arXiv2025

On the structure of DHR bimodules of abstract spin chains

Abstract spin chains axiomatize the structure of local observables on the 1D lattice which are invariant under a global symmetry, and arise at the physical boundary of 2+1D topologically ordered spin systems. In this paper, we study tensor categorical properties of DHR bimodules over abstract spin chains. Assuming that the charge transporters generate the algebra of observables, we prove that the associated category has a structure of modular tensor category with respect to the natural braiding. Under an additional assumption of algebraic Haag duality, this category becomes the Drinfeld center of the half-line fusion category.

math.QA↗

arXiv2024

Universal coarse geometry of spin systems

The prospect of realizing highly entangled states on quantum processors with fundamentally different hardware geometries raises the question: to what extent does a state of a quantum spin system have an intrinsic geometry? In this paper, we propose that both states and dynamics of a spin system have a canonically associated coarse geometry, in the sense of Roe, on the set of sites in the thermodynamic limit. For a state $\phi$ on an (abstract) spin system with an infinite collection of sites $X$, we define a universal coarse structure $\mathcal{E}_{\phi}$ on the set $X$ with the property that a state has decay of correlations with respect to a coarse structure $\mathcal{E}$ on $X$ if and only if $\mathcal{E}_{\phi}\subseteq \mathcal{E}$. We show that under mild assumptions, the coarsely connected completion $(\mathcal{E}_{\phi})_{con}$ is stable under quasi-local perturbations of the state $\phi$. We also develop in parallel a dynamical coarse structure for arbitrary quantum channels, and prove a similar stability result. We show that several order parameters of a state only depend on the coarse structure of an underlying spatial metric, and we establish a basic compatibility between the dynamical coarse structure associated to a quantum circuit $\alpha$ and the coarse structure of the state $\psi\circ \alpha$ where $\psi$ is any product state.

quant-ph↗

arXiv2024

Quantum cellular automata and categorical dualities of spin chains

Dualities play a central role in the study of quantum spin chains, providing insight into the structure of quantum phase diagrams and phase transitions. In this work we study categorical dualities, which are defined as bounded-spread isomorphisms between algebras of symmetry-respecting local operators on a spin chain. We consider generalized global symmetries that correspond to unitary fusion categories, which are represented by matrix-product operator algebras. A fundamental question about dualities is whether they can be extended to quantum cellular automata on the larger algebra generated by all local operators that respect the unit matrix-product operator. For conventional global symmetries, which are on-site representations of finite groups, this larger algebra is simply the tensor product of algebras associated to individual spins in the chain. We present a solution to the extension problem using the machinery of Doplicher-Haag-Roberts bimodules. Our solution provides a crisp categorical criterion for when an extension of a duality exists. We show that the set of possible extensions form a torsor over the invertible objects in the relevant symmetry category. As a corollary, we obtain a classification result concerning dualities in the group case.

math-ph↗

arXiv2024

Quantum symmetries of noncommutative tori

We consider the problem of building non-invertible quantum symmetries (as characterized by actions of unitary fusion categories) on noncommutative tori. We introduce a general method to construct actions of fusion categories on inductive limit C*-algberas using finite dimenionsal data, and then apply it to obtain AT-actions of arbitrary Haagerup-Izumi categories on noncommutative 2-tori, of the even part of the $E_{8}$ subfactor on a noncommutative 3-torus, and of $\text{PSU}(2)_{15}$ on a noncommutative 4-torus.

math.QA↗

arXiv2024

Equivariant $\mathcal{D}$-stability for Actions of Tensor Categories

We introduce a notion of equivariant $\mathcal{D}$-stability for actions of unitary tensor categories on C$^*$-algebras. We show that, when $\mathcal{D}$ is strongly self-absorbing, equivariant $\mathcal{D}$-stability of an action is equivalent to a unital embedding of $\mathcal{D}$ into a certain subalgebra of Kirchberg's central sequence algebra. We use this to show $\mathcal{Z}$-stability for a large class of AF-actions.

math.OA↗

arXiv2024

Levin-Wen is a gauge theory: entanglement from topology

We show that the Levin-Wen model of a unitary fusion category $\mathcal{C}$ is a gauge theory with gauge symmetry given by the tube algebra $\operatorname{Tube}(\mathcal{C})$. In particular, we define a model corresponding to a $\operatorname{Tube}(\mathcal{C})$ symmetry protected topological phase, and we provide a gauging procedure which results in the corresponding Levin-Wen model. In the case $\mathcal{C}=\mathsf{Hilb}(G,\omega)$, we show how our procedure reduces to the twisted gauging of a trivial $G$-SPT to produce the Twisted Quantum Double. We further provide an example which is outside the bounds of the current literature, the trivial Fibonacci SPT, whose gauge theory results in the doubled Fibonacci string-net. Our formalism has a natural topological interpretation with string diagrams living on a punctured sphere. We provide diagrams to supplement our mathematical proofs and to give the reader an intuitive understanding of the subject matter.

cond-mat.str-el↗

arXiv2023

An index for quantum cellular automata on fusion spin chains

Interpreting the GNVW index for 1D quantum cellular automata (QCA) in terms of the Jones index for subfactors leads to a generalization of the index defined for QCA on more general abstract spin chains. These include fusion spin chains, which arise as the local operators invariant under a global (categorical/MPO) symmetry, and as the boundary operators of 2D topological codes. We show that for the fusion spin chains built from the fusion category $\mathbf{Fib}$, the index is a complete invariant for the group of QCA modulo finite depth circuits.

math.OA↗

arXiv2023

Local topological order and boundary algebras

We introduce a set of axioms for locally topologically ordered quantum spin systems in terms of nets of local ground state projections, and we show they are satisfied by Kitaev's Toric Code and Levin-Wen type models. For a locally topologically ordered spin system on $\mathbb{Z}^{k}$, we define a local net of boundary algebras on $\mathbb{Z}^{k-1}$, which provides a mathematically precise algebraic description of the holographic dual of the bulk topological order. We construct a canonical quantum channel so that states on the boundary quasi-local algebra parameterize bulk-boundary states without reference to a boundary Hamiltonian. As a corollary, we obtain a new proof of a recent result of Ogata [Ann. H. Poincar\'e 25, 2024] that the bulk cone von Neumann algebra in the Toric Code is of type $\rm{II}$, and we show that Levin-Wen models can have cone algebras of type $\rm{III}$. Finally, we argue that the braided tensor category of DHR bimodules for the net of boundary algebras characterizes the bulk topological order in (2+1)D, and can also be used to characterize the topological order of boundary states.

math-ph↗

arXiv2023

DHR bimodules of quasi-local algebras and symmetric quantum cellular automata

For a net of C*-algebras on a discrete metric space, we introduce a bimodule version of the DHR tensor category and show it is an invariant of quasi-local algebras under isomorphisms with bounded spread. For abstract spin systems on a lattice $L\subseteq \mathbb{R}^{n}$ satisfying a weak version of Haag duality, we construct a braiding on these categories. Applying the general theory to quasi-local algebras $A$ of operators on a lattice invariant under a (categorical) symmetry, we obtain a homomorphism from the group of symmetric quantum cellular automata (QCA) to $\textbf{Aut}_{br}(\textbf{DHR}(A))$, containing symmetric finite depth circuits in the kernel. For a spin chain with fusion categorical symmetry $\mathcal{D}$, we show the DHR category of the quasi-local algebra of symmetric operators is equivalent to the Drinfeld center $\mathcal{Z}(\mathcal{D})$ . We use this to show that for the double spin flip action $\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}\curvearrowright \mathbb{C}^{2}\otimes \mathbb{C}^{2}$, the group of symmetric QCA modulo symmetric finite depth circuits in 1D contains a copy of $S_{3}$, hence is non-abelian, in contrast to the case with no symmetry.

math-ph↗

arXiv2022

Unitary connections on Bratteli diagrams

In this paper, we extend Ocneanu's theory of connections on graphs to define a 2-category whose 0-cells are tracial Bratteli diagrams, and whose 1-cells are generalizations of unitary connections. We show that this 2-category admits an embedding into the 2-category of hyperfinite von Neumann algebras, generalizing fundamental results from subfactor theory to a 2-categorical setting.

math.QA↗

arXiv2022

Composing topological domain walls and anyon mobility

Topological domain walls separating 2+1 dimensional topologically ordered phases can be understood in terms of Witt equivalences between the UMTCs describing anyons in the bulk topological orders. However, this picture does not provide a framework for decomposing stacks of multiple domain walls into superselection sectors - i.e., into fundamental domain wall types that cannot be mixed by any local operators. Such a decomposition can be understood using an alternate framework in the case that the topological order is anomaly-free, in the sense that it can be realized by a commuting projector lattice model. By placing these Witt equivalences in the context of a 3-category of potentially anomalous (2+1)D topological orders, we develop a framework for computing the decomposition of parallel topological domain walls into indecomposable superselection sectors, extending the previous understanding to topological orders with non-trivial anomaly. We characterize the superselection sectors in terms of domain wall particle mobility, which we formalize in terms of tunnelling operators. The mathematical model for the 3-category of topological orders is the 3-category of fusion categories enriched over a fixed unitary modular tensor category.

cond-mat.str-el↗

arXiv2022

K-theoretic classification of inductive limit actions of fusion categories on AF-algebras

We introduce a K-theoretic invariant for actions of unitary fusion categories on unital C*-algebras. We show that for inductive limits of finite dimensional actions of fusion categories on unital AF-algebras, this is a complete invariant. In particular, this gives a complete invariant for inductive limit actions of finite groups on AF-algebras. We apply our results to obtain a classification of finite depth, strongly AF-inclusions of unital AF-algebras.

math.OA↗