Physlib.QuantumMechanics.DDimensions.Operators.StateObservables.Variance
Variance and standard deviation
The variance of a partial linear map `T` in a state `ψ` is `‖Tψ - ⟨T⟩_ψ ψ‖ ^ 2`. It only requires `ψ ∈ T.domain`.
When `T` is symmetric, `‖ψ‖ = 1`, and `Tψ ∈ T.domain`, it also equals `⟨T^2⟩_ψ - ⟨T⟩_ψ ^ 2`.
Main definitions
- `LinearPMap.variance` and `LinearPMap.standardDeviation`.
Main statements
- `LinearPMap.variance_eq_norm_sq_sub_expectedValue_sq`: for a unit vector and symmetric `T`, the variance is `‖Tψ‖ ^ 2 - ⟨T⟩_ψ ^ 2`. - `LinearPMap.variance_eq_re_inner_sub_expectedValue_sq`: the second-order formula when `Tψ ∈ T.domain`. - `LinearPMap.variance_eq_zero_iff_isEigenvector` and `LinearPMap.standardDeviation_eq_zero_iff_isEigenvector`: for a unit vector, zero variance or standard deviation is equivalent to the eigenvector condition.
References
- [B. C. Hall, *Quantum Theory for Mathematicians*, Chapter 12][hall2013quantum].
17 declarations
Variance of a partial linear map in a state
Given a partial linear map on a complex inner product space and a vector in the domain of , the variance is defined as the squared norm of the centered vector: where is the expectation value of with respect to , defined as the real part of the inner product .
For a partial linear map on a complex inner product space and a vector in the domain of , the variance is equal to the squared norm of the centered vector: where the centered vector is defined as , and is the expectation value of with respect to .
Let be a complex inner product space. For any partial linear map on and any vector in the domain of , the variance of with respect to is equal to the squared norm of the difference between and the expectation value scaled by : where denotes the expectation value of in the state .
for Symmetric Maps and Unit Vectors
Let be a complex inner product space and be a symmetric partial linear map on . If is a unit vector (i.e., ) in the domain of , then the variance of in the state satisfies the identity: where is the expectation value of with respect to .
Let be a complex inner product space, be a partial linear map on , and be a vector in the domain of . The variance of with respect to , denoted as , is non-negative:
if and only if
Let be a complex inner product space, be a partial linear map on , and be a vector in the domain of . The variance of in the state , defined as (where ), is zero if and only if the centered vector is zero.
Let be a complex inner product space and be a partial linear map on . For any in the domain of , the variance is equal to if and only if , where denotes the expectation value of in the state .
For , iff is an eigenvector with eigenvalue
Let be a complex inner product space and be a partial linear map on . For any vector in the domain of with unit norm , the variance of in the state is zero if and only if is an eigenvector of with eigenvalue equal to the expectation value .
Standard deviation
Given a partial linear map on a complex inner product space and a vector in the domain of , the standard deviation is defined as the square root of the variance: where is the variance of in the state .
Let be a complex inner product space. For any partial linear map on and any vector in the domain of , the standard deviation is equal to the square root of the variance :
Standard deviation is non-negative
Let be a complex inner product space, be a partial linear map on , and be a vector in the domain of . The standard deviation of in the state , denoted as , is non-negative:
Let be a complex inner product space, be a partial linear map on , and be a vector in the domain of . The square of the standard deviation of in the state is equal to the variance , namely
if and only if the centered vector is zero
Let be a complex inner product space. For a partial linear map on and a vector in the domain of , the standard deviation is zero if and only if the centered vector is the zero vector, where is the expectation value of with respect to .
Let be a complex inner product space and be a partial linear map on . For any vector in the domain of , the standard deviation is if and only if , where is the expectation value of in the state .
iff is an eigenvector with eigenvalue
Let be a complex inner product space and be a partial linear map on . For any unit vector in the domain of (i.e., ), the standard deviation is zero if and only if is an eigenvector of with eigenvalue equal to the expectation value .
for symmetric partial linear maps
Let be a symmetric partial linear map on a complex Hilbert space . If is a vector in the domain of such that is also in the domain of , then the real part of the inner product of and is equal to the squared norm of , i.e.,
Let be a complex inner product space and be a partial linear map. For any vector in the domain of such that is also in the domain of , the variance of in the state is given by the formula: where and is the expectation value of with respect to .
