For the assertion is immediate under the natural zero-vector convention. For , the rows of are independent and is a centered unit-variance sub-Gaussian random variable. Its centered square is sub-exponential. The corresponding Bernstein estimate, in the explicit Rademacher Johnson–Lindenstrauss transform form, is
Since the sum in the event is , this is the claimed inequality.
A centered random variable is sub-Gaussian with parameter when
for every .
The Bernstein concentration inequality for products of sub-Gaussian variables quoted in the course says that if each coordinate of the identically distributed pairs is sub-Gaussian with parameter , then
Since , this is the required bound. It follows by observing that a product of sub-Gaussian variables is sub-exponential and applying Bernstein's inequality to the independent centered products.
For any vector admissible in the definition of , one has . The entrywise maximum norm bound therefore implies
By the definition of the compatibility constant, , and hence
Taking the infimum proves . This is the stability of a compatibility constant under entrywise perturbation.
Put . Applying the product concentration bound with the stated and using gives, for every ,
There are distinct entries in the symmetric matrix, so the union bound shows that the event
has probability at least .
On , . Since by Cauchy-Schwarz, normalization of the sample columns gives
Choosing one coordinate of in the infimum shows , so the assumed bound on is below one and, more precisely,
The perturbation result now gives throughout , and therefore
If is sub-Gaussian with variance parameter , then
for every . Restricting this inequality to proves that is sub-exponential with parameters for every .
Now let for a standard normal distribution variable . Its moment-generating function is
and is infinite for . A sub-Gaussian moment-generating function must be finite for every real , so cannot be sub-Gaussian with any finite parameter. For , the stated inequality gives
Thus is sub-exponential with parameters .
If and are sub-Gaussian, without requiring independence between them, then is sub-exponential. The inequality converts exponential-square moment bounds for the factors into an exponential moment bound for the product.