arXiv++ Combinatorics

We study online discrepancy minimization for independent random vectors in $\mathbb{R}^n$ with independent coordinates. Our deterministic algorithms require no knowledge of the horizon, and their guarantees hold at every prescribed deterministic terminal time $T$. For unit-variance sub-exponential coordinates with $ψ_1$-norms at most $σ$, we obtain terminal discrepancy $O(σ^4\sqrt n)$ with failure probability $\exp(-Ω(σ^3\sqrt n))$. Independently masking centered unit-variance marks from the same class with retention probability $k/n$ gives $O(σ^4\sqrt k)$ discrepancy with failure probability $\exp(-Ω(σ^3\sqrt k))$ when $k\gtrsim\log^2(2n)$. The fourth-power dependence on $σ$ is necessary for these sub-exponential classes at the stated confidence levels. For standard Gaussian marks, we obtain $O(\sqrt k+\sqrt{\log(2n)})$ discrepancy with failure probability $\exp(-Ω(\sqrt k+\sqrt{\log(2n)}))$. Both terms are necessary up to absolute constants for $T\ge n$. In particular, $k\gtrsim\log n$ is the optimal sparsity threshold for $O(\sqrt k)$ discrepancy. For centered unit-variance sub-Gaussian marks with any fixed $ψ_2$-norm bound $σ$, logarithmic sparsity suffices for $O(σ\sqrt{k\log(e+σ)})$ discrepancy with probability tending to one as $n\to\infty$. For a dimension-dependent family of unit-variance laws with rare activations, matching bounds determine the fixed-confidence online discrepancy order $Θ(\sqrt n\log\log n)$ at sufficiently long prescribed horizons. Our dense result generalizes the Rademacher-input theorem of Bansal and Spencer (2020) and establishes the horizon-independent $O(\sqrt n)$ Gaussian terminal discrepancy scale anticipated by Gamarnik et al. (2022). The proofs combine regularization, global Fenchel estimates, coupled Lyapunov functions, and terminal moment recursions.