pith. sign in

arxiv: 2605.23430 · v1 · pith:OBSE42XHnew · submitted 2026-05-22 · 🧮 math.MG

A unified approach to Penner, Ptolemy, and Casey's theorems in several dimensions

Isabella Lewis , Ian Short This is my paper

Pith reviewed 2026-05-25 02:42 UTC · model grok-4.3

classification 🧮 math.MG
keywords Penner theoremPtolemy theoremCasey theoremhyperbolic spaceLorentzian modelGram matrixhorocyclesfull converses
0
0 comments X

The pith

Penner's theorem on horocycles, Ptolemy's theorem, and Casey's theorem all follow from one Gram-matrix calculation on lightlike, timelike, and spacelike vectors in the Lorentzian model of hyperbolic space.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that Penner's theorem, Ptolemy's theorem, and Casey's theorem, each with a full converse, hold in hyperbolic space of any dimension. The proofs rest on a single calculation: the Gram matrix formed by vectors that are lightlike when they represent horocycles, timelike or spacelike when they represent circles and tangent segments. This matrix directly encodes the distance and length relations asserted by each theorem. The same framework produces a previously unrecorded version of Casey's theorem in the Euclidean plane that includes three geometric alternatives.

Core claim

All three theorems are derived from a common Gram-matrix calculation applied to lightlike, timelike, and spacelike vectors in the Lorentzian model of hyperbolic space, providing proofs and full converses in several dimensions.

What carries the argument

Gram matrix of lightlike, timelike, and spacelike vectors in the Lorentzian model that represent the geometric objects of each theorem.

If this is right

  • Each theorem holds with a full converse in hyperbolic space of arbitrary dimension.
  • Casey's theorem in the plane takes a new form involving three geometric alternatives.
  • The distance and length relations of the theorems appear directly as entries or determinants of the Gram matrix.
  • Separate classical proofs for each theorem can be replaced by one shared matrix calculation.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The vector representation may allow similar unified derivations for other classical theorems involving lengths or tangents in spaces of constant curvature.
  • The method could be used to generate computational checks of the theorems by constructing explicit vector sets in high-dimensional Lorentzian space.
  • The three-alternative form of Casey's theorem suggests that related planar theorems might admit multiple geometric realizations not previously catalogued.

Load-bearing premise

The geometric objects in each theorem correspond exactly to lightlike, timelike, or spacelike vectors whose Gram matrix encodes the stated relations.

What would settle it

A configuration of horocycles, circles, or tangent segments in hyperbolic space whose corresponding vectors produce a Gram matrix that fails to recover the distance or length equality claimed by one of the three theorems.

Figures

Figures reproduced from arXiv: 2605.23430 by Ian Short, Isabella Lewis.

Figure 1.1
Figure 1.1. Figure 1.1: Penner’s theorem λ13λ24 = λ14λ23 + λ12λ34, where λij = e δij /2 Next we offer two results on Ptolemy’s theorem for hyperbolic space, Theorems B1 and B2, for collections of n + 1 and n + 2 points in Hn, respectively. The second theorem is known and was established by Valentine and Andalafte in [10, Theorem 4.7]; the first theorem is similar to Theorem 3.1 from that same work. The proofs we give (in Sectio… view at source ↗
Figure 1.2
Figure 1.2. Figure 1.2: Ptolemy’s theorem d13d24 = d14d23 + d12d34 The other case of Theorem B1, when the points vi are assumed to lie on a (metric) hy￾persphere, gives us a spherical version of Ptolemy’s theorem, which was obtained by Valentine [9, Theorem 5.4] for the case n = 3. More generally, the hypothesis in Theorem B1 that the vi belong to a common horosphere or hypersphere can be broadened to allow the vi to belong to … view at source ↗
Figure 1.3
Figure 1.3. Figure 1.3: Three cases of Casey’s theorem the four-by-four matrix with entries t 2 ij ; then det T = det D. When all Si are cooriented in the same way and have the cyclic labelling of [PITH_FULL_IMAGE:figures/full_fig_p005_1_3.png] view at source ↗
read the original abstract

We prove Penner's theorem on horocycles and theorems of Ptolemy and Casey, all with full converses, in hyperbolic space of several dimensions. Recently Waddle observed that the equations underpinning these three theorems are related, and it is this viewpoint that we advance, using the Lorentzian model of hyperbolic space. We show that all three theorems can be derived from a common Gram-matrix calculation applied to lightlike, timelike, and spacelike vectors. Remarkably, our approach gives a version of Casey's theorem in the plane with a full converse, involving three geometric alternatives, which to our knowledge has not previously been recorded.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The paper claims to prove Penner's theorem on horocycles, Ptolemy's theorem, and Casey's theorem (all with full converses) in hyperbolic space of arbitrary dimension by deriving them from a single Gram-matrix calculation in the Lorentzian model. Lightlike, timelike, and spacelike vectors are assigned to the relevant geometric objects (horocycles, circles, tangent segments), and the stated relations (including three alternatives in the planar Casey case) are recovered directly from the Gram entries or determinants.

Significance. If the derivations hold, the work supplies a clean, dimension-independent unification of three classical theorems via standard Lorentz-model tools with no free parameters or ad-hoc assumptions. It also records a new planar Casey variant with a complete converse and three geometric alternatives. These features constitute a genuine strengthening of the literature on hyperbolic-geometry identities and could support further generalizations.

minor comments (2)
  1. A brief table or diagram summarizing the vector-to-object assignments for Penner, Ptolemy, and Casey would improve readability for readers less familiar with the Lorentz model.
  2. The higher-dimensional statements of Ptolemy and Penner would benefit from an explicit remark confirming that no additional curvature or dimension-dependent hypotheses are required beyond the Gram-matrix identity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, significance assessment, and recommendation to accept the manuscript. The report accurately captures the paper's contributions.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper constructs explicit vector assignments in the Lorentz model for each geometric object (horocycles as lightlike vectors, circles as timelike or spacelike), then computes Gram matrix entries or determinants directly from the Minkowski inner product to recover Penner, Ptolemy, and Casey relations (including converses and the three planar Casey alternatives). No parameters are fitted to data and then renamed as predictions; no self-citation chain is invoked as the sole justification for a uniqueness claim or ansatz; the Lorentz model and Gram-matrix algebra are standard external tools applied to the stated correspondences. The central claim therefore does not reduce to its inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the standard Lorentzian model of hyperbolic space and the algebraic properties of Gram matrices; no free parameters or new entities are introduced in the abstract.

axioms (1)
  • domain assumption The Lorentzian model faithfully represents n-dimensional hyperbolic space and allows lightlike, timelike, and spacelike vectors to encode the relevant geometric objects.
    Invoked to justify applying the Gram-matrix calculation uniformly to the three theorems.

pith-pipeline@v0.9.0 · 5626 in / 1210 out tokens · 27435 ms · 2026-05-25T02:42:02.593272+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages

  1. [1]

    N. V. Abrosimov and V. V. Aseev,Generalizations of Casey’s theorem for higher dimensions, Lobachevskii J. Math.39(2018), no. 1, 1–12

    work page 2018

  2. [2]

    N. V. Abrosimov and L. A. Mikaiylova,Casey’s theorem in hyperbolic geometry, Sib. `Elektron. Mat. Izv.12 (2015), 354–360

    work page 2015

  3. [3]

    Felikson, O

    A. Felikson, O. Karpenkov, K. Serhiyenko, and P. Tumarkin, 3D Farey graph, lambda lengths andSL 2-tilings, Geom. Dedicata219(2025), Article 33

    work page 2025

  4. [4]

    R. J. Gregorac,Feuerbach’s relation and Ptolemy’s theorem inR n, Geom. Dedicata60(1996), no. 1, 65–88

    work page 1996

  5. [5]

    Maehara and H

    H. Maehara and H. Martini,Bipartite sets of spheres and Casey-type theorems, Results Math.74(2019), no. 1, Paper No. 47, 20

    work page 2019

  6. [6]

    R. C. Penner,The decorated Teichm¨ uller space of punctured surfaces, Comm. Math. Phys.113(1987), no. 2, 299–339

    work page 1987

  7. [7]

    ,Lambda lengths:Lecture notes from CTQM Master Class taught at Aarhus University in August

    work page

  8. [8]

    https://www.ctqm.au.dk/research/MCS/lambdalengths.pdf

    work page

  9. [9]

    J. G. Ratcliffe,Foundations of hyperbolic manifolds, 3rd ed., Graduate Texts in Mathematics, vol. 149, Springer, Cham, 2019

    work page 2019

  10. [10]

    J. E. Valentine,An analogue of Ptolemy’s theorem in spherical geometry, Amer. Math. Monthly77(1970), 47–51

    work page 1970

  11. [11]

    spherical

    J. E. Valentine and E. Z. Andalafte,A metric characterization of “spherical” surfaces inn-dimensional hyperbolic space, J. Reine Angew. Math.251(1971), 142–152

    work page 1971

  12. [12]

    Waddle,Ptolemy’s equation and kin, Math Intelligencer

    K. Waddle,Ptolemy’s equation and kin, Math Intelligencer. (2025). 9

    work page 2025