A quantum mechanics concept defining a model element, mathematical object, or experimental method used to predict measurable outcomes. It applies when required assumptions and definitions are specified and yields computable probabilities and expectation values. It does not ensure correctness without validation of approximations, numerical stability, and consistency of units and conventions. It materially affects interpretation of experiments and the reliability of theoretical predictions across quantum systems. The concept is generally stable, though methods and implementations evolve over time.

Principle

Perform a k‑space to real‑space Fourier transform of Bloch functions with an appropriate choice of phase (gauge) and interband mixing to obtain localized orbitals w_n(R)= (1/√N) Σ_k e^{-ik·R} Σ_m U_{mn}(k) ψ_{m,k}, where U(k) is unitary and can be chosen to optimize localization.

Demonstration

For an isolated, nondegenerate band in an insulator one can choose phases so the Wannier function is exponentially localized about a lattice site; such Wannier functions serve as localized orbitals for tight-binding parameter extraction and for computing dipole moments and polarization.

Misapplication

Assuming a unique set of Wannier functions without addressing gauge freedom, or naively constructing Wannier functions for entangled bands without disentanglement procedures, yields nonlocalized or physically misleading orbitals.

Consequence

Wannier functions provide a compact, localized basis for constructing tight-binding Hamiltonians, computing local observables (charge centers, orbital character), and for systematic downfolding of ab initio Hamiltonians to few-orbital models.

Reversal

Bloch functions represent the complementary viewpoint: they are momentum-space eigenstates delocalized across the crystal and are the natural basis for describing extended-wave behavior and band velocities.

Boundary

Defined for periodic systems where Bloch states exist; localization properties depend on band topology (e.g., topologically nontrivial bands can obstruct exponentially localized Wannier functions) and on whether bands are isolated or entangled with others.

Semantic Tension

Tension exists between Wannier functions and atomic orbitals or trial localized bases: Wannier functions are constructed from Bloch states and are uniquely defined only up to unitary gauge choices, while atomic orbitals are chemically motivated and not guaranteed to span the same subspace without projection.

Synthesis

Wannier functions are the real-space, gauge-dependent but physically useful localized orbitals obtained by unitary transforms of Bloch bands, providing a bridge between delocalized band descriptions and localized tight-binding or orbital pictures.