Positive definite metric spaces (Q369652): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(9 intermediate revisions by 7 users not shown) | |||
Property / review text | |||
The initial point of the paper is the notion of \textit{magnitude} of a metric space introduced by \textit{T. Leinster} in the very interesting paper [``Metric spaces. Post at \textit{The n-Category Café}'', (2008). {\texttt{http://golem.ph.utexas.edu/category/2008/02/metric\_spaces.html}}], see also [``The magnitude of metric spaces'', \url{arXiv:1012.5857}], which is a numerical invariant of metric spaces, analogous to the cardinality of finite sets or the Euler characteristic of topological spaces. From the author's abstract: ``This paper develops the theory of a class of metric spaces, positive definite metric spaces, for which magnitude is more tractable than in general. Positive definiteness is a generalization of the classical property of negative type for a metric space, which is known to hold for many interesting classes of spaces. It is proved that all the proposed definitions of magnitude coincide for compact positive definite metric spaces and further results are proved about the behavior of magnitude as a function of such spaces. Finally, some facts about the magnitude of compact subsets of \(\ell^n_p\) for \(p\leq 2\) are proved, generalizing results of Leinster for \(p=1,2\) using properties of these spaces which are somewhat stronger than positive definiteness.'' Let \((X,d)\) be a metric space. A \textit{weight measure} for \((X,d)\) is a finite signed measure \(\mu\) on \(X\) such that \[ \int_X e^{-d(x,y)}d\mu(y)=1 \tag{1} \] for every \(x\in X\). If \(X\) possesses a weight measure \(\mu\), then the \textit{magnitude} of \(X\) is defined as \(\mu(X)\). A metric space \(X\) is called positive definite if, for every finite \(A\subseteq X\), the matrix \(\xi_A\in\mathbb R^A\) with \(\xi_A(x,y)=e^{-d(x,y)}\) is positive definite. For the case of finite \(X\), equality (1) can be written as \[ \sum_{y\in X} e^{-d(x,y)}w(y)=1. \tag{2} \] A vector \(w\in\mathbb R^X\) is called a \textit{weighting} for \(A\) if (2) holds for every \(x\in X\). Denote by \(M(X)\) the space of finite signed Borel measures on \(X\) and define \[ Z_X(\mu,\nu)=\int_X\int_X e^{-d(x,y)}d\mu(x)d\nu(y) \] for \(\mu,\nu\in M(X)\). { Theorem 1.} Let \((X,d)\) be a compact positive definite metric space. The supremum \[ |X|:=\sup\Big\{ \frac{\mu(X)^2}{Z_X(\mu,\mu)}: \mu\in M(X),\;Z_X(\mu,\mu)\neq0 \Big\} \] is achieved for a measure \(\mu\) if and only if \(\mu\) is a nonzero scalar multiple of a weight measure for \(X\). If \(\mu\) is a weight measure for \(X\), then \(|A|\) equals the magnitude of \(X\). { Theorem 2.} For every compact positive defined metric space \(X\) the equality \[ |X|=\sup\{|A|:A\subseteq X\text{ and } card A<\infty\} \] holds. It is also proved that the function \(A\mapsto|A|\) is lower semicontinuous with respect to Gromov-Hausdorff convergence on the class of compact positive definite metric spaces. Some conditions for positive definiteness of metric spaces are found. { Theorem 3.} The following conditions are equivalent for every metric space \((X,d)\) (i) The metric space \((X,td)\) is positive definite for every \(t>0\). (ii) \((X,d)\) is of negative type, i.e. \((X,d^{\frac12})\) is isometric to a subset of a Hilbert space. | |||
Property / review text: The initial point of the paper is the notion of \textit{magnitude} of a metric space introduced by \textit{T. Leinster} in the very interesting paper [``Metric spaces. Post at \textit{The n-Category Café}'', (2008). {\texttt{http://golem.ph.utexas.edu/category/2008/02/metric\_spaces.html}}], see also [``The magnitude of metric spaces'', \url{arXiv:1012.5857}], which is a numerical invariant of metric spaces, analogous to the cardinality of finite sets or the Euler characteristic of topological spaces. From the author's abstract: ``This paper develops the theory of a class of metric spaces, positive definite metric spaces, for which magnitude is more tractable than in general. Positive definiteness is a generalization of the classical property of negative type for a metric space, which is known to hold for many interesting classes of spaces. It is proved that all the proposed definitions of magnitude coincide for compact positive definite metric spaces and further results are proved about the behavior of magnitude as a function of such spaces. Finally, some facts about the magnitude of compact subsets of \(\ell^n_p\) for \(p\leq 2\) are proved, generalizing results of Leinster for \(p=1,2\) using properties of these spaces which are somewhat stronger than positive definiteness.'' Let \((X,d)\) be a metric space. A \textit{weight measure} for \((X,d)\) is a finite signed measure \(\mu\) on \(X\) such that \[ \int_X e^{-d(x,y)}d\mu(y)=1 \tag{1} \] for every \(x\in X\). If \(X\) possesses a weight measure \(\mu\), then the \textit{magnitude} of \(X\) is defined as \(\mu(X)\). A metric space \(X\) is called positive definite if, for every finite \(A\subseteq X\), the matrix \(\xi_A\in\mathbb R^A\) with \(\xi_A(x,y)=e^{-d(x,y)}\) is positive definite. For the case of finite \(X\), equality (1) can be written as \[ \sum_{y\in X} e^{-d(x,y)}w(y)=1. \tag{2} \] A vector \(w\in\mathbb R^X\) is called a \textit{weighting} for \(A\) if (2) holds for every \(x\in X\). Denote by \(M(X)\) the space of finite signed Borel measures on \(X\) and define \[ Z_X(\mu,\nu)=\int_X\int_X e^{-d(x,y)}d\mu(x)d\nu(y) \] for \(\mu,\nu\in M(X)\). { Theorem 1.} Let \((X,d)\) be a compact positive definite metric space. The supremum \[ |X|:=\sup\Big\{ \frac{\mu(X)^2}{Z_X(\mu,\mu)}: \mu\in M(X),\;Z_X(\mu,\mu)\neq0 \Big\} \] is achieved for a measure \(\mu\) if and only if \(\mu\) is a nonzero scalar multiple of a weight measure for \(X\). If \(\mu\) is a weight measure for \(X\), then \(|A|\) equals the magnitude of \(X\). { Theorem 2.} For every compact positive defined metric space \(X\) the equality \[ |X|=\sup\{|A|:A\subseteq X\text{ and } card A<\infty\} \] holds. It is also proved that the function \(A\mapsto|A|\) is lower semicontinuous with respect to Gromov-Hausdorff convergence on the class of compact positive definite metric spaces. Some conditions for positive definiteness of metric spaces are found. { Theorem 3.} The following conditions are equivalent for every metric space \((X,d)\) (i) The metric space \((X,td)\) is positive definite for every \(t>0\). (ii) \((X,d)\) is of negative type, i.e. \((X,d^{\frac12})\) is isometric to a subset of a Hilbert space. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 54E35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 51F99 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 28A75 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 49Q20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 43A35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 46B20 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6209139 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
weight measure | |||
Property / zbMATH Keywords: weight measure / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
magnitude | |||
Property / zbMATH Keywords: magnitude / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
weighting | |||
Property / zbMATH Keywords: weighting / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Aleksey A. Dovgoshey / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W3098025416 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1012.5863 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4938152 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5514858 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Geometry of cuts and metrics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Potentials and isometric embeddings in \(L_1\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Enhanced negative type for finite metric trees / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On a problem of Smirnov / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Distances hilbertiennes invariantes sur un espace homogene / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5624436 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Metric structures for Riemannian and non-Riemannian spaces. Transl. from the French by Sean Michael Bates. With appendices by M. Katz, P. Pansu, and S. Semmes. Edited by J. LaFontaine and P. Pansu / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hyperbolic spaces are of strictly negative type / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finite metric spaces of strictly negative type / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3998992 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5624460 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4821311 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Measuring diversity from dissimilarities with Rao's quadratic entropy: are any dissimilarities suitable? / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4046694 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Does negative type characterize the round sphere? / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Banach subspace of 𝐿_{1/2} which does not embed in 𝐿₁ (isometric version) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4679602 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some combinatorial and probabilistic inequalities and their application to Banach space theory II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Metric spaces, generalized logic, and closed categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The magnitude of metric spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the asymptotic magnitude of subsets of Euclidean space / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2751735 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generalized roundness and negative type / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4136031 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Remarks to Maurice Frechet's article ``Sur la definition axiomatique d'une classe d'espaces vectoriels distancies applicables vectoriellement sur l'espace de Hilbert'' / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5640160 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4296897 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Optimal Transport / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Asymptotic estimates of multi-dimensional stable densities and their applications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4087773 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Scattered Data Approximation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the magnitude of spheres, surfaces and other homogeneous spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5525210 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 21:54, 6 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Positive definite metric spaces |
scientific article |
Statements
Positive definite metric spaces (English)
0 references
19 September 2013
0 references
The initial point of the paper is the notion of \textit{magnitude} of a metric space introduced by \textit{T. Leinster} in the very interesting paper [``Metric spaces. Post at \textit{The n-Category Café}'', (2008). {\texttt{http://golem.ph.utexas.edu/category/2008/02/metric\_spaces.html}}], see also [``The magnitude of metric spaces'', \url{arXiv:1012.5857}], which is a numerical invariant of metric spaces, analogous to the cardinality of finite sets or the Euler characteristic of topological spaces. From the author's abstract: ``This paper develops the theory of a class of metric spaces, positive definite metric spaces, for which magnitude is more tractable than in general. Positive definiteness is a generalization of the classical property of negative type for a metric space, which is known to hold for many interesting classes of spaces. It is proved that all the proposed definitions of magnitude coincide for compact positive definite metric spaces and further results are proved about the behavior of magnitude as a function of such spaces. Finally, some facts about the magnitude of compact subsets of \(\ell^n_p\) for \(p\leq 2\) are proved, generalizing results of Leinster for \(p=1,2\) using properties of these spaces which are somewhat stronger than positive definiteness.'' Let \((X,d)\) be a metric space. A \textit{weight measure} for \((X,d)\) is a finite signed measure \(\mu\) on \(X\) such that \[ \int_X e^{-d(x,y)}d\mu(y)=1 \tag{1} \] for every \(x\in X\). If \(X\) possesses a weight measure \(\mu\), then the \textit{magnitude} of \(X\) is defined as \(\mu(X)\). A metric space \(X\) is called positive definite if, for every finite \(A\subseteq X\), the matrix \(\xi_A\in\mathbb R^A\) with \(\xi_A(x,y)=e^{-d(x,y)}\) is positive definite. For the case of finite \(X\), equality (1) can be written as \[ \sum_{y\in X} e^{-d(x,y)}w(y)=1. \tag{2} \] A vector \(w\in\mathbb R^X\) is called a \textit{weighting} for \(A\) if (2) holds for every \(x\in X\). Denote by \(M(X)\) the space of finite signed Borel measures on \(X\) and define \[ Z_X(\mu,\nu)=\int_X\int_X e^{-d(x,y)}d\mu(x)d\nu(y) \] for \(\mu,\nu\in M(X)\). { Theorem 1.} Let \((X,d)\) be a compact positive definite metric space. The supremum \[ |X|:=\sup\Big\{ \frac{\mu(X)^2}{Z_X(\mu,\mu)}: \mu\in M(X),\;Z_X(\mu,\mu)\neq0 \Big\} \] is achieved for a measure \(\mu\) if and only if \(\mu\) is a nonzero scalar multiple of a weight measure for \(X\). If \(\mu\) is a weight measure for \(X\), then \(|A|\) equals the magnitude of \(X\). { Theorem 2.} For every compact positive defined metric space \(X\) the equality \[ |X|=\sup\{|A|:A\subseteq X\text{ and } card A<\infty\} \] holds. It is also proved that the function \(A\mapsto|A|\) is lower semicontinuous with respect to Gromov-Hausdorff convergence on the class of compact positive definite metric spaces. Some conditions for positive definiteness of metric spaces are found. { Theorem 3.} The following conditions are equivalent for every metric space \((X,d)\) (i) The metric space \((X,td)\) is positive definite for every \(t>0\). (ii) \((X,d)\) is of negative type, i.e. \((X,d^{\frac12})\) is isometric to a subset of a Hilbert space.
0 references
weight measure
0 references
magnitude
0 references
weighting
0 references
0 references
0 references