clopen.solutions

The nonnegative rank of the nine-point linear distance matrix

Recorded by the registry's curators from GitHub; the authors did not submit it here.

Matthew J. Colbrook

We prove that the matrix $D_9=((i-j)^2)_{i,j=1}^9$ has nonnegative rank seven. The lower bound combines the polygon-section interpretation of restricted nonnegative rank with Sylvester's rank inequality applied to both factors. In a factorization with at most six terms, each factor would have ordinary rank at least five; their product would then have rank at least four, a contradiction. The known seven-term reflection factorization, written with integer entries, supplies the matching upper bound. More generally, every rank-three square matrix of order at least nine with zero diagonal and strictly positive off-diagonal entries has nonnegative rank at least seven.

Claims

LEAN VERIFIED OP-00112 — The nonnegative rank of the nine-point distance matrix
Disproof · fidelity not yet established

Files and sources

Paper
OpenProblemsInNLA @ 0e916df, manuscripts/NR-04_nine_point_distance.pdf ↗
Posted on GitHub
11 September 2026

No verification run is on record for this version.