Past

On calm clear nights a minimum in air temperature can occur just above the ground at heights of order 0.5m or less. This is contrary to the conventional belief that ground is the point of minimum. This feature is paradoxical as an apparent unstable layer (the height below the point of minimum) sustains itself for several hours. This was first reported from India by Ramdas and his coworkers in 1932 and was disbelieved initially and attributed to flawed thermometers. We trace its history, acceptance and present a mathematical model in the form of a PDE that simulates this phenomenon.

Most sensing systems exhibit so-called ‘sidelobe’ responses, which can be interpreted as an inevitable effect in one domain of truncation of the signal in the Fourier-complement domain.  Perhaps the best-known example is in antenna theory where sidelobes are an inevitable consequence of the fact that the antenna aperture must be finite.  The effect also appears in many other places, for example in time-frequency conversions and in the range domain of a pulse-compressed radar which radiates a signal only over a finite frequency band.  In the range domain these sidelobes extend over twice the length of the transmitted pulse.  For a conventional radar with relatively short pulses the effect of these unwanted returns is thus confined to a relatively short part of the range swathe.

Some of the most modern radar techniques, however, use continuous, noise-like transmissions.  ‘Primary’ noise-modulated radars are in their infancy but so-called ‘Passive’ radars using broadcast transmissions as their power source receive similar signals.  The sidelobes of even a small target at very short range can be larger than the main return from a target at much greater range.  This limits the dynamic range of the radar.

Since, however, the sidelobe pattern is predictable if the illuminating signal is known sufficiently accurately, the expected sidelobes due to a large target can be estimated and removed to tidy up the image.  This approach was first described formally in:

Hoegbom, J. A., ‘Aperture Synthesis with a Non-Regular Distribution of Interferometer Baselines,’ Astrom. Astrophys. Suppl. 15, pp417-26, 1974.

And is generally known by the name of the ‘CLEAN’ algorithm.

The seminar will outline the problem, outline the basic form of the algorithm and ask questions about what is possible with non-iterative versions of the algorithms, how to process the data coherently and how to understand any stability issues associated with the algorithm.

We are pleased to announce that Andrew Wiles will present the inaugural Oxford Mathematics Christmas Public Lecture. Please register by emailing @email

Marine-ice formation occurs on a vast range of length scales: from millimetre scale frazil crystals, to consolidated sea ice a metre thick, to deposits of marine ice under ice shelves that are hundreds of kilometres long. Scaling analyses is therefore an attractive and powerful technique to understand and predict phenomena associated with marine-ice formation, for example frazil crystal growth and the convective desalination of consolidated sea ice. However, there are a number of potential pitfalls arising from the assumptions implicit in the scaling analyses. In this talk, I tease out the assumptions relevant to these examples and test them, allowing me to derive simple conceptual models that capture the important geophysical mechanisms affecting marine-ice formation. 

We are looking for a better understanding of how a lithium wall can improve energy confinement in a tokamak plasma. Improved energy confinement can make a big difference to the minimum size of tokamak that could produce a fusion power gain.

(please see 
http://www.cs.ox.ac.uk/seminars/CompBioPublicSeminars/ for details)

I will outline some recent work with Jonathan Kirby regarding the first stage in the construction of the pseudo j-function. In particular, I will go through the construction of the analogue of the canonical countable pseudo exponential field as the "Fraisse limit" of a category of "partial j-fields". Although I will be talking about the j-function throughout the talk, it is not necessary to know anything about the j-function to get something from the talk. In particular, even if you don't know what the j-function is, you will still hopefully have an understanding of how to construct the countable pseudo-exp by the end of the talk.
 

Since its genesis in 1915, General Relativity has proven to be one of the most successful physical theories ever invented. Providing a description of the large scale structure of the universe it continues to be in agreement with all experimental tests to high accuracy. By merging Classical Mechanics and Electrodynamics to a consistent geometrical theory of space-time it has become one of the two pillars of modern theoretical physics alongside Quantum Mechanics. This talk aims to give an introduction to the ideas and concepts of General Relativity. After briefly reviewing Classical (Newtonian) Mechanics and experiments in contradiction with it the framework and axioms of General Relativity will be introduced. This will be followed by a survey on major implications of the (new) geometrical description of gravity. Finally an outlook on physics beyond General Relativity will be provided. 

Rational points on Kummer varieties can be studied through the variation of Selmer groups of quadratic twists of the underlying abelian variety, using an idea of Swinnerton-Dyer. We consider the case when the Galois action on 2-torsion has a large image. Under a mild additional assumption we prove the Hasse principle assuming the finiteness of relevant Shafarevich-Tate groups. This approach is inspired by the work of Mazur and Rubin.

The folded structures of proteins display a remarkable variety of three-dimensional forms, and this structural diversity confers to proteins their equally remarkable functional diversity. The accelerating accumulation of experimental structures, and the declining numbers of novel folds among them suggests that a substantial fraction of the protein folds used in nature have already been observed. The physical forces stabilizing the folded structures of proteins are now understood in some detail, and much progress has been made on the classical problem of predicting the structure of a particular protein from its sequence. However, there is as yet no satisfactory theory describing the “morphology” of protein folds themselves. This talk will describe an approach to this problem based on the description of protein folds as geometric objects using the differential geometry of curves and surfaces. Applications of the theory toward modeling of diverse protein folds and assemblies which are refractory to high-resolution structure determination will be emphasized.

The usual variational formulations of the Helmholtz equation are sign-indefinite (i.e. not coercive). In this talk, I will argue that this indefiniteness is not an inherent feature of the Helmholtz equation itself, only of its standard formulations. I will do this by presenting new sign-definite formulations of several Helmholtz boundary value problems.

This is joint work with Andrea Moiola (Reading).
 

In this talk, I will describe how to use the partial hodograph-Legendre transformation to show the analyticity of the free boundary in the elliptic thin obstacle problem. In particular, I will discuss the invertibility of this transformation and show that the resulting fully nonlinear PDE has a subelliptic structure. This is based on a joint work with Herbert Koch and Arshak Petrosyan.

Deciding whether or not two elements of a group are conjugate might seem like a trivial problem. However, there exist finitely presented groups where this problem is undecidable: there is no algorithm to output yes or no for any two elements chosen. In this talk Houghton groups (a family of groups all having solvable conjugacy problem) will be introduced as will the idea of twisted conjugacy: a generalisation of the conjugacy problem where an automorphism is also given. This will be our main tool in answering whether finite extensions and finite index subgroups of any Houghton group have solvable conjugacy problem.

The Banach-Tarski paradox is a celebrated result showing that, using the axiom of choice, it is possible to deconstruct a ball into finitely many pieces that may be rearranged to build two copies of that ball. In this seminar we will sketch the proof of the paradox trying to emphasize the key ideas.
 

Groups which act on rooted trees, and branch groups in particular, have provided examples of groups with exotic properties for the last three decades. This and their links to other areas of mathematics such as dynamical systems has made them the object of intense research.
One of their more useful properties is that of having a "tree-like" subgroup structure, in several senses. 
I shall explain what this means in the talk and give some applications.

In recent years, some powerful tools for computing semi-orthogonal decompositions of derived categories of algebraic varieties have been developed: Kuznetsov's theory of homological projective duality and the closely related technique of VGIT for LG models. In this talk I will explain how the latter works and how it can be used to understand the derived categories of complete intersections in Sym^2(P^n). As a consequence, we obtain a new proof of result of Hosono and Takagi, which says that a certain pair of non-birational Calabi-Yau 3-folds are derived equivalent.

Given a subset E of R^n with empty interior, what is the maximum regularity exponent s for which there exist non-zero distributions in the Bessel potential Sobolev space H^s_p(R^n) that are supported entirely inside E? This question has arisen many times in my recent investigations into boundary integral equation formulations of linear wave scattering by fractal screens, and it is closely related to other fundamental questions concerning Sobolev spaces defined on ``rough'' (i.e. non-Lipschitz) domains. Roughly speaking, one expects that the ``fatter'' the set, the higher the maximum regularity that can be supported. For sets of zero Lebesgue measure one can show, using results on certain set capacities from classical potential theory, that the maximum regularity (if it exists) is negative, and is (almost) characterised by the fractal (Hausdorff) dimension of E. For sets with positive measure the maximum regularity (if it exists) is non-negative,but appears more difficult to characterise in terms of geometrical properties of E.  I will present some partial results in this direction, which have recently been obtained by studying the asymptotic behaviour of the Fourier transform of the characteristic functions of certain fat Cantor sets.