1 PRIMA 2013 AbstractsContents1 Public Lectures 22 Plenary Lectures 23 Special Sessions 4Special Session 1A Glimpse of Stochastic Dynamics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4Special Session 2Algebraic and Complex Geometry . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5Special Session 3Algebraic Topology and Rel<strong>at</strong>ed Topics . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6Special Session 4Applic<strong>at</strong>ions of Harmonic Maps and Submanifold Theory . . . . . . . . . . . . . . . . . . . 8Special Session 5Combin<strong>at</strong>orics and Discrete M<strong>at</strong>hem<strong>at</strong>ics . . . . . . . . . . . . . . . . . . . . . . . . . . . 9Special Session 6Geometric Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13Special Session 7Geometric Aspects of Semilinear Elliptic Equ<strong>at</strong>ions: Recent Advances & Future Perspectives 15Special Session 8Hyperbolic Conserv<strong>at</strong>ion Laws and Rel<strong>at</strong>ed Applic<strong>at</strong>ions . . . . . . . . . . . . . . . . . . . 17Special Session 9Inverse Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19Special Session 10Kinetic Equ<strong>at</strong>ions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21Special Session 11M<strong>at</strong>hem<strong>at</strong>ical Fluid Dynamics and Rel<strong>at</strong>ed Topics . . . . . . . . . . . . . . . . . . . . . . 22Special Session 12M<strong>at</strong>hem<strong>at</strong>ics of String Theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24Special Session 13Measurable and Topological Dynamics . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25Special Session 14Multiscale Analysis and Algorithms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27Special Session 15Number Theory and Represent<strong>at</strong>ion Theory . . . . . . . . . . . . . . . . . . . . . . . . . 29Special Session 16Oper<strong>at</strong>or Algebras and Harmonic Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . 31Special Session 17Optimiz<strong>at</strong>ion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33Special Session 18Probability . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36Special Session 19Represent<strong>at</strong>ion Theory and C<strong>at</strong>egorific<strong>at</strong>ion . . . . . . . . . . . . . . . . . . . . . . . . . 38Special Session 20Singularities in Geometry and Topology . . . . . . . . . . . . . . . . . . . . . . . . . . . 39Special Session 21Symplectic Geometry and Hamiltonian Dynamics . . . . . . . . . . . . . . . . . . . . . . 42Special Session 22Symplectic Geometry and M<strong>at</strong>hem<strong>at</strong>ical Physics . . . . . . . . . . . . . . . . . . . . . . . 43Special Session 23Triangul<strong>at</strong>ed C<strong>at</strong>egories in Represent<strong>at</strong>ion Theory of Algebras . . . . . . . . . . . . . . . . 454 Contributed Talks 47Contributed Talks Group 1Geometry and Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47Contributed Talks Group 2Algebra and Number Theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49Contributed Talks Group 3Discrete M<strong>at</strong>hem<strong>at</strong>ics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51Contributed Talks Group 4Comput<strong>at</strong>ional M<strong>at</strong>hem<strong>at</strong>ics & Optimiz<strong>at</strong>ion . . . . . . . . . . . . . . . . . . . . . . . . . 53Contributed Talks Group 5Differential Equ<strong>at</strong>ions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55Contributed Talks Group 6Probability and St<strong>at</strong>istics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
2 PRIMA 2013 Abstracts1 Public LecturesComputers and m<strong>at</strong>hem<strong>at</strong>ics:prospectsRon GrahamUniversity of California, San Diego, USAgraham@ucsd.eduproblems andThere is no question th<strong>at</strong> the recent advent of the moderncomputer has had a dram<strong>at</strong>ic impact on wh<strong>at</strong> m<strong>at</strong>hem<strong>at</strong>iciansdo and on how they do it. However, there is increasingevidence th<strong>at</strong> many apparently simple problemsmay in fact be forever beyond any conceivable computer<strong>at</strong>tack. In this talk, I will describe a variety of m<strong>at</strong>hem<strong>at</strong>icalproblems in which computers have had, may have orwill probably never have a significant role in their solutions.Of triangles, gas, prices and menCédric VillaniUniversité de Lyon and Institut Henri Poincaré, Francevillani@ihp.frThe story of m<strong>at</strong>hem<strong>at</strong>ical progress coming from the accidentalencounter of three different fields which seemedto have hardly anything in common.2 Plenary LecturesRandom walks and percol<strong>at</strong>ionMartin BarlowUniversity of British Columbia, Canadabarlow@m<strong>at</strong>h.ubc.caAround 1960 de Giorgi, Moser and Nash proved regularityfor the he<strong>at</strong> equ<strong>at</strong>ion associ<strong>at</strong>ed with divergence formPDE:∂u∂t = Lu, u = u(x, t), x ∈ Rd , t > 0. (1)Here L = ∇a∇, where a = a ij (x) is uniformly elliptic. Inthe special case when a = ρ(x)I, (1) describes he<strong>at</strong> flowin a medium of varying conductivity ρ, and uniformlyelliptic means th<strong>at</strong> ρ is bounded away from 0. If on theother hand Z = {x : ρ(x) = 0} ̸= ∅, then the zero regionscan form barriers, and the behaviour of solutions to (1)will depend on the detailed geometry of Z.As an approach to problems of this kind, one can considerdiscrete approxim<strong>at</strong>ions to (1). One such is percol<strong>at</strong>ionon the Euclidean l<strong>at</strong>tice Z d , which was introduced byBroadbent and Hammersley in 1957. Let p be a fixedprobability between 0 and 1. Each bond in Z d is retainedwith probability p, and removed with probability 1 − p,independently of all the others. If p is larger than somecritical value p = p c(d) then the resulting graph has aunique infinite connected component C. De Gennes in1976 called the random walk on C the ‘the ant in thelabyrinth’. The problem is rel<strong>at</strong>ed to the he<strong>at</strong> equ<strong>at</strong>ion,since if p(n, x, y) is the probability th<strong>at</strong> a random walker(‘the ant’), starting <strong>at</strong> x, is <strong>at</strong> y <strong>at</strong> time n, then p s<strong>at</strong>isfiesa discrete version of (1).The PDE techniques of Nash and Moser have proved veryuseful in these contexts. I will discuss recent progress onthese models, and in particular will discuss the proof ofGaussian bounds for p n, and a central limit theorem forthe (rescaled) random walk.The M<strong>at</strong>hem<strong>at</strong>ics of CrimeAndrea BertozziUniversity of California, Los Angeles, USAbertozzi@m<strong>at</strong>h.ucla.eduThere is an extensive applied m<strong>at</strong>hem<strong>at</strong>ics liter<strong>at</strong>ure developedfor problems in the biological and physical sciences.Our understanding of social science problems froma m<strong>at</strong>hem<strong>at</strong>ical standpoint is less developed, but alsopresents some very interesting problems. This lectureuses crime as a case study for using applied m<strong>at</strong>hem<strong>at</strong>icaltechniques in a social science applic<strong>at</strong>ion and coversa variety of m<strong>at</strong>hem<strong>at</strong>ical methods th<strong>at</strong> are applicable tosuch problems. We will review recent work on agent basedmodels, methods in linear and nonlinear partial differentialequ<strong>at</strong>ions, vari<strong>at</strong>ional methods for inverse problemsand st<strong>at</strong>istical point process models. From an applic<strong>at</strong>ionstandpoint we will look <strong>at</strong> problems in residentialburglaries and gang crimes. Examples will consider bothbottom up and top down approaches to understandingthe m<strong>at</strong>hem<strong>at</strong>ics of crime, and how the two approachescould converge to a unifying theory.The exact renormaliz<strong>at</strong>ion group flowWeinan EPeking University, China and Princeton University, USAweinan@m<strong>at</strong>h.princeton.eduRenormaliz<strong>at</strong>ion and renormaliz<strong>at</strong>ion group is the mostimportant theoretical advance in the second half of thelast centrury in physics. At its heart is a m<strong>at</strong>hem<strong>at</strong>icaltool for handling singularities, infinities and complexsystems involving multiple scales. Yet <strong>at</strong> the m<strong>at</strong>hem<strong>at</strong>icallevel, it still remains to be somewh<strong>at</strong> of a mysterious,ad hoc and even dubious procedure. We will discussour effort to develop the m<strong>at</strong>hem<strong>at</strong>ical found<strong>at</strong>ionof the exact renormaliz<strong>at</strong>ion group flow. We will startwith some simple examples (central limit theorem, extremest<strong>at</strong>istics, homogeniz<strong>at</strong>ion) and then discuss applic<strong>at</strong>ionsto stochastic PDEs, quantum field theory andturbulent transport. This is joint work with Hao Shen,Yajun Zhou and Qingyun Sun.Sphere packings, symplectic l<strong>at</strong>tices and RiemannsurfacesJun-Muk HwangKorea Institute for Advanced Study, Koreajmhwang@kias.re.krSymplectic l<strong>at</strong>tices are l<strong>at</strong>tices in Euclidean space withcertain extra-symmetries associ<strong>at</strong>ed to Hermitian forms.They correspond to principally polarized abelian varietiesin algebraic geometry. Classical examples are given by periodl<strong>at</strong>tices of compact Riemann surfaces.Our theme is the density of sphere packing for symplecticl<strong>at</strong>tices. In their seminal work in 1994, Buser andSarnak showed th<strong>at</strong> peorid l<strong>at</strong>tices of compact Riemannsurfaces give remarkably poor sphere packing. FollowingBuser-Sarnak’s work, many interesting rel<strong>at</strong>ions betweenthe density of sphere packing for symplectic l<strong>at</strong>tices andalgebro-geometric properties of corresponding abelian varietieshave been discovered. We will give an overview ofthis subject with a report on a recent work on period l<strong>at</strong>ticesof Prym varieties, another important class of symplecticl<strong>at</strong>tices arising from algebraic geometry.The classific<strong>at</strong>ion of subfactors of small indexVaughan JonesVanderbilt University, USAvfr@m<strong>at</strong>h.berkeley.eduStarting with the definition of a von Neumann algebra Iwill survey old and new developments in the index theory
- Page 2 and 3: 1PRIMA 2013-Table of ContentsTable
- Page 4 and 5: 3PRIMA 2013-OrganizationOrganizatio
- Page 6 and 7: 5PRIMA 2013-OrganizationYoshikazu G
- Page 8 and 9: 7PRIMA 2013-Useful InformationUsefu
- Page 10 and 11: 9PRIMA 2013-Useful InformationTaxi:
- Page 12 and 13: 11PRIMA 2013-Useful Informationmath
- Page 14 and 15: 13PRIMA 2013 Program-Schedule-at-a-
- Page 16 and 17: 15PRIMA 2013 Program-Monday, June 2
- Page 18 and 19: 17PRIMA 2013 Program-Monday, June 2
- Page 20 and 21: 19PRIMA 2013 Program-Monday, June 2
- Page 22 and 23: 21PRIMA 2013 Program-Monday, June 2
- Page 24 and 25: 23PRIMA 2013 Program-Tuesday, June
- Page 26 and 27: 25PRIMA 2013 Program-Tuesday, June
- Page 29 and 30: 28PRIMA 2013 Program-Tuesday, June
- Page 31 and 32: 30PRIMA 2013 Program-Tuesday, June
- Page 33 and 34: 32PRIMA 2013 Program-Wednesday, Jun
- Page 35 and 36: 34PRIMA 2013 Program- Thursday, Jun
- Page 37 and 38: 36PRIMA 2013 Program- Thursday, Jun
- Page 39 and 40: 38PRIMA 2013 Program- Thursday, Jun
- Page 41 and 42: 40PRIMA 2013 Program- Thursday, Jun
- Page 43 and 44: 42PRIMA 2013 Program- Friday, June
- Page 45 and 46: 44PRIMA 2013 Program- Friday, June
- Page 50 and 51: 3 PRIMA 2013 Abstractsof subfactors
- Page 52 and 53: 5 PRIMA 2013 AbstractsprocessesXu S
- Page 54 and 55: 7 PRIMA 2013 AbstractsIn this talk
- Page 56 and 57: 9 PRIMA 2013 Abstractsindependently
- Page 58 and 59: 11 PRIMA 2013 AbstractsEnumerating,
- Page 60 and 61: 13 PRIMA 2013 AbstractsRyuhei Uehar
- Page 62 and 63: 15 PRIMA 2013 AbstractsIn this talk
- Page 64 and 65: 17 PRIMA 2013 AbstractsSpecial Sess
- Page 66 and 67: 19 PRIMA 2013 Abstractscritical slo
- Page 68 and 69: 21 PRIMA 2013 AbstractsSpecial Sess
- Page 70 and 71: 23 PRIMA 2013 Abstractsstrictly awa
- Page 72 and 73: 25 PRIMA 2013 AbstractsPedram Hekma
- Page 74 and 75: 27 PRIMA 2013 Abstractsis well-know
- Page 76 and 77: 29 PRIMA 2013 Abstractssolid substr
- Page 78 and 79: 31 PRIMA 2013 AbstractsRapoport-Zin
- Page 80 and 81: 33 PRIMA 2013 Abstractssense. Our a
- Page 82 and 83: 35 PRIMA 2013 AbstractsIn an econom
- Page 84 and 85: 37 PRIMA 2013 AbstractsKyoto Univer
- Page 86 and 87: 39 PRIMA 2013 AbstractsAlexander Mo
- Page 88 and 89: 41 PRIMA 2013 AbstractsOsamu SaekiK
- Page 90 and 91: 43 PRIMA 2013 Abstractsopen Delzant
- Page 92 and 93: 45 PRIMA 2013 AbstractsJian ZhouTsi
- Page 94 and 95: 47 PRIMA 2013 AbstractsJiaqun WeiNa
- Page 96 and 97: 49 PRIMA 2013 Abstractsthe end of 2
- Page 98 and 99:
51 PRIMA 2013 AbstractsJongyook Par
- Page 100 and 101:
53 PRIMA 2013 AbstractsPancyclicity
- Page 102 and 103:
55 PRIMA 2013 AbstractsEfficient nu
- Page 104 and 105:
57 PRIMA 2013 Abstractsand fountain
- Page 106:
59 PRIMA 2013 Abstractsformula esti