Past

We will discuss the problem of deciding (algorithmically) whether a variety over a local field K has a K-rational point, surveying some known results. I will then allow K to be an infinite extension (of some arithmetic interest) of a local field and present some recent work.
 

Nonlinear Fokker-Planck equations with measures as initial data and McKean-Vlasov equations This talk is about joint work with Viorel Barbu. We consider a class of nonlinear Fokker-Planck (- Kolmogorov) equations of type \begin{equation*} \frac{\partial}{\partial t} u(t,x) - \Delta_x\beta(u(t,x)) + \mathrm{div} \big(D(x)b(u(t,x))u(t,x)\big) = 0,\quad u(0,\cdot)=\mu, \end{equation*} where $(t,x) \in [0,\infty) \times \mathbb{R}^d$, $d \geq 3$ and $\mu$ is a signed Borel measure on $\mathbb{R}^d$ of bounded variation. In the first part of the talk we shall explain how to construct a solution to the above PDE based on classical nonlinear operator semigroup theory on $L^1(\mathbb{R}^d)$ and new results on $L^1- L^\infty$ regularization of the solution semigroups in our case. In the second part of the talk we shall present a general result about the correspondence of nonlinear Fokker-Planck equations (FPEs) and McKean-Vlasov type SDEs. In particular, it is shown that if one can solve the nonlinear FPE, then one can always construct a weak solution to the corresponding McKean-Vlasov SDE. We would like to emphasize that this, in particular, applies to the singular case, where the coefficients depend "Nemytski-type" on the time-marginal law of the solution process, hence the coefficients are not continuous in the measure-variable with respect to the weak topology on probability measures. This is in contrast to the literature in which the latter is standardly assumed. Hence we can cover nonlinear FPEs as the ones above, which are PDEs for the marginal law densities, realizing an old vision of McKean.

References V. Barbu, M. Röckner: From nonlinear Fokker-Planck equations to solutions of distribution dependent SDE, Ann. Prob. 48 (2020), no. 4, 1902-1920. V. Barbu, M. Röckner: Solutions for nonlinear Fokker-Planck equations with measures as initial data and McKean-Vlasov equations, J. Funct. Anal. 280 (2021), no. 7, 108926.

One of the main questions in the theory of the linear transport equation is whether uniqueness of solutions to the Cauchy problem holds in the case the given vector field is not smooth. We will show that even for incompressible, Sobolev (thus quite “well-behaved”) vector fields, uniqueness of solutions can drastically fail. This result can be seen as a counterpart to DiPerna and Lions’ well-posedness theorem, and, more generally, it can be interpreted as an instance of the “flexibility vs. rigidity” duality, which is a common feature of PDEs appearing in completely different fields, such as differential geometry and fluid dynamics (joint with G. Sattig and L. Székelyhidi). 

Studying quasi-isometries between groups is a major theme in geometric group theory. Of particular interest are the situations where the existence of a quasi-isometry between two groups implies that the groups are equivalent in a stronger algebraic sense, such as being commensurable. I will survey some results of this type, and then talk about recent work with Daniel Woodhouse where we prove quasi-isometric rigidity for certain graphs of virtually free groups, which include "generic" cyclic HNN extensions of free groups.

We prove a homological mirror symmetry result for a one-parameter family of genus 2 curves (https://arxiv.org/abs/1908.04227), and then mention current joint work with H. Azam, H. Lee, and C.-C. M. Liu on generalizing this to the 6-parameter family of all genus 2 curves.

First we describe the B-model genus 2 curve in a 4-torus and the geometric construction of the generalized SYZ mirror. Then we set up the Fukaya-Seidel category on the mirror. Finally we will see the main algebraic HMS result on homogenous coordinate rings, which is at the level of cohomology. The method involves first considering mirror symmetry for the 4-torus, then restricting to the hypersurface genus 2 curve and extending to a mirror Landau-Ginzburg model with fiber the mirror 4-torus. 

There has been a recent uptick in interest in fermionic CFTs. These mildly generalise the usual notion of CFT to allow dependence on a background spin structure. I will discuss how this generalisation manifests itself in the symmetries, anomalies, and boundary conditions of the theory, using the series of unitary Virasoro minimal models as an example.

The well known node2vec algorithm has been used to explore network structures and represent the nodes of a graph in a vector space in a way that reflects the structure of the graph. Random walks in node2vec have been used to study the local structure through pairwise interactions. Our motivation for this project comes from a desire to understand higher-order relationships by a similar approach. To this end, we propose an extension of node2vec to a method for representing the k-simplices of a simplicial complex into Euclidean space. 

In this talk I outline a way to do this by performing random walks on simplicial complexes, which have a greater variety of adjacency relations to take into account than in the case of graphs. The walks on simplices are then used to obtain a representation of the simplices. We will show cases in which this method can uncover the roles of higher order simplices in a network and help understand structures in graphs that cannot be seen by using just the random walks on the nodes. 

Saturated fusion systems capture and abstract conjugacy in $p$-subgroups of finite groups and have recently found application in finite group theory, representation theory and algebraic topology. In this talk, we describe a situation in which we may identify a rank $2$ amalgam within $\mathcal{F}$ and, using some local group theoretic techniques, completely determine $\mathcal{F}$ up to isomorphism.

Magnitude is an isometric invariant of metric spaces that was introduced by Tom Leinster in 2010, and is currently the object of intense research, since it has been shown to encode many invariants of a metric space such as volume, dimension, and capacity.

Magnitude homology is a homology theory for metric spaces that has been introduced by Hepworth-Willerton and Leinster-Shulman, and categorifies magnitude in a similar way as the singular homology of a topological space categorifies its Euler characteristic.

In this talk I will first introduce magnitude and magnitude homology. I will then give an overview of existing results and current research in this area, explain how magnitude homology is related to persistent homology, and finally discuss new stability results for magnitude and how it can be used to study point cloud data.

This talk is based on  joint work in progress with Miguel O’Malley and Sara Kalisnik, as well as the preprint https://arxiv.org/abs/1807.01540.

Zilber's Restricted Trichotomy Conjecture predicts that every sufficiently rich strongly minimal structure which can be interpreted from an algebraically closed field K, must itself interpret K. Progress toward this conjecture began in 1993 with the work of Rabinovich, and recently Hasson and Sustretov gave a full proof for structures with universe of dimension 1. In this talk I will discuss a partial result in characteristic zero for universes of dimension greater than 1: namely, the conjecture holds in this case under certain geometric restrictions on definable sets. Time permitting, I will discuss how this result implies the full conjecture for expansions of abelian varieties.

A new explanation of geometric nature of the reservoir computing phenomenon is presented. Reservoir computing is understood in the literature as the possibility of approximating input/output systems with randomly chosen recurrent neural systems and a trained linear readout layer. Light is shed on this phenomenon by constructing what is called strongly universal reservoir systems as random projections of a family of state-space systems that generate Volterra series expansions. This procedure yields a state-affine reservoir system with randomly generated coefficients in a dimension that is logarithmically reduced with respect to the original system. This reservoir system is able to approximate any element in the fading memory filters class just by training a different linear readout for each different filter. Explicit expressions for the probability distributions needed in the generation of the projected reservoir system are stated and bounds for the committed approximation error are provided.

In this talk, we will introduce two problems of contract theory, in continuous–time, with a multitude of agents. First, we will study a model of optimal contracting in a hierarchy, which generalises the one–period framework of Sung (2015). The hierarchy is modeled by a series of interlinked principal–agent problems, leading to a sequence of Stackelberg equilibria. More precisely, the principal (she) can contract with a manager (he), to incentivise him to act in her best interest, despite only observing the net benefits of the total hierarchy. The manager in turn subcontracts the agents below him. Both agents and the manager each independently control a stochastic process representing their outcome. We will see through a simple example that even if the agents only control the drift of their outcome, the manager controls the volatility of the Agents’ continuation utility. Even this first simple example justifies the use of recent results on optimal contracting for drift and volatility control, and therefore the theory on 2BSDEs. We will also discuss some possible extensions of this model. In particular, one extension consists in the elaboration of more general contracts, indexing the compensation of one worker on the result of the others. This increase in the complexity of contracts is beneficial for the principal, and constitutes a first approach to even more complex contracts, in the case, for example, of a continuum of workers with mean–field interactions. This will lead us to introduce the second problem, namely optimal contracting for demand–response management, which consists in extending the model by Aïd, Possamaï, and Touzi (2019) to a mean–field of consumers. Finally, we will conclude by mentioning that this principal-agent approach with a multitude of agents can be used to address many situations, for example to model incentives for
lockdown in the current epidemic context.
 

Data scientists are often faced with the challenge of understanding a high dimensional data set organized as a table. These tables may have columns of different (sometimes, non-numeric) types, and often have many missing entries. In this talk, we discuss how to use low rank models to analyze these big messy data sets. Low rank models perform well --- indeed, suspiciously well — across a wide range of data science applications, including applications in social science, medicine, and machine learning. In this talk, we introduce the mathematics of low rank models, demonstrate a few surprising applications of low rank models in data science, and present a simple mathematical explanation for their effectiveness.

--

A link for this talk will be sent to our mailing list a day or two in advance.  If you are not on the list and wish to be sent a link, please contact @email.

We consider the homogenization of a Stokes system in a domain having many small random holes. This model mainly arises from problems of solid-fluid interaction (e.g. the flow of a viscous and incompressible fluid through a porous medium). We aim at the rigorous derivation of the homogenization limit both in the Brinkmann regime and in the one of Darcy’s law. In particular, we focus on holes that are distributed according to probability measures that allow for overlapping and clustering phenomena.

We study the evolution of solid surfaces and pattern formation by
surface diffusion. Phase field models with degenerate mobilities are
frequently used to model such phenomena, and are validated by
investigating their sharp interface limits. We demonstrate by a careful
asymptotic analysis involving the matching of exponential terms that a
certain combination of degenerate mobility and a double well potential
leads to a combination of both surface and non-linear bulk diffusion to
leading order. If time permits, we will discuss implications and extensions.

We characterize which Borel functions are decomposable into
a countable union of functions which are piecewise continuous on
$\Pi^0_n$ domains, assuming projective determinacy. One ingredient of
our proof is a new characterization of what Borel sets are $\Sigma^0_n$
complete. Another important ingredient is a theorem of Harrington that
there is no projective sequence of length $\omega_1$ of distinct Borel
sets of bounded rank, assuming projective determinacy. This is joint
work with Adam Day.

The course covers the standard material on nonlinear wave equations, including local existence, breakdown criterion, global existence for small data for semi-linear equations, and Strichartz estimate if time allows.

A 3-manifold fibers over the circle if it can be identified with the mapping torus of a surface homeomorphism. If the surface is compact with non-empty boundary then the corresponding 3-manifold group is free-by-cyclic, and the action of the cyclic group on the free group is induced by the surface homeomorphism. Although most free-by-cyclic groups do not arise as fundamental groups of 3-manifolds which fiber over the circle, there is a strong analogy between the two families.

In this talk I will discuss how dynamical properties of the monodromy affect the geometry/algebra of the corresponding mapping torus. We will see how the same 3-manifold or group can admit multiple fiberings and what properties of the monodromy are known to be preserved under different fiberings.

In this talk I review the recent discovery of Yangian symmetry for massive Feynman integrals and how it can be used to set up a Yangian Bootstrap. I will provide elementary proofs of the symmetry at one and two loops, whereas at generic loop order I conjecture that all graphs cut from regular tilings of the plane with massive propagators on the boundary enjoy the symmetry. After demonstrating how the symmetry may be used to constrain the functional form of Feynman integrals on explicit examples, I comment on how a subset of the diagrams for which the symmetry is conjectured to hold is naturally embedded in a Massive Fishnet theory that descends from gamma-deformed Coulomb branch N=4 Super-Yang-Mills theory in a particular double scaling limit.

Since the seminal work of Keating and Snaith, the characteristic polynomial of a random (Haar-distributed) unitary matrix has seen several of its functional studied in relation with the probabilistic study of the Riemann Zeta function. We will recall the history of the topic starting with the Montgommery-Dyson correspondance and will revisit the last twenty years of computations of integer moments of some functionals, with a particular focus on the mid-secular coefficients recently studied by Najnudel-PaquetteSimm. The new method here introduced will be compared with one of the classical ways to deal with such functionals, the Conrey-Farmer-Keating-Rubinstein-Snaith (CFKRS) formula.

For high order finite elements (continuous piecewise polynomials) the conditioning of the basis is important. However, so far there seems no generally accepted concept of "a well-conditioned basis”,  or a general strategy for how to obtain such representations. In this presentation, we use the $L^2$ condition number as a measure of the conditioning, and construct representations by frames such that the associated $L^2$ condition number is bounded independently of the polynomial degree. The main tools include the bubble transform, which is a stable decomposition of functions into local modes, and orthogonal polynomials on simplexes.  We also include a brief discussion on potential applications in preconditioning. This is a joint work with Ragnar Winther. 

--

A link for this talk will be sent to our mailing list a day or two in advance.  If you are not on the list and wish to be sent a link, please contact @email.