Physlib

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

definition

Variance of a partial linear map TT in a state ψ\psi

Given a partial linear map TT on a complex inner product space HH and a vector ψ\psi in the domain of TT, the variance is defined as the squared norm of the centered vector: Varψ(T)=TψTψψ2\text{Var}_\psi(T) = \|T\psi - \langle T \rangle_\psi \psi\|^2 where Tψ\langle T \rangle_\psi is the expectation value of TT with respect to ψ\psi, defined as the real part of the inner product ψ,Tψ\langle \psi, T\psi \rangle.

theorem

Varψ(T)=centeredψ(T)2\text{Var}_\psi(T) = \|\text{centered}_\psi(T)\|^2

For a partial linear map TT on a complex inner product space HH and a vector ψ\psi in the domain of TT, the variance Varψ(T)\text{Var}_\psi(T) is equal to the squared norm of the centered vector: Varψ(T)=centeredψ(T)2\text{Var}_\psi(T) = \|\text{centered}_\psi(T)\|^2 where the centered vector is defined as centeredψ(T)=TψTψψ\text{centered}_\psi(T) = T\psi - \langle T \rangle_\psi \psi, and Tψ\langle T \rangle_\psi is the expectation value of TT with respect to ψ\psi.

theorem

Varψ(T)=TψTψψ2\text{Var}_\psi(T) = \|T\psi - \langle T \rangle_\psi \psi\|^2

Let HH be a complex inner product space. For any partial linear map TT on HH and any vector ψ\psi in the domain of TT, the variance of TT with respect to ψ\psi is equal to the squared norm of the difference between TψT\psi and the expectation value Tψ\langle T \rangle_\psi scaled by ψ\psi: Varψ(T)=TψTψψ2\text{Var}_\psi(T) = \|T\psi - \langle T \rangle_\psi \psi\|^2 where Tψ\langle T \rangle_\psi denotes the expectation value of TT in the state ψ\psi.

theorem

Varψ(T)=Tψ2Tψ2\text{Var}_\psi(T) = \|T\psi\|^2 - \langle T \rangle_\psi^2 for Symmetric Maps and Unit Vectors

Let HH be a complex inner product space and TT be a symmetric partial linear map on HH. If ψ\psi is a unit vector (i.e., ψ=1\|\psi\| = 1) in the domain of TT, then the variance of TT in the state ψ\psi satisfies the identity: Varψ(T)=Tψ2Tψ2\text{Var}_\psi(T) = \|T\psi\|^2 - \langle T \rangle_\psi^2 where Tψ=Reψ,Tψ\langle T \rangle_\psi = \text{Re} \langle \psi, T\psi \rangle is the expectation value of TT with respect to ψ\psi.

theorem

Varψ(T)0\text{Var}_\psi(T) \geq 0

Let HH be a complex inner product space, TT be a partial linear map on HH, and ψ\psi be a vector in the domain of TT. The variance of TT with respect to ψ\psi, denoted as Varψ(T)\text{Var}_\psi(T), is non-negative: 0Varψ(T)0 \leq \text{Var}_\psi(T)

theorem

Varψ(T)=0\text{Var}_\psi(T) = 0 if and only if TψTψψ=0T\psi - \langle T \rangle_\psi \psi = 0

Let HH be a complex inner product space, TT be a partial linear map on HH, and ψ\psi be a vector in the domain of TT. The variance of TT in the state ψ\psi, defined as Varψ(T)=TψTψψ2\text{Var}_\psi(T) = \|T\psi - \langle T \rangle_\psi \psi\|^2 (where Tψ=Reψ,Tψ\langle T \rangle_\psi = \text{Re} \langle \psi, T\psi \rangle), is zero if and only if the centered vector TψTψψT\psi - \langle T \rangle_\psi \psi is zero.

theorem

Varψ(T)=0    Tψ=Tψψ\text{Var}_\psi(T) = 0 \iff T\psi = \langle T \rangle_\psi \psi

Let HH be a complex inner product space and TT be a partial linear map on HH. For any ψ\psi in the domain of TT, the variance Varψ(T)\text{Var}_\psi(T) is equal to 00 if and only if Tψ=TψψT\psi = \langle T \rangle_\psi \psi, where Tψ=Reψ,Tψ\langle T \rangle_\psi = \text{Re} \langle \psi, T\psi \rangle denotes the expectation value of TT in the state ψ\psi.

theorem

For ψ=1\|\psi\| = 1, Varψ(T)=0\text{Var}_\psi(T) = 0 iff ψ\psi is an eigenvector with eigenvalue Tψ\langle T \rangle_\psi

Let HH be a complex inner product space and TT be a partial linear map on HH. For any vector ψ\psi in the domain of TT with unit norm ψ=1\|\psi\| = 1, the variance of TT in the state ψ\psi is zero if and only if ψ\psi is an eigenvector of TT with eigenvalue equal to the expectation value Tψ=Reψ,Tψ\langle T \rangle_\psi = \text{Re} \langle \psi, T\psi \rangle.

definition

Standard deviation σψ(T)=Varψ(T)\sigma_\psi(T) = \sqrt{\text{Var}_\psi(T)}

Given a partial linear map TT on a complex inner product space HH and a vector ψ\psi in the domain of TT, the standard deviation is defined as the square root of the variance: σψ(T)=Varψ(T)\sigma_\psi(T) = \sqrt{\text{Var}_\psi(T)} where Varψ(T)=TψTψψ2\text{Var}_\psi(T) = \|T\psi - \langle T \rangle_\psi \psi\|^2 is the variance of TT in the state ψ\psi.

theorem

σψ(T)=Varψ(T)\sigma_\psi(T) = \sqrt{\text{Var}_\psi(T)}

Let HH be a complex inner product space. For any partial linear map TT on HH and any vector ψ\psi in the domain of TT, the standard deviation σψ(T)\sigma_\psi(T) is equal to the square root of the variance Varψ(T)\text{Var}_\psi(T): σψ(T)=Varψ(T)\sigma_\psi(T) = \sqrt{\text{Var}_\psi(T)}

theorem

Standard deviation σψ(T)\sigma_\psi(T) is non-negative

Let HH be a complex inner product space, TT be a partial linear map on HH, and ψ\psi be a vector in the domain of TT. The standard deviation of TT in the state ψ\psi, denoted as σψ(T)\sigma_\psi(T), is non-negative: 0σψ(T)0 \le \sigma_\psi(T)

theorem

σψ(T)2=Varψ(T)\sigma_\psi(T)^2 = \text{Var}_\psi(T)

Let HH be a complex inner product space, TT be a partial linear map on HH, and ψ\psi be a vector in the domain of TT. The square of the standard deviation σψ(T)\sigma_\psi(T) of TT in the state ψ\psi is equal to the variance Varψ(T)\text{Var}_\psi(T), namely σψ(T)2=Varψ(T)\sigma_\psi(T)^2 = \text{Var}_\psi(T)

theorem

σψ(T)=0\sigma_\psi(T) = 0 if and only if the centered vector is zero

Let HH be a complex inner product space. For a partial linear map TT on HH and a vector ψ\psi in the domain of TT, the standard deviation σψ(T)\sigma_\psi(T) is zero if and only if the centered vector TψTψψT\psi - \langle T \rangle_\psi \psi is the zero vector, where Tψ\langle T \rangle_\psi is the expectation value of TT with respect to ψ\psi.

theorem

σψ(T)=0    Tψ=Tψψ\sigma_\psi(T) = 0 \iff T\psi = \langle T \rangle_\psi \psi

Let HH be a complex inner product space and TT be a partial linear map on HH. For any vector ψ\psi in the domain of TT, the standard deviation σψ(T)\sigma_\psi(T) is 00 if and only if Tψ=TψψT\psi = \langle T \rangle_\psi \psi, where Tψ=Reψ,Tψ\langle T \rangle_\psi = \operatorname{Re} \langle \psi, T\psi \rangle is the expectation value of TT in the state ψ\psi.

theorem

σψ(T)=0\sigma_\psi(T) = 0 iff ψ\psi is an eigenvector with eigenvalue Tψ\langle T \rangle_\psi

Let HH be a complex inner product space and TT be a partial linear map on HH. For any unit vector ψ\psi in the domain of TT (i.e., ψ=1\|\psi\| = 1), the standard deviation σψ(T)\sigma_\psi(T) is zero if and only if ψ\psi is an eigenvector of TT with eigenvalue equal to the expectation value Tψ=Reψ,Tψ\langle T \rangle_\psi = \operatorname{Re} \langle \psi, T\psi \rangle.

theorem

Reψ,T2ψ=Tψ2\operatorname{Re} \langle \psi, T^2 \psi \rangle = \|T\psi\|^2 for symmetric partial linear maps

Let TT be a symmetric partial linear map on a complex Hilbert space HH. If ψ\psi is a vector in the domain of TT such that TψT\psi is also in the domain of TT, then the real part of the inner product of ψ\psi and T(Tψ)T(T\psi) is equal to the squared norm of TψT\psi, i.e., Reψ,T(Tψ)=Tψ2.\operatorname{Re} \langle \psi, T(T\psi) \rangle = \|T\psi\|^2.

theorem

Varψ(T)=Reψ,T2ψTψ2\text{Var}_\psi(T) = \text{Re} \langle \psi, T^2 \psi \rangle - \langle T \rangle_\psi^2

Let HH be a complex inner product space and T:HHT: H \to H be a partial linear map. For any vector ψ\psi in the domain of TT such that TψT\psi is also in the domain of TT, the variance of TT in the state ψ\psi is given by the formula: Varψ(T)=Reψ,T(Tψ)Tψ2\text{Var}_\psi(T) = \text{Re} \langle \psi, T(T\psi) \rangle - \langle T \rangle_\psi^2 where Varψ(T)=TψTψψ2\text{Var}_\psi(T) = \|T\psi - \langle T \rangle_\psi \psi\|^2 and Tψ=Reψ,Tψ\langle T \rangle_\psi = \text{Re} \langle \psi, T\psi \rangle is the expectation value of TT with respect to ψ\psi.