Proof Complexity Lower Bounds from Graph Expansion and Combinatorial Games

Channel:
United States Simons Institute for the Theory of Computing
Subscribers:
68,700
Published on ● Video Link: https://www.youtube.com/watch?v=PWJGGh0dFbQ


Duration: 42:53
377 views
6

Jakob Nordström (KTH Royal Institute of Technology)
https://simons.berkeley.edu/talks/tbd-30
Algebraic Methods



Other Videos By Simons Institute for the Theory of Computing


2018-12-05The Edge of Physics: Crafting a Non-Fiction Narrative that Combines Science with Travel Writing
2018-12-05An Improved Depth Reduction for Syntactically Multilinear Circuits
2018-12-05Fine-Grained Algorithms and Complexity of Solving Polynomial Systems of Equations
2018-12-05Proper Learning Algorithms from Lower Bounds for Arithmetic Circuits
2018-12-04Generalized Matrix Completion and Algebraic Natural Proofs
2018-12-04Recent Progress on Representation Theoretic Multiplicities in GCT
2018-12-04Kronecker and Plethysm Coefficients in Geometric Complexity Theory: ...
2018-12-04An Instance of Symbolic Determinant Identity Testing via *-algebras
2018-12-04Deterministic Factorization of Sparse Polynomials with Bounded Individual Degree
2018-12-04Limits on All Known (and Some Unknown) Approaches to Matrix Multiplication
2018-12-03Proof Complexity Lower Bounds from Graph Expansion and Combinatorial Games
2018-12-03Orbits of Monomials and Factorization into Products of Linear Forms
2018-12-03Invariant Theory for Computer Scientists
2018-12-03Geometric Complexity Theory: No Occurrence Obstructions for Determinant vs Permanent
2018-12-03The GCT Program: Recent Developments and Some Concrete Open Problems
2018-11-30Scalable Spatial Scan Statistics with Coresets
2018-11-30Nearly Linear Time Algorithms for Solving Inverse Symmetric M-Matrices
2018-11-30When Hashes Met Wedges - A Distributed Algorithm for Finding High Similarity Vectors
2018-11-29Efficient Reductions for k-Nearest Neighbor Search
2018-11-29Holder Homeomorphisms and Approximate Nearest Neighbors
2018-11-29Spectral Partitioning for Metrics (And NNs Too)


Tags:
Algebraic Methods
Jakob Nordström
Simons Institute
Theory of Computing
Theory of Computation
Theoretical Computer Science
Computer Science
UC Berkeley