fernando g.s.l. brand ão imperial -> ucl based on joint work with a. harrow paris, april...
DESCRIPTION
Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013. Product-State Approximations to Quantum Groundstates. Quantum Many-Body Systems. Quantum Hamiltonian . - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/1.jpg)
Product-State Approximations to Quantum Groundstates
Fernando G.S.L. BrandãoImperial -> UCL
Based on joint work with A. Harrow
Paris, April 2013
![Page 2: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/2.jpg)
Quantum Many-Body Systems
iHdC
n
Quantum Hamiltonian
Interested in computing properties such as minimum energy, correlations functions at zero and finite temperature, dynamical properties, …
![Page 3: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/3.jpg)
Quantum Hamiltonian Complexity…analyzes quantum many-body physics through the computational lens
1. Relevant for condensed matter physics, quantum chemistry, statistical mechanics, quantum information
2. Natural generalization of the study of constraint satisfaction problems in theoretical computer science
![Page 4: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/4.jpg)
Constraint Satisfaction Problems vs Local Hamiltonians
k-arity CSP:
Variables {x1, …, xn}, alphabet Σ
Constraints:
Assignment:
Unsat :=
![Page 5: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/5.jpg)
Constraint Satisfaction Problems vs Local Hamiltonians
k-arity CSP:
Variables {x1, …, xn}, alphabet Σ
Constraints:
Assignment:
Unsat :=
k-local Hamiltonian H:
n qudits in
Constraints:
qUnsat := E0 : min eigenvalue
H1
qudit
![Page 6: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/6.jpg)
C. vs Q. Optimal AssignmentsFinding optimal assignment of CSPs can be hard
![Page 7: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/7.jpg)
C. vs Q. Optimal AssignmentsFinding optimal assignment of CSPs can be hard
Finding optimal assignment of quantum CSPs can be even harder
(BCS Hamiltonian groundstate, Laughlin states for FQHE,…)
![Page 8: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/8.jpg)
C. vs Q. Optimal AssignmentsFinding optimal assignment of CSPs can be hard
Finding optimal assignment of quantum CSPs can be even harder
(BCS Hamiltonian groundstate, Laughlin states for FQHE,…)
Main difference: Optimal Assignment can be a highly entangled state (unit vector in )
![Page 9: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/9.jpg)
Optimal Assignments:Entangled States
Non-entangled state:
e.g.
Entangled states:
e.g.
To describe a general entangled state of n spins requires exp(O(n)) bits
![Page 10: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/10.jpg)
How Entangled?
Given bipartite entangled state
the reduced state on A is mixed:
The more mixed ρA, the more entangled ψAB:
Quantitatively: E(ψAB) := S(ρA) = -tr(ρA log ρA)
Is there a relation between the amount of entanglement in the ground-state and the computational complexity of the model?
![Page 11: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/11.jpg)
NP ≠ Non-PolynomialNP is the class of problems for which one can check the correctness of a potential solution efficiently (in polynomial time)
E.g. Graph Coloring: Given a graph and 3 colors, color the graph such that no two neighboring vertices have the same color
3-coloring
![Page 12: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/12.jpg)
NP ≠ Non-PolynomialNP is the class of problems for which one can check the correctness of a potential solution efficiently (in polynomial time)
E.g. Graph Coloring: Given a graph and 3 colors, color the graph such that no two neighboring vertices have the same color
3-coloring
The million dollars question:
Is P = NP?
![Page 13: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/13.jpg)
NP-hardnessA problem is NP-hard if any other problem in NP can be reduced to it in polynomial time.
E.g. 3-SAT: CSP with binary variables x1, …, xn and constraints {Ci},
Cook-Levin Theorem: 3-SAT is NP-hard
![Page 14: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/14.jpg)
NP-hardnessA problem is NP-hard if any other problem in NP can be reduced to it in polynomial time.
E.g. 3-SAT: CSP with binary variables x1, …, xn and constraints {Ci},
Cook-Levin Theorem: 3-SAT is NP-hard
E.g. There is an efficient mapping between graphs and 3-SAT formulas such that given a graph G and the associated 3-SAT formula S
G is 3-colarable <-> S is satisfiable
![Page 15: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/15.jpg)
NP-hardnessA problem is NP-hard if any other problem in NP can be reduced to it in polynomial time.
E.g. 3-SAT: CSP with binary variables x1, …, xn and constraints {Ci},
Cook-Levin Theorem: 3-SAT is NP-hard
E.g. There is an efficient mapping between graphs and 3-SAT formulas such that given a graph G and the associated 3-SAT formula S
G is 3-colarable <-> S is satisfiable
NP-complete: NP-hard + inside NP
![Page 16: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/16.jpg)
Complexity of qCSPSince computing the ground-energy of local Hamiltonians is a generalization of solving CSPs, the problem is at least NP-hard.
Is it in NP? Or is it harder?
The fact that the optimal assignment is a highly entangled state might make things harder…
![Page 17: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/17.jpg)
The Local Hamiltonian ProblemProblemGiven a local Hamiltonian H, decide if E0(H)=0 or E0(H)>Δ
E0(H) : minimum eigenvalue of H
Thm (Kitaev ‘99) The local Hamiltonian problem is QMA-complete for Δ = 1/poly(n)
![Page 18: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/18.jpg)
The Local Hamiltonian ProblemProblemGiven a local Hamiltonian H, decide if E0(H)=0 or E0(H)>Δ
E0(H) : minimum eigenvalue of H
Thm (Kitaev ‘99) The local Hamiltonian problem is QMA-complete for Δ = 1/poly(n)
(analogue Cook-Levin thm)
QMA is the quantum analogue of NP, where the proof and the computation are quantum.
Input Witness
U1
…. U5U4 U3 U2
![Page 19: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/19.jpg)
The meaning of it
It’s widely believed QMA ≠ NP
Thus, there is generally no efficient classical description of groundstates of local Hamiltonians
Even very simple models are QMA-completeE.g. (Aharonov, Irani, Gottesman, Kempe ‘07) 1D models
“1D systems as hard as the general case”
![Page 20: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/20.jpg)
The meaning of it
It’s widely believed QMA ≠ NP
Thus, there is generally no efficient classical description of groundstates of local Hamiltonians
Even very simple models are QMA-completeE.g. (Aharonov, Irani, Gottesman, Kempe ‘07) 1D models
“1D systems as hard as the general case”
What’s the role of the acurracy Δ on the hardness?
… But first what happens classically?
![Page 21: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/21.jpg)
PCP TheoremPCP Theorem (Arora et al ’98, Dinur ‘07): There is a ε > 0 s.t.it’s NP-complete to determine whether for a CSP with m constraints, Unsat = 0 or Unsat > εm
- NP-hard even for Δ=Ω(m)
- Equivalent to the existence of Probabilistically Checkable Proofs for NP.
- Central tool in the theory of hardness of approximation (optimal threshold for 3-SAT (7/8-factor), max-clique (n1-ε-factor)) (obs: Unique Game Conjecture is about the existence of strong form of PCP)
![Page 22: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/22.jpg)
PCP TheoremPCP Theorem (Arora et al ’98, Dinur ‘07): There is a ε > 0 s.t.it’s NP-complete to determine whether for a CSP with m constraints, Unsat = 0 or Unsat > εm
- NP-hard even for Δ=Ω(m)
- Equivalent to the existence of Probabilistically Checkable Proofs for NP.
- Central tool in the theory of hardness of approximation (optimal threshold for 3-SAT (7/8-factor), max-clique (n1-ε-factor)) (obs: Unique Game Conjecture is about the existence of strong form of PCP)
![Page 23: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/23.jpg)
PCP TheoremPCP Theorem (Arora et al ’98, Dinur ‘07): There is a ε > 0 s.t.it’s NP-complete to determine whether for a CSP with m constraints, Unsat = 0 or Unsat > εm
- NP-hard even for Δ=Ω(m)
- Equivalent to the existence of Probabilistically Checkable Proofs for NP.
- Central tool in the theory of hardness of approximation (optimal threshold for 3-SAT (7/8-factor), max-clique (n1-ε-factor)) (obs: Unique Game Conjecture is about the existence of strong form of PCP)
![Page 24: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/24.jpg)
PCP TheoremPCP Theorem (Arora et al ’98, Dinur ‘07): There is a ε > 0 s.t.it’s NP-complete to determine whether for a CSP with m constraints, Unsat = 0 or Unsat > εm
- NP-hard even for Δ=Ω(m)
- Equivalent to the existence of Probabilistically Checkable Proofs for NP.
- Central tool in the theory of hardness of approximation (optimal threshold for 3-SAT (7/8-factor), max-clique (n1-ε-factor))
![Page 25: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/25.jpg)
Quantum PCP?The qPCP conjecture: There is ε > 0 s.t. the following problem is QMA-complete: Given 2-local Hamiltonian H with m local terms determine whether (i) E0(H)=0 or (ii) E0(H) > εm.
- (Bravyi, DiVincenzo, Loss, Terhal ‘08) Equivalent to conjecture for O(1)-local Hamiltonians over qdits.
- Equivalent to estimating mean groundenergy to constant accuracy (eo(H) := E0(H)/m)
- And related to estimating energy at constant temperature
- At least NP-hard (by PCP Thm) and in QMA
![Page 26: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/26.jpg)
Quantum PCP?The qPCP conjecture: There is ε > 0 s.t. the following problem is QMA-complete: Given 2-local Hamiltonian H with m local terms determine whether (i) E0(H)=0 or (ii) E0(H) > εm.
- (Bravyi, DiVincenzo, Loss, Terhal ‘08) Equivalent to conjecture for O(1)-local Hamiltonians over qdits.
- Equivalent to estimating mean groundenergy to constant accuracy (eo(H) := E0(H)/m)
- And related to estimating energy at constant temperature
- At least NP-hard (by PCP Thm) and in QMA
![Page 27: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/27.jpg)
Quantum PCP?The qPCP conjecture: There is ε > 0 s.t. the following problem is QMA-complete: Given 2-local Hamiltonian H with m local terms determine whether (i) E0(H)=0 or (ii) E0(H) > εm.
- (Bravyi, DiVincenzo, Loss, Terhal ‘08) Equivalent to conjecture for O(1)-local Hamiltonians over qdits.
- Equivalent to estimating mean groundenergy to constant accuracy (eo(H) := E0(H)/m)
- And related to estimating energy at constant temperature
- At least NP-hard (by PCP Thm) and in QMA
![Page 28: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/28.jpg)
Quantum PCP?The qPCP conjecture: There is ε > 0 s.t. the following problem is QMA-complete: Given 2-local Hamiltonian H with m local terms determine whether (i) E0(H)=0 or (ii) E0(H) > εm.
- (Bravyi, DiVincenzo, Loss, Terhal ‘08) Equivalent to conjecture for O(1)-local Hamiltonians over qdits.
- Equivalent to estimating mean groundenergy to constant accuracy (eo(H) := E0(H)/m)
- Related to estimating energy at constant temperature
- At least NP-hard (by PCP Thm) and in QMA
![Page 29: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/29.jpg)
Quantum PCP?The qPCP conjecture: There is ε > 0 s.t. the following problem is QMA-complete: Given 2-local Hamiltonian H with m local terms determine whether (i) E0(H)=0 or (ii) E0(H) > εm.
- (Bravyi, DiVincenzo, Loss, Terhal ‘08) Equivalent to conjecture for O(1)-local Hamiltonians over qdits.
- Equivalent to estimating mean groundenergy to constant accuracy (eo(H) := E0(H)/m)
- Related to estimating energy at constant temperature
- At least NP-hard (by PCP Thm) and in QMA
![Page 30: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/30.jpg)
Quantum PCP?
NP
QMAqPCP?
?
![Page 31: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/31.jpg)
Previous Work and Obstructions
(Aharonov, Arad, Landau, Vazirani ‘08) Quantum version of 1 of 3 parts of Dinur’s proof of the PCP thm (gap amplification)
But: The other two parts (alphabet and degree reductions) involve massive copying of information; not clear how to do it with a highly entangled assignment
![Page 32: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/32.jpg)
Previous Work and Obstructions
(Aharonov, Arad, Landau, Vazirani ‘08) Quantum version of 1 of 3 parts of Dinur’s proof of the PCP thm (gap amplification)
But: The other two parts (alphabet and degree reductions) involve massive copying of information; not clear how to do it with a highly entangled assignment
(Bravyi, Vyalyi ’03; Arad ’10; Hastings ’12; Freedman, Hastings ’13; Aharonov, Eldar ’13, …) No-go for large class of commuting Hamiltonians and almost commuting Hamiltonians
But: Commuting case might always be in NP
![Page 33: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/33.jpg)
Going Forward
• Can we understand why got stuck in quantizing the classical proof?
• Can we prove partial no-go beyond commuting case?
Yes, by considering the simplest possible reduction from quantum Hamiltonians to CSPs.
![Page 34: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/34.jpg)
Mean-Field……consists in approximating groundstate by a product state
is a CSP
Successful heuristic in Quantum Chemistry (Hartree-Fock) Condensed matter (e.g. BCS theory)
Folklore: Mean-Field good when Many-particle interactions Low entanglement in state
It’s a mapping from quantum Hamiltonians to CSPs
![Page 35: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/35.jpg)
Approximation in NP(B., Harrow ‘12) Let H be a 2-local Hamiltonian on qudits with interaction graph G(V, E) and |E| local terms.
![Page 36: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/36.jpg)
Approximation in NP(B., Harrow ‘12) Let H be a 2-local Hamiltonian on qudits with interaction graph G(V, E) and |E| local terms.
Let {Xi} be a partition of the sites with each Xi having m sites.
X1
X3X2
m < O(log(n))
![Page 37: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/37.jpg)
Approximation in NP(B., Harrow ‘12) Let H be a 2-local Hamiltonian on qudits with interaction graph G(V, E) and |E| local terms.
Let {Xi} be a partition of the sites with each Xi having m sites.
X1
X3X2
m < O(log(n))
Ei : expectation over Xi
deg(G) : degree of GΦ(Xi) : expansion of Xi
S(Xi) : entropy of groundstate in Xi
![Page 38: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/38.jpg)
Approximation in NP(B., Harrow ‘12) Let H be a 2-local Hamiltonian on qudits with interaction graph G(V, E) and |E| local terms.
Let {Xi} be a partition of the sites with each Xi having m sites. Then there are products states ψi in Xi s.t.
Ei : expectation over Xi
deg(G) : degree of GΦ(Xi) : expansion of Xi
S(Xi) : entropy of groundstate in Xi
X1
X3X2
m < O(log(n))
![Page 39: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/39.jpg)
Approximation in NP(B., Harrow ‘12) Let H be a 2-local Hamiltonian on qudits with interaction graph G(V, E) and |E| local terms.
Let {Xi} be a partition of the sites with each Xi having m sites. Then there are products states ψi in Xi s.t.
Ei : expectation over Xi
deg(G) : degree of GΦ(Xi) : expansion of Xi
S(Xi) : entropy of groundstate in Xi
X1
X3X2
Approximation in terms of 3 parameters:
1. Average expansion2. Degree interaction graph3. Average entanglement groundstate
![Page 40: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/40.jpg)
Approximation in terms of average expansion
Average Expansion:
Well known fact: ‘s divide and conquer
Potential hard instances must be based on expanding graphs
X1
X3X2
m < O(log(n))
![Page 41: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/41.jpg)
Approximation in terms of degree
No classical analogue:
(PCP + parallel repetition) For all α, β, γ > 0 it’s NP-complete to determine whether a CSP C is s.t. Unsat = 0 or Unsat > α Σβ/deg(G)γ
Parallel repetition: C -> C’ i. deg(G’) = deg(G)k ii. Σ’ = Σk
ii. Unsat(G’) > Unsat(G)(Raz ‘00) even showed Unsat(G’) approaches 1 exponentially fast
![Page 42: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/42.jpg)
Approximation in terms of degree
No classical analogue:
(PCP + parallel repetition) For all α, β, γ > 0 it’s NP-complete to determine whether a CSP C is s.t. Unsat = 0 or Unsat > α Σβ/deg(G)γ
Q. Parallel repetition: H -> H’ i. deg(H’) = deg(H)k ????? ii. d’ = dk
iii. e0(H’) > e0(H)
![Page 43: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/43.jpg)
Approximation in terms of degree
No classical analogue:
(PCP + parallel repetition) For all α, β, γ > 0 it’s NP-complete to determine whether a CSP C is s.t. Unsat = 0 or Unsat > α Σβ/deg(G)γ
Contrast: It’s in NP determine whether a Hamiltonian H is s.t e0(H)=0 or e0(H) > αd3/4/deg(G)1/8
Quantum generalizations of PCP and parallel repetition cannot both be true (assuming QMA not in NP)
![Page 44: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/44.jpg)
Approximation in terms of degree
Bound: ΦG < ½ - Ω(1/deg) implies
Highly expanding graphs (ΦG -> 1/2) are not hard instances
Obs: (Aharonov, Eldar ‘13) k-local, commuting models
![Page 45: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/45.jpg)
Approximation in terms of degree
1-D
2-D
3-D
∞-D…shows mean field becomes exact in high dim
Rigorous justification to folklore in condensed matter physics
![Page 46: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/46.jpg)
Approximation in terms of average entanglement
Mean field works well if entanglement of groundstate satisfies a subvolume law:
Connection of amount of entanglement in groundstate and computational complexity of the model
X1
X3X2
m < O(log(n))
![Page 47: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/47.jpg)
Approximation in terms of average entanglement
Systems with low entanglement are expected to be easy
So far only precise in 1D: Area law for entanglement -> MPS description
Here:Good: arbitrary lattice, only subvolume law
Bad: Only mean energy approximated well
![Page 48: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/48.jpg)
New Classical Algorithms for Quantum Hamiltonians
Following same approach we also obtain polynomial time algorithms for approximating the groundstate energy of
1. Planar Hamiltonians, improving on (Bansal, Bravyi, Terhal ‘07)2. Dense Hamiltonians, improving on (Gharibian, Kempe ‘10)3. Hamiltonians on graphs with low threshold rank, building on
(Barak, Raghavendra, Steurer ‘10)
In all cases we prove that a product state does a good job and use efficient algorithms for CSPs.
![Page 49: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/49.jpg)
Proof Idea: Monogamy of Entanglement
Cannot be highly entangled with too many neighbors
Entropy quantifies how entangled it can be
Proof uses information-theoretic techniques to make this intuition precise
Inspired by classical information-theoretic ideas for bounding convergence of SoS hierarchy for CSPs (Tan, Raghavendra ‘10, Barak, Raghavendra, Steurer ‘10)
![Page 50: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/50.jpg)
Tool: Information Theory1. Mutual Information
2. Pinsker’s inequality
3. Conditional Mutual Information
4. Chain Rule
for some t<k
![Page 51: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/51.jpg)
Conditioning DecouplesIdea that almost works (c.f. Raghavendra-Tan ‘11)
1. Choose i, j1, …, jk at random from {1, …, n}.Then there exists t<k such that
i
j1
j2
jk
![Page 52: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/52.jpg)
Conditioning Decouples2. Conditioning on subsystems j1, …, jt causes, on average, error <k/n and leaves a distribution q for which
j1
jt
j2
![Page 53: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/53.jpg)
Conditioning Decouples2. Conditioning on subsystems j1, …, jt causes, on average, error <k/n and leaves a distribution q for which
which implies
j1
jt
j2
![Page 54: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/54.jpg)
Conditioning Decouples2. Conditioning on subsystems j1, …, jt causes, on average, error <k/n and leaves a distribution q for which
which implies
By Pinsker’s:
j1
jt
j2
![Page 55: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/55.jpg)
Conditioning Decouples2. Conditioning on subsystems j1, …, jt causes, on average, error <k/n and leaves a distribution q for which
which implies
By Pinsker’s:
j1
jt
j2
Choosing k = εn
![Page 56: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/56.jpg)
Quantum Information?Nature isn't classical, dammit,
and if you want to make a simulation of Nature, you'd
better make it quantum mechanical, and by golly it's a wonderful problem, because it
doesn't look so easy.
![Page 57: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/57.jpg)
Quantum Information?Nature isn't classical, dammit,
and if you want to make a simulation of Nature, you'd
better make it quantum mechanical, and by golly it's a wonderful problem, because it
doesn't look so easy.
Bad news• Only definition I(A:B|C)=H(AC)
+H(BC)-H(ABC)-H(C)• Can’t condition on quantum
information• I(A:B|C)ρ ≈ 0 doesn’t imply ρAB is
approximately product by meas. C(Ibinson, Linden, Winter ’08)
Good news• I(A:B|C) still defined• Chain rule, etc. still hold• I(A:B|C)ρ=0 implies ρAB is product by measuring C (Hayden, Jozsa, Petz, Winter‘03)
information theory
![Page 58: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/58.jpg)
Really Good News: Informationally Complete Measurements
There exists an informationally-complete measurement M(ρ) = Σk tr(Mkρ) |k><k| s.t. for ρ, σ in D(Cd)
and for all k and ρ1…k, σ1…k in D((Cd)k)
![Page 59: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/59.jpg)
Proof Overview1. Measure εn qudits with M and condition on outcomes.
Incur error ε.
2. Most pairs of other qudits would have mutual information ≤ log(d) / ε deg(G) if measured.
3. Thus their state is within distance d3(log(d) / ε deg(G))1/2 of product.
4. Witness is a global product state. Total error isε + d6(log(d) / ε deg(G))1/2.Choose ε to balance these terms.
5. General case follows by coarse graining sites (can replace log(d) by Ei H(Xi))
![Page 60: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/60.jpg)
Proof OverviewLet
…
previous argument
q: probability distribution obtained conditioning on zj1, …, zjt
![Page 61: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/61.jpg)
Proof Overview
σ: probability distribution obtained by measuring M on j1, …, jt and conditioning on outcome
info complete measurement
![Page 62: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/62.jpg)
Conclusions
• Can approximate mean energy in terms of degree and amount of entanglement: Monogamy of entanglement in groundstates
• Mean field exact in the limit of large dimensions
• No-go against qPCP + “quantum parallel repetition”
• Tools from information theory are useful
![Page 63: Fernando G.S.L. Brand ão Imperial -> UCL Based on joint work with A. Harrow Paris, April 2013](https://reader036.vdocuments.net/reader036/viewer/2022062315/5681652c550346895dd7afb0/html5/thumbnails/63.jpg)
Open Questions• Go beyond mean field
• Is there a meaningful notion of parallel repetition for qCSP?
• Does every groundstate have subvolume entanglement after constant-depth-circuit renormalization?
• Find more classes of Hamiltonians with efficient algorithms
• (dis)prove qPCP conjecture!
• Mean field exact in the limit of large dimensions
• No-go against qPCP + “quantum parallel repetition”
• Tools from information theory are useful!