We introduce a unified framework to establish the high-dimensional asymptotic behavior of maximal functions associated with radial log-concave probability densities, encompassing the maximal heat semigroup, Hardy-Littlewood maximal function over Euclidean balls, and, additionally, maximal spherical means. Namely, for any $p \in (1, \infty)$, we prove that the $L^p(\mathbb{R}^d)$ operator norms of these maximal operators all converge as the dimension $d \to \infty$ to a single, universal limit $\lambda(p)$. Furthermore, by proving that the $L^p$ operator norms for the heat semigroup $\mathcal G_*^d$ are monotonically non-decreasing in the dimension, we provide explicit quantitative bounds on the universal limit, showing that $\frac{2}{5}\frac{p}{p-1} \le \|\mathcal{G}_*^1\|_{L^p(\mathbb{R}) \to L^p(\mathbb{R})} \le \lambda(p) \le \frac{p}{p-1}$. We also prove an extremality property: among all symmetric convex bodies in high dimensions, the maximal operator associated with the Euclidean ball achieves the asymptotically minimal $L^p$ operator norm. Our main results are established via a general transference principle that allows us to control maximal functions via Fourier multiplier symbols. To estimate these symbols uniformly across log-concave densities, we import variance type bounds and thin-shell type concentration of measure results, which are novel tools in the study of maximal functions. In particular, to prove the extremality property, we require a variance type bound for general log concave measures established in a recent series of breakthroughs in high dimensional convex geometry.
We determine the sharp asymptotic behavior of the optimal constants in the discrete Hardy-Rellich inequalities on the lattice $\mathbb{Z}^d$. For every fixed integer $m\ge 1$, let ${\mathcal C}_{m,d}$ be the best constant in the $m$-th order Hardy-Rellich inequality. We prove that $$\lim_{d\to\infty}\frac{\mathcal C_{m,d}}{d^m}=2^m.$$ Our approach combines a Fourier reduction to weighted inequalities with the flat torus and general weighted Hardy-Rellich identities of first and second order. A key novelty is the use of probabilistic concentration estimates, specifically Hoeffding's inequality and entropy methods, to handle estimates involving the anisotropic weight $\omega^\gamma$ $(\gamma\geq 1)$ where $$\omega(x)=\sum_{j=1}^{d} \Big(\sin\frac{x_j}{2}\Big)^2$$ in a dimension-uniform manner. These tools yield asymptotically sharp weighted estimates on the torus, from which the lattice inequalities follow by iteration.
We study the long-time behavior of the Wasserstein gradient flow of the squared Maximum Mean Discrepancy (MMD) between a probability measure $\rho$ and a target measure $\mu$, where the underlying kernel is given by a Coulomb potential. For $L^\infty$ target densities $\mu$, we establish the existence of global weak solutions starting from arbitrary Borel probability measures and prove that the density $\rho_t$ belongs to $L^\infty$ for any $t>0$. We also show that the H\"older norm can grow exponentially in time. On the flat torus ${\mathbb{T}}^\mathsf{d}$, we prove a global metric PL inequality for every finite-Coulomb-energy source and nearly uniform target. For general bounded, uniformly positive targets, we prove exponential decay of the squared MMD without requiring a lower bound on the initial data, using a defective PL inequality. We also prove that the usual PL inequality may fail when the target vanishes only at one point and that, when $\mathsf{d}\ge2$, no PL constant can hold uniformly over all targets satisfying a prescribed lower bound. On ${\mathbb{R}}^\mathsf{d}$, for $\mathsf{d}\ge2$, under radial symmetry, source-support inclusion, and target-positivity assumptions, we establish a PL inequality and exponential convergence. On the unrestricted whole-space class, neither a multiplicative squared-MMD decay modulus uniform over the initial datum nor a global PL inequality can hold. Finally, in every dimension and in both spatial settings, we prove that every Lagrangian critical point coincides with the target when $(\rho-\mu)^+$ is absolutely continuous. In dimension two, the energy supplies uniform tightness. This implies that if our constructed solutions have finite energy at some positive time, then they converge to the target narrowly and strongly in negative-order Sobolev spaces.
Antonin Chodron de Courcel, Matthew Rosenzweig· 0 citations
Let $X=G/K$ be a symmetric space of noncompact type, of dimension $n$ and rank $r$, and let $Y=\Gamma\backslash X$. Sarnak's local bound for an $L^2$-normalized spherical joint eigenfunction with regular tempered parameter of size $T$ is $\|\phi\|_\infty\ll T^{(n-r)/2}$. We prove $o(T^{(n-r)/2})$ locally uniformly on every quotient. On finite-volume real hyperbolic manifolds this is uniform in the expanding cusp range $y\leq T^\beta$, $\beta<1/2$. If the injectivity radius is bounded below, we prove the global estimate $T^{(n-r)/2}(\log T)^{-r/2}$.
We prove the Harnack inequality (with tails) and local H\"older regularity for the fractional logarithmic $p$-Laplace operator, which is derived by differentiating the fractional $p$-Laplace operator with respect to its order. To be more precise, for a suitable function $u,$ the operator reads as the first order derivative \begin{align*} (-\Delta_p)^{s+\log} u:= \frac{{\rm d}}{{\rm d}t}(-\Delta_p)^t u \Big|_{t=s} \end{align*} at any arbitrary order $s\in (0, 1).$ The kernel of this operator involves a logarithmic factor. As a consequence, it changes sign at large scales and, near the diagonal, is more singular than the kernel of the fractional $p$-Laplacian. To achieve our regularity estimates, we adopt the classical De Giorgi-Nash-Moser techniques in this setting. We also construct an example showing that the Harnack inequality fails without tail terms. Our results are new even in the linear setup $p=2$.
Let $S^n$ be the unit round sphere with its intrinsic angular metric, normalized so that $\operatorname{diam}S^n=\pi$. For finite homogeneous metric spaces $X$, put \[ \delta_n=\inf_X d_{GH}(X,S^n). \] The main open problem is whether $\inf_{n\ge2}\delta_n>0$. Gelander's theorem gives $\delta_n>0$ in each fixed dimension, but not uniformly. An abstract cross-polytope construction gives the universal upper bound $\delta_n\le\pi/4$. In the opposite direction, ChatGPT combines the passage from small Gromov--Hausdorff error to an approximate finite action on the sphere, logarithmic stability of approximate inner-product-preserving maps due to Cuesta, operator-norm stability of almost representations, and Green's width theorem for finite transitive sets. This gives the quantitative bound \[ \delta_n\ge \frac{c}{(1+\log(n+1))^2} \] for all sufficiently large $n$.
We study spectral and variational properties of the (possibly) fractional Dirichlet Laplacian $\left(-\Delta_{n+k}\right)^s\!$, $s>0$, on bounded subsets of $\mathbb R^n\times\mathbb R^k$ whose extent in one or more directions becomes much larger than in the remaining ones. We first investigate the asymptotic behaviour of the first eigenvalue on stretching (or thinning) tubes, covering in particular the case of integers $s\geq 2$, for which $\left(-\Delta_{n+k}\right)^s\!$ reduces to a polyharmonic operator. Then we compute the $G$-limit of the rescaled operators, and the $\Gamma$-limit of the corresponding rescaled quadratic forms.
R. Musina, Giulio Romani· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
