Past

We study minimizers of the Ginzburg-Landau (GL) functional \[E_\epsilon(u):=\frac{1}{2}\int_A |\nabla u|^2 + \frac{1}{4\epsilon^2} \int_A(1-|u|^2)^2\] for a complex-valued order parameter $u$ (with no magnetic field). This functional is of fundamental importance in the theory of superconductivity and superuidity; the development of these theories led to three Nobel prizes. For a $2D$ domain $A$ with holes we consider “semistiff” boundary conditions: a Dirichlet condition for the modulus $|u|$, and a homogeneous Neumann condition for the phase $\phi = \mathrm{arg}(u)$. The principal

result of this work (with V. Rybalko) is a proof of the existence of stable local minimizers with vortices (global minimizers do not exist). These vortices are novel in that they approach the boundary and have bounded energy as $\epsilon\to0$.

In contrast, in the well-studied Dirichlet (“stiff”) problem for the GL PDE, the vortices remain distant from the boundary and their energy blows up as

$\epsilon\to 0$. Also, there are no stable minimizers to the homogeneous Neumann (“soft”) problem with vortices.

\\

Next, we discuss more recent results (with V. Rybalko and O. Misiats) on global minimizers of the full GL functional (with magnetic field) subject to semi-stiff boundary conditions. Here, we show the existence of global minimizers with vortices for both simply and doubly connected domains and describe the location of their vortices.

The aim of this talk is to give an introduction to Geometric Invariant Theory (GIT) for reductive groups over the complex numbers. Roughly speaking, GIT is concerned with constructing quotients of group actions in the category of algebraic varieties. We begin by discussing what properties we should like quotient varieties to possess, highlighting so-called `good' and `geometric' quotients, and then turn to search for these quotients in the case of affine and projective varieties. Here we shall see that the construction runs most smoothly when we assume our group to be reductive (meaning it can be described as the complexification of a maximal compact subgroup). Finally, we hope to say something about the Hilbert-Mumford criterion regarding semi-stability and stability of points, illustrating it by constructing the rough moduli space of elliptic curves.

Joint work with: Sina Greenwood, Brian Raines and Casey Sherman

Abstract: We say a space $X$ with property $\C P$ is \emph{universal} for orbit spectra of homeomorphisms with property $\C P$ provided that if $Y$ is any space with property $\C P$ and the same cardinality as $X$ and $h:Y\to Y$ is any (auto)homeomorphism then there is a homeomorphism$g:X\to X$ such that the orbit equivalence classes for $h$ and $g$ are isomorphic. We construct a compact metric space $X$ that is universal for homeomorphisms of compact metric spaces of cardinality the continuum. There is no universal space for countable compact metric spaces. In the presence of some set theoretic assumptions we also give a separable metric space of size continuum that is universal for homeomorphisms on separable metric spaces.

Actin polymerization in vivo is regulated spatially and temporally by a web of signalling proteins. We developed detailed physico-chemical, stochastic models of lamellipodia and filopodia, which are projected by eukaryotic cells during cell migration, and contain dynamically remodelling actin meshes and bundles. In a recent work we studied how molecular motors regulate growth dynamics of elongated organelles of living cells. We determined spatial distributions of motors in such organelles, corresponding to a basic scenario when motors only walk along the substrate, bind, unbind, and diffuse. We developed a mean field model, which quantitatively reproduces elaborate stochastic simulation results as well as provides a physical interpretation of experimentally observed distributions of Myosin IIIa in stereocilia and filopodia. The mean field model showed that the jamming of the walking motors is conspicuous, and therefore damps the active motor flux. However, when the motor distributions are coupled to the delivery of actin monomers towards the tip, even the concentration bump of G-actin that they create before they jam is enough to speed up the diffusion to allow for severalfold longer filopodia. We found that the concentration profile of G-actin along the filopodium is rather non-trivial, containing a narrow minimum near the base followed by a broad maximum. For efficient enough actin transport, this non-monotonous shape is expected to occur under a broad set of conditions. We also find that the stationary motor distribution is universal for the given set of model parameters regardless of the organelle length, which follows from the form of the kinetic equations and the boundary conditions.

I’ll report on my recent work (with co-authors Holt and Ciobanu) on Artin

groups of large type, that is groups with presentations of the form

G = hx1, . . . , xn | xixjxi · · · = xjxixj · · · , 8i 3. (In fact, our results still hold when some, but not all

possible, relations with mij = 2 are allowed.)

Recently, Holt and I characterised the geodesic words in these groups, and

described an effective method to reduce any word to geodesic form. That

proves the groups shortlex automatic and gives an effective (at worst quadratic)

solution to the word problem. Using this characterisation of geodesics, Holt,

Ciobanu and I can derive the rapid decay property for most large type

groups, and hence deduce for most of these that the Baum-Connes conjec-

ture holds; this has various consequence, in particular that the Kadison-

Kaplansky conjecture holds for these groups, i.e. that the group ring CG

contains no non-trivial idempotents.

1

This talk will be about various ways in which a variety can be "connected by higher genus curves", mimicking the notion of rational connectedness. At least in characteristic zero, the existence of a curve with a large deformation space of morphisms to a variety implies that the variety is in fact rationally connected. Time permitting I will discuss attempts to show this result in positive characteristic.

Cloaking recently attracts a lot of attention from the scientific community due to the progress of advanced technology. There are several ways to do cloaking. Two of them are based on transformation optics and negative index materials. Cloaking based on transformation optics was suggested by Pendry and Leonhardt using transformations which blow up a point into the cloaked regions. The same transformations had previously used by Greenleaf et al. to establish the non-uniqueness for Calderon's inverse problem. These transformations are singular and hence create a lot of difficulty in analysis and practical applications. The second method of cloaking is based on the peculiar properties of negative index materials. It was proposed by Lai et al. and inspired from the concept of complementary media due to Pendry and Ramakrishna. In this talk, I will discuss approximate cloaking using these two methods. Concerning the first one, I will consider the situation, first proposed in the work of Kohn et al., where one uses transformations which blow up a small ball (instead of a point) into cloaked regions. Many interesting issues such as finite energy and resonance will be mentioned. Concerning the second method, I provide the (first) rigorous analysis for cloaking using negative index materials by investigating the situation where the loss (damping) parameter goes to 0. I will also explain how the arguments can be used not only to establish the rigor for other interesting related phenomena using negative index materials such as superlenses and illusion optics but also to enlighten the mechanism of these phenomena.

This talk will consist of two parts. In the first part we will present a motivating application from oil reservoir simulation, namely finding the location and trajectory of an oil producing well which maximises oil production. We will show how such a problem can be tackled through the use of radial basis function (RBF) approximation (also known as Kriging or Gaussian process regression) and a branch and bound global optimization algorithm.

In the second part of the talk we will show how one can improve the branch and bound algorithm through the use of Lipschitz continuity of the RBF approximation. This leads to an entirely new global optimization algorithm for twice differentiable functions with Lipschitz continuous Hessian. The algorithm makes use of recent cubic regularisation techniques from local optimization to obtain the necessary bounds within the branch and bound algorithm.

In this talk, approximations to utility indifference prices for a contingent claim in the large position size limit are provided. Results are valid for general utility functions and semi-martingale models. It is

shown that as the position size approaches infinity, all utility functions with the same rate of decay for large negative wealths yield the same price. Practically, this means an investor should price like an exponential investor. In a sizeable class of diffusion models, the large position limit is seen to arise naturally in conjunction with the limit of a complete model and hence approximations are most appropriate in this setting.

The issue of resource management arises with any sensor which is capable either of sensing only a part of its total field of view at any one time, or which is capable of having a number of operating modes, or both.

A very simple example is a camera with a telephoto lens.  The photographer has to decide what he is going to photograph, and whether to zoom in to get high resolution on a part of the scene, or zoom out to see more of the scene.  Very similar issues apply, of course, to electro-optical sensors (visible light or infra-red 'TV' cameras) and to radars.

The subject has, perhaps, been most extensively studied in relation to multi mode/multi function radars, where approaches such as neural networks, genetic algorithms and auction mechanisms have been proposed as well as more deterministic mangement schemes, but the methods which have actually been implemented have been much more primitive.

The use of multiple, disparate, sensors on multiple mobile, especially airborne, platforms adds further degrees of freedom to the problem - an extension is of growing interest.

The presentation will briefly review the problem for both the single-sensor and the multi-platform cases, and some of the approaches which have been proposed, and will highlight the remaining current problems.

In this seminar we discuss the gas dynamics of chimneys, solar updraft towers and energy towers. The main issue is to discuss simple fluid dynamic models which still describe the main features of the mentioned applications. We focus first on one dimensional compressible models. Then we apply a small Mach number asymptotics to reduce to complexity and to avoid the known problems

of fully compressible models in the small Mach number regime. In case of the energy tower in addition we have to model the evaporation process.

Finally we obtain a much simpler fluid dynamic model which allows robust and very fast numerical simulations. We discuss the qualitative behaviour and the good agreement with expermental data (in cases such data are available).

Mirkovic-Vilonen polytopes are a combinatorial tool for studying
perfect bases for representations of semisimple Lie algebras.  They
were originally introduced using MV cycles in the affine Grassmannian,
but they are also related to the canonical basis.  I will explain how
MV polytopes can also be used to describe components of Lusztig quiver
varieties and how this allows us to generalize the theory of MV
polytopes to the affine case.

This talk will present a computationally efficient method of simulating cardiac electrical propagation using an

adaptive high-order finite element method. The refinement strategy automatically concentrates computational

effort where it is most needed in space on each time-step. We drive the adaptivity using a residual-based error

indicator, and demonstrate using norms of the error that the indicator allows to control it successfully. Our

results using two-dimensional domains of varying complexity demonstrate in that significant improvements in

efficiency are possible over the state-of-the-art, indicating that these methods should be investigated for

implementation in whole-heart scale software.

We present a variational model for the quasi-static evolution of brutal brittle damage for geometrically-linear elastic materials. We

allow for multiple damaged states. Moreover, unlike current formulations, the materials are allowed to be anisotropic and the

deformations are not restricted to anti-plane shear. The model can be formulated either energetically or through a strain threshold. We

explore the relationship between these formulations. This is joint work with Christopher Larsen, Worcester Polytechnic Institute.

Given a manifold $M$ and a basepointed labelling space $X$ the space of unordered finite configurations in $M$ with labels in $X$, $C(M;X)$ is the space of finite unordered tuples of points in $M$, each point with an associated point in $X$. The space is topologised so that particles cannot collide. Given a compact submanifold $M_0\subset M$ we define $C(M,M_0;X)$ to be the space of unordered finite configuration in which points `vanish' in $M_0$. The scanning map is a homotopy equivalence between the configuration space and a section space of a certain $\Sigma^nX$-bundle over $M$. Throughout the 70s and 80s this map has been given several unsatisfactory and convoluted definitions. A natural question to ask is whether the map is equivariant under the diffeomorphism group of the underlying manifold. However, any description of the map relies heavily on `little round $\varepsilon$-balls' and so only actions by isometry have any chance at equivariance. The goal of this talk is to give a more natural definition of the scanning map and show that diffeomorphism equivariance is an easy consequence.

I show how to construct some Fano 3-folds that have the same Hilbert series but different Betti numbers, and so lie on different components of the Hilbert scheme. I would like to show where these fit in to a speculative (indeed fantastical) geography of Fano 3-folds, and how the projection methods I use may apply to other questions in the geography.

 Higher-order transformations are ubiquitous within data management. In relational databases, higher-order queries appear in numerous aspects including query rewriting and query specification. In XML databases, higher-order functions are natural due to the close connection of XML query languages with functional programming. We investigate higher-order query languages that combine higher- order transformations with ordinary database query languages. We define higher-order query languages based on Relational Algebra and XQuery. We also study basic problems for these query languages including evaluation, containment, and type inference. We show that even though evaluating these higher-order query languages is non-elementary, there are subclasses that are polynomially reducible to evaluation for ordinary query languages.

Solitons are localised non-singular lumps of energy which describe particles non perturbatively. Finding the solitons usually involves solving nonlinear differential equations, but I shall show that in some cases the solitons emerge directly from the underlying space-time geometry: certain abelian vortices arise from surfaces of constant mean curvature in Minkowski space, and skyrmions can be constructed from the holonomy of gravitational instantons.

We describe an invariant manifold of the equations of molecular dynamics associated to a given discrete group of isometries. It is a time-dependent manifold, but its dependence on time is explicit. In the case of the translation group, it has dimension 6N, where N is an assignable positive integer. The manifold is independent of the description of the atomic forces within a general framework. Most of continuum mechanics inherits some version of this manifold, as do theories in-between molecular dynamics and continuum mechanics, even though they do not inherit the time reversibility of molecular dynamics on this manifold. The manifold implies a natural statistics of molecular motion, which suggests a simplifying ansatz for the Boltzmann equation which, in turn, leads to new explicit far-from-equilibrium solutions of this equation. In some way the manifold underlies experimental science, i.e., the viscometric flows of fluids and the bending and twisting of beams in solids and the procedures commonly used to measure constitutive relations, this being related to the fact that the form of the manifold can be prescribed independent of the atomic forces.