key: cord-1015116-dyqoee2w
authors: Yamano, Takuya
title: Fisher Information of Free-Electron Landau States
date: 2021-02-25
journal: Entropy (Basel)
DOI: 10.3390/e23030268
sha: 998402a158d26439be2e5b66c7d47fa21a3bfb29
doc_id: 1015116
cord_uid: dyqoee2w

An electron in a constant magnetic field has energy levels, known as the Landau levels. One can obtain the corresponding radial wavefunction of free-electron Landau states in cylindrical polar coordinates. However, this system has not been explored so far in terms of an information-theoretical viewpoint. Here, we focus on Fisher information associated with these Landau states specified by the two quantum numbers. Fisher information provides a useful measure of the electronic structure in quantum systems, such as hydrogen-like atoms and under some potentials. By numerically evaluating the generalized Laguerre polynomials in the radial densities, we report that Fisher information increases linearly with the principal quantum number that specifies energy levels, but decreases monotonically with the azimuthal quantum number m. We also present relative Fisher information of the Landau states against the reference density with [Formula: see text] , which is proportional to the principal quantum number. We compare it with the case when the lowest Landau level state is set as the reference.

The motion of electrons in a uniform magnetic field is a fundamental process in a variety of science. Specifically, the Landau states and the associated levels [1] [2] [3] are the most elementary quantum manifestations underlying diverse effects in condensed-matter physics, such as the De Haas van Alphen effects [4] , Shubnikov de Haas effects [5] , and fractional/integer quantum Hall effects [6] . Therefore, Landau states and their energy levels have attracted enormous attention concerning oscillatory behaviors observed in various electronic properties. These properties should be attributed to the forms of the underlying wavefunctions. The shape of the wavefunctions or the electric density functions has a piece of inherent information. However, research interests so far have been focused on the occupation numbers of Landau energy levels in condensed-matter systems instead of information content contained in the spatial distributions of electrons represented by the wavefunctions. Consequently, we ask a natural question: How much information do the Landau states contain, or how do we compare the information content between the different states specified by the quantum numbers?

In a different discipline, by contrast, an information-theoretical approach to atomic systems aimed at interpreting and characterizing the orbital structure has attracted much attention [7] . Among several information measures, many authors have intensively studied Fisher information [8, 9] that reflects gradient content (i.e., sharpness) of the density distribution for both relativistic and non-relativistic hydrogenic atoms (e.g., [10] [11] [12] [13] ; these are only a few that are of close relevance to the present author, since the literature is vast). This preference of the information measure is because it is more sensitive in understanding the degree of localization of an electron than using Shannon entropy. Additionally, for heavier atoms, the amount of Fisher information has been explored (e.g., [14] ; this is one example among many, and see references cited therein). These developments motivate us to study information measures of other quantum systems if the associated wavefunctions are available. Examples are systems under Morse, Pöschl-Teller potentials, and the quantum harmonic oscillator systems [15] . In addition to the above practical merits in atomic and molecular systems, Fisher information is at the root of various theoretical descriptions through profound connections with the foundations of quantum mechanics [16] . This connection also has wider implications for other branches in physics. For instance, the Schrödinger equation is derived from the constrained Fisher-optimization scheme and led to a new approach to non-equilibrium processes, such as the propagation of sound waves in a dilute gas [17] .

Although the information quantity itself has not been a major concern in the literature of solid-state physics, some recent works relate the information concept and the quantum number n that specifies the Landau levels under fixed electric and magnetic fields [18] [19] [20] . The aim of these studies is to propose an indicator of topological phase transitions in twodimensional topological insulators, and the behavior of Fisher information and the Rényi-Fisher entropy product have been studied for eigenstates in 2D gapped Dirac materials for several values of n. Contrary to the Landau states in this study, the eigenstate wavefunctions have no dependence on the azimuthal quantum number. We focus on an informationtheoretical treatment for the free-electron Landau states; that is, we consider free electrons in a uniform magnetic field that also exhibit the Landau levels [21] , and the analytical form of the wavefunctions are available in this setting [22] . We demonstrate the dependence of the Fisher information of the free-electron Landau states on the principal quantum number and the azimuthal quantum number. We also show that relative Fisher information against the lowest Landau state is a quantifier of dissimilarity among the states. In the next section, we provide the density function of the Landau states and show the behavior of the Fisher information. In Section 3, we analytically derive the relative Fisher information against a state with zero azimuthal quantum numbers. We summarize this study and add a discussion in the last section. The Appendix A is given for a detailed calculation of the relative Fisher information when the reference state is set as the lowest Landau state.

In this section, we first summarize the system under consideration. Landau studied the motion of a charged particle in a constant uniform magnetic field [2]. One can derive energy discretization (Landau levels) perpendicular to the magnetic field in a Cartesian coordinate system. However, the cylindrical polar coordinates are more convenient in solving Schrödinger equations to find the wave functions for systems in a magnetic field. Indeed, Landau & Lifshitz [22] uses this coordinate system. Let ρ, φ, and z specify the position of an electron with mass M and charge e = −|e| in cylindrical polar coordinates under the uniform magnetic field H added in z-direction. When we choose the Landau gauge for the vector potential A as (0, Hρ/2, 0), the Hamiltonian operator corresponding to the Schrödinger equation

where ω denotes the cyclotron frequency. The Hamiltonian does not contain the coordinate z (also x) explicitly, and the z-component of the momentum p z commutes with the Hamiltonian. Thus, p z is conserved, and the system has definite angular momentum in the direction of the magnetic field. By seeking the solution of the form

the radial wave functions R(ρ) are expressed as ( §112 in Ref. [22] ):

where a H = hc |e|H is the magnetic length parameter, and n ρ is the radial quantum number being a non-negative integer. The quantum number m = 0, ±1, ±2, . . . is associated with the azimuthal wave function e imφ / √ 2π. The confluent hypergeometric function F is defined with the generalized Laguerre polynomial L

The normalization condition

determines the factor N n ρ ,m as

Changing the variable as ξ = ρ 2 /2a 2 H allows one to express the radial probability density η n ρ ,m (ξ) of finding the particle in the states with the quantum numbers n ρ and m:

so that one assures the normalization of the density ∞ 0 η n ρ ,m (ξ)dξ = 1. The dependency of the radial density on the magnetic field H enters through the new variable ξ, which is proportional to the magnetic field. The probability density of the lowest Landau state corresponds to the quantum numbers n ρ = m = 0. To grasp the dependencies on the quantum numbers, we show the behavior for some of the radial probability densities in Figure 1 .

The radial density function broadens and has a more nodal structure for the higher quantum numbers (blue curves). To reflect this gradient feature of densities into an information measure, Fisher information can be appropriate one. Fisher information was originally regarded as a quality metric of the estimation procedure, and it is a function of the parameter θ in the probability density function [8] . In the particular case of one variable x, it is defined by [p θ (x, θ)] 2 /p(x, θ)dx in a valid range of x. However, when the probability obeys a property of shift (translation) invariance, that is, p(x|θ) = p(x − θ), it no longer depends upon θ and is equivalent to the integral of [p (x)] 2 /p(x) [16] . This shift invariance means that the variable x is independent of the value of the parameter θ. In this study, and in many papers as well in the literature, we refer this quantity as Fisher information [16] . Thus, the Fisher information (FI) of the radial probability density η n ρ ,m (ξ) is defined as We use the second expression for the ease of computation. In Figure 2 , we show the numerically determined values of Equation (8) as a function of the quantum number n ρ . We observe that the information content grows linearly as n ρ gets large, and the slope becomes smaller as |m| becomes large. We note that the higher values of Fisher information mean a stronger localization of the probability density. On the other hand, Figure 3 shows the decreasing behaviors of Fisher information as a function of the azimuthal quantum number |m|. It indicates that states with larger radial quantum numbers have larger information for the same azimuthal quantum number. 

Next, we study the relative Fisher information to see how the excited states differ from a reference state. The relative Fisher information can be a suitable measure of similarity or dissimilarity between two states when one uses Fisher information contained in systems. It is recently applied to study atomic shell structures [23] , atomic ionization processes and isoelectronic series [24] , sinusoidal and gamma-like densities [25] , one-particle densities of (non-)relativistic hydrogenic systems [12, 26] , the Morse potential and isotropic quantum harmonic oscillators [27, 28] , diatomic molecules with the pseudoharmonic potential [27] , the deviation of the Pauli and Weizsäcker kinetic energy densities from the local density approximation [29] , and the derivation of the Euler equation of the orbital-free excited-state density functional theory as a variational problem [30] .

To use relative information, one must first choose the reference state. Here, we measure the relative information between the excited Landau level specified by n ρ and the lowest Landau level n ρ = 0 having the common |m|. This choice is natural, since we have set the ground state of a system as a reference state in the studies of the radial wavefunctions of hydrogen-like atoms in position space [12] , quantum harmonic oscillators [27, 28] , and under some central potentials in both position and momentum spaces [27] . Note that the lowest Landau level wavefunction is widely used in the literature of the quantum Hall effect and various material sciences. Thus, it is expressed as

We note that L (α) 0 (ξ) = 1, thus F(0, α + 1, ξ) = 1. Therefore, from Equation (7), the probability density for the lowest Landau state is η 0,m (ξ) = ξ |m| e −ξ /|m|!. Substituting the probability density Equation (7) into the above definition leads to the calculation of the integral

Noting that the derivative of the generalized Laguerre polynomial with respect to ξ

n−1 (ξ). Thus, from Equation (4), the derivative of the confluent hypergeometric function is given as

Invoking the orthogonality relation for the generalized Laguerre polynomial (p. 1012 in Ref. [31] )

we find that the relative Fisher information is independent of the azimuthal quantum number |m| and is proportional to the principal quantum number:

The absence of |m| in the measure is plausible because one compares two densities with the common m.

We have revealed some striking features of Fisher information and the relative Fisher information on the radial probability density of the free-electron Landau states. First, the Fisher information increases linearly with the principal quantum number, whereas it monotonically decreases with the azimuthal quantum number. Second, relative Fisher information changes linearly in the principal quantum number when one adopts the states with m = 0 as the reference probability density. In this study, we have regarded η n ρ ,m (ξ) as the radial probability density with the rescaled variable proportional to the radial coordinate, that is, ξ = ρ 2 /2a 2 H . A natural alternative that finds the electron in the range [ρ, ρ + dρ] is to use R n ρ ,m (ρ) 2 ρ. In this case, Fisher information is determined in units of a 3 H . More specifically, it is 2 √ 2M n ρ ,m I/a 3 H , where I is the associated integral. We have confirmed that the behavior of the Fisher information as a function of n ρ is essentially the same as Figure 2 ; that is, it linearly grows with n ρ , except that the dependence of m is slight compared to the separated straight lines in this figure. Therefore, to compare the difference in spreading of the radial eigenfunctions, the use of the probability density η n ρ ,m (ξ) is fully valid as a descriptive indicator.

These findings give new insights into the fundamental properties of the Landau states. The choice of the reference probability density for the relative Fisher information is at our disposal. Another possible one is the state with m = 0, that is, η n ρ ,0 (ξ) = e −ξ [L n ρ (ξ)] 2 , where L n ρ (ξ) = L (0) n ρ (ξ) is the Laguerre polynomial. In this case, one must evaluate the integral

which is a challenge both analytically and numerically. In a specific case of n ρ = 0, i.e., η 0,0 (ξ) = e −ξ , we provide the results in Appendix A, where we find that the curves are qualitatively similar to Figures 1 and 2 .

While the amount of Fisher information of the Landau states is independent of the imposed magnetic field in terms of an independent variable ξ = ρ 2 |e|H/2h, the electron energy levels, that is, the Landau levels are inevitably dependent on it and they are provided as [1, 3, 22] 

where ω is the angular frequency of the circular motion in a plane perpendicular to the uniform magnetic field (i.e., cyclotron frequency |e|H/Mc) and p z is the momentum component along the field. This formula indicates that the sign of the azimuthal quantum number matters for the energy of oscillation. However, the wavefunctions corresponding to the Landau states have the index as absolute values. Thus, Fisher information associated with the states degenerates. In other words, apart from the split of the Landau level due to the electron spin, the states with m > 0 have higher perpendicular energy by mhω than the corresponding m < 0 states, while the amount of Fisher information is the same. This asymmetry inherent in the Landau states was also emphasized in the experiment of electron rotations in a magnetic field, where the electrons are found to rotate with three different angular velocities depending on the sign of m or m = 0 [21] .

Equation (14), we note L 0 (ξ) = 1. Then, expanding the integrand and using Equation (11) combined with the relation [L (α)

n−1 (ξ), we can express it as RFI(η n ρ ,m (ξ) : η 0,0 (ξ)) = n ρ ! (n ρ + |m|)!

(

where we have put the integrals, respectively, as

We evaluate these integrals below. Note that similar integrals also appear in calculating relative Fisher information for the D-dimensional isotropic quantum oscillator [28] . There would be several ways to obtain these integrals. Here, we use an integral formula involving the product of two Laguerre polynomials with different integer degrees (p and q) and orders (α and β), which was evaluated by Mavromatis [32] :

where the power exponent satisfies Re(µ) > −1 and ( a b ) denotes the binomial coefficient. As usual, 3 F 2 is a generalized hypergeometric series with three numerator and two denominator parameters.

Integral I 1 : Putting µ = |m| − 2, α = β = |m|, and p = q = n ρ in Equation (A3), we have I 1 = (n ρ + |m|)! |m|!n ρ ! (n ρ + 1)Γ(|m| − 1) 3 F 2 (−n ρ , |m| − 1, −1; |m| + 1, −n ρ − 1; 1).

where |m| = 1.

Integral I 2 :

Putting µ = |m| − 1, α = |m|, β = |m| + 1, p = n ρ , and q = n ρ − 1 in Equation (A3), we have

where 2 F 1 is the Gauss' hypergeometric function. By using the formula for the particular value of unity (p. 1017 in Ref. [31] ),

we find that this factor reduces to (|m| + 1) −1 .

Integral I 3 :

Putting µ = |m|, α = β = |m| + 1, and p = q = n ρ − 1 in Equation (A3), we have I 3 = (n ρ + |m|)! (|m| + 1)!(n ρ − 1)! Γ(|m| + 1) 3 F 2 (−n ρ + 1, |m| + 1, 0; |m| + 2, −n ρ + 1; 1) = (n ρ + |m|)! |m|!n ρ ! |m|!n ρ |m| + 1 .

(A7)

where we have used that the value of 3 F 2 becomes 1 because the one of the numerators vanishes. Combining these results Equations (A4), (A5), and (A7), we obtain the value of RFI(η n ρ ,m (ξ) : η 0,0 (ξ)). Figures A1 and A2 show relative Fisher information Equation (A1) as a function of n ρ and |m|, respectively. In contrast to the constant slope of 4 derived in Equation (13) when one sets the reference density as η 0,m , the linearity depends on both quantum numbers. This dependency is remarkably analogous to the case of the D-dimensional isotropic quantum oscillator, in which the relative Fisher information of the radial wavefunction depends on both the principal quantum number n and the orbital quantum number l [28] . We observe in Figure A1 that for a fixed n ρ , the Landau states with a higher azimuthal quantum number get closer to the exponentially decreasing density. In contrast, the information monotonically decreases as |m| increases as shown in Figure A2 and we also find that for a fixed |m|, the states with a lower n ρ approach the density of the lowest Landau state. 

Bemerkung zur Quantelung des harmonischen Oszillators im Magnetfeld

The diamagnetism of free electron

The dependence of the susceptibility of diamagnetic metals upon the field

Solid State Physics

The fractional quantum Hall effect

Informational Theoretical Approaches to Quantum Chemistry

Theory of statistical estimation

Linear Statistical Interference and Its Applications

Fisher information in D-dimensional hydrogenic systems in position and momentum space

Information measures of hydrogenic systems, Laguerre polynomials and spherical harmonics

Relative Fisher information of hydrogen-like atoms

Fisher information of radial wavefunctions for relativistic hydrogenic atoms

Electron density and Fisher information of Dirac-Fock atoms

Information-theoretic measures for Morse and Pöscl-Teller potentials

Physics from Fisher Information. A Unification

Nonequilibrium thermodynamics and Fisher information: Sound wave propagation in a dilute gas

Rényi entropies and topological quantum numbers in 2D gapped Dirac materials

Rényi-Fisher entropy product as a marker of topological phase transitions

Phase-space Fisher information of 2D gapped Dirac materials

Imaging the dynamics of free-electron Landau states

Couse of Theoretical Physics

Quantitative comparisons among distributions. Application to position and momentum atomic densities

Divergence analysis of atomic ionization processes and isoelectronic series

Jensen divergence based on Fisher's information

Relativistic global and local divergences in hydrogenic systems: A study in position and momentum spaces

Relative Fisher information in some central potentials

Relative Fisher information for Morse potential and isotropic quantum oscillators

Kullback-Leibler and relative Fisher information as descriptors of locality

Relative information in excited-state orbital-free density functional theory

Table of Integrals, Series, and Products

An interesting new result involving associated Laguerre integral results

Appendix A. Relative Fisher Information of Landau States with (n ρ , |m|) with Respect to the Lowest State (0, 0)We calculate the relative Fisher information against the lowest Landau state (0, 0), i.e., RFI(η n ρ ,m (ξ) : η 0,0 (ξ)). This quantity provides how much the probability density of the Landau states deviates from the exponentially decreasing probability density η 0,0 (ξ) = e −ξ . In