(Hidden) Symmetries of Computational Problems
summary
Provides a polynomial-time algorithm for the non‑commutative singularity problem by converting it to an operator scaling instance and running an alternating‑minimization (Sinkhorn‑style) routine. Progress uses a capacity potential (an AM‑GM growth argument) and the missing diameter bound is proved via invariant‑theory/representation‑theory degree bounds, so the method actually decides nullcone membership and yields polytime convergence; extensions use geodesic convexity to get faster log(1/ε) rates.
AI-written summary · about
chapters (12)
- 0:00Introduction and context
- 4:16The perfect matching problem
- 6:33Symbolic matrix singularity
- 9:22Complexity and implications
- 14:01Non-commutative singularity
- 18:13Alternate minimization
- 24:16Algorithm analysis
- 29:35Operator scaling
- 34:41Capacity and convexity
- 38:40Applications and P vs NP
- 41:51Invariant theory
- 51:18Generalization and summary
related talks
01h 01mLP/SDP Hierarchies and Sum of Squares Proofs 1
40mExponential Lower Bounds on Spectrahedral Representations of Hyperbolicity Cones
27mNonnegative Polynomials, Nonconvex Polynomial Optimization, and Applications to Learning
56mEntropy, Capacity, and Counting
58mContinuous Methods 2
59mCertificates of Polynomial Non-Negativity via Hyperbolic Optimization
09mConvex Programs, Computational Phase Transitions, and Robust Algorithms
42mTight Semidefinite Programming Relaxations for Polynomial Optimization
