TITLE: Quantum topology and new types of modularity ABSTRACT: The talk concerns two fundamental themes of modern 3-dimensional topology and their unexpected connection with a theme coming from number theory. A...
Read more
The talk will discuss the main approaches that combine machine learning with automated theorem proving and automated formalization. This includes learning to choose relevant facts for “hammer” systems, guiding the proof search...
Read more
Schur functions serve as characters of representations of unitary (and general linear) groups; the multiplicative structure of Schur functions determines the fusion rules for representations of unitary groups. We will...
Read more
Does quantum theory impose any limits on how accurately we can map out spacetime and, if yes, what are they? This question has been studied already in the early days...
Read more
All speakers will give two talks with a 10-minute break. All times are US Eastern Standard Time (EST). • Monday Jan 4, 2021 • Yoshiko Ogata (University of Tokyo) 8:00am...
Read more
I'll describe some quantum field theories that gap fermions without breaking chiral symmetries. Zoom: https://harvard.zoom.us/j/977347126
Read more
Imagine that we are in Arthur's office, and I will give an informal lecture. This lecture has no main theme; instead I will talk about some insightful examples and fresh...
Read more
Despite the fact that papers submitted to glossy journals universally start by bemoaning the absence of theoretical understanding, I will argue that the answer to the title question is “quite...
Read more
The complex phenomenon in the high-Tc cuprate calls for a microscopic understanding based on general principles. In this Lecture, an exact organizing principle for a typical doped Mott insulator will be presented, in which...
Read more
The Lightning Network is a second-layer solution built above Bitcoin, aimed to solve Bitcoin's scalability and immediacy problems. A channel in the Lightning Network allows two parties to secure bitcoin payments...
Read more