clopen.solutions

Quadratic barrier parameters for hyperbolic balls

Recorded by the registry's curators from GitHub; the authors did not submit it here.

Kaiwen Jin

For geodesic balls of radius \(R\) in the hyperbolic plane of curvature \(-1\), we prove that the least parameter of a self-concordant barrier is of order \(R^2\). Self-concordance is required for arbitrary triples of tangent vectors. The lower bound holds for every barrier, without a symmetry assumption: at a maximum on a geodesic circle, curvature forces a fixed positive radial Hessian. A scalar convexity argument turns this local constraint into a quadratic lower bound. The known quadratic construction is therefore optimal in order, and an \(O(\sqrt R)\) parameter is impossible for this definition.

Claims

SOLUTION CLAIMED OP-00354 — Sharp barrier-parameter growth for hyperbolic balls
Full resolution · fidelity not yet established

Files and sources

Paper
AIM @ 24edaad, paper/hyperbolic_ball_barriers.pdf ↗
Posted on GitHub
14 October 2026

No verification run is on record for this version.