MathAcrossCampus is a quarterly colloquium series at the University of Washington to showcase applications of mathematics, with a special emphasis on the growing role of discrete methods in math applications. The goal of this seminar is to expose theoreticians to applied work, to create a community of mathematicians and users of mathematics at UW, and to serve as a guide to students and researchers looking for projects and jobs in math-related areas by offering exposure to ongoing math applications in the Seattle area.
David Shmoys, Cornell University
Sometimes you just don't have enough time to read an entire proof, a brief scan is all you can afford. Probabilistically checkable proofs (PCPs), discovered 25 years ago, guarantee that even a brief scan will find an error if there is one. A PCP proof is created by taking a regular proof and splitting it cleverly into fragments. The key is a theorem asserting that locally consistent fragments must be coming from a globally correct proof. We will describe this surprising local-to-global phenomenon and show a variety of implications from computational optimization all the way to secure cloud computing.
MathAcrossCampus is also made possible by the efforts of UW Mathematics graduate students Clayton Barnes, Gerandy Brito Montes de Oca, Christopher Fowler, Matthew Junge, Hon Leung Lee, Avi Levy, Harishchandra Ramadas, and Jacob Richey.
The MathAcrossCampus website was designed and created by Nathaniel Blair-Stahn.
Additional support has been provided by: The NSF VIGRE grant at UW; the departments of Applied Mathematics and Economics; the Milliman Fund; and the NSF Research Training Group in Inverse Problems and PDEs.