Past

A theorem of Gromov states that the number of generators of the fundamental group of a manifold with nonnegative 
curvature is bounded by a constant which only depends on the dimension of the manifold. The main ingredient 
in the proof is Toponogov’s theorem, which roughly speaking says that the triangles on spaces with positive 
curvature, such as spheres, are thick compared to triangles in the Euclidean plane. In the talk I shall explain 
this more carefully and deduce Gromov’s result.

I will give a gentle introduction to joint work in progress with George Boxer, Frank Calegari, and Vincent Pilloni, in which we prove that all abelian surfaces over totally real fields are potentially modular. We also prove that infinitely many abelian surfaces over Q are modular.

What if one desires to have a World perfectly slippery to water? What are the strategies that can be adopted? And how can smart slippery surfaces be created? In this seminar, I will outline approaches to creating slippery surfaces, which all involve reducing or removing droplet contact with the solid, whilst still supporting the droplet. The first concept is to decorate the droplet surface with particles, thus creating liquid marbles and converting the droplet-solid contact into a solid-solid contact. The second concept is to use the Leidenfrost effect to instantly vaporize a layer of water, thus creating a film of vapor and converting the droplet-solid contact into vapor-solid contact. The third concept is to infuse oil into the surface, thus creating a layer of oil and converting the droplet-solid contact into a lubricant-solid contact. I will also explain how we design such to have smart functionality whilst retaining and using the mobility of contact lines and droplets. I will show how Leidenfrost levitation can lead to new types of heat engines [1], how a microsystems approach to the Leidenfrost effect can reduce energy input and lead to a new type of droplet microfluidics [2] (Fig. 1a) and how liquid diodes can be created [3]. I will explain how lubricant impregnated surfaces lead to apparent contact angles [4] and how the large retained footprint of the droplet allows droplet transport and microfluidics using energy coupled via a surface acoustic wave (SAW) [5]. I will argue that droplets confined between reconfigurable slippery boundaries can be continuously translated in an energy invariant manner [6] (Fig. 1b). I will show that a droplet Cheerios effect induced by the menisci arising from structuring the underlying lubricated surface or by droplets in close proximity to each other can be used to guide and position droplets [7] (Fig. 1c). Finally, I will show that active control of droplet spreading by electric field induced control of droplet spreading, via electrowetting or dielectrowetting, can be achieved with little hysteresis [8] and can be a new method to investigate the dewetting of surfaces [9].

[[{"fid":"50690","view_mode":"small_image_100px_h","fields":{"format":"small_image_100px_h","field_file_image_alt_text[und][0][value]":"","field_file_image_title_text[und][0][value]":""},"type":"media","attributes":{"class":"media-element file-small-image-100px-h"}}]]

Figure 1 Transportation and positioning of droplets using slippery surfaces: (a) Localized Leidenfrost effect, (b) Reconfigurable boundaries, and (c) Droplet Cheerio’s effect.

Acknowledgements The financial support of the UK Engineering & Physical Sciences Research Council (EPSRC) and Reece Innovation ltd is gratefully acknowledged. Many collaborators at Durham, Edinburgh, Nottingham Trent and Northumbria Universities were instrumental in the work described.

[1] G.G. Wells, R. Ledesma-Aguilar, G. McHale and K.A. Sefiane, Nature Communications, 2015, 6, 6390.

[2] L.E. Dodd, D. Wood, N.R. Geraldi, G.G. Wells, et al., ACS Applied & Materials Interfaces, 2016, 8, 22658.

[3] J. Li, X. Zhou , J. Li, L. Che, J. Yao, G. McHale, et al., Science Advances, 2017, 3, eaao3530.

[4] C. Semprebon, G. McHale, and H. Kusumaatmaja, Soft Matter, 2017, 13, 101.

[5] J.T. Luo, N.R. Geraldi, J.H. Guan, G. McHale, et al., Physical Review Applied, 2017, 7, 014017.

[6] É. Ruiz-Gutiérrez, J.H. Guan, B.B. Xu, G. McHale, et al., Physical Review Letters, 2017, 118, 218003.

[7] J.H. Guan, É. Ruiz-Gutiérrez, B.B. Xu, D. Wood, G. McHale, et al., Soft Matter, 2017, 13, 3404.

[8] Z. Brabcová, G. McHale, G.G. Wells, et al., Applied Physics Letters, 2017, 110, 121603.

[9] A.M.J. Edwards, R. Ledesma-Aguilar, et al., Science Advances, 2016, 2, e1600183

A classical construction principle for dependent failure times is to consider shocks that destroy components within a system. The arrival times of shocks can destroy arbitrary subsets of the system, thus introducing dependence. The seminal model – based on independent and exponentially distributed shocks - was presented by Marshall and Olkin in 1967, various generalizations have been proposed in the literature since then. Such models have applications in non-life insurance, e.g. insurance claims caused by floods, hurricanes, or other natural catastrophes. The simple interpretation of multivariate fatal shock models is clearly appealing, but the number of possible shocks makes them challenging to work with, recall that there are 2^d subsets of a set with d components. In a series of papers we have identified mixture models based on suitable stochastic processes that give rise to a different - and numerically more convenient - stochastic interpretation. This representation is particularly useful for the development of efficient simulation algorithms. Moreover, it helps to define parametric families with a reasonable number of parameters. We review the recent literature on multivariate fatal shock models, extreme-value copulas, and related dependence structures. We also discuss applications and hierarchical structures. Finally, we provide a new characterization of the Marshall-Olkin distribution.

Authors: Mai, J-F.; Scherer, M.;

The rapidly increasing number of cores in high-performance computing systems causes a multitude of challenges for developers of numerical methods. New parallel algorithms are required to unlock future growth in computing power for applications and energy efficiency and algorithm-based fault tolerance are becoming increasingly important. So far, most approaches to parallelise the numerical solution of partial differential equations focussed on spatial solvers, leaving time as a bottleneck. Recently, however, time stepping methods that offer some degree of concurrency, so-called parallel-in-time integration methods, have started to receive more attention.

I will introduce two different numerical algorithms, Parareal (by Lions et al., 2001) and PFASST (by Emmett and Minion, 2012), that allow to exploit concurrency along the time dimension in parallel computer simulations solving partial differential equations. Performance results for both methods on different architectures and for different equations will be presented. The PFASST algorithm is based on merging ideas from Parareal, spectral deferred corrections (SDC, an iterative approach to derive high-order time stepping methods by Dutt et al. 2000) and nonlinear multi-grid. Performance results for PFASST on close to half a million cores will illustrate the potential of the approach. Algorithmic modifications like IPFASST will be introduced that can further reduce solution times. Also, recent results showing how parallel-in-time integration can provide algorithm-based tolerance against hardware faults will be shown.

When nematic liquid crystal droplets are produced in the form or tori (or such is the shapes of confining cavities), they may be called toroidal nematics, for short. When subject to degenerate planar anchoring on the boundary of a torus, the nematic director acquires a natural equilibrium configuration within the torus, irrespective of the values of Frank's elastic constants. That is the pure bend arrangement whose integral lines run along the parallels of all inner deflated tori. This lecture is concerned with the stability of such a universal equilibrium configuration. Whenever its stability is lost, new equilibrium configurations arise in pairs, the members of which are symmetric and exhibit opposite chirality. Previous work has shown that a rescaled saddle-splay constant may be held responsible for such a chiral symmetry breaking. We shall show that that is not the only possible instability mechanism and, perhaps more importantly, we shall attempt to describe the qualitative properties of the equilibrium nematic textures that prevail when the chiral symmetry is broken.

Cube Complexes with Coupled Links (CLCC) are a special family of non-positively curved cube complexes that are constructed by specifying what the links of their vertices should be. In this talk I will introduce the construction of CLCCs and try to motivate it by explaining how one can use information about the local geometry of a cube complex to deduce global properties of its fundamental group (e.g. hyperbolicity and cohomological dimension). On the way, I will also explain what fly maps are and how to use them to deduce that a CAT(0) cube complex is hyperbolic.

Let n be a positive integer. In this talk we provide a recipe to 
construct full orbit sequences in the affine n-dimensional space over a 
finite field. For n=1 our construction covers the case of the well 
studied pseudorandom number generator ICG.

This is a joint work with Federico Amadio Guidi.

A longstanding open question asks whether every unstable NIP theory interprets an infinite linear order. I will present a construction that almost provides a positive answer. I will also discuss some conjectural applications to the classification of omega-categorical NIP structure, generalizing what is known for omega-stable, and classification of models mimicking the superstable case.
 

Following Grothendieck's vision that many cohomological invariants of of an algebraic variety should be captured by a common motive, Voevodsky introduced a triangulated category of mixed motives which partially realises this idea. After describing this category, I will explain how to define the motive of certain algebraic stacks in this context. I will then report on joint work in progress with Victoria Hoskins, in which we study the motive of the moduli stack of vector bundles on a smooth projective curve and show that this motive can be described in terms of the motive of this curve and its symmetric powers.
 

We generalise the existence of combinatorial designs to the setting of subset sums in lattices with coordinates indexed by labelled faces of simplicial complexes. This general framework includes the problem of decomposing hypergraphs with extra edge data, such as colours and orders, and so incorporates a wide range of variations on the basic design problem, notably Baranyai-type generalisations, such as resolvable hypergraph designs, large sets of hypergraph designs and decompositions of designs by designs. Our method also gives approximate counting results, which is new for many structures whose existence was previously known, such as high dimensional permutations or Sudoku squares.

We consider the problem of localising non-negative point sources, namely finding their locations and amplitudes from noisy samples which consist of the convolution of the input signal with a known kernel (e.g. Gaussian). In contrast to the existing literature, which focuses on TV-norm minimisation, we analyse the feasibility problem. In the presence of noise, we show that the localised error is proportional to the level of noise and depends on the distance between each source and the closest samples. This is achieved using duality and considering the spectrum of the associated sampling matrix.

A simple experiment in the field of electrochemistry involves  controlling the applied potential in an electrochemical cell. This  causes electron transfer to take place at the electrode surface and in turn this causes a current to flow. The current depends on parameters in  the system and the inverse problem requires us to estimate these  parameters given an experimental trace of the current. We briefly  describe recent work in this area from simple least squares approximation of the parameters, through bootstrapping to estimate the distributions of the parameters, to MCMC methods which allow us to see correlations between parameters.

Protein interaction networks (PINs) allow the representation and analysis of biological processes in cells. Because cells are dynamic and adaptive, these processes change over time. Thus far, research has focused either on the static PIN analysis or the temporal nature of gene expression. By analysing temporal PINs using multilayer networks, we want to link these efforts. The analysis of temporal PINs gives insights into how proteins, individually and in their entirety, change their biological functions. We present a general procedure that integrates temporal gene expression information with a monolayer PIN to a temporal PIN and allows the detection of modular structure using multilayer modularity maximisation.

The structure of the state of art of scientific research is an important object of study motivated by the understanding of how research evolves and how new fields of study stem from existing research. In the last years complex networks tools contributed to provide insights on the structure of research, through the study of collaboration, citation and co-occurrence networks, in particular keyword co-occurrence networks proved useful to provide maps of knowledge inside a scientific domain. The network approach focuses on pairwise relationships, often compressing multidimensional data structures and inevitably losing information. In this paper we propose to adopt a simplicial complex approach to co-occurrence relations, providing a natural framework for the study of higher-order relations in the space of scientific knowledge. Using topological methods we explore the shape of concepts in mathematical research, focusing on homological cycles, regions with low connectivity in the simplicial structure, and we discuss their role in the understanding of the evolution of scientific research. In addition, we map authors’ contribution to the conceptual space, and explore their role in the formation of homological cycles.

Authors: Daniele Cassese, Vsevolod Salnikov, Renaud Lambiotte
 

Some of the most studied examples of conformal field theories
include
the Wess-Zumino-Witten models. These are conformal field theories exhibiting
affine Lie algebra symmetry at non-negative integers levels. In this talk I
will
discuss conformal field theories exhibiting affine Lie algebra symmetry at
certain rational (hence fractional) levels whose structure is arguably even
more intricate than the structure of the non-negative integer levels,
provided
one is prepared to look beyond highest weight modules.

In a given ambient Riemannian manifold with boundary, geometric objects of particular interest are those properly embedded submanifolds that are critical points of the volume functional, when allowed variations are only those that preserve (but not necessarily fix) the ambient boundary. This variational condition translates into a quite nice geometric condition, namely, minimality and orthogonal intersection with the ambient boundary. Even when the ambient manifold is simply a ball in the Euclidean space, the theory of these objects is very rich and interesting. We would like to discuss several aspects of the theory, including our own contributions to the subject on topics such as: classification results, index estimates and compactness (joint works with different groups of collaborators - I. Nunes, A. Carlotto, B. Sharp, R. Buzano -  will be appropriately mentioned). 

It is a truth universally acknowledged, that a local system on a connected topological manifold is completely determined by its attached monodromy representation of the fundamental group. Similarly, lisse ℓ-adic sheaves on a connected variety determine and are determined by representations of the profinite étale fundamental group. Now if one wants to classify constructible sheaves by representations in a similar manner, new invariants arise. In the topological category, this is the exit path category of Robert MacPherson (and its elaborations by David Treumann and Jacob Lurie), and since these paths do not ‘run around once’ but ‘run out’, we coined the term exodromy representation. In the algebraic category, we define a profinite ∞-category – the étale fundamental ∞-category – whose representations determine and are determined by constructible (étale) sheaves. We describe the étale fundamental ∞-category and its connection to ramification theory, and we summarise joint work with Saul Glasman and Peter Haine.

I will talk about recent work that uses recent ideas from stochastic analysis to develop robust and non-parametric statistical tests for stochastic processes. 

In this talk, we will show how sharp bounds on the moments of the solutions to some stochastic heat equations can lead to various qualitative properties of the solutions. A major part of the method consists of approximating the solution by “independent quantities”. These quantities together with the moments bounds give us sharp almost sure properties of the solution.

For many moduli problems, in order to construct a moduli space as a geometric invariant theory quotient, one needs to impose a notion of (semi)stability. Using recent results in non-reductive geometric invariant theory, we explain how to stratify certain moduli stacks in such a way that each stratum admits a coarse moduli space which is constructed as a geometric quotient of an action of a linear algebraic group with internally graded unipotent radical. As many stacks are
naturally filtered by quotient stacks, this involves describing how to stratify certain quotient stacks. Even for quotient stacks for reductive group actions, we see that non-reductive GIT is required to construct the coarse moduli spaces of the higher strata. We illustrate this point by studying the example of the moduli stack of coherent sheaves over a projective scheme. This is joint work with G. Berczi, J. Jackson and F. Kirwan.

I will start with briefly describing the HISH ( Holography Inspired Hadronic String) model and reviewing the fits of the spectra of mesons, baryons, glue-balls and exotic hadrons. 

I will present the determination of the hadron strong decay widths. The main decay mechanism is that of a string splitting into two strings. The corresponding total decay width behaves as $\Gamma =\frac{\pi}{2}A T L $ where T and L are the tension and length of the string and A is a dimensionless universal constant. The partial width of a given decay mode is given by $\Gamma_i/\Gamma = \Phi_i \exp(-2\pi C m_\text{sep}^2/T$ where $\Phi_i$ is a phase space factor, $m_\text{sep}$ is the mass of the "quark" and "antiquark" created at the splitting point, and C is adimensionless coefficient close to unity. I will show the fits of the theoretical results to experimental data for mesons and baryons. I will examine both the linearity in L and the exponential suppression factor. The linearity was found to agree with the data well for mesons but less for baryons. The extracted coefficient for mesons $A = 0.095\pm  0.01$  is indeed quite universal. The exponential suppression was applied to both strong and radiative decays. I will discuss the relation with string fragmentation and jet formation. I will extract the quark-diquark structure of baryons from their decays. A stringy mechanism for Zweig suppressed decays of quarkonia will be proposed and will be shown to reproduce the decay width of  states. The dependence of the width on spin and symmetry will be discussed. I will further apply this model to the decays of glueballs and exotic hadrons.

Lincoln Wallen is the Former CTO, Dreamworks Animation. All are welcome

A wide range of chronic degenerative diseases of mankind result from the accumulation of altered forms of self proteins, resulting in cell toxicity, tissue destruction and chronic inflammatory processes in which the body’s immune system contributes to further cell death and loss of function. A hallmark of these conditions, which include major disease burdens such as Alzheimer’s Disease and type II diabetes, is the formation of long fibrillar polymers that are deposited in expanding tangled masses called plaques. Recently, similarities between these pathological accumulations and physiological mechanisms for organising intracellular space have been recognised, and formal demonstrations that amyloid accumulations form hydrogels have confirmed this link. We are interested in the pathological consequences of amyloid hydrogel formation and in order to study these processes we combine modelling of the assembly process with biophysical measurement of gelation and its cellular consequences.

Please see https://www.eventbrite.co.uk/e/qbiox-colloquium-dunn-school-seminar-hil…

for further details

T cells stimulation by antigen (peptide-MHC, pMHC) initiates adaptive immunity, a major factor contributing to vertebrate fitness. The T cell antigen receptor (TCR) present on the surface of T cells is the critical sensor for the recognition of and response to “foreign" entities, including microbial pathogens and transformed cells. Much is known about the complex molecular machine physically connected to the TCR to initiate, propagate and regulate signals required for cellular activation. However, we largely ignore the physical distribution, dynamics and reaction energetics of this machine before and after TCR binding to pMHC. I will illustrate a few basic notions of TCR signalling and potent quantitative in-cell approaches used to interpret TCR signalling behaviour. I will provide two examples where mathematical formalisation will be welcome to better understand the TCR signalling process.

Please see https://www.eventbrite.co.uk/e/qbiox-colloquium-dunn-school-seminar-hil… for further details.

Bacteria swim by rotating semi-rigid helical flagellar filaments, using an ion driven rotary motor embedded in the membrane. Bacteria are too small to sense a spatial gradient and therefore sense changes in time, and use the signals to bias their direction changing pattern to bias overall swimming towards a favourable environment. I will discuss how interdisciplinary research has helped us understand both the mechanism of motor function and its control by chemosensory signals.

Please see https://www.eventbrite.co.uk/e/qbiox-colloquium-dunn-school-seminar-hil…

for details.

This is the continuation of a discussion of  Ezra Miller's paper https://arxiv.org/abs/1709.08155.

I will talk about some recent work with Chantal David and Matilde Lalin about the mean value of L-functions associated to cubic characters over F_q[t] when q=1 (mod 3). I will explain how to obtain an asymptotic formula with a (maybe a little surprising) main term, which relies on using results from the theory of metaplectic Eisenstein series about cancellation in averages of cubic Gauss sums over functions fields.

A polymer, or microscopic elastic filament, is often modelled as a linear chain of rigid bodies interacting both with themselves and a heat bath. Then the classic notions of persistence length are related to how certain correlations decay with separation along the chain. I will introduce these standard notions in mathematical terms suitable for non specialists, and describe the standard results that apply in the simplest cases of wormlike chain models that have a straight, minimum energy (or ground or intrinsic) shape. Then I will introduce an appropriate  splitting of a matrix recursion in the group SE(3) which deconvolves the distinct effects of stiffness and intrinsic shape in the more complicated behaviours of correlations that arise when the polymer is not intrinsically straight. The new theory will be illustrated by fully implementing it within a simple sequence-dependent rigid base pair model of DNA. In that particular context, the persistence matrix factorisation generalises and justifies the prior scalar notions of static and dynamic persistence lengths.

Our general theory, which encompasses two different aggregation properties (Neuberger, 2012; Bondarenko, 2014) establishes a wide variety of new, unbiased and efficient risk premia estimators. Empirical results on meticulously-constructed daily, investable, constant-maturity  S&P500 higher-moment premia reveal significant, previously-undocumented, regime-dependent behavior. The variance premium is fully priced by Fama and French (2015) factors during the volatile regime, but has significant negative alpha in stable markets.  Also only during stable periods, a small, positive but significant third-moment premium is not fully priced by the variance and equity premia. There is no evidence for a separate fourth-moment premium.

In micro-fluidics, at small scales where inertial effects become negligible, surface to volume ratios are large and the interfacial processes are extremely important for the overall dynamics. Integral
equation based methods are attractive for the simulations of e.g. droplet-based microfluidics, with tiny water drops dispersed in oil, stabilized by surfactants. In boundary integral formulations for
Stokes flow, jumps in pressure and velocity gradients are naturally taken care of, viscosity ratios enter only in coefficients of the equations, and only the drop surfaces must be discretized and not the volume inside nor in between.

We present numerical methods for drops with insoluble surfactants, both in two and three dimensions. We discretize the integral equations using Nyström methods, and special care is taken in the evaluation of singular and also nearly singular integrals that is needed in the case of close drop interactions. A spectral method is used to solve the advection-diffusion equation on each drop surface that describes the evolution of surfactant concentration. The drop velocity and surfactant concentration couple together through an equation of state for the surface tension coefficient. An adaptive time-stepping strategy is developed for the coupled problem, with the constraint to minimize the number of Stokes solves, since this is the computationally most expensive part.

For high quality discretization of the drops throughout the simulations, a hybrid method is used in two dimensions, offering an arc-length parameterization of the interface. In three dimensions, a
reparameterization procedure is developed to optimize the spherical harmonics representation of the drop, while conserving the drop volume and amount of surfactant.

We present results from some validation tests and illustrate the ability of the numerical methods in different challenging problems.

The basic mathematical models that describe the behavior of fluid flows date back to the eighteenth century, and yet many phenomena observed in experiments are far from being well understood from a theoretical viewpoint. For instance, especially challenging is the study of fundamental stability mechanisms when weak dissipative forces (generated, for example, by molecular friction) interact with advection processes, such as mixing and stirring. The goal of this talk is to have an overview on recent results on a variety of aspects related to hydrodynamic stability, such as the stability of vortices and laminar flows, the enhancement of dissipative force via mixing, and the statistical description of turbulent flows.

We will discuss topological and algebraic aspects of splittings of free groups. In particular we will look at the core of two splittings in terms of CAT(0) cube complexes and systems of surfaces in a doubled handlebody.

Multivariate cryptography is one of a handful of proposals for post-quantum cryptographic schemes, i.e. cryptographic schemes that are secure also against attacks carried on with a quantum computer. Their security relies on the assumption that solving a system of multivariate (quadratic) equations over a finite field is computationally hard. 

Groebner bases allow us to solve systems of polynomial equations. Therefore, one of the key questions in assessing the robustness of multivariate cryptosystems is estimating how long it takes to compute the Groebner basis of a given system of polynomial equations. 

After introducing multivariate cryptography and Groebner bases, I will present a rigorous method to estimate the complexity of computing a Groebner basis. This approach is based on techniques from commutative algebra and is joint work with Alessio Caminata (University of Barcelona).

About fifteen years ago, Thomas Scanlon and I gave a description of sets that arise as the intersection of a subvariety with a finitely generated subgroup inside a semiabelian variety over a finite field. Inspired by later work of Derksen on the positive characteristic Skolem-Mahler-Lech theorem, which turns out to be a special case, Jason Bell and I have recently recast those results in terms of finite automata. I will report on this work, as well as on the work-in-progress it has engendered, also with Bell, on an effective version of the isotrivial Mordell-Lang theorem.

Starting from the seminal paper of Caporaso-Harris-Mazur, it has been proved that if Lang's Conjecture holds in arbitrary dimension, then it implies a uniform bound for the number of rational points in a curve of general type and analogue results in higher dimensions. In joint work with Kenny Ascher we prove analogue statements for integral points (or more specifically stably-integral points) on curves of log general type and we extend these to higher dimensions. The techniques rely on very recent developments in the theory of moduli spaces for stable pairs, a higher dimensional analogue of pointed stable curves.
If time permits we will discuss how very interesting problems arise in dimension 2 that are related to the geometry of the log-cotangent bundle.

Please note that this seminar will take place at the Physical and Theoretical Chemistry Laboratory within the
Department of Chemistry, room, PTCL lecture theatre.

We give an alternative, statistical physics based proof of the Ω(d2^{-d}) lower bound for the maximum sphere packing density in dimension d by showing that a random configuration from the hard sphere model has this density in expectation. While the leading constant we achieve is not the best known, we do obtain additional geometric information: we prove a lower bound on the entropy density of sphere packings at this density, a measure of how plentiful such packings are. This is joint work with Felix Joos and Will Perkins.

Within the wide field of sparse approximation, convolutional sparse coding (CSC) has gained considerable attention in the computer vision and machine learning communities. While several works have been devoted to the practical aspects of this model, a systematic theoretical understanding of CSC seems to have been left aside. In this talk, I will present a novel analysis of the CSC problem based on the observation that, while being global, this model can be characterized and analyzed locally. By imposing only local sparsity conditions, we show that uniqueness of solutions, stability to noise contamination and success of pursuit algorithms are globally guaranteed. I will then present a Multi-Layer extension of this model and show its close relation to Convolutional Neural Networks (CNNs). This connection brings a fresh view to CNNs, as one can attribute to this architecture theoretical claims under local sparse assumptions, which shed light on ways of improving the design and implementation of these networks. Last, but not least, we will derive a learning algorithm for this model and demonstrate its applicability in unsupervised settings.

In this talk, we revisit the cubic regularization (CR) method for solving smooth non-convex optimization problems and study its local convergence behaviour. In their seminal paper, Nesterov and Polyak showed that the sequence of iterates of the CR method converges quadratically a local minimum under a non-degeneracy assumption, which implies that the local minimum is isolated. However, many optimization problems from applications such as phase retrieval and low-rank matrix recovery have non-isolated local minima. In the absence of the non-degeneracy assumption, the result was downgraded to the superlinear convergence of function values. In particular, they showed that the sequence of function values enjoys a superlinear convergence of order 4/3 (resp. 3/2) if the function is gradient dominated (resp. star-convex and globally non-degenerate). To remedy the situation, we propose a unified local error bound (EB) condition and show that the sequence of iterates of the CR method converges quadratically a local minimum under the EB condition. Furthermore, we prove that the EB condition holds if the function is gradient dominated or if it is star-convex and globally non-degenerate, thus improving the results of Nesterov and Polyak in three aspects: weaker assumption, faster rate and iterate instead of function value convergence. Finally, we apply our results to two concrete non-convex optimization problems that arise from phase retrieval and low-rank matrix recovery. For both problems, we prove that with overwhelming probability, the local EB condition is satisfied and the CR method converges quadratically to a global optimizer. We also present some numerical results on these two problems.

We study how the synchronizability of a diffusive network increases (or decreases) when we add some links in its underlying graph. This is of interest in the context of power grids where people want to prevent from having blackouts, or for neural networks where synchronization is responsible of many diseases such as Parkinson. Based on spectral properties for Laplacian matrices, we show some classification results obtained (with Tiago Pereira and Philipp Pade) with respect to the effects of these links.
 

Hardy's axiomatic approach to quantum theory revealed that just one axiom
distinguishes quantum theory from classical probability theory: there should
be continuous reversible transformations between any pair of pure states. It
is the single word `continuous' that gives rise to quantum theory. This
raises the question: Does there exist a finite theory of quantum physics
(FTQP) which can replicate the tested predictions of quantum theory to
experimental accuracy? Here we show that an FTQP based on complex Hilbert
vectors with rational squared amplitudes and rational phase angles is
possible providing the metric of state space is based on p-adic rather than
Euclidean distance. A key number-theoretic result that accounts for the
Uncertainty Principle in this FTQP is the general incommensurateness between
rational $\phi$ and rational $\cos \phi$. As such, what is often referred to
as quantum `weirdness' is simply a manifestation of such number-theoretic
incommensurateness. By contrast, we mostly perceive the world as classical
because such incommensurateness plays no role in day-to-day physics, and
hence we can treat $\phi$ (and hence $\cos \phi$) as if it were a continuum
variable. As such, in this FTQP there are two incommensurate Schr\"{o}dinger
equations based on the rational differential calculus: one for rational
$\phi$ and one for rational $\cos \phi$. Each of these individually has a

simple probabilistic interpretation - it is their merger into one equation
on the complex continuum that has led to such problems over the years. Based
on this splitting of the Schr\"{o}dinger equation, the measurement problem
is trivially solved in terms of a nonlinear clustering of states on $I_U$.
Overall these results suggest we should consider the universe as a causal
deterministic system evolving on a finite fractal-like invariant set $I_U$
in state space, and that the laws of physics in space-time derive from the
geometry of $I_U$. It is claimed that such a  deterministic causal FTQP will
be much easier to synthesise with general relativity theory than is quantum
theory.

We discuss mathematical questions that play a fundamental role in quantitative analysis of incompressible viscous fluids and other incompressible media. Reliable verification of the quality of approximate solutions requires explicit and computable estimates of the distance to the corresponding generalized solution. In the context of this problem, one of the most essential questions is how to estimate the distance (measured in terms of the gradient norm) to the set of divergence free fields. It is closely related to the so-called inf-sup (LBB) condition or stability lemma for the Stokes problem and requires estimates of the LBB constant. We discuss methods of getting computable bounds of the constant and espective estimates of the distance to exact solutions of the Stokes, generalized Oseen, and Navier-Stokes problems.

One of the fundamental themes of geometric group theory is to
view finitely generated groups as geometric objects in their own right,
and to then understand to what extent the geometry of a group determines
its algebra. A theorem of Stallings says that a finitely generated group
has more than one end if and only if it splits over a finite subgroup.
In this talk, I will explain an analogous geometric characterisation of
when a group admits a splitting over certain classes of infinite subgroups.

The study of the Geometry of random nodal domains has attracted a lot of attention in the recent past, in particular due to their connection with famous conjectures such as Yau's conjecture on the nodal volume of eigenfunctions of the Laplacian on compact manifolds, and Berry's conjecture on the relation between the geometry of the nodal sets associated to these eigenfunctions and the geometry of the nodal sets associated to toric random waves.

At first, the randomness involved in the definition of random nodal domains is often chosen of Gaussian nature. This allows in particular the use of explicit techniques, such as Kac--Rice formula, to derive the asymptotics of many observables of interest (nodal volume, number of connected components, Leray's measure etc.). In this talk, we will raise the question of the universality of these asymptotics, which consists in deciding if the asymptotic properties of random nodal domains do or do not depend on the particular nature of the randomness involved. Among other results, we will establish the local and global universality of the asymptotic volume associated to the set of real zeros of random trigonometric polynomials with high degree.

(Joint work with Siva Athreya & Leonid Mytnik).

It is well known from the literature that ordinary differential equations (ODEs) regularize in the presence of noise. Even if an ODE is “very bad” and has no solutions (or has multiple solutions), then the addition of a random noise leads almost surely to a “nice” ODE with a unique solution. The first part of the talk will be devoted to SDEs with distributional drift driven by alpha-stable noise. These equations are not well-posed in the classical sense. We define a natural notion of a solution to this equation and show its existence and uniqueness whenever the drift belongs to a certain negative Besov space. This generalizes results of E. Priola (2012) and extends to the context of stable processes the classical results of A. Zvonkin (1974) as well as the more recent results of R. Bass and Z.-Q. Chen (2001).

In the second part of the talk we investigate the same phenomenon for a 1D heat equation with an irregular drift. We prove existence and uniqueness of the flow of solutions and, as a byproduct of our proof, we also establish path-by-path uniqueness. This extends recent results of A. Davie (2007) to the context of stochastic partial differential equations.

[1] O. Butkovsky, L. Mytnik (2016). Regularization by noise and flows of solutions for a stochastic heat equation. arXiv 1610.02553. To appear in Annal. Probab.

[2] S. Athreya, O. Butkovsky, L. Mytnik (2018). Strong existence and uniqueness for stable stochastic differential equations with distributional drift. arXiv 1801.03473.

I will talk about recent work, joint with M. Gröchenig and D. Wyss, on two related results involving the cohomology of moduli spaces of Higgs bundles. The first is a positive answer to a conjecture of Hausel and Thaddeus which predicts the equality of suitably defined Hodge numbers of moduli spaces of Higgs bundles with SL(n)- and PGL(n)-structure. The second is a new proof of Ngô's geometric stabilization theorem which appears in the proof of the fundamental lemma. I will give an introduction to these theorems and outline our argument, which, inspired by work of Batyrev, proceeds by comparing the number of points of these moduli spaces over finite fields via p-adic integration.