{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "MK827B9NDR"
    }
  ],
  "body": "\n## Summary\n\nThe Poisson boundary of a [[random walk on a group|WAS9EANSJJ]] is a measure space that records where the walk goes at infinity.\nEvery bounded harmonic function for the walk is the Poisson integral of a unique bounded function on this boundary.\nThis mirrors the Poisson integral formula for bounded harmonic functions on the disc.\nThe boundary is trivial exactly when all bounded harmonic functions are constant, which is the [[Liouville property|Y1EGR8DF84]].\nIt was introduced by Furstenberg and developed by Kaimanovich and Vershik, who related its triviality to the entropy of the walk.\n\n## Explanations\n\n### L1 human\n\nLet a random walker move on a group by multiplying by random elements, again and again.\nSome information about the walk's position survives forever, for example on a free group the infinite word that the walk spells out in the limit.\nThe Poisson boundary collects exactly this surviving information, together with the probabilities of each outcome.\nOn $\\Z^d$ nothing survives: the boundary is a single point, and every bounded harmonic function is constant.\nOn a free group with two generators, the boundary is the set of infinite reduced words, and it carries many bounded harmonic functions.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "60J50",
      "60B15",
      "31C35"
    ],
    "name": "Poisson boundary",
    "same_as": {
      "wikidata": "Q28402746",
      "wikipedia": "Poisson boundary"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Poisson_boundary"
      }
    ],
    "tag": "6EEF2E8XPF"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/6EEF2E8XPF/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/6EEF2E8XPF.md",
  "msc": [
    "60J50",
    "60B15",
    "31C35"
  ],
  "name": "Poisson boundary",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/6EE/6EEF2E8XPF.md",
  "status": null,
  "tag": "6EEF2E8XPF",
  "uri": "m2://6EEF2E8XPF",
  "url": "https://tamnd.github.io/math2/wiki/poisson-boundary/",
  "writing": {
    "tag": "6EEF2E8XPF",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      },
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}