clopen.solutions

An infinite fiber of shifted singular-value data

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

George Stepaniants

There is a nonconstant smooth one-parameter family of complex $9\times9$ matrices whose members have the same singular values for every complex scalar shift, while no two distinct members are unitarily similar; each member is nilpotent with Jordan type $(3,3,3)$. Consequently no uniform finite bound on the number of unitary similarity classes with prescribed shifted singular values exists in dimension nine. The family consists of block matrices with superdiagonal blocks $P^{1/2}$ and $Q^{1/2}$ for positive definite Hermitian $3\times3$ matrices $P,Q$. An exact block determinant identity shows that the polynomial $\det[uI+s(P+Q)+PQ]$ determines all shifted singular values, so these data are fixed by nine real coefficients. A ten-parameter family with no repeated unitary class and the constant-rank theorem then yield a positive-dimensional fiber.

Claims

LEAN VERIFIED OP-00122 — Finitely many unitary classes with prescribed shifted singular values
Disproof · fidelity not yet established

Files and sources

Paper
OpenProblemsInNLA @ 0e916df, SP-15/solution.pdf ↗
Posted on GitHub
12 September 2026

No verification run is on record for this version.