The Kakeya conjecture, after Wang and Zahl

2026-04-03T19:29:24Z

This is a Seminaire Bourbaki survey of the proof of the Kakeya conjecture in three dimensions. The survey is written for a broad mathematical audience. We sketch all the ideas in the proof, with many pictures.

A Bilinear Kakeya Inequality in the Heisenberg Group

2026-04-03T11:40:33Z

We prove a bilinear Kakeya inequality in the first Heisenberg group and a sharp bilinear Kakeya estimate for Euclidean curved tubes in $\R^2$. By adapting an argument of Fässler, Pinamonti and Wald involving Heisenberg projections, we show that the latter implies the former. We prove the estimate for curved tubes using a combination of techniques developed by Pramanik, Yang and Zahl, Wolff and Schlag. We introduce a novel broadness hypothesis inspired by works of Zahl, which rules out bush-type configurations that break transversal structure. We argue that such a hypothesis is needed for proving the bilinear estimates we present. We also introduce necessary additional linear terms to the estimate to counteract Szemerédi--Trotter-type clustering phenomena.

Real-Variable Theory of Hardy--Lorentz Spaces on Quasi-Ultrametric Spaces of Homogeneous Type with Reverse-Doubling Property

2026-04-03T07:40:23Z

Let $(X,\mathbf{q},μ)$ be an ultra-RD-space with upper dimension $n\in(0,\infty)$; i.e., it is a quasi-ultrametric space of homogeneous type whose measure $μ$ satisfies an additional reverse doubling property. Let $\mathrm{ind\,}(X,\mathbf{q})\in(0,\infty]$ denote its lower smoothness index, as introduced by Mitrea et al. In this monograph, the authors first construct a new approximation of the identity on quasi-ultrametric spaces of homogeneous type, achieving a maximal degree of smoothness $0<\varepsilon\preceq\mathrm{ind\,}(X,\mathbf{q})$. This fundamental tool is then used to derive sharp homogeneous (as well as inhomogeneous) continuous/discrete Calderón reproducing formulae on ultra-RD-spaces. As applications, the authors establish Littlewood--Paley function characterizations for both Hardy spaces and Triebel--Lizorkin spaces on ultra-RD-spaces. The authors further introduce Hardy--Lorentz spaces $H^{p,q}_\ast(X)$ via the grand maximal function, with the sharp range $p\in(\frac{n}{n+\mathrm{ind\,}(X,\mathbf{q})},\infty)$ and $q\in(0,\infty]$, and provide their real-variable characterizations using radial/non-tangential maximal functions, (finite) atoms, molecules, and various Littlewood--Paley functions. Based on these characterizations, the authors prove a duality theorem between Hardy--Lorentz spaces and Campanato--Lorentz spaces, establish a real interpolation theorem for Hardy--Lorentz spaces, and derive boundedness results for Calderón--Zygmund operators on them. It should be emphasized that many of the main results in this monograph are indeed established in the more general setting of quasi-ultrametric spaces of homogeneous type.

Cesàro summability of Hölder functions and Talbot effect on rank one Riemannian symmetric spaces of compact type

2026-04-02T17:46:24Z

On rank one Riemannian symmetric spaces of compact type (of dimension $\ge 2$), we first obtain a quantitative characterization of Hölder continuity in terms of Cesàro means. In addition to some approximation theoretic applications, we also apply it to study the celebrated physical phenomenon known as `Talbot effect' arising from diffraction theory. More precisely, for almost every fixed time instance, we study the Hölder continuity and the fractal profile of the Schrödinger propagation in terms of the decay of the Littlewood-Paley projections of the initial data. In the process, we also obtain oscillatory expansions of zonal spherical functions uniformly near the origin and near the cut locus respectively, which may be of independent interest.

A Fenchel Theorem for the Gauss maps and uniqueness of minimizers of nonlocal curvature energies

2026-04-02T13:47:59Z

In this paper, we prove a Fenchel theorem for Gauss maps by providing sharp lower bounds for the path length of Gauss maps of an embedding. By combining the Fenchel-type theorem with various techniques from the field of geometric analysis, we show that circles minimize most generalized tangent-point energies. Furthermore, we prove that disks minimize all fractional Willmore energies among the class of convex planar sets.

Systems with discrete singular $φ$-Laplacian and maximal monotone boundary conditions

2026-04-02T13:07:29Z

We are concerned with solvability of nonlinear systems involving a discrete singular $φ$-Laplacian operator of type \begin{equation*} u \mapsto Δ\left[φ(Δu(n-1))\right] \qquad (n\in \{1, \dots, T\}), \end{equation*} associated with a general two point boundary condition having the form \begin{equation*} \left(φ(Δu(0)),-φ(Δu(T))\right)\inγ(u(0),u(T+1)), \end{equation*} where $γ:\mathbb{R}^N\times\mathbb{R}^N\to2^{\mathbb{R}^N\times\mathbb{R}^N}$ is a maximal monotone operator with $0_{\mathbb{R}^N \times \mathbb{R}^N}\in γ(0_{\mathbb{R}^N \times \mathbb{R}^N})$. The mapping $φ$ is a potential homeomorphism from an open ball of radius $a$ centered at the origin $B_a \subset \mathbb{R}^N$ onto $\mathbb{R}^N$ and $Δ$ stands for the usual forward difference operator. When the perturbing nonlinearity in the system has not a potential structure we obtain existence of solutions by a priori estimates. Also, when the nonlinearity is of gradient type and $γ$ is a subdifferential, we provide a variational approach of the system in the frame of critical point theory for convex, lower semicontinuous perturbations of $C^1$-functionals. Then we derive the existence of solutions either as minimizers or saddle points of the corresponding energy functional.

Maximal functions with twisted structures, distribution inequality and applications

2026-04-02T02:02:06Z

Motivated by the geometric reduction of Cauchy--Szegő projections on quadratic surfaces of higher codimension (Nagel--Ricci--Stein, 2001) and recent developments on the real-variable theory adapted to twisted multiparameter structures (arXiv:2603.26119), we establish the Fefferman--Stein type distribution inequality relating the twisted area function and the twisted non-tangential maximal function over $\mathbb{R}^{2m}$. By deploying a recursive integration-by-parts argument involving the twisted gradient and Laplacian, and constructing smooth, compactly supported weight functions to absorb cross-derivative errors, we obtain the required estimate. As an application, we prove the uniform $L^1$ boundedness of the twisted maximal function on the twisted atoms and complete the maximal function characterization of the twisted Hardy space.

A Determinantal Approach to a Sharp $\ell^1-\ell^\infty-\ell^2$ Norm Inequality

2026-04-02T01:52:14Z

We give a short linear--algebraic proof of the inequality \[ \|x\|_1\,\|x\|_\infty \le \frac{1+\sqrt{p}}{2}\,\|x\|_2^2, \] valid for every $x\in\mathbb{R}^p$. This inequality relates three fundamental norms on finite-dimensional spaces and has applications in optimization and numerical analysis. Our proof exploits the determinantal structure of a parametrized family of quadratic forms, and we show the constant $(1+\sqrt{p})/2$ is optimal.

Falconer lattice sets and the Erdos similarity problem

2026-04-02T00:06:48Z

We show that a family of extremely thin sets satisfy the Erdős similarity conjecture. These examples lie outside the range covered by recent work of Shmerkin and Yavicoli \cite{ShmerkinYavicoli2025}. As we shall see, they have small logarithmic dimension. They do not contain affine copies of slowly decaying sequences, so the result does not follow from earlier work of Falconer and Eigen \cite{Falconer1984,Eigen}. On the other hand, they do contain sequences of rapid decay, for which the conjecture is still open in general. Our argument is based on Falconer lattice sets and a theorem of Bourgain \cite{Bourgain2003}.

Extremal graph theory and point configurations in Ahlfors-David regular sets

2026-04-01T20:41:28Z

We study the problem of embedding bipartite graphs in Ahlfors-David regular sets of large dimension using results from extremal graph theory. Our main theorem states that any graph satisfying a power-improving bound on the extremal number can be found in the distance graph of a sufficiently high-dimensional AD-regular set. In particular, we show that AD-regular sets of dimension greater than $\frac{d+1}{2}$ must contain even cycles of all lengths if $d\geq 3$, and must contain even cycles of length at least 6 if $d=2$. This improves the best known threshold for the problem in $d\geq 4$, and yields entirely new results in $d=2,3$, under the extra assumption of AD-regularity. We also prove analogous results for large subsets of vector spaces over finite fields, which improve the best known exponent for even cycles in all dimensions.

On almost everywhere convergence of planar Bochner-Riesz means

2026-04-01T15:21:02Z

We demonstrate the almost everywhere convergence of the planar Bochner-Riesz means for $L^p$ functions in the optimal range when $5/3\leq p\leq 2$. This is achieved by establishing a sharp $L^{5/3}$ estimate for a maximal operator closely associated with the Bochner-Riesz multiplier operator. The estimate depends on a new refined $L^2$ estimate, which may be of independent interest.

Characterizations of fractional operators via integral transforms

2026-04-01T10:25:05Z

In 1972, J. S. Lew established a reasonable conjecture regarding an axiomatic characterization for the one-dimensional Riemann-Liouville integral. This conjecture was proved by Cartwright and McMullen in 1978. After that, little further work has been done on this topic, except some extensions for the Stieltjes case in one and several variables. In this paper, we prove the necessity of the axioms established in the conjecture of J. S. Lew using the Cauchy functional equation and Hamel bases. In addition, we give a proof for the characterization in several variables by employing Titchmarsh theorem, as a natural extension of the approach of Cartwright and McMullen. We also provide an alternative version and proof in one and several variables with Laplace transforms and the Cauchy functional equation, weakening parts of the continuity assumption. We show a similar result for the Riesz potential in terms of the Fourier transform. Finally, we illustrate how the theory can be used for characterization in the context of fractional calculus with respect to a non-smooth integrator, based on transmutation and measures.

Sturm-Liouville problems with a boundary condition depending bilinearly on an eigenparameter

2026-03-31T15:13:05Z

This paper studies a Sturm--Liouville boundary value problem in which one of the boundary conditions depends bilinearly on the spectral parameter. The differential equation is considered on the interval $(0,1)$ with a classical boundary condition at one endpoint and an eigenparameter--dependent boundary condition at the other. Explicit formulas for the inner products and norms of eigenfunctions are obtained. These relations make it possible to analyze the structure of the system of root functions and the corresponding biorthogonal system. Using these results, the minimality of the system of root functions in $L_2(0,1)$ is established. Furthermore, the basis properties of the system of root functions in the spaces $L_p(0,1)$, $1

Hausdorff Dimension of Union of Lines Covering a Curve: Applications to Mathematical Physics

2026-03-31T14:40:09Z

We prove that for any nonlinear $f \in C^{1,α}([0,1])$, the union of lines covering its graph has a Hausdorff dimension of at least $1+α$, and this dimension bound is sharp. We then apply these geometric results to mathematical physics, proving that spacetime observability sets for conservation laws with $α$-Hölder initial wave speeds possess a dimension of at least $α$. Finally, we prove that if an absolutely integrable vector field $v$ on the boundary of a polyhedron exhibits a strictly positive total flux, then the union of the line field spanned by $v$ possesses a Hausdorff dimension of 3.

Uniform optimal-order Wasserstein quantisation

2026-03-31T11:18:24Z

We address Steinerberger's Wasserstein transport problem on the cube $Q=[0,1]^d$. For every $d\ge2$, we consider a dyadic digital sequence $(x_n)\subset Q$ and prove that every prefix $\{x_1,\dots,x_N\}$ admits an exact equal-mass transport partition at the optimal scale. More precisely, for every $N\in\mathbb{N}$, there exist pairwise disjoint Borel sets $A_1,\dots,A_N\subset Q$ such that \[ λ_d(A_n)=\frac1N,\qquad A_n\subset B(x_n,6\sqrt d\,N^{-1/d})\qquad(1\le n\le N), \] and $λ_d\!\bigl(Q\setminus\bigcup_{n=1}^N A_n\bigr)=0$. In other terms, every prefix of the sequence supports an exact transport allocation of Lebesgue mass to its points with uniformly controlled radius $O(N^{-1/d})$. By an elementary partition criterion, this yields \[ W_\infty\!\left(\frac1N\sum_{n=1}^Nδ_{x_n},\,λ_d\right)\le 6\sqrt d\,N^{-1/d} \qquad(N\in\mathbb{N}). \] The bound holds for every $1\le p\le\infty$. The exponent $1/d$ is optimal, so it gives the sharp uniform prefix rate on the cube. The result settles Steinerberger's problem for all $d\ge1$ and all $1\le p\le\infty$.