Mon, 07 Mar 2022
14:15
L5

Brakke Regularity for the Allen--Cahn Flow

Huy The Nguyen
(Queen Mary University, London)
Further Information

The talk will be both online (Teams) and in person (L5)

Abstract

In this talk we prove an analogue of the Brakke's $\epsilon$-regularity theorem for the parabolic Allen--Cahn equation. In particular, we show uniform $C^{2,\alpha}$ regularity for the transition layers converging to smooth mean curvature flows as $\epsilon\rightarrow 0$. A corresponding gap theorem for entire eternal solutions of the parabolic Allen--Cahn is also obtained. As an application of the regularity theorem, we give an affirmative answer to a question of Ilmanen that there is no cancellation in BV convergence in the mean convex setting.

Mon, 12 Nov 2007

14:45 - 15:45
Oxford-Man Institute

Making sense of mixing conditions for spin systems

Professor Mark Jerrum
(Queen Mary University, London)
Abstract

Joint work with Martin Dyer (Leeds) and Leslie Goldberg (Liverpool).

A spin system may be modelled as a graph, in which edges (bonds) indicate interactions between adjacent vertices (sites). A configuration of the system is an assignment of colours (spins) to the vertices of the graph. The interactions between adjacent spins define a certain distribution, the Boltzmann distribution, on configurations. To sample from this distribution it is usually necessary to simulate one of a number of Markov chains on the space of all configurations. Theoretical analyses of the mixing time of these Markov chains usually assume that spins are updated at single vertices chosen uniformly at random. Actual simulations, in contrast, may make (random) updates according to a deterministic, usually highly structured pattern. We'll explore the relationships between systematic scan and random single-site updates, and also between classical uniqueness conditions from statistical physics and more recent techniques in mixing time analysis.

Fri, 02 Mar 2007
16:30
L2

How model theory looks at Lie groups and Lie Algebra

Prof. Angus MacIntyre
(Queen Mary University, London)
Abstract
  Model theory typically looks at classical mathematical structures in novel ways. The guiding principle is to understand what relations are definable, and there are usually related questions of effectivity. In the case of Lie theory, there are two current lines of research, both of which I will describe, but with more emphasis on the first. The most advanced work concerns exponentials and logarithms, in both real and complex situations. To understand the definable relations, and to show various natural problems are decidable, one uses a mixture of analytic geometry with number-theoretic conjectures related to Schanuel's Conjecture. More recent work, not yet closely connected to the preceding, concerns the limit behaviour (model-theoretically), of finite -dimensional modules over semisimple Lie algebras, and here again, for decidability, one seems obliged to consider number-theoretic decision problems, around Siegel's Theorem.
Subscribe to Queen Mary University, London