Peter Dybjer - Intuitionistic Type Theory - Lecture I
Explore intuitionistic type theory's foundations, historical context, and applications in mathematics and computer science with Prof. Peter Dybjer's comprehensive lecture.
Cyclotomic KLR Algebras - Part 1 of 4
Exploring cyclotomic KLR algebras, their connection to quantum groups, and their role in categorifying highest weight representations, with a focus on type A and the Ariki–Brundan–Kleshchev theorem.
The Transfer in Algebraic K-Theory and THH
Explore algebraic K-theory transfers, their applications in A-theory, and connections to THH. Gain insights into fundamental questions and trace methods in this advanced mathematics lecture.
Refined Enumerative Geometry
Explore Milnor-Witt sheaves, motivic homotopy theory, and Chow-Witt groups. Gain insights into refined enumerative geometry and its applications in algebraic geometry and topology.
Ulrich Bauer: Ripser - Efficient Computation of Vietoris–Rips Persistence Barcodes
Explore efficient computation of Vietoris-Rips persistence barcodes using Ripser software. Learn about matrix reduction algorithms, persistent cohomology, and discrete Morse theory applications in topological data analysis.
Paul Arne Østvær- A1 Contractible Varieties
Explore A1 contractible varieties in algebraic geometry, covering cancellation theorems, local model structures, and related proofs in this advanced mathematics lecture.
Emergent Network Geometry
Explore emergent network geometry, from complex networks to quantum spacetime, revealing hidden structures and applications in diverse fields like neuroscience and collaboration networks.
Chad Giusti - Topology, Convexity, and Neural Networks
Explore topology in neuroscience, focusing on receptive fields, neuron convexity, and geometric features. Discover connections between neural networks and mathematical concepts.
High Dimensional Expanders
Explore high-dimensional expanders, their mathematical properties, and applications in theoretical computer science. Learn about coboundary and spectral expansion, and their implications for complex structures.
Error Analysis of a Variational Multiscale Stabilization for Convection-Dominated Diffusion Equations in 2D
Análisis de error de estabilización multiescala variacional para ecuaciones de difusión dominadas por convección en 2D. Enfoque en métodos Petrov-Galerkin y correcciones de escala fina para problemas de perturbación singular.
A Coupling Strategy for Nonlocal and Local Models With Applications
Explore nonlocal-local model coupling in elasticity through optimization, analyzing well-posedness and implementation. Includes numerical tests and applications in peridynamics and classical elasticity.
Convergent Semi-Lagrangian Methods for the Monge-Ampère Equation on Unstructured Grids
Explores semi-Lagrangian discretisation of Monge-Ampère operator on P1 finite element spaces, discussing challenges and solutions for numerical methods in solving Monge-Ampère equations, with applications in inverse reflector problems.
Axel Målqvist - Localization of Multiscale Problems
Explore multiscale problem-solving techniques, focusing on Local Orthogonal Decomposition for PDEs. Learn about convergence, high-contrast data, and applications to time-dependent problems.
The Slices of Hermitian K-Theory
Explore Hermitian K-theory's slices, their construction, and applications in algebraic geometry. Gain insights into Milnor's conjecture on quadratic forms through this advanced mathematical lecture.
Ricci Curvature and Functional Inequalities for Interacting Particle Systems
Explore entropic Ricci curvature bounds and their applications to interacting particle systems, focusing on functional inequalities and convergence rates to equilibrium in nonnegative curvature scenarios.
Drinfeld Center, Tube Algebra, and Representation Theory of Monoidal Categories
Explore connections between category theory, subfactor theory, and quantum groups. Learn about Drinfeld center, tube algebra, and representation theory of monoidal categories.
Edith Elkind- Coalitional Games on Sparse Social Networks
Explore coalitional games on social networks, analyzing graph structures, computational complexity, and solution concepts for connected subsets of agents.
SRB Measures and Young Towers - Lecture 3 of 4
Explore SRB measures and Young towers in dynamical systems, focusing on nonuniformly hyperbolic systems and their statistical properties. Learn about recent advances in this field of mathematics.
Symbolic Dynamics for Nonuniformly Hyperbolic Systems - Lecture 4
Explore advanced techniques in nonuniformly hyperbolic dynamics, focusing on symbolic coding and statistical properties of complex systems using Markov Partitions and Young Towers.
Symbolic Dynamics for Nonuniformly Hyperbolic Systems - Lecture 3 of 5
Explores advanced techniques in nonuniformly hyperbolic systems, focusing on symbolic dynamics and Markov partitions. Covers key concepts, challenges, and recent developments in the field of dynamical systems.
Symbolic Dynamics for Nonuniformly Hyperbolic Systems - Lecture 2 of 5
Explores advanced techniques in symbolic dynamics for nonuniformly hyperbolic systems, focusing on graph transforms, recurrence properties, and Markov partitions to analyze complex dynamical behaviors.