pith. sign in

arxiv: 2408.06091 · v5 · submitted 2024-08-12 · 🧮 math.MG

Distinguishing regular polygons, cycle graphs, and circular metric spaces by the distance multiset and magnitude

Hiroki Kodama , Jun O'Hara This is my paper

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

classification 🧮 math.MG
keywords metric spacesdistance multisetmagnitudehomometricregular polygonscycle graphscircular metric spaces
0
0 comments X

The pith

Regular polygons are determined by the distance multiset among planar metric spaces but circular metric spaces have homometric non-congruent families that often share magnitude.

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

This paper investigates the distinguishing power of the distance multiset and magnitude for finite metric spaces, using regular polygons, cycle graphs, and circular metric spaces as models. It builds explicit families of non-congruent circular metric spaces that have identical distance multisets, with many even-sized cases also matching in magnitude. It shows that the distance multiset uniquely identifies regular polygons when the ambient space is planar, though this uniqueness does not hold without that restriction. The work clarifies the limitations and strengths of these invariants for shape and graph identification.

Core claim

We construct explicit families of homometric but non-congruent circular metric spaces, and in many even cases these examples also have the same magnitude as the original space. We prove that regular polygons are determined by the distance multiset among planar metric spaces, but not in general. We also determine, for several values of n, whether regular n-gons and n-cycle graphs are determined by magnitude.

What carries the argument

circular metric spaces as a generalization of regular polygons and cycle graphs, used to build homometric examples and test uniqueness via the distance multiset and magnitude

If this is right

  • Explicit homometric non-congruent pairs exist for circular metric spaces.
  • Many such pairs with even point count also share the same magnitude value.
  • Regular polygons have unique distance multisets among all planar metric spaces.
  • Determination by magnitude holds or fails depending on the specific n for both polygons and cycle graphs.

Where Pith is reading between the lines

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

  • The constructions indicate that magnitude is a coarser invariant than the distance multiset in some cases.
  • Similar homometric phenomena might appear in other classes of metric spaces beyond circular ones.
  • Applications could include distinguishing point configurations in computational geometry where planarity is assumed.

Load-bearing premise

The metric spaces under consideration must be circular metric spaces to allow the construction of the homometric families and to limit the uniqueness result to the planar case.

What would settle it

A planar metric space not congruent to any regular polygon but possessing the identical distance multiset as one would disprove the uniqueness among planar spaces.

Figures

Figures reproduced from arXiv: 2408.06091 by Hiroki Kodama, Jun O'Hara.

Figure 1
Figure 1. Figure 1: n/2 is even Lemma 2.4 implies that if all the vertices of a triangle belong to X′ A (or X′ B) then the triangle inequality is satisfied. Therefore we may assume, without loss of generality, that two vertices of the triangle belong to X′ A and one to X′ B. Let the vertices be A0, Aj and Bi . We may assume by symmetry that 1 ≤ j ≤ k. (i) Suppose 0 ≤ i ≤ j. Then d(A0, Bi) = dk+i , d(Bi , Aj ) = dk+j−i , and d… view at source ↗
Figure 2
Figure 2. Figure 2: n/2 is odd 4 [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: All the possible configuration of five points and five edges w [PITH_FULL_IMAGE:figures/full_fig_p008_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Length 1 edges edges are both 2 since from (2.8) we know 2 ≤ ℓ, whereas the triangle inequality implies ℓ ≤ 2. Then the formal magnitude of the right of [PITH_FULL_IMAGE:figures/full_fig_p009_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: P1A = δn/3−1, P1B = δn/3+1 and P1C = δn/3. P2A = P3A = P4A = P5A = P6A = δn/3−1. 14 [PITH_FULL_IMAGE:figures/full_fig_p014_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: The solid lines represent edges of length 1 and the dashed [PITH_FULL_IMAGE:figures/full_fig_p016_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: Circles with centers A, B, C and radii 1 and 2. The gray part is {X | 1 ≤ XB, XC ≤ 2} A B C [PITH_FULL_IMAGE:figures/full_fig_p016_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: {X | XA, XB, XC ∈ {1, √ 3, 2}} A B C P Q R D P’ Q’ R’ [PITH_FULL_IMAGE:figures/full_fig_p016_8.png] view at source ↗
Figure 10
Figure 10. Figure 10: But any two points from P, Q, R and S would create more than six edges of length 1 in all. Therefore the case (iii) cannot happen. It completes the proof that there is no vertex that has three edges of length 1. Therefore, the configu￾ration of edges of length 1 is either a (topological) hexagon or a disjoint union of two triangles. But since [PITH_FULL_IMAGE:figures/full_fig_p017_10.png] view at source ↗
Figure 12
Figure 12. Figure 12: To close, all edges must turn in the same direction, resulting in a regular hexagon, which completes the proof of the case n = 6. Part II. Suppose n ≥ 7. First remark that δ3 = sin(3π/n)/ sin(π/n) > 2 when n > 6. Assume there is a vertex that has three edges of length 1. The multiset formed by the lengths of the edges connecting the endpoints of these three edges is either 1, 1, δ2 or δ2, δ2, δ2 or 1, δ2,… view at source ↗
Figure 13
Figure 13. Figure 13: n = 12, DB = DC = δ2 there are no equilateral triangles. Lemma 3.5 implies that if there is an equilateral triangle, all the other vertices correspond to the solutions of (3.5). The solutions (n/6 − 1, n/6, n/6) and (n/6, n/6, n/6 + 1) each produce three points, and the solutions (n/3−1, n/3, n/3+1) and (8, 10, 11) each produce six points. (5-i) Case n = 9. The equation (3.5) has a unique solution (2, 3, … view at source ↗
Figure 14
Figure 14. Figure 14: equation (3.5), i.e., P1A = δ3, P1C = δ4 and P1B = δ5 etc., P7, P8 and P9 to (2, 2, 3), i.e., P7B = P7C = δ2 and P7A = δ3 etc., and P10, P11 and P12 to (1, 2, 2), i.e., P10B = P10C = δ2 and P10A = δ1 etc. Among these fifteen points, A, B, C, P1, . . . , P12, there are only six pairs of points with distance 1, which is not allowed. (5-iii) Case n = 15, 21, 24, 27 or 30. The solutions to (3.5) correspond to… view at source ↗
read the original abstract

We investigate how effectively finite metric spaces can be distinguished by distance-based invariants. As model spaces, we consider regular polygons, cycle graphs, and their generalization, circular metric spaces, and as invariants we consider the distance multiset, magnitude, and magnitude homology. We construct explicit families of homometric but non-congruent circular metric spaces, and in many even cases these examples also have the same magnitude as the original space. We prove that regular polygons are determined by the distance multiset among planar metric spaces, but not in general. We also determine, for several values of $n$, whether regular $n$-gons and $n$-cycle graphs are determined by magnitude.

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 investigates how effectively finite metric spaces can be distinguished by the distance multiset, magnitude, and magnitude homology. Using regular polygons, cycle graphs, and their generalization to circular metric spaces as models, it constructs explicit families of homometric but non-congruent circular metric spaces (with matching magnitude in many even cases), proves that regular polygons are determined by the distance multiset among planar metric spaces (but not in general), and determines for several values of n whether regular n-gons and n-cycle graphs are determined by magnitude.

Significance. If the results hold, the explicit constructions of homometric non-congruent families and the uniqueness proof for regular polygons among planar spaces provide concrete, falsifiable examples that clarify the distinguishing power of these invariants. The parameter-free nature of the constructions and the direct proofs are strengths that support the central claims without reliance on fitted parameters or external data.

minor comments (2)
  1. The definition of circular metric spaces is invoked repeatedly for the constructions and the planar uniqueness statement; a self-contained paragraph early in the paper restating the embedding and distance properties would improve readability without altering the arguments.
  2. In the magnitude determination section for specific n, the cases are listed but the computational verification steps for the magnitude function are not tabulated; adding a short table of the magnitude values for the compared spaces would make the 'determined' claims easier to check.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, significance assessment, and recommendation of minor revision. No major comments were provided in the report, so we have no specific points requiring rebuttal or clarification at this stage. We will incorporate any minor editorial improvements suggested during the revision process.

Circularity Check

0 steps flagged

No circularity in derivation chain

full rationale

The paper's central results consist of explicit constructions of homometric non-congruent circular metric spaces (including magnitude-matching examples in even cases) together with a direct proof that regular n-gons are uniquely determined by their distance multisets among planar metric spaces. These steps rely on the supplied definitions of circular metric spaces and on standard metric-space arguments rather than on any fitted parameters, self-referential equations, or load-bearing self-citations that reduce the claimed statements to their own inputs. The uniqueness statements and constructions are therefore independent of the target quantities and do not exhibit any of the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review supplies insufficient detail to enumerate specific free parameters, ad-hoc axioms, or invented entities; the work relies on standard metric-space axioms and the definition of circular metric spaces and magnitude (presumably drawn from prior literature).

axioms (1)
  • standard math Standard axioms of metric spaces (non-negativity, symmetry, triangle inequality).
    Invoked throughout any treatment of distance multisets and magnitude.

pith-pipeline@v0.9.0 · 5642 in / 1214 out tokens · 25340 ms · 2026-05-23T22:07:11.527451+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Magnitude of metric measure spaces and integrals over geodesics

    math.DG 2026-05 unverdicted novelty 6.0

    A magnitude for metric measure spaces is defined using geodesic integrals; it recovers finite-space magnitude (rescaled) and manifold volume in special cases, and appears sensitive to geodesic non-uniqueness.

  2. Distinguishing finite metric spaces via similarity spectra

    math.MG 2025-02 unverdicted novelty 6.0

    Introduces q-spectrum and transition q-spectrum invariants for finite metric spaces that recover graph spectra in a limit and distinguish all spaces with at most 4 and 3 points respectively under stated conditions.

Reference graph

Works this paper leans on

11 extracted references · 11 canonical work pages · cited by 2 Pith papers

  1. [1]

    J. A. Barcel\'o and A. Carbery, On the magnitudes of compact sets in Euclidean spaces . Amer. J. Math. 140 (2018), 449\,--\,494

    work page 2018

  2. [2]

    Gimperlein, M

    H. Gimperlein, M. Goffeng and N. Louca, The magnitude and spectral geometry . arXiv:2201.11363

    work page arXiv

  3. [3]

    Hepworth and S

    R. Hepworth and S. Willerton, Categorifying the magnitude of a graph , Homol. Homotopy Appl. 19 (2017), 31\,--\,60

    work page 2017

  4. [4]

    Leinster, The Euler characteristic of a category

    T. Leinster, The Euler characteristic of a category . Documenta Mathematica, 13 (2008), 21\,--\,49

    work page 2008

  5. [5]

    Leinster, The magnitude of metric spaces

    T. Leinster, The magnitude of metric spaces . Doc. Math. 18 (2013), 85\,--\,7905

    work page 2013

  6. [6]

    Leinster, The magnitude of a graph

    T. Leinster, The magnitude of a graph . Math. Proc. Camb. Phil. Soc.166 (2017) 247\,--\,264

    work page 2017

  7. [7]

    Leinster and M

    T. Leinster and M. Shulman, Magnitude homology of enriched categories and metric spaces , Alg. Geom. Topol. 21 (2021), 2175\,--\,2221

    work page 2021

  8. [8]

    Leinster and S

    T. Leinster and S. Willerton. On the asymptotic magnitude of subsets of Euclidean space . Geometriae Dedicata, 164 (2013), 287\,--\,310

    work page 2013

  9. [9]

    O'Hara, Magnitude function identifies generic finite metric spaces , to appear in Discrete Analysis, arXiv:2401.00786

    J. O'Hara, Magnitude function identifies generic finite metric spaces , to appear in Discrete Analysis, arXiv:2401.00786

    work page arXiv

  10. [10]

    O'Hara, Residues of manifolds, J

    J. O'Hara, Residues of manifolds, J. Geom. Anal. 33, 357 (2023), 1\,--\,68, DOI:10.1007/s12220-023-01393-9

    work page doi:10.1007/s12220-023-01393-9 2023

  11. [11]

    O'Hara and G

    J. O'Hara and G. Solanes, Regularized Riesz energies of submanifolds, Math. Nachr. 291 (2018), 1356\,--\,1373

    work page 2018