Quantum Algorithms For Moving-Target TSP
Quantum Algorithms For Moving-Target TSP
2 N 1
i
a
i !0
si
Where:
a
i !0
!1
Examples
1 1 1 0 2 2
1 1 1 1 00 01 10 11 2 2 2 2
Prof. Rushen Chahal
Representation
n qubits: 2nx1 matrix represents the state:
|0> would be represented by |1> would be represented by Equal superposition would be
1 0 0 1 1 2 1 2
Changing States
Unitary transformations change states Unitary matrix:
conjugate transpose = inverse
A !A
1
Example
Hadamard Transform
1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2
1 0 ! 0 1
1 2 1 2
1 2 1 2
1 2 1 2
1 0 !
Prof. Rushen Chahal
0 1 a 1 0 b
b a
a b d c
00 01 10 11
1 CNot Gate: 0 0 0
0 0 0 a b 1 0 0 0 0 1 c 0 1 0 d
Prof. Rushen Chahal
Visual Representation
H
00
1 1 00 10 2 2
1 1 00 11 2 2
p
Prof. Rushen Chahal
1 1 10 01 2 2
Graphical Representation
Original Amplitudes
Negate Amplitude
Time Complexity
Normal search requires N/2 steps Grovers Algorithm takes O N steps
10
Prof. Rushen Chahal
Moving-Target TSP
Origin
Moving-Target TSP
2 3 Origin 1
4 12 2 11 5 3
(V=0)
(V=0)
10
(V=0)
NP-Complete
Contained in NP:
1. Decision version: path with time < T?
Non-deterministically travel all paths. If one exists with time < T, return TRUE. Else, return FALSE
Example
1
1000 1000 0000 0000 0000
1000 1
1100 1 2 1010 1 3
Potential Problems
Problem 1:
Extract the Hamiltonian paths
Problem 2:
Find cycles, not paths
Problem 3:
Only works for cubic graphs
Solution to Problem 1
How to extract only paths containing all 1s in first register? Solution: Use Grovers Algorithm!
Solution to Problem 2
Use black box for Hamiltonian paths to solve for Hamiltonian cycles? Solution:
Solution to Problem 3
Problem 3: non-cubic graphs Solution:
Make all nodes have the same degree Degree must be a power of 2 Algorithm when all nodes have degree 2i
Step 1
Give all nodes same degree of 2x
Graph G has n nodes Find node with largest degree D Find x where
2
Groups of x nodes n+x-n(mod x)
x 1
eDe2
Step 1 (continued)
Go through the graph G node by node, and go through the new nodes set by set:
Algorithm
Quantum transition for nodes with 2x degree:
Control bit
H H
1 0000 1 1 1 0000 1 1 1000 0010 0100 1000 1101 4 4 4 2 4 2 1 1 1 1 1 4 0000 1 4 0100 1 4 1000 1 4 1100 0010 0100 1000 1001 4 4 4 4 1 1 1 1 0010 0100 1000 1100 1 4 1 4 1 4 1 4 0010 0100 1000 0001 4 1 4 1 4 1 4 1 0010 Prof. Rushen Chahal 0100 1000 1101 4 4 4 4
Observations
Algorithm works for all graphs May double # of nodes Takes O(n) steps Search first register for all 1s Added nodes do not affect solution
Extension to TSP
Need another register:
Large enough to hold longest path
Iteration
All paths of length n & their weights Run algorithm for Hamiltonian cycles
Look for all 1s in the first register
Superposition of all Hamiltonian cycles Grovers algorithm on sum register finds min
v1y
Unknowns : vx vy t
a , a
x y
Prof. Rushen Chahal
v1x
n , n
x y
Summary
Extended Hamiltonian path algorithm for cubic bipartite graphs [Rudolphs] For TSP and Moving-Target TSP, paths superposition can be obtained in linear time Grovers search algorithm works in time SQRT of # of objects in superposition 2n different paths: total time is O(2n/2 )
Prof. Rushen Chahal
Future Work
Faster algorithm for (Moving-Target) TSP Improve Grovers search algorithm P=NP for quantum computation?
j A j+1
i a b c a b c
Circuit
V
a,b,c are the nodes adjacent to I A is the register keeping track of which nodes have been traversed
Prof. Rushen Chahal
Bullets
Sound Waves
Electrons
Observed Electrons