Forthcoming Seminars
|
Wed, 18/04/2012 12:30 |
Beixiang Fang (Shanghai JiaoTong University - OxPDE visitor) |
OxPDE Lunchtime Seminar |
Gibson 1st Floor SR |
| In this talk I will discuss the refraction of shocks on the interface for 2-d steady compressible flow. Particularly, the class of E-H type regular refraction is defined and its global stability of the wave structure is verified. The 2-d steady potential flow equations is employed to describe the motion of the fluid. The stability problem of the E-H type regular refraction can be reduced to a free boundary problem of nonlinear mixed type equations in an unbounded domain. The corresponding linearized problem has similarities to a generalized Tricomi problem of the linear Lavrentiev-Bitsadze mixed type equation, and it can be reduced to a nonlocal boundary value problem of an elliptic system. The later is finally solved by establishing the bijection of the corresponding nonlocal operator in a weighted Hölder space via careful harmonic analysis. This is a joint work with CHEN Shuxing and HU Dian. | |||
|
Mon, 23/04/2012 12:00 |
Carlos Nunez (Swansea University) |
String Theory Seminar |
L3 |
| I will discuss some recent progress connecting different quiver gauge theories and some applications of these results. | |||
|
Mon, 23/04/2012 14:15 |
Eckard Meinrenken (Toronto) |
Geometry and Analysis Seminar |
L3 |
|
Mon, 23/04/2012 14:15 |
BEN LEIMKUHLER (University of Edinburgh) |
Stochastic Analysis Seminar |
Oxford-Man Institute |
|
I will discuss properties of stochastic differential equations and numerical algorithms for sampling Gibbs (i.e smooth) measures. Methods such as Langevin dynamics are reliable and well-studied performers for molecular sampling. I will show that, when the objective of simulation is sampling of the configurational distribution, it is possible to obtain a superconvergence result (an unexpected increase in order of accuracy) for the invariant distribution. I will also describe an application of thermostats to the Hamiltonian vortex method in which the energetic interactions with a bath of weak vortices are treated as thermal fluctuations |
|||
|
Mon, 23/04/2012 15:45 |
PHILIPP DOERSEK (ETH Zurich) |
Stochastic Analysis Seminar |
Oxford-Man Institute |
| We consider the approximation of the marginal distribution of solutions of stochastic partial differential equations by splitting schemes. We introduce a functional analytic framework based on weighted spaces where the Feller condition generalises. This allows us to apply the theory of strongly continuous semigroups. The possibility of achieving higher orders of convergence through cubature approximations is discussed. Applications of these results to problems from mathematical finance (the Heath-Jarrow-Morton equation of interest rate theory) and fluid dynamics (the stochastic Navier-Stokes equations) are considered. Numerical experiments using Quasi-Monte Carlo simulation confirm the practicality of our algorithms. Parts of this work are joint with J. Teichmann and D. Veluscek. | |||
|
Mon, 23/04/2012 15:45 |
Lukasz Grabowksi (Imperial) |
Topology Seminar |
L3 |
| Let G be a finitely generated group generated by g_1,..., g_n. Consider the alphabet A(G) consisting of the symbols g_1,..., g_n and the symbols '+' and '-'. The words in this alphabet represent elements of the integral group ring Z[G]. In the talk we will investigate the computational problem of deciding whether a word in the alphabet A(G) determines a zero-divisor in Z[G]. We will see that a version of the Atiyah conjecture (together with some natural assumptions) imply decidability of the zero-divisor problem; however, we'll also see that in the group (Z/2 \wr Z)^4 the zero-divisor problem is not decidable. The technique which allows one to see the last statement involves "embedding" a Turing machine into a group ring. | |||
|
Mon, 23/04/2012 17:00 |
John E. Andersson (Warwick) |
Partial Differential Equations Seminar |
Gibson 1st Floor SR |
| In 1932 Signorini formulated the first variational inequality as a model of an elastic body laying on a rigid surface. In this talk we will revisit this problem from the point of view of regularity theory. We will sketch a proof of optimal regularity and regularity of the contact set. Similar result are known for scalar equations. The proofs for scalar equations are however based on maximum principles and thus not applicable to Signorini's problem which is modelled by a system of equations. | |||
|
Tue, 24/04/2012 12:00 |
Simon Brain (Luxembourg) |
Quantum Field Theory Seminar |
L3 |
|
Tue, 24/04/2012 14:30 |
Choongbum Lee (UCLA) |
Combinatorial Theory Seminar |
L3 |
It is very well known that every graph on vertices and edges admits a bipartition of size at least . This bound can be improved to for connected graphs, and for graphs without isolated vertices, as proved by Edwards, and Erdös, Gyárfás, and Kohayakawa, respectively. A bisection of a graph is a bipartition in which the size of the two parts differ by at most 1. We prove that graphs with maximum degree in fact admit a bisection which asymptotically achieves the above bounds.These results follow from a more general theorem, which can also be used to answer several questions and conjectures of Bollobás and Scott on judicious bisections of graphs.Joint work with Po-Shen Loh and Benny Sudakov |
|||
|
Tue, 24/04/2012 15:45 |
Algebraic and Symplectic Geometry Seminar |
||
|
Tue, 24/04/2012 16:15 |
John Wright (Aberdeen) |
Functional Analysis Seminar |
L1 |
|
Tue, 24/04/2012 17:00 |
Nicholas Young (Leeds) |
Functional Analysis Seminar |
L3 |
A theorem of R. Nevanlinna from 1922 characterizes the Cauchy
transforms of finite positive measures on the real line as the functions in
the Pick class that satisfy a certain growth condition on the real axis; this
result is important in the spectral theory of self-adjoint operators.
(The Pick class is the set of analytic functions in the upper half-plane
with non-negative imaginary part). I will describe a higher-dimensional
analogue of Nevanlinna's theorem. The -variable Pick class is defined to
be the set of analytic functions on the polyhalfplane with non-negative
imaginary part; we obtain four different representation formulae for functions
in the -variable Pick class in terms of the “structured resolvent" of a
densely defined self-adjoint operator. Structured resolvents are analytic
operator-valued functions on the polyhalfplane with properties analogous to those of the
familiar resolvent of a self-adjoint operator. The types of representation that a
function admits are determined by the growth of the function on the imaginary polyaxis . |
|||
|
Tue, 24/04/2012 17:00 |
Professor M. Dunwoody (Southampton) |
Algebra Seminar |
L2 |
|
Wed, 25/04/2012 10:15 |
Hye-Won Kang (Ohio State University) |
OCCAM Wednesday Morning Event |
OCCAM Common Room (RI2.28) |
|
In this talk, I will introduce stochastic models to describe the state of the chemical networks using continuous-time Markov chains. After that, I will briefly introduce Gaussian approximation using a central limit theorem, which gives a model with more detailed uctuations which may be not captured by the limiting models in multiscale approximations. Next, we consider modeling of a chemical network with both reaction and diffusion. Finally, I will talk about stochastic reaction-diffusion models of pattern formation. Spatially distributed signals called morphogens influence gene expression that determines phenotype identity of cells. Generally, different cell types are segregated by boundary between |
|||
|
Wed, 25/04/2012 16:00 |
Moritz Rodenhausen |
Junior Geometric Group Theory Seminar |
SR2 |
|
A construction by McCool gives rise to a finite presentation for the stabiliser of a finite set of conjugacy classes in a free group under the action of Aut(F_n) or Out(F_n). An important concept of my talk are rigid elements, which will allow to simplify these huge presentations. Finally I will sketch applications to centralisers in Aut(F_n). |
|||
|
Thu, 26/04/2012 12:00 |
Alessandro Sisto |
Junior Geometry and Topology Seminar |
SR1 |
| Complex structures on a closed surface of genus at least 2 are in one-to-one correspondence with hyperbolic metrics, so that there is a single space, Teichmüller space, parametrising all possible complex and hyperbolic structures on a given surface (up to isotopy). We will explore how complex and hyperbolic geometry interact in Teichmüller space. | |||
|
Thu, 26/04/2012 14:00 |
Dr Alfredo Buttari (CNRS-IRIT Toulouse) |
Computational Mathematics and Applications |
Rutherford Appleton Laboratory, nr Didcot |
| The advent of multicore processors represents a disruptive event in the history of computer science as conventional parallel programming paradigms are proving incapable of fully exploiting their potential for concurrent computations. The need for different or new programming models clearly arises from recent studies which identify fine-granularity and dynamic execution as the keys to achieve high efficiency on multicore systems. This talk shows how these models can be effectively applied to the multifrontal method for the QR factorization of sparse matrices providing a very high efficiency achieved through a fine-grained partitioning of data and a dynamic scheduling of computational tasks relying on a dataflow parallel programming model. Moreover, preliminary results will be discussed showing how the multifrontal QR factorization can be accelerated by using low-rank approximation techniques. | |||
|
Thu, 26/04/2012 16:00 |
John Friedlander (Toronto) |
Number Theory Seminar |
|
|
We study exponential sums of Weyl type taken over roots of quadratic congruences. We are particularly interested in the situation where the range of summation is small compared to the discriminant of the polynomial. We are then able to give a number of arithmetic applications. This is work which is joint with W. Duke and H. Iwaniec. |
|||
|
Thu, 26/04/2012 16:00 |
Mario di Bernardo (Bristol University) |
Industrial and Applied Mathematics Seminar |
L1 |
| In a variety of problems in engineering and applied science, the goal is to design or control a network of dynamical agents so as to achieve some desired asymptotic behaviour. Examples include consensus and rendez-vous problems in robotics, synchronization of generator angles in power grids or coordination of oscillations in bacterial populations. A pressing challenge in all of these problems is to derive appropriate analytical tools to prove convergence towards the target behaviour. Such tools are not only invaluable to guarantee the desired performance, but can also provide important guidelines for the design of decentralized control strategies to steer the collective behaviour of the network of interest in a desired manner. During this talk, a methodology for analysis and design of convergence in networks will be presented which is based on the use of a classical, yet not fully exploited, tool for convergence analysis: contraction theory. As opposed to classical methods for stability analysis, the idea is to look at convergence between trajectories of a system of interest rather that at their asymptotic convergence towards some solution of interest. After introducing the problem, a methodology will be derived based on the use of matrix measures induced by non-Euclidean norms that will be exploited to design strategies to control the collective behaviour of networks of dynamical agents. Representative examples will be used to illustrate the theoretical results. | |||
|
Thu, 26/04/2012 17:00 |
Angus Macintyre (QMUL) |
Logic Seminar |
L3 |
| Shapiro's Conjecture says that two classical exponential polynomials over the complexes can have infinitely many common zeros only for algebraic reasons. I will explain the history of this, the connection to Schanuel's Conjecture, and sketch a proof for the complexes using Schanuel, as well as an unconditional proof for Zilber's fields. | |||

vertices and
edges admits a bipartition of size at least
. This bound can be improved to
for connected graphs, and
for graphs without isolated vertices, as proved by Edwards, and Erdös, Gyárfás, and Kohayakawa, respectively. A bisection of a graph is a bipartition in which the size of the two parts differ by at most 1. We prove that graphs with maximum degree
in fact admit a bisection which asymptotically achieves the above bounds.These results follow from a more general theorem, which can also be used to answer several questions and conjectures of Bollobás and Scott on judicious bisections of graphs.Joint work with Po-Shen Loh and Benny Sudakov
with non-negative imaginary part). I will describe a higher-dimensional
analogue of Nevanlinna's theorem. The
with non-negative
imaginary part; we obtain four different representation formulae for functions
in the
.