scholarly journals The Jones polynomial: quantum algorithms and applications in quantum complexity theory

2008 ◽  
Vol 8 (1&2) ◽  
pp. 147-180
Author(s):  
P. Wocjan ◽  
J. Yard
Keyword(s):  
Quantum Computation ◽  
Braid Group ◽  
Quantum Algorithms ◽  
Primitive Root ◽  
Jones Polynomial ◽  
Tutte Polynomial ◽  
Roots Of Unity ◽  
Complete Problems ◽  
Primitive Roots ◽  
Quantum Complexity

We analyze relationships between quantum computation and a family of generalizations of the Jones polynomial. Extending recent work by Aharonov et al., we give efficient quantum circuits for implementing the unitary Jones-Wenzl representations of the braid group. We use these to provide new quantum algorithms for approximately evaluating a family of specializations of the HOMFLYPT two-variable polynomial of trace closures of braids. We also give algorithms for approximating the Jones polynomial of a general class of closures of braids at roots of unity. Next we provide a self-contained proof of a result of Freedman et al.\ that any quantum computation can be replaced by an additive approximation of the Jones polynomial, evaluated at almost any primitive root of unity. Our proof encodes two-qubit unitaries into the rectangular representation of the eight-strand braid group. We then give QCMA-complete and PSPACE-complete problems which are based on braids. We conclude with direct proofs that evaluating the Jones polynomial of the plat closure at most primitive roots of unity is a \#P-hard problem, while learning its most significant bit is PP-hard, circumventing the usual route through the Tutte polynomial and graph coloring.

ON THE QUANTUM COMPLEXITY OF EVALUATING THE TUTTE POLYNOMIAL

2010 ◽  
Vol 19 (06) ◽  
pp. 727-737
Author(s):  
HAMED AHMADI ◽  
PAWEL WOCJAN
Keyword(s):  
Braid Group ◽  
Quantum Computer ◽  
Tutte Polynomial ◽  
Roots Of Unity ◽  
Homfly Polynomial ◽  
Root Of Unity ◽  
Quantum Complexity ◽  
Homfly Polynomials ◽  
Alternating Links ◽  
Alternating Link

We show that the problem of approximately evaluating the Tutte polynomial of triangular graphs at the points (q, 1/q) of the Tutte plane is BQP-complete for (most) roots of unity q. We also consider circular graphs and show that the problem of approximately evaluating the Tutte polynomial of these graphs at the point (e2πi/5, e-2πi/5) is DQC1-complete and at points [Formula: see text] for some integer k is in BQP. To show that these problems can be solved by a quantum computer, we rely on the relation of the Tutte polynomial of a planar G graph with the Jones and HOMFLY polynomial of the alternating link D(G) given by the medial graph of G. In the case of our graphs the corresponding links are equal to the plat and trace closures of braids. It is known how to evaluate the Jones and HOMFLY polynomial for closures of braids. To establish the hardness results, we use the property that the images of the generators of the braid group under the irreducible Jones–Wenzl representations of the Hecke algebra have finite order. We show that for each braid b we can efficiently construct a braid [Formula: see text] such that the evaluation of the Jones and HOMFLY polynomials of their closures at a fixed root of unity leads to the same value and that the closures of [Formula: see text] are alternating links.

NP vs QMA_\log(2)

2010 ◽  
Vol 10 (1&2) ◽  
pp. 141-151
Author(s):  
S. Beigi
Keyword(s):  
Quantum Algorithms ◽  
Np Hard ◽  
Complete Problems ◽  
Hard Problems ◽  
Np Complete ◽  
Np Hard Problems

Although it is believed unlikely that $\NP$-hard problems admit efficient quantum algorithms, it has been shown that a quantum verifier can solve NP-complete problems given a "short" quantum proof; more precisely, NP\subseteq QMA_{\log}(2) where QMA_{\log}(2) denotes the class of quantum Merlin-Arthur games in which there are two unentangled provers who send two logarithmic size quantum witnesses to the verifier. The inclusion NP\subseteq QMA_{\log}(2) has been proved by Blier and Tapp by stating a quantum Merlin-Arthur protocol for 3-coloring with perfect completeness and gap 1/24n^6. Moreover, Aaronson et al. have shown the above inclusion with a constant gap by considering $\widetilde{O}(\sqrt{n})$ witnesses of logarithmic size. However, we still do not know if QMA_{\log}(2) with a constant gap contains NP. In this paper, we show that 3-SAT admits a QMA_{\log}(2) protocol with the gap 1/n^{3+\epsilon}} for every constant \epsilon>0.

Efficient linear optics quantum computation

2001 ◽  
Vol 1 (Special) ◽  
pp. 13-19
Author(s):  
G.J. Milburn ◽  
T. Ralph ◽  
A. White ◽  
E. Knill ◽  
R. Laflamme
Keyword(s):  
Quantum Computation ◽  
Single Photon ◽  
Quantum Algorithms ◽  
Optical Nonlinearities ◽  
Linear Optics ◽  
Optical Elements ◽  
Particle Detectors ◽  
Feed Forward ◽  
Single Electrons ◽  
Photon Source

Two qubit gates for photons are generally thought to require exotic materials with huge optical nonlinearities. We show here that, if we accept two qubit gates that only work conditionally, single photon sources, passive linear optics and particle detectors are sufficient for implementing reliable quantum algorithms. The conditional nature of the gates requires feed-forward from the detectors to the optical elements. Without feed forward, non-deterministic quantum computation is possible. We discuss one proposed single photon source based on the surface acoustic wave guiding of single electrons.

Explicit upper bound on the least primitive root modulo p2

2021 ◽  
pp. 1-7
Author(s):  
Bo Chen
Keyword(s):  
Recent Result ◽  
Upper Bound ◽  
Primitive Root ◽  
Character Sums ◽  
Primitive Root Modulo ◽  
Primitive Roots

In this paper, we give an explicit upper bound on [Formula: see text], the least primitive root modulo [Formula: see text]. Since a primitive root modulo [Formula: see text] is not primitive modulo [Formula: see text] if and only if it belongs to the set of integers less than [Formula: see text] which are [Formula: see text]th power residues modulo [Formula: see text], we seek the bounds for [Formula: see text] and [Formula: see text] to find [Formula: see text] which satisfies [Formula: see text], where, [Formula: see text] denotes the number of primitive roots modulo [Formula: see text] not exceeding [Formula: see text], and [Formula: see text] denotes the number of [Formula: see text]th powers modulo [Formula: see text] not exceeding [Formula: see text]. The method we mainly use is to estimate the character sums contained in the expressions of the [Formula: see text] and [Formula: see text] above. Finally, we show that [Formula: see text] for all primes [Formula: see text]. This improves the recent result of Kerr et al.

Quantum Algorithms

2021 ◽  
pp. 82-101
Author(s):  
Renata Wong ◽  
Amandeep Singh Bhatia
Keyword(s):  
Quantum Computing ◽  
Fault Tolerance ◽  
Quantum Computation ◽  
Quantum Computer ◽  
Quantum Algorithms ◽  
Computer Hardware ◽  
Quantum Mechanical ◽  
Computational Power ◽  
Quantum Devices ◽  
The Core

In the last two decades, the interest in quantum computation has increased significantly among research communities. Quantum computing is the field that investigates the computational power and other properties of computers on the basis of the underlying quantum-mechanical principles. The main purpose is to find quantum algorithms that are significantly faster than any existing classical algorithms solving the same problem. While the quantum computers currently freely available to wider public count no more than two dozens of qubits, and most recently developed quantum devices offer some 50-60 qubits, quantum computer hardware is expected to grow in terms of qubit counts, fault tolerance, and resistance to decoherence. The main objective of this chapter is to present an introduction to the core quantum computing algorithms developed thus far for the field of cryptography.

scholarly journals On Some Moves on Links and the Hopf Crossing Number

2020 ◽  
Vol 18 (1) ◽  
Author(s):  
Maciej Mroczkowski
Keyword(s):  
Primitive Root ◽  
Jones Polynomial ◽  
Crossing Number ◽  
Equivalence Classes ◽  
Lens Spaces ◽  
Root Of Unity ◽  
Arrow Diagrams

AbstractWe consider arrow diagrams of links in $$S^3$$ S 3 and define k-moves on such diagrams, for any $$k\in \mathbb {N}$$ k ∈ N . We study the equivalence classes of links in $$S^3$$ S 3 up to k-moves. For $$k=2$$ k = 2 , we show that any two knots are equivalent, whereas it is not true for links. We show that the Jones polynomial at a k-th primitive root of unity is unchanged by a k-move, when k is odd. It is multiplied by $$-1$$ - 1 , when k is even. It follows that, for any $$k\ge 5$$ k ≥ 5 , there are infinitely many classes of knots modulo k-moves. We use these results to study the Hopf crossing number. In particular, we show that it is unbounded for some families of knots. We also interpret k-moves as some identifications between links in different lens spaces $$L_{p,1}$$ L p , 1 .

scholarly journals Graphs, Links, and Duality on Surfaces

2010 ◽  
Vol 20 (2) ◽  
pp. 267-287 ◽  
Author(s):  
VYACHESLAV KRUSHKAL
Keyword(s):  
Planar Graphs ◽  
Jones Polynomial ◽  
Tutte Polynomial ◽  
Natural Duality ◽  
Polynomial Invariant ◽  
Topological Duality ◽  
Ribbon Graphs ◽  
Virtual Links ◽  
Graphs On Surfaces ◽  
Tutte Polynomials

We introduce a polynomial invariant of graphs on surfaces,PG, generalizing the classical Tutte polynomial. Topological duality on surfaces gives rise to a natural duality result forPG, analogous to the duality for the Tutte polynomial of planar graphs. This property is important from the perspective of statistical mechanics, where the Tutte polynomial is known as the partition function of the Potts model. For ribbon graphs,PGspecializes to the well-known Bollobás–Riordan polynomial, and in fact the two polynomials carry equivalent information in this context. Duality is also established for a multivariate version of the polynomialPG. We then consider a 2-variable version of the Jones polynomial for links in thickened surfaces, taking into account homological information on the surface. An analogue of Thistlethwaite's theorem is established for these generalized Jones and Tutte polynomials for virtual links.

scholarly journals NONLINEAR SCHRÖDINGER EQUATION FOR QUANTUM COMPUTATION

2006 ◽  
Vol 20 (18) ◽  
pp. 1099-1106 ◽  
Author(s):  
M. CEMAL YALABIK
Keyword(s):  
Schrödinger Equation ◽  
Quantum System ◽  
Large Class ◽  
Quantum Computation ◽  
Nonlinear Schrödinger Equation ◽  
Schrodinger Equation ◽  
Quantum Algorithms ◽  
Nonlinear Schrodinger Equation ◽  
Time Development ◽  
Nonlinear Schrödinger

Utilization of a quantum system whose time-development is described by the nonlinear Schrödinger equation in the transformation of qubits would make it possible to construct quantum algorithms which would be useful in a large class of problems. An example of such a system for implementing the logical NOR operation is demonstrated.

scholarly journals CATEGORIFICATION OF THE DICHROMATIC POLYNOMIAL FOR GRAPHS

2008 ◽  
Vol 17 (01) ◽  
pp. 31-45 ◽  
Author(s):  
MARKO STOŠIĆ
Keyword(s):  
Positive Integer ◽  
Euler Characteristic ◽  
Jones Polynomial ◽  
Chain Complex ◽  
Tutte Polynomial ◽  
A Chain ◽  
Alternating Link ◽  
Dichromatic Polynomial

For each graph and each positive integer n, we define a chain complex whose graded Euler characteristic is equal to an appropriate n-specialization of the dichromatic polynomial. This also gives a categorification of n-specializations of the Tutte polynomial of graphs. Also, for each graph and integer n ≤ 2, we define the different one-variable n-specializations of the dichromatic polynomial, and for each polynomial, we define graded chain complex whose graded Euler characteristic is equal to that polynomial. Furthermore, we explicitly categorify the specialization of the Tutte polynomial for graphs which corresponds to the Jones polynomial of the appropriate alternating link.

scholarly journals THISTLETHWAITE'S THEOREM FOR VIRTUAL LINKS

2008 ◽  
Vol 17 (10) ◽  
pp. 1189-1198 ◽  
Author(s):  
SERGEI CHMUTOV ◽  
JEREMY VOLTZ
Keyword(s):  
Planar Graph ◽  
Jones Polynomial ◽  
Tutte Polynomial ◽  
Virtual Links ◽  
Higher Genus

The celebrated Thistlethwaite theorem relates the Jones polynomial of a link with the Tutte polynomial of the corresponding planar graph. We give a generalization of this theorem to virtual links. In this case, the graph will be embedded into a (higher genus) surface. For such graphs we use the generalization of the Tutte polynomial discovered by Bollobás and Riordan.

Sign in / Sign up

Export Citation Format

Share Document