{
  "abstract": "The Aldous-Broder algorithm constructs a spanning tree from the first-entrance edges of a covering random walk. Its distribution is known, but deriving it by summing over the orders in which a fixed tree can be discovered remains difficult. In this paper, we evaluate this sum by establishing an order-mass identity for rooted forests. For real matrices with zero row sums, the identity expresses the sum of order weights associated with each root as a principal cofactor of a matrix on the roots, under a nonsingularity condition involving only the sets encountered along the growth orders of the given forest. We prove the identity using linear algebraic tools. With one root, the sum equals one, giving a direct proof of the extended Aldous-Broder theorem for every finite irreducible Markov chain started at a fixed state. With multiple roots, we derive the forest law produced by the stopped covering walk and show how it differs from the weight-proportional forest law. The identity and the resulting tree and forest laws are formalized in Lean 4.",
  "abstract_shown": true,
  "affiliations": [],
  "article_type": null,
  "arxiv": "2610.13063",
  "author_total": 1,
  "authors": [
    {
      "name": "Hugh Zheng"
    }
  ],
  "bibtex": "https://research.draconitic.com/paper/dxvczxchyh27f.bib",
  "cited_by": 0,
  "doi": "10.48550/arxiv.2610.13063",
  "fulltext_url": null,
  "id": "dxvczxchyh27f",
  "issns": [],
  "landing_url": "https://arxiv.org/abs/2610.13063",
  "language": null,
  "licence": "CC0-1.0",
  "licence_label": "CC0",
  "licence_source": "article",
  "licence_url": "http://creativecommons.org/publicdomain/zero/1.0/",
  "metadata_licence": "CC0-1.0",
  "native_subjects": [
    [
      "arxiv",
      "math.CO"
    ],
    [
      "arxiv",
      "math.PR"
    ],
    [
      "arxiv",
      "math.ST"
    ],
    [
      "arxiv",
      "stat.TH"
    ],
    [
      "openalex",
      "2610|Stochastic processes and statistical mechanics"
    ]
  ],
  "openalex": "W7221507448",
  "pdf_url": "https://arxiv.org/pdf/2610.13063",
  "pmcid": null,
  "pmid": null,
  "published": "2026-10-23",
  "publisher": null,
  "ris": "https://research.draconitic.com/paper/dxvczxchyh27f.ris",
  "sources": [
    {
      "first_seen": "2026-10-30T12:35:19Z",
      "native_id": "2610.13063",
      "source": "arxiv",
      "url": "https://arxiv.org/abs/2610.13063"
    }
  ],
  "subjects": [
    {
      "field": "mathematics",
      "origin": "arxiv:math.CO",
      "subfield": "combinatorics"
    },
    {
      "field": "mathematics",
      "origin": "arxiv:math.PR",
      "subfield": "probability"
    },
    {
      "field": "mathematics",
      "origin": "arxiv:math.ST",
      "subfield": "statistics"
    }
  ],
  "title": "The Order Mass Identity of Rooted Forests, with a Direct Proof of the Extended Aldous-Broder Theorem",
  "title_text": "The Order Mass Identity of Rooted Forests, with a Direct Proof of the Extended Aldous-Broder Theorem",
  "type": "preprint",
  "updated_at": "2026-10-30T12:35:25Z",
  "url": "https://research.draconitic.com/paper/dxvczxchyh27f",
  "venue": "arXiv",
  "versions": []
}