Spherical-Symmetry and Spin Effects on the Uncertainty Measures of Multidimensional Quantum Systems with Central Potentials

The spreading of the stationary states of the multidimensional single-particle systems with a central potential is quantified by means of Heisenberg-like measures (radial and logarithmic expectation values) and entropy-like quantities (Fisher, Shannon, Rényi) of position and momentum probability densities. Since the potential is assumed to be analytically unknown, these dispersion and information-theoretical measures are given by means of inequality-type relations which are explicitly shown to depend on dimensionality and state’s angular hyperquantum numbers. The spherical-symmetry and spin effects on these spreading properties are obtained by use of various integral inequalities (Daubechies–Thakkar, Lieb–Thirring, Redheffer–Weyl, ...) and a variational approach based on the extremization of entropy-like measures. Emphasis is placed on the uncertainty relations, upon which the essential reason of the probabilistic theory of quantum systems relies.


Introduction
The central field approximation has been successfully applied to investigate the natural systems not only in the three-dimensional world, but also in multidimensional physics. The central field model of the atom and the Pauli exclusion principle are the fundamental building blocks of the construction principle of Mendeleev's atomic periodic table [1][2][3][4][5][6]. Multidimensional central potentials with a specific analytical form (e.g., power-law, oscillator, Coulomb, van der Waals, Morse, Pöschl-Teller, Hulthen, Woods-Saxon, convex, Yukawa, ...) have been used to interpret a great deal of physical phenomena and chemical processes [7][8][9][10][11][12][13][14][15]. They have been applied to study the behaviour of nanotechnological systems (e.g., quantum dots and wires) and to explain the experiments of dilute systems in magnetic traps at extremely low temperatures [16][17][18], which has allowed for a fast development of a densityfunctional theory of independent particles in multidimensional central potentials [11,19]. The D-dimensional scaling method of Dudley R. Herschbach et al. [6], whose starting point is the high dimensionality limit, is able to describe the physical and chemical properties of finite many-electron systems with an accuracy similar to the self-consistent Hartree-Fock approaches; keep in mind that in both Herschbach and Hartree-Fock methods the average potential which is ultimately diagonalized is spherically symmetric. Moreover, it is commonly believed at present that the idea of higher dimensionalities is the best basis to explain the unification of all forces of physics. Thus, a wealth of physical insight into standard (three-dimensional) systems is being obtained within a framework of higher dimensions in many areas ranging from the theory of atoms and molecules [6] to cosmology (see, e.g., [10]).
In this work we analize the knowledge of the spreading measures of the position and momentum probability densities of a D-dimensional central potential, which control the The structure of the paper is as follows. In Section 2 we examine the knowledge of the stationary wave functions (and the associated quantum densities) of the Schrödinger equation for arbitrary multidimensional central (spherically-symmetric) potentials in both position and momentum spaces. In Section 3 we analyze the multidimensional spreading of a single-particle system subject to a general D-dimensional central potential by means of the dispersion measures of position and momentum types. The associated Heisenberglike and logarithmic uncertainty relations are also examined. In Section 4 we discuss the main properties of the information-theoretical measures (Fisher information [24] and the Shannon [25] and Rényi [27,28] entropies) of the multidimensional quantum states of arbitrary central potentials, which are necessarily of inequality type. Emphasis is made on the associated entropic uncertainty relations. In Section 5 we investigate the combined balance of the space and spin dimensionality effects on the Heisenberg-like uncertainty relation of general fermionic systems, and the space, spin and spherical effects on the Fisher-information-based uncertainty relation of fermionic systems with arbitrary central potentials. This is done by use of integral inequalities of Daubechies-Thakkar and Lieb-Thirring type and variational methods based on the extremization of the entropy-like measures. Finally, in Section 6 some conclusions and open problems are given.

The Multidimensional Problem for Central Potentials
In this section we briefly describe in hyperspherical coordinates the wavefunctions and the associated probability densities for the discrete stationary states of a non-relativistic D-dimensional (D 2) single-particle system subject to a spherically symmetric potential V D (r), where r = |r|, in both position and momentum spaces. Later on, we briefly describe the associated probability densities for the stationary quantum states of the system. Atomic units (i.e.,h = m e = e = 1) are used throughout the paper.

The Wavefunctions
The stationary states of this system are characterized by the wavefunctions given as where (E, Ψ) are the time-independent solutions of the Schrödinger equation where the position vector r = (x 1 , . . . , x D ) = (r, θ 1 , θ 2 , . . . , θ D−1 ) ≡ (r, Ω D−1 ) in Cartesian and hyperspherical units, respectively, so that r ≡ |r| = ∑ D i=1 x 2 i ∈ [0, +∞) and x i = r ∏ i−1 k=1 sin θ k cos θ i for 1 ≤ i ≤ D and with θ i ∈ [0, π), i < D − 1, θ D−1 ≡ ϕ ∈ [0, 2π). Moreover, the symbol ∇ D denotes the D-dimensional gradient operator and its square is a generalized Laplacian operator [20,79,80] which can be expressed as where Λ 2 is a partial differential (non-radial) operator on the unit sphere S D−1 (see e.g., [81,82]) given by This operator, which denotes the D-dimensional generalization of the square of the angular momentum, fulfills the eigenvalue equation where the D − 1 angular hyperquantum numbers (l, {µ}) ≡ (µ 1 , µ 2 , . . . , µ D−1 ) have the integer values l = 0, 1, 2, . . . , and l ≥ µ 2 ≥ . . . ≥ |µ D−1 | ≡ |m| ≥ 0; note that for D = 2 we only have one quantum number l ∈ Z. The symbol Y l,{µ} (Ω D−1 ) denotes the known hyperspherical harmonics of degree l on the unit sphere S D−1 which can be expressed [20,21,83] as n (x), λ > − 1 2 , denotes the (orthonormal) Gegenbauer or ultraspherical polynomial [84] of degree n and parameter λ which satisfies the orthonormality These angular hyperfunctions form an orthonormal set which satisfies the orthonomalization condition so that Thus, they form a standard basis of the irreducible representations of the rotation group SO(D) in the space of the D-dimensional unit sphere with the invariant measure Then, by taking into account Equations (2) and (6), it turns out that the position eigenfunctions of the system are given by where n denotes the radial hyperquantum number, and the angular part of the eigenfunctions are the hyperspherical harmonics Y l,{µ} (Ω D−1 ). The radial position eigenfunction R n,l (r) is known to fulfill the radial equation [21,85] It is often convenient to make the change of variable R n,l (r) → u n,l (r) := r D−1 2 R n,l (r), since then this equation transforms into the reduced radial Schrödinger equation with the effective potential (with the grand quantum orbital quantum number L = l + D−3 2 ), which can be also expressed as This Schrödinger equation describes the one-dimensional non-relativistic movement of the particle subject to the natural force coming from the external potential V D (r) and two additional forces with different physical origin: the centrifugal force associated with a nonvanishing hyperangular momentum, and a quantum fictitious force associated to the quantumcentrifugal potential 1 4 (D − 1)(D − 3) of purely dimensional origin (since it emerges directly from acting with the D-dimensional Laplacian on the wavefunction (11)). The latter potential vanishes for D = 1 and D = 3, and it is negative for D = 2 and positive for D ≥ 4. Moreover, the quantum fictitious force exists irrespective of the hyperangular momentum and has a quadratic dependence on the dimensionality, being attractive (repulsive) for D = 2 (D ≥ 4); see [86][87][88][89][90] for its relevant physical effects. Besides, according to Equation (15), the effective potential V e f f depends on D and l through a special (D + 2l)-combination which explains the Van Vleck's interdimensional-degeneracy phenomenon [91]; this implies e.g., that for an arbitrary potential the energies of the 7-dimensional s states are the same as those of the 5-dimensional p states or the 3-dimensional d states [6,92].
It is worth to highlight that the D-dimensional Schrödinger equation is formally the same as the three-dimensional one but with the grand orbital quantum number L = l + D−3 2 . This shows the existence of an isomorphism [6,93] between the dimensionality and the hyperangular quantum number, so that D → D + 2 is equivalent to l → l + 1. Note, in addition, that the physical solutions of the Schrödinger Equation (9) requires that u(r) tends to zero when r goes to zero and to infinity, and it fulfills ∞ 0 |u n,l (r)| 2 dr = 1, (16) in order that the wavefunctions to be duly normalized: Ψ n,l,{µ} (r) 2 dr = 1, with the D-dimensional volume element dr = r D−1 dr dΩ D−1 ; keep in mind the normalization to unity of the hyperspherical harmonics given by Equation (10). Thus, the physical wavefunctions in the hyperspherical coordinate system (r, θ 1 , θ 2 , . . . , θ D−1 ) are described by the D hyperquantum integer numbers (n, l, {µ}) ≡ (n, µ 1 , µ 2 , . . . , µ D−1 ). In momentum space the wavefunctions for a generic stationary state (n, l, {µ}) of the D-dimensional system are given by ψ(p, t) = Ψ(p) e −iEt , where the momentum eigenfunction Ψ n,l,{µ} (p) can be obtained by means of the Fourier transform of the position eigenfunction (11), giving rise to where p = (p, θ 1 , . . . , θ D−1 ), and the radial momentum eigenfunction M n,l (p) of the system is related to the radial position eigenfunction R n,l (r) through the Hankel transform where J ν (pr) is the Bessel function of the first kind with order ν [84]. Finally, note that Ψ n,l,{µ} (p) 2 dp = 1, with the generalized solid angle element dp = p D−1 dp dΩ D−1 .

The Probability Densities
The position and momentum probability densities of the D-dimensional stationary state (n, l, {µ}) are given by the modulus squared of the two corresponding eigenfunctions as in position space, and in momentum space, where the reduced radial momentum eigenfunction.
is the Hankel transform of the reduced radial position eigenfunction u nl (r).
Here, we are interested in the spatial extension of the electronic position and momentum densities of a D-dimensional single-particle system far beyond the variance. This will be done in the following chapters by means of the dispersion measures (the radial and logarithmic expectation values), the entropy-like measures of local and global character (e.g., Fisher's information, Shannon's and Rényi's entropies).

Dispersion Measures and Heisenberg-Like Uncertainty for Central Potentials
In this section we first give a number of universally-valid inequality-based properties fulfilled by the dispersion measures (i.e., the radial and logarithmic expectation values) of general D-dimensional single-particle systems in position and momentum spaces, and then we study how they get modified for the systems with an arbitrary central potential V D (r). The effects of the spherical symmetry of the potential on these quantities and their properties are explicitly shown by their dependence on the angular hyperquantum numbers (l, {µ}) of the system's states.
The radial and logarithmic expectation values of the D-dimensional probability densities of the stationary state (n, l, {µ}) can be expressed, keeping in mind Equations (20) and (22), as in position space, and ln p = (ln p)γ n,l,{µ} ( p) d p = ∞ 0 (ln p)p D−1 |M n,l (p)| 2 dp (28) in momentum space. For the second equality we have used the normalization condition (10) of the hyperspherical harmonics. These radial and logarithmic quantities are often accessible, at least for D = 3, e.g., by electron scattering and from the experimental Compton profile in position and momentum spaces [94,95] (see also [96] for further references), respectively. We cannot explicitly calculate these quantities because we do not know the analytical expression of the corresponding radial eigenfunctions R n,l (r) and M n,l (p). However, these spreading measures have a number of inequality-based properties. For example, Ray et al. [85] found the following three-term recurrence relation (which holds for α ≥ 2L), where V = dV dr , r 2 V(r) → 0 when r → 0, and C n,l denotes the normalization constant of the radial eigenfunction, which fulfills that C n,l = lim r→0 r −l R n,l = 1 l! d l R n,l d r l .
In particular, C 0 = R n,0 (0) is the value of the radial eigenfunction at the origin. Similar twoand three-term recursion results (and some extensions to off-diagonal radial matrix elements) have been obtained by Dong et al. [13,97]; in particular they have found that Explicit expressions cannot be obtained unless the analytical form of the potential V(r) is given, such as e.g., the oscillator-like quadratic and Coulomb-like hydrogenic potentials [96,98]. However, a number of uncertainty-like inequalities fulfilled by the dispersion quantities (25)- (28) have been derived by a variety of methods. Angulo [99], by means of the maximization method [100] for the position and momentum Shannon entropies of the system in terms of the radial expectation values, found the inequalities (for a, b ≥ 0) which are universally valid (i.e., they hold for all D-dimenional quantum systems); they simplify for a = b = 2 to the familiar D-dimensional form of Heisenberg inequality [101,102] Later, Zozor et al. [50] has improved the uncertainty inequality (31) by using a similar approach based on the Rényi-entropies, obtaining that where α * = α/(2α − 1), D = max 1 2 , D D+a ; 1 , and the functions B(α) and M are given by and respectively, where Ω = 2π d/2 Γ(d/2) and B(x, y) denotes the beta function [84]. The case b ≥ a > 0 can be treated by means of the symmetry, and C(b, a) = C(a, b). The α opt -symmetry provokes that α opt (a, a) = 1 and thus the optimal bound from this Rényi-entropy-based approach coincides with the Shannon-entropy-based bound D(a, b) given by (31) in this case. Unfortunately, except for the case a = b, it does not seem possible to give an analytical expression for C(a, b). Let us also point out that this information-theoretical formulation suffers from the fact that the bound is probably not sharp, and the analytical determination of the minimizers requires a variational approach, not yet done. In addition, from the Pitt-Beckner inequality [103,104] we can also show that the expectation values ( p α , r −α ) satisfy the uncertainty relations [11] which for α = 2 boils down to Moreover, we also have the reciprocal uncertainty-like inequality which extends a number of relations previously found [105,106]; and in the limit α → 0 it supplies the Beckner's logarithmic uncertainty sum [104] ln r + ln p ≥ ψ D 4 + ln 2 (40) where ψ(x) = Γ (x)/Γ(x) is the psi or digamma function. This uncertainty sum is related to the logarithmic uncertainty product by means of the logarithmic uncertainty relation [101] ∆(ln r)∆(ln p) ≥ (proved in Section 4) where the logarithmic standard deviation is given as which illustrates the uncertainty character of the logarithmic sum. In addition, note that the product of (37) and (39) gives rise to the inequality relation The universally valid uncertainty inequalities (31)-(43) can be improved for central potentials as follows. A first way of improvement comes from the observation that for these potentials we have [107,108] that The symbol J R (D) denotes the radial integral where we have used the expression and we have assumed that u nl (r) ∼ r L+1 for r → 0; the latter occurs for r 2 V(r) → 0 when r → 0, and implies that D ≥ 2. Note that Equation (44) and the non-negativity of J R (D) allows one to obtain the inequality valid for D ≥ 2; and p 2 ≥ m 4 r −2 for D = 2. Then, the reciprocity of the position and momentum spaces allows us to obtain the conjugate inequality and (47) and (48) one has the following relation between the Heisenberg-like uncertainty products r 2 p 2 and r −2 p −2 : Similarly, from Equations (44) and (45), one has that which, together with the nonnegativity of this integral functional, gives rise to the inequality and reciprocally, so that it is fulfilled that which improves the uncertainty relations (47)-(49), respectively.
A further improvement for central potentials is obtained [11] by taking into account (50) and optimizing the inequality with respect to λ. Then, one obtains [11] that Then, for β = −1 one obtains that which improves the universally-valid inequality (38) for any specific value of the orbital hypyerquamtum number l, and improves the central-potential inequality (47) (and so, (51) once again). The reciprocal expression is also fulfilled, which generalizes the inequalities (48) and (52) in a similar manner. Moreover, by working out similarly, it also happens for central potentials [11] that with β > −L − 3 2 and D > 1 − β. Then, for β = 0 and 1 one obtains that and [109] respectively. The last two inequalities extend and improve the universally-valid relation r −1 2 of Bialynicki-Birula et al. [89], and the Heisenberg uncertainty relation (49) to all excited stationary states of D-dimensional central potentials, respectively. The expression (60) is the best Heisenberg position-momentum uncertainty relation for central potentials known up until now. See also [110,111] for three-dimensional systems. Moreover, many other uncertainty-like relations encountered for three-dimensional systems are particular instances of the previous general inequalities (55) and (58) for D-dimensional systems (see e.g., [104,[112][113][114][115][116]. In addition, again with the reciprocity property of the position and momentum spaces, the conjugate expressions of the inequalities (55) and (58) straightforwardly follow; for example we have that for D > 1 − β and β > −L − 3 2 ; for β = 0 and 1 and D > 2 we have the expression (60) and the inequality respectively, which generalize to D dimensions various similar three-dimensional inequalities (see e.g., [112,113,116,117]).
Let us now examine the spherical-symmetry effects on the Beckner's logarithmic-sum uncertainty (40). Rudnicki et al. [118] have rigorously shown by means of the Omri's integral inequality [119] that the Beckner's relation (40) gets improved as for central potentials. This inequality allows us not only to improve the logarithmic uncertainty relation (41) based on the logarithmic standard deviation as but also to obtain the Shannon-entropy-based uncertainty relation for central potentials in the next section. Finally, the previous uncertainty inequalities can be still improved for various broad relevant classes of central potentials such as e.g., the convex potentials [120][121][122][123] and the power-law or anharmonic potentials [124][125][126][127][128][129]. This improvement, however, has not yet been done up until now. Explicit values for the radial and logarithmic expectation values have been recently obtained for a few central potentials, such as the hydrogenic-like and the oscillator-like potentials (see e.g., [98,129]).

Information-Theoretical Measures and Entropic Uncertainty for Central Potentials
In this section we discuss the position and momentum information-theoretical entropies of Fisher, Shannon and Rényi types (and their associated uncertainty relations) for ground and excited states (n, l, {µ}) of arbitrary D-dimensional central potentials. They , respectively, where we should keep in mind the expressions (20) and (22) of the quantum densities of the state in the two conjugated spaces. For each information-theoretical measure of the multidimensional quantum states we start giving the universally-valid upper and lower bounds in terms of the radial expectation values and the associated uncertainty relation. Then we show and discuss the improvement of these inequality-based properties for the systems with a central potential by giving their explicit dependence on the state's angular hyperquantum numbers. The dependence on the radial hyperquantum number cannot be given, because the radial eigenfunction is not known since the analytical form of the central potential is assumed to be unknown.
These uncertainty measures are the basic variables of the information theory of quantum systems which constitutes the fundamental pillar of the classical and quantum information and computation [24,26,37,38]. They quantify the global and local spreading of the charge and momentum of the system along the domain of definition of the sphericallysymmetric potential in a much better way that the dispersion measures considered in the previous section. This is partially because the dispersion measures are measures of separation of the region(s) of concentration of the quantum probability cloud from a specific point of the distribution, rather than measures of the extent to which the distribution is in fact concentrated [130]. Information theory [24,26] provides more appropriate local (Fisher information) and global (e.g., Shannon, Rényi and Tsallis entropies) uncertainty measures which do not depend on any particular point of the multidimensional domain of the density.
The Fisher information [22,24] is a local uncertainty measure which quantifies the gradient content of the density, so that it is very sensitive to the fluctuations of the density. The Shannon and Rényi entropies [25,27,28] are global uncertainty measures which quantify the various macroscopic, observable aspects of the spatial extension of the density [39,74].

The Fisher Informations
Here, we begin with the definition of the Fisher information of a multidimensional quantum state in both position and momentum spaces. Then, we give and discuss their upper and lower bounds of universal validity in terms of the position and momentum Heisenberg-like measures. Later the Fisher informations for the quantum states of arbitrary central potentials are considered, and their explicit expressions in position and momentum spaces are given in terms of pairs of radial expectation values p 2 , r −2 and r 2 , p −2 , respectively. Finally, the uncertainty character for the product of the position and momentum Fisher informations is shown for central potentials. Moreover, the associated uncertainty relation is rigorously proved for central potentials and for general D-dimensional quantum states with real-valued position (or momentum) wavefunctions.
The Fisher information for a D-dimensional quantum state with the position probability density ρ(r) is defined [24] by This quantity, which is closely related [64,65] to the Weizsäcker energy , is a local spreading measure of the state's density so that it quantifies the pointwise concentration of ρ. Then, the Fisher information controls the localization of the density around its nodes, appropriately grasping the oscillatory nature of the wavefunctions of the quantum-mechanical states. This confers it a relevant role in the characterization of numerous scientific phenomena of standard and non-standard D-dimensional systems. Moreover, it describes a local uncertainty measure so that the higher this quantity is, the more localized is the density, the smaller is the uncertainty and the higher is the accuracy in predicting the localization of the particle. The corresponding quantity for the momentum density γ(p) is the momentum Fisher information defined as First, these quantities have been found to be bounded from above [131,132] by the expectation values r 2 , p −2 by the Stam uncertainty inequalities for general quantum systems. Second, the position Fisher information of general Ddimensional quantum systems has been variationally shown [65] to be bounded from below as and also as Note that expression (68) is the celebrated Crámer-Rao inequality [26,133], valid for all the stationary states of arbitrary D-dimensional quantum systems, which saturates (i.e., equality is reached) [134] for the density associated with the ground state of the harmonic oscillator in R D . When the domain of the density ρ(r) is bounded, the minimum value of the Fisher information is achieved by the ground state of the quantum box described itself by this domain [134]. The last three inequalities are instances of the general bounds [105,106] and in terms of the two and three radial expectation values r α , respectively. These general expressions, derived by means of Redheffer's integral inequalities of Weyl type [135], extend to D dimensions numerous inequalities obtained in the literature (see e.g., [113]). Third, for central potentials the position and momentum densities of the D-dimensional state (n, l, {µ}) are given by ρ(r) = ρ n,l,{µ} (r) and γ(p) = γ n r ,l,{µ} (p), according to the expressions (20) and (22), respectively. They can be decomposed into two radial and angular parts according to Equations (20) and (22), so that we can show that the corresponding Fisher informations factorize [107] as and respectively, where the common symbol F[Y; D] denotes the angular part given by in both spaces. Then, we have finally the elegant expressions for the position and momentum Fisher informations of D-dimensional central potentials in terms of the pairs of radial expectation values p 2 , r −2 and r 2 , p −2 , respectively. See also [108] for the three-dimensional case and some hydrogenic and harmonic applications. Now, from the last two expressions and the previous inequalities (56)-(57), it is straightforward to obtain the following uncertainty-like relations between the position (momentum) Fisher information and the momentum (position) second-order radial expectation value: and Then, from the last two inequalities and the Stam ones given by (67), one can readily show that the lower and upper bounds for the position and momentum Fisher informations of any D-dimensional central potential are and respectively. Moreover, from relations (77)- (78) one has that the position and momentum Fisher informations of central potentials satisfy [107] the relation which is a clear manifestation of the uncertainty character of the Fisher-information product . Then, from Equations (60) and (81) we finally have the Fisher-informationbased uncertainty relation [109] F  (83) has been rigorously proved for general one-dimensional states with even real-valued wavefunctions [136] and for general D-dimensional quantum states with real-valued position (or momentum) wavefunctions [62]. However, this is not the most universal uncertainty relation expressible as a lower bound to the product of the Fisher measures F[ρ] and F[γ] because the Fisher product F[ρ] × F[γ] can be made arbitrarily small [137]. See also [138], where this problem has been discussed for pure and mixed states.

The Shannon Entropies
Here, we begin with the definition of the position and momentum Shannon entropies of a multidimensional quantum state; then, we show their universally-valid lower and upper bounds by means of the position and momentum Heisenberg-like and logarithmic measures, and the uncertainty character for the sum of the position and momentum Shannon entropies is shown. Later, the Shannon entropy for the quantum states of arbitrary central potentials are considered; it is explicitly shown how the spherical-symmetry effects of the quantum potential improve the associated position-momentum uncertainty relation and the upper bounds of the Shannon entropies in both conjugated spaces. Finally, some open problems are briefly discussed.
The Shannon entropy for a D-dimensional quantum state with the density ρ(r) is defined [25] by This quantity is a global spreading measure of the state's density which does not depend on any particular point of its multidimensional domain. The Shannon entropy, closely connected to the thermodynamical entropy in the case of a thermal ensemble [139], fulfills all the hypotheses of Shannon theorem [25,26] and other important criteria [139,140]. It is worth noting that S[ρ] can have any values in [−∞, ∞], contrary to the differential Shannon entropy, − ∑ i p i ln p i , of a probability on a discrete sample space which is always positive; moreover, S[ρ] can also be undefined. Any sharp peaks in ρ(r) will tend to make S[ρ] negative, whereas positive values fo S[ρ] are provoked by a slowly decaying tail; hence, the Shannon entropy S[ρ] estimates the total multidimensional extent of the density ρ.
Similarly, the momentum entropy is given as where γ(p) denotes the momentum density. These two position and momentum information entropies define uncertainty measures in the following sense: the higher this quantity is, the more delocalized is the density, the higher is the uncertainty and the smaller is the accuracy in predicting the localization of the particle. The sum of these two Shannon entropies is lowerbounded by means of the well-known (Shannon-entropy-based) entropic uncertainty relation conjectured by Everett and Hirschman [141,142] and independently proved by Beckner and Bialynicki-Birula and Mycielski [143,144] which improves [140,144] the standard Heisenberg relation (31). These two entropies have been rigorously shown to be upperbounded. Indeed, it was variationally shown for both three [100] and D-dimensional [101] systems that the entropy S[ρ] is sharply bounded as S[ρ] ≤ A(α, β) + β ln r α + (D − αβ) ln r ; ∀β > 0, α > −D (87) in terms of the expectation values r α and ln r , with This inequality with β = D α provides the upper bound (see also [145]) Then, for α = 2 one has the upper bound so that for a given r 2 the Shannon entropy is maximum for a Gaussian density of covariance matrix R = r 2 D I, where I is the identity matrix. Similar upper bounds can be obtained for the momentum entropy S[γ] in terms of p α and ln p . Thus, we can correlate the position-momentum entropic uncertainty S[ρ] + S[γ] and the Heisenberg product r α p α ; this gives rise in particular the following relation between the Shannon entropic uncertainty and the familiar Heisenberg uncertainty: which emphasizes the uncertainty character of the the Shannon entropic sum and generalizes the corresponding three dimensional result [146]. Similarly, another variational upper bound to S[ρ] and S[γ] can be obtained via logarithmic expectation values; namely, Then, by summing these two expressions and taking into account (41), the relation of the Shannon entropic uncertainty (86) and the logarithmic uncertainty relation follows in a straighforward manner. For central potentials the previous lower and upper bounds to the Shannon entropies can be improved since the position and momentum densities of the D-dimensional state (n, l, {µ}) are given by ρ n,l,{µ} (r) and γ n,l,{µ} (p). This is because both densities can be decomposed into two radial and angular parts according to Equations (20) and (22) respectively, where the position and momentum radial parts of the entropies are given by S(R n,l ) = − r D−1 |R nl (r)| 2 ln |R nl (r)| 2 dr, S(M n,l ) = − p D−1 |M nl (p)| 2 ln |M nl (p)| 2 dp, respectively, and the angular entropy part is given by the entropic functional of the hyperspherical harmonics as Note that, contrary to the radial parts S(R n,l ) and S(M n,l ) which require the knowledge of the corresponding radial eigenfunctions to go ahead, the angular part S Y l,{µ} is under control. This is because the entropy of the hyperspherical harmonics [147,148] can be expressed as with the constant where ψ(z) = Γ (z)/Γ(z) is the digamma function, and S(C This entropy can be expressed by means of the values of the quadratic logarithmic potential of Gegenbauer polynomialsC (λ) n (x) at the polynomial's zeros [147,148]. Note that the angular entropy S[Y l,{µ} ] does not depend on n, and its maximum value is S Y 0,{0} = ln Ω D , which occurs for the S-wave states; that is when (l, {µ}) = (0, 0). So, it is equal to ln(2π) for D = 2, and ln(4π) for D = 3. See [148,149] for further specific details about these integral functionals of the Gegenbauer polynomials and the hyperspherical harmonics.
First, to improve the Shannon-entropy-based uncertainty relation (86) for central potentials we use the expressions (21) and (23) with the constant where S(Y l,{µ} ) is given by Equation (98)- (99). This lower bound depends on the angular hyperquantum numbers (l, {µ}) and the dimensionality D, but not on the principal quantum number n. The latter is because the radial wavefunction is unknown. The comparison of the general bound D(1 + ln π) given by (86) (63) is not sharp enough in this case. See [118] for further details.
To improve the entropic upper bounds (89) and (90) for central potentials we can use the Rényi maximization approach of Costa et al. [150] with a covariance constraint. This has been illustrated by Sánchez-Moreno et al. [151] to improve the upper bound (90) in terms of the expectation value r 2 , obtaining the sharp upper bound where L(Ω D−1 ), which represents the loss of entropy due to the angular part of the state's wavefunction (i.e., it is coming from the hyperpherical harmonics), is given by and . (110) and, of course, sin 2 θ k = 1 − cos 2 θ k . From the last two expressions we observe that there are some special configurations for which the loss of entropy L(Ω D−1 ) vanishes; namely when Note that the first configuration corresponds to the (nS) states; they have spherically symmetric wavefunctions since the angular part (the hyperspherical harmonics) is a constant and thus there is no loss of entropy. The second configuration is the interesting one because the wave function is not spherically symmetric since the magnetic number m is ±2 and the remaining angular hyperquantum numbers µ i of the state have special values. The phenomenon of the vanishing entropy loss in this special non-spherically-symmetric con-figuration of angular numbers is an interesting physical problem, not yet fully understood. Note that for three-dimensional central systems, the previous upper bound simplifies as where the loss of entropy L(Ω 2 ) is since the involved trigonometric expectation values are Note that L(Ω 2 ) = 0 if and only if l = m = 0 (nS-states) or l = 3 and m = ±2. To check the accuracy of the bound (90) and its improvement (112) for central potentials, the mutual comparison of these bounds and the exact position entropy for various bound states of two relevant classes of central potentials has been analytically and numerically examined in detail [62]: the D-dimensional and three-dimensional hydrogenic and oscillator-like systems. It has been found for these three dimensional cases that the general bound (90) and the central bound (112) for l = m = 0 and l = 3, m = 2 have the same values, what confirms the theoretical observation (111). Moreover, for the circular states (l = m) the improvement of the central bound is remarkable, when the spherical harmonics are concentrated around the equatorial region with θ near π/2. The size of the improvement is specially relevant for m = 0 when the spherical harmonics are concentrated around the polar regions with θ near 0 and π. Note that the entropic uncertainty relation (106) and the upper bounds (112) can be further improved for all the stationary states of large, specific classes of central potentials, such as e.g., the power-law potentials, but this is still an open issue up until now. However, for highly-excited states of one-dimensional power-law potentials of the type x 2k with k ∈ N and x ∈ R the asymptotics of the position and momentum Shannon entropies have been determined [129] by means of the WKB approximation. We have found that for highly excited states both position and momentum entropies have a logarithmic dependence on its quantum number not only for both harmonic (k = 1) and anharmonic (k = 1) oscillators.

The Rényi Entropies
Here, we consider the position and momentum properties of the Rényi entropies of a multidimensional quantum state. We show their universally-valid lower and upper bounds by means of the position and momentum Heisenberg-like and logarithmic measures. Then, the uncertainty character for the sum of the position and momentum Rényi entropies is manifested. Later, the Rényi entropies for the quantum states of arbitrary central potentials are examined. First we heuristically argue how the spherically-symmetric effects of the quantum potential improve the associated position-momentum uncertainty relation. Second, we give the rigorous upper bounds of the Rényi entropies for central potentials.
The Rényi entropies for the position probability density ρ(r) are defined [27,28] by They supply a family of entropic measures of quantum states, depending on a real parameter q. The order parameter q allows to vary, by increasing or decreasing its value, the contribution of the probability density over different regions. The higher the value of q the more concentrated is the function [ρ(r)] q around the local maxima of the distribution, while the lower values have the effect of smoothing that function over its whole definition region.
Beyond the monotonicity relations [44] given by (116) (which allows one to lowerbound all the Rényi entropies by means of the second-order entropy as R q [ρ] ≥ 1 2 R 2 [ρ], for q > 0), the most important property of these quantities is the Rényi-entropy-based uncertainty relation given by of general validity for D-dimensional quantum systems which was proved by Zozor, Portesi and Vignat [46] for arbitrary indices, extending the one-dimensional relation previously found by Bialynicki-Birula [47] and Zozor and Vignat [152] for conjugated indices (i.e., when 1 q + 1 q * = 2). See [42] for a review. Therein, we can learn that these uncertainty relations are saturated by the Gaussian distributions.
Moreover, the position and momentum Rényi entropies can be upperbounded. Indeed the maxent problem can provide variational upper bounds to the Rényi entropy R q [ρ] given by (114). It has been found, in particular, that the upper bounds , q > 1, k = 1, 2, ... (118) and with k = 1, 2, · · · so that k < D q (q − 1). The functions L i (q, k, D), i = 1 and 2, are known to have the expressions and where B(x, y) = Γ(x)Γ(y)/Γ(x + y) is Euler's beta function. We have used the variational bounds [153,154] to the entropic moments W q [ρ] = R D [ρ(r)] q dr with a single radial expectation value as constraint. These bounds (118)-(121) extend and generalize (see also [145]) similar bounds obtained in the one-dimensional [155,156] and three-dimensional [157] cases used in various contexts, ranging from finances to atomic physics. In momentum space similar expressions to (118)-(121) can be variationally derived for the corresponding entropies and constraints. In particular, for k = 2 one has [151] the upper bound to the position Rényi entropy, and to the momentum Rényi entropy. Thus, we can obtain in particular that the positionmomentum Rényi entropy sum and the position-momentum Heisenberg uncertainty r 2 p 2 are related as which emphasizes the uncertainty character of the position-momentum Rényi entropy sum and generalizes the corresponding three dimensional result [146] to D dimensions. For central potentials, the Rényi entropies have not yet been explicitly obtained by means of the state's hyperquantum numbers for reasons similar to the Shannon case. Indeed, in this case the Rényi entropies for an arbitrary D-dimensional state characterized by the position and momentum probability densities ρ n,l,{µ} (r) and γ n,l,{µ} (p) are given, according to Equations (21) and (23), by where the symbols R q [u n,l ], R q * [ũ n,l ] and R q [Y l,{µ} ] denote the position and momentum radial and angular Rényi entropies for D-dimensional quantum state (n, l, {µ}), respectively. The radial Rényi entropies are given by in position and momentum spaces, respectively, and the angular Rényi entropies are given by with the entropic moments of the hyperspherical harmonics [158] where the normalization constant N l,{µ} is given by Note that, according Equations (7) and (130)- (132), the hyperspherical harmonics Y l,{µ} (Ω D−1 ) and consequently the angular Rényi entropies R q [Y l,{µ} ] do not depend on the principal hyperquantum number n but they do depend on the the angular hyperquantum numbers and the dimensionality D. Moreover, the integral functionals involved in (131) are the Rényilike functionals of the Gegenbauer polynomials, which are under control since they can be analytically calculated by two recent methodologies: one based on the Srivastava's linearization method [159] and another one based on the combinatorial Bell polynomials [160].
To improve the Rényi-entropy-based uncertainty relation (117) for central potentials we take into account the expressions (21) and (23) of the position and momentum densities, respectively, so that the sum of the position and momentum Rényi entropies can be expressed as Recently, it has been heuristically found that (whose validity conditions have not yet been established) with the constant Then, by combining the last three expressions we finally have the Rényi-entropy-based position-momentum uncertainty relation for quantum systems with a central potential as This heuristic uncertainty relation gives a lower bound for the sum of the position and momentum Rényi entropies by means of the angular hyperquantum numbers (l, {µ}). Despite this relation does not depend on the analytical form of the central potential, it is not valid for all central potentials for the reason mentioned above. However, it has been numerically shown to be fulfilled by various large classes of qualitatively different central potentials such as e.g., the oscillator and hydrogenic-like potentials. Moreover, in the limits (q → 1, q * → 1) one realizes that the uncertainty inequality (135) which improves the rigorous position-momentum Shannon-entropy-based uncertainty relation for central potentials given by (107). The lower bound (136) is always larger or equal to the general lower bound (86); so, even when l = 0, where the latter bound failed because a logarithmic uncertainty-like inequality used for its derivation is not sharp enough. Nevertheless, the rigorous proof of the heuristic position-momentum Rényi-entropy based uncertainty relation (135) or, at least its validity conditions, remains an open problem for the future.
To improve the entropic upper bounds (122)-(124) for central potentials the Rényi maximization procedure of Costa et al. [150] can be used again to find [151] the following sharp upper bound in terms of the expectation value r 2 : where the spherical-symmetry entropy effects of the potential are contained in the quantity L(Ω D−1 ), which represents the loss of entropy due to the angular part of the state's wavefunction, is given by Equation (109). For the three-dimensional quantum systems with a central potential, this expression boils down as where L(Ω 2 ) is given by the expression (113) which only depends on the quantum numbers (l, m) which control the spherical harmonics Y l,m involved in the three dimensional wavefunction of the system. Then, the inequalities (137) and (138) provide the improvement to the general position Rényi-entropy upper bounds given by (122) because of the spherical symmetry of the potential for the D and two-dimensional quantum systems, respectively. It has been found [62] that the general and central position upper bounds coincide for l = m = 0 and l = 3, m = 2 in accordance to the theoretical result (111). The improvement of the bound, as given by the loss of entropy L(Ω 2 ) is independent of the specific form of the potential. Thus, the best improvement occurs for the cases l = m and m = 0. Similar improvements follow for the momentum upper bounds (124) in terms of the second-order radial expectation value p 2 , so that we have the sharp inequality Then, the position-momentum Rényi entropy sum and the position-momentum Heisenberg uncertainty r 2 p 2 are related as for central potentials with dimensionality D ≥ 3.

Spin Effects on the Heisenberg and Entropic Uncertainty Relations of Multidimensional Quantum Systems
Now we examine the present knowledge of the spin effects on the general and central uncertainty relations of Heisenberg and entropic types for single-fermion systems with spin s. Particularly, by use of the Daubechies-Thakkar and Lieb-Thirring inequalities, we show the spin effects on the Heisenberg uncertainty relations given by expressions (32) and (60), and on the Fisher-information-based uncertainty relations given by expressions (81)- (83). It remains open the investigation of the spin effects of uncertainty inequalities of Shannon (see (86), (91), (106), (136)) and Rényi (see (117), (125), (135)) types.
To obtain the spin-dependent Heisenberg uncertainty relations we begin with the Daubechies-Thakkar uncertainty inequality [67,95,161] of the momentum radial expectation value of order k and the position entropic moment of order 1 + k D : where k > 0, q = 2s + 1 is the number of spin states, and Lieb (see e.g., [162]) previously conjectured the case k = 2 in Equation (141); later, weaker versions of it were rigorously proved [163]. Moreover, Daubechies [161] rigorously proved this inequality with constant Other authors have published some rigorous D-dimensional bounds of the same type [164,165] with much less accuracy. Then, the combination of the lower bound (141) to the momentum expectation value p k and the variational bounds (118) to the involved position entropic moments [153,154] allows us to find [67,166] the following spin-dependent Heisenberg-like uncertainty relations for single-fermion systems: with where Ω D = 2π D/2 Γ(D/2) is the volume of the unit hypersphere. This uncertainty relation, which holds for any single-fermion systems with space dimensionality D and spin dimensionality q = 2s + 1, was previously found for k = 2 by means of the Lieb-Thirring inequality [166]. Then, for α = k = 2, one has that This generalized (space-spin) uncertainty relation shows a delicate balance of the space and spin dimensionality effects to the position-momentum Heisenberg uncertainty, so that the bound (145) is better (worse) than the spinless bound D 2 /4 = 0.25 D 2 when D is small (large), respectively. Indeed, note that the bound (145) increases when the space dimensionality is increasing, thus the uncertainty relation gets improved; and for large values of D, the bound (145) behaves as D 2 /e 2 = 0.1353 D 2 . Let us also highlight that for a given D-dimensional single-fermion system, the uncertainty relation is less accurate when the spin dimensionality of the system increases. Moreover, one trivially obtains the spin-dependent Heisenberg uncertainty relation for all three-dimensional single-fermion systems where the equality is reached for the harmonic oscillator [167]. Then, the spin-dependent Heisenberg uncertainty for electronic systems (s = 1/2) is r 2 p 2 ≥ 1.85733 × 2 −2/3 = 1.17005.
In addition, uncertainty relations similar to Equation (145), at times with better accuracy, have been recently found [168] by means of a variational procedure based on the extremization of various information-theoretical measures which allows us to determine an extremum-entropy or least-biased distribution compatible with the known data. Indeed, the combination of the Daubechies-Thakkar momentum lower bound (141) with the position entropic moments of the maximizer solution ρ S (r) of the Shannon MaxEnt problem with the constraints ( r 0 = 1, r α ) has allowed us to find with α > 0, k > 0. Then, one has for three-dimensional single-electron systems (d = 3 and q = 2) the following uncertainty-like relation which for the particular case α = 2 and k = 2, gives which clearly improves the previous bound 1.17005. Finally, similar bounds obtained with this Shannon MaxEnt procedure [169][170][171][172] and with extremization methods associated to other information-theoretical measures (Fisher information, Tsallis entropies [173,174]) [168] have been found by various authors for a large number of atoms and molecules.
To obtain the spin-dependent Fisher-information-based uncertainty relations we use the inequalities (81) and (145), giving rise to which is the spin-modified expression for the general Fisher-information-based uncertainty relation F[ρ] × F[γ] ≥ 4D 2 already mentioned [62]. Note that the bound (151) behaves as 16e −2 D 2 = 2.16536 D 2 for large D. Then, here again, it is manifest the delicate balance of the space and spin dimensionality effects which makes the lower bound (151) to be better (worse) than the spinless bound when D is small (large). In addition, we observe that the lower bound to the position-momentum Fisher-information-based uncertainty increases when the space dimensionality is increasing; and it decreases when the spin dimensionality is increasing, so that the spin effects worse the uncertainty relation, especially when the space dimensionality decreases. Finally, for the standard (D = 3) systems we obtain the uncertainty relation F[ρ] × F[γ] ≥ 9 × 6 2/3 (2s + 1) −2/3 for all three-dimensional fermionic systems. So, for electronic systems (s = 1 2 ), one has F[ρ] × F[γ] ≥ 3 8/3 = 2.1810.

Conclusions and Open Problems
Spherical symmetry is one of the most frequent and useful approximations to simplify and solve the Schrödinger equation of quantum systems. In higher dimensions, this approximation often provides a deeper quantitative insight into the quantum structure and dynamics of three-dimensional systems, and in many cases allows for the conceptual understanding of physics in a transparent and intuitive way. Moreover, the solutions of the wave equations of complex physical systems within this approximation are very valuable tools for checking and improving complicated numerical methods used.
Here, we have investigated and reviewed the spatial extension of the D-dimensional stationary states of arbitrary central potentials by means of various spreading quantities of global (radial and logarithmic expectation values, Rényi and Shannon entropies) and local (Fisher information) type. Attention has been focussed on the improvements of the Heisenberg-like and the information-theoretical measures of the associated position and momentum densities because of the spherical symmetry effects of the multidimensional potential and the spin effects of the fermionic system under consideration.
The results have been shown in the form of inequality-based relations because the analytical form of the central potential is not known. In particular, the spherical-symmetry effects on the upper bounds of the Heisenberg-like (radial expectation values) and entropylike (Fisher, Shannon, Rényi) spreading measures and on the associated uncertainty relations have been examined and discussed, showing their explicit dependence on the angular hyperquantum numbers. In addition, the delicate balance of the space and spin dimensionality effects on the mathematical formulations of the position-momentum uncertainty principle based on the Heisenberg-like measures and the Fisher information has been investigated and discussed.
Let us now mention a few open issues which have been identified. First, the improvement of the Heisenberg-like and entropy-like uncertainty relations for various broad relevant classes of potentials such as e.g., the convex potentials and the power-law or anharmonic potentials. Second, the dependence of the Rényi and Shannon uncertainty relations on the space and spin dimensionality effects; it seems that we could obtain it in our scenario provided the Rényi and Shannon uncertainty sums are expressed in terms of the Heisenberg uncertainty product, but this has not yet been found to the best of our knowledge. Third, the formulation of the quantum uncertainty principle by means of the position and momentum Fisher informations.
Finally, it would be interesting to extend a similar study to other classical entropy-like entropies (such as the Tsallis entropies and Salicrú-like extensions [175,176]) and their quantuminformation generalizations (von Neumann, quantum Fisher, quantum Rényi, quantum Tsallis and extensions [177]) which play a prominent role in classical nonequilibrium thermodynamics [174] and modern quantum technologies (see e.g., [77,78]), respectively.