Physlib

PhyslibAlpha.CondensedMatter.TightBindingChain.Saturation

Saturation of the uncertainty relation in the maximal current state

i. Overview

The energy–position uncertainty relation is an equality exactly when the centered Gram defect vanishes, that is when the energy and position fluctuations of the state are parallel. In the maximal current state of an open chain with `N ≥ 2` sites and hopping `t ≠ 0` this happens only for `N = 2` and `N = 3`: the first two sites force `4 cos² (π / (N + 1)) = N - 1`. From four sites on, the relation is strict.

ii. Key results

  • `inner_energyFluctuation_maxCurrentState` : the energy fluctuation, site by site.
  • `inner_positionFluctuation_maxCurrentState` : the position fluctuation, site by site.
  • `centeredGramDefect_maxCurrentState_eq_zero_iff` : the defect vanishes iff `N = 2, 3`.
  • `robertson_schrodinger_maxCurrentState_eq_iff` : the relation is an equality iff `N = 2, 3`.
  • `robertson_schrodinger_maxCurrentState_lt` : the relation is strict for `N ≥ 4`.

iii. Table of contents

  • A. The fluctuations
  • B. Saturation

iv. References

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

A. The fluctuations

B. Saturation

5 declarations

theorem

Energy fluctuation of the maximal current state at site mm

For a tight-binding chain TT with NN sites and hopping parameter tt, let HopenH_{\text{open}} be the Hamiltonian with open boundary conditions and ∣ψmax⟩|\psi_{\text{max}}\rangle be the maximal current state. For any site m∈{0,…,N−1}m \in \{0, \dots, N-1\}, the projection of the energy fluctuation vector (Hopen−⟨Hopen⟩)∣ψmax⟩(H_{\text{open}} - \langle H_{\text{open}} \rangle) |\psi_{\text{max}}\rangle onto the localized state ∣m⟩|m\rangle is given by ⟨m∣(Hopen−⟨ψmax∣Hopen∣ψmax⟩)∣ψmax⟩=−2N+1(2tsin⁡(πN+1)im+1cos⁡((m+1)πN+1))\langle m | (H_{\text{open}} - \langle \psi_{\text{max}} | H_{\text{open}} | \psi_{\text{max}} \rangle) | \psi_{\text{max}} \rangle = -\sqrt{\frac{2}{N+1}} \left( 2t \sin\left(\frac{\pi}{N+1}\right) i^{m+1} \cos\left(\frac{(m+1)\pi}{N+1}\right) \right) where ii is the imaginary unit.

theorem

⟨m∣(X−⟨X⟩)∣ψmax⟩=a(m−N−12)⟨m∣ψmax⟩\langle m | (X - \langle X \rangle) |\psi_{\text{max}}\rangle = a(m - \frac{N-1}{2}) \langle m | \psi_{\text{max}} \rangle

For an open tight-binding chain with NN sites and lattice spacing aa, let ∣ψmax⟩|\psi_{\text{max}}\rangle be the maximal current state and XX be the position operator. For any site index m∈{0,…,N−1}m \in \{0, \dots, N-1\}, the inner product of the mm-th localized state ∣m⟩|m\rangle with the position fluctuation vector (X−⟨X⟩)∣ψmax⟩(X - \langle X \rangle) |\psi_{\text{max}}\rangle is given by: ⟨m∣(X−⟨X⟩)∣ψmax⟩=a(m−N−12)⟨m∣ψmax⟩\langle m | (X - \langle X \rangle) |\psi_{\text{max}}\rangle = a \left( m - \frac{N-1}{2} \right) \langle m | \psi_{\text{max}} \rangle where ⟨X⟩=⟨ψmax∣X∣ψmax⟩\langle X \rangle = \langle \psi_{\text{max}} | X | \psi_{\text{max}} \rangle is the expectation value of the position in the maximal current state.

theorem

The centered Gram defect of HopenH_{\text{open}} and XX in the maximal current state vanishes iff N=2,3N = 2, 3

Consider a tight-binding chain with NN sites and hopping parameter tt. If N≥2N \ge 2 and t≠0t \neq 0, the centered Gram defect of the open Hamiltonian HopenH_{\text{open}} and the position observable XX in the maximal current vector state ωmax\omega_{\text{max}} is zero if and only if N=2N = 2 or N=3N = 3. That is, centeredGramDefect(ωmax,Hopen,X)=0  ⟺  N=2 or N=3.\text{centeredGramDefect}(\omega_{\text{max}}, H_{\text{open}}, X) = 0 \iff N = 2 \text{ or } N = 3.

theorem

The Robertson–Schrödinger uncertainty relation for the maximal current state is an equality iff N=2,3N = 2, 3

Consider an open tight-binding chain TT with N≥2N \ge 2 sites, hopping parameter t≠0t \neq 0, and lattice spacing aa. 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 Robertson–Schrödinger uncertainty relation saturates, satisfying the equality Covωmax(Hopen,X)2+(atcos⁡πN+1)2=Varωmax(Hopen)⋅Varωmax(X)\text{Cov}_{\omega_{\text{max}}}(H_{\text{open}}, X)^2 + \left( a t \cos \frac{\pi}{N + 1} \right)^2 = \text{Var}_{\omega_{\text{max}}}(H_{\text{open}}) \cdot \text{Var}_{\omega_{\text{max}}}(X) if and only if the number of sites NN is 2 or 3.

theorem

Strict Robertson–Schrödinger Uncertainty Relation for N≥4N \ge 4 in the Maximal Current State

For an open tight-binding chain TT with NN sites, lattice spacing aa, and a non-zero hopping parameter t≠0t \neq 0, if the number of sites N≥4N \ge 4, then the Robertson–Schrödinger uncertainty relation for the energy (Hamiltonian HopenH_{\text{open}}) and position (XX) in the maximal current state ωmax\omega_{\text{max}} is a strict inequality: Covωmax(Hopen,X)2+(atcos⁡πN+1)2<Varωmax(Hopen)⋅Varωmax(X)\text{Cov}_{\omega_{\text{max}}}(H_{\text{open}}, X)^2 + \left( a t \cos \frac{\pi}{N + 1} \right)^2 < \text{Var}_{\omega_{\text{max}}}(H_{\text{open}}) \cdot \text{Var}_{\omega_{\text{max}}}(X) where Covωmax\text{Cov}_{\omega_{\text{max}}} and Varωmax\text{Var}_{\omega_{\text{max}}} denote the covariance and variance in the state ωmax\omega_{\text{max}}, respectively.