--- title: Landau Problem on a Torus url: https://www.emergentmind.com/topics/landau-problem-on-a-torus type: topic --- # Landau Problem on a Torus The Landau problem on a torus is the formulation of charged-particle dynamics in a uniform magnetic field after compactifying the plane by a two-dimensional lattice, so that the configuration space is a torus rather than \(\mathbb R^2\). In this setting, ordinary periodicity is replaced by quasiperiodic magnetic-translation boundary conditions, the magnetic flux through the fundamental cell is quantized, and the Hilbert space in a fixed Landau level becomes finite-dimensional. The torus formulation is central to quantum Hall theory because it makes topological degeneracies, modular covariance, guiding-center non-commutative geometry, and finite-size many-body spectra simultaneously explicit [1806.00876]. ## 1. Geometric setup, flux quantization, and magnetic translations The physical starting point is the nonrelativistic Hamiltonian in a uniform magnetic field, with kinetic momentum \[ \mathbf p = -i\hbar \nabla - e \mathbf A(\mathbf r), \] or equivalently, in related notation, \[ H_{\rm KE}=\sum_i^N \frac{1}{2m}\bigl(\mathbf{p}_i+e\mathbf{A}(\mathbf{r}_i)\bigr)^2. \] On the plane, the spectrum consists of Landau levels. On the torus, one compactifies the plane by a Bravais lattice \(A=\{L\}=\{2m\omega_1+2n\omega_2\}\), or equivalently by two primitive translation vectors \(\mathbf L_1,\mathbf L_2\), so that the torus geometry is encoded by a lattice rather than by a particular basis choice [1806.00876]. A central constraint is flux quantization. In one formulation, the primitive-cell area is \[ A(A)=2\,|\omega_1\omega_2^*-\omega_2\omega_1^*|, \] and in another, \[ A=2\pi \ell^2 N_0, \] with \(N_0\) the number of flux quanta through the unit cell. Equivalent torus formulations write \[ 2\pi N_\phi = |\mathbf L_1\times \mathbf L_2|, \] or \[ N_\phi=\frac{L_1^2\,{\rm Im}(\tau)\,B}{\phi_0}, \qquad \phi_0=\frac{hc}{e}. \] The number of flux quanta, denoted \(N_\phi\), \(N_0\), or \(N_s\) depending on notation, is also the dimension of the single-particle Landau-level Hilbert space on the torus [1806.10106]. Because the vector potential changes by a gauge transformation under lattice translation, torus wavefunctions obey magnetic-translation boundary conditions rather than strict periodicity. Representative forms are \[ \Psi(z+L,z^*+L^*) = \varepsilon(L)^{N_\phi} \exp\!\left( \frac{1}{2\ell^2} \bigl(L z^* - L^* z\bigr) +\frac{1}{4\ell^2}|L|^2 \right)\Psi(z,z^*), \] and \[ t(L_1)\psi(z)=e^{i\phi_1}\psi(z),\qquad t(L_1\tau)\psi(z)=e^{i\phi_\tau}\psi(z), \] where the phases \(\phi_1,\phi_\tau\) specify the Hilbert space. The magnetic translation operators satisfy a projective algebra; in one common form, \[ t(\mathbf d_1)t(\mathbf d_2) = e^{\frac{i}{2}\varphi(\mathbf d_1,\mathbf d_2)} t(\mathbf d_1+\mathbf d_2), \qquad \varphi(\mathbf d_1,\mathbf d_2)= \frac{d_1^x d_2^y-d_1^y d_2^x}{\ell^2}, \] and in another, \[ t(\mathbf d+\mathbf d')=t(\mathbf d)t(\mathbf d')e^{\frac{i}{2}\mathbf d\times \mathbf d'}. \] This projective structure is the algebraic origin of the torus quasiperiodicity and of the finite-dimensional guiding-center problem [1710.09729]. The torus also carries a modular parameter. Typical conventions are \[ \tau=\frac{L_\Delta+iL_y}{L_x}, \qquad \xi_1=L_1,\quad \xi_2=L_1\tau. \] A crucial physical requirement is that wavefunctions should not depend on the arbitrary choice of lattice basis \((\omega_1,\omega_2)\). This basis-independence is expressed by modular transformations \[ (\omega_1,\omega_2)\mapsto (a\omega_1+b\omega_2,\;c\omega_1+d\omega_2), \qquad \begin{pmatrix}a&b\\c&d\end{pmatrix}\in SL(2,\mathbb Z), \] and by the associated covariance under \(\mathcal T:\tau\to\tau+1\) and \(\mathcal S:\tau\to -1/\tau\) [1401.6834]. ## 2. Holomorphic structure and guiding-center non-commutative geometry In the conventional lowest-Landau-level presentation on the plane, a state is written as \[ \Psi(z,z^*) = f(z)\,e^{-|z|^2/(4\ell^2)}, \] or, in related notation, \[ v(\mathbf r)=f(z)e^{-z z^*/4\ell^2},\qquad z=x+iy, \] with \(f(z)\) holomorphic. On the torus, the same holomorphic factor appears, but it is constrained by quasiperiodicity rather than ordinary periodicity [1806.10106]. A major reformulation is that holomorphic structure is not special to the lowest Landau level. The key algebraic variable is the guiding center \(\mathbf R\), whose components satisfy \[ [R^x,R^y]=-i\ell^2. \] This Heisenberg algebra defines a non-commutative plane. In this formulation, the holomorphic function \(f(z)\) is the representation of a guiding-center state in a chosen complex structure, rather than a special feature of “lowest-Landau-level Schrödinger wavefunctions” [1806.10106]. The complex structure is introduced by a complex vector \(\mathbf e\) satisfying \[ e_x e_y^*-e_y e_x^*=2i, \] with complex coordinate \[ z(\mathbf r)=\mathbf e\cdot\mathbf r. \] The associated guiding-center lowering operator is \[ a=\frac{1}{\sqrt{2}\,\ell}\,\mathbf e^*\cdot\mathbf R, \qquad [a,a^\dagger]=1. \] A normalized coherent state \(|0;\mathbf e\rangle\) obeys \[ (\mathbf e^*\cdot\mathbf R)|0;\mathbf e\rangle=0, \qquad \langle 0;\mathbf e|0;\mathbf e\rangle=1, \] and a generic holomorphic state is \[ |f;\mathbf e\rangle=f(\mathbf e\cdot\mathbf R)\,|0;\mathbf e\rangle, \qquad f(z)=\sum_{m=0}^\infty f_m z^m. \] This formulation makes holomorphicity a property of the guiding-center algebra in any Landau level [1806.10106]. On the plane, the overlap of two such states is the Bargmann-type integral \[ \langle f_1;\mathbf e|f_2;\mathbf e\rangle = \int \frac{dx\,dy}{2\pi\ell^2}\, f_1(z)^*f_2(z)\,e^{-z^*z/2\ell^2}. \] On the torus, however, the finite-dimensional Hilbert space changes the overlap structure qualitatively. The exact torus formula becomes \[ \langle f_1|f_2\rangle = \frac{1}{N_0} \sum_{z\in\{z\}} f_1(z)^*f_2(z)e^{-z^*z/2\ell^2}, \] where the sum runs over \(N_0^2\) points, for instance \[ \mathbf x=\frac{m\mathbf L_1+n\mathbf L_2}{N_0}, \qquad m,n=1,\dots,N_0. \] This discrete-sum formula is a direct manifestation of the finite-dimensional, non-commutative geometry induced by magnetic translations on the torus [1806.10106]. The same viewpoint underlies exact continuum-to-lattice reformulations of torus quantum Hall problems. Once one projects to a fixed Landau level, the many-body problem can be written purely in guiding-center space, and translationally invariant matrix elements can be replaced by exact lattice sums over an \(N_\phi\times N_\phi\) grid [1710.09729]. This suggests that the torus problem is not merely a compactified version of the planar problem, but a setting in which the guiding-center algebra becomes computationally discrete. ## 3. Theta functions, zeros, and the modified Weierstrass sigma function In Landau gauge, torus lowest-Landau-level wavefunctions are Gaussian times holomorphic theta functions. One basis is \[ \eta_s(z)= \frac{e^{-y^2/2}}{\sqrt{L_x\sqrt{\pi}}}\, \vartheta\!\left[ \begin{array}{c} -\frac{s}{N_s}\\[2pt] 0 \end{array} \right]\! \left(\frac{N_s}{L_x}z\,\middle|\,N_s\tau\right), \] and a Fourier-related basis is \[ \varphi_l(z)= \frac{e^{-y^2/2}}{\sqrt{N_sL_x\sqrt{\pi}}}\, \vartheta\!\left[ \begin{array}{c} 0\\[2pt] \frac{l}{N_s} \end{array} \right]\! \left(\frac{1}{L_x}z\,\middle|\,\frac{\tau}{N_s}\right). \] More generally, a torus LLL state can be written as \[ \psi(z)=\mathcal N\,e^{-y^2/2}\prod_{j=1}^{N_s}\vartheta_1\!\left(\frac{z-\xi_j}{L_x}\,\middle|\,\tau\right), \] up to the quasi-periodic prefactors fixed by boundary conditions [1401.6834]. A defining torus property is that the zeros \(\{\xi_j\}\) uniquely determine the LLL wavefunction once the boundary conditions are fixed [1401.6834]. This zero-counting is closely tied to flux: in a fundamental cell, a single-particle torus state has \(N_\phi\) zeros, and many-body Jastrow factors encode their correlated arrangement. For modular-invariant formulations, an alternative building block is the modified Weierstrass sigma function. The modified zeta function is defined by \[ \tilde\zeta(z) = \zeta(z) - \gamma_2 z, \] where \(\gamma_2\) is a lattice invariant related to the almost-holomorphic modular completion of the weight-2 Eisenstein series. A key identity is \[ \tilde\zeta(\omega_i)=\frac{\pi\,\omega_i^*}{A}, \] so that the half-period values become \[ \tilde\eta_i=\frac{\pi\omega_i^*}{A}. \] This replaces the standard Weierstrass constants \(\eta_i\) by a basis-covariant geometric expression [1806.00876]. The modified sigma function is defined by integrating \(\tilde\zeta\), or equivalently by \[ \tilde\sigma(z)=e^{-\gamma_2 z^2/2}\,\sigma(z). \] Its quasiperiodicity is \[ \tilde\sigma(z+L) = \varepsilon(L)\, \exp\!\left(\frac{\pi L^*}{A}\left(z+\frac{L}{2}\right)\right)\tilde\sigma(z), \qquad L\in A. \] The simplicity of this law is the central reason it is useful in the torus Landau problem: the phase acquired under translation is expressed directly in terms of \(L^*/A\), without the extra lattice-dependent constants of the standard sigma function [1806.00876]. For the high-symmetry lattices, the quasi-modular correction vanishes: - **Square lattice**: \(\gamma_2=0\). - **Hexagonal lattice**: \(\gamma_2=0\). For these lattices, the modified and original Weierstrass functions coincide exactly [1806.00876]. A related torus building block appears in exact lattice Monte Carlo formulations: \[ f(z)=\sigma(z)\,e^{-\frac{1}{2N_\phi}zz^*}, \qquad \sigma(z)=\tilde \sigma(z)\,e^{-\frac12 \bar G(\mathbb L) z^2}, \] with translation law \[ f(z+L)=\eta_L\,f(z)\exp\!\left[\frac{1}{2N_\phi}\left(L^*z-Lz^*\right)\right]. \] This is again designed so that quasiperiodicity is aligned with torus magnetic translations [1710.09729]. ## 4. Single-particle and many-body torus wavefunctions For a single particle in symmetric gauge, the torus LLL holomorphic factor obeys \[ f(z+L) = \exp\!\left( \frac{L^*}{2\ell^2}\left(z+\frac{L}{2}\right) \right) \times (\text{sign/phase})\, f(z). \] The general solution can be written as \[ f(z)\propto e^{K z}\prod_{i=1}^{N_\phi}\tilde\sigma(z-w_i), \qquad \sum_{i=1}^{N_\phi}w_i=\frac{K A}{\pi}, \] so that the number of zeros in a fundamental cell is \(N_\phi\), as required by the flux. The full wavefunction is \[ \Psi(z,z^*) \propto e^{Kz}\,\prod_{i=1}^{N_\phi}\tilde\sigma(z-w_i)\, e^{-|z|^2/(4\ell^2)}, \] with the parameters constrained by the boundary conditions [1806.00876]. Equivalent theta-function representations are standard in torus constructions. In one formulation, \[ \psi_1(z)=e^{\frac{z^2-|z|^2}{4l^2}}\,f_1(z), \qquad f_1(z)=e^{ikz}\prod_{\nu=1}^{N_\phi}\theta(z/L_1-w_\nu\mid\tau). \] For a filled Landau level, the many-body wavefunction has a torus Jastrow-like form \[ \Psi_1[z_i,\bar z_i] \sim e^{\sum_i\frac{z_i^2-|z_i|^2}{4l^2}} F_1(Z)\prod_{j