arXiv subjects

Matthew Buican

Publications and source records attributed to Matthew Buican.

At least 19 recordsLinked to original sources

arXiv2026

Reality and Complexity of $F$-symbols in $2+1$d Topological Phases

The $F$-symbols of an anyon theory encode the associativity of fusion and constitute some of the theory's most fundamental and, simultaneously, subtle data. Much of the subtlety lies in the gauge-dependence of the $F$-symbols. Despite their generic complexity, many braided anyon theories admit gauges in which all $F$-symbols are real, a phenomenon for which no general organising principle has been known. We identify a physical mechanism underlying this reality. For a unitary ribbon fusion category admitting an appropriate braided charge-conjugation symmetry, we show that the complex-conjugated $F$-symbols are related to the original ones by a gauge transformation. Finding a real gauge is thereby reduced to a condition on these transformations. When the charge-conjugation symmetry is suitably "flat,'' or equivalently when the associated "twisted'' Frobenius-Schur (or "generalized'' Kawanaka-Matsuyama) data respects a grading, these local transformations can be trivialised and a real gauge exists. This framework unifies a broad range of previously disparate examples, including families of Chern-Simons theories whose $F$-symbols are difficult to directly compute. Finally, we exhibit a unitary ribbon category that realizes a novel obstruction to the existence of a real gauge and therefore has inherently complex $F$-symbols.

cond-mat.str-el↗

arXiv2026

Anyons and Inherently Complex F-symbols

Anyons in $2+1$ dimensions are not only characterized by exotic braiding statistics but also by intricate fusion properties. Two anyons may fuse into multiple topological charge sectors, and associativity of fusing three anyons to produce a fixed charge sector is governed by $F$-symbols. While braiding invariants, such as the modular data, are typically complex valued, a complete description of general anyon models requires understanding the arithmetic properties of its fusion associativity data as well. The $F$-symbols for many of the most common $2+1$d topological orders, including all Abelian anyon models as well as Fibonacci and Ising anyons, can be made real valued. We show this phenomenon is not universal by exhibiting braided fusion categories whose $F$-symbols cannot be made real. We call such $F$-symbols "inherently complex." The examples we study lack a charge-conjugation symmetry and our results are therefore consistent with the converse of a statement proved in a companion work linking real $F$-symbols in braided fusion categories with the existence of a suitable charge-conjugation symmetry. We analyse the smallest-rank braided fusion categories we know of with inherently complex $F$-symbols: ${\rm Rep}(\mathbb{Z}_7\rtimes\mathbb{Z}_3)$ and ${\rm Rep}(\mathbb{Z}_5\rtimes\mathbb{Z}_4)$. Consequently, the corresponding $\mathcal Z({\rm Rep}(\mathbb{Z}_7\rtimes\mathbb{Z}_3))$ and $\mathcal Z({\rm Rep}(\mathbb{Z}_5\rtimes\mathbb{Z}_4))$ anyon models also have inherently complex $F$-symbols. Our presentation connects these examples with recent results on classifying anyons beyond modular data.

cond-mat.str-el↗

arXiv2025

Gauging Non-Invertible Symmetries in (2+1)d Topological Orders

We present practical and formal methods for gauging non-invertible symmetries in (2+1)d topological quantum field theories. Along the way, we generalize various aspects of invertible 0-form gauging, including symmetry fractionalization, discrete torsion, and the fixed point theorem for symmetry action on lines. Our approach involves two complementary strands: the fusion of topological interfaces and Morita theory of fusion 2-categories. We use these methods to derive constraints on gaugeable symmetries and their duals while unifying the prescription for gauging non-invertible 0-form and 1-form symmetries and various higher structures. With a view toward recent advances in creating non-Abelian topological orders from Abelian ones, we give a simple recipe for non-invertible 0-form gauging that takes large classes of the latter to the former. We also describe conditions under which iterated gauging of invertible 0-form symmetries is equivalent to a single-step gauging of a non-invertible symmetry. We conclude with a set of concrete examples illustrating these various phenomena involving gauging symmetries of the infrared limit of the toric code.

hep-th↗

arXiv2025

An Algebraic Theory of Gapped Domain Wall Partons

The entanglement bootstrap program has generated new quantum numbers associated with degrees of freedom living on gapped domain walls between topological phases in two dimensions. Most fundamental among these are the so-called "parton" quantum numbers, which give rise to a zoo of composite sectors. In this note, we propose a categorical description of partons. Along the way, we make contact with ideas from generalized symmetries and SymTFT.

cond-mat.str-el↗

arXiv2024

3d $\mathcal{N}=4$ Mirror Symmetry, TQFTs, and 't Hooft Anomaly Matching

Any local unitary 3d $\mathcal{N}=4$ superconformal field theory (SCFT) has a corresponding "universal" relevant deformation that takes it to a gapped phase. This deformation preserves all continuous internal symmetries, $\mathcal{S}$, and therefore also preserves any 't Hooft anomalies supported purely in $\mathcal{S}$. We describe the resulting phase diagram in the case of SCFTs that arise as the endpoints of renormalization group flows from 3d $\mathcal{N}=4$ Abelian gauge theories with any number of $U(1)$ gauge group factors and arbitrary integer charges for the matter fields. We argue that the universal deformations take these QFTs to Abelian fractional quantum Hall states in the infrared (IR), and we explain how to match 't Hooft anomalies between the non-topological ultraviolet theories and the IR topological quantum field theories (TQFTs). Along the way, we give a proof that 3d $\mathcal{N}=4$ mirror symmetry of our Abelian gauge theories descends to a duality of these TQFTs. Finally, using our anomaly matching discussion, we describe how to connect, via the renormalization group, abstract local unitary 3d $\mathcal{N}=4$ SCFTs with certain 't Hooft anomalies for their internal symmetries to IR phases (partially) described by Abelian spin Chern-Simons theories.

hep-th↗

arXiv2024

On the Classification of Bosonic and Fermionic One-Form Symmetries in $2+1$d and 't Hooft Anomaly Matching

Motivated by the fundamental role that bosonic and fermionic symmetries play in physics, we study (non-invertible) one-form symmetries in $2 + 1$d consisting of topological lines with bosonic and fermionic self-statistics. We refer to these lines as Bose-Fermi-Braided (BFB) symmetries and argue that they can be classified. Unlike the case of generic anyonic lines, BFB symmetries are closely related to groups. In particular, when BFB lines are non-invertible, they are non-intrinsically non-invertible. Moreover, BFB symmetries are, in a categorical sense, weakly group theoretical. Using this understanding, we study invariants of renormalization group flows involving non-topological QFTs with BFB symmetry.

hep-th↗

arXiv2024

Coulomb Branch Operator Algebras and Universal Selection Rules for $\mathcal{N}=2$ SCFTs

Coulomb branches of vacua are the most universal moduli spaces that arise in local unitary interacting 4d $\mathcal{N}=2$ superconformal field theories (SCFTs). In these theories, $1/2$-BPS primaries parameterize the Coulomb branches and form (anti-)chiral rings. We define the notion of a Coulomb branch operator algebra, $\mathcal{A}_{\mathcal{C}}$, that contains these chiral and anti-chiral rings along with infinitely many more operators and products that are less protected by supersymmetry. Using a universal symmetry, $\mathcal{I}\cong\mathbb{Z}_2$, that arises from studying the superconformal group, we give $\mathcal{I}$ selection rules for $\mathcal{A}_{\mathcal{C}}$ and, more generally, for arbitrary products in the local operator algebra of any 4d $\mathcal{N}=2$ SCFT. Defining the notion of a "Coulombic" SCFT, we propose explanations for certain phenomena in a 4d/2d correspondence involving 4d $\mathcal{N}=2$ theories and 2d vertex operator algebras. Finally, by considering deformations of $\mathcal{I}$, we explore the case of $\mathcal{N}>2$ SCFTs.

hep-th↗

arXiv2024

Exact Operator Map from Strong Coupling to Free Fields: Beyond Seiberg-Witten Theory

In quantum field theory (QFT) above two spacetime dimensions, one is usually only able to construct exact operator maps from the ultraviolet (UV) to the infrared (IR) of strongly coupled renormalization group (RG) flows for the most symmetry-protected observables. Famous examples include maps of chiral rings in 4d $\mathcal{N}=2$ supersymmetry. In this letter, we construct the first non-perturbative UV/IR map for less protected operators: starting from a particularly "simple" UV strongly coupled non-Lagrangian 4d $\mathcal{N}=2$ QFT, we show that a universal non-chiral quarter-BPS ring can be mapped exactly and bijectively to the IR. In particular, strongly coupled UV dynamics governing infinitely many null states manifest in the IR via Fermi statistics of free gauginos. Using the concept of arc space, this bijection allows us to compute the exact UV Macdonald index in the IR.

hep-th↗

arXiv2023

Qudit Stabilizer Codes, CFTs, and Topological Surfaces

We study general maps from the space of rational CFTs with a fixed chiral algebra and associated Chern-Simons (CS) theories to the space of qudit stabilizer codes with a fixed generalized Pauli group. We consider certain natural constraints on such a map and show that the map can be described as a graph homomorphism from an orbifold graph, which captures the orbifold structure of CFTs, to a code graph, which captures the structure of self-dual stabilizer codes. By studying explicit examples, we show that this graph homomorphism cannot always be a graph embedding. However, we construct a physically motivated map from universal orbifold subgraphs of CFTs to operators in a generalized Pauli group. We show that this map results in a self-dual stabilizer code if and only if the surface operators in the bulk CS theories corresponding to the CFTs in question are self-dual. For CFTs admitting a stabilizer code description, we show that the full abelianized generalized Pauli group can be obtained from twisted sectors of certain 0-form symmetries of the CFT. Finally, we connect our construction with SymTFTs, and we argue that many equivalences between codes that arise in our setup correspond to equivalence classes of bulk topological surfaces under fusion with invertible surfaces.

hep-th↗

arXiv2023

Invertibility of Condensation Defects and Symmetries of 2 + 1d QFTs

We characterize discrete (anti-)unitary symmetries and their non-invertible generalizations in $2+1$d topological quantum field theories (TQFTs) through their actions on line operators and fusion spaces. We explain all possible sources of non-invertibility that can arise in this context. Our approach gives a simple $2+1$d proof that non-invertible generalizations of unitary symmetries exist if and only if a bosonic TQFT contains condensable bosonic line operators (i.e., these non-invertible symmetries are necessarily "non-intrinsic"). Moving beyond unitary symmetries and their non-invertible cousins, we define a non-invertible generalization of time-reversal symmetries and derive various properties of TQFTs with such symmetries. Finally, using recent results on 2-categories, we extend our results to corresponding statements in $2+1$d quantum field theories that are not necessarily topological.

hep-th↗

arXiv2023

From Free Fields to Interacting SCFTs via Representation Theory

We ask when it is possible to construct arbitrary unitary multiplets of the superconformal algebra with eight Poincaré supercharges that are compatible with locality from (continuous deformations of) representations in free field theories. We answer this question in two, three, and five dimensions. In four dimensions, we resort to an intricate but self-consistent web of conjectures. If correct, these conjectures imply various new non-perturbative constraints on short multiplets in any local unitary 4d $\mathcal{N}=2$ superconformal field theory and on an unusual set of related vertex algebras. Throughout, we connect our results with properties of deformations in the space of theories.

hep-th↗

arXiv2023

Non-Perturbative Explorations of Chiral Rings in 4d $\mathcal{N}=2$ SCFTs

We study the conditions under which 4d $\mathcal{N}=2$ superconformal field theories (SCFTs) have multiplets housing operators that are chiral with respect to an $\mathcal{N}=1$ subalgebra. Our main focus is on the set of often-ignored and relatively poorly understood $\overline{\mathcal{B}}$ representations. These multiplets typically evade direct detection by the most popular non-perturbative 4d $\mathcal{N}=2$ tools and correspondences. In spite of this fact, we demonstrate the ubiquity of $\overline{\mathcal{B}}$ multiplets and show they are associated with interesting phenomena. For example, we give a purely algebraic proof that they are present in all local unitary $\mathcal{N}>2$ SCFTs. We also show that $\overline{\mathcal{B}}$ multiplets exist in $\mathcal{N}=2$ theories with rank greater than one and a conformal manifold or a freely generated Coulomb branch. Using recent topological quantum field theory results, we argue that certain $\overline{\mathcal{B}}$ multiplets exist in broad classes of theories with the $\mathbb{Z}_2$-valued 't Hooft anomaly for $Sp(N)$ global symmetry. Motivated by these statements, we then study the question of whether $\overline{\mathcal{B}}$ multiplets exist in rank-one SCFTs with exactly $\mathcal{N}=2$ SUSY. We conclude with various open questions.

hep-th↗

arXiv2022

Argyres-Douglas Avatars of Coulomb Branch Physics

We study ultraviolet (UV) incarnations of deep infrared (IR) physics on the Coulomb branch of the simplest interacting 4D $\mathcal{N}=2$ superconformal field theory: the minimal Argyres-Douglas (MAD) theory. One of the most basic properties of the Coulomb branch is an emergent infinite-dimensional higher-spin symmetry. While the MAD theory is interacting and therefore does not have such a symmetry, we find UV operators that encode the emergent complex higher-spin symmetry on the Coulomb branch. Moreover, we show that cousins of these UV operators give rise to cousins of the IR higher-spin multiplets. In terms of superconformal representation theory, we are led to a conjecture on the exact spectrum of $\bar{\mathcal{C}}_{R,r(j,\bar j)}$ multiplets in the MAD theory for all $R$, $r$, $j$, and $\bar j$ satisfying $R+\bar j -j+1=0$, thereby making progress towards a full characterization of the protected spectrum. Along the way, we give a geometrical interpretation of these operators and include them in an extension of the Coulomb branch / $\mathcal{N}=2$ chiral operator correspondence.

hep-th↗

arXiv2022

On the Protected Spectrum of the Minimal Argyres-Douglas Theory

Despite the power of supersymmetry, finding exact closed-form expressions for the protected operator spectra of interacting superconformal field theories (SCFTs) is difficult. In this paper, we take a step towards a solution for the "simplest" interacting 4D $\mathcal{N}=2$ SCFT: the minimal Argyres-Douglas (MAD) theory. We present two results that go beyond the well-understood Coulomb branch and Schur sectors. First, we find the exact closed-form spectrum of multiplets containing operators that are chiral with respect to any $\mathcal{N}=1\subset\mathcal{N}=2$ superconformal subalgebra. We argue that this "full" chiral sector (FCS) is as simple as allowed by unitarity for a theory with a Coulomb branch and that, up to a rescaling of $U(1)_r$ quantum numbers and the vanishing of a finite number of states, the MAD FCS is isospectral to the FCS of the free $\mathcal{N}=2$ Abelian gauge theory. In the language of superconformal representation theory, this leaves only the spectrum of the poorly understood $\bar{\mathcal{C}}_{R,r(j,\bar j)}$ multiplets to be determined. Our second result sheds light on these observables: we find an exact closed-form answer for the number of $\bar{\mathcal{C}}_{0,r(j,0)}$ multiplets, for any $r$ and $j$, in the MAD theory. We argue that this sub-sector is also as simple as allowed by unitarity for a theory with a Coulomb branch and that there is a natural map to the corresponding sector of the free $\mathcal{N}=2$ Abelian gauge theory. These results motivate a conjecture on the full local operator algebra of the MAD theory.

hep-th↗

arXiv2021

Spin Thresholds, RG Flows, and Minimality in 4D $\mathcal{N}=2$ QFT

Long ago, Argyres and Douglas discovered a particularly simple interacting 4D $\mathcal{N}=2$ superconformal field theory (SCFT) on the Coulomb branch of $SU(3)$ $\mathcal{N}=2$ super Yang-Mills. Further hints of the theory's simplicity arise due to the fact that it has the smallest possible value of the $c$ central charge among unitary interacting $\mathcal{N}=2$ SCFTs. A main purpose of this note is to uncover additional aspects of this minimal Argyres-Douglas (MAD) theory's simplicity. In particular, we argue that: (1) the MAD theory shares an infinite set of large spin thresholds in part of its operator spectrum with the free $\mathcal{N}=2$ Maxwell theory (this data is therefore invariant under generic $\mathcal{N}=2$-preserving renormalization group flows to the IR) and (2) the MAD theory has, at every order in the natural grading, the smallest number of "Schur" operators of any unitary $\mathcal{N}=2$ theory (interacting or free). We then show that property (1) has a suitable generalization for all $(A_1, A_{2k})$ cousins of the MAD theory. In particular, the corresponding large spin thresholds encode generic renormalization group flows within this class. This construction therefore gives a different handle on these flows from the one provided by the Seiberg-Witten description. To emphasize the importance of these spin thresholds, we abstractly study theories with "enough matter" to form Higgs branches and argue that infinitely many spin thresholds are small or vanishing.

hep-th↗

arXiv2021

Quantum Codes, CFTs, and Defects

We give a general construction relating Narain rational conformal field theories (RCFTs) and associated 3d Chern-Simons (CS) theories to quantum stabilizer codes. Starting from an abelian CS theory with a fusion group consisting of $n$ even-order factors, we map a boundary RCFT to an $n$-qubit quantum code. When the relevant 't Hooft anomalies vanish, we can orbifold our RCFTs and describe this gauging at the level of the code. Along the way, we give CFT interpretations of the code subspace and the Hilbert space of qubits while mapping error operations to CFT defect fields.

hep-th↗

arXiv2021

Galois Orbits of TQFTs: Symmetries and Unitarity

We study Galois actions on $2+1$D topological quantum field theories (TQFTs), characterizing their interplay with theory factorization, gauging, the structure of gapped boundaries and dualities, 0-form symmetries, 1-form symmetries, and 2-groups. In order to gain a better physical understanding of Galois actions, we prove sufficient conditions for the preservation of unitarity. We then map out the Galois orbits of various classes of unitary TQFTs. The simplest such orbits are trivial (e.g., as in various theories of physical interest like the Toric Code, Double Semion, and 3-Fermion Model), and we refer to such theories as unitary "Galois fixed point TQFTs." Starting from these fixed point theories, we study conditions for preservation of Galois invariance under gauging 0-form and 1-form symmetries (as well as under more general anyon condensation). Assuming a conjecture in the literature, we prove that all unitary Galois fixed point TQFTs can be engineered by gauging 0-form symmetries of theories built from Deligne products of certain abelian TQFTs.

hep-th↗

arXiv2021

1-Form Symmetry, Isolated N=2 SCFTs, and Calabi-Yau Threefolds

We systematically study 4D $\mathcal{N}=2$ superconformal field theories (SCFTs) that can be constructed via type IIB string theory on isolated hypersurface singularities (IHSs) embedded in $\mathbb{C}^4$. We show that if a theory in this class has no $\mathcal{N}=2$-preserving exactly marginal deformation (i.e., the theory is isolated as an $\mathcal{N}=2$ SCFT), then it has no 1-form symmetry. This situation is somewhat reminiscent of 1-form symmetry and decomposition in 2D quantum field theory. Moreover, our result suggests that, for theories arising from IHSs, 1-form symmetries originate from gauge groups (with vanishing beta functions). One corollary of our discussion is that there is no 1-form symmetry in IHS theories that have all Coulomb branch chiral ring generators of scaling dimension less than two. In terms of the $a$ and $c$ central charges, this condition implies that IHS theories satisfying $a<{1\over24}(15r+2f)$ and $c<{1\over6}(3r+f)$ (where $r$ is the complex dimension of the Coulomb branch, and $f$ is the rank of the continuous 0-form flavor symmetry) have no 1-form symmetry. After reviewing the 1-form symmetries of other classes of theories, we are motivated to conjecture that general interacting 4D $\mathcal{N}=2$ SCFTs with all Coulomb branch chiral ring generators of dimension less than two have no 1-form symmetry.

hep-th↗