You are on page 1of 9

What is the limit →0 of quantum theory?

U. Klein

Citation: Am. J. Phys. 80, 1009 (2012); doi: 10.1119/1.4751274


View online: http://dx.doi.org/10.1119/1.4751274
View Table of Contents: http://ajp.aapt.org/resource/1/AJPIAS/v80/i11
Published by the American Association of Physics Teachers

Related Articles
Matrix Numerov method for solving Schrödinger’s equation
Am. J. Phys. 80, 1017 (2012)
Spontaneous symmetry breakdown in non-relativistic quantum mechanics
Am. J. Phys. 80, 891 (2012)
Understanding the damping of a quantum harmonic oscillator coupled to a two-level system using analogies to
classical friction
Am. J. Phys. 80, 810 (2012)
Relation between Poisson and Schrödinger equations
Am. J. Phys. 80, 715 (2012)
Comment on “Exactly solvable models to illustrate supersymmetry and test approximation methods in quantum
mechanics,” Am. J. Phys. 79, 755–761 (2011)
Am. J. Phys. 80, 734 (2012)

Additional information on Am. J. Phys.


Journal Homepage: http://ajp.aapt.org/
Journal Information: http://ajp.aapt.org/about/about_the_journal
Top downloads: http://ajp.aapt.org/most_downloaded
Information for Authors: http://ajp.dickinson.edu/Contributors/contGenInfo.html

Downloaded 18 Oct 2012 to 140.78.3.112. Redistribution subject to AAPT license or copyright; see http://ajp.aapt.org/authors/copyright_permission
What is the limit h fi 0 of quantum theory?
U. Kleina)
Institute for Theoretical Physics, University of Linz, A-4040 Linz, Austria
(Received 12 January 2012; accepted 23 August 2012)
An analysis is made of the relation between quantum theory and classical mechanics, in the context of
h ! 0. Several ways in which this limit may be performed are considered. It is shown that
the limit 
Schr€odinger’s equation for a single particle moving in an external potential V does not, except in
special cases, lead, in this limit, to Newton’s equation of motion for the particle. This shows that
classical mechanics cannot be regarded as emerging from quantum mechanics—at least in this
sense—upon straightforward application of the limit h ! 0. VC 2012 American Association of Physics Teachers.
[http://dx.doi.org/10.1119/1.4751274]

I. INTRODUCTION stand this singular limit. In fact, the paper has been written
with the idea in mind to provide an in-depth answer to a stu-
Dirac’s famous book1 on quantum theory states that dent’s question concerning the mathematical details of the
“…classical mechanics may be regarded as the limiting case transition from Eq. (1) to Eq. (2). The questions how to per-
of quantum mechanics when h tends to zero.” In quantum form a limit and how to characterize the relations between dif-
mechanics, a single particle in an external potential is ferent (related) physical theories are closely connected to the
described by Schr€
odinger’s equation, basic question of how to characterize physical theories them-
" #
3   selves. We take a pragmatic position with respect to this ques-

h@ h2 X
 @ 2 tion and characterize a physical theory simply by the set of its
 þ Vðx; tÞ wðx; tÞ ¼ 0: (1)
i @t 2m k¼1 @xk predictions. This leads automatically to a reasonable definition
of limit relations between different physical theories.
Thus, Dirac’s statement would imply that Newton’s second We start by discussing, in Sec. II, two well-understood
law, concrete limiting relations between two pairs of classical
physical theories. These classical limiting relations, referred
d d @Vðx; tÞ  to as standard limit and deterministic limit, define possible
mrk ðtÞ ¼ pk ðtÞ; pk ðtÞ ¼   ; (2)
dt dt @xk x¼rðtÞ meanings of the phrase “the limit h ! 0” in QT. The term
“deterministic limit” is closely related to the notion of a
should follow from Schr€odinger’s equation in the limit “deterministic theory” used in this paper. The latter is (in
h ! 0.
 contrast to an “indeterministic theory”) able to make deter-
Nobody has ever performed a general exact calculation ministic predictions (with probability 1) on single events. In
showing that Eq. (1) implies Eq. (2) in the limit h ! 0. This other words, the predictions of a deterministic theory can be
conflict leads frequently to the statement that this limit can- verified in single experiments, in contrast to experiments on
not be understood in such a simple way. But this answer is statistical ensembles, which are required to verify predictions
not really satisfying. The attitude of the scientific community of an indeterministic theory. In this context, the term proba-
with regard to this point—which is extremely important for bilistic is a synonym for indeterministic. Note that an inde-
the interpretation of quantum theory (QT) as well as for terministic theory is, as a rule, based on deterministic
more general questions such as the problem of reduction- equations, i.e., on equations whose solutions at a time t are
ism—is somewhat inconsistent. On the one hand, Dirac’s uniquely determined by initial values at an earlier time t0 . It
dictum—which has been approved by other great physi- is the physical meaning of the variables that makes a theory
cists—is considered to be true. On the other hand, it cannot deterministic or indeterministic.
be verified. Since the beginnings of QT, a never-ending se- In Sec. III, we use the variables introduced by Madelung
ries of works deal with this question, but the deterministic to obtain the standard limit of QT, previously found by
limit of QT, in the sense of the above general statement, has Rosen,5 Schiller,6 and others. In Sec. IV, we derive the deter-
never been attained. Frequently, isolated “classical proper- ministic limit of the standard limit of QT. We find that
ties” which indicate asymptotic “nearness” of deterministic Ehrenfest’s relations, which have not been taken into account
physics, or structural similarities (such as those between in previous treatments,5,7–10 provide the missing link
Poisson brackets and commutators) are considered as a sub- between the standard limit (field) theory and the trajectory
stitute for the limit. The point is that in most of these papers equations of Newtonian mechanics (NM). In Sec. V, we
(see, e.g., Refs. 2–4 to mention only a few) the question investigate the deterministic limit of QT and conclude that
“what is the limit h ! 0 of quantum theory?” is not studied. this limit does not exist. In Sec. VI, we try to reconstruct the
It is taken for granted that the final answer to this question states of NM from QT by combining the deterministic limit
has already been given (by Dirac and others) and the remain- and the standard limit. In this way, we are indeed able to
ing problem is just how to confirm or illustrate it by concrete identify a class of (three) potentials and states that allow for
calculations. But none of these attempts is satisfying. a transition from QT to NM in the limit h ! 0. These
In the present paper, the question formulated in the title include among others the coherent states of the harmonic os-
will be studied without knowing the answer. A detailed step- cillator.11 In Sec. VII, we try to extend this process to arbi-
by-step style of exposition has been chosen in order to under- trary potentials. The obtained results are discussed and

1009 Am. J. Phys. 80 (11), November 2012 http://aapt.org/ajp C 2012 American Association of Physics Teachers
V 1009

Downloaded 18 Oct 2012 to 140.78.3.112. Redistribution subject to AAPT license or copyright; see http://ajp.aapt.org/authors/copyright_permission
interpreted in Sec. VIII and the final conclusion is drawn in • The probabilistic version and NM belong to fundamentally
Sec. IX. different epistemological categories. NM is a deterministic
theory. The probabilistic version is a probabilistic (inde-
terministic) theory; predictions about individual events
II. TWO EXAMPLES OF LIMIT RELATIONS IN cannot be made because the initial values for individual
CLASSICAL PHYSICS particles are unknown.
As our first example we consider the relation between rel- The absence of a new fundamental constant prevents a
ativistic mechanics and NM. As is well known, in relativistic simple transition between the two theories as found in our
mechanics a new fundamental constant, the speed of light c, first example. Nevertheless, a kind of limit relation can be
appears, which is absent (infinitely large) in NM. Otherwise, established by means of appropriate (singular) initial values.
the mathematical structures of both theories are similar. The A probability density that is sharply peaked at t ¼ 0 retains
basic equations of relativistic mechanics differ from Eqs. (2) its shape at later times. Inserting the Ansatz
only by factors of c, which depend on v/c and disappear
(reduce to 1) if c becomes large: qðx; p; tÞ ¼ dð3Þ ðx  rðtÞÞ dð3Þ ðp  pðtÞÞ (6)
rffiffiffiffiffiffiffiffiffiffiffiffiffi
v2 into Eq. (5), it is easily shown that admissible particle trajec-
c ¼ 1  2; lim c ¼ 1: (3) tories rk ðtÞ; pk ðtÞ are just given by the solutions of Newton’s
c c!1
equations (2). Thus, NM can be considered as a limit theory
The relation between relativistic mechanics and NM may be of the probabilistic version in the sense that the manifold of
summarized as follows: solutions of a properly (with regard to singular initial values)
generalized version of the probabilistic version leads to NM.
• Both theories have the same mathematical structure: ordi- This limit relation is weaker than the one encountered in our
nary differential equations for trajectories. A new funda- first example, because there is no mapping of individual sol-
mental constant c appears in relativistic mechanics. utions. By allowing for singular solutions we have essen-
• The limit 1=c ! 0 transforms the basic equations of rela- tially constructed the union of the deterministic theory NM
tivistic mechanics into the basic equations of NM; the and the original probabilistic version of NM; it is then no
same is true for the solutions of these equations. surprise that the generalized probabilistic version theory con-
We see that relativistic mechanics and NM provide a perfect tains NM as a special case. Considered from a formal point
realization of a limit relation (NM is the limit theory of relativ- of view, however, the (generalized) probabilistic version is a
istic mechanics) or a covering relation (relativistic mechanics perfect covering theory since its manifold of solutions is
is the covering theory of NM). The significant feature is the larger than that of NM. We shall refer to the kind of limit
appearance of a new fundamental constant, which allows for a relation found in this second example as a deterministic limit
transition between two different theories of the same mathe- relation.
matical type. We will refer to the type of limit relation encoun-
tered in this first example as standard limit relation. III. THE STANDARD LIMIT OF QUANTUM
Our second example concerns the relation between NM THEORY
and a probabilistic version of NM, which can be constructed
according to the following well-known recipe. We consider Let us now compare QT and NM [Eqs. (1) and (2)] in the
a phase space probability density qðx; p; tÞ and assume that light of the above examples. The two theories obviously differ
the total differential of q vanishes: in their mathematical structures; this indicates the possibility
to obtain NM from QT by means of a deterministic limiting
@q @q @q process. However, in addition, a new fundamental constant
dqðx; p; tÞ ¼ dxk þ dpk þ dt ¼ 0: (4) (h) appears in QT; this indicates the possibility to obtain NM
@xk @pk @t
from QT by means of a standard limiting process. Thus, the
limiting process that leads from QT to NM is either nonexis-
This means that q is assumed to be constant along arbitrary
tent or more complex than either of the above examples.
infinitesimal changes of xk ; pk ; t. Next, we postulate that the
Let us try, as a first step, to perform the standard limit of
movement in phase space follows classical mechanics, i.e.,
QT, as defined by the first example in Sec. II. Taking the
we set dxk ¼ ðpk =mÞdt and dpk ¼ ð@V=@xk Þdt. This leads
limit h ! 0 in Eq. (1) produces a nonsensical result. This
to the partial differential equation (Liouville equation)
indicates that the real and imaginary parts of w are not appro-
@q pk @q @V @q priate variables with regard to this limiting process, probably
þ  ¼ 0; (5) because they become singular in the limit h ! 0. Thus, a dif-
@t m @xk @xk @pk
ferent set of dynamical variables, with regular behavior in
the limit, should be chosen. There is convincing evidence,
which has to be solved by choosing initial values qðx; p; 0Þ
from various physical contexts, that appropriate variables,
for the new dynamical variable qðx; p; tÞ. The relation
denoted by q and S, are defined by the transformation
between the probabilistic version (of NM) and NM may be
summarized as follows: pffiffiffi iS=h
w¼ qe : (7)
• The probabilistic version and NM have different mathe-
matical structures; the probabilistic version is ruled by a This transformation has been introduced by Madelung.12
partial differential equation, NM by an ordinary differen- Note that using these variables in a meaningful limiting pro-
tial equation. No new constant appears in the probabilistic cess requires that the modulus of w remains regular while its
version. phase diverges like h1 for small h. This singular behavior,

1010 Am. J. Phys., Vol. 80, No. 11, November 2012 U. Klein 1010

Downloaded 18 Oct 2012 to 140.78.3.112. Redistribution subject to AAPT license or copyright; see http://ajp.aapt.org/authors/copyright_permission
which was noted very early,13 is the behavior of the majority IV. THE DETERMINISTIC LIMIT OF THE
of “well-behaved” quantum states. Other, more singular, STANDARD LIMIT OF QUANTUM THEORY
states may, however, behave in a different manner and will
then require a different factorization in terms of h. This may The deterministic limit of the classical limit PHJ of QT is
also lead to different equations in the limit h ! 0; an exam- of considerable interest for the present problem, despite the
ple will be given in Sec. VI. fact that the PHJ no longer contains h. Existence of a deter-
In terms of the new variables, Schr€odinger’s equation ministic limit implies that qðx; tÞ takes the form of a delta
takes the form of two coupled nonlinear differential equa- function peaked at trajectory coordinates rk ðtÞ [which, hope-
tions. The first is a continuity equation which does not con- fully, should then be solutions of the classical Eqs. (2)].
tain 
h, Thus, adopting a standard formula, we may write qðx; tÞ as
an analytic function
@q @ q @S
þ ¼ 0: (8)  3=2 ( )
@t @xk m @xk 1 1X 3
2
q ðx; tÞ ¼ exp  ½xk  rk ðtÞ ; (11)
p  k¼1
The second equation contains h as a proportionality factor in
front of a single term:
  pffiffiffi which represents dð3Þ ðx  rðtÞÞ under the integral sign in the
@S 1 X @S 2 h2 D q limit  ! 0:
þ þV pffiffiffi ¼ 0: (9)
@t 2m k @xk 2m q
lim q ðx; tÞ ¼ dð3Þ ðx  rðtÞÞ: (12)
Equation (9) is referred to as quantum Hamilton-Jacobi !0
equation (QHJ). The h-dependent “quantum term” in Eq. (9)
describes the influence of q on S. (It is frequently denoted as In order to check whether or not this deterministic represen-
“quantum potential,” which is an extremely misleading no- tation of qðx; tÞ is compatible with the basic equations of
menclature because a potential is, as a rule, an externally PHJ, we insert the Ansatz (11) into the continuity equation
controlled quantity.) Its physical meaning, as interpreted by (8) and calculate the derivatives. After some rearrangement,
the present author, has been discussed in more detail Eq. (8) takes the form10
elsewhere.14    
h ! 0 the quantum term disappears. Thus, the
In the limit  @Sðx;tÞ  @ @
q ðx;tÞ ½xk  rk ðtÞ pk ðtÞ  þ S ¼ 0;
standard limit of QT is given by two partial differential equa- @xk 2 @xk @xk
tions: the continuity equation (8), which depends on q and S,
(13)
and the Hamilton-Jacobi (HJ) equation,
 
@S 1 X @S 2 where pk ðtÞ ¼ m_v k ðtÞ. At this point, we recall that in the PHJ
þ þ V ¼ 0; (10) a momentum field pk ðx; tÞ, defined by
@t 2m k @xk

which depends only on S. The two Eqs. (8) and (10), which @Sðx; tÞ
pk ðx; tÞ ¼ (14)
will be referred to as probabilistic Hamilton-Jacobi theory @xk
(PHJ), constitute the classical limit of Schr€odinger’s equa-
tion or single-particle QT. Clearly, this limit does not agree exists. The trajectory momentum pk ðtÞ should be clearly dis-
with the trajectory equations (2) of NM. tinguished from this field momentum pk ðx; tÞ.
Much confusion has been created by the fact that the In the limit  ! 0; q becomes a distribution and both
Hamilton-Jacobi formulation of classical mechanics allows sides of Eq. (13) have to be integrated over three-
the determination of particle trajectories with the help of the dimensional space in order to obtain a mathematically well-
HJ equation. From the fact that this equation can be obtained defined expression. The first term in the bracket vanishes
from QT in the limit h ! 0 it is often concluded, neglecting as a consequence of the term xk  rk ðtÞ (at this point we start
the continuity equation, that classical mechanics is the h ! 0 to disagree with Ref. 10). The second term vanishes too for
limit of QT. However, the limit h ! 0 of QT does not pro-  ! 0 provided the second derivative of S is regular at
vide us with the theory of canonical transformations, which  ¼ 0. But this can safely be assumed since the equation for
is required to actually calculate particle trajectories. Note S does not contain q. We conclude that the singular
also that for exactly those quantum-mechanical states that (deterministic) Ansatz (11) is a valid solution of PHJ for
are most similar to classical states (e.g., coherent states, see arbitrary S.
Sec. VI), the classical limit of QHJ differs from HJ. There is The present theory is incomplete since differential equa-
in fact a connection between the PHJ and NM, but this tions for the particle trajectories rk ðtÞ still have to be found.
requires a second limiting process, as will be explained in Generally, two conditions must be fulfilled in order to define
Sec. IV. particle coordinates in a probabilistic theory, namely, (i) the
Both the PHJ and its (standard) covering theory QT are limit of sharp (deterministic) probability distributions must
probabilistic theories, which provide statistical predictions be a valid solution, and (ii) an evolution law for the time-
(probabilities and expectation values) if initial values for S dependent expectation values must exist. We have just
and q are specified. Although we now have partial differen- shown that the first (more critical) condition is fulfilled;
tial equations, the relation between QT and PHJ resembles in Ehrenfest-like relations corresponding to the second condi-
essential aspects the relation between relativistic mechanics tion exist in almost all statistical theories. For the PHJ these
and NM. take exactly the same form as in QT, namely,15,16

1011 Am. J. Phys., Vol. 80, No. 11, November 2012 U. Klein 1011

Downloaded 18 Oct 2012 to 140.78.3.112. Redistribution subject to AAPT license or copyright; see http://ajp.aapt.org/authors/copyright_permission
d pk V. THE DETERMINISTIC LIMIT OF QUANTUM
xk ¼ ; (15)
dt m THEORY
d @Vðx; tÞ In QT, the coupling term in QHJ [see Eq. (9)] prevents a
pk ¼  ; (16) deterministic limit of the kind found for the PHJ. To see this,
dt @xk
we start from the assumption that a quantum mechanical sys-
tem exists that admits a solution of the form of Eq. (11) for
where average values such as xk are defined according to the arbitrary t. Inserting Eq. (11) into Eqs. (8) and (9) leads to
standard expression two equations. The first is the continuity equation, which
ð takes the same form (13) as before. The second is the QHJ,
which takes the form
xk ðtÞ ¼ d3 x qðx; tÞ xk : (17)
 
@S 1 X @S 2
þ
From Eq. (15) and the continuity Eq. (8), we obtain the use- @t 2m k @xk
ful relation  ( X
)
1 h 2 3
2
þVþ 3  ½xk  rk ðtÞ ¼ 0:
ð 2m 
@Sðx; tÞ k¼1
pk ðtÞ ¼ d3 x qðx; tÞ : (18) (22)
@xk
Equation (22) shows that the coupling term diverges (for
Since we have shown that the deterministic limit for q is a finite h) in the limit  ! 0. Consequently, there is no reason
valid solution of PHJ, we may now use Eq. (12) and obtain to expect that the second derivative of S with respect to xk
in the limit  ! 0 the identification of trajectory quantities, [see Eq. (13)] is regular at  ! 0 and that a delta-function-
like qðx; tÞ, as given by Eq. (11), can be a solution of Eqs.
xk ðtÞ ¼ rk ðtÞ; pk ðtÞ ¼ mr_ k ðtÞ ¼ pk ðtÞ; (19) (8) and (9). Thus, the deterministic limit of QT (if it exists)
cannot be obtained in the same way as in the PHJ.
from the definitions of the expectation values. The differen- We next consider several concrete solutions of QT that
tial relations connecting these quantities follow from Ehren- lead to probability densities similar to Eq. (11). As a first
fest’s theorem and agree with the basic Eqs. (2) of NM. A example, we consider an ensemble of free particles that are
completely different type of physical law has emerged from distributed at t ¼ 0 according to a probability density (11)
the field theoretic relations of the PHJ theory. Thus, classical centered at rk ð0Þ ¼ 0 [set rk ðtÞ ¼ 0 in Eq. (11)]. The initial
mechanics is, indeed, contained in PHJ as a deterministic value for S(x, t) is given by Sðx; 0Þ ¼ p0;k xk , i.e., S(x, t) ful-
limit, in analogy to the second example of Sec. II. fills at t ¼ 0 the deterministic relation (20). These initial val-
Equation (18) takes in this limit the form ues describe for small  a localized, classical particle in the
sense that there is no uncertainty with respect to position or
@Sðx; tÞ  @SðrðtÞ; tÞ momentum. A calculation found in many textbooks leads to
pk ðtÞ ¼  ¼ ; (20)
@xk x¼rðtÞ @rk ðtÞ the following solution of Schr€odinger’s equation for q:
 32 ( )
which provides an interesting link between a particle vari- 1 1 X 3
2
able and a field variable. We expect for consistency that this qðx; tÞ ¼ exp  ½xk  rk ðtÞ ;
link admits a derivation of the equation for p_ [see Eqs. (2)] pAðtÞ AðtÞ k¼1
from the (field-theoretic) HJ equation. This is indeed the (23)
case. We calculate the derivative of the HJ equation (10)
with respect to xi , change the order of derivatives with where mrk ðtÞ ¼ p0;k t and AðtÞ ¼ Af ðtÞ ¼ ½1 þ ðh=Þ2
respect to xi and t, and project the resulting relation on the ðt=mÞ2 . We see from Eq. (23) that the peak of q moves in
trajectory points xk ¼ rk ðtÞ. This leads to the equation agreement with NM, but the width of the wave packet
increases with increasing time as well as with decreasing .
@  @SðrðtÞ; tÞ 1 @SðrðtÞ; tÞ @ 2 SðrðtÞ; tÞ A complete localization can be achieved only at t ¼ 0. At
 þ
@t 2: @ri ðtÞ m @rk ðtÞ @ri ðtÞ@rk ðtÞ later times, the quantum uncertainty, due to the finite h, dom-
@VðrðtÞ; tÞ inates the behavior of the ensemble completely, despite our
þ ¼ 0; (21) choice of “deterministic” initial conditions.
@ri ðtÞ As a second example, we consider an ensemble of par-
ticles moving in a harmonic oscillator potential VðxÞ
where the notation indicates that the time derivative operates ¼ ðmx2 =2Þxk xk , using exactly the same initial conditions as
on the second argument of S only. Using now Eq. (20) and in the above example of force-free motion. The result for q
the definition of particle momentum, we see that the first two takes the same form as for the force-free ensemble [see
terms of Eq. (21) agree exactly with the (total) time deriva- Eq. (23)], but with mrk ðtÞ ¼ ðp0;k =xÞsinxt and
tive of pi ðtÞ and Eq. (21) becomes the second Newton equa-
"  2 #
tion. This establishes the connection between the PHJ
2 1 h 2
equations and trajectory differential equations mentioned in AðtÞ ¼ Ah ðtÞ ¼  cos xt þ 2 2 sin xt : (24)
Sec. III and completes our treatment of the deterministic mx 
limit of the PHJ theory. This derivation of NM seems to be
new; it is based on several interesting papers5,7–10 reporting The width Ah ðtÞ increases again with decreasing  and pre-
important steps in the right direction. vents again a deterministic limit. We mention, without going

1012 Am. J. Phys., Vol. 80, No. 11, November 2012 U. Klein 1012

Downloaded 18 Oct 2012 to 140.78.3.112. Redistribution subject to AAPT license or copyright; see http://ajp.aapt.org/authors/copyright_permission
into details,17 that a third example showing the same behav- respectively. Using the same initial conditions as in Sec. V,
ior can be found, namely, an ensemble of particles moving the solutions for q and S of Eqs. (8) and (9) take essentially
under the influence of a constant force. the same form in both cases, namely,
The three examples considered in this section correspond ( )
 
to three potentials proportional to xnk , where n ¼ 0, 1, 2. For 1 3=2 1 X 3

these potentials, the expectation values of the corresponding qðx; tÞ ¼ exp  ½xk  rk ðtÞ2 ;
pðtÞ ðtÞ k¼1
forces fulfill the relation Fk ðxÞ ¼ Fk ðxÞ. Therefore, equations
of motion for xk and pk exist as a consequence of Ehrenfest’s (26)
theorem. Despite these classical features, even these
“optimal” states do not permit a deterministic limit of QT. m _ ðtÞ X
3
1
Sðx; tÞ ¼ ½xi  ri ðtÞ2  pk ðtÞrk ðtÞ þ pk ðtÞxk
We conclude, in agreement with common wisdom, that this 4 ðtÞ i¼1 2
limit does not exist.
X3
 ri ðtÞ
 tan1 :
VI. THE COMBINED LIMIT OF QUANTUM i¼1
2k kp i ðtÞ
THEORY (27)
Let us summarize what has been achieved so far. In Sec.
The solutions (qf ; Sf ) and (qh ; Sh ) for particle ensembles in
III, the limit  h ! 0 has been taken for arbitrary quantum
force-free regions and linear-force fields may be obtained
states (including wave packets with fixed width ). The result
from Eqs. (26) and (27) by using different widths ðtÞ ¼
of this first “standard limiting process” was a classical statis-
f ðtÞ and ðtÞ ¼ h ðtÞ, given by
tical theory referred to as probabilistic Hamilton-Jacobi
theory (PHJ). In Sec. IV, the limit  ! 0 of PHJ has been  
t2
taken. The result of this second “deterministic limit” was f ðtÞ ¼  1 þ 2 2 ;
Newtonian mechanics (NM). Therefore, NM is a subset of k m

the classical limit PHJ of quantum theory (QT), but NM is 2 1 2
h ðtÞ ¼  cos xt þ 2 2 2 sin xt ; (28)
not the classical limit of QT, since we cannot neglect almost k m x
all of the (statistical) states of PHJ. Thus, the two limiting
ðf Þ
processes performed in this order have not led us from QT to and different trajectory components rk ðtÞ ¼ rk ðtÞ and rk ðtÞ
ðhÞ
NM in the sense that NM can be said to be the classical limit ¼ rk (as well as momentum components pk ðtÞ ¼ mr_ k ðtÞ),
h ! 0 of QT. In Sec. V, it has been shown that inverting the
 given by
order of the two limiting processes (first  ! 0 then h ! 0)
does not solve the problem either since the limit  ! 0 (with ðf Þ p0;k ðhÞ p0;k
rk ðtÞ ¼ t; rk ¼ sin xt: (29)

h fixed) does not exist. The two limiting processes clearly do m mxt
not commute. Thus, it is impossible to obtain NM as the
classical limit of QT, no matter which order of the two (sepa- As Eq. (28) shows, both widths are time-dependent; for the
rate) limiting processes is chosen. free-particle ensemble the width increases quadratically,
Fortunately, we have still the option to combine both lim- while for the bounded motion of the harmonic oscillator it
its. That is, we could assume that the width of the wave varies periodically. However, both widths vanish in the limit
packets is a monotonic function of h. This means that the  ! 0 for arbitrary (finite) times t. This means that the deter-
localization of wave packets (the deterministic limit) and the ministic probability density we were looking for is, in fact,
change of the basic equations of QT (the standard limit) take created in this limit. The solutions for S are well-behaved at
place simultaneously in the limit h ! 0. Such states seem ar-  ¼ 0. The limiting process in the continuity equation (8) can
tificial from the point of view of experimental verification be performed in a similar way as in Sec. IV (an additional
since the numerical value of h is not under our control. term due to the time dependence of ðtÞ is regular at  ¼ 0).
Nevertheless, a construction of NM from QT along these The remaining steps—the derivation of Newton’s equations
lines would certainly provide a kind of justification for Dir- and their field-theoretic derivation from the QHJ—can be
ac’s claim that QT reduces to NM in the limit h ! 0. Note performed in the same way as in Sec. IV. Note also that the
also that the subject of our study is essentially of a formal na- QHJ is regular at  ¼ 0 and differs in this limit from the HJ
ture. We are asking whether or not all predictions of NM can equation [cf. the discussion following Eq. (7)]. In view of a
be obtained, by means of some limiting process h ! 0, from recent discussion,18,19 it should be noted that this field-
the basic equations of QT. There are no in-principle con- theoretic limit is not equivalent to its projection on the
straints on how to perform this limit. trajectory.
A brief look at the above examples for A(t) shows that a The above solutions, with  and h considered as independ-
linear relation between h and  seems most promising. Thus, ent parameters (as in Sec. V), have been reported many times
we set in the literature. It has also been pointed out that the special
value  ¼ h=mx, in the harmonic oscillator example, pro-
 ¼ k
h; (25) duces the coherent states found by Schr€odinger.11 On the
other hand, the relevance of the weaker statement  ¼ kh for
where k is an arbitrary constant. In order to use a notation the classical limit problem has apparently not been recog-
similar to that in Sec. IV [see Eq. (11)],  will be used instead nized. It is not necessary to restrict oneself to the coherent
of h as small parameter; it may be identified with h in most states of the harmonic oscillator (the special case k ¼ 1=mx)
of the following relations. Let us perform the identification in order to obtain deterministic motion; the latter may be
(25) for the two examples considered in Sec. V, with poten- obtained for a much larger class of force-free states, har-
tials VðxÞ ¼ Vf ðxÞ ¼ 0 and VðxÞ ¼ Vh ðxÞ ¼ ðmx2 =2Þxk xk , monic oscillator states, and constant-force states (this last

1013 Am. J. Phys., Vol. 80, No. 11, November 2012 U. Klein 1013

Downloaded 18 Oct 2012 to 140.78.3.112. Redistribution subject to AAPT license or copyright; see http://ajp.aapt.org/authors/copyright_permission
ð
example has not been discussed explicitly) as shown above. ðdetÞ ðdetÞ
Summarizing this section, we found three potentials Fk ðrÞ ¼ d3 x dð3Þ
 ðx  rÞFk ðxÞ; (30)
VðxÞ  xn ; n ¼ 0; 1; 2, which allow for a derivation of NM
ðdetÞ
from QT in the limit h ! 0. For these potentials, equations where Fk ðxÞ ¼ @V ðdetÞ ðxÞ=@xk . The quantity qðx; tÞ has
of motion for x k ; p k exist, as mentioned already. Home and been renamed dð3Þ  ðx  rðtÞÞ in order to show the convolution-
Sengupta20 have shown that for these potentials the form of type structure of the equation. Note that Eq. (30) is only for
the quantum-mechanical solution may be obtained with the  > 0 a constraint for V ðdetÞ ðxÞ. It is easy to see that a particu-
help of the classical Liouville theorem. lar solution is given by V ðdetÞ ðxÞ ¼ a þ bk xk þ ci;k xi xk , where
the coefficients may depend on time. This is essentially a lin-
ear combination of the three deterministic potentials
VII. CAN THE COMBINED LIMIT BE PERFORMED xn ; n ¼ 0; 1; 2, found already in the last section. According to
FOR ALL POTENTIALS? a theorem by Titchmarsh21 (a simple proof may be obtained
with the help of the theory of generalized functions;22 see the
We know now that three potentials exist which, for prop- Appendix), other solutions of Eq. (30) do not exist. This theo-
erly chosen initial wave packets, lead to deterministic equa- rem shows that the “combined limit” cannot be performed for
tions of motion in the limit h ! 0. We shall refer to such all potentials. Although the present treatment does not cover
potentials for brevity as deterministic potentials. A (com- all conceivable physical situations, the results obtained so far
plete) reconstruction of NM from QT requires that all (or imply already definitively that the limit h ! 0 of QT does not
almost all) potentials are deterministic. In this section, we generally agree with NM.
ask if this can be true.
As a first point, we note that the probability density qðx; tÞ VIII. DISCUSSION
of all deterministic wave packets takes, by definition, a very
specific functional form, namely, one that reduces, like Eq. In our first limiting procedure, which is appropriate for
(26), in the limit h ! 0 to a delta function. This fixes essen- “well-behaved” quantum states, we found that QT agrees in
tially one of our two dynamic variables; we have two differ- the limit h ! 0 with a classical statistical theory referred to
ential equations for a single unknown variable S(x, t). It as PHJ. The latter contains as a limiting case the determinis-
seems unlikely that this overdetermined system of equations tic states ruled by NM. Let us stress once again that the fact
admits solutions for S(x, t) for arbitrary potentials V. that these deterministic states are contained in QT does not
The second point to note is that the existence of a deter- mean that NM is the limit of QT. This limit is PHJ, which
ministic limit fixes not only the functional form of q but also contains a much larger number of (probabilistic) states not
its argument. Let us assume that a deterministic solution for belonging to NM. In a second attempt, the limit h ! 0 was
q and S, with qðx; tÞ taking the form of Eq. (26) with unspe- simultaneously applied to the wave-packet width and in the
cified ðtÞ, exists. The probability density qðx; tÞ depends basic equations. We found that almost all states do not admit
necessarily on ~ x ~r ðtÞ, where the position vector ~ r ðtÞ is a a transition from QT to NM in the limit h ! 0.
solution of Newton’s equation for the same potential V(x) Our final result is then that NM cannot be obtained from
that occurs in the Schr€odinger equation. The crucial point is QT, at least by means of a mathematical limiting process
that this dependence is not created by the limiting process h ! 0. This result has been obtained in the framework of
h ! 0 but is already present for finite h, in the exact
 standard QT using the Schr€odinger picture to describe the
quantum-mechanical solution. For given initial conditions, it quantum dynamics. One may ask whether this conclusion is
has been created, so to say, by the quantum-theoretical for- specific for these choices, or remains true for other dynami-
malism. This implies that ~ r ðtÞ describes for finite h not the cal pictures, such as the Heisenberg picture, and for other
time dependence of a particle trajectory but of a position ex- formulations of QT, such as Feynman’s path-integral formu-
pectation value. Since ~ r ðtÞ is (again for finite h) the solution lation. Recall that the present approach is (as discussed in
of Newton’s equations, such equations for expectation values Sec. I) solely based on predictions, i.e., the numerical output
must already be present in the quantum-theoretical formal- of the quantum theoretical formalism. These numbers do not
ism. Of course, in the deterministic limit h ! 0 the differ- depend on a particular picture of quantum dynamics. They
ence between particle trajectories and expectation values are also independent from the choice of a particular formula-
vanishes, but the important point is that Newton’s equations tion of QT since all formulations of QT must lead to the
must hold already for finite h. We conclude that the existence same predictions.
of the equations of motion of NM for position expectation Let us illustrate the last point with a discussion of the
values is a necessary condition for the existence of determin- path-integral formulation of QT.23 The central quantity of
istic potentials. this approach, the propagator, is an infinite sum of terms of
This line of reasoning leads to a mathematical condition the form expiS=h, where S is the classical action and each
for deterministic potentials. Let us assume that we have a term in the sum is to be evaluated along a different path
deterministic potential V ðdetÞ ðxÞ in our quantum-theoretical between the initial and final space-time points x0 and x1 . In
h finite) problem. We calculate the expectation value xk ðtÞ
( the classical limit h ! 0 the dominating contribution to the
as defined by Eq. (17) using the deterministic probability sum comes from the classical path between x0 and x1 , which
density Eq. (26). We obtain xk ðtÞ ¼ rk ðtÞ, i.e., the expecta- extremizes S. The fact that this path obeys the differential
tion value follows the time dependence of the trajectory [the equations (2) of NM is sometimes interpreted in the sense of
peak of qðx; tÞ]. The latter must fulfill Newton’s equation a transition from QT to NM, which the path-integral formu-
with the force derived from V ðdetÞ ðxÞ; otherwise the deter- lation reveals in a particular rigorous and straightforward
ministic limit could not exist. Using these facts in Ehren- way. Such an interpretation is not justified. The form of the
fest’s equations, Eqs. (15) and (16), we obtain immediately propagator says nothing about whether or not a particle is
the integral equation for deterministic potentials really present at the initial space-time point x0 ; it tells us just

1014 Am. J. Phys., Vol. 80, No. 11, November 2012 U. Klein 1014

Downloaded 18 Oct 2012 to 140.78.3.112. Redistribution subject to AAPT license or copyright; see http://ajp.aapt.org/authors/copyright_permission
what will happen given that a particle occupies the point x0 The classical limit of QT is the PHJ, a classical statistical
with certainty. The second variable of QT, the probability theory defined by Eqs. (8) and (9). The limit h ! 0 trans-
density q, must also be taken into account; it enters the initial forms a quantum probabilistic theory into a classical proba-
state and makes the final state uncertain despite the deter- bilistic theory. The behavior of the uncertainty relation
ministic form of the propagator. A general classification illustrates this conclusion in a simple way. For h ! 0 it takes
scheme for probabilistic theories, taking the different roles the form
of initial values and evolution equations into account, has
been reported recently.16 It is a general feature of classical Dx Dp  0; (31)
statistical theories that the time evolution in the event space
(configuration or phase space) is deterministic and the which means that in the classical limit the uncertainty prod-
impossibility of making deterministic predictions (on single uct is in general different from zero; a detailed comparison
events) is solely due to uncertainty in the initial values. This has been reported by Devi and Karthik.26 Almost all states of
classical feature is also visible in the phase-space theory PHJ will show uncertainties; the equality sign in Eq. (31)
defined by Eq. (5) and (though in a less explicit way) in the just indicates that the transition to the deterministic limit (as
configuration-space theory PHJ [see Eqs. (8) and (10)]. It is performed in Sec. IV) is not forbidden.
this feature, and not the transition from QT to NM, that is The classical limit plays an important role in the pro-
most explicit in the path-integral formalism. The classical longed discussion about the proper interpretation of QT. In
limit of Feynman’s version of QT is equivalent to the classi- the years after the discovery of QT, a number of dogmas
cal limit of Schr€odinger’s version of QT (the PHJ), since were established, which have been repeated since then so
both versions are equivalent. many times that they are considered today as “well-
Our final result is in disagreement with Dirac’s statement established” scientific facts. One of these dogmas states that
quoted at the beginning of our study. Dirac discusses the “QT provides a complete description of individual particles.”
problem of the classical limit in Section 31 of his book. He It is hard to understand how a probabilistic theory could pro-
formulates the following general principle: vide a “complete” description of individual events. But one
For any dynamical system with a classical analogue, a should first analyze the possible meanings of the term
state for which the classical description is valid as an approx- “complete.” A detailed analysis shows that this term is am-
imation is presented in quantum mechanics as a wave biguous.27 It may mean “no better theory exists” (metaphysi-
packet,… so in order that the classical description be valid, cal completeness) or “all facts that can be observed can be
the wave packet should remain a wave packet and should predicted” (predictive completeness). The still prevailing
move according to the laws of classical dynamics. We shall (Copenhagen) standard interpretation claims that QT is com-
verify that this is so. plete in both respects. Einstein, Podolsky, and Rosen (EPR),
The following calculation is intended to show that such a showed that QT is predictive-incomplete.28 In the last para-
wave packet always exists. Unfortunately, a systematic inves- graph of their paper,28 the authors expressed their belief that
tigation of different classes of potentials or initial values is not QT is metaphysical-incomplete. EPR’s proof of predictive
performed. Instead, Dirac imposes several conditions for the incompleteness was correct and could not be attacked, so
considered wave packets, formulated verbally or in the form metaphysical incompleteness was attacked instead. The EPR
of inequalities, which he assumes to be true for arbitrary paper was misinterpreted as if the authors had claimed they
potentials but which need not necessarily be true. He arrives had proven metaphysical incompleteness. Further conse-
at the canonical equations of motions for the peaks of suppos- quences of this misinterpretation are discussed elsewhere.27
edly arbitrary wave packets. In reality, these conditions The important point to note is that metaphysical complete-
impose strong restrictions on the forms of initial values and ness is a philosophical term; physics can test only predictive
potentials and can be fulfilled only in a few very special cases. completeness (by comparison with observation). Thus, let us
Quantum-mechanical solutions for the three “deterministic concentrate on the question of predictive completeness of
potentials,” where Ehrenfest’s relations agree with NM, are QT; in the remaining part of this section the term complete-
often used to demonstrate so-called “classical behavior” of ness will be used in this sense.
wave packets. It should be borne in mind that this behavior is The fact that NM does not emerge from QT, at least in the
not generic but represents the exception(s) from the rule. sense of the mathematical limit h ! 0, presents a painful ob-
After the discovery of QT, the community was shocked by stacle to the completeness dogma. Every statistical theory,
the breakdown of NM in the microscopic world and it whether classical or quantum, is unable to predict individual
seemed inconceivable that NM should not even survive as events and is therefore, by its very definition, incomplete.
the classical limit of QT. Schr€odinger, like Dirac, considered How can quantum theory be complete if its classical limit is
this as evident, and wrote at the end of his famous paper incomplete? In order to eliminate this problem, Bohr created
about coherent states:11 the “correspondence principle.” It postulates that quantum
We can definitely foresee that, in a similar way, wave states become similar to states of NM for large values of
groups can be constructed which move round highly quan- S=h. However, this principle is not in agreement with the
tized Kepler ellipses and are the representation by wave structure of Schr€odinger’s equation. For large S=h the quan-
mechanics of the hydrogen electron. tum term in Eq. (9) becomes negligibly small and QT
The coherent states of the harmonic oscillator have been becomes similar to PHJ and not to NM; similarity with NM
generalized to arbitrary potentials in various ways,24 but requires in addition a sharply peaked q. The breakdown of
none of these generalizations admits a clear transition to the Bohr’s correspondence principle in concrete situations has
classical (deterministic) limit. Special attention was, of been reported many times in the literature; see, e.g., Cabrera
course, devoted to the Coulomb potential, but despite intense and Kiwi29 and Diamond.30
research, Schr€ odinger’s idea could not be realized and this Let us finally discuss the logical implication leading from
chapter has apparently already been closed.25 Eq. (1) to Eq. (2), at the very beginning of the present paper,

1015 Am. J. Phys., Vol. 80, No. 11, November 2012 U. Klein 1015

Downloaded 18 Oct 2012 to 140.78.3.112. Redistribution subject to AAPT license or copyright; see http://ajp.aapt.org/authors/copyright_permission
a)
from the point of view of the interpretation of QT. If Eq. (1) Electronic mail: ulf.klein@jku.at
1
really presents a (complete) description of a single electron, P. A. M. Dirac, The Principles of Quantum Mechanics, 4th ed. (Oxford
U.P., Oxford, 1958), p. 88.
then the fact that the complete classical description, Eq. (2), 2
V. Allori and N. Zanghi, “On the classical limit of quantum mechanics,”
follows from Eq. (1) in the limit h ! 0 seems to be evident, Found. Phys. 39, 20–32 (2009).
not for mathematical but for interpretational reasons. But we 3
E. G. P. Rowe, “Classical limit of quantum mechanics (electron in a
have mathematically shown that Eq. (2) does not follow magnetic field),” Am. J. Phys. 59, 1111–1117 (1991).
4
from Eq. (1). Thus, the premise in the above interpretation of R. F. Werner and M. P. H. Wolff, “Classical mechanics as quantum
the implication “Eq. (1) ! Eq. (2)” cannot be true, i.e., the mechanics with infinitesimal h,” Phys. Lett. A 202, 155–159 (1995).
5
assumption that Eq. (1) provides a (complete) description of N. Rosen, “The relation between classical and quantum mechanics,” Am.
J. Phys. 32, 597–600 (1964).
a single electron cannot be true. Therefore, our result pro- 6
R. Schiller, “Quasi-classical theory of the nonspinning electron,” Phys.
vides an argument in favor of the statistical interpretation,31 Rev. 125, 1100–1108 (1962).
which claims that QT provides a complete description not of 7
J. Cohn, “Quantum theory in the classical limit,” Am. J. Phys. 40,
single particles but of statistical ensembles only. 463–467 (1972).
8
M. D’Ariano, F. Shao-Ming, E. Have, and B. C. Hiesmayr, “The two lim-
its of the Schr€ odinger equation in the semi-classical approximation,” in
IX. CONCLUSION Foundations of Probability and Physics—6, edited by M. D’Ariano et al.
(AIP Conference Proceedings, Melville and New York, 2012), p. 318; see
This work has compared the predictions of QT for vanish-
also e-print arXiv:1107.0790 [quant-ph].
ing h with the predictions of NM. Generally, the predictions 9
D. H. Kobe, “Comments on the classical limit of quantum mechanics,”
of a physical theory are a logical consequence of (a) the Am. J. Phys. 42, 73–74 (1973).
mathematical form of its basic equations, and (b) the set of 10
H. Nikolic, “Classical mechanics without determinism,” Found. Phys.
initial values. Both aspects have been studied in this work, in Lett. 19, 553–566 (2006).
11
order to take into account all possible ways to obtain predic- E. Schr€odinger, Collected Papers on Wave Mechanics, 3rd ed. (Chelsea
tions of NM from QT in the limit h ! 0. This comparison Publishing, New York, 1982), p. 41.
12
E. Madelung, “Quantentheorie in hydrodynamischer Form,” Z. Phys. 40,
has been performed for the simplest and most significant sit- 322–326 (1926).
uation of single particles in external potentials. Our conclu- 13
J. H. Van Vleck, “The correspondence principle in the statistical interpre-
sion is that NM does not emerge from QT, at least in the tation of quantum mechanics,” Proc. Natl. Acad. Sci. U.S.A 14, 178–188
sense of the straightforward application of the limit h ! 0. (1928).
14
This mathematical result should be taken into account in U. Klein, “Schr€ odinger’s equation with gauge coupling derived from a
considerations about the interpretation of QT. continuity equation,” Found. Phys. 39, 964 (2009).
15
L. Kocis, “Ehrenfest theorem for the Hamilton-Jacobi equation,” Acta
Phys. Pol. A 102, 709–716 (2002).
16
APPENDIX: SOLUTION OF THE INTEGRAL U. Klein, “The statistical origins of quantum mechanics,” Phys. Res. Int.
EQUATION FOR DETERMINISTIC POTENTIALS 2010, 808424 (2010), also available at <http://www.hindawi.com/journals/
phys/2010/808424.html>.
17
Using the theory of generalized functions,22 the integral D. ter Haar, Selected Problems in Quantum Mechanics (Infosearch
equation (30) can be solved quickly. We discuss for simplic- Limited, London, 1964).
18
L. Kazandjian, “The  h ! 0 limit of the Schr€ odinger equation,” Am.
ity the one-dimensional integral equation, J. Phys. 74, 557 (2006).
ð 19
Song Ling, “On the  h ! 0 limit of the Schr€odinger equation,” J. Chem.
f ðxÞ ¼ dx kðx  yÞf ðyÞ; (A1) Phys. 96, 7869–7870 (1992).
20
D. Home and S. Sengupta, “Classical limit of quantum mechanics,” Am.
J. Phys. 51, 265–267 (1983).
where k(x) is a normalized Gaussian. Introducing the Fourier 21
E. C. Titchmarsh, Introduction to the Theory of Fourier Integrals, 2nd ed.
transforms F(k) and K(k) of f(x) and k(x), Eq. (A1) takes the (Oxford, London, 1948), Theorem 146 on p. 305.
22
form M. J. Lighthill, An Introduction to Fourier Analysis and Generalized
Functions (Cambridge U.P., Cambridge, 1958).
ð pffiffiffiffiffiffi 23
R. P. Feynman and A. R. Hibbs, Quantum Mechanics and Path Integrals,
dk FðkÞ½1  2pKðkÞ ¼ 0: (A2) (McGraw-Hill, New York, 1965).
24
L. Zhou and L. M. Kuang, “Coherent states: Theory and some
applications,” Rev. Mod. Phys. 62, 867–927 (1990).
Nontrivial solutions for F(k) [and f(x)] can exist only if the 25
I. Zlatev, W. Zhang, and D. H. Feng, “Possibility that Schr€
odinger’s conjec-
factor in brackets has zeros. This is the case, since the Fou- ture for the hydrogen-atom coherent states is not attainable,” Phys. Rev. A
rier transform of a normalized Gaussian is again a normal- 50, R1973–R1975 (1994).
26
ized Gaussian and therefore the bracketed quantity vanishes A. R. Usha Devi and H. S. Karthik, “The uncertainty product of position
and momentum in classical dynamics,” Am. J. Phys. 80, 708–714 (2012).
at k ¼ 0 with a leading quadratic term. Thus, the Fourier 27
U. Klein, “Is the individuality interpretation of quantum theory wrong?,”
transform of every solution of Eq. (A1) must obey e-print arXiv:1207.6215 [quant-ph]; see also <http://statintquant.net>.
28
A. Einstein, B. Podolsky, and N. Rosen, “Can quantum-mechanical
FðkÞk2 ¼ 0 (A3) description of physical reality be considered complete?,” Phys. Rev. 47,
777–780 (1935).
29
for all k. This implies that the Fourier transform of k2 FðkÞ, G. G. Cabrera and M. Kiwi, “Large quantum-number states and the corre-
spondence principle,” Phys. Rev. A 36, 2995–2998 (1987).
which is proportional to the second derivative f 00 ðxÞ of f(x), 30
J. J. Diamond, “Classically forbidden behavior of the quantum harmonic
vanishes too. This implies f(x) ¼ a þ bx, in agreement with a oscillator for large quantum numbers,” Am. J. Phys. 60, 912–916 (1992).
theorem by Titchmarsh.21 [The solution for F(k) is a linear 31
L. E. Ballentine, “The statistical interpretation of quantum mechanics,”
combination of dðkÞ and d0 ðkÞ.] Rev. Mod. Phys. 42, 358–381 (1970).

1016 Am. J. Phys., Vol. 80, No. 11, November 2012 U. Klein 1016

Downloaded 18 Oct 2012 to 140.78.3.112. Redistribution subject to AAPT license or copyright; see http://ajp.aapt.org/authors/copyright_permission

You might also like