Core sparsification
CLAIM 1 · FALSIFIED
Algorithm 2 requests M proportional to n/ε² samples although its cited MultiSample contract requires M≤m. Its explicit loop is Ω(ε⁻²), contradicting the displayed ε⁻¹ runtime at fixed dimensions.
Algorithm 2 requests M proportional to n/ε² samples although its cited MultiSample contract requires M≤m. Its explicit loop is Ω(ε⁻²), contradicting the displayed ε⁻¹ runtime at fixed dimensions.
CLAIM 2 · FALSIFIED
Its exact pipeline explicitly processes Θ̃(n/ε²) samples, leaving the cited sampler domain and contradicting the displayed ε⁻¹ runtime at fixed dimensions.
Its exact pipeline explicitly processes Θ̃(n/ε²) samples, leaving the cited sampler domain and contradicting the displayed ε⁻¹ runtime at fixed dimensions.
Exact audit: 11/11 source-valid ε cells violate M≤m; the threshold control passes.