Past events

PhD_course_Roux_2.pdf

We will start from the description of a particle system modelling a finite size network of interacting neurons described by their voltage. After a quick description of the non-rigorous and rigorous mean-field limit results, we will do a detailed analytical study of the associated Fokker-Planck equation, which will be the occasion to introduce in context powerful general methods like the reduction to a free boundary Stefan-like problem, the relative entropy methods, the study of finite time blowup and the numerical and theoretical exploration of periodic solutions for the delayed version of the model. I will then present some variants and related models, like nonlinear kinetic Fokker-Planck equations and continuous systems of Fokker-Planck equations coupled by convolution.

The computation of matrix function is an important task appearing in many areas of scientific computing. We propose two algorithms, one for banded matrices and the other for general sparse matrices that approximate f(A) using matrix-vector products only. Our algorithms are inspired by the decay bound for the entries of f(A) when A is banded or sparse. We show its exponential convergence when A is banded or sufficiently sparse and we demonstrate its performance using numerical experiments.

A factorisation $x=u_1u_2\cdots$ of an infinite word $x$ on alphabet $X$ is called ‘super-monochromatic’, for a given colouring of the finite words $X^{\ast}$ on alphabet $X$, if each word $u_{k_1}u_{k_2}\cdots u_{k_n}$, where $k_1<\cdots<k_n$, is the same colour. A direct application of Hindman’s theorem shows that if $x$ is eventually periodic, then for every finite colouring of $X^{\ast}$, there exist a suffix of $x$ that admits a super-monochromatic factorisation. What about the converse?

In this talk we show that the converse does indeed hold: thus a word $x$ is eventually periodic if and only if for every finite colouring of $X^{\ast}$ there is a suffix of $x$ having a super-monochromatic factorisation. This has been a conjecture in the community for some time. Our main tool is a Ramsey result about alternating sums. This provides a strong link between Ramsey theory and the combinatorics of infinite words.

Joint work with Imre Leader and Luca Q. Zamboni

For many stationary-state PDEs, solutions can be shown to satisfy certain key identities or structures, with physical interpretations such as the dissipation of energy. By reformulating these systems in terms of new auxiliary functions, finite-element models can ensure these structures also hold exactly for the numerical solutions. This approach is known to improve the solutions' accuracy and reliability.

In this talk, we extend this auxiliary function approach to the transient case through a finite-element-in-time interpretation. This allows us to develop novel structure-preserving timesteppers for various transient problems, including the Navier–Stokes and MHD equations, up to arbitrary order in time.

The irreducible smooth representations of p-adic reductive groups and the enhanced Langlands parameters of these latter can both be partitioned into series indexed by "cuspidal data". On the representation side, cuspidality refers to supercuspidal representations of Levi subgroups, while on the Galois side, it refers to "cuspidal unipotent pairs", as introduced by Lusztig, in certain subgroups of the Langlands dual groups.

In addition, on both sides, the elements in a given series are in bijection with the simple modules of a generalized affine Hecke algebra. 

The cuspidal data on one side are expected to be in bijection with the cuspidal data on the other side. We will formulate conditions on this bijection that will guarantee the existence of a bijection between the simple modules of the attached generalized affine Hecke algebras. For the exceptional group of type G_2 and for all pure inner forms of quasi-split classical groups, the Hecke algebras are actually isomorphic.

Hydrocephalus is a serious medical condition which causes an excess of cerebrospinal fluid (CSF) to build up within the brain. A common treatment for congenital hydrocephalus is to implant a permanent drainage shunt, removing excess CSF to the stomach where it can be safely cleared. However, this treatment carries the risk of vascular brain tissues such as the Choroid Plexus (CP) being dragged into the shunt during drainage, causing it to block, and also preventing the shunt from being easily replaced. In this talk I present results from our fluid-structure interaction model which simulates the deflection of the CP during the operation of the hydrocephalus shunt. We seek to improve the shunt component by optimising the geometry with respect to CP deflection.

The ε expansion was invented more than 50 years ago and has been used extensively ever since to study aspects of renormalization group flows and critical phenomena. Its most famous applications are found in theories involving scalar fields in 4−ε dimensions. In this talk, we will discuss the structure of the ε expansion and the fixed points that can be obtained within it. We will mostly focus on scalar theories, but we will also discuss theories with fermions as well as line defects. Our motivation is based on the goal of classifying conformal field theories in d=3 dimensions. We will describe recently discovered universal constraints obtained within the framework of the ε expansion and show that a “heavy handed" quest for fixed points yields a plethora of new ones. These fixed points reveal aspects of the structure of the ε expansion and suggest that a classification of conformal field theories in d=3 is likely to be highly non-trivial.

We present an inter-twining relation between operators on loop ensembles and connections.

Scattering amplitudes in string theory are written as formal integrals of correlations functions over the moduli space of punctured Riemann surfaces. It's well-known, albeit not often emphasized, that this prescription is only approximately correct because of the ambiguities in defining the integration domain. In this talk, we propose a resolution of this problem for one-loop open-string amplitudes and present their first evaluation at finite energy and scattering angle. Our method involves a deformation of the integration contour over the modular parameter to a fractal contour introduced by Rademacher in the context of analytic number theory. This procedure leads to explicit and practical formulas for the one-loop planar and non-planar type-I superstring four-point amplitudes, amenable to numerical evaluation. We plot the amplitudes as a function of the Mandelstam invariants and directly verify long-standing conjectures about their behavior at high energies.

A central topic of study in analytic number theory is the behaviour of the Riemann zeta function. Many theorems and conjectures in this area are closely connected to concepts from probability theory. In this talk, we will discuss several results on the typical size of the zeta function on the critical line, over different scales. Along the way, we will see the role that is played by some probabilistic phenomena, such as the central limit theorem and multiplicative chaos.

Let $V$ be a finite dimensional vector space over the field with two elements with a given nondegenerate symplectic form. Let $[V]$ be the vector space of complex valued functions on $V$ and let $[V]_{\mathbb Z}$ be the subgroup of $[V]$ consisting of integer valued functions. We show that there exists a Z-basis of $[V]_{\mathbb Z}$ consisting of characteristic functions of certain explicit isotropic subspaces of $V$ such that the matrix of the Fourier transform from $[V]$ to $[V]$ with respect to this basis is triangular. This continues the tradition started by Hermite who described eigenvectors for the Fourier transform over real numbers.

Fusion 2-categories were introduced by Douglas and Reutter so as to define a state-sum invariant of 4-manifolds. Categorifying a result of Douglas, Schommer-Pries and Snyder, it was conjectured that, over an algebraically closed field of characteristic zero, every fusion 2-category is a fully dualizable object in an appropriate symmetric monoidal 4-category. I will sketch a proof of this conjecture, which will proceed by studying, and in fact classifying, the Morita equivalence classes of fusion 2-categories. In particular, by appealing to the cobordism hypothesis, we find that every fusion 2-category yields a fully extended framed 4D TQFT. I will explain how these theories are related to the ones constructed using braided fusion 1-categories by Brochier, Jordan, and Snyder.

Recently Linares-Otto-Tempelmayr have unveiled a very interesting algebraic structure which allows to define a new class of rough paths/regularity structures, with associated applications to stochastic PDEs or ODEs. This approach does not consider trees as combinatorial tools but their fertility, namely the function which associates to each integer k the number of vertices in the tree with exactly k children. In a joint work with J-D Jacques we have studied this algebraic structure and shown that it is related with a general and simple class of so-called post-Lie algebras. The construction has remarkable properties and I will try to present them in the simplest possible way.

Recently, a relation was introduced connecting codes of various types with the space of abelian (Narain) 2d CFTs. We extend this relation to provide holographic description of code CFTs in terms of abelian Chern-Simons theory in the bulk. For codes over the alphabet Z_p corresponding bulk theory is, schematically, U(1)_p times U(1)_{-p} where p stands for the level. Furthermore, CFT partition function averaged over all code theories for the codes of a given type is holographically given by the Chern-Simons partition function summed over all possible 3d geometries. This provides an explicit and controllable example of holographic correspondence where a finite ensemble of CFTs is dual to "topological/CS gravity" in the bulk. The parameter p controls the size of the ensemble and "how topological" the bulk theory is. Say, for p=1 any given Narain CFT is described holographically in terms of U(1)_1^n times U(1)_{-1}^n Chern-Simons, which does not distinguish between different 3d geometries (and hence can be evaluated on any of them). When p approaches infinity, the ensemble of code theories covers the whole Narain moduli space with the bulk theory becoming "U(1)-gravity" proposed by Maloney-Witten and Afkhami-Jeddi et al.

Finite quotient singularities have a long history in mathematics, intertwining algebraic geometry, hyperkähler geometry, representation theory, and integrable systems.  I will highlight the correspondences at play here and how they culminate in Nakajima quiver varieties, which continue to attract interest in geometric representation theory and physics.  I will motivate some recent work of G. Bellamy, A. Craw, T. Schedler, H. Weiss, and myself in which we show that, remarkably, all of the resolutions of a particular finite quotient singularity are realized by a certain Nakajima quiver variety, namely that of the 5-pointed star-shaped quiver.  I will place this work in the wider context of the search for McKay-type correspondences for finite subgroups of $\mathrm{SL}(n,\mathbb{C})$ on the one hand, and of the construction of finite-dimensional-quotient approximations to meromorphic Hitchin systems and their integrable systems on the other hand.  The Hitchin system perspective draws upon my prior joint works with each of J. Fisher and L. Schaposnik, respectively. Time permitting, I will speculate upon the symplectic duality of Higgs and Coulomb branches in this setting.

Invariance under selected transformations has recently proven to be a powerful inductive bias in several machine learning models. One class of such models are tensor train networks. In this talk, we impose invariance relations on tensor train networks. We introduce a new numerical algorithm to construct a basis of tensors that are invariant under the action of normal matrix representations of an arbitrary discrete group. This method can be up to several orders of magnitude faster than previous approaches. The group-invariant tensors are then combined into a group-invariant tensor train network, which can be used as a supervised machine learning model. We applied this model to a protein binding classification problem, taking into account problem-specific invariances, and obtained prediction accuracy in line with state-of-the-art invariant deep learning approaches. This is joint work with Brent Sprangers.

We argue that the existence of solitons in theories in which local symmetries are spontaneously broken requires spacetime to be enlarged by additional coordinates that are associated with large local transformations. In the context of gravity theories the usual coordinates of spacetime can be thought of arising in this way. E theory automatically contains such an enlarged spacetime. We propose that spacetime appears in an underlying theory when the local symmetries are spontaneously broken.

North Wing talk: Dr Thomas Karam
Title: Ranges control degree ranks of multivariate polynomials on finite prime fields.

Abstract: Let $p$ be a prime. It has been known since work of Green and Tao (2007) that if a polynomial $P:\mathbb{F}_p^n \mapsto \mathbb{F}_p$ with degree $2 \le d \le p-1$ is not approximately equidistributed, then it can be expressed as a function of a bounded number of polynomials each with degree at most $d-1$. Since then, this result has been refined in several directions. We will explain how this kind of statement may be used to deduce an analogue where both the assumption and the conclusion are strengthened: if for some $1 \le t < d$ the image $P(\mathbb{F}_p^n)$ does not contain the image of a non-constant one-variable polynomial with degree at most $t$, then we can obtain a decomposition of $P$ in terms of a bounded number of polynomials each with degree at most $\lfloor d/(t+1) \rfloor$. We will also discuss the case where we replace the image $P(\mathbb{F}_p^n)$ by for instance $P(\{0,1\}^n)$ in the assumption.
 

South Wing talk: Dr Hamid Rahkooy
Title: Toric Varieties in Biochemical Reaction Networks

Abstract: Toric varieties are interesting objects for algebraic geometers as they have many properties. On the other hand, toric varieties appear in many applications. In particular, dynamics of many biochemical reactions lead to toric varieties. In this talk we discuss how to test toricity algorithmically, using computational algebra methods, e.g., Gröbner bases and quantifier elimination. We show experiments on real world models of reaction networks and observe that many biochemical reactions have toric steady states. We discuss complexity bounds and how to improve computations in certain cases.

When a biological system is modelled using a mathematical process, the next step is often to estimate the system parameters. Although computational and statistical techniques have been developed to estimate parameters for complex systems, this can be a difficult task. As a result, researchers have focused on revealing parameter-independent dynamical properties of a system. In this talk, we will discuss the study of qualitative behaviors of stochastic biochemical systems using reaction networks, which are graphical configurations of biochemical systems. The goal of this talk is to (1) introduce the basic modelling aspects of stochastically-modelled reaction networks and (2) discuss important results in this literature, including the random time representation, relationships between stochastic and deterministic models, and derivation of stability via network structures.

A complex irreducible admissible representation of a reductive p-adic group is typically infinite-dimensional. To quantify the "size" of such representations, we introduce the concept of canonical dimension. To do so we have to discuss the Moy-Prasad filtrations. These are natural filtrations of the parahoric subgroups. Next, we relate the canonical dimension to the Harish-Chandra local character expansion, which expresses the distribution character of an irreducible representation in terms of nilpotent orbital integrals. Using this, we consider the wavefront set of a representation. This is an invariant the naturally arises from the local character expansion. We conclude by explaining why the canonical dimension might be considered a weaker but more computable alternative to the wavefront set.

(joint with Chernikov) 1-dependent theories, better known as NIP theories, are the first class of the strict hierarchy of n-dependent theories. The random n-hypergraph is the canonical object which is n-dependent but not (n−1)-dependent. We proved the existence of strictly n-dependent groups for all natural numbers n. On the other hand, there are no known examples of strictly n-dependent fields and we conjecture that there aren’t any. 

We were interested which properties of groups and fields for NIP theories remain true in or can be generalized to the n-dependent context. A crucial fact about (type-)definable groups in NIP theories is the absoluteness of their connected components. Our first aim is to give examples of n-dependent groups and discuss a adapted version of absoluteness of the connected component. Secondly, we will review the known properties of NIP fields and see how they can be generalized.

The elliptic Gamma function — a generalization of the q-Gamma function, which is itself the q-analog of the ordinary Gamma function — is a meromorphic special function in several variables that mathematical physicists have shown to satisfy modular functional equations under SL(3,Z). In this talk I will present evidence (numerical and theoretical) that this function often takes algebraic values that satisfy explicit reciprocity laws and that are related to derivatives of Hecke L-functions at s=0. Thus this function conjecturally allows to extend the theory of complex multiplication to complex cubic fields as envisioned by Hilbert's 12^th problem. This is joint work with Nicolas Bergeron and Pierre Charollois.