String Axiverse
Abstract
String theory suggests the simultaneous presence of many ultralight axions possibly populating each decade of mass down to the Hubble scale 10^-33eV. Conversely the presence of such a plenitude of axions (an "axiverse") would be evidence for string theory, since it arises due to the topological complexity of the extra-dimensional manifold and is ad hoc in a theory with just the four familiar dimensions. We investigate how upcoming astrophysical experiments will explore the existence of such axions over a vast mass range from 10^-33eV to 10^-10eV. Axions with masses between 10^-33eV to 10^-28eV cause a rotation of the CMB polarization that is constant throughout the sky. The predicted rotation angle is of order \alpha~1/137. Axions in the mass range 10^-28eV to 10^-18eV give rise to multiple steps in the matter power spectrum, that will be probed by upcoming galaxy surveys and 21 cm line tomography. Axions in the mass range 10^-22eV to 10^-10eV affect the dynamics and gravitational wave emission of rapidly rotating astrophysical black holes through the Penrose superradiance process. When the axion Compton wavelength is of order of the black hole size, the axions develop "superradiant" atomic bound states around the black hole "nucleus". Their occupation number grows exponentially by extracting rotational energy from the ergosphere, culminating in a rotating Bose-Einstein axion condensate emitting gravitational waves. This mechanism creates mass gaps in the spectrum of rapidly rotating black holes that diagnose the presence of axions. The rapidly rotating black hole in the X-ray binary LMC X-1 implies an upper limit on the decay constant of the QCD axion f_a
14:15
Hedging portfolios in derivatives markets
Abstract
We consider the classical problem of forming portfolios of vanilla options in order to hedge more exotic derivatives. In particular, we focus on a model in which the agent can trade a stock and a family of variance swaps written on that stock. The market is only approximately complete in the sense that any submarket consisting of the stock and the variance swaps of a finite set of maturities is incomplete, yet every bounded claim is in the closure of the set of attainable claims. Taking a Hilbert space approach, we give a characterization of hedging portfolios for a certain class of contingent claims. (Joint work with Francois Berrier)
14:00
The buckling of an axisymmetric vesicle under compression
Noise stabilized transients and multiple scales
Abstract
Transient or unstable behavior is often ignored in considering long time dynamics in the deterministic world. However, stochastic effects can change the picture dramatically, so that the transients can dominate the long range behavior.
Coherence resonance is one relatively simple example of this transformation, and we consider others such as noise-driven synchronization in networks, recurrence of diseases, and stochastic stabilization in systems with delay.
The challenge is to identify common features in these phenomena, leading to new approaches for other systems of this type. Some recurring themes include the influence of multiple time scales, cooperation of both discrete and continuous aspects in the dynamics, and the remnants of underlying bifurcation structure visible through the noise.
16:00
Hilbert's tenth problem for holomorphy rings in characteristic zero, via elliptic curves
16:00
Hilbert's tenth problem for homolorphy rings in characteristic zero, via elliptic curves
A fast domain decomposition solver for the discretized Stokes equations by a stabilized finite element method
Abstract
An iterative substructuring method with balancing Neumann-Neumann preconditioner is known as an efficient parallel algorithm for the elasticity equations. This method was extended to the Stokes equations by Pavarino and Widlund [2002]. In their extension, Q2/P0-discontinuous elements are used for velocity/pressure and a Schur complement system within "benign space", where incompressibility satisfied, is solved by CG method.
For the construction of the coarse space for the balancing preconditioner, some supplementary solvability conditions are considered. In our algorithm for 3-D computation, P1/P1 elements for velocity/pressure with pressure stabilization are used to save computational cost in the stiffness matrix. We introduce a simple coarse space similar to the one of elasticity equations. Owing to the stability term, solvabilities of local Dirichlet problem for a Schur complement system, of Neumann problem for the preconditioner, and of the coarse space problem are ensured. In our implementation, local Dirichlet and Neumann problems are solved by a 4x4-block modified Cholesky factorization procedure with an envelope method, which leads to fast computation with small memory requirement. Numerical result on parallel efficiency with a shared memory computer will be shown. Direct use of the Stokes solver in an application of Earth's mantle convection problem will be also shown.
13:00
Some mathematical models from population genetics
Abstract
We take a leisurely look at some mathematical models from population genetics and the ways that they can be analysed. Some of the models have a very familiar form - for example diffusion models of population size look a lot like interest rate models. But hopefully there will also be something new.
Harmonic maps and the classification of stationary electro-vacuum black holes
Abstract
I will address the celebrated and long standing “No-Hair” conjecture that aims for
the classification of stationary, regular, electro-vacuum black hole space-times.
Besides reviewing some of the necessary concepts from general relativity I will
focus on the analysis of the singular harmonic map to which the source free Einstein-Maxwell
equations reduce in the stationary and axisymmetric case.
Grothendieck's Brauer group and the Manin obstruction
Abstract
Elliptic cohomology theories
Abstract
Using the theory of formal groups, Landweber´s exactness theorem provides means to construct interesting invariants of topological spaces out of geometric objects. I will illustrate the resulting connection between algebraic geometry and stable homotopy theory in the special case of elliptic curves.
16:30
15:45
Decomposition complexity of metric spaces
Abstract
I shall describe the notion of finite decomposition complexity (FDC), introduced in joint work with Romain Tessera and Guoliang Yu on the Novikov and related conjectures. The talk will focus on the definition of FDC and examples of groups having FDC.
15:45
Quantum Networks and Classical Self-Avoiding Random Walks
Abstract
In a quantum network model, unitary matrices are assigned to each edge and node of a graph. The quantum amplitude for a particle to propagate from node A to node B is the sum over all random walks (Feynman paths) from A to B, each walk being weighted by the ordered product of matrices along the path. In most cases these models are too difficult to solve analytically, but I shall argue that when the matrices are random elements of SU("), independently drawn from the invariant measure on that group, then averages of these quantum amplitudes are equal to the probability that a certain kind of self-avoiding *classical* random walk reaches B when started at A. This leads to various conjectures about the generic behaviour of such network models on regular lattices in two and three dimensions.
14:15
$\pi$-convergence: The dynamics of isometries of Hadamard spaces on the boundary
Abstract
It a classical result from Kleinian groups that a discrete group, $G$, of isometries of hyperbolic k-space $\Bbb H^k$ will act on the
boundary sphere, $S^{k-1}$, of $\Bbb H^k$ as a convergence group.
That is:
For every sequence of distinct isometries $(g_i)\subset G$ there is a subsequence ${g_i{_j})$ and points $n,p \in \S^{k-1}$ such that for $ x \in S^{k-1} -\{n\}$, $g_i_{j}(x) \to p$ uniformly on compact subsets
Mathematical exploration of the ergodicity of Nose-Hoover dynamics
Abstract
The accuracy of the Nos-Hoover thermostat to sample the Gibbs measure depends on the
dynamics being ergodic. It has been observed for a long time that this dynamics is
actually not ergodic for some simple systems, such as the harmonic oscillator.
In this talk, we rigourously prove the non-ergodicity of the Nos-Hoover thermostat, for
the one-dimensional harmonic oscillator.
We will also show that, for some multidimensional systems, the averaged dynamics for the limit
of infinite thermostat "mass" has many invariants, thus giving
theoretical support for either non-ergodicity or slow ergodization.
Our numerical experiments for a two-dimensional central force problem
and the one-dimensional pendulum problem give evidence for
non-ergodicity.
We also present numerical experiments for the Nose-Hoover chain with
two thermostats applied to the one-dimensional harmonic
oscillator. These experiments seem to support the non-ergodicity of the
dynamics if the masses of the reservoirs are large enough and are
consistent with ergodicity for more moderate masses.
Joint work with Frederic Legoll and Richard Moeckel