<<

Nonminimal -field interaction of the classical and quantization of spin.

Alexei A. Deriglazov∗ Depto. de Matem´atica, ICE, Universidade Federal de Juiz de Fora, MG, Brazil, and Department of , Tomsk State University, Lenin Prospekt 36, 634050, Tomsk, Russia

I shortly describe semi-classical models of spinning electron and list a number of theoretical issues where these models turn out to be useful. Then I discuss the possibility to extend the range of applicability of these models by introducing an interaction, that forces the spin to align up or down relative to its axis.

The notion of spin of an elementary [1–5] was developed in attempts to explain the energy levels of atomic spectra. This analysis culminated in quantum-mechanical expression for the energy of an electron, known as the Pauli Hamiltonian (E is the Coulomb electric field and B is a constant magnetic field, for the vector and scalar product of three-dimensional vectors we use the notation [A, B] and (A, B))

1 e e  1  H = (pˆ − A)2 + eA0 − (Sˆ, B) + (Sˆ, [E, pˆ]) . (1) 2m c mc 2mc

Besides the operators of position and momentum, the Hamiltonian contains operators proportional to the Pauli ˆi ~ i matrices, called the spin operators: S = 2 σ . They have discrete spectrum of eigenvalues, so their contribution to ˆ ~ the energy turns out to be quantized. For instance, the operator (S, B) has eigenvalues ± 2 |B|, that is the measurement ~ of spin in the direction of vector B always gives one of the values ± 2 . The extra degrees of freedom contribute to the energy levels of an electron in a good agreement with experiments. The fine structure of hydrogen-like with one valence electron fixes the factor in front of S-E-p term, while Zeeman effect fixes the factor in front of S-B term. According the canonical quantization paradigm, the classical analogy of the theory (1) could be a point particle (x, p) which carries a vector S attached to it. The commutator [Sˆi, Sˆj] = i~ijkSˆk implies the use of classical-mechanics bracket {Si,Sj} = ijkSk. Then the Hamiltonian equation for spin is dS/dt = {S,H}, or

dS e  1  = [R, S], where R ≡ − B − [p, E] . (2) dt mc 2mc

When R is a constant vector1, the spin precesses around R: the end of S always lies in a plane orthogonal to R, and describe a circle around R with an equal to the magnitude |R| of this vector. This, in essence, represents the classical model of non relativistic spin. The model can be constructed on the base of a variational 2 2 2 3~ problem that implies both dynamical equations and the magnitude-of-spin constraint S = ~ s(s + 1) = 4 , see [6]. The relativistic generalization and systematic construction of the resulting theory on the base of a variational problem presents an issue with almost a centenary of history, see the works [6–8] and references therein. In the pioneer works [2, 3], Frenkel identified the components Si of three-dimensional spin with spatial part of four-dimensional µν νµ i 1 ijk jk µν antisymmetric spin-tensor S = −S as follows: S = 4  S , and assumed that at each instant of motion S µν obeys the covariant condition S x˙ ν = 0, which guarantees the equal number of spin degrees of freedom in relativistic and Pauli theories. Concerning the corresponding variational problem, we recall that the classical-mechanics formalism always implies the canonical Poisson brackets, so the variables with brackets {Si,Sj} = ijkSk are not appropriate to this aim. One possibility to avoid the problem consist in formulating the variational problem in terms of a vector-like basic variable ωµ for the description of spin. Then spatial components of the phase- quantity Sµν = arXiv:2001.01294v4 [quant-ph] 28 Nov 2020 µ ν ν µ ∂L µ ν µν 2(ω π −ω π ), where πµ = ∂ω˙ µ , obey the desired brackets as a consequence of canonical brackets {ω , π } = η for the basic variables. This leads to the vector model of a relativistic spin: using ωµ and the square root construction2 first discovered by Hanson and Regge [8], we can write the following Lagrangian action [9]:

1 1 Z h α i 2 q S = −√ dτ m2c2 − −xN˙ x˙ − ωN˙ ω˙ + p[xN ˙ x˙ +ωN ˙ ω˙ ]2 − 4(xN ˙ ω˙ )2, (3) 2 ω2

∗Electronic address: [email protected] 1 Consider either frozen particle in constant magnetic field, or on circular trajectory in the Coulomb electric and constant magnetic fields. q 2 The construction can be resumed as follows: variational problem with the Lagrangian L = x˙ 2 + ω˙ 2 − (x˙ 2 + ω˙ 2)2 − 4(x˙ ω˙ )2 implies ∂L ∂L the constraint (p, π) ≡ ( ∂x˙ , ∂ω˙ ) = 0 as one of the extreme conditions. 2

ωµων where Nµν ≡ ηµν − ω2 is a projector on the plane orthogonal to ω. The parameter α determines the value of spin, 2 in particular, α = 3~ corresponds to the spin one-half particle. In the spinless limit, ωµ = 0 and α = 0, Eq. (3) 4 √ reduces to the standard Lagrangian of a point particle, −mc −x˙ 2. The variables ω and π are affected by local symmetry transformations presented in the theory, so they are not an observable quantities. The observable quantities of spin-sector are contained among components of spin-tensor. It µν µν obeys the constraints S Sµν = 8α and S pν = 0 which, together with dynamical equations, arise as the conditions of extreme of the variational problem (3). In what follows, we list a number of applications of the vector model. 1. Spin-induced noncommutativity. An interesting property of classical spin models is that even in non interacting theory the relativistic invariance inevitably leads to non canonical Poisson brackets of dynamical variables. Without going into technical details [6, 10], this can be explained as follows. The spin supplementary condition µν d µν S pν = 0 must be satisfied at all instants of time, hence the equation dτ (S pν ) = 0 should be a consequence of dynamical equations. In the Hamiltonian formulation, variation rate of a phase-space function is equal to the bracket d µν µν µν A ∂H A of this function with Hamiltonian, so we can write dτ (S pν ) = {S pν ,H} = {S pν , z } ∂zA = 0, where z is 3 A µν one of x, p, or S. We want to be able to work with different Hamiltonians, so we require : {z ,S pν } = 0. In α µν α α α µν particular, {x ,S pν } = 0 together with {x , pν } = δ ν imply nonvanishing bracket of x with S . The Jacobi µν α β µ ν 1 µν identity {S , {x , x }} + cycle = 0 then implies the nonvanishing brackets of positions {x , x } = − 2p2 S . For the spatial components this implies 1 {xi, xj} = ijkSk, i, j = 1, 2, 3. (4) (mc)2

The r.h.s. vanishes as c → ∞, that is the spin-induced noncommutativity is a relativistic effect. It should be noted that spinning represent an exceptional example of intrinsically noncommutative and relativistic-invariant theory, with the spin-induced noncommutativity that manifests itself already at the Compton scale. One of immediate consequences of Eq. (4) is that in 1/c2 -approximation the position of a particle in the Pauli (and Dirac) should be described by the Pryce (d) operator (see [11–13] for the details)

xˆi = xi − ~ ijkpˆjσk, (5) 4(mc)2 instead ofx ˆi = xi. 2. The problem of covariant formalism and the Thomas precession. The Lagrangian (3) admits interaction with an arbitrary electromagnetic field, and thus gives the relativistic generalization of an approximate Frenkel equations. This leads to the Hamiltonian of interacting theory that has a simple and expected form 1 h e eµ i H = (pµ − Aµ)2 − F Sµν + (mc)2 ≈ (6) 2m c 2c µν 1 e e  1  mc2 + (p − A)2 + eA0 − (S, B) + (S, [E, p]) , (7) 2m c mc mc where in the last line we put the magnetic moment µ = 1, and left 1/c2 approximation of the complete Hamiltonian in the physical-time parametrization. It is accompanied by higher nonlinear Poisson brackets, that is the most part of interaction in the vector model is encoded in the noncommutative phase-space geometry. The relativistic (7) and Pauli (1) Hamiltonians differ by the famous 1/2 factor in front of the last terms. This is the problem of covariant formalism, that was raised already in the pioneer works [1, 2, 4] and remains under debates to date. The spin-induced noncommutativity of vector model provides a natural solution to this problem: the Hamiltonian (7) is accompanied by non canonical brackets, and this should be taken into account during the quantization. Detailed computations shows [10] that this results in Pauli’s quantum mechanics. It should be noted that this result is obtained without any appeal to the effect of Thomas precession. The role of the Thomas spin-vector in this scheme was clarified in the recent work [14]. 3. Modified Mathisson-Papapetrou-Tulczyjew-Dixon (MPTD) equations. Vector model admits the µ µ minimal interaction with an arbitrary gravitational field, it is sufficient to replace ηµν on gµν , andω ˙ on ∇ω = µ µ α β ω˙ + Γ αβx˙ ω in the Lagrangian (3). Remarkably, this leads to equations of motion that coincide with MPTD

3 µν In the language of Poisson geometry this equation means that S pν are Casimir functions of the Poisson structure. 3 equations in the form studied by Dixon [15]. So the vector model gives an alternative description of a rotating body in gravitational field in the dipole approximation. In particular, using the vector model, it is possible to compute and analyse the three-dimensional of MPTD body. This analysis shows that MPTD equations lead to a wrong dependence of acceleration on speed of the body. Without going into technical details [6], this can be explained as follows. In special and , the acceleration of a particle inevitably depends on its velocity in such a way that longitudinal acceleration vanishes as v → c. In electrodynamics we have

µ dv µ ν 2 2 3 v→c = F v , implies a ∼ (c − v ) 2 −→ 0, (8) ds ν || while for the geodesic equation dvµ = −Γµ vν vα implies a ∼ (c2 − v2) −→v→c 0. (9) ds να || These examples illustrate the general rule: each four-velocity vµ, appeared on r. h. s. of manifestly covariant 2 2 − 1 equation in proper-time parametrization, contributes the factor (c − v ) 2 into the expression for a||. So the relativistic equations of motion can not contain too many velocities vµ (four or more). Unfortunately, MPTD equations belong to this last case [6]. In the result, acceleration grows with speed and diverges in the ultra-relativistic limit v → c. Therefore, MPTD equations do not seem to be a promising candidate for describing a rotating body. The particles/bodies with spin are now under intensive investigation and represent an important tool in the study of near horizon physics of black holes, see for example [16–20]. So, it is interesting to find a generalization of MPTD equations with an improved dependence of acceleration on speed. This can be achieved by adding a nonminimal spin- interaction [6]. In the Hamiltonian formulation, this reduces to the replacement of original minimally-interacting 2 2 2 µν αβ 2 Hamiltonian P +(mc) on the following: P +κRµναβS S +(mc) . The modified Hamiltonian strongly resembles to that of spinning particle with a magnetic moment (6), so the coupling constant κ is called gravimagnetic moment [21]. κ = 0 corresponds to the MPTD equations. The most interesting case turns out to be κ = 1 (gravimagnetic body). Keeping only the terms, which may contribute in the leading post-Newtonian approximation, this gives the modified equations √ √ 1 −x˙ 2 −x˙ 2 ∇P = − θ x˙ ν − (∇ θ )Sσλ, ∇Sµν = θ[µ Sν]α, (10) µ 4 µν 32mc µ σλ 4mc α

αβ where θµν = RµναβS is a gravitational analogy of the electromagnetic field strength Fµν . They can be compared with MPTD equations in the same approximation 1 ∇P = − θ x˙ ν , ∇Sµν = 0. (11) µ 4 µν We see that unit gravimagnetic moment yields quadratic in spin corrections to MPTD equations in the 1/c2 - approximation. Both acceleration and spin of gravimagnetic body have a reasonable behaviour in the modified theory [6]. In Schwarzschild and Kerr space-times, the modified equations predict a number of qualitatively new effects [22], that could be used to test experimentally, whether a rotating body in general relativity has null or unit gravimagnetic moment. ˆ 4. Dirac equation and unobservability of Zitterbewegung. Consider the Dirac equation i~∂tΨ = HΨ, i 2 i 0 i 0 where Hˆ = cα pˆi + mc β, and α = γ γ and β = γ are Dirac matrices. Passing from the Schr¨odingerto Heisenberg picture, the time derivative of an operator a is i~a˙ = [a, H], and for the expectation values of basic operators of the Dirac theory we obtain the equations

x˙ i = cαi, p˙i = 0, ˙ 2 i~α˙ i = 2(cpi − Hαi), i~β = −2cαipiβ + mc . (12) They can be solved, with the result for xi(t) being xi = ai + dpit + ciexp(− 2iH t). The first and second terms are expected, and describe a motion along the straight line. The last term on the r.h.s.~ of this expression states that the 2 free electron experiences rapid oscillations with higher frequency 2H ∼ 2mc , called the Zitterbewegung. Although it is widely believed that Zitterbewegung could be a physically~ ~ observable phenomenon, a detailed analysis does not support this belief [25, 26]. The exact relation between the variable of position of vector model and the Dirac operators was computed in [12]. It is different from the naive expressions implied by Eq. (12), and without going into technical details can be described as follows. A long time ago Feynman noticed (see p. 48 in [23]), that the basic 4

Dirac operators can be used to construct an operator that do not experiences Zitterbewegung. It is just Pryce (d) operator. But as we saw above, in the vector model namely the Pryce (d) operator represents the classical variable of position (the latter moves along a straight line according to classical equations). The same conclusion follows from the analysis of one-half of the Dirac equation in the Foldy-Wouthuysen representation [26, 27]. 5. Relativistic quantum mechanics with positive energies and the Dirac equation. Canonical quantiza- tion of the vector model (3) leads to the Schr¨odingerequation dΨ ∂ i = cppˆ 2 + (mc)2Ψ, pˆi = −i , (13) ~ dt ~∂xi on the space of wave functions which are two-component Weyl spinors Ψ(t, x) = (Ψ1, Ψ2), in the representation of i i i ∂ the operatorx ˆ = x conjugated top ˆ = −i~ ∂xi . The scalar product is Z hΨ, Φi = d3xΨ†Φ, (14) and P = Ψ†Ψ, is a probability density ofx ˆi. All solutions to the Schr¨odingerequation form the subspace of positive- energy solutions to the (again two-component) Klein-Gordon equation

2 2 2 µ ν 2 2 (ˆp + m c )Ψ ≡ σ pˆµσ¯ pˆν ψ + m c ψ = 0. (15) The novel point is that the operatorsx ˆi = xi and σi do not represent operators of position and spin in the vector model. As we saw above, the classical variables xi and Si obey noncanonical brackets, so the corresponding operators

xi → Xˆ i = xi + ~ ijkσ pˆ , (16) 2mc(ˆp0 + mc) j k

 1  Sˆi = ~ pˆ0σi − (pˆσ)ˆpi , (17) 2mc (ˆp0 + mc) turn out to be Pryce (d) operators. To complete the construction, it remains to show the relativistic covariance of the quantum-mechanical formalism. Here we only outline the proof of relativistic invariance of the scalar product (14). Concerning the covariant rules for computation of transition probabilities and mean values of operators, see [6, 12]. Introduce the following operator (we denote σµ = (1, σi), andσ ¯µ = (−1, σi)): s 1 pˆ0 1 V = [(¯σpˆ) + mc],V −1 = [mc − σpˆ], (18) mc pˆ0 + mc 2ppˆ0(ˆp0 + mc) commuting with the Schr¨odingeroperator (13), then the vector ψ = V −1Ψ obeys (13) and (15) together with Ψ. Then we can write Z 1 Z hΨ, Φi = hV ψ, V φi = d3x (¯σpψˆ )†σ¯pφˆ + ψ†φ¯ ≡ d3xI0. (19) m2c2 The integrand is the null component of a four-vector 1 Iµ[ψ, φ] = (¯σpψˆ )†σµσ¯pφˆ − ψ†σ¯µφ , (20) m2c2 µ that represents a conserved current of Eq. (15), that is ∂µI = 0, when ψ and φ satisfy to Eq. (15). So we can R µ 1 ν α β construct a scalar product using the invariant integral: (ψ, φ) ≡ dΩµI , dΩµ = − 6 µναβdx dx dx , computed over Ω a space-like three-surface Ω. Using the Gauss theorem for the four-volume contained between the surfaces Ω1 and Ω2, we conclude that the scalar product does not depend on the choice of the surface, R = R . In particular, it does Ω1 Ω2 not depend on time. So we can restrict ourselves to the hyperplane defined by the equation x0 = const, this reduces (ψ, φ) to the expression written in Eq. (19): (ψ, φ) = R d3xI0. Besides, the scalar product is positive-defined, since I0[ψ, ψ] > 0. In the result, Eq. (14) represents the relativistic invariant scalar product. The operator (18) is closely related with the Foldy-Wouthuysen transformation of the Dirac equation. To see this, we use the equivalence between Klein-Gordon and Dirac equations contained in the map 1  1 1   ψ  1  [(¯σpˆ) + mc]ψ  ΨD[ψ] = √ 1 = √ , (21) 2 −1 1 mc (¯σpˆ)ψ 2mc [(¯σpˆ) − mc]ψ 5

B F1

S1

S 2

F2

Figura 1: Vector of force Fi ∼ −N(Si)N(B)Si always is directed towards the straight line of the vector B.

µ that relates solutions ψ of Klein-Gordon equation (15) with the solutions ΨD of the Dirac equation (γ pˆµ+mc)ΨD = 0, where γµ are γ -matrices in the Dirac representation. Applying the Foldy-Wouthuysen transformation

ωp + mc + (~γ~p) UFW = p , (22) 2(ωp + mc)ωp to the Dirac spinor ΨD[ψ], we obtain

 V ψ   Ψ  U Ψ [ψ] = = , (23) FW D 0 0 that is the operator V is a restriction of UFW to the space of positive-energy right Weyl spinors ψ. We emphasize that in this paragraph we did not try to give a physical interpretation of manifestly covariant Klein-Gordon and Dirac equations (the interpretation of negative-energy states and so on). Vector model leads to the relativistic quantum mechanics with positive-energy states, which is defined by the expressions (13)-(17). The covariant Klein-Gordon and Dirac formalisms were used as an auxiliary tool to test the relativistic invariance of this theory. Modified equation for precession of spin. As we saw above, the classical models of spinning electron clarify a number of theoretical issues. However, due to the absence of a classical mechanism similar to the quantization of angular momentum and spin and the corresponding rules for the addition of moments, the range of applicability of these models for practical calculations is rather limited. For instance, as the basic motion of spin in magnetic field is a precession, its contribution into the classical energy is (S, B) ∼ cos θ0, and can be an arbitrary number depending only on the initial value of the angle 0 < θ0 < π between magnetic field and spin. Let us discuss a possibility to modify the basic motion, introducing a nonminimal interaction that causes the spin to align up or down relative to its precession axis. ij ij SiSj ij ˆi ˆj ij ij BiBj ij ˆi ˆj Introduce the matrices N (S) ≡ δ − S2 ≡ δ − S S and N (B) ≡ δ − B2 ≡ δ − B B , which are ˆ S ˆ B projectors on the plane orthogonal to the unit vectors S = |S| and B = |B| . Using them, we consider the following double projection of S (see Fig. 1):

−|B|N(S)N(B)S = (B, S)N(S)Bˆ = (B, S)[Sˆ, [Bˆ , Sˆ]]. (24)

This vector lies on the plane of B and S, is tangent to the circle of the radius |S|, and, regardless of the angle between B and S, is always directed towards the straight line of the vector B. Assuming that a nonminimal interaction of spin with magnetic field is proportional to this vector, we replace the precession equation on the following one: dS e = − [B, S] + β(B, S)[Sˆ, [Bˆ , Sˆ]], (25) dt mc

|e| where, on dimensional grounds, β = γ mc , and γ > 0 is a dimensionless constant. As we have a first-order differential equation, the end point of S moves along the integral lines of the vector field written on r.h.s. of this equation. So, the evolution of S consist of two motions: precession around B caused by first term, plus circular motion on the plane of precession (that is on the plane of B and S(t)) caused by second term. Due to the circular motion, a vector of spin 6 that originally had an acute angle with B lines up in the direction of B, while a vector that had an obtuse angle lines up in the opposite to B direction. These two directions are stable with respect to small perturbations. The time of dθ γ|eB sin 2θ| alignement depends on the angular velocity of the circular motion, which is dt = 2mc . So the mean time of the alignement is determined by the coupling constant γ

Acknowledgments. The work of A. A. D. has been supported by the Brazilian foundation CNPq (Conselho Nacional de Desenvolvimento Cient´ıfico e Tecnol´ogico- Brasil), and by Tomsk State University Competitiveness Improvement Program.

[1] Uhlenbeck G. E., Goudsmit G. E. Spinning and Structure of Spectra // Nature. 1926. V. 117. P. 264-265. [2] Frenkel J. Spinning Electrons // Nature. 1926. V. 117. P. 653-654. [3] Frenkel J. Die Elektrodynamik des Rotierenden Elektrons // Z. Phys. 1926. V. 37. P. 243-262. [4] Thomas L. H. The of an Electron with an Axis // Philosophical Magazine and J. of Science. 1927. V. 3. P. 1. [5] Pauli W. On the Quantum Mechanics of Magnetic Electrons // Zeit. f. Phys. 1927. V. 43. P. 601-623. [6] Deriglazov A. A., Ram´ırez W. G. Recent Progress on the Description of Relativistic Spin: Vector Model of Spinning Particle and Rotating Body with Gravimagnetic Moment in General Relativity // Advances in Mathematical Physics. 2017. V. 2017. Article ID 7397159; arXiv:1710.07135. [7] Corben H. C. Classical and Quantum Theories of Spinning Particles. Holden-Day, San Francisco, 1968. [8] Hanson A. J., Regge T. The Relativistic Spherical Top // Annals of Physics. 1974. V. 87. P. 498-566. [9] Deriglazov A. A. Lagrangian for the Frenkel Electron // Phys. Lett. B. 2014. V. 736. P. 278-282; arXiv:1406.6715. [10] Deriglazov A. A., Pupasov-Maksimov A. M. Relativistic Corrections to the Algebra of Position Variables and Spin-Orbital Interaction // Phys. Lett. B. 2016. V. 761. P. 207-212. [11] Pryce M. H. L. The Mass-Centre in the Restricted and its Connexion with the Quantum Theory of Elementary Particles // Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences. 1948. V. 195. P. 62. [12] Deriglazov A. A., Pupasov-Maksimov A. M. Lagrangian for Frenkel Electron and Position‘s Non-Commutativity Due to Spin // Eur. Phys. J. C. 2014. V. 74. P. 3101. [13] Choi T., Cho S. Y. Spin Operators and Representations of the Poincar´eGroup // arXiv:1807.06425. [14] Deriglazov A. A., Tereza D. M. Covariant Version of Pauli Hamiltonian, Spin-induced non Commutativity, Thomas Pre- cession and Precession of Spin // Phys. Rev. D. 2019. V. 100. 105009; arXiv:1910.11140. [15] Dixon W. G. A Covariant Multipole Formalism for Extended Test Bodies in General Relativity // Nuovo Cimento. 1964. V. 34. P. 317. [16] Nucamendi U., Becerril R., Sheoran P. Bounds on Spinning Particles in Their Innermost Stable Circular Orbits Around Rotating Braneworld // arXiv:1910.00156. [17] Toshmatov B., Malafarina D. Spinning Test Particles in the γ // Phys. Rev. D. 2019. V. 100. 104052; arXiv:1910.11565. [18] Kaye Jiale Li, Kinwah Wu, Dinesh Singh Spin of a millisecond pulsar orbiting closely around a massive black hole // Monthly Notices of the Royal Astronomical Society. 2019 V. 485. P. 1053-1066. [19] Mukherjee S., Tripathy S. Resonant orbits for a spinning particle in Kerr spacetime // Phys. Rev. 2020. V. D 101. 124047; arXiv:1905.04061. [20] Plyatsko R., Fenyk M. On Physics of a Highly Relativistic Spinning Particle in the // arXiv:1905.04342. [21] Khriplovich I. B. Spinning Particle in a Gravitational Field // Sov. Phys. JETP. 1989. V 69. P. 217-219. [22] Ram´ırezW. G., Deriglazov A. A. Relativistic Effects Due to Gravimagnetic Moment of a Rotating Body // Phys. Rev. D. 2017. V. 96, 124013; arXiv:1709.06894. [23] Feynman R. P. Quantum Electrodynamics. W A Benjamin, 1961. [24] Foldy L. L., Wouthuysen S. A. On the Dirac Theory of Spin 1/2 Particles and its Non-Relativistic Limit // Phys. Rev. 1950. V. 78 P. 29. [25] Deriglazov A. A. Spinning-Particle Model for the Dirac Equation and the Relativistic Zitterbewegung // Phys. Lett. A. 2012. V. 376. P. 309-313; arXiv:1106.5228. [26] Silenko A. J. Zitterbewegung of Bosons // arXiv:1912.01043. [27] Silenko A. J. General Properties of the Foldy-Wouthuysen Transformation and Applicability of the Corrected Original Foldy-Wouthuysen Method // Physical Review A. 2016. V. 93. 022108; arXiv:1602.02246.