Neural Simulation-based Inference - Lecture 2
Explore advanced neural simulation-based inference techniques for high energy physics, focusing on applications in data analysis and new physics discovery at particle colliders.
Breaching the 2-Approximation Barrier for Connectivity Augmentation
Explore connectivity augmentation, including incident links, Steiner tree reduction, and approximation algorithms. Learn about recent advances and open problems in this field.
Scheduling with Communication Delays via LP Hierarchies and Clustering
Explore advanced scheduling algorithms for jobs with precedence constraints and communication delays, focusing on LP hierarchies and clustering techniques for improved approximation ratios.
Approximation Algorithms for Hard Augmentation Problems - Lecture III
Explore advanced network design techniques for increasing graph connectivity, focusing on recent approaches and advances in augmentation problems like Tree Augmentation and Connectivity Augmentation.
Aaron Sidford- Introduction to Interior Point Methods for Discrete Optimization, Lecture III
Explore interior point methods for discrete optimization, covering theory, advancements, and applications in maximum flow, bipartite matching, and linear programming.
Aaron Sidford: Introduction to Interior Point Methods for Discrete Optimization, Lecture II
Explore interior point methods for discrete optimization, covering theory, advances, and applications in flow, matching, and linear programming problems.
Tropical Solutions to Hard Problems in Auction Theory and Neural Networks - Lecture II
Explore tropical mathematics and its applications in neural networks, auction theory, and more, focusing on key ideas of tropical objects as limits and their polyhedral geometry.
Distributed Computing through Combinatorial Topology
Explore distributed computing through combinatorial topology, learning key concepts and their applications to solve distributed problems using algebraic topology techniques.
Topology of Complexes Arising in Models for Distributed Computing
Explore simplicial models in distributed computing, focusing on chromatic subdivisions and their applications to problems like Weak Symmetry Breaking, leading to new mathematical questions.
Large Scale Machine Learning and Convex Optimization - Lecture 3
Explore advanced stochastic optimization techniques for large-scale machine learning, including novel Newton-based methods and combinations of batch and online algorithms for improved convergence rates.
The Power of Randomization - Distributed Submodular Maximization on Massive Datasets
Explore distributed algorithms for submodular maximization in machine learning, focusing on a parallel approach that achieves constant factor approximation guarantees for large-scale problems.
An O(1)-Approximation for Minimum Spanning Tree Interdiction
Explore an O(1)-approximation algorithm for minimum spanning tree interdiction, improving upon previous O(log(m)) solutions. Learn about network interdiction and its applications in infrastructure protection.
Lectures on Standard and Less Standard Asymptotic Methods - Lecture 1
Explore advanced asymptotic methods for evaluating infinite sums and recognizing sequence patterns. Learn techniques from standard to unconventional, with practical examples and high-precision computations.
Markov Partition for Hyperbolic Systems with Singularities - ICTP 2021
Explore Markov partitions in hyperbolic systems with singularities, covering scatters, collision maps, uniform hyperbolicity, and SRB measures. Gain insights into advanced mathematical concepts and their applications.
Symbolic Dynamics for Orbits with 0 Lyapunov Exponents - ICTP 2021
Explore symbolic dynamics for orbits with zero Lyapunov exponents, covering key concepts like spacing reduction, temperability, and the greedy algorithm.
Matthias Mnich - Time- and Space-Optimal Algorithms for the Many-Visits TSP
Optimizing algorithms for the many-visits TSP problem, improving time and space complexity while maintaining logarithmic dependence on tour length. Discusses applications and compares with previous work.
Peter Dybjer - Intuitionistic Type Theory
Explore intuitionistic type theory, inductive definitions, and finite axiomatizations in this advanced lecture on mathematical foundations and type systems.
Ergodicity in Smooth Dynamics 1
Explore ergodicity in smooth dynamics, covering introductory concepts, examples, proofs, and higher dimensions with experts Jana Rodriguez-Hertz and Amie Wilkinson.
Asymptotics for the Lower Tail of the KPZ Equation
Exploration of asymptotic behavior in the KPZ equation's lower tail, covering motivation, proofs, and generalizations for advanced mathematics researchers.
Disks Around Binaries and Binaries in Big Disks - Dong Lai
Explore the dynamics of circumbinary gas and its influence on binary systems, from stellar pairs to supermassive black holes. Gain insights into observational signatures and numerical modeling techniques.
Quantum Information and Geometry - Raphael Bousso (Berkeley)
Explore quantum information and geometry with Raphael Bousso from Berkeley in this 25-minute talk from the 2022 Snowmass Theory Frontier Conference, discussing recent advances and future opportunities in high-energy physics theory.