pith. sign in

arxiv: 2604.27990 · v1 · submitted 2026-04-30 · 🧮 math.DG · math.DS· math.GT

Can You Hear the Shape of a Hyperbolic Surface? Now for Real

Ludovico Battista , Juan Souto This is my paper

Pith reviewed 2026-05-07 05:37 UTC · model grok-4.3

classification 🧮 math.DG math.DSmath.GT
keywords hyperbolic surfacesmulticurvesgeodesicsmelodiesisometryinverse problemshyperbolic geometry
0
0 comments X

The pith

Melodies from geodesics striking labeled multicurves on hyperbolic surfaces can identify the surface and curve up to isometry.

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

The authors introduce a hyperbolic marimba for each hyperbolic surface paired with a labeled simple multicurve. A geodesic on the surface generates a melody by playing the note corresponding to each intersection with the multicurve. They study how far these melodies determine the original surface and multicurve up to isometry. This creates an auditory signature for the geometric object. The work includes a website for listening to example melodies and observing related phenomena.

Core claim

We associate a musical instrument, a hyperbolic marimba, to every pair (X, Γ) where X is a hyperbolic surface and Γ a simple multicurve labeled with musical keys. It works by taking a geodesic and playing the corresponding note every time it hits Γ. We investigate to which extent the so-produced melodies characterize (X, Γ) up to isometry.

What carries the argument

The hyperbolic marimba, which converts geodesic intersections with the labeled multicurve into sequences of musical notes.

If this is right

  • If the melodies characterize the pair up to isometry, then non-isometric surfaces or multicurves produce audibly different melodies.
  • The labeling of the multicurve with keys allows the melody to encode which component is hit.
  • Generic geodesics produce well-defined melodies that capture the dynamics of the geodesic flow on the surface.
  • Listening to the melodies provides a way to distinguish geometric structures without direct measurement.

Where Pith is reading between the lines

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

  • This auditory approach could extend inverse spectral problems to include discrete hitting data from curves.
  • Similar constructions might apply to other geometric flows or surfaces with different curvatures.
  • Computational experiments on the website could test specific examples of non-isometric pairs to see if melodies differ.
  • The method might connect to coding theory or symbolic dynamics where sequences encode geometric information.

Load-bearing premise

The melodies produced by generic geodesics are sufficiently rich and the labeling distinct enough to allow identification of the isometry class from the set of possible melodies.

What would settle it

Finding two non-isometric pairs (X, Γ) and (X', Γ') that generate exactly the same set of melodies for corresponding geodesics would falsify the claim that the melodies always characterize the pair up to isometry.

Figures

Figures reproduced from arXiv: 2604.27990 by Juan Souto, Ludovico Battista.

Figure 1
Figure 1. Figure 1: A classical marimba Although different geodesics in the marimba (X, Γ) will produce different melodies, what we study is to which extent random melodies allow us to distinguish between different marimbas, very much as one would likely recognize the different origins of randomly chosen Finns, Indians, Texans, Peruvians, or Iranians playing their traditional music. More specifically, we want to figure out if… view at source ↗
Figure 2
Figure 2. Figure 2: A non-separating pair. Later on we will choose the surfaces in a specific 4-dimensional family Z, but let us start with an arbitrary closed hyperbolic surface X of genus 2 and let Γ be a non-separating multicurve consisting of two components α and β. Cutting X along Γ we obtain a four-holed sphere W. To recover X from W, two components ∂αW and ∂ ′ αW of ∂W get isometrically identified to produce α, and ano… view at source ↗
Figure 3
Figure 3. Figure 3: The bold printed segment I has length dα,η1,η2 (X) view at source ↗
Figure 4
Figure 4. Figure 4: The segment T ⊂ η used to calculate the twist is bold view at source ↗
read the original abstract

We associate a musical instrument, a "hyperbolic marimba", to every pair $(X,\Gamma)$ where $X$ is a hyperbolic surface and $\Gamma\subset X$ a simple multicurve labeled with musical keys. It works as follows: take a geodesic and every time it hits $\Gamma$, play the corresponding note. In this paper we investigate to which extent the so-produced melodies characterize $(X,\Gamma)$ up to isometry. In the accompanying website "HyperMarimba" (available at https://ludox73.github.io/HyperMarimba/story.html ), the reader can actually listen to the produced melodies. They can also visualize some of the phenomena we investigate.

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

2 major / 2 minor

Summary. The paper associates a 'hyperbolic marimba' to every pair (X, Γ) where X is a hyperbolic surface and Γ ⊂ X is a simple multicurve labeled with musical keys. The instrument generates melodies by playing the corresponding note each time a geodesic intersects Γ. The authors investigate the extent to which these melodies characterize (X, Γ) up to isometry, supported by examples, phenomena explored via the accompanying interactive website 'HyperMarimba' for listening and visualization.

Significance. If the melodies provide distinguishing information, the work introduces a novel auditory approach to rigidity questions in hyperbolic geometry, potentially yielding new invariants complementary to the length spectrum. The exploratory investigation and public website are strengths for accessibility and empirical testing, though the mathematical impact depends on whether concrete characterization results or counterexamples are established.

major comments (2)
  1. [§2] §2 (Definition of melody generation): The mechanism for producing the melody from a geodesic, including the encoding of note sequences and any timing or density information for generic geodesics, lacks a precise mathematical definition. This is load-bearing for the central claim, as the extent of characterization cannot be assessed without a well-defined notion of the melody.
  2. [§4] §4 (Investigation of characterization): No explicit theorems, propositions, or counterexamples are stated regarding when the melodies determine (X, Γ) up to isometry. The paper remains at the level of exploration without load-bearing results that would allow evaluation of the claim.
minor comments (2)
  1. [Abstract] The abstract should briefly indicate the main examples or phenomena investigated to give readers a clearer sense of the paper's contributions.
  2. [Figures and website] Figure captions and website descriptions could include more technical details on the surfaces and multicurves used in the visualizations to aid reproducibility.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thoughtful and constructive comments on our manuscript. We appreciate the recognition of the novel auditory approach to rigidity questions in hyperbolic geometry and the strengths of the exploratory investigation and public website for accessibility and empirical testing. We address each major comment below and will revise the manuscript accordingly to improve mathematical precision and clarity.

read point-by-point responses

  1. Referee: [§2] §2 (Definition of melody generation): The mechanism for producing the melody from a geodesic, including the encoding of note sequences and any timing or density information for generic geodesics, lacks a precise mathematical definition. This is load-bearing for the central claim, as the extent of characterization cannot be assessed without a well-defined notion of the melody.

    Authors: We agree that the definition of melody generation in §2 would benefit from greater mathematical precision, particularly regarding the encoding of note sequences and handling of generic geodesics. In the revised version, we will add a formal definition: for a geodesic γ: ℝ → X, the melody is the bi-infinite sequence of labels from Γ corresponding to the ordered intersection times t_i ∈ ℝ (increasing) where γ(t_i) lies on a component of Γ. We will explicitly discuss the case of generic geodesics, which intersect Γ densely and infinitely often in both directions, yielding an infinite sequence, and clarify whether the melody consists solely of the note sequence or incorporates timing information such as the hyperbolic lengths between consecutive intersections. This revision will make the central claim fully evaluable. revision: yes

  2. Referee: [§4] §4 (Investigation of characterization): No explicit theorems, propositions, or counterexamples are stated regarding when the melodies determine (X, Γ) up to isometry. The paper remains at the level of exploration without load-bearing results that would allow evaluation of the claim.

    Authors: We acknowledge that the manuscript is exploratory in character, as stated in the abstract, and focuses on introducing the hyperbolic marimba and investigating its distinguishing power through examples and the HyperMarimba website rather than establishing a complete characterization theorem. To address the concern, we will revise §4 to extract and state the key observations from our examples explicitly as propositions or remarks. This will include formalizing the phenomena observed (such as cases of distinguishability or non-distinguishability up to isometry) and any counterexamples encountered, while clearly delineating the current limitations and open questions. These additions will provide concrete, load-bearing statements that allow readers to evaluate the extent of characterization achieved. revision: yes

Circularity Check

0 steps flagged

No significant circularity; exploratory investigation with explicit construction

full rationale

The paper defines the hyperbolic marimba and melody generation explicitly from a hyperbolic surface X and labeled simple multicurve Γ by having a geodesic play notes upon hitting Γ. It then investigates the extent to which such melodies distinguish (X, Γ) up to isometry. No equations, derivations, or claims in the provided text reduce a result to its own inputs by construction, fitted parameters renamed as predictions, or load-bearing self-citations. The work is framed as an open investigation supported by visualization and audio examples rather than a deductive uniqueness theorem whose premises collapse into the conclusion. The construction is self-contained and externally verifiable via the described process and website.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms, or invented entities are specified in the abstract; the marimba is a conceptual framework rather than introducing new mathematical objects with independent evidence.

pith-pipeline@v0.9.0 · 5413 in / 1226 out tokens · 64804 ms · 2026-05-07T05:37:37.849092+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

22 extracted references · 1 canonical work pages

  1. [1]

    Baccelli, B

    F. Baccelli, B. Blaszczyszyn, and M. Kadhem Karray,Random Measures, Point Processes, and Stochastic Geometry,hal-02460214

  2. [2]

    Battista and J

    L. Battista and J. Souto,HyperMarimba,https://ludox73.github.io/HyperMarimba/story.html

  3. [3]

    Battista and J

    L. Battista and J. Souto,HyperMozart GitHub repository,https://github.com/Ludox73/HyperMozart

  4. [4]

    Bestvina, K

    M. Bestvina, K. Bromberg, K. Fujiwara, and J. Souto,Shearing coordinates and convexity of length functions, American Journal of Math 135, 2013

    2013

  5. [5]

    Bekka and M

    B. Bekka and M. Mayer,Ergodic theory and topological dynamics of group actions on homogeneous spaces, London Math. Soc. Lecture Note Ser., 269 Cambridge University Press, Cambridge, 2000

    2000

  6. [6]

    Berger,A panoramic view of Riemannian geometry, Springer-Verlag, Berlin, 2003

    M. Berger,A panoramic view of Riemannian geometry, Springer-Verlag, Berlin, 2003

    2003

  7. [7]

    Buser,Geometry and spectra of compact Riemann surfaces, Mod

    P. Buser,Geometry and spectra of compact Riemann surfaces, Mod. Birkh¨ auser Class. Birkh¨ auser Boston, Ltd., Boston, MA, 2010

    2010

  8. [8]

    Gordon, D

    C. Gordon, D. Webb, and S. Wolpert,One cannot hear the shape of a drum, Bull. Amer. Math. Soc. (N.S.) 27 (1992)

    1992

  9. [9]

    Gordon, D

    C. Gordon, D. Webb, and S. Wolpert,Isospectral plane domains and surfaces via Riemannian orbifolds, Invent. Math. 110 (1992)

    1992

  10. [10]

    Irmak and J

    E. Irmak and J. McCarthy,Injective simplicial maps of the arc complex, Turkish J. Math. 34 (2010)

    2010

  11. [11]

    Kac,Can one hear the shape of a drum?, Amer

    M. Kac,Can one hear the shape of a drum?, Amer. Math. Monthly 73 (1966)

    1966

  12. [12]

    Kechris,Classical descriptive set theory, Grad

    A. Kechris,Classical descriptive set theory, Grad. Texts in Math., 156 Springer-Verlag, New York, 1995

    1995

  13. [13]

    Le Quellec,Orthospectrum and simple orthospectrum rigidity: finiteness and genericity, arXiv:2412.15034

    N. Le Quellec,Orthospectrum and simple orthospectrum rigidity: finiteness and genericity, arXiv:2412.15034. CAN YOU HEAR THE SHAPE OF A HYPERBOLIC SURFACE? NOW FOR REAL. 49

    work page arXiv

  14. [14]

    Milnor,Eigenvalues of the Laplace operator on certain manifolds, Proc

    J. Milnor,Eigenvalues of the Laplace operator on certain manifolds, Proc. Nat. Acad. Sci. U.S.A. 51 (1964)

    1964

  15. [15]

    Paternain,Geodesic flows, Progr

    G. Paternain,Geodesic flows, Progr. Math., 180, Birkh¨ auser Boston, Inc., Boston, MA, 1999

    1999

  16. [16]

    A. W. Reid,Isospectrality and commensurability of arithmetic hyperbolic2- and3-manifolds, Duke Math. J.65(2), 215–228, 1992

    1992

  17. [17]

    Santal´ o,Integral geometry and geometric probability, Encyclopedia Math

    L. Santal´ o,Integral geometry and geometric probability, Encyclopedia Math. Appl., Vol. 1 Addison-Wesley Publishing Co., Reading, Mass.-London-Amsterdam, 1976

    1976

  18. [18]

    Sasaki,On the differential geometry of tangent bundle of Riemannian manifolds, Tˆ ohoku Math

    S. Sasaki,On the differential geometry of tangent bundle of Riemannian manifolds, Tˆ ohoku Math. J.,10 (1958)

    1958

  19. [19]

    Sunada,Riemannian coverings and isospectral manifolds, Ann

    T. Sunada,Riemannian coverings and isospectral manifolds, Ann. of Math. (2), 1985

    1985

  20. [20]

    Vign´ eras,Exemples de sous-groupes discrets non conjugu´ es dePSL(2,R)qui ont mˆ eme fonction z´ eta de Selberg.C

    M.-F. Vign´ eras,Exemples de sous-groupes discrets non conjugu´ es dePSL(2,R)qui ont mˆ eme fonction z´ eta de Selberg.C. R. Acad. Sci. Paris S´ er. A-B 287 (1978)

    1978

  21. [21]

    Wolpert,The length spectra as moduli for compact Riemann surfaces, Ann

    S. Wolpert,The length spectra as moduli for compact Riemann surfaces, Ann. of Math. (2) 109 (1979)

    1979

  22. [22]

    Max-Planck-Institut f¨ur Mathematik, Bonn Email address:ludox73@gmail.com IRMAR, Universit´e de Rennes, Rennes Email address:jsoutoc@proton.me

    Anthropic,Claude 4.6, (2026), . Max-Planck-Institut f¨ur Mathematik, Bonn Email address:ludox73@gmail.com IRMAR, Universit´e de Rennes, Rennes Email address:jsoutoc@proton.me

    2026