Past

We present a selection of recent results pertaining to Hessian

and Monge-Ampere equations, where the Hessian matrix is augmented by a

matrix valued lower order operator. Equations of this type arise in

conformal geometry, geometric optics and optimal transportation.In

particular we will discuss structure conditions, due to Ma,Wang and

myself, which imply the regularity of solutions.These conditions are a

refinement of a condition used originally by Pogorelev for general

equations of Monge-Ampere type in two variables and called strong

ellipticity by him.

A 2-dimensional Topological Quantum Field Theory (TQFT) is a symmetric monoidal functor from the category of 2-dimensional cobordisms to the category of vector spaces. A classic result states that 2d TQFTs are classified by commutative Frobenius algebras.  I show how to extend this result to open-closed TQFTs using a class of 2-manifolds with corners, how to use the Moore-Segal relations in order to find a canonical form and a complete set of invariants for our cobordisms and how to classify open-closed TQFTs algebraically.  Open-closed TQFTs can be used to find algebraic counterparts of Bar-Natan's topological extension of Khovanov homology from links to tangles and in order to get hold of the braided monoidal 2-category that governs this aspect of Khovanov homology. I also sketch what open-closed TQFTs reveal about the categorical ladder of combinatorial manifold invariants according to Crane and Frenkel.

references:

1] A. D. Lauda, H. Pfeiffer:

Open-closed strings: Two-dimensional extended TQFTs and Frobenius algebras,

Topology Appl. 155, No. 7 (2008) 623-666, arXiv:math/0510664

2] A. D. Lauda, H. Pfeiffer: State sum construction of two-dimensional open-closed Topological Quantum Field Theories,

J. Knot Th. Ramif. 16, No. 9 (2007) 1121-1163,arXiv:math/0602047

3] A. D. Lauda, H. Pfeiffer: Open-closed TQFTs extend Khovanov homology from links to tangles, J. Knot Th. Ramif., in press, arXiv:math/0606331.

Mean curvature vector is the negative gradient of the area functional. Thus if we deform a submanifold along its mean curvature vector, which is called mean curvature flow (MCF), the area will decrease most rapidly. When the ambient manifold is Kahler-Einstein, being Lagrangian is preserved under MCF. It is thus very natural trying to construct special Lagrangian/ Lagrangian minimal through MCF. In this talk, I will make a brief introduction and report some of my recent works with my coauthors in this direction, which mainly concern the singularities of the flow.

There are two basic theories of curve counting on Calabi-Yau threefolds. Donaldson-Thomas theory arises by considering curves as subschemes; Gromov-Witten theory arises by considering curves as the image of maps. Both theories can also be formulated for orbifolds. Let X be a dimension three Calabi-Yau orbifold and let

Y --> X be a Calabi-Yau resolution. The Gromov-Witten theories of X and Y are related by the Crepant Resolution Conjecture. The Gromov-Witten and Donaldson-Thomas theories of Y are related by the famous MNOP conjecture. In this talk I will (with some provisos) formulate the remaining equivalences: the crepant resolution conjecture in Donaldson-Thomas theory and the MNOP conjecture for orbifolds. I will discuss examples to illustrate and provide evidence for the conjectures.

We consider finite sequences $h = (h_1, . . . h_s)$ of real polynomials in $X_1, . . . ,X_n$ and assume that

the semi-algebraic subset $S(h)$ of $R^n$ defined by $h1(a1, . . . , an) \leq 0$, . . . , $hs(a1, . . . , an) \leq 0$ is

bounded. We call $h$ (quadratically) archimedean if every real polynomial $f$, strictly positive on

$S(h)$, admits a representation

$f = \sigma_0 + h_1\sigma_1 + \cdots + h_s\sigma_s$

with each $\sigma_i$ being a sum of squares of real polynomials.

If every $h_i$ is linear, the sequence h is archimedean. In general, h need not be archimedean.

There exists an abstract valuation theoretic criterion for h to be archimedean. We are, however,

interested in an effective procedure to decide whether h is archimedean or not.

In dimension n = 2, E. Cabral has given an effective geometric procedure for this decision

problem. Recently, S. Wagner has proved decidability for all dimensions using among others

model theoretic tools like the Ax-Kochen-Ershov Theorem.

A modelling framework is introduced in which there is a small agent who is more susceptible to the flow of information in the market as compared to the general market participants. In this framework market participants have access to a stream of noisy information concerning the future returns of the asset, whereas an informative trader has access to an additional information source which is also obscured by further noise, which may be correlated with the market noise. The informative trader utilises the extraneous information source to seek statistical arbitrage opportunities, in exchange with accommodating the additional risk. The information content of the market concerning the value of the impending cash flow is represented by the mutual information of the asset price and the associated cash flow. The worthiness of the additional information source is then measured in terms of the difference of mutual information between market participants and the informative trader. This difference is shown to be strictly nonnegative for all parameter values in the model, when signal-to-noise ratio is known in advance. Trading strategies making use of the additional information are considered. (Talk is based on joint work with M.H.A. Davis (Imperial) & R.L. Friedman (Imperial & Royal Bank of Scotland).

Refining Julia Robinson's 1949 work on the undecidability of the first order theory of Q, we prove that Z is definable in Q by a formula with 2 universal quantifiers followed by 7 existential quantifiers. It follows that there is no algorithm for deciding, given an algebraic family of Q-morphisms, whether there exists one that is surjective on rational points.

The birational classification of varieties is an interesting and ongoing problem in algebraic geometry. This talk aims to give an

overview of the progress made on this problem in the special case where the varieties considered are surfaces in projective space.

Linear operators preserving non-vanishing properties are an important

tool in e.g. combinatorics, the Lee-Yang program on phase transitions, complex analysis, matrix theory. We characterize all linear operators on spaces of multivariate polynomials preserving the property of being non-vanishing when the variables are in prescribed open circular domains, which solves the higher dimensional counterpart of a long-standing classification problem going back to P\'olya-Schur. This also leads to a self-contained theory of multivariate stable polynomials and a natural framework for dealing with Lee-Yang and Heilmann-Lieb type problems in a uniform manner. The talk is based on joint work with Petter Brändén.

In this talk I shall review analytical and numerical results on equilibrium configurations of rotating fluid bodies within Einstein's theory of gravitation.

I will discuss recent results concerning the uniqueness of Lagrangian particle trajectories associated to weak solutions of the Navier-Stokes equations. In two dimensions, for which the weak solutions are unique, I will present a mcuh simpler argument than that of Chemin & Lerner that guarantees the uniqueness of these trajectories (this is joint work with Masoumeh Dashti, Warwick). In three dimensions, given a particular weak solution, Foias, Guillopé, & Temam showed that one can construct at leaset one trajectory mapping that respects the volume-preserving nature of the underlying flow. I will show that under the additional assumption that $u\in L^{6/5}(0,T;L^\infty)$ this trajectory mapping is in fact unique (joint work with Witek Sadowski, Warsaw).

We consider one-dimensional Brownian motion conditioned (in a suitable

sense) to have a local time at every point and at every moment bounded by some fixed constant. Our main result shows that a phenomenon of entropic repulsion occurs: that is, this process is ballistic and has an asymptotic velocity approximately 4.5860... as high as required by the conditioning (the exact value of this constant involves the first zero of a Bessel function). I will also describe other conditionings of Brownian motion in which this principle of entropic repulsion manifests itself.

Joint work with Itai Benjamini.

Particle current is the net number of particles that pass an observer who moves with a deterministic velocity V. Its fluctuations in time-stationary interacting particle systems are nontrivial and draw serious attention. It has been known for a while that in most models diffusive scaling and the corresponding Central Limit Theorem hold for this quantity. However, such normal fluctuations disappear for a particular value of V, called the characteristic speed.

For this velocity value, the correct scaling of particle current fluctuations was shown to be t1/3 and the limit distribution was also identified by K. Johansson in 2000 and later by P. L. Ferrari and H. Spohn in 2006. These results use heavy combinatorial and analytic tools, and their application is limited to a few particular models, one of which is the totally asymmetric simple exclusion process (TASEP). I will explain a purely probabilistic, more robust approach that provides the t2/3-scaling of current variance, but not the limit distribution, in (non-totally) asymmetric simple exclusion (ASEP) and some other particle systems. I will also point out a key feature of the models which allows the proof of such universal behaviour.

Joint work with Júlia Komjáthy and Timo Seppälläinen)

Abstract: We discuss an extension of Hitchin's generalised geometry, based on the exceptional groups, that provides a unified geometrical description of supersymmetric flux backgrounds in eleven-dimensional supergravity. We focus on N=1 seven-dimensional compactifications. The background is characterised by an element phi, the analogue of the generalised complex structure, that lies in a particular orbit of the 912 representation of E7. As an application we show that the four-dimensional effective superpotential takes a universal form, that is, a homogeneous E7-invariant functional of phi.

Let E be an elliptic curve defined by a cubic equation with rational coefficients.
The Sato-Tate Conjecture is a statistical assertion about the variation of the number of points of E over finite fields. I review some of the main steps in my proof of this conjecture with Clozel, Shepherd-Barron, and Taylor, in the case when E has non-integral j-invariant. Emphasis will be placed on the steps involving moduli spaces of certain Calabi-Yau hypersurfaces with level structure.

If one admits a version of the stable trace formula that should soon be available, the same techniques imply that, when E and E' are two elliptic curves that are not isogenous, then the numbers of their points over finite fields are statistically independent. For reasons that have everything to do with the current limits to our understanding of the Langlands program, the analogous conjectures for three or more non-isogenous elliptic curves are entirely out of reach.

Fixed-point logics are a class of logics designed for formalising

recursive or inductive definitions. Being initially studied in

generalised recursion theory by Moschovakis and others, they have later

found numerous applications in computer science, in areas

such as database theory, finite model theory, and verification.

A common feature of most fixed-point logics is that they extend a basic

logical formalism such as first-order or modal logic by explicit

constructs to form fixed points of definable operators. The type of

fixed points that can be formed as well as the underlying logic

determine the expressive power and complexity of the resulting logics.

In this talk we will give a brief introduction to the various extensions

of first-order logic by fixed-point constructs and give some examples

for properties definable in the different logics. In the main part of

the talk we will concentrate on extensions of first-order

logic by least and inflationary fixed points. In particular, we

compare the expressive power and complexity of the resulting logics.

The main result will be to show that while the two logics have rather

different properties, they are equivalent in expressive power on the

class of all structures.

This talk will give a survey of results in continuous-time

contract theory, and discuss open problems and plans for further

research on this topic.

The general question is how a ``principal" (a company, investors ...)

should design a payoff for compensating an ``agent" (an executive, a

portfolio manager, ...) in order to induce the best possible

performance.

The following frameworks are standard in contract theory:

(i) the principal and the agent have same, full information;

(ii) the principal cannot monitor agent's actions

(iii) the principal does not know agent's type We will discuss all

three of these problems.

The mathematical tools used are those of stochastic control theory,

stochastic maximum principle and Forward Backward Stochastic

Differential Equations.

Among optimization problems, convex problems form a special subset with two important and useful properties: (1) the existence of a strongly related dual problem that provides certified bounds and (2) the possibility to find an optimal solution using polynomial-time algorithms. In the first part of this talk, we will outline how the framework of conic optimization, which formulates structured convex problems using convex cones, facilitates the exploitation of those two properties. In the second part of this talk, we will introduce a specific cone (called the power cone) that allows the formulation of a large class of convex problems (including linear, quadratic, entropy, sum-of-norm and geometric optimization).
For this class of problems, we present a primal-dual interior-point algorithm, which focuses on preserving the perfect symmetry between the primal and dual sides of the problem (arising from the self-duality of the power cone).

We study an equilibrium model for a defaultable bond in the asymmetric dynamic information setting. The market consists of noise traders, an insider and a risk neutral market maker. Under the assumption that the insider observes the firm value continuously in time we study the optimal strategies for the insider and the optimal pricing rules for the market maker. We show that there exists an equilibrium where the insider’s trades are inconspicuous. In this equilibrium the insider drives the total demand to a certain level at the default time. The solution follows from answering the following purely mathematical question which is of interest in its own: Suppose Z and B are two independent Brownian motions with B(0)=0 and Z(0) is a positive random variable. Let T be the first time that Z hits 0. Does there exists a semimartingale X such that

1) it is a solution to the SDE

dX(t) = dB(t) + g(t,X(t),Z(t))dt

with X(0) = 1, for some appropriate function g,

2) T is the first hitting time of 0 for X, and

3) X is a Brownian motion in its own filtration?

In St Anne's College. Confirmed Speakers:

• Alfio Quarteroni (EPFL) — Heterogeneous Domain Decomposition Methods
• Laure Saint-Raymond (Paris VI & ENS) — Weak compactness methods for singular penalization problems with boundary layers
• Bryce McLeod (Oxford) — A problem in dislocation theory
• Tom Bridges (Surrey) — Degenerate conservation laws, bifurcation of solitary waves and the concept of criticality in fluid mechanics
• Neshan Wickramasekera (Cambridge) — Frequency functions and singular set bounds for branched minimal graphs

The meeting is being held in the Mary Ogilvie Lecture Theatre, St Anne’s College and will start promptly at 9:30am with the last talk finishing at 4:30pm.

For the full programme and registration pages please see: http://www2.maths.ox.ac.uk/oxpde/meetings/