Related papers: Single radius spherical cap discrepancy on compact…

This paper is devoted to Hardy inequalities concerning distance functions from submanifolds of arbitrary codimensions in the Riemannian setting. On a Riemannian manifold with non-negative curvature, we establish several sharp weighted Hardy…

The program of understanding Shape Theory layer by layer topologically and geometrically -- proposed in Part I -- is now addressed for 4 points in 1-$d$. Topological shape space graphs are far more complex here, whereas metric shape spaces…

We prove that a compact $RCD^*(0,N)$ (or equivalently $RCD(0,N)$) metric measure space, $\left(X, d, m \right)$, with $\diam X \le d$ and its first (nonzero) eigenvalue of the Laplacian (in the sense of Ambrosio-Gigli-Savar\'{e}) ,…

We establish Euclidean-type lower bounds for the codimension-1 Hausdorff measure of sets that separate points in doubling and linearly locally contractible metric manifolds. This gives a quantitative topological isoperimetric inequality in…

Inspired by the boolean discrepancy problem, we study the following optimization problem which we term \textsc{Spherical Discrepancy}: given $m$ unit vectors $v_1, \dots, v_m$, find another unit vector $x$ that minimizes $\max_i \langle x,…

Rigidity results are obtained for Riemannian $d$-manifolds with $\sec \geqslant 1$ and spherical rank at least $d-2>0$. Conjecturally, all such manifolds are locally isometric to a round sphere or complex projective space with the…

Let $(N,g)$ be an $n$-dimensional complete Riemannian manifold with nonempty boundary $\pt N$. Assume that the Ricci curvature of $N$ has a negative lower bound $Ric\geq -(n-1)c^2$ for some $c>0$, and the mean curvature of the boundary $\pt…

The minimal spherical cap dispersion ${\rm disp}_{\mathcal{C}}(n,d)$ is the largest number $\varepsilon\in (0,1]$ such that, for every $n$ points on the $d$-dimensional Euclidean unit sphere $\mathbb{S}^d$, there exists a spherical cap with…

The smallest $r$ so that a metric $r$-ball covers a metric space $M$ is called the radius of $M$. The volume of a metric $r$-ball in the space form of constant curvature $k$ is an upper bound for the volume of any Riemannian manifold with…

Achieving resolution in the sub-Rayleigh regime (superresolution) is one of the rapidly developing topics in quantum optics and metrology. Recently, it was shown that perfect measurement based on spatial mode demultiplexing (SPADE) in…

Let $M$ be a hyperbolic Riemann surface with the first eigenvalue $\lambda_1(M)>0$. Let $\rho$ denote the distance from a fixed point $x_0\in{M}$ and $r_x$ the injectivity radius at $x$. We show that there exists a numerical constant…

Let $d_1$, $d_2$, ... be a sequence of positive numbers that converges to zero. A generalization of Steinhaus' theorem due to Weil implies that, if a subset of a homogeneous Riemannian manifold has no pair of points at distances $d_1$,…

The star discrepancy $D_N^*(\mathcal{P})$ is a quantitative measure for the irregularity of distribution of a finite point set $\mathcal{P}$ in the multi-dimensional unit cube which is intimately related to the integration error of…

We prove that if $M$ is a closed $n$-dimensional Riemannian manifold, $n \ge 3$, with ${\rm Ric}\ge n-1$ and for which the optimal constant in the critical Sobolev inequality equals the one of the $n$-dimensional sphere $\mathbb{S}^n$, then…

It is shown that a connected non-compact metrizable manifold of dimension $\ge 2$ is strongly discrete homogeneous if and only if it has one end (in the sense of Freudenthal compactification).

In general, the critical points of the distance function $d_{\mathsf{M}}$ to a compact submanifold $\mathsf{M} \subset \mathbb{R}^D$ can be poorly behaved. In this article, we show that this is generically not the case by listing regularity…

For a compact $(2n+1)$-dimensional smooth manifold, let $\mu_M : B Diff_\partial (D^{2n+1}) \to B Diff (M)$ be the map that is defined by extending diffeomorphisms on an embedded disc by the identity. By a classical result of Farrell and…

The goal of this note is to demonstrate how existing results can be adapted to establish the following result: A locally metric measure homogeneous $\mathrm{RCD}(K,N)$ space is isometric to, after multiplying a positive constant to the…

Let a sequence of conformal Riemannian metrics $\{g_k=u_k^2g_0\}$ be isospectral to $g_0$ over a compact boundaryless smooth 4-dimension manifold $(M,g_0)$. We prove that the subsequence of conformal factors $\{u_k\}$ converges to $u$…

We prove that the information complexity (i.e., the inverse) of the classical spherical cap $L_2$ discrepancy on the $d$-dimensional sphere $\mathbb{S}^d$ decreases with dimension $d$, indicating a ``blessing of dimensionality'' for the…