On metric characterizations of tree and fragmentability indices of Banach spaces

Antonin Proch\'azka; Estelle Basset; Gilles Lancien

arxiv: 2605.28311 · v1 · pith:WRCSGMLNnew · submitted 2026-05-27 · 🧮 math.FA · math.MG

On metric characterizations of tree and fragmentability indices of Banach spaces

Estelle Basset , Gilles Lancien , Antonin Proch\'azka This is my paper

Pith reviewed 2026-06-29 09:55 UTC · model grok-4.3

classification 🧮 math.FA math.MG

keywords Banach spacesordinal indicestree indicesfragmentabilitydyadic diamond graphsbi-Lipschitz embeddingsSzlenk index

0 comments

The pith

Two ordinal indices for Banach spaces are linear and bi-Lipschitz invariants, equal to the heights of embeddable diamond graphs.

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

The paper defines the dyadic tree index and the sprawling tree index on Banach spaces. These turn out to be unchanged by linear isomorphisms and by bi-Lipschitz maps. Their exact values are given by the largest ordinal such that certain dyadic or countably branching diamond graphs embed into the space with controlled distortion. The construction supplies a metric description that recovers information about classical fragmentability quantities such as the Szlenk index.

Core claim

What carries the argument

The dyadic tree index and sprawling tree index, defined as the supremum of ordinals for which the corresponding diamond graphs admit sub-Lipschitz embeddings into the space.

If this is right

The indices yield applications to separable Banach spaces that are universal for complete countable metric spaces under bi-Lipschitz embeddings.
They recover or refine information carried by the dentability index, the weak fragmentability index, and the Szlenk index.
They give a uniform metric language for comparing the complexity of tree-like structures inside different Banach spaces.

Where Pith is reading between the lines

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

The same graph-embedding criterion might classify other linear or metric invariants that have so far been defined only via topological or measure-theoretic means.
One could test whether the indices distinguish spaces that are known to be bi-Lipschitz inequivalent but hard to separate by existing numerical invariants.
The construction suggests a possible dictionary between ordinal-valued indices on Banach spaces and forbidden substructures in the associated metric graphs.

Load-bearing premise

The indices are well-defined on the class of Banach spaces under consideration and the stated characterizations via graph embeddability hold without additional restrictions on the spaces or the embeddings.

What would settle it

A concrete Banach space in which the dyadic tree index fails to equal the highest ordinal height at which the associated dyadic diamond graphs embed with sub-Lipschitz distortion.

read the original abstract

We introduce two ordinal indices that are linear invariants for Banach spaces: the dyadic tree index and the sprawling tree index. We show that they are also bi-Lipschitz invariants. In fact, we characterize their values in terms of sub-Lipschitz embeddability of dyadic or countably branching diamond graphs of ordinal height. We derive applications for separable Banach spaces that are universal for complete countable metric spaces and bi-Lipschitz embeddings. We also discuss the links of these tree indices with classical fragmentability indices of Banach spaces such as the dentabilty, weak fragmentability and Szlenk indices.

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 defines two new ordinal indices (dyadic and sprawling tree) for Banach spaces, proves they are linear and bi-Lipschitz invariants, and gives explicit characterizations via sub-Lipschitz embeddings of diamond graphs.

read the letter

The main news is that Basset, Lancien, and Procházka introduce the dyadic tree index and the sprawling tree index as ordinal-valued invariants. They show both are unchanged by linear isomorphisms and by bi-Lipschitz maps, and they characterize the values exactly by the highest ordinal height at which certain dyadic or countably branching diamond graphs embed sub-Lipschitz into the space. They also record applications to separable spaces universal for countable metric spaces and note connections to the classical dentability, weak fragmentability, and Szlenk indices.

What the work does cleanly is extend the existing fragmentability-index program with two concrete metric descriptions. The invariance statements and the graph-embedding characterizations are stated without obvious circularity, and the abstract indicates the constructions are well-defined on the usual class of Banach spaces. That supplies a usable new tool for comparing embedding properties.

The soft spot is that the abstract supplies no proof sketches or error estimates, so one cannot yet judge how tight the characterizations are or whether the arguments for bi-Lipschitz invariance require extra assumptions on the target spaces. The applications to universal spaces are announced but not quantified here. These are standard limitations of an abstract; they do not suggest a load-bearing flaw.

This is a specialized note aimed at people already working on fragmentability indices and metric embeddings of Banach spaces. A reader who follows the Szlenk-index literature will get immediate value from the new characterizations. The paper is coherent on its own terms and introduces verifiable new objects, so it deserves a serious referee rather than a desk rejection.

Referee Report

1 major / 0 minor

Summary. The manuscript introduces two ordinal indices for Banach spaces: the dyadic tree index and the sprawling tree index. These are claimed to be linear invariants and also bi-Lipschitz invariants. The indices are characterized in terms of sub-Lipschitz embeddability of dyadic or countably branching diamond graphs of ordinal height. Applications are derived for separable Banach spaces universal for complete countable metric spaces under bi-Lipschitz embeddings, and connections are discussed to classical fragmentability indices including the dentability index, weak fragmentability index, and Szlenk index.

Significance. If the stated characterizations and invariance properties hold with rigorous support, the work would supply metric characterizations of tree indices that align with linear properties of Banach spaces. This could strengthen links between graph embeddability and fragmentability notions, offering potential new invariants for studying separable universal spaces and embedding questions in functional analysis.

major comments (1)

[Abstract] Abstract: The characterizations of the dyadic tree index and sprawling tree index as linear and bi-Lipschitz invariants, along with the embeddability conditions for diamond graphs, are asserted without any derivation details, key lemmas, or error controls. This absence makes it impossible to assess whether the central claims are supported by the arguments.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report. The sole major comment concerns the abstract's level of detail. We respond point by point below.

read point-by-point responses

Referee: [Abstract] Abstract: The characterizations of the dyadic tree index and sprawling tree index as linear and bi-Lipschitz invariants, along with the embeddability conditions for diamond graphs, are asserted without any derivation details, key lemmas, or error controls. This absence makes it impossible to assess whether the central claims are supported by the arguments.

Authors: Abstracts are concise summaries by design and do not contain derivations. The characterizations of the dyadic tree index and sprawling tree index (as both linear and bi-Lipschitz invariants) together with the sub-Lipschitz embeddability criteria for the dyadic and countably branching diamond graphs are proved in full in the body of the manuscript. The arguments rely on explicit constructions of embeddings at each ordinal height, with the necessary distortion bounds and error controls stated in the relevant theorems and lemmas. revision: no

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper defines two new ordinal indices (dyadic tree index and sprawling tree index) as linear and bi-Lipschitz invariants of Banach spaces and proves their characterization via sub-Lipschitz embeddability of specific diamond graphs of ordinal height. These are independent mathematical constructions and theorems linking to classical fragmentability indices (dentability, weak fragmentability, Szlenk), with no evidence that any claimed prediction, uniqueness, or central result reduces by definition, fitting, or self-citation chain to the inputs themselves. The abstract and skeptic summary confirm the characterizations hold as stated without internal reduction or load-bearing self-reference. This is the normal case of a self-contained functional-analysis result.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Full manuscript text unavailable; abstract provides no information on free parameters, background axioms, or invented entities.

pith-pipeline@v0.9.1-grok · 5631 in / 1101 out tokens · 24621 ms · 2026-06-29T09:55:23.167129+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

24 extracted references · 3 canonical work pages

[1]

Aharoni,Every separable metric space is Lipschitz equivalent to a subset ofc 0, Israel J

I. Aharoni,Every separable metric space is Lipschitz equivalent to a subset ofc 0, Israel J. Math., 19 (1974), 284–291

1974
[2]

Basset,On the weak-fragmentability index of some Lipschitz-free spaces, Studia Math

E. Basset,On the weak-fragmentability index of some Lipschitz-free spaces, Studia Math. 283 (2025), no. 1, 81–104

2025
[3]

Cingolani, M

E. Basset, G. Lancien and A. Proch´ azka,Diversity of Lipschitz-free spaces over countable complete discrete metric spaces, to appear in Ann. Sc. Norm. Super. Pisa Cl. Sci., available online DOI: 10.2422/2036-2145.202506 013. Preprint arXiv:2505.19891

work page doi:10.2422/2036-2145.202506 2036
[4]

Baudier, R

F. Baudier, R. Causey, S. Dilworth, D. Kutzarova, N. L. Randrianarivony, T. Schlumprecht and S. Zhang,On the geometry of the countably branching diamond graphs, J. Funct. Anal. 273 (2017), no. 10, 3150–3199

2017
[5]

Baudier, N

F. Baudier, N. J. Kalton and G. Lancien,A new metric invariant for Banach spaces, Studia Math. 199 (2010), no. 1, 73–94

2010
[6]

Bourgain,On separable Banach spaces universal for all separable reflexive spaces, Proc

J. Bourgain,On separable Banach spaces universal for all separable reflexive spaces, Proc. Amer. Math. Soc. 79 (1980), no. 2, 241–246

1980
[7]

Bourgain and H

J. Bourgain and H. P. Rosenthal,Martingales valued in certain subspaces ofL 1, Israel J. Math. 37 (1980), 54–75

1980
[8]

Diestel and J

J. Diestel and J. J Uhl,Vector measures, with a foreword by B.J. Pettis. Mathematical Surveys, No. 15. American Mathematical Society, Providence, R.I. (1977) xiii+322 pp

1977
[9]

S. J. Dilworth, D. Kutzarova, N. L. Randrianarivony, J. Revalski and N. Zhivkov,Lenses and asymptotic midpoint uniform convexity, J. Math. Anal. Appl. 436 (2016), no. 2, 810–821

2016
[10]

Enflo,Banach spaces which can be given an equivalent uniformly convex norm, Israel J

P. Enflo,Banach spaces which can be given an equivalent uniformly convex norm, Israel J. Math. 13 (1972), 281–288

1972
[11]

Girardi,The dual of the James tree space is asymptotically uniformly convex, Studia Math

M. Girardi,The dual of the James tree space is asymptotically uniformly convex, Studia Math. 147 (2001), no. 2, 119–130

2001
[12]

Godefroy, N

G. Godefroy, N. J. Kalton and G. Lancien,Szlenk indices and uniform homeomorphisms, Trans. Amer. Math. Soc., 353 (2001), 3895–3918

2001
[13]

R. C. James,Some self-dual properties of normed linear spaces, Symposium on Infinite- Dimensional Topology (Louisiana State Univ., Baton Rouge, LA, 1967), Ann. Math. Studies, no. 69, pp. 159–175, Princeton Univ. Press, Princeton, N.J., 1972

1967
[14]

W. B. Johnson, G. Schechtman,Diamond graphs and super-reflexivity.J. Topol. Anal. 1, No. 2, 177–189 (2009; Zbl 1183.46022)

work page arXiv 2009
[15]

Kadets, M

V. Kadets, M. Mart´ ın Su´ arez, A. Rueda Zoca, and D. Werner,Banach spaces with the Daugavet property, 2025

2025
[16]

Kadets and D

V. Kadets and D. Werner,A Banach space with the Schur and the Daugavet property, Proc. Amer. Math. Soc. 132 (2004), 1765–1773

2004
[17]

Lancien,On uniformly convex and uniformly Kadec-Klee renormings, Serdica Math

G. Lancien,On uniformly convex and uniformly Kadec-Klee renormings, Serdica Math. J. 21 (1995), no. 1, 1–18

1995
[18]

Lancien, A

G. Lancien, A. Proch` azka and M. Raja,Szlenk indices of convex hulls, J. Funct. Anal., 272 (2017), no. 2, 498–521

2017
[19]

Lancien,A survey on the Szlenk index and some of its applications, RACSAM

G. Lancien,A survey on the Szlenk index and some of its applications, RACSAM. Rev. R. Acad. Cienc. Exactas F´ ıs. Nat. Ser. A Mat. 100 (2006), 209–235

2006
[20]

S. M. Leung, S. Nelson, S. Ostrovska and M. I. Ostrovskii,Distortion of embeddings of binary trees into diamond graphs, Proc. Am. Math. Soc. 146 (2018), no. 2, 695–704

2018
[21]

B. L. Lin, P. K. Lin and S. L. Troyanski,A characterization of denting points of a closed bounded convex set, Longhorn Notes, The University of Texas at Austin, Functional Analysis Seminar, 1985–1986

1985
[22]

Lindenstrauss and C

J. Lindenstrauss and C. Stegall,Examples of separable spaces which do not containℓ 1 and whose duals are non-separable, Studia Math. 54 (1975), 81–105

1975
[23]

M. I. Ostrovskii,On metric characterizations of the Radon-Nikod´ ym and related properties of Banach spaces., J. Topol. Anal. 6 (2014), no. 3, 441–464

2014
[24]

R. J. Smith,Lipschitz-free spaces and Bossard’s reduction argument, preprint arxiv: 2509.00722 30 E. BASSET, G. LANCIEN, AND A. PROCH ´AZKA (E. Basset)Universit ´e Marie et Louis Pasteur, CNRS, LmB (UMR 6623), F-25000 Besanc ¸on, France. Email address:estelle.basset@univ-fcomte.fr (G. Lancien)Universit ´e Marie et Louis Pasteur, CNRS, LmB (UMR 6623), F-25...

work page arXiv

[1] [1]

Aharoni,Every separable metric space is Lipschitz equivalent to a subset ofc 0, Israel J

I. Aharoni,Every separable metric space is Lipschitz equivalent to a subset ofc 0, Israel J. Math., 19 (1974), 284–291

1974

[2] [2]

Basset,On the weak-fragmentability index of some Lipschitz-free spaces, Studia Math

E. Basset,On the weak-fragmentability index of some Lipschitz-free spaces, Studia Math. 283 (2025), no. 1, 81–104

2025

[3] [3]

Cingolani, M

E. Basset, G. Lancien and A. Proch´ azka,Diversity of Lipschitz-free spaces over countable complete discrete metric spaces, to appear in Ann. Sc. Norm. Super. Pisa Cl. Sci., available online DOI: 10.2422/2036-2145.202506 013. Preprint arXiv:2505.19891

work page doi:10.2422/2036-2145.202506 2036

[4] [4]

Baudier, R

F. Baudier, R. Causey, S. Dilworth, D. Kutzarova, N. L. Randrianarivony, T. Schlumprecht and S. Zhang,On the geometry of the countably branching diamond graphs, J. Funct. Anal. 273 (2017), no. 10, 3150–3199

2017

[5] [5]

Baudier, N

F. Baudier, N. J. Kalton and G. Lancien,A new metric invariant for Banach spaces, Studia Math. 199 (2010), no. 1, 73–94

2010

[6] [6]

Bourgain,On separable Banach spaces universal for all separable reflexive spaces, Proc

J. Bourgain,On separable Banach spaces universal for all separable reflexive spaces, Proc. Amer. Math. Soc. 79 (1980), no. 2, 241–246

1980

[7] [7]

Bourgain and H

J. Bourgain and H. P. Rosenthal,Martingales valued in certain subspaces ofL 1, Israel J. Math. 37 (1980), 54–75

1980

[8] [8]

Diestel and J

J. Diestel and J. J Uhl,Vector measures, with a foreword by B.J. Pettis. Mathematical Surveys, No. 15. American Mathematical Society, Providence, R.I. (1977) xiii+322 pp

1977

[9] [9]

S. J. Dilworth, D. Kutzarova, N. L. Randrianarivony, J. Revalski and N. Zhivkov,Lenses and asymptotic midpoint uniform convexity, J. Math. Anal. Appl. 436 (2016), no. 2, 810–821

2016

[10] [10]

Enflo,Banach spaces which can be given an equivalent uniformly convex norm, Israel J

P. Enflo,Banach spaces which can be given an equivalent uniformly convex norm, Israel J. Math. 13 (1972), 281–288

1972

[11] [11]

Girardi,The dual of the James tree space is asymptotically uniformly convex, Studia Math

M. Girardi,The dual of the James tree space is asymptotically uniformly convex, Studia Math. 147 (2001), no. 2, 119–130

2001

[12] [12]

Godefroy, N

G. Godefroy, N. J. Kalton and G. Lancien,Szlenk indices and uniform homeomorphisms, Trans. Amer. Math. Soc., 353 (2001), 3895–3918

2001

[13] [13]

R. C. James,Some self-dual properties of normed linear spaces, Symposium on Infinite- Dimensional Topology (Louisiana State Univ., Baton Rouge, LA, 1967), Ann. Math. Studies, no. 69, pp. 159–175, Princeton Univ. Press, Princeton, N.J., 1972

1967

[14] [14]

W. B. Johnson, G. Schechtman,Diamond graphs and super-reflexivity.J. Topol. Anal. 1, No. 2, 177–189 (2009; Zbl 1183.46022)

work page arXiv 2009

[15] [15]

Kadets, M

V. Kadets, M. Mart´ ın Su´ arez, A. Rueda Zoca, and D. Werner,Banach spaces with the Daugavet property, 2025

2025

[16] [16]

Kadets and D

V. Kadets and D. Werner,A Banach space with the Schur and the Daugavet property, Proc. Amer. Math. Soc. 132 (2004), 1765–1773

2004

[17] [17]

Lancien,On uniformly convex and uniformly Kadec-Klee renormings, Serdica Math

G. Lancien,On uniformly convex and uniformly Kadec-Klee renormings, Serdica Math. J. 21 (1995), no. 1, 1–18

1995

[18] [18]

Lancien, A

G. Lancien, A. Proch` azka and M. Raja,Szlenk indices of convex hulls, J. Funct. Anal., 272 (2017), no. 2, 498–521

2017

[19] [19]

Lancien,A survey on the Szlenk index and some of its applications, RACSAM

G. Lancien,A survey on the Szlenk index and some of its applications, RACSAM. Rev. R. Acad. Cienc. Exactas F´ ıs. Nat. Ser. A Mat. 100 (2006), 209–235

2006

[20] [20]

S. M. Leung, S. Nelson, S. Ostrovska and M. I. Ostrovskii,Distortion of embeddings of binary trees into diamond graphs, Proc. Am. Math. Soc. 146 (2018), no. 2, 695–704

2018

[21] [21]

B. L. Lin, P. K. Lin and S. L. Troyanski,A characterization of denting points of a closed bounded convex set, Longhorn Notes, The University of Texas at Austin, Functional Analysis Seminar, 1985–1986

1985

[22] [22]

Lindenstrauss and C

J. Lindenstrauss and C. Stegall,Examples of separable spaces which do not containℓ 1 and whose duals are non-separable, Studia Math. 54 (1975), 81–105

1975

[23] [23]

M. I. Ostrovskii,On metric characterizations of the Radon-Nikod´ ym and related properties of Banach spaces., J. Topol. Anal. 6 (2014), no. 3, 441–464

2014

[24] [24]

R. J. Smith,Lipschitz-free spaces and Bossard’s reduction argument, preprint arxiv: 2509.00722 30 E. BASSET, G. LANCIEN, AND A. PROCH ´AZKA (E. Basset)Universit ´e Marie et Louis Pasteur, CNRS, LmB (UMR 6623), F-25000 Besanc ¸on, France. Email address:estelle.basset@univ-fcomte.fr (G. Lancien)Universit ´e Marie et Louis Pasteur, CNRS, LmB (UMR 6623), F-25...

work page arXiv