Past

Given a curve , what is the surface  that has smallest area among all surfaces spanning ? This classical problem and its generalizations are called Plateau's problem. In this talk we consider area minimizers among the class of integral currents, or roughly speaking, orientable manifolds. Since the 1960s a lot of work has been done by De Giorgi, Almgren, et al to study the interior regularity of these minimizers. Much less is known about the boundary regularity, in the case of codimension greater than 1. I will speak about some recent progress in this direction.

We discuss two recent extensions of work on Reynolds-robust preconditioners for the Navier-Stokes equations, to non-Newtonian fluids and to the equations of magnetohydrodynamics.  We model non-Newtonian fluids by means of an implicit constitutive relation between stress and strain. This framework is broadly applicable and allows for proofs of convergence under quite general assumptions. Since the stress cannot in general be solved for in terms of the strain, a three-field stress-velocity-pressure formulation is adopted. By combining the augmented Lagrangian approach with a kernel-capturing space decomposition, we derive a preconditioner that is observed to be robust to variations in rheological parameters in both two and three dimensions.  In the case of magnetohydrodynamics, we consider the stationary incompressible resistive Newtonian equations, and solve a four-field formulation for the velocity, pressure, magnetic field and electric field. A structure-preserving discretisation is employed that enforces both div(u) = 0 and div(B) = 0 pointwise. The basic idea of the solver is to split the fluid and electromagnetic parts and to employ our existing Navier-Stokes solver in the Schur complement. We present results in two dimensions that exhibit robustness with respect to both the fluids and magnetic Reynolds numbers, and describe ongoing work to extend the solver to three dimensions.

[To be added to our seminars mailing list, or to receive a Zoom invitation for a particular seminar, please contact @email.]

Recently in a joint work with J. Dobrowolski and N. Ramsey it is shown that in any NSOP1 theory with existence,
Kim-independence satisfies all the basic axioms over sets (except base monotonicity) that hold in simple theories with forking-independence. This is an extension of the earlier work by I. Kaplan and N. Ramsey that such hold over models in any NSOP1 theory. All simple theories; unbounded PAC fields; vector spaces over ACF with bilinear maps; the model companion of the empty theory in any language are typical NSOP1 examples.

   An important issue now is to know the existence of canonical bases. In stable and simple theories well-behaving notion of canonical bases for types over models exists, which is used in almost all the advanced studies. But there are a couple of crucial obstacles in finding canonical bases in NSOP1 theories. In this talk I will report a partial success/limit of the project. Namely, a type of a certain Morley sequence over a model has the weak canonical base. In my talk I will try to explain all the related notions.

https://arxiv.org/abs/2003.02844

Leibniz’s principle of identity of indiscernibles at first sight appears completely unrelated to set theory, but Mycielski (1995) formulated a set-theoretic axiom nowadays referred to as LM (for Leibniz-Mycielski) which captures the spirit of Leibniz’s dictum in the following sense:  LM holds in a model M of ZF iff M is elementarily equivalent to a model M* in which there is no pair of indiscernibles.  LM was further investigated in a 2004  paper of mine, which includes a proof that LM is equivalent to the global form of the Kinna-Wagner selection principle in set theory.  On the other hand, one can formulate a strong negation of Leibniz’s principle by first adding a unary predicate I(x) to the usual language of set theory, and then augmenting ZF with a scheme that ensures that I(x) describes a proper class of indiscernibles, thus giving rise to an extension ZFI of ZF that I showed (2005) to be intimately related to Mahlo cardinals of finite order. In this talk I will give an expository account of the above and related results that attest to a lively interaction between set theory and Leibniz’s principle of identity of indiscernibles.

Much progress in the study of 3-manifolds has been made by considering the geometric structures they admit. This is nowhere more true than for 3-manifolds which admit a hyperbolic structure. However, in the land of algorithms a more combinatorial approach is necessary, replacing our charts and isometries with finite simplicial complexes that are defined by a finite amount of data. 

In this talk we'll have a look at how in fact one can combine the two approaches, using the geometry of hyperbolic 3-manifolds to assist in this more combinatorial approach. To do so we'll combine tools from Hyperbolic Geometry, Triangulations, and perhaps suprisingly Polynomial Algebra to find explicit bounds on the runtime of an algorithm for comparing Hyperbolic manifolds.

We study the following question at the intersection of extremal and structural graph theory. Given a fixed graph $H$ that embeds in a fixed surface $\Sigma$, what is the maximum number of copies of $H$ in an $n$-vertex graph that embeds in $\Sigma$? Exact answers to this question are known for specific graphs $H$ when $\Sigma$ is the sphere. We aim for more general, albeit less precise, results. We show that the answer to the above question is $\Theta(nf(H))$, where $f(H)$ is a graph invariant called the `flap-number' of $H$, which is independent of $\Sigma$. This simultaneously answers two open problems posed by Eppstein (1993). When $H$ is a complete graph we give more precise answers. This is joint work with Tony Huynh and Gwenaël Joret [https://arxiv.org/abs/2003.13777]

The small subgraph conditioning method is an analysis of variance technique which was introduced by Robinson and Wormald in 1992, in their proof that almost all cubic graphs are Hamiltonian. The method has been used to prove many structural results about random regular graphs, mostly to show that a certain substructure is present with high probability. I will discuss some applications of the small subgraph conditioning method to hypergraphs, and describe a subtle issue which is absent in the graph setting.

Abstract: 

In this talk I will discuss regularization by noise from a pathwise perspective using non-linear Young integration, and discuss the relations with occupation measures and local times. This methodology of pathwise regularization by noise was originally proposed by Gubinelli and Catellier (2016), who use the concept of averaging operators and non-linear Young integration to give meaning to certain ill posed SDEs. 

In a recent work together with   Nicolas Perkowski we show that there exists a class of paths with exceptional regularizing effects on ODEs, using the framework of Gubinelli and Catellier. In particular we prove existence and uniqueness of ODEs perturbed by such a path, even when the drift is given as a Scwartz distribution. Moreover, the flow associated to such ODEs are proven to be infinitely differentiable. Our analysis can be seen as purely pathwise, and is only depending on the existence of a sufficiently regular occupation measure associated to the path added to the ODE. 

As an example, we show that a certain type of Gaussian processes has infinitely differentiable local times, whose paths then can be used to obtain the infinitely regularizing effect on ODEs. This gives insight into the powerful effect that noise may have on certain equations. I will also discuss an ongoing extension of these results towards regularization of certain PDE/SPDEs by noise.​

I will discuss some ongoing work on three-dimensional supersymmetric gauge theories and their relationship to (equivariant) quantum K-theory. I will emphasise the interplay between the physical and mathematical motivations and approaches, and attempt to build a dictionary between the two.  As an interesting example, I will discuss the quantum K-theory of flag manifolds. The QK ring will be related to the vacuum structure of a gauge theory with Chern-Simons interactions, and the (genus-0) K-theoretic invariants will be computed in terms of explicit residue formulas that can be derived from the relevant supersymmetric path integrals.

We discuss hyperkahler implosion spaces, their relevance to group actions and why they should fit into the symplectic duality picture. For certain groups we present candidates for the symplectic duals of the associated implosion spaces and provide computational evidence. This is joint work with Amihay Hanany and Frances Kirwan.
 

Modern cellular radio systems such as 4G and 5G use antennas with multiple elements, a technique known as MIMO, and the intention is to increase the capacity of the radio channel.  5G allows even more possibilities, such as massive MIMO, where there can be hundreds of elements in the transmit antenna, and beam-forming (or beam-steering), where the phase of the signals fed to the antenna elements is adjusted to focus the signal energy in the direction of the receivers.  However, this technology poses some difficult optimization problems, and here mathematicians can contribute.   In this talk I will explain the background, and then look at questions such as: what is an appropriate objective function?; what constraints are there?; are any problems of this type convex (or quasi-convex, or difference-of-convex)?; and, can big problems of this type be solved in real time?

We will introduce the Baum-Connes conjecture without coefficients, in the setting of discrete groups, and try to explain why it is interesting for operator algebraists. We will give some idea of the LHS and the RHS of the conjecture, without being too formal, and rather than trying to define the assembly map, we will explain what it does for finite groups, for the integers, for free groups, and finally for wreath products of a finite group with the integers (the latter result is joint work with R. Flores and S. Pooya; it raises a few open questions about classifying the corresponding group C*-algebras up to isomorphism).

In January of this year, a solution to Connes' Embedding Problem was announced on arXiv. The paper itself deals firmly in the realm of information theory and relies on a vast network of implications built by many hands over many years to get from an efficient reduction of the so-called Halting problem back to the existence of finite von Neumann algebras that lack nice finite-dimensional approximations. The seminal link in this chain was forged by astonishing results of Kirchberg which showed that Connes' Embedding Problem is equivalent to what is now known as Kirchberg's QWEP Conjecture. In this talk, I aim to introduce Kirchberg's conjecture and to touch on some of the many deep insights in the theory surrounding it.

We study a continuous time equilibrium model of limit order book (LOB) in which the liquidity dynamics follows a non-local, reflected mean-field stochastic differential equation (SDE) with evolving intensity. We will see that the frontier of the LOB (e.g., the best ask price) is the value function of a mean-field stochastic control problem, as the limiting version of a Bertrand-type competition among the liquidity providers.
With a detailed analysis on the N-seller static Bertrand game, we formulate a continuous time limiting mean-field control problem of the representative seller.
We then validate the dynamic programming principle (DPP) and show that the value function is a viscosity solution of the corresponding Hamilton-Jacobi-Bellman (HJB) equation.
We argue that the value function can be used to obtain the equilibrium density function of the LOB. (Joint work with Jin Ma)

In 2007, Andrew Mayo and Thanos Antoulas proposed a rational interpolation algorithm to solve a basic problem in control theory: given samples of the transfer function of a dynamical system, construct a linear time-invariant system that realizes these samples.  The resulting theory enables a wide range of data-driven modeling, and has seen diverse applications and extensions.  We will introduce these ideas from a numerical analyst's perspective, show how the selection of interpolation points can be guided by a Sylvester equation and pseudospectra of matrix pencils, and mention an application of these ideas to a contour algorithm for the nonlinear eigenvalue problem. (This talk involves collaborations with Michael Brennan (MIT), Serkan Gugercin (Virginia Tech), and Cosmin Ionita (MathWorks).)

[To be added to our seminars mailing list, or to receive a Zoom invitation for a particular seminar, please contact @email.]

 I will report on my recent work on dimension, definable groups, and definable fields in vector spaces over algebraically closed [real closed] fields equipped with a non-degenerate alternating bilinear form or a non-degenerate [positive-definite] symmetric bilinear form. After a brief overview of the background, I will discuss a notion of dimension and some other ingredients of the proof of the main result, which states that, in the above context, every definable group is (algebraic-by-abelian)-by-algebraic [(semialgebraic-by-abelian)-by-semialgebraic]. It follows from this result that every definable field is definable in the field of scalars, hence either finite or definably isomorphic to it [finite or algebraically closed or real closed].
 

https://arxiv.org/abs/2003.10466

https://arxiv.org/abs/2004.00015

https://arxiv.org/abs/2004.06115