Physlib

PhyslibAlpha.CondensedMatter.TightBindingChain.ElementalUncertainty

The elemental uncertainty of the open tight binding chain

i. Overview

In the maximal current state of the open chain the energy and position fluctuations are uncorrelated, so the uncertainty relation closes as an identity: the variance product is the squared bracket `(a t cos (π / (N + 1)))²` plus the centered Gram defect. The constant `C_Nava = √(Var H · Var X) / |a t cos (π / (N + 1))|` is therefore at least one, and equals one exactly for `N = 2` and `N = 3`. From four sites on it is strictly larger than one.

ii. Key results

  • `covariance_maxCurrentState` : `Cov(H, X) = 0` in the maximal current state.
  • `variance_mul_variance_maxCurrentState` : `Var H · Var X = (a t cos (π / (N + 1)))² + defect`.
  • `CNava` : `C_Nava = √(Var H · Var X) / |a t cos (π / (N + 1))|`.
  • `one_le_CNava`, `CNava_eq_one_iff`, `one_lt_CNava`.
  • `nava_robertson_schrodinger_elemental_dimensional_uncertainty_inequality` : everything at once.

iii. Table of contents

  • A. No correlation
  • B. The constant `C_Nava`

iv. References

* https://www.damtp.cam.ac.uk/user/tong/aqm/aqmtwo.pdf. [ref: tong_statistical_physics]

A. No correlation

B. The constant `C_Nava`

8 declarations

theorem

Covωmax(H,X)=0\text{Cov}_{\omega_{\text{max}}}(H, X) = 0

In an open tight-binding chain TT, the energy and position fluctuations of the maximal current state ωmax\omega_{\text{max}} are uncorrelated. That is, the covariance between the open Hamiltonian observable HH and the position observable XX in the state ωmax\omega_{\text{max}} is zero: Covωmax(H,X)=0\text{Cov}_{\omega_{\text{max}}}(H, X) = 0 where Covω(H,X)=Re(ω((H−ω⟨H⟩)(X−ω⟨X⟩)))\text{Cov}_\omega(H, X) = \text{Re}(\omega((H - \omega\langle H \rangle)(X - \omega\langle X \rangle))) is the real part of the expectation of the product of the fluctuations.

theorem

Var(H)⋅Var(X)=(atcos⁡(π/(N+1)))2+defect\text{Var}(H) \cdot \text{Var}(X) = (at \cos(\pi/(N+1)))^2 + \text{defect} in the maximal current state

For an open tight-binding chain with NN sites, lattice spacing aa, and hopping parameter tt, let ωmax\omega_{\text{max}} be the maximal current vector state, HopenH_{\text{open}} be the open Hamiltonian observable, and XX be the position observable. The product of the variances of HopenH_{\text{open}} and XX in the state ωmax\omega_{\text{max}} satisfies the identity: Varωmax(Hopen)⋅Varωmax(X)=(atcos⁡πN+1)2+Dωmax(Hopen,X)\text{Var}_{\omega_{\text{max}}}(H_{\text{open}}) \cdot \text{Var}_{\omega_{\text{max}}}(X) = \left( a t \cos \frac{\pi}{N+1} \right)^2 + \mathcal{D}_{\omega_{\text{max}}}(H_{\text{open}}, X) where Dωmax(Hopen,X)\mathcal{D}_{\omega_{\text{max}}}(H_{\text{open}}, X) is the centered Gram defect of HopenH_{\text{open}} and XX in the state ωmax\omega_{\text{max}}, defined as Varω(H)Varω(X)−∣ω(ΔHΔX)∣2\text{Var}_{\omega}(H) \text{Var}_{\omega}(X) - |\omega(\Delta H \Delta X)|^2.

definition

Uncertainty constant CNavaC_{\text{Nava}} of the open chain

For an open tight-binding chain TT, the constant CNavaC_{\text{Nava}} is defined as the ratio of the square root of the product of the variances of the Hamiltonian HopenH_{\text{open}} and the position operator XX in the maximal current state ωmax\omega_{\text{max}}, to the absolute value of the product of the lattice spacing aa, the hopping parameter tt, and cos⁡(π/(N+1))\cos(\pi / (N+1)). Mathematically, CNava=Varωmax(Hopen)⋅Varωmax(X)∣atcos⁡(πN+1)∣C_{\text{Nava}} = \frac{\sqrt{\text{Var}_{\omega_{\text{max}}}(H_{\text{open}}) \cdot \text{Var}_{\omega_{\text{max}}}(X)}}{\left| a t \cos\left( \frac{\pi}{N+1} \right) \right|} where NN is the number of sites in the chain.

theorem

atcos⁡(π/(N+1))≠0at \cos(\pi / (N + 1)) \neq 0 for t≠0t \neq 0 and N≥2N \geq 2

For an open tight-binding chain with lattice spacing aa, hopping parameter tt, and number of sites NN, if t≠0t \neq 0 and N≥2N \geq 2, then the expression atcos⁡(π/(N+1))at \cos(\pi / (N + 1)) is non-zero.

theorem

CNava≥1C_{\text{Nava}} \geq 1 for an open tight-binding chain

For an open tight-binding chain with a non-zero hopping parameter t≠0t \neq 0 and number of sites N≥2N \geq 2, the uncertainty constant CNavaC_{\text{Nava}} is at least one: CNava≥1C_{\text{Nava}} \geq 1 where CNavaC_{\text{Nava}} is the ratio of the square root of the product of the variances of the Hamiltonian and the position operator in the maximal current state to the absolute value of the product of the lattice spacing, hopping parameter, and cos⁡(π/(N+1))\cos(\pi / (N+1)).

theorem

CNava=1  ⟺  N=2 or N=3C_{\text{Nava}} = 1 \iff N = 2 \text{ or } N = 3

For an open tight-binding chain TT with number of sites N≥2N \geq 2 and a non-zero hopping parameter t≠0t \neq 0, the uncertainty constant CNavaC_{\text{Nava}} is equal to 11 if and only if N=2N = 2 or N=3N = 3. The constant CNavaC_{\text{Nava}} is defined as the ratio: CNava=Varωmax(Hopen)⋅Varωmax(X)∣atcos⁡(πN+1)∣C_{\text{Nava}} = \frac{\sqrt{\text{Var}_{\omega_{\text{max}}}(H_{\text{open}}) \cdot \text{Var}_{\omega_{\text{max}}}(X)}}{\left| a t \cos\left( \frac{\pi}{N+1} \right) \right|} where HopenH_{\text{open}} is the Hamiltonian of the chain, XX is the position operator, aa is the lattice spacing, and ωmax\omega_{\text{max}} is the maximal current state.

theorem

CNava>1C_{\text{Nava}} > 1 for N≥4N \geq 4

For an open tight-binding chain with a non-zero hopping parameter t≠0t \neq 0, if the number of sites NN is at least 4, then the uncertainty constant CNavaC_{\text{Nava}} is strictly greater than 1. The constant CNavaC_{\text{Nava}} is defined as the ratio of the square root of the product of the variances of the Hamiltonian HopenH_{\text{open}} and the position operator XX in the maximal current state, to the absolute value of the product of the lattice spacing aa, the hopping parameter tt, and cos⁡(π/(N+1))\cos(\pi / (N+1)): CNava=Varωmax(Hopen)⋅Varωmax(X)∣atcos⁡(πN+1)∣C_{\text{Nava}} = \frac{\sqrt{\text{Var}_{\omega_{\text{max}}}(H_{\text{open}}) \cdot \text{Var}_{\omega_{\text{max}}}(X)}}{\left| a t \cos\left( \frac{\pi}{N+1} \right) \right|}