Resumo: This lecture highlights some recent advances on classical decidability issues in local and global fields.

Resumo: Germs of real-valued functions, surreal numbers, and transseries are three ways to enrich the real continuum by infinitesimal and infinite quantities. Each of these comes with naturally interacting notions of ordering and derivative. The category of $H$-fields provides a common framework for the relevant algebraic structures. We give an exposition of our results on the model theory of $H$-fields, and we report on recent progress in unifying germs, surreal numbers, and transseries from the point of view of asymptotic differential algebra.

Resumo: The ultraproduct construction gives a way of averaging an infinite sequence of mathematical structures, such as fields, graphs, or linear orders. The talk will be about the strength of such a construction.

Resumo: The subject of descriptive set theory is traditionally concerned with the theory of definable subsets of Polish spaces. By introducing large cardinal/determinacy axioms, a theory of definable subsets of Polish spaces and their associated ordinals has been developed over the last several decades which extends far up in the definability hierarchy. Recently, much interest has been focused on trying to extend the theory of definable objects to more general types of sets, not necessarily subsets of a Polish space or an ordinal. A large class of these objects are represented by equivalence relations on Polish spaces. Even for some of the simpler of these relations, an interesting combinatorial theory is emerging. We consider both problems of extending further the theory of definable subsets of Polish spaces, and that of determining the structure of these new types of definable sets.

Resumo: We discuss applications of methods from proof theory, so-called proof interpretations, for the extraction of explicit bounds in convex optimization, fixed point theory, ergodic theory and nonlinear semigroup theory.

Resumo: Let $R$ be a regular local ring. Let $\bf G$ be a reductive group scheme over $R$. A well-known conjecture due to Grothendieck and Serre assertes that a principal $\bf G$-bundle over $R$ is trivial, if it is trivial over the fraction field of $R$. In other words, if $K$ is the fraction field of $R$, then the map of non-abelian cohomology pointed sets \[ {H}^1_{ét}(R,{\bf G})\to {H}^1_{ét}(K,{\bf G}) \] induced by the inclusion of $R$ into $K$, has a trivial kernel. The conjecture is solved in positive for all regular local rings contaning a field. More precisely, if the ring $R$ contains an infinite field, then this conjecture is proved in a joint paper due to R. Fedorov and I. Panin published in 2015 in Publications l'IHES. If the ring R contains a finite field, then this conjecture is proved in 2015 in a preprint due to I. Panin which can be found on preprint server Linear Algebraic Groups and Related Structures. A more structured exposition can be found in Panin's preprint of the year 2017 on arXiv.org.
This and other results concerning the conjecture are discussed in the present paper. We illustrate the exposition by many interesting examples. We begin with couple results for complex algebraic varieties and develop the exposition step by step to its full generality.

Resumo: We sketch a proof of Weibel's conjecture on the vanishing of negative algebraic $K$-groups and we explain an analog of this result for continuous $K$-theory of non-archimedean algebras.

Resumo: This is a survey on recent developments in Cohen–Macaulay representations via tilting and cluster tilting theory. We explain triangle equivalences between the singularity categories of Gorenstein rings and the derived (or cluster) categories of finite dimensional algebras.

Resumo: We discuss some basic problems in representation theory of finite groups, and current approaches and recent progress on some of these problems. We will also outline some applications of these and other results in representation theory of finite groups to various problems in group theory, number theory, and algebraic geometry.

Resumo: We report, from an algebraic point of view, on some methods and results on the classification problem of fusion categories over an algebraically closed field of characteristic zero.

Resumo: We give an overview of our effort to introduce (dual) semicanonical bases in the setting of symmetrizable Cartan matrices.

Resumo: In this talk we will speak about recent progress on the sphere packing problem. The packing problem can be formulated for a wide class of metric spaces equipped with a measure. An interesting feature of this optimization problem is that a slight change of parameters (such as the dimension of the space or radius of the spheres) can dramatically change the properties of optimal configurations. We will focus on those cases when the solution of the packing problem is particularly simple. Namely, we say that a packing problem is sharp if its density attains the so-called linear programming bound. Several such configurations have been known for a long time and we have recently proved that the $E_8$ lattice sphere packing in $\mathbb{R}^8$ and the Leech lattice packing in $\mathbb{R}^{24}$ are sharp. Moreover, we will discuss common unusual properties of shared by such configurations and outline possible applications to Fourier analysis.

Resumo: We discuss recent advances on weak forms of the Prime $k$-tuple Conjecture, and its role in proving new estimates for the existence of small gaps between primes and the existence of large gaps between primes.

Resumo: We review the construction of analytic families of Siegel modular cuspforms based on the notion of overconvergent modular forms of $p$-adic weight. We then present recent developments on the following subjects: the halo conjecture, the construction of $p$-adic L-functions, and the modularity of irregular motives.

Resumo: We review the theory of the fundamental curve of p-adic Hodge theory and its main applications. We will in particular review our joint work with P. Scholze where we use the stack of G-bundles on the curve to construct local Langlands parameters for p-adic groups.

Resumo: Multiplicative number theory aims to understand the ways in which integers factorize, and the distribution of integers with special multiplicative properties (such as primes). It is a central area of analytic number theory with various connections to L-functions, harmonic analysis, combinatorics, probability, ... At the core of the subject lie difficult questions such as the Riemann Hypothesis, and they set a benchmark for its accomplishments.

An outstanding challenge in this field is to understand the multiplicative properties of integers linked by additive conditions, for instance n and n + 1. A central conjecture making this precise is the Chowla–Elliott conjecture on correlations of multiplicative functions evaluated at consecutive integers. Until recently this conjecture appeared completely out of reach and was thought to be at least as difficult as showing the existence of infinitely many twin primes. These are also the kind of questions that lie beyond the capability of the Riemann Hypothesis.

However recently the landscape of multiplicative number theory has been changing and we are no longer so certain about the limitations of our (new) tools. I will explain the recent progress that was accomplished, why conjectures such as the Chowla–Elliott conjecture might be in fact only a few years away from a complete resolution and further applications of the new methods that were recently developed.

Resumo: This is an introduction to a probabilistic model for the arithmetic of elliptic curves, a model developed in a series of articles of the author with Bhargava, Kane, Lenstra, Park, Rains, Voight, and Wood. We discuss the theoretical evidence for the model, and we make predictions about elliptic curves based on corresponding theorems proved about the model. In particular, the model suggests that all but finitely many elliptic curves over $\mathbb{Q}$ have rank $\le 21$, which would imply that the rank is uniformly bounded.

Resumo: Estimating the size of automorphic $L$-functions on the critical line is a central problem in analytic number theory. An easy consequence of the standard analytic properties of the $L$-function is the convexity bound, whereas the generalised Riemann Hypothesis predicts a much sharper bound. Breaking the convexity barrier is a hard problem. The moment method has been used to surpass convexity in the case of $L$-functions of degree one and two. In this talk I will discuss a different method, which has been quite successful to settle certain longstanding open problems in the case of degree three.

Resumo: We describe recent work on the construction of well-behaved arithmetic models for large classes of Shimura varieties and report on progress in the study of these models.

Resumo: We provide an informal discussion of the polynomial method. This is a tool of general applicability that can be used to exploit the algebraic structure arising in some problems of arithmetic nature.

Resumo: Motivated by the formulas of Gross–Zagier and Waldspurger, we review conjectures and theorems on automorphic period integrals, special cycles on Shimura varieties, and their connection to central values of L-functions and their derivatives. We focus on the global Gan–Gross–Prasad conjectures, their arithmetic versions and some variants in the author's joint work with Rapoport and Smithling. We discuss the approach of relative trace formulas and the arithmetic fundamental lemma conjecture. In the function field setting, Z. Yun and the author obtain a formula for higher order derivatives of L-functions in terms of special cycles on the moduli space of Drinfeld Shtukas.

Resumo: This is a survey of recent advances in commutative algebra, especially in mixed characteristic, obtained by using the theory of perfectoid spaces. An explanation of these techniques and a short account of the author's proof of the direct summand conjecture are included. One then portrays the progresses made with these (and related) techniques on the so-called homological conjectures.

Resumo: Vincent Lafforgue has recently made a spectacular breakthrough in the setting of the global Langlands correspondence for global fields of positive characteristic, by constructing the ‘automorphic–to–Galois’ direction of the correspondence for an arbitrary reductive group $G$. We discuss a result that starts with Lafforgue's work and proceeds in the opposite (‘Galois–to–automorphic’) direction.

Resumo: We survey recent results in functional transcendence theory, and give arithmetic applications to the André–Oort conjecture and other unlikely-intersection problems.

Resumo: I will describe a variational approach to the existence of Kähler–Einstein metrics on Fano manifolds, and its relation to the algebro-geometric notion of K-stability.

Resumo: This is a report on some of the main developments in birational geometry in recent years focusing on the minimal model program, Fano varieties, singularities and related topics, in characteristic zero.

Resumo: In recent years an interesting connection has been established between some moduli spaces of algebro-geometric objects (e.g. algebraic stable curves) and some moduli spaces of polyhedral objects (e.g. tropical curves).
In loose words, this connection expresses the Berkovich skeleton of a given algebro-geometric moduli space as the moduli space of the skeleta of the objects parametrized by the given space; it has been proved to hold in two important cases: the moduli space of stable curves and the moduli space of admissible covers. Partial results are known in other cases.
This connection relies on the study of the boundary of the algebro-geometric moduli spaces and on its recursive, combinatorial properties, some of which have been long known and are now viewed from a new perspective.

Resumo: We review the theory of the fundamental curve of p-adic Hodge theory and its main applications. We will in particular review our joint work with P. Scholze where we use the stack of G-bundles on the curve to construct local Langlands parameters for p-adic groups.

Resumo: We survey some recent topics on singularities, with a focus on their connection to the minimal model program. This includes the construction and properties of dual complexes, the proof of the ACC conjecture for log canonical thresholds and the recent progress on the ‘local stability theory’ of an arbitrary Kawamata log terminal singularity.

Resumo: Let $X$ be an algebraic set in $\mathbb{R}^n$. Real-valued functions, defined on subsets of $X$, that are continuous and admit a rational representation have some remarkable properties and applications. We discuss recently obtained results on such functions, against the backdrop of previously developed theories of arc-symmetric sets, arc-analytic functions, approximation by regular maps, and algebraic vector bundles.

Resumo: The theory of holomorphic foliations has its origins in the study of differential equations on the complex plane, and has turned into a powerful tool in algebraic geometry. One of the fundamental problems in the theory is to find conditions that guarantee that the leaves of a holomorphic foliation are algebraic. These correspond to algebraic solutions of differential equations. In this paper we discuss algebraic integrability criteria for holomorphic foliations in terms of positivity of its tangent sheaf, and survey the theory of Fano foliations, developed in a series of papers in collaboration with Stéphane Druel. We end by classifying all possible leaves of del Pezzo foliations.

Resumo: We discuss several invariants of complex normal surface singularities with a special emphasis on the comparison of analytic–topological pairs of invariants. Additionally we also list several open problems related with them.

Resumo: We introduce the development of birational geometry associated to pluricanonical maps. Especially, we explain various aspects of explicit studies of threefolds including the key idea of theory of baskets and other applications.

Resumo: I will give an overview of techniques based on the theory of mixed Hodge modules, which lead to a number of applications of a rather elementary nature in birational and complex geometry. The key point I will emphasize is the use of vanishing and positivity theorems in the context of filtered D-modules of Hodge theoretic origin.

Resumo: We describe recent work on the construction of well-behaved arithmetic models for large classes of Shimura varieties and report on progress in the study of these models.

Resumo: Holomorphic diffeomorphisms of K3 surfaces have nice dynamical properties. I will survey the main theorems concerning their dynamical behavior: most of them were proved during the past twenty years, and many open questions remain. This will be a mix of algebraic geometry, dynamical systems, with some real algebraic geometry on the way.

Resumo: We discuss Hironaka's theorem on resolution of singularities in charactetistic 0 as well as more recent progress, both on simplifying and improving Hironaka's method of proof and on new results and directions on families of varieties, leading to joint work on toroidal orbifolds with Michael Temkin and Jaroslaw Wlodarczyk.

Resumo: These are algebraic surfaces with the Betti numbers of the complex projective plane, and are called $\mathbb{Q}$-homology projective planes. Fake projective planes and the complex projective plane are smooth examples. We describe recent progress in the study of such surfaces, singular ones and fake projective planes. We also discuss open questions.

Resumo: We explain our proof, joint with Mark Gross and Maxim Kontsevich, of conjectures of Fomin–Zelevinsky and Fock–Goncharov on canonical bases of cluster algebras. We interpret a cluster algebra as the ring of global functions on a non-compact Calabi–Yau variety obtained from a toric variety by a blow up construction. We describe a canonical basis of a cluster algebra determined by tropical counts of holomorphic discs on the mirror variety, using the algebraic approach to the Strominger–Yau–Zaslow conjecture due to Gross and Siebert.

Resumo: In the study of automorphic representations over a function field, Hitchin moduli stack and its variants naturally appear and their geometry helps the comparison of trace formulae. We give a survey on applications of this observation to a relative fundamental lemma, the arithmetic fundamental lemma and to the higher Gross–Zagier formula.

Resumo: We discuss several results pertaining to the Hodge and cycle theories of locally symmetric spaces. The unity behind these results is motivated by a vague but fruitful analogy between locally symmetric spaces and projective varieties.

Resumo: This is a survey of results on positivity of vector bundles, inspired by the Brunn–Minkowski and Prékopa theorems. Applications to complex analysis, Kähler geometry and algebraic geometry are also discussed.

Resumo: The goal of this article is to survey some recent developments in the study of groups acting on hyperbolic spaces. We focus on the class of acylindrically hyperbolic groups; it is broad enough to include many examples of interest, yet a significant part of the theory of hyperbolic and relatively hyperbolic groups can be generalized in this context. In particular, we discuss group theoretic Dehn filling and small cancellation theory in acylindrically hyperbolic groups. Many results discussed here rely on the new generalization of relative hyperbolicity based on the notion of a hyperbolically embedded subgroup.

Resumo: We survey some recent developments in the quest for global surfaces of section for Reeb flows in dimension three using methods from Symplectic Topology. We focus on applications to geometry, including existence of closed geodesics and sharp systolic inequalities. Applications to topology and celestial mechanics are also presented.

Resumo: The study of triangulations on manifolds is closely related to understanding the three-dimensional homology cobordism group. We review here what is known about this group, with an emphasis on the local equivalence methods coming from $Pin(2)$-equivariant Seiberg–Witten Floer spectra and involutive Heegaard Floer homology.

Resumo: Symplectic and contact structures are geometric structures on manifolds, with relationships to algebraic geometry, geometric topology, and mathematical physics. We discuss a number of h-principle phenomena which were recently discovered in the field. In generality, an h-principle is a method for constructing global solutions to underdetermined PDEs on manifolds by systematically localizing boundary conditions. Some of the results we discuss are the characterization of smooth manifolds admitting contact structures, high dimensional overtwistedness, the symplectic classification of flexibile Stein manifolds, and the construction of exotic Lagrangians in $\mathbb{C}^n$.

Resumo: Large N duality relates open Gromov–Witten invariants in the cotangent bundle of the 3-sphere with closed Gromov–Witten invariants in the resolved conifold using physics arguments. It is a crucial result for the last twenty years of very successful interplay between Gromov–Witten theory and Chern–Simons gauge theory. We outline a symplectic geometric proof of large N duality which generalizes open Gromov–Witten invariants to invariants with values in the framed skein module and applies symplectic neck stretching. We then describe how knot contact homology and its generalizations capture the Gromov–Witten invariants ‘from infinity’ in comparatively simple terms.

Resumo: We discuss potential (largely speculative) applications of Bridgeland's theory of stability conditions to symplectic mapping class groups.

Resumo: We give an overview of the theory of Cannon–Thurston maps which forms one of the links between the complex analytic and hyperbolic geometric study of Kleinian groups. We also briefly sketch connections to hyperbolic subgroups of hyperbolic groups and end with some open questions.

Resumo: We report some recent progress on studying degenerations and moduli spaces of canonical metrics in Kähler geometry, and the connection with algebraic geometry, with a particular emphasis on the case of Kähler–Einstein metrics.

Resumo: Riemann surfaces are of fundamental importance in many areas of mathematics and theoretical physics. The study of the moduli space of Riemann surfaces of a fixed topological type is intimately related to the study of the Teichmu¨ller space of that surface, together with the action of the mapping class group. Classical Teichmu¨ller theory has many facets and involves the interplay of various methods from geometry, analysis, dynamics and algebraic geometry. In recent years, higher Teichmu¨ller theory emerged as a new field in mathematics. It builds as well on a combination of methods from different areas of mathematics. The goal of my talk is to invite the reader to get to know and to get involved into higher Teichmu¨ller theory by describing some of its many facets.

Resumo: Let $u$ be a solution to an elliptic equation $div(A\nabla u)=0$ with Lipschitz coefficients in $\mathbb{R}^n$. Assume $|u|$ is bounded by $1$ in the ball $B=\{|x|\leq 1\}$. We show that if $|u| < \varepsilon$ on a set $ E \subset \frac{1}{2} B$ with positive $n$-dimensional Hausdorf measure, then $$|u|\leq C\varepsilon^\gamma \quad \mbox{on} \quad \frac{1}{2}B$$ where $C>0, \gamma \in (0,1)$ do not depend on $u$ and depend only on $A$ and the measure of $E$. We specify the dependence on the measure of $E$ in the form of the Remez type inequality. Similar estimate holds for sets $E$ with Hausdorff dimension bigger than $n-1$.
For the gradients of the solutions we show that a similar propagation of smallness holds for sets of Hausdorff dimension bigger than $n-1-c$, where $c>0$ is a small numerical constant depending on the dimension only.

Resumo: The study of triangulations on manifolds is closely related to understanding the three-dimensional homology cobordism group. We review here what is known about this group, with an emphasis on the local equivalence methods coming from $Pin(2)$-equivariant Seiberg–Witten Floer spectra and involutive Heegaard Floer homology.

Resumo: Symplectic and contact structures are geometric structures on manifolds, with relationships to algebraic geometry, geometric topology, and mathematical physics. We discuss a number of h-principle phenomena which were recently discovered in the field. In generality, an h-principle is a method for constructing global solutions to underdetermined PDEs on manifolds by systematically localizing boundary conditions. Some of the results we discuss are the characterization of smooth manifolds admitting contact structures, high dimensional overtwistedness, the symplectic classification of flexibile Stein manifolds, and the construction of exotic Lagrangians in $\mathbb{C}^n$.

Resumo: Large N duality relates open Gromov–Witten invariants in the cotangent bundle of the 3-sphere with closed Gromov–Witten invariants in the resolved conifold using physics arguments. It is a crucial result for the last twenty years of very successful interplay between Gromov–Witten theory and Chern–Simons gauge theory. We outline a symplectic geometric proof of large N duality which generalizes open Gromov–Witten invariants to invariants with values in the framed skein module and applies symplectic neck stretching. We then describe how knot contact homology and its generalizations capture the Gromov–Witten invariants ‘from infinity’ in comparatively simple terms.

Resumo: We discuss several invariants of complex normal surface singularities with a special emphasis on the comparison of analytic–topological pairs of invariants. Additionally we also list several open problems related with them.

Resumo: The little disks operads are classical objects in algebraic topology which have seen a wide range of applications in the past. For example they appear prominently in the Goodwillie–Weiss embedding calculus, which is a program to understand embedding spaces through algebraic properties of the little disks operads, and their action on the spaces of configurations of points (or disks) on manifolds. In this talk we review the recent understanding of the rational homotopy theory of the little disks operads, and how the resulting knowledge can be used to fulfil the promise of the Goodwillie–Weiss calculus, at least in the “simple” setting of long knot spaces and over the rationals. The derivations prominently use and are connected to graph complexes, introduced by Kontsevich and other authors.

Resumo: In these notes we will survey recent results on various finitary approximation properties of infinite groups. We will discuss various restrictions on groups that are approximated for example by finite solvable groups or finite-dimensional unitary groups with the Frobenius metric. Towards the end, we also briefly discuss various applications of those approximation properties to the understanding of the equational theory of a group.

Resumo: We survey recent work on profinite rigidity of residually finite groups.

Resumo: This note surveys axiomatic results for the Farrell–Jones Conjecture in terms of actions on Euclidean retracts and applications of these to $GL_n(\mathbb{Z})$, relative hyperbolic groups and mapping class groups.

Resumo: The evenness conjecture for the equivariant unitary bordism groups states that these bordism groups are free modules over the unitary bordism ring in even dimensional generators. In this paper we review the cases on which the conjecture is known to hold and we highlight the properties that permit to prove the conjecture in these cases.

Resumo: We describe recent links between two topics: geometric structures on manifolds in the sense of Ehresmann and Thurston, and dynamics “at infinity” for representations of discrete groups into Lie groups.

Resumo: We review the construction and context of a stable homotopy refinement of Khovanov homology.

Resumo: A quasi-tree is a geodesic metric space quasi-isometric to a tree. We give a general construction of many actions of groups on quasi-trees. The groups we can handle include non-elementary hyperbolic groups, CAT(0) groups with rank 1 elements, mapping class groups and the outer automorphism groups of free groups. As an application, we show that mapping class groups act on finite products of Gromov-hyperbolic spaces so that orbit maps are quasi-isometric embeddings. It implies that mapping class groups have finite asymptotic dimension.

Resumo: There exist continuous finite group actions on three-manifolds which are not smoothable, in the sense that they are not smooth with respect to any smooth structure. For example, Bing constructed an involution of the three-sphere whose fixed set is a wildly embedded two-sphere. However, one can still ask whether every continuous finite group action on a three-manifold can be uniformly approximated by a smooth action. We outline an approach to answering this question in the affirmative, based on the author’s work on the Hilbert–Smith conjecture in dimension three.

Resumo: We provide an explicit formula for the following enumerative problem: how many (absolutely) indecomposable vector bundles of a given rank $r$ and degree $d$ are there on a smooth projective curve $X$ of genus $g$ defined over a finite field $\mathbb{F}_q$? The answer turns out to only depend on the genus $g$, the rank $r$ and the Weil numbers of the curve $X$. We then provide several interpretations of these numbers, either as the Betti numbers or counting polynomial of the moduli space of stable Higgs bundles (of same rank $r$ and degree $d$) over $X$, or as the character of some infinite dimensional graded Lie algebra. We also relate this to the (cohomological) Hall algebras of Higgs bundles on curves and to the dimension of the space of absolutely cuspidal functions on $X$.

Resumo: We survey a number of results regarding the representation theory of $W$-algebras and their connection with the resent development of the four dimensional $N=2$ superconformal field theories.

Resumo: Galois algebras allow an effective study of their representations based on the invariant skew group structure. We will survey their theory including recent results on Gelfand–Tsetlin representations of finite W-algebras.

Resumo: The complexity of a locally symmetric space $M$ is controlled by its volume. This phenomena can be measured by studying the growth of topological, geometric, algebraic, arithmetic and representation theoretic invariants. The most studied invariants are the Betti numbers. Other, and typically less accessible, invariants are: the torsion in homology, the minimal number of generators (and relations) of G = p₁(M), the injectivity radius at a random point of $M$, the possible number of manifolds $M$ of a certain type and bounded volume, the Plancherel measure associated to L2(G/G). In the talk I will consider these and other invariants, give upper and lower bounds and focus on the asymptotic behavior.

Resumo: We consider the Ext-analogues of branching laws for representations of a group to its subgroups in the context of $p$-adic groups.

Resumo: We give an overview of the theory of local $\mathbf{G}$-shtukas and their moduli spaces that were introduced in joint work of U. Hartl and the author, and in the past years studied by many people. We also discuss relations to moduli of global $\mathbf{G}$-shtukas, properties of their special fiber through affine Deligne–Lusztig varieties and of their generic fiber, such as the period map.

Resumo: We propose a conjectural construction of various slices for double affine Grassmannians as Coulomb branches of 3-dimensional $\mathcal{N}=4$ supersymmetric affine quiver gauge theories. It generalizes the known construction for the usual affine Grassmannians, and makes sense for arbitrary symmetric Kac–Mody algebras.

Resumo: The study of affine Deligne–Lusztig varieties originally arose from arithmetic geometry, but many problems on affine Deligne–Lusztig varieties are purely Lie-theoretic in nature. This survey deals with recent progress on several important problems on affine Deligne–Lusztig varieties. The emphasis is on the Lie-theoretic aspect, while some connections and applications to arithmetic geometry will also be mentioned.

Resumo: N/A

Resumo: In the study of automorphic representations over a function field, Hitchin moduli stack and its variants naturally appear and their geometry helps the comparison of trace formulae. We give a survey on applications of this observation to a relative fundamental lemma, the arithmetic fundamental lemma and to the higher Gross–Zagier formula.

Resumo: We give an overview of our effort to introduce (dual) semicanonical bases in the setting of symmetrizable Cartan matrices.

Resumo: I will describe a variational approach to the existence of Kähler–Einstein metrics on Fano manifolds, and its relation to the algebro-geometric notion of K-stability.

Resumo: This is a survey of results on positivity of vector bundles, inspired by the Brunn–Minkowski and Prékopa theorems. Applications to complex analysis, Kähler geometry and algebraic geometry are also discussed.

Resumo: The aim of this talk is to present some recent results on the structure of the singular part of measures satisfying a PDE constraint and to describe some applications in Geometric Measure Theory, in the Calculus of Variations and in real Analysis.

Resumo: We present recent progress in theory of local conformal nets which is an operator algebraic approach to study chiral conformal field theory. We emphasize representation theoretic aspects and relations to theory of vertex operator algebras which gives a different and algebraic formulation of chiral conformal field theory.

Resumo: We survey some of the progress made recently in the classification of von Neumann algebras arising from countable groups and their measure preserving actions on probability spaces. We emphasize results which provide classes of (W$^*$-superrigid) actions that can be completely recovered from their von Neumann algebras and II$_1$ factors that have a unique Cartan subalgebra. We also present cocycle superrigidity theorems and some of their applications to orbit equivalence. Finally, we discuss several recent rigidity results for von Neumann algebras associated to groups.

Resumo: We shall begin by briefly reviewing a compactification of the Markov space for an infinite transition matrix, introduced by Marcelo Laca and the speaker roughly 20 years ago. Given a continuous potential we will then consider the problem of characterizing the conformal measures on that space. An example will be presented to show that conformal measures may live in the complement of the standard Markov space, hence being invisible to the standard theory. Along the way a somewhat unexpected but very natural generalization of Renault's notion of approximately proper equivalence relations will force its way into the picture leading up to the construction of a natural étale groupoid whose quasi-invariant measures we shall also discuss observing that they are examples of what may be seen as generalized DLR (Dobrushin–Lanford–Ruelle) measures. In the context of the Markov shifts mentioned above we will then explore the connections between conformal and DLR measures. This talk is based on ongoing joint work with Rodrigo Bissacot, Rodrigo Frausino and Thiago Raszeja from University of São Paulo.

Resumo: In this essay, we briefly discuss recent developments, started a decade ago in the seminal work of Smirnov and continued by a number of authors, centered around the conformal invariance of the critical planar Ising model on $\mathbb{Z}^2$ and, more generally, of the critical Z-invariant Ising model on isoradial graphs (rhombic lattices). We also introduce a new class of embeddings of general weighted planar graphs (s-embeddings), which might, in particular, pave the way to true universality results for the planar Ising model.

Resumo: The famous Banach–Tarski paradox and Hilbert's third problem are part of story of paradoxical equidecompositions and invariant finitely additive measures. We review some of the classical results in this area including Laczkovich's solution to Tarski's circle-squaring problem: the disc of unit area can be cut into finitely many pieces that can be rearranged by translations to form the unit square.
We also discuss the recent developments that in certain cases the pieces can be chosen to be Lebesgue measurable or Borel: namely, a measurable Banach–Tarski ‘paradox’ and the existence of measurable/Borel circle-squaring.

Resumo: In these notes we will survey recent results on various finitary approximation properties of infinite groups. We will discuss various restrictions on groups that are approximated for example by finite solvable groups or finite-dimensional unitary groups with the Frobenius metric. Towards the end, we also briefly discuss various applications of those approximation properties to the understanding of the equational theory of a group.

Resumo: The Hilbert transform is an average of dyadic shift operators. These can be seen as a coefficient shift and multiplier in a Haar wavelet expansion or as a time shifted operator on martingale differences. This observation and its generalisations are useful in deep characterisations of multi-parameter BMO spaces through commutators of multiplication by a BMO symbol with singular operators. The connection between martingale transforms and Calderon–Zygmund operators had been understood for some time. It allows us to develop powerful tools with a probabilistic flavour to obtain deep results central to harmonic analysis. In the case of the Beurling–Ahlfors operator, a connection was particularly direct. Through the first sharp weighted estimate of a singular integral operator we showed that every weakly quasiregular map in the plane is quasiregular. In other words, we established a borderline regularity result for the Beltrami equation. The central conjecture in sharp weighted theory was on the Hilbert transform though. Its first solution involved the precise model of the dyadic shift. Since then, weighted theory evolved through many outstanding contributions, giving deep insight into the nature of singular operators.

Resumo: We describe a Fourier analytic tool that has found a large number of applications in Number Theory, Harmonic Analysis and PDEs.

Resumo: This is a brief survey of results related to planar harmonic measure, roughly from Makarov's results of the 1980's to recent applications involving 4-manifolds, {dessins d'enfants} and transcendental dynamics. It is non-chronological and rather selective, but I hope that it still illustrates various areas in analysis, topology and algebra that are influenced by harmonic measure, the computational questions that arise, the many open problems that remain, and how these questions bridge the gaps between pure/applied and discrete/continuous mathematics.

Resumo: Positive closed currents, the analytic counterpart of effective cycles in algebraic geometry, are central objects in pluripotential theory. They were introduced in complex dynamics in the 1990s and become now a powerful tool in the field. Challenging dynamical problems involve currents of any dimension. We will report recent developments on positive closed currents of arbitrary dimension, including the solutions to the regularization problem, the theory of super-potentials and the theory of densities. Applications to dynamics such as properties of dynamical invariants (e.g. dynamical degrees, entropies, currents, measures), solutions to equidistribution problems, and properties of periodic points will be discussed.

Resumo: The notion of Nonlocal Mean Curvature (NMC) appears recently in the mathematics literature. It is an extrinsic geometric quantity that is invariant under global reparameterization of a surface and provide a natural extension of the classical mean curvature. We describe some properties of the NMC and the quasilinear differential operators that are involved when it acts on graphs. We also survey recent results on surfaces having constant NMC and describe their intimate link with some problems arising in the study of overdetermined boundary value problems.

Resumo: Sofic entropy theory is a generalization of the classical Kolmogorov–Sinai entropy theory to actions of a large class of non-amenable groups called sofic groups. This is a short introduction with a guide to the literature.

Resumo: We outline a general method of constructing $\mathscr L_\infty$-spaces, based on the ideas of Bourgain and Delbaen, showing how the solution to the Scalar-plus-Compact Problem, the embedding theorem of Freeman, Odell and Schlumprecht and other recent developments fit into this framework.

Resumo: In the last few years numerous $20+$ year old problems in the geometry of Banach spaces were solved. Some are described herein.

Resumo: We survey recent progress in the gap and type problems of Fourier analysis obtained via the use of Toeplitz operators in spaces of holomorphic functions. We discuss applications of such methods to spectral problems for differential operators.

Resumo: This note describes the impact of disorder or irregularities in the ambient medium on the behavior of stationary solutions to elliptic partial differential equations and on spatial distribution of eigenfunctions, as well as the profound and somewhat surprising connections between these two topics which have been revealed in the past few years.

Resumo: I give an overview of recent developments in the structure and classification theory of separable, simple, nuclear $\mathrm{C}^{*}$-algebras. I will in particular focus on the role of quasidiagonality and amenability for classification, and on the regularity conjecture and its interplay with internal and external approximation properties.

Resumo: We survey some results on non-uniform hyperbolicity, geometric pressure and equilibrium states in one-dimensional real and complex dynamics. We present some relations with Hausdorff dimension and measures with refined gauge functions of limit sets for geometric coding trees for rational functions on the Riemann sphere. We discuss fluctuations of iterated sums of the potential $-t\log |f'|$ and of radial growth of derivative of univalent functions on the unit disc and the boundaries of range domains preserved by a holomorphic map $f$ repelling towards the domains.

Resumo: We propose in these notes a list of some old and new questions related to quasi-periodic dynamics. A main aspect of quasi-periodic dynamics is the crucial influence of arithmetics on the dynamical features, with a strong duality in general between Diophantine and Liouville behavior. We will discuss rigidity and stability in Diophantine dynamics as well as their absence in Liouville ones. Beyond this classical dichotomy between the Diophantine and the Liouville worlds, we discuss some unified approaches and some phenomena that are valid in both worlds. Our focus is mainly on low dimensional dynamics such as circle diffeomorphisms, disc dynamics, quasi-periodic cocycles, or surface flows, as well as finite dimensional Hamiltonian systems.
In an opposite direction, the study of the dynamical properties of some diagonal and unipotent actions on the space of lattices can be applied to arithmetics, namely to the theory of Diophantine approximations. We will mention in the last section some problems related to that topic.
The field of quasi-periodic dynamics is very extensive and has a wide range of interactions with other mathematical domains. The list of questions we propose is naturally far from exhaustive and our choice was often motivated by our research involvements.

Resumo: We survey the recent advances of almost reducibility and its applications in the spectral theory of one dimensional quasi-periodic Schrödinger operators.

Resumo: The study of polygonal billiard tables with simple dynamics led to a remarkable class of special subvarieties in the moduli of space of curves called Teichmüller curves, since they are totally geodesic submanifolds for the Teichmüller metric.
We survey the known methods to construct of Teichmüller curves and exhibit structure theorems that might eventually lead towards the complete classification of Teichmüller curves.

Resumo: I will explain a notion of arithmetic equidistribution that has found application in the study of complex dynamical systems. It was first introduced about 20 years ago, by Szpiro–Ullmo–Zhang, to analyze the geometry and arithmetic of abelian varieties. In 2011, Matt Baker and I used the theory to show when two complex rational functions have only finitely many (pre-)periodic points in common. In this talk, I will explain how to obtain uniform bounds in families, and I will show how to use dynamical methods to return to the setting of abelian varieties.

Resumo: The Ruelle resonances of a dynamical system are spectral characteristics of a system, describing the precise asymptotics of correlations. While their existence can often be shown by abstract spectral analysis arguments, it is in general not possible to compute them exactly. After explaining the general background, illustrated by classical examples, I will focus on a specific example: in the case of linear pseudo-Anosov maps, Ruelle resonances can be completely described in terms of the action of the map on cohomology.

Resumo: We report on recent results about the dimension and smoothness properties of self-similar sets and measures. Closely related to these are results on the linear projections of such sets, and dually, their intersections with affine subspaces. We also discuss recent progress on the the Bernoulli convolutions problem.

Resumo: Over the last four decades, group actions on manifolds have deserved much attention by people coming from different fields, as for instance group theory, low-dimensional topology, foliation theory, functional analysis, and dynamical systems. This text focuses on actions on 1-manifolds. We present a (non exhaustive) list of very concrete open questions in the field, each of which is discussed in some detail and complemented with a large list of references, so that a clear panorama on the subject arises from the lecture.

Resumo: We discuss optimization of Birkhoff averages of real or vectorial functions and of Lyapunov exponents of linear cocycles, emphasizing whenever possible the similarities between the commutative and non-commutative settings.

Resumo: We discuss some methods for constructing nonhyperbolic ergodic measures and their applications in the setting of nonhyperbolic skew-products, homoclinic classes, and robustly transitive diffeomorphisms.

Resumo: Robust dynamical properties imply invariant geometric structures. We will survey the recent advances on topological classifications of systems having invariant geometric structures in the simplest (but yet unknown) context of partially hyperbolic diffeomorphisms in 3-manifolds. The study reveals a rich interaction with foliations and topology of 3-manifolds as well as new examples. Finally, we will present some dynamical consequences of the classification results.

Resumo: We discuss some aspects of the topological dynamics of surface homeomorphisms. In particular, we survey recent results about the dynamics on the boundary of invariant domains, its relationship with the induced dynamics in the prime ends compactification, and its applications in the area-preserving setting following our recent works with P. Le Calvez.

Resumo: Holomorphic diffeomorphisms of K3 surfaces have nice dynamical properties. I will survey the main theorems concerning their dynamical behavior: most of them were proved during the past twenty years, and many open questions remain. This will be a mix of algebraic geometry, dynamical systems, with some real algebraic geometry on the way.

Resumo: We provide an informal discussion of the polynomial method. This is a tool of general applicability that can be used to exploit the algebraic structure arising in some problems of arithmetic nature.

Resumo: The study of wave propagation outside bounded obstacles uncovers the existence of resonances for the Laplace operator, which are complex-valued generalized eigenvalues, relevant to estimate the long time asymptotics of the wave. In order to understand distribution of these resonances at high frequency, we employ semiclassical tools, which leads to considering the classical scattering problem, and in particular the set of trapped trajectories. We focus on “chaotic” situations, where this set is a hyperbolic repeller, generally with a fractal geometry. In this context, we derive fractal Weyl upper bounds for the resonance counting; we also obtain dynamical criteria ensuring the presence of a resonance gap. We also address situations where the trapped set is a normally hyperbolic submanifold, a case which can help analyzing the long time properties of (classical) Anosov contact flows through semiclassical methods.

Resumo: Sofic entropy theory is a generalization of the classical Kolmogorov–Sinai entropy theory to actions of a large class of non-amenable groups called sofic groups. This is a short introduction with a guide to the literature.

Resumo: I will discuss, from a dynamical systems point of view, some recent attempts to rigorously derive the macroscopic laws of transport (e.g. the heat equation) from deterministic microscopic dynamics.

Resumo: The ideas of renormalization was introduced into dynamics around 40 years ago. By now renormalization is one of the most powerful tools in the asymptotic analysis of dynamical systems. In this talk I will discuss the main conceptual features of the renormalization approach, and present a selection of recent results. I will also discuss open problems and formulate related conjectures.

Resumo: In this survey, we review recent results in hyperbolic dynamical systems and in geometric inverse problems using analytic tools, based on spectral theory and microlocal methods.

Resumo: We present in this talk various results, obtained during the last years by several authors, about the problem of long time existence of solutions of water waves and related equations, with initial data that are small, smooth, and decaying at infinity. After recalling some facts about local existence theory, we shall focus mainly on global existence theorems for gravity waves equations proved by Ionescu–Pusateri, Alazard–Delort and Ifrim–Tataru. We shall describe some of the ideas of the proofs of these theorems, and mention as well related results.

Resumo: The aim of this talk is to present some recent results on the structure of the singular part of measures satisfying a PDE constraint and to describe some applications in Geometric Measure Theory, in the Calculus of Variations and in real Analysis.

Resumo: In this paper we consider the problem: $\partial_{t} u- \Delta u=f(u),\; u(0)=u_0\in \exp L^p(\mathbb{R}^N),$ where $p>1$ and $f : \mathbb{R}\to\mathbb{R}$ having an exponential growth at infinity with $f(0)=0.$ We prove local well-posedness in $\exp L^p_0(\mathbb{R}^N)$ for $f(u)\sim e^{|u|^q}$, $0\le q \leq p$, $ |u|\to \infty$. However, if for some $\lambda>0$, $\liminf_{s\to \infty}\left(f(s)\,{\rm{e}}^{-\lambda s^p}\right)>0,$ then non-existence occurs in $\exp L^p(\mathbb{R}^N).$ Under smallness condition on the initial data and for exponential nonlinearity $f$ such that $|f(u)|\sim |u|^{m}$ as $u\to 0,$ ${N(m-1)\over 2}\geq p$, we show that the solution is global. In particular, $p-1>0$ sufficiently small is allowed. Moreover, we obtain decay estimates in Lebesgue spaces for large time which depend on $m$.

Resumo: The issue of symmetry and symmetry breaking is fundamental in all areas of science. Symmetry is often assimilated to order and beauty while symmetry breaking is the source of many interesting phenomena such as phase transitions, instabilities, segregation, self-organization, etc. In this contribution we review a series of sharp results of symmetry of nonnegative solutions of nonlinear elliptic differential equation associated with minimization problems on Euclidean spaces or manifolds. Nonnegative solutions of those equations are unique, a property that can also be interpreted as a rigidity result. The method relies on linear and nonlinear flows which reveal deep and robust properties of a large class of variational problems. Local results on linear instability leading to symmetry breaking and the bifurcation of non-symmetric branches of solutions are reinterpreted in a larger, global, variational picture in which our flows characterize directions of descent.

Resumo: The vanishing viscosity problem consists of understanding the limit, or limits, of solutions of the Navier–Stokes equations, with viscosity $\nu$, as $\nu$ tends to zero. The Navier–Stokes equations are a model for real-world fluids and the parameter $\nu$ represents the ratio of friction, or resistance to shear, and inertia. Ultimately, the relevant question is whether a real-world fluid with very small viscosity can be approximated by an ideal fluid, which has no viscosity. In this talk we will be primarily concerned with the classical open problem of the vanishing viscosity limit of fluid flows in domains with boundary. We will explore the difficulty of this problem and present some known results. We conclude with a discussion of criteria for the vanishing viscosity limit to be a solution of the ideal fluid equations.

Resumo: This is essentially a survey paper on a large time behavior of solutions of some simple birth and spread models to describe growth of crystal surfaces. The models discussed here include level-set flow equations of eikonal or eikonal-curvature flow equations with source terms. Large time asymptotic speed called growth rate is studied. As an application, a simple proof is given for asymptotic profile of crystal grown by anisotropic eikonal-curvature flow.

Resumo: In these proceedings we are interested in quantitative estimates for advective equations with an anelastic constraint in presence of vacuum. More precisely, we derive a quantitative stability estimate and obtain the existence of renormalized solutions. Our main objective is to show the flexibility of the method introduced recently by the authors for the compressible Navier–Stokes' system. This method seems to be well adapted in general to provide regularity estimates on the density of compressible transport equations with possible vacuum state and low regularity of the transport velocity field; the advective equation with degenerate anelastic constraint considered here is another good example of that. As a final application we obtain the existence of global renormalized solution to the so-called lake equation with possibly vanishing topography.

Resumo: We report on recent results and a new line of research at the crossroad of two major theories in the analysis of partial differential equations. The celebrated De Giorgi–Nash–Moser theorem provides Hölder estimates and the Harnack inequality for uniformly elliptic or parabolic equations with rough coefficients in divergence form. The theory of hypoellipticity of Hörmander provides general “bracket” conditions for regularity of solutions to partial differential equations combining first and second order derivative operators when ellipticity fails in some directions. We discuss recent extensions of the De Giorgi–Nash–Moser theory to hypoelliptic equations of Kolmogorov (kinetic) type with rough coefficients. These equations combine a first-order skew-symmetric operator with a second-order elliptic operator involving derivatives in only part of the variables, and with rough coefficients. We then discuss applications to the Boltzmann and Landau equations in kinetic theory and present a program of research with some open questions.

Resumo: The study of wave propagation outside bounded obstacles uncovers the existence of resonances for the Laplace operator, which are complex-valued generalized eigenvalues, relevant to estimate the long time asymptotics of the wave. In order to understand distribution of these resonances at high frequency, we employ semiclassical tools, which leads to considering the classical scattering problem, and in particular the set of trapped trajectories. We focus on “chaotic” situations, where this set is a hyperbolic repeller, generally with a fractal geometry. In this context, we derive fractal Weyl upper bounds for the resonance counting; we also obtain dynamical criteria ensuring the presence of a resonance gap. We also address situations where the trapped set is a normally hyperbolic submanifold, a case which can help analyzing the long time properties of (classical) Anosov contact flows through semiclassical methods.

Resumo: Let $u$ be a solution to an elliptic equation $div(A\nabla u)=0$ with Lipschitz coefficients in $\mathbb{R}^n$. Assume $|u|$ is bounded by $1$ in the ball $B=\{|x|\leq 1\}$. We show that if $|u| < \varepsilon$ on a set $ E \subset \frac{1}{2} B$ with positive $n$-dimensional Hausdorf measure, then $$|u|\leq C\varepsilon^\gamma \quad \mbox{on} \quad \frac{1}{2}B$$ where $C>0, \gamma \in (0,1)$ do not depend on $u$ and depend only on $A$ and the measure of $E$. We specify the dependence on the measure of $E$ in the form of the Remez type inequality. Similar estimate holds for sets $E$ with Hausdorff dimension bigger than $n-1$.
For the gradients of the solutions we show that a similar propagation of smallness holds for sets of Hausdorff dimension bigger than $n-1-c$, where $c>0$ is a small numerical constant depending on the dimension only.

Resumo: I will review the setting and some of the recent results in the field of singular stochastic partial differential equations (SSPDEs). Since Hairer's invention of regularity structures this field has experienced a rapid development. SSPDEs are non-linear equations with random and irregular source terms which make them ill-posed in classical sense. Their study involves a tight interplay between stochastic analysis, analysis of PDEs (including paradifferential calculus) and algebra.

Resumo: We review our works on the nonlinear asymptotic stability and instability of the Couette flow for the 2D incompressible Euler dynamic. In the fits part of the work we prove that perturbations to the Couette flow which are small in Gevrey spaces $G^s$ of class $1/s$ with $s > 1/2$ converge strongly in $L^2$ to a shear flow which is close to the Couette flow. Moreover in a well chosen coordinate system, the solution converges in the same Gevrey space to some limit profile. In a later work, we proved the existence of small perturbations in $G^s$ with $s<1/2$ such that the solution becomes large in Sobolev regularity and hence yields instability. In this note we discuss the most important physical and mathematical aspects of these two results and the key ideas of the proofs.

Resumo: We review recent advances in understanding singularity and small scales formation in solutions of fluid dynamics equations. The focus is on the Euler and surface quasi-geostrophic (SQG) equations and associated models.

Resumo: We review recent results concerning the interactions of solitary waves for several universal nonlinear dispersive or wave equations. Though using quite different techniques, these results are partly inspired by classical papers based on the inverse scattering theory for integrable models.

Resumo: In this survey I report on recent progress in the study of the dynamics of the interface in between two incompressible fluids with different characteristics. In particular I focus on the formation of Splash and Splat singularities in two different settings: Euler equations and Darcy's law.

Resumo: We present recent progress in theory of local conformal nets which is an operator algebraic approach to study chiral conformal field theory. We emphasize representation theoretic aspects and relations to theory of vertex operator algebras which gives a different and algebraic formulation of chiral conformal field theory.

Resumo: The moduli spaces of Calabi–Yau (CY) manifolds are the special Kähler manifolds. The special Kähler geometry determines the low-energy effective theory which arises in Superstring theory after the compactification on a CY manifold. For the cases, where the CY manifold is given as a hypersurface in the weighted projective space, a new procedure for computing the Kähler potential of the moduli space has been proposed by Konstantin Aleshkin and myself. The method is based on the fact that the moduli space of CY manifolds is a marginal subspace of the Frobenius manifold which arises on the deformation space of the corresponding Landau–Ginzburg superpotential. I review this approach and demonstrate its efficiency by computing the Special geometry of the 101-dimensional moduli space of the quintic threefold around the orbifold point.

Resumo: The little disks operads are classical objects in algebraic topology which have seen a wide range of applications in the past. For example they appear prominently in the Goodwillie–Weiss embedding calculus, which is a program to understand embedding spaces through algebraic properties of the little disks operads, and their action on the spaces of configurations of points (or disks) on manifolds. In this talk we review the recent understanding of the rational homotopy theory of the little disks operads, and how the resulting knowledge can be used to fulfil the promise of the Goodwillie–Weiss calculus, at least in the “simple” setting of long knot spaces and over the rationals. The derivations prominently use and are connected to graph complexes, introduced by Kontsevich and other authors.

Resumo: We consider interacting Bose gases trapped in a box $\Lambda = [0;1]^3$ in the Gross–Pitaevskii limit. Assuming the potential to be weak enough, we establish the validity of Bogoliubov's prediction for the ground state energy and the low-energy excitation spectrum. These notes are based on a joint work with C. Boccato, C. Brennecke and S. Cenatiempo.

Resumo: Stochastic interface dynamics serve as mathematical models for diverse time-dependent physical phenomena: the evolution of boundaries between thermodynamic phases, crystal growth, random deposition... Interesting limits arise at large space-time scales: after suitable rescaling, the randomly evolving interface converges to the solution of a deterministic PDE (hydrodynamic limit) and the fluctuation process to a (in general non-Gaussian) limit process. In contrast with the case of $(1+1)$-dimensional models, there are very few mathematical results in dimension $(d+1), d\ge2$. As far as growth models are concerned, the $(2+1)$-dimensional case is particularly interesting: Dietrich Wolf in 1991 conjectured the existence of two different universality classes (called KPZ and Anisotropic KPZ), with different scaling exponents. Here, we review recent mathematical results on (both reversible and irreversible) dynamics of some $(2+1)$-dimensional discrete interfaces, mostly defined through a mapping to two-dimensional dimer models. In particular, in the irreversible case, we discuss mathematical support and remaining open problems concerning Wolf's conjecture on the relation between the Hessian of the growth velocity on one side, and the universality class of the model on the other.

Resumo: We give a rough description of the ‘categories’ formed by quantum field theories. A few recent mathematical conjectures derived from quantum field theories, some of which are now proven theorems, will be presented in this language.

Resumo: We discuss an application of the transfer operator approach to the analysis of the different spectral characteristics of 1d random band matrices (correlation functions of characteristic polynomials, density of states, spectral correlation functions). We show that when the bandwidth $W$ crosses the threshold $W=N^{1/2}$, the model has a kind of phase transition (crossover), whose nature can be explained by the spectral properties of the transfer operator.

Resumo: We report on recent results and a new line of research at the crossroad of two major theories in the analysis of partial differential equations. The celebrated De Giorgi–Nash–Moser theorem provides Hölder estimates and the Harnack inequality for uniformly elliptic or parabolic equations with rough coefficients in divergence form. The theory of hypoellipticity of Hörmander provides general “bracket” conditions for regularity of solutions to partial differential equations combining first and second order derivative operators when ellipticity fails in some directions. We discuss recent extensions of the De Giorgi–Nash–Moser theory to hypoelliptic equations of Kolmogorov (kinetic) type with rough coefficients. These equations combine a first-order skew-symmetric operator with a second-order elliptic operator involving derivatives in only part of the variables, and with rough coefficients. We then discuss applications to the Boltzmann and Landau equations in kinetic theory and present a program of research with some open questions.

Resumo: We review recent progress in potential theory of second-order elliptic operators and on the metastable behavior of Markov processes.

Resumo: Percolation models describe the inside of a porous material. The theory emerged timidly in the middle of the twentieth century before becoming one of the major objects of interest in probability and mathematical physics. The golden age of percolation is probably the eighties, during which most of the major results were obtained for the most classical of these models, named Bernoulli percolation, but it is really the two following decades which put percolation theory at the crossroad of several domains of mathematics. In this broad review, we propose to describe briefly some recent progress as well as some famous challenges remaining in the field. This review is not intended to probabilists (and a fortiori not to specialists in percolation theory): the target audience is mathematicians of all kinds.

Resumo: I will discuss, from a dynamical systems point of view, some recent attempts to rigorously derive the macroscopic laws of transport (e.g. the heat equation) from deterministic microscopic dynamics.

Resumo: The ideas of renormalization was introduced into dynamics around 40 years ago. By now renormalization is one of the most powerful tools in the asymptotic analysis of dynamical systems. In this talk I will discuss the main conceptual features of the renormalization approach, and present a selection of recent results. I will also discuss open problems and formulate related conjectures.

Resumo: We review our construction of the Teichmüller TQFT. We recall our volume conjecture for this TQFT and the examples for which this conjecture has been established. We end the paper with a brief review of our new formulation of the Teichmüller TQFT together with some anticipated future developments.

Resumo: One of the major open problems in the field of random operators or matrices is a proof of some regime of delocalization in the spectral sense or in the sense of inverse participation ratios of eigenvectors in case the operator or matrix has some non-trivial spatial structure. The famous Anderson model is one of the prominent examples.

In this talk, I will give an overview over existing new and old results in this context. In particular, I will explain a recent result on the existence of continuous spectrum for hierarchical random operators. One common mathematical theme in these proofs of delocalization is the reduction of fluctuations of the Green function due to an energy renormalisation.

Resumo: We explore various combinatorial problems mostly borrowed from physics, that share the property of being continuously or discretely integrable, a feature that guarantees the existence of conservation laws that often make the problems exactly solvable. We illustrate this with: random surfaces, lattice models, and structure constants in representation theory.

Resumo: Over the past few decades, two natural random surface models have emerged within physics and mathematics. The first is Liouville quantum gravity, which has its roots in string theory and conformal field theory from the 1980s and 1990s. The second is the Brownian map, which has its roots in planar map combinatorics from the 1960s together with recent scaling limit results. This article surveys a series of works with Sheffield in which it is shown that Liouville quantum gravity (LQG) with parameter $\gamma=\sqrt{8/3}$ is equivalent to the Brownian map. We also briefly describe a series of works with Gwynne which use the $\sqrt{8/3}$-LQG metric to prove the convergence of self-avoiding walks and percolation on random planar maps towards ${SLE}_{8/3}$ and ${SLE}_6$, respectively, on a Brownian surface.

Resumo: We survey recent mathematical results about the spectrum of random band matrices. We start by exposing the Erdos–Schlein–Yau dynamic approach, its application to Wigner matrices, and extension to other mean-field models. We then introduce random band matrices and the problem of their Anderson transition. We finally expose a method to obtain delocalization and universality in some sparse regimes, highlighting the role of quantum unique ergodicity.

Resumo: We survey recent results of normal and anomalous diffusion of two types of random motions with long memory in $\mathbb{R}^d$ or $\mathbb{Z}^d$. The first class consists of random walks on $\mathbb{Z}^d$ in divergence-free random drift field, modelling the motion of a particle suspended in time-stationary incompressible turbulent flow. The second class consists of self-repelling random diffusions, where the diffusing particle is pushed by the negative gradient of its own occupation time measure towards regions less visited in the past. We establish normal diffusion (with square-root-of-time scaling and Gaussian limiting distribution) in three and more dimensions and typically anomalously fast diffusion in low dimensions (typically, one and two). Results are quoted from various papers published between 2012–2017, with some hints to the main ideas of the proofs. No technical details are presented here.

Resumo: In this article we discuss statistical methods of estimating structured nonparametric regression models. Our discussion is mainly on the additive models where the regression function (map) is expressed as a sum of unknown univariate functions (maps), but it also covers some other non- and semi-parametric models. We present the state of the art in the subject area with the prospect of an extension to non-Euclidean data objects.

Resumo: Random constraint satisfaction problems encode many interesting questions in the study of random graphs such as the chromatic and independence numbers. Ideas from statistical physics provide a detailed description of phase transitions and properties of these models. We will discuss the one step replica symmetry breaking transition that many such models undergo and the Satisfiability Threshold for the random K-SAT model.

Resumo: Wave propagation in random media can be studied by multiscale and stochastic analysis. We review some recent advances and their applications. In particular, in a physically relevant regime of separation of scales, wave propagation is governed by a Schrödinger-type equation driven by a Brownian field. We study the associated moment equations and describe the propagation of coherent and incoherent waves. We quantify the scintillation of the wave and the fluctuations of the Wigner distribution. These results make it possible to introduce and characterize correlation-based imaging methods.

Resumo: We present an overview of scalable load balancing algorithms which provide favorable delay performance in large-scale systems, and yet only require minimal implementation overhead. Aimed at a broad audience, the paper starts with an introduction to the basic load balancing scenario – referred to as the supermarket model – consisting of a single dispatcher where tasks arrive that must immediately be forwarded to one of $N$ single-server queues. The supermarket model is a dynamic counterpart of the classical balls-and-bins setup where balls must be sequentially distributed across bins.
A popular class of load balancing algorithms are power-of-$d$ or JSQ($d$) policies, where an incoming task is assigned to a server with the shortest queue among $d$ servers selected uniformly at random. As the name reflects, this class includes the celebrated Join-the-Shortest-Queue (JSQ) policy as a special case ($d = N$), which has strong stochastic optimality properties and yields a mean waiting time that vanishes as $N$ grows large for any fixed subcritical load. However, a nominal implementation of the JSQ policy involves a prohibitive communication burden in large-scale deployments. In contrast, a simple random assignment policy ($d = 1$) does not entail any communication overhead, but the mean waiting time remains constant as $N$ grows large for any fixed positive load.
In order to examine the fundamental trade-off between delay performance and implementation overhead, we consider an asymptotic regime where the diversity parameter $d(N)$ depends on $N$. We investigate what growth rate of $d(N)$ is required to match the optimal performance of the JSQ policy on fluid and diffusion scale, and achieve a vanishing waiting time in the limit. The results demonstrate that the asymptotics for the JSQ($d(N)$) policy are insensitive to the exact growth rate of $d(N)$, as long as the latter is sufficiently fast, implying that the optimality of the JSQ policy can asymptotically be preserved while dramatically reducing the communication overhead.
Stochastic coupling techniques play an instrumental role in establishing the asymptotic optimality and universality properties, and augmentations of the coupling constructions allow these properties to be extended to infinite-server settings and network scenarios. We additionally show how the communication overhead can be reduced yet further by the so-called Join-the-Idle-Queue (JIQ) scheme, leveraging memory at the dispatcher to keep track of idle servers.

Resumo: In this essay, we briefly discuss recent developments, started a decade ago in the seminal work of Smirnov and continued by a number of authors, centered around the conformal invariance of the critical planar Ising model on $\mathbb{Z}^2$ and, more generally, of the critical Z-invariant Ising model on isoradial graphs (rhombic lattices). We also introduce a new class of embeddings of general weighted planar graphs (s-embeddings), which might, in particular, pave the way to true universality results for the planar Ising model.

Resumo: It is not difficult to find stories of a crisis in modern science, either in the popular press or in the scientific literature. There are likely multiple sources for this crisis. It is also well documented that one source of this crisis is the misuse of statistical methods in science, with the $P$-value receiving its fair share of criticism. It could be argued that this misuse of statistical methods is caused by a shift in how data is used in 21st century science compared to its use in the mid-20th century which presumed scientists had formal statistical hypotheses before collecting data. With the advent of sophisticated statistical software available to anybody this paradigm has been shifted to one in which scientists collect data first and ask questions later.

Resumo: Random matrix theory has played an important role in recent work on statistical network analysis. In this paper, we review recent results on regimes of concentration of random graphs around their expectation, showing that dense graphs concentrate and sparse graphs concentrate after regularization. We also review relevant network models that may be of interest to probabilists considering directions for new random matrix theory developments, and random matrix theory tools that may be of interest to statisticians looking to prove properties of network algorithms. Applications of concentration results to the problem of community detection in networks are discussed in detail.

Resumo: The last twenty-or-so years have seen spectacular progress in our understanding of the fine spectral properties of large-dimensional random matrices. These results have also shown light on the behavior of various statistical estimators used in multivariate statistics. In this short note, we will describe new strands of results, which show that intuition and techniques built on the theory of random matrices and concentration of measure ideas shed new light and bring to the fore new ideas about an arguably even more important set of statistical tools, namely M-estimators and certain bootstrap methods. All the results are obtained in the large $n$, large $p$ setting, where both the number of observations and the number of predictors go to infinity.

Resumo: We review recent progress in potential theory of second-order elliptic operators and on the metastable behavior of Markov processes.

Resumo: Percolation models describe the inside of a porous material. The theory emerged timidly in the middle of the twentieth century before becoming one of the major objects of interest in probability and mathematical physics. The golden age of percolation is probably the eighties, during which most of the major results were obtained for the most classical of these models, named Bernoulli percolation, but it is really the two following decades which put percolation theory at the crossroad of several domains of mathematics. In this broad review, we propose to describe briefly some recent progress as well as some famous challenges remaining in the field. This review is not intended to probabilists (and a fortiori not to specialists in percolation theory): the target audience is mathematicians of all kinds.

Resumo: I will review the setting and some of the recent results in the field of singular stochastic partial differential equations (SSPDEs). Since Hairer's invention of regularity structures this field has experienced a rapid development. SSPDEs are non-linear equations with random and irregular source terms which make them ill-posed in classical sense. Their study involves a tight interplay between stochastic analysis, analysis of PDEs (including paradifferential calculus) and algebra.

Resumo: A “limit shape” is a form of the law of large numbers, and happens when a large random system, typically consisting of many interacting particles, can be described, after an appropriate normalization, by a certain nonrandom object. Limit shapes occur in, for example, random integer partitions or in random interface models such as the dimer model. Typically limit shapes can be described by some variational formula based on a large deviations estimate. We discuss limit shapes for certain 2-dimensional interface models, and explain how their underlying analytic structure is related to a (conjectural in some cases) conformal invariance property for the models.

Resumo: Modern data analysis challenges require building complex statistical models with massive numbers of parameters. It is nowadays commonplace to learn models with millions of parameters by using iterative optimization algorithms. What are typical properties of the estimated models? In some cases, the high-dimensional limit of a statistical estimator is analogous to the thermodynamic limit of a certain (disordered) statistical mechanics system. Building on mathematical ideas from the mean-field theory of disordered systems, exact asymptotics can be computed for high-dimensional statistical learning problems.
This theory suggests new practical algorithms and new procedures for statistical inference. Also, it leads to intriguing conjectures about the fundamental computational limits for statistical estimation.

Resumo: Statistical inference from large-scale data can benefit from sources of heterogeneity. We discuss recent progress of the mathematical formalization and theory for exploiting heterogeneity towards predictive stability and causal inference in high-dimensional models. The topic is directly motivated by a broad range of applications and we will show an illustration from molecular biology with gene knock out experiments.

Resumo: We discuss recent results on asymptotically efficient estimation of smooth functionals of covariance operator $\Sigma$ of a mean zero Gaussian random vector $X$ in a separable Hilbert space based on $n$ i.i.d. observations of this vector. We are interested in functionals that are of importance in high-dimensional statistics such as linear forms of eigenvectors of $\Sigma$ (principal components) as well as in more general functionals of the form $\langle f(\Sigma),B\rangle,$ where $f:{\mathbb R}\mapsto {\mathbb R}$ is a sufficiently smooth function and $B$ is an operator with nuclear norm bounded by a constant. In the case when $X$ takes values in a finite-dimensional space of dimension $d\leq n^{\alpha}$ for some $\alpha \in (0,1)$ and $f$ belongs to Besov space $B^{s}_{\infty,1}({\mathbb R})$ for $s>\frac{1}{1-\alpha},$ we develop asymptotically normal estimators of $\langle f(\Sigma),B\rangle$ with $\sqrt{n}$ convergence rate and prove asymptotic minimax lower bounds showing their asymptotic efficiency.

Resumo: In this talk we will speak about recent progress on the sphere packing problem. The packing problem can be formulated for a wide class of metric spaces equipped with a measure. An interesting feature of this optimization problem is that a slight change of parameters (such as the dimension of the space or radius of the spheres) can dramatically change the properties of optimal configurations. We will focus on those cases when the solution of the packing problem is particularly simple. Namely, we say that a packing problem is sharp if its density attains the so-called linear programming bound. Several such configurations have been known for a long time and we have recently proved that the $E_8$ lattice sphere packing in $\mathbb{R}^8$ and the Leech lattice packing in $\mathbb{R}^{24}$ are sharp. Moreover, we will discuss common unusual properties of shared by such configurations and outline possible applications to Fourier analysis.

Resumo: The nonnegative Grassmannian is a cell complex with rich geometric, algebraic, and combinatorial structures. Its study involves interesting combinatorial objects, such as positroids and plabic graphs. Remarkably, the same combinatorial structures appeared in many other areas of mathematics and physics, e.g., in the study of cluster algebras, scattering amplitudes, and solitons. We discuss new ways to think about these structures. In particular, we identify plabic graphs and more general Grassmannian graphs with polyhedral subdivisions induced by 2-dimensional projections of hypersimplices. This implies a close relationship between the positive Grassmannian and the theory of fiber polytopes and the generalized Baues problem. This suggests natural extensions of objects related to the positive Grassmannian.

Resumo: We call simple graphs with a linear order on the vertices ordered graphs. Turán-type extremal graph theory naturally extends to ordered graphs. This is a survey on the ongoing research in the extremal theory of ordered graphs with an emphasis on open problems.

Resumo: Graph Isomorphism (GI) is one of a small number of natural algorithmic problems with unsettled complexity status in the P/NP theory: not expected to be NP-complete, yet not known to be solvable in polynomial time. The worst-case complexity of the problem has recently been brought down from moderately exponential to quasipolynomial time.

Arguably, the GI problem boils down to filling the gap between symmetry, a global property of objects, and regularity, a local concept.

Recent progress on the problem relies on a combination of the asymptotic theory of permutation groups and asymptotic properties of highly regular combinatorial structures called coherent configurations. Group theory provides the central new tool to infer global symmetry from local information, eliminating the symmetry/regularity gap in the relevant scenario.

Resumo: Why do natural and interesting sequences often turn out to be log-concave? We give one of many possible explanations, from the viewpoint of “standard conjectures”. We illustrate with several examples from combinatorics.

Resumo: In this survey we describe a recently-developed technique for bounding the number (and controlling the typical structure) of finite objects with forbidden substructures. This technique exploits a subtle clustering phenomenon exhibited by the independent sets of uniform hypergraphs whose edges are sufficiently evenly distributed; more precisely, it provides a relatively small family of ‘containers’ for the independent sets, each of which contains few edges. We attempt to convey to the reader a general high-level overview of the method, focusing on a small number of illustrative applications in areas such as extremal graph theory, Ramsey theory, additive combinatorics, and discrete geometry, and avoiding technical details as much as possible.

Resumo: We survey results on counting graphs with given degree sequence, focusing on asymptotic results, and mentioning some of the applications of these results. The main recent development is the proof of a conjecture that facilitates access to the degree sequence of a random graph via a model incorporating independent binomial random variables. The basic method used in the proof was to examine the changes in the counting function when the degrees are perturbed. We compare with several previous uses of this type of method.

Resumo: The so-called graph limit theory is an emerging diverse subject at the meeting point of many different areas of mathematics. It enables us to view finite graphs as approximations of often more perfect infinite objects. In this survey paper we tell the story of some of the fundamental ideas in structural limit theories and how these ideas led to a general algebraic approach (the nilspace approach) to higher order Fourier analysis.

Resumo: We give a broad survey of recent results in enumerative combinatorics and their complexity aspects.

Resumo: We survey some aspects of the perfect matching problem in hypergraphs, with particular emphasis on structural characterisation of the existence problem in dense hypergraphs and the existence of designs.

Resumo: A “limit shape” is a form of the law of large numbers, and happens when a large random system, typically consisting of many interacting particles, can be described, after an appropriate normalization, by a certain nonrandom object. Limit shapes occur in, for example, random integer partitions or in random interface models such as the dimer model. Typically limit shapes can be described by some variational formula based on a large deviations estimate. We discuss limit shapes for certain 2-dimensional interface models, and explain how their underlying analytic structure is related to a (conjectural in some cases) conformal invariance property for the models.

Resumo: We use the lens of the maximum flow problem, one of the most fundamental problems in algorithmic graph theory, to describe a new framework for design of graph algorithms. At a high level, this framework casts the graph problem at hand as a convex optimization task and then applies to it an appropriate method from the continuous optimization toolkit. We survey how this new approach led to the first in decades progress on the maximum flow problem and then briefly sketch the challenges that still remain.

Resumo: Query complexity is a model of computation in which we have to compute a function $f(x_1, \ldots, x_N)$ of variables $x_i$ which can be accessed via queries. The complexity of an algorithm is measured by the number of queries that it makes. Query complexity is widely used for studying quantum algorithms, for two reasons. First, it includes many of the known quantum algorithms (including Grover's quantum search and a key subroutine of Shor's factoring algorithm). Second, one can prove lower bounds on the query complexity, bounding the possible quantum advantage. In the last few years, there have been major advances on several longstanding problems in the query complexity. In this talk, we survey these results and related work, including:

• the biggest quantum-vs-classical gap for partial functions (a problem solvable with 1 query quantumly but requiring $\Omega(\sqrt{N})$ queries classically);
• the biggest quantum-vs-determistic and quantum-vs-probabilistic gaps for total functions (for example, a problem solvable with $M$ queries quantumly but requiring $\tilde{\Omega}(M^{2.5})$ queries probabilistically);
• the biggest probabilistic-vs-deterministic gap for total functions (a problem solvable with $M$ queries probabilistically but requiring $\tilde{\Omega}(M^{2})$ queries deterministically);
• the bounds on the gap that can be achieved for subclasses of functions (for example, symmetric functions);
• the connections between query algorithms and approximations by low-degree polynomials.

Resumo: We consider the problem of determining whether an Erdos–Rényi random graph contains a subgraph isomorphic to a fixed pattern, such as a clique or cycle of constant size. The computational complexity of this problem is tied to fundamental open questions including $P$ vs. $NP$ and $NC^1$ vs. $L$. We give an overview of unconditional average-case lower bounds for this problem (and its colored variant) in a few important restricted classes of Boolean circuits.

Resumo: Efficient verification of computation, also known as delegation of computation, is one of the most fundamental notions in computer science, and in particular it lies at the heart of the P vs. NP question.
This article contains a high level overview of the evolution of proofs in computer science, and shows how this evolution is instrumental to solving the problem of delegating computation. We highlight a curious connection between the problem of delegating computation and the notion of no-signaling strategies from quantum physics.

Resumo: Graph Isomorphism (GI) is one of a small number of natural algorithmic problems with unsettled complexity status in the P/NP theory: not expected to be NP-complete, yet not known to be solvable in polynomial time. The worst-case complexity of the problem has recently been brought down from moderately exponential to quasipolynomial time.

Arguably, the GI problem boils down to filling the gap between symmetry, a global property of objects, and regularity, a local concept.

Recent progress on the problem relies on a combination of the asymptotic theory of permutation groups and asymptotic properties of highly regular combinatorial structures called coherent configurations. Group theory provides the central new tool to infer global symmetry from local information, eliminating the symmetry/regularity gap in the relevant scenario.

Resumo: Estimation is the computational task of recovering a hidden parameter $x$ associated with a distribution $\mathcal{D}_x$, given a measurement $y$ sampled from the distribution. High dimensional estimation problems can be formulated as system of polynomial equalities and inequalities, and thus give rise to natural probability distributions over polynomial systems. Sum of squares proofs not only provide a powerful framework to reason about polynomial systems, but they are constructive in that there exist efficient algorithms to search for sum-of-squares proofs. The efficiency of these algorithms degrade exponentially in the degree of the sum-of-squares proofs.
Understanding and characterizing the power of sum-of-squares proofs for estimation problems has been a subject of intense study in recent years. On one hand, there is a growing body of work utilizing sum-of-squares proofs for recovering solutions to polynomial systems whenever the system is feasible. On the other hand, a broad technique referred to as pseudocalibration has been developed towards showing lower bounds on degree of sum-of-squares proofs. Finally, the existence of sum-of-squares refutations of a polynomial system has been shown to be intimately connected to the spectrum of associated low-degree matrix valued functions.
This talk will survey some of the major developments in the area.

Resumo: The nearest neighbor problem is defined as follows: Given a set $P$ of $n$ points in some metric space $(X,\mathsf{D})$, build a data structure that, given any point $q$, returns a point in $P$ that is closest to $q$ (its “nearest neighbor” in $P$). The data structure stores additional information about the set $P$, which is then used to find the nearest neighbor without computing all distances between $q$ and $P$. The problem has a wide range of applications in machine learning, computer vision, databases and other fields.
To reduce the time needed to find nearest neighbors and the amount of memory used by the data structure, one can formulate the approximate nearest neighbor problem, where the the goal is to return any point $p' \in P$ such that the distance from $q$ to $p'$ is at most $c \cdot \min_{p \in P} \mathsf{D}(q,p)$, for some $c\ge 1$. Over the last two decades many efficient solutions to this problem were developed. In this article we survey these developments, as well as their connections to questions in geometric functional analysis and combinatorial geometry.

Resumo: In recent years, a new “fine-grained” theory of computational hardness has been developed, based on “fine-grained reductions” that focus on exact running times for problems. Mimicking NP-hardness, the approach is to (1) select a key problem X that for some function $t$, is conjectured to not be solvable by any $O(t(n)^{1-\epsilon})$ time algorithm for $\epsilon>0$, and (2) reduce X in a fine-grained way to many important problems, thus giving tight conditional time lower bounds for them. This approach has led to the discovery of many meaningful relationships between problems, and to equivalence classes.
The main key problems used to base hardness on have been: the $3$-SUM problem, the CNF-SAT problem (based on the Strong Exponential Time Hypothesis (SETH)) and the All Pairs Shortest Paths Problem. Research on SETH-based lower bounds has flourished in particular in recent years showing that the classical algorithms are optimal for problems such as Approximate Diameter, Edit Distance, Frechet Distance and Longest Common Subsequence.
This paper surveys the current progress in this area, and highlights some exciting new developments.

Resumo: How many basic operations (addition, subtraction, multiplication and division operations) are required to compute a given multivariate polynomial? While it has been known for many decades that most polynomials are extremely hard to compute (requiring an exponential number of operations), an explicit/easy-to-describe polynomial that is even moderately hard (requiring super-polynomial number of operations) remains elusive.

In this talk, we will describe a paradigm for obtaining lower bounds on the number of operations required and apply it to some restricted classes of arithmetic computation.

Resumo: In this work a general strategy to design high order well-balanced schemes for hyperbolic system with nonconservative products and/or source terms is reviewed. We briefly recall the theory of Dal Maso–LeFloch–Murat to define weak solutions of nonconservative systems and how it has been used to establish the notion of path-conservative schemes. Next, a family of high order finite volume methods combining a reconstruction operator and a first order path-conservative scheme is described. Then, the well-balanced property of the proposed methods is analyzed. Finally, some challenging examples on tsunami modeling are shown.

Resumo: This lecture serves as an invitation to further studies on nonlocal models, their mathematics, computation, and applications. We sample our recent attempts in the development of a systematic mathematical framework for nonlocal models, including basic elements of nonlocal vector calculus, well-posedness of nonlocal variational problems, coupling to local models, convergence and compatibility of numerical approximations, and applications to nonlocal mechanics and diffusion. We also draw connections with traditional models and other relevant mathematical subjects.

Resumo: The sedimentation of a suspension is a unit operation widely used in mineral processing, chemical engineering, wastewater treatment, and other industrial applications. Mathematical models that describe these processes and may be employed for simulation, design and control are usually given as nonlinear, time-dependent partial differential equations that in one space dimension include strongly degenerate convection-diffusion-reaction equations with discontinuous coefficients, and in two or more dimensions, coupled flow-transport problems. These models incorporate non-standard properties that have motivated original research in applied mathematics and numerical analysis. This contribution summarizes recent advances, and presents original numerical results, for three different topics of research: a novel method of flux identification for a scalar conservation law from observation of curved shock trajectories that can be observed in sedimentation in a cone; a new description of continuous sedimentation with reactions including transport and reactions of biological components; and the numerical solution of a multi-dimensional sedimentation-consolidation system by an augmented mixed-primal method, including an a posteriori error estimation.

Resumo: Kinetic modeling and computation face the challenges of multiple scales and uncertainties. Developing efficient multiscale computational methods, and quantifying uncertainties arising in their collision kernels or scattering coefficients, initial or boundary data, forcing terms, geometry, etc. have important engineering and industrial applications. In this article we will report our recent progress in the study of multiscale kinetic equations with uncertainties modelled by random inputs. We first study the mathematical properties of uncertain kinetic equations, including their regularity and long-time behavior in the random space, and sensitivity of their solutions with respect to the input and scaling parameters. Using the hypocoercivity of kinetic operators, we provide a general framework to study these mathematical properties for general class of linear and nonlinear kinetic equations in various asymptotic regimes. We then approximate these equations in random space by the stochastic Galerkin methods, study the numerical accuracy and long-time behavior of the methods, and furthermore, make the methods “stochastically asymptotic preserving”, in order to handle the multiple scales efficiently.

Resumo: In this paper, we review a set of fast and spectrally accurate methods for rapid evaluation of three dimensional electrostatic and Stokes potentials. The algorithms use the so-called Ewald decomposition and are FFT-based, which makes them naturally most efficient for the triply periodic case. Two key ideas have allowed efficient extension of these Spectral Ewald (SE) methods to problems with periodicity in only one or two dimensions: an adaptive 3D FFT that apply different upsampling rates locally combined with a new method for FFT based solutions of free space harmonic and biharmonic problems. The latter approach is also used to extend to the free space case, with no periodicity. For the non-radial kernels of Stokes flow, the structure of their Fourier transform is exploited to extend the applicability from the radial harmonic and biharmonic kernels.
A window function is convolved with the point charges to assign values on the FTT grid. Spectral accuracy is attained with a variable number of points in the support of the window function, tuning a shape parameter according to this choice. A new window function, recently introduced in the context of a non-uniform FFT algorithm, allows for further reduction in the computational time as compared to the truncated Gaussians previously used in the SE method.

Resumo: For centuries, many important theories and models of physical phenomena have been characterized by partial differential equations. But numerical methods for approximating such equations have only appeared over the last half century with the emergence of computers. Principal among these methods are finite elements. Today major challenges remain with the advent of modern computer architectures and the need for massively parallel algorithms.
Traditionally the assembling of finite element matrices and the computation of many a posteriori error estimators is obtained by local operators and thus regarded as cheap and of optimal order complexity. However optimal order complexity is not necessarily equivalent to short run-times, and memory traffic may slow down the execution considerably. Here we discuss several ingredients, such as discretization and solver, for efficient approximations of coupled multi-physics problems.
Surrogate finite element operators allow for a fast on-the-fly computation of the stiffness matrix entries in a matrix free setting. A variational crime analysis then yields two-scale a priori estimates. To balance the dominating components, the scheme is enriched by an adaptive steering based on a hierarchical decomposition of the residual. Several numerical examples illustrate the need for a performance aware numerical analysis.

Resumo: In recent years there has been very substantial growth in stochastic modelling in many application areas, and this has led to much greater use of Monte Carlo methods to estimate expected values of output quantities from stochastic simulation. However, such calculations can be expensive when the cost of individual stochastic simulations is very high. Multilevel Monte Carlo greatly reduces the computational cost by performing most simulations with low accuracy at a correspondingly low cost, with relatively few being performed at high accuracy and a high cost.
This article reviews the key ideas behind the multilevel Monte Carlo method. Some applications are discussed to illustrate the flexibility and generality of the approach, and the challenges in its numerical analysis.

Resumo: Quasicrystals are one kind of fascinating aperiodic structures, and give a strong impact on material science, solid state chemistry, condensed matter physics and soft matters. The theory of quasicrystals, included in aperiodic order, has grown rapidly in mathematical and physical areas over the past few decades. Many scientific problems have been explored with the efforts of physicists and mathematicians. However, there are still lots of open problems which might to be solved by the close collaboration of physicists, mathematicians and computational mathematicians. In this article, we would like to bridge the physical quasicrystals and mathematical quasicrystals from the perspective of numerical mathematics.

Resumo: A large variety of efficient numerical methods, of the finite volume, finite difference and DG type, have been developed for approximating hyperbolic systems of conservation laws. However, very few rigorous convergence results for these methods are available. We survey the state of the art on this crucial question of numerical analysis by summarizing classical results of convergence to entropy solutions for scalar conservation laws. Very recent results on convergence of ensemble Monte Carlo methods to the measure-valued and statistical solutions of multi-dimensional systems of conservation laws are also presented.

Resumo: In this article, we overview recent developments of modern computational methods for the approximate solution of phase-field problems. The main difficulty for developing a numerical method for phase field equations is a severe stability restriction on the time step due to nonlinearity and high order differential terms. It is known that the phase field models satisfy a nonlinear stability relationship called gradient stability, usually expressed as a time-decreasing free-energy functional. This property has been used recently to derive numerical schemes that inherit the gradient stability. The first part of the article will discuss implicit-explicit time discretizations which satisfy the energy stability. The second part is to discuss time-adaptive strategies for solving the phase-field problems, which is motivated by the observation that the energy functionals decay with time smoothly except at a few critical time levels. The classical operator-splitting method is a useful tool in time discrtization. In the final part, we will provide some preliminary results using operator-splitting approach.

Resumo: We report on a series of works done in collaboration with Y. Privat and E. Zuazua, concerning the problem of optimizing the shape and location of sensors and actuators for systems whose evolution is driven by a linear partial differential equation. This problem is frequently encountered in applications where one wants to optimally design sensors in order to maximize the quality of the reconstruction of solutions by using only partial observations, or to optimally design actuators in order to control a given process with minimal efforts. For example, we model and solve the following informal question: what is the optimal shape and location of a thermometer?
Note that we want to optimize not only the placement but also the shape of the observation or control subdomain over the class of all possible measurable subsets of the domain having a prescribed Lebesgue measure. By probabilistic considerations we model this optimal design problem as the one of maximizing a spectral functional interpreted as a randomized observability constant, which models optimal observabnility for random initial data.
Solving this problem strongly depends on the operator in the PDE model and requires fine knowledge on the asymptotic properties of eigenfunctions of that operator. For parabolic equations like heat, Stokes or anomalous diffusion equations, we prove the existence and uniqueness of a best domain, proved to be regular enough, and whose algorithmic construction depends in general on a finite number of modes. In contrast, for wave or Schrödinger equations, relaxation may occur and our analysis reveals intimate relations with quantum chaos, more precisely with quantum ergodicity properties of the Laplacian eigenfunctions.

Resumo: The Moment-SOS hierarchy initially introduced in optimization in 2000, is based on the theory of the $\mathbf{K}$-moment problem and its dual counterpart, polynomials that are positive on $\mathbf{K}$. It turns out that this methodology can be also applied to solve problems with positivity constraints “$f(\mathbf{x})\geq0$ for all $\mathbf{x}\in\mathbf{K}$” and/or linear constraints on Borel measures. Such problems can be viewed as specific instances of the “Generalized Problem of Moments” (GPM) whose list of important applications in various domains is endless. We describe this methodology and outline some of its applications in various domains.

Resumo: We consider inverse problems for hyperbolic equations and systems and the solutions of these problems based on the focusing of waves. Several inverse problems for linear equations can be solved using control theory. When the coefficients of the modelling equation are unknown, the construction of the point sources requires solving blind control problems. For non-linear equations we consider a new artificial point source method that applies the non-linear interaction of waves to create microlocal points sources inside the unknown medium. The novel feature of this method is that it utilizes the non-linearity as a tool in imaging, instead of considering it as a difficult perturbation of the system. To demonstrate the method, we consider the non-linear wave equation and the coupled Einstein and scalar field equations.

Resumo: The realization that many nondifferentiable functions exhibit some form of structured nonsmoothness has been atracting the efforts of many researchers in the last decades. Identifying theoretically and computationally certain manifolds where a nonsmooth function behaves smoothly poses challenges for the nonsmooth optimization community. We review a sequence of milestones in the area that led to the development of algorithms of the bundle type that can track the region of smoothnes and mimic a Newton algorithm to converge with superlinear speed. The new generation of bundle methods is sufficiently versatile to deal with structured objective functions, even when the available information is inexact.

Resumo: We establish or refute the optimality of inexact second-order methods for unconstrained nonconvex optimization from the point of view of worst-case evaluation complexity, improving and generalizing our previous results. To this aim, we consider a new general class of inexact second-order algorithms for unconstrained optimization that includes regularization and trust-region variations of Newton's method as well as of their linesearch variants. For each method in this class and arbitrary accuracy threshold $\epsilon \in (0,1)$, we exhibit a smooth objective function with bounded range, whose gradient is globally Lipschitz continuous and whose Hessian is $\alpha-$Hölder continuous (for given $\alpha \in [0,1]$), for which the method in question takes at least $\lfloor\epsilon^{-(2+\alpha)/(1+\alpha)}\rfloor$ function evaluations to generate a first iterate whose gradient is smaller than $\epsilon$ in norm. Moreover, we also construct another function on which Newton's takes $\lfloor\epsilon^{-2}\rfloor$ evaluations, but whose Hessian is Lipschitz continuous on the path of iterates. These examples provide lower bounds on the worst-case evaluation complexity of methods in our class when applied to smooth problems satisfying the relevant assumptions. Furthermore, for $\alpha=1$, this lower bound is of the same order in $\epsilon$ as the upper bound on the worst-case evaluation complexity of the cubic regularization method and other algorithms in a class of methods recently proposed by Curtis, Robinson and Samadi or by Royer and Wright, thus implying that these methods have optimal worst-case evaluation complexity within a wider class of second-order methods, and that Newton's method is suboptimal.

Resumo: Efficient representations of convex sets are of crucial importance for many algorithms that work with them. It is well-known that sometimes, a complicated convex set can be expressed as the projection of a much simpler set in higher dimensions called a lift of the original set. This is a brief survey of recent developments in the topic of lifts of convex sets. Our focus will be on lifts that arise from affine slices of real positive semidefinite cones known as psd or spectrahedral lifts. The main result is that projection representations of a convex set are controlled by factorizations, through closed convex cones, of an operator that comes from the convex set. This leads to several research directions and results that lie at the intersection of convex geometry, combinatorics, real algebraic geometry, optimization, computer science and more.

Resumo: In this work a general strategy to design high order well-balanced schemes for hyperbolic system with nonconservative products and/or source terms is reviewed. We briefly recall the theory of Dal Maso–LeFloch–Murat to define weak solutions of nonconservative systems and how it has been used to establish the notion of path-conservative schemes. Next, a family of high order finite volume methods combining a reconstruction operator and a first order path-conservative scheme is described. Then, the well-balanced property of the proposed methods is analyzed. Finally, some challenging examples on tsunami modeling are shown.

Resumo: This lecture serves as an invitation to further studies on nonlocal models, their mathematics, computation, and applications. We sample our recent attempts in the development of a systematic mathematical framework for nonlocal models, including basic elements of nonlocal vector calculus, well-posedness of nonlocal variational problems, coupling to local models, convergence and compatibility of numerical approximations, and applications to nonlocal mechanics and diffusion. We also draw connections with traditional models and other relevant mathematical subjects.

Resumo: The sedimentation of a suspension is a unit operation widely used in mineral processing, chemical engineering, wastewater treatment, and other industrial applications. Mathematical models that describe these processes and may be employed for simulation, design and control are usually given as nonlinear, time-dependent partial differential equations that in one space dimension include strongly degenerate convection-diffusion-reaction equations with discontinuous coefficients, and in two or more dimensions, coupled flow-transport problems. These models incorporate non-standard properties that have motivated original research in applied mathematics and numerical analysis. This contribution summarizes recent advances, and presents original numerical results, for three different topics of research: a novel method of flux identification for a scalar conservation law from observation of curved shock trajectories that can be observed in sedimentation in a cone; a new description of continuous sedimentation with reactions including transport and reactions of biological components; and the numerical solution of a multi-dimensional sedimentation-consolidation system by an augmented mixed-primal method, including an a posteriori error estimation.

Resumo: Kinetic modeling and computation face the challenges of multiple scales and uncertainties. Developing efficient multiscale computational methods, and quantifying uncertainties arising in their collision kernels or scattering coefficients, initial or boundary data, forcing terms, geometry, etc. have important engineering and industrial applications. In this article we will report our recent progress in the study of multiscale kinetic equations with uncertainties modelled by random inputs. We first study the mathematical properties of uncertain kinetic equations, including their regularity and long-time behavior in the random space, and sensitivity of their solutions with respect to the input and scaling parameters. Using the hypocoercivity of kinetic operators, we provide a general framework to study these mathematical properties for general class of linear and nonlinear kinetic equations in various asymptotic regimes. We then approximate these equations in random space by the stochastic Galerkin methods, study the numerical accuracy and long-time behavior of the methods, and furthermore, make the methods “stochastically asymptotic preserving”, in order to handle the multiple scales efficiently.

Resumo: The issue of symmetry and symmetry breaking is fundamental in all areas of science. Symmetry is often assimilated to order and beauty while symmetry breaking is the source of many interesting phenomena such as phase transitions, instabilities, segregation, self-organization, etc. In this contribution we review a series of sharp results of symmetry of nonnegative solutions of nonlinear elliptic differential equation associated with minimization problems on Euclidean spaces or manifolds. Nonnegative solutions of those equations are unique, a property that can also be interpreted as a rigidity result. The method relies on linear and nonlinear flows which reveal deep and robust properties of a large class of variational problems. Local results on linear instability leading to symmetry breaking and the bifurcation of non-symmetric branches of solutions are reinterpreted in a larger, global, variational picture in which our flows characterize directions of descent.

Resumo: Wave propagation in random media can be studied by multiscale and stochastic analysis. We review some recent advances and their applications. In particular, in a physically relevant regime of separation of scales, wave propagation is governed by a Schrödinger-type equation driven by a Brownian field. We study the associated moment equations and describe the propagation of coherent and incoherent waves. We quantify the scintillation of the wave and the fluctuations of the Wigner distribution. These results make it possible to introduce and characterize correlation-based imaging methods.

Resumo: We present an overview of scalable load balancing algorithms which provide favorable delay performance in large-scale systems, and yet only require minimal implementation overhead. Aimed at a broad audience, the paper starts with an introduction to the basic load balancing scenario – referred to as the supermarket model – consisting of a single dispatcher where tasks arrive that must immediately be forwarded to one of $N$ single-server queues. The supermarket model is a dynamic counterpart of the classical balls-and-bins setup where balls must be sequentially distributed across bins.
A popular class of load balancing algorithms are power-of-$d$ or JSQ($d$) policies, where an incoming task is assigned to a server with the shortest queue among $d$ servers selected uniformly at random. As the name reflects, this class includes the celebrated Join-the-Shortest-Queue (JSQ) policy as a special case ($d = N$), which has strong stochastic optimality properties and yields a mean waiting time that vanishes as $N$ grows large for any fixed subcritical load. However, a nominal implementation of the JSQ policy involves a prohibitive communication burden in large-scale deployments. In contrast, a simple random assignment policy ($d = 1$) does not entail any communication overhead, but the mean waiting time remains constant as $N$ grows large for any fixed positive load.
In order to examine the fundamental trade-off between delay performance and implementation overhead, we consider an asymptotic regime where the diversity parameter $d(N)$ depends on $N$. We investigate what growth rate of $d(N)$ is required to match the optimal performance of the JSQ policy on fluid and diffusion scale, and achieve a vanishing waiting time in the limit. The results demonstrate that the asymptotics for the JSQ($d(N)$) policy are insensitive to the exact growth rate of $d(N)$, as long as the latter is sufficiently fast, implying that the optimality of the JSQ policy can asymptotically be preserved while dramatically reducing the communication overhead.
Stochastic coupling techniques play an instrumental role in establishing the asymptotic optimality and universality properties, and augmentations of the coupling constructions allow these properties to be extended to infinite-server settings and network scenarios. We additionally show how the communication overhead can be reduced yet further by the so-called Join-the-Idle-Queue (JIQ) scheme, leveraging memory at the dispatcher to keep track of idle servers.

Resumo: Single-particle cryo-electron microscopy (cryo-EM) has recently joined X-ray crystallography and NMR spectroscopy as a high-resolution structural method for biological macromolecules. Cryo-EM was selected by Nature Methods as Method of the Year 2015, large scale investments in cryo-EM facilities are being made all over the world, and the Nobel Prize in Chemistry 2017 was awarded to Jacques Dubochet, Joachim Frank and Richard Henderson “for developing cryo-electron microscopy for the high-resolution structure determination of biomolecules in solution”. This paper focuses on the mathematical principles underlying existing algorithms for structure determination using single particle cryo-EM.

Resumo: In these proceedings we are interested in quantitative estimates for advective equations with an anelastic constraint in presence of vacuum. More precisely, we derive a quantitative stability estimate and obtain the existence of renormalized solutions. Our main objective is to show the flexibility of the method introduced recently by the authors for the compressible Navier–Stokes' system. This method seems to be well adapted in general to provide regularity estimates on the density of compressible transport equations with possible vacuum state and low regularity of the transport velocity field; the advective equation with degenerate anelastic constraint considered here is another good example of that. As a final application we obtain the existence of global renormalized solution to the so-called lake equation with possibly vanishing topography.

Resumo: This paper is a review article on semi-supervised and unsupervised graph models for classification using similarity graphs and for community detection in networks. The paper reviews graph-based variational models built on graph cut metrics. The equivalence between the graph mincut problem and total variation minimization on the graph for an assignment function allows one to cast graph-cut variational problems in the language of total variation minimization, thus creating a parallel between low dimensional data science problems in Euclidean space (e.g. image segmentation) and high dimensional clustering. The connection paves the way for new algorithms for data science that have a similar structure to well-known computational methods for nonlinear partial differential equations. This paper focuses on a class of methods build around diffuse interface models (e.g. the Ginzburg–Landau functional and the Allen–Cahn equation) and threshold dynamics, developed by the Author and collaborators. Semi-supervised learning with a small amount of training data can be carried out in this framework with diverse applications ranging from hyperspectral pixel classification to identifying activity in police body worn video. It can also be extended to the context of uncertainty quantification with Gaussian noise models. The problem of community detection in networks also has a graph-cut structure and algorithms are presented for the use of threshold dynamics for modularity optimization. With efficient methods, this allows for the use of network modularity for unsupervised machine learning problems with unknown number of classes.

Resumo: In this paper, we beginning by reviewing a certain number of mathematical challenges posed by the modelling of collective dynamics and self-organization. Then, we focus on two specific problems, first, the derivation of fluid equations from particle dynamics of collective motion and second, the study of phase transitions and the stability of the associated equilibria.

Resumo: We present a mathematical view of the structure of matter based on the invariance of the classical equations of physics.

Resumo: I will report on recent developments in a class of algorithms, known as threshold dynamics, for computing the motion of interfaces by mean curvature. These algorithms try to generate the desired interfacial motion just by alternating two very simple operations: Convolution, and thresholding. They can be extended to the multi-phase setting of networks of surfaces, and to motion by weighted (anisotropic) mean curvature, while maintaining the simplicity of the original version. These extensions are relevant in applications such as materials science, where they allow large scale simulation of models for microstructure evolution in polycrystals.

Resumo: In this article I discuss some theories in mathematics education research. My goal is to highlight some of their differences. How will I proceed? I could proceed by giving a definition, T, of the term theory and by choosing some differentiating criteria such as c1, c2, etc. Theories, then, could be distinguished in terms of whether or not they include the criteria c1, c2, etc. However, in this article I will take a different path. In the first part I will focus on a few well-known theories in Mathematics Education and discuss their differences in terms of their theoretical stances. In the last part of the article, I will comment on a sociocultural emergent trend.

Resumo: This paper presents a line of research in didactics of mathematics developed during the past decade within the Anthropological Theory of the Didactic around what we call study and research paths (SRPs). SRPs are initially proposed as a study format based on the inquiry of open questions, which can be implemented at all educational levels, from pre-school to university, including teacher education and professional development. Additionally, they provide a general schema for analysing any kind of teaching and learning process, by especially pointing out the more or less explicit questions that lead the study process and the way new knowledge is built or introduced to elaborate answers to these questions. Current research on SRPs focuses on their didactic ecology, defined as the set of conditions required to generally implement SRPs at different educational levels, together with the constraints that hinder their development and dissemination.

Resumo: N/A

Resumo: N/A

Resumo: N/A

Resumo: N/A

Resumo: The first ICMs took place during a era when the longstanding rivalry between France and Germany strongly influenced European affairs. Relations between leading mathematicians of these two countries were also colored by this tense political atmosphere. This brief account highlights what was at stake by focusing on events in Paris and Göttingen from the period 1870 to 1920.

Resumo: Kurt Gödel said of the discovery of his famous incompleteness theorem that he substituted “unprovable” for “false” in the paradoxical statement This sentence is false. Thereby he obtained something that states its own unprovability, so that if the statement is true, it should indeed be unprovable. The big methodical obstacle that Gödel solved so brilliantly was to code such a self-referential statement in terms of arithmetic. The shorthand notes on incompleteness that Gödel had meticulously kept are examined for the first time, with a picture of the emergence of incompleteness different from the one the received story of its discovery suggests.

Resumo: In the middle of the $20^{th}$ century, the intimate link between science, industry and the state was stimulated, in its technical-scientific dimension, by the Cold War. Questions of a similar strategic nature were involved in the Brazilian political scene, when the CNPq was created. This presentation investigates the nature of the connection between this scientific policy and the presumed need for an advanced research institute in mathematics, that gave birth to IMPA. By retracing the scientific choices of the few mathematicians working at the institute in its first twenty years, we demonstrate how they paralleled the ongoing reconfiguration of scientific research. The development of dynamical systems theory provides a telling example of internationalization strategies which situated IMPA within a research network full of resources, that furnished, moreover, a modernizing drive adapted to the air of that time.