Past

In dynamical systems given by an ODE, one is interested in the basin

of attraction of invariant sets, such as equilibria or periodic

orbits. The basin of attraction consists of solutions which converge

towards the invariant set. To determine the basin of attraction, one

can use a solution of a certain linear PDE which can be approximated

by meshless collocation.

The basin of attraction of an equilibrium can be determined through

sublevel sets of a Lyapunov function, i.e. a scalar-valued function

which is decreasing along solutions of the dynamical system. One

method to construct such a Lyapunov function is to solve a certain

linear PDE approximately using Meshless Collocation. Error estimates

ensure that the approximation is a Lyapunov function.

The basin of attraction of a periodic orbit can be analysed by Borg’s

criterion measuring the time evolution of the distance between

adjacent trajectories with respect to a certain Riemannian metric.

The sufficiency and necessity of this criterion will be discussed,

and methods how to compute a suitable Riemannian metric using

Meshless Collocation will be presented in this talk.

TBA

One of important subjects in the study of transonic flow is to understand a global structure of flow through a convergent-divergent nozzle so called a de Laval nozzle. Depending on the pressure at the exit of the de Laval nozzle, various patterns of flow may occur. As an attempt to understand such a phenomenon, we introduce a new potential flow model called 'non-isentropic potential flow system' which allows a jump of the entropy across a shock, and use this model to rigorously prove the unique existence and the stability of transonic shocks for a fixed exit pressure. This is joint work with Mikhail Feldman.

Many interesting classes of projective varieties can be studied in terms of their graded rings. For weighted projective varieties, this has been done in the past in relatively low codimension.

Let $G$ be a simple and simply connected Lie group and $P$ be a parabolic subgroup of $G$, then homogeneous space $G/P$ is a projective subvariety of $\mathbb{P}(V)$ for some\\

$G$-representation $V$. I will describe weighted projective analogues of these spaces and give the corresponding Hilbert series formula for this construction. I will also show how one may use such spaces as ambient spaces to construct weighted projective varieties of higher codimension.

This work aims to present a new approach called Flow Curvature Method

that applies Differential Geometry to Dynamical Systems. Hence, for a

trajectory curve, an integral of any n-dimensional dynamical system

as a curve in Euclidean n-space, the curvature of the trajectory or

the flow may be analytically computed. Then, the location of the

points where the curvature of the flow vanishes defines a manifold

called flow curvature manifold. Such a manifold being defined from

the time derivatives of the velocity vector field, contains

information about the dynamics of the system, hence identifying the

main features of the system such as fixed points and their stability,

local bifurcations of co-dimension one, centre manifold equation,

normal forms, linear invariant manifolds (straight lines, planes,

hyperplanes).

In the case of singularly perturbed systems or slow-fast dynamical

systems, the flow curvature manifold directly provides the slow

invariant manifold analytical equation associated with such systems.

Also, starting from the flow curvature manifold, it will be

demonstrated how to find again the corresponding dynamical system,

thus solving the inverse problem.

Moreover, the concept of curvature of trajectory curves applied to

classical dynamical systems such as Lorenz and Rossler models

enabled to highlight one-dimensional invariant sets, i.e. curves

connecting fixed points which are zero-dimensional invariant sets.

Such "connecting curves" provide information about the structure of

the attractors and may be interpreted as the skeleton of these

attractors. Many examples are given in dimension three and more.

TBA

This talk will introduce various aspects of modern cryptography. After introducing RSA and some factoring algorithms, I will move on to how elliptic curves can be used to produce a more complex form of Diffie--Hellman key exchange.

We introduce Outer space, a contractible finite dimensional topological space on which the outer automorphism group of a free group acts 'nicely.' We will explain what 'nicely' is, and provide motivation with comparisons to symmetric spaces, analogous spaces associated to linear groups.

Following work of Bridgeland in the smooth case and Chen in the terminal singularities case, I will explain a proposal that extends the existence of flops for threefolds (and the required derived equivalences) to also cover canonical singularities.  Moreover this technique conjecturally says much more than just the existence of the flop, as it shows how the dual graph changes under the flop and also which curves in the flopped variety contract to points without contracting divisors.  This allows us to continue the Minimal Model Programme on the flopped variety in an easy way, thus producing many varieties birational to the given input.    

Due to the scaling properties of the Navier-Stokes equations,

homogeneous initial data may lead to forward self-similar solutions.

When the initial data is small enough, it is well known that the

formalism of mild solutions (through the Picard-Duhamel formula) give

such self-similar solutions. We shall discuss the issue of large initial

data, where we can only prove the existence of weak solutions; those

solutions may lack self-similarity, due to the fact that we have no

results about uniqueness for such weak solutions. We study some tools

which may be useful to get a better understanding of those weak solutions.

Suppose that $C$ and $C'$ are cubic forms in at least 19 variables over a

$p$-adic field $k$. A special case of a conjecture of Artin is that the

forms $C$ and $C'$ have a common zero over $k$. While the conjecture of

Artin is false in general, we try to argue that, in this case, it is

(almost) correct! This is still work in progress (joint with

Heath-Brown), so do not expect a full answer.

As a historical note, some cases of Artin's conjecture for certain

hypersurfaces are known. Moreover, Jahan analyzed the case of the

simultaneous vanishing of a cubic and a quadratic form. The approach

we follow is closely based on Jahan's approach, thus there might be

some overlap between his talk and this one. My talk will anyway be

self-contained, so I will repeat everything that I need that might

have already been said in Jahan's talk.

Abstract: There has in the last year been much progresson the universality problem for the spectra of a Wigner random matrices, i.e.Hermitian or symmetric random matrices with independent elements. I will givesome background on this problem and also discuss what can be said when we onlyassume a few moments of the matrix elements to be finite.

A copolymer is a chain of repetitive units (monomers) that

are almost identical, but they differ in their degree of

affinity for certain solvents. This difference leads to striking

phenomena when the polymer fluctuates

in a non-homogeneous medium, for example made up by two solvents

separated by an interface.

One may observe, for exmple, the localization of the polymer at the

interface between the two solvents.

Much of the literature on the subject focuses on the most basic model

based on the simple symmetric random walk on the integers, but

E. Bolthausen and F. den Hollander (AP 1997) pointed out

the convergence of the (rescaled) free energy of such a discrete model

toward

the free energy of a continuum model, based on Brownian motion,

in the limit of weak polymer-solvent coupling. This result is

remarkable because it strongly suggests

a universal feature for copolymer models. In this work we prove that

this is indeed the case. More precisely,

we determine the weak coupling limit for a general class of discrete

copolymer models, obtaining as limits

a one-parameter (alpha in (0,1)) family of continuum models, based on

alpha-stable regenerative sets.

This is a review of hep-th/0912.4912

McBurnie: “Sound propagation through bubbly liquids”.

Hewett: "Switching on a time-harmonic acoustic source".

When the human eye looks at a distant object, the lens is held in a state of tension by a set of fibres (known as zonules) that connect the lens to the ciliary body. To view a nearby object, the ciliary muscle (which is part of the ciliary body) contracts. This reduces the tension in the zonules, the lens assumes a thicker and more rounded shape and the optical power of the eye increases.

This process is known as accommodation.

With increased age, however, the accommodation mechanism becomes increasingly ineffective so that, from an age of about 50 years onwards, it effectively ceases to function. This condition is known as presbyopia. There is considerable interest in the ophthalmic community on developing a better understanding of the ageing processes that cause presbyopia. As well as being an interesting scientific question in its own right, it is hoped that this improved understanding will lead to improved surgical procedures (e.g. to re-start the accommodation process in elderly cataract patients).

Let R be a number field (or a recursive subring of anumber field) and consider the polynomial ring R[T].

We show that the set of polynomials with integercoefficients is diophantine (existentially definable) over R[T].

Applying a result by Denef, this implies that everyrecursively enumerable subset of R[T]^k is diophantine over R[T].

Some years ago Hall and Smith in a number of papers developed a theory governing the interaction of vortices and waves in shear flows. In recent years immense interest has been focused on so-called self-sustained processes in turbulent shear flows where the importance of waves interacting with streamwise vortex flows has been elucidated in a number of; see for example the work of Waleffe and colleagues, Kerswell, Gibson, etc. These processes have a striking resemblance to coherent structures observed in turbulent shear flow and for that reason they are often referred to as exact coherent structures. It is shown that the structures associated with the so-called 'lower branch' state, which has been shown to play a crucial role in these self-sustained process, is nothing but a Rayleigh wave vortex interaction with a wave system generating streamwise vortices inside a critical layer. The theory enables the reduction of the 3D Navier Stokes equations to a coupled system for a steady streamwise vortex and an inviscid wave system. The reduced system for the streamwise vortices must be solved with jump conditions in the shear across the critical layer and the position of that layer constitutes a nonlinear pde eigenvalue problem. Remarkable agreement between the asymptotic theory and numerical simulations is found thereby demonstrating the importance of vortex-wave interaction theory in the mathematical description of coherent structures in turbulent shear flows. The theory offers the possibility of drag reduction in turbulent shear flows by controlling the flow to the neighborhood of the lower branch state. The relevance of the work to more general shear flows is also discussed.

tba

In the last few years, there has been renewed interest in stochastic

finite element methods (SFEMs), which facilitate the approximation

of statistics of solutions to PDEs with random data. SFEMs based on

sampling, such as stochastic collocation schemes, lead to decoupled

problems requiring only deterministic solvers. SFEMs based on

Galerkin approximation satisfy an optimality condition but require

the solution of a single linear system of equations that couples

deterministic and stochastic degrees of freedom. This is regarded as

a serious bottleneck in computations and the difficulty is even more

pronounced when we attempt to solve systems of PDEs with

random data via stochastic mixed FEMs.

In this talk, we give an overview of solution strategies for the

saddle-point systems that arise when the mixed form of the Darcy

flow problem, with correlated random coefficients, is discretised

via stochastic Galerkin and stochastic collocation techniques. For

the stochastic Galerkin approach, the systems are orders of

magnitude larger than those arising for deterministic problems. We

report on fast solvers and preconditioners based on multigrid, which

have proved successful for deterministic problems. In particular, we

examine their robustness with respect to the random diffusion

coefficients, which can be either a linear or non-linear function of

a finite set of random parameters with a prescribed probability

distribution.

After reviewing the salient details from last week's seminar, I will construct an explicit example of a spectral curve, using co-Higgs bundles of rank 2. The role of the spectral curve in understanding the moduli space will be made clear by appealing to the Hitchin fibration, and from there inferences (some of them very concrete) can be made about the structure of the moduli space. I will make some conjectures about the higher-dimensional picture, and also try to show how spectral varieties might live in that picture.

tba

I will describe some more of the deformation theory necessary for the first talk. This leads to a number of natural questions and counterexamples. This talk requires a strong stomach, or a fanatical devotion to symmetric obstruction theories.

In this talk we describe a general framework for deriving

modified equations for stochastic differential equations with respect to

weak convergence. We will start by quickly recapping of how to derive

modified equations in the case of ODEs and describe how these ideas can

be generalized in the case of SDEs. Results will be presented for first

order methods such as the Euler-Maruyama and the Milstein method. In the

case of linear SDEs, using the Gaussianity of the underlying solutions,

we will derive a SDE that the numerical method solves exactly in the

weak sense. Applications of modified equations in the numerical study

of Langevin equations and in the calculation of effective diffusivities

will also be discussed.

Canonical quantization of gravitational field will beconsidered. Examples for which the procedure can be completed (without reducingthe degrees of freedom) will be presented and discussed. The frameworks appliedwill be: Loop Quantum Gravity, relational construction of the Dirac observablesand deparametrization.

In the talk we discuss some results of [1]. We apply our previous methods [2] to geometry and to the mappings with bounded distortion.

\textbf{Theorem 1}.  Let $v:\Omega\to\mathbb{R}$ be a $C^1$-smooth function on a domain (open connected set) $\Omega\subset\mathbb{R}^2$. Suppose

$$ (1)\qquad \operatorname{Int} \nabla v(\Omega)=\emptyset. $$

Then $\operatorname{meas}\nabla v(\Omega)=0$.

Here $\operatorname{Int}E$ is the interior of ${E}$, $\operatorname{meas} E$ is the Lebesgue measure of ${E}$. Theorem 1 is a straight consequence of the following two results.

\textbf{ Theorem 2 [2]}.  Let $v:\Omega\to\mathbb{R}$ be a $C^1$-smooth function on a domain $\Omega\subset\mathbb{R}^2$. Suppose (1) is fulfilled. Then the graph of $v$ is a normal developing surface. 

Recall that a $C^1$-smooth manifold $S\subset\mathbb{R}^3$ is called  a normal developing surface [3] if for any $x_0\in S$ there exists a straight segment $I\subset S$ (the point $x_0$ is an interior point of $I$) such that the tangent plane to $S$ is stationary along $I$.

\textbf{Theorem 3}.  The spherical image of any $C^1$-smooth normal developing surface $S\subset\mathbb{R}^3$ has the area (the Lebesgue measure) zero.

Recall that the spherical image of a surface $S$ is the set $\{\mathbf{n}(x)\mid x\in S\}$, where $\mathbf{n}(x)$ is the unit normal vector to $S$ at the point~$x$. From Theorems 1--3 and the classical results of A.V. Pogorelov (see [4, Chapter 9]) we obtain the following corollaries Corollary 4. Let the spherical image of a $C^1$-smooth surface $S\subset\mathbb{R}^3$ have no interior points. Then this surface is a surface of zero extrinsic curvature in the sense of Pogorelov.

\textbf{ Corollary 5}. Any $C^1$-smooth normal developing surface $S\subset\mathbb{R}^3$ is a surface of zero extrinsic curvature in the sense of Pogorelov.

\textbf{Theorem 6}. Let $K\subset\mathbb{R}^{2\times 2}$ be a compact set and the topological dimension of $K$ equals 1. Suppose there exists $\lambda> 0$ such that $\forall A,B\in K, \, \, |A-B|^2\le\lambda\det(A-B).$

Then for any Lipschitz mapping $f:\Omega\to\mathbb R^2$ on a domain $\Omega\subset\mathbb R^2$ such that $\nabla f(x)\in K$ a.e. the identity $\nabla f\equiv\operatorname{const}$ holds.

Many partial cases of Theorem 6 (for instance, when $K=SO(2)$ or $K$ is a segment) are well-known (see, for example, [5]).

The author was supported by the Russian Foundation for Basic Research (project no. 08-01-00531-a).

[1] {Korobkov M.\,V.,} {``Properties of the $C^1$-smooth functions whose gradient range has topological dimension~1,'' Dokl. Math., to appear.}

[2] {Korobkov M.\,V.} {``Properties of the $C^1$-smooth functions with nowhere dense gradient range,'' Siberian Math. J., \textbf{48,} No.~6, 1019--1028 (2007).}

[3] { Shefel${}'$ S.\,Z.,} {``$C^1$-Smooth isometric imbeddings,'' Siberian Math. J., \textbf{15,} No.~6, 972--987 (1974).}

[4] {Pogorelov A.\,V.,} {Extrinsic geometry of convex surfaces, Translations of Mathematical Monographs. Vol. 35. Providence, R.I.: American Mathematical Society (AMS). VI (1973).}

[5] {M\"uller ~S.,} {Variational Models for Microstructure and Phase Transitions. Max-Planck-Institute for Mathematics in the Sciences. Leipzig (1998) (Lecture Notes, No.~2. http://www.mis.mpg.de/jump/publications.html).}