A posteriori error estimates for a local-in-space timestep approach to finite element discretization of the heat equation
Moduli problems in algebraic geometry - an introduction through Hilbert and Quot schemes
Abstract
Hilbert schemes classify subschemes of a given projective variety / scheme. They are special cases of Quot schemes which are moduli spaces for quotients of a fixed coherent sheaf. Hilb and Quot are among the first examples of moduli spaces in algebraic geometry, and they are crucial for solving many other moduli problems. I will try to give you a flavour of the subject by sketching the construction of Hilb and Quot and by discussing the role they play in applications, in particular moduli spaces of stable curves and moduli spaces of stable sheaves.
17:00
15:45
14:30
Killed Branching Random Walks
Abstract
The problem is related to searching in trees. Suppose we are given a complete binary tree (a rooted tree in which the root has degree 2 and every other vertex has degree 3) with independent, identically distributed random edge weights (say copies of some random variable X, which need not be non-negative). The depth d(v) of a vertex v is the number of edges on the path from v to the root. We give each vertex v the label S_v which is the sum of the edge weights on the path from v to the root. For positive integers n, we let M_n be the maximum label of any vertex at depth n, and let M^* = max {M_n: n =0,1,...}. It is of course possible that M^* is infinity.
Under suitable moment assumptions on X, it is known that there is a constant A such that M_n/n --> A almost surely and in expectation. We call the cases A>0, A=0, and A< 0 supercritical, critical, and subcritical, respectively. When A <= 0 it makes sense to try to find the vertex of maximum weight M* in the whole tree. One possible strategy is to only explore the subtree T_0 containing the root consisting only of vertices of non-negative weight. With probability bounded away from zero this strategy finds the vertex of maximum weight. We derive precise information about the expected running time for this strategy. Equivalently, we derive precise information about the random variable |T_0|. In the process, we also derive rather precise information about M*. This answers a question of David Aldous.
12:00
Existence of rough solutions to the Einstein constraint equations without CMC or near-CMC conditions
Abstract
> There is currently tremendous interest in geometric PDE, due in part
> to the geometric flow program used successfully to attack the Poincare
> and Geometrization Conjectures. Geometric PDE also play a primary
> role in general relativity, where the (constrained) Einstein evolution
> equations describe the propagation of gravitational waves generated by
> collisions of massive objects such as black holes.
> The need to validate this geometric PDE model of gravity has led to
> the recent construction of (very expensive) gravitational wave
> detectors, such as the NSF-funded LIGO project. In this lecture, we
> consider the non-dynamical subset of the Einstein equations called the
> Einstein constraints; this coupled nonlinear elliptic system must be
> solved numerically to produce initial data for gravitational wave
> simulations, and to enforce the constraints during dynamical
> simulations, as needed for LIGO and other gravitational wave modeling efforts.
>
> The Einstein constraint equations have been studied intensively for
> half a century; our focus in this lecture is on a thirty-year-old open
> question involving existence of solutions to the constraint equations
> on space-like hyper-surfaces with arbitrarily prescribed mean
> extrinsic curvature. All known existence results have involved
> assuming either constant (CMC) or nearly-constant (near-CMC) mean
> extrinsic curvature.
> After giving a survey of known CMC and near-CMC results through 2007,
> we outline a new topological fixed-point framework that is
> fundamentally free of both CMC and near-CMC conditions, resting on the
> construction of "global barriers" for the Hamiltonian constraint. We
> then present such a barrier construction for case of closed manifolds
> with positive Yamabe metrics, giving the first known existence results
> for arbitrarily prescribed mean extrinsic curvature. Our results are
> developed in the setting of a ``weak'' background metric, which
> requires building up a set of preliminary results on general Sobolev
> classes and elliptic operators on manifold with weak metrics.
> However, this allows us to recover the recent ``rough'' CMC existence
> results of Choquet-Bruhat
> (2004) and of Maxwell (2004-2006) as two distinct limiting cases of
> our non-CMC results. Our non-CMC results also extend to other cases
> such as compact manifolds with boundary.
>
> Time permitting, we also outline some new abstract approximation
> theory results using the weak solution theory framework for the
> constraints; an application of which gives a convergence proof for
> adaptive finite element methods applied to the Hamiltonian constraint.
17:00
High frequency limit of Helmholtz equations : refraction by sharp interfaces
Abstract
We compute the high frequency limit of the Hemholtz equation with source term, in the case of a refraction index that is discontinuous along a sharp interface between two unbounded media. The asymptotic propagation of energy is studied using Wigner measures. First, in the general case, assuming some geometrical hypotheses on the index and assuming that the interface does not capture energy asymptotically, we prove that the limiting Wigner measure satisfies a stationary transport equation with source term. This result encodes the refraction phenomenon. Second, we study the particular case when the index is constant in each media, for which the analysis goes further: we prove that the interface does not capture energy asymptotically in this case.
15:45
New solutions and uniqueness results for the variational version of Euler incompressible equations
Abstract
Euler equations for incompressible fludis describe the evolution of the divergence-free velocity of a non-viscous fluid (when viscosity is present, we have the well-known Navier-Stokes equations). V. Arnold discovered that they correspond to geodesic equations in the space of volume-preserving diffeomorphisms but several exemples show that it is not always possible to solve the corresponding variational problems inducing minimal energy displacements. A solvable relaxed version, in a non-deterministic setting (measures on the path space, with possible splitting of the particles), has been introduced by Y. Brenier who intensively studied the problem. Together with M. Bernot and A. Figalli we founded new solutions and characterization results. In the talk I'll present the most interesting features of the problem and of its solutions.
14:15
14:15
Multi-level Monte Carlo
Abstract
Mike Giles recently came up with a very general technique that improves the fundamental complexity of Monte Carlo simulation in the context where stochastic differential equations are simulated numerically. I will discuss some work with Mike Giles and Xuerong Mao that extends the theoretical support for this approach to the case of financial options without globally Lipschitz payoff functions. I will also suggest other application areas where this multi-level approach might prove valuable, including stochastic computation in cell biology.
Couplings and Phenomenological Scenarios in LARGE volume string constructions
Abstract
16:30
Multiscale Analysis in Biology - Paradigms and Problems
Abstract
New techniques in cell and molecular biology have produced huge advances in our understanding of signal transduction and cellular response in many systems, and this has led to better cell-level models for problems ranging from biofilm formation to embryonic development. However, many problems involve very large numbers of cells, and detailed cell-based descriptions are computationally prohibitive at present. Thus rational techniques for incorporating cell-level knowledge into macroscopic equations are needed for these problems. In this talk we discuss several examples that arise in the context of cell motility and pattern formation. We will discuss systems in which the micro-to-macro transition can be made more or less completely, and also describe other systems that will require new insights and techniques.
14:15
The Black-Scholes and Dupire formulae interpreted in terms of Brownian last hitting times
Abstract
14.15 - 15.00 Part I
Marc Yor : The infinite horizon case.
15.00 - 15.15 A short break for questions and answers
15.15 - 16.00 Part II
Amel Bentata : The finite horizon case.
Roughly, the Black-Scholes formula is a distribution function of the maturity. This may be explained in terms of the last passage times at a given level of the underlying Brownian motion with drift.
Conversely, starting with last passage times up to finite horizon, we obtain a 2-parameter variant of the Black-Scholes formula.
14:00
Stochastic models of cell cycle regulation in eukaryotes
10:00
16:30
The many faces of discreteness in optical and atomic physics: some case examples
The Envelope Method
Abstract
The task is to compute orthogonal eigenvectors (without Gram-Schmidt) of symmetric tridiagonals for isolated clusters of close eigenvalues. We review an "old" method, the Submatrix method, and describe an extension which significantly enlarges the scope to include several mini-clusters within the given cluster. An essential feature is to find the envelope of the associated invariant subspace.
13:00
Continuous-Time Portfolio Selection with Ambiguity
Abstract
In a financial market, the appreciate rates are very difficult to estimate precisely, and in general only some confidence interval will be estimated. This paper is devoted to the portfolio selection with the appreciation rates being in a certain closed convex set rather than some precise point. We study the problem in both expected utility framework and mean-variance framework, and robust solutions are given explicitly in both frameworks.
Finite Fields and Model Theory
Abstract
I will discuss some theorems of Chatzidakis, van den Dries, and Macintyre on definable sets over finite fields (Crelle 1992). This includes a geometric decomposition theorem for definable sets and a generalization of the Lang-Weil estimates, and uses model theory of finite and pseudo-finite fields.
If time permits, I shall mention a recent application of this work by Emmanuel Kowalski on new bounds for exponential sums (Israel Journal of Math 2007).
I would also like to mention some connections to the model theory of p-adic and motivic integrals and to general problems on counting and equidistribution of rational points.
Exceptional curves on del Pezzo surfaces
Abstract
I plan to discuss some aspects the mysterious relationship between the symmetries of toroidal compactifications of M-theory and helices on del Pezzo surfaces.
The effective static and dynamic properties of composite media
Abstract
14:30
Overhang Bounds
Abstract
I shall review the construction and describe the upper bound proof, which illustrates how methods founded in algorithmic complexity can be applied to a discrete optimization problem that has puzzled some mathematicians and physicists for more than 150 years.
Full control by locally induced relaxation
Abstract
We demonstrate a scheme for controlling a large quantum system by acting
on a small subsystem only. The local control is mediated to the larger
system by some fixed coupling Hamiltonian. The scheme allows to transfer
arbitrary and unknown quantum states from a memory to the large system
("upload access") as well as the inverse ("download access").
We give sufficient conditions of the coupling Hamiltonian for the
controllability
of the system which can be checked efficiently by a colour-infection game on
the graph
that describes the couplings.
17:00
The Becker-Doering (B-D) and Lifschitz-Slyozov-Wagner (LSW) Equations
Abstract
The B-D equations describe a mean field approximation for a many body system in relaxation to equilibrium. The two B-D equations determine the time evolution of the density c(L,t) of particles with mass L, L=1,2,... One of the equations is a discretized linear diffusion equation for c(L,t), and the other is a non-local constraint equivalent to mass conservation. Existence and uniqueness for the B-D system was established in the 1980's by Ball, Carr and Penrose. Research in the past decade has concentrated on understanding the large time behavior of solutions to the B-D system. This behavior is characterized by the phenomenon of "coarsening", whereby excess density is concentrated in large particles with mass increasing at a definite rate. An important conjecture in the field is that the coarsening rate can be obtained from a particular self- similar solution of the simpler LSW system. In this talk we shall discuss the B-D and LSW equations, and some recent progress by the speaker and others towards the resolution of this conjecture.
16:00
14:15
Solving a Backward SDE with the Cubature method
Abstract
Probabilistic methods for the solution of Backward Stochastic Differential Equations (BSDE) provide us with a new approach to the problem of approximating the solution of a semi-linear PDE. Utilizing on the Markovian nature of these BSDE’s we show how one may consider the problem of numerical solutions to BSDEs within the area of weak approximations of diffusions. To emphasize this point, we suggest an algorithm based on the Cubature method on Wiener space of Lyons - Victoir. Instead of using standard discretization techniques of BSDE’s, we choose to work with the actual flow. This allows to take advantage of estimates on the derivatives of the solution of the associated semi-linear PDE and hence, we recover satisfactory convergence estimates.
MHV Rules: the missing one-loop amplitudes
Abstract
15:15
Definability in differential Hasse fields and related geometric questions
Abstract
I will give a few model theoretic properties for fields with a Hasse derivation which are existentially closed. I will explain how some type-definable sets allow us to understand properties of some algebraic varieties, mainly concerning their field of definition.
14:15