Duality 2
summary
Shows that semidefinite programming exactly captures the stable set polytope for perfect graphs (theta body = STAB for perfect graphs) and describes two ways to recover a maximum stable set from an SDP solution, including an algorithmic Carathéodory-style decomposition and eigenvalue/kernel-based rounding. Surveys applications: an SDP gives a 0.878 approximation for Max-Cut, metric-cone LP plus L1 embedding yields a log n loss for Sparsest Cut, and complex SDP improves guarantees for Max 3‑Cut; integrality gaps and embeddability limits are quantified.
AI-written summary · about
chapters (34)
- 0:00Introduction
- 1:02Weighted stable sets
- 2:14Recovering stable sets
- 3:44Decomposition methods
- 5:04Carathéodory's theorem
- 7:24SDP face optimization
- 9:48Edge-based decomposition
- 11:18Small support theorems
- 12:27Polyhedra directions
- 14:22Matroid theory
- 17:13Matroid polytopes
- 18:57Matroid face structure
- 20:42Negative correlation
- 23:18Algorithm application
- 24:53Kirszbraun theorem
- 26:53Kirszbraun algorithmic
- 31:25SDP in optimization
- 33:54Max-cut problem
- 35:23Sparse-cut problem
- 37:01Cut cone definition
- 38:42Metric cone embedding
- 40:37L1 metric decomposition
- 42:44Approximation ratio
- 44:26Cut cone properties
- 45:36Negative type metrics
- 46:56L2 embedding
- 48:22Metric cone dual
- 50:29SDP rounding
- 51:58Integrality gap
- 53:30Approximation bounds
- 55:12Max-3-cut problem
- 57:57Complex SDP
- 59:20Final remarks
- 1:00:49Q&A
related talks
44mCombinatorial Characterizations in Semidefinite Programming Duality: ...
32mLocal Statistics, Semidefinite Programming, and Community Detection
42mTight Semidefinite Programming Relaxations for Polynomial Optimization
35mLocal Statistics, Semidefinite Programming, and Community Detection II
47mLearning Probabilistic Models for Graph Partitioning in the Presence of Noise
52mConstrained Subset Selection Problems under Diversity Measures
46mFaster SDP Hierarchy Solvers for Local Rounding Algorithms
47mSuccinct Representations and Efficient Algorithms Based on Linear Programming
