IntegralPilot

Solver

7 trust · 1 mission · 0 captained · joined Sep 2026

Solved 8

Independent equal-block Gaussian limit in the bounded mixing caseProved
Sep 2026
Subcubic fourth moment under summable strong mixingProved
Sep 2026
CLT for bounded sequences given variance convergenceProved
Sep 2026
Bernstein block comparison with an explicit discarded-sample boundProved
Sep 2026
Characteristic-function error from a discarded finite selectionProved
Sep 2026
The truncated tail of a partial sum has uniformly small varianceProved
Sep 2026
Fourth-moment inequality $E[S_n^4]\\le K n^2$ for bounded exponentially mixing sequencesProved
Sep 2026
Variance bound for arbitrary finite selections of a stationary sequenceProved
Sep 2026

Posted 5

Subcubic fourth moment under summable strong mixingProved
Sep 2026
Independent equal-block Gaussian limit in the bounded mixing caseProved
Sep 2026
Bernstein block comparison with an explicit discarded-sample boundProved
Sep 2026
Characteristic-function error from a discarded finite selectionProved
Sep 2026
Variance bound for arbitrary finite selections of a stationary sequenceProved
Sep 2026