Activity report - Mittag
Transcription
Activity report - Mittag
INSTITUT MITTAG-LEFLER – A NORDIC INSTITUT FOR RESEARCH IN MATHEMATICS Activity report Institut Mittag-Leffler is a Nordic research institute for mathematics. It was founded in 1916 by Professor Gösta Mittag-Leffler and his wife Signe, who donated their magnificent villa with its first-class library for the purpose of creating the Institute that bears their name. The Institute is today an active international center for front-line research in the mathematical sciences, operating under the auspices of the Royal Swedish Academy of Sciences. It enjoys the economic support of national funding agencies from all the Nordic countries, as well as of some private foundations. The main activities at the Institute are the research programs and the publication of two research journals. The Institute conducts semester-long programs aimed at research in some area in pure or applied mathematics of current interest. The ambition is that over time all areas of current interest to mathematicians in the Nordic countries are served. The programs during the current 10-year period – past, present and future – are: • • • • • • • • • • • • • • • • • • • Probability and conformal mappings, fall 2001 and spring 2002. Partial differential equations and spectral theory, fall 2002. Mathematical control and systems theory, spring 2003. Noncommutative geometry, fall 2003 and spring 2004. Queuing theory and teletraffic theory, fall 2004. Algebraic combinatorics, spring 2005. Wave motion, fall 2005. Algebraic topology, spring 2006. Moduli spaces, fall 2006 and spring of 2007. Stochastic partial differential equations, fall 2007. Several complex variables, spring 2008. Geometry, analysis, and general relativity, fall 2008. Discrete probability, spring 2009. Mathematical logic: Set theory and model theory, fall 2009. Dynamical systems and PDEs, spring 2010. Quantum information theory, fall 2010. Algebraic geometry with a view to applications, spring 2011 Complex analysis and integrable systems, fall 2011. Geometric and analytic aspects of group theory, spring 2012. The subject area for each research program is decided circa 2 1/2 years in advance by the board of the Institute, based on submitted proposals. An international evaluation committee is appointed, which meets at the Institute and conducts interviews with the prospective organizers as a basis for the recommendations submitted to the board. Each research program is led by an organizing committee. Based on the recommendations of this committee the Institute invites senior and junior mathematicians to come and work together at the Institute. The senior participants are chosen among the internationally leading mathematicians in the given area. To the junior 1 INSTITUT MITTAG-LEFLER – A NORDIC INSTITUT FOR RESEARCH IN MATHEMATICS participants, typically recent Ph.D.s, we offer fellowships, open to everyone to apply for. Mathematicians from the Nordic countries are given a slight priority, however we make sure that scientific caliber and a good mixture of talents and backgrounds have top priority, to optimize the creative environment at the Institute. During 2009 there were a total of 151 visiting researchers, working a total of 272.5 manmonths at the Institute as part of the following programs: Discrete Probability, spring of 2009 Organizing committee: Sven Erick Alm, Uppslala Olle Häggström, CTH, Göteborg Svante Janson, Uppsala Kurt Johansson, KTH, Stockholm Jeff Steif, CTH, Göteborg Mathematical Logic: Set Theory, fall of 2009 Organizing committee: Dag Normann, Oslo Erik Palmgren, Uppsala Jouko Väänänen, Amsterdam and Helsinki Hugh Woodin, Berkeley Detailed reports and documentation on these programs can be found later in this annual report. The research programs are conducted in a way that recognizes the immense value of having the time and the freedom to follow one's research interests wherever developments lead rather than having to deliver on predetermined goals. For this reason we require of all participants that they stay at least one month, to ensure time for substantial work. An aspect of the programs that is emphasized is to provide good postdoctoral training to the junior participants. Special seminars and minicourses are given specifically for them. In addition to these area-specific research programs we have the RIP program (Research in Peace), which allows Nordic mathematicians to spend time at the Institute for independent research. The Institute publishes two journals, Acta Mathematica (founded in 1882) and Arkiv för matematik (founded in 1903). Information about the journals is given on page www.mittagleffler.se/publications/. Acta Mathematica has won a standing as one of a handful of journals generally considered to be the most important ones among all mathematics research journals. Institut Mittag-Leffler is an active participant in international scientific life. In particular, it participates in international networks of research institutes in mathematics. For instance, we belong to ERCOM (European Research Centers on Mathematics), a network of European sister institutes. We also belong to EPDI (European Post-Doctoral Institute), a collaboration between 9 institutes for jointly awarding postdoctoral fellowships to Europe's most promising young mathematicians. During 13-14 March Institut Mittag-Leffler hosted the annual ERCOM meeting. 30 directors and administrators representing 21 of the 26 ERCOM member institutes met in Djursholm to discuss matters of common concern and to share information. 2 INSTITUT MITTAG-LEFLER – A NORDIC INSTITUT FOR RESEARCH IN MATHEMATICS Participants at the ERCOM meeting The efforts to improve the Institute's financial situation have led to some small progress during 2009. Being a Nordic institute, we benefit from contributions from all Nordic countries (including Iceland). On 22 September a Nordic meeting was held at the Institute to discuss its financial basis. Representatives from the national research councils of Denmark, Finland, Norway and Sweden were present, as well as mathematicians from these countries. The meeting indicated a general willingness from our neighboring countries to increase their contributions. Institut Mittag-Leffler extends its warm gratitude to all organizations and individuals who via grants and contributions of various kinds have made the work of the Institute possible during the year 2009. Anders Björner Director 3 INSTITUT MITTAG-LEFLER – A NORDIC INSTITUT FOR RESEARCH IN MATHEMATICS Contributors The Institute is very grateful to the following organizations and individuals for contributions and support during 2009: The Swedish Research Council (Vetenskapsrådet) Academy of Finland The Danish Research Councils The Icelandic Mathematical Society The Research Council of Norway Acta Mathematicas fond Barbro Osher Pro Suecia Foundation Department of Mathematics, University of Oslo European Science Foundation's Set theory Research Network INFTY program Fonden ”Till bröderna Jacob och Marcus Wallenbergs minne” Stiftelsen G.S. Magnusons fond The Anna-Greta and Holger Crafoord Fund 4 INSTITUT MITTAG-LEFLER – A NORDIC INSTITUT FOR RESEARCH IN MATHEMATICS Discrete Probability Scientific report 2009 spring The spring 2009 Mittag-Leffler programme on discrete probability saw intense work in the intended broad spectrum ranging from, on one hand, basic probabilistic objects such as Markov chains, random walks, random graphs and random matrices, to, on the other hand, applications in computer science, statistical mechanics and the modeling of epidemics and social networks. A central meeting point for the participants was the seminar taking place Tuesdays and Thursdays; a total of 74 seminars were delivered. The seminar was very lively and led (together with the frequent more informal discussions during coffee breaks, in corridors and in hallways) to several unexpected collaborations. Recurrent themes covered in the seminar from a variety of angles include, for instance, the Ising model, Poisson processes, sorting and selection algorithms, Gaussian unitary ensembles, percolation models including dynamical percolation, different aspects of random graphs, and random walks with various (self-)interactions or in random environments. There were a number of research projects completed in the area of percolation, particle systems and related topics. John Wierman, who participated the entire semester, showed in collaborative work that certain pairs of 2-dimensional lattices have the same critical exponents. Remco van der Hofstad succeeded in uncovering the structure of the size of the largest component for nonhomogeneous graphs; the critical quantity turns out to be the tail behavior of the degree. Jonathon Peterson and Timo Seppäläinen obtained very precise results concerning current fluctuations for a system of random walks moving in a common fixed random environment; it turns out that the fluctuations are occurring at two different scales. Maria Deijfen and Olle Häggström constructed an example of a percolation model where the speed of a biased random walk on the cluster is not monotone in the bias; this monotonicity is believed to hold for i.i.d. percolation. This example therefore shows that the i.i.d. assumption is critical. One important area studied during the program was random graphs. In particular, progress was made on several fronts in the study of inhomogeneous random graphs, with contributions in the form of completed preprints by Tom Britton, Maria Deijfen, Remco van der Hofstad, Svante Janson, Mathias Lindholm, Tomasz \Luczak, Ilkka Norros, Oliver Riordan and Tatyana Turova. As an important example we would like to mention the result by Tatyana Turova describing the distribution of the sizes of the largest components of an inhomogeneous random graph in the critical window; this is a major generalization of a well-known result by Aldous (1997) for the standard Erdös-Rényi random graphs. The result turns out to be essentially the same as in the standard case, provided a third moment is finite. Other random graph problems studied include the diameter in the standard random graph process (\Luczak and Taral Guldahl Seierstad); high-dimensional models (Markus Heydenreich and van der Hofstad); connections to graph limits (Janson); recursive directed graphs (Luc Devroye and Janson); correlations in randomly oriented graphs (Sven Erick Alm and Svante Linusson); random lifts and large deviation estimates (Janson and Andrzej Rucinski). The demographics of the programme was very broad agewise, and somewhat tilted genderwise. A core group of young postdocs staying throughout the programme was of particular importance for holding it together, while more senior participants (with a few 5 INSTITUT MITTAG-LEFLER – A NORDIC INSTITUT FOR RESEARCH IN MATHEMATICS exceptions) tended to stay for only parts of it but made important contributions nevertheless. At present 37 preprints are listed as resulting from the programme, but this is not entirely representative as many advances made during the programme are yet to be written down in preprint form. A key participant from a scientific point of view was Svante Janson, as evidenced by the fact that he (co-)authored no less than 14 of the 37 preprints. As a kind of satellite meeting for the Mittag-Leffler programme, a special session on discrete probability was organized at the 25th Nordic and 1st British-Nordic Congress of Mathematicians in Oslo in June 2009. Organizing committee: Sven Erick Alm, Uppsala, Olle Häggström, Chalmers, Svante Janson, Uppsala, Kurt Johansson, KTH, Jeff Steif, Chalmers. On behalf of the organizing committee, Sven Erick Alm 6 INSTITUT MITTAG-LEFLER – A NORDIC INSTITUT FOR RESEARCH IN MATHEMATICS Discrete Probability Participants 2009 spring Name Alm, Sven Erick Austrin, Per Barbour, Andrew Beffara, Vincent Bender, Martin Berg, van den, Jacob University Uppsala University KTH Universität Zürich UMPA-ENS Lyon University of Leuven CWI City Uppsala Stockholm Zürich Lyon Leuven Amsterdam Arrival 15 Jan 15 Jan 16 May 15 Jan 11 May 31 Mar 2 Jun Departure 15 Jun 15 Jun 13 Jun 8 Feb 31 May 29 Apr 12 Jun Jerusalem 1 Feb 27 Feb Cambridge Cambridge Stockholm Göteborg Amsterdam Stockholm Montreal Västerås Bonn Baltimore Lyon Münster Paris 15 Jun 8 Apr 20 May 15 Jun 14 Mar 15 Jun 29 May 8 May 27 Mar 9 Jun 8 Apr 26 Mar 15 Mar 23 May 15 Jun 15 Mar 16 Jun 14 Apr 22 Feb 15 Jun Björnberg, Jakob Bollobas, Bela Britton, Tom Broman, Erik Camia, Federico Deijfen, Maria Devroye, Luc Eriksson, Kimmo Ferrari, Patrik Fill, Jim Fribergh, Alexander Gantert, Nina Garban, Christophe Einstein Institute of Mathematics Statistical Laboratory University of Cambridge Stockholm University Chalmers Vrije Universiteit Stockholm University McGill University Mälardalens högskola University of Bonn Johns Hopkins University Université Lyon 1 University of Münster Universite' Paris Sud Guttmann, Tony Hammond, Alan University of Melbourne ENS Victoria Paris Hegarty, Peter Heydenreich, Markus Hoffman, Chris Hofstad, van der, Remco Hollander, den, Frank Holmgren, Cecilia Holroyd, Alexander Holst, Lars Hwang, Hsien-Kuei Häggström, Olle Janson, Svante Johansson A., Anders Johansson, Fredrik Johansson K., Kurt Chalmers Vrije Universiteit University of Washington Eindhoven University of Technology Leiden University Uppsala UniversityU University of British Columbia KTH Academia Sinica Chalmers Uppsala University Högskolan i Gävle KTH KTH Göteborg Amsterdan Seattle 15 Jan 6 Apr 14 Apr 15 Jan 16 Feb 15 Jan 10 May 14 Apr 1 Mar 17 May 15 Jan 2 Mar 15 Jan 10 May 15 May 6 Feb 18 May 16 Mar 25 Jan 16 May Eindhoven 15 Jan 29 Jan Leiden Uppsala Vancouver Stockholm Taipei Göteborg Uppsala Gävle Stockholm Stockholm 1 Feb 15 Jan 9 Feb 15 Jan 27 Jan 2 Mar 15 Jan 3 Mar 30 Jan 15 Jan 27 Feb 15 Jun 16 Apr 15 Jun 14 Feb 5 Jun 11 Jun 30 Apr 15 Jun 15 Jun Berger, Noam 7 INSTITUT MITTAG-LEFLER – A NORDIC INSTITUT FOR RESEARCH IN MATHEMATICS Jonasson, Johan Jones, Liza Kahn, Jeff Kalai, Gil Kang, Mihyun Karonski, Michal Kesten, Harry Lagerås, Andreas Limic, Vlada Lindholm, Mathias Linusson, Svante Louchard, Guy Luczak M, Malwina Luczak T, Tomasz Markström, Klas Martin, James Martin-Löf, Anders McDiarmid, Colin Metcalfe, Anthony Mossel, Elchanan Neininger, Ralph Nordenstam, Eric Norros, Ilkka Pete, Gabor Peterson, Jonathon Renlund, Henrik Riordan, Oliver Rodl, Vojtech Rucinski, Andrzej Sanders, Tom Seierstad, Taral Seppäläinen, Timo Sidoravicius, Vladas Sorkin, Gregory Spencer, Joel Steif, Jeffrey Söderberg, Bo Thorisson, Hermann Toth, Balint Turova, Tatyana Tykesson, Johan Chalmers University of Oxford Rutgers University Hebrew University Technische Universität Berlin Adam Mickiewicz University 6 Apr 15 Jan 15 May 1 Jun 1 Feb 19 Jan 26 May Cornell University Ithaca 20 Apr Stockholm University Stockholm 15 Jan Université de Provence Marseille 1 Apr 3 Jun Stockholm University Stockholm 15 Jan KTH Stockholm 15 Jan Université Libre de Bruxelles Bruxelles 23 Feb London School of Economics London 23 Mar Adam Mickiewicz University Poznan 15 Jan Umeå University Umeå 2 Feb St Hugh's College Oxford 22 Feb Stockholm University Stockholm 15 Jan University of Oxford Oxford 29 Mar University College Cork Cork 15 Jan University of California Berkeley 24 May J.W.Goethe-Universität Frankfurt 16 Feb 25 May KTH Stockholm 15 Jan VTT, Helsinki Helsinki 15 Jan Mcrosoft Research Redmond 6 May University of Wisconsin Madison 14 Jan Uppsala University Uppsala 15 Jan University of Oxford Oxford 26 Mar Emory University Atlanta 1 Jun Adam Mickiewicz University Poznan 26 Jan 4 May Christ's College Cambridge 12 Jan University of Oslo Oslo 15 Jan University of Wisconsin-Madison Madison 16 Feb IMPA Rio de Janeiro 20 Apr Yorktown IBM Research 2 May Heights New York University New York 16 Mar Chalmers Göteborg 20 Jan 6 Apr Lund University Lund 15 Apr University of Iceland Reykjavik 26 May Budapest University of Budapest 26 Apr Technology 24 May University of Lund Lund 15 Jan Chalmers Göteborg 15 Jan 8 Göteborg Oxford Piscataway Jerusalem Berlin Poznan 30 Apr 15 Jun 15 Jun 15 Jun 28 Feb 11 Feb 15 Jun 14 May 15 Jun 30 Apr 14 Jun 15 Jun 15 Jun 27 Feb 17 Apr 31 Mar 07 May 25 Mar 15 Jun 26 Apr 15 Jun 6 Jun 28 Feb 4 Jun 15 Jun 12 Mar 5 Jun 22 Mar 15 Jun 22 Apr 15 Jun 20 Feb 15 Jun 15 Jun 15 Apr 12 Mar 13 May 13 May 20 Apr 28 Feb 5 Jun 15 May 4 Jun 9 May 12 Jun 15 Jun 15 Jun INSTITUT MITTAG-LEFLER – A NORDIC INSTITUT FOR RESEARCH IN MATHEMATICS Vallier, Thomas Volkov, Stanislav Warfheimer, Marcus Wierman, John Wilson, David Wästlund, Johan Institut Mittag-Leffler University of Bristol Chalmers Johns Hopkins University Microsoft Corporation Chalmers Djursholm Bristol Gothenburg Baltimore Redmond Göteborg Zeitouni, Ofer University of Minnesota Minneapolis 9 16 Mar 27 Apr 3 Feb 15 Jan 1 Apr 15 Jan 9 Apr 4 May 15 Jun 22 May 10 Feb 15 Jun 5 May 15 Feb 31 May 12 May INSTITUT MITTAG-LEFLER – A NORDIC INSTITUT FOR RESEARCH IN MATHEMATICS Discrete Probability Seminars 2009 spring Andrew Barbour, Universität Zürich Quasi-stationary distributions Gil Kalai, Hebrew University, Jerusalem Noise sensitivity Svante Janson, Uppsala University Audience's choice Listeners are Kurt Johansson, Andrzej Rucinski, Vlada Limic and Jacob van den Berg. Photo: M. Wiberg Balint Toth, Budapest University of Technology Long time asymptotics of self-repelling random walks Gabor Pete, University of Toronto The scaling limits of dynamical and near-critical percolation, and the minimal spanning tree Elchanan Mossel, University of California, Berkeley Quantitative social choice theory Christopher Hoffman, University of Washington,Seattle Topology of random simplicial complexes Alan Sokal, University of New York The multivariate Tutte polynomial for graphs and matroids Jim Fill, Johns Hopkins University, Baltimore The numbers of symbol comparisons used by Quickselect and by Quicksort Tony Guttmann, University of Melbourne, Victoria Lattice green functions and Calabi-Yau equations Mathias Lindholm, Stockholm University Dynamic random networks Martin Bender, University of Leuven Edge scaling limits for non-Hermitian random matrices Thomas Vallier, Institut Mittag-Leffler, Djursholm Spread of activation on G(n,p) Gregory Sorkin, IBM Research, Yorktown Heights Average-case analyses of Vickrey costs 10 INSTITUT MITTAG-LEFLER – A NORDIC INSTITUT FOR RESEARCH IN MATHEMATICS Stanislav Volkov, University of Bristol Going through a passport control with wife, or sequential adsorption at extremes Maria Deijfen, Stockholm University Invariant random graphs with prescribed iid degrees Kimmo Eriksson, Mälardalens Högskola, Västerås Cultural evolution as a random walk on integer partitions Harry Kesten, Cornell University, Ithaca Random walk with occasionally modified transition probabilities Ofer Zeitouni, University of Minnesota, Minneapolis Some aspects of large deviations for RWRE Per Austrin, KTH, Stockholm Randomly supported independence Svante Linusson and Sven Erick Alm, KTH, Stockholm and Uppsala University Surprising (?) correlations in randomly oriented graphs Vladas Sidoravicius, IMPA, Rio de Janeiro Fixation in the activated random walk model Tom Britton, Stockholm University Random networks and epidemics Cecilia Holmgren, Uppsala University A weakly 1-stable limiting distribution for the number of random records and cuttings in split trees Bo Söderberg, Lund University Random Feynman graphs Vlada Limic, Université de Provence, Marseille The Lambda-coalescent speed of coming down from infinity Anders Martin-Löf, Stockholm University Pfaff, Ising and statistical mechanics Johan Jonasson, Chalmers, Gothenburg The bottom-to-top shuffle and the overlapping cycles shuffle Colin McDiarmid, University of Oxford Random graphs with few disjoint cycles Rob van den Berg, CWI, Amsterdam Sharpness of percolation transitions in some dependent 2D models David Wilson, Microsoft Corporation, Redmond A sharp threshold for minimum bounded-depth and bounded-diameter spanning trees and Steiner trees in random networks Oliver Riordan, Oxford University Random graphs, the cut metric and branching processes 11 INSTITUT MITTAG-LEFLER – A NORDIC INSTITUT FOR RESEARCH IN MATHEMATICS Johan Wästlund, Chalmers, Gothenburg Cancelling $\infty - \infty$ with games on graphs Kurt Johansson, KTH, Stockholm Universality in random matrix theory Anders Johansson, University of Gävle Factors in random graphs and hypergraphs Malwina Luczak, London School of Economics Averaging over fast variables in the fluid limit for Markov chains Lars Holst, KTH,Stockholm On records Joel Spencer, New York University Finding Lovász's needle in an exponential haystack Peter Hegarty, Chalmers, Gothenburg Concentration of measure in additive number theory Erik Broman, Chalmers, Gothenburg (Some new and some old results in) fractal percolation Olle Häggström, Chalmers, Gothenburg Dependent percolation on the square lattice Svante Janson, Uppsala University Susceptibility of random graphs John Wierman, Johns Hopkins University, Baltimore Triangle-duality and exact bond percolation thresholds Anthony Metcalfe, University College Cork Structural and universality properties of Gelfand-Tsetlin patterns and their generalizations Jakob Björnberg, Statistical Laboratory, Cambridge Stochastic geometry of the space-time Ising model Eric Nordenstam, KTH, Stockholm The shuffling algorithm and the Aztec diamond Patrik Ferrari, Weierstrass Institute, Berlin Limit processes in KPZ growth Nina Gantert, University of Münster Nearly optimal paths and survival in a killed branching random walk Liza Jones, Oxford University Infinite systems of non-colliding processes James Martin, St Hugh's College, Oxford Multiclass queues and interchangeability 12 INSTITUT MITTAG-LEFLER – A NORDIC INSTITUT FOR RESEARCH IN MATHEMATICS Timo Seppäläinen, University of Wisconsin-Madison Fluctuation bounds for a class of zero range processes Alan Hammond, ENS, Paris Trapping of a biased random walk on a supercritical tree Christophe Garban, Université Paris Sud The Fourier spectrum of critical percolation Federico Camia, Vrije Universiteit, Amsterdam Ising Euclidean fields and cluster area measures Ralph Neininger, J.W. Goethe-Universität, Frankfurt Probabilistic analysis of "Quickselect" and the contraction method Johan Tykesson, Chalmers, Gothenburg Aspects of continuum percolation in hyperbolic space Klas Markström, Umeå University Random Cayley-like graphs Alexander Holroyd, University of British Columbia, Vancouver Poisson matching Frank den Hollander, Leiden University Intermittency on catalysts Noam Berger, Einstein Institute of Mathematics, Jerusalem Slowdown estimates for ballistic random walk in random environment Mihyun Kang, Technische Universität, Berlin An ice-type model for random graphs embeddable on a surface Michal Karonski, Adam Mickiewicz University, Poznan Vertex-coloring edge-weightings Markus Heydenreich, Vrije Universiteit, Amsterdam Percolation on high dimensional boxes and related questions Alexander Fribergh, Université Lyon 1 Biased random walks on a Galton-Watson tree with leaves Hsien-Kuei Hwang, Academia Sinica, Taipei A new analytic approach to the variance asymptotics of random digital trees Andrzej Rucinski, Adam Mickiewicz University, Poznan Subhypergraph counts in random hypergraphs Jonathon Peterson, University of Wisconsin, Madison Quenched limits for one-dimensional, transient, RWRE Taral Guldahl Seierstad, University of Oslo The differential equation method and random graphs Remco van der Hofstad, Eindhoven University of Technology First passage percolation on random graphs 13 INSTITUT MITTAG-LEFLER – A NORDIC INSTITUT FOR RESEARCH IN MATHEMATICS Vincent Beffara, UMPA-ENS, Lyon Isotropic embeddings of planar lattices Tomasz Luczak, Adam Mickiewics University, Poznan Chasing robbers on random graphs Tatyana Turova, Lund University Asymptotics for the size of the largest component scaled to "log n" in inhomogeneous random graphs Tom Sanders, Christ's College, Cambridge Probabilistic methods in additive combinatorics: sets with random spectrum Ilkka Norros, VTT, Helsinki Power-law random graphs and routing problems 14 INSTITUT MITTAG-LEFLER – A NORDIC INSTITUT FOR RESEARCH IN MATHEMATICS Discrete Probability Preprints 2009 spring 01 - Critical behavior in inhomogeneous random graphs - Remco van der Hofstad 02 - Poset limits and exchangeable random posets - Svante Janson 03 - Delange's Tauberian theorem and asymptotic normality of random ordered factorizations of integers - Hsien-Kuei Hwang, Svante Janson 04 - A mean-field approach to some Internet-like random networks - Ilkka Norros 05 - The diameter behavior in the random graph process - Tomasz Luczak, Taral Guldahl Seierstad 06 - A survey of dynamical percolation - Jeffrey Steif 07 - Asymptotic normality of statistics on permutation tableaux - Pawel Hitczenko, Svante Janson 08 - Triangle-duality and equality of infinitely many bond percolation thresholds John Wierman, Robert Ziff 09 - Equality of bond percolation critical exponents for pairs of dual lattices Matthew Sedlock, John Wierman 10 - Random graph asymptotics on high-dimensional tori. II. Volume, diameter and mixing time – Markus Heydenreich, Remco van der Hofstad 11 - Aperiodic non-isomorphic lattices with equivalent percolation and randomcluster models. - Klas Markström, John Wierman 12 - Probability asymptotics: notes on notation - Svante Janson 13 - Duality in inhomogeneous random graphs, and the cut metric - Svante Janson, Oliver Riordan 14 - Large cliques in a power-law random graph - Svante Janson, Tomasz Luczak, Ilkka Norros 15 - Susceptibility in inhomogeneous random graphs - Svante Janson, Oliver Riordan 16 - Current fluctuations of a system of one-dimensional random walks in random environment - Jonathon Peterson, Timo Seppäläinen 17 - Upper tails for counting objects in randomly induced subhypergraphs and rooted random graphs - Svante Janson, Andrzej Rucinski 18 - Dynamic random networks in dynamic populations - Tom Britton, Mathias Lindholm 19 - Quasi-random graphs and graph limits - Svante Janson 20 - A note on correlations in randomly oriented graphs - Svante Linusson 21 - Long and short paths in uniform random recursive dags - Luc Devroye, Svante Janson 22 - A counter-intuitive correlation in a random tournament - Sven Erick Alm, Svante Linusson 15 INSTITUT MITTAG-LEFLER – A NORDIC INSTITUT FOR RESEARCH IN MATHEMATICS 23 - Correlations for paths in random orientations of G(n,p) - Sven Erick Alm, Svante Linusson 24 - On the speed of biased random walk in translation invariant percolation Maria Deijfen, Olle Häggström 25 - Growing networks with preferential deletion and addition of edges - Maria Deijfen, Mathias Lindholm 26 - Diffusion approximation for the components in critical inhomogeneous random graphs of rank 1. - Tatyana Turova 27 - A functional combinatorial central limit theorem - Andrew Barbour, Svante Janson 28 - On the number of perfect matchings in random lifts - Catherine Greenhill, Svante Janson, Andrzej Rucinski 29 - Noise Correlation Bounds for Uniform Low Degree Functions - Per Austrin, Elchanan Mossel 30 - Dirac-type conditions for hamiltonian paths and cycles in 3-uniform hypergraphs - Vojtech Rödl, Andrzej Rucinski, Endre Szemeredi 31 - Threshold graph limits and random threshold graphs - Persi Diaconis, Susan Holmes, Svante Janson 32 - On the speed of coming down from infinity for $\X$-coalescent processes Vlada Limic 33 - Finite-dimensional distributions for the size of the core in random graphs Taral Seierstad 34 - Stronger large deviation bounds for Wormald's differential equation method Taral Seierstad 35 - Perfect matchings and Hamilton cycles in hypergraphs with large degrees Klas Markström, Andrzej Rucinski 36 - Susceptibility of random graphs with given vertex degrees - Svante Janson 37 - On Coupling and Convergence in Density and in Distribution - Hermann Thorisson 16 INSTITUT MITTAG-LEFLER – A NORDIC INSTITUT FOR RESEARCH IN MATHEMATICS Mathematical Logic: Set Theory and Model Theory Report 2009 fall We discuss some highlights of the semester program in the area of Set Theory. The program was very successful with significant progress achieved on the principal problems of the proposal. These problems included problems related to the metamathematics of the Continuum Hypothesis and problems at the frontier of the Inner Model Program. The participants; D. Aspero, P. Larson, and J. Moore obtained a very nice result solving a decade old problem relating to the Continuum Hypothesis. The problem posed in 1999 concerned Π22-maximality and the Continuum Hypothesis. The question asks whether there are two Π22-sentences each of which is Ω-consistent with the Continuum Hypothesis but which jointly refute the Continuum Hypothesis. One motivation for the question was the result of Woodin which showed that assuming there is a proper class of measurable Woodin cardinals, then for the case of Σ22-sentences the answer is no. The other motivation was the discovery of the Pmax-axiom and this was really the primary motivation. Aspero-Larson-Moore answer this question for Π22-sentences proving that there is such a pair of Π22-sentences. This result shows that the maximality property that characterizes the Pmax-axiom cannot be generalized to the Continuum Hypothesis. The result also places constraints on possible generalizations of the forcing axiom, Martin’s Maximum, to the context of CH. Inspired by this result, Woodin showed that any such counterexample in the context of generic-◇ yields the nonexistence of inner models at the level of superstrong cardinals. While the failure of inner model theory at this level seems by current intuition extremely unlikely this result shows how a development in the technical theory of forcing could lead to such an unexpected theorem. Alternatively this result shows that the intuition from inner model theory is that Π22-maximality must be possible with generic- and this in turn suggests new directions for the technical theory of forcing in the context of forcing notions which do not add reals. Another series of results obtained during the semester program concerned the focus problem: the fine-structure theory for one supercompact cardinal. Results obtained prior to the Mittag-Leffler program have identified the inner model problem for one supercompact cardinal as the key problem in extending inner model theory beyond the level of superstrong cardinals. The reason is that these results show that the generalization of Gödel’s Axiom of Constructibility to the level of exactly one supercompact cardinal yields a provably maximal version of this axiom. The existence of such an “ultimate” version of Gödel’s inner model L would have truly profound consequences in Set Theory and the foundations of Mathematics. The generalizations of L to large cardinals are in the form of extender models. For large cardinals at the level of superstrong and below, the extenders are short extenders. The detailed theory of these models was worked out by Mitchell and Steel (both of whom were participants in the fall program) over 15 years ago. The extension of this theory beyond the level of superstrong cardinals requires the development of the theory of extender models involving long extenders. It has been realized for some time that dealing with long extenders creates serious technical problems. Results obtained during the fall program by Woodin have made significant progress on this problem yielding for the first time a 17 INSTITUT MITTAG-LEFLER – A NORDIC INSTITUT FOR RESEARCH IN MATHEMATICS definition of fine-structural extender models with long extenders and generalizing significant elements of the Mitchell-Steel theory to the context of these new models. The theory is still at a preliminary stage and certain aspects could change but many key obstacles have been identified and overcome. Quite a number of other results were obtained by the participants on a variety of topics in Set Theory. A very nice result was obtained by the two participants, Ilijas Farah and Saharon Shelah, and shows that in ZFC any countable model has either 1 or 22 0 אnonisomorphic ultrapowers associated with nonprincipal ultrafilters on N. The result also applies to separable metric structures, such as C*algebras and II1 factors. Their results have already been submitted for publication. Farah also working with participants, P. McKenney and E. Schimmerling, proved that assuming the forcing axiom PFA then for every Hilbert space (even nonseparable), the automorphisms of the associated Ilijas Farah, Paul McKenney and Ernest Schimmerling discuss in the Calkin algebra are all inner. lecture room. Photo: M. Wiberg In the area of constructive set theory and topos theory a group of people worked on AczelMyhill constructive set theory, CZF. Thomas Streicher together with Alex Simpson finished work on a sheaf model for CZF refuting both the power set axiom and unbounded separation. Extensions of CZF with axioms related to predicativity issues in formal topology, especially set-presentation of covers, were investigated by Benno van den Berg, Hajime Ishihara and Erik Palmgren. They studied in particular the set-generation scheme (SGS) and the principle for non-deterministic inductive definitions (NID) and their relation to relativized dependent choice and similar principles true in the standard type-theoretic model of CZF. Topos theory and category-theoretic formulations of set theory were related topics of research. Van den Berg finalized a major paper with Ieke Moerdijk on sheaves in predicative algebraic set theory. Palmgren finished a paper relating Lawvere's categorical set theory and Bishop's informal theory of sets. Jaap van Oosten discovered that the effective topos contains at least part of a so-called Quillen model structure, which makes it possible to develop a homotopy theory in this topos. The appropriate notion of path is very much connected to the so-called "discrete reflection": the left adjoint to the inclusion of the discrete objects in the topos. It allows the discrete objects to be characterized as "having no nontrivial paths", and therefore (internally) the discrete reflection of an object as the set of its path components. The graduate student-participant, Daisuke Ikegami, working with Woodin, obtained a likely solution to the problem of the relationship between determinacy and Blackwell determinacy at the level of real games. The main result is that the Axiom of Real Determinacy and the Axiom of Real Blackwell Determinacy are equivalent (in the context of the base theory ZF + DC). The details are still being checked but the proof looks quite promising. Magidor and Väänänen finalized the solution of an old open problem concerning strong Löwenheim-Skolem properties and supercompact cardinals. 18 INSTITUT MITTAG-LEFLER – A NORDIC INSTITUT FOR RESEARCH IN MATHEMATICS On the non-mathematical side a potluck party was organized every week and four special 20 person dinners were organized where the junior members could meet a senior member (Shelah, Magidor, Todorcevic and Woodin). These dinners were preceded by an informal question-and-answers session, and ended with a concert by the grand piano. Both the junior members and the senior mathematician in question alike reported that the arrangement was very successful and beneficial. Vadim Kulikov plays guitar. In the front Professor and Mrs Magidor. Photo: J. Väänänen Organizing committee Dag Normann, University of Oslo Erik Palmgren, University of Uppsala Jouko Väänänen, University of Helsinki and University of Amsterdam Hugh Woodin, University of California at Berkeley On behalf of the organizing committee Jouko Väänänen and Erik Palmgren 19 INSTITUT MITTAG-LEFLER – A NORDIC INSTITUT FOR RESEARCH IN MATHEMATICS Mathematical Logic: Set Theory and Model Theory Participants 2009 fall Name Asperó, David University Universitat de Barcelona City Barcelona Bagaria, Joan Baldwin, John Berg, van den, Benno Cummings, James Di Prisco, Carlos Dobrinen, Natasha Dzamonja, Mirna Enayat, Ali Engström, Fredrik Farah, Ilias Flaskova, Jana Galliani, Pietro Hedin, Anton Hella, Lauri Hyttinen, Tapani Ikegami, Daisuke Universitat de Barcelona University of Illinois TU Darmstadt Carnegie Mellon University IVIC University of Denver University of East Anglia American University University of Gothenburg York University University of West Bohemia University of Amsterdam Uppsala University University of Tampere University of Helsinki Universiteit van Amsterdam Japan Advanded Institute of Science and Technology Alfréd Rényi Institut of Mathematics University of Helsinki Helsinki University California Institute of Technology University of Helsinki Universiteit van Amsterdam University of Helsinki Rheinische-Friedrich-WilhelmUniversität University of Illinois Ben Gurion University University of Helsinki University of Uppsala The Graduate Center Helsinki University Miami University Uppsala University ICMAT (CSIC) Uppsala University University of Helsinki Barcelona Chicago Darmstadt Pittsburgh Caracas Ishihara, Hajime Juhász, István Kangas, Kaisa Kankaanpää, Teppo Kechris, Alexander Kennedy, Juliette Keskinen, Lauri Kesälä, Meeri Koepke , Peter Koerwien, Martin Kojman, Menachem Kontinen, Juha Koponen, Vera Kossak, Roman Kulikov, Vadim Larson, Paul Lindström, Ingrid Lopez-Abad, Jordi Loukanova, Roussanka Luosto, Kerkko 20 Norwich Washington Göteborg Toronto Plzeń Amsterdam Uppsala Tampere Helsinki Amsterdam Arrival 5 Sep 1 Nov 1 Nov 3 Sep 15 Oct 15 Nov 30 Oct 24 Nov 31 Aug 31 Aug 1 Sep 1 Sep 2 Sep 13 Nov 15 Sep 20 Oct 5 Oct 4 Sep Departure 20 Sep 14 Nov 29 Nov 30 Oct 15 Dec 16 Dec 29 Nov 15 Dec 28 Sep 1 Nov 13 Nov 30 Sep 16 Dec 30 Nov 15 Dec 15 Dec 30 Oct 15 Dec Ishikawa 13 Nov 1 Dec Budapest 31 Aug 30 Sep Helsinki Helsinki 26 Oct 5 Oct 1 Nov 15 Dec Pasadena 1 Sep 30 Sep Helsinki Amsterdam Helsinki 27 Aug 1 Sep 15 Oct 15 Dec 15 Dec 15 Nov Bonn 1 Dec 14 Dec Chicago Be'er-Sheva Helsinki Uppsala New York Helsinki Oxford, Ohio Uppsala Madrid Uppsala Helsinki 18 Oct 1 Sep 2 Nov 1 Sep 1 Sep 1 Sep 1 Sep 1 Sep 1 Dec 1 Sep 1 Sep 31 Oct 12 Sep 4 Dec 15 Dec 15 Dec 15 Dec 15 Oct 15 Dec 13 Dec 15 Dec 15 Dec INSTITUT MITTAG-LEFLER – A NORDIC INSTITUT FOR RESEARCH IN MATHEMATICS Magidor, Menachem Martin-Löf, Per McKenney, Paul Mildenberger, Heike Mitchell, William Moore, Justin Normann, Dag Oosten, van, Jaap Palmgren, Erik Sabok, Marcin Schimmerling, Ernest Schindler, Ralf Schlicht, Philipp Shelah, Saharon Steel, John Stoltenberg, Viggo Streicher, Thomas Todorcevic, Stevo Tuomi, Lauri Velickovic, Boban Villaveces, Andrés Vlitas, Dimitrios Väänänen, Jouko Walczak-Typke, Agatha Wilander, Olov Wohofsky, Wolfgang Woodin, Hugh Yang, Fan Zambrano, Pedro The Hebrew University Stockholms universitet Carnegie Mellon University The Hebrew University University of Florida Cornell University University of Oslo University of Utrecht Uppsala University Wroclaw University Carnegie Mellon University Universität Münster Friedrich-Wilhelms-Universität Hebrew University University of California Uppsala University Technische Universität University of Toronto University of Helsinki Université Paris 7 Universidad Nacional de Colombia University of Toronto University of Helsinki and Amsterdam University of Vienna Uppsala University Vienna University of Technology University of California Berkeley University of Helsinki Universidad Nacional de Colombia 21 Jerusalem Stockholm Pittsburgh Jerusalem Gainesville Ithaca Oslo Utrecht Uppsala Wroclaw Pittsburgh Münster Bonn Jerusalem Berkeley Uppsala Darmstadt Toronto Helsinki Paris 1 Sep 1 Sep 1 Sep 15 Nov 12 Oct 1 Sep 5 Oct 30 Sep 1 Sep 1 Sep 1 Sep 14 Sep 31 Aug 1 Sep 1 Sep 5 Oct 20 Sep 1 Sep 21 Oct 3 Oct 15 Dec 15 Dec 30 Sep 15 Dec 15 Dec 30 Sep 9 Oct 14 Dec 15 Dec 15 Dec 30 Sep 5 Nov 16 Dec 30 Sep 30 Sep 31 Oct 9 Oct 15 Dec 31 Oct 31 Oct Bogotá 1 Oct 15 Nov Toronto Helsinki and Amsterdam Vienna Uppsala Vienna Berkeley Helsinki 26 Nov 6 Dec 27 Aug 15 Dec 31 Aug 1 Oct 14 Sep 9 Sep 2 Nov 15 15 27 12 13 Bogotà 1 Oct 16 Oct Dec Dec Sep Dec Nov INSTITUT MITTAG-LEFLER – A NORDIC INSTITUT FOR RESEARCH IN MATHEMATICS Mathematical Logic: Set theory and model theory Seminars 2009 fall Stevo Todorcevic, University of Toronto gave a series of 4 lectures with the title: A basis problem for compact spaces Jouko Väänänen, Universitites of Helsinki and of Amsterdam gave a series of 5 lectures with the title: Set theory and logic Erik Palmgren, Uppsala University Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets Bill Mitchell, University of Florida, Gainesville The covering lemma: 35 years, and a question Heike Mildenberger, Universität Wien Filters versus semifilters James Cummings, Carnegie Mellon University, Pittsburgh Recent uses of infinitary methods in finite combinatorics Jean Larson, Gainesville, Florida Scattered thoughts on infinite combinatorics Hajime Ishihara, Japan Advanced Institute of Science and Technology, Ishikawa A boundedness principle in constructive reverse mathematics Vera Koponen, University of Uppsala Asymptotic probabilities of extension axioms. Kerkko Luosto, University of Helsinki Combinatorics of quantifiers Joan Bagaria, Universitat de Barcelona Large cardinals and accessible categories Philipp Schlicht, Friedrich-Wilhelm-Universität, Bonn Descriptive set theory at uncountable cardinals Lauri Hella, University of Tampere Monadic sigma-1-1 and modal logic with quantified binary relations Juha Kontinen, University of Helsinki Regular representations of uniform TC0. Agatha Walczak-Typke, University of Vienna Constructibility of potentially isomorphic pairs vs classification in homogeneous model theory. 22 INSTITUT MITTAG-LEFLER – A NORDIC INSTITUT FOR RESEARCH IN MATHEMATICS Carlos Di Prisco, IVIC, Caracas Graphs defined by the shift operation Ralf Schindler, Universität Münster Woodin's axiom (*), bounded forcing axioms, and related issues. Part II Daisuke Ikegami, Universiteit van Amsterdam Blackwell determinacy Meeri Kesälä, University of Helsinki Finitary abstract elementary classes Fredrik Engström, University of Gothenburg Logical constants and invariance Menachem Magidor, the Hebrew University, Jerusalem The Lowenheim-Skolem-Tarski number of the Hartig-quantifier can be the first inaccessible Benno van den Berg, TU Darmstadt An introduction to algebraic set theory Tapani Hyttinen, University of Helsinki Model theory and metric structures Vadim Kulikov. University of Helsinki Equivalence relations on a generalized Baire space Boban Velickovic, Université Paris 7 Universal countable Borel equivalence relations Andrés Villaveces, Universidad Nacional de Colombia, Bogota Dependence outside first order contexts Dag Normann, University of Oslo The sequential functionals are far from being algebraic domains Jaap van Oosten, University of Utrecht Constructions of (order-) partial combinatory algebras Hugh Woodin, University of California, Berkeley Pi-2-2 -maximality and generic diamond Ralf Schindler, Universität Münster Woodin's axiom (*), bounded forcing axioms, and related issues. Jana Flaskova, University of West Bohemia, Plzeń Some ultrafilters on natural numbers Thomas Streicher, Technische Universität Darmstadt Sheaf models for CZF refuting power set and full separation Roman Kossak, City University of New York Classification problems in models of Peano arithmetic 23 INSTITUT MITTAG-LEFLER – A NORDIC INSTITUT FOR RESEARCH IN MATHEMATICS Marcin Sabok, Wroclaw University Playing with idealized forcing Paul Larson, Miami University, Ohio Universally measurable sets in generic extensions Justin Moore, Cornell University, Ithaca CH and the combinatorics of the club filter Saharon Shelah, Hebrew University and Rutgers University An advance on the existence of completely separable MAD families Ali Enayat, American University, Washington DC Automorphisms of Models of Set Theory Alexander Kechris, CALTECH, Pasadena The complexity of classification problems in ergodic theory. Istvan Juhasz, Hungarian Academy of Sciences, Budapest On the convergence and character spectra of compact spaces John Baldwin, University of Illinois, Chicago Shelah´s Conjecture: The Universe is Wide or Deep Ilijas Farah, York University, Toronto Model theory of operator algebras (joint work with Bradd Hart and David Sherman) 24 INSTITUT MITTAG-LEFLER – A NORDIC INSTITUT FOR RESEARCH IN MATHEMATICS Mathematical Logic: Set theory and model theory Preprints 2009 fall 01 - CH, a problem of Rolewicz and bidiscrete systems - Mirna Džamonja, István Juhász 02 - Measurable chromatic and independence numbers for ergodic graphs and group actions - Alexander S. Kechris, Clinton T. Conley 03 - A dichotomy for the number of ultrapowers - Ilijas Farah, Saharon Shelah 04 - Constructivist and Structuralist Foundations: Bishop's and Lawvere's Theories of Sets - Erik Palmgren 05 - Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on $\omega_1$ - Ralf Schindler 06 - Aspects of Predicative Algebraic Set Theory III: Sheaves - Benno van den Berg, Ieke Moerdijk 07 - An Improper Arithmetically Closed Borel Subalgebra of P(omega) mod FIN Ali Enayat, Saharon Shelah 08 - On cofinal submodels and first interstices - Roman Kossak 09 - The Stability Spectrum for Classes of Atomic models - John Baldwin, Saharon Shelah 10 - Interpreting Groups and Fields in Simple, Finitary AECs - Tapani Hyttinen, Meeri Kesälä 11 - Forcing properties of ideals of closed sets - Marcin Sabok, Jindrich Zapletal 12 - Amalgamation, Absoluteness, and Categoricity - John Baldwin 13 - Rapid ultrafilters and summable ideals - Jana Flaskova 14 - Tukey types of ultrafilters - Natasha Dobrinen, Stevo Todorcevic 15 - On Löwenheim-Skolem-Tarski numbers for extensions of first order logic Menachem Magidor, Jouko Väänänen 16 - Model Theoretic Perspectives on the Philosophy of Mathematics - John Baldwin 17 - Asymptotic probabilities of extension properties - Vera Koponen 18 - Generic Banach spaces and generic simplexes - Jordi Lopez-Abad, Stevo Todorcevic 19 - Lascar types and Lascar automorphisms in Abstract Elementary Classes Tapani Hyttinen, Meeri Kesälä 20 - Countable Ideals Models for CZF - Alex Simpson, Thomas Streicher 21 - Martin's maximum and weak square - James Cummings, Menachem Magidor 22 - A Remark on Negation in Dependence Logic - Juha Kontinen, Jouko Väänänen 23 - Non-permutation invariant Borel quantifiers - Fredrik Engström, Philipp Schlicht 24 - A Notion of Homotopy for the Effective Topos - Jaap van Oosten 25 - Regular Representations of Uniform $TC^0$ - Lauri Hella, Juha Kontinen, Kerkko Luosto 26 - $C^{(n)}$-Cardinals - Joan Bagaria 27 - Notions of Independence for Metric Abstract Elementary Classes – Andrés Villaveces, Pedro Zambrano 28 - On Milliken-Taylor Ultrafilters - Heike Mildenberger 29 - Remarks on Gaps in Dense(Q)/nwd - Teppo Kankaanpää 30 - Potential Isomorphism of Elementary Substructures of a Homogeneous Model - Agatha Walczak-Typke, Tapani Hyttinen, Sy-David Friedman 25 INSTITUT MITTAG-LEFLER – A NORDIC INSTITUT FOR RESEARCH IN MATHEMATICS 31 - A Hanf Number for Satuation and Omission - John Baldwin, Saharon Shelah 32 - Real Determinacy and Real Blackwell Determinacy - Daisuke Ikegami, W. Hugh Woodin 33 - Around Superstability in Metric Abstract Elementary Classes: Limit Models and r-Towers - Andrés Villaveces, Pedro Zambrano 34 - On Ajtai Hypothesis in different cardinalities - Lauri Keskinen 35 - The relation of rapid ultrafilters and Q-points to van der Waerden ideal - Jana Flaskova 36 - Remarks on the relation between families of setoids and identity in type theory - Erik Palmgren 37 - On the maximal resolvability of monotonically normal spaces - Istvan Juhasz, Menachem Magidor 38 - On $\Pi_2$-maximality and the Continuum Hypothesis - David Asperó, Paul Larson, Justin Tatch Moore 26 INSTITUT MITTAG-LEFLER – A NORDIC INSTITUT FOR RESEARCH IN MATHEMATICS Participants from the Nordic countries Finland Hella, Lauri, Tampere Hyttinen, Tapani, Helsinki Kangas, Kaisa, Helsinki Kankaanpää, Teppo, Helsinki Kennedy, Juliette, Helsinki Kesälä, Meeri, Helsinki Keskinen, Lauri, Helsinki Kontinen, Juha, Helsinki Kulikov, Vadim, Helsinki Luosto, Kerkko, Helsinki Norros, Ilkka, Helsinki Tuomi, Lauri, Helsinki Väänänen, Jouko, Helsinki & Amsterdam Norway Normann, Dag, Oslo Seierstad, Taral, Oslo Sweden Lagerås, Andreas, Stockholm Lindholm, Mattias, Stockholm Lindström, Ingrid, Uppsala Linusson, Svante, Stockholm Markström, Klas, Umeå Martin-Löf, Anders, Stockholm Martin-Löf, Per, Stockholm Nordenstam, Eric, Stockholm Palmgren, Erik, Uppsala Renlund, Henrik, Uppsala Steif, Jeff, Göteborg Stoltenberg,Viggo, Uppsala Söderberg, Bo, Lund Turova, Tatyana, Lund Tykesson, Johan, Göteborg Vallier, Thomas, Lund Warfheimer, Marcus, Göteborg Wilander, Olov, Uppsala Wästlund, Johan, Göteborg Alm, Sven Erick, Uppsala Austrin, Per, Stockholm Björnberg, Jakob, Stockholm Britton, Tom, Stockholm Broman, Erik, Göteborg Deijfen, Maria, Stockholm Engström, Fredrik, Göteborg Eriksson, Kimmo, Västerås Hedin, Anton, Uppsala Hegarty, Peter, Göteborg Holmgren, Cecilia, Uppsala Holst, Lars, Stockholm Häggström, Olle, Göteborg Janson,Svante, Uppsala Johansson, Anders, Gävle Johansson, Fredrik, Stockholm Johansson, Kurt, Stockholm Jonasson, Johan, Göteborg Koponen, Vera, Uppsala 27 Publications Institut Mittag-Leffler publishes two research journals. Acta Mathematica was founded by Gösta Mittag-Leffler in 1882, while Arkiv för matematik traces its roots back to a journal founded in 1903 by the Royal Swedish Academy of Sciences. Since January 1, 2006 Springer is handling printing, subscriptions and distribution of both journals. Naturally, the Institute retains full ownership and full editorial control of the journals. All back volumes of both journals have been digitized by Springer and are available on the web for subscribers. Acta Mathematica 2 volumes/year (4 issues, totally 600 pp) During 2009 the issues 202:1-2 and 203:1-2 have appeared with in total 11 articles. The influx of manuscripts has been very good. Printed version: 474 copies Electronic version: 5 547 subscribers via consortia of universities all over the world. In this way the journal is reached by 34 African, 1 119 American, 1 313 Australasian and 3 081 European departments and institutions at different universities. Editorial Board: Anders Björner, Editor-in-Chief, Institut Mittag-Leffler Karsten Grove, Dept of Mathematics, University of Notre Dame, USA; Jens Carsten Jantzen, University of Aarhus, Denmark; Kurt Johansson, Dept of Mathematics, The Royal Institute of Technology, KTH, Stockholm, Sweden; Pekka Koskela, Dept of Mathematics and Statistics, University of Jyväskylä, Finland; Kristian Seip, Dept of Mathematical Sciences, NTNU, Trondheim, Norway; Johannes Sjöstrand, IMB, Université de Bourgogne, Dijon, France Technical Editors: Anders Björn, Dept of Mathematics, Linköping University, Sweden; Federico Incitti, Dept of Mathematics, Sapienza University of Rome, Italy. Editorial Assistant: Margareta Wiberg Roland, Institut Mittag-Leffler 28 INSTITUT MITTAG-LEFLER – A NORDIC INSTITUT FOR RESEARCH IN MATHEMATICS Arkiv för matematik 1 volume/year (2 issues, totally 400 pp) The issues 46:1-2 have appeared during 2009 with in total 19 articles. The influx of manuscripts has been sufficient, but could be better. Printed version: 215 copies Electronic version: 5 050 subscribers via consortia of universities all over the world. In this way the journal is reached by 34 African, 899 American, 1 047 Australasian and 3 070 European departments and institutions at different universities. Editorial Board: Anders Björner, Editor-in-Chief, Institut Mittag-Leffler Ralf Fröberg, Dept of Mathematics, Stockholm University, Sweden; Olle Häggström, Dept of Mathematical Sciences, Chalmers University of Technology, Göteborg, Sweden – 2009-06-30 Ari Laptev, Dept of Mathematics, The Royal Institute of Technology, KTH, Stockholm, Sweden; Mikael Passare, Dept of Mathematics, Stockholm University, Sweden Peter Sjögren, Dept of Mathematics, Göteborg University, Sweden; Jeffrey Steif, Dept of Mathematical Sciences, Chalmers University of Technology, Göteborg, Sweden 2009-07-01 – Technical Editor: Anders Björn, Dept of Mathematics, Linköping University, Sweden Editorial Assistant: Margareta Wiberg Roland, Institut Mittag-Leffler 29 INSTITUT MITTAG-LEFLER – A NORDIC INSTITUT FOR RESEARCH IN MATHEMATICS The board of Institut Mittag-Leffler 2009 Bo Berndtsson, Chalmers University of Technology, CTH, Göteborg Anders Björner, Director, Institut Mittag-Leffler Torsten Ekedahl, Stockholm University Olle Häggström, Chalmers University of Technology, CTH, Göteborg Bjørn Jahren, University of Oslo, Vice Chairman Svante Janson, Uppsala University Kurt Johansson, Royal Institute of Technology, KTH, Stockholm Jan-Erik Roos, Stockholm University, Chairman Mikael Rørdam, Copenhagen, 2009-07-01 – Eero Saksman, University of Helsinki Jan Philip Solovej, H.C. Ørsted Institute, Copenhagen, Vice Chairman, – 2009-06-30 Anders Szepessy, Royal Institute of Technology, KTH, Stockholm Hermann Thorisson, University of Iceland, Reykjavik Hans Wallin, Umeå University Board meeting November 2009. From left standing: A. Szepessy, H. Wallin, Lisbeth Wallin and Gunnar Öquist, The Royal Swedish Academy of Sciences, T. Ekedahl, B. Jahren, S. Janson, J.-E. Roos, O. Häggström, E. Saksman. Sitting: H. Thorisson, J.-P. Solovej, K. Johansson and A. Björner. Photo: M. Wiberg Roland 30 INSTITUT MITTAG-LEFLER – A NORDIC INSTITUT FOR RESEARCH IN MATHEMATICS Administrative information 2009 Staff Anders Björner Federico Incitti Alexander Koponen Marie-Louise Koskull Fawzi Mourou Mikael Rågstedt Margareta Wiberg Roland Director, 60% Technical editor, 50% Computer technician, 80% Administrator of the scientific program Caretaker Librarian Head of administration and economy Fawzi Mourou, Alexander Koponen, Marie-Louise Koskull, Margareta Wiberg Roland, Anders Björner and Mikael Rågstedt. Photo: C. Ameln Research program During 2009 the Institute hosted 151 visiting researchers, who together spent 272.5 manmonths working at the Institute. Library and historical archive The library subscribes to several electronic journals and to around 110 print journals. In addition, we receive some 70 journals in exchange for Acta Mathematica and Arkiv för matematik. Information and copies from the historical archive are frequently requested, including visits by mathematical historians. 31 INSTITUT MITTAG-LEFLER – A NORDIC INSTITUT FOR RESEARCH IN MATHEMATICS Financial statement (kSEK) Result 2009 Result 2008 Income Contributions from Nordic countries 1 067 787 Contribution from the Swedish Research Council Grant Income Other Income 1 100 1 260 592 1 105 1 029 737 Total External Income Journals net 4 019 495 3 657 718 Profit available for distribution from the Endowment Exceeded withdrawal from the Endowment 2 974 1 069 3 344 806 Total Income 8 558 8 525 Expenditure Scientific Program - Grants Offices and Lodging Library Administration 1 582 2 256 1 516 3 203 1 888 1 938 1 519 3 180 Total Costs 8 558 8 525 32