Litvak's Conjecture on Gaussian Minima

the paper proposes that the cosine matrix is the true minimizer for all p and n, and proves a stronger stochastic domination statement conditional on a new volumetric extension of Fejes Toth's zone conjecture

Exact FrontierDelta

Prior state unknown→disproved

Scope and record

Occurred: May 3, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: site-confirmed. Publication: preprint. AI contribution: ai-discovered. Imported under CC BY 4.0.

Canonical aliases: Litvak's Conjecture on Gaussian Minima · Litvak Gaussian minima

Confidence: Not scored

Registry verification: site confirmed · preprint · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Dmitriy Kunisky
human · human collaborator

AlphaEvolve
model · ai model contributor

GPT-5.5 Pro
model · ai model contributor

Evidence vector

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Named evidence

VibeMathed record: Litvak's Conjecture on Gaussian Minima

specialist registry · passed

Reproduced here. For $\Sigma^{\cos}$ with $n = 4$ the matrix has rank two, so $g_i = R\cos(\Theta - \pi i/4)$ with $R^2 \sim \chi^2_2$, giving the closed form $\mathbb{E}[\min_i |g_i|^2] = 1 - 2\sqrt{2}/\pi = 0.0996836838$. The regular-simplex Gram matrix was evaluated by deterministic quadrature over the sphere, stable at $0.1421833$ across grid refinements and corroborated by a 20-million-sample simulation at $0.142238$. The cosine matrix is smaller by about 30 percent, far outside any numerical doubt. arXiv preprint, not peer-reviewed.

Source ↗

Litvak's Conjecture on Gaussian Minima

preprint · pending

Primary source named by the VibeMathed record. Presence in this import is not an independent mathematical verification.

Source ↗

Lineage and corrections

This event attributed to Dmitriy Kunisky

This event attributed to GPT-5.5 Pro

This event attributed to AlphaEvolve

Act on this frontier

Verify, challenge, or extend the result.

Help verify Open canonical problem