Distinct diagonal weights break a first column dependence
ID: distinct-diagonal-weights-break-a-first-column-dependence
Let the first columns of a matrix be the first dependent prefix, with no zero column. Their relation space has dimension one, and every nonzero relation has at least two nonzero coordinates. If both and , one-dimensionality gives for all . Two nonzero coordinates would force two of the distinct weights to agree, a contradiction.
New to topics? Read the docs here!