What does a typical metric space look like?
Gady Kozma,Tom Meyerovitch,Ron Peled,Wojciech Samotij
DOI: https://doi.org/10.1214/22-aihp1262
2024-02-01
Abstract:The collection Mn of all metric spaces on n points whose diameter is at most 2 can naturally be viewed as a compact convex subset of Rn2, known as the metric polytope. In this paper, we study the metric polytope for large n and show that it is close to the cube [1,2]n2⊆Mn in the following two senses. First, the volume of the polytope is not much larger than that of the cube, with the following quantitative estimates: ( 1 6 + o ( 1 ) ) n 3 / 2 ≤ log Vol ( M n ) ≤ O ( n 3 / 2 ) . Second, when sampling a metric space from Mn uniformly at random, the minimum distance is at least 1−n−c with high probability, for some c>0. Our proof is based on entropy techniques. We discuss alternative approaches to estimating the volume of Mn using exchangeability, Szemerédi’s regularity lemma, the hypergraph container method, and the Kővári–Sós–Turán theorem. La collection Mn de tous les espaces métriques à n points de diamètre au plus 2 peut être vue naturellement comme un convexe compact de Rn2, appelé le polytope métrique. Dans cet article, nous étudions le polytope métrique lorsque n est grand, et montrons qu’il est proche du cube [1,2]n2⊆Mn aux deux sens suivants. Tout d’abord, le volume du polytope n’est pas beaucoup plus grand que celui du cube, avec les estimées quantitatives suivantes : ( 1 6 + o ( 1 ) ) n 3 / 2 ≤ log Vol ( M n ) ≤ O ( n 3 / 2 ) . Ensuite, lorsqu’on échantillonne uniformément au hasard un espace métrique de Mn, la distance minimale est au moins 1−n−c avec grande probabilité, pour un c>0. Notre preuve utilise des techniques d’entropie. Nous discutons également d’autres approches permettant d’estimer le volume de Mn, utlisant l’échangeabilité, le lemme de régularité de Szemerédi, la méthode des conteneurs d’hypergraphes, et le théorème de Kővári–Sós–Turán.
statistics & probability