Gao's nonnegative pattern-expansion conjecture for principal specializations
Gao's conjecture. For any permutation www, cw≥0c_w\geq 0cw≥0. Equivalently,
MathDB