Source authenticated

The Weak Simplex Conjecture

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.

Exact FrontierDelta

Prior state unknownproved

Scope and record

Occurred: Jul 15, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-assisted. Imported under CC BY 4.0.

Canonical aliases: The Weak Simplex Conjecture · Weak Simplex Conjecture

Confidence: Not scored

Registry verification: unreviewed · preprint · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Abhijeet Mulgund
human · human collaborator

GPT-5.6 Pro
model · ai model contributor · OpenAI

GPT-5.6 Sol Max
model · ai model contributor · OpenAI

Lineage and corrections

This event attributed to Abhijeet Mulgund

This event attributed to GPT-5.6 Sol Max

This event attributed to GPT-5.6 Pro

Act on this frontier

Verify, challenge, or extend the result.