Luminary Research Archive
Luminary Research ArchiveIndependent scholarship
Luminary Portal

A sharp lower bound for adjacent-edge correlations in random subtrees

Original PDF · First-page preview

Loading original first page…

Abstract

Give every nonempty subtree of the labeled complete graph Kₙ weight λ^|E(T)|, where λ > 0 and singleton subtrees are included. For every n ≥ 3, the conditional probability of an edge given an adjacent edge is strictly greater than three quarters of its unconditional probability. Thus the finite lower bound proposed by Luo, Xu and Tian for the uniform law holds throughout the positive activity family. Classical fixed-forest extension counts reduce the assertion to positivity of a polynomial in λ. Convexity makes every paired contribution nonnegative except one; the coefficient of λ² explicitly compensates for that exception. The constant is optimal even for each fixed n, since the law converges to the uniform spanning-tree law as λ tends to infinity. For each fixed positive activity, we quantify the approach to this bound: the correlation ratio is 3/4 + 3/(4eλn) + o(n⁻¹) as n tends to infinity. The proof uses the classical Poisson law for the number of missing vertices.

Read the full paper in the original PDF.

Edition files

  • main.pdf57.9 KiB · pdf
    SHA-256f043eadad349b4afeff2ccbaa8c6ac6f5866e3636d738080c9fcaa998ef526b6
  • Revised_publication_package.zip61.9 KiB · package
    SHA-256566dee88627e2500bfe54c06f4b2fef6d5e08b8268175684592b69711175fb9d

Available editions

  1. Edition 4 · 2026-11-01 · public
  2. Edition 3 · 2026-10-31 · public
  3. Edition 2 · 2026-10-27 · public
  4. Edition 1 · 2026-10-19 · public

Research details

Subjects
Mathematics · Combinatorics and Graph Theory
Keywords
Manuscript date
2026-10-31
Reader reuse
none

Scope

Strict sharp 3/4 lower bound for adjacent-edge conditional-to-marginal inclusion ratios in nonempty labeled-complete-graph subtrees weighted by positive edge activity. Polynomial positivity yields a finite margin; the spanning-tree limit establishes optimality at fixed graph order. For each fixed positive activity λ, the first-order correlation margin is 3/(4eλn) + o(n⁻¹) as n grows, using classical forest counts and the missing-vertex Poisson limit.

Disclosures

No external funding was received for this work. OpenAI tools assisted literature comparison, proof exploration, drafting and consistency checks. The author takes responsibility for the statements, attribution and presentation.

Reproduction

The 4-page searchable manuscript is accompanied by complete editable sources, reader instructions, citation metadata and integrity checksums. The manuscript supplies the analytic arguments; accompanying computational materials, where included, check their specified finite certificates.

References and related resources

  1. Z. Luo, K. Xu and J. Tian. Random subtrees and unimodal sequences in graphs. Discrete Mathematics 347 (2024), no. 1, 113654.
  2. Z. Luo, K. Xu and J. Tian. Random subtrees and unimodal sequences in graphs. 20-page author manuscript publicly posted August 2, 2023; Conjecture 5.1, p. 18.