CC BY
16
Discrete & Continuous Models
#& Applied Computational Science 2022, 30 (2) 139-148
ISSN 2658-7149 (online), 2658-4670 (print) http://journals-rudn-ru/miph
Research article
UDC 19.62:530.145:519.614
PACS 07.05.Tp, 02.60.Pn, 02.70.Bf
DOI: 10.22363/2658-4670-2022-30-2-139-148
Complex eigenvalues in Kuryshkin-Wodkiewicz quantum
mechanics
Alexander V. Zorin1, Mikhail D. Malykh1'2, Leonid A. Sevastianov1'2
1 Peoples' Friendship University of Russia (RUDN University) 6, Miklukho-Maklaya St., Moscow, 117198, Russian Federation 2 Joint Institute for Nuclear Research 6, Joliot-Curie St., Dubna, Moscow Region, 141980, Russian Federation
(received: February 11, 2022; revised: April 18, 2022; accepted: April 19, 2022)
Abstract. One of the possible versions of quantum mechanics, known as Kuryshkin-Wodkiewicz quantum mechanics, is considered. In this version, the quantum distribution function is positive, but, as a retribution for this, the von Neumann quantization rule is replaced by a more complicated rule, in which an observed value
A is associated with a pseudodifferential operator O(A). This version is an example of a dissipative quantum system and, therefore, it was expected that the eigenvalues of the Hamiltonian should have imaginary parts. However, the discrete spectrum of the Hamiltonian of a hydrogen-like atom in this theory turned out to be real-valued. In this paper, we propose the following explanation for this paradox. It is traditionally assumed that in some state ^ the quantity A is equal to A if ^ is an eigenfunction
of the operator O(A). In this case, the variance 0((A — X)2)^ is zero in the standard version of quantum mechanics, but nonzero in Kuryshkin's mechanics. Therefore, it is possible to consider such a range of values and states corresponding to them for which the variance 0((A — X)2) is zero. The spectrum of the quadratic pencil 0(A2 ) — 20(A)X + X2 E is studied by the methods of perturbation theory under the assumption of small variance D(A) = 0(A2) — O(A)2 of the observable A. It is shown that in the neighborhood of the real eigenvalue A of the operator O(A), there are two eigenvalues of the operator pencil, which differ in the first order of
perturbation theory by ±i(D).
Key words and phrases: models of quantum measurements, perturbation of discrete spectrum, complex eigenvalues, operator pencils
1. Introduction
The Kuryshkin-Wodkiewicz quantum mechanics [1] is an example of a dissipative quantum system. The quantum part of the measuring device is the
© Zorin A. V., Malykh M.D., Sevastianov L.A., 2022
This work is licensed under a Creative Commons Attribution 4.0 International License http://creativecommons.org/licenses/by/4.0/
'environment of an open quantum system'. In the process of quantum measurement, an open quantum system interacts with its 'environment'. We study the result of this interaction [2]-[12]. Therefore, wave vectors must have a finite lifetime, inversely proportional to the imaginary part of eigenvalues.
In this version of quantum mechanics, the von Neumann quantization rule was abandoned and observable quantities are assigned to pseudo-differential operators, not necessarily self-adjoint. Therefore, the appearance of the imaginary part of the eigenvalues is not surprising. However, our studies of hydrogen-like atoms have shown that the operator corresponding to the Hamiltonian is essentially self-adjoint, so its discrete spectrum turned out to be real [13], [14].
This is quite surprising, since the von Neumann rule can be derived from general considerations, if we assume that the relation between the quantities
A = g(B) is inherited by their operators A = g(B) [15, P. 36]. Violation of this property inevitably means that the Kuryshkin-Wodkiewicz theory must be interpreted within the framework of the measurement theory and imaginary eigenvalues must appear. In this paper, we point out a spectral problem that has properties that are correct from this point of view.
2. Quantization in Kuryshkin-Wodkiewicz mechanics
Consider a Hamiltonian system with coordinates q G momenta ,
and Hamiltonian H. We will assume that the Hamiltonian and all observables considered below belong to a commutative ring M, for example, to the polynomial ring R[p,g] or the ring C)[p].
In classical statistical mechanics, the state of the system is described by the distribution function f, in quantum mechanics by the wave function 0 G L2(Rra). In statistical mechanics, the mean value of the observable quantity A G M is given by
where A is the operator corresponding to the observable A. In 1966, Cohen [16] proved that these two equalities for the mean cannot be combined in one theory, if it is assumed that the density takes strictly positive values, and the transition from mechanical quantities to operators is carried out according to the von Neumann rule.
However, if this rule of 'quantization' of mechanical quantities is abandoned, then it is possible to construct a version of quantum mechanics in which the average can be calculated by both formulas and the density takes positive values. Instead of the von Neumann rule, this theory uses a more complicated
R2n
and in quantum mechanics by the expression
mapping of the commutative ring M into the ring of linear operators on the space L2(Rn): O ■ M ^ L(L2) ^ L2)).
This correspondence does not satisfy the Neumann rule, i.e., generally
speaking, 0(A) ^ A(p,q), but it is linear, namely: for any A,B G M and
any k G C
1. 0(A + B) = 0(A) + 0(B),
2. O(kA) = kO(A),
3. 6(0) = 0,
4. 0(1) = E.
In the early 1970s, V. V. Kuryshkin [1] not only proved the existence of such mappings, but also proposed an explicit construction for them. In doing so, it was necessary to extend the class of operators, in which the
mapping O takes value, from the class of self-adjoint differential operators to a non-commutative ring of non-self-adjoint pseudo-differential operators. The resulting new version of quantum mechanics was called Kuryshkin-Wodkiewicz mechanics.
It turned out that 'perturbed operators' satisfy a certain condition for the proximity of the new quantization rule to the von Neumann rule:
0(A) = A(p,q) + V,
where the addition of V to the standard quantization rule is an operator compact in the sense of Jorgens [17]. Therefore, the lower bounds of the
essential spectra of the operators 0(A) and A(p,q), as well as the points of the discrete spectra of these operators, may not coincide, but the structure of the spectrum is preserved: the points of the discrete spectrum lie below the continuous spectrum [18].
For what follows, the explicit form of the mapping O is not important. For hydrogen-like atoms, we explicitly computed 0(pi) and 0(g) for any function g of coordinates q [14]. It turned out that in all these cases self-adjoint operators are obtained. This implies, in particular, that the spectrum of the operator 0(H) consists of a continuous part, which coincides with the spectrum H(p,q), found in standard quantum mechanics, below the lower boundary of which lie the discrete spectrum points, which are slightly different from the points of the discrete spectrum of the operator H(p,q). However,
all these points are real due to the self-adjointness of the operator 0(H).
3. Spectral problem for a quadratic pencil
Let A G M be an arbitrary observable. For brevity, we take
0(A) = A, 0(A2) = A2 + D.
If the von Neumann rule is not satisfied, then two eigenvalue problems arise here:
1) classic problem
0(A-X)^ = 0
or
(A — XÉ)2 ^ + =
In standard quantum mechanics, D = 0 and these problems are indistinguishable. The meaning of the first one has been discussed many times, but the second problem has a clear meaning. Expression
is the mean square deviation of the observable value A from the value A for the system in the 0 state. In mechanics with a positive distribution function, which is the Kuryshkin-Wodkiewicz mechanics, this value coincides with
and therefore is non-negative. The same is true in standard quantum mechanics, but for a different reason:
If we assume that D is small, then the eigenvalues of these spectral problems are close to each other. Let us study this circumstance in more detail.
But first, we note that in [19] we were looking for the 0 states that provide a minimum to this expression for fixed values of the parameter A, for which
we took the eigenvalues of the operator A. It turned out that the minimum values are nonzero, that is, there is some nonzero variance. However, the problem can be formulated differently: to find the values of A and the states 0, at which the mean square deviation of the observed value A from A is
minimal. On the eigenfunctions of the pencil 0((A — X)2), this standard deviation is zero, therefore, on the pencil eigenfunctions, the mean square deviation of the observable A from the eigenvalue A has a minimum, i.e., zero value. Thus, we can observe the value A in 'pure' states corresponding to
the eigenfunctions of the operator A, or in 'pure' states that provide zero root-mean-square deviation A from some value other than (A).
We have already used perturbation theory [19] to find states with minimal variance, but now we will apply it to finding eigenfunctions of a quadratic pencil.
^,0((A — X)2)^ = ((A — X)2)
R
4. Spectrum of a quadratic pencil
Let us introduce a small parameter e and consider the problem
(A-XE)2 $ + eD$ = 0. (1)
Let A0 be a single eigenvalue of the operator A, and be the normalized eigenfunction corresponding to it. Let us study the eigenvalues of a quadratic pencil lying in a small neighborhood of this eigenvalue.
If the space under consideration is finite-dimensional, then all eigenvalues are roots of the determinant
det((A-XE)2 + eD) = 0.
In a neighborhood of the point (X,e) = (X0,0) the determinant
det(A -XE)2 = det(A - XE)2 has a zero of multiplicity 2, so
det((i - XE)2 + eD) = a(X0 - X)2 + eb + ....
As is known from the theory of uniformization of curves [20], the curve
a(X0 - X)2 + eb + - = 0
in the plane Ae has a node at the point (X0, 0) through which two arcs of this curve pass, which can be represented as two Puiseux series:
A - A0 = ±c\fe + ....
Thus, in the vicinity of a single eigenvalue of the operator A there are two eigenvalues of the quadratic pencil:
A = A0 ±\1y/e + .... (2)
This can be justified in the case of infinite-dimensional spaces, for completely continuous operators A, D this can be done using the well-known results of the perturbation theory of multiple eigenvalues [21]. Of course, in quantum theory,
the operator A is pseudo-differential, and the question requires additional study. For the time being, we assume without further justification that the formally developed perturbation theory can be justified for this class of operators as well.
To find the first coefficient in the expansion, as in regular perturbation theory, we multiply (1) by 00:
Since the operator A is self-adjoint, we have
(fa}, (A - XE)2fa) = ((A - X*E)2, fa) = (X0 - X)2(%, fa) = eX2(fa, fa. Substituting this expression into (3) and reducing by e, we get
X2(fa ,fa) = -(fa0 ,Dfa.
Hence, in the limit £ ^ 0, we have Xl = -(fa0, Dfa0). Substituting this expression into (2) and setting e = 1, we have: in the neighborhood of eigenvalue A0 of the operator A there are two eigenvalues of
the quadratic pencil 0((A - X)2), namely A = A0 ± (fa0, Dfa0) + ... where
D = 0(A2)-A2.
5. Conclusion and discussion
Let us now discuss the physical meaning of the resulting splitting of the eigenvalue of the operator 0(A). The standard deviation of the observed value A from the value A for a system in the fa state is given by
(faO((A-X)2 )fa]=((A-X)2).
This expression is non-negative both in standard quantum mechanics and in Kuryshkin-Wodkiewicz mechanics. It reaches zero on the eigenvectors of
the quadratic pencil 0((A — X)2).
In standard quantum mechanics
0((A-X)2) = (A-X)2
and therefore the eigenvectors of the pencil coincide with the eigenvectors of
the operator A. Therefore, the minimum standard deviation will be on those
values of A that are eigenvalues of the operator A. They are traditionally considered as observed values of A.
In the mechanics of Kuryshkin-Wodkiewicz
0((A-X)2) = (A-X)2 + D
and, as we just found out, the minimum standard deviation will be at those values of A that differ from the eigenvalues Xn of the operator A
by ,Dfan).
Thus, the observed values of A will slightly differ from the eigenvalues of the operator A. If (D) > 0, then this difference will manifest itself in the appearance of an imaginary additive, as one would expect in a dissipative quantum system. From this, two conclusions can be drawn.
Firstly, the transition to the root-mean-square deviation makes it possible to remove the difficulty with the reality of the spectrum of self-adjoint operators and obtain the expected dissipation in the Kuryshkin-Wodkiewicz mechanics.
Secondly, one of the two eigenvalues into which the eigenvalue A splits has the sign of the imaginary part corresponding to dissipation, and the second inevitably has a sign indicating antidissipation. We have already encountered a similar circumstance in the development of perturbation theory in the mathematical theory of waveguides [22], [23]: the spectral parameter A should be considered as a point on the Riemann surface, only one sheet of which is physical, to which attention has been first drawn by V.P. Shestopalov [24]. In the case of Kuryshkin-Wodkiewicz mechanics, the eigenvalues of the operator
0(A) are branch points on the Riemann surface, one of whose sheets describes a dissipative quantum system.
Acknowledgments
This work is supported by the Russian Science Foundation (grant no. 2011-20257).
References
[1] V. V. Kuryshkin, "La mécanique quantique avec une fonction non-négative de distribution dans l'espace des phases", Annales Henri Poincaré. Physique théorique, vol. 17, no. 1, pp. 81-95, 1972.
[2] U. Weiss, Quantum dissipative systems, 4th ed. World Scientific, 2012. DOI: 10.1142/8334.
[3] H.-P. Breuer and F. Petruccione, The theory of open quantum systems. Oxford: Oxford University Press, 2002.
[4] V. E. Tarasov, Quantum mechanics of non-Hamiltonian and dissipative systems. Elsevier, 2008.
[5] M. Ahmadi, D. Jennings, and T. Rudolph, "The Wigner-Araki-Yanase theorem and the quantum resource theory of asymmetry", New Journal of Physics, vol. 15, no. 1, p. 013 057, 2013. DOI: 10.1088/1367-2630/ 15/1/013057.
[6] M. Ozawa, "Uncertainty relations for noise and disturbance in generalized quantum measurements", Annals of Physics, vol. 311, no. 2, pp. 350416, 2004. DOI: 10.1016/j.aop.2003.12.012.
[7] M. Ozawa, "Universally valid reformulation of the Heisenberg uncertainty principle on noise and disturbance in measurement", Physical Review A, vol. 67, no. 4, p. 042105, 2003. DOI: 10.1103/PhysRevA.67. 042105.
[8] P. Busch and P. J. Lahti, "The standard model of quantum measurement theory: history and applications", Foundations of Physics, vol. 26, pp. 875-893, 1996. DOI: 10.1007/BF02148831.
[9] A. S. Holevo, Statistical structure of quantum theory. Springer, 2001.
[10] J. A. Wheeler and W. H. Zurek, Quantum theory and measurement. Princeton University Press, 1983.
[11] K. Jacobs, Quantum measurement theory and its applications. Cambridge University Press, 2014. doi: 10.1017/CB09781139179027.
[12] W. H. Zurek, "Quantum theory and measurement in complexity", in Complexity, Entropy And The Physics Of Information, W. H. Zurek, Ed., CRC Press, 1990, ch. 6.
[13] A. V. Zorin and L. A. Sevastianov, "Hydrogen-like atom with nonnegative quantum distribution function", Physics of Atomic Nuclei, vol. 70, no. 4, pp. 792-799, 2007. DOI: 10.1134/S1063778807040229.
[14] A. V. Zorin, "Kuryshkin-Wodkiewicz quantum measurement model for alkaline metal atoms", Discrete and Continuous Models and Applied Computational Science, vol. 28, no. 3, pp. 274-288, 2020. DOI: 10.22363/ 2658-4670-2020-28-3-274-288.
[15] J. P. Rybakov and J. P. Terleckij, Quantum mechanics [Kvantovaja mehanika]. Moscow: RUDN, 1991, in Russian.
[16] L. Cohen, "Can quantum mechanics be formulated as a classical probability theory?", Philosophy of Science, vol. 33, no. 4, pp. 317-322, 1966. DOI: 10.1086/288104.
[17] K. Jorgens and J. Weidmann, Spectral properties of Hamiltonian operators. Berlin, Heidelberg, New York: Springer, 1973.
[18] A. V. Zorin and L. A. Sevastianov, "Bottom estimation method for the eigenvalues of the Hamilton differential operator in Kuryshkin quantum mechanics [Metod ocenok snizu dlja sobstvennyh znachenij differen-cial'nogo operatora Gamil'tona v kvantovoj mehanike Kuryshkina]", RUDN Journal. Seria "Prikladnaja i komp'juternaja matematika", vol. 1, no. 1, pp. 134-144, 2002, in Russian.
[19] A. V. Zorin, L. A. Sevastianov, and N. P. Tretyakov, "States with Minimum Dispersion of Observables in Kuryshkin-Wodkiewicz Quantum Mechanics", Lecture Notes in Computer Science, vol. 11965, no. 4, pp. 508519, 2019. DOI: 10.1007/978-3-030-36614-8\_39.
[20] R. H. Nevanlinna, Uniformisierung. Berlin: Springer, 1953.
[21] T. Kato, Perturbation theory for linear operators. Berlin: Springer, 1966.
[22] A. N. Bogolyubov, M. D. Malykh, and A. G. Sveshnikov, "Instability of eigenvalues embedded in the waveguide's continuous spectrum with respect to perturbations of its filling", Proceedings of the USSR Academy of Sciences, vol. 385, no. 6, pp. 744-746, 2002.
[23] A. N. Bogolyubov and M. D. Malykh, "On the perturbation theory of spectral characteristics of waveguides", Computational Mathematics and Mathematical Physics, vol. 43, no. 7, pp. 1004-1015, 2003.
[24] V. P. Shestopalov, Spectral theory and excitation of open structures [Spektral'naja teorija i vozbuzhdenie otkrytyh struktur]. Moscow: Nauka, 1987, in Russian.
For citation:
A. V. Zorin, M. D. Malykh, L. A. Sevastianov, Complex eigenvalues in Kuryshkin-Wodkiewicz quantum mechanics, Discrete and Continuous Models and Applied Computational Science 30 (2) (2022) 139-148. DOI: 10.22363/2658-4670-2022-30-2-139-148.
Information about the authors:
Zorin, Alexander V. — Candidate of Physical and Mathematical Sciences, Assistant Professor of Department of AppliedProbabil-ity and Informatics of Peoples' Friendship University of Russia (RUDN University) (e-mail: zorin-av@rudn.ru, phone: +7(495)9550927, ORCID: https://orcid.org/00-0002-5721-4558, ResearcherlD: AH-4011-2019, Scopus Author ID: 7193219091)
Malykh, Mikhail D. — Doctor of Physical and Mathematical Sciences, Assistant Professor of Department of Applied Probability and Informatics of Peoples' Friendship University of Russia (RUDN University); (e-mail: malykh-md@rudn.ru, phone: +7(495)9550927, ORCID: https://orcid.org/0000-0001-6541-6603, ResearcherID: P-8123-2016, Scopus Author ID: 6602318510) Sevastianov, Leonid A. — Doctor of Physical and Mathematical Sciences, Professor of Department of Applied Probability and Informatics of Peoples' Friendship University of Russia (RUDN University) (e-mail: sevastianov-la@rudn.ru, phone: +7(495)9522572, ORCID: https://orcid.org/0000-0002-1856-4643, ResearcherID: B-8497-2016, Scopus Author ID: 8783969400)
УДК 19.62:530.145:519.614
PACS 07.05.Tp, 02.60.Pn, 02.70.Bf
DOI: 10.22363/2658-4670-2022-30-2-139-148
Комплексные собственные значения в квантовой механике Курышкина—Вудкевича
А. В. Зорин 1, М. Д. Малых1'2, Л. А. Севастьянов1'2
1 Кафедра прикладной информатики и теории вероятностей Российский университет дружбы народов ул. Миклухо-Маклая, д. 6, Москва, 117198, Россия 2 Объединённый институт ядерных исследований ул. Жолио-Кюри, д. 6, Дубна, Московская обл., Россия, 1^1980
Аннотация. Рассматривается одна из возможных версий квантовой механики, известная как квантовая механика Курышкина—Вудкевича. В этой версии существует положительная квантовая функция распределения, но, в расплату за это, правило квантования фон Неймана заменено более сложным правилом, при котором наблюдаемой величине А ставится в соответствие псевдодифференциальный оператор О(А). Эта версия представляет собой пример диссипативной квантовой системы и поэтому ожидалось, что собственные значения гамильтониана должны иметь мнимые части. Однако точечный спектр гамильтониана водородоподобного атома в этой теории оказался вещественным. В настоящей статье мы предлагаем следующее объяснение этого парадокса. Традиционно принимают, что в некотором состоянии ф величина А равна А, если ф — собственная функция оператора О(А). При этом дисперсия 0((А — Х)2)ф равна нулю в стандартной версии квантовой механике, но не равна нулю в механике Курышкина. Поэтому можно рассмотреть такой спектр значений и соответствующих им состояний, при которых дисперсия 0((А — А)2) равна нулю. В статье исследован спектр квадратичного пучка 0(А2) — 20(А)\ + Х2Е методами теории возмущений в предположении малости дисперсии О(А) = 0(А2) — О(А)2 наблюдаемой А. Показано, что в окрестности вещественного собственного значения А оператора О(А), имеется два собственных значения операторного пучка, которые в первом
порядке теории возмущений различаются на величину .
Ключевые слова: модели квантовых измерений, возмущение дискретного спектра, комплексные собственные значения, пучки операторов
