arxiv: 2604.12302 · v1 · submitted 2026-04-14 · 🧮 math.MG

Recognition: unknown

Direct sums and decompositions of Gromov's pyramids

Toshiaki Miyamoto

Pith reviewed 2026-05-10 14:30 UTC · model grok-4.3

classification 🧮 math.MG

keywords Gromov pyramiddirect sumdecompositionmetric measure spaceconcentration of measureextended metric measure spaceGromov-Hausdorff limit

0 comments

The pith

Any pyramid admits a unique direct sum decomposition.

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

Gromov defined pyramids as a generalization of metric measure spaces that captures the concentration of measure phenomenon. The paper introduces the direct sum of pyramids to model the limiting behavior of sequences of metric measure spaces whose measures concentrate on finitely or countably many regions whose mutual distances diverge to infinity. It proves that every pyramid possesses a unique decomposition as a direct sum of simpler pyramids. This uniqueness supplies an explicit method for deciding whether a given pyramid arises as an extended metric measure space.

Core claim

Every pyramid admits a unique direct sum decomposition. The direct sum is defined so that it exactly reproduces the limit of any sequence of metric measure spaces in which the measure concentrates on finitely or countably many regions with inter-region distances tending to infinity. As a direct consequence, the decomposition yields a criterion that determines whether a given pyramid is an extended metric measure space.

What carries the argument

The direct sum operation on pyramids, constructed to match limits in which mass concentrates on separate regions whose distances diverge to infinity.

Load-bearing premise

The direct sum is defined so that it exactly captures the limiting behavior of metric measure spaces whose measures concentrate on finitely or countably many regions with inter-region distances diverging to infinity.

What would settle it

Exhibit a single pyramid that can be expressed as two different direct sums of indecomposable pyramids.

read the original abstract

Gromov introduced the notion of a pyramid as a generalization of a metric measure space, based on the idea of the concentration of measure phenomenon. In this paper, we introduce the concept of a direct sum of pyramids, which naturally appears as a limit of a sequence of metric measure spaces whose measures concentrate on finitely or countably many regions, with the distances between these regions diverging to infinity. As one of our main results, we prove that any pyramid admits a unique direct sum decomposition. Moreover, as an application, we establish the method for checking whether a given pyramid is an extended metric measure space.

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 adds a direct sum and unique decomposition to the theory of Gromov pyramids, with a potential weak point in proving independence from approximations.

read the letter

The main point is that this paper defines a direct sum operation on Gromov pyramids and proves that every pyramid has a unique decomposition into direct summands. It then applies this to give a method for determining whether a given pyramid comes from an extended metric measure space. The direct sum is new and captures the natural limiting case where the measure splits into clusters that are infinitely far apart. The uniqueness theorem is the core result, and it seems to follow directly from the definitions without circularity. The application to extended mm-spaces is a practical use of the decomposition. One area that could use more attention is the independence of the decomposition from the approximating sequence. The definition uses limits of mm-spaces with diverging inter-region distances, so the proof needs to confirm that any two such maximal decompositions are the same up to permutation and null sets. If the concentration function does not uniquely determine the partition, the uniqueness might not hold in full generality. The abstract presents it as proven, but the details matter here. The paper does well in keeping the focus on the new operation and its consequences without unnecessary generality. The citation pattern seems appropriate, referencing Gromov's work directly. Overall, this is a solid technical contribution in metric geometry. It is aimed at researchers who work with pyramids and concentration phenomena, particularly those extending the theory to more general spaces. A reader looking for structural results on pyramids will find value in the decomposition theorem. I would recommend sending this to peer review. The claims are specific enough that referees can check the proof, and the new construction is worth having in the literature even if some clarifications are needed.

Referee Report

2 major / 1 minor

Summary. The paper introduces the direct sum operation on Gromov's pyramids, defined as a limit of sequences of metric measure spaces whose measures concentrate on finitely or countably many regions with inter-region distances diverging to infinity. It proves that every pyramid admits a unique direct sum decomposition into indecomposable summands and, as an application, gives a criterion for determining whether a given pyramid arises as an extended metric measure space.

Significance. If the uniqueness theorem holds, the result supplies a canonical structural decomposition for pyramids that mirrors the concentration behavior of mm-spaces with separated supports. This could serve as a tool for analyzing limiting objects in metric measure geometry and for verifying when a pyramid is realizable by an extended mm-space.

major comments (2)

[Main uniqueness theorem] The uniqueness claim (stated in the abstract and presumably proved in the main theorem) requires that the concentration function of a pyramid canonically selects a maximal countable partition into indecomposables, independent of the choice of approximating sequence. The manuscript must explicitly show that any two such partitions yielding the same pyramid are equivalent up to null sets and reordering; without this, the decomposition is not guaranteed to be unique.
[Definition of direct sum] The definition of the direct sum (introduced to capture limits with diverging inter-region distances) must be shown to be well-defined on the space of pyramids; in particular, the paper should verify that the limiting object depends only on the pyramid and not on the particular sequence of mm-spaces chosen.

minor comments (1)

[Abstract] The abstract refers to 'extended metric measure space' without a prior definition; a brief recall or reference to the relevant notion from Gromov's work would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below and indicate the revisions we will make.

read point-by-point responses

Referee: [Main uniqueness theorem] The uniqueness claim (stated in the abstract and presumably proved in the main theorem) requires that the concentration function of a pyramid canonically selects a maximal countable partition into indecomposables, independent of the choice of approximating sequence. The manuscript must explicitly show that any two such partitions yielding the same pyramid are equivalent up to null sets and reordering; without this, the decomposition is not guaranteed to be unique.

Authors: The uniqueness of the direct sum decomposition is established in Theorem 3.5 by constructing the indecomposable summands intrinsically from the concentration function of the given pyramid. This function is an invariant of the pyramid itself and does not depend on any particular approximating sequence of mm-spaces. The proof proceeds by showing that the locations of concentration jumps determine the supports of the summands, and that the direct sum operation is associative and commutative up to null sets. Consequently, any two maximal partitions into indecomposables that yield the same pyramid must coincide up to null sets and reordering. To make this independence fully explicit, we will add a short corollary immediately following Theorem 3.5 that states the canonical selection property and derives the equivalence of partitions directly from the intrinsic definition of the concentration function. revision: yes
Referee: [Definition of direct sum] The definition of the direct sum (introduced to capture limits with diverging inter-region distances) must be shown to be well-defined on the space of pyramids; in particular, the paper should verify that the limiting object depends only on the pyramid and not on the particular sequence of mm-spaces chosen.

Authors: The direct sum is introduced in Definition 2.3 as the pyramid limit of sequences of mm-spaces whose measures concentrate on finitely or countably many regions with inter-region distances diverging to infinity. Well-definedness on the space of pyramids is addressed in Proposition 2.4, where we use the fact that the pyramid metric is continuous with respect to the concentration functions and that the limit is taken in the completion of the space of mm-spaces. This ensures the resulting pyramid depends only on the input pyramids and not on the choice of approximating sequences. Nevertheless, to respond directly to the referee's request for an explicit verification, we will insert a dedicated lemma in Section 2 that proves independence from representatives by showing that if two sequences of mm-spaces converge to the same pyramids, their direct sums converge to the same limit pyramid. revision: yes

Circularity Check

0 steps flagged

No significant circularity: uniqueness theorem follows from new definitions

full rationale

The paper defines the direct sum operation on pyramids explicitly via limits of mm-spaces whose measures concentrate on countably many regions with inter-region distances diverging to infinity. It then proves that every pyramid admits a unique decomposition into indecomposable summands under this operation. This is a standard definitional-to-theorem development in metric geometry; the uniqueness claim is established by direct argument from the given limiting construction rather than by fitting parameters, renaming known results, or reducing to a self-citation chain. No load-bearing step collapses to its own input by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The paper rests on Gromov's prior definition of pyramids and introduces the direct-sum operation as a new concept whose properties are then proved.

axioms (1)

domain assumption Standard properties of metric measure spaces and the concentration-of-measure phenomenon as defined by Gromov.
The entire development begins from Gromov's notion of a pyramid.

invented entities (1)

Direct sum of pyramids no independent evidence
purpose: To model limits of sequences of metric measure spaces whose measures concentrate on multiple distant regions.
This is a newly introduced definition whose independent evidence is the uniqueness theorem proved from it.

pith-pipeline@v0.9.0 · 5383 in / 1141 out tokens · 23401 ms · 2026-05-10T14:30:54.558777+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

16 extracted references · 2 canonical work pages

[1]

Billingsley.Convergence of probability measures

P. Billingsley.Convergence of probability measures. Wiley Series in Probability and Statistics: Probability and Statistics. John Wiley & Sons, Inc., New York, second edition, 1999. A Wiley-Interscience Publication

1999
[2]

Esaki, D

S. Esaki, D. Kazukawa, and A. Mitsuishi. Invariants for Gromov’s pyramids and their applications.Adv. Math., 442:Paper No. 109583, 2024

2024
[3]

K. Fukaya. Collapsing of Riemannian manifolds and eigenvalues of Laplace operator. Invent. Math., 87(3):517–547, 1987

1987
[4]

Gromov.Metric structures for Riemannian and non-Riemannian spaces

M. Gromov.Metric structures for Riemannian and non-Riemannian spaces. Modern Birkh¨ auser Classics. Birkh¨ auser Boston, Inc., Boston, MA, english edition, 2007. Based on the 1981 French original, With appendices by M. Katz, P. Pansu and S. Semmes, Translated from the French by Sean Michael Bates

2007
[5]

Gromov and V

M. Gromov and V. D. Milman. A topological application of the isoperimetric inequal- ity.Amer. J. Math., 105(4):843–854, 1983

1983
[6]

P. J. Huber.Robust statistics. Wiley Series in Probability and Mathematical Statis- tics. John Wiley & Sons, Inc., New York, 1981

1981
[7]

Kazukawa

D. Kazukawa. Convergence of metric transformed spaces.Israel J. Math., 252(1):243– 290, 2022

2022
[8]

Kazukawa, H

D. Kazukawa, H. Nakajima, and T. Shioya. Principal bundle structure of the space of metric measure spaces.Proc. Roy. Soc. Edinburgh Sect. A, page 1–31, 2024

2024
[9]

Kazukawa and T

D. Kazukawa and T. Yokota. Boundedness of precompact sets of metric measure spaces.Geom. Dedicata, 215:229–242, 2021

2021
[10]

Ledoux.The concentration of measure phenomenon, volume 89 ofMathematical Surveys and Monographs

M. Ledoux.The concentration of measure phenomenon, volume 89 ofMathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2001

2001
[11]

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

H. Nakajima. Box distance and observable distance via optimal transport. Israel Jour- nal of Mathematics, to appear. arXiv:2204.04893

work page arXiv
[12]

Ozawa and T

R. Ozawa and T. Shioya. Limit formulas for metric measure invariants and phase transition property.Math. Z., 280(3-4):759–782, 2015

2015
[13]

Shioya.Metric measure geometry, volume 25 ofIRMA Lectures in Mathematics and Theoretical Physics

T. Shioya.Metric measure geometry, volume 25 ofIRMA Lectures in Mathematics and Theoretical Physics. EMS Publishing House, Z¨ urich, 2016. Gromov’s theory of convergence and concentration of metrics and measures

2016
[14]

T. Shioya. Metric measure limits of spheres and complex projective spaces. InMeasure theory in non-smooth spaces, Partial Differ. Equ. Meas. Theory, pages 261–287. De Gruyter Open, Warsaw, 2017

2017
[15]

A. M. Vershik and M. A. Lifshits. On mm-entropy of a Banach space with Gaussian measure.Theory Probab. Appl., 68(3):431–439, 2023. Translation of Teor. Veroyatn. Primen.68(2023), 532–543

2023
[16]

S. Yokota. A complete proof of the limit formula for observable diameter, 2024. arXiv:2407.08122. Mathematical Institute, Tohoku University, Sendai 980-8578, Japan Email address:miyamoto.toshiaki.s2@dc.tohoku.ac.jp

work page arXiv 2024