Search

We introduce new topological quantum invariants of compact oriented 3-manifolds with boundary where the boundary is a disjoint union of two identical surfaces. The invariants are constructed via surgery on manifolds of the form $F \times I$ where $I$ denotes the unit interval. Since virtual knots and links are represented as links in such thickened surfaces, we are able also to construct invariants in terms of virtual link diagrams (planar diagrams with virtual crossings). These invariants are the first meaningful, nontrivial, and calculable examples of quantum invariants of 3-manifolds with non-vacuous boundary. We give a new invariant of classical links in the 3-sphere in the following sense: Consider a link $L$ in $S^3$ of two components. The complement of a tubular neighborhood of $L$ is a manifold whose boundary consists in two copies of a torus. Our invariants apply to this case of bounded manifold and give new invariants of the given link of two components. Invariants of knots are also obtained., Comment: 32 pages, many figures

This paper shows how gauge theoretic structures arise naturally in a non-commutative calculus. Aspects of gauge theory, Hamiltonian mechanics and quantum mechanics arise naturally in the mathematics of a non-commutative framework for calculus and differential geometry. We show how a covariant version of the Levi-Civita connection arises naturally in this commutator calculus. This connection satisfies the formula $$\Gamma_{kij} + \Gamma_{ikj} = \nabla_{j}g_{ik} = \partial_{j} g_{ik} + [g_{ik}, A_j].$$ and so is exactly a generalization of the connection defined by Hermann Weyl in his original gauge theory. In the non-commutative world $\cal N$ the metric indeed has a wider variability than the classical metric and its angular holonomy. Weyl's idea was to work with such a wider variability of the metric. The present formalism provides a new context for Weyl's original idea., Comment: LaTeX document, 43 pages

This article is about applications of linear algebra to knot theory. For example, for odd prime p, there is a rule (given in the article) for coloring the arcs of a knot or link diagram from the residues mod p. This is a knot invariant in the sense that if a diagram of the knot under study admits such a coloring, then so does any other diagram of the same knot. This is called p-colorability. It is also associated to systems of linear homogeneous equations over the residues mod p, by regarding the arcs of the diagram as variables and assigning the equation "twice the over-arc minus the sum of the under-arcs equals zero" to each crossing. The knot invariant is here the existence or non-existence of non-trivial solutions of these systems of equations, when working over the integers modulo p (a non-trivial solution is such that not all variables take up the same value). Another knot invariant is the minimum number of distinct colors (values) these non-trivial solutions require, should they exist. This corresponds to finding a basis, supported by a diagram, in which these solutions take up the least number of distinct values. The actual minimum is hard to calculate, in general. For the first few primes, less than 17, it depends only on the prime, p, and not on the specific knots that admit non-trivial solutions, modulo p. For primes larger than 13 this is an open problem. In this article, we begin the exploration of other generalizations of these colorings (which also involve systems of linear homogeneous equations mod p) and we give lower bounds for the number of colors., Comment: Revised version

In this paper we study unitary braid group representations associated with Majorana Fermions. Majorana Fermions are represented by Majorana operators, elements of a Clifford algebra. The paper recalls and proves a general result about braid group representations associated with Clifford algebras, and compares this result with the Ivanov braiding associated with Majorana operators. The paper generalizes observations of Kauffman and Lomonaco and of Mo-Lin Ge to show that certain strings of Majorana operators give rise to extraspecial 2-groups and to braiding representations of the Ivanov type., Comment: 29 pages, 4 figures, LaTeX document. arXiv admin note: substantial text overlap with arXiv:1603.07827, arXiv:1301.6214, arXiv:quant-ph/0606114

Kauffman and Lomonaco explored the idea of understanding quantum entanglement (the non-local correlation of certain properties of particles) topologically by viewing unitary entangling operators as braiding operators. In the work of G. Alagic, M. Jarret, and S. Jordan it is shown that entanglement is a necessary condition for forming invariants of knots from braid closures via solutions to the Yang-Baxter Equation. We show that the arguments used by these authors generalize to essentially the same results for quantum invariant state summation models of knots. We also given an example of an SU(2) representation of the three-strand braid group that models the Jones polynomial for closures of three-strand braids. This invariant is a quantum model for the Jones polynomial restricted to three strand braids, and it does not involve quantum entanglement. These relationships between topological braiding and quantum entanglement can be used as a framework for future work in understanding the properties of entangling gates in topological quantum computing.The paper ends with a discussion of the Aravind hypothesis about the direct relationship of knots and quantum entanglement, and the ER = EPR hypothesis about the relationship of quantum entanglement with the connectivity of space. We describe how, given a background space and a quantum tensor network, to construct a new topological space, that welds the network and the background space together. This construction embodies the principle that quantum entanglement and topological connectivity are intimately related., Comment: 40 pages, 27 figures, LaTeX document

In this paper we first investigate minimal sufficient sets of colors for p=11 and 13. For odd prime p and any p-colorable link L with non-zero determinant, we give alternative proofs of mincol_p L \geq 5 for p \geq 11 and mincol_p L \geq 6 for p \geq 17. We elaborate on equivalence classes of sets of distinct colors (on a given modulus) and prove that there are two such classes of five colors modulo 11, and only one such class of five colors modulo 13. Finally, we give a positive answer to a question raised by Nakamura, Nakanishi, and Satoh concerning an inequality involving crossing numbers. We show it is an equality only for the trefoil and for the figure-eight knots.

Knotted and tangled structures frequently appear in physical fields, but so do mechanisms for untying them. To understand how this untying works, we simulate the behavior of 1,458 superfluid vortex knots of varying complexity and scale in the Gross-Pitaevskii equation. Without exception, we find that the knots untie efficiently and completely, and do so within a predictable time range. We also observe that the centerline helicity -- a measure of knotting and writhing -- is partially preserved even as the knots untie. Moreover, we find that the topological pathways of untying knots have simple descriptions in terms of minimal 2D knot diagrams, and tend to concentrate in states along specific maximally chiral pathways., Comment: 5 figures and a supplemental PDF

This paper discusses reformulations of the problem of coloring plane maps with four colors. We give a number of alternate ways to formulate the coloring problem including a tautological expansion similar to the Penrose Bracket, and an extension of the Penrose Bracket that counts colorings of arbitrary cubic graphs presented as immersions in the plane., Comment: 20 pages, 20 figures, LaTeX document. arXiv admin note: text overlap with arXiv:math/0112266

This paper studies rotational virtual knot theory and its relationship with quantum link invariants. Every quantum link invariant for classical knots and links extends to an invariant of rotational virtual knots and links. The paper sets up the background virtual knot theory, defines rotational virtual knot theory, studies an extension of the bracket polynomial and the Manturov parity bracket for rotationals. We give examples of links that are not detected by the bracket polynomial but are detected by the extended parity bracket. Then the general frameworks for oriented and unoriented quantum invariants are introduced and formulated for rotational virtual links. The paper ends with a section on quantum link invariants in the Hopf algebra framework where one can see the naturality of using regular homotopy combined with virtual crossings (permutation operators), as they occur significantly in the category associated with a Hopf algebra. We show how this approach via categories and quantum algebras illuminates the structure of invariants that we have already described via state summations. In particular, we show that a certain non-trivial link L has trivial functorial image. This means that this link is not detected by any quantum invariant formulated as outlined in this paper. We show earlier in the paper that the link L is a non-trivial rotational link using the parity bracket. These calculations with the diagrammatic images in quantum algebra show how this category forms a higher level language for understanding rotational virtual knots and links. There are inherent limitations to studying rotational virtual knots by quantum algebra alone., Comment: 43 pages, 45 figures, LaTeX documenet. arXiv admin note: text overlap with arXiv:1103.3158

A link diagram is said to be lune-free if, when viewed as a 4-regular plane graph it does not have multiple edges between any pair of nodes. We prove that any colored link diagram is equivalent to a colored lune-free diagram with the same number of colors. Thus any colored link diagram with a minimum number of colors (known as a minimal diagram) is equivalent to a colored lune-free diagram with that same number of colors. We call the passage from a link diagram to an equivalent lune-free diagram its delunification process. We then introduce a notion of grey sets in order to obtain higher lower bounds for minimum number of colors. We calculate these higher lower bounds for a number of prime moduli with the help of computer programs. For each number of crossings through 16, we list the lune-free diagrams and we color them. If the number of colors equals the corresponding higher lower bound we know we have a minimum number of colors. We also introduce and list the lune-free crossing number of a link i.e., the minimum number of crossings needed for a lune-free diagram of this link, and other related link invariants., Comment: 21 pages, 15 figures

For any link and for any modulus $m$ we introduce an equivalence relation on the set of non-trivial m-colorings of the link (an m-coloring has values in Z/mZ). Given a diagram of the link, the equivalence class of a non-trivial m-coloring is formed by each assignment of colors to the arcs of the diagram that is obtained from the former coloring by a permutation of the colors in the arcs which preserves the coloring condition at each crossing. This requirement implies topological invariance of the equivalence classes. We show that for a prime modulus the number of equivalence classes depends on the modulus and on the rank of the coloring matrix (with respect to this modulus)., Comment: This is the version accepted for publication of the article formerly entitled "Equivalence Classes of Colorings: the Topological Viewpoint"

For each odd prime p, and for each non-split link admitting non-trivial p-colorings, we prove that the maximum number of Fox colors is p. We also prove that we can assemble a non-trivial p-coloring with any number of colors, from the minimum to the maximum number of colors. Furthermore, for any rational link, we prove that there exists a non-trivial coloring of any Schubert Normal Form of it, modulo its determinant, which uses all colors available. If this determinant is an odd prime, then any non-trivial coloring of this Schubert Normal Form, modulo the determinant, uses all available colors. We prove also that the number of crossings in the Schubert Normal Form equals twice the determinant of the link minus 2. Facts about torus links and their coloring abilities are also proved., Comment: Version accepted for publication in JKTR

We show several relations between local moves on 1-dimensional knots and those on high dimensional knots related by products of knots., Comment: 78 pages

We review and present a few new results of the program of emergent matter as braid excitations of quantum geometry that is represented by braided ribbon networks. These networks are a generalisation of the spin networks proposed by Penrose and those in models of background independent quantum gravity theories, such as Loop Quantum Gravity and Spin Foam models. This program has been developed in two parallel but complimen- tary schemes, namely the trivalent and tetravalent schemes. The former studies the braids on trivalent braided ribbon networks, while the latter investigates the braids on tetravalent braided ribbon networks. Both schemes have been fruitful. The trivalent scheme has been quite successful at establishing a correspondence between braids and Standard Model par- ticles, whereas the tetravalent scheme has naturally substantiated a rich, dynamical theory of interactions and propagation of braids, which is ruled by topological conservation laws. Some recent advances in the program indicate that the two schemes may converge to yield a fundamental theory of matter in quantum spacetime.

This paper contains general formulae for the reduced relative Tutte, Kauffman bracket and Jones polynomials of families of virtual knots and links given in Conway notation and discussion of a counterexample to the Z-move conjecture of Fenn, Kauffman and Manturov., Comment: 19 pages, 24 figures

This paper is an introduction to virtual knot theory and an exposition of new ideas and constructions, including the parity bracket polynomial, the arrow polynomial, the parity arrow polynomial and categorifications of the arrow polynomial. The paper is relatively self-contained and it describes virtual knot theory both combinatorially and in terms of the knot theory in thickened surfaces. The arrow polynomial (of Dye and Kauffman) is a natural generalization of the Jones polynomial, obtained by using the oriented structure of diagrams in the state sum. The paper discusses uses of parity pioneered by Vassily Manturov and uses his parity bracket polynomial to give a counterexample to a conjecture of Fenn, Kauffman and Manturov. The paper gives an exposition of the categorification of the arrow polynomial due to Dye, Kauffman and Manturov and it gives one example (from many found by Aaron Kaestner) of a pair of virtual knots that are not distinguished by Khovanov homology (mod 2), or by the arrow polynomial, but are distinguished by a categorification of the arrow polynomial. Other examples of parity calculations are indicated. For example, this same pair is distinguished by the parity bracket polynomial., Comment: Exposition, 39 pages, 32 figures, LaTeX

We introduce a recoupling theory for virtual braided trees. This recoupling theory can be utilized to incorporate swap gates into anyonic models of quantum computation., Comment: 14 pages, 23 figures

Using the cubic honeycomb (cubic tessellation) of Euclidean 3-space, we define a quantum system whose states, called quantum knots, represent a closed knotted piece of rope, i.e., represent the particular spatial configuration of a knot tied in a rope in 3-space. This quantum system, called a quantum knot system, is physically implementable in the same sense as Shor's quantum factoring algorithm is implementable. To define a quantum knot system, we replace the standard three Reidemeister knot moves with an equivalent set of three moves, called respectively wiggle, wag, and tug, so named because they mimic how a dog might wag its tail. We argue that these moves are in fact more "physics friendly" because, unlike the Reidemeister moves, they respect the differential geometry of 3-space, and moreover they can be transformed into infinitesimal moves. These three moves wiggle, wag, and tug generate a unitary group, called the lattice ambient group, which acts on the state space of the quantum system. The lattice ambient group represents all possible ways of moving a rope around in 3-space without cutting the rope, and without letting the rope pass through itself. We then investigate those quantum observables of the quantum knot system which are knot invariants. We also study Hamiltonians associated with the generators of the lattice ambient group. We conclude with a list of open questions., Comment: 128 graphics files

This paper studies an algebraic invariant of virtual knots called the biquandle. The biquandle generalizes the fundamental group and the quandle of virtual knots. The approach taken in this paper to the biquandle emphasizes understanding its structure in terms of compositions of morphisms, where elementary morphisms are associated to oriented classical and virtual crossings in the diagram., Comment: 24 pages, 5 figures, LaTeX document with Xy-pic generated illustrations

We review the q-deformed spin network approact to Topological Quantum Field Theory and apply these methods to produce unitary representations of the braid groups that are dense in the unitary groups. These methods produce a concise proof that quantum computation can be performed within a single representation of the Artin Braid Group., Comment: 12 pages, 14 figures, LaTeX document

This paper is an exploration of simple four-regular graphs in the plane (i.e. loopless and with no more than one edge between any two nodes). Such graphs are fundamental to the theory of knots and links in three dimensional space, and their planar diagrams. We dedicate this paper to Frank Harary (1921 -- 2005) whose fascination with graphs of knots inspired this work and with whom we had the pleasure of developing this paper. We prove that for v (the number of nodes) greater than or equal to 8 there always exist such knot-graphs. Our proof gives rise to a class of "tight" graphs that do not submit to the recursive procedure that generates graphs with v+2 nodes from "admissible" graphs with v nodes. We then classify such tight graphs., Comment: 24 pages, 27 figures, LaTeX document

This paper shows how the forms of gauge theory, Hamiltonian mechanics and quantum mechanics arise from a non-commutative framework for calculus and differential geometry. Discrete calculus is seen to fit into this pattern by reformulating it in terms of commutators. Differential geometry begins here, not with the concept of parallel translation, but with the concept of a physical trajectory and the algebra related to the Jacobi identity that governs that trajectory. The paper discusses how Poisson brackets give rise to Jacobi identity, and how Jacobi identity arises in combinatorial contexts, including graph coloring and knot theory. The paper gives a highly sharpened derivation of results of Tanimura on the consequences of commutators that generalize the Feynman-Dyson derivation of electromagnetism, and a generalization of the original Feynman-Dyson result that makes no assumptions about commutators. The latter result is a consequence of the definitions of the derivations in a particular non-commutative world. Our generalized version of electromagnetism sheds light on the orginal Feynman-Dyson derivation, and has many discrete models., Comment: 67 pages, 7 figures, LaTeX manuscript

This paper gives two new combinatorial topological proofs of the classification of rational tangles. Each proof rests on an elegant lemma showing that rational tangles are isotopic to canonical alternating rational tangles. The first proof defines the tangle fraction from the canonical form and uses flyping to prove invariance. The second proof defines the fraction of a rational tangle via integral coloring of the tangle. The coloring method is then used to prove the Kauffman-Harary coloring conjecture for alternating knots and links in the case of rational knots and links (closures of rational tangles). This paper forms the basis for a sequel on the classification of rational knots and links., Comment: 49 pages, 23 figures, LaTeX document

In this paper we show how to construct two continuous variable and one continuous functional quantum hidden subgroup (QHS) algorithms. These are respectively quantum algorithms on the additive group of reals R, the additive group R/Z of the reals R mod 1, i.e., the circle, and the additive group Paths of L^2 paths x:[0,1]-->R^n in real n-space R^n. Also included is a curious discrete QHS algorithm which is dual to Shor's algorithm., 9 pages, no figures, table of contents included

This paper defines the concept of an oriented quantum algebra and develops its application to the construction of quantum link invariants. We show that all known quantum link invariants can be put into this framework., Comment: LateX document, 47 pages, 21 figures