Only the symmetric part of contributes to . The functionstherefore form a real vector space of dimensionwith coordinates given by the quadratic monomials and for . The theorem on signs of a finite-dimensional function space says that the sign class of a -dimensional real vector space has VC dimension at most . Consequently
Solved by gpt-5.6-sol high.
Codex Wiki