
The notion of the magnitude of a metric space was introduced by Leinster in
[8] and developed in [10], [9], [11] and [16], but the magnitudes of familiar
sets in Euclidean space are only understood in relatively few cases. In this
paper we study the magnitudes of compact sets in Euclidean spaces. We first
describe the asymptotics of the magnitude of such sets in both the small and
largescale regimes. We then consider the magnitudes of compact convex sets
with nonempty interior in Euclidean spaces of odd dimension, and relate them to
the boundary behaviour of solutions to certain naturally associated higher
order elliptic boundary value problems in exterior domains. We carry out
calculations leading to an algorithm for explicit evaluation of the magnitudes
of balls, and this establishes the convex magnitude conjecture of Leinster and
Willerton [9] in the special case of balls in dimension three. In general we
show that the magnitude of an odddimensional ball is a rational function of
its radius. In addition to Fourieranalytic and PDE techniques, the arguments
also involve some combinatorial considerations.

We show that a certain conjectured optimal reverse Littlewood Paley
inequality would, if true, imply sharp results for the Kakeya maximal function,
the BochnerRiesz means and the Fourier restriction operator.

We give a proof of the "folklore" theorem that the
KaplanSharirShustin/Quilodr\'an result on counting joints associated to a
family of lines holds in vector spaces over arbitrary fields, not just the
reals. We also discuss a distributional estimate on the multiplicities of the
joints in the case that the family of lines is sufficiently generic.

Let L_1, ..., L_d be pairwise disjoint collections of lines in a
ddimensional vector space over some field. If the collections are sufficiently
generic we prove that there exists a dcolouring of the set of multijoints J
such that for each j, for each line in L_j, the number of points on it of
colour j is O(J^{1/d}).

We initiate the study of the finiteness condition
$\int_{\Omega}u(x)^{\beta}\,dx\leq C(\Omega,\beta)<+\infty$ where
$\Omega\subseteq{\mathbb{R}}^n$ is an open set and $u$ is the solution of the
Saint Venant problem $\Delta u=1$ in $\Omega$, $u=0$ on $\partial\Omega$. The
central issue which we address is that of determining the range of values of
the parameter $\beta>0$ for which the aforementioned condition holds under
various hypotheses on the smoothness of $\Omega$ and demands on the nature of
the constant $C(\Omega,\beta)$. Classes of domains for which our analysis
applies include bounded piecewise $C^1$ domains in ${\mathbb{R}}^n$, $n\geq 2$,
with conical singularities (in particular polygonal domains in the plane),
polyhedra in ${\mathbb{R}}^3$, and bounded domains which are locally of class
$C^2$ and which have (finitely many) outwardly pointing cusps. For example, we
show that if $u_N$ is the solution of the Saint Venant problem in the regular
polygon $\Omega_N$ with $N$ sides circumscribed by the unit disc in the plane,
then for each $\beta\in(0,1)$ the following asymptotic formula holds: %
{eqnarray*} \int_{\Omega_N}u_N(x)^{\beta}\,dx=\frac{4^\beta\pi}{1\beta}
+{\mathcal{O}}(N^{\beta1})\quad{as}\,\,N\to\infty. {eqnarray*} % One of the
original motivations for addressing the aforementioned issues was the study of
sublevel set estimates for functions $v$ satisfying $v(0)=0$, $\nabla v(0)=0$
and $\Delta v\geq c>0$.

We give an essentially selfcontained proof of Guth's recent endpoint
multilinear Kakeya theorem which avoids the use of somewhat sophisticated
algebraic topology, and which instead appeals to the BorsukUlam theorem.

These informal notes, not intended for publication, provide an approach to
the BorsukUlam theorem via Stokes' theorem, in a similar spirit to Lima's
proof of the Brouwer fixed point theorem. They are intended to be accessible to
anyone with a knowledge of basic pointset topology and several variable
calculus. Some of the argument relies upon previous ideas of Shchepin.

Most notably we prove that for $d=1,2$ the classical Strichartz norm $$\e^{i
s\Delta}f\_{L^{2+4/d}_{s,x}(\mathbb{R}\times\mathbb{R}^d)}$$ associated to the
free Schr\"{o}dinger equation is nondecreasing as the initial datum $f$ evolves
under a certain quadratic heatflow.

It is known that if $q$ is an even integer then the $L^q(\mathbb{R}^d)$ norm
of the Fourier transform of a superposition of translates of a fixed gaussian
is monotone increasing as their centres "simultaneously slide" to the origin.
We provide explicit examples to show that this monotonicity property fails
dramatically if $q > 2$ is not an even integer. These results are equivalent,
upon rescaling, to similar statements involving solutions to heat equations.
Such considerations are natural given the celebrated theorem of Beckner
concerning the gaussian extremisability of the HausdorffYoung inequality.

We consider the BrascampLieb inequalities concerning multilinear integrals
of products of functions in several dimensions. We give a complete treatment of
the issues of finiteness of the constant, and of the existence and uniqueness
of centred gaussian extremals. For arbitrary extremals we completely address
the issue of existence, and partly address the issue of uniqueness. We also
analyse the inequalities from a structural perspective. We obtain two new
proofs of Lieb's fundamental theorem concerning exhaustion by gaussians. Our
techniques are partly based upon monotonicity formulas for positive solutions
to heat equations in linear and multilinear settings.

We prove $d$linear analogues of the classical restriction and Kakeya
conjectures in $\R^d$. Our approach involves obtaining monotonicity formulae
pertaining to a certain evolution of families of gaussians, closely related to
heat flow. We conclude by giving some applications to the corresponding
variablecoefficient problems and the socalled "joints" problem, as well as
presenting some $n$linear analogues for $n<d$.

A criterion is established for the validity of multilinear inequalities of a
class considered by Brascamp and Lieb, generalizing wellknown inequalities of
Holder, Young, and LoomisWhitney. This is a companion to a recent paper by the
same authors, containing a different proof and discussing certain variants.

We introduce an analogue of Calder\'on's first commutator along a parabola,
and establish its $L^2$ boundedness under essentially sharp hypotheses.

We establish various improved versions of the Marcinkiewicz multiplier
theorem for homogeneous multipliers.