We introduce an approach to study certain singular partial differential equations (PDEs) which is based on techniques from paradifferential calculus and on ideas from the theory of controlled rough paths. We illustrate its applicability on some model problems such as differential equations driven by fractional Brownian motion, a fractional Burgers-type stochastic PDE (SPDE) driven by space-time white noise, and a nonlinear version of the parabolic Anderson model with a white noise potential.

This article describes a formal proof of the Kepler conjecture on dense sphere packings in a combination of the HOL Light and Isabelle proof assistants. This paper constitutes the official published account of the now completed Flyspeck project.

We give proofs of de Rham comparison isomorphisms for rigid-analytic varieties, with coefficients and in families. This relies on the theory of perfectoid spaces. Another new ingredient is the pro-étale site, which makes all constructions completely functorial.

We construct a linear system nonlocal game which can be played perfectly using a limit of finite-dimensional quantum strategies, but which cannot be played perfectly on any finite-dimensional Hilbert space, or even with any tensor-product strategy. In particular, this shows that the set of (tensor-product) quantum correlations is not closed. The constructed nonlocal game provides another counterexample to the ‘middle’ Tsirelson problem, with a shorter proof than our previous paper (though at the loss of the universal embedding theorem). We also show that it is undecidable to determine if a linear system game can be played perfectly with a finite-dimensional strategy, or a limit of finite-dimensional quantum strategies.

We consider the cubic nonlinear Schrödinger equation posed on the spatial domain $\mathbb{R}\times \mathbb{T}^{d}$. We prove modified scattering and construct modified wave operators for small initial and final data respectively ($1\leqslant d\leqslant 4$). The key novelty comes from the fact that the modified asymptotic dynamics are dictated by the resonant system of this equation, which sustains interesting dynamics when $d\geqslant 2$. As a consequence, we obtain global strong solutions (for $d\geqslant 2$) with infinitely growing high Sobolev norms $H^{s}$.

Ramanujan’s last letter to Hardy concerns the asymptotic properties of modular forms and his ‘mock theta functions’. For the mock theta function $f(q)$, Ramanujan claims that as $q$ approaches an even-order $2k$ root of unity, we have

$$\begin{eqnarray*}f(q)- (- 1)^{k} (1- q)(1- {q}^{3} )(1- {q}^{5} )\cdots (1- 2q+ 2{q}^{4} - \cdots )= O(1).\end{eqnarray*}$$

$q$

$\vartheta $

We prove uniqueness for the Calderón problem with Lipschitz conductivities in higher dimensions. Combined with the recent work of Haberman, who treated the three- and four-dimensional cases, this confirms a conjecture of Uhlmann. Our proof builds on the work of Sylvester and Uhlmann, Brown, and Haberman and Tataru who proved uniqueness for $C^{1}$ -conductivities and Lipschitz conductivities sufficiently close to the identity.

Let $\mathbb{F}_{q}^{n}$ be a vector space of dimension $n$ over the finite field $\mathbb{F}_{q}$. A $q$-analog of a Steiner system (also known as a $q$-Steiner system), denoted ${\mathcal{S}}_{q}(t,\!k,\!n)$, is a set ${\mathcal{S}}$ of $k$-dimensional subspaces of $\mathbb{F}_{q}^{n}$ such that each $t$-dimensional subspace of $\mathbb{F}_{q}^{n}$ is contained in exactly one element of ${\mathcal{S}}$. Presently, $q$-Steiner systems are known only for $t\,=\,1\!$, and in the trivial cases $t\,=\,k$ and $k\,=\,n$. In this paper, the first nontrivial $q$-Steiner systems with $t\,\geqslant \,2$ are constructed. Specifically, several nonisomorphic $q$-Steiner systems ${\mathcal{S}}_{2}(2,3,13)$ are found by requiring that their automorphism groups contain the normalizer of a Singer subgroup of $\text{GL}(13,2)$. This approach leads to an instance of the exact cover problem, which turns out to have many solutions.

Let $\unicode[STIX]{x1D706}$ denote the Liouville function. The Chowla conjecture, in the two-point correlation case, asserts that

$$\begin{eqnarray}\mathop{\sum }_{n\leqslant x}\unicode[STIX]{x1D706}(a_{1}n+b_{1})\unicode[STIX]{x1D706}(a_{2}n+b_{2})=o(x)\end{eqnarray}$$

$x\rightarrow \infty$

$a_{1},a_{2}$

$b_{1},b_{2}$

$a_{1}b_{2}-a_{2}b_{1}\neq 0$

$$\begin{eqnarray}\mathop{\sum }_{x/\unicode[STIX]{x1D714}(x)<n\leqslant x}\frac{\unicode[STIX]{x1D706}(a_{1}n+b_{1})\unicode[STIX]{x1D706}(a_{2}n+b_{2})}{n}=o(\log \unicode[STIX]{x1D714}(x))\end{eqnarray}$$

$x\rightarrow \infty$

$1\leqslant \unicode[STIX]{x1D714}(x)\leqslant x$

$x$

$x\rightarrow \infty$

$\unicode[STIX]{x1D706}$

We consider a large class of $1+1$-dimensional continuous interface growth models and we show that, in both the weakly asymmetric and the intermediate disorder regimes, these models converge to Hopf–Cole solutions to the KPZ equation.

We prove the Breuil–Mézard conjecture for two-dimensional potentially Barsotti–Tate representations of the absolute Galois group $G_{K}$, $K$ a finite extension of $\mathbb{Q}_{p}$, for any $p>2$ (up to the question of determining precise values for the multiplicities that occur). In the case that $K/\mathbb{Q}_{p}$ is unramified, we also determine most of the multiplicities. We then apply these results to the weight part of Serre’s conjecture, proving a variety of results including the Buzzard–Diamond–Jarvis conjecture.

In last passage percolation models lying in the Kardar–Parisi–Zhang (KPZ) universality class, the energy of long energy-maximizing paths may be studied as a function of the paths’ pair of endpoint locations. Scaled coordinates may be introduced, so that these maximizing paths, or polymers, now cross unit distances with unit-order fluctuations, and have scaled energy, or weight, of unit order. In this article, we consider Brownian last passage percolation in these scaled coordinates. In the narrow wedge case, when one endpoint of such polymers is fixed, say at $(0,0)\in \mathbb{R}^{2}$, and the other is varied horizontally, over $(z,1)$, $z\in \mathbb{R}$, the polymer weight profile as a function of $z\in \mathbb{R}$ is locally Brownian; indeed, by Hammond [‘Brownian regularity for the Airy line ensemble, and multi-polymer watermelons in Brownian last passage percolation’, Preprint (2016), arXiv:1609.02971, Theorem 2.11 and Proposition 2.5], the law of the profile is known to enjoy a very strong comparison to Brownian bridge on a given compact interval, with a Radon–Nikodym derivative in every $L^{p}$ space for $p\in (1,\infty )$, uniformly in the scaling parameter, provided that an affine adjustment is made to the weight profile before the comparison is made. In this article, we generalize this narrow wedge case and study polymer weight profiles begun from a very general initial condition. We prove that the profiles on a compact interval resemble Brownian bridge in a uniform sense: splitting the compact interval into a random but controlled number of patches, the profile in each patch after affine adjustment has a Radon–Nikodym derivative that lies in every $L^{p}$ space for $p\in (1,3)$. This result is proved by harnessing an understanding of the uniform coalescence structure in the field of polymers developed in Hammond [‘Exponents governing the rarity of disjoint polymers in Brownian last passage percolation’, Preprint (2017a), arXiv:1709.04110] using techniques from Hammond (2016) and [‘Modulus of continuity of polymer weight profiles in Brownian last passage percolation’, Preprint (2017b), arXiv:1709.04115].

A fundamental question in wave turbulence theory is to understand how the wave kinetic equation describes the long-time dynamics of its associated nonlinear dispersive equation. Formal derivations in the physics literature, dating back to the work of Peierls in 1928, suggest that such a kinetic description should hold (for well-prepared random data) at a large kinetic time scale $T_{\mathrm {kin}} \gg 1$ and in a limiting regime where the size L of the domain goes to infinity and the strength $\alpha $ of the nonlinearity goes to $0$ (weak nonlinearity). For the cubic nonlinear Schrödinger equation, $T_{\mathrm {kin}}=O\left (\alpha ^{-2}\right )$ and $\alpha $ is related to the conserved mass $\lambda $ of the solution via $\alpha =\lambda ^2 L^{-d}$ .

In this paper, we study the rigorous justification of this monumental statement and show that the answer seems to depend on the particular scaling law in which the $(\alpha , L)$ limit is taken, in a spirit similar to how the Boltzmann–Grad scaling law is imposed in the derivation of Boltzmann’s equation. In particular, there appear to be two favourable scaling laws: when $\alpha $ approaches $0$ like $L^{-\varepsilon +}$ or like $L^{-1-\frac {\varepsilon }{2}+}$ (for arbitrary small $\varepsilon $ ), we exhibit the wave kinetic equation up to time scales $O(T_{\mathrm {kin}}L^{-\varepsilon })$ , by showing that the relevant Feynman-diagram expansions converge absolutely (as a sum over paired trees). For the other scaling laws, we justify the onset of the kinetic description at time scales $T_*\ll T_{\mathrm {kin}}$ and identify specific interactions that become very large for times beyond $T_*$ . In particular, the relevant tree expansion diverges absolutely there. In light of those interactions, extending the kinetic description beyond $T_*$ toward $T_{\mathrm {kin}}$ for such scaling laws seems to require new methods and ideas.

We determine the order of magnitude of $\mathbb{E}|\sum _{n\leqslant x}f(n)|^{2q}$, where $f(n)$ is a Steinhaus or Rademacher random multiplicative function, and $0\leqslant q\leqslant 1$. In the Steinhaus case, this is equivalent to determining the order of $\lim _{T\rightarrow \infty }\frac{1}{T}\int _{0}^{T}|\sum _{n\leqslant x}n^{-it}|^{2q}\,dt$.

In particular, we find that $\mathbb{E}|\sum _{n\leqslant x}f(n)|\asymp \sqrt{x}/(\log \log x)^{1/4}$. This proves a conjecture of Helson that one should have better than squareroot cancellation in the first moment and disproves counter-conjectures of various other authors. We deduce some consequences for the distribution and large deviations of $\sum _{n\leqslant x}f(n)$.

The proofs develop a connection between $\mathbb{E}|\sum _{n\leqslant x}f(n)|^{2q}$ and the $q$th moment of a critical, approximately Gaussian, multiplicative chaos and then establish the required estimates for that. We include some general introductory discussion about critical multiplicative chaos to help readers unfamiliar with that area.

Conformal loop ensembles (CLEs) are random collections of loops in a simply connected domain, whose laws are characterized by a natural conformal invariance property. The set of points not surrounded by any loop is a canonical random connected fractal set — a random and conformally invariant analog of the Sierpinski carpet or gasket.

In the present paper, we derive a direct relationship between the CLEs with simple loops ($\text{CLE}_{\unicode[STIX]{x1D705}}$ for $\unicode[STIX]{x1D705}\in (8/3,4)$, whose loops are Schramm’s $\text{SLE}_{\unicode[STIX]{x1D705}}$-type curves) and the corresponding CLEs with nonsimple loops ($\text{CLE}_{\unicode[STIX]{x1D705}^{\prime }}$ with $\unicode[STIX]{x1D705}^{\prime }:=16/\unicode[STIX]{x1D705}\in (4,6)$, whose loops are $\text{SLE}_{\unicode[STIX]{x1D705}^{\prime }}$-type curves). This correspondence is the continuum analog of the Edwards–Sokal coupling between the $q$-state Potts model and the associated FK random cluster model, and its generalization to noninteger $q$.

Like its discrete analog, our continuum correspondence has two directions. First, we show that for each $\unicode[STIX]{x1D705}\in (8/3,4)$, one can construct a variant of $\text{CLE}_{\unicode[STIX]{x1D705}}$ as follows: start with an instance of $\text{CLE}_{\unicode[STIX]{x1D705}^{\prime }}$, then use a biased coin to independently color each $\text{CLE}_{\unicode[STIX]{x1D705}^{\prime }}$ loop in one of two colors, and then consider the outer boundaries of the clusters of loops of a given color. Second, we show how to interpret $\text{CLE}_{\unicode[STIX]{x1D705}^{\prime }}$ loops as interfaces of a continuum analog of critical Bernoulli percolation within $\text{CLE}_{\unicode[STIX]{x1D705}}$ carpets — this is the first construction of continuum percolation on a fractal planar domain. It extends and generalizes the continuum percolation on open domains defined by $\text{SLE}_{6}$ and $\text{CLE}_{6}$.

These constructions allow us to prove several conjectures made by the second author and provide new and perhaps surprising interpretations of the relationship between CLEs and the Gaussian free field. Along the way, we obtain new results about generalized $\text{SLE}_{\unicode[STIX]{x1D705}}(\unicode[STIX]{x1D70C})$ curves for $\unicode[STIX]{x1D70C}<-2$, such as their decomposition into collections of $\text{SLE}_{\unicode[STIX]{x1D705}}$-type ‘loops’ hanging off of $\text{SLE}_{\unicode[STIX]{x1D705}^{\prime }}$-type ‘trunks’, and vice versa (exchanging $\unicode[STIX]{x1D705}$ and $\unicode[STIX]{x1D705}^{\prime }$). We also define a continuous family of natural $\text{CLE}$ variants called boundary conformal loop ensembles (BCLEs) that share some (but not all) of the conformal symmetries that characterize $\text{CLE}$s, and that should be scaling limits of critical models with special boundary conditions. We extend the $\text{CLE}_{\unicode[STIX]{x1D705}}$/$\text{CLE}_{\unicode[STIX]{x1D705}^{\prime }}$ correspondence to a $\text{BCLE}_{\unicode[STIX]{x1D705}}$/$\text{BCLE}_{\unicode[STIX]{x1D705}^{\prime }}$ correspondence that makes sense for the wider range $\unicode[STIX]{x1D705}\in (2,4]$ and $\unicode[STIX]{x1D705}^{\prime }\in [4,8)$.

We study the postcritically finite maps within the moduli space of complex polynomial dynamical systems. We characterize rational curves in the moduli space containing an infinite number of postcritically finite maps, in terms of critical orbit relations, in two settings: (1) rational curves that are polynomially parameterized; and (2) cubic polynomials defined by a given fixed point multiplier. We offer a conjecture on the general form of algebraic subvarieties in the moduli space of rational maps on ${ \mathbb{P} }^{1} $ containing a Zariski-dense subset of postcritically finite maps.

This paper proposes a fairly general new point of view on the question of asymptotic stability of (topological) solitons. Our approach is based on the use of the distorted Fourier transform at the nonlinear level; it does not rely only on Strichartz or virial estimates and is therefore able to treat low-power nonlinearities (hence also nonlocalised solitons) and capture the global (in space and time) behaviour of solutions.

More specifically, we consider quadratic nonlinear Klein-Gordon equations with a regular and decaying potential in one space dimension. Additional assumptions are made so that the distorted Fourier transform of the solution vanishes at zero frequency. Assuming also that the associated Schrödinger operator has no negative eigenvalues, we obtain global-in-time bounds, including sharp pointwise decay and modified asymptotics, for small solutions.

These results have some direct applications to the asymptotic stability of (topological) solitons, as well as several other potential applications to a variety of related problems. For instance, we obtain full asymptotic stability of kinks with respect to odd perturbations for the double sine-Gordon problem (in an appropriate range of the deformation parameter). For the $\phi ^4$ problem, we obtain asymptotic stability for small odd solutions, provided the nonlinearity is projected on the continuous spectrum. Our results also go beyond these examples since our framework allows for the presence of a fully coherent phenomenon (a space-time resonance) at the level of quadratic interactions, which creates a degeneracy in distorted Fourier space. We devise a suitable framework that incorporates this and use multilinear harmonic analysis in the distorted setting to control all nonlinear interactions.

We introduce a numerical framework for dispersive equations embedding their underlying resonance structure into the discretisation. This will allow us to resolve the nonlinear oscillations of the partial differential equation (PDE) and to approximate with high-order accuracy a large class of equations under lower regularity assumptions than classical techniques require. The key idea to control the nonlinear frequency interactions in the system up to arbitrary high order thereby lies in a tailored decorated tree formalism. Our algebraic structures are close to the ones developed for singular stochastic PDEs (SPDEs) with regularity structures. We adapt them to the context of dispersive PDEs by using a novel class of decorations which encode the dominant frequencies. The structure proposed in this article is new and gives a variant of the Butcher–Connes–Kreimer Hopf algebra on decorated trees. We observe a similar Birkhoff type factorisation as in SPDEs and perturbative quantum field theory. This factorisation allows us to single out oscillations and to optimise the local error by mapping it to the particular regularity of the solution. This use of the Birkhoff factorisation seems new in comparison to the literature. The field of singular SPDEs took advantage of numerical methods and renormalisation in perturbative quantum field theory by extending their structures via the adjunction of decorations and Taylor expansions. Now, through this work, numerical analysis is taking advantage of these extended structures and provides a new perspective on them.

Macdonald processes are measures on sequences of integer partitions built using the Cauchy summation identity for Macdonald symmetric functions. These measures are a useful tool to uncover the integrability of many probabilistic systems, including the Kardar–Parisi–Zhang (KPZ) equation and a number of other models in its universality class. In this paper, we develop the structural theory behind half-space variants of these models and the corresponding half-space Macdonald processes. These processes are built using a Littlewood summation identity instead of the Cauchy identity, and their analysis is considerably harder than their full-space counterparts.

We compute moments and Laplace transforms of observables for general half-space Macdonald measures. Introducing new dynamics preserving this class of measures, we relate them to various stochastic processes, in particular the log-gamma polymer in a half-quadrant (they are also related to the stochastic six-vertex model in a half-quadrant and the half-space ASEP). For the polymer model, we provide explicit integral formulas for the Laplace transform of the partition function. Nonrigorous saddle-point asymptotics yield convergence of the directed polymer free energy to either the Tracy–Widom (associated to the Gaussian orthogonal or symplectic ensemble) or the Gaussian distribution depending on the average size of weights on the boundary.

We develop a general approach to prove K-stability of Fano varieties. The new theory is used to (a) prove the existence of Kähler-Einstein metrics on all smooth Fano hypersurfaces of Fano index two, (b) compute the stability thresholds for hypersurfaces at generalised Eckardt points and for cubic surfaces at all points, and (c) provide a new algebraic proof of Tian’s criterion for K-stability, amongst other applications.