Fix a hidden variable in the deterministic local hidden-variable model, so that every is an integer. Let be the representative of modulo in . The terms in the chained modular Bell inequality alternate between the two parties. Before reduction their sum telescopes:
After reduction, the sum is a nonnegative integer congruent to modulo . For , the smallest possible such integer is . Thus for each hidden variable separately. Averaging over the setting-independent distribution gives
Here each expectation is the expectation value of the reduced random variable, not the residue of its expectation. Each term can be measured using one setting at each site. The proof uses their common deterministic assignments rather than any joint quantum measurement of incompatible local settings. Stochastic local hidden-variable theories satisfy the same bound: include their local random seeds in and average the resulting deterministic assignments.
The printed final coefficient in the definition of the average is typographically incomplete. The expectation used here is the usual , with final coefficient .
Distinct eigenvalues of the self-adjoint angular momentum operator imply . The given combination is not normalized: its squared norm is , which is always positive. Therefore its properly normalized expectation value is
It vanishes when . The first positive solution has , so
Normalization changes the value of the expectation value away from zero, but not its zero times.
The expectation value is the mean outcome over many identically prepared measurements of the observable. For real , positivity of the norm in the Hilbert space gives
This real quadratic has nonpositive quadratic discriminant, so
Apply this to the centered observables and to obtain the Robertson uncertainty principle
For the quantum harmonic oscillator, and
The arithmetic-geometric mean inequality and now give
A stationary state has the form
For a time-independent quantum observable , the global phases cancel in the expectation value:
It is therefore independent of time.
For the infinite square well,
The possible energy measurement results are
with respective Born rule probabilities and . Normalization gives .
At time ,
The required matrix elements are
Consequently
where the angular frequency is
Finally, , so