L3

In this talk, we consider the Cauchy problem for a number of semilinear PDEs, subject to initial data distributed according to a family of Gaussian measures.  

We first discuss how the flow of Hamiltonian equations transports these Gaussian measures. When the transported measure is absolutely continuous with respect to the initial measure, we say that the initial measure is quasi-invariant. 

In the high-dispersion regime, we exploit quasi-invariance to build a (unique) global flow for initial data with negative regularity, in a regime that cannot be replicated by the deterministic (pathwise) theory.  

In the 0-dispersion regime, we discuss the limits of this approach, and exhibit a sharp transition from quasi-invariance to singularity, depending on the regularity of the initial measure. 

We will also discuss how the same techniques can be used in the context of stochastic PDEs, and how they provide information on the invariant measures for their flow. 

This is based on joint works with  J. Coe (University of Edinburgh), J. Forlano (Monash University), and M. Hairer (EPFL).

The discrete Hodge Laplacian offers a way to extract network topology and geometry from higher-ordered networks. The operator is inspired by concepts from algebraic topology and differential geometry and generalises the graph Laplacian. In particular, it allows to relate global structure of networks to the local properties of nodes. In my talk, I will talk about some general behaviour of the Hodge Laplacian and then continue to show how to use the extracted information to a) to use trajectory data infer the topology of the underlying network while simultaneously classifying the trajectories and b) to extract cell differentiation trees from single-cell data, an exciting new application in computational genomics.    

Let F(x,y) be a polynomial over the complex numbers. The Elekes-Ronyai theorem says that if F(x,y) is not essentially addition or multiplication, then F(x,y) exhibits expansion: for any finite subset A, B of complex numbers of size n, the size of F(A,B)={F(a,b):a in A, b in B} will be much larger than n. In fact, it is proved that |F(A,B)|>Cn^{4/3} for some constant C. In this talk, I will present a recent joint work with Martin Bays, which is an asymmetric and higher dimensional version of the Elekes-Rónyai theorem, where A and B can be taken to be of different sizes and y a tuple. This result is achieved via a generalisation of the Elekes-Szabó theorem.

A major open problem in the model theory of valued fields is to gain an understanding of the first-order theory of the power series field F((t)), where F denotes a finite field. For sufficiently "nice" henselian valued fields, the Ax-Kochen/Ershov philosophy allows to reduce questions of elementary equivalence and elementary embeddings to the analogous questions about the value group and residue field (or related structures). In my talk, I will present a new such principle which applies in particular to a large class of algebraic extensions of F((t)), albeit not to F((t)) itself. The talk is based on joint work with Konstantinos Kartas and Jonas van der Schaaf.

The open core of a structure is the reduct generated by the open definable sets. Tame topological structures (e.g. o-minimal) are often inter-definable with their open core. Structures such as M = (ℝ,<, +, ℚ) are wild in the sense that they define a dense co-dense set. Still, M is NIP and its open core is o-minimal. In this talk, we push forward the thesis that the open core of an NTP2 (a generalization of NIP) topological structure is tame. Our main result is that, under suitable conditions, the open core has quantifier elimination (every definable set is constructible), and its definable functions are generically continuous.

I will discuss several interesting examples of classes of structures for which there is a sensible first-order theory of "almost all" structures in the class, for certain notions of "almost all". These examples include the classical theory of almost all finite graphs due to Glebskij-Kogan-Liogon'kij-Talanov and Fagin (and many more examples from finite model theory), as well as more recent examples from the model theory of infinite fields: the theory of almost all algebraic extensions and the universal/existential theory of almost all completions of a global field (both joint work with Arno Fehm). Interestingly, such asymptotic theories are sometimes quite well-behaved even when the base theories are not.