Problem detail · source-aware
VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.
Among $d+1$ equiprobable equal-energy signals in Gaussian noise, is the regular simplex optimal for average error probability? Yes. The underlying comparison is that for any $m \times m$ correlation matrix $R$ with $R - \mathbf{1}\mathbf{1}^{\mathsf T}/m \succeq 0$ and $X \sim \mathcal{N}(0,R)$, the maximum of the $X_i$ is stochastically dominated by the maximum of $m$ independent standard Gaussians.
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.
The disclosure says the models were used during the development of the work to assist with mathematical exploration, proof development and checking, literature discovery and organization, and drafting. It attributes no specific step, so the lowest tier applies.
Provider: OpenAI · Prompt public: unknown · Independence: unknown
Single-author arXiv preprint; not yet peer-reviewed.
Correctness: unknown · statement fidelity: unaudited · peer review: none
VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.
Source-reported tools: argument.
Independent: unknown · difference confidence: 0
VibeMath has not independently audited the mathematical statement, proof, or novelty claim.