Member Seminar Speaker: Mauricio Romo Title: Quantum trace and length conjecture for hyperbolic knot Abstract: I will define the quantum trace map for an ideally triangulated hyperbolic knot complement on S^3. This map assigns an operator to each element L of the Kauffman Skein module of knot complement. Motivated by an interpretation of this operator in the context of […]
Colloquium Speaker: Hidenori Tanaka (NTT Research at Harvard) Title: Noether’s Learning Dynamics: Role of Symmetry Breaking in Neural Networks Abstract: In nature, symmetry governs regularities, while symmetry breaking brings texture. In artificial neural networks, symmetry has been a central design principle, but the role of symmetry breaking is not well understood. Here, we develop a […]
Member Seminar Speaker: Damian van de Heisteeg Title: Light states in the interior of CY moduli spaces Abstract: In string theory one finds that states become massless as one approaches boundaries in Calabi-Yau moduli spaces. In this talk we look in the opposite direction, that is, we search for points where the mass gap for these light […]
Member Seminar Speaker: Alejandro Poveda Title: Compactness and Anticompactness Principles in Set Theory Abstract: Several fundamental properties in Topology, Algebra or Logic are expressed in terms of Compactness Principles.For instance, a natural algebraic question is the following: Suppose that G is an Abelian group whose all small subgroups are free - Is the group G free? […]
https://youtu.be/g8zdumOAWzw New Technologies in Mathematics Seminar Speaker: Cyril Zhang, Microsoft Research Title: How do Transformers reason? First principles via automata, semigroups, and circuits Abstract: The current "Transformer era" of deep learning is marked by the emergence of combinatorial and algorithmic reasoning capabilities in large sequence models, leading to dramatic advances in natural language understanding, program synthesis, […]
Member Seminar Speaker: Mike Douglas Title: AI and Theorem Proving Abstract: We survey interactive theorem proving and the Lean theorem prover, and the use of AI and large language models to improve this technology. We hope to start a discussion on projects we can do at the CMSA.
Speaker: Max Reppen (Boston University) Title: Neural Optimal Stopping Boundary Abstract: A method based on deep artificial neural networks and empirical risk minimization is developed to calculate the boundary separating the stopping and continuation regions in optimal stopping. The algorithm parameterizes the stopping boundary as the graph of a function and introduces relaxed stopping rules based on fuzzy […]
Member Seminar Speaker: Chuck Doran Title: Motivic Geometry of Two-Loop Feynman Integrals Abstract: We study the geometry and Hodge theory of the cubic hypersurfaces attached to two-loop Feynman integrals for generic physical parameters. We show that the Hodge structure attached to planar two-loop Feynman graphs decomposes into a mixed Tate piece and a variation of Hodge structure from […]
Speaker: David Gamarnik (MIT) Title: From spin glasses to Boolean circuits lower bounds. Algorithmic barriers from the overlap gap property Abstract: Many decision and optimization problems over random structures exhibit an apparent gap between the existentially optimal values and algorithmically achievable values. Examples include the problem of finding a largest independent set in a random graph, the problem […]
Speaker: Tristan Collins, MIT Title: Complete Calabi-Yau metrics: Recent progress and open problems Abstract: Complete Calabi-Yau metrics are fundamental objects in Kahler geometry arising as singularity models or "bubbles" in degenerations of compact Calabi-Yau manifolds. The existence of these metrics and their relationship with algebraic geometry are the subjects of several long standing conjectures due […]
Member Seminar Speaker: Farzan Vafa Title: Dynamics of active nematic defects on cones Abstract: In the first part of the talk, we investigate the ground-state configurations of two-dimensional liquid crystals with p-fold rotational symmetry (p-atics) on cones. The cone apex develops an effective topological charge, which in analogy to electrostatics, leads to defect absorption and emission […]
Member Seminar Speaker: Dan Kapec Title: Hints of Flat Space Holography Abstract: Despite our detailed understanding of holography in Anti-de Sitter space, flat space holography remains somewhat mysterious. “Celestial CFT” is a formalism which attempts to recast quantum gravity in (d+2)-dimensional asymptotically flat spacetimes in terms of a d-dimensional Euclidean conformal field theory residing at the conformal […]