FoCM 2017 Foundations of Computational Mathematics Barcelona, July 10th-19th, 2017 http://www.ub.edu/focm2017 Organized in partnership with Workshops Approximation Theory Computational Algebraic Geometry Computational Dynamics Computational Harmonic Analysis and Compressive Sensing Computational Mathematical Biology with emphasis on the Genome Computational Number Theory Computational Geometry and Topology Continuous Optimization Foundations of Numerical PDEs Geometric Integration and Computational Mechanics Graph Theory and Combinatorics Information-Based Complexity Learning Theory Plenary Speakers Mathematical Foundations of Data Assimilation and Inverse Problems Multiresolution and Adaptivity in Numerical PDEs Numerical Linear Algebra Karim Adiprasito Random Matrices Jean-David Benamou Real-Number Complexity Alexei Borodin Special Functions and Orthogonal Polynomials Mireille Bousquet-Mélou Stochastic Computation Symbolic Analysis Mark Braverman Claudio Canuto Martin Hairer Pierre Lairez Monique Laurent Melvin Leok Lek-Heng Lim Gábor Lugosi Bruno Salvy Sylvia Serfaty Steve Smale Andrew Stuart Joel Tropp Sponsors Shmuel Weinberger 2 FoCM 2017 Foundations of Computational Mathematics Barcelona, July 10th{19th, 2017 Books of abstracts 4 FoCM 2017 Contents Presentation . .7 Governance of FoCM . .9 Local Organizing Committee . .9 Administrative and logistic support . .9 Technical support . 10 Volunteers . 10 Workshops Committee . 10 Plenary Speakers Committee . 10 Smale Prize Committee . 11 Funding Committee . 11 Plenary talks . 13 Workshops . 21 A1 { Approximation Theory Organizers: Albert Cohen { Ron Devore { Peter Binev . 21 A2 { Computational Algebraic Geometry Organizers: Marta Casanellas { Agnes Szanto { Thorsten Theobald . 36 A3 { Computational Number Theory Organizers: Christophe Ritzenhaler { Enric Nart { Tanja Lange . 50 A4 { Computational Geometry and Topology Organizers: Joel Hass { Herbert Edelsbrunner { Gunnar Carlsson . 56 A5 { Geometric Integration and Computational Mechanics Organizers: Fernando Casas { Elena Celledoni { David Martin de Diego . 68 A6 { Mathematical Foundations of Data Assimilation and Inverse Problems Organizers: Jean-Fr´ed´ericGerbeau { Sebastian Reich { Karen Willcox . 82 A7 { Stochastic Computation Organizers: Tony Leli`evre{ Arnulf Jentzen . 89 B1 { Computational Dynamics Organizers: Angel` Jorba { Hiroshi Kokubu { Warwick Tucker . 102 B2 { Graph Theory and Combinatorics Organizers: Marc Noy { Jaroslav Nesetril { Angelika Steger . 113 B3 { Symbolic Analysis Organizers: Bruno Salvy { Jacques-Arthur Weil { Irina Kogan . 124 B4 { Learning Theory Organizers: S´ebastienBubeck { Lorenzo Rosasco { Alexandre Tsybakov . 136 B5 { Random Matrices Organizers: Joel Tropp { Michel Ledoux { Sheehan Olver . 145 B6 { Multiresolution and Adaptivity in Numerical PDEs Organizers: Pedro Morin { Rob Stevenson { Christian Kreuzer . 152 B7 { Numerical Linear Algebra Organizers: Froilan Dopico { Alex Townsend { Volker Mehrmann . 162 5 6 FoCM 2017 C1 { Computational Harmonic Analysis and Compressive Sensing Organizers: Holger Rauhut { Karlheinz Gr¨ochenig { Thomas Strohmer . 177 C2 { Computational Mathematical Biology with emphasis on the Genome Organizers: Steve Smale { Mike Shub { Indika Rajapakse . 188 C3 { Continuous Optimization Organizers: Javier Pe~na{ Coralia Cartis { Etienne de Klerk . 198 C4 { Foundations of Numerical PDEs Organizers: Ricardo Nochetto { Annalisa Buffa { Endre Suli . 211 C5 { Information-Based Complexity Organizers: Tino Ullrich { Frances Kuo { Erich Novak . 219 C6 { Real-Number Complexity Organizers: Carlos Beltr´an{ Saugata Basu { Mark Braverman . 230 C7 { Special Functions and Orthogonal Polynomials Organizers: Francisco Marcell´an{ Kerstin Jordaan { Andrei Martinez- Finkelshtein . 240 Presentation The conference on the Foundations of Computational Mathematics (FoCM 2017, http: //www.ub.edu/focm2017/) took place in Barcelona between July 10th to 19th, 2017. It was organized by the Society for the Foundations of Computational Mathematics in partnership with the Local Organizing Committee with members from Universitat de Barcelona (UB), Uni- versitat Polit`ecnicade Catalunya (UPC), Universitat Pompeu Fabra (UPF) and ICREA, and administrative and logistic support from the UB Institut de Matem`atiques(IMUB) and the Centre de Recerca Matem`atica(CRM). The conference also received the institutional support of the Barcelona Graduate School of Mathematics (BGSMath). This conference was the ninth in a sequence that started with the Park City meeting in 1995, organized by Steve Smale and where the idea of the FoCM Society was born, and followed by the FoCM conferences in Rio de Janeiro (1997), Oxford (1999), Minneapolis (2002), Santander (2005), Hong Kong (2008), Budapest (2011), and Montevideo (2014). Each of these conferences had several hundred participants from all branches of computational mathematics. The conference took a format tried and tested to a great effect in the former FoCM confer- ences: plenary invited lectures in the mornings, and theme-centered parallel workshops in the afternoons. It consisted of three periods of three days each. Each workshop extended over a period. It included two semi-plenary lectures, of interest to a more general audience, as well as (typically shorter) talks aimed at a more technical audience. The choice of these speakers was the responsibility of the workshop organizers, and all of these workshop talks were by invitation. There were also contributed poster presentations associated to the workshops. Although some participants chose to attend just one or two periods, on past experience the greatest benefit resulted from attending the conference for its full nine days: the entire idea of FoCM is that we strive to break out of narrow boundaries of our specific research areas and open our minds to the broad range of exciting developments in computational mathematics. FoCM conferences currently appear to be a unique meeting point of workers in computational mathematics and of theoreticians in mathematics and in computer science. While presenting plenary talks by foremost world authorities and maintaining the highest technical level in the workshops, the emphasis is on multidisciplinary interaction across subjects and disciplines, in an informal and friendly atmosphere, giving the possibility to meet colleagues from different subject- areas and identify the wide-ranging (and often surprising) common denominator of research. 7 8 FoCM 2017 PRESENTATION 9 Governance of FoCM The FoCM Executive Committee was composed of: Wolfgang Dahmen, RWTH Aachen, Germany (chair) Angela Kunoth, University of Cologne, Germany (secretary) Javier Pe~na,Carnegie Mellon University, USA (treasurer) The governing body of FoCM is its Board of Directors, which in addition to the three members of the Executive Committee, included: Carlos Beltr´an,Universidad de Cantabria, Spain Annalisa Buffa, IMATI - CNR, Italy Albert Cohen, Universit´ePierre et Marie Curie, Paris (JFoCM editor) Felipe Cucker, City University of Hong Kong, China (JFoCM editor) Martin Hairer, University of Warwick, UK Teresa Krick, University of Buenos Aires, Argentina Frances Kuo, University of New South Wales, Australia Hans Munthe-Kaas, University of Bergen, Norway Ricardo Nochetto, University of Maryland, USA Andrew Odlizko, University of Minnesota, USA Michael Singer, North Carolina State University, USA Agnes Szanto, North Carolina State University, USA Shmuel Weinberger, University of Chicago, USA Antonella Zanna, University of Bergen, Norway Local Organizing Committee Maria Alberich, Universitat Polit`ecnicade Catalunya, Spain Josep Alvarez,` Universitat Polit`ecnicade Catalunya, Spain Marta Casanellas, Universitat Polit`ecnicade Catalunya, Spain Gemma Colom´e,Universitat Pompeu Fabra, Spain Teresa Cortadellas, Universitat de Barcelona, Spain Carlos D'Andrea, Universitat de Barcelona, Spain Jes´usFern´andez,Universitat Polit`ecnicade Catalunya, Spain Xavier Guitart, Universitat de Barcelona, Spain G´abor Lugosi, ICREA & Universitat Pompeu Fabra, Spain Eul`aliaMontoro, Universitat de Barcelona, Spain Mart´ınSombra, ICREA & Universitat de Barcelona, Spain (chair) Administrative and logistic support Gloria Albacete, Universitat de Barcelona, Spain Ana Garc´ıa-Donas,CRM, Spain Nuria Hern´andez,CRM, Spain 10 FoCM 2017 Raquel Hern´andez,CRM, Spain Vanessa Ram´ırez,CRM, Spain Patricia Vallez, Universitat de Barcelona, Spain Mari Paz Valero, CRM, Spain Pau Varela, CRM, Spain Technical support Santiago Laplagne, Universidad de Buenos Aires, Argentina Jordi Mullor, CRM, Spain Volunteers Patricio Almir´on,Universitat Polit`ecnicade Catalunya Guillem Blanco, Universitat Polit`ecnicade Catalunya Yairon Cid, Universitat de Barcelona Gladston Duarte, Universitat de Barcelona Marina Garrote, Universitat Polit`ecnicade Catalunya Roser Homs, Universitat de Barcelona Marc Jorba, Universitat de Barcelona Dan Paraschiv, Universitat de Barcelona Jordi Roca, Universitat Polit`ecnicade Catalunya Eduard Soto, Universitat de Barcelona Workshops Committee Wolfgang Dahmen, RWTH Aachen University, Germany Martin Hairer, University of Warwick, UK Teresa Krick, Universidad de Buenos Aires, Argentina (chair) Angela Kunoth, Universit¨atzu K¨oln,Germany Andrew Odlyzko, University of Minnesota, USA James Renegar, Cornell University, USA Mart´ınSombra, ICREA & Universitat de Barcelona, Spain Endre S¨uli,University of Oxford, UK Agnes Szanto, North Carolina State University, USA Shmuel Weinberger, University of Chicago, USA Plenary Speakers Committee