-
Categorified Path Calculus
Authors:
Simon Burton
Abstract:
Path calculus, or graphical linear algebra, is a string diagram calculus for the category of matrices over a base ring. It is the usual string diagram calculus for a symmetric monoidal category, where the monoidal product is the direct sum of matrices. We categorify this story to develop a surface diagram calculus for the bicategory of matrices over a base bimonoidal category. This yields a surfac…
▽ More
Path calculus, or graphical linear algebra, is a string diagram calculus for the category of matrices over a base ring. It is the usual string diagram calculus for a symmetric monoidal category, where the monoidal product is the direct sum of matrices. We categorify this story to develop a surface diagram calculus for the bicategory of matrices over a base bimonoidal category. This yields a surface diagram calculus for any bimonoidal category by restricting to diagrams for 1x1 matrices. We show how additional structure on the base category, such as biproducts, duals and the dagger, adds structure to the resulting calculus. Applied to categorical quantum mechanics this yields a new graphical proof of the teleportation protocol.
△ Less
Submitted 6 July, 2023;
originally announced July 2023.
-
Lift of fractional D-brane charge to equivariant Cohomotopy theory
Authors:
Simon Burton,
Hisham Sati,
Urs Schreiber
Abstract:
The lift of K-theoretic D-brane charge to M-theory was recently hypothesized to land in Cohomotopy cohomology theory. To further check this "Hypothesis H", here we explicitly compute the constraints on fractional D-brane charges at ADE-orientifold singularities imposed by the existence of lifts from equivariant K-theory to equivariant Cohomotopy theory, through Boardman's comparison homomorphism.…
▽ More
The lift of K-theoretic D-brane charge to M-theory was recently hypothesized to land in Cohomotopy cohomology theory. To further check this "Hypothesis H", here we explicitly compute the constraints on fractional D-brane charges at ADE-orientifold singularities imposed by the existence of lifts from equivariant K-theory to equivariant Cohomotopy theory, through Boardman's comparison homomorphism. We check the relevant cases and find that this condition singles out precisely those fractional D-brane charges which do not take irrational values, in any twisted sector. Given that the possibility of irrational D-brane charge has been perceived as a paradox in string theory, we conclude that Hypothesis H serves to resolve this paradox.
Concretely, we first explain that the Boardman homomorphism, in the present case, is the map from the Burnside ring to the representation ring of the singularity group given by forming virtual permutation representations. Then we describe an explicit algorithm that computes the image of this comparison map for any finite group. We run this algorithm for binary Platonic groups, hence for finite subgroups of SU(2); and we find explicitly that for the three exceptional subgroups and for the first few cyclic and binary dihedral subgroups the comparison morphism surjects precisely onto the sub-lattice of the real representation ring spanned by the non-irrational characters.
△ Less
Submitted 10 November, 2019; v1 submitted 23 December, 2018;
originally announced December 2018.
-
The Determinant and Volume of 2-Bridge Links and Alternating 3-Braids
Authors:
Stephan D. Burton
Abstract:
We examine the conjecture, due to Champanerkar, Kofman, and Purcell that $\text{vol}(K) < 2 π\log \det (K)$ for alternating hyperbolic links, where $\text{vol}(K) = \text{vol}(S^3\backslash K)$ is the hyperbolic volume and $\det(K)$ is the determinant of $K$. We prove that the conjecture holds for 2-bridge links, alternating 3-braids, and various other infinite families. We show the conjecture hol…
▽ More
We examine the conjecture, due to Champanerkar, Kofman, and Purcell that $\text{vol}(K) < 2 π\log \det (K)$ for alternating hyperbolic links, where $\text{vol}(K) = \text{vol}(S^3\backslash K)$ is the hyperbolic volume and $\det(K)$ is the determinant of $K$. We prove that the conjecture holds for 2-bridge links, alternating 3-braids, and various other infinite families. We show the conjecture holds for highly twisted links and quantify this by showing the conjecture holds when the crossing number of $K$ exceeds some function of the twist number of $K$.
△ Less
Submitted 7 April, 2017;
originally announced April 2017.
-
Geometric estimates from spanning surfaces
Authors:
Stephan D. Burton,
Efstratia Kalfagianni
Abstract:
We derive bounds on the length of the meridian and the cusp volume of hyperbolic knots in terms of the topology of essential surfaces spanned by the knot. We provide an algorithmically checkable criterion that guarantees that the meridian length of a hyperbolic knot is below a given bound. As applications we find knot diagrammatic upper bounds on the meridian length and the cusp volume of hyperbol…
▽ More
We derive bounds on the length of the meridian and the cusp volume of hyperbolic knots in terms of the topology of essential surfaces spanned by the knot. We provide an algorithmically checkable criterion that guarantees that the meridian length of a hyperbolic knot is below a given bound. As applications we find knot diagrammatic upper bounds on the meridian length and the cusp volume of hyperbolic adequate knots and we obtain new large families of knots with meridian lengths bounded above by four. We also discuss applications of our results to Dehn surgery.
△ Less
Submitted 8 May, 2017; v1 submitted 17 August, 2016;
originally announced August 2016.
-
The Spectra of Volume and Determinant Densities of Links
Authors:
Stephan D. Burton
Abstract:
The $\textit{volume density}$ of a hyperbolic link $K$ is defined to be the ratio of the hyperbolic volume of $K$ to the crossing number of $K$. We show that there are sequences of non-alternating links with volume density approaching $v_8$, where $v_8$ is the volume of the ideal hyperbolic octahedron. We show that the set of volume densities is dense in $[0,v_8]$. The…
▽ More
The $\textit{volume density}$ of a hyperbolic link $K$ is defined to be the ratio of the hyperbolic volume of $K$ to the crossing number of $K$. We show that there are sequences of non-alternating links with volume density approaching $v_8$, where $v_8$ is the volume of the ideal hyperbolic octahedron. We show that the set of volume densities is dense in $[0,v_8]$. The $\textit{determinant density}$ of a link $K$ is $[2 π\log \det(K)]/c(K)$. We prove that the closure of the set of determinant densities contains the set $[0, v_8]$.
△ Less
Submitted 7 July, 2015;
originally announced July 2015.
-
A real stable extension of the Vamos matroid polynomial
Authors:
Sam Burton,
Cynthia Vinzant,
Yewon Youm
Abstract:
In 2004, Choe, Oxley, Sokal and Wagner established a tight connection between matroids and multiaffine real stable polynomials. Recently, Branden used this theory and a polynomial coming from the Vamos matroid to disprove the generalized Lax conjecture. Here we present a 10-element extension of the Vamos matroid and prove that its basis generating polynomial is real stable (i.e. that the matroid h…
▽ More
In 2004, Choe, Oxley, Sokal and Wagner established a tight connection between matroids and multiaffine real stable polynomials. Recently, Branden used this theory and a polynomial coming from the Vamos matroid to disprove the generalized Lax conjecture. Here we present a 10-element extension of the Vamos matroid and prove that its basis generating polynomial is real stable (i.e. that the matroid has the half-plane property). We do this via large sums of squares computations and a criterion for real stability given by Wagner and Wei. Like the Vamos matroid, this matroid is not representable over any field and no power of its basis generating polynomial can be written as the determinant of a linear matrix with positive semidefinite Hermitian forms.
△ Less
Submitted 7 November, 2014;
originally announced November 2014.
-
Geodesic systems of tunnels in hyperbolic 3-manifolds
Authors:
Stephan D. Burton,
Jessica S. Purcell
Abstract:
It is unknown whether an unknotting tunnel is always isotopic to a geodesic in a finite volume hyperbolic 3-manifold. In this paper, we address the generalization of this problem to hyperbolic 3-manifolds admitting tunnel systems. We show that there exist finite volume hyperbolic 3-manifolds with a single cusp, with a system of at least two tunnels, such that all but one of the tunnels come arbitr…
▽ More
It is unknown whether an unknotting tunnel is always isotopic to a geodesic in a finite volume hyperbolic 3-manifold. In this paper, we address the generalization of this problem to hyperbolic 3-manifolds admitting tunnel systems. We show that there exist finite volume hyperbolic 3-manifolds with a single cusp, with a system of at least two tunnels, such that all but one of the tunnels come arbitrarily close to self-intersecting. This gives evidence that systems of unknotting tunnels may not be isotopic to geodesics in tunnel number n manifolds. In order to show this result, we prove there is a geometrically finite hyperbolic structure on a (1;n)-compression body with a system of core tunnels such that all but one of the core tunnels self-intersect.
△ Less
Submitted 11 September, 2013; v1 submitted 21 February, 2013;
originally announced February 2013.
