Results 1  10
of
789
PolynomialTime Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
 SIAM J. on Computing
, 1997
"... A digital computer is generally believed to be an efficient universal computing device; that is, it is believed able to simulate any physical computing device with an increase in computation time by at most a polynomial factor. This may not be true when quantum mechanics is taken into consideration. ..."
Abstract

Cited by 1047 (2 self)
 Add to MetaCart
(Show Context)
A digital computer is generally believed to be an efficient universal computing device; that is, it is believed able to simulate any physical computing device with an increase in computation time by at most a polynomial factor. This may not be true when quantum mechanics is taken into consideration. This paper considers factoring integers and finding discrete logarithms, two problems which are generally thought to be hard on a classical computer and which have been used as the basis of several proposed cryptosystems. Efficient randomized algorithms are given for these two problems on a hypothetical quantum computer. These algorithms take a number of steps polynomial in the input size, e.g., the number of digits of the integer to be factored.
Simulating Physics with Computers
 SIAM Journal on Computing
, 1982
"... A digital computer is generally believed to be an efficient universal computing device; that is, it is believed able to simulate any physical computing device with an increase in computation time of at most a polynomial factor. This may not be true when quantum mechanics is taken into consideration. ..."
Abstract

Cited by 482 (1 self)
 Add to MetaCart
A digital computer is generally believed to be an efficient universal computing device; that is, it is believed able to simulate any physical computing device with an increase in computation time of at most a polynomial factor. This may not be true when quantum mechanics is taken into consideration. This paper considers factoring integers and finding discrete logarithms, two problems which are generally thought to be hard on a classical computer and have been used as the basis of several proposed cryptosystems. Efficient randomized algorithms are given for these two problems on a hypothetical quantum computer. These algorithms take a number of steps polynomial in the input size, e.g., the number of digits of the integer to be factored. AMS subject classifications: 82P10, 11Y05, 68Q10. 1 Introduction One of the first results in the mathematics of computation, which underlies the subsequent development of much of theoretical computer science, was the distinction between computable and ...
Faulttolerant quantum computation
 In Proc. 37th FOCS
, 1996
"... It has recently been realized that use of the properties of quantum mechanics might speed up certain computations dramatically. Interest in quantum computation has since been growing. One of the main difficulties in realizing quantum computation is that decoherence tends to destroy the information i ..."
Abstract

Cited by 229 (4 self)
 Add to MetaCart
(Show Context)
It has recently been realized that use of the properties of quantum mechanics might speed up certain computations dramatically. Interest in quantum computation has since been growing. One of the main difficulties in realizing quantum computation is that decoherence tends to destroy the information in a superposition of states in a quantum computer, making long computations impossible. A further difficulty is that inaccuracies in quantum state transformations throughout the computation accumulate, rendering long computations unreliable. However, these obstacles may not be as formidable as originally believed. For any quantum computation with t gates, we show how to build a polynomial size quantum circuit that tolerates O(1 / log c t) amounts of inaccuracy and decoherence per gate, for some constant c; the previous bound was O(1 /t). We do this by showing that operations can be performed on quantum data encoded by quantum errorcorrecting codes without decoding this data. 1.
TwoBit Gates Are Universal for Quantum Computation
, 1995
"... A proof is given, which relies on the commutator algebra of the unitary Lie groups, that quantum gates operating on just two bits at a time are sufficient to construct a general quantum circuit. The best previous result had shown the universality of threebit gates, by analogy to the universality of ..."
Abstract

Cited by 158 (10 self)
 Add to MetaCart
A proof is given, which relies on the commutator algebra of the unitary Lie groups, that quantum gates operating on just two bits at a time are sufficient to construct a general quantum circuit. The best previous result had shown the universality of threebit gates, by analogy to the universality of the Toffoli threebit gate of classical reversible computing. Twobit quantum gates may be implemented by magnetic resonance operations applied to a pair of electronic or nuclear spins. A "gearbox quantum computer" proposed here, based on the principles of atomic force microscopy, would permit the operation of such twobit gates in a physical system with very long phase breaking (i.e., quantum phase coherence) times. Simpler versions of the gearbox computer could be used to do experiments on EinsteinPodolskyRosen states and related entangled quantum states.
Concentrating partial entanglement by local operations
, 1995
"... If two separated observers are supplied with entanglement, in the form of n pairs of particles in identical partlyentangled pure states, one member of each pair being given to each observer; they can, by local actions of each observer, concentrate this entanglement into a smaller number of maximall ..."
Abstract

Cited by 139 (4 self)
 Add to MetaCart
If two separated observers are supplied with entanglement, in the form of n pairs of particles in identical partlyentangled pure states, one member of each pair being given to each observer; they can, by local actions of each observer, concentrate this entanglement into a smaller number of maximallyentangled pairs of particles, for example EinsteinPodolskyRosen singlets, similarly shared between the two observers. The concentration process asymptotically conserves entropy of entanglement—the von Neumann entropy of the partial density matrix seen by either observer—with the yield of singlets approaching, for large n, the base2 entropy of entanglement of the initial partlyentangled pure state. Conversely, any pure or mixed entangled state of two systems can be produced by two classicallycommunicating separated observers, drawing on a supply of singlets as their sole source of entanglement. Recent results in quantum information theory have shed light on the channel resources needed for faithful transmission of quantum states, and the extent to which these resources
Optimal lower bounds for quantum automata and random access codes
"... Consider the finite regular ¢¤£¦¥¨§�©�����©�� language ©������� �. In [3] it was shown that while this language is accepted by a deterministic finite automaton of ������ � size, any oneway quantum finite automaton (QFA) for it has ���¤ � £��� � ����£� � size. This was based on the fact that the e ..."
Abstract

Cited by 93 (8 self)
 Add to MetaCart
(Show Context)
Consider the finite regular ¢¤£¦¥¨§�©�����©�� language ©������� �. In [3] it was shown that while this language is accepted by a deterministic finite automaton of ������ � size, any oneway quantum finite automaton (QFA) for it has ���¤ � £��� � ����£� � size. This was based on the fact that the evolution of a QFA is required to be reversible. When arbitrary intermediate measurements are allowed, this intuition breaks down. Nonetheless, we show ���� � £�� a lower bound for such QFA ¢ £ for, thus also improving the previous bound. The improved bound is obtained from simple entropy arguments based on Holevo’s theorem [8]. This method also allows us to obtain an asymptotically op���������������� � timal bound for the dense quantum codes (random access codes) introduced in [3]. We then turn to Holevo’s theorem, and show that in typical situations, it may be replaced by a tighter and more transparent inprobability bound.
Automaton Logic
 International Journal of Theoretical Physics
, 1996
"... The experimental logic of Moore and Mealy type automata is investigated. key words: automaton logic; partition logic; comparison to quantum logic; intrinsic measurements 1 ..."
Abstract

Cited by 85 (47 self)
 Add to MetaCart
The experimental logic of Moore and Mealy type automata is investigated. key words: automaton logic; partition logic; comparison to quantum logic; intrinsic measurements 1
Consequences and Limits of Nonlocal Strategies
, 2010
"... Thispaperinvestigatesthepowersandlimitationsofquantum entanglementinthecontext of cooperative games of incomplete information. We give several examples of such nonlocal games where strategies that make use of entanglement outperform all possible classical strategies. One implication ofthese examples ..."
Abstract

Cited by 78 (18 self)
 Add to MetaCart
(Show Context)
Thispaperinvestigatesthepowersandlimitationsofquantum entanglementinthecontext of cooperative games of incomplete information. We give several examples of such nonlocal games where strategies that make use of entanglement outperform all possible classical strategies. One implication ofthese examplesis that entanglement canprofoundly affectthesoundness property of twoprover interactive proof systems. We then establish limits on the probability with which strategies making use of entanglement can win restricted types of nonlocal games. These upperbounds mayberegardedasgeneralizationsof Tsirelsontypeinequalities, which place bounds on the extent to which quantum information can allow for the violation of Bell inequalities. We also investigate the amount of entanglement required by optimal and nearly optimal quantum strategies forsome games.
Topics in quantum computers
, 1996
"... Abstract. I provide an introduction to quantum computers, describing how they might be realized using language accessible to a solid state physicist. A listing of the minimal requirements for creating a quantum computer is given. I also discuss several recent developments in the area of quantum erro ..."
Abstract

Cited by 78 (1 self)
 Add to MetaCart
(Show Context)
Abstract. I provide an introduction to quantum computers, describing how they might be realized using language accessible to a solid state physicist. A listing of the minimal requirements for creating a quantum computer is given. I also discuss several recent developments in the area of quantum error correction, a subject of importance not only to quantum computation, but also to some aspects of the foundations of quantum theory. 1. What is a quantum computer? I don’t think that I will spend many words here saying why there has been a considerable growth of interest in the last couple of years in the subject of quantum computation. There has been a spate of reviews[1, 2, 3], semipopular articles[4], and press accounts[5] giving, on the whole, a very good overview of the subject. At some level, the recent interest simply arises from the very traditional movement of computation into ever more miniature worlds, and what could be more miniature than the world of the single quantum? At another level, though, interest has arisen because the rules of