Take , and sign vectors . The Frobenius inner product of two outer products is , proving the formula. The squared Euclidean distance is largest precisely when , where the inner product is minus one. The common diagonal can be deleted, leaving an isometric representation in dimension if off-diagonal coordinates are multiplied by . The Frankl-Wilson theorem then bounds each smaller-diameter class.

Articles by others on the same topic (NaN)

There are currently no matching articles.