pith. sign in

arxiv: 2404.13871 · v4 · submitted 2024-04-22 · 🧮 math.MG

The Andoni-Naor-Neiman inequalities and isometric embeddability into a CAT(0) space

Tetsu Toyoda This is my paper

Pith reviewed 2026-05-24 02:34 UTC · model grok-4.3

classification 🧮 math.MG
keywords CAT(0) spacesisometric embeddingsquadratic metric inequalitiesAndoni-Naor-Neiman inequalitiesLebedeva metric spacemetric geometry
0
0 comments X

The pith

A 6-point metric space satisfies every Andoni-Naor-Neiman inequality yet admits no isometric embedding into any CAT(0) space.

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

The paper tests whether the family of quadratic metric inequalities introduced by Andoni, Naor and Neiman fully captures the property of isometric embeddability into CAT(0) spaces. It takes the 6-point metric space previously constructed by Lebedeva, already known to lack any such embedding, and shows that this space nevertheless obeys every inequality in the family. The result separates the inequalities from the embedding property they were intended to support.

Core claim

The 6-point metric space constructed by Nina Lebedeva, which does not admit an isometric embedding into any CAT(0) space, satisfies all inequalities in the Andoni-Naor-Neiman family.

What carries the argument

Direct verification that the Lebedeva 6-point space obeys the entire Andoni-Naor-Neiman family of quadratic metric inequalities.

If this is right

  • The Andoni-Naor-Neiman inequalities alone do not guarantee isometric embeddability into a CAT(0) space.
  • The Lebedeva 6-point space is a concrete counterexample separating the inequalities from full CAT(0) embeddability.
  • Any complete characterization of CAT(0) isometric embeddability must impose conditions beyond this inequality family.

Where Pith is reading between the lines

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

  • Further families of inequalities may be needed to isolate the exact obstruction present in the Lebedeva space.
  • Similar verification could be performed on other known non-embeddable finite metric spaces to test the completeness of quadratic conditions.
  • The result motivates searching for the smallest additional inequality or property that rules out the Lebedeva space while preserving the Andoni-Naor-Neiman family.

Load-bearing premise

Lebedeva's 6-point space truly cannot be isometrically embedded into any CAT(0) space.

What would settle it

An explicit construction of an isometric embedding of the Lebedeva 6-point space into some CAT(0) space, or a calculation showing that the space violates at least one Andoni-Naor-Neiman inequality.

read the original abstract

Andoni, Naor and Neiman (2018) established a family of quadratic metric inequalities that hold true in every CAT(0) space. As stated in their paper, this family seems to include all previously used quadratic metric inequalities that hold true in every CAT(0) space. We prove that there exists a metric space that satisfies all inequalities in this family but does not admit an isometric embedding into any CAT(0) space. More precisely, we prove that the 6-point metric space constructed by Nina Lebedeva, which does not admit an isometric embedding into any CAT(0) space, satisfies all inequalities in this family.

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 manuscript proves that Lebedeva's 6-point metric space, already known not to isometrically embed into any CAT(0) space, satisfies every quadratic inequality in the Andoni-Naor-Neiman (ANN) family. The central claim is therefore a verification that this finite metric lies in the intersection of all ANN inequalities while lying outside the class of CAT(0)-embeddable spaces.

Significance. If the verification is complete, the result separates the ANN family from isometric embeddability into CAT(0) spaces and shows that the inequalities identified in Andoni-Naor-Neiman (2018) do not characterize the embedding property. The argument relies on an independently published non-embeddable space rather than constructing a new example or introducing fitted parameters.

major comments (2)
  1. [§3] §3 (Verification of the ANN inequalities): the manuscript must explicitly state whether the parameterized family is reduced to a finite list via symmetry of the 6-point space or via a structural property that automatically satisfies every instance; without such a reduction or an exhaustive enumeration with explicit distance-matrix calculations, the claim that every inequality holds cannot be verified from the given data.
  2. [§2] §2 (Definition of the Lebedeva metric): the distance matrix is presented, but the text does not record the numerical values of the quadratic forms for representative parameter choices; a short table of the evaluated forms (or a machine-checkable script) would make the verification load-bearing step inspectable.
minor comments (2)
  1. The abstract and introduction should cite the precise statement of the ANN family (e.g., the quadratic-form definition from the 2018 paper) rather than referring only to “this family.”
  2. Notation for the six points and the distance matrix should be introduced once and used consistently; a single labeled figure or table would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thoughtful comments, which help clarify the presentation of our verification that Lebedeva's 6-point space satisfies the full ANN family while failing to embed isometrically into any CAT(0) space. We address each major comment below and will incorporate the suggested improvements.

read point-by-point responses

  1. Referee: [§3] §3 (Verification of the ANN inequalities): the manuscript must explicitly state whether the parameterized family is reduced to a finite list via symmetry of the 6-point space or via a structural property that automatically satisfies every instance; without such a reduction or an exhaustive enumeration with explicit distance-matrix calculations, the claim that every inequality holds cannot be verified from the given data.

    Authors: We agree that the reduction step should be stated explicitly. The Lebedeva metric has a high degree of symmetry (isometric to its own complement in a specific way), which reduces the infinite parameterized family to a finite collection of distinct inequalities up to relabeling. In the revised manuscript we will add a paragraph in §3 describing this symmetry reduction and listing the representative cases that need to be checked, together with the explicit distance-matrix evaluations that confirm non-negativity of the corresponding quadratic forms. revision: yes

  2. Referee: [§2] §2 (Definition of the Lebedeva metric): the distance matrix is presented, but the text does not record the numerical values of the quadratic forms for representative parameter choices; a short table of the evaluated forms (or a machine-checkable script) would make the verification load-bearing step inspectable.

    Authors: We accept this suggestion. The revised version will include a short table in §2 (or an appendix) displaying the numerical values of the quadratic forms for a representative sample of parameter tuples, using the exact distance matrix already given in the paper. We will also add a footnote pointing to a short, self-contained Python script (to be posted on the arXiv ancillary files) that recomputes these values from the distance matrix, making the verification fully machine-checkable. revision: yes

Circularity Check

0 steps flagged

No circularity: verification for finite Lebedeva metric is independent of external non-embeddability result

full rationale

The paper's derivation consists of showing that the given 6-point Lebedeva metric satisfies the entire ANN family of quadratic inequalities (taken from the 2018 Andoni-Naor-Neiman paper) while the non-embeddability into CAT(0) is imported as an external fact from Lebedeva's prior independent work. No equations reduce a claimed prediction to a fitted parameter, no self-citation is load-bearing for the central claim, and the ANN inequalities are not redefined or smuggled via the present author's prior results. The verification step for a finite space is a direct (if tedious) check and does not collapse to the non-embeddability input by construction. This is the normal case of an honest verification paper whose central step remains externally falsifiable.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the prior construction and non-embeddability of the Lebedeva space plus the definition of the ANN family; no new free parameters or invented entities are introduced.

axioms (2)
  • domain assumption The 6-point metric space constructed by Nina Lebedeva does not admit an isometric embedding into any CAT(0) space
    Invoked in the abstract as the starting point for the verification.
  • domain assumption The family of quadratic metric inequalities identified by Andoni-Naor-Neiman 2018 is correctly stated and complete as described in that paper
    The paper assumes the family as given and checks membership for the Lebedeva space.

pith-pipeline@v0.9.0 · 5634 in / 1325 out tokens · 34294 ms · 2026-05-24T02:34:46.859208+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

8 extracted references · 8 canonical work pages

  1. [1]

    Alexander, V

    S. Alexander, V. Kapovitch, and A. Petrunin. Alexandrov meets Kirszbraun. Proceedings of the G¨ okova Geometry-Topology Conference 2010. Int. Press, Somerville, MA, 2011, 88–109

    work page 2010

  2. [2]

    Alexander, V

    S. Alexander, V. Kapovitch, and A. Petrunin. Alexandrov geometry—foundations, volume 236 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2024

    work page 2024

  3. [3]

    Andoni, A

    A. Andoni, A. Naor, and O. Neiman. Snowflake universality of Wass erstein spaces. Ann. Sci. ´Ec. Norm. Sup´ er. (4), 51(3):657–700, 2018

    work page 2018

  4. [4]

    Baˇ c´ ak

    M. Baˇ c´ ak. Old and new challenges in Hadamard spaces. Jpn. J. Math. , 18(2):115–168, 2023. 14 TETSU TOYODA

    work page 2023

  5. [5]

    M. Gromov. Metric structures for Riemannian and non-Riemannian space s, volume 152 of Progress in Mathematics . Birkh¨ auser Boston, Inc., Boston, MA, 1999. Based on the 1981 French original [ MR0682063 (85e:53051)], With appendices by M. Katz, P. Pansu and S. Semmes, Translated from the French by Sean Michael Bates

    work page 1999

  6. [6]

    M. Gromov. CAT( κ)-spaces: construction and concentration. Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) , 280(Geom. i Topol. 7):100–140, 299–300, 2001

    work page 2001

  7. [7]

    K.-T. Sturm. Probability measures on metric spaces of nonpositiv e curvature. In Heat kernels and analysis on manifolds, graphs, and metric spaces (Paris, 20 02), volume 338 of Contemp. Math. , pages 357–390. Amer. Math. Soc., Providence, RI, 2003

    work page 2003

  8. [8]

    T. Toyoda. An intrinsic characterization of five points in a CAT(0) space. Anal. Geom. Metr. Spaces, 8(1):114–165, 2020. Kogakuin University, 2665-1, Nakano, Hachioji, Tokyo, 192 -0015 Japan Email address : toyoda@cc.kogakuin.ac.jp

    work page 2020