![Page 1: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/1.jpg)
IntroductionProof Technique
Conclusions
Improved Semidefinite ProgrammingHierarchy for Entanglement Testing
with tools from Algebraic Geometry
Aram W. Harrow, Anand Natarajan, Xiaodi Wu
MIT Center for Theoretical Physics
IQC Colloquium, Nov 17th 2014
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 2: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/2.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Entanglement Detection
Definition (Separable and Entangled States)A bi-partitie state ρ ∈ D (X ⊗ Y) is separable if ∃ dist. pi,
ρ =∑
piσiX ⊗ σ
iY , s.t. σi
X ∈ D (X ) , σiY ∈ D (Y) .
Otherwise, ρ is entangled. Let Sep def= separable states .
Definition (Entanglement Detection)A KEY problem: given the description of ρ ∈ D (X ⊗ Y), decide
Either ρ ∈ Sep, or ρ is far away from Sep.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 3: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/3.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Entanglement Detection
Definition (Separable and Entangled States)A bi-partitie state ρ ∈ D (X ⊗ Y) is separable if ∃ dist. pi,
ρ =∑
piσiX ⊗ σ
iY , s.t. σi
X ∈ D (X ) , σiY ∈ D (Y) .
Otherwise, ρ is entangled. Let Sep def= separable states .
Definition (Entanglement Detection)A KEY problem: given the description of ρ ∈ D (X ⊗ Y), decide
Either ρ ∈ Sep, or ρ is far away from Sep.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 4: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/4.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Alternative Formulation
Definition (Weak Membership)WMem(ε, ‖·‖) : for any ρ ∈ D (X ⊗ Y), decide either ρ ∈ Sep or‖ρ− Sep‖ ≥ ε.
Via standard techniques in convex optimization, equivalent to
Definition (Weak Optimization)WOpt(M, ε) : for any M ∈ Herm (X ⊗ Y), estimate the value of
maxρ∈Sep
〈M, ρ〉 ,
with additive error ε.
From now on, we focus on WOpt(M, ε).
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 5: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/5.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Alternative Formulation
Definition (Weak Membership)WMem(ε, ‖·‖) : for any ρ ∈ D (X ⊗ Y), decide either ρ ∈ Sep or‖ρ− Sep‖ ≥ ε.
Via standard techniques in convex optimization, equivalent to
Definition (Weak Optimization)WOpt(M, ε) : for any M ∈ Herm (X ⊗ Y), estimate the value of
maxρ∈Sep
〈M, ρ〉 ,
with additive error ε.
From now on, we focus on WOpt(M, ε).
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 6: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/6.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Alternative Formulation
Definition (Weak Membership)WMem(ε, ‖·‖) : for any ρ ∈ D (X ⊗ Y), decide either ρ ∈ Sep or‖ρ− Sep‖ ≥ ε.
Via standard techniques in convex optimization, equivalent to
Definition (Weak Optimization)WOpt(M, ε) : for any M ∈ Herm (X ⊗ Y), estimate the value of
maxρ∈Sep
〈M, ρ〉 ,
with additive error ε.
From now on, we focus on WOpt(M, ε).
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 7: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/7.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Connections
Quantum Information:Ground energy that is achieved by non-entangled states.Mean-field approximation in statistical quantum mechanics.Positivity test of quantum channels.17 more examples in quantum information in [HM10].
Quantum Complexity:Quantum Merlin-Arthur Game with Two-Provers (QMA(2)).
Classical Complexity:Unique Game Conjecture and Small-set Expansion.(`2 → `4 norm)
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 8: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/8.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Connections
Quantum Information:Ground energy that is achieved by non-entangled states.Mean-field approximation in statistical quantum mechanics.Positivity test of quantum channels.17 more examples in quantum information in [HM10].
Quantum Complexity:Quantum Merlin-Arthur Game with Two-Provers (QMA(2)).
Classical Complexity:Unique Game Conjecture and Small-set Expansion.(`2 → `4 norm)
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 9: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/9.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Connections
Quantum Information:Ground energy that is achieved by non-entangled states.Mean-field approximation in statistical quantum mechanics.Positivity test of quantum channels.17 more examples in quantum information in [HM10].
Quantum Complexity:Quantum Merlin-Arthur Game with Two-Provers (QMA(2)).
Classical Complexity:Unique Game Conjecture and Small-set Expansion.(`2 → `4 norm)
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 10: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/10.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Connections
Quantum Information:Ground energy that is achieved by non-entangled states.Mean-field approximation in statistical quantum mechanics.Positivity test of quantum channels.17 more examples in quantum information in [HM10].
Quantum Complexity:Quantum Merlin-Arthur Game with Two-Provers (QMA(2)).
Classical Complexity:Unique Game Conjecture and Small-set Expansion.(`2 → `4 norm)
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 11: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/11.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Connections
Quantum Information:Ground energy that is achieved by non-entangled states.Mean-field approximation in statistical quantum mechanics.Positivity test of quantum channels.17 more examples in quantum information in [HM10].
Quantum Complexity:Quantum Merlin-Arthur Game with Two-Provers (QMA(2)).
Classical Complexity:Unique Game Conjecture and Small-set Expansion.(`2 → `4 norm)
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 12: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/12.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Connections
Quantum Information:Ground energy that is achieved by non-entangled states.Mean-field approximation in statistical quantum mechanics.Positivity test of quantum channels.17 more examples in quantum information in [HM10].
Quantum Complexity:Quantum Merlin-Arthur Game with Two-Provers (QMA(2)).
Classical Complexity:Unique Game Conjecture and Small-set Expansion.(`2 → `4 norm)
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 13: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/13.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Early Attempts
Separability Criterions:
Positive Partial Transpose (PPT) : ρTY = ρ? [PH]Reduction Criterions: IX ⊗ ρY ≥ ρ ? [HH]· · · · · ·FAILURE: any such test has arbitrarily large error. [BS]
Doherty-Parrilo-Spedalieri (DPS) hierarchy:ρ is k -extendible if ∃ symmetric σ ∈ D (X ⊗ Y1 ⊗ · · · ⊗ Yk ),∀i , ρ = σXYi .ρ ∈ Sep if and only if ρ is k -extendible for any k ≥ 0.Semidefinite program (SDP): size exponential in k .
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 14: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/14.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Early Attempts
Separability Criterions:
Positive Partial Transpose (PPT) : ρTY = ρ? [PH]Reduction Criterions: IX ⊗ ρY ≥ ρ ? [HH]· · · · · ·FAILURE: any such test has arbitrarily large error. [BS]
Doherty-Parrilo-Spedalieri (DPS) hierarchy:ρ is k -extendible if ∃ symmetric σ ∈ D (X ⊗ Y1 ⊗ · · · ⊗ Yk ),∀i , ρ = σXYi .ρ ∈ Sep if and only if ρ is k -extendible for any k ≥ 0.Semidefinite program (SDP): size exponential in k .
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 15: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/15.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Early Attempts
Separability Criterions:
Positive Partial Transpose (PPT) : ρTY = ρ? [PH]Reduction Criterions: IX ⊗ ρY ≥ ρ ? [HH]· · · · · ·FAILURE: any such test has arbitrarily large error. [BS]
Doherty-Parrilo-Spedalieri (DPS) hierarchy:ρ is k -extendible if ∃ symmetric σ ∈ D (X ⊗ Y1 ⊗ · · · ⊗ Yk ),∀i , ρ = σXYi .ρ ∈ Sep if and only if ρ is k -extendible for any k ≥ 0.Semidefinite program (SDP): size exponential in k .
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 16: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/16.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Early Attempts
Separability Criterions:
Positive Partial Transpose (PPT) : ρTY = ρ? [PH]Reduction Criterions: IX ⊗ ρY ≥ ρ ? [HH]· · · · · ·FAILURE: any such test has arbitrarily large error. [BS]
Doherty-Parrilo-Spedalieri (DPS) hierarchy:ρ is k -extendible if ∃ symmetric σ ∈ D (X ⊗ Y1 ⊗ · · · ⊗ Yk ),∀i , ρ = σXYi .ρ ∈ Sep if and only if ρ is k -extendible for any k ≥ 0.Semidefinite program (SDP): size exponential in k .
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 17: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/17.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Early Attempts
Separability Criterions:
Positive Partial Transpose (PPT) : ρTY = ρ? [PH]Reduction Criterions: IX ⊗ ρY ≥ ρ ? [HH]· · · · · ·FAILURE: any such test has arbitrarily large error. [BS]
Doherty-Parrilo-Spedalieri (DPS) hierarchy:ρ is k -extendible if ∃ symmetric σ ∈ D (X ⊗ Y1 ⊗ · · · ⊗ Yk ),∀i , ρ = σXYi .ρ ∈ Sep if and only if ρ is k -extendible for any k ≥ 0.Semidefinite program (SDP): size exponential in k .
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 18: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/18.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Early Attempts
Separability Criterions:
Positive Partial Transpose (PPT) : ρTY = ρ? [PH]Reduction Criterions: IX ⊗ ρY ≥ ρ ? [HH]· · · · · ·FAILURE: any such test has arbitrarily large error. [BS]
Doherty-Parrilo-Spedalieri (DPS) hierarchy:ρ is k -extendible if ∃ symmetric σ ∈ D (X ⊗ Y1 ⊗ · · · ⊗ Yk ),∀i , ρ = σXYi .ρ ∈ Sep if and only if ρ is k -extendible for any k ≥ 0.Semidefinite program (SDP): size exponential in k .
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 19: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/19.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Early Attempts
Separability Criterions:
Positive Partial Transpose (PPT) : ρTY = ρ? [PH]Reduction Criterions: IX ⊗ ρY ≥ ρ ? [HH]· · · · · ·FAILURE: any such test has arbitrarily large error. [BS]
Doherty-Parrilo-Spedalieri (DPS) hierarchy:ρ is k -extendible if ∃ symmetric σ ∈ D (X ⊗ Y1 ⊗ · · · ⊗ Yk ),∀i , ρ = σXYi .ρ ∈ Sep if and only if ρ is k -extendible for any k ≥ 0.Semidefinite program (SDP): size exponential in k .
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 20: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/20.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Hardness
Let hSep(n)(M) denote the value of
max 〈M, ρ〉 s.t. ρ ∈ D (X ⊗ Y) is separable,
where n refers to the dimension of X ⊗ Y.
HardnessNP-hard to approximate hSep(n)(M) with additive errorε = 1/poly(n). [Gur03,Ioa07,Gha10], [deK08, LQNY09].Assuming Exponential Time Hypothesis (ETH), forconstant ε, approximate hSep(n)(M) needs nΩ(log(n)) time.via the connection to QMA(2). [HM, AB+]
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 21: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/21.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Hardness
Let hSep(n)(M) denote the value of
max 〈M, ρ〉 s.t. ρ ∈ D (X ⊗ Y) is separable,
where n refers to the dimension of X ⊗ Y.
HardnessNP-hard to approximate hSep(n)(M) with additive errorε = 1/poly(n). [Gur03,Ioa07,Gha10], [deK08, LQNY09].Assuming Exponential Time Hypothesis (ETH), forconstant ε, approximate hSep(n)(M) needs nΩ(log(n)) time.via the connection to QMA(2). [HM, AB+]
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 22: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/22.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Hardness
Let hSep(n)(M) denote the value of
max 〈M, ρ〉 s.t. ρ ∈ D (X ⊗ Y) is separable,
where n refers to the dimension of X ⊗ Y.
HardnessNP-hard to approximate hSep(n)(M) with additive errorε = 1/poly(n). [Gur03,Ioa07,Gha10], [deK08, LQNY09].Assuming Exponential Time Hypothesis (ETH), forconstant ε, approximate hSep(n)(M) needs nΩ(log(n)) time.via the connection to QMA(2). [HM, AB+]
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 23: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/23.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Upper bounds
When ε = 1/poly(n)
DPS to O(n/√ε) level: time (n/
√ε)O(n) → nO(n). [NOP]
Epsilon-net (brute-force): time (1/ε)O(n) → nO(n).
When ε = const
DPS to O(log(n)/ε2) level for 1-LOCC M: timenO(log(n)/ε2) → nO(log(n)). [BYC, BH]Epsilon-net for 1-LOCC M or M with small ‖M‖F: timesimilar to above. [SW, BH]
REMARK: all DPS results correspond to variants of quantumde Finetti theorem.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 24: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/24.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Upper bounds
When ε = 1/poly(n)
DPS to O(n/√ε) level: time (n/
√ε)O(n) → nO(n). [NOP]
Epsilon-net (brute-force): time (1/ε)O(n) → nO(n).
When ε = const
DPS to O(log(n)/ε2) level for 1-LOCC M: timenO(log(n)/ε2) → nO(log(n)). [BYC, BH]Epsilon-net for 1-LOCC M or M with small ‖M‖F: timesimilar to above. [SW, BH]
REMARK: all DPS results correspond to variants of quantumde Finetti theorem.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 25: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/25.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Upper bounds
When ε = 1/poly(n)
DPS to O(n/√ε) level: time (n/
√ε)O(n) → nO(n). [NOP]
Epsilon-net (brute-force): time (1/ε)O(n) → nO(n).
When ε = const
DPS to O(log(n)/ε2) level for 1-LOCC M: timenO(log(n)/ε2) → nO(log(n)). [BYC, BH]Epsilon-net for 1-LOCC M or M with small ‖M‖F: timesimilar to above. [SW, BH]
REMARK: all DPS results correspond to variants of quantumde Finetti theorem.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 26: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/26.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Upper bounds
When ε = 1/poly(n)
DPS to O(n/√ε) level: time (n/
√ε)O(n) → nO(n). [NOP]
Epsilon-net (brute-force): time (1/ε)O(n) → nO(n).
When ε = const
DPS to O(log(n)/ε2) level for 1-LOCC M: timenO(log(n)/ε2) → nO(log(n)). [BYC, BH]Epsilon-net for 1-LOCC M or M with small ‖M‖F: timesimilar to above. [SW, BH]
REMARK: all DPS results correspond to variants of quantumde Finetti theorem.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 27: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/27.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Upper bounds
When ε = 1/poly(n)
DPS to O(n/√ε) level: time (n/
√ε)O(n) → nO(n). [NOP]
Epsilon-net (brute-force): time (1/ε)O(n) → nO(n).
When ε = const
DPS to O(log(n)/ε2) level for 1-LOCC M: timenO(log(n)/ε2) → nO(log(n)). [BYC, BH]Epsilon-net for 1-LOCC M or M with small ‖M‖F: timesimilar to above. [SW, BH]
REMARK: all DPS results correspond to variants of quantumde Finetti theorem.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 28: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/28.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Upper bounds
When ε = 1/poly(n)
DPS to O(n/√ε) level: time (n/
√ε)O(n) → nO(n). [NOP]
Epsilon-net (brute-force): time (1/ε)O(n) → nO(n).
When ε = const
DPS to O(log(n)/ε2) level for 1-LOCC M: timenO(log(n)/ε2) → nO(log(n)). [BYC, BH]Epsilon-net for 1-LOCC M or M with small ‖M‖F: timesimilar to above. [SW, BH]
REMARK: all DPS results correspond to variants of quantumde Finetti theorem.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 29: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/29.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Upper bounds
When ε = 1/poly(n)
DPS to O(n/√ε) level: time (n/
√ε)O(n) → nO(n). [NOP]
Epsilon-net (brute-force): time (1/ε)O(n) → nO(n).
When ε = const
DPS to O(log(n)/ε2) level for 1-LOCC M: timenO(log(n)/ε2) → nO(log(n)). [BYC, BH]Epsilon-net for 1-LOCC M or M with small ‖M‖F: timesimilar to above. [SW, BH]
REMARK: all DPS results correspond to variants of quantumde Finetti theorem.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 30: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/30.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Landscape
Table: Known results about approximating hSep(n) to error ε
Error ε Lower bounds Upper b. (DPS) Upper b. (ε-net)1/poly(n) NP-hard (n/
√ε)O(n) (1/ε)O(n)
const nO(log(n)) nO(log(n)/ε2) similar to left(ETH) (1-LOCC) (1-LOCC)
REMARK: previous results focus on the dependence on n,which is sufficient for their purpose. However, the dependenceon ε could be bad.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 31: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/31.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Landscape
Table: Known results about approximating hSep(n) to error ε
Error ε Lower bounds Upper b. (DPS) Upper b. (ε-net)1/poly(n) NP-hard (n/
√ε)O(n) (1/ε)O(n)
const nO(log(n)) nO(log(n)/ε2) similar to left(ETH) (1-LOCC) (1-LOCC)
REMARK: previous results focus on the dependence on n,which is sufficient for their purpose. However, the dependenceon ε could be bad.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 32: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/32.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Landscape
Table: Known results about approximating hSep(n) to error ε
Error ε Lower bounds Upper b. (DPS) Upper b. (ε-net)1/poly(n) NP-hard poly(1/ε) poly(1/ε)
const nO(log(n)) exp(1/ε) similar to left(ETH) (1-LOCC) (1-LOCC)
REMARK: previous results focus on the dependence on n,which is sufficient for their purpose. However, the dependenceon ε could be bad. Is such dependence necessary?
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 33: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/33.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Landscape
Table: Known results about approximating hSep(n) to error ε
Error ε Lower bounds Upper b. (DPS) Upper b. (ε-net)1/poly(n) NP-hard poly(1/ε) poly(1/ε)
const nO(log(n)) exp(1/ε) similar to left(ETH) (1-LOCC) (1-LOCC)
REMARK: previous results focus on the dependence on n,which is sufficient for their purpose. However, the dependenceon ε could be bad. Is such dependence necessary?
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 34: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/34.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Error dependence could be SIGNIFICANT
Complexity could grow with 1/ε
Infinite translationally invariant Hamiltonian: thecomplexity grows rapidly with 1/ε even with fixed localdimension. [CPW]Quantum Interactive Proof: the complexity jumps fromPSPACE to EXP with smaller ε. [IKW]
Will approximating hSep(n) be such a case?
REMARK: It is not clear how to improve the error dependencefor either DPS or epsilon-net approach.
DPS hard due to tightness of de Finetti and k -extendibility.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 35: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/35.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Error dependence could be SIGNIFICANT
Complexity could grow with 1/ε
Infinite translationally invariant Hamiltonian: thecomplexity grows rapidly with 1/ε even with fixed localdimension. [CPW]Quantum Interactive Proof: the complexity jumps fromPSPACE to EXP with smaller ε. [IKW]
Will approximating hSep(n) be such a case?
REMARK: It is not clear how to improve the error dependencefor either DPS or epsilon-net approach.
DPS hard due to tightness of de Finetti and k -extendibility.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 36: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/36.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Error dependence could be SIGNIFICANT
Complexity could grow with 1/ε
Infinite translationally invariant Hamiltonian: thecomplexity grows rapidly with 1/ε even with fixed localdimension. [CPW]Quantum Interactive Proof: the complexity jumps fromPSPACE to EXP with smaller ε. [IKW]
Will approximating hSep(n) be such a case?
REMARK: It is not clear how to improve the error dependencefor either DPS or epsilon-net approach.
DPS hard due to tightness of de Finetti and k -extendibility.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 37: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/37.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Error dependence could be SIGNIFICANT
Complexity could grow with 1/ε
Infinite translationally invariant Hamiltonian: thecomplexity grows rapidly with 1/ε even with fixed localdimension. [CPW]Quantum Interactive Proof: the complexity jumps fromPSPACE to EXP with smaller ε. [IKW]
Will approximating hSep(n) be such a case?
REMARK: It is not clear how to improve the error dependencefor either DPS or epsilon-net approach.
DPS hard due to tightness of de Finetti and k -extendibility.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 38: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/38.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Error dependence could be SIGNIFICANT
Complexity could grow with 1/ε
Infinite translationally invariant Hamiltonian: thecomplexity grows rapidly with 1/ε even with fixed localdimension. [CPW]Quantum Interactive Proof: the complexity jumps fromPSPACE to EXP with smaller ε. [IKW]
Will approximating hSep(n) be such a case?
REMARK: It is not clear how to improve the error dependencefor either DPS or epsilon-net approach.
DPS hard due to tightness of de Finetti and k -extendibility.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 39: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/39.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Main Result
Error dependence about hSep(n)
NO error dependence except numerical errors.For analytical purposes, there is no error at all.Numerically, the dependence is polylog(1/ε), exponentialimprovement from best known poly(1/ε),exp(1/ε).
Moreover, the dependence on n remains the same.
Theorem (Main)There exist two algorithms that estimate hSep(n)(M) to error ε intime exp(poly(n)) poly log(1/ε). similar for the multi-partite case.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 40: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/40.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Main Result
Error dependence about hSep(n)
NO error dependence except numerical errors.For analytical purposes, there is no error at all.Numerically, the dependence is polylog(1/ε), exponentialimprovement from best known poly(1/ε),exp(1/ε).
Moreover, the dependence on n remains the same.
Theorem (Main)There exist two algorithms that estimate hSep(n)(M) to error ε intime exp(poly(n)) poly log(1/ε). similar for the multi-partite case.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 41: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/41.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Main Result
Error dependence about hSep(n)
NO error dependence except numerical errors.For analytical purposes, there is no error at all.Numerically, the dependence is polylog(1/ε), exponentialimprovement from best known poly(1/ε),exp(1/ε).
Moreover, the dependence on n remains the same.
Theorem (Main)There exist two algorithms that estimate hSep(n)(M) to error ε intime exp(poly(n)) poly log(1/ε). similar for the multi-partite case.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 42: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/42.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Main Result
Error dependence about hSep(n)
NO error dependence except numerical errors.For analytical purposes, there is no error at all.Numerically, the dependence is polylog(1/ε), exponentialimprovement from best known poly(1/ε),exp(1/ε).
Moreover, the dependence on n remains the same.
Theorem (Main)There exist two algorithms that estimate hSep(n)(M) to error ε intime exp(poly(n)) poly log(1/ε). similar for the multi-partite case.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 43: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/43.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Main Result
Error dependence about hSep(n)
NO error dependence except numerical errors.For analytical purposes, there is no error at all.Numerically, the dependence is polylog(1/ε), exponentialimprovement from best known poly(1/ε),exp(1/ε).
Moreover, the dependence on n remains the same.
Theorem (Main)There exist two algorithms that estimate hSep(n)(M) to error ε intime exp(poly(n)) poly log(1/ε). similar for the multi-partite case.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 44: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/44.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Two Algorithms
Quantifier EliminationBased on a generic quantifier elimination solver, to solve
∀W , [∀ |ψ〉 , |φ〉 , 〈ψ| 〈φ|W |ψ〉 |φ〉 ≥ 0 =⇒ 〈ρ,W 〉 ≥ 0].
No new insights into the problem. Omitted in this talk.
Improved DPS : DPS+Based on DPS hierarchy, with new constraints fromKarush-Kuhn-Tucker Conditions.Formulated as SDPs of similar sizes in terms of the level k .The new hierarchy is exact when k = exp(poly(n)).
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 45: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/45.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Two Algorithms
Quantifier EliminationBased on a generic quantifier elimination solver, to solve
∀W , [∀ |ψ〉 , |φ〉 , 〈ψ| 〈φ|W |ψ〉 |φ〉 ≥ 0 =⇒ 〈ρ,W 〉 ≥ 0].
No new insights into the problem. Omitted in this talk.
Improved DPS : DPS+Based on DPS hierarchy, with new constraints fromKarush-Kuhn-Tucker Conditions.Formulated as SDPs of similar sizes in terms of the level k .The new hierarchy is exact when k = exp(poly(n)).
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 46: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/46.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Two Algorithms
Quantifier EliminationBased on a generic quantifier elimination solver, to solve
∀W , [∀ |ψ〉 , |φ〉 , 〈ψ| 〈φ|W |ψ〉 |φ〉 ≥ 0 =⇒ 〈ρ,W 〉 ≥ 0].
No new insights into the problem. Omitted in this talk.
Improved DPS : DPS+Based on DPS hierarchy, with new constraints fromKarush-Kuhn-Tucker Conditions.Formulated as SDPs of similar sizes in terms of the level k .The new hierarchy is exact when k = exp(poly(n)).
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 47: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/47.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Two Algorithms
Quantifier EliminationBased on a generic quantifier elimination solver, to solve
∀W , [∀ |ψ〉 , |φ〉 , 〈ψ| 〈φ|W |ψ〉 |φ〉 ≥ 0 =⇒ 〈ρ,W 〉 ≥ 0].
No new insights into the problem. Omitted in this talk.
Improved DPS : DPS+Based on DPS hierarchy, with new constraints fromKarush-Kuhn-Tucker Conditions.Formulated as SDPs of similar sizes in terms of the level k .The new hierarchy is exact when k = exp(poly(n)).
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 48: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/48.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Two Algorithms
Quantifier EliminationBased on a generic quantifier elimination solver, to solve
∀W , [∀ |ψ〉 , |φ〉 , 〈ψ| 〈φ|W |ψ〉 |φ〉 ≥ 0 =⇒ 〈ρ,W 〉 ≥ 0].
No new insights into the problem. Omitted in this talk.
Improved DPS : DPS+Based on DPS hierarchy, with new constraints fromKarush-Kuhn-Tucker Conditions.Formulated as SDPs of similar sizes in terms of the level k .The new hierarchy is exact when k = exp(poly(n)).
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 49: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/49.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
DPS+ hierarchy
DPS+ hierarchy level k for hSep(n)(M)
maxρ
⟨ρXY1 ,M
⟩such that ρ ∈ D (X ⊗ Y1 ⊗ · · · ⊗ Yk ) ,
ρ is symmetric on Y1 ⊗ · · · ⊗ Yk ,
〈ρ, Γi〉 = 0,∀i . KKT conditions
(1)
RemarksKKT conditions Γi depend on M.KKT conditions are written without multipliers.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 50: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/50.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
DPS+ hierarchy
DPS+ hierarchy level k for hSep(n)(M)
maxρ
⟨ρXY1 ,M
⟩such that ρ ∈ D (X ⊗ Y1 ⊗ · · · ⊗ Yk ) ,
ρ is symmetric on Y1 ⊗ · · · ⊗ Yk ,
〈ρ, Γi〉 = 0,∀i . KKT conditions
(1)
RemarksKKT conditions Γi depend on M.KKT conditions are written without multipliers.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 51: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/51.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
DPS+ hierarchy
DPS+ hierarchy level k for hSep(n)(M)
maxρ
⟨ρXY1 ,M
⟩such that ρ ∈ D (X ⊗ Y1 ⊗ · · · ⊗ Yk ) ,
ρ is symmetric on Y1 ⊗ · · · ⊗ Yk ,
〈ρ, Γi〉 = 0,∀i . KKT conditions
(1)
RemarksKKT conditions Γi depend on M.KKT conditions are written without multipliers.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 52: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/52.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Consequences
DPS+ hierarchy as a SDPPrimal of SDP: lead to a new type of monogamy relations.In the eye of any observable M, if the system satisfiesDPS+, it has no difference from a separable state.Dual of SDP: lead to a new type of entanglement witness.Similar to [DPS], however, the set of entanglement witnesscould be non-convex.Analogue of the exact convergence achievable for discreteoptimization, e.g., SDP for integer programming.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 53: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/53.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Consequences
DPS+ hierarchy as a SDPPrimal of SDP: lead to a new type of monogamy relations.In the eye of any observable M, if the system satisfiesDPS+, it has no difference from a separable state.Dual of SDP: lead to a new type of entanglement witness.Similar to [DPS], however, the set of entanglement witnesscould be non-convex.Analogue of the exact convergence achievable for discreteoptimization, e.g., SDP for integer programming.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 54: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/54.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Consequences
DPS+ hierarchy as a SDPPrimal of SDP: lead to a new type of monogamy relations.In the eye of any observable M, if the system satisfiesDPS+, it has no difference from a separable state.Dual of SDP: lead to a new type of entanglement witness.Similar to [DPS], however, the set of entanglement witnesscould be non-convex.Analogue of the exact convergence achievable for discreteoptimization, e.g., SDP for integer programming.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 55: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/55.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Proof Overview
Observe the connection between the DPS hierarchy andthe Sum-of-Squares Lasserre/Parrilo hierarchy.KKT conditions are necessary for critical points.KKT conditions imply finite convergence (tri-exponentialor higher) for a generic optimization problem. [N, NR]Bring down the level for our problem to exponential.
KKT shrinks the feasible set to isolated points. (Bezoutand Bertini)Exponential level suffices. (Grobner basis)
Handle arbitrary inputs rather than generic ones.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 56: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/56.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Proof Overview
Observe the connection between the DPS hierarchy andthe Sum-of-Squares Lasserre/Parrilo hierarchy.KKT conditions are necessary for critical points.KKT conditions imply finite convergence (tri-exponentialor higher) for a generic optimization problem. [N, NR]Bring down the level for our problem to exponential.
KKT shrinks the feasible set to isolated points. (Bezoutand Bertini)Exponential level suffices. (Grobner basis)
Handle arbitrary inputs rather than generic ones.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 57: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/57.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Proof Overview
Observe the connection between the DPS hierarchy andthe Sum-of-Squares Lasserre/Parrilo hierarchy.KKT conditions are necessary for critical points.KKT conditions imply finite convergence (tri-exponentialor higher) for a generic optimization problem. [N, NR]Bring down the level for our problem to exponential.
KKT shrinks the feasible set to isolated points. (Bezoutand Bertini)Exponential level suffices. (Grobner basis)
Handle arbitrary inputs rather than generic ones.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 58: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/58.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Proof Overview
Observe the connection between the DPS hierarchy andthe Sum-of-Squares Lasserre/Parrilo hierarchy.KKT conditions are necessary for critical points.KKT conditions imply finite convergence (tri-exponentialor higher) for a generic optimization problem. [N, NR]Bring down the level for our problem to exponential.
KKT shrinks the feasible set to isolated points. (Bezoutand Bertini)Exponential level suffices. (Grobner basis)
Handle arbitrary inputs rather than generic ones.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 59: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/59.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Proof Overview
Observe the connection between the DPS hierarchy andthe Sum-of-Squares Lasserre/Parrilo hierarchy.KKT conditions are necessary for critical points.KKT conditions imply finite convergence (tri-exponentialor higher) for a generic optimization problem. [N, NR]Bring down the level for our problem to exponential.
KKT shrinks the feasible set to isolated points. (Bezoutand Bertini)Exponential level suffices. (Grobner basis)
Handle arbitrary inputs rather than generic ones.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 60: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/60.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Proof Overview
Observe the connection between the DPS hierarchy andthe Sum-of-Squares Lasserre/Parrilo hierarchy.KKT conditions are necessary for critical points.KKT conditions imply finite convergence (tri-exponentialor higher) for a generic optimization problem. [N, NR]Bring down the level for our problem to exponential.
KKT shrinks the feasible set to isolated points. (Bezoutand Bertini)Exponential level suffices. (Grobner basis)
Handle arbitrary inputs rather than generic ones.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 61: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/61.jpg)
IntroductionProof Technique
Conclusions
MotivationsRelated WorkMain Result
Proof Overview
Observe the connection between the DPS hierarchy andthe Sum-of-Squares Lasserre/Parrilo hierarchy.KKT conditions are necessary for critical points.KKT conditions imply finite convergence (tri-exponentialor higher) for a generic optimization problem. [N, NR]Bring down the level for our problem to exponential.
KKT shrinks the feasible set to isolated points. (Bezoutand Bertini)Exponential level suffices. (Grobner basis)
Handle arbitrary inputs rather than generic ones.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 62: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/62.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
The Problem: alternative formulation
Recall that hSep(n)(M) refers to
max 〈M, ρ〉 s.t. ρ ∈ Sep(X ⊗ Y).
For any M ∈ Cn×n, there exists M ′ ∈ C2n×2n s.t.
hProdSym(2n)(M ′) =14
hSep(n)(M),
where ProdSym(n, k) := conv(|ψ〉 〈ψ|)⊗2 : |ψ〉 ∈ B(Cn). [HM]
REDUCE our problem to the mathematically simpler hProdSym(n).
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 63: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/63.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
The Problem: alternative formulation
Recall that hSep(n)(M) refers to
max 〈M, ρ〉 s.t. ρ ∈ Sep(X ⊗ Y).
For any M ∈ Cn×n, there exists M ′ ∈ C2n×2n s.t.
hProdSym(2n)(M ′) =14
hSep(n)(M),
where ProdSym(n, k) := conv(|ψ〉 〈ψ|)⊗2 : |ψ〉 ∈ B(Cn). [HM]
REDUCE our problem to the mathematically simpler hProdSym(n).
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 64: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/64.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Reduce hProdSym(n) further
Let |ψ〉 =∑n
i=1 ai |i〉 such that ∀i ,ai ∈ C and∑
i |ai |2 = 1. It iseasy to see that hProdSym(n) is equivalent to
maxa∈Cn
∑i1,i2,j1,j2
M(i1,i2),(j1,j2)a∗i1a∗i2aj1aj2
subject to ||a||2 = 1.(2)
Now reduce from C to R by observing:M is a Hermitian so the objective function is real.Decomposing the complex number into real and imaginaryparts.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 65: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/65.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Reduce hProdSym(n) further
Let |ψ〉 =∑n
i=1 ai |i〉 such that ∀i ,ai ∈ C and∑
i |ai |2 = 1. It iseasy to see that hProdSym(n) is equivalent to
maxa∈Cn
∑i1,i2,j1,j2
M(i1,i2),(j1,j2)a∗i1a∗i2aj1aj2
subject to ||a||2 = 1.(2)
Now reduce from C to R by observing:M is a Hermitian so the objective function is real.Decomposing the complex number into real and imaginaryparts.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 66: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/66.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
hProdSym(n) with real variables
By renaming, we arrive at the hProdSym(n) with real variables:
maxx∈Rn
f0(x) =∑
i1,i2,j1,j2
M(i1,i2),(j1,j2)xi1xi2xj1xj2
subject to f1(x) = ||x ||2 − 1 = 0.(3)
REMARK: this is an instance of polynomial optimizationproblems with a homogenous degree 4 objective polynomialand a degree 2 constraint polynomial.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 67: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/67.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Principle of Sum-of-Squares
One way to show that a polynomial f (x) is nonnegative could be
f (x) =∑
ai(x)2 ≥ 0.
Example
f (x) = 2x2 − 6x + 5= (x2 − 2x + 1) + (x2 − 4x + 4)
= (x − 1)2 + (x − 2)2 ≥ 0.
Such a decomposition is called a sum of squares (SOS)certificate for the non-negativity of f .
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 68: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/68.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Principle of SoS : constrained domain
Definition (Variety)A set V ⊆ Cn is called an algebraic variety ifV = x ∈ Cn : g1(x) = · · · = gk (x) = 0.
Non-negativity of f (x) on V could be shown by
f (x) =∑
ai(x)2 +∑
bj(x)gj(x) ≥ 0.
Question: whether all nonnegative polynomials on certainvariety have a SOS certificate? Hilbert 17th problem!
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 69: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/69.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Principle of SoS : constrained domain
Definition (Variety)A set V ⊆ Cn is called an algebraic variety ifV = x ∈ Cn : g1(x) = · · · = gk (x) = 0.
Non-negativity of f (x) on V could be shown by
f (x) =∑
ai(x)2 +∑
bj(x)gj(x) ≥ 0.
Question: whether all nonnegative polynomials on certainvariety have a SOS certificate? Hilbert 17th problem!
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 70: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/70.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Principle of SoS : constrained domain
Definition (Variety)A set V ⊆ Cn is called an algebraic variety ifV = x ∈ Cn : g1(x) = · · · = gk (x) = 0.
Non-negativity of f (x) on V could be shown by
f (x) =∑
ai(x)2 +∑
bj(x)gj(x) ≥ 0.
Question: whether all nonnegative polynomials on certainvariety have a SOS certificate? Hilbert 17th problem!
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 71: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/71.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Putinar’s Positivstellensatz
Definition (Ideal)The polynomial ideal I generated by g1, . . . ,gk∈ C[x1, . . . , xn] is
I = ∑
aigi : ai ∈ C[x1, . . . , xn] =< g1, · · · ,gk > .
Theorem (Putinar’s Positivstellensatz)Under the Archimedean condition, if f (x) > 0 on V (I)∩Rn, then
f (x) = σ(x) + g(x),
where σ(x) is a SOS and g(x) ∈ I.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 72: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/72.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Putinar’s Positivstellensatz
Definition (Ideal)The polynomial ideal I generated by g1, . . . ,gk∈ C[x1, . . . , xn] is
I = ∑
aigi : ai ∈ C[x1, . . . , xn] =< g1, · · · ,gk > .
Theorem (Putinar’s Positivstellensatz)Under the Archimedean condition, if f (x) > 0 on V (I)∩Rn, then
f (x) = σ(x) + g(x),
where σ(x) is a SOS and g(x) ∈ I.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 73: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/73.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
SoS in Optimization
max f (x)
subject to gi(x) = 0 ∀i(4)
is equivalent to (under AC)
min ν
such that ν − f (x) = σ(x) +∑
i
bi(x)gi(x), (5)
where σ(x) is SOS and bi(x) is any polynomial.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 74: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/74.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
SoS relaxation: Lasserre/Parrilo Hierarchy
If σ(x) and bi(x) can have arbitrarily high degrees, then theoptimization problem (5) is equivalent to problem (4).By bounding the degrees, i.e., deg(σ(x)),deg(bi(x)gi(x)) ≤ 2D for some integer D, we get ahierarchy, namely the Lasserre/Parrilo hierarchy.
min ν
such that ν − f (x) = σ(x) +∑
i
bi(x)gi(x), (6)
where σ(x) is SOS and bi(x) is any polynomial and deg(σ(x)),deg(bi(x)gi(x)) ≤ 2D.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 75: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/75.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
SoS relaxation: Lasserre/Parrilo Hierarchy
If σ(x) and bi(x) can have arbitrarily high degrees, then theoptimization problem (5) is equivalent to problem (4).By bounding the degrees, i.e., deg(σ(x)),deg(bi(x)gi(x)) ≤ 2D for some integer D, we get ahierarchy, namely the Lasserre/Parrilo hierarchy.
min ν
such that ν − f (x) = σ(x) +∑
i
bi(x)gi(x), (6)
where σ(x) is SOS and bi(x) is any polynomial and deg(σ(x)),deg(bi(x)gi(x)) ≤ 2D.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 76: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/76.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
SoS relaxation: Lasserre/Parrilo Hierarchy
If σ(x) and bi(x) can have arbitrarily high degrees, then theoptimization problem (5) is equivalent to problem (4).By bounding the degrees, i.e., deg(σ(x)),deg(bi(x)gi(x)) ≤ 2D for some integer D, we get ahierarchy, namely the Lasserre/Parrilo hierarchy.
min ν
such that ν − f (x) = σ(x) +∑
i
bi(x)gi(x), (6)
where σ(x) is SOS and bi(x) is any polynomial and deg(σ(x)),deg(bi(x)gi(x)) ≤ 2D.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 77: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/77.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
SoS relaxation: Lasserre/Parrilo Hierarchy
If σ(x) and bi(x) can have arbitrarily high degrees, then theoptimization problem (5) is equivalent to problem (4).By bounding the degrees, i.e., deg(σ(x)),deg(bi(x)gi(x)) ≤ 2D for some integer D, we get ahierarchy, namely the Lasserre/Parrilo hierarchy.
min ν
such that ν − f (x) = σ(x) +∑
i
bi(x)gi(x), (6)
where σ(x) is SOS and bi(x) is any polynomial and deg(σ(x)),deg(bi(x)gi(x)) ≤ 2D.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 78: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/78.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Why it is a SDP?
Observation
Any p(x) (of degree 2D) = mT Qm, where m is the vectorof monomials of degree up to 2D and Q is the coefficients.p(x) is a SOS iff Q ≥ 0.
minν,biα∈R
ν
such that νA0 − F −∑iα
biαGiα ≥ 0.(7)
Complexity: poly(m) poly log(1/ε), where m =(n+D
D
).
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 79: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/79.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Why it is a SDP?
Observation
Any p(x) (of degree 2D) = mT Qm, where m is the vectorof monomials of degree up to 2D and Q is the coefficients.p(x) is a SOS iff Q ≥ 0.
minν,biα∈R
ν
such that νA0 − F −∑iα
biαGiα ≥ 0.(7)
Complexity: poly(m) poly log(1/ε), where m =(n+D
D
).
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 80: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/80.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Why it is a SDP?
Observation
Any p(x) (of degree 2D) = mT Qm, where m is the vectorof monomials of degree up to 2D and Q is the coefficients.p(x) is a SOS iff Q ≥ 0.
minν,biα∈R
ν
such that νA0 − F −∑iα
biαGiα ≥ 0.(7)
Complexity: poly(m) poly log(1/ε), where m =(n+D
D
).
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 81: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/81.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Dual of the SDP: moment
Dual of the SOS coneLet Σn,2d be the cone of all PSD matrices representingSOS polynomials with degree up to 2d .The dual cone Σ∗n,2d is moment Md (x) ≥ 0, where entry(α, β) of Md (x) is
∫xα+βµ(dx), |α|, |β| ≤ d .
ExampleWhen n = 2,d = 2, the Md (x) for homogenous degree 4moments is given by
M2(x) =
x40 x31 x22x31 x22 x13x22 x13 x04
≥ 0
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 82: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/82.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Full Symmetry =⇒ DPS
Allow redundancy, we can put DPS in this picture.
ExampleNow each entry is labelled with ((i , j), (k , l)) for degree 4 case,i.e., Md (x) = ρ ∈ D (Cn ⊗ Cn).
ρ =∑
(i,j),(k ,l)
xixjxkxl |i〉 |j〉 〈k | 〈l | .
Note that entry ((i , j), (k , l)) and ((i , l), (k , j)) have the samevalue xixjxkxl . This is PPT condition. Similar for DPS.
Remark: more symmetry because in ProdSym. Flexible inchoosing more or less symmetry.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 83: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/83.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Full Symmetry =⇒ DPS
Allow redundancy, we can put DPS in this picture.
ExampleNow each entry is labelled with ((i , j), (k , l)) for degree 4 case,i.e., Md (x) = ρ ∈ D (Cn ⊗ Cn).
ρ =∑
(i,j),(k ,l)
xixjxkxl |i〉 |j〉 〈k | 〈l | .
Note that entry ((i , j), (k , l)) and ((i , l), (k , j)) have the samevalue xixjxkxl . This is PPT condition. Similar for DPS.
Remark: more symmetry because in ProdSym. Flexible inchoosing more or less symmetry.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 84: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/84.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Karush-Kuhn-Tucker Conditions
For any optimization problem
max f (x) s.t. gi(x) ≤ 0,hj(x) = 0,∀i , j ,
if x∗ is a local optimizer, then ∃µi , λj ,
∇f (x∗) =∑
µi∇gi(x∗) +∑
λj∇hj(x∗)
gi(x∗) ≤ 0,hj(x∗) = 0,µi ≥ 0, µigi(x∗) = 0.
Remark: for convex optimization (our case), any globaloptimizer satisfies KKT.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 85: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/85.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Karush-Kuhn-Tucker Conditions
For any optimization problem
max f (x) s.t. gi(x) ≤ 0,hj(x) = 0,∀i , j ,
if x∗ is a local optimizer, then ∃µi , λj ,
∇f (x∗) =∑
µi∇gi(x∗) +∑
λj∇hj(x∗)
gi(x∗) ≤ 0,hj(x∗) = 0,µi ≥ 0, µigi(x∗) = 0.
Remark: for convex optimization (our case), any globaloptimizer satisfies KKT.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 86: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/86.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Our case
Recall our optimization problem is
max f0(x) s.t. f1(x) = 0.
The KKT condition is ∇f0(x) = λ∇f1(x), which is equivalent to
rank
∂f0(x)∂x1
∂f1(x)∂x1
......
∂f0(x)∂x2n
∂f1(x)∂x2n
< 2.
gij(x) =∂f0(x)
∂xi
∂f1(x)
∂xj− ∂f0(x)
∂xj
∂f1(x)
∂xi, ∀i , j
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 87: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/87.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Our case
Recall our optimization problem is
max f0(x) s.t. f1(x) = 0.
The KKT condition is ∇f0(x) = λ∇f1(x), which is equivalent to
rank
∂f0(x)∂x1
∂f1(x)∂x1
......
∂f0(x)∂x2n
∂f1(x)∂x2n
< 2.
gij(x) =∂f0(x)
∂xi
∂f1(x)
∂xj− ∂f0(x)
∂xj
∂f1(x)
∂xi, ∀i , j
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 88: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/88.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Optimization Problem with KKT constraints
min ν
such that ν − f0(x) ≥ 0f1(x) = 0
KKT gij(x) = 0 ∀1 ≤ i 6= j ≤ 2n
Apply the degree bound D, we get the SoS SDP hierarchy.Will show finite convergence when D = exp(poly(n)). Thenm =
(n+DD
)= exp(poly(n)). Thus the final time is
exp(poly(n)) poly log(1/ε).
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 89: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/89.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Optimization Problem with KKT constraints
min ν
such that ν − f0(x) ≥ 0f1(x) = 0
KKT gij(x) = 0 ∀1 ≤ i 6= j ≤ 2n
Apply the degree bound D, we get the SoS SDP hierarchy.Will show finite convergence when D = exp(poly(n)). Thenm =
(n+DD
)= exp(poly(n)). Thus the final time is
exp(poly(n)) poly log(1/ε).
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 90: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/90.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
KKT Ideal
Definition (KKT Ideal & Variety)
IK =
v(x)f1(x) +∑
hij(x)gij(x)
=< f1(x),gij(x) > .
V (IK ) =
x ∈ C2n : ∀p(x) ∈ IK ,p(x) = 0
Definition (KKT Ideal to degree m)
ImK = v(x)f1(x) +
∑hij(x)gij(x) : deg(v(x)f1(x)) ≤ m,
∀ i , j ,deg(hijgij) ≤ m.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 91: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/91.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
KKT Ideal
Definition (KKT Ideal & Variety)
IK =
v(x)f1(x) +∑
hij(x)gij(x)
=< f1(x),gij(x) > .
V (IK ) =
x ∈ C2n : ∀p(x) ∈ IK ,p(x) = 0
Definition (KKT Ideal to degree m)
ImK = v(x)f1(x) +
∑hij(x)gij(x) : deg(v(x)f1(x)) ≤ m,
∀ i , j ,deg(hijgij) ≤ m.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 92: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/92.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Main Theorems
Theorem (Zero-dimensional of generic IK )
For a generic M, |V (IK )| <∞ and IK is zero-dimensional.
Theorem (Degree bound)
There exists m = O(exp(poly(n))), s.t. for a generic M, ε > 0,
v − f0(x) + ε = σ(x) + g(x),
where σ(x) is SoS and deg(σ(x)) ≤ m,g(x) ∈ ImK .
Corollary (SDP solution)Estimate hProdSym(n)(M) for a generic M to error ε needsexp(poly(n))poly log(1/ε).
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 93: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/93.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Main Theorems
Theorem (Zero-dimensional of generic IK )
For a generic M, |V (IK )| <∞ and IK is zero-dimensional.
Theorem (Degree bound)
There exists m = O(exp(poly(n))), s.t. for a generic M, ε > 0,
v − f0(x) + ε = σ(x) + g(x),
where σ(x) is SoS and deg(σ(x)) ≤ m,g(x) ∈ ImK .
Corollary (SDP solution)Estimate hProdSym(n)(M) for a generic M to error ε needsexp(poly(n))poly log(1/ε).
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 94: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/94.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Main Theorems
Theorem (Zero-dimensional of generic IK )
For a generic M, |V (IK )| <∞ and IK is zero-dimensional.
Theorem (Degree bound)
There exists m = O(exp(poly(n))), s.t. for a generic M, ε > 0,
v − f0(x) + ε = σ(x) + g(x),
where σ(x) is SoS and deg(σ(x)) ≤ m,g(x) ∈ ImK .
Corollary (SDP solution)Estimate hProdSym(n)(M) for a generic M to error ε needsexp(poly(n))poly log(1/ε).
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 95: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/95.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Arbitrary input M
ObservationsGeneric M is dense. The opt of SDP could be continuous.Issue: SOS SDP might be infeasible up to degree m forarbitrary input M.
SolutionsSwitch to the dual SDP (moment): satisfies Slater’scondition, i.e, strictly feasible.For a generic M, by strong duality,hProdSym(n)(M) =OPTmom(M).For any input M, use the continuity of the dual SDP then.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 96: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/96.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Arbitrary input M
ObservationsGeneric M is dense. The opt of SDP could be continuous.Issue: SOS SDP might be infeasible up to degree m forarbitrary input M.
SolutionsSwitch to the dual SDP (moment): satisfies Slater’scondition, i.e, strictly feasible.For a generic M, by strong duality,hProdSym(n)(M) =OPTmom(M).For any input M, use the continuity of the dual SDP then.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 97: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/97.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Arbitrary input M
ObservationsGeneric M is dense. The opt of SDP could be continuous.Issue: SOS SDP might be infeasible up to degree m forarbitrary input M.
SolutionsSwitch to the dual SDP (moment): satisfies Slater’scondition, i.e, strictly feasible.For a generic M, by strong duality,hProdSym(n)(M) =OPTmom(M).For any input M, use the continuity of the dual SDP then.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 98: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/98.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Arbitrary input M
ObservationsGeneric M is dense. The opt of SDP could be continuous.Issue: SOS SDP might be infeasible up to degree m forarbitrary input M.
SolutionsSwitch to the dual SDP (moment): satisfies Slater’scondition, i.e, strictly feasible.For a generic M, by strong duality,hProdSym(n)(M) =OPTmom(M).For any input M, use the continuity of the dual SDP then.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 99: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/99.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Arbitrary input M
ObservationsGeneric M is dense. The opt of SDP could be continuous.Issue: SOS SDP might be infeasible up to degree m forarbitrary input M.
SolutionsSwitch to the dual SDP (moment): satisfies Slater’scondition, i.e, strictly feasible.For a generic M, by strong duality,hProdSym(n)(M) =OPTmom(M).For any input M, use the continuity of the dual SDP then.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 100: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/100.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Arbitrary input M
ObservationsGeneric M is dense. The opt of SDP could be continuous.Issue: SOS SDP might be infeasible up to degree m forarbitrary input M.
SolutionsSwitch to the dual SDP (moment): satisfies Slater’scondition, i.e, strictly feasible.For a generic M, by strong duality,hProdSym(n)(M) =OPTmom(M).For any input M, use the continuity of the dual SDP then.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 101: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/101.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Proof of Theorem 1
Let U = f1(x) = 0,W = ∀ i , j ,gij = 0. then V (IK ) ⊆ U ∩W.
It suffices to show |U ∩W| <∞. Construct A =X ∩U s.t.
A ∩W = ∅ and dim(X ) = n − 1. NoteW ∩A = (W ∩ U) ∩ X .
By Bezout’s theorem, two varieties with dimension sum≥ nmust intersect. Thus
dim(W ∩ U) + dim(X ) = dim(W ∩ U) + n − 1 < n.
This implies dim(W ∩ U) = 0 and thus |V (IK )| <∞.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 102: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/102.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Proof of Theorem 1
Let U = f1(x) = 0,W = ∀ i , j ,gij = 0. then V (IK ) ⊆ U ∩W.
It suffices to show |U ∩W| <∞. Construct A =X ∩U s.t.
A ∩W = ∅ and dim(X ) = n − 1. NoteW ∩A = (W ∩ U) ∩ X .
By Bezout’s theorem, two varieties with dimension sum≥ nmust intersect. Thus
dim(W ∩ U) + dim(X ) = dim(W ∩ U) + n − 1 < n.
This implies dim(W ∩ U) = 0 and thus |V (IK )| <∞.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 103: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/103.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Proof of Theorem 1
Let U = f1(x) = 0,W = ∀ i , j ,gij = 0. then V (IK ) ⊆ U ∩W.
It suffices to show |U ∩W| <∞. Construct A =X ∩U s.t.
A ∩W = ∅ and dim(X ) = n − 1. NoteW ∩A = (W ∩ U) ∩ X .
By Bezout’s theorem, two varieties with dimension sum≥ nmust intersect. Thus
dim(W ∩ U) + dim(X ) = dim(W ∩ U) + n − 1 < n.
This implies dim(W ∩ U) = 0 and thus |V (IK )| <∞.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 104: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/104.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Proof of Theorem 1: construct X
Let X = f0(x) = µ for generic (µ,M). dim(X ) = n − 1.
By Bertini’s theorem, dim(A) = dim(U ∩ X ) = n − 2.
The Jacobian matrix JA =
∂f0∂x1
∂f1∂x1
......
∂f0∂xn
∂f1∂xn
has rank(JA) = 2.
W by definition says rank(JA) = 1. Thus no intersection!
Subtly: genericity; projective space; homogenization!
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 105: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/105.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Proof of Theorem 1: construct X
Let X = f0(x) = µ for generic (µ,M). dim(X ) = n − 1.
By Bertini’s theorem, dim(A) = dim(U ∩ X ) = n − 2.
The Jacobian matrix JA =
∂f0∂x1
∂f1∂x1
......
∂f0∂xn
∂f1∂xn
has rank(JA) = 2.
W by definition says rank(JA) = 1. Thus no intersection!
Subtly: genericity; projective space; homogenization!
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 106: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/106.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Proof of Theorem 1: construct X
Let X = f0(x) = µ for generic (µ,M). dim(X ) = n − 1.
By Bertini’s theorem, dim(A) = dim(U ∩ X ) = n − 2.
The Jacobian matrix JA =
∂f0∂x1
∂f1∂x1
......
∂f0∂xn
∂f1∂xn
has rank(JA) = 2.
W by definition says rank(JA) = 1. Thus no intersection!
Subtly: genericity; projective space; homogenization!
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 107: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/107.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Proof of Theorem 1: construct X
Let X = f0(x) = µ for generic (µ,M). dim(X ) = n − 1.
By Bertini’s theorem, dim(A) = dim(U ∩ X ) = n − 2.
The Jacobian matrix JA =
∂f0∂x1
∂f1∂x1
......
∂f0∂xn
∂f1∂xn
has rank(JA) = 2.
W by definition says rank(JA) = 1. Thus no intersection!
Subtly: genericity; projective space; homogenization!
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 108: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/108.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Proof of Theorem 2
Let γi be a Grobner basis for IK .
|V (IK )| <∞ =⇒ max degγi ≤ D = exp(poly(n)).
Now, want to bound deg(σ(x)),deg(g(x)) in
v − f0(x) = σ(x) + g(x). s.t. σ(x) SOS ,g(x) ∈ ImK .
Let σ(x) =∑
sa(x)2. By property of Grobner basis
sa(x) = ga(x) + ua(x), s.t. ga(x) ∈ IK ,deg(ua(x)) ≤ nD.
Thus
v − f0(x) = σ′(x) + g′(x),deg(σ′(x)) ≤ exp(poly(n)),g′ ∈ IK .
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 109: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/109.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Proof of Theorem 2
Let γi be a Grobner basis for IK .
|V (IK )| <∞ =⇒ max degγi ≤ D = exp(poly(n)).
Now, want to bound deg(σ(x)),deg(g(x)) in
v − f0(x) = σ(x) + g(x). s.t. σ(x) SOS ,g(x) ∈ ImK .
Let σ(x) =∑
sa(x)2. By property of Grobner basis
sa(x) = ga(x) + ua(x), s.t. ga(x) ∈ IK ,deg(ua(x)) ≤ nD.
Thus
v − f0(x) = σ′(x) + g′(x),deg(σ′(x)) ≤ exp(poly(n)),g′ ∈ IK .
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 110: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/110.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Proof of Theorem 2
Let γi be a Grobner basis for IK .
|V (IK )| <∞ =⇒ max degγi ≤ D = exp(poly(n)).
Now, want to bound deg(σ(x)),deg(g(x)) in
v − f0(x) = σ(x) + g(x). s.t. σ(x) SOS ,g(x) ∈ ImK .
Let σ(x) =∑
sa(x)2. By property of Grobner basis
sa(x) = ga(x) + ua(x), s.t. ga(x) ∈ IK ,deg(ua(x)) ≤ nD.
Thus
v − f0(x) = σ′(x) + g′(x),deg(σ′(x)) ≤ exp(poly(n)),g′ ∈ IK .
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 111: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/111.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Proof of Theorem 2
Let γi be a Grobner basis for IK .
|V (IK )| <∞ =⇒ max degγi ≤ D = exp(poly(n)).
Now, want to bound deg(σ(x)),deg(g(x)) in
v − f0(x) = σ(x) + g(x). s.t. σ(x) SOS ,g(x) ∈ ImK .
Let σ(x) =∑
sa(x)2. By property of Grobner basis
sa(x) = ga(x) + ua(x), s.t. ga(x) ∈ IK ,deg(ua(x)) ≤ nD.
Thus
v − f0(x) = σ′(x) + g′(x),deg(σ′(x)) ≤ exp(poly(n)),g′ ∈ IK .
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 112: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/112.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Proof of Theorem 2: g′ ∈ ImK
All we need is to show g′ ∈ ImK ,m = exp(poly(n)).
deg(g′(x)) = deg(σ′(x)) = m.In Grobner basis, g′(x) =
∑tkγk (x), deg(tkγk (x)) ≤ m.
(Omitted) γk (x) =∑
uij(x)gij(x), deg(uij) ≤ m.
Thus, g′(x) =∑
tkuijgij(x),deg(tkuij) ≤ m, =⇒ g′(x) ∈ ImK .
ImK = v(x)f1(x) +
∑hij(x)gij(x) : deg(v(x)f1(x)) ≤ m,
∀ i , j ,deg(hijgij) ≤ m.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 113: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/113.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Proof of Theorem 2: g′ ∈ ImK
All we need is to show g′ ∈ ImK ,m = exp(poly(n)).
deg(g′(x)) = deg(σ′(x)) = m.In Grobner basis, g′(x) =
∑tkγk (x), deg(tkγk (x)) ≤ m.
(Omitted) γk (x) =∑
uij(x)gij(x), deg(uij) ≤ m.
Thus, g′(x) =∑
tkuijgij(x),deg(tkuij) ≤ m, =⇒ g′(x) ∈ ImK .
ImK = v(x)f1(x) +
∑hij(x)gij(x) : deg(v(x)f1(x)) ≤ m,
∀ i , j ,deg(hijgij) ≤ m.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 114: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/114.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Proof of Theorem 2: g′ ∈ ImK
All we need is to show g′ ∈ ImK ,m = exp(poly(n)).
deg(g′(x)) = deg(σ′(x)) = m.In Grobner basis, g′(x) =
∑tkγk (x), deg(tkγk (x)) ≤ m.
(Omitted) γk (x) =∑
uij(x)gij(x), deg(uij) ≤ m.
Thus, g′(x) =∑
tkuijgij(x),deg(tkuij) ≤ m, =⇒ g′(x) ∈ ImK .
ImK = v(x)f1(x) +
∑hij(x)gij(x) : deg(v(x)f1(x)) ≤ m,
∀ i , j ,deg(hijgij) ≤ m.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 115: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/115.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Proof of Theorem 2: g′ ∈ ImK
All we need is to show g′ ∈ ImK ,m = exp(poly(n)).
deg(g′(x)) = deg(σ′(x)) = m.In Grobner basis, g′(x) =
∑tkγk (x), deg(tkγk (x)) ≤ m.
(Omitted) γk (x) =∑
uij(x)gij(x), deg(uij) ≤ m.
Thus, g′(x) =∑
tkuijgij(x),deg(tkuij) ≤ m, =⇒ g′(x) ∈ ImK .
ImK = v(x)f1(x) +
∑hij(x)gij(x) : deg(v(x)f1(x)) ≤ m,
∀ i , j ,deg(hijgij) ≤ m.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 116: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/116.jpg)
IntroductionProof Technique
Conclusions
Sum-of-Squares RelaxationKarush-Kuhn-Tucker ConditionsFinite Convergence at Exponential Level
Proof of Theorem 2: g′ ∈ ImK
All we need is to show g′ ∈ ImK ,m = exp(poly(n)).
deg(g′(x)) = deg(σ′(x)) = m.In Grobner basis, g′(x) =
∑tkγk (x), deg(tkγk (x)) ≤ m.
(Omitted) γk (x) =∑
uij(x)gij(x), deg(uij) ≤ m.
Thus, g′(x) =∑
tkuijgij(x),deg(tkuij) ≤ m, =⇒ g′(x) ∈ ImK .
ImK = v(x)f1(x) +
∑hij(x)gij(x) : deg(v(x)f1(x)) ≤ m,
∀ i , j ,deg(hijgij) ≤ m.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 117: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/117.jpg)
IntroductionProof Technique
Conclusions
PerspectivesOpen Questions
Perspectives
DPS+Finite convergence at exp(poly(n)) level. Numerical erroronly.KKT constraints from optimization theory.Analysis follows from connection to the Sum-of-Squaresanalysis.Generic solutions satisfy the constraints perfectly.Continuity and feasibility of SDPs allow extension toarbitrary inputs.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 118: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/118.jpg)
IntroductionProof Technique
Conclusions
PerspectivesOpen Questions
Perspectives
DPS+Finite convergence at exp(poly(n)) level. Numerical erroronly.KKT constraints from optimization theory.Analysis follows from connection to the Sum-of-Squaresanalysis.Generic solutions satisfy the constraints perfectly.Continuity and feasibility of SDPs allow extension toarbitrary inputs.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 119: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/119.jpg)
IntroductionProof Technique
Conclusions
PerspectivesOpen Questions
Perspectives
DPS+Finite convergence at exp(poly(n)) level. Numerical erroronly.KKT constraints from optimization theory.Analysis follows from connection to the Sum-of-Squaresanalysis.Generic solutions satisfy the constraints perfectly.Continuity and feasibility of SDPs allow extension toarbitrary inputs.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 120: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/120.jpg)
IntroductionProof Technique
Conclusions
PerspectivesOpen Questions
Perspectives
DPS+Finite convergence at exp(poly(n)) level. Numerical erroronly.KKT constraints from optimization theory.Analysis follows from connection to the Sum-of-Squaresanalysis.Generic solutions satisfy the constraints perfectly.Continuity and feasibility of SDPs allow extension toarbitrary inputs.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 121: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/121.jpg)
IntroductionProof Technique
Conclusions
PerspectivesOpen Questions
Perspectives
DPS+Finite convergence at exp(poly(n)) level. Numerical erroronly.KKT constraints from optimization theory.Analysis follows from connection to the Sum-of-Squaresanalysis.Generic solutions satisfy the constraints perfectly.Continuity and feasibility of SDPs allow extension toarbitrary inputs.
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 122: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/122.jpg)
IntroductionProof Technique
Conclusions
PerspectivesOpen Questions
Perspectives (cont’d)
ExtensionsTo the non-commutative setting, e.g., the NPA hierarchy forapproximating the non-local game value.Partial progress: a NC version of KKT conditions.
The tip of the iceberg: lots of unknowns await discovery ?!
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 123: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/123.jpg)
IntroductionProof Technique
Conclusions
PerspectivesOpen Questions
Perspectives (cont’d)
ExtensionsTo the non-commutative setting, e.g., the NPA hierarchy forapproximating the non-local game value.Partial progress: a NC version of KKT conditions.
The tip of the iceberg: lots of unknowns await discovery ?!
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 124: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/124.jpg)
IntroductionProof Technique
Conclusions
PerspectivesOpen Questions
Perspectives (cont’d)
ExtensionsTo the non-commutative setting, e.g., the NPA hierarchy forapproximating the non-local game value.Partial progress: a NC version of KKT conditions.
The tip of the iceberg: lots of unknowns await discovery ?!
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 125: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/125.jpg)
IntroductionProof Technique
Conclusions
PerspectivesOpen Questions
Perspectives (cont’d)
ExtensionsTo the non-commutative setting, e.g., the NPA hierarchy forapproximating the non-local game value.Partial progress: a NC version of KKT conditions.
The tip of the iceberg: lots of unknowns await discovery ?!
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 126: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/126.jpg)
IntroductionProof Technique
Conclusions
PerspectivesOpen Questions
Open Questions
DPS+Analyze the low levels of DPS+.Advantages of adding KKT conditions other thanpresented here.
NPA+The use of NC KKT conditions.Can we have finite convergence for the field value?
SoS hierarchyAny other applications to quantum information?
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing
![Page 127: Improved Semidefinite Programming Hierarchy for ...xwu/talks/IQC_DPS+.pdfIQC Colloquium, Nov 17th 2014 A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing](https://reader036.vdocuments.net/reader036/viewer/2022071019/5fd3922f477af93333539cad/html5/thumbnails/127.jpg)
IntroductionProof Technique
Conclusions
PerspectivesOpen Questions
Question And Answer
Thank you!Q & A
A. Harrow, A. Natarajan, and X. Wu Improved SDP Hierarchy for Entanglement Testing