Past

Modern mathematical approaches to plasticity result in non-convex variational problems for which the standard methods of the calculus of variations are not applicable. In this contribution we consider geometrically nonlinear crystal elasto-plasticity in two dimensions with one active slip system. In order to derive information about macroscopic material behavior the relaxation of the corresponding incremental problems is studied. We focus on the question if realistic systems with an elastic energy leading to large penalization of small elastic strains can be well-approximated by models based on the assumption of rigid elasticity. The interesting finding is that there are qualitatively different answers depending on whether hardening is included or not. In presence of hardening we obtain a positive result, which is mathematically backed up by Γ-convergence, while the material shows very soft macroscopic behavior in case of no hardening. The latter is due to the vanishing relaxation for a large class of applied loads.

This is joint work with Sergio Conti and Georg Dolzmann.

An S-act over a monoid S is a representation of a monoid by tranformations of a set, analogous to the notion of a G-act over a group G being a representation of G by bijections of a set. An S-poset is the corresponding notion for an ordered monoid S.

Words are building blocks of sentences, yet the meaning of a sentence goes well beyond meanings of its words. Formalizing the process of meaning assignment is proven a challenge for computational and mathematical linguistics; with the two most successful approaches each missing on a key aspect: the 'algebraic' one misses on the meanings of words, the vector space one on the grammar.

I will present a theoretical setting where we can have both! This is based on recent advances in ordered structures by Lambek, referred to as pregroups and the categorical/diagrammatic approach used to model vector spaces by Abramsky and Coecke. Surprisingly. both of these structures form a compact category! If time permits, I will also work through a concrete example, where for the first time in the field we are able to compute and compare meanings of sentences compositionally. This is collaborative work with E. Greffenstete, C. Clark, B. Coecke, S. Pulman.

The long-open Tarski problem asked whether first-order logic can distinguish between free groups of different ranks. This was finally answered in the negative by the works of Sela and Kharlampovich-Myasnikov, which sparked renewed interest in the model theoretic properties of free groups. I will give a survey of known results and open questions on this topic.

Following the works of Sela and Kharlampovich-Myasnikov on the Tarski problem, we are interested in the first-order logic of free (and more generally hyperbolic) groups. It turns out that techniques from geometric group theory can be used to answer many questions coming from model theory on these groups. We showed with Sklinos that free groups of finite rank are homogeneous, namely that two tuples of elements which have the same first-order properties are in the same orbit under the action of the automorphism group. We also show that this is not the case for most surface groups.

I shall describe some recent results about the asymptotic behaviour of matroids.

Specifically almost all matroids are simple and have probability at least 1/2 of being connected.

Also, various quantitative results about rank, number of bases and number and size of circuits of almost all matroids are given. There are many open problems and I shall not assume any previous knowledge of matroids. This is joint work, see below.

1 D. Mayhew, M. Newman, D. Welsh and G. Whittle,

On the asymptotic properties of connected matroids, European J. Combin. to appear

2 J. Oxley, C. Semple, L. Wasrshauer and D. Welsh,

On properties of almost all matroids, (2011) submitted

How best to use the cellular Potts model? This is a boundary dynamic method for computational cell-based modelling, in which evolution of the domain is achieved through a process of free energy minimisation. Historically its roots lie in statistical mechanics, yet in modern day it has been implemented in the study of metallic grain growth, foam coarsening and most recently, biological cells. I shall present examples of its successful application to the Steinberg cell sorting experiments of the early 1960s, before examining the specific case of the colorectal crypt. This scenario highlights the somewhat problematic nuances of the CPM, and provides useful insights into the process of selecting a cell-based framework that is suited to the complex biological tissue of interest.

The space BD of functions of bounded deformation consists of all L1-functions whose distributional symmetrized derivative (defined by duality with the symmetrized gradient ($\nabla u + \nabla u^T)/2$) is representable as a finite Radon measure. Such functions play an important role in a variety of variational models involving (linear) elasto-plasticity. In this talk, I will present the first general lower semicontinuity theorem for symmetric-quasiconvex integral functionals with linear growth on the whole space BD. In particular we allow for non-vanishing Cantor-parts in the symmetrized derivative, which correspond to fractal phenomena. The proof is accomplished via Jensen-type inequalities for generalized Young measures and a construction of good blow-ups, based on local rigidity arguments for some differential inclusions involving symmetrized gradients. This strategy allows us to establish the lower semicontinuity result even without a BD-analogue of Alberti's Rank-One Theorem in BV, which is not available at present. A similar strategy also makes it possible to give a proof of the classical lower semicontinuity theorem in BV without invoking Alberti's Theorem.

Azema martingales arise naturally in the study of the chaotic representation property; they also provide classical interpretations of quantum stochastic calculus. The talk will not insist on these aspects, but only define these processes and address the problem of their classification. This raises algebraic questions concerning tensors. Everyone knows that matrices can be diagonalized in some common orthonormal basis if and only if they are symmetric and commute with each other; we shall see an analogous statement for tensors with more
than two indices. This, and other theorems in the same vein, make it possible to associate to any multidimensional Azema martingale an orthogonal decomposition of the state space into one- and two-dimensional subspaces; the behaviour of the process becomes simpler when split into its components in these sub-spaces.

We shall discuss the moduli problem for irreducible holomorphic symplectic manifolds. If these manifolds are equipped with a polarization (an ample line bundle), then they are parametrized by (coarse) moduli spaces. We shall relate these moduli spaces to arithmetic quotients of type IV domains and discuss when they are rational or not. This is joint work with V.Gritsenko and G.K.Sankaran.

 "Scattering amplitudes in gauge theories and gravity have extraordinary properties that are completely invisible in the textbook formulation of quantum field theory using Feynman diagrams. In this usual approach, space-time locality and quantum-mechanical unitarity are made manifest at the cost of introducing huge gauge redundancies in our description of physics. As a consequence, apart from the very simplest processes, Feynman diagram calculations are enormously complicated, while the final results turn out to be amazingly simple, exhibiting hidden infinite-dimensional symmetries. This strongly suggests the existence of a new formulation of quantum field theory where locality and unitarity are derived concepts, while other physical principles are made more manifest. The past few years have seen rapid advances towards uncovering this new picture, especially for the maximally supersymmetric gauge theory in four dimensions.

These developments have interwoven and exposed connections between a remarkable collection of ideas from string theory, twistor theory and integrable systems, as well as a number of new mathematical structures in algebraic geometry. In this talk I will review the current state of this subject and describe a number of ongoing directions of research."

We show how to solve optimization problems in the presence of proportional transaction costs by determining a shadow price, which is a solution to the dual problem. Put differently, this is a fictitious frictionless market evolving within the bid-ask spread, that leads to the same optimization problem as in the original market with transaction costs. In addition, we also discuss how to obtain asymptotic expansions of arbitrary order for small transaction costs. This is joint work with Stefan Gerhold, Paolo Guasoni, and Walter Schachermayer.

The timing of developmental milestones such as egg hatch or bud break

can be important predictors of population success and survival. Many

insect species rely directly on temperature as a cue for their

developmental timing. With environments constantly under presure to

change, developmental timing has become highly adaptive in order to

maintain seasonal synchrony. However, climatic change is threatening

this synchrony.

Our model couples existing models of developmental timing to a

quatitative genetics framework which descibes the evolution of

developmental parameters. We use this approach to examine the ability of a

population to adapt to an enviroment that it is highly maladapted to.

Through a combination of numerical and analtyical approaches we explore

the dynamics of the infinite dimensional system of

integrodifference equations. The model indicates that developmental timing

is surprisingly robust in its ability to maitain synchrony even under

climatic change which works constantly to maintain maladaptivity.

The mechanics of thin elastic or viscous objects has applications in e.g. the buckling of engineering structures, the spinning of polymer fibers, or the crumpling of plates and shells. During the past decade the mathematics, mechanics and physics communities have witnessed an upsurge of interest in those issues. A general question is to how patterns are formed in thin structures. In this talk I consider two illustrative problems: the shapes of an elastic knot, and the stitching patterns laid down by a viscous thread falling on a moving belt. These intriguing phenomena can be understood by using a combination of approaches, ranging from numerical to analytical, and based on exact equations or low-dimensional models.

In this talk, we focus on the analytical properties of a decentralized auction, namely the PAUSE Auction Procedure. We prove that the revenue of the auctioneer from PAUSE is greater than or equal to the profit from the well-known VCG auction when there are only two bidders and provide lower bounds on the profit for arbitrary number of bidders. Based on these bounds and observations from auctions with few items, we propose a modification of the procedure that increases the profit. We believe that this study, which is still in progress, will be a milestone in designing better decentralized auctions since it is the first analytical study on such auctions with promising results.

Much mathematical work has gone into the creation of time-consistent nonlinear expectations. When we think of implementing these, various problems arise and destroy the beautiful consistency properties we have worked so hard to create. One of these problems is to do with horizon dependence, in particular, where a portfolio's value is considered at a time t+m, where t is the present time and m is a fixed horizon.

In this talk we shall discuss various notions of time consistency and the corresponding solution concepts. In particular, we shall focus on notions which pay attention to the space of available policies, allowing for commitment devices and non-markovian restrictions. We shall see that, for any time-consistent nonlinear expectation, there is a notion of time consistency which is satisfied by the moving horizon problem.

We'll survey some of the ways that hyperbolic groups have been studied

using analysis on their boundaries at infinity.

We analyze the question of the minimal index of a normal subgroup in a free group which does not contain a given element. Recent work by BouRabee-McReynolds and Rivin give estimates for the index. By using results on the length of shortest identities in finite simple groups we recover and improve polynomial upper and lower bounds for the order of the quotient. The bounds can be improved further if we assume that the element lies in the lower central series.

I describe a conjecture equating the two items appearing in the title.

In this talk we will first consider the Allen-Cahn action functional that controls the probability of rare events in an Allen-Cahn type equation with additive noise. Further we discuss a perturbation of the Allen-Cahn equation by a stochastic flow. Here we will present a tightness result in the sharp interface limit and discuss the relation to a version of stochastically perturbed mean curvature flow. (This is joint work with Luca Mugnai, Leipzig, and Hendrik Weber, Warwick.)

Coarse geometry provides a very useful organising point of view on the study
of geometry and analysis of discrete metric spaces, and has been very
successful in the context of geometric group theory and its applications. On
the other hand, the work of Carlsson, Ghrist and others on persistent
homology has paved the way for applications of topological methods to the
study of broadly understood data sets. This talk will provide an
introduction to this fascinating topic and will give an overview of possible
interactions between the two.

Topological spaces and manifolds are commonly used to model configuration
spaces of systems of various nature. However, many practical tasks, such as
those dealing with the modelling, control and design of large systems, lead
to topological problems having mixed topological-probabilistic character
when spaces and manifolds depend on many random parameters.
In my talk I will describe several models of stochastic algebraic topology.
I will also mention some open problems and results known so far.

"Rough paths of inhomogeneous degree of smoothness (Pi-rough paths) can be treated as p-rough paths (of homogeneous degree of
smoothness) for a sufficiently large p. The theory of integration with respect to p-rough paths can be applied to prove existence and uniqueness of solutions of differential equations driven by Pi-rough paths. However the required conditions on the one-form determining the differential equation are too strong and can be weakened. The talk proves the existence and uniqueness under weaker conditions and explores some applications of Pi-rough paths

The behaviour of the tail of the distribution of the first passage time over a fixed level has been known for many years, but until recently little was known about the behaviour of the probability mass function or density function. In this talk we describe recent results of Vatutin and Wachtel, Doney, and Doney and Rivero which give such information whenever the random walk or Levy process is asymptotically stable.

Many proteins cleave and reseal DNA molecules in precisely orchestrated
ways. Modelling these reactions has often relied on the axis of the DNA
double helix
being circular, so these cut-and-seal mechanisms can be
tracked by corresponding changes in the knot type of the DNA axis.
However, when the DNA molecule is linear, or the
protein action does not manifest itself as a change in knot type, or the
knots types are not 4-plats, these knot theoretic models are less germane.

We thus give a taxonomy of local DNA axis configurations. More precisely, we
characterise
all rational tangles obtained from a given rational tangle via a rational
subtangle
replacement (RSR). This builds on work of Berge and Gabai. 
We further determine the sites for these RSR of distance greater than 1.
Finally, we classify all knots in lens spaces whose exteriors are
generalised Seifert fibered spaces and their lens space surgeries, extending work of
Darcy-Sumners.

Biologically then, this classification is endowed with a distance that
determines how many protein reactions
of a particular type (corresponding to steps of a specified size) are
needed to proceed from one local conformation to another.
We conclude by discussing a variety of biological applications of this
categorisation.

Joint work with Ken Baker

The central axis of the famous DNA double helix can become knotted
or linked as a result of numerous biochemical processes, most notably
site-specific recombination. Site-specific recombinases are naturally
occurring enzymes that cleave and reseal DNA molecules in very precise ways.
As a by product of their main purpose, they manipulate cellular DNA in
topologically interesting and non-trivial ways. So if the axis of the DNA
double helix is circular, these cut-and-seal mechanisms can be tracked by
corresponding changes in the knot type of the DNA axis.  In this talk, I'll
explain several topological strategies to investigate these biological
situations. As a concrete example, I will disscuss my recent work, which
predics what types of DNA knots and links can arise from site-specific
recombination on DNA twist knots.

Persistent homology is a relatively new tool to analyse the topology of data sets.

We will give a brief introduction and tutorial as preparation for the third talk in the afternoon.