Guest Column: NP-complete problems and physical reality

Can NP-complete problems be solved efficiently in the physical universe? I survey proposals including soap bubbles, protein folding, quantum computing, quantum advice, quantum adiabatic algorithms, quantum-mechanical nonlinearities, hidden variables, relativistic time dilation, analog computing, Malament-Hogarth spacetimes, quantum gravity, closed timelike curves, and "anthropic computing." The section on soap bubbles even includes some "experimental" results. While I do not believe that any of the proposals will let us solve NP-complete problems efficiently, I argue that by studying them, we can learn something not only about computation but also about physics.

[1]  Michael Clausen,et al.  Algebraic complexity theory , 1997, Grundlehren der mathematischen Wissenschaften.

[2]  Nicolas Gisin,et al.  Weinberg's non-linear quantum mechanics and supraluminal communications , 1990 .

[3]  R. Penrose.  Angular Momentum: an Approach to Combinatorial Space-Time , 1971 .

[4]  J. Bekenstein.  Universal upper bound on the entropy-to-energy ratio for bounded systems , 1981, Jacob Bekenstein.

[5]  Deutsch,et al.  Quantum mechanics near closed timelike lines. , 1991, Physical review. D, Particles and fields.

[6]  Eric Allender,et al.  What can be efficiently reduced to the Kolmogorov-random strings? , 2006, Ann. Pure Appl. Log..

[7]  Eric B. Baum,et al.  What is thought? , 2003 .

[8]  Arnold Schönhage,et al.  On the Power of Random Access Machines , 1979, ICALP.

[9]  E. Baum.  What Is Thought? (Bradford Books) , 2006 .

[10]  D. Abrams,et al.  NONLINEAR QUANTUM MECHANICS IMPLIES POLYNOMIAL-TIME SOLUTION FOR NP-COMPLETE AND P PROBLEMS , 1998, quant-ph/9801041.

[11]  Scott Aaronson,et al.  Quantum computing, postselection, and probabilistic polynomial-time , 2004, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[12]  Lane A. Hemaspaandra,et al.  Threshold Computation and Cryptographic Security , 1993, ISAAC.

[13]  Lane A. Hemaspaandra.  SIGACT news complexity theory column 36 , 2002, SIGA.

[14]  D. Bohm.  A SUGGESTED INTERPRETATION OF THE QUANTUM THEORY IN TERMS OF "HIDDEN" VARIABLES. II , 1952 .

[15]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[16]  John Preskill,et al.  Comment on "The black hole final state" , 2004 .

[17]  Andris Ambainis,et al.  Quantum lower bounds by quantum arguments , 2000, STOC '00.

[18]  Jin-Yi Cai,et al.  Circuit minimization problem , 2000, STOC '00.

[19]  Scott Aaronson.  Quantum Computing and Hidden Variables II: The Complexity of Sampling Histories , 2004 .

[20]  Peter W. Shor,et al.  Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer , 1995, SIAM Rev..

[21]  Weinberg,et al.  Precision tests of quantum mechanics. , 1989, Physical review letters.

[22]  S. Aaronson.  Quantum computing and hidden variables , 2004, quant-ph/0408035.

[23]  Gilles Brassard,et al.  Strengths and Weaknesses of Quantum Computing , 1997, SIAM J. Comput..

[24]  Daniel R. Simon,et al.  On the power of quantum computation , 1994, Proceedings 35th Annual Symposium on Foundations of Computer Science.

[25]  Scott Aaronson,et al.  Limits on Efficient Computation in the Physical World , 2004, ArXiv.

[26]  Ronald de Wolf,et al.  Quantum lower bounds by polynomials , 1998, Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280).

[27]  Leonid A. Levin,et al.  Average Case Complete Problems , 1986, SIAM J. Comput..

[28]  D. Bacon.  Quantum computational complexity in the presence of closed timelike curves , 2003, quant-ph/0309189.

[29]  Umesh V. Vazirani,et al.  How powerful is adiabatic quantum computation? , 2001, Proceedings 2001 IEEE International Conference on Cluster Computing.

[30]  B. Jack Copeland,et al.  Hypercomputation , 2004, Minds and Machines.

[31]  Gatis Midrijanis.  A Polynomial Quantum Query Lower Bound for the Set Equality Problem , 2004, ICALP.

[32]  John Terning,et al.  INTRODUCTION TO THE ADS/CFT CORRESPONDENCE , 2005 .

[33]  Lov K. Grover.  A fast quantum mechanical algorithm for database search , 1996, STOC '96.

[34]  Todd A. Brun.  Computers with Closed Timelike Curves Can Solve Hard Problems Efficiently , 2002, ArXiv.

[35]  Leonid A. Levin,et al.  The Tale of One-Way Functions , 2000, Probl. Inf. Transm..

[36]  Michael Larsen,et al.  A Modular Functor Which is Universal¶for Quantum Computation , 2000, quant-ph/0001108.

[37]  Scott Aaronson,et al.  Quantum lower bounds for the collision and the element distinctness problems , 2004, JACM.

[38]  Craig Alan Feinstein.  Evidence that P is not equal to NP , 2003, ArXiv.

[39]  Ronald L. Graham,et al.  Some NP-complete geometric problems , 1976, STOC '76.

[40]  A. Valentini.  On the pilot-wave theory of classical, quantum and subquantum physics , 1992 .

[41]  M. Born.  Zur Quantenmechanik der Stoßvorgänge , 1926 .

[42]  Thierry Paul,et al.  Quantum computation and quantum information , 2007, Mathematical Structures in Computer Science.

[43]  J. Maldacena,et al.  The black hole final state , 2003, hep-th/0310281.

[44]  Avi Wigderson,et al.  P = BPP if E requires exponential circuits: derandomizing the XOR lemma , 1997, STOC '97.

[45]  Tien D. Kieu,et al.  Quantum Algorithm for Hilbert's Tenth Problem , 2001, ArXiv.

[46]  Michael Sipser,et al.  The history and status of the P versus NP question , 1992, STOC '92.

[47]  E. Farhi,et al.  Quantum Adiabatic Evolution Algorithms versus Simulated Annealing , 2002, quant-ph/0201031.

[48]  M. Freedman,et al.  Simulation of Topological Field Theories¶by Quantum Computers , 2000, quant-ph/0001071.

[49]  R. Bousso.  The Holographic principle , 2002, hep-th/0203101.

[50]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[51]  T. P. Singh.  Gravitational collapse, black holes and naked singularities , 1998 .

[52]  Lance Fortnow,et al.  One complexity theorist's view of quantum computing , 2000, CATS.

[53]  J. Polchinski,et al.  Weinberg's nonlinear quantum mechanics and the Einstein-Podolsky-Rosen paradox. , 1991, Physical review letters.

[54]  Lenore Blum,et al.  Complexity and Real Computation , 1997, Springer New York.

[55]  John Gill,et al.  Relativizations of the P =? NP Question , 1975, SIAM J. Comput..

[56]  Daniel A. Spielman,et al.  PP is closed under intersection , 1991, STOC '91.

[57]  Antony Valentini.  Subquantum information and computation , 2002 .

[58]  R. Solovay,et al.  Relativizations of the $\mathcal{P} = ?\mathcal{NP}$ Question , 1975 .

[59]  Emil T. Akhmedov,et al.  Introduction to the Ads/cft Correspondence , 1999 .

[60]  Greg Egan,et al.  An efficient algorithm for the Riemannian 10j symbols , 2001 .

[61]  Albert R. Meyer,et al.  Cosmological lower bound on the circuit complexity of a small problem in logic , 2002, JACM.

[62]  J. Horgan.  The end of Science , 2016 .

[63]  B. Dickinson,et al.  The complexity of analog computation , 1986 .

[64]  Stathis Zachos,et al.  Does co-NP Have Short Interactive Proofs? , 1987, Inf. Process. Lett..

[65]  R. Impagliazzo,et al.  Subexponential Circuits : Derandomizing the XOR Lemma , 2003 .

[66]  Lee Smolin.  The present moment in quantum cosmology: challenges to the arguments for the elimination of time , 2000 .

[67]  M. Hogarth.  Non-Turing Computers and Non-Turing Computability , 1994, PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association.

[68]  Ben Reichardt,et al.  The quantum adiabatic optimization algorithm and local minima , 2004, STOC '04.

[69]  Dominic J. A. Welsh,et al.  The Computational Complexity of the Tutte Plane: the Bipartite Case , 1992, Combinatorics, Probability and Computing.

[70]  Gus Gutoski,et al.  Quantum Interactive Proofs with Competing Provers , 2004, STACS.

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

[72]  Scott Aaronson,et al.  Quantum lower bound for the collision problem , 2001, STOC '02.

[73]  Alexander A. Razborov,et al.  Natural Proofs , 1997, J. Comput. Syst. Sci..

[74]  Scott Aaronson,et al.  Limitations of quantum advice and one-way communication , 2004, Proceedings. 19th IEEE Annual Conference on Computational Complexity, 2004..