Delphi.science

Two short proofs of incompatibility for correlation matrices

Cedric Phillips

arXivarxiv/2609.14610Sep 13, 2026math.STscore 0

Let $P_d$ be the elliptope of $d \times d$ correlation matrices, and, for a standardised law $F$, let $S_d^F$ be the set of correlation matrices of random vectors with all margins $F$. We give two short proofs. First, an eleven-term representation of $|x|^4$ as a sum of fourth powers of linear forms on $\mathbb{R}^4$ yields $S_{11} \neq P_{11}$ for uniform margins. Second, the six diagonals of the regular icosahedron yield $S_6^F \neq P_6$ for arcsine margins. Together with a result of Devroye and Letac, this gives $S_d^F = P_d$ if and only if $d \le 5$, settling a conjecture of theirs.

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2609.14610
curl -X POST /api/v1/records/arxiv/2609.14610/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.14610/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'