Past

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.

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.

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.

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 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.

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.

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.

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.

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.

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.
 

In this talk I will present an efficient algorithm to produce a provably dense sample of a smooth compact algebraic variety. The procedure is partly based on computing bottlenecks of the variety. Using geometric information such as the bottlenecks and the local reach we also provide bounds on the density of the sample needed in order to guarantee that the homology of the variety can be recovered from the sample.

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.

Multi-modal data sets are growing rapidly in single cell genomics, as well as other fields in science and engineering. We introduce MultiMAP, an approach for dimensionality reduction and integration of multiple datasets. MultiMAP embeds multiple datasets into a shared space so as to preserve both the manifold structure of each dataset independently, in addition to the manifold structure in shared feature spaces. MultiMAP is based on the rich mathematical foundation of UMAP, generalizing it to the setting of more than one data manifold. MultiMAP can be used for visualization of multiple datasets as well as an integration approach that enables subsequent joint analyses. Compared to other integration for single cell data, MultiMAP is not restricted to a linear transformation, is extremely fast, and is able to leverage features that may not be present in all datasets. We apply MultiMAP to the integration of a variety of single-cell transcriptomics, chromatin accessibility, methylation, and spatial data, and show that it outperforms current approaches in run time, label transfer, and label consistency. On a newly generated single cell ATAC-seq and RNA-seq dataset of the human thymus, we use MultiMAP to integrate cells across pseudotime. This enables the study of chromatin accessibility and TF binding over the course of T cell differentiation.

Snow densification and meltwater refreezing store water in alpine regions and transform snow into ice on the surface of glaciers. Despite their importance in determining snow-water equivalent and glacier-induced sea level rise, we still lack a complete understanding of the physical mechanisms underlying snow compaction and the infiltration of meltwater into snowpacks. Here we (i) analyze snow compaction experiments as a promising direction for determining the rheology of snow though its many stages of densification and (ii) solve for the motion of refreezing fronts and for the temperature increase due to the release of latent heat, which we compare to temperature observations from the Greenland Ice Sheet (Humphrey et al., 2012). In the first part, we derive a mixture theory for compaction and air flow through the porous snow (cf. Hewitt et al. 2016) to compare against laboratory data (Wang and Baker, 2013). We find that a plastic compaction law explains experimental results. Taking standard forms for the permeability and effective pressure as functions of the porosity, we show that this compaction mode persists for a range of densities and overburden loads (Meyer et al., 2020). We motivate the second part of the talk by the observed melting at high elevations on the Greenland Ice Sheet, which causes the refreezing layers that are observed in ice cores. Our analysis shows that as surface temperatures increase, the capacity for meltwater storage in snow decreases and surface runoff increases leading to sea level rise (Meyer and Hewitt, 2017). Together these studies provide a holistic picture for how snow changes through compaction and the role of meltwater percolation in altering the temperature and density structure of surface snow.

Wieler has shown that every irreducible Smale space with totally disconnected stable sets is a solenoid (i.e., obtained via a stationary inverse limit construction). Through examples I will discuss how this allows one to compute the K-theory of the stable algebra, S, and the stable Ruelle algebra, S\rtimes Z. These computations involve writing S as a stationary inductive limit and S\rtimes Z as a Cuntz-Pimsner algebra. These constructions reemphasize the view point that Smale space C*-algebras are higher dimensional generalizations of Cuntz-Krieger algebras. The main results are joint work with Magnus Goffeng and Allan Yashinski.

There are many examples of thin-film flows in fluid dynamics, and in many cases similarity solutions are possible. In the typical, well-known case the thin-film shape is described by a nonlinear partial differential equation in two independent variables (say x and t), which upon recognition of a similarity variable, reduces the problem to a nonlinear ODE. In this talk I describe work we have done on 1) Marangoni-driven spreading on pre-wetted films, where the thickness of the pre-wetted film affects the dynamics, and 2) the drainage of a film on a vertical substrate of finite width. In the latter case we find experimentally a structure to the film shape near the edge, which is a function of time and two space variables. Analysis of the corresponding thin-film equation shows that there is a similarity solution, collapsing three independent variables to one similarity variable, so that the PDE becomes an ODE. The solution is in excellent agreement with the experimental measurements.