Matching
Let A∈R≥0M×N have non-negative rank H0, and suppose that A=U0V0 for some strictly positive matrices U0∈R>0M×H0 and…
Because the outputs are constrained by 1Tx=1, let x′=x−d11, so that 1Tx′=0, and let W∈Rm×d act on the input. Def…
Tightness conjecture. The bound from Theorem bound-alternate is tight for all such p, k, and r; equivalently,