clopen.solutions

Tail-envelope guarantees and a clock obstruction

Recorded by the registry's curators from GitHub; the authors did not submit it here.

Sidney Holden

We establish the expected relative-error guarantee of randomly pivoted Cholesky at $\lceil Cr/\varepsilon\rceil$ pivots with the explicit constant $C=3$ when the eigenvalues after the target rank lie below a half-geometric envelope, and with $C=4$ under an inverse-square tail envelope. The leading eigenvalues may have arbitrarily large spread, and all eigenvectors are unrestricted. A further theorem gives a rank-independent constant for every fixed summable power envelope, with its dependence on the envelope exponent displayed explicitly. These results retain a head-product denominator in the determinant-path argument rather than imposing decay on the entire spectrum. We also construct finite rank-one-spike examples showing that, for a continuous-time clock version of the algorithm, no bound $\mathbb E N(t)\le ar+t\tau_r(A)$ on the expected pivot count holds for any finite $a$; this does not refute the guarantee above. A saturation calculation explains why the determinant comparison used here does not reach the diffuse-tail case.

Claims

PARTIALLY RESOLVED OP-00169 — Optimal pivot count for RPCholesky trace approximation
Partial resolution · fidelity not yet established

Files and sources

Paper
OpenProblemsInNLA @ eb7c9d6, holden-ra01-2026-09-13/report.pdf ↗
Posted on GitHub
13 September 2026

No verification run is on record for this version.