Affine relation for critical points with an admissible column subset

Assume that LrS\mathcal{L}_r^S is irreducible. Let I[n]I\subset[n] satisfy I=m|I|=m, and let X[m],IX_{[m],I} and U[m],IU_{[m],I} denote the corresponding m×mm\times m submatrices; write C(U[m],I)C(U_{[m],I}) for the cofactor matrix. Affine-relation conjecture. The complex critical points of dUd_U on LrS\mathcal{L}_r^S satisfy the additional affine relation

X[m],I,C(U[m],I)Frdet(U[m],I)=0\left\langle X_{[m],I},C(U_{[m],I})\right\rangle_F-r\det(U_{[m],I})=0

if and only if S([m]×I)=S\cap([m]\times I)=\varnothing. The conjecture characterizes precisely when this affine relation survives the imposed zero pattern; no resolution is given in the supplied text.

Sources & referencesView supporting material

Primary source

Kaie Kubjas, Luca Sodomaco and Elias Tsigaridas, “Exact solutions in low-rank approximation with zeros”, arXiv:2010.15636 (2022).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.