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.

Tapered block bootstrap

Definition

Input: observations Y1,…,Yn in a real Hilbert space H, an integer 1≤b≤n, and a window w:R→[0,1] that vanishes off [0,1], is positive on a neighbourhood of 1/2, satisfies w(1−u)=w(u), and is nondecreasing on [0,1/2]. Put wb(r)=w((r−12)/b) for 1≤r≤b, Wb=(∑r=1bwb(r)2)1/2, and ab=b/Wb. The procedure is admissible only when Wb>0.

Center and taper: set Yˉn=n−1∑t=1nYt and Rt=Yt−Yˉn. For each start j∈{1,…,n−b+1}, form the block

(abwb(1)Rj,…,abwb(b)Rj+b−1).

Resample: use the independent uniform block starts from Overlapping block-index resampling, multiply each selected centered observation by its within-block taper and the factor ab, concatenate in draw order, and retain the first n entries. The conditional bootstrap mean is centered by its own conditional expectation when used to approximate the sampling law of n Yˉn.

The factor ab compensates for the window's squared-weight sum in the block-sum variance calculation; this definition alone gives no bootstrap validity result.

For a dependent time series, the selected length-b consecutive run is the resampling unit under Sampling units and the resampling-unit contract. The taper changes each unit record's within-block weight but the whole block is selected and resampled together; validity remains a separate theorem.

Depends on

Used by

Dependency tree · two levels

3 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