Related papers: A note on Hurwitz's inequality
By using a coupling method, an explicit log-Harnack inequality with local geometry quantities is established for (sub-Markovian) diffusion semigroups on a Riemannian manifold (possibly with boundary). This inequality as well as the…
Let X be a compact manifold with boundary and let L^k be a high power of a hermitian holomorphic line bundle over X. When X has no boundary, Demailly's holomorphic Morse inequalities give asymptotic bounds on the dimensions on the Dolbeault…
We derive various sharp upper bounds for the $p$-capacity of a smooth compact set $K$ in the hyperbolic space $\mathbb{H}^n$ and the Euclidean space $\mathbb{R}^n$. Firstly, using the inverse mean curvature flow, for the mean convex and…
We prove upper bounds for the probability that a radial SLE$_{\kappa}$ curve, $\kappa\in(0,8)$, comes within specified radii of $n$ different points in the unit disc. Using this estimate, we then prove a similar upper bound for a…
In this note, we report five mathematical discoveries made in collaboration with Grok, all of which have been subsequently verified by the authors. These include an improved lower bound on the maximal Gaussian perimeter of convex sets in…
We give a new proof of an isoperimetric inequality for a family of closed surfaces, which have Gaussian curvature identically equal to one wherever the surface is smooth. These surfaces are formed from a convex, spherical polygon, with each…
We develop the geometry of Hurwitz continued fractions, a major tool in understanding the approximation properties of complex numbers by ratios of Gaussian integers. Based on a thorough study of the geometric properties of Hurwitz continued…
We prove that if $G$ is an abelian group and $H_1x_1,\dots,H_{k}x_k$ is an irredundant (minimal) cover of $G$ with cosets, then $$|G:\bigcap_{i=1}^{k}H_{i}|=2^{O(k)}.$$ This bound is the best possible up to the constant hidden in the…
Let $M=S^{2n+1}/ \Gamma$, $\Gamma$ is a finite group which acts freely and isometrically on the $(2n+1)$-sphere and therefore $M$ is diffeomorphic to a compact space form. In this paper, we first investigate Katok's famous example about…
This paper considers affine analogues of the isoperimetric inequality in the sense of piecewise linear topology. Given a closed polygon P embedded in R^d having n edges, we give upper and lower bounds for the minimal number of triangles…
We prove that the boundary of an almost minimizer of the intrinsic perimeter in a plentiful group can be approximated by intrinsic Lipschitz graphs. Plentiful groups are Carnot groups of step~$2$ whose center of the Lie algebra is generated…
A classical regularity result is that non-negative solutions to the Dirichlet problem $\Delta u =f$ in a bounded domain $\Omega$, where $f\in L^q(\Omega)$, $q>\frac{n}2$, satisfy $\|u\|_{L^\infty(\Omega)} \leq C\|f\|_{L^q(\Omega)}$. We…
A Kleinian group $\Gamma < \mathrm{Isom}(\mathbb H^3)$ is called convex cocompact if any orbit of $\Gamma$ in $\mathbb H^3$ is quasiconvex or, equivalently, $\Gamma$ acts cocompactly on the convex hull of its limit set in $\partial \mathbb…
We adapt Stein's method to isoperimetric and geometric inequalities. The main challenge is the treatment of boundary terms. We address this by using an elliptic PDE with an oblique boundary condition. We apply our geometric formulation of…
Let $f$ be a $SL(2,\mathbb{Z})$ holomorphic cusp form or the Eisenstien series $E(z,1/2)$ and $\pi$ be a $SL(3,\mathbb{Z})$ Hecke-Maass cusp form with its Langlands parameter $\mu$ in generic position i.e. away from Weyl chamber walls and…
For a strictly convex set $K\subset \mathbb{R}^2$ of class $C^2$ we consider its associated sub-Finsler $K$-perimeter $|\partial E|_K$ in $\mathbb{H}^1$ and the prescribed mean curvature functional $|\partial E|_K-\int_E f$ associated to a…
Let $\Sigma$ be a hypersurface in an $n$-dimensional Riemannian manifold $M$, $n\geqslant 2$. We study the isometric extension problem for isometric immersions $f:\Sigma\to\mathbb R^n$, where $\mathbb R^n$ is equipped with the Euclidean…
Each finite $p$-perfect group $G$ ($p$ a prime) has a universal central $p$-extension. For a perfect group these central extensions come from its {\sl Schur multiplier}. Serre gave a Stiefel-Whitney class approach to analyzing spin covers…
For the quermassintegral inequalities of horospherically convex hypersurfaces in the $(n+1)$-dimensional hyperbolic space, where $n\geq 2$, we prove a stability estimate relating the Hausdorff distance to a geodesic sphere by the deficit in…
M. Gromov introduced the Lipschitz order relation on the set of metric measure spaces and developed a rich theory. In particular, he claimed that an isoperimetric inequality on a non-discrete space is represented by using the Lipschitz…