overview of adiabatic quantum computationamchilds/talks/pi06.pdf · outline • quantum mechanical...
TRANSCRIPT
![Page 1: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/1.jpg)
Overview of adiabatic quantum computation
Andrew ChildsCaltech Institute for Quantum Information
![Page 2: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/2.jpg)
Outline• Quantum mechanical computers
• Quantum computation and Hamiltonian dynamics
• The adiabatic theorem
• Adiabatic optimization
‣ Examples of success
‣ Example of failure
‣ Random satisfiability problems
• Universal quantum computation
![Page 3: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/3.jpg)
A brief history• Manin, Feynman, early 1980s: Quantum computers should
be good at simulating quantum systems
• Deutsch, 1985: Formal model of quantum computers
• Deutsch, Jozsa, Bernstein, Vazirani, Simon, late 1980s/early 1990s: Examples of problems where quantum computers outperform classical ones
• Shor 1994: Efficient quantum algorithms for factoring and discrete log
![Page 4: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/4.jpg)
Quantum bits• One qubit: H = C2
|!! = "0|0! + "1|1! , |"20| + |"2
1| = 1
![Page 5: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/5.jpg)
Quantum bits• One qubit:
• n qubits:
|!! =!
z!{0,1}n
"z |z1! " |z2! " · · · " |zn!
H = C2
H = C2 ! C2 ! · · ·! C2! "# $
n
!
z!{0,1}n
|!z|2 = 1
|!! = "0|0! + "1|1! , |"20| + |"2
1| = 1
![Page 6: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/6.jpg)
• Prepare n qubits in the state
• Apply a sequence of poly(n) unitary operations acting on one or two qubits at a time
• Measure in the computational basis to get the result
Quantum circuits|0 · · · 0!
|0!
|0!
|0!
|0! U1
U2
U3
U4
U5
U6
!!"
!!"
!!"
!!"
![Page 7: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/7.jpg)
Three major questions• How can we build a quantum computer?
(Implementations)
• How useful is an imperfect quantum computer?(Fault tolerance)
• What can we do with a perfect quantum computer? (Algorithms)
![Page 8: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/8.jpg)
Hamiltonian dynamicsIn the circuit model, we say a unitary operation can be implemented efficiently if it can be realized (approximately) by a short sequence of one- and two-qubit gates.
What Hamiltonian dynamics can be implemented efficiently?
iddt
|!(t)! = H(t)|!(t)!
![Page 9: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/9.jpg)
Hamiltonian dynamicsIn the circuit model, we say a unitary operation can be implemented efficiently if it can be realized (approximately) by a short sequence of one- and two-qubit gates.
What Hamiltonian dynamics can be implemented efficiently?
• Hamiltonians we can directly realize in the laboratory
H =!
!i,j"
Hij
iddt
|!(t)! = H(t)|!(t)!
![Page 10: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/10.jpg)
Hamiltonian dynamicsIn the circuit model, we say a unitary operation can be implemented efficiently if it can be realized (approximately) by a short sequence of one- and two-qubit gates.
What Hamiltonian dynamics can be implemented efficiently?
• Hamiltonians we can directly realize in the laboratory
• Hamiltonians we can efficiently simulate using quantum circuits
H =!
!i,j"
Hij
iddt
|!(t)! = H(t)|!(t)!
![Page 11: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/11.jpg)
Simulating Hamiltonian dynamicsDefinition. A Hamiltonian H acting on n qubits can be efficiently simulated if for any error ε>0 and time t>0 there is a quantum circuit U consisting of poly(n, t, 1/ε) gates such that ‖U – e–iHt ‖<ε.
![Page 12: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/12.jpg)
Simulating Hamiltonian dynamicsDefinition. A Hamiltonian H acting on n qubits can be efficiently simulated if for any error ε>0 and time t>0 there is a quantum circuit U consisting of poly(n, t, 1/ε) gates such that ‖U – e–iHt ‖<ε.
Theorem. If H is a sum of local terms, then it can be efficiently simulated. [Lloyd 1996]
![Page 13: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/13.jpg)
Simulating Hamiltonian dynamicsDefinition. A Hamiltonian H acting on n qubits can be efficiently simulated if for any error ε>0 and time t>0 there is a quantum circuit U consisting of poly(n, t, 1/ε) gates such that ‖U – e–iHt ‖<ε.
Theorem. If H is a sum of local terms, then it can be efficiently simulated. [Lloyd 1996]
Basic idea: Lie product formula
e!i(H1+···+Hk)t = (e!iH1t/r · · · e!iHkt/r)r
+ O(kt2 max{!Hj!2}/r)
![Page 14: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/14.jpg)
Sparse HamiltoniansTheorem. Suppose that for any fixed a, we can efficiently compute all the nonzero values of . (In particular, there must be only polynomially many such values.) Then H can be simulated efficiently. [Aharonov & Ta-Shma 2003, Childs et al. 2003, Ahokas et al. 2005]
!a|H|b"
![Page 15: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/15.jpg)
Sparse HamiltoniansTheorem. Suppose that for any fixed a, we can efficiently compute all the nonzero values of . (In particular, there must be only polynomially many such values.) Then H can be simulated efficiently. [Aharonov & Ta-Shma 2003, Childs et al. 2003, Ahokas et al. 2005]
Basic idea: Color the interaction graph with a small number of colors and simulate each color separately
!a|H|b"
1
2
3
4
5
H =
!
""""#
0 1 1 0 01 0 1 1 01 1 0 0 10 1 0 0 10 0 1 1 0
$
%%%%&
![Page 16: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/16.jpg)
Sparse HamiltoniansTheorem. Suppose that for any fixed a, we can efficiently compute all the nonzero values of . (In particular, there must be only polynomially many such values.) Then H can be simulated efficiently. [Aharonov & Ta-Shma 2003, Childs et al. 2003, Ahokas et al. 2005]
Basic idea: Color the interaction graph with a small number of colors and simulate each color separately
!a|H|b"
1
2
3
4
5
H =
!
""""#
0 1 1 0 01 0 1 1 01 1 0 0 10 1 0 0 10 0 1 1 0
$
%%%%&
![Page 17: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/17.jpg)
Sparse HamiltoniansTheorem. Suppose that for any fixed a, we can efficiently compute all the nonzero values of . (In particular, there must be only polynomially many such values.) Then H can be simulated efficiently. [Aharonov & Ta-Shma 2003, Childs et al. 2003, Ahokas et al. 2005]
Basic idea: Color the interaction graph with a small number of colors and simulate each color separately
!a|H|b"
1
2
3
4
5
H =
!
""""#
0 1 1 0 01 0 1 1 01 1 0 0 10 1 0 0 10 0 1 1 0
$
%%%%&
![Page 18: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/18.jpg)
The adiabatic theoremLet be a smoothly varying Hamiltonian for s∈[0,1]
where E0(s) < E1(s) ≤ E2(s) ≤ ⋅⋅⋅≤ ED-1(s)
H̃(s)
H̃(s) =D!1!
j=0
Ej(s)|Ej(s)!"Ej(s)|
H̃(0)H̃(1)
H̃(s)
![Page 19: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/19.jpg)
The adiabatic theoremLet be a smoothly varying Hamiltonian for s∈[0,1]
where E0(s) < E1(s) ≤ E2(s) ≤ ⋅⋅⋅≤ ED-1(s)
where T is the total run time
H̃(s)
H̃(s) =D!1!
j=0
Ej(s)|Ej(s)!"Ej(s)|
H(0) = H̃(0) H(t) = H̃(t/T )
H(T ) = H̃(1)
H(t) = H̃(t/T )
![Page 20: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/20.jpg)
The adiabatic theoremLet be a smoothly varying Hamiltonian for s∈[0,1]
where E0(s) < E1(s) ≤ E2(s) ≤ ⋅⋅⋅≤ ED-1(s)
where T is the total run time
Suppose
Then as T→∞,
H̃(s)
H̃(s) =D!1!
j=0
Ej(s)|Ej(s)!"Ej(s)|
|!E0(1)|!(T )"|2 # 1
|!(0)! = |E0(0)!
H(0) = H̃(0) H(t) = H̃(t/T )
H(T ) = H̃(1)
H(t) = H̃(t/T )
![Page 21: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/21.jpg)
The adiabatic theoremLet be a smoothly varying Hamiltonian for s∈[0,1]
where E0(s) < E1(s) ≤ E2(s) ≤ ⋅⋅⋅≤ ED-1(s)
where T is the total run time
Suppose
Then as T→∞,
For large T, . But how large must it be?
H̃(s)
H̃(s) =D!1!
j=0
Ej(s)|Ej(s)!"Ej(s)|
|!E0(1)|!(T )"|2 # 1
|!(0)! = |E0(0)!
|!(T )! " |E0(1)!
H(0) = H̃(0) H(t) = H̃(t/T )
H(T ) = H̃(1)
H(t) = H̃(t/T )
![Page 22: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/22.jpg)
Approximately adiabatic evolutionThe total run time required for adiabaticity depends on the spectrum of the Hamiltonian.
Gap: !(s) = E1(s)! E0(s) , ! = mins![0,1]
!(s)
![Page 23: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/23.jpg)
Approximately adiabatic evolutionThe total run time required for adiabaticity depends on the spectrum of the Hamiltonian.
Gap:
Rough estimates (see for example [Messiah 1961]) suggest the condition
T ! !2
"2, !2 = max
s![0,1]
!!" ˙̃H(s)#2!!
!(s) = E1(s)! E0(s) , ! = mins![0,1]
!(s)
![Page 24: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/24.jpg)
Approximately adiabatic evolutionThe total run time required for adiabaticity depends on the spectrum of the Hamiltonian.
Gap:
Rough estimates (see for example [Messiah 1961]) suggest the condition
Theorem. [Teufel 2003 + perturbation theory]
implies!!|!(T )! " |E0(1)!
!! # "
T ! !2
"2, !2 = max
s![0,1]
!!" ˙̃H(s)#2!!
!(s) = E1(s)! E0(s) , ! = mins![0,1]
!(s)
T ! 4!
!" ˙̃H(0)"!(0)2
+" ˙̃H(1)"!(1)2
+" 1
0ds
#10" ˙̃H"2
!3+" ¨̃H"!
$%
![Page 25: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/25.jpg)
Satisfiability problems• Given h: {0,1}n → {0,1,2,...}, is there a value of z ∈ {0,1}n
such that h(z)=0?
• Alternatively, what z minimizes h(z)?
• Example: 3SAT.
where
(z1 ! z2 ! z̄3) " · · · " (z̄17 ! z37 ! z̄42)
h(z) =!
c
hc(z)
hc(z) =
!0 clause c satisfied by z
1 otherwise
![Page 26: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/26.jpg)
Adiabatic optimization• Define a problem Hamiltonian whose ground state encodes
the solution:
• Define a beginning Hamiltonian whose ground state is easy to create, for example
• Choose to interpolate from HB to HP, for example
• Choose total run time T so the evolution is nearly adiabatic
H̃(s)
H̃(s) = (1! s)HB + sHP
HP =!
z!{0,1}n
h(z)|z!"z|
HB = !n!
j=1
!(j)x
[Farhi et al. 2000]
![Page 27: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/27.jpg)
Please mind the gapRecall rough estimate:
For ,
Crucial question: How big is Δ?
• ≥1/poly(n): Efficient quantum algorithm
• 1/exp(n): Inefficient quantum algorithm
T ! !2
"2, !2 = max
s![0,1]
!!" ˙̃H(s)#2!!
H̃(s) = (1! s)HB + sHP
! ˙̃H! = !HP "HB!# !HB!+ !HP !
![Page 28: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/28.jpg)
Unstructured search
Finding a needle in a haystack: (here h: {0,1,...,N-1}→{0,1})
h(z) =
!0 z = w
1 z != w
![Page 29: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/29.jpg)
Unstructured search
Finding a needle in a haystack: (here h: {0,1,...,N-1}→{0,1})
Query complexity (given black box for h)
• Classically, queries
• Quantumly, queries are sufficient to find w [Grover 1996]
• This cannot be improved: queries are necessary [Bennett et al. 1997]
!(N)
O(!
N)
!(!
N)
h(z) =
!0 z = w
1 z != w
(|z!|a! "# |z!|a$ h(z)!)
![Page 30: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/30.jpg)
Example: Adiabatic unstructured search
h(z) =
!0 z = w
1 z != w" HP =
"
z
h(z)|z#$z| = 1% |w#$w|
HB = 1 ! |s"#s|
|s! =1"N
!
z
|z!Start in
H̃(s) = (1! s)HB
+ sHP
![Page 31: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/31.jpg)
Example: Adiabatic unstructured search
h(z) =
!0 z = w
1 z != w" HP =
"
z
h(z)|z#$z| = 1% |w#$w|
HB = 1 ! |s"#s|
|s! =1"N
!
z
|z!Start in
H̃(s) = (1! s)HB
+ sHP
Δ(s)
1!N
}
![Page 32: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/32.jpg)
Example: Adiabatic unstructured search
h(z) =
!0 z = w
1 z != w" HP =
"
z
h(z)|z#$z| = 1% |w#$w|
HB = 1 ! |s"#s|
|s! =1"N
!
z
|z!Start in
H̃(s) = (1! s)HB
+ sHP
Δ(s)
1!N
1!N
}
}
![Page 33: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/33.jpg)
Example: Adiabatic unstructured search
h(z) =
!0 z = w
1 z != w" HP =
"
z
h(z)|z#$z| = 1% |w#$w|
HB = 1 ! |s"#s|
|s! =1"N
!
z
|z!Start in
H̃(s) = (1! s)HB
+ sHP
H̃(s) = [1! f(s)]HB
+ f(s) HP
Δ(s)s(f)
[Roland, Cerf 2002; van Dam et al. 2001]
![Page 34: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/34.jpg)
Example: Transverse Ising model
HB = !n!
j=1
!(j)x
H̃(s) = (1! s)HB + sHP
Diagonalize by fermionization (Jordan-Wigner transformation)
Result: (at critical point of quantum phase transition)! ! 1n
“agree”
with ground state
[Farhi et al. 2000]
|E0(s ! 0)" ! | + · · · +"|E0(s ! 1)" ! 1!
2(|0 · · · 0"+ |1 · · · 1")
|s! = |+ · · · +!
=!
z!{0,1}n
|z!
HP =!
j!Zn
12"1! !(j)
z !(j+1)z
#
![Page 35: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/35.jpg)
Example: The Fisher problem
[Fisher 1992; Reichardt 2004]
HB = !n!
j=1
!(j)x
Jj=1 or 2, chosen randomly
Then typically ! ! exp("c#
n)
HP =!
j!Zn
Jj
2"1! !(j)
z !(j+1)z
#
![Page 36: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/36.jpg)
Example: The Fisher problem
[Fisher 1992; Reichardt 2004]
HB = !n!
j=1
!(j)x
Jj=1 or 2, chosen randomly
Then typically ! ! exp("c#
n)
|0000000!+|1111111!
|++++++!
|0000000!+|1111111!
HP =!
j!Zn
Jj
2"1! !(j)
z !(j+1)z
#
![Page 37: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/37.jpg)
Random satisfiability problemsConsider random instances of some satisfiability problem (e.g. 3SAT, Exact cover, ...) with a fixed ratio of clauses/bits.
Few clauses: underconstrained. Many solutions, easy to find.Many clauses: overconstrained. No solutions, easy to find a contradiction.
![Page 38: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/38.jpg)
Random satisfiability problemsConsider random instances of some satisfiability problem (e.g. 3SAT, Exact cover, ...) with a fixed ratio of clauses/bits.
Few clauses: underconstrained. Many solutions, easy to find.Many clauses: overconstrained. No solutions, easy to find a contradiction.
Simulation results for random exact cover instances with unique satisfying assignments:
8 E. Farhi, J. Goldstone, S. Gutmann, J. Lapan, A. Lundgren, D. Preda
10 11 12 13 14 15 16 17 18 19 20
Number of Bits
0
5
10
15
20
25
30
35
40
45
50
55
60
Med
ian T
ime
to G
et P
robab
ilit
y 1
/8
New Quadratic Fit
Old Quadratic Fit
Figure 1: Each circle is the median time to achieve a success probability of 1/8 for 75 gusa
instances. The error bars give 95% confidence limits for each median. The solid line is a quadraticfit to the data. The broken line, which lies just below the solid line, is the quadratic fit obtainedin [6] for an independent data set up to 15 bits.
each instance with T = T (n). In Figure 2 the circles show the median probability of successat each n. Not surprisingly, these are all close to 1/8. We also show the tenth-worst andworst probability for each n. The good news for the quantum algorithm is that these do notappear to decrease appreciably with n.
To further explore this we generate 1000 new gusa instances of Exact Cover at both16 and 17 bits. In Figure 3 we show the histograms of the success probability when theinstances are run at T (16) and T (17), respectively. The histograms indicate that a gusa
instance with success probability at or below 0.04 is very unlikely.If an algorithm (classical or quantum) succeeds with probability at least p, then running
the algorithm k times gives a success probability of at least 1 ! (1 ! p)k. For example, ifp = 0.04, then 200 repetitions of the algorithm gives a success probability of better than0.9997. Suppose that as the number of bits increases it remains true that almost all gusa
instances have a success probability of at least 0.04 at the quadratic run time T (n). Thenany n-independent desired probability of success can be achieved with a fixed number ofrepetitions.
11 Instances with the number of clauses fixed in advance
To study the performance of the quantum algorithm on instances that do not necessarilyhave a usa, we generate new instances now by fixing the number of clauses in advance.Instances are generated with a fixed number of randomly chosen clauses and then separatedinto two categories, those with at least one satisfying assignment and those with none. Both
[Farhi et al. 2001]
![Page 39: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/39.jpg)
Universal quantum computationAdiabatic evolution with linear interpolation between local beginning and ending Hamiltonians can simulate arbitrary QC.
![Page 40: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/40.jpg)
Universal quantum computationAdiabatic evolution with linear interpolation between local beginning and ending Hamiltonians can simulate arbitrary QC.
[Feynman 1985]: H =k!
j=1
[Uj ! |j + 1"#j| + U†j ! |j"#j + 1|]
![Page 41: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/41.jpg)
Universal quantum computationAdiabatic evolution with linear interpolation between local beginning and ending Hamiltonians can simulate arbitrary QC.
[Feynman 1985]:
Basic idea [Aharonov et al. 2004]: Use this as -HP.
Final ground state:
HB enforces correct initial state.Add energy penalties to stay in an appropriate subspace.
H =k!
j=1
[Uj ! |j + 1"#j| + U†j ! |j"#j + 1|]
1!k
k!
j=1
UjUj!1 · · · U1|0" # |j"
![Page 42: Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem](https://reader033.vdocuments.mx/reader033/viewer/2022042019/5e76cb757c0f056a45182f4e/html5/thumbnails/42.jpg)
Universal quantum computationAdiabatic evolution with linear interpolation between local beginning and ending Hamiltonians can simulate arbitrary QC.
[Feynman 1985]:
Basic idea [Aharonov et al. 2004]: Use this as -HP.
Final ground state:
HB enforces correct initial state.Add energy penalties to stay in an appropriate subspace.
Note: This is adiabatic, but not adiabatic optimization.
H =k!
j=1
[Uj ! |j + 1"#j| + U†j ! |j"#j + 1|]
1!k
k!
j=1
UjUj!1 · · · U1|0" # |j"