arXiv subjects

Brandon C. Rayhaun

Publications and source records attributed to Brandon C. Rayhaun.

At least 19 recordsLinked to original sources

arXiv2026

Classification of Rational $c=1$ Vertex Operator Algebras and Vertex Operator Superalgebras

For mathematicians: In this first in a series of two papers, we give a mathematically rigorous classification of (sufficiently nice) $c=1$ vertex operator algebras (VOAs) and vertex operator superalgebras (VOSAs). We confirm the lore that any such VO(S)A is either a lattice VO(S)A $V_L$ associated to a rank-1 integral lattice $L$, or can be obtained as an orbifold thereof, i.e. a $G$-invariant subalgebra $V_L^G$ for some finite group $G$ of automorphisms. All such $G$ are known, allowing for an explicit enumeration of nice $c=1$ VO(S)As. A key ingredient in our approach is to establish a general criterion for nice VOAs, requiring knowledge only of the vacuum character, for testing when the simple modules with integer conformal dimension span a symmetric fusion subcategory which is braided tensor equivalent to $Rep(G)$. In our companion paper, we calculate the ribbon auto-equivalences of the representation categories of the nice $c=1$ VOAs, and leverage this to obtain the classification of nice bosonic and fermionic $c=1$ full conformal field theories. For physicists: We rigorously classify the chiral algebras that can arise in the holomorphic sector of a bosonic or fermionic rational $c=1$ conformal field theory (CFT) whose non-identity primaries all have positive conformal dimension. Thinking of chiral algebras as gapless boundary conditions of 3D topological quantum field theories (TQFTs), our result says that any such chiral algebra is either a holomorphic boundary of $U(1)_k$ Chern-Simons theory, or can be obtained by passing to the $G$-invariant states thereof for some finite group $G$ of symmetries. We explicitly enumerate these chiral algebras and also discuss their non-invertible symmetries. In a companion paper, we build on these results using techniques from the study of 3D TQFTs to classify full bosonic and fermionic rational $c=1$ CFTs.

hep-th↗

arXiv2026

Hypergroup Symmetry in Relative Quantum Field Theories and Chiral Algebras

A QFT is said to be relative if it lives at the boundary of a topological QFT in one higher dimension. We develop a general framework for working with noninvertible symmetries of relative theories in two spacetime dimensions, extending several well-known results for absolute QFTs. We emphasize various new features which arise in the relative setting, including the role of topological surfaces of the bulk, and the appearance of hypergroups and certain generalizations of tube algebras known as dome algebras. Our formalism is particularly well-suited for studying rational chiral algebras, where it predicts that finite symmetries are in explicit one-to-one correspondence with conformal embeddings of finite index. We describe several implications of our framework for absolute theories. First, we explain how to "glue" together symmetries of the left- and right-moving chiral algebras of a 2D CFT to produce topological line defects of the full theory. Second, we derive a precise correspondence between boundary conditions of a 2D CFT and symmetries of its chiral algebra. This correspondence has several structural corollaries: in diagonal rational CFTs, we demonstrate that the topological line defects of the theory act transitively on its boundary conditions, and further that the identity Cardy state has the smallest $g$-function amongst all boundary conditions, including those which only preserve Virasoro symmetry. We conclude by illustrating our results in a variety of examples. For instance, we show that, if there exists a rational chiral algebra with central charge $c=8$ whose modular tensor category is the Drinfeld center of the Haagerup fusion category, then it must arise as the fixed points of a rank-2 hypergroup acting on the $SU(3)_1\otimes (E_{6})_1$ chiral algebra.

hep-th↗

arXiv2025

$2+2=4$

Motivated by the observation that $2+2=4$, we consider four-dimensional $\mathcal{N}=2$ superconformal field theories on $S^2\times\Sigma$, turning on a suitable rigid supergravity background. On the one hand, reduction of a four-dimensional theory ${T}$ on a Riemann surface $\Sigma$ leads to a family $\mathscr{F}[{T}, \Sigma]$ of two-dimensional $(2,2)$ unitary SCFTs, a two-dimensional analog of the four-dimensional theories of class $\mathscr{S}$. On the other hand, reduction on $S^2$ yields a non-unitary two-dimensional CFT $\mathscr{C}[{T}]$ whose chiral algebra is the same as the one associated to ${T}$ by the standard SCFT/VOA correspondence. This construction upgrades the vertex operator algebra to a full-fledged two-dimensional CFT. What's more, it leads to a novel 2d/2d correspondence, a "$2+2 = 4$" analog of the "$4+2=6$" AGT correspondence: the $S^2$ partition function of $\mathscr{F}[{T}; \Sigma]$ is computed by correlation functions of $\mathscr{C}[{T}]$ on $\Sigma$. The elliptic genus of $\mathscr{F}[{T}; \Sigma]$ is instead computed by a topological QFT $\mathscr{E}[T]$ on $\Sigma$. A central question is whether one can give a purely two-dimensional presentation of the family $\mathscr{F}[{T}; \Sigma]$ of $(2, 2)$ theories. We propose an algorithm to realize the $(2, 2)$ theories as gauged linear sigma models when ${T}$ is an Argyres-Douglas theory of type $(A_1, A_{2k})$ and $\Sigma$ an $n$-punctured sphere. We perform stringent checks of our conjecture for $k=1$ and $k=2$.

hep-th↗

arXiv2025

Defect Anomalies, a Spin-Flux Duality, and Boson-Kondo Problems

We show that the infrared phases of certain line defects in 2+1d quantum field theories are determined by anomalies, including anomalies in the space of defect coupling constants, together with a symmetry-refined corollary of the $g$-theorem. As an example, we prove that the spin-$1/2$ impurities in the 2+1d critical $O(2)$ and $O(3)$ models (known respectively as the Halon and Boson-Kondo defects) flow to non-trivial conformal line operators in the IR, and we supply evidence that the same extends to all spin $s$. We also argue that, under particle/vortex duality, the Halon impurity is exchanged with the $\pi$-flux vortex line leading to spin-flux duality, a proposal which we test with a detailed matching of symmetries, anomalies, and phases. Finally, we write down quantum lattice Hamiltonians which can be used to test our predictions, and give an argument on the lattice in favor of spin-flux duality.

hep-th↗

arXiv2024

Equivalence Relations on Vertex Operator Algebras, II: Witt Equivalence and Orbifolds

When can two strongly rational vertex operator algebras or 1+1d rational conformal field theories (RCFTs) be related by topological manipulations? For vertex operator algebras, the term "topological manipulations" refers to operations like passing to a conformal extension or restricting to a conformal subalgebra; for RCFTs, topological manipulations include operations like gauging (or orbifolding) a finite subpart of a generalized global symmetry or interpolating to a new theory via a topological line interface of finite quantum dimension. Inspired by results in the theory of even lattices and tensor categories, we say that two strongly rational vertex operator algebras are Witt equivalent if their central charges agree and if their modular tensor categories are Witt equivalent. Two RCFTs are said to be Witt equivalent if their central charges agree and if their associated 2+1d topological field theories can be separated by a topological surface. We argue that Witt equivalence is necessary for two theories to be related by topological manipulations. We conjecture that it is also sufficient, and give proofs in various special cases. We relate this circle of ideas to the problem of classifying RCFTs, and to lore concerning deformation classes of quantum field theories. We use the notion of Witt equivalence to argue, assuming the conjectural classification of unitary, $c=1$ RCFTs, that all of the finite symmetries of the $SU(2)_1$ Wess-Zumino-Witten model are invertible. We also sketch a "quantum Galois theory" for chiral CFTs, which generalizes prior mathematical literature by incorporating non-invertible symmetries; we illustrate this non-invertible Galois theory in the context of the monster CFT, for which we produce two Fibonacci lines. Finally, we discuss $p$-neighborhood of vertex operator algebras, which is a special topological manipulation related to $\mathbb{Z}_p$-orbifolding.

hep-th↗

arXiv2024

Noninvertible Symmetry-Resolved Affleck-Ludwig-Cardy Formula and Entanglement Entropy from the Boundary Tube Algebra

We derive a refined version of the Affleck-Ludwig-Cardy formula for a 1+1d conformal field theory, which controls the asymptotic density of high energy states on an interval transforming under a given representation of a noninvertible global symmetry. We use this to determine the universal leading and sub-leading contributions to the noninvertible symmetry-resolved entanglement entropy of a single interval. As a concrete example, we show that the ground state entanglement Hamiltonian for a single interval in the critical double Ising model enjoys a Kac-Paljutkin $H_8$ Hopf algebra symmetry when the boundary conditions at the entanglement cuts are chosen to preserve the product of two Kramers-Wannier symmetries, and we present the corresponding symmetry-resolved entanglement entropies. Our analysis utilizes recent developments in symmetry topological field theories (SymTFTs).

hep-th↗

arXiv2024

Generalized Tube Algebras, Symmetry-Resolved Partition Functions, and Twisted Boundary States

We introduce a class of generalized tube algebras which describe how finite, non-invertible global symmetries of bosonic 1+1d QFTs act on operators which sit at the intersection point of a collection of boundaries and interfaces. We develop a 2+1d symmetry topological field theory (SymTFT) picture of boundaries and interfaces which, among other things, allows us to deduce the representation theory of these algebras. In particular, we initiate the study of a character theory, echoing that of finite groups, and demonstrate how many representation-theoretic quantities can be expressed as partition functions of the SymTFT on various backgrounds, which in turn can be evaluated explicitly in terms of generalized half-linking numbers. We use this technology to explain how the torus and annulus partition functions of a 1+1d QFT can be refined with information about its symmetries. We are led to a vast generalization of Ishibashi states in CFT: to any multiplet of conformal boundary conditions which transform into each other under the action of a symmetry, we associate a collection of generalized Ishibashi states, in terms of which the twisted sector boundary states of the theory and all of its orbifolds can be obtained as linear combinations. We derive a generalized Verlinde formula involving the characters of the boundary tube algebra which ensures that our formulas for the twisted sector boundary states respect open-closed duality. Our approach does not rely on rationality or the existence of an extended chiral algebra; however, in the special case of a diagonal RCFT with chiral algebra $V$ and modular tensor category $\mathscr{C}$, our formalism produces explicit closed-form expressions - in terms of the $F$-symbols and $R$-matrices of $\mathscr{C}$, and the characters of $V$ - for the twisted Cardy states, and the torus and annulus partition functions decorated by Verlinde lines.

hep-th↗

arXiv2024

Equivalence Relations on Vertex Operator Algebras, I: Genus

In this first of a series of two papers, we investigate two different equivalence relations obtained by generalizing the notion of genus of even lattices to the setting of vertex operator algebras (or two-dimensional chiral algebras). The bulk genus equivalence relation was defined in arXiv:math/0209333 and groups (suitably regular) vertex operator algebras according to their modular tensor category and central charge. Hyperbolic genus arXiv:2004.01441 tests isomorphy after tensoring with a hyperbolic plane vertex algebra. Physically, two rational chiral algebras are said to belong to the same bulk genus if they live on the boundary of the same 2+1d topological quantum field theory; they belong to the same hyperbolic genus if they can be related by current-current exactly marginal deformations after tensoring a non-chiral compact boson. As one main result, we prove the conjecture that the hyperbolic genus defines a finer equivalence relation than the bulk genus. This is based on a new, equivalent characterization of the hyperbolic genus that uses the maximal lattice inside a vertex operator algebra and its commutant (or coset). We discuss the implications of these constructions for the classification of rational conformal field theory. In particular, we propose a program for (partially) classifying $c=32$, holomorphic vertex operator algebras (or chiral conformal field theories), and obtain novel lower bounds, via a generalization of the Smith-Minkowski-Siegel mass formula, on the number of vertex operator algebras at higher central charges. Finally, we conjecture a Siegel-Weil identity which computes the "average" torus partition function of an ensemble of chiral conformal field theories defined by any hyperbolic genus, and interpret this formula physically in terms of disorder-averaged holography.

hep-th↗

arXiv2023

Rationality in Four Dimensions

By leveraging the physics of the Higgs branch, we argue that the conformal central charges $a$ and $c$ of an arbitrary 4d $N=2$ superconformal field theory (SCFT) are rational numbers. Our proof of the rationality of $c$ is conditioned on a well-supported conjecture about how the Higgs branch of an SCFT is encoded in its protected chiral algebra. To establish the rationality of $a$, we further rely on a widely-believed technical assumption on the high-temperature limit of the superconformal index.

hep-th↗

arXiv2023

Remarks on Boundaries, Anomalies, and Noninvertible Symmetries

What does it mean for a boundary condition to be symmetric with respect to a non-invertible global symmetry? We discuss two possible definitions in 1+1d. On the one hand, we call a boundary weakly symmetric if the symmetry defects can terminate topologically on it, leading to conserved operators for the Hamiltonian on an interval (in the open string channel). On the other hand, we call a boundary strongly symmetric if the corresponding boundary state is an eigenstate of the symmetry operators (in the closed string channel). These two notions of symmetric boundaries are equivalent for invertible symmetries, but bifurcate for non-invertible symmetries. We discuss the relation to anomalies, where we observe that it is sometimes possible to gauge a non-invertible symmetry in a generalized sense even though it is incompatible with a trivially gapped phase. The analysis of symmetric boundaries further leads to constraints on bulk and boundary renormalization group flows. In 2+1d, we study the action of non-invertible condensation defects on the boundaries of $U(1)$ gauge theory and several TQFTs. Starting from the Dirichlet boundary of free Maxwell theory, the non-invertible symmetries generate infinitely many boundary conditions that are neither Dirichlet nor Neumann.

hep-th↗

arXiv2023

Bosonic Rational Conformal Field Theories in Small Genera, Chiral Fermionization, and Symmetry/Subalgebra Duality

A (1+1)D unitary bosonic rational conformal field theory (RCFT) may be organized according to its genus, a tuple $(c,\mathscr{C})$ consisting of its central charge $c$ and a unitary modular tensor category $\mathscr{C}$ which describes the (2+1)D topological quantum field theory (TQFT) for which its maximally extended chiral algebra forms a holomorphic boundary condition. We establish a number of results pertaining to RCFTs in "small" genera, by which we informally mean genera with the central charge $c$ and the number of primary operators rank$(\mathscr{C})$ both not too large. We start by completely solving the modular bootstrap problem for theories with at most four primary operators. In particular, we characterize, and provide an algorithm which efficiently computes, the function spaces to which the partition function of any bosonic RCFT with rank$(\mathscr{C})\leq 4$ must belong. Using this result, and leveraging relationships between RCFTs and holomorphic vertex operator algebras which come from "gluing" and cosets, we rigorously enumerate all bosonic theories in $95$ of the $105$ genera $(c,\mathscr{C})$ with $c\leq 24$ and rank$(\mathscr{C})\leq 4$. This includes as (new) special cases the classification of chiral algebras with three primaries and $c<120/7\sim 17.14$, and the classification of chiral algebras with four primaries and $c<62/3\sim 20.67$. We then study two applications of our classification. First, by making use of chiral versions of bosonization and fermionization, we obtain the complete list of purely left-moving fermionic RCFTs with $c<23$ as a corollary of the results of the previous paragraph. Second, using a (conjectural) concept which we call "symmetry/subalgebra duality," we precisely relate our bosonic classification to the problem of determining certain generalized global symmetries of holomorphic vertex operator algebras.

hep-th↗

arXiv2022

Classification of Unitary RCFTs with Two Primaries and Central Charge Less Than 25

We classify all two-dimensional, unitary, rational conformal field theories with two primaries, central charge $c<25$, and arbitrary Wronskian index. In mathematical parlance, we classify all strongly regular vertex operator algebras (VOAs) with central charge $c<25$ and exactly two simple modules. We find that any such theory is either one of the Mathur-Mukhi-Sen (MMS) theories $\mathsf{A}_{1,1}$, $\mathsf{G}_{2,1}$, $\mathsf{F}_{4,1}$, or $\mathsf{E}_{7,1}$, or it is a coset of a chiral algebra with one primary operator (also known as a holomorphic VOA) by such an MMS theory. By leveraging existing results on the classification of holomorphic VOAs, we are able to explicitly enumerate all of the aforementioned cosets and compute their characters. This leads to 123 theories, most of which are new. We emphasize that our work is a bona fide classification of RCFTs, not just of characters. Our techniques are general, and we argue that they offer a promising strategy for classifying chiral algebras with low central charge beyond two primaries.

hep-th↗

arXiv2022

Modular Products and Modules for Finite Groups

Motivated by the appearance of penumbral moonshine, and by evidence that penumbral moonshine enjoys an extensive relationship to generalized monstrous moonshine via infinite products, we establish a general construction in this work which uses singular theta lifts and a concrete construction at the level of modules for a finite group to translate between moonshine in weight one-half and moonshine in weight zero. This construction serves as a foundation for a companion paper in which we explore the connection between penumbral Thompson moonshine and a special case of generalized monstrous moonshine in detail.

math.RT↗

arXiv2022

Two New Avatars of Moonshine for the Thompson Group

The Thompson sporadic group admits special relationships to modular forms of two kinds. On the one hand, last century's generalized moonshine for the monster equipped the Thompson group with a module for which the associated McKay-Thompson series are distinguished weight zero modular functions. On the other hand, Griffin and Mertens verified the existence of a module for which the McKay-Thompson series are distinguished modular forms of weight one-half, that were assigned to the Thompson group in this century by the last two authors of this work. In this paper we round out this picture by proving the existence of two new avatars of Thompson moonshine: a new module giving rise to weight zero modular functions, and a new module giving rise to forms of weight one-half. We explain how the newer modules are related to the older ones by Borcherds products and traces of singular moduli. In so doing we clarify the relationship between the previously known modules, and expose a new arithmetic aspect to moonshine for the Thompson group. We also present evidence that this phenomenon extends to a correspondence between other cases of generalized monstrous moonshine and penumbral moonshine, and thereby enriches these phenomena with counterparts in weight one-half and weight zero, respectively.

math.RT↗

arXiv2021

Higher-Form Subsystem Symmetry Breaking: Subdimensional Criticality and Fracton Phase Transitions

Subsystem symmetry has emerged as a powerful organizing principle for unconventional quantum phases of matter, most prominently fracton topological orders. Here, we focus on a special subclass of such symmetries, known as higher-form subsystem symmetries, which allow us to adapt tools from the study of conventional topological phases to the fracton setting. We demonstrate that certain transitions out of familiar fracton phases, including the X-cube model, can be understood in terms of the spontaneous breaking of higher-form subsystem symmetries. We find simple pictures for these seemingly complicated fracton topological phase transitions by relating them in an exact manner, via gauging, to spontaneous higher-form subsystem symmetry breaking phase transitions of decoupled stacks of lower-dimensional models. We harness this perspective to construct a sequence of unconventional subdimensional critical points in two and three spatial dimensions based on the stacking and gauging of canonical models with higher-form symmetry. Through numerous examples, we illustrate the ubiquity of coupled layer constructions in theories with higher-form subsystem symmetries.

cond-mat.str-el↗

arXiv2021

An Overview of Penumbral Moonshine

As Mathieu moonshine is a special case of umbral moonshine, Thompson moonshine (in half-integral weight) is a special case of a family of similar relationships between finite groups and vector-valued modular forms of a certain kind. We call this penumbral moonshine. We introduce and explain some features of this phenomenon in this work.

math.RT↗

arXiv2021

Fractons and exotic symmetries from branes

The emerging study of fractons, a new type of quasi-particle with restricted mobility, has motivated the construction of several classes of interesting continuum quantum field theories with novel properties. One such class consists of foliated field theories which, roughly, are built by coupling together fields supported on the leaves of foliations of spacetime. Another approach, which we refer to as exotic field theory, focuses on constructing Lagrangians consistent with special symmetries (like subsystem symmetries) that are adjacent to fracton physics. A third framework is that of infinite-component Chern-Simons theories, which attempts to generalize the role of conventional Chern-Simons theory in describing (2+1)D Abelian topological order to fractonic order in (3+1)D. The study of these theories is ongoing, and many of their properties remain to be understood. Historically, it has been fruitful to study QFTs by embedding them into string theory. One way this can be done is via D-branes, extended objects whose dynamics can, at low energies, be described in terms of conventional quantum field theory. QFTs that can be realized in this way can then be analyzed using the rich mathematical and physical structure of string theory. In this paper, we show that foliated field theories, exotic field theories, and infinite-component Chern-Simons theories can all be realized on the world-volumes of branes. We hope that these constructions will ultimately yield valuable insights into the physics of these interesting field theories.

hep-th↗

arXiv2020

Kitaev's quantum double model as an error correcting code

Kitaev's quantum double models in 2D provide some of the most commonly studied examples of topological quantum order. In particular, the ground space is thought to yield a quantum error-correcting code. We offer an explicit proof that this is the case for arbitrary finite groups. Actually a stronger claim is shown: any two states with zero energy density in some contractible region must have the same reduced state in that region. Alternatively, the local properties of a gauge-invariant state are fully determined by specifying that its holonomies in the region are trivial. We contrast this result with the fact that local properties of gauge-invariant states are not generally determined by specifying all of their non-Abelian fluxes -- that is, the Wilson loops of lattice gauge theory do not form a complete commuting set of observables. We also note that the methods developed by P. Naaijkens (PhD thesis, 2012) under a different context can be adapted to provide another proof of the error correcting property of Kitaev's model. Finally, we compute the topological entanglement entropy in Kitaev's model, and show, contrary to previous claims in the literature, that it does not depend on whether the "log dim R" term is included in the definition of entanglement entropy.

quant-ph↗