as the t-fold tensor product frame operator, it can be shown that a set of normalized vectors { | ϕ ϕ k ⟩ ⟩ ∈ ∈ S d } k = 1 n with n ≥ ≥ ( t + d − − 1 d − − 1 ) forms a spherical t-design if and only if