The image of the decoding map \(D:[-1,1]^n\to [0,1]^n\) contains many points that are far apart, corresponding to the codewords. This gives that the convex hull of the image has large volume or a large \(\ep\)-net.
The image is close to convex, so the image is also large.
However, the Jacobian of the map is small, so the volume of the image is small, contradiction.
Directly bound convex hull. Ex. for 2-query, upper bound uses matrix concentration. More general concentration? (Ex. for tensors)
Use differential geometry. Some notion of curvature?
Phrase in terms of eigenvectors (or almost-eigenvectors) for higher-order tensors.