<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"><head><meta http-equiv=Content-Type content="text/html; charset=iso-8859-1"><meta name=Generator content="Microsoft Word 15 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
        {font-family:"Cambria Math";
        panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
        {font-family:Calibri;
        panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
        {margin:0in;
        margin-bottom:.0001pt;
        font-size:11.0pt;
        font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
        {mso-style-priority:99;
        color:#0563C1;
        text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
        {mso-style-priority:99;
        color:#954F72;
        text-decoration:underline;}
span.EmailStyle17
        {mso-style-type:personal-compose;
        font-family:"Calibri",sans-serif;
        color:windowtext;}
.MsoChpDefault
        {mso-style-type:export-only;}
@page WordSection1
        {size:8.5in 11.0in;
        margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
        {page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]--></head><body lang=EN-US link="#0563C1" vlink="#954F72"><div class=WordSection1><p class=MsoNormal>INSTITUTE FOR ADVANCED STUDY<o:p></o:p></p><p class=MsoNormal>School of Mathematics<o:p></o:p></p><p class=MsoNormal>Princeton, NJ 08540<o:p></o:p></p><p class=MsoNormal><o:p>&nbsp;</o:p></p><p class=MsoNormal>Mathematics Seminars<o:p></o:p></p><p class=MsoNormal>Week of January 28, 2019<o:p></o:p></p><p class=MsoNormal><o:p>&nbsp;</o:p></p><p class=MsoNormal><o:p>&nbsp;</o:p></p><p class=MsoNormal>--------------<o:p></o:p></p><p class=MsoNormal>To view mathematics in titles and abstracts, please click on the talk's link.<o:p></o:p></p><p class=MsoNormal>--------------<o:p></o:p></p><p class=MsoNormal><o:p>&nbsp;</o:p></p><p class=MsoNormal><b>Monday, January 28<o:p></o:p></b></p><p class=MsoNormal><o:p>&nbsp;</o:p></p><p class=MsoNormal>Computer Science/Discrete Mathematics Seminar I<o:p></o:p></p><p class=MsoNormal>Topic:                    PCP and Delegating Computation: A Love Story.<o:p></o:p></p><p class=MsoNormal>Speaker:              Yael Tauman Kalai, Microsoft Research<o:p></o:p></p><p class=MsoNormal>Time/Room:       11:00am - 12:00pm/Simonyi Hall 101<o:p></o:p></p><p class=MsoNormal><span lang=FR>Abstract Link:     </span><a href="http://www.math.ias.edu/seminars/abstract?event=128891"><span lang=FR>http://www.math.ias.edu/seminars/abstract?event=128891</span></a><span lang=FR><o:p></o:p></span></p><p class=MsoNormal><span lang=FR><o:p>&nbsp;</o:p></span></p><p class=MsoNormal>Seminar on Theoretical Machine Learning<o:p></o:p></p><p class=MsoNormal>Speaker:              No Seminar<o:p></o:p></p><p class=MsoNormal>Time/Room:       12:15pm - 1:45pm/No Seminar<o:p></o:p></p><p class=MsoNormal><o:p>&nbsp;</o:p></p><p class=MsoNormal>Members' Seminar<o:p></o:p></p><p class=MsoNormal>Topic:                    Minimal hypersurfaces in manifolds of finite volume<o:p></o:p></p><p class=MsoNormal>Speaker:              Yevgeny Liokumovich, Massachusetts Institute of Technology; Member, School of Mathematics<o:p></o:p></p><p class=MsoNormal>Time/Room:       2:00pm - 3:00pm/Simonyi Hall 101<o:p></o:p></p><p class=MsoNormal><span lang=FR>Abstract Link:     </span><a href="http://www.math.ias.edu/seminars/abstract?event=129410"><span lang=FR>http://www.math.ias.edu/seminars/abstract?event=129410</span></a><span lang=FR><o:p></o:p></span></p><p class=MsoNormal><span lang=FR><o:p>&nbsp;</o:p></span></p><p class=MsoNormal>Symplectic Dynamics/Geometry Seminar<o:p></o:p></p><p class=MsoNormal>Topic:                    To be announced<o:p></o:p></p><p class=MsoNormal>Speaker:              Guangbo Xu, Simons Center for Geometry and Physics<o:p></o:p></p><p class=MsoNormal>Time/Room:       3:30pm - 5:00pm/Simonyi Hall 101<o:p></o:p></p><p class=MsoNormal><o:p>&nbsp;</o:p></p><p class=MsoNormal><o:p>&nbsp;</o:p></p><p class=MsoNormal><o:p>&nbsp;</o:p></p><p class=MsoNormal><b>Tuesday, January 29<o:p></o:p></b></p><p class=MsoNormal><o:p>&nbsp;</o:p></p><p class=MsoNormal>Computer Science/Discrete Mathematics Seminar II<o:p></o:p></p><p class=MsoNormal>Topic:                    A Regularity Lemma with Modifications<o:p></o:p></p><p class=MsoNormal>Speaker:              Guy Moshkovitz, Member, School of Mathematics<o:p></o:p></p><p class=MsoNormal>Time/Room:       10:30am - 12:30pm/Simonyi Hall 101<o:p></o:p></p><p class=MsoNormal><span lang=FR>Abstract Link:     </span><a href="http://www.math.ias.edu/seminars/abstract?event=129127"><span lang=FR>http://www.math.ias.edu/seminars/abstract?event=129127</span></a><span lang=FR><o:p></o:p></span></p><p class=MsoNormal><span lang=FR><o:p>&nbsp;</o:p></span></p><p class=MsoNormal>Variational Methods in Geometry Seminar<o:p></o:p></p><p class=MsoNormal>Topic:                    Minmax minimal surfaces in arbitrary codimension with<o:p></o:p></p><p class=MsoNormal>Speaker:              Tristan Rivière, ETH Zürich; Member, School of Mathematics<o:p></o:p></p><p class=MsoNormal>Time/Room:       1:00pm - 3:00pm/Simonyi Hall 101<o:p></o:p></p><p class=MsoNormal><span lang=FR>Abstract Link:     </span><a href="http://www.math.ias.edu/seminars/abstract?event=141185"><span lang=FR>http://www.math.ias.edu/seminars/abstract?event=141185</span></a><span lang=FR><o:p></o:p></span></p><p class=MsoNormal><span lang=FR><o:p>&nbsp;</o:p></span></p><p class=MsoNormal>Variational Methods in Geometry Seminar<o:p></o:p></p><p class=MsoNormal>Topic:                    The systole of large genus minimal surfaces in positive Ricci curvature<o:p></o:p></p><p class=MsoNormal>Speaker:              Henrik Matthiesen, University of Chicago<o:p></o:p></p><p class=MsoNormal>Time/Room:       3:30pm - 5:30pm/Simonyi Hall 101<o:p></o:p></p><p class=MsoNormal><span lang=FR>Abstract Link:     </span><a href="http://www.math.ias.edu/seminars/abstract?event=141182"><span lang=FR>http://www.math.ias.edu/seminars/abstract?event=141182</span></a><span lang=FR><o:p></o:p></span></p><p class=MsoNormal><span lang=FR><o:p>&nbsp;</o:p></span></p><p class=MsoNormal><span lang=FR><o:p>&nbsp;</o:p></span></p><p class=MsoNormal><span lang=FR><o:p>&nbsp;</o:p></span></p><p class=MsoNormal><b>Wednesday, January 30<o:p></o:p></b></p><p class=MsoNormal><o:p>&nbsp;</o:p></p><p class=MsoNormal>BYOP@Lunch Working Group<o:p></o:p></p><p class=MsoNormal>Time/Room:       12:30pm - 1:30pm/Dilworth Room<o:p></o:p></p><p class=MsoNormal><o:p>&nbsp;</o:p></p><p class=MsoNormal>Working Group on Geometric Applications of the Langlands Correspondence<o:p></o:p></p><p class=MsoNormal>Speaker:              Daniel Litt, University of Georgia; Member, School of Mathematics<o:p></o:p></p><p class=MsoNormal>Time/Room:       3:30pm - 5:30pm/Simonyi Hall 101<o:p></o:p></p><p class=MsoNormal><o:p>&nbsp;</o:p></p><p class=MsoNormal>Mathematical Conversations<o:p></o:p></p><p class=MsoNormal>Topic:                    A mathematical conjecture about crumpling paper<o:p></o:p></p><p class=MsoNormal>Speaker:              Francesco Maggi, University of Texas; Member, School of Mathematics<o:p></o:p></p><p class=MsoNormal>Time/Room:       6:00pm - 7:30pm/Dilworth Room<o:p></o:p></p><p class=MsoNormal><span lang=FR>Abstract Link:     </span><a href="http://www.math.ias.edu/seminars/abstract?event=136630"><span lang=FR>http://www.math.ias.edu/seminars/abstract?event=136630</span></a><span lang=FR><o:p></o:p></span></p><p class=MsoNormal><span lang=FR><o:p>&nbsp;</o:p></span></p><p class=MsoNormal><span lang=FR><o:p>&nbsp;</o:p></span></p><p class=MsoNormal><span lang=FR><o:p>&nbsp;</o:p></span></p><p class=MsoNormal><b>Thursday, January 31<o:p></o:p></b></p><p class=MsoNormal><o:p>&nbsp;</o:p></p><p class=MsoNormal>Venkatesh Working Group<o:p></o:p></p><p class=MsoNormal>Time/Room:       10:00am - 12:00pm/Simonyi Hall 101<o:p></o:p></p><p class=MsoNormal><o:p>&nbsp;</o:p></p><p class=MsoNormal>Analysis Seminar<o:p></o:p></p><p class=MsoNormal>Topic:                    TBD<o:p></o:p></p><p class=MsoNormal>Speaker:              Guher Camliyurt, Member, School of Mathematics<o:p></o:p></p><p class=MsoNormal>Time/Room:       1:00pm - 2:00pm/Simonyi Hall 101<o:p></o:p></p><p class=MsoNormal><o:p>&nbsp;</o:p></p><p class=MsoNormal>Joint IAS/Princeton University Number Theory Seminar<o:p></o:p></p><p class=MsoNormal>Topic:                    Upper bounds for constant slope p-adic families of modular forms<o:p></o:p></p><p class=MsoNormal>Speaker:              John Bergdall, Bryn Mawr College<o:p></o:p></p><p class=MsoNormal>Time/Room:       4:30pm - 5:30pm/Simonyi Hall 101<o:p></o:p></p><p class=MsoNormal><span lang=FR>Abstract Link:     </span><a href="http://www.math.ias.edu/seminars/abstract?event=142890"><span lang=FR>http://www.math.ias.edu/seminars/abstract?event=142890</span></a><o:p></o:p></p><p class=MsoNormal><o:p>&nbsp;</o:p></p><p class=MsoNormal><span lang=FR><o:p>&nbsp;</o:p></span></p><p class=MsoNormal><span lang=FR><o:p>&nbsp;</o:p></span></p><p class=MsoNormal>1 PCP and Delegating Computation: A Love Story.&nbsp;<br>&nbsp;&nbsp;&nbsp;Yael Tauman Kalai&nbsp;<br><br><br><o:p></o:p></p><p class=MsoNormal>In this talk, I will give an overview on how PCPs, combined with cryptographic tools, are used to generate succinct and efficiently verifiable proofs for the correctness of computations. I will focus on constructing (computationally sound) *succinct* proofs that are *non-interactive* (assuming the existence of public parameters) and are *publicly verifiable*. In particular, I will focus on a recent result with Omer Paneth and Lisa Yang, where we show how to construct such proofs for all polynomial time computations, based on an efficiently falsifiable decisional assumption on groups with bilinear maps. Prior to this work, this was only known under non-standard assumptions.<o:p></o:p></p><p class=MsoNormal><a href="http://www.math.ias.edu/seminars/abstract?event=128891">http://www.math.ias.edu/seminars/abstract?event=128891</a><br><br>2 Minimal hypersurfaces in manifolds of finite volume&nbsp;<br>&nbsp;&nbsp;&nbsp;Yevgeny Liokumovich&nbsp;<br><br><br><o:p></o:p></p><p class=MsoNormal>We show that every complete Riemannian manifold of finite volume contains a complete embedded minimal hypersurface of finite volume. This is a joint work with Gregory Chambers.<o:p></o:p></p><p class=MsoNormal><a href="http://www.math.ias.edu/seminars/abstract?event=129410">http://www.math.ias.edu/seminars/abstract?event=129410</a><br><br>3 A Regularity Lemma with Modifications&nbsp;<br>&nbsp;&nbsp;&nbsp;Guy Moshkovitz&nbsp;<br><br><br><o:p></o:p></p><p class=MsoNormal>Given an arbitrary graph, we show that if we are allowed to modify (say) 1% of the edges then it is possible to obtain a much smaller regular partition than in Szemeredi's original proof of the regularity lemma. Moreover, we show that it is impossible to improve upon the bound we obtain.&nbsp;<br><br>The upper bound can be used to reprove a famous result of Fox on the removal lemma [Ann. of Math. '11], whereas the lower bound served as a key step towards the solution of the optimality question for the hypergraph regularity lemma. Time permitting, we will give detailed sketches of both the upper and lower bound proofs.&nbsp;<br><br>Joint work with Asaf Shapira.<o:p></o:p></p><p class=MsoNormal><a href="http://www.math.ias.edu/seminars/abstract?event=129127">http://www.math.ias.edu/seminars/abstract?event=129127</a><br><br>4 Minmax minimal surfaces in arbitrary codimension with&nbsp;<br>&nbsp;&nbsp;&nbsp;Tristan Rivière&nbsp;<br><br><br><o:p></o:p></p><p class=MsoNormal>We shall present a procedure which to any admissible family of immersions of surfaces into an arbitrary closed riemannian manifolds assigns a smooth, possibly branched, minimal surface whose area is equal to the width of the corresponding minmax and whose Morse index is bounded by the dimension of the familly. We will discuss the question of bounding the Morse index + Nullity from below as well as possible extensions of this procedure to more general families.<o:p></o:p></p><p class=MsoNormal><a href="http://www.math.ias.edu/seminars/abstract?event=141185">http://www.math.ias.edu/seminars/abstract?event=141185</a><br><br>5 The systole of large genus minimal surfaces in positive Ricci curvature&nbsp;<br>&nbsp;&nbsp;&nbsp;Henrik Matthiesen&nbsp;<br><br><br><o:p></o:p></p><p class=MsoNormal>We prove that the systole (or more generally, any k-th homology systole) of a minimal surface in an ambient three manifold of positive Ricci curvature tends to zero as the genus of the minimal surfaces becomes unbounded. This is joint work with Anna Siffert.<o:p></o:p></p><p class=MsoNormal><a href="http://www.math.ias.edu/seminars/abstract?event=141182">http://www.math.ias.edu/seminars/abstract?event=141182</a><br><br>6 A mathematical conjecture about crumpling paper&nbsp;<br>&nbsp;&nbsp;&nbsp;Francesco Maggi&nbsp;<br><br><br><o:p></o:p></p><p class=MsoNormal>Understanding the mechanics of crumpling, i.e. of isotropically compressing thin elastic sheets, is a challenging problem of theoretical and applied interest. We will present an interesting conjecture on the order of magnitude of the elastic energy per unit thickness needed to achieve crumpling. Half of the conjecture has been solved by drawing inspiration from the observation of the creases appearing on real-world crumpled sheets of paper. The other half is considered totally open, and several clues indicate that its solution will require finding new, original ideas, and, indeed, many real-world sheets of paper have been crumpled in their search.<o:p></o:p></p><p class=MsoNormal><a href="http://www.math.ias.edu/seminars/abstract?event=136630">http://www.math.ias.edu/seminars/abstract?event=136630</a><br><br>7 Upper bounds for constant slope p-adic families of modular forms&nbsp;<br>&nbsp;&nbsp;&nbsp;John Bergdall&nbsp;<br><br><br><o:p></o:p></p><p class=MsoNormal>This talk is concerned with the radius of convergence of p-adic families of modular forms --- q-series over a p-adic disc whose specialization to certain integer points is the q-expansion of a classical Hecke eigenform of level p. Numerical experiments by Gouvêa and Mazur in the nineties predicted the general existence of such families but also suggested, in spirit, the radius of convergence in terms of an initial member. Buzzard and Calegari showed, ten years later, that the Gouvêa--Mazur prediction was false. It has since remained open question how to salvage it. Here we will present some recent theoretical results towards such a salvage, backed up by numerical data.<o:p></o:p></p><p class=MsoNormal><a href="http://www.math.ias.edu/seminars/abstract?event=142890">http://www.math.ias.edu/seminars/abstract?event=142890</a><br><br>IAS Math Seminars Home Page:<br><a href="http://www.math.ias.edu/seminars">http://www.math.ias.edu/seminars</a><o:p></o:p></p></div></body></html>