Math Needed for Quantum Matter

This crosswalk is for readers preparing for quantum matter: lattices, reciprocal space, Bloch electrons, band structure, phonons, Fermi surfaces, transport, magnetism, superconductivity, topological bands, mesoscopic systems, disorder, strong correlations, and computational condensed-matter models.

The Quantum Matter volume owns the physical models and material interpretations. Use its Overview to select the next physical page; use this crosswalk only to repair the mathematical capability that page requires. The sections below gather reusable mathematics: Fourier series on periodic structures, representation theory of translations and symmetries, Berry geometry, topological invariants, many-body operator language, and numerical linear algebra.

Minimum Tools

Start with Fourier series, Fourier transforms, Poisson summation, boundary conditions, eigenvalue problems, Hermitian matrices, tensor products, direct sums, group actions, unitary representations, lattice translations, Pauli matrices, angular-momentum algebra, density operators, expectation values, Fock space, creation and annihilation operators, Green functions, distributions, Berry connection, Chern numbers, topological invariants, sparse matrices, sparse eigensolvers, FFTs, error estimates, convergence tests, and benchmark problems.

For band topology and quantum Hall physics, add differential forms, exterior derivative, integration on manifolds, curvature, holonomy, homotopy and winding, and careful sign conventions. For strongly correlated systems, add the many-body crosswalk first, because Fock-space notation, correlation functions, response, and finite-size scaling become the main grammar.

The standard single-particle periodic form is Bloch’s form:

$$\psi_{n\mathbf k}(\mathbf r) = e^{i\mathbf k\cdot\mathbf r} u_{n\mathbf k}(\mathbf r), \qquad u_{n\mathbf k}(\mathbf r+\mathbf R) = u_{n\mathbf k}(\mathbf r).$$

Bloch’s Theorem owns the theorem and proof. The Lattices, Reciprocal Space, and Bloch Electrons gateway owns the local physical dependency graph; this crosswalk only repairs the Fourier, representation, and eigenproblem tools that its routes require.

Recommended Tools by Topic

Quantum-matter topic	Mathematical tools
Periodic functions and lattices	Fourier series, Fourier transform, Poisson summation, finite-volume boundary conditions
Crystal momentum	momentum representation, translations and momentum, group actions, unitary representations
Bloch states and bands	eigenvalue problems, Hermitian operators, spectral decomposition, matrix diagonalization
Tight-binding models	bases and coordinates, direct sums, tensor products, sparse matrices
Fermi surfaces and density of states	delta function, distributions, numerical quadrature, level counting
Lattice vibrations and collective modes	harmonic oscillator, matrix diagonalization, Fourier series, normal-mode eigenvectors, response matrices, and limit order
Transport and response	expectation values, Green functions, Fourier transform, principal-value distributions
Magnetism and spin systems	Pauli matrices, angular momentum algebra, tensor-product representations, symmetric group
Many-electron systems	fermionic Fock space, creation and annihilation operators, fermionic anticommutation relations, many-particle Hamiltonians
Berry curvature in bands	differential forms, connections and curvature, Berry connection, holonomy
Chern bands and quantum Hall topology	integration on manifolds, Chern numbers, topological invariants, homotopy and winding
Disorder and finite systems	probability spaces, random variables, sparse matrices, convergence tests
Computational quantum matter	fast Fourier transform, sparse eigensolvers, matrix exponentials numerically, benchmark problems

Suggested Reading Order

For lattice and reciprocal-space language, read Periodic Functions and Fourier Series, Fourier Transform, Inverse Fourier Transform, Plancherel and Parseval Theorems, Poisson Summation Formula, Momentum Representation, and Fourier Transform Conventions.

For symmetry and band labels, read Groups, Group Actions, Representations, Unitary Representations, Lie Groups, Antiunitary Symmetries, First Look, Translations and Momentum, Time Reversal, and Parity.

For lattice Hamiltonians and many-electron models, read Tensor Products, Direct Sums, Pauli Matrices, Occupation-Number Basis, Fermionic Fock Space, Creation and Annihilation Operators, Number Operators, One-Body Operators, Two-Body Operators, and Many-Particle Hamiltonians.

A minimal tight-binding Hamiltonian already shows why sparse linear algebra and second quantization appear together:

$$H = -t\sum_{\langle i,j\rangle} c_i^\dagger c_j + \sum_i \varepsilon_i c_i^\dagger c_i .$$

The quantum-matter page will explain the model assumptions. The prerequisite pages explain the basis, operator algebra, Hermiticity checks, sparse representation, and eigenvalue computations.

For topology, read Manifolds, First Look, Tangent and Cotangent Spaces, Differential Forms, Exterior Derivative, Integration on Manifolds, Connections and Curvature, Berry Connection as a Mathematical Object, Holonomy, Homotopy and Winding, Chern Numbers, and Topological Invariants.

In a single isolated band, a common local formula is

$$\mathcal A_n(\mathbf k) = i\langle u_{n\mathbf k}\vert \nabla_{\mathbf k}u_{n\mathbf k}\rangle, \qquad \Omega_n(\mathbf k) = \nabla_{\mathbf k}\times\mathcal A_n(\mathbf k).$$

For a two-dimensional Brillouin zone, the Chern number has the schematic form

$$C_n = \frac{1}{2\pi} \int_{\mathrm{BZ}} \Omega_n(\mathbf k)\,d^2k.$$

The formulas are compact, but the details depend on gauge choices, degeneracies, orientation, normalization, and whether the band subspace remains isolated. The mathematical homes explain the objects themselves. Once that mathematical capability is in place, enter Topological Quantum Matter to choose the physical branch; Chern Numbers in Band Theory owns the isolated-band or occupied-projector, orientation, and numerical-invariant caveats for its branch.

For numerical quantum matter, read Floating-Point Arithmetic, Conditioning and Stability, Discretization, Matrix Diagonalization, Sparse Matrices, Sparse Eigensolvers, Fast Fourier Transform, Matrix Exponentials Numerically, Error Estimates, Convergence Tests, and Benchmark Problems.

Quantum-Matter Targets and Status

Current substantive owners link directly below. Planned scaffolds are labeled so that this prerequisite map does not imply that their material treatments are already available.

Quantum-matter target	Current status	Mathematics to review
Crystals and Lattices	live substantive owner	Fourier series, group actions, finite-volume boundary conditions
Reciprocal Lattice	live substantive owner	Fourier transforms, Poisson summation, momentum representation
Brillouin Zones	live substantive owner	reciprocal-space coordinates, boundary identifications, symmetry
Bloch’s Theorem	live substantive owner	unitary translation representations, eigenvalue problems, Fourier modes
Tight-Binding Models	live substantive owner	bases, sparse matrices, second quantization, matrix diagonalization
Density of States	live substantive owner	delta functions, distributions, numerical quadrature
Fermi Surface	live substantive owner	level sets, gradients, density of states, finite-size convergence
Phonons	live substantive owner	harmonic oscillator, normal-mode diagonalization, Fourier series
Drude Theory	live substantive owner	expectation values, probability, linear differential equations, complex response
Boltzmann Transport	live substantive owner	phase-space distributions, linear operators, integral equations, weighted moments
Kubo Formula in Materials	planned scaffold	commutators, Green functions, Fourier transforms, distributions
Heisenberg Model in Materials	planned scaffold	Pauli matrices, angular momentum, tensor products, sparse eigensolvers
BCS Theory	live substantive owner	fermionic Fock space, pairing operators, variational and mean-field ideas
Berry-Phase Polarization and Charge Pumping	live substantive owner	Berry connections and Wilson loops, polarization branches, Chern integration on the $(k,t)$ torus, adiabatic control
topological-quantum-matter/chern-numbers-band-theory	Berry connection, curvature, integration on manifolds, Chern numbers
topological-quantum-matter/integer-quantum-hall-effect	Landau levels as background, Chern numbers, edge-state caveats
mesoscopic-nanoscale/conductance-quantization	scattering states, modes, boundary conditions, matrix methods
computational-quantum-matter/tight-binding-numerics	sparse matrices, FFTs, eigensolvers, error estimates

Common Mistakes

• Treating crystal momentum as ordinary mechanical momentum without the modulo-reciprocal-lattice caveat.
• Applying Bloch-style conclusions to disordered, finite, interacting, or surface-dominated systems without stating assumptions.
• Confusing a band plot with an observable by itself rather than a representation of model eigenvalues.
• Forgetting that gauge choices for Bloch eigenvectors affect Berry connections, while appropriate curvatures and integrals are invariant under the stated assumptions.
• Computing a Chern number for a band subspace that is not isolated.
• Trusting edge-state pictures without checking boundary conditions and bulk assumptions.
• Reading a finite-size numerical spectrum as a thermodynamic phase diagram without convergence checks.
• Confusing a model Hamiltonian with a material-specific claim.

Cross-Links

• Math Needed for Many-Body QM
• Math Needed for Spin and Symmetry
• Crystalline Symmetry Preview
• Translations and Momentum
• Phonons
• Drude Theory
• Boltzmann Transport
• Berry Phase
• Berry Connection as a Mathematical Object
• Chern Numbers
• Sparse Eigensolvers
• Benchmark Problems

References

• N. W. Ashcroft and N. D. Mermin, Solid State Physics, Holt, Rinehart and Winston, 1976.
• C. Kittel, Introduction to Solid State Physics, 8th ed., Wiley, 2004.
• S. H. Simon, The Oxford Solid State Basics, Oxford University Press, 2013.
• M. P. Marder, Condensed Matter Physics, 2nd ed., Wiley, 2010.
• A. Altland and B. Simons, Condensed Matter Field Theory, 2nd ed., Cambridge University Press, 2010.
• B. A. Bernevig and T. L. Hughes, Topological Insulators and Topological Superconductors, Princeton University Press, 2013.

Exercises

1. Why are Fourier series natural for a particle in a periodic potential?

Solution

A periodic potential is invariant under translations by lattice vectors. Fourier modes are eigenfunctions of translations, so they diagonalize the action of the translation group. The Hamiltonian may mix momenta that differ by reciprocal lattice vectors, but the Fourier basis makes that structure explicit.

2. Which prerequisite pages would you review before building a numerical tight-binding Hamiltonian for a finite chain?

Solution

Review bases and coordinates, Hermitian operators, matrix diagonalization, sparse matrices, sparse eigensolvers, boundary conditions, creation and annihilation operators if using second quantization, and convergence tests. The physics model will define hopping and onsite terms; the prerequisites explain representation, storage, Hermiticity, and validation.

3. Why is the Berry connection not itself a direct observable in the same way as a Chern number?

Solution

The Berry connection depends on the phase convention for the eigenvectors, so it changes under gauge transformations. Curvature integrals such as the Chern number are constructed to be invariant under the relevant gauge changes, assuming the band bundle is well-defined and isolated. The connection is still essential because it is the local object from which curvature and holonomy are computed.