{
  "id": "1401.7052",
  "version": "v2",
  "published": "2014-01-28T00:07:36.000Z",
  "updated": "2014-09-15T03:39:41.000Z",
  "title": "The semigroup of metric measure spaces and its infinitely divisible probability measures",
  "authors": [
    "Steven N. Evans",
    "Ilya Molchanov"
  ],
  "comment": "48 pages, 0 figures. The previous version considered only compact metric measure spaces, but new arguments allow all the results of the previous version to be extended to the setting of complete separable metric measure spaces",
  "categories": [
    "math.PR",
    "math.AC",
    "math.MG"
  ],
  "abstract": "A metric measure space is a complete separable metric space equipped with probability measure that has full support. Two such spaces are equivalent if they are isometric as metric spaces via an isometry that maps the probability measure on the first space to the probability measure on the second. The resulting set of equivalence classes can be metrized with the Gromov-Prohorov metric of Greven, Pfaffelhuber and Winter. We consider the natural binary operation $\\boxplus$ on this space that takes two metric measure spaces and forms their Cartesian product equipped with the sum of the two metrics and the product of the two probability measures. We show that the metric measure spaces equipped with this operation form a cancellative, commutative, Polish semigroup with a translation invariant metric and that each element has a unique factorization into prime elements. We investigate the interaction between the semigroup structure and the natural action of the positive real numbers on this space that arises from scaling the metric. For example, we show that for any given positive real numbers $a,b,c$ the trivial space is the only space $\\mathcal{X}$ that satisfies $a \\mathcal{X} \\boxplus b \\mathcal{X} = c \\mathcal{X}$. We establish that there is no analogue of the law of large numbers: if $\\mathbf{X}_1, \\mathbf{X}_2$..., is an identically distributed independent sequence of random spaces, then no subsequence of $\\frac{1}{n} \\boxplus_{k=1}^n \\mathbf{X}_k$ converges in distribution unless each $\\mathbf{X}_k$ is almost surely equal to the trivial space. We characterize the infinitely divisible probability measures and the L\\'evy processes on this semigroup, characterize the stable probability measures and establish a counterpart of the LePage representation for the latter class.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2014-01-28T00:07:36.000Z",
      "title": "The semigroup of compact metric measure spaces and its infinitely divisible probability measures",
      "abstract": "A compact metric measure space is a compact metric space equipped with probability measure that has full support. Two such spaces are equivalent if they are isometric as metric spaces via an isometry that maps the probability measure on the first space to the probability measure on the second. The resulting set of equivalence classes can be metrized with the Gromov-Prohorov metric of Greven, Pfaffelhuber and Winter. We consider the natural binary operation $\\boxplus$ on this space that takes two compact metric measure spaces and forms their Cartesian product equipped with the sum of the two metrics and the product of the two probability measures. We show that the compact metric measure spaces equipped with this operation form a cancellative, commutative, Polish semigroup with a translation invariant metric and that each element has a unique factorization into prime elements. We investigate the interaction between the semigroup structure and the natural action of the positive real numbers on this space that arises from scaling the metric. For example, we show that for any given positive real numbers $a,b,c$ the trivial space is the only space $\\mathcal{X}$ that satisfies $a \\mathcal{X} \\boxplus b \\mathcal{X} = c \\mathcal{X}$. We establish that there is no analogue of the law of large numbers: if $\\mathbf{X}_1, \\mathbf{X}_2, \\ldots$ is an identically distributed independent sequence of random spaces, then no subsequence of $\\frac{1}{n} \\boxplus_{k=1}^n \\mathbf{X}_k$ converges in distribution unless each $\\mathbf{X}_k$ is almost surely equal to the trivial space. We characterize the infinitely divisible probability measures and the L\\'evy processes on this semigroup, characterize the stable probability measures and establish a counterpart of the LePage representation for the latter class.",
      "comment": "39 pages, 0 figures",
      "journal": null,
      "doi": null
    },
    {
      "version": "v2",
      "updated": "2014-09-15T03:39:41.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "43A05",
      "60B15",
      "60E07",
      "60G51"
    ],
    "keywords": [
      "compact metric measure space",
      "infinitely divisible probability measures",
      "metric measure spaces",
      "positive real numbers",
      "metric space"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 48,
      "language": "en",
      "license": "arXiv",
      "status": "editable",
      "adsabs": "2014arXiv1401.7052E"
    }
  }
}