Construction of model Hamiltonians for adiabatic quantum computation and its application to finding low-energy conformations of lattice protein models

In this report, we explore the use of a quantum optimization algorithm for obtaining low energy conformations of protein models. We discuss mappings between protein models and optimization variables, which are in turn mapped to a system of coupled quantum bits. General strategies are given for constructing Hamiltonians to be used to solve optimization problems of physical/chemical/biological interest via quantum computation by adiabatic evolution. As an example, we implement the Hamiltonian corresponding to the Hydrophobic-Polar (HP) model for protein folding. Furthermore, we present an approach to reduce the resulting Hamiltonian to two-body terms gearing towards an experimental realization.

[1]  J. Biamonte.  Non−perturbative k−body to two−body commuting conversion Hamiltonians and embedding problem instances into Ising spins , 2008, 0801.3800.

[2]  Kathleen Steinhöfel,et al.  Relating time complexity of protein folding simulation to approximations of folding time , 2007, Comput. Phys. Commun..

[3]  M. W. Johnson,et al.  Sign- and magnitude-tunable coupler for superconducting flux qubits , 2006, cond-mat/0608253.

[4]  David P. DiVincenzo,et al.  The complexity of stoquastic local Hamiltonian problems , 2006, Quantum Inf. Comput..

[5]  Roy L Johnston,et al.  Analyzing energy landscapes for folding model proteins. , 2006, The Journal of chemical physics.

[6]  Eugene Shakhnovich,et al.  Protein folding thermodynamics and dynamics: where physics, chemistry, and biology meet. , 2006, Chemical reviews.

[7]  M. Head‐Gordon,et al.  Simulated Quantum Computation of Molecular Energies , 2005, Science.

[8]  Holger H. Hoos,et al.  An ant colony optimisation algorithm for the 2D and 3D hydrophobic polar protein folding problem , 2005, BMC Bioinformatics.

[9]  Roy L. Johnston,et al.  Development and optimisation of a novel genetic algorithm for studying model protein folding , 2004 .

[10]  S. Lloyd,et al.  Scalable Superconducting Architecture for Adiabatic Quantum Computation , 2004, quant-ph/0403090.

[11]  M. Gruebele,et al.  The fast protein folding problem. , 2003, Annual review of physical chemistry.

[12]  Themis Lazaridis,et al.  Thermodynamics of protein folding: a microscopic view. , 2002, Biophysical chemistry.

[13]  Endre Boros,et al.  Pseudo-Boolean optimization , 2002, Discret. Appl. Math..

[14]  P. Grassberger,et al.  Growth-based optimization algorithm for lattice heteropolymers. , 2002, Physical review. E, Statistical, nonlinear, and soft matter physics.

[15]  J. Onuchic,et al.  Understanding protein folding with energy landscape theory Part I: Basic concepts , 2002, Quarterly Reviews of Biophysics.

[16]  Hao Li,et al.  Designability of protein structures: A lattice‐model study using the Miyazawa‐Jernigan matrix , 2002, Proteins.

[17]  E. Farhi,et al.  A Quantum Adiabatic Evolution Algorithm Applied to Random Instances of an NP-Complete Problem , 2001, Science.

[18]  D. DiVincenzo,et al.  The Physical Implementation of Quantum Computation , 2000, quant-ph/0002077.

[19]  K. Dill,et al.  A fast conformational search strategy for finding low energy structures of model proteins , 1996, Protein science : a publication of the Protein Society.

[20]  S. Toma,et al.  Contact interactions method: A new algorithm for protein folding simulations , 1996, Protein science : a publication of the Protein Society.

[21]  D. Yee,et al.  Principles of protein folding — A perspective from simple exact models , 1995, Protein science : a publication of the Protein Society.

[22]  E I Shakhnovich,et al.  A test of lattice protein folding algorithms. , 1995, Proceedings of the National Academy of Sciences of the United States of America.

[23]  D A Agard,et al.  Kinetics versus thermodynamics in protein folding. , 1994, Biochemistry.

[24]  K. Dill,et al.  The protein folding problem. , 1993, Annual review of biophysics.

[25]  R Unger,et al.  Genetic algorithms for protein folding simulations. , 1992, Journal of molecular biology.

[26]  H. Berg.  Cold Spring Harbor Symposia on Quantitative Biology.: Vol. LII. Evolution of Catalytic Functions. Cold Spring Harbor Laboratory, Cold Spring Harbor, NY, 1987, ISBN 0-87969-054-2, xix + 955 pp., US $150.00. , 1989 .

[27]  K. Dill,et al.  A lattice statistical mechanics model of the conformational and sequence spaces of proteins , 1989 .

[28]  J. Linnett,et al.  Quantum mechanics , 1975, Nature.

[29]  Helio J. C. Barbosa,et al.  Investigation of the three-dimensional lattice HP protein folding model using a genetic algorithm , 2004 .

[30]  P. Drummond,et al.  Computer Physics Communications , 2001 .

[31]  L. Mirny,et al.  Protein folding theory: from lattice to all-atom models. , 2001, Annual review of biophysics and biomolecular structure.

[32]  Mihalis Yannakakis,et al.  On the Complexity of Protein Folding , 1998, J. Comput. Biol..

[33]  B. Berger,et al.  Protein Folding in the Hydrophobic-Hydrophilic(HP) Model is NP-Complete , 1998, J. Comput. Biol..

[34]  Kenneth H. Rosen.  Discrete mathematics and its applications , 1984 .

[35]  C. Epstein,et al.  The Genetic Control of Tertiary Protein Structure: Studies With Model Systems , 1963 .

[36]  G. Giacomello,et al.  Proteins structure. , 1957, Scientia medica italica. English ed.