Related papers: Dichromatic state sum models for four-manifolds fr…
This is a survey article about the connections between knot theory and four-dimensional topology. Every four-manifold can be represented in terms of a link, by a Kirby diagram. This point of view has led to progress in computing invariants…
Invariant theory is concerned with functions that do not change under the action of a given group. Here we communicate an approach based on tensor networks to represent polynomial local unitary invariants of quantum states. This graphical…
Tensor networks prepare states that share many features of states in quantum gravity. However, standard constructions are not diffeomorphism invariant and do not support an algebra of non-commuting area operators. Recently, analogues of…
We present commuting projector Hamiltonian realizations of a large class of (3+1)D topological models based on mathematical objects called unitary G-crossed braided fusion categories. This construction comes with a wealth of examples from…
We revisit the question of whether the Crane-Yetter topological quantum field theory (TQFT) associated to a modular tensor category admits a fully extended refinement. More specifically, we use tools from stable homotopy theory to classify…
Computing the entanglement of formation of a bipartite state is generally difficult, but special symmetries of a state can simplify the problem. For instance, this allows one to determine the entanglement of formation of Werner states and…
In this second part of a two paper series we discuss the properties and physical interpretation of the generalized Kodama states. We first show that the states are the three dimensional boundary degrees of freedom of two familiar…
In loop quantum gravity, states of quantum geometry are represented by classes of knotted graphs, equivalent under diffeomorphisms. Thus, it is worthwhile to enumerate and distinguish these classes. This paper looks at the case of 4-regular…
Many quantum invariants of knots and 3-manifolds (e.g. Jones polynomials) are special cases of the Witten-Reshetikhin-Turaev 3D TQFT. The latter is in turn a part of a larger theory - the Crane-Yetter 4D TQFT. In this work, we compute the…
For a nonsingular projective 3-fold $X$, we define integer invariants virtually enumerating pairs $(C,D)$ where $C\subset X$ is an embedded curve and $D\subset C$ is a divisor. A virtual class is constructed on the associated moduli space…
We investigate the relation between local unitary symmetries and entanglement invariants of multi-qubit systems. The Hilbert space of such systems can be stratified in terms of states with different types of symmetry. We review the…
We discuss the BRST cohomologies of the invariants associated with the description of classical and quantum gravity in four dimensions, using the Ashtekar variables. These invariants are constructed from several BRST cohomology sequences.…
Using the theory of measurable categories developped by Yetter in work in preparation, we provide a notion of representations of 2-groups more well-suited to physically and geometrically interesting examples than that proposed in…
For an anyon model in two spatial dimensions described by a modular tensor category, the topological S-matrix encodes the mutual braiding statistics, the quantum dimensions, and the fusion rules of anyons. It is nontrivial whether one can…
We define a Chern--Simons invariant of connections on stably trivial vector bundles over smooth manifolds, taking values in $3$-forms modulo closed forms with integral cohomology class. We show an additivity property of this invariant for…
We show how the families Seiberg-Witten invariants of a family of smooth $4$-manifolds can be recovered from the families Bauer-Furuta invariant via a cohomological formula. We use this formula to deduce several properties of the families…
We generalise the Kreck-Stolz invariants s_2 and s_3 by defining a new invariant, the t-invariant, for quaternionic line bundles E over closed spin-manifolds M of dimension 4k-1 with H^3(M; \Q) = 0 such that c_2(E)\in H^4(M) is torsion. The…
We define a positive state sum for webs "of type D". These webs are graphs which mimic morphisms in the category of finite-dimensional quantum so(2N)-modules. From the state sum, we derive an invariant of framed unoriented links. After…
Families of smooth closed oriented 4-manifolds with a complex spin structure are studied by means of a family version of the Bauer--Furuta invariants in the context of parametrised stable homotopy theory, leading to a definition of…
We introduce a family of matrix dilogarithms, which are automorphisms of C^N tensor C^N, N being any odd positive integer, associated to hyperbolic ideal tetrahedra equipped with an additional decoration. The matrix dilogarithms satisfy…