View
217
Download
0
Category
Preview:
Citation preview
One Complexity Theorist’s View of Quantum Computing
Lance FortnowNEC Research Institute
Comp.Theory FAQ8. Complexity Theory
(a) Lower Bounds (b) YACC (Yet Another Complexity Class)
Our ability to understand and handle new models of computation comes from our experience studying previous notions. Case in Point: Quantum Computing
BQP: Yet AnotherComplexity Class
Lance Fortnow
NEC Research Institute
Quantum ComputationA computation model based on quantum principles of physics.
Ability to enter many parallel “states” and use interference to recover important information.
Transformations must be unitary.
Dephysicfying QuantumTo understand the computational powers of quantum computing, we should ignore the underlying physical model.
Nondeterministic computation has no known underlying physical model yet we have a good understanding of its computational power.
The Quantum Class BQPThe set of languages L such that there is a Polynomial-time Quantum Turing machine M such that for all strings x, If x is in L then the measured probability of
acceptance of M on input x is at least 2/3. If x is not in L then the measured
probability of acceptance of M on input x is at most 1/3.
Oddities of Quantum Computing
Many Parallel StatesSimilar to Probabilistic Computation.
InterferenceSimilar ideas in Counting Complexity.
Unitary TransformationsNew and what makes quantum computing
so hard to classify precisely.
A Product MachineTraditional nondeterministic Turing machine has a transition function
Consider a generalized machine with transition function
: { , }Qx Qx x L R 2
: { , }Qx Qx x L R
The Computation Matrix
The function imposes a linear function mapping configurations to themselves.
Consider the matrix M capturing this linear function. The value of the computation after t steps is:
: { , }Qx Qx x L R
M Initial Acceptingt ,
NP as Matrix Multiplication: { , }Qx Qx x L R
M Initial Acceptingt ,
{ , }TRUE FALSE
Multiplication AND
Addition OR
#P as Matrix Multiplication
: { , }Qx Qx x L R
M Initial Acceptingt ,
Z 0
GapP as Matrix Multiplication
: { , }Qx Qx x L R
M Initial Acceptingt ,
Z
BPP as Matrix Multiplication
: { , }Qx Qx x L R
x L M Initial Accepting
x L M Initial Accepting
t
t
,
,
2
31
3
Q 0
L M v L v1 1( ( )) ( )
Small Changes: { , }Qx Qx x L R
x L M Initial Accepting
x L M Initial Accepting
t
t
,
,
2
31
3
QL M v L v1 1( ( )) ( )
Small Changes: { , }Qx Qx x L R
x L M Initial Accepting
x L M Initial Accepting
t
t
,
,
2
31
3
QL M v L v2 2( ( )) ( )
Small Changes: { , }Qx Qx x L R
QL M v L v2 2( ( )) ( )
x L M Initial Accepting
x L M Initial Accepting
t
t
,
,
2
2
2
31
3
BQP as Matrix Multiplication
: { , }Qx Qx x L R
x L M Initial Accepting
x L M Initial Accepting
t
t
,
,
2
2
2
31
3
QL M v L v2 2( ( )) ( )
QuestionsWhere’s the Physics?
Where’s the <bra| and |ket>‘s?
Where’s the real/complex numbers?
Don’t we need reversibility?
What if there is more than one accepting configuration?
Where’s the measurements?
Where’s the Physics?Car makers have given us a model from which we can drive a car. Details of how the car works are not necessary.
Where’s <bra| & |ket>’s?
Fancy way that physicists specify row and column vectors.
Don’t need to deal with them when studying quantum complexity.
Computer scientists like balance.
What’s wrong with braT and ket?
Scares away newcomers.
Where’s the complex numbers?
For BQP one can assume the transitions come from {-1,-4/5,-3/5,0, 3/5,4/5,1} instead of computable complex numbers.
Noncomputable numbers allow encoding of noncomputable functions. Similar problem in classical model.
Don’t we need reversibility?
The set of matrices M that preserve the L2 norm are unitary: M(M*)T is the identity.
In particular M is invertible so the computation could be reversed.
Reversibility is not a requirement of quantum computing but a consequence.
One accepting configuration?
In most models, can assume one accepting configuration by having machine erase work tape and moving to single accept state.
Not reversible process.
Can be simulated in quantum with negligible additional error by writing answer and reversing the rest of the computation.
Where’s the measurements?
Squaring value simulates process of measurement at end.
Taking measurements during computation does not give additional power.
x L M Initial Accepting
x L M Initial Accepting
t
t
,
,
2
2
2
31
3
BQP - A good definitionSimple and Robust.Based on a physical model.Contains interesting problems.Other Quantum Classes not as robust:EQP - Differences in set of allowable
amplitudes may affect class.BQL - When measurements are made may
affect class.
BQP as Matrix Multiplication
: { , }Qx Qx x L R
x L M Initial Accepting
x L M Initial Accepting
t
t
,
,
2
2
2
31
3
QL M v L v2 2( ( )) ( )
: { , }Qx Qx x L R
x L M Initial Accepting
x L M Initial Accepting
t
t
,
,
2
2
2
31
3
QL M v L v2 2( ( )) ( )
The Class AWPP: { , }Qx Qx x L R
x L M Initial Accepting
x L M Initial Accepting
t
t
,
,
2
2
2
31
3
Q
The Class AWPP“Almost-Wide Probabilistic Polynomial Time”
Previously StudiedFenner-Fortnow-Kurtz-Li - 1993Lide Li’s Thesis - 1993
AWPP contains BQP
Properties of AWPPBQP AWPP PPPSPACE
AWPP is low for PPPPAWPP = PPFor any L in AWPP, PPL = PP.
There exists a relativized world where AWPP = P and the polynomial-time hierarchy is infinite.
Properties of BQPBQP PPPSPACE
BQP is low for PPPPBQP = PPFor any L in BQP, PPL = PP.
There exists a relativized world where BQP = P and the polynomial-timehierarchy is infinite.
Diagram of ClassesPSPACE
P BQP
AWPP
PP
PP-Low
BPP
NP
PH
Diagram of ClassesPSPACE
P BQP
AWPP
PP
PP-Low
BPP
NP
PH
Diagram of ClassesPSPACE
P BQP
AWPP
PP
PP-Low
BPP
NP
PH
The Polynomial-Time Hierarchy
Nondeterministic Computation is a misleading title. Really Existential.Similarly can have Universal Computation.Alternating TM - Switches back and forth between Existential and Universal.Unbounded Alternations - PSPACEConstant Alternations - PH
BQP in PH?Bernstein-Vazirani relativized language does not appear to sit in PH.
It would if we allowed slightly more than polynomial-time or constant alternations.
Suggestion: Try to show that BQP can be solved in
quasipolynomial time and/or polylogarithmic alternations.
Diagram of ClassesPSPACE
P BQP
AWPP
PP
PP-Low
BPP
NP
PH
NP in BQP?Relative to a random oracle NP is in AWPP.
Two problems: Random oracles do not give us a good view of the
world. Need unitary transformations to get NP in BQP.
Make it difficult to obtain bad consequences of NP in BQP.
Black Box Model
Black Box Model
I N P U T
Black Box Model
Black Box Model
N
Black Box Model
Count only number of queries made. We do not care about computation time.
Also known as decision tree or oracle model. Hard to define decision trees properly for quantum
machines.
N T
OR Function
The OR function requires all N queries on some input of N bits for a deterministic machine.Adversary always answers zero on all
queries.
OR has small nondeterministic black box complexity (1 query).
Black Box Classes
P – Polylogarithmic in N queries
NP – Nondeterministic polylogarithmic in N queries
The OR functions separates black box P from black box NP.
How about BQP?
Black Box BQP
The probability of acceptance of a black box BQP machine using t queries is a polynomial of degree at most 2t.
Easy to see from Matrix Multiplication view of BQP.
BQP as Matrix Multiplication
: { , }Qx Qx x L R
x L M Initial Accepting
x L M Initial Accepting
t
t
,
,
2
2
2
31
3
QL M v L v2 2( ( )) ( )
The OR function
The OR function has degree n.
However a BQP black box need only approximate the OR function.
Any polynomial that approximates the OR functions has degree (n).
Tightness of OR
Any black box BQP machine must use (n) queries.
OR function separates NP from BQP.
Grover shows that O(n) queries suffice to compute OR on a BQP machine.
General Result
Any function f:{0,1}n {0,1} that can be approximated by a degree d polynomial has a deterministic black box algorithm using O(d6) queries.
Due to Nisan-Szegedy, Beals-Buhrman-Cleve-Mosca-de Wolf.
BQP and P
Every function computed by a BQP black box algorithm using t queries can be computed by a deterministic black box algorithm using O(t6) queries.
Black box BQP is the same as black box P.
Isn’t quantum better?
What about Shor’s factoring, discrete logarithm, Deutch-Josza, Simon, etc.
These have black box algorithms with limited input space.Deutch-Josza only separates all same from
same number of zeros-ones.Factoring problem leads to black box with
strong algebraic structure.
NP and BQP
If BQP were to contain NP in the traditional model it would be because NP problems have a nice structure that BQP can take advantage of.
To me this seems unlikely so I would conjecture that BQP cannot solve NP problems.
Is quantum computing useful?
We can factor but … If the only uses of quantum computation remain
discrete logarithms and factoring, it will likely become a special-purpose technique whose only raison d'etre is to thwart public key cryptosystems. (Peter Shor)
Using tools of counting complexity, we have shown new bounds on power of quantum machines.
ConclusionsQuantum Complexity very fascinating and worthy of future study.To study complexity of BQP forget the physics and their awful notation.Still seeking a definitive answer on usefulness of quantum computation.So far unable to use unitary property of BQP to help in classifying the class. Though useful in some oracle worlds.
Recommended