Past

Generative adversarial networks (GANs) have enjoyed tremendous success in image generation and processing, and have recently attracted growing interests in other fields of applications. In this talk we will start from analyzing the connection between GANs and mean field games (MFGs) as well as optimal transport (OT). We will first show a conceptual connection between GANs and MFGs: MFGs have the structure of GANs, and GANs are MFGs under the Pareto Optimality criterion. Interpreting MFGs as GANs, on one hand, will enable a GANs-based algorithm (MFGANs) to solve MFGs: one neural network (NN) for the backward Hamilton-Jacobi-Bellman (HJB) equation and one NN for the Fokker-Planck (FP) equation, with the two NNs trained in an adversarial way. Viewing GANs as MFGs, on the other hand, will reveal a new and probabilistic aspect of GANs. This new perspective, moreover, will lead to an analytical connection between GANs and Optimal Transport (OT) problems, and sufficient conditions for the minimax games of GANs to be reformulated in the framework of OT. Building up from the probabilistic views of GANs, we will then establish the approximation of GANs training via stochastic differential equations and demonstrate the convergence of GANs training via invariant measures of SDEs under proper conditions. This stochastic analysis for GANs training can serve as an analytical tool to study its evolution and stability.

I will give an introduction to semigroup C*-algebras of ax+b-semigroups over rings of algebraic integers in algebraic number fields, a class of C*-algebras that was introduced by Cuntz, Deninger, and Laca. After explaining the construction, I will briefly discuss the state-of-the-art for this example class: These C*-algebras are unital, separable, nuclear, strongly purely infinite, and have computable primitive ideal spaces. In many cases, e.g., for Galois extensions, they completely characterise the underlying algebraic number field.

Polycyclic groups form an interesting and well-studied class of groups that properly contain the finitely generated nilpotent groups. I will discuss the C*-algebras associated with virtually polycyclic groups, their maximal quotients and recent work with Jianchao Wu showing that they have finite nuclear dimension.

Artificial microswimmers are an emerging field of research, attracting
interest as testing beds for physical theories of complex biological
entities, as inspiration for the design of smart materials, and for the
sheer elegance, and often quite counterintuitive phenomena of
experimental nonlinear dynamics.

Self-propelling droplets are among the most simplified swimmer models
imaginable, requiring just three components (oil, water, surfactant). In
this talk, I will show how these inherently stupid objects can make
surprisingly smart decisions based on interactions with microfluidic
structures and self-generated and external chemical fields.

I will present a simple model of market microstructure which explains the concavity of price impact. In the proposed model, the local relationship between the order flow and the fundamental price (i.e. the local price impact) is linear, with a constant slope, which makes the model dynamically consistent. Nevertheless, the expected impact on midprice from a large sequence of co-directional trades is nonlinear and asymptotically concave. The main practical conclusion of the model is that, throughout a meta-order, the volumes at the best bid and ask prices change (on average) in favor of the executor. This conclusion, in turn, relies on two more concrete predictions of the model, one of which can be tested using publicly available market data and does not require the (difficult to obtain) information about meta-orders. I will present the theoretical results and will support them with the empirical analysis.

We briefly review mathematical models of viscous deformable interfaces (such as plasma membranes) leading to fluid equations posed on (evolving) 2D surfaces embedded in $R^3$. We further report on some recent advances in understanding and numerical simulation of the resulting fluid systems using an unfitted finite element method.

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 send email to @email.

Solving kinetic or related models with high-dimensional random parameters has been a challenging problem. In this talk, we will discuss how to employ the bi-fidelity stochastic collocation and choose efficient low-fidelity models in order to solve a class of multi-scale kinetic equations with uncertainties, including the Boltzmann equation, linear transport and the Vlasov-Poisson equation. In addition, some error analysis for the bi-fidelity method based on these PDEs will be presented. Finally, several numerical examples are shown to validate the efficiency and accuracy of the proposed method.

Aronszajn trees are a staple of set theory, but there are applications where the requirement of all levels being countable is of no importance. This is the case in set-theoretic model theory, where trees of height and size ω1 but with no uncountable branches play an important role by being clocks of Ehrenfeucht–Fraïssé games that measure similarity of model of size ℵ1. We call such trees wide Aronszajn. In this context one can also compare trees T and T’ by saying that T weakly embeds into T’ if there is a function f that map T into T’ while preserving the strict order <_T. This order translates into the comparison of winning strategies for the isomorphism player, where any winning strategy for T’ translates into a winning strategy for T’. Hence it is natural to ask if there is a largest such tree, or as we would say, a universal tree for the class of wood Aronszajn trees with weak embeddings. It was known that there is no such a tree under CH, but in 1994 Mekler and Väänanen conjectured that there would be under MA(ω1).

In our upcoming JSL  paper with Saharon Shelah we prove that this is not the case: under MA(ω1) there is no universal wide Aronszajn tree.

The talk will discuss that paper. The paper is available on the arxiv and on line at JSL in the preproof version doi: 10.1017/jsl.2020.42.

I will discuss the notion of invariably generated groups, its importance, and some intuition. I will then present a construction of an invariably generated group that admits an index two subgroup that is not invariably generated. The construction answers questions of Wiegold and of Kantor-Lubotzky-Shalev. This is a joint work with Nir Lazarovich.

In this talk, I will study the properties of parametric estimators based on the Maximum Mean Discrepancy (MMD) defined by Briol et al. (2019). In a first time, I will show that these estimators are universal in the i.i.d setting: even in case of misspecification, they converge to the best approximation of the distribution of the data in the model, without ANY assumption on this model. This leads to very strong robustness properties. In a second time, I will show that these results remain valid when the data is not independent, but satisfy instead a weak-dependence condition. This condition is based on a new dependence coefficient, which is itself defined thanks to the MMD. I will show through examples that this new notion of dependence is actually quite general. This talk is based on published works, and works in progress, with Badr-Eddine Chérief Abdellatif (ENSAE Paris), Mathieu Gerber (University of Bristol), Jean-David Fermanian (ENSAE Paris) and Alexis Derumigny (University of Twente):

http://arxiv.org/abs/1912.05737

http://proceedings.mlr.press/v118/cherief-abdellatif20a.html

http://arxiv.org/abs/2006.00840

https://arxiv.org/abs/2010.00408

https://cran.r-project.org/web/packages/MMDCopula/

A connected matching is a matching contained in a connected component. A well-known method due to Łuczak reduces problems about monochromatic paths and cycles in complete graphs to problems about monochromatic matchings in almost complete graphs. We show that these can be further reduced to problems about monochromatic connected matchings in complete graphs.
    
I will describe Łuczak's reduction, introduce the new reduction, and mention potential applications of the improved method.

This talk is intended for a broad math and physics audience in particular including students. It will focus on the speaker’s recent contributions to the analysis of the real Ginibre ensemble consisting of square real matrices whose entries are i.i.d. standard normal random variables. In sharp contrast to the complex and quaternion Ginibre ensemble, real eigenvalues in the real Ginibre ensemble attain positive likelihood. In turn, the spectral radius of a real Ginibre matrix follows a different limiting law for purely real eigenvalues than for non-real ones. We will show that the limiting distribution of the largest real eigenvalue admits a closed form expression in terms of a distinguished solution to an inverse scattering problem for the Zakharov-Shabat system. This system is directly related to several of the most interesting nonlinear evolution equations in 1 + 1 dimensions which are solvable by the inverse scattering method. The results of this talk are based on our joint work with Jinho Baik (arXiv:1808.02419 and arXiv:2008.01694)

In this talk I will discuss relations between the low-energy expansions  of open- and closed string amplitudes. At genus zero, it has been shown that the single-valued map of MZVs maps open-string amplitudes to their closed-string counterparts. After reviewing this story, I will discuss recent work at genus one which aims to define a similar mapping from the open to the closed string. Our construction is driven by the differential equations and degeneration limits of certain generating functions of string integrals and suggests a pairing of integration cycles and forms at genus one - analogous to the duality between Parke-Taylor factors and disk boundaries at genus zero. Finally, I will discuss the impact of said mapping on the elliptic MZVs and modular graph forms which arise naturally upon solving these differential equations.

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 send email to @email.

In 2013, Reeder–Yu gave a construction of supercuspidal representations by starting with stable characters coming from the shallowest depth of the Moy–Prasad filtration. In this talk, we will be diving deeper—but not too deep. In doing so, we will construct examples of supercuspidal representations coming from a larger class of “shallow” characters. Using methods similar to Reeder–Yu, we can begin to make predictions about the Langlands parameters for these representations.

Here we propose a new method to compare the modular structure of a pair of node-aligned networks. The majority of current methods, such as normalized mutual information, compare two node partitions derived from a community detection algorithm yet ignore the respective underlying network topologies. Addressing this gap, our method deploys a community detection quality function to assess the fit of each node partition with respect to the other network's connectivity structure. Specifically, for two networks A and B, we project the node partition of B onto the connectivity structure of A. By evaluating the fit of B's partition relative to A's own partition on network A (using a standard quality function), we quantify how well network A describes the modular structure of B. Repeating this in the other direction, we obtain a two-dimensional distance measure, the bi-directional (BiDir) distance. The advantages of our methodology are three-fold. First, it is adaptable to a wide class of community detection algorithms that seek to optimize an objective function. Second, it takes into account the network structure, specifically the strength of the connections within and between communities, and can thus capture differences between networks with similar partitions but where one of them might have a more defined or robust community structure. Third, it can also identify cases in which dissimilar optimal partitions hide the fact that the underlying community structure of both networks is relatively similar. We illustrate our method for a variety of community detection algorithms, including multi-resolution approaches, and a range of both simulated and real world networks.

Let $X$ be a random variable, taking values in $\{1,…,n\}$, with standard deviation $\sigma$ and let $f_X$ be its probability generating function. Pemantle conjectured that if $\sigma$ is large and $f_X$ has no roots close to 1 in the complex plane then $X$ must approximate a normal distribution. In this talk, I will discuss a complete resolution of Pemantle's conjecture. As an application, we resolve a conjecture of Ghosh, Liggett and Pemantle by proving a multivariate central limit theorem for, so called, strong Rayleigh distributions. I will also discuss how these sorts of results shed light on random variables that arise naturally in combinatorial settings. This talk is based on joint work with Marcus Michelen.

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 send email to @email.

Michael Coughlan (with Sam Howison, Ian Hewitt, Andrew Wells)

Arctic sea ice forms a thin but significant layer at the ocean surface, mediating key climate feedbacks. During summer, surface melting produces considerable volumes of water, which collect on the ice surface in ponds. These ponds have long been suggested as a contributing factor to the discrepancy between observed and predicted sea ice extent. When viewed at large scales ponds have a complicated, approximately fractal geometry and vary in area from tens to thousands of square meters. Increases in pond depth and area lead to further increases in heat absorption and overall melting, contributing to the ice-albedo feedback. 

Previous modelling work has focussed either on the physics of individual ponds or on the statistical behaviour of systems of ponds. In this talk I present a physically-based network model for systems of ponds which accounts for both the individual and collective behaviour of ponds. Each pond initially occupies a distinct catchment basin and evolves according to a mass-conserving differential equation representing the melting dynamics for bare and water-covered ice. Ponds can later connect together to form a network with fluxes of water between catchment areas, constrained by the ice topography and pond water levels. 

I use the model to explore how the evolution of pond area and hence melting depends on the governing parameters, and to explore how the connections between ponds develop over the melt season. Comparisons with observations are made to demonstrate the ways in which the model qualitatively replicates properties of pond systems, including fractal dimension of pond areas and two distinct regimes of pond complexity that are observed during their development cycle. 

Different perimeter-area relationships exist for ponds in the two regimes. The model replicates these relationships and exhibits a percolation transition around the transition between these regimes, a facet of pond behaviour suggested by previous studies. The results reinforce the findings of these studies on percolation thresholds in pond systems and further allow us to constrain pond coverage at this threshold - an important quantity in measuring the scale and effects of the ice-albedo feedback.

After a review of Batalin-Vilkovisky formalism and homotopy algebras, we discuss how these structures emerge in quantum field theory and gravity. We focus then on the application of these sophisticated mathematical tools to scattering amplitudes (both tree- and loop-level) and to the understanding of the dualities between gauge theories and gravity, highlighting generalizations of old results and presenting new ones.

In this talk I will give an introduction to random multiplicative functions, and cover the recent developments in this area. I will also explain how RMF's are connected to some of the important open problems in Analytic Number Theory.

The Ricci flow on a surface is an intrinsic evolution of the metric converging to a constant curvature metric within the conformal class. It can be seen as an infinite-dimensional gradient flow. We introduce a natural 'Langevin' version of that flow, thus constructing an SPDE with invariant measure expressed in terms of Liouville Conformal Field Theory.
Joint work with Hao Shen (Wisconsin).

The main result is the existence of smooth, properly embedded 3-discs in S¹ × D³ that are not smoothly isotopic to {1} × D³. We describe a 2-variable Laurent polynomial invariant of 3-discs in S¹ × D³. This allows us to show that, when taken up to isotopy, such 3-discs form an abelian group of infinite rank. Joint work with David Gabai.

We describe how Smith theory applies in the setting of Hamiltonian Floer homology filtered by the action functional, and provide applications to questions regarding Hamiltonian diffeomorphisms, including the Hofer-Zehnder conjecture on the existence of infinitely many periodic points and a question of McDuff-Salamon on Hamiltonian diffeomorphisms of finite order.

All five-dimensional non-abelian gauge theories have a U(1)U(1)I​U(1) global symmetry associated with instantonic particles. I will describe a mixed ’t Hooft anomaly between this and other global symmetries of  the theory, namely the one-form center symmetry or ordinary flavor symmetry for theories with fundamental matter. I will explore some general dynamical properties of the candidate phases implied by the anomaly, and apply our results to supersymmetric gauge theories in five dimensions, analysing the symmetry enhancement patterns occurring at their conjectured RG fixed points.

In this session we discuss techniques to get the most out of your supervision sessions and tips on how to work with different personalities and use your supervisor's skills to your advantage. The session will be run by DPhil students and discussion among students during the session is encouraged.  

Polynomial rings $R[X]$ are a fundamental construction in commutative algebra, under which Hilbert's basis theorem controls a finiteness property: being Noetherian. We will describe the picture for the non-commutative world; this leads us towards other interesting finiteness conditions.

We explore general constraints from unitarity, defect superconformal symmetry and locality of bulk-defect couplings to classify possible superconformal defects in superconformal field theories (SCFT) of spacetime dimensions d>2.  Despite the general absence of locally conserved currents, the defect CFT contains new distinguished operators with protected quantum numbers that account for the broken bulk symmetries.  Consistency with the preserved superconformal symmetry and unitarity requires that such operators arrange into unitarity multiplets of the defect superconformal algebra, which in turn leads to nontrivial constraints on what kinds of defects are admissible in a given SCFT.  We will focus on the case of superconformal lines in this talk and comment on several interesting implications of our analysis, such as symmetry-enforced defect conformal manifolds, defect RG flows and possible nontrivial one-form symmetries in various SCFTs.  

Influenza viruses infect millions of individuals each year and cause a significant amount of morbidity and mortality. Understanding how the virus spreads within the lung, how efficacious host immune control is, and how each influences acute lung injury and disease severity is critical to combat the infection. We used an integrative model-experiment exchange to establish the dynamical connections between viral loads, infected cells, CD8+ T cells, lung injury, and disease severity. Our model predicts that infection resolution is sensitive to CD8+ T cell expansion, that there is a critical T cell magnitude needed for efficient resolution, and that the rate of T cell-mediated clearance is dependent on infected cell density. 
We validated the model through a series of experiments, including CD8 depletion and whole lung histomorphometry. This showed that the infected area of the lung matches the model-predicted infected cell dynamics, and that the resolved area of the lung parallels the relative CD8 dynamics. Additional analysis revealed a nonlinear relation between disease severity, inflammation, and lung injury. These novel links between important host-pathogen kinetics and pathology enhance our ability to forecast disease progression.

Differential equations and neural networks are two of the most widespread modelling paradigms. I will talk about how to combine the best of both worlds through neural differential equations. These treat differential equations as a learnt component of a differentiable computation graph, and as such integrates tightly with current machine learning practice. Applications are widespread. I will begin with an introduction to the theory of neural ordinary differential equations, which may for example be used to model unknown physics. I will then move on to discussing recent work on neural controlled differential equations, which are state-of-the-art models for (arbitrarily irregular) time series. Next will be some discussion of neural stochastic differential equations: we will see that the mathematics of SDEs is precisely aligned with the machine learning of GANs, and thus NSDEs may be used as generative models. If time allows I will then discuss other recent work, such as how the training of neural differential equations may be sped up by ~40% by tweaking standard numerical solvers to respect the particular nature of the differential equations. This is joint work with Ricky T. Q. Chen, Xuechen Li, James Foster, and James Morrill.

We revisit the tears of wine problem for thin films in
water-ethanol mixtures and present a new model for the climbing
dynamics. The new formulation includes a Marangoni stress balanced by
both the normal and tangential components of gravity as well as surface
tension which lead to distinctly different behavior. The combined
physics can be modeled mathematically by a scalar conservation law with
a nonconvex flux and a fourth order regularization due to the bulk
surface tension. Without the fourth order term, shock solutions must
satisfy an entropy condition - in which characteristics impinge on the
shock from both sides. However, in the case of a nonconvex flux, the
fourth order term is a singular perturbation that allows for the
possibility of undercompressive shocks in which characteristics travel
through the shock. We present computational and experimental evidence
that such shocks can happen in the tears of wine problem, with a
protocol for how to observe this in a real life setting.

It has long been known that many elliptic partial differential equations can be reformulated as Fredholm integral equations of the second kind on the boundaries of their domains. The kernels of the resulting integral equations are weakly singular, which has historically made their numerical solution somewhat onerous, requiring the construction of detailed and typically sub-optimal quadrature formulas. Recently, a numerical algorithm for constructing generalized Gaussian quadratures was discovered which, given 2n essentially arbitrary functions, constructs a unique n-point quadrature that integrates them to machine precision, solving the longstanding problem posed by singular kernels.

When the domains have corners, the solutions themselves are also singular. In fact, they are known to be representable, to order n, by a linear combination (expansion) of n known singular functions. In order to solve the integral equation accurately, it is necessary to construct a discretization such that the mapping (in the L^2-sense) from the values at the discretization points to the corresponding n expansion coefficients is well-conditioned. In this talk, we present exactly such an algorithm, which is optimal in the sense that, given n essentially arbitrary functions, it produces n discretization points, and for which the resulting interpolation formulas have condition numbers extremely close to one.

---

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 send email to @email.

'Quasi-isometric rigidity' in group theory is the slogan for questions of the following nature: let A be some class of groups (e.g. finitely presented groups). Suppose an abstract group H is quasi-isometric to a group in A: does it imply that H is in A? Such statements link the coarse geometry of a group with its algebraic structure. 

Much is known in the case A is some class of lattices in a given Lie group. I will present classical results and outline ideas in their proofs, emphasizing the geometric nature of the proofs. I will focus on one key ingredient, the quasi-flat rigidity, and discuss some geometric objects that come into play, such as neutered spaces, asymptotic cones and buildings. I will end the talk with recent developments and possible generalizations of these results and ideas.

In 1943, Hadwiger conjectured that every graph with no Kt minor is $(t-1)$-colorable for every $t\geq 1$. In the 1980s, Kostochka and Thomason independently proved that every graph with no $K_t$ minor has average degree $O(t(\log t)^{1/2})$ and hence is $O(t(\log t)^{1/2)}$-colorable. Recently, Norin, Song and I showed that every graph with no $K_t$ minor is $O(t(\log t)^\beta)$-colorable for every $\beta > 1/4$, making the first improvement on the order of magnitude of the $O(t(\log t)^{1/2})$ bound. Here we show that every graph with no $K_t$ minor is $O(t (\log t)^\beta)$-colorable for every $\beta > 0$; more specifically, they are $O(t (\log \log t)^6)$-colorable.

We analyse the eigenvectors of the adjacency matrix of a critical Erdös-Rényi graph G(N,d/N), where d is of order \log N. We show that its spectrum splits into two phases: a delocalized phase in the middle of the spectrum, where the eigenvectors are completely delocalized, and a semilocalized phase near the edges of the spectrum, where the eigenvectors are essentially localized on a small number of vertices. In the semilocalized phase the mass of an eigenvector is concentrated in a small number of disjoint balls centred around resonant vertices, in each of which it is a radial exponentially decaying function. The transition between the phases is sharp and is manifested in a discontinuity in the localization exponents of the eigenvectors. Joint work with Johannes Alt and Raphael Ducatez.

The nilpotent orbits of a Lie algebra play a central role in modern representation theory notably cropping up in the Springer correspondence and the fundamental lemma. Their behaviour when the base field is algebraically closed is well understood, however the p-adic case which arises in the study of admissible representations of p-adic groups is considerably more subtle. Their classification was only settled in the late 90s when Barbasch and Moy ('97) and Debacker (’02) developed an ‘affine Bala-Carter’ theory using the Bruhat-Tits building. In this talk we combine this work with work by Sommers and McNinch to provide a parameterisation of nilpotent orbits over a maximal unramified extension of a p-adic field in terms of so called dual Springer parameters and outline an application of this result to wavefront sets.

We develop random graph models where graphs are generated by connecting not only pairs of vertices by edges but also larger subsets of vertices by copies of small atomic subgraphs of arbitrary topology. This allows the for the generation of graphs with extensive numbers of triangles and other network motifs commonly observed in many real world networks. More specifically we focus on maximum entropy ensembles under constraints placed on the counts and distributions of atomic subgraphs and derive general expressions for the entropy of such models. We also present a procedure for combining distributions of multiple atomic subgraphs that enables the construction of models with fewer parameters. Expanding the model to include atoms with edge and vertex labels we obtain a general class of models that can be parametrized in terms of basic building blocks and their distributions that includes many widely used models as special cases. These models include random graphs with arbitrary distributions of subgraphs, random hypergraphs, bipartite models, stochastic block models, models of multilayer networks and their degree corrected and directed versions. We show that the entropy for all these models can be derived from a single expression that is characterized by the symmetry groups of atomic subgraphs.

We will be interested in the structure of random typical minimal factorizations of the n-cycle into transpositions, which are factorizations of $(1,\ldots,n)$ as a product of $n-1$ transpositions. We shall establish a phase transition when a certain amount of transpositions have been read one after the other. One of the main tools is a limit theorem for two-type Bienaymé-Galton-Watson trees conditioned on having given numbers of vertices of both types, which is of independent interest. This is joint work with Valentin Féray.

I discuss a ``running vacuum cosmological model'' of a string-inspired
Universe, in which gravitational anomalies play an important role, in
inducing, through condensates of primordial gravitational waves, an early de
Sitter inflationary phase, during which constant (in cosmic time)
backgrounds of the antisymmetric (Kalb-Ramond (KR)) tensor field of the
massless bosonic string multiplet remain undiluted until the exit from
inflation and well into the subsequent radiation era. During the radiation
phase, such backgrounds, which violate spontaneously Lorentz and CPT
symmetry, induce lepton asymmetry (Leptogenesis) in models involving
right-handed neutrinos. Chiral matter is generated in the model at the exit
phase of inflation, and this leads to the cancellation of gravitational
anomalies in the post inflationary universe. During the radiation era, non
perturbative effects can also be held responsible for the generation of a

potential for the gravitational axion, associated in (3+1)-dimensions with
the field strength of the KR field, which can thus play the role of a Dark
Matter component. In the talk, I discuss the underlying formalism and argue
in favour of the consistency of a theory with gravitational anomalies in the
early Universe. I connect the energy density of such a universe with that of
the so called ``running-vacuum model'' in which the vacuum energy density is
expressed in terms of even powers of the Hubble parameter, which in general
depends on cosmic time. The gravitational-wave condensate induces a term in
the energy density  proportional to the fourth-power of the Hubble parameter
H^4 , which is responsible for the early de Sitter phase, during which the
Hubble parameter is approximately a constant. I also discuss briefly a
connection of this string inspired model with the Swampland and weak gravity
conjectures and explain how consistency with such conjectures is achieved,
despite the fact that the model is compatible with slow-roll inflationary
phenomenology.

In 1983, Faltings proved Mordell's conjecture on the finiteness of $K$-points on curves of genus >1 defined over a number field $K$ by proving the finiteness of isomorphism classes of isogenous abelian varieties over $K$. The "first" major step from Mordell's conjecture to what Faltings did came 15 years earlier when Parshin showed that a certain conjecture of Shafarevich would imply Mordell's conjecture. In this talk, I'll focus on motivating and sketching Parshin's argument in an accessible manner and provide some heuristics on how to get from Faltings' finiteness statement to the Shafarevich conjecture.

Unlike the classical Cauchy problem in general relativity, which has been well-understood since the pioneering work of Y. Choquet-Bruhat (1952), the initial boundary value problem for the Einstein equations still lacks a comprehensive treatment. In particular, there is no geometric description of the boundary data yet known, which makes the problem well-posed for general timelike boundaries. Various gauge-dependent results have been established. Timelike boundaries naturally arise in the study of massive bodies, numerics, AdS spacetimes. I will give an overview of the problem and then present recent joint work with Jacques Smulevici that treates the special case of a totally geodesic boundary.

Trading of financial instruments has largely moved away from floor trading and onto electronic exchanges. Orders to buy and sell are queued at these exchanges in a limit-order book. While a full analysis of the dynamics of a limit-order book requires an understanding of strategic play among multiple agents, and is thus extremely complex, so-called zero-intelligence Poisson models have been shown to capture many of the statistical features of limit-order book evolution. These models can be addressed by traditional queueing theory techniques, including Laplace transform analysis. In this work, we demonstrate in a simple setting that another queueing theory technique, approximating the Poisson model by a diffusion model identified as the limit of a sequence of scaled Poisson models, can also be implemented. We identify the diffusion limit, find an embedded semi-Markov model in the limit, and determine the statistics of the embedded semi-Markov model. Along the way, we introduce and study a new type of process, a generalization of skew Brownian motion that we call two-speed Brownian motion.

I will discuss recent progress on the study of homological duality properties of complex algebraic manifolds, with a view towards the projective Singer-Hopf conjecture. (Joint work with Y. Liu and B. Wang.)

A vast class of 4d SCFTs can be engineered by wrapping a stack of M5-branes on a Riemann surface. These SCFTs can exhibit a variety of global symmetries, continuous or discrete, including both ordinary (0-form) symmetries, as well as generalized (higher-form) symmetries. In this talk, I will focus on discrete and higher-form symmetries in setups with M5-branes on a smooth Riemann surface. Adopting a holographic point of view, a crucial role is played by topological mass terms in 5d supergravity (similar to BF terms in four dimensions). I will discuss how the global symmetries of the boundary 4d theory are inferred from the 5d topological terms, and how one can compute 4d ‘t Hooft anomalies involving discrete and/or higher-form symmetries.

Martin Gallauer (North): "Algebraic algebraic geometry"
If a space is described by algebraic equations, its algebraic invariants are endowed with additional structure. I will illustrate this with some simple examples, and speculate on the meaning of the title of my talk.

Zhaohe Dai (South): "Two-dimensional material bubbles"
Two-dimensional (2D) materials are a relatively new class of thin sheets consisting of a single layer of covalently bonded atoms and have shown a host of unique electronic properties. In 2D material electronic devices, however, bubbles often form spontaneously due to the trapping of air or ambient contaminants (such as water molecules and hydrocarbons) at sheet-substrate interfaces. Though they have been considered to be a nuisance, I will discuss that bubbles can be used to characterize 2D materials' bending rigidity after the pressure inside being well controlled. I will then focus on bubbles of relatively large deformations so that the elastic tension could drive the radial slippage of the sheet on its substrate. Finally, I will discuss that the consideration of such slippage is vital to characterize the sheet's stretching stiffness and gives new opportunities to understand the adhesive and frictional interactions between the sheet and various substrates that it contacts.
 

Motivated by string dualities we propose topological gravity as the early phase of our universe.  The topological nature of this phase naturally leads to the explanation of many of the puzzles of early universe cosmology.  A concrete realization of this scenario using Witten's four dimensional topological gravity is considered.  This model leads to the power spectrum of CMB fluctuations which is controlled by the conformal anomaly coefficients $a,c$.  In particular the strength of the fluctuation is controlled by $1/a$ and its tilt by $c g^2$ where $g$ is the coupling constant of topological gravity.  The positivity of $c$, a consequence of unitarity, leads automatically to an IR tilt for the power spectrum.   In contrast with standard inflationary models, this scenario predicts $\mathcal{O}(1)$ non-Gaussianities for four- and higher-point correlators and the absence of tensor modes in the CMB fluctuations.