Nonperturbative k -body to two-body commuting conversion Hamiltonians and embedding problem instances into Ising spins

Physical Review A - Atomic, Molecular, and Optical Physics

Volumn 77, Issue 5, 2008, Pages

  Biamonte, J D ^a,b  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b HARVARD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ENERGY GAP; GROUND STATE; HAMILTONIANS; PARTICLE INTERACTIONS; PERTURBATION TECHNIQUES;

ALGEBRAIC METHOD; ISING SPINS; PERTURBATION THEORY;

SPIN DYNAMICS;

EID: 44349194348     PISSN: 10502947     EISSN: 10941622     Source Type: Journal    
DOI: 10.1103/PhysRevA.77.052331     Document Type: Article

References (31)

1. S. Kirkpatrick, Science SCIEAS 0036-8075 10.1126/science.220.4598.671 220, 671 (1983).
2. J. Brooke, D. Bitko, T. F. Rosenbaum, and G. Aeppli, Science SCIEAS 0036-8075 10.1126/science.284.5415.779 284, 779 (1999).
3. E. Farhi, J. Goldstone, S. Gutmann, and M. Sipser, Science SCIEAS 0036-8075 10.1126/science.1057726 292, 472 (2001).
4. Roman Orus, Quantum Inf. Comput. 5, 449 (2005). 0890-5401
5. F. Barahona, J. Phys. A JPHAC5 0305-4470 10.1088/0305-4470/15/10/028 15, 3241 (1982).
6. A. Kitaev, A. Shen, and M. Vyalyi, Classical and Quantum Computation, Graduate Studies in Mathematics 47 (AMS, Providence, RI, 2002).
7. R. Feynman, Optics News ONEWDU 0098-907X 11, 11 (1982).
8. Julia Kempe and Oded Regev, Quantum Inf. Comput. QICUAW 1533-7146 3, 258 (2003).
9. D. Nagaj and S. Mozes, J. Math. Phys. JMAPAQ 0022-2488 10.1063/1.2748377 48, 072104 (2007).
10. J. Kempe, A. Kitaev, and O. Regev, SIAM J. Comput. SMJCAT 0097-5397 10.1137/S0097539704445226 35, 1070 (2006).
11. R. Oliveira and B. Terhal, e-print arXiv:quant-ph/0504050.
12. J. D. Biamonte and P. J. Love, SIAM J. Comput. SMJCAT 0097-5397 10.1137/S0097539704445226 35, 1070 (2006).
13. D. Aharonov, D. Gottesman, and J. Kempe, e-print arXiv:0705.4077.
14. S. Irani, e-print arXiv:0705.4067.
15. Y. Liu, M. Christandl, and F. Verstraete, SIAM J. Comput. SMJCAT 0097-5397 98, 110503 (2007).
16. E. Farhi, J. Goldstone, and S. Gutmann, e-print arXiv:quant-ph/0001106.
17. D. Aharonov, SIAM J. Comput. SMJCAT 0097-5397 10.1137/S0097539705447323 37, 166 (2007).
18. I. Wegener, The Complexity of Boolean Functions (Wiley-Teubner, New York, 1987), online at: http://eccc.hpi-web.de/
19. E. Boros and P. L. Hammer, Discrete Appl. Math. DAMADU 0166-218X 10.1016/S0166-218X(01)00336-5 123, 155 (2002).
20. It is known that finding the ground state of Hamiltonians formed from simple sums of the inequality operator xi xj is NP complete on a planar graph.
21. It is understood that a term in a Hamiltonian such as σi σj is the operator σ acting on the i th and j th qubit with the omitted identity operator acting on the rest of the Hilbert space. The tensor product symbol (□) is omitted between operators.
22. T. Yamamoto, Nature (London) NATUAS 0028-0836 10.1038/nature02015 425, 941 (2003).
23. I. Chiorescu, Y. Nakamura, C. J. P. M. Harmans, and J. E. Mooij, Science SCIEAS 0036-8075 10.1126/science.1081045 299, 1869 (2003).
24. R. Harris, Phys. Rev. Lett. PRLTAO 0031-9007 10.1103/PhysRevLett.98. 177001 98, 177001 (2007).
25. A simplistic Hamiltonian with vectors in the ground space L corresponding to logical AND, that is L=span { | 000, | 010, | 100, | 111 } (ordered | x1 x2 | z, where z = x1 x2), has the form: H=δ (1- | 000 000 | - | 010 010 | - | 100 100 | - | 111 111 |).
26. For the purpose of this section one is actually only concerned with the null space of the Hamiltonian and the spectral gap δ so Hprop > Hin is sufficient.
27. Assume that Hprop represents a circuit and is given as an oracle Hamiltonian. One wishes to search for an input bit string x that will make the circuit output z =1. In this case, we will force an energy penalty any time the circuit outputs 0 by acting on the output qubit, z, with the Hamiltonian Hin = |0 0|. After successful adiabatic evolution, qubits x1, x2, and x3 can be measured to determine an input causing the circuit to output 1. If the circuit never outputs 1, successful adiabatic evolution will return an input that minimizes the Hamming distance from an input that would cause the circuit to output 1.
28. K. Rosen, Discrete Mathematics and its Applications (McGraw-Hill, New York, 1999)
29. http://en.wikipedia.org
30. Where exclusive OR (XOR) is given as f (x1, x2) = def x1 x2 = x̄ 1 x2 x1 x̄ 2 = x1 + x2 -2 x1 x2, and equivalence (EQV) as f (x1, x2) = def x1 x2 = x̄ 1 x̄ 2 x1 x2 =1- x1 - x2 +2 x1 x2.
31. This spectrum corresponds to the Walsh function represented by the eighth column of the matrix H/3, where H is the 2×2 Hardamard matrix. We remark that { { 0,1 }, } is the Galois field Z2.