arxiv: 2604.23936 · v1 · submitted 2026-04-27 · 🧮 math.MG

Recognition: unknown

Observable diameters with varying screens

Naoto Nishida, Yu Kitabeppu

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

classification 🧮 math.MG

keywords observable diameternon-Euclidean screenmetric measure spacelimit formulaerror termsconcentration of measure

0 comments

The pith

Observable diameters have a limit formula even when screens are non-Euclidean.

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

The paper establishes a limit formula for observable diameters in metric measure spaces using non-Euclidean screens. To manage sequences of such diameters where the screens change, new definitions of observable diameters that include error terms are introduced. This matters because it extends the ability to compute concentration measures in more general geometric settings beyond standard Euclidean cases. The result provides a way to take limits while controlling variations through the error bounds.

Core claim

The authors obtain the limit formula of the observable diameter with non-Euclidean screen by defining new types of observable diameters with errors to treat sequences with varying screens.

What carries the argument

Observable diameter with errors, which incorporates error terms to handle the variation in screens across a sequence.

If this is right

Limit formulas apply to observable diameters for non-Euclidean screens under regularity.
Sequences of varying screens admit controlled limits for the observable diameter.
Error-accompanied observable diameters bound the deviation from the standard definition.
The limit can be computed explicitly using the new formula.

Where Pith is reading between the lines

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

This extension may allow application to spaces with non-standard metrics like those in Riemannian geometry with varying curvatures.
Connections could be made to other notions of diameter in optimal transport or probability on metric spaces.
Testing on specific examples like spheres or tori with adapted screens would verify the error control.

Load-bearing premise

Metric measure spaces and screens must meet regularity conditions allowing the limit to exist and error terms to control variations.

What would settle it

A counterexample consisting of a sequence of metric measure spaces with non-Euclidean screens where the observable diameter does not converge to the predicted limit value despite regularity would falsify the formula.

read the original abstract

In this paper, we obtain the limit formula of the observable diameter with non-Euclidean screen. In order to treat a sequence of observable diameters with varying screens, we define new types of observable diameters with errors.

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.

Desk Editor's Note private letter to a colleague

The paper introduces error terms for observable diameters to derive a limit formula with varying non-Euclidean screens, though without explicit error bounds the uniformity remains unclear.

read the letter

The main takeaway is that the authors define observable diameters with built-in error terms to handle sequences where the screen varies, and they use that to obtain a limit formula in the non-Euclidean case. This approach makes sense as a way to extend the classical notion. By allowing some error in the diameter definition, they can compare things across different screens without forcing exact matches. The limit formula they derive is presented as new for the non-Euclidean setting, which is the core contribution. They do well in keeping the definitions clean enough to work with sequences. It looks like a natural technical adjustment for this kind of problem in metric geometry. The soft spot is exactly what the stress-test points out. For the limit to exist and be useful, the error terms need to go to zero in a uniform way along the sequence of screens. The paper assumes regularity conditions on the metric measure spaces and screens to make this happen, but it does not supply any explicit rates or bounds on the error in terms of, say, how much the screens differ in curvature or in Gromov-Hausdorff distance. Without that, it's hard to see how robust the limit is or under what concrete conditions it applies. If the errors don't vanish fast enough, the formula might not hold in practice for many sequences. The citation pattern seems standard for the field, and there are no obvious circularities since they are introducing new objects rather than redefining old ones. This paper is aimed at specialists in metric geometry, particularly those interested in concentration phenomena and observable diameters. A general reader in geometry might find it too narrow. It has enough of a specific claim and new definitions that it deserves to go to peer review so the proofs can be checked in detail. I would send it for refereeing.

Referee Report

2 major / 0 minor

Summary. The paper defines new types of observable diameters with errors to treat sequences of observable diameters with varying screens in metric measure spaces and obtains the limit formula of the observable diameter with non-Euclidean screen.

Significance. If the limit formula holds under appropriate regularity conditions on the metric measure spaces and screens, the result would extend the theory of observable diameters to sequences with non-Euclidean and varying screens. This could be useful for studying limits and convergence in metric geometry.

major comments (2)

The central claim relies on introducing observable diameters with errors to control variation along sequences of screens, but no quantitative estimate or bound is given on how these error terms behave under non-Euclidean variation (such as curvature bounds or rates of Gromov-Hausdorff convergence of the screens). This leaves the uniformity required for the limit unverified.
The regularity conditions on the metric measure spaces and screens that are assumed to permit the limit to exist and the errors to vanish are not specified with sufficient detail to allow verification of the passage to the limit.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the constructive major comments. We address each point below and will incorporate revisions to strengthen the presentation of the error terms and the regularity assumptions.

read point-by-point responses

Referee: The central claim relies on introducing observable diameters with errors to control variation along sequences of screens, but no quantitative estimate or bound is given on how these error terms behave under non-Euclidean variation (such as curvature bounds or rates of Gromov-Hausdorff convergence of the screens). This leaves the uniformity required for the limit unverified.

Authors: We agree that explicit quantitative control on the error terms would strengthen the result. The current manuscript defines the error-augmented observable diameters precisely so that the limit formula holds whenever the error terms vanish along the sequence, but it does not derive explicit bounds in terms of curvature or GH distance. In the revision we will add a dedicated remark (and, where possible, a proposition) relating the size of the error to the GH distance between screens when the underlying mm-spaces satisfy a uniform doubling condition. This will make the uniformity of the limit explicit under the stated hypotheses. revision: yes
Referee: The regularity conditions on the metric measure spaces and screens that are assumed to permit the limit to exist and the errors to vanish are not specified with sufficient detail to allow verification of the passage to the limit.

Authors: We accept this criticism. The manuscript assumes the spaces are compact metric measure spaces and that the screens converge in a suitable sense, but the precise list of hypotheses (doubling constants, diameter bounds, lower regularity on the measures, etc.) is scattered across the statements. In the revised version we will collect all standing assumptions into a single preliminary section and restate the main theorem with an explicit list of conditions under which the errors vanish and the limit formula applies. revision: yes

Circularity Check

0 steps flagged

No circularity; new error-augmented diameters introduced to derive limit under regularity

full rationale

The paper defines new observable diameters with errors specifically to handle sequences of varying screens, then states a limit formula under regularity conditions on the metric measure spaces and screens. No equations or self-referential definitions appear in the abstract; the construction adds auxiliary objects rather than redefining the target quantity in terms of itself or renaming a fitted input as a prediction. No load-bearing self-citations, uniqueness theorems imported from the authors' prior work, or ansatzes smuggled via citation are referenced. The derivation is therefore self-contained against external benchmarks in metric geometry and does not reduce to its inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract provides no explicit free parameters, axioms, or invented entities; all details on assumptions are absent.

pith-pipeline@v0.9.0 · 5307 in / 819 out tokens · 48002 ms · 2026-05-07T17:35:23.154796+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

14 extracted references · 7 canonical work pages

[1]

Ambrosio and P

L. Ambrosio and P. Tilli,Topics on analysis in metric spaces, Oxford Lecture Series in Math- ematics and its Applications, vol. 25, Oxford University Press, Oxford, 2004. MR2039660

2004
[2]

Burago, Y

D. Burago, Y. Burago, and S. Ivanov,A course in metric geometry, Graduate Studies in Mathematics, vol. 33, American Mathematical Society, Providence, RI, 2001. MR1835418

2001
[3]

M. R. Bridson and A. Haefliger,Metric spaces of non-positive curvature, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 319, Springer-Verlag, Berlin, 1999. MR1744486

1999
[4]

Funano,Observable concentration of mm-spaces into spaces with doubling measures, Geom

K. Funano,Observable concentration of mm-spaces into spaces with doubling measures, Geom. Dedicata127(2007), 49–56, DOI 10.1007/s10711-007-9156-6. MR2338515

work page doi:10.1007/s10711-007-9156-6 2007
[5]

Damanik and G

K. Funano,Concentration of 1-Lipschitz maps into an infinite dimensionall p-ball with thel q- distance function, Proc. Amer. Math. Soc.137(2009), no. 7, 2407–2417, DOI 10.1090/S0002- 9939-09-09873-6. MR2495276

work page doi:10.1090/s0002- 2009
[6]

Gromov,Metric structures for Riemannian and non-Riemannian spaces, Reprint of the 2001 English edition, Modern Birkh¨ auser Classics, Birkh¨ auser Boston, Inc., Boston, MA,

M. Gromov,Metric structures for Riemannian and non-Riemannian spaces, Reprint of the 2001 English edition, Modern Birkh¨ auser Classics, Birkh¨ auser Boston, Inc., Boston, MA,

2001
[7]

Based on the 1981 French original; With appendices by M. Katz, P. Pansu and S. Semmes; Translated from the French by Sean Michael Bates. MR2307192

1981
[8]

Kazukawa, H

D. Kazukawa, H. Nakajima, and T. Shioya,Principal bundle structure of the space of metric measure spaces, arXiv:2304.06880

work page arXiv
[9]

Kazukawa, H

D. Kazukawa, H. Nakajima, and T. Shioya,Topological aspects of the space of metric measure spaces, Geom. Dedicata218(2024), no. 3, Paper No. 68, 28, DOI 10.1007/s10711-024-00921-

work page doi:10.1007/s10711-024-00921- 2024
[10]

Lang and V

U. Lang and V. Schroeder,Kirszbraun’s theorem and metric spaces of bounded curvature, Geom. Funct. Anal.7(1997), no. 3, 535–560, DOI 10.1007/s000390050018. MR1466337

work page doi:10.1007/s000390050018 1997
[11]

Nakajima,Box distance and observable distance via optimal transport, arXiv:2204.04893

H. Nakajima,Box distance and observable distance via optimal transport, arXiv:2204.04893. OBSER V ABLE DIAMETERS WITH V ARYING SCREENS 15

work page arXiv
[12]

Ozawa and T

R. Ozawa and T. Shioya,Limit formulas for metric measure invariants and phase tran- sition property, Math. Z.280(2015), no. 3-4, 759–782, DOI 10.1007/s00209-015-1447-2. MR3369350

work page doi:10.1007/s00209-015-1447-2 2015
[13]

Papadopoulos,Metric spaces, convexity and non-positive curvature, 2nd ed., IRMA Lec- tures in Mathematics and Theoretical Physics, vol

A. Papadopoulos,Metric spaces, convexity and non-positive curvature, 2nd ed., IRMA Lec- tures in Mathematics and Theoretical Physics, vol. 6, European Mathematical Society (EMS), Z¨ urich, 2014. MR3156529

2014
[14]

Shioya,Metric measure geometry, IRMA Lectures in Mathematics and Theoretical Physics, vol

T. Shioya,Metric measure geometry, IRMA Lectures in Mathematics and Theoretical Physics, vol. 25, EMS Publishing House, Z¨ urich, 2016. Gromov’s theory of convergence and concentration of metrics and measures. MR3445278 (Yu Kitabeppu)Kumamoto University Email address, Yu Kitabeppu:ybeppu@kumamoto-u.ac.jp (Naoto Nishida)Research and Consulting of Regional ...

2016