PhyslibSearch

Physlib.CondensedMatter.TightBindingChain.Basic

25 declarations

instance

The number of sites NN in a tight binding chain is non-zero (N0N \neq 0)

#instNeZeroNatN

For any tight binding chain TT, the number of sites NN in the chain is non-zero (N0N \neq 0).

abbrev

Hilbert space of a tight binding chain CN\mathbb{C}^N

#HilbertSpace

The Hilbert space associated with a tight binding chain TT is the NN-dimensional complex Hilbert space CN\mathbb{C}^N, where NN is the number of sites in the chain.

definition

Orthonormal basis of localized states {n}\{|n\rangle\}

#localizedState

For a tight binding chain TT with NN sites, the `localizedState` is the orthonormal basis {n}n=0N1\{|n\rangle\}_{n=0}^{N-1} of the associated Hilbert space HCN\mathcal{H} \cong \mathbb{C}^N. Each basis vector n|n\rangle (mathematically the standard basis vector ene_n) represents a quantum state where the particle is perfectly localized at the nn-th site of the chain.

definition

Ket notation n|n\rangle for localized states

#term|_⟩

The notation n|n\rangle represents the localized state at the nn-th site of the tight binding chain. It denotes the nn-th vector in the orthonormal basis `localizedState` of the system's Hilbert space, where n{0,1,,N1}n \in \{0, 1, \dots, N-1\}.

definition

Notation for the inner product mn\langle m | n \rangle of localized states

#term⟨_|_⟩

The notation mn\langle m | n \rangle denotes the complex inner product ψm,ψnC\langle \psi_m, \psi_n \rangle_{\mathbb{C}} between two localized states in the tight binding chain, where ψm\psi_m and ψn\psi_n are the states corresponding to the electron being located at site mm and site nn, respectively.

theorem

Localized States of the Tight Binding Chain are Orthonormal

#localizedState_orthonormal

For a tight binding chain TT with NN sites, the set of localized states {n}n=0N1\{|n\rangle\}_{n=0}^{N-1} is orthonormal in the associated Hilbert space HCN\mathcal{H} \cong \mathbb{C}^N over the complex numbers C\mathbb{C}. That is, the inner product of any two localized states satisfies mn=δmn\langle m | n \rangle = \delta_{mn}, where δmn\delta_{mn} is the Kronecker delta.

theorem

mn=δmn\langle m | n \rangle = \delta_{mn} for Localized States

#localizedState_orthonormal_eq_ite

For a tight binding chain TT with NN sites, let m|m\rangle and n|n\rangle be the localized states in the Hilbert space corresponding to site indices m,n{0,1,,N1}m, n \in \{0, 1, \dots, N-1\}. The inner product of these states satisfies mn={1if m=n0if mn\langle m | n \rangle = \begin{cases} 1 & \text{if } m = n \\ 0 & \text{if } m \neq n \end{cases}

definition

Outer product operator mn|m\rangle\langle n| of localized states

#localizedComp

For a tight binding chain TT with NN sites and associated Hilbert space HCN\mathcal{H} \cong \mathbb{C}^N, let n|n\rangle and m|m\rangle be the orthonormal localized basis states corresponding to sites n,m{0,,N1}n, m \in \{0, \dots, N-1\}. The linear map `localizedComp` represents the outer product operator mn:HH|m\rangle\langle n| : \mathcal{H} \to \mathcal{H}, which maps a state ψH|\psi\rangle \in \mathcal{H} to the vector nψm\langle n | \psi \rangle |m\rangle, where nψ\langle n | \psi \rangle denotes the complex inner product of the state n|n\rangle and ψ|\psi\rangle.

definition

Outer product operator nm|n\rangle\langle m|

#term|_⟩⟨_|

For site indices n,m{0,,N1}n, m \in \{0, \dots, N-1\}, the notation nm|n\rangle\langle m| represents the outer product of the localized states n|n\rangle and m|m\rangle in the Hilbert space of the tight binding chain. This operator is a linear map that acts on a state ψ|\psi\rangle as nmψ|n\rangle\langle m | \psi\rangle, where mψ\langle m | \psi \rangle is the inner product of the state ψ|\psi\rangle with the localized state m|m\rangle.

theorem

mnp=δnpm|m\rangle\langle n| |p\rangle = \delta_{np} |m\rangle

#localizedComp_apply_localizedState

In a tight binding chain with NN sites, let {n}n=0N1\{|n\rangle\}_{n=0}^{N-1} be the orthonormal basis of localized states in the Hilbert space HCN\mathcal{H} \cong \mathbb{C}^N. For any site indices m,n,p{0,,N1}m, n, p \in \{0, \dots, N-1\}, the action of the outer product operator mn|m\rangle\langle n| on a localized state p|p\rangle is given by (mn)p={mif n=p0if np (|m\rangle\langle n|) |p\rangle = \begin{cases} |m\rangle & \text{if } n = p \\ 0 & \text{if } n \neq p \end{cases} which can be written using the Kronecker delta as (mn)p=δnpm(|m\rangle\langle n|) |p\rangle = \delta_{np} |m\rangle.

theorem

The adjoint of mn|m\rangle\langle n| is nm|n\rangle\langle m|

#localizedComp_adjoint

In the Hilbert space of a tight binding chain with NN sites, let mn|m\rangle\langle n| be the outer product operator associated with the localized basis states for sites m,n{0,,N1}m, n \in \{0, \dots, N-1\}. For any quantum states ψ\psi and ϕ\phi in the Hilbert space, the complex inner product satisfies (mn)ψ,ϕ=ψ,(nm)ϕ.\langle (|m\rangle\langle n|) \psi, \phi \rangle = \langle \psi, (|n\rangle\langle m|) \phi \rangle. Consequently, the adjoint of the operator mn|m\rangle\langle n| is nm|n\rangle\langle m|.

definition

Hamiltonian of the tight binding chain HH

#hamiltonian

For a tight binding chain TT with NN sites, on-site energy E0E_0, and hopping parameter tt, the Hamiltonian HH is a linear operator acting on the NN-dimensional complex Hilbert space HCN\mathcal{H} \cong \mathbb{C}^N. It is defined as: H=E0n=0N1nntn=0N1(nn+1+n+1n) H = E_0 \sum_{n=0}^{N-1} |n\rangle\langle n| - t \sum_{n=0}^{N-1} (|n\rangle\langle n+1| + |n+1\rangle\langle n|) where {n}n=0N1\{|n\rangle\}_{n=0}^{N-1} is the orthonormal basis of localized states at each site. The periodic boundary conditions are implemented by treating the site indices nn modulo NN, such that the state N|N\rangle is identified with 0|0\rangle.

theorem

The Hamiltonian of the Tight Binding Chain is Hermitian

#hamiltonian_hermitian

For a tight binding chain TT with associated Hilbert space H\mathcal{H}, the Hamiltonian operator HH is Hermitian (self-adjoint). That is, for any two quantum states ψ,ϕH\psi, \phi \in \mathcal{H}, the complex inner product satisfies: Hψ,ϕ=ψ,Hϕ\langle H\psi, \phi \rangle = \langle \psi, H\phi \rangle

theorem

Hn=E0nt(n+1+n1)H |n\rangle = E_0 |n\rangle - t (|n+1\rangle + |n-1\rangle)

#hamiltonian_apply_localizedState

For a tight binding chain TT with NN sites, on-site energy E0E_0, and hopping parameter tt, let {n}n=0N1\{|n\rangle\}_{n=0}^{N-1} be the orthonormal basis of localized states in the Hilbert space. For any site index n{0,,N1}n \in \{0, \dots, N-1\}, the action of the Hamiltonian HH on the localized state n|n\rangle is given by Hn=E0nt(n+1+n1)H |n\rangle = E_0 |n\rangle - t (|n+1\rangle + |n-1\rangle) where the site indices n+1n+1 and n1n-1 are taken modulo NN to account for periodic boundary conditions.

theorem

nHn=E0\langle n | H | n \rangle = E_0 for N>1N > 1 sites

#energy_localizedState

For a tight binding chain TT with NN sites and on-site energy E0E_0, let {n}n=0N1\{|n\rangle\}_{n=0}^{N-1} be the orthonormal basis of localized states in the Hilbert space. If the number of sites NN is greater than 1, then for any site index n{0,,N1}n \in \{0, \dots, N-1\}, the expectation value of the Hamiltonian HH in the localized state n|n\rangle is equal to the on-site energy E0E_0: nHn=E0\langle n | H | n \rangle = E_0

definition

Brillouin zone [π/a,π/a)[-\pi/a, \pi/a)

#BrillouinZone

For a tight binding chain with lattice spacing aa, the Brillouin zone is defined as the half-open interval [π/a,π/a)[-\pi/a, \pi/a). This is the set of values for which wave functions are uniquely defined within the model.

definition

Quantized wavenumbers of the tight binding chain kKk \in \mathcal{K}

#QuantaWaveNumber

For a tight binding chain with NN sites and lattice spacing aa, the set of quantized wavenumbers K\mathcal{K} associated with the energy eigenstates is defined as: \[ \mathcal{K} = \left\{ \frac{2\pi}{aN} \left( n - \left\lfloor \frac{N}{2} \right\rfloor \right) \mid n \in \{0, 1, \dots, N-1\} \right\} \] where nn is an index ranging over the sites of the chain. These wavenumbers are defined such that they lie within the Brillouin zone of the system.

theorem

Quantized wavenumbers K\mathcal{K} are a subset of the Brillouin zone

#quantaWaveNumber_subset_brillouinZone

For a tight binding chain with NN sites and lattice spacing aa, the set of quantized wavenumbers K\mathcal{K}, defined as \[ \mathcal{K} = \left\{ \frac{2\pi}{aN} \left( n - \left\lfloor \frac{N}{2} \right\rfloor \right) \mid n \in \{0, 1, \dots, N-1\} \right\}, \] is a subset of the Brillouin zone [π/a,π/a)[-\pi/a, \pi/a).

theorem

eiknNa=1e^{i k n N a} = 1 for quantized wavenumbers kk

#quantaWaveNumber_exp_N

For a tight binding chain with NN sites and lattice spacing aa, let K\mathcal{K} be the set of quantized wavenumbers. For any natural number nn and any quantized wavenumber kKk \in \mathcal{K}, the complex exponential satisfies: \[ e^{i k n N a} = 1 \] where ii is the imaginary unit.

theorem

eik(n1)a=eiknaeikae^{i k (n - 1) a} = e^{i k n a} e^{-i k a} for quantized wavenumbers kk and site indices nn

#quantaWaveNumber_exp_sub_one

For a tight binding chain with NN sites and lattice spacing aa, let kk be a quantized wavenumber and n{0,1,,N1}n \in \{0, 1, \dots, N-1\} be a site index. The following identity holds: \[ e^{i k (n - 1 \pmod N) a} = e^{i k n a} \cdot e^{-i k a} \] where ii is the imaginary unit and the subtraction n1n - 1 is performed modulo NN to account for periodic boundary conditions.

theorem

eik(n+1)a=eiknaeikae^{i k (n + 1) a} = e^{i k n a} e^{i k a} for quantized wavenumbers kk and site indices nn

#quantaWaveNumber_exp_add_one

For a tight binding chain with NN sites and lattice spacing aa, let kk be a quantized wavenumber and n{0,1,,N1}n \in \{0, 1, \dots, N-1\} be a site index. The following identity holds: \[ e^{i k (n + 1 \pmod N) a} = e^{i k n a} \cdot e^{i k a} \] where ii is the imaginary unit and the addition n+1n + 1 is performed modulo NN to account for periodic boundary conditions.

definition

Energy eigenstate k=neiknan|k\rangle = \sum_n e^{ikna} |n\rangle

#energyEigenstate

For a tight binding chain TT with lattice spacing aa and NN sites, the energy eigenstate associated with a quantized wavenumber kk is defined as the vector in the Hilbert space given by the linear combination of localized states {n}n=0N1\{|n\rangle\}_{n=0}^{N-1}: \[ \sum_{n=0}^{N-1} e^{ikna} |n\rangle \] where ii is the imaginary unit and nn ranges over the indices of the lattice sites.

theorem

Energy Eigenstates are Orthogonal: k1k2=0\langle k_1 | k_2 \rangle = 0 for k1k2k_1 \neq k_2

#energyEigenstate_orthogonal

For a tight binding chain TT with NN sites and lattice spacing aa, let k|k\rangle be the energy eigenstate associated with a quantized wavenumber kKk \in \mathcal{K}. For any two distinct quantized wavenumbers k1,k2Kk_1, k_2 \in \mathcal{K} such that k1k2k_1 \neq k_2, the corresponding energy eigenstates are orthogonal: \[ \langle k_1 | k_2 \rangle = 0 \] where \langle \cdot | \cdot \rangle denotes the inner product in the NN-dimensional complex Hilbert space CN\mathbb{C}^N. This orthogonality arises because distinct wavenumbers k1k2k_1 \neq k_2 give rise to different NN-th roots of unity exp(i(k2k1)a)\exp(i(k_2 - k_1)a), and the sum of all NN-th roots of unity vanishes.

definition

Energy eigenvalue E(k)=E02tcos(ka)E(k) = E_0 - 2t \cos(ka)

#energyEigenvalue

For a tight binding chain TT with lattice spacing aa, on-site energy E0E_0, and hopping parameter tt, the energy eigenvalue associated with a quantized wavenumber kk is given by: \[ E(k) = E_0 - 2t \cos(ka) \] This formula describes the dispersion relation for an electron in a one-dimensional lattice under the tight-binding approximation.

theorem

Time-independent Schrödinger equation Hk=E(k)kH |k\rangle = E(k) |k\rangle

#hamiltonian_energyEigenstate

For a tight binding chain TT, let HH be the Hamiltonian operator, k|k\rangle be the energy eigenstate associated with a quantized wavenumber kk, and E(k)E(k) be the corresponding energy eigenvalue. Then the energy eigenstates satisfy the time-independent Schrödinger equation: \[ H |k\rangle = E(k) |k\rangle \] where HkH |k\rangle represents the action of the Hamiltonian on the state k|k\rangle.