Problem detail · source-aware

Optimal Online Discrepancy in Linear Time

resolvedconfidence 70%

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Precise statement

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$.

The source statement is reproduced for indexing with attribution. Mathematical correctness requires domain-expert or mechanical review. VibeMath has not independently audited statement fidelity, correctness, priority, or novelty.

What AI did

GPT-5.5 Pro Extended

The algorithm and main proof were discovered in a GPT-5.5 Pro Extended conversation prompted by the author; every prefix sum is written as a sum of three coupled Gaussian vectors.

Provider: OpenAI · Prompt public: unknown · Independence: unknown

Verification boundary

unreviewed

Author-checked arXiv preprint. Not yet peer-reviewed.

Correctness: unknown · statement fidelity: unaudited · peer review: none

Timeline

  1. arXiv:2607.04388 - Optimal online discrepancy minimization in linear time

    VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Known method families

argument (source-reported)

Source-reported tools: argument.

Independent: unknown · difference confidence: 0

What remains uncertain

VibeMath has not independently audited the mathematical statement, proof, or novelty claim.

  • VibeMath has not independently verified the mathematical claim.
  • AI-attempt independence and training-data exposure are unknown unless explicitly documented.
  • VibeMath has not independently audited the mathematical statement, proof, or novelty claim.