• 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 large-scale 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 odd-dimensional ball is a rational function of its radius. In addition to Fourier-analytic 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 Bochner-Riesz means and the Fourier restriction operator.
  • We give a proof of the "folklore" theorem that the Kaplan--Sharir--Shustin/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 d-dimensional vector space over some field. If the collections are sufficiently generic we prove that there exists a d-colouring 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^{\beta-1})\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 self-contained proof of Guth's recent endpoint multilinear Kakeya theorem which avoids the use of somewhat sophisticated algebraic topology, and which instead appeals to the Borsuk-Ulam theorem.
  • These informal notes, not intended for publication, provide an approach to the Borsuk--Ulam 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 point-set 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 heat-flow.
  • 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 Hausdorff--Young inequality.
  • We consider the Brascamp--Lieb 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 variable-coefficient problems and the so-called "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 well-known inequalities of Holder, Young, and Loomis-Whitney. 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.