When a local Hamiltonian must be frustration-free
A broad range of quantum optimization problems can be phrased as the question of whether a specific system has a ground state at zero energy, i.e., whether its Hamiltonian is frustration-free. Frustration-free Hamiltonians, in turn, play a central role for constructing and understanding new phases o...
Uložené v:
| Vydané v: | Proceedings of the National Academy of Sciences - PNAS Ročník 113; číslo 23; s. 6433 |
|---|---|
| Hlavní autori: | , , , |
| Médium: | Journal Article |
| Jazyk: | English |
| Vydavateľské údaje: |
United States
07.06.2016
|
| Predmet: | |
| ISSN: | 1091-6490, 1091-6490 |
| On-line prístup: | Zistit podrobnosti o prístupe |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | A broad range of quantum optimization problems can be phrased as the question of whether a specific system has a ground state at zero energy, i.e., whether its Hamiltonian is frustration-free. Frustration-free Hamiltonians, in turn, play a central role for constructing and understanding new phases of matter in quantum many-body physics. Unfortunately, determining whether this is the case is known to be a complexity-theoretically intractable problem. This makes it highly desirable to search for efficient heuristics and algorithms to, at least, partially answer this question. Here we prove a general criterion-a sufficient condition-under which a local Hamiltonian is guaranteed to be frustration-free by lifting Shearer's theorem from classical probability theory to the quantum world. Remarkably, evaluating this condition proceeds via a fully classical analysis of a hardcore lattice gas at negative fugacity on the Hamiltonian's interaction graph, which, as a statistical mechanics problem, is of interest in its own right. We concretely apply this criterion to local Hamiltonians on various regular lattices, while bringing to bear the tools of spin glass physics that permit us to obtain new bounds on the satisfiable to unsatisfiable transition in random quantum satisfiability. We are then led to natural conjectures for when such bounds will be tight, as well as to a novel notion of universality for these computer science problems. Besides providing concrete algorithms leading to detailed and quantitative insights, this work underscores the power of marrying classical statistical mechanics with quantum computation and complexity theory. |
|---|---|
| AbstractList | A broad range of quantum optimization problems can be phrased as the question of whether a specific system has a ground state at zero energy, i.e., whether its Hamiltonian is frustration-free. Frustration-free Hamiltonians, in turn, play a central role for constructing and understanding new phases of matter in quantum many-body physics. Unfortunately, determining whether this is the case is known to be a complexity-theoretically intractable problem. This makes it highly desirable to search for efficient heuristics and algorithms to, at least, partially answer this question. Here we prove a general criterion-a sufficient condition-under which a local Hamiltonian is guaranteed to be frustration-free by lifting Shearer's theorem from classical probability theory to the quantum world. Remarkably, evaluating this condition proceeds via a fully classical analysis of a hardcore lattice gas at negative fugacity on the Hamiltonian's interaction graph, which, as a statistical mechanics problem, is of interest in its own right. We concretely apply this criterion to local Hamiltonians on various regular lattices, while bringing to bear the tools of spin glass physics that permit us to obtain new bounds on the satisfiable to unsatisfiable transition in random quantum satisfiability. We are then led to natural conjectures for when such bounds will be tight, as well as to a novel notion of universality for these computer science problems. Besides providing concrete algorithms leading to detailed and quantitative insights, this work underscores the power of marrying classical statistical mechanics with quantum computation and complexity theory. A broad range of quantum optimization problems can be phrased as the question of whether a specific system has a ground state at zero energy, i.e., whether its Hamiltonian is frustration-free. Frustration-free Hamiltonians, in turn, play a central role for constructing and understanding new phases of matter in quantum many-body physics. Unfortunately, determining whether this is the case is known to be a complexity-theoretically intractable problem. This makes it highly desirable to search for efficient heuristics and algorithms to, at least, partially answer this question. Here we prove a general criterion-a sufficient condition-under which a local Hamiltonian is guaranteed to be frustration-free by lifting Shearer's theorem from classical probability theory to the quantum world. Remarkably, evaluating this condition proceeds via a fully classical analysis of a hardcore lattice gas at negative fugacity on the Hamiltonian's interaction graph, which, as a statistical mechanics problem, is of interest in its own right. We concretely apply this criterion to local Hamiltonians on various regular lattices, while bringing to bear the tools of spin glass physics that permit us to obtain new bounds on the satisfiable to unsatisfiable transition in random quantum satisfiability. We are then led to natural conjectures for when such bounds will be tight, as well as to a novel notion of universality for these computer science problems. Besides providing concrete algorithms leading to detailed and quantitative insights, this work underscores the power of marrying classical statistical mechanics with quantum computation and complexity theory.A broad range of quantum optimization problems can be phrased as the question of whether a specific system has a ground state at zero energy, i.e., whether its Hamiltonian is frustration-free. Frustration-free Hamiltonians, in turn, play a central role for constructing and understanding new phases of matter in quantum many-body physics. Unfortunately, determining whether this is the case is known to be a complexity-theoretically intractable problem. This makes it highly desirable to search for efficient heuristics and algorithms to, at least, partially answer this question. Here we prove a general criterion-a sufficient condition-under which a local Hamiltonian is guaranteed to be frustration-free by lifting Shearer's theorem from classical probability theory to the quantum world. Remarkably, evaluating this condition proceeds via a fully classical analysis of a hardcore lattice gas at negative fugacity on the Hamiltonian's interaction graph, which, as a statistical mechanics problem, is of interest in its own right. We concretely apply this criterion to local Hamiltonians on various regular lattices, while bringing to bear the tools of spin glass physics that permit us to obtain new bounds on the satisfiable to unsatisfiable transition in random quantum satisfiability. We are then led to natural conjectures for when such bounds will be tight, as well as to a novel notion of universality for these computer science problems. Besides providing concrete algorithms leading to detailed and quantitative insights, this work underscores the power of marrying classical statistical mechanics with quantum computation and complexity theory. |
| Author | Moessner, Roderich Laumann, Chris R Morampudi, Siddhardh C Sattath, Or |
| Author_xml | – sequence: 1 givenname: Or surname: Sattath fullname: Sattath, Or organization: Computer Science Division, University of California, Berkeley, CA 94704 – sequence: 2 givenname: Siddhardh C surname: Morampudi fullname: Morampudi, Siddhardh C email: siddhardh@gmail.com organization: Condensed Matter Division, Max-Planck-Institut fur Physik Komplexer Systeme, 01187 Dresden, Germany; siddhardh@gmail.com – sequence: 3 givenname: Chris R surname: Laumann fullname: Laumann, Chris R organization: Department of Physics, University of Washington, Seattle, WA 98195 – sequence: 4 givenname: Roderich surname: Moessner fullname: Moessner, Roderich organization: Condensed Matter Division, Max-Planck-Institut fur Physik Komplexer Systeme, 01187 Dresden, Germany |
| BackLink | https://www.ncbi.nlm.nih.gov/pubmed/27199483$$D View this record in MEDLINE/PubMed |
| BookMark | eNpNj01LxDAURYOMOB-6didduun4XpI2yVIGdYQBN4rL8tq-YKVNx6Zd-O8tOIKrexaHC2ctFqEPLMQ1whbBqLtjoLjFDJ1VClGdiRWCwzTXDhb_eCnWMX4CgMssXIilNOictmol8P2DQ0JJ21fUJnvqmnbsQ0Mh6aY4JiUnfphhoLHpQ-oH5ktx7qmNfHXajXh7fHjd7dPDy9Pz7v6QVtq4MSWVe12jZ2LwqL0mKfNcsy4JKp05zTZThjNXa7A1eGsl1EZjngNYLyu5Ebe_v8eh_5o4jkXXxIrblgL3UyzQzDEG0WazenNSp7LjujgOTUfDd_GXKX8Au1lU9A |
| CitedBy_id | crossref_primary_10_1103_PhysRevResearch_7_013086 crossref_primary_10_1103_PhysRevB_111_174520 crossref_primary_10_1103_PhysRevResearch_5_013097 crossref_primary_10_1103_PhysRevResearch_6_043240 crossref_primary_10_1007_s11128_020_02959_0 crossref_primary_10_1142_S0129055X25500151 crossref_primary_10_1088_1742_5468_ad526d crossref_primary_10_1103_PhysRevA_108_022426 crossref_primary_10_1007_s00220_020_03843_9 crossref_primary_10_1146_annurev_conmatphys_031620_101617 |
| ContentType | Journal Article |
| DBID | NPM 7X8 |
| DOI | 10.1073/pnas.1519833113 |
| DatabaseName | PubMed MEDLINE - Academic |
| DatabaseTitle | PubMed MEDLINE - Academic |
| DatabaseTitleList | PubMed MEDLINE - Academic |
| Database_xml | – sequence: 1 dbid: NPM name: PubMed url: http://www.ncbi.nlm.nih.gov/entrez/query.fcgi?db=PubMed sourceTypes: Index Database – sequence: 2 dbid: 7X8 name: MEDLINE - Academic url: https://search.proquest.com/medline sourceTypes: Aggregation Database |
| DeliveryMethod | no_fulltext_linktorsrc |
| Discipline | Sciences (General) |
| EISSN | 1091-6490 |
| ExternalDocumentID | 27199483 |
| Genre | Research Support, U.S. Gov't, Non-P.H.S Research Support, Non-U.S. Gov't Journal Article |
| GroupedDBID | --- -DZ -~X .55 0R~ 123 29P 2AX 2FS 2WC 4.4 53G 5RE 5VS 85S AACGO AAFWJ AANCE ABBHK ABOCM ABPLY ABPPZ ABTLG ABXSQ ABZEH ACGOD ACHIC ACIWK ACNCT ACPRK ADQXQ ADULT AENEX AEUPB AEXZC AFFNX AFOSN AFRAH ALMA_UNASSIGNED_HOLDINGS AQVQM BKOMP CS3 D0L DCCCD DIK DU5 E3Z EBS EJD F5P FRP GX1 H13 HH5 HYE IPSME JAAYA JBMMH JENOY JHFFW JKQEH JLS JLXEF JPM JSG JST KQ8 L7B LU7 N9A NPM N~3 O9- OK1 PNE PQQKQ R.V RHI RNA RNS RPM RXW SA0 SJN TAE TN5 UKR W8F WH7 WOQ WOW X7M XSW Y6R YBH YKV YSK ZCA ~02 ~KM 7X8 |
| ID | FETCH-LOGICAL-c479t-a36f4d1feae0f14f4a22664e4ba0c4594e8537e59d408d0f8820d74166008f2c2 |
| IEDL.DBID | 7X8 |
| ISICitedReferencesCount | 17 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000377155400037&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 1091-6490 |
| IngestDate | Thu Sep 04 17:18:53 EDT 2025 Mon Jul 21 06:02:15 EDT 2025 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 23 |
| Keywords | universality critical exponents local Hamiltonian quantum satisfiability hardcore lattice gas |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c479t-a36f4d1feae0f14f4a22664e4ba0c4594e8537e59d408d0f8820d74166008f2c2 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 23 |
| OpenAccessLink | https://www.pnas.org/content/pnas/113/23/6433.full.pdf |
| PMID | 27199483 |
| PQID | 1795871185 |
| PQPubID | 23479 |
| ParticipantIDs | proquest_miscellaneous_1795871185 pubmed_primary_27199483 |
| PublicationCentury | 2000 |
| PublicationDate | 2016-06-07 |
| PublicationDateYYYYMMDD | 2016-06-07 |
| PublicationDate_xml | – month: 06 year: 2016 text: 2016-06-07 day: 07 |
| PublicationDecade | 2010 |
| PublicationPlace | United States |
| PublicationPlace_xml | – name: United States |
| PublicationTitle | Proceedings of the National Academy of Sciences - PNAS |
| PublicationTitleAlternate | Proc Natl Acad Sci U S A |
| PublicationYear | 2016 |
| References | 9898921 - Phys Rev A Gen Phys. 1987 Jul 15;36(2):760-765 11970546 - Phys Rev E Stat Phys Plasmas Fluids Relat Interdiscip Topics. 1999 Dec;60(6 Pt A):6323-8 10039096 - Phys Rev Lett. 1988 Nov 14;61(20):2376-2379 10035874 - Phys Rev Lett. 1987 Aug 17;59(7):799-802 10031010 - Phys Rev Lett. 1985 Apr 1;54(13):1354-1356 |
| References_xml | – reference: 9898921 - Phys Rev A Gen Phys. 1987 Jul 15;36(2):760-765 – reference: 11970546 - Phys Rev E Stat Phys Plasmas Fluids Relat Interdiscip Topics. 1999 Dec;60(6 Pt A):6323-8 – reference: 10039096 - Phys Rev Lett. 1988 Nov 14;61(20):2376-2379 – reference: 10035874 - Phys Rev Lett. 1987 Aug 17;59(7):799-802 – reference: 10031010 - Phys Rev Lett. 1985 Apr 1;54(13):1354-1356 |
| SSID | ssj0009580 |
| Score | 2.3685896 |
| Snippet | A broad range of quantum optimization problems can be phrased as the question of whether a specific system has a ground state at zero energy, i.e., whether its... |
| SourceID | proquest pubmed |
| SourceType | Aggregation Database Index Database |
| StartPage | 6433 |
| Title | When a local Hamiltonian must be frustration-free |
| URI | https://www.ncbi.nlm.nih.gov/pubmed/27199483 https://www.proquest.com/docview/1795871185 |
| Volume | 113 |
| WOSCitedRecordID | wos000377155400037&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV09T8MwED0BZWABymf5kpEYYDDYsRPbE0KIqgtVB5C6RU5iSwykpWn5_ZzzIViQkFiyxYou53tPd6f3AK4iZzUXQfpSGkdllAmaeWZppoqcWekSlunabEKNx3o6NZO24Va1a5VdTawLdTHLQ4_8DhMnRnKP8HI__6DBNSpMV1sLjXXoCaQyYaVLTfUP0V3dqBEYThNpWCfto8TdvLTVLaKd0ULw4G3wG7-scWa4898v3IXtlmGShyYl-rDmyj3ot3e4Itet0PTNPnCsxCWxpMYzMgqtDmSCmC_kfVUtSeaIX6w6XV3qF84dwOvw6eVxRFsLBZpLZZbUisTLgntnHfNcemmRbiXSycyyXMZGOoRr5WJTSKYL5pFvsyKQNORB2kd5dAgb5ax0x0B4EYdzIqu9xSPjzIQZqtI818xLyQZw2YUlxRQNcwdbutmqSr8DM4CjJrbpvNHSSCMVxIm1OPnD26ewhXQlqRe11Bn0PF5Qdw6b-efyrVpc1P8en-PJ8xf49bdZ |
| linkProvider | ProQuest |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=When+a+local+Hamiltonian+must+be+frustration-free&rft.jtitle=Proceedings+of+the+National+Academy+of+Sciences+-+PNAS&rft.au=Sattath%2C+Or&rft.au=Morampudi%2C+Siddhardh+C&rft.au=Laumann%2C+Chris+R&rft.au=Moessner%2C+Roderich&rft.date=2016-06-07&rft.eissn=1091-6490&rft.volume=113&rft.issue=23&rft.spage=6433&rft_id=info:doi/10.1073%2Fpnas.1519833113&rft_id=info%3Apmid%2F27199483&rft_id=info%3Apmid%2F27199483&rft.externalDocID=27199483 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1091-6490&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1091-6490&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1091-6490&client=summon |