Applied Hodge Theory
summary
Linear-algebra Hodge theory on clique complexes decomposes pairwise edge data exactly into orthogonal components: a solvable gradient (global) component found by solving a graph Laplacian (nearly-linear solvers), a curl (local inconsistency) component supported on triangles, and a harmonic (circular) component whose nonzero dimension equals loop count and produces cyclic rankings. Persistent homology tracks when loops appear (polynomial-time), upper Laplacians can be non–diagonally dominant and harder to solve, and finite games map to a unique potential+harmonic+neutral split, making correlated equilibria LP-tractable while Nash remains hard.
AI-written summary · about
chapters (28)
- 0:00Intro
- 1:07Helmholtz-Hodge Decomposition
- 2:11Hodge Theory in Linear Algebra
- 8:11Classical Hodge Theory on Riemannian Manifolds
- 8:53Hodge Theory on Metric Spaces
- 9:39Combinatorial Hodge Theory on Simplicial Complexes
- 10:44Example: graph and clique complex
- 12:29Hodge Laplacian
- 13:48Applications of Hodge Decomposition
- 14:15Optical Flow Decomposition and Regularization Rudin Osher Fatemi 1992 piecewise constant flows
- 15:59Example: periodic motions are harmonic
- 16:32Adelson's illusion in Computer Vision
- 18:14Retinex Theorey based on Approximation of Gradient Flows
- 18:37Crowdsourcing QoE evaluation of Multimedia
- 20:19Paired comparison data on graphs
- 22:34Hodge Decomposition on Graphs Jiang-Lim-Y-Ye'11
- 25:37Computation Issue of Curl and Harmonics
- 27:33Topological Obstructions
- 28:45Basic Problems in Hodge Rank
- 29:37Strategic Simplicial Complex for Games
- 32:27Nash and Correlated Equilibrium
- 33:33Why Correlated Equilibria?
- 34:45Low Rank CE Tensors
- 36:24Another simplification: Graphical Games
- 37:30Hodge Decomposition of Finite Games
- 38:59Bimatrix Games
- 40:20Summary
- 41:37Acknowledgement
related talks
01h 11m(Hidden) Symmetries of Computational Problems (continued)
44mScalable Algorithmic Primitives for Data Science
43mEhrhart Polynomials of Dilated Polytopes
01h 09mOptimization and Sampling Under Symmetry: Part 2 -- Lie Theory
43mLinear Preservers of Stable and Lorentzian Polynomials and Deformations of Hyperbolicity Cones
57mComputing Multiplicities of Lie Group Representations
01h 03mMathematical connections of some local-to-global expressivity results over geometric graphs and...
47mKippenhahn's Theorem in Higher Dimensions
