Experimental quantum annealing: case study involving the graph isomorphism problem

Quantum annealing is a proposed combinatorial optimization technique meant to exploit quantum mechanical effects such as tunneling and entanglement. Real-world quantum annealing-based solvers require a combination of annealing and classical pre- and post-processing; at this early stage, little is known about how to partition and optimize the processing. This article presents an experimental case study of quantum annealing and some of the factors involved in real-world solvers, using a 504-qubit D-Wave Two machine and the graph isomorphism problem. To illustrate the role of classical pre-processing, a compact Hamiltonian is presented that enables a reduced Ising model for each problem instance. On random N-vertex graphs, the median number of variables is reduced from N2 to fewer than N log2 N and solvable graph sizes increase from N = 5 to N = 13. Additionally, error correction via classical post-processing majority voting is evaluated. While the solution times are not competitive with classical approaches to graph isomorphism, the enhanced solver ultimately classified correctly every problem that was mapped to the processor and demonstrated clear advantages over the baseline approach. The results shed some light on the nature of real-world quantum annealing and the associated hybrid classical-quantum solvers.

[1]  A. Young,et al.  Solving the Graph Isomorphism Problem with a Quantum Annealer , 2012, 1207.1712.

[2]  P. Erdos,et al.  On the evolution of random graphs , 1984 .

[3]  John B. Shoven,et al.  I , Edinburgh Medical and Surgical Journal.

[4]  A. Rbnyi ON THE EVOLUTION OF RANDOM GRAPHS , 2001 .

[5]  Brendan D. McKay,et al.  Graph Isomorphism , 2016, Encyclopedia of Algorithms.

[6]  Masoud Mohseni,et al.  Computational Role of Collective Tunneling in a Quantum Annealer , 2014 .

[7]  Brendan D. McKay,et al.  Practical graph isomorphism, II , 2013, J. Symb. Comput..

[8]  M. W. Johnson,et al.  Entanglement in a Quantum Annealing Processor , 2014, 1401.3500.

[9]  Edna E. Reiter,et al.  Limits of Computation: An Introduction to the Undecidable and the Intractable , 2012 .

[10]  Aidan Roy,et al.  Hearing the Shape of the Ising Model with a Programmable Superconducting-Flux Annealer , 2014, Scientific reports.

[11]  Martin Rötteler,et al.  Limitations of quantum coset states for graph isomorphism , 2006, STOC '06.

[12]  Daniel A. Lidar,et al.  Experimental signature of programmable quantum annealing , 2012, Nature Communications.

[13]  B. Bollobás The evolution of random graphs , 1984 .

[14]  Andrew Lucas,et al.  Ising formulations of many NP problems , 2013, Front. Physics.

[15]  Catherine C. McGeoch Adiabatic Quantum Computation and Quantum Annealing: Theory and Practice , 2014, Adiabatic Quantum Computation and Quantum Annealing: Theory and Practice.

[16]  Bryan O'Gorman,et al.  A case study in programming a quantum annealer for hard operational planning problems , 2014, Quantum Information Processing.

[17]  Daniel A. Lidar,et al.  Reexamining classical and quantum models for the D-Wave One processor , 2014, 1409.3827.

[18]  Daniel A. Lidar,et al.  Evidence for quantum annealing with more than one hundred qubits , 2013, Nature Physics.

[19]  Andrew D. King,et al.  Algorithm engineering for a quantum annealing platform , 2014, ArXiv.

[20]  László Babai,et al.  Canonical labeling of graphs , 1983, STOC.

[21]  Prosenjit Gupta,et al.  External memory layout vs. schematic , 2009, TODE.

[22]  Vicky Choi,et al.  Minor-embedding in adiabatic quantum computation: I. The parameter setting problem , 2008, Quantum Inf. Process..

[23]  Alexander Russell,et al.  The symmetric group defies strong Fourier sampling , 2005, 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05).

[24]  Dirk C. Keene Acknowledgements , 1975 .

[25]  Aidan Roy,et al.  A practical heuristic for finding graph minors , 2014, ArXiv.

[26]  Lane H. Clark,et al.  Graph isomorphism and adiabatic quantum computing , 2013, ArXiv.