CMSA Math-Science Literature Lecture: Deep Networks from First Principles
Yi MaPhoto Copyright Noah Berger / 2019 Yi Ma (University of California, Berkeley) Title: Deep Networks from First Principles Abstract: In this talk, we offer an entirely “white box’’ interpretation of deep (convolution) networks from the perspective of data compression (and group invariance). In particular, we show how modern deep layered architectures, linear (convolution) operators and […]
CMSA Math-Science Literature Lecture: The Atiyah-Singer Index Theorem
Dan Freed (The University of Texas at Austin) Title: The Atiyah-Singer Index Theorem Abstract: The story of the index theorem ties together the Gang of Four—Atiyah, Bott, Hirzebruch, and Singer—and lies at the intersection of analysis, geometry, and topology. In the first part of the talk I will recount high points in the early developments. Then I […]
4/21/2021 Quantum Matter Seminar
Homotopy type theory and the quest for extensionality
Speaker: Michael Shulman - Dept. of Mathematics, University of San Diego Title: Homotopy type theory and the quest for extensionality Abstract: Over the past decades, dependent type theory has proven to be a powerful framework for verified software and formalized mathematics. However, its treatment of equality has always been somewhat uncomfortable. Recently, homotopy type theory has […]
4/22/2021 Quantum Matter Seminar
CMSA Math-Science Literature Lecture: Indistinguishability Obfuscation: How to Hide Secrets within Software
Amit Sahai (UCLA) Title: Indistinguishability Obfuscation: How to Hide Secrets within Software Abstract: At least since the initial public proposal of public-key cryptography based on computational hardness conjectures (Diffie and Hellman, 1976), cryptographers have contemplated the possibility of a “one-way compiler” that translates computer programs into “incomprehensible” but equivalent forms. And yet, the search for such a “one-way […]