Past

In the Max Acyclic Subdigraph problem we are given a digraph $D$ and ask whether $D$ contains an acyclic subdigraph with at least $k$ arcs. The problem is NP-complete and it is easy to see that the problem is fixed-parameter tractable, i.e., there is an algorithm of running time $f(k)n$ for solving the problem, where $f$ is a computable function of $k$ only and $n=|V(D)|$. The last result follows from the fact that the average number of arcs in an acyclic subdigraph of $D$ is $m/2$, where $m$ is the number of arcs in $D$. Thus, it is natural to ask another question: does $D$ have an acyclic subdigraph with at least $m/2 +k$ arcs?

Mahajan, Raman and Sikdar (2006, 2009), and by Benny Chor (prior to 2006) asked whether this and other problems parameterized above the average are fixed-parameter tractable (the problems include Max $r$-SAT, Betweenness, and Max Lin). Most of there problems have been recently shown to be fixed-parameter tractable.

Methods involved in proving these results include probabilistic inequalities, harmonic analysis of real-valued

functions with boolean domain, linear algebra, and algorithmic-combinatorial arguments. Some new results obtained in this research are of potential interest for several areas of discrete mathematics and computer science. The examples include a new variant of the hypercontractive inequality and an association of Fourier expansions of real-valued functions with boolean domain with weighted systems of linear equations over $F^n_2$.

I’ll mention results obtained together with N. Alon, R. Crowston, M. Jones, E.J. Kim, M. Mnich, I.Z. Ruzsa, S. Szeider, and A. Yeo.

The visceral endoderm (VE) is an epithelium of approximately 200 cells

encompassing the early post-implantation mouse embryo. At embryonic day

5.5, a subset of around 20 cells differentiate into morphologically

distinct tissue, known as the anterior visceral endoderm (AVE), and

migrate away from the distal tip, stopping abruptly at the future

anterior. This process is essential for ensuring the correct orientation

of the anterior-posterior axis, and patterning of the adjacent embryonic

tissue. However, the mechanisms driving this migration are not clearly

understood. Indeed it is unknown whether the position of the future

anterior is pre-determined, or defined by the movement of the migrating

cells. Recent experiments on the mouse embryo, carried out by Dr.

Shankar Srinivas (Department of Physiology, Anatomy and Genetics) have

revealed the presence of multicellular ‘rosettes’ during AVE migration.

We are developing a comprehensive vertex-based model of AVE migration.

In this formulation cells are treated as polygons, with forces applied

to their vertices. Starting with a simple 2D model, we are able to mimic

rosette formation by allowing close vertices to join together. We then

transfer to a more realistic geometry, and incorporate more features,

including cell growth, proliferation, and T1 transitions. The model is

currently being used to test various hypotheses in relation to AVE

migration, such as how the direction of migration is determined, what

causes migration to stop, and what role rosettes play in the process.

A celebrated result in mathematical general relativity is the uniqueness of the Kerr(-Newman) black-holes as regular solutions to the stationary and axially-symmetric Einstein(-Maxwell) equations. The axial symmetry can be removed if one invokes Hawking's rigidity theorem. Hawking's theorem requires, however, real analyticity of the solution. A recent program of A. Ionescu and S. Klainerman seeks to remove the analyticity requirement in the vacuum case. They were able to show that any smooth extension of "Kerr data" prescribed on the horizon, satisfying the Einstein vacuum equations, must be Kerr, using a characterization of Kerr metric due to M. Mars. In this talk I will give a characterization for the Kerr-Newman metric, and extend the rigidity result to cover the electrovacuum case.

We consider the motion of a viscous incompressible fluid described by

the Navier-Stokes equations in a bounded cylinder with slip boundary

conditions. Assuming that $L_2$ norms of the derivative of the initial

velocity and the external force with respect to the variable along the

axis of the cylinder are sufficiently small we are able to prove long

time existence of regular solutions. By the regular solutions we mean

that velocity belongs to $W^{2,1}_2 (Dx(0,T))$ and gradient of pressure

to $L_2(Dx(0,T))$. To show global existence we prolong the local solution

with sufficiently large T step by step in time up to infinity. For this purpose

we need that $L_2(D)$ norms of the external force and derivative

of the external force in the direction along the axis of the cylinder

vanish with time exponentially.

Next we consider the inflow-outflow problem. We assume that the normal

component of velocity is nonvanishing on the parts of the boundary which

are perpendicular to the axis of the cylinder. We obtain the energy type

estimate by using the Hopf function. Next the existence of weak solutions is

proved.

The subject of this talk is the structure of the space of homomorphisms from a free abelian group to a Lie group G as well as quotients spaces given by the associated space of representations.

These spaces of representations admit the structure of a simplicial space at the heart of the work here.

Features of geometric realizations will be developed.

What is the fundamental group or the first homology group of the associated space in case G is a finite, discrete group ?

This deceptively elementary question as well as more global information given in this talk is based on joint work with A. Adem, E. Torres, and J. Gomez.

A representation of Hermite polynomials of degree 2n + 1, as sum of an element in the polynomial ideal generated by the roots of the Hermite polynomial of degree n and of a reminder, suggests a folding of multivariate polynomials over a finite set of points. From this, the expectation of some polynomial combinations of random variables normally distributed is computed. This is related to quadrature formulas and has strong links with designs of experiments.

This is joint work with G. Pistone

We demonstrate that stochastic differential equations (SDEs) driven by fractional Brownian motion with Hurst parameter H > 1/2 have similar ergodic properties as SDEs driven by standard Brownian motion. The focus in this article is on hypoelliptic systems satisfying H\"ormander's condition. We show that such systems satisfy a suitable version of the strong Feller property and we conclude that they admit a unique stationary solution that is physical in the sense that it does not "look into the future".

The main technical result required for the analysis is a bound on the moments of the inverse of the Malliavin covariance matrix, conditional on the past of the driving noise.

I will outline two areas currently under study by myself and my co-workers, particularly Jonathan Holland: one concerns the relation between the exceptional Lie group G_2 and Einstein's gravity; the second will introduce and apply the concept of a causal geometry.

Abstract: The valuation of a finite resource, be it acopper mine, timber forest or gas field, has received surprisingly littleattention from the academic literature. The fact that a robust, defensible andaccurate valuation methodology has not been derived is due to a mixture ofdifficulty in modelling the numerous stochastic uncertainties involved and thecomplications with capturing real day-to-day mining operations. The goal ofproducing such valuations is not just for accounting reasons, but also so thatoptimal extraction regimes and procedures can be devised in advance for use atthe coal-face. This paper shows how one can begin to bring all these aspectstogether using contingent claims financial analysis, geology, engineering,computer science and applied mathematics.

TBA

Synthetic Aperture Radars (SARs) produce high resolution images over large areas at high data rates. An aircraft flying at 100m/s can easily image an area at a rate of 1square kilometre per second at a resolution of 0.3x0.3m, i.e. 10Mpixels/sec with a dynamic range of 60-80dB (10-13bits). Unlike optical images, the SAR image is also coherent and this coherence can be used to detect changes in the terrain from one image to another, for example to detect the distortions in the ground surface which precede volcanic eruptions.

It is clearly very desirable to be able to compress these images before they are relayed from one place to another, most particularly down to the ground from the aircraft in which they are gathered.

Conventional image compression techniques superficially work well with SAR images, for example JPEG 2000 was created for the compression of traditional photographic images and optimised on that basis. However there is conventional wisdom that SAR data is generally much less correlated in nature and therefore unlikely to achieve the same compression ratios using the same coding schemes unless significant information is lost.

Features which typically need to be preserved in SAR images are:

o texture to identify different types of terrain

o boundaries between different types of terrain

o anomalies, such as military vehicles in the middle of a field, which may be of tactical importance and

o the fine details of the pixels on a military target so that it might be recognised.

The talk will describe how Synthetic Aperture Radar images are formed and the features of them which make the requirements for compression algorithms different from electro-optical images and the properties of wavelets which may make them appropriate for addressing this problem. It will also discuss what is currently known about the compression of radar images in general.

tba

We shall explain how to give substance to an old dream of Tits, to invent exotic new zeta functions, and discover the skeleton of algebraic varieties (toric manifolds and tropial geometry).

This talk will introduce L1-regularized optimization problems that arise in image processing, and numerical methods for their solution. In particular, we will focus on methods of the split-Bregman type, which very efficiently solve large scale problems without regularization or time stepping. Applications include image

denoising, segmentation, non-local filters, and compressed sensing.

TBA

Descent theory is the art of gluing local data together to global data. Beside of being an invaluable tool for the working geometer, the descent philosophy has changed our perception of space and topology. In this talk I will introduce the audience to the basic results of scheme and descent theory and explain how those can be applied to concrete examples.

Standard quantum logic, as intitiated by Birkhoff and von Neumann, suffers from severe problems which relate quite directly to interpretational issues in the foundations of quantum theory. In this talk, I will present some aspects of the so-called topos approach to quantum theory, as initiated by Isham and Butterfield, which aims at a mathematical reformulation of quantum theory and provides a new, well-behaved form of quantum logic that is based upon the internal logic of a certain (pre)sheaf topos.