Testing tensor products
share
A function f:[n]^d→F_2 is a direct sum if it is of the form f((a_1,...,a_d)) = f_1(a_1)+... + f_d (a_d), for some d functions f_1,...,f_d:[n]→F_2. We present a 4-query test which distinguishes between direct sums and functions that are far from them. The test relies on the BLR linearity test and on the direct product test constructed by Dinur and Steurer. We also present a different test, which queries the function (d+1) times, but is easier to analyze. In multiplicative ± 1 notation, the above reads as follows. A d-dimensional tensor with ± 1 entries is called a tensor product if it is a tensor product of d vectors with ± 1 entries. In other words, it is a tensor product if it is of rank 1. The presented tests check whether a given tensor is close to a tensor product.
READ FULL TEXT