Past

One of the consequences of Wiles' proof of Fermat's Last Theorem is that elliptic curves over rational numbers can be associated with modular forms, whose Fourier coefficients essentially count points on the curve. Generalisation of this modularity to higher dimensional varieties is a very interesting open question. In this talk I will give a physicist's view of Calabi-Yau modularity. Starting with a very simplified overview of some number theoretic background related to the Langlands program, I relate some of this theory to black holes in IIB/A string theories compactified on Calabi-Yau threefolds. It is possible to associate modular forms to certain such black holes. We can then ask whether these modular forms have a physical interpretation as, for example, counting black hole microstates. In an attempt to answer this question, we derive a formula for fully instanton-corrected black hole entropy, which gives an interesting hint of this counting. The talk is partially based on recent work arXiv:2104.02718 with P. Candelas and J. McGovern.

Many PDE models encode fundamental physical, geometric and topological structures. These structures may be lost in discretisations, and preserving them on the discrete level is crucial for the stability and efficiency of numerical methods. The finite element exterior calculus (FEEC) is a framework for constructing and analysing structure-preserving numerical methods for PDEs with ideas from topology, homological algebra and the Hodge theory. 

In this seminar, we present the theory and applications of FEEC. This includes analytic results (Hodge decomposition, regular potentials, compactness etc.), Hodge-Laplacian problems and their structure-preserving finite element discretisation, and applications in electromagnetism, fluid and solid mechanics. Knowledge on geometry and topology is not required as prerequisites.

References:

1. Arnold, D.N.: Finite Element Exterior Calculus. SIAM (2018) 

2. Arnold, D.N., Falk, R.S., Winther, R.: Finite element exterior calculus, homological techniques, and applications. Acta Numerica 15, 1 (2006) 

3. Arnold, D.N., Falk, R.S., Winther, R.: Finite element exterior calculus: from Hodge theory to numerical stability. Bulletin of the American Mathematical Society 47(2), 281–354 (2010) 

4. Arnold, D.N., Hu, K.: Complexes from complexes. Foundations of Computational Mathematics (2021)

We develop a new class of algorithms for general linear systems and a wide range of eigenvalue problems. These algorithms apply fast randomized sketching to accelerate subspace projection methods.  This approach offers great flexibility in designing the basis for the approximation subspace, which can improve scalability in many computational environments. The resulting algorithms outperform the classic methods with minimal loss of accuracy. For model problems, numerical experiments show large advantages over MATLAB’s optimized routines, including a 100x speedup. 

Joint work with Joel Tropp (Caltech). 

The Hutchinson’s trace estimator approximates the trace of a large-scale matrix A by computing the average of some quadratic forms involving A and some random vectors. Hutch++ is a more efficient trace estimation algorithm that combines this with the randomized singular value decomposition, which obtains a low-rank approximation of A by multiplying the matrix with some random vectors. In this talk, we present an improved version of Hutch++ which aims at minimizing the computational cost - that is, the number of matrix-vector multiplications with A - needed to achieve a trace estimate with a target accuracy. This is joint work with David Persson and Daniel Kressner.

We propose a decentralised “local2global" approach to graph representation learning, that one can a-priori use to scale any embedding technique. Our local2global approach proceeds by first dividing the input graph into overlapping subgraphs (or “patches") and training local representations for each patch independently. In a second step, we combine the local representations into a globally consistent representation by estimating the set of rigid motions that best align the local representations using information from the patch overlaps, via group synchronization.  A key distinguishing feature of local2global relative to existing work is that patches are trained independently without the need for the often costly parameter synchronisation during distributed training. This allows local2global to scale to large-scale industrial applications, where the input graph may not even fit into memory and may be stored in a distributed manner.

arXiv link: https://arxiv.org/abs/2107.12224v1

We introduce a new method for studying stochastic processes in random graphs controlled by degree information, involving combining enumeration techniques with an abstract second moment argument. We use it to constructively resolve a conjecture of Füredi from 1988: with high probability, the random graph G(n,1/2) admits a friendly bisection of its vertex set, i.e., a partition of its vertex set into two parts whose sizes differ by at most one in which n-o(n) vertices have at least as many neighbours in their own part as across. This work is joint with Asaf Ferber, Matthew Kwan, Bhargav Narayanan, and Mehtaab Sawhney.

I will introduce asymptotic safety, which is a quantum field theoretic
paradigm providing a predictive ultraviolet completion for quantum field
theories. I will show examples of asymptotically safe theories and then
discuss the search for asymptotically safe models that include quantum
gravity.
In particular, I will explain how asymptotic safety corresponds to a new
symmetry principle - quantum scale symmetry - that has a high predictive
power. In the examples I will discuss, asymptotic safety with gravity could
enable a first-principles calculation of Yukawa couplings, e.g., in the
quark sector of the Standard Model, as well as in dark matter models.

Given a point and a loop in the plane, one can define a relative integer which counts how many times the curve winds around the point. We will discuss how this winding function, defined for almost every points in the plane, allows to define some integrals along the loop. Then, we will investigate some properties of it when the loop is Brownian.
In particular, we will explain how to recover data such as the Lévy area of the curve and its occupation measure, based on the values of the winding of uniformly distributed points on the plane.

We can define a continued fraction for formal series $f(t)=\sum_{i=-\infty}^d c_it^i$ by repeatedly removing the polynomial part, $\sum_{i=0}^d c_it^i$, (the equivalent of the integer part) and inverting the remaining part, as in the real case. This way, the partial quotients are polynomials. Both the usual continued fractions and the polynomial continued fractions carry properties of best approximation. However, while for square roots of rationals the real continued fraction is eventually periodic, such periodicity does not always occur for $\sqrt{D(t)}$. The correct analogy was found by Abel in 1826: the continued fraction of $\sqrt{D(t)}$ is eventually periodic if and only if there exist nontrivial polynomials $x(t)$, $y(t)$ such that $x(t)^2-D(t)y(t)^2=1$ (the polynomial Pell equation). Notice that the same holds also for square root of integers in the real case. In 2014 Zannier found that some periodicity survives for all the $\sqrt{D(t)}$: the degrees of their partial quotients are eventually periodic. His proof is strongly geometric and it is based on the study of the Jacobian of the curve $u^2=D(t)$. We give a brief survey of the theory of polynomial continued fractions, Jacobians and an account of the proof of the result of Zannier.

Since the mid 1980s, there have been hints of a connection between 2-dimensional field theories and elliptic cohomology. This lead to Stolz and Teichner's conjectured geometric model for the universal elliptic cohomology theory of topological modular forms (TMF) for which cocycles are 2-dimensional (supersymmetric) field theories. Properties of these field theories lead to the expected integrality and modularity properties of classes in TMF. However, the abundant torsion in TMF has always been mysterious from the field theory point of view. In this talk, we will describe a map from 2-dimensional field theories to a cohomology theory that approximates TMF. This map affords a cocycle description of certain torsion classes. In particular, we will explain how a choice of anomaly cancelation for the supersymmetric sigma model with target $S^3$ determines a cocycle representative of the generator of $\pi_3(TMF)=\mathbb{Z}/24$.

In the mean curvature flow, translating solutions are an important model for singularity formation. In this talk, I will describe the asymptotic structure of 2D mean curvature flow translators embedded in R^3 which have finite total curvature, which turns out to be highly rigid. I will outline the proof of this asymptotic description, in particular focusing on some novel and unexpected features of this proof.

In recent years a fruitful interplay has been unfolding between quantum chaos and black holes. In the first part of the talk, I provide a sampler of these developments. Next, we study the fate of the black hole interior at late times in simple models of quantum gravity that have dual descriptions in terms of Random Matrix Theory. We find that the volume of the interior grows linearly at early times and then, due to non-perturbative effects, saturates at a time and towards a value that are exponentially large in the entropy of the black hole. This provides a confirmation of the complexity equals volume proposal of Susskind, since in chaotic systems complexity is also expected to exhibit the same behavior.

This session will take place live in L1 and online. A Teams link will be shared 30 minutes before the session begins.

One of the prevailing paradigms in data analysis involves comparing groups of samples to statistically infer features that discriminate them. However, many modern applications do not fit well into this paradigm because samples cannot be naturally arranged into discrete groups. In such instances, graph techniques can be used to rank features according to their degree of consistency with an underlying metric structure without the need to cluster the samples. Here, we extend graph methods for feature selection to abstract simplicial complexes and present a general framework for clustering-independent analysis. Combinatorial Laplacian scores take into account the topology spanned by the data and reduce to the ordinary Laplacian score when restricted to graphs. We show the utility of this framework with several applications to the analysis of gene expression and multi-modal cancer data. Our results provide a unifying perspective on topological data analysis and manifold learning approaches to the analysis of point clouds.

The Krull dimension is an ideal-theoretic invariant of an algebra. It has an important meaning in algebraic geometry: the Krull dimension of a commutative algebra is equal to the dimension of the corresponding affine variety/scheme. In my talk I'll explain how this idea can be transformed into a tool for measuring non-commutative rings. I'll illustrate this with important examples and techniques, and describe what is known for Iwasawa algebras of compact $p$-adic Lie groups.

What should you expect in intercollegiate classes?  What can you do to get the most out of them?  In this session, experienced class tutors will share their thoughts, including advice about online classes. 

All undergraduate and masters students welcome, especially Part B and MSc students attending intercollegiate classes. 

Manipulation of the genome function is important for understanding the underlying genetics for sophisticated phenotypes and developing gene therapy. Beyond gene editing, there is a major need for high-precision and quantitative technologies that allow controlling and studying gene expression and epigenetics in the genome. Towards this goal, we develop the concept and technologies for the use of the nuclease-deactivated CRISPR-Cas (dCas) system, repurposed from the Cas nuclease, for programmable transcription regulation, epigenetic modifications, and the 3D genome organization. We combine genome engineering and mathematical modeling to understand the noncoding DNA function including ultralong-distance enhancers and repetitive elements. We actively explore new tools that allow precise manipulation of the large-scale chromatin as a novel gene therapy. In this talk, I will highlight our works at the interface between genome engineering and chromatin biology for studying the noncoding genome and related applications.

We introduce a method for estimating the roughness of a function based on a discrete sample, using the concept of normalized p-th variation along a sequence of partitions. We discuss the consistency of this estimator in a pathwise setting under high-frequency asymptotics. We investigate its finite sample performance for measuring the roughness of sample paths of stochastic processes using detailed numerical experiments based on sample paths of Fractional Brownian motion and other fractional processes.
We then apply this method to estimate the roughness of realized volatility signals based on high-frequency observations.
Through a detailed numerical experiment based on a stochastic volatility model, we show that even when instantaneous volatility has diffusive dynamics with the same roughness as Brownian motion, the realized volatility exhibits rougher behaviour corresponding to a Hurst exponent significantly smaller than 0.5. Similar behaviour is observed in financial data, which suggests that the origin of the roughness observed in realized volatility time-series lies in the `microstructure noise' rather than the volatility process itself.

This talk will be about the stable boundary seen from different recent points of view.

I will discuss recent advances in sampling methods for positive semidefinite (PSD) matrix approximation. In particular, I will show how new techniques based on recursive leverage score sampling yield a surprising algorithmic result: we give a method for computing a near optimal k-rank approximation to any n x n PSD matrix in O(n * k^2) time. When k is not too large, our algorithm runs in sublinear time -- i.e. it does not need to read all entries of the matrix. This result illustrates the ability of randomized methods to exploit the structure of PSD matrices and go well beyond what is possible with traditional algorithmic techniques. I will discuss a number of current research directions and open questions, focused on applications of randomized methods to sublinear time algorithms for structured matrix problems.

--

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.

Some proteins (in their folded form) are classified as being knotted.

The function of the knotting is mysterious since knotting seemingly

would make the folding process unnecessarily complicated.  To

function, proteins need to fold quickly and reproducibly, and

misfolding can have catastrophic results.  For example, Mad Cow

disease and the human analog, Creutzfeldt-Jakob disease, come from

misfolded proteins.

Traditionally, knotting is only defined for closed curves, where the

topology is trapped in the loop.  However, proteins have free ends, as

well as most of the objects that humans consider as being knotted

(like shoelaces and strings of lights).  Defining knotting in open

curves is tricky and ambiguous.  We consider some definitions of

knotting in open curves and see how one of these definitions is used

to characterize the knotting in proteins.

Button observed that finitely generated linear groups containing no nontrivial unipotent matrices behave much like groups admitting proper actions by semisimple isometries on complete CAT(0) spaces. It turns out that any finitely generated linear group possesses an action on such a space whose restrictions to unipotent-free subgroups are in some sense tame. We discuss this phenomenon and some of its implications for the representation theory of certain 3-manifold groups.