Alphabeta Math
AlgorithmAlgorithm: Literature-sourcedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Rank-normalized folded split R-hat

Definition

Inputs: M≥2 equal-length scalar chains with at least four observations each. Let S be the total number of pooled draws.

  1. Apply Blom rank-normal scores for pooled draws to all pooled draws, split the transformed chains as in Split R-hat from multiple chains, and calculate the split statistic Rz on the transformed values.
  2. Compute the pooled median m by sorting all S draws and averaging the two central order statistics when S is even (using the central order statistic when S is odd). Fold each original draw to ∣xm,n−m∣, apply the same pooled rank-normal transformation to these folded values, split each folded chain, and calculate the split statistic Rf.
  3. If either split calculation is not estimable, return not estimable. Otherwise return R^=max⁡{Rz,Rf}.

The rank-normalized component addresses location and trend differences in a finite output array; folding the absolute deviations makes the reported maximum sensitive to scale differences as well. It is a diagnostic procedure, not a proof of stationarity or convergence.

Depends on

Used by

Dependency tree · two levels

7 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources