The trapezoid comparison inequality in metric spaces with curvature bounded above
Abstract
Among four points of a CAT(0) space, the planar symmetric trapezoids are configurations on which Ptolemy's and Reshetnyak's inequalities are both equalities. We show that the symmetric trapezoids remain extremal for the entire family of inequalities interpolating between the two, indexed by the nondecreasing convex functions with concave derivative, and that this function class is characterized by this property. The result is qualitatively stronger than the known quadruple inequalities for this class of functions, and recovers them with their optimal constants, which were previously known only for power functions. Moreover, we extend the analysis to CAT(κ) spaces with κ>0. We derive variants of Reshetnyak's quadrilateral comparison and of Ptolemy's inequality under positive upper curvature bounds, each with the optimal constant. These two inequalities yield the trapezoid comparison inequality in CAT(κ) spaces, where the product of the bases carries an additional constant factor compared to the κ=0 case. Again the constant is optimal.
Related
- Lower curvature bounds on metric surfaces via the Bishop--Gromov inequality
- Weighted Power Fréchet Means in Metric Spaces with Curvature Bounded Above
- Eigenvalue comparison theorems for the Witten-Laplacian and the weighted p-Laplacian on complete manifolds with a modified Ricci curvature bounded from below
- Finite-Sample Bounds for Fréchet Means of Dependent Data in Metric Spaces with Curvature Bounded Above
- Geometry property of stochastic parabolic equations and Prékopa-Leindler inequality on bounded domains
BibTeX
@misc{schotz2026trapezoid,
title = {{The trapezoid comparison inequality in metric spaces with curvature bounded above}},
author = {Christof Schötz},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.02284},
eprint = {2609.02284},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.02284},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - The trapezoid comparison inequality in metric spaces with curvature bounded above
AU - Christof Schötz
PY - 2026
DA - 2026/09/02
PB - arXiv
DO - 10.48550/arxiv.2609.02284
UR - https://arxiv.org/abs/2609.02284
AB - Among four points of a CAT(0) space, the planar symmetric trapezoids are configurations on which Ptolemy's and Reshetnyak's inequalities are both equalities. We show that the symmetric trapezoids remain extremal for the entire family of inequalities interpolating between the two, indexed by the nondecreasing convex functions with concave derivative, and that this function class is characterized by this property. The result is qualitatively stronger than the known quadruple inequalities for this class of functions, and recovers them with their optimal constants, which were previously known only for power functions. Moreover, we extend the analysis to CAT(κ) spaces with κ>0. We derive variants of Reshetnyak's quadrilateral comparison and of Ptolemy's inequality under positive upper curvature bounds, each with the optimal constant. These two inequalities yield the trapezoid comparison inequality in CAT(κ) spaces, where the product of the bases carries an additional constant factor compared to the κ=0 case. Again the constant is optimal.
ER -