Related papers: Measurable Categories and 2-Groups

We present a general formalism for charecterizing 2-time quantum states, describing pre- and post-selected quantum systems. The most general 2-time state is characterized by a `density vector' that is independent of measurements performed…

In Part I of this series we presented the general ideas of applying group-algebraic methods for describing quantum systems. The treatment was there very "ascetic" in that only the structure of a locally compact topological group was used.…

In this easy introduction to higher gauge theory, we describe parallel transport for particles and strings in terms of 2-connections on 2-bundles. Just as ordinary gauge theory involves a gauge group, this generalization involves a gauge…

In the presence of spacetime boundaries, diffeomorphisms in gravitational theories can become physical and acquire non-vanishing Noether charges. These charges obey an algebra which, within the extended phase-space formalism, faithfully…

Murray, Roberts and Wockel showed that there is no strict model of the string 2-group using the free loop group. Instead, they construct the next best thing, a coherent model for the string 2-group using the free loop group, with explicit…

We formulate a non-perturbative lattice model of two-dimensional Lorentzian quantum gravity by performing the path integral over geometries with a causal structure. The model can be solved exactly at the discretized level. Its continuum…

We construct a class of non-invertible duality defects, in (2+1)d quantum field theories, arising from half-spacetime gauging of a 2-group symmetry. Starting from a parent theory with two discrete and Abelian 0-form symmetries and a…

This paper explores the use of 2-categorical technology for describing and reasoning about complex quantum procedures. We give syntactic definitions of a family of complementary measurements, and of quantum key distribution, and show that…

The regular representation of an essentially finite 2-group $\mathbb{G}$ in the 2-category $\mathbf{2Vect}_k$ of (Kapranov and Voevodsky) 2-vector spaces is defined and cohomology invariants classifying it computed. It is next shown that…

We use the theory of the quantum group $U_q(gl(2,\RR))$ in order to develop a quantum theory of invariants and show a decomposition of invariants into a Gordan-Capelli series. Higher binary forms are introduced on the basis of braided…

Determining the relationship between composite systems and their subsystems is a fundamental problem in quantum physics. In this paper we consider the spectra of a bipartite quantum state and its two marginal states. To each spectrum we can…

A 2-group is a "categorified" version of a group, in which the underlying set G has been replaced by a category and the multiplication map has been replaced by a functor. Various versions of this notion have already been explored; our goal…

We construct a generalization of pure lattice gauge theory (LGT) where the role of the gauge group is played by a tensor category. The type of tensor category admissible (spherical, ribbon, symmetric) depends on the dimension of the…

Motivated by topological quantum field theory, we investigate the geometric aspects of unitary 2-representations of finite groups on 2-Hilbert spaces, and their 2-characters. We show how the basic ideas of geometric quantization are…

In this paper, a survey of the recent results about the classification of the connected holonomy groups of the Lorentzian manifolds is given. A simplification of the construction of the Lorentzian metrics with all possible connected…

Einstein Gravity can be formulated as a gauge theory with the tangent space respecting the Lorentz symmetry. In this paper we show that the dimension of the tangent space can be larger than the dimension of the manifold and by requiring the…

There is a unique finite group that lies inside the 2-dimensional unitary group but not in the special unitary group, and maps by the symmetric square to an irreducible subgroup of the 3-dimensional real special orthogonal group. In an…

In this paper we present a multipartite formulation of gauge theory gravity based on the formalism of space-time algebra for gravitation developed by Lasenby and Doran (Lasenby, A. N., Doran, C. J. L, and Gull, S.F.: Gravity, gauge theories…

The category $\cal{C}$ (studied by Andersen-Jantzen-Soergel) of representations of a Lusztig's small quantum group at a root of unity, together with its modular structure, is defined geometrically, using configuration spaces.

In this work we generalize the MacDowell-Mansouri theory of gravity using strict 2-groups. To achieve this, we construct the categorical generalization of the ISO(4,1) group, which we call the de Sitter 2-group. We then proceed to…