arXiv research

Lorentz-Finsler geometry reveals new and old inequalities.

Sharp inequalities for curved surfaces and cones.

We study side-lengths of triangles in path metric spaces. We prove that unless such a space X is bounded, or quasi-isometric to line or half-line, every triple of real numbers satisfying the strict triangle inequalities, is realized by the side-lengths of a triangle in X. We construct an example of a complete path metr…

Two simple proofs of the triangle inequality for the Jaccard distance in terms of nonnegative, monotone, submodular functions are given and discussed.

New neural nets respect triangle inequality, improving graph and reinforcement learning performance.

The paper finds extremum values for mixed Laplacian eigenvalues on triangles and trapezoids.

Sharp stability results for reverse isoperimetric inequalities in 2D.

We describe the set of possible vector valued side lengths of n-gons in thick Euclidean buildings of rank 2. This set is determined by a finite set of homogeneous linear inequalities, which we call the generalized triangle inequalities. These inequalities are given in terms of the combinatorics of the spherical Coxeter…

Paper relaxes triangle inequality for KL divergence between Gaussian distributions.

Proof of reverse isoperimetric inequality for black holes.

We continue our study of geometric analysis on (possibly non-reversible) Finsler manifolds, based on the Bochner inequality established by the author and Sturm. Following the approach of the $Γ$-calculus a la Bakry et al, we show the dimensional versions of the Poincare--Lichnerowicz inequality, the logarithmic Sobolev…

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 needed to forma triangulated embedded orientable surface in R^d having P as its geo…

The paper proves a reverse isoperimetric inequality and applies it to analyze surface flows.

Established a Hardy inequality on Finsler manifolds.

A pseudo-length function defined on an arbitrary group $G = (G,\cdot,e, (\,)^{-1})$ is a map $\ell: G \to [0,+\infty)$ obeying $\ell(e)=0$, the symmetry property $\ell(x^{-1}) = \ell(x)$, and the triangle inequality $\ell(xy) \leqslant \ell(x) + \ell(y)$ for all $x,y \in G$. We consider pseudo-length functions which sa…

New optimal isosystolic inequality found for Finsler reversible 2-tori.

New findings show functional inequalities fail on Finsler manifolds with positive S-curvature.

Sharp Hardy and spectral gap inequalities found on special irreversible Finsler manifolds.

A semi-Riemannian manifold is said to satisfy $R\ge K$ (or $R\le K$) if spacelike sectional curvatures are $\ge K$ and timelike ones are $\le K$ (or the reverse). Such spaces are abundant, as warped product constructions show; they include, in particular, big bang Robertson-Walker spaces. By stability, there are many n…

The paper finds inequalities in Grassmannian geometry.

We prove an optimal reverse Poincaré inequality for the heat semigroup generated by the sub-Laplacian on a Carnot group of any step. As an application we give new proofs of the isoperimetric inequality and of the boundedness of the Riesz transform in Carnot groups.

New inequality for eigenfunctions on curved spaces.

We prove a reverse isoperimetric inequality for domains homeomorphic to a disc with the boundary of curvature bounded below lying in two-dimensional Alexandrov spaces of curvature $\geqslant c$. We also study the equality case.

Reverse Hölder inequalities on Fano metrics with applications to geodesics and singularities.

We construct a spectral sequence from the reduced odd Khovanov homology of a link converging to the framed instanton homology of the double cover branched over the link, with orientation reversed. Framed instanton homology counts certain instantons on the cylinder of a 3-manifold connect-summed with a 3-torus. En route…

Defines signed quasiregular curves and proves growth theorem.

Study on a metric space derived from Kähler manifolds.

We prove that for combinatorial graphs with non-negative Ollivier curvature, one has \[ \|P_t μ- P_t ν\|_1 \leq \frac{W_1(μ,ν)}{\sqrt{t}} \] for all probability measures $μ,ν$ where $P_t$ is the heat semigroup and $W_1$ is the $\ell_1$-Wasserstein distance. This turns out to be an equivalent formulation of a version of…

The paper proposes a new way to approximate Riemannian metrics using discrete wall systems.

The paper proves inequalities for Steklov eigenvalues on finite graphs.

We show that, in the Teichmüller metric, "thin-framed triangles are thin"---that is, under suitable hypotheses, the variation of geodesics obeys a hyperbolic-like inequality. This theorem has applications to the study of random walks on Teichmüller space. In particular, an application is worked out for the action of th…

Given a closed polygon P having n edges, embedded in R^d, we give upper and lower bounds for the minimal number of triangles t needed to form a triangulated PL surface in R^d having P as its geometric boundary. The most interesting case is dimension 3, where the polygon may be knotted. We use the Seifert suface constru…

We prove a differential Harnack inequality for the solution of the parabolic Allen-Cahn equation $\frac{\partial f}{\partial t}=\triangle f-(f^3-f)$ on a closed n-dimensional manifold. As a corollary we find a classical Harnack inequality. We also formally compare the standing wave solution to a gradient estimate of M…

We study the validity of the $L^p$ inequality for the Riesz transform when $p>2$ and of its reverse inequality when $p<2$ on complete Riemannian manifolds under the doubling property and some Poincaré inequalities.

The paper establishes conditions for Bayesian consistency in supremum metric.

The paper proves reverse inequalities in various geometric settings using curvature radius data.

Study interior estimates for solutions of Poisson equation on Riemann surfaces.

Distance functions of metric spaces with lower curvature bound, by definition, enjoy various metric inequalities; triangle comparison, quadruple comparison and the inequality of Lang-Schroeder-Sturm. The purpose of this paper is to study the extremal cases of these inequalities and to prove rigidity results. The spaces…

Study hypothesis testing under quantized samples with communication constraints, achieving near-optimal sample complexity.

Klartag recently gave a beautiful alternative proof of the isoperimetric inequalities of Levy-Gromov, Bakry-Ledoux, Bayle and E. Milman on weighted Riemannian manifolds. Klartag's approach is based on a generalization of the localization method (so-called needle decompositions) in convex geometry, inspired also by opti…

We estimate the rate of change of the best constant in the Sobolev inequality of a Euclidean domain which moves outward. Along the way we prove an inequality which reverses the usual Holder inequality, which may be of independent interest.

Let $\mathbb{M}$ be a smooth connected manifold endowed with a smooth measure $μ$ and a smooth locally subelliptic diffusion operator $L$ satisfying $L1=0$, and which is symmetric with respect to $μ$. We show that if $L$ satisfies, with a non negative curvature parameter, the generalized curvature inequality introduced…

Sharp reverse affine isoperimetric inequalities for asymmetric Wulff shapes and their polars are established, along with the characterization of all extremals. These new inequalities have as special cases previously obtained simplex inequalities by Ball, Barthe and Lutwak, Yang, and Zhang. In particular, they provide t…

The paper proves Hardy inequalities on Finsler manifolds using superharmonicity.

The paper improves inequalities for Kähler-Einstein manifolds using curvature conditions.

Sharp isoperimetric inequalities for the sine transform of even isotropic measures are established. The corresponding reverse inequalities are obtained in an asymptotically optimal form. These new inequalities have direct applications to strong volume estimates for convex bodies from data about their sections or projec…

Study of irreversible metric-measure spaces, proving convergence and stability results.

In 3D space forms, a lens minimizes volume for a fixed surface area.