Momentum Matrix Elements of Bloch Eigenfunctions

• Momentum matrix elements of Bloch eigenfunctions quantify quantum expectation values of the momentum operator between periodic states, underpinning key electrical and optical responses.
• Their decomposition into band-structure and Berry connection components distinguishes intraband and interband contributions while addressing nonlocal corrections.
• Computational strategies using Wannier interpolation and smooth subspaces enable accurate evaluation, impacting predictions of optical absorption and topological invariants.

Momentum matrix elements of Bloch eigenfunctions quantify the quantum mechanical expectation values of the canonical momentum operator between periodic eigenstates in a crystalline solid. These matrix elements are central to the study of electronic and optical properties, underpin the calculation of physical observables such as electrical conductivity, optical absorption, and photoemission intensities, and form the basis for probing the geometric and topological features encoded in Bloch wavefunctions. Their rigorous definition, calculation, and interpolation strategies involve subtleties arising from gauge freedom, basis choice, nonlocal terms in the Hamiltonian, and the interplay with the Berry connection.

1. Formal Definition and Operator Structure

The canonical momentum matrix element between two Bloch states $|\psi_{n\mathbf{k}}\rangle$ and $|\psi_{m\mathbf{k}}\rangle$ at crystal momentum $\mathbf{k}$ is given by

$$p_{mn}(\mathbf{k}) = \langle \psi_{m\mathbf{k}}|\hat{\mathbf{p}}|\psi_{n\mathbf{k}}\rangle$$

where $$|\psi_{n\mathbf{k}}\rangle = e^{i\mathbf{k}\cdot\mathbf{r}}|u_{n\mathbf{k}}\rangle$$ and $|u_{n\mathbf{k}}\rangle$ is the cell-periodic part.

For a general single-particle Hamiltonian in a periodic potential,

$$\hat H = \frac{\hat{\mathbf p}^2}{2m_e} + V(\hat{\mathbf r}) + \hat H'$$

where $V(\hat{\mathbf r})$ is the local lattice potential and $\hat H'$ comprises nonlocal components (such as pseudopotentials, spin-orbit, or Hartree–Fock exchange), one has the operator identities

$$\hat{\mathbf p} = -i\hbar\nabla_{\mathbf r} = i[\hat H_L,\hat{\mathbf r}]$$

$|\psi_{m\mathbf{k}}\rangle$0

Within this structure, $|\psi_{m\mathbf{k}}\rangle$1 is generally not simply proportional to $|\psi_{m\mathbf{k}}\rangle$2 when $|\psi_{m\mathbf{k}}\rangle$3 is nonzero, as nonlocal contributions and finite-basis corrections must be considered (Esteve-Paredes et al., 2022).

2. Decomposition: Band-structure, Berry Connection, and Nonlocal Corrections

The matrix elements admit a decomposition reflecting the underlying geometry and band structure: $|\psi_{m\mathbf{k}}\rangle$4 where $|\psi_{m\mathbf{k}}\rangle$5 are the band energies, $|\psi_{m\mathbf{k}}\rangle$6, and the non-Abelian Berry connection

$|\psi_{m\mathbf{k}}\rangle$7

Projecting the velocity-momentum correspondence gives, restoring physical units,

$|\psi_{m\mathbf{k}}\rangle$8

$|\psi_{m\mathbf{k}}\rangle$9 are small trace corrections vanishing in the complete basis limit, and the additional nonlocal correction term is essential in the presence of $\mathbf{k}$0. This formalism ensures that both the "Peierls" term ($\mathbf{k}$1) and the geometric Berry connection term ($\mathbf{k}$2) are explicitly included, as well as any nonlocal or finite-basis effects (Esteve-Paredes et al., 2022).

3. Gauge Dependence, Representations, and Physical Invariance

Bloch functions exhibit gauge freedom: under unitary, $\mathbf{k}$3-dependent transformations among the relevant bands, matrix elements generally transform covariantly: $\mathbf{k}$4

$\mathbf{k}$5

The Berry connection transforms accordingly, but the sum in the momentum matrix element remains gauge-invariant. In a local-orbital basis, the distinction between “cell” and “atomic” gauge arises, but the full $\mathbf{k}$6 expression is strictly independent of this choice. This invariance is critical for the calculation of physical observables derived from momentum matrix elements (Esteve-Paredes et al., 2022, Volpato et al., 2024).

4. Computational Strategies: Wannier Interpolation and Smooth Subspaces

Accurate evaluation and interpolation of $\mathbf{k}$7 on dense $\mathbf{k}$8-grids are enabled by use of maximally localized Wannier functions (MLWFs) and the construction of the optimally smooth subspace (OSS). The matrix elements are rotated into the OSS using unitary matrices $\mathbf{k}$9 that minimize the total Wannier spread functional,

$$p_{mn}(\mathbf{k}) = \langle \psi_{m\mathbf{k}}|\hat{\mathbf{p}}|\psi_{n\mathbf{k}}\rangle$$0

Once represented in the OSS, $$p_{mn}(\mathbf{k}) = \langle \psi_{m\mathbf{k}}|\hat{\mathbf{p}}|\psi_{n\mathbf{k}}\rangle$$1 becomes a smooth function of $$p_{mn}(\mathbf{k}) = \langle \psi_{m\mathbf{k}}|\hat{\mathbf{p}}|\psi_{n\mathbf{k}}\rangle$$2, allowing efficient interpolation via either

• Fourier–Wannier interpolation: a real-space FFT-based approach, efficient for periodic matrix elements.
• Direct multidimensional spline interpolation: particularly suitable for both periodic and non-periodic operators.

Algorithmically, one first computes raw $$p_{mn}(\mathbf{k}) = \langle \psi_{m\mathbf{k}}|\hat{\mathbf{p}}|\psi_{n\mathbf{k}}\rangle$$3 on a coarse grid (preferably via the more stable $$p_{mn}(\mathbf{k}) = \langle \psi_{m\mathbf{k}}|\hat{\mathbf{p}}|\psi_{n\mathbf{k}}\rangle$$4 form), rotates to OSS, interpolates in reciprocal space, and finally rotates back if required. For periodic $$p_{mn}(\mathbf{k}) = \langle \psi_{m\mathbf{k}}|\hat{\mathbf{p}}|\psi_{n\mathbf{k}}\rangle$$5, both interpolation methods are equally accurate; for non-periodic observables, only the direct approach is unbiased (Volpato et al., 2024).

5. Experimental Access: Photoemission and Bloch Wavefunction Reconstruction

Angle-resolved photoemission spectroscopy (ARPES) accesses the electronic structure and, through the photoemission or dipole (length gauge) matrix elements,

$$p_{mn}(\mathbf{k}) = \langle \psi_{m\mathbf{k}}|\hat{\mathbf{p}}|\psi_{n\mathbf{k}}\rangle$$6

relates directly to the momentum matrix elements of Bloch eigenstates. Polarization modulation of the ionizing field enables extraction of both the amplitude and phase of the complex photoemission matrix elements. In minimal two-band models, these can be inverted to reconstruct the orbital pseudospin $$p_{mn}(\mathbf{k}) = \langle \psi_{m\mathbf{k}}|\hat{\mathbf{p}}|\psi_{n\mathbf{k}}\rangle$$7, which parametrizes the Bloch eigenfunction in orbital space. This pseudospin governs the local Berry curvature via

$$p_{mn}(\mathbf{k}) = \langle \psi_{m\mathbf{k}}|\hat{\mathbf{p}}|\psi_{n\mathbf{k}}\rangle$$8

enabling the extraction of Chern numbers and topological invariants from momentum-resolved spectroscopic data (Schüler et al., 2021).

6. Relations, Limitations, and Physical Interpretation

The canonical relation between velocity and momentum breaks down in the presence of nonlocal $$p_{mn}(\mathbf{k}) = \langle \psi_{m\mathbf{k}}|\hat{\mathbf{p}}|\psi_{n\mathbf{k}}\rangle$$9, necessitating explicit evaluation of the commutator $$|\psi_{n\mathbf{k}}\rangle = e^{i\mathbf{k}\cdot\mathbf{r}}|u_{n\mathbf{k}}\rangle$$0 and finite basis corrections. The Berry term $$|\psi_{n\mathbf{k}}\rangle = e^{i\mathbf{k}\cdot\mathbf{r}}|u_{n\mathbf{k}}\rangle$$1 describes interband transition amplitudes, while the $$|\psi_{n\mathbf{k}}\rangle = e^{i\mathbf{k}\cdot\mathbf{r}}|u_{n\mathbf{k}}\rangle$$2 term reflects intraband processes such as Drude response. The total physical matrix element is always gauge-invariant, but its decomposition into band-structure and Berry terms is gauge-dependent.

Nonlocal corrections $$|\psi_{n\mathbf{k}}\rangle = e^{i\mathbf{k}\cdot\mathbf{r}}|u_{n\mathbf{k}}\rangle$$3 are especially relevant in calculations involving modern pseudopotentials, spin–orbit coupling, or hybrid exchange. Incomplete treatment of these effects can lead to significant errors, particularly in properties sensitive to interband coherence or topological indices (Esteve-Paredes et al., 2022). A plausible implication is that rigorous benchmarking against real-space and reciprocal-space evaluation is required for high-fidelity property prediction.

7. Applications and Practical Considerations

Momentum matrix elements of Bloch eigenfunctions are requisite for ab initio optical response calculations, Wannier interpolation of response tensors, and in the analysis and interpretation of photoemission and pump-probe experiments. Their accurate computation underpins ab initio modeling of nonlinear optics, dynamical Berry curvature effects, and the ab initio construction of tight-binding models for topological band theory. The combination of MLWF-based OSS construction and direct multidimensional interpolation supports computation on ultradense momentum grids with substantial savings over direct DFT evaluation, and uniquely enables interpolation of both periodic (e.g., $$|\psi_{n\mathbf{k}}\rangle = e^{i\mathbf{k}\cdot\mathbf{r}}|u_{n\mathbf{k}}\rangle$$4) and non-periodic observables (e.g., oscillator strengths, derivative couplings) in a consistent framework (Volpato et al., 2024).

These theoretical and computational strategies form the foundation for systematic exploration of geometric and topological aspects of condensed matter systems, enabling detailed links between microscopic wavefunction structure, measurable physical properties, and emergent quantum phenomena.