Past exam of the mathematics course of the University of Cambridge 2019 iii Paper 205 5 Solution 2026-10-03
Put and let lie in the compatibility cone. ThenSubtracting this from the defining lower bound for and taking the infimum gives the stability of a compatibility constant under entrywise perturbation:
A centered random variable is a sub-Gaussian random variable with parameter whenThe Chernoff bound gives .
For fixed , the variablesare independent, centered, and lie in , hence are sub-Gaussian with parameter . Their mean is sub-Gaussian with parameter , soA union bound over at most pairs with yields
The minimum-eigenvalue bound and Cauchy-Schwarz inequality implyso . A sufficient uniform condition isIndeed, on the concentration event the entrywise error is at most for every . The perturbation result then gives simultaneously, with probability at least .
Past exam of the mathematics course of the University of Cambridge 2023 iii Paper 205 4 Solution Created 2026-09-28 Updated 2026-10-03
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 , thenSince , 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 impliesBy the definition of the compatibility constant, , and henceTaking 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 eventhas probability at least .
On , . Since by Cauchy-Schwarz, normalization of the sample columns givesChoosing 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