Results 1  10
of
53
Toward An Architecture For Quantum Programming
, 2003
"... It is becoming increasingly clear that, if a useful device for quantum computation will ever be built, it will be embodied by a classical computing machine with control over a truly quantum subsystem, this apparatus performing a mixture of classical and quantum computation. This paper investigates ..."
Abstract

Cited by 45 (0 self)
 Add to MetaCart
It is becoming increasingly clear that, if a useful device for quantum computation will ever be built, it will be embodied by a classical computing machine with control over a truly quantum subsystem, this apparatus performing a mixture of classical and quantum computation. This paper investigates a possible approach to the problem of programming such machines: a template high level quantum language is presented which complements a generic general purpose classical language with a set of quantum primitives.
QUANTUM ALGORITHMS FOR SOME HIDDEN SHIFT PROBLEMS
 SIAM J. COMPUT
, 2006
"... Almost all of the most successful quantum algorithms discovered to date exploit the ability of the Fourier transform to recover subgroup structures of functions, especially periodicity. The fact that Fourier transforms can also be used to capture shift structure has received far less attention in th ..."
Abstract

Cited by 42 (2 self)
 Add to MetaCart
Almost all of the most successful quantum algorithms discovered to date exploit the ability of the Fourier transform to recover subgroup structures of functions, especially periodicity. The fact that Fourier transforms can also be used to capture shift structure has received far less attention in the context of quantum computation. In this paper, we present three examples of “unknown shift” problems that can be solved efficiently on a quantum computer using the quantum Fourier transform. For one of these problems, the shifted Legendre symbol problem, we give evidence that the problem is hard to solve classically, by showing a reduction from breaking algebraically homomorphic cryptosystems. We also define the hidden coset problem, which generalizes the hidden shift problem and the hidden subgroup problem. This framework provides a unified way of viewing the ability of the Fourier transform to capture subgroup and shift structure.
An introduction to measurement based quantum computation, ArXiv: quantph/0508124
, 2005
"... In the formalism of measurement based quantum computation we start with a given fixed entangled state of many qubits and perform computation by applying a sequence of measurements to designated qubits in designated bases. The choice of basis for later measurements may depend on earlier measurement o ..."
Abstract

Cited by 19 (1 self)
 Add to MetaCart
(Show Context)
In the formalism of measurement based quantum computation we start with a given fixed entangled state of many qubits and perform computation by applying a sequence of measurements to designated qubits in designated bases. The choice of basis for later measurements may depend on earlier measurement outcomes and the final result of the computation is determined from the classical data of all the measurement outcomes. This is in contrast to the more familiar gate array model in which computational steps are unitary operations, developing a large entangled state prior to some final measurements for the output. Two principal schemes of measurement based computation are teleportation quantum computation (TQC) and the socalled cluster model or oneway quantum computer (1WQC). We will describe these schemes and show how they are able to perform universal quantum computation. We will outline various possible relationships between the models which serve to clarify their workings. We will also discuss possible novel computational benefits of the measurement based models compared to the gate array model, especially issues of parallelisability of algorithms. 1
The Hidden Subgroup Problem and Quantum Computation Using Group Representations
 SIAM Journal on Computing
, 2003
"... The Hidden Subgroup Problem is the foundation of many quantum algorithms. An efficient solution is known for the problem over Abelian groups, employed by both Simon's algorithm and Shor's factoring and discrete log algorithms. The nonAbelian case is open; an efficient solution would give ..."
Abstract

Cited by 19 (2 self)
 Add to MetaCart
(Show Context)
The Hidden Subgroup Problem is the foundation of many quantum algorithms. An efficient solution is known for the problem over Abelian groups, employed by both Simon's algorithm and Shor's factoring and discrete log algorithms. The nonAbelian case is open; an efficient solution would give rise to an efficient quantum algorithm for Graph Isomorphism. We fully analyze a natural generalization of the Abelian case algorithm to the nonAbelian case. We show that the algorithm finds the normal core of the hidden subgroup, and that, in particular, normal subgroups can be found. We show, however, that this immediate generalization of the Abelian algorithm does not efficiently solve Graph Isomorphism. 1
Quantum Circuits with Unbounded Fanout
 20th STACS Conference, 2003, LNCS 2607
, 2003
"... Abstract. We demonstrate that the unbounded fanout gate is very powerful. Constantdepth polynomialsize quantum circuits with bounded fanin and unbounded fanout over a fixed basis (denoted by QNC 0 f) can approximate with polynomially small error the following gates: parity, mod[q], And, Or, maj ..."
Abstract

Cited by 15 (1 self)
 Add to MetaCart
(Show Context)
Abstract. We demonstrate that the unbounded fanout gate is very powerful. Constantdepth polynomialsize quantum circuits with bounded fanin and unbounded fanout over a fixed basis (denoted by QNC 0 f) can approximate with polynomially small error the following gates: parity, mod[q], And, Or, majority, threshold[t], exact[q], and counting. Classically, we need logarithmic depth even if we can use unbounded fanin gates. If we allow arbitrary onequbit gates instead of a fixed basis, then these circuits can also be made exact in logstar depth. Sorting, arithmetical operations, phase estimation, and the quantum Fourier transform can also be approximated in constant depth. 1
THE HIDDEN SUBGROUP PROBLEM  REVIEW AND OPEN PROBLEMS
, 2004
"... An overview of quantum computing and in particular the Hidden Subgroup Problem are presented from a mathematical viewpoint. Detailed proofs are supplied for many important results from the literature, and notation is unified, making it easier to absorb the background necessary to begin research on ..."
Abstract

Cited by 12 (1 self)
 Add to MetaCart
An overview of quantum computing and in particular the Hidden Subgroup Problem are presented from a mathematical viewpoint. Detailed proofs are supplied for many important results from the literature, and notation is unified, making it easier to absorb the background necessary to begin research on the Hidden Subgroup Problem. Proofs are provided which give very concrete algorithms and bounds for the finite abelian case with little outside references, and future directions are provided for the nonabelian case. This summary is current as of October 2004.
Circuit for Shor’s algorithm using 2n+3 qubits
 54
, 2002
"... We try to minimize the number of qubits needed to factor an integer of n bits using Shor’s algorithm on a quantum computer. We introduce a circuit which uses 2n+3 qubits and O(n 3 lg(n)) elementary quantum gates in a depth of O(n 3) to implement the factorization algorithm. The circuit is computable ..."
Abstract

Cited by 11 (0 self)
 Add to MetaCart
We try to minimize the number of qubits needed to factor an integer of n bits using Shor’s algorithm on a quantum computer. We introduce a circuit which uses 2n+3 qubits and O(n 3 lg(n)) elementary quantum gates in a depth of O(n 3) to implement the factorization algorithm. The circuit is computable in polynomial time on a classical computer and is completely general as it does not rely on any property of the number to be factored. 1
Shor’s algorithm on a nearestneighbor machine
 Asian conference on Quantum Information Science
, 2007
"... We give a new “nested adds ” circuit for implementing Shor’s algorithm in linear width and quadratic depth on a nearestneighbor machine. Our circuit combines Draper’s transform adder with approximation ideas of Zalka. The transform adder requires small controlled rotations. We also give another ver ..."
Abstract

Cited by 9 (1 self)
 Add to MetaCart
(Show Context)
We give a new “nested adds ” circuit for implementing Shor’s algorithm in linear width and quadratic depth on a nearestneighbor machine. Our circuit combines Draper’s transform adder with approximation ideas of Zalka. The transform adder requires small controlled rotations. We also give another version, with slightly larger depth, using only reversible classical gates. We do not know which version will ultimately be cheaper to implement. 1