Improvement of the Heisenberg and Fisher-information-based uncertainty relations for D-dimensional central potentials

The Heisenberg and Fisher-information-based uncertainty relations are improved for stationary states of single-particle systems in a D-dimensional central potential. The improvement increases with the squared orbital hyperangular quantum number. The new uncertainty relations saturate for the isotropic harmonic oscillator wavefunction.


2
Institute of Physics ⌽ DEUTSCHE PHYSIKALISCHE GESELLSCHAFT

Introduction
A most important role for the quantum-mechanical description of the internal structure of physical systems in D-dimensional spaces ([1]- [4] see also references herein) as well as for the development of the quantum information and computation ( [5,6] see also references herein) is played by uncertainty relations. There is not only the celebrated Heisenberg inequality [7,8] given by and its moment generalizations [1], but also other similar relations based on more appropriate uncertainty quantities such as information-theoretic measures like, in a chronological way, the Fisher information [9,10] and the Shannon [11,12], Renyi [13,14] and Tsallis [15,16] entropies. The corresponding uncertainty relations, which are more stringent than the Heisenberg one, have been shown in [17,18], [19]- [23], [1,24] and [25] for the Fisher, Shannon, Renyi and Tsallis measures, respectively. In this study, the attention is centred around the Heisenberg and the Fisher-information-based uncertainty relations. The Fisher information for a quantum-mechanical state of a single-particle system characterized by the probability density ρ( r) in the D-dimensional position space is defined by where ∇ D denotes the D-dimensional gradient [26,27]. The corresponding quantity for the momentum-space probability density γ( p) will be denoted by I γ .
Unlike the rest of the information-theoretic measures published in the quantum literature, the Fisher information has a local character due to the gradient operator. The higher this quantity, the more concentrated the density and the smaller the position uncertainty of the particle [10,28]. This information quantity has been used for a wide variety of quantum-mechanical concepts and phenomena: to describe the kinetic [29,30] and Weiszäcker [31,32] energies, to characterize correlation properties of two-electron systems [33,34] and to identify the most distinctive nonlinear spectroscopic phenomena (avoided crossings) of atomic systems in strong external fields [35]. Moreover, the Fisher information is the basic element of the principle of extreme physical information [10,36], which has been used to derive various fundamental equations of quantum physics [10,37].
The uncertainty relation associated with the Fisher information for general systems (i.e., I ρ I γ constant) is not yet known despite the fact that it is the earliest found information measure [9]. Recently, two contributions to find the general Fisher uncertainty relation have been made. First, the inequality I ρ I γ 4 has been proved for general monodimensional systems with even wavefunctions [38]. Moreover, some authors [17,18] have found for stationary states of D-dimensional single-particle systems with a central potential V D (r) with the orbital and magnetic hyperangular quantum numbers l and m, respectively.

3
Institute of Physics ⌽ DEUTSCHE PHYSIKALISCHE GESELLSCHAFT Our aim, not yet been undertaken, is to improve the Heisenberg relation (1) for stationary D-dimensional central potentials and to refine the Fisher-information-based relation (2). The only related effort published in the literature, to the best of our knowledge, is the computation of the Heisenberg uncertainty product for various specific three-dimensional (3D)central potentials [39]. In section 2, the D-dimensional central force problem is briefly described and some concepts and notation are explicitly presented. Then, the aforementioned D-dimensional uncertainty relations are proved and examined in detail for some prototype systems in section 3. Finally, conclusions and some open problems are given. Atomic units are used throughout the paper.

The D-dimensional problem for central potentials
The wavefunctions which describe the quantum-mechanical states of a particle in the The symbol r is the D-dimensional position vector of the particle having the Cartesian can be expressed [18,26,27,40] as D−1 being the D-dimensional generalization of the squared angular momentum operator, which only depends on the D − 1 angular coordinates D−1 of the D-dimensional sphere in the form This operator is known to fulfil [26,27] 2 where the Y-symbol describes the hyperspherical harmonics characterized by the D − 1 hyperangular quantum numbers (l ≡ µ 1 , µ 2 , µ 3 , . . . , µ D−1 ≡ m) ≡ (l, {µ}), which are natural numbers with values l = 0, 1, 2, . . ., and l ≡ µ 1 µ 2 . . . µ D−2 |µ D−1 | ≡ |m|. These mathematical objects obey the orthonormalization condition As usual, to eliminate the first derivative, the reduced radial wavefunction is used. Then, the previous equation reduces to a 1D Schrödinger equation in the coordinate r: where the grand orbital quantum number L is given by where the orthonormalization condition (6) of the hyperspherical harmonics has been taken into account. For completeness, let us underline that the reduced radial Schrödinger equation of any D-dimensional problem for central potentials, see (7), is the same as for D = 3 but with the orbital angular momentum given by L according to (8). This essentially indicates that there exists an isomorphism between the dimensionality D and the orbital quantum number [41], so that D → D + 2 is equivalent to l → l + 1.
Finally, let us also point out that the kinetic energy T is Then, since T = p 2 /2, a simple integration by parts leads to which is used in the next section. The symbol f(r) denotes the expectation value

5
Institute of Physics ⌽ DEUTSCHE PHYSIKALISCHE GESELLSCHAFT

Heisenberg and Fisher-information-based uncertainty relations for central potentials
Here, for states with an orbital hyperangular quantum number corresponding to a D-dimensional single-particle system with any spherically-symmetric potential, we shall show that the Heisenberg-type uncertainty relation is fulfilled, and the Fisher-information-based uncertainty relation (2) is improved by To obtain (12) we start from an inequality [42] related to the reduced radial Schrödinger equation (7), modified in the form with u El ≡ u El (r) and λ being an arbitrary parameter. Taking into account (9)- (11) and that ∞ 0 ru El (r)u El (r) dr = − 1 2 , this expression transforms into the quadratic inequation in λ: whose discriminant is necessarily negative. This observation leads in a straightforward manner to which yields the sought Heisenberg inequality (12) once we take into account (8) which defines the grand orbital quantum number L. Then, the use of expression [18] I ρ I γ 16 which clearly manifests the uncertainty character of the product of the Fisher informations in position and momentum spaces, together with (12) naturally produces the relation (13).
Let us now discuss the new inequalities (12) and (13). Firstly, we observe that for s states both of them reduce to the general known ones (1) and (2), respectively; so, no improvement is achieved. However, the enhancement is notorious for states with l > 0 growing as l 2 .

6
Institute of Physics ⌽ DEUTSCHE PHYSIKALISCHE GESELLSCHAFT Secondly, both inequalities saturate, i.e. the equality is achieved, for nodeless isotropic harmonic oscillator wavefunctions (e.g. the ground state) as shown below. Indeed, for the oscillator potential V(r) = ω 2 r 2 /2 (mass = 1) one has [18] and with the grand principal quantum number η = n + (D − 3)/2 = 2n r + L, l = 0, 1, 2, . . ., and n r = 0, 1, 2, . . ., being the number of nodes of the wavefunction. So, the Heisenberg and Fisherinformation-based uncertainty products for the oscillator case are respectively, which are equal to the new lower bounds (12) and (13) for n r = 0; otherwise they have a larger value growing with n 2 r . Thirdly, for hydrogen atom V(r) = −1/r, one has [18] for the Heisenberg case, and for the Fisher-information-based case. Notice that since n l + 1, then η L + 1, the values of the two uncertainty products are larger than the corresponding lower bounds given by (12) and (13), respectively. Finally, the Heisenberg uncertainty product has the same value for the states of D-dimensional systems with hyperangular momentum l + 1 and for the states of (D + 2)dimensional systems with hyperangular momentum l, according to the isomorphism previously mentioned.

7
Institute of Physics ⌽ DEUTSCHE PHYSIKALISCHE GESELLSCHAFT

Conclusions and open problems
Starting from an inequality directly associated to the radial Schrödinger equation, we have found the Heisenberg uncertainty relation for time-independent D-dimensional central potentials, and we have refined the recently discovered Fisher-information-based uncertainty relation for such systems. These improvements follow a l 2 -law, where l is the orbital hyperangular quantum number of the particle. In particular, these inequalities have been studied for the harmonic oscillator and the Coulomb potentials obtaining that they saturate for the oscillator ground state.
These results suggest various important open problems: to find the uncertainty relations based on the Renyi and Tsallis information measures, and the Cramer-Rao uncertainty inequality for central potentials and, most importantly, to derive a Fisher-information-based uncertainty principle for general systems. It would be an uncertainty relation of the same category, in the quantum-mechanical literature, as the Heisenberg [7] and entropic (Shannon) [23] ones.