Past

Many real networks feature the property of nestedness, i.e. the neighbours of nodes with a few connections are hierarchically nested within the neighbours of nodes with more connections. Despite the abstract simplicity of this notion, different mathematical definitions of nestedness have been proposed, sometimes giving contrasting results. Moreover, there is an ongoing debate on the statistical significance of nestedness, since even random networks where the number of connections (degree) of each node is fixed to its empirical value are typically as nested as real-world ones. In this talk we show unexpected effects due to the recent finding that random networks where the degrees are enforced as hard constraints (microcanonical ensembles) are thermodynamically different from random networks where the degrees are enforced as soft constraints (canonical ensembles). We show that if the real network is perfectly nested, then the two ensembles are trivially equivalent and the observed nestedness, independently of its definition, is indeed an unavoidable consequence of the empirical degrees. On the other hand, if the real network is not perfectly nested, then the two ensembles are not equivalent and alternative definitions of nestedness can be even positively correlated in the canonical ensemble and negatively correlated in the microcanonical one. This result disentangles distinct notions of nestedness captured by different metrics and highlights the importance of making a principled choice between hard and soft constraints in null models of ecological networks.

[1] Bruno, M., Saracco, F., Garlaschelli, D., Tessone, C. J., & Caldarelli, G. (2020). Nested mess: thermodynamics disentangles conflicting notions of nestedness in ecological networks. arXiv preprint arXiv:2001.11805.
 

For the problem of prediction with expert advice in the adversarial setting with geometric stopping, we compute the exact leading order expansion for the long time behavior of the value function using techniques from stochastic analysis and PDEs. Then, we use this expansion to prove that as conjectured in Gravin, Peres and Sivan the comb strategies are indeed asymptotically optimal for the adversary in the case of 4 experts.
 

We provide a detailed, probabilistic interpretation, based on stochastic calculus, for the variational characterization of conservative diffusion as entropic gradient flux. Jordan, Kinderlehrer, and Otto showed in 1998 that, for diffusions of Langevin-Smoluchowski type, the Fokker-Planck probability density flow minimizes the rate of relative entropy dissipation, as measured by the distance traveled in terms of the quadratic Wasserstein metric in the ambient space of configurations. Using a very direct perturbation analysis we obtain novel, stochastic-process versions of such features. These are valid along almost every trajectory of the diffusive motion in both the forward and, most transparently, the backward, directions of time. The original results follow then simply by taking expectations. As a bonus, we obtain the HWI inequality of Otto and Villani relating relative entropy, Fisher information and Wasserstein distance; and from it the celebrated log-Sobolev, Talagrand and Poincare inequalities of functional analysis. (Joint work with W. Schachermayer and B. Tschiderer, from the University of Vienna.)

 

Speaker: Thomas Oliver

Title: Hyperbolic circles and non-trivial zeros

Abstract: L-functions can often be considered as generating series of arithmetic information. Their non-trivial zeros are the subject of many famous conjectures, which offer countless applications to number theory. Using simple geometric observations in the hyperbolic plane, we will study the relationship between the zeros of L-functions and their characterisation amongst more general Dirichlet series.
 

Speaker: Ebrahim Patel

Title: From trains to brains: Adventures in Tropical Mathematics.

Abstract: Tropical mathematics uses the max and plus operator to linearise discrete nonlinear systems; I will present its popular application to solve scheduling problems such as railway timetabling. Adding the min operator generalises the system to allow the modelling of processes on networks. Thus, I propose applications such as disease and rumour spreading as well as neuron firing behaviour.

Fancy a fun afternoon on the final Friday afternoon of term? Then come along, either by yourself or pre-organised teams of up to four, to this week’s Fridays@2 for the first ever Big Mathematical Quiz of the Year!

World wide, unconstrained lava flows kill people almost each year and cause extensive damage, costing millions of pounds. Defending against lava flows is possible by using topographic variations sensibly, placing buildings considerately, constructing defending walls of appropriate size and the like. Hinton, Hogg and Huppert have recently published three rather mathematical papers outlining how viscous flows down slopes interact with a variety of geometrical shapes; evaluating, in particular, the conditions under which “dry zones” form – safe places for people and belongings – and the size of a protective wall required to defend a given size building.

Following a desktop experimental demonstration, we will discuss these analyses and their consequences.

This talk has been cancelled.

In joint work with James Wheeler, we show that if a subset $A$ of $GL_n(\mathbb{F}_q)$ is a $K$-approximate group and the group $G$ it generates is soluble, then there are subgroups $U$ and $S$ of $G$ and a constant $k$ depending only on $n$ such that:

$A$ quickly generates $U$: $U\subseteq A^k$,
$S$ contains a large proportion of $A$: $|A^k\cap S| \gg K^{-k}|A|, and
$S/U$ is nilpotent.

Briefly: approximate soluble linear groups over any finite field are (almost) finite by nilpotent.

The proof uses a sum-product theorem and exponential sum estimates, as well as some representation theory, but the presentation will be mostly self-contained.

Neurodegenerative diseases such as Alzheimer’s or Parkinson’s are devastating conditions with poorly understood mechanisms and no known cure. Yet a striking feature of these conditions is the characteristic pattern of invasion throughout the brain, leading to well-codified disease stages visible to neuropathology and associated with various cognitive deficits and pathologies. In this talk, I will show that by linking new mathematical theories to recent progress in imaging, we can unravel some of the universal features associated with dementia and, more generally, brain functions. In particular, I will outline interesting mathematical problems and ideas that naturally appear in the process.

In this talk, we shall propose a relaxed control regularization with general exploration rewards to design robust feedback controls for multi-dimensional continuous-time stochastic exit time problems. We establish that the regularized control problem admits a H\”{o}lder continuous feedback control, and demonstrate that both the value function and the feedback control of the regularized control problem are Lipschitz stable with respect to parameter perturbations. Moreover, we show that a pre-computed feedback relaxed control has a robust performance in a perturbed system, and derive a first-order sensitivity equation for both the value function and optimal feedback relaxed control. These stability results provide a theoretical justification for recent reinforcement learning heuristics that including an exploration reward in the optimization objective leads to more robust decision making. We finally prove first-order monotone convergence of the value functions for relaxed control problems with vanishing exploration parameters, which subsequently enables us to construct the pure exploitation strategy of the original control problem based on the feedback relaxed controls. This is joint work with Christoph Reisinger (available at https://arxiv.org/abs/2001.03148).
 

The finite element method (FEM) is one of the great triumphs of applied mathematics, numerical analysis and software development. Recent developments in sensor and signalling technologies enable the phenomenological study of systems. The connection between sensor data and FEM is restricted to solving inverse problems placing unwarranted faith in the fidelity of the mathematical description of the system. If one concedes mis-specification between generative reality and the FEM then a framework to systematically characterise this uncertainty is required. This talk will present a statistical construction of the FEM which systematically blends mathematical description with observations.

>

A hereditary graph property is a class of finite graphs closed under isomorphism and induced subgraphs.  Given a hereditary graph property H, the speed of H is the function which sends an integer n to the number of distinct elements in H with underlying set {1,...,n}.  Not just any function can occur as the speed of hereditary graph property.  Specifically, there are discrete ``jumps" in the possible speeds.  Study of these jumps began with work of Scheinerman and Zito in the 90's, and culminated in a series of papers from the 2000's by Balogh, Bollob\'{a}s, and Weinreich, in which essentially all possible speeds of a hereditary graph property were characterized.  In contrast to this, many aspects of this problem in the hypergraph setting remained unknown.  In this talk we present new hypergraph analogues of many of the jumps from the graph setting, specifically those involving the polynomial, exponential, and factorial speeds.  The jumps in the factorial range turned out to have surprising connections to the model theoretic notion of mutual algebricity, which we also discuss.  This is joint work with Chris Laskowski.

Gromov hyperbolicity is a property to metric spaces that generalises the notion of negative curvature for manifolds.
After an introduction about these spaces, we will explain the construction of horocyclic products related to lamplighter groups, Baumslag solitar groups and the Sol geometry.
We will describe the shape of geodesics in them, and present rigidity results on their quasi-isometries due to Farb, Mosher, Eskin, Fisher and Whyte.

Pick's theorem is a century-old theorem in complex analysis about interpolation with bounded analytic functions. The Kadison-Singer problem was a question about states on $C^*$-algebras originating in the work of Dirac on the mathematical description of quantum mechanics. It was solved by Marcus, Spielman and Srivastava a few years ago.

I will talk about Pick's theorem, the Kadison-Singer problem and how the two can be brought together to solve interpolation problems with infinitely many nodes. This talk is based on joint work with Alexandru Aleman, John McCarthy and Stefan Richter.

The rows of a Young diagram chosen at random with respect to the Plancherel measure are known to share some features with the eigenvalues of the Gaussian Unitary Ensemble. We shall discuss several ideas, going back to the work of Kerov and developed by Biane and by Okounkov, which to some extent clarify this similarity. Partially based on joint work with Jeong and on joint works in progress with Feldheim and Jeong and with Täufer.

Since Weierstrass it has been known that there are functions that are continuous but nowhere differentiable.  A beautiful example (with probability 1) is any Brownian path.  Brownian paths can be constructed either in space, via Brownian bridge, or in Fourier space, via random Fourier series.

What about functions, which we call "smoothies", that are $C^\infty$ but nowhere analytic?  This case is less familiar but analogous, and again one can do the construction either in space or Fourier space.  We present the ideas and illustrate them with the new Chebfun $\tt{smoothie}$ command.  In the complex plane, the same idea gives functions analytic in the open unit disk and $C^\infty$ on the unit circle, which is a natural boundary.

Mittag-Leffler condition ensures the exactness of the inverse limit of short exact sequences indexed on a partially ordered set admitting a countable cofinal subset. We extend Mittag-Leffler condition by relatively relaxing the countability assumption. As an application we prove an exactness result about the completion functor in the category of ultrametric locally convex vector spaces, and in particular we prove that a strict morphism between these spaces has closed image if its kernel is Fréchet.

Given a tournament with $d{n \choose 3}$ cycles of length three, how many cycles of length four must there be? Linial and Morgenstern (2016) conjectured that the minimum is asymptotically attained by "blowing up" a transitive tournament and orienting the edges randomly within the parts. This is reminiscent of the tight examples for the famous Triangle and Clique Density Theorems of Razborov, Nikiforov and Reiher. We prove the conjecture for $d \geq \frac{1}{36}$ using spectral methods. We also show that the family of tight examples is more complex than expected and fully characterise it for $d \geq \frac{1}{16}$. Joint work with Timothy Chan, Andrzej Grzesik and Daniel Král'.

Reconstruction of 3D images from a set of 2D X-ray projections is a standard inverse problem, particularly in medical imaging. Improvements in imaging technologies have enabled the development of a flat-panel X-ray source, comprised of an array of low-power emitters that are fired in quick succession. During a complete firing sequence, there may be shifts in the patient’s resting position which ultimately create artifacts in the final reconstruction. We present a method for correcting images with respect to unknown body motion, focusing on the case of simple rigid body motion. Image reconstructions are obtained by solving a sparse linear inverse problem, with respect to not only the underlying body but also the unknown velocity. Results find that reconstructions of a moving body can be much better than those obtained by measuring a stationary body, as long as the underlying motion is well approximated.

In this talk we will discuss a problem that was worked on during MISGSA 2020, a Study Group held in January at The University of Zululand, South Africa.

We look at a communication network with two types of users - Primary users (PU) and Secondary users (SU) - such that we reduce the network to a set of overlapping sub-graphs consisting of SUs indexed by a specific PU. Within any given sub-graph, the PU may be communicating at a certain fixed frequency F. The respective SUs also wish to communicate at the same frequency F, but not at the expense of interfering with the PU signal. Therefore if the PU is active then the SUs will not communicate.

In an attempt to increase information throughput in the network, we instead allow the SUs to communicate at a different frequency G, which may or may not interfere with a different sub-graph PU in the network, leading to a multi-objective optimisation problem.

We will discuss not only the problem formulation and possible approaches for solving it, but also the pitfalls that can be easily fallen into during study groups.

The asymptotically locally Euclidean Ricci-flat self-dual 4-manifolds were classified and constructed by Kronheimer as hyperkahler quotients. Each belongs to a finite-dimensional family and a particularly interesting subfamily consists of manifolds with a circle action which can be identified with the minimal resolution of a quotient singularity C^2/G where G is a finite subgroup of SU(2). The resolved singularity is a configuration of rational curves and there is a distinguished one which is pointwise fixed by the circle action. The talk will give an explicit description of the induced metric on this central sphere, and involves twistor theory and the geometry of the lines on a cubic surface.