View
49
Download
0
Category
Preview:
DESCRIPTION
de Finetti theorems and PCP conjectures. Aram Harrow (MIT) DAMTP, 26 Mar 2013 based on arXiv:1210.6367 + arXiv:13??.???? joint work with Fernando Brandão (UCL). Symmetric States. is permutation symmetric in the B subsystems if for every permutation π,. …. B 1. B 2. A. - PowerPoint PPT Presentation
Citation preview
de Finetti theoremsand
PCP conjectures
Aram Harrow (MIT)DAMTP, 26 Mar 2013
based on arXiv:1210.6367 + arXiv:13??.????joint work with Fernando Brandão (UCL)
Symmetric States is permutation symmetric in the B subsystems if for every permutation π,
…
Bn-1 Bn
A B1 B2 Bn-1B4 B3 Bn
A B1 B2
…B3 B4
=
Quantum de Finetti Theorem
builds on work by [Størmer ’69], [Hudson, Moody ’76], [Raggio, Werner ’89][Caves, Fuchs, Schack ‘01], [Koenig, Renner ‘05]
Proof idea:Perform an informationally complete measurement of n-k B systems.
Theorem [Christandl, Koenig, Mitchison, Renner ‘06]
Given a state symmetric under exchange of B1…Bn, there exists µ such that
Applications:information theory: tomography, QKD, hypothesis testing algorithms: approximating separable states, mean-field theory
Quantum de Finetti Theorem as Monogamy of Entanglement
separable = ∞-
extendable
100-extendable
all quantum states (= 1-extendable)2-extendable
Algorithms: Can search/optimize over n-extendable states in time dO(n).Question: How close are n-extendable states to separable states?
Definition: ρAB is n-extendable if there exists an extension with for each i.
Quantum de Finetti theorem
Difficulty:1. Parameters are, in many cases, too weak.2. They are also essentially tight.
Theorem [Christandl, Koenig, Mitchison, Renner ‘06]
Given a state symmetric under exchange of B1…Bn, there exists µ such that
Way forward:1. Change definitions (of error or i.i.d.)2. Obtain better scaling
relaxed/improved versionsTwo examples known:
1. Exponential de Finetti Theorem: [Renner ’07]error term exp(-Ω(n-k)). Target state convex combination of “almost i.i.d.” states.
2. measure error in 1-LOCC norm [Brandão, Christandl, Yard ’10]For error ε and k=1, requires n ~ ε-2 log|A|.
This talkimproved de Finetti theorems for local
measurements
main ideause information theory
I(A:Bt|B1…Bt-1) ≤ log(|A|)/n for some t≤n.
repeatedly uses chain rule: I(A:BC) = I(A:B) + I(A:C|B)
log |A| ≥ I(A:B1…Bn) = I(A:B1) + I(A:B2|B1) + … + I(A:Bn|B1…Bn-1)
If B1…Bn were classical, then we would have
distributionon B1…Bt-1
≈product state(cf. Pinsker ineq.)
Question: How to make B1…n classical?
≈separable
Answer: measure!Fix a measurement M:BY.I(A:Bt|B1…Bt-1) ≤ εfor the measured state (id ⊗ M⊗n)(ρ).
Then• ρAB is hard to distinguish from σ∈Sep if we first apply (id⊗M)• || (id⊗M)(ρ-σ)|| ≤ small for some σ∈Sep.
Cor: setting Λ=id recovers [Brandão, Christandl, Yard ’10] 1-LOCC result.
Theorem Given a state symmetric under exchange of B1…Bn, and {Λr} a collection of operations from AX,
the proof Friendly advice:You can find theseequations in 1210.6367.
beware:X is quantum
advantages/extensions
1. Simpler proof and better constants2. Bound depends on |X| instead of |A| (A can be ∞-dim)3. Applies to general non-signalling distributions4. There is a multipartite version (multiply error by k)5. Efficient “rounding” (i.e. σ is explicit)6. Symmetry isn’t required
Theorem Given a state symmetric under exchange of B1…Bn, and {Λr} a collection of operations from AX,
applications• nonlocal games
Adding symmetric provers “immunizes” against entanglement /non-signalling boxes. (Caveat: needs uncorrelated questions.)Conjectured improvement would yield NP-hardness for 4 players.
• BellQMA(poly) = QMAProves Chen-Drucker SAT∈BellQMAlog(n)(√n) protocol is optimal.
• pretty good tomography [Aaronson ’06]on permutation-symmetric states (instead of product states)
• convergence of Lasserre hierarchy for polynomial optimizationsee also 1205.4484 for connections to small-set expansion
non-local games
rx
y
q
|Ãi
non-local games
rx
yq
|ÃiNon-Local Game G(π, V):π(r, q): distribution on R x QV(x, y|r, q): predicate on X x Y x R x Q
Classical value:
Quantum value:
sup over measurements and |Ãi of unbounded dim
previous results• [Bell ’64]
There exist G with ωe(G) > ωc(G)
• PCP theorem [Arora et al ‘98 and Raz ’98] For any ε>0, it is NP-complete to determine whetherωc < ε or ωc > 1-ε(even for XOR games).
• [Cleve, Høyer, Toner, Watrous ’04]Poly-time algorithm to compute ωe for two-player XOR games.
• [Kempe, Kobayashi, Matsumoto, Toner, Vidick ’07]NP-hard to distinguish ωe(G) = 1 from ωe(G) < 1-1/poly(|G|)
• [Ito-Vidick ‘12 and Vidick ’13]NP-hard to distinguish ωe(G) > 1-ε from ωe(G) < ½ +εfor three-player XOR games
immunizing against entanglement
rx y3 q
|Ãi
y1q y2 q
y4
q
complexity of non-local games
Cor: Let G(π,V) be a 2-player free game with questions in R×Q and answers in X×Y, where π=πR⊗πQ. Then there exists an (n+1)-player game G’(π’,V’) with questions in R×(Q1×…×Qn) and answers in X×(Y1×…×Yn), such that
Implies:1. an exp(log(|X|) log(|Y|)) algo for approximating ωc2. ωe is hard to approximate for free games.
why free games?Theorem Given a state symmetric under exchange of B1…Bn, and {Λr} a collection of operations from AX,
∃σ ∀q for most r ρ and σ give similar answersConjecture Given a state symmetric under exchange of B1…Bn, and {Λr} a collection of operations from AX,
• Would give alternate proof of Vidick result.• FALSE for non-signalling distributions.
QCC…C de FinettiTheorem If is permutation symmetric then for every k there exists µ s.t.
Applications• QMA = QMA with multiple provers and Bell
measurements• convergence of sum-of-squares hierarchy for
polynomial optimization• Aaronson’s pretty-good tomography with symmetric
states
de Finetti without symmetry
Theorem [Christandl, Koenig, Mitchison, Renner ‘05]
Given a state , there exists µ such that
TheoremFor ρ a state on A1A2…An and any t ≤ n-k, there exists m≤t such that
where σ is the state resulting from measuring j1,…,jm and obtaining outcomes a1,…,am.
PCP theoremClassical k-CSPs:Given constraints C={Ci}, choose an assignment σ mapping n variables to an alphabet ∑ to minimize the fraction of unsatisfied constraints.
UNSAT(C) = minσ Pri [σ fails to satisfy Ci]
Example: 3-SAT:NP-hard to determine if UNSAT(C)=0 or UNSAT(C) ≥ 1/n3
PCP (probabilistically checkable proof) theorem:NP-hard to determine if UNSAT(C)=0 or UNSAT(C) ≥ 0.1
Local Hamiltonian problem
LOCAL-HAM: k-local Hamiltonian ground-state energy estimationLet H = 𝔼i Hi, with each Hi acting on k qubits, and ||Hi||≤1 i.e. Hi = Hi,1 ⊗ Hi,2 ⊗ … ⊗ Hi,n, with #{j : Hi,j≠I} ≤ k
Goal: Estimate E0 = minψhÃ|H|Ãi = min½ tr HρHardness• Includes k-CSPs, so ±0.1 error is NP-hard by PCP
theorem.• QMA-complete with 1/poly(n) error [Kitaev ’99]
QMA = quantum proof, bounded-error polytime quantum verifierQuantum PCP conjecture
LOCAL-HAM is QMA-hard for some constant error ε>0.Can assume k=2 WLOG [Bravyi, DiVincenzo, Terhal, Loss ‘08]
high-degree in NP
Idea: use product statesE0 ≈ min tr H(Ã1 … Ãn) – O(d/D1/8)
TheoremIt is NP-complete to estimate E0 for n qudits on a D-regular graph to additive error » d / D1/8.
By constrast2-CSPs are NP-hard to approximate to error |§|®/D¯ for any ®,¯>0
intuition: mean-field theory
1-D
2-D
3-D
∞-D
Proof of PCP no-go theorem
1. Measure εn qudits and condition on outcomes.Incur error ε.
2. Most pairs of other qudits would have mutual information≤ log(d) / εD if measured.
3. Thus their state is within distance d3(log(d) / εD)1/2 of product.
4. Witness is a global product state. Total error isε + d3(log(d) / εD)1/2.Choose ε to balance these terms.
other applications
PTAS for planar graphsBuilds on [Bansal, Bravyi, Terhal ’07] PTAS for bounded-degree planar graphs
PTAS for Dense k-local Hamiltoniansimproves on 1/dk-1 +εapproximation from [Gharibian-Kempe ’11]
Algorithms for graphs with low threshold rank Extends result of [Barak, Raghavendra, Steurer ’11].run-time for ε-approximation isexp(log(n) poly(d/ε) ⋅#{eigs of adj. matrix ≥ poly(ε/d)})
open questions• Is QMA(2) = QMA? Is SAT∈QMA√n(2)1,1/2 optimal?
(Would follow from replacing 1-LOCC with SEP-YES.)• Can we reorder our quantifiers to get a dimension-independent
bound for correlated local measurements?• (Especially if your name is Graeme Mitchison)
Representation theory results -> de Finetti theoremsWhat about the other direction?
• The usual de Finetti questions:• better counter-examples• how much does it help to add PPT constraints?
• The unique games conjecture is ≈equivalent to determining whether max {tr Mρ:ρ∈Sep} is ≥c1/d or ≤c2/d for c1≫c2≫1 and M a LO measurement. Can we get an algorithm for this using de Finetti?
• Weak additivity? The Quantum PCP conjecture?arXiv:1210.6367
Recommended