In my research, we developed a method to distinguish knots. A knot is a mathematical depiction of the everyday knot that occurs in ropes and cords. The distinguishing of knots is a computationally hard problem, which is equivalent with the untangling of knots. Often, knots are distinguished by a so called knot invariant. Such an invariant is a label that can be attributed to any knot, such that the label is identical for two identical knots. The theory of knots is closely related to quantum computing and lattices of atoms. The distinguishing of knots is a problem that can be solved in an exponential number of computations, in the number of crossings of a knot. Our invariants can be computed in polynomial time. This means that the number of computations is a power of the number of crossings of a knot. Another advantage of our method is that for the knots that have been calculated, the invariant was able to distinguish as the most effective methods combined. In fact, by removing unnecessary information from the conventional knot invariants, we obtained an invariant that can be computed much faster, and is as effective as the usual invariants.
In my research, we developed a method to distinguish knots. A knot is a mathematical depiction of the everyday knot that occurs in ropes and cords. The distinguishing of knots is a computationally hard problem, which is equivalent with the untangling of knots. Often, knots are distinguished by a so called knot invariant. Such an invariant is a label that can be attributed to any knot, such that the label is identical for two identical knots. The theory of knots is closely related to quantum computing and lattices of atoms. The distinguishing of knots is a problem that can be solved in an exponential number of computations, in the number of crossings of a knot. Our invariants can be computed in polynomial time. This means that the number of computations is a power of the number of crossings of a knot. Another advantage of our method is that for the knots that have been calculated, the invariant was able to distinguish as the most effective methods combined. In fact, by removing unnecessary information from the conventional knot invariants, we obtained an invariant that can be computed much faster, and is as effective as the usual invariants.
We analyze the connections between the mathematical theory of knots and quantum physics by addressing a number of algorithmic questions related to both knots and braid groups. Knots can be distinguished by means of “knot invariants,” among which the Jones polynomial plays a prominent role, since it can be associated with observables in topological quantum field theory. Although the problem of computing the Jones polynomial is intractable in the framework of classical complexity theory, it has been recently recognized that a quantum computer is capable of approximating it in an efficient way. The quantum algorithms discussed here represent a breakthrough for quantum computation, since approximating the Jones polynomial is actually a “universal problem,” namely, the hardest problem that a quantum computer can efficiently handle.
In this paper, we give a precise and workable definition of a quantum knot system, the states of which are called quantum knots. This definition can be viewed as a blueprint for the construction of an actual physical quantum system. Moreover, this definition of a quantum knot system is intended to represent the "quantum embodiment" of a closed knotted physical piece of rope. A quantum knot, as a state of this system, represents the state of such a knotted closed piece of rope, i.e., the particular spatial configuration of the knot tied in the rope. Associated with a quantum knot system is a group of unitary transformations, called the ambient group, which represents all possible ways of moving the rope around (without cutting the rope, and without letting the rope pass through itself.) Of course, unlike a classical closed piece of rope, a quantum knot can exhibit non-classical behavior, such as quantum superposition and quantum entanglement. This raises some interesting and puzzling questions about the relation between topological and quantum entanglement. The knot type of a quantum knot is simply the orbit of the quantum knot under the action of the ambient group. We investigate quantum observables which are invariants of quantum knot type. We also study the Hamiltonians associated with the generators of the ambient group, and briefly look at the quantum tunneling of overcrossings into undercrossings. A basic building block in this paper is a mosaic system which is a formal (rewriting) system of symbol strings. We conjecture that this formal system fully captures in an axiomatic way all of the properties of tame knot theory.
It was back in spring 2014 when the author of this doctoral dissertation was finishing its master thesis, whose main objective was the understanding of Peter W. Shor’s most praised result, a quantum algorithm capable of factoring integers in polynomial time. During the development of this master thesis, me and my yet-tobe doctoral advisor studied the main aspects of quantum computing from a purely algebraic perspective. This research eventually evolved into a sufficiently thorough canvas capable of explaining the main aspects and features of the mentioned algorithm from within an undergraduate context. Just after its conclusion, we seated down and elaborated a research plan for a future Ph.D. thesis, which would expectantly involve quantum computing but also a branch of algebra whose apparently innocent definitions hide some really hard problems from a computational perspective: the theory of numerical semigroups. As will be seen later, the definition of numerical semigroup does not involve sophisticated knowledge from any somewhat obscure and distant branch of the tree of mathematics. Nonetheless, a number of combinatorial problems associated with these numerical semigroups are extremely hard to solve, even when the size of the input is relatively small. Some examples of these problems are the calculations of the Frobenius number, the Apéry set, and the Sylvester denumerant, all of them bearing the name of legendary mathematicians. This thesis is the result of our multiple attempts to tackle those combinatorial problems with the help of a hypothetical quantum computer. First, Chapter 2 is devoted to numerical semigroups and computational complexity theory, and is divided into three sections. In Section 2.1, we give the formal definition of a numerical semigroup, along with a description of the main problems involved with them. In Section 2.2, we sketch the fundamental concepts of complexity theory, in order to understand the true significance within the inherent hardness concealed in the resolution of those problems. Finally, in Section 2.3 we prove the computational complexity of the problems we aim to solve. Chapter 3 is the result of our outline of the theory of quantum computing. We give the basic definitions and concepts needed for understanding the particular place that quantum computers occupy in the world of Turing machines, and also the main elements that compose this particular model of computation: quantum bits and quantum entanglement. We also explain the two most common models of quantum computation, namely quantum circuits and adiabatic quantum computers. For all of them we give mathematical definitions, but always having in mind the physical experiments from which they stemmed. Chapter 4 is also about quantum computing, but from an algorithmical perspective. We present the most important quantum algorithms to date in a standardized way, explaining their context, their impact and consequences, while giving a mathematical proof of their correctness and worked-out examples. We begin with the early algorithms of Deutsch, Deutsch-Jozsa, and Simon, and then proceed to explain their importance in the dawn of quantum computation. Then, we describe the major landmarks: Shor’s factoring, Grover’s search, and quantum counting. Chapter 5 is the culmination of all previously explained concepts, as it includes the description of various quantum algorithms capable of solving the main problems inside the branch of numerical semigrops. We present quantum circuit algorithms for the Sylvester denumerant and the numerical semigroup membership, and adiabatic quantum algorithms for the Ap´ery Set and the Frobenius problem. We also describe a C++ library called numsem, specially developed within the context of this doctoral thesis and which helps us to study the computational hardness of all previously explained problems from a classical perspective. This thesis is intended to be autoconclusive at least in the main branches of mathematics in which it is supported; that is to say numerical semigroups, computational complexity theory, and quantum computation. Nevertheless, for the majority of concepts explained here we give references for the interested reader that wants to delve more into them.
Kauffman and Lomonaco (New J Phys 4:73.1–73.18, 2002. arXiv:quant-ph/0401090 , New J Phys 6:134.1–134.40, 2004) 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 Alagic et al. (Yang–Baxter operators need quantum entanglement to distinguish knots, 2015. arXiv:1507.05979v1 ), it is shown that entanglement is a necessary condition for forming non-trivial invariants of knots from braid closures via solutions to the Yang–Baxter equation. We show that the arguments used by Alagic et al. (2015) generalize to essentially the same results for quantum invariant state summation models of knots. In one case (the unoriented swap case) we give an example of a Yang–Baxter operator, and associated quantum invariant, that can detect the Hopf link. Again this is analogous to the results of Alagic et al. (2015). We also give a class of R matrices that are entangling and are weak invariants of classical knots and links yet strong invariants of virtual knots and links. We also give 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 E R = E P R 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.
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.
It has been conjectured that quantum entanglement operators can be lifted to braiding operators by the way of the topological quantum field theory axioms set forth by Witten and Atiyah. Moreover, it can be readily shown that quantum link invariants need entanglement to construct topological invariants. Given these results and the already dense mathematical framework underlying topology and quantum field theory, we propose that, through the usage of quantum algebra and bracket models, we can identify a significant area of overlap where entangling R-matrix solutions to the Yang-Baxter equation can be used to construct invariants of knots and links. Such a connection illuminates the relationship between quantum and topological entanglement, and allows us to draw novel insights about properties of entangling gates, for example the question of what it is that allows some entangling R-matrices to generate topological invariants when others do not. In conclusion, by studying the boundary between topological and quantum entanglement we construct novel topological invariants that can have significant impact on the study of quantum computing and can help make progress towards the problem of representing the Artin braid group as unitary matrices.