A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Memory–sample lower bounds for noiseless Gaussian regression
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Gaussian Moat Hopper <<<

LOADING...
0%
thinking... about 3 hours remaining
If this game doesn't work on your computer, go here for help. (Lean version available!)
expertly designed by an internal OpenAI model

Difficulty:🧠🧠🧠🧠🧠 Ages:13 - ∞
Skills:algorithms, speed Levels:6
Category:Theoretical computer science Lean version:YES! ✔
Rate this game! 4.1 out of 5 (2,417 votes)

>>> How to Play <<<
Memory–sample lower bounds for noiseless Gaussian regression. For fixed A > 0, a one-pass learner with $Ad^2$ persistent bits needs $\Omega_A(d\log(1/\epsilon))$ noiseless Gaussian samples to recover a unit vector to angular error $0\lt \epsilon\le1/10$ with probability 2/3, uniformly in accuracy for large d. Computation and randomized updates are unrestricted, but output uses only the terminal state, stopping index and fresh randomness.

>>> Level Select <<<
released 2026-09-27  |  2 theorems · 19 lemmas · 36 proofs · 17,207 words  |  PLAY LEVEL 1 »  (pdf)
For every fixed A > 0, a learner that retains at most $Ad^2$ bits between fresh exact Gaussian linear measurements needs $\Omega_A(d\log(1/\epsilon))$ measurements to estimate a uniformly random unit vector to angular error at most ϵ, for any $0\lt \epsilon\le 1/10$, with probability at least 2/3. The constant is absolute for $o(d^2)$ memory.
released 2026-09-27  |  5 theorems · 31 lemmas · 45 proofs · 25,979 words  |  PLAY LEVEL 2 »  (pdf)
For a signal with density bounded by L relative to uniform probability on $S^{d-1}$, we bound the information in a finite message W formed from exact Gaussian measurements, conditional on an independent projection revealed only to the analyst. For explicit row counts proportional to d, the bound is $O(H(W)/d+d+\log(2+\log L))$. Consequently, a finite-state learner with $o(d^2)$ persistent bits and a deterministic sample horizon needs $\Omega(d\log(1/\epsilon))$ fresh noiseless Gaussian measurements for constant-probability angular accuracy $0\lt \epsilon\le1/10$ under the uniform spherical prior.
released 2026-09-27  |  5 theorems · 41 lemmas · 57 proofs · 41,647 words  |  PLAY LEVEL 3 »  (pdf)
For the image of a uniform cube under a spherical coordinate map, we prove that finite messages from t blocks of $\Theta(d)$ exact Gaussian measurements reveal only $O_A(dt)$ information when each message has at most $\exp(Ad^2)$ values, for fixed A. The same bound holds when each message is supplemented with a nested cell that restores the required geometric spread.
released 2026-09-27  |  3 theorems · 15 lemmas · 26 proofs · 12,738 words  |  PLAY LEVEL 4 »  (pdf)
We prove moment estimates for exact random projections of finite measures whose mass is controlled on Euclidean balls, and derive positive domination by countable sums of spherical cap measures. For learners with $M=o(d^2)$ bits of memory, these estimates give three proofs that uniform-sphere average success at least 2/3 at angular accuracy $0\lt \epsilon\le1/10$ requires $\Omega(d\log(1/\epsilon))$ noiseless Gaussian observations. The three proofs keep their different stopping and accuracy costs explicit.
released 2026-09-27  |  4 theorems · 18 lemmas · 28 proofs · 21,966 words  |  PLAY LEVEL 5 »  (pdf)
Replacing the Gaussian rows used to select a finite message by independent rows increases the remaining conditional information by at most $Cd$, for a uniform spherical signal, message entropy at most d2, and the specified row dimensions proportional to d. As an application, we prove that learners with $M=o(d^2)$ persistent bits need $T=\Omega(d\log(1/\epsilon))$ exact observations to attain uniform-sphere angular success at least 3/5, for $0\lt \epsilon\le1/10$ and a deterministic finite horizon.
released 2026-09-27  |  2 theorems · 12 lemmas · 18 proofs · 10,631 words  |  PLAY LEVEL 6 »  (pdf)
Let a finite-state streaming learner estimate a uniformly random unit vector from independent exact Gaussian linear measurements. We prove that $o(d^2)$ bits of persistent memory and angular success probability at least 2/3 require at least $2^{-16}d\log_2(1/\epsilon)$ samples for all sufficiently large d, uniformly for $0\lt \epsilon\le1/10$. The proof conditions each batch on its observed projection and controls the resulting random residual subsphere.

More Theoretical computer science Games!
The quasilinear PCP-for-PPAD conjectureOne-tape time simulation in two-fifths-power spaceSubset Sum in $O(2^{0.49n})$ time HOT!Subpolynomial queries for log-concave sampling
The existential theory of the reals and existential–universal sentences in the counting hierarchyDeterministic polynomial factorization over prime fieldsThe Unique Games Conjecture and optimal approximation thresholds HOT!Derandomization of logarithmic space: $\mathsf L=\mathsf{RL}=\mathsf{BPL}$ HOT!

Cool Links: openai/math   Lean   Mathlib   arXiv   the real Coolmath Games