clopen.solutions

A null vector for the Rowland–Wu determinant identity

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

Matthew J. Colbrook

We prove the Rowland–Wu polynomial identity for every positive rectangular
matrix. The principal-minor coefficient sum is a single determinant. For a
matrix already scaled to row sums one and column sums $m/n$, that determinant
has an explicit null vector whose coordinate on a minor of order $k$ is
$(n/m)^k$. The proof is an elementary identity among minors of a Schur
complement, obtained by differentiating a determinant in four rank-one
directions. No nonvanishing-minor or genericity hypothesis is needed. We also
obtain explicit coefficients for arbitrary positive target margins and prove
their coefficient-sum and complementary-minor symmetries using the additive
compound of a rank-one matrix.

Claims

LEAN VERIFIED OP-00110 — The Rowland–Wu polynomial identity for Sinkhorn limits
Full resolution · fidelity not yet established

Files and sources

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

No verification run is on record for this version.