Source author record

Daniel Barter

Daniel Barter appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.QA math-ph math.MP cond-mat.str-el quant-ph math.CO math.RT math.CT

Catalog footprint

What is connected

7works

8topics

3close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

Computing associators of endomorphism fusion categories

Many applications of fusion categories, particularly in physics, require the associators or $F$-symbols to be known explicitly. Finding these matrices typically involves solving vast systems of coupled polynomial equations in large numbers of variables. In this work, we present an algorithm that allows associator data for some category with unknown associator to be computed from a Morita equivalent category with known data. Given a module category over the latter, we utilize the representation theory of a module tube category, built from the known data, to compute this unknown associator data. When the input category is unitary, we discuss how to ensure the obtained data is also unitary. We provide several worked examples to illustrate this algorithm. In addition, we include several Mathematica files showing how the algorithm can be used to compute the data for the Haagerup category $\mathcal{H}_1$, whose data was previously unknown.

preprint2020arXiv

Computing data for Levin-Wen with defects

We demonstrate how to do many computations for non-chiral topological phases with defects. These defects may be 1-dimensional domain walls or 0-dimensional point defects. Using $\operatorname{Vec}(S_3)$ as a guiding example, we demonstrate how domain wall fusion and associators can be computed using generalized tube algebra techniques. These domain walls can be both between distinct or identical phases. Additionally, we show how to compute all possible point defects, and the fusion and associator data of these. Worked examples, tabulated data and Mathematica code are provided.

preprint2019arXiv

Computing Defects Associated to Bounded Domain Wall Structures: The $\operatorname{Vec}(\mathbb{Z}/p\mathbb{Z})$ Case

A domain wall structure consists of a planar graph with faces labeled by fusion categories/topological phases. Edges are labeled by bimodules/domain walls. When the vertices are labeled by point defects we get a compound defect. We present an algorithm, called the domain wall structure algorithm, for computing the compound defect. We apply this algorithm to show that the \emph{bimodule associator}, related to the $O_3$ obstruction of [Etingof et al., Quantum Topol. 1, 209 (2010), arXiv:0909.3140], is trivial for all domain walls of $\operatorname{Vec}(\mathbb{Z}/p\mathbb{Z})$. In the language of this paper, the ground states of the Levin-Wen model are compound defects. We use this to define a generalization of the Levin-Wen model with domain walls and point defects. The domain wall structure algorithm can be used to compute the ground states of these generalized Levin-Wen type models.

preprint2019arXiv

Fusing Binary Interface Defects in Topological Phases: The $\operatorname{Vec}(\mathbb{Z}/p\mathbb{Z})$ case

A binary interface defect is any interface between two (not necessarily invertible) domain walls. We compute all possible binary interface defects in Kitaev's $\mathbb{Z}/p\mathbb{Z}$ model and all possible fusions between them. Our methods can be applied to any Levin-Wen model. We also give physical interpretations for each of the defects in the $\mathbb{Z}/p\mathbb{Z}$ model. These physical interpretations provide a new graphical calculus which can be used to compute defect fusion.

preprint2018arXiv

Domain walls in topological phases and the Brauer-Picard ring for $\operatorname{Vec}(\mathbb{Z}/p\mathbb{Z})$

We show how to calculate the relative tensor product of bimodule categories (not necessarily invertible) using ladder string diagrams. As an illustrative example, we compute the Brauer-Picard ring for the fusion category $\operatorname{Vec}(\mathbb{Z}/p\mathbb{Z})$. Moreover, we provide a physical interpretation of all indecomposable bimodule categories in terms of domain walls in the associated topological phase. We show how this interpretation can be used to compute the Brauer-Picard ring from a physical perspective.

preprint2016arXiv

A remark about 6j symbols and young semi-normal form

We compute some 6j symbols in the category of polynomial representations of $GL(\infty)$.

preprint2015arXiv

Noetherianity and rooted trees

Let T be the category whose objects are rooted trees and morphisms are order embeddings preserving the root. We prove that finitely generated representations of T are Noetherian using techniques developed by Sam and Snowden which generalize classical Grobner theory. The proof uses a relative version of Kruskals tree Theorem.