theoretical-computer-science / Discrepancy theory

Optimal Online Discrepancy in Linear Time

Given online vectors $v_t \in \mathbb{R}^d$ with $\|v_t\|_2 \le 1$, can signs $\varepsilon_t \in \{-1, 1\}$ be chosen in $O(dT)$ total time so that every prefix has $\ell_\infty$ discrepancy $O(\sqrt{\log T})$ with high probability? The previous optimal algorithm ran in time exponential in $T$ and $d$.

9Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

theoretical-computer-scienceJul 6, 2026Significance 9/100Registry: unreviewed

Optimal Online Discrepancy in Linear Time

Prior state unknownproved

Given online vectors $v_t \in \mathbb{R}^d$ with $\|v_t\|_2 \le 1$, can signs $\varepsilon_t \in \{-1, 1\}$ be chosen in $O(dT)$ total time so that every prefix has $\ell_\infty$ discrepancy $O(\sqrt{\log T})$ with high probability? The previous optimal algorithm ran in time exponential in $T$ and $d$.

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Given online vectors $v_t \in \mathbb{R}^d$ with $\|v_t\|_2 \le 1$, can signs $\varepsilon_t \in \{-1, 1\}$ be chosen in $O(dT)$ total time so that every prefix has $\ell_\infty$ discrepancy $O(\sqrt{\log T})$ with high probability? The previous optimal algorithm ran in time exponential in $T$ and $d$.

Recorded attempts

Evidence graph

Connected research record

No public relationships recorded yet.