Related papers: Simple-current algebra constructions of 2+1D topol…
2+1d topological phases are well characterized by the fusion rules and braiding/exchange statistics of fractional point excitations. In 4+1d, some topological phases contain only fractional loop excitations. What kind of loop statistics…
In primary school, we were told that there are four phases of matter: solid, liquid, gas, and plasma. In college, we learned that there are much more than four phases of matter, such as hundreds of crystal phases, liquid crystal phases,…
The 3D Bondi-Metzner-Sachs (BMS$_3$) algebra that is the asymptotic symmetry algebra at null infinity of the $1+2$D asymptotically flat space-time is isomorphic to the $1+1$D Carrollian conformal algebra. Building on this connection,…
Satisfiability Modulo Theories (SMT) solvers check the satisfiability of quantifier-free first-order logic formulas. We consider the theory of non-linear real arithmetic where the formulae are logical combinations of polynomial constraints.…
We define the concept of a monotonic theory and show how to build efficient SMT (SAT Modulo Theory) solvers, including effective theory propagation and clause learning, for such theories. We present examples showing that monotonic theories…
To the working physicist, anyon theory is meant to describe certain quasi-particle excitations occurring in two dimensional topologically ordered systems. A typical calculation using this theory will involve operations such as $\otimes$ to…
To formalize calculations in linear algebra for the development of efficient algorithms and a framework suitable for functional programming languages and faster parallelized computations, we adopt an approach that treats elements of linear…
Unitary Ribbon Fusion Categories (URFC) formalize anyonic theories. It has been widely assumed that the same category formalizes a topological quantum computing model. However, in previous work, we addressed and resolved this confusion and…
Recent advances enable the simultaneous computation of both attracting and repelling families of Lagrangian Coherent Structures (LCS) at the same initial or final time of interest. Obtaining LCS positions at intermediate times, however, has…
This is the first of a pair of papers where we construct and investigate a closed monoidal structure on the category of generalized algebraic theories (in the sense of Cartmell). In the present text, as a starting point, we define the…
We produce a long exact sequence whose terms are unit groups of associative algebras that behave as inner automorphisms of a given tensor. Our sequence generalizes known sequences for associative and non-associative algebras. In a manner…
Let q be a finite-dimensional Lie algebra and $\theta$ an automorphism of q of order m. We extend $\theta$ to an automorphism of the loop algebra of q and consider the fixed-point subalgebra $q[t,t^{-1}]^{\theta}$. Using a splitting of…
We present a new model of computation, described in terms of monoidal categories. It conforms the Church-Turing Thesis, and captures the same computable functions as the standard models. It provides a succinct categorical interface to most…
We demonstrate and develop dyadic-probabilistic methods in connection with non-homogeneous bilinear operators, namely singular integrals and square functions. We develop the full non-homogeneous theory of bilinear singular integrals using a…
Lichnerowicz's algebra of differential geometric operators acting on symmetric tensors can be obtained from generalized geodesic motion of an observer carrying a complex tangent vector. This relation is based upon quantizing the classical…
Given a unitary fusion category, one can define the Hilbert space of a so-called ``anyonic spin-chain'' and nearest neighbor Hamiltonians providing a real-time evolution. There is considerable evidence that suitable scaling limits of such…
In Graph Theory a number of results were devoted to studying the computational complexity of the number modulo 2 of a graph's edge set decompositions of various kinds, first of all including its Hamiltonian decompositions, as well as the…
For any fiat 2-category C, we show how its simple transitive 2-representations can be constructed using coalgebra 1-morphisms in the injective abelianization of C. Dually, we show that these can also be constructed using algebra 1-morphisms…
Topological features play an essential role in ensuring geometric plausibility and structural consistency in image analysis tasks such as segmentation and skeletonization. However, integrating topology-preserving learning based on simple…
A consistent description of gauge theories on coordinate dependent non-commutative (NC) space-time is a long-standing problem with a number of solutions, none of which is free from criticism. In this work, we discuss the approach proposed…