BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Louis H. Kauffman appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
This paper is an introduction to Khovanov homology, starting with the Kauffman bracket state summation, emphasizing the Bar-Natan Canopoloy and tangle cobordism approach. The paper discusses a simplicial approach to Khovanov homology and a quantum model for it so that the graded Euler characteristic that produces the Jones polynomial from Khovanov homology becomes the trace of a unitary transformation on a Hilbert space associated with the Khovanov Homology.
This paper discusses ER = EPR, the hypothesis of Susskind and Maldacena that entangled black holes are connected by an Einstein-Rosen bridge, and that more generally, quantum entanglement is accompanied by topological connectivity. Given a background space and a quantum tensor network, we describe how 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.
This paper is an exposition and review of the research related to the Riemann Hypothesis starting from the work of Riemann and ending with a description of the work of G. Spencer-Brown, culminating in his Denjoy proof of the RH.
We introduce a new equivalence relation on decorated ribbon graphs, and show that its equivalence classes directly correspond to virtual links. We demonstrate how this correspondence can be used to convert any invariant of virtual links into an invariant of ribbon graphs, and vice versa.
In the prequel of this paper, Kauffman and Ogasa introduced 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 new, nontrivial, and calculable examples of quantum invariants of 3-manifolds with non-vacuous boundary. Since virtual knots and links are represented by embeddings of circles in thickened surfaces, we refer to embeddings of circles in the 3-sphere as {\it classical links}. Classical links are the same as virtual links that can be represented in a thickened 2-sphere and it is a fact that classical links, up to isotopy, embed in the collection of virtual links taken up to isotopy. 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. In this paper we calculate the topological quantum invariants of some examples explicitly. We conclude from our examples that our invariant is new and strong enough to distinguish some classical knots from one another. We also explain how different Our topological quantum invariants of 3-manifolds with boundary and the Reshetikhin-Turaev invariants are. (See the body for detail).
We define a second Steenrod square for virtual links, which is stronger than Khovanov homology for virtual links, toward constructing Khovanov-Lipshitz-Sarkar stable homotopy type for virtual links. This induces the first meaningful nontrivial example of the second Steenrod square operator on the Khovanov homology for links in a 3-manifold other than the 3-sphere.
Knotted vortices such as those produced in water by Kleckner and Irvine tend to transform by reconnection to collections of unknotted and unlinked circles. The reconnection number $R(K)$ of an oriented knot of link $K$ is the least number of reconnections (oriented re-smoothings) needed to unknot/unlink $K$. Putting this problem into the context of knot cobordism, we show, using Rasmussen's Invariant that the reconnection number of a positive knot is equal to twice the genus of its Seifert spanning surface. In particular an $(a,b)$ torus knot has $R = (a-1)(b-1).$ For an arbitrary unsplittable positive knot or link $K$, $R(K) = c(K) - s(K) + 1$ where $c(K)$ is the number of crossings of $K$ and $s(K)$ is the number of Seifert circles of $K.$ Examples of vortex dynamics are illustrated in the paper.
Bertrand theorem permits closed orbits in 3d Euclidean space only for 2 types of central potentials. These are of Kepler-Coulomb and harmonic oscillator type. Volker Perlick recently extended Bertrand theorem. He designed new static spherically symmetric (Bertrand) spacetimes obeying Einsteins equations and supporting closed orbits. In this work we prove that the topology and geometry of these spacetimes permits to solve quantum many-body problem for any atom of periodic system exactly. The computations of spectrum for any atom of periodic system becomes analogous to that for hydrogen atom. Initially the exact solution of the Schrödinger equation for any multielectron atom was obtained by Tietz in 1956. However, neither himself nor others fully comprehended what actually was obtained. We recalculated Tietz results by applying the methodology consistent with new (different from that developed by Fock in 1936) way of solving Schro"odingers equation for hydrogen atom. In the light of this new result it had become possible to demonstrate rigorously that the Tietz-type Schro"odingers equation is in fact describing the quantum motion in Bertrand spacetime. As a bonus, we obtained the analytical proof of the Madelung rule defined in the text
We discuss infinitesimal bending of curves and knots in R^{3}. A brief overview of the results on the infinitesimal bending of curves is outlined. Change of the Willmore energy, as well as of the Mobius energy under infinitesimal bending of knots is considered. Our visualization tool devoted to visual representation of infinitesimal bending of knots is presented.
In this paper we give two new criteria of detecting the checkerboard colorability of virtual links by using odd writhe and arrow polynomial of virtual links, respectively. By applying new criteria, we prove that 6 virtual knots are not checkerboard colorable, leaving only one virtual knot whose checkerboard colorability is unknown among all virtual knots up to four classical crossings.
The concept of imaginary logical values was introduced by Spencer-Brown in Laws of Form, in analogy to the square root of -1 in the complex numbers. In this paper, we develop a new approach to representing imaginary values. The resulting system, which we call BF, is a four-valued generalization of Laws of Form. Imaginary values in BF act as cyclic four-valued operators. The central characteristic of BF is its capacity to portray imaginary values as both values and as operators. We show that the BF algebra is a stronger, axiomatically complete extension to Laws of Form capable of representing other four-valued systems, including the Kauffman/Varela Waveform Algebra and Belnap's Four-Valued Bilattice. We conclude by showing a representation of imaginary values based on the Artin braid group, a representation of the braid group and a braided representation of the quaternions in this form.
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.
In this paper we study a Clifford algebra generalization of the quaternions and its relationship with braid group representations related to Majorana fermions. The Fibonacci model for topological quantum computing is based on the fusion rules for a Majorana fermion. Majorana fermions can be seen not only in the structure of collectivies of electrons, as in the quantum Hall effect, but also in the structure of single electrons both by experiments with electrons in nanowires and also by the decomposition of the operator algebra for a fermion into a Clifford algebra generated by two Majorana operators. The purpose of this paper is to discuss these braiding representations, important for relationships among physics, quantum information and topology. A new result in this paper is the Clifford Braiding Theorem. This theorem shows that the Majorana operators give rise to a particularly robust representation of the braid group that is then further represented to find the phases of the fermions under their exchanges in a plane space. The more robust representation in our braiding theorem will be the subject of further work.
We call a Delta Diagram any diagram of a knot or link whose regions (including the unbounded one) have 3, 4, or 5 sides. We prove that any knot or link admits a delta diagram. We define and estimate combinatorial link invariants stemming from this definition.
Recursive distinctioning (RD) is a name coined by Joel Isaacson in his original patent document describing how fundamental patterns of process arise from the systematic application of operations of distinction and description upon themselves. Recursive distinctioning means just what it says. A pattern of distinctions is given in a space based on a graphical structure (such as a line of print or a planar lattice or given graph). Each node of the graph is occupied by a letter from some arbitrary alphabet. A specialized alphabet is given that can indicate distinctions about neighbors of a given node. The neighbors of a node are all nodes that are connected to the given node by edges in the graph. The letters in the specialized alphabet (call it SA) are used to describe the states of the letters in the given graph and at each stage in the recursion, letters in SA are written at all nodes in the graph, describing its previous state. The recursive structure that results from the iteration of descriptions is called recursive distinctioning.
The notion of a pseudoknot is defined as an equivalence class of knot diagrams that may be missing some crossing information. We provide here a topological invariant schema for pseudoknots and their relatives, 4-valent rigid vertex spatial graphs and singular knots, that is obtained by replacing unknown crossings or vertices by rational tangles.
This paper shows how the Formal Knot Theory state model for the Alexander-Conway polynomial is related to Knot Floer Homology. In particular we prove a parity result about the states in this model that clarifies certain relationships of the model with Knot Floer Homology.
This paper is an exposition of the relationship between Witten's Chern-Simons functional integral and the theory of Vassiliev Invariants of knots and links in three dimensional space. We conceptualize the functional integral in terms of equivalence classes of functionals of gauge fields and we do not use measure theory. This approach makes it possible to discuss the mathematics intrinsic to the functional integral rigorously and without functional integration. Applications to loop quantum gravity are discussed. We thank the organizers of the Conference on 60 Years of Yang-Mills Gauge Field Theories (25 to 28 May 2015) for the invitation and opportunity to speak about these ideas in Singapore.
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.
The paper contains an essentially self-contained treatment of Khovanov homology, Khovanov-Lee homology as well as the Rasmussen invariant for virtual knots and virtual knot cobordisms which directly applies to classical knot and classical knot cobordisms. To do so, we give an alternate formulation for the Manturov definition of Khovanov homology for virtual knots and links with arbitrary coefficients. This approach uses cut loci on the knot diagram to induce a conjugation operator in the Frobenius algebra. We then discuss the implications of the maps induced in the aforementioned theory to the universal Frobenius algebra for virtual knots. Next we show how one can apply the Karoubi envelope approach of Bar-Natan and Morrison on abstract link diagrams with cross cuts to construct the canonical generators of the Khovanov-Lee homology. Using these canonical generators we derive a generalization of the Rasmussen invariant for virtual knot cobordisms and furthermore generalize Rasmussen's result on the slice genus for positive knots to the case of positive virtual knots. It should also be noted that this generalization of the Rasmussen invariant provides an easy to compute obstruction to knot cobordisms in $S_g \times I \times I$ in the sense of Turaev.
The purpose of this paper is to discuss how topology and geometry provide, in many instances, the connective tissue that enables logical comprehension. We illustrate this theme with many examples including Venn diagrams, knot diagrams, knot-logical diagrams and an arrow of reference that elucidates self-reference and Goedelian self-reference.
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.
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.
This paper concentrates on relationships of formal systems with biology. The paper is based on previous papers by the author. We have freely used texts of those papers where the formulations are of use, and we have extended the concepts and discussions herein considerably beyond the earlier work. We concentrate on formal systems not only for the sake of showing how there is a fundamental mathematical structure to biology, but also to consider and reconsider philosophical and phenomenological points of view in relation to natural science and mathematics. The relationship with phenomenology comes about in the questions that arise about the nature of the observer in relation to the observed that arise in philosophy, but also in science in the very act of determining the context and models upon which it shall be based.We examine the schema behind the reproduction of DNA. The DNA molecule consists of two interwound strands, the Watson Strand (W) and the Crick Strand (C). The two strands are bonded to each other via a backbone of base-pairings and these bonds can be broken by certain enzymes present in the cell. In reproduction of DNA the bonds between the two strands are broken and the two strands then acquire the needed complementary base molecules from the cellular environment to reconstitute each a separate copy of the DNA. At this level the situation can be described by a symbolism like this. DNA = <W|C> -------> <W| E |C> --------> <W| |C><W| |C> = <W|C><W|C> = DNA DNA. Here E stands for the environment of the cell. The first arrow denotes the separation of the DNA into the two strands. The second arrow denotes the action between the bare strands and the environment that leads to the production of the two DNA molecules. The paper considers and compares many formalisms for self-replication, including aspects of quantum formalism and the Temperley-Lieb algebra.
This paper describes a polynomial invariant of virtual knots that is defined in terms of an integer labeling of the virtual knot diagram. This labeling is seen to derive from an essentially unique structure of affine flat biquandle for flat virtual diagrams. The invariant is discussed in detail with many examples,including its relation to previous invariants of this type and we show how to construct Vassiliev invariants from the same data.
This paper gives infinitely many examples of unknot diagrams that are hard, in the sense that the diagrams need to be made more complicated by Reidemeister moves before they can be simplified. In order to construct these diagrams, we prove theorems characterizing when the numerator of the sum of two rational tangles is an unknot. The key theorem shows that the numerator of the sum of two rational tangles [P/Q] and [R/S] is unknotted if and only if PS + QR has absolute value equal to 1. The paper uses these results in studying processive DNA recombination, finding minimal size unknot diagrams, generalizing to collapses to knots as well as to unknots, and in finding unknots with arbirarily high complexity. The paper is self-contained, with a review of the theory of rational tangles and a last section on relationships of the theme of the paper with other aspects of topology and number theory. The present version of the paper contains a correction to Figure 22 of the previous (and published) version, a small expansion to the section on Farey fractions, and an updated reference to the paper "Unknotting unknots" by Henrich and Kauffman.
This paper introduces the concept of a generic finite set, and points out that a consistent and significant interpretation of the grossone notation of Yarolslav D. Sergeyev is that of a generic natural number. This means that the grossone is not itself a natural number, yet it can be treated as one and used in the generic expression of finite sets and finite formulas, giving a new power to algebra and algorithms that embody this usage. We further consider the concept of infinity in categories. An object A in a given category C is said to be infinite relative to that category if and only if there is a injection from A to A in C that is not a surjection. In the category of sets this recovers the usual notion of infinity. In other categories, an object may be non-infinite (whence finite) while its underlying set (if it has one) is infinite. The computational methodology due to Yarolslav D. Sergeyev for executing numerical calculations with infinities and infinitesimals is considered from this categorical point of view.
We discuss how basic Clifford algebra and indeed all of matrix algebra and matrix representations of finite groups comes from Iterants: very elementary processes such as an alternation of plus and minus one ...+-+-+- .... One can think of the square root of minus one as a temporal iterant, a product of an A and a B where the A is the ...+-+-+-... and the B is a time shift operator. We have AA = BB =1 and AB + BA = 0, whence (AB)(AB) = -1. Clifford algebra is at the base of the (mathematical) world and the Fermions are composed of these things. We discuss the diagrammatics and topology of Majorana Fermions and we discuss the structure of the Dirac equation and how nilpotent and Majorana operators arise naturally in this context. We end the paper with an expression in split quaternions (in iterant form) for the the Majorana Dirac equation in one dimension of time and three dimensions of space.
This paper is an introduction to diagrammatic methods for representing quantum processes and quantum computing. We review basic notions for quantum information and quantum computing. We discuss topological diagrams and some issues about using category theory in representing quantum computing and teleportation. We analyze very carefully the diagrammatic meaning of the usual representation of the Mach-Zehnder interferometer, and we show how it can be generalized to associate to each composition of unitary transformations a "laboratory quantum diagram" such that particles moving though the many alternate paths in this diagram will mimic the quantum process represented by the composition of unitary transformations. This is a finite dimensional way to think about the Feynman Path Integral. We call our representation result the Path Theorem. Then we go back to the basics of networks and matrices and show how elements of quantum measurement can be represented with network diagrams.
This paper is a concise introduction to virtual knot theory, coupled with a list of research problems in this field.
This paper defines a theory of cobordism for virtual knots and studies this theory for standard and rotational virtual knots and links. Non-trivial examples of virtual slice knots are given. Determinations of the four-ball genus of positive virtual knots are given using the results of a companion paper by the author and Heather Dye and Aaron Kaestner. Problems related to band-passing are explained, and a theory of isotopy of virtual surfaces is formulated in terms of a generalization of the Yoshikawa moves.
Based on graphic lambda calculus, we propose a program for a new model of asynchronous distributed computing, inspired from Hewitt Actor Model, as well as several investigation paths, concerning how one may graft lambda calculus and knot diagrammatics.
This paper is an introduction to relationships between quantum topology and quantum computing. We take a foundational approach, showing how knots are related not just to braiding and quantum operators, but to quantum set theoretical foundations and algebras of fermions. We show how the operation of negation in logic, seen as both a value and an operator, can generate the fusion algebra for a Majorana fermion, a particle that is its own anti-particle and interacts with itself either to annihilate itself or to produce itself. We call negation in this mode the mark, as it operates on itself to change from marked to unmarked states. The mark viewed recursively as a simplest discrete dynamical system naturally generates the fermion algebra, the quaternions and the braid group representations related to Majorana fermions. The paper begins with these fundmentals. They provide a conceptual key to many of the models that appear later in the paper. In particular, the Fibonacci model for topological quantum computing is seen to be based on the fusion rules for a Majorana fermion and these in turn are the interaction rules for the mark seen as a logical particle. It requires a shift in viewpoint to see that the operator of negation can also be seen as a logical value. The quaternions emerge naturally from the reentering mark. All these models have their roots in unitary representations of the Artin braid group to the quaternions.
We show several relations between local moves on 1-dimensional knots and those on high dimensional knots related by products of knots.
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.
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.
This paper gives a new interpretation of the virtual braid group in terms of a strict monoidal category SC that is freely generated by one object and three morphisms, two of the morphisms corresponding to basic pure virtual braids and one morphism corresponding to a transposition in the symmetric group. The key to this approach is to take pure virtual braids as primary. The generators of the pure virtual braid group are abstract solutions to the algebraic Yang-Baxter equation. This point of view illuminates representations of the virtual braid groups and pure virtual braid groups via solutions to the algebraic Yang-Baxter equation. In this categorical framework, the virtual braid group is a natural group associated with the structure of algebraic braiding. We then point out how the category SC is related to categories associated with quantum algebras and Hopf algebras and with quantum invariants of virtual links.
This paper gives an alternate definition of the Affine Index Polynomial (called the Wriggle Polynomial) using virtual linking numbers and explores applications of this polynomial. In particular, it proves the Cosmetic Crossing Change Conjecture for odd virtual knots and pure virtual knots. It also demonstrates that the polynomial can detect mutations by positive rotation and proves it cannot detect mutations by positive reflection. Finally it exhibits a pair of mutant knots that can be distinguished by a Type 2 Vassiliev Invariant coming from the polynomial.
After reconsidering the Dasbach-Hougardy counterexample to the Kauffman Conjecture on alternating knots, we reformulate the conjecture and consider Dasbach-Hougardy counterexample and similar counterexamples in the light of the reformulated conjecture.
This article is a review of the book "Virtual Knot Theory - The State of the Art" by Vassily Manturov and Denis Ilyutko, World Scientific (2012), ISBN: 978-981-4401-12-8.
This paper details a series of experiments in searching for minimal energy configurations for knots and links using the computer program KnotPlot. The most interesting phenomena found in these experiments is the dependence of the trajectories of energy descent upon the initial geometric conditions of the knotted embedding.
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.
This paper introduces new invariants of rigid vertex graph embeddings by using non-local combinatorial information that is available at each graphical node. The new non-local information that we use in this paper involves parity in the Gauss code of the underlying graph. We apply these methods to graphs in classical and virtual knot theory, and we give formulations for applications to the topology of protein folding.
This paper introduces the notion of a categorical pair, a pair of categories (C,C') such that every morphism in C is an object in C'. Categorical pairs are precursors to 2-categories. Arrows in C' can express relationships among the morphisms of C. In particular we show that by using a model of the linguistic process of naming, we can ensure that every morphism in C has an indirect self-reference of the form a -----> Fa where this arrow occurs in the category C'. This result is shown to generalize and clarify known fixed point theorems in logic and categories, and is applied to Goedel's Incompleteness Theorem, the Cantor Diagonal Process and the Lawvere Fixed Point Theorem. In particular we show that the indirect self-reference that is central to Goedel's Theorem is an instance of a general pattern here called the indicative shift.
This essay is a discussion of Heinz von Foerster's concept of eigenform and its relationship with the foundations of physics.
We use crossing parity to construct a generalization of biquandles for virtual knots which we call Parity Biquandles. These structures include all biquandles as a standard example referred to as the even parity biquandle. Additionally, we find all Parity Biquandles arising from the Alexander Biquandle and Quaternionic Biquandles. For a particular construction named the z-Parity Alexander Biquandle we show that the associated polynomial yields a lower bound on the number of odd crossings as well as the total number of real crossings and virtual crossings for the virtual knot. Moreover we extend this construction to links to obtain a lower bound on the number of crossings between components of a virtual link.
We investigate an application of crossing parity for the bracket expansion of the Jones polynomial for virtual knots. In addition we consider an application of parity for the arrow polynomial as well as for the categorifications of both polynomials. We present a number of examples found through our calculations. We provide tables of calculations for these invariants on virtual knots with at most 4 real crossings.
Extending the methods from our previous work on quantum knots and quantum graphs, we describe a general procedure for quantizing a large class of mathematical structures which includes, for example, knots, graphs, groups, algebraic varieties, categories, topological spaces, geometric spaces, and more. This procedure is different from that normally found in quantum topology. We then demonstrate the power of this method by using it to quantize braids. This general method produces a blueprint of a quantum system which is physically implementable in the same sense that Shor's quantum factoring algorithm is physically implementable. Mathematical invariants become objects that are physically observable.
This paper formulates a generalization of our work on quantum knots to explain how to make quantum versions of algebraic, combinatorial and topological structures. We include a description of previous work on the construction of Hilbert spaces from the states of the bracket polynomial with applications to algorithms for the Jones polynomial and relations with Khovanov homology. The purpose of this paper is to place such constructions in a general context of the quantization of mathematical structures.
A knot is an an embedding of a circle into three-dimensional space. We say that a knot is unknotted if there is an ambient isotopy of the embedding to a standard circle. By representing knots via planar diagrams, we discuss the problem of unknotting a knot diagram when we know that it is unknotted. This problem is surprisingly difficult, since it has been shown that knot diagrams may need to be made more complicated before they may be simplified. We do not yet know, however, how much more complicated they must get. We give an introduction to the work of Dynnikov who discovered the key use of arc--presentations to solve the problem of finding a way to detect the unknot directly from a diagram of the knot. Using Dynnikov's work, we show how to obtain a quadratic upper bound for the number of crossings that must be introduced into a sequence of unknotting moves. We also apply Dynnikov's results to find an upper bound for the number of moves required in an unknotting sequence.
This paper has been withdrawn because there is a fundamental error in the computations; with the right computational scheme it seems to be just a version of the Jones polynomial
In this paper we review the topological model for the quaternions based upon the Dirac string trick. We then extend this model, to create a model for the octonions - the non-associative generalization of the quaternions.
This paper gives a generalization of the AJL algorithm and unitary braid group representation for quantum computation of the Jones polynomial to continuous ranges of values on the unit circle of the Jones parameter. We show that our 3-strand algorithm for the Jones polynomial is a special case of this generalization of the AJL algorithm. The present paper uses diagrammatic techniques to prove these results. The techniques of this paper have been used and will be used in the future in work with R. Marx, A. Fahmy, L. H. Kauffman, S. J. Lomonaco Jr.,A. Sporl, N. Pomplun, T. Schulte Herbruggen, J. M. Meyers, and S. J. Glaser on NMR quantum computation of the Jones polynomial.
In this paper we give a quantum statistical interpretation for the bracket polynomial state sum <K> and for the Jones polynomial. We use this quantum mechanical interpretation to give a new quantum algorithm for computing the Jones polynomial. This algorithm is useful for its conceptual simplicity, and it applies to all values of the polynomial variable that lie on the unit circle in the complex plane. Letting C(K) denote the Hilbert space for this model, there is a natural unitary transformation U from C(K) to itself such that <K> = <F|U|F> where |F> is a sum over basis states for C(K). The quantum algorithm arises directly from this formula via the Hadamard Test. We then show that the framework for our quantum model for the bracket polynomial is a natural setting for Khovanov homology. The Hilbert space C(K) of our model has basis in one-to-one correspondence with the enhanced states of the bracket state summmation and is isomorphic with the chain complex for Khovanov homology with coefficients in the complex numbers. We show that for the Khovanov boundary operator d defined on C(K) we have the relationship dU + Ud = 0. Consequently, the unitary operator U acts on the Khovanov homology, and we therefore obtain a direct relationship between Khovanov homology and this quantum algorithm for the Jones polynomial. The formula for the Jones polynomial as a graded Euler characteristic is now expressed in terms of the eigenvalues of U and the Euler characteristics of the eigenspaces of U in the homology. The quantum algorithm given here is inefficient, and so it remains an open problem to determine better quantum algorithms that involve both the Jones polynomial and the Khovanov homology.
Recent work suggests that topological features of certain quantum gravity theories can be interpreted as particles, matching the known fermions and bosons of the first generation in the Standard Model. This is achieved by identifying topological structures with elements of the framed Artin braid group on three strands, and demonstrating a correspondence between the invariants used to characterise these braids (a braid is a set of non-intersecting curves, that connect one set of $N$ points with another set of $N$ points), and quantities like electric charge, colour charge, and so on. In this paper we show how to manipulate a modified form of framed braids to yield an invariant standard form for sets of isomorphic braids, characterised by a vector of real numbers. This will serve as a basis for more complete discussions of quantum numbers in future work.
We give an elementary construction of the Fibonacci model, a unitary braid group representation that is universal for quantum computation. This paper is dedicated to Professor C. N. Yang, on his 85-th birthday.
Let K be a 3-stranded knot (or link), and let L denote the number of crossings in K. Let $ε_{1}$ and $ε_{2}$ be two positive real numbers such that $ε_{2}$ is less than or equal to 1. In this paper, we create two algorithms for computing the value of the Jones polynomial of K at all points $t=exp(iϕ)$ of the unit circle in the complex plane such that the absolute value of $ϕ$ is less than or equal to $π/3$. The first algorithm, called the classical 3-stranded braid (3-SB) algorithm, is a classical deterministic algorithm that has time complexity O(L). The second, called the quantum 3-SB algorithm, is a quantum algorithm that computes an estimate of the Jones polynomial of K at $exp(iϕ))$ within a precision of $ε_{1}$ with a probability of success bounded below by $1-ε_{2}%. The execution time complexity of this algorithm is O(nL), where n is the ceiling function of (ln(4/ε_{2}))/(2(ε_{2})^2). The compilation time complexity, i.e., an asymptotic measure of the amount of time to assemble the hardware that executes the algorithm, is O(L).
In this article we take up the calculation of the minimum number of colors needed to produce a non-trivial coloring of a knot. This is a knot invariant and we use the torus knots of type (2, n) as our case study. We calculate the minima in some cases. In other cases we estimate upper bounds for these minima leaning on the features of modular arithmetic. We introduce a sequence of transformations on colored diagrams called Teneva Transformations. Each of these Transformations reduces the number of colors in the diagrams by one (up to a point). This allows us to further decrease the upper bounds on these minima. We conjecture on the value of these minima. We apply these Transformations to rational knots.
The arguments given in this paper suggest that Grover's and Shor's algorithms are more closely related than one might at first expect. Specifically, we show that Grover's algorithm can be viewed as a quantum algorithm which solves a non-abelian hidden subgroup problem (HSP). But we then go on to show that the standard non-abelian quantum hidden subgroup (QHS) algorithm can not find a solution to this particular HSP. This leaves open the question as to whether or not there is some modification of the standard non-abelian QHS algorithm which is equivalent to Grover's algorithm.
In this paper, we give a description of a recent quantum algorithm created by Aharonov, Jones, and Landau for approximating the values of the Jones polynomial at roots of unity of the form exp(2$π$i/k). This description is given with two objectives in mind. The first is to describe the algorithm in such a way as to make explicit the underlying and inherent control structure. The second is to make this algorithm accessible to a larger audience.
Kuperberg [Algebr. Geom. Topol. 3 (2003) 587-591] has shown that a virtual knot corresponds (up to generalized Reidemeister moves) to a unique embedding in a thichened surface of minimal genus. If a virtual knot diagram is equivalent to a classical knot diagram then this minimal surface is a sphere. Using this result and a generalised bracket polynomial, we develop methods that may determine whether a virtual knot diagram is non-classical (and hence non-trivial). As examples we show that, except for special cases, link diagrams with a single virtualization and link diagrams with a single virtual crossing are non-classical.
The unitary braiding operators describing topological entanglements can be viewed as universal quantum gates for quantum computation. With the help of the Brylinskis's theorem, the unitary solutions of the quantum Yang--Baxter equation can be also related to universal quantum gates. This paper derives the unitary solutions of the quantum Yang--Baxter equation via Yang--Baxterization from the solutions of the braided relation. We study Yang--Baxterizations of the non-standard and standard representations of the six-vertex model and the complete solutions of the non-vanishing eight-vertex model. We construct Hamiltonians responsible for the time-evolution of the unitary braiding operators which lead to the Schr{ö}dinger equations.
In this paper, we use the methods found in quant-ph/0201095 to create a continuous variable analogue of Shor's quantum factoring algorithm. By this we mean a quantum hidden subgroup algorithm that finds the period P of a function F:R-->R from the reals R to the reals R, where F belongs to a very general class of functions, called the class of admissible functions. One objective in creating this continuous variable quantum algorithm was to make the structure of Shor's factoring algorithm more mathematically transparent, and thereby give some insight into the inner workings of Shor's original algorithm. This continuous quantum algorithm also gives some insight into the inner workings of Hallgren's Pell's equation algorithm. Two key questions remain unanswered. Is this quantum algorithm more efficient than its classical continuous variable counterpart? Is this quantum algorithm or some approximation of it implementable?
The ultimate objective of this paper is to create a stepping stone to the development of new quantum algorithms. The strategy chosen is to begin by focusing on the class of abelian quantum hidden subgroup algorithms, i.e., the class of abelian algorithms of the Shor/Simon genre. Our strategy is to make this class of algorithms as mathematically transparent as possible. By the phrase "mathematically transparent" we mean to expose, to bring to the surface, and to make explicit the concealed mathematical structures that are inherently and fundamentally a part of such algorithms. In so doing, we create symbolic abelian quantum hidden subgroup algorithms that are analogous to the those symbolic algorithms found within such software packages as Axiom, Cayley, Maple, Mathematica, and Magma. As a spin-off of this effort, we create three different generalizations of Shor's quantum factoring algorithm to free abelian groups of finite rank. We refer to these algorithms as wandering (or vintage Z_Q) Shor algorithms. They are essentially quantum algorithms on free abelian groups A of finite rank n which, with each iteration, first select a random cyclic direct summand Z of the group A and then apply one iteration of the standard Shor algorithm to produce a random character of the "approximating" finite group A=Z_Q, called the group probe. These characters are then in turn used to find either the order P of a maximal cyclic subgroup Z_P of the hidden quotient group H_phi, or the entire hidden quotient group H_phi. An integral part of these wandering quantum algorithms is the selection of a very special random transversal, which we refer to as a Shor transversal. The algorithmic time complexity of the first of these wandering Shor algorithms is found to be O(n^2(lgQ)^3(lglgQ)^(n+1)).