Past

Fibrations are a valuable tool in the study of the geometry of higher dimensional algebraic varieties. By expressing a higher dimensional variety as a fibration by lower dimensional varieties, we can deduce much about its properties. Whilst the theory of elliptic fibrations is very well developed, fibrations by higher dimensional varieties, especially K3 surfaces, are only just beginning to be studied. In this talk I study a special case of the K3-fibration, where the general fibres admit a <2>-polarisation and the base of the fibration is a nonsingular curve.

We study the Neumann and regularity boundary value problems for a divergence form elliptic equation in the plane. We assume the gradient

of the coefficient matrix satisfies a Carleson measure condition and consider data in L^p, 1

The Navier-Stokes equation with a non-linear viscous term will be considered, p is the exponent of non-linearity.

An existence theorem is proved for the case when the convection term is not subordinate to the viscous

term, in particular for the previously open case p

There has been much recent progress in extending Griffith's criterion for

crack growth into mathematical models for quasi-static crack evolution

that are well-posed, in the sense that there exist solutions that can be

numerically approximated. However, mathematical progress in dynamic

fracture (crack growth consistent with Griffith's criterion, together with

elastodynamics) has been meager. We describe some recent results on a

phase-field model of dynamic fracture, as well as some models based on a

"sharp interface" instead of a phase-field.

Some possible strategies for showing existence for these last models will

also be described.

Baumslag-Solitar groups are very simple groups which are not Hopfian (they are isomorphic to proper quotients). I will discuss these groups, as well as their obvious generalizations, with emphasis on their automorphisms and their generating sets

We will examine the typical structure of random polytopes by projecting the three fundamental regular polytopes: the simplex, cross-polytope, and hypercube. Along the way we will explore the implications of their structure for information acquisition and optimization. Examples of these implications include: that an N-vector with k non-zeros can be recovered computationally efficiently from only n random projections with n=2e k log(N/n), or that for a surprisingly large set of optimization problems the feasible set is actually a point. These implications are driving a new signal processing paradigm, Compressed Sensing, which has already lead to substantive improvements in various imaging modalities. This work is joint with David L. Donoho.

We will consider a (sub) critical Galton-Watson process with neutral mutations (infinite alleles model), and decompose the entire population into clusters of individuals carrying the same allele. We shall specify the law of this allelic partition in terms of the distribution of the number of clone-children and the number of mutant-children of a typical individual. Some limit theorems related to the distribution of the allelic partition will be also presented.

We discuss how various types of orientational and

translational ordering in different liquid crystal phases are

described by macroscopic tensor order parameters. In

particular, we consider a mean-field molecular-statistical

theory of the transition from the orthogonal uniaxial smectic

phase and the tilted biaxial phase composed of biaxial

molecules. The relationship between macroscopic order

parameters, molecular invariant tensors and the symmetry of

biaxial molecules is discussed in detail. Finally we use

microscopic and macroscopic symmetry arguments to consider the

mechanisms of the ferroelectric ordering in tilted smectic

phases determined by molecular chirality.

Abstract: There has been considerable interest recently in the relation between certain 3d supersymmetric Chern-Simons theories, M2-branes, and the AdS_4/CFT_3 correspondence. In this talk I will show that the moduli space of a 3d N=2 Chern-Simons quiver gauge theory always contains a certain branch of the moduli space of a parent 4d N=1 quiver gauge theory. In particular, starting with a 4d quiver theory dual to a Calabi-Yau 3-fold singularity, for certain general choices of Chern-Simons levels this branch of the corresponding 3d theory is a Calabi-Yau 4-fold singularity. This leads to a simple general method for constructing candidate 3d N=2 superconformal Chern-Simons quivers with AdS_4 gravity duals. As simple, but non-trivial, examples, I will identify a family of Chern-Simons quiver gauge theories which are candidate AdS_4/CFT_3 duals to an infinite class of toric Sasaki-Einstein seven-manifolds with explicit metrics.

We begin by the study of the problem of the exponential utility maximization. As opposed to most of the papers dealing with this subject, the investors’ trading strategies we allow underly constraints described by closed, but not necessarily convex, sets. Instead of the well-known convex duality approach, we apply a backward stochastic differential equation (BSDE) approach. This leads to the study of quadratic BSDEs. The second part gives the recent result on the existence and uniqueness of solution to quadratic BSDEs. We give also the connection between these BSDEs and quadratic PDEs. The last part will show that quadratic BSDE is critic. That is, if the BSDE is superquadratic, there exists always some BSDE without solution; and there is infinite many solutions when there is one solution. This phenomenon does not exist for quadratic and superquadratic PDEs.

[This is a joint seminar with OASIS]

A formulation of quantum mechanics in terms of symmetric monoidal categories

provides a logical foundation as well as a purely diagrammatic calculus for

it. This approach was initiated in 2004 in a joint paper with Samson

Abramsky (Ox). An important role is played by certain Frobenius comonoids,

abstract bases in short, which provide an abstract account both on classical

data and on quantum superposition. Dusko Pavlovic (Ox), Jamie Vicary (Ox)

and I showed that these abstract bases are indeed in 1-1 correspondence with

bases in the category of Hilbert spaces, linear maps, and the tensor

product. There is a close relation between these abstract bases and linear

logic. Joint work with Ross Duncan (Ox) shows how incompatible abstract

basis interact; the resulting structures provide a both logical and

diagrammatic account which is sufficiently expressive to describe any state

and operation of "standard" quantum theory, and solve standard problems in a

non-standard manner, either by diagrammatic rewrite or by automation.

But are there interesting non-standard models too, and what do these teach

us? In this talk we will survey the above discussed approach, present some

non-standard models, and discuss in how they provide new insights in quantum

non-locality, which arguably caused the most striking paradigm shift of any

discovery in physics during the previous century. The latter is joint work

with Bill Edwards (Ox) and Rob Spekkens (Perimeter Institute).

In a paper from 1994, 'The density of rational points on non-singular hypersurfaces', Heath-Brown developed a `multi-dimensional q-analogue'

of van der Corput's method of exponential sums, giving good bounds for the density of solutions to Diophantine equations in many variables. I will discuss this method and present some generalizations.

We focus on domain decomposition methods for systems of PDEs (versus scalar PDEs). The Smith factorization (a "pure" algebra tool) is used systematically to derive new domain decompositions methods for symmetric and unsymmetric systems of PDEs: the compressible Euler equations, the Stokes and Oseen (linearized Navier-Stokes) problem. We will focus on the Stokes system. In two dimensions the key idea is the transformation of the Stokes problem into a scalar bi-harmonic problem. We show, how a proposed domain decomposition method for the bi-harmonic problem leads to a domain decomposition method for the Stokes equations which inherits the convergence behavior of the scalar problem. Thus, it is sufficient to study the convergence of the scalar algorithm. The same procedure can also be applied to the three-dimensional Stokes problem.

We study the asymptotics of the Stokes problem in cylinders becoming unbounded in the direction of their axis. We consider

especially the case where the forces are independent of the axis coordinate and the case where they are periodic along the axis, but the same

techniques also work in a more general framework.

We present in detail the case of constant forces (in the axial direction) since it is probably the most interesting for applications and also

because it allows to present the main ideas in the simplest way. Then we briefly present the case of periodic forces on general periodic domains. Finally, we give a result under much more general assumptions on the applied forces.