The Algorithmic Phase Transition of Random k-SAT for Low Degree Polynomials

Published on ● Video Link: https://www.youtube.com/watch?v=ftt9fpstJzk



Duration: 33:20
429 views
5


Brice Huang (Massachusetts Institute of Technology)
https://simons.berkeley.edu/talks/algorithmic-phase-transition-random-k-sat-low-degree-polynomials-0
Rigorous Evidence for Information-Computation Trade-offs




Other Videos By Simons Institute for the Theory of Computing


2021-09-18Towards Lower Bounds for Efficient Robust Estimation From Worst Case Assumptions
2021-09-18SQ Lower Bounds for Learning Halfspaces with Massart Noise
2021-09-17Non-Gaussian Component Analysis: Statistical Query Hardness and its Applications
2021-09-17The Estimation Error of General First Order Methods
2021-09-17Differential Privacy And The Complexity Of Simple Queries
2021-09-17Refutation and Spectrally Quiet Planting of Cuts and Colorings in Random Graphs
2021-09-17Optimal Spectral Recovery Of A Planted Vector In A Subspace
2021-09-16Extractor-Based Approach To Memory-Sample Tradeoffs
2021-09-16Average-Case Hardness in Proof Complexity
2021-09-16Tight Algorithmic Thresholds for Spin Glass Hamiltonians
2021-09-16The Algorithmic Phase Transition of Random k-SAT for Low Degree Polynomials
2021-09-16Optimizing Noncommutative Polynomials: The SYK Model
2021-09-15Putting Quantum Supremacy on a Rigorous Footing
2021-09-15Mismatched Monte Carlo Algorithms For The Planted Clique Problem
2021-09-15Phase Retrieval In High Dimensions: Statistical And Computational Phase Transitions
2021-09-15All-or-Nothing Statistical and Computational Phase Transitions in Sparse Spiked Matrix Estimation
2021-09-15Signal Recovery With Generative Priors
2021-09-15Local Convexity Of The Tap Free Energy And Amp Convergence For Z2-Synchronization
2021-09-15The Initial Search Phase Of Stochastic Gradient Descent For High-Dimensional Inference Tasks
2021-09-14A Few Simple Average-Case Reduction Techniques And Their Surprising Effectiveness
2021-09-14Are Generative Models The New Sparsity?



Tags:
Simons Institute
theoretical computer science
UC Berkeley
Computer Science
Theory of Computation
Theory of Computing
Rigorous Evidence for Information-Computation Trade-offs
Brice Huang