Route Finding: A Quantum [Non] Algorithm Jason Clemons EECS 598 November 7, 2001

The Paper Narayanan, A., Wallace, J. A Quantum Algorithm for Route Finding. Proceedings of the 15th European Meeting on Cybernetics and Systems Research (EMCSR 2000), Vienna, Austria, April 2000, Vol. 1, pp EMCSR 2000

Outline for the day Introduction to Graphs Review of basic graphs Review of representation The QAND The Basic Algorithm Interesting Findings Final Thoughts and Questions

Graphs Common representation in CS A D BC

Graphs Terminology Edges – connect two nodes Node – Basic state or representation there of Weight – Cost associated with a node

Graphs A few characteristics: Weighted Directional Problems from graphs Graph Coloring Hamiltonian Circuit Finding Traveling Salesman (Shortest Route)

Our Graph Shortest Route Finding for: Weighted finite edges Finite number of nodes Undirected No self connection edges

Our Graph (Example) A B CS

Representation As Matrix Adjacency Matrix: N x N Matrix where N is the number of nodes M ij = w i to j where w is the weight of the edge from node I to node J and zero or zero if there is no edge

Representation as Matrix SABC S0240 A2015 B4102 C0520

Our Graph as a Tree S BA CBSSAC CA ACS BABA BCS BA

The Quantum And a QSUMAND b = a + b if (a > 0 and b >0) 0 if a=0 or b =0 where a, b  R +  {0} Example: 2 QSUMAND 2 = 4 2 QSUMAND 0 = 0

The Matrix creation Each Row is superposition of states representing the edges Example: From our Matrix before the row |S> is the vector a|000> + b|010> +c|100> + d|000> An element can be identified using the row and column labels Example: = 1 (note: not an IP)

Quantum Registers Similar to what is used by Shor 3 Registers Reg1 Holds the original adjacency matrix Reg2 Holds Matrix created when choose start node Reg3 Interacts with Reg1 to tell us whether a route exists. During the Algorithm we alternate between Reg2 and Reg3 to hold info

Algorithm Step 1 Select the Starting node and perform the QSUMAND manipulation process (Perform QSUMAND between start node row and all other rows) to produce a new matrix M 2

Algorithm Step 1 |S 1 >QSUMAND|S 1 > | > QSUMAND | > = | > |S 1 >QSUMAND|A 1 > | > QSUMAND | > = | > |S 1 >QSUMAND|B 1 > = | > |S 1 >QSUMAND|C 1 > = | >

M2M2 |s 2 >|a 2 >|b 2 >|c 2 > |S 2 >0480 |A 2 >0050 |B 2 >0300 |C 2 >0760

What M 2 Says M 2 shows that from S to the row node is connected through column node with a total length of the entry Example: S to B to A is 5 We have a new level of the search tree!

What M 2 Says The column shows from the start point to that node and from that node to each of the rows.

Algorithm Step 2 Manipulate each non-zero column of the matrices constructed in previous step by performing QSUMAND with each non zero column and the entire row in matrix M 1 that is associated with each element from the non zero column

Step 2 example QSUMAND |S 1 > |4> QSUMAND | > = | > QSUMAND |A 1 > = | > QSUMAND |B 1 > = | > QSUMAND |C 1 > = | >

M3M3 |s 3 >|a 3 >|b 3 >|c 3 > |S 3 >0680 |A 3 >0000 |B 3 >7405 |C 3 >01290

M4M4 |s 4 >|a 4 >|b 4 >|c 4 > |S 4 > |A 4 >70610 |B 4 >0000 |C 4 >01180

M 3 and M 4 They are each a separate side of the search tree M 3 is path from S down Node A M 4 is path from S down Nobe B

M 3 and M 4 Entry is the distance from start to Row by path computed so far and then from row to column Example: in M 3 has the cumulative weight for S- >A->B->S which is 7 in M 4 has the cumulative weight for S- >B->B->S which is 0

M 3 and M 4 S BA CBSSAC CA ACS BABA BCS BA M3M3 M4M4

Step 3 Repeat step 2 adequate amount of times to reach bottom of tree and for each new matrix at each level

Step 4 Route exists if there is non zero value in a column Thus measure columns and non zero values are path

Expanding the Adjacency Matrix Creation Each row and column are a super position of quantum state vectors with N states where N is number of nodes The N states either show a weight if there is an edge or show that there is no weight ie the n states represent a weight

Issues Even if have weights, information on which node is connected to which is lost |  s > = |  s > + |  a > + |  b > + |  c > looks okay but leads to: |S 1 > = a|000> + b|010> + c|100> + d|000>

Issues Author calls for n distinct values but opens up problem of dealing with states that have the same weight Author agrees saying: “There are problems describing the adjacency matrix as quantum state vectors”

Issues Algorithm calls for acting on single state in a superposition of states ie acting solely on state |  a > for the vector |  s > = |  s > + |  a > + |  b > + |  c >

Alternate Representation Add in qubits for the node in which this weight is for. One issue is make sure you have enough qubits to represent the weight Furthermore the fact that the Qubits are no longer in a single state will complicate the QSUMAND

Review Graph Basics Route Finding in general QAND The basic Algorithm Issues with Algorithm Fixes to be explored

Questions?

References NarayananNarayanan, A., Wallace, J., A Quantum Algorithm for Route Finding. Proceedings of the 15th European Meeting on Cybernetics and Systems Research (EMCSR 2000), Vienna, Austria, April 2000, Vol. 1, pp WallaceEMCSR 2000 Penrose, R. Shadows of the Mind: A search for the missing science of consciousness. Oxford University Press Shor, P., Algorithms for quantum computation: Discrete logarithms and factoring 1994.

Follow Up I need a drink after all this.