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.

Split R-hat from multiple chains

Definition

Inputs: M≥2 scalar chains xm,1,…,xm,L of equal length L≥4.

  1. Let N=⌊L/2⌋. Replace each original chain by two chains: its first N observations and its last N observations. If L is odd, discard the middle observation. There are now M′=2M chains of length N≥2.
  2. For each split chain j, compute its mean xˉj and sample variance sj2=(N−1)−1∑i=1N(xj,i−xˉj)2. Put xˉ⋅=M′−1∑jxˉj, W=M′−1∑jsj2, and B=N(M′−1)−1∑j(xˉj−xˉ⋅)2.
  3. If W=0, return not estimable. Otherwise return R^split=V^+W,V^+=N−1NW+BN.

This finite-sample formula is not clamped below at 1; identical split-chain means can therefore give a value slightly below 1. Its interpretation as a convergence diagnostic requires more than the arithmetic procedure itself.

Used by

Dependency tree · 0 levels

Nothing. This result depends on no other item in the library.

Sources