Arxiv:2007.14691V1 [Quant-Ph] 29 Jul 2020 ( Ag E.( (Eq

arXiv:2007.14691v1 [quant-ph] 29 Jul 2020 ( ag E.( (Eq. gauge (b) space phase an the of in flow fluid a probability as represented compressible effective is state quantum a of evolution [ chemistry iue1 h udaaoisfrtegon tt faquan- a of Hamiltonian state the ground with the oscillator for harmonic analogies fluid tum The 1. Figure le lc rosso h etrfil ffli flow. fluid of field vector the show arrows Black blue. π yaislytebssfrmdr eilsia compu- semiclassical [ modern methods for tational basis the lay dynamics ∗ ~ P [email protected] =1): li nlge o ope utdmninlquantum multidimensional complex for analogies Fluid h euaie oma gauge; Bohmian regularized the δx,δp unu n eilsia yaisa udtere hr g where theories fluid as dynamics semiclassical and Quantum (a) = ± A 1 17 H h tnadHsm ersnain(q.( (Eqs. representation Husimi standard the p p a Dfut gauge “Default” (a) c Gauge (c) exp[ 40 0( =0 ncnetoa ud h u fteeetv udi endu defined is fluid effective man the bosonic of flux th open the derive arbitrary fluid, We conventional an in space. of phase dynamics the representing the in fluid analogy, fluid and hydrodynamic probability iceberg, specific effective mod an a the such to hydro of corresponds all tip a wetrajectory of a Specifically, on approaches. just theory Based trajectory-based are gauge unexplored methods unified common. Hel known the and in currently furnish Bohmian nothing we instance, have For mechanics, to seem diverse. very trajectories is chemistry and hs e.A Rev. Phys. ersnainepoe nqatmmn-oysimulations many-body appl quantum gauges and in gauges many employed s useful representation Infinitely for practically definition identifying for a choice. scheme and a gauge analogy the hydrodynamic quantum to distinct hydro reduce generic them our of among cases particular are mechanics quantum ( – w ) h rbblt uddniyi hw in shown is density fluid probability The )). 21 h aiyo rjcoisbsdapoiain employed approximations trajectories-based of family The p − = .INTRODUCTION I. w n pis[ optics and ] 1 w 4 3 nttt fSetocp fteRsinAaeyo Science of Academy Russian the of Spectroscopy of Institute p (( x = 1 x x =1 – x w A 12 + x H / =1 δx √ fmn-oypyis[ physics many-body of ] = 2) A / ) 40 2 √ G H +( 2) 84(99] epoeta h inr uiiadBhinr Bohmian and Husimi Wigner, the that prove We (1989)]. 2894 , p 22 + d oma gauge Bohmian (d) .I hs nlge,the analogies, these In ]. δp oma gauge Bohmian b Regularized (b) ( (c) w 2 ) mtyV Zhdanov V. Dmitry uaeUiest,NwOlas A718 USA 70118, LA Orleans, New University, Tulane p 2 /w )]; x x h gauge the x →∞ (d) 2 1 π ) h Bohmian the H ˆ = A 2 1 H (ˆ = 13 p 2 A – +ˆ 31 G H 16 x )); 2 = ], 1, ) ∗ n ey .Bondar I. Denys and miut pitdb kde[ an Skodje has by fluid (pointed effective ambiguity for equation continuity developed. derived fully The is system bosonic multidimensional open c a vnb eosrtdi culeprmnswith experiments actual [ in demonstrated fluids be even hydrodynam- can classical ics and mechanics quantum between hc a enoeloe nerirsuis[ studies fixing, earlier gauge in overlooked flux Skodje’s been of has of which matter form a is the trajectories Consequently, fluid electrodynamics. in variance [ trajectories systems fluid one-dimensional of for except form fully unknown, exact are is applica- the analogies Namely, numerical fluid existing in developed. of to dimensionality none way However, of ultimate tions. curse in the the evolution – quantum trajectories beat phase-space of of description terms the enables dence intriguing and uni- numerous after became debates 1950s fact in nonlo- This accepted quantum versally of interference. effects quantum the and captures cality fully and exact Wigner is the are used rep- [ mechanics fluid quantum Three of mechanics). resentations statistical classical to (akin iua,w hwta h oma ehnc (Fig. mechanics of par- Bohmian out In the three that represent fixings. show and gauge we iceberg Skodje’s ticular, the possible of many tip representations infinitely a hydrodynamic just quantum are mechan- Husimi Wigner, Bohmian quantum “conventional” the to and that analogies reveal They fluid ics. the unify findings systems closed multidimensional of class [ special a and 1 34 23 audpaesaevrals[ clas variables of space terms phase in mechanics valued quantum express Paul to José and possibility between Moyal on debates historic the e.g., See, pc ersnain fqatmsproiinadentang Appendix and in given superposition is quantum states of representations space nti ok h eea xc udaaoyfran for analogy fluid exact general the work, this In ]. – 25 hwta ahdfiiinfrasemiclassical a for definition each that show tt mrv eilsia nta value initial semiclassical a improve to it y ,Hsm [ Husimi ], 30 yai nlg,adaltedifferences the all and analogy, dynamic hr unu ytmi apdto mapped is system quantum a where 1 oSojsgue[.T Skodje T. [R. gauge Skodjes to p . oaas h ahmtclcorrespondence mathematical the Nowadays, . otniyeuto o h effective the for equation continuity e , -oysse.W hwta unlike that show We system. y-body mcascltaetre.W propose We trajectories. emiclassical ncmuainlqatmphysics quantum computational in 31 e’ rznGusa semiclassical Gaussian frozen ler’s eeit nifiiefml fyet of family infinite an exists re .Mr motnl,ti eycorrespon- very this importantly, More ]. l.I h ih fti theory, this of light the In els. ,Mso,129,Russia 142190, Moscow, s, r osbe ahlaigt a to leading each possible, are yai nlg oquantum to analogy dynamic 26 n oma [ Bohmian and ] 2 D . 29 peettosof epresentations .Asml lutaino phase of illustration simple A ]. 34 uematters auge )ai oteguein- gauge the to akin ]) 27 , t al. et. 28 .Ec fthem of Each ]. 35 , 36 32 .Our ]. Dirac , sical- 1d 33 led ) ] 2 is nothing but a singular limiting case of the Husimi rep- Rather, its objective is to introduce the ideas of the resentation (Fig. 1a) in a specific gauge. As exempli- Wigner quantization from dynamical perspective in the fied in Fig. 1, different gauges result in strikingly dif- spirit of our earlier works relying on the operational ferent fluid analogies reflecting incompatible aspects of dynamical modelling (ODM) [44, 45], which enables a the wave-particle duality. For instance, the fluxes in the smooth transition to the hydrodynamic interpretation of Husimi (Fig. 1a) and Bohmian (Fig. 1d) gauges highlight quantum mechanics. the non-vanishing zero-point energy and the stationarity It will be convenient for us to treat the general quan- of ground states, respectively. tum Hermitian operators Aˆ=A(pˆ, xˆ) as symmetrized Moreover, we prove by example that yet unexplored polynomials of the form Skodje’s gauges constitute a powerful resource to improve p x r1 rN rN+1 r2N the accuracy of semiclassical numerical methods. We A(ˆ, ˆ)= ar1,r2,...,r2N pˆ1 ...pˆN , xˆ1 ...xˆN +, develop a methodology to screen for useful gauges and r1,...,r2N X employ it to solve the Schrödinger equation in the ba- (1) sis of time-dependent squeezed coherent states evolving along fluid trajectories. A comparison with benchmark where , stands for the anticommutator and {⊙ ⊙}+ initial value representations, such as the coupled coher- ar1,r2,...,r2N are some real coefficients. This assumption is ent states (CCS) approach [12], confirms a superiority of not really critical and just helps us to avoid extra compli- our numerical method to capture tunneling dynamics. cations by dealing with complex expansion coefficients. The paper is organized as follows. The next section II reviews the Wigner-Weyl formalism from dynamical perspective, which, to our knowledge, has not been sys- A. Key concepts in nutshell tematically presented in literature but is critical for un- derstanding our reasoning. Readers not interested in Quantum mechanics prescribes that the momentum methodological details may skip Sec. II and go directly to and position operators pˆ and xˆ must satisfy identities Sec. III–V containing our key results. Sec. VI provides a ~ simple numerical example demonstrating the superiority [ˆpn1 , xˆn2 ]= i δn1,n2 , [ˆxn1 , xˆn2 ]=[ˆpn1 , pˆn2 ]=0. (2) of the developed framework over traditional semiclassi- − cal initial value representations used in computational The way to represent these operators is solely up to us. quantum physics and chemistry. A broader impact of The coordinate representation our gauge analysis on quantum science and engineering ∂ xˆn=xn, pˆn= i~ , (3a) is addressed in concluding remarks. Proofs of all the the- − ∂xn orems and important technical details for applying the developed methods to real-world multidimensional prob- and momentum representation lems are moved into the appendices. ∂ xˆn=i~ , pˆn=pn (3b) Throughout the paper, we use bold symbols to denote ∂pn vector quantities characterizing multidimensional sys- are the most typical choices. However, nothing prevents tems. In particular, p= p , ..., p and x= x , ..., x 1 N 1 N us from choosing something more interesting denote the momentum and{ position} coordinates{ of an N}- dimensional system in the 2N-dimensional phase space, y ~ ∂ y ~ ∂ xn=xn+i , pn=pn i . (4) and x denotes a quantum position eigenstate in Dirac 2 ∂pn − 2 ∂xn | i notations. Here we replaced the common “hat” above the quantum mechanical operator with the right-pointing curved arrow. The reason will become clear shortly. The op- II. INFORMAL INTRODUCTION TO erators (4) are called the “left” Bopp operators. It is WIGNER-WEYL QUANTIZATION straightforward to verify that they satisfy the identities (2). The detailed expositions of the Wigner-Weyl formal- At the first glance, the representation (4) looks incon- ism [24, 25, 37, 38] can be found in a variety of articles, venient: We doubled the number of variables for no rea- tutorials and textbooks. Wigner’s works [24, 39, 40] can son. However, one already can notice the remarkable serve as the physically appealing and intuitive introduc- feature that the Bopp operators (4) reduce to the con- tion. Readers seeking for a more formal and axiomatic ventional phase space variables xn and pn in the classical presentation might prefer the Stratonovich approach de- limit ~ 0. This is clearly not the case for the represen- tailed in Refs. [41, 42]. For thorough discussions on the tations→ (3). semiclassical limits, classical analogies and applications What kind of representation do the Bopp operators one can refer to Refs. [23, 43]. lead to? To answer this question, it is instructive first This introduction to the Wigner-Weyl formalism is to review the position representation (3a) in more de- somewhat non-standard and largely informal. It is not tail. Letρ ˆ be a density matrix describing the generic intended to be a substitute of above-mentioned works. state of a quantum system. Its position representation 3 is ρ(x′, x′′)= x′ ρˆ x′′ . The generic term of the form Let us apply the inverse Fourier transform to P (p, x) A(pˆ, xˆ)ˆρB(pˆ,hxˆ)| is| representedi as with respect to the momentum variables p: P (p, x) 1 3 → P˜(λ, x)=F− p λ[P (p, x)] . By comparing with (3), one ˆ ˆ ˆ ˆ → A′B′′ρ(x′, x′′)=B′′A′ρ(x′, x′′), (5) can see that the respective changes in the Bopp operators should be ˆ ~ ∂ ˆ ~ ∂ where A′=A( i ∂x , x′) and B′′=B(i ∂x , x′′). Note − ′ ′′ y y ~ the absence of the “ ” sign in the momentum argu- x x+ λ , p i~ ∂ +i ∂ , ˆ − → 2 → ∂λ 2 ∂x ment of B′′. This is the consequence of the fact that x λ x ~ ∂ ~ ∂ ˆ ˆ x x 2 , p i ∂λ i 2 ∂x . (13) ρˆB=(B†ρˆ†)†. For this reason, the left-acting “double- → − → − primed” operators satisfy the commutation relations, ˜ λ x which are complex conjugate of (2) Relations (13) identify P ( , ) as the position representation of a density matrix with the additional λ λ ~ variable substitutions x′ x+ and x′′ x , i.e., [ˆpn′′ , xˆn′′ ]=i δn1,n2 . (6) 2 2 1 2 ˜ λ λ → → − P (λ, x) x+ 2 ρˆ x 2 . The expression for P (p, x) fol- In addition, the “primed” and ”double-primed” operators ∝h | | − i lows from the relation P (p, x)=Fλ p[P˜(λ, x)] act on different variables and hence commute → p λ + λ λ · N 1 ∞ i ~ [Aˆ′, Bˆ′′]=0. (7) P (p, x)= (2π~)N x+ 2 ρˆ x 2 e− d λ. ··· −∞ h | | − i (14) What will happen if we switch to the Bopp represen- R R tation (4)? What will be the analogs of “double-primed” Eq. (14) coincides with the definition of Wigner func- operators? It appears that they can be expressed in terms tion. 4 In the case of a pure state ψ the definition (14) of the following “right” Bopp operators: reduces to | i x ~ x ~ ∂ ∂ p x′ xn=xn i , pn=pn+i , (8) 1 + x′ x′ i ·~ N 2 ∂pn 2 ∂xn P (p, x)= ∞ψ∗(x )ψ(x+ )e− d x′. − (2π~)N 2 2 ··· −∞ − which will be marked with the left-pointing curved ar- R R (15) rows. Indeed, x x ~ [pn1 , xn2 ]=i δn1,n2 (9) B. Moyal product and Weyl symbols and Consider an arbitrary Hermitian operator of the form y x [A, B]=0 (10) Oˆ=O(pˆ, xˆ)=O1(xˆ)+O2(pˆ). (16) y y y x x x y y for any A=A(p, x) and B=B(p, x). It is obvious that The associated Bopp operator O(p, x) can be expanded the relations (9) and (10) are identical to the equalities into the Taylor series (6) and (7) 2. Hence, the generic correspondence rule for y the Bopp representation should read ~ ∂ ~ ∂ O=O1(x+i 2 ∂p )+O2(p i 2 ∂x )= y y x x − l l A(pˆ, xˆ)ˆρB(pˆ, xˆ) A(p, x)B(p, x)P (p, x). (11) ~ ←−∂ −→∂ ~ ←−∂ −→∂ → i 2 ( ∂x ∂p ) i 2 ( ∂p ∂x ) ∞ · ! ∞ − · ! Here P (p, x) is the associated representation of the den- O1(x) l! +O2(p) l! = sity matrix, which, as we are going to show right now, is l=0 l=0 X lX exactly the Wigner function. Probably, the easiest way ~ ←−∂ −→∂ ←−∂ −→∂ i 2 ( ∂x ∂p ∂p ∂x ) to deduce the form of P (p, x) is to exploit the analogies ∞ · − · ! O(p, x) =O(p, x)⋆, (17) with the coordinate and momentum representations (3) l! l=0 of a pure quantum state ψ . Denote the wavefunctions X | i in the position and momentum representations (3a) and where we introduced the Moyal product (3b) as ψ(x)= x ψ and ψ(p)= p ψ , respectively. Re- h | i h | i call that the wavefunctions ψ(x) and ψ(p) are related by ~ ←−∂ −→∂ ←−∂ −→∂ ⋆=exp i 2 ( ∂x ∂p ∂p ∂x ) . (18) the Fourier transform Fx p · − · → p x + N Itx can be shown in a similar fashion that p F x 1 ∞ x i ~· x ψ( )= x p[ψ( )] N ψ( )e− d . p x p x p x → ≡ (2π~) 2 ··· −∞ OP ( , )=P ( , )⋆O( , ). These relations can be R R (12) generalized to arbitrary operators and allow us to

3 2 According to the prominent result of Leon Cohen, one can in- The function P (λ, x), known as the Blokhintsev function, was troduce infinitely many different phase space representations of first introduced in Ref. [47]. quantum mechanics [46]. However, the relations (9) and (10) 4 The normalization prefactor in Eq. (14) is chosen such that + N N make the Wigner representation special and unique. ··· ∞d p d xP (p, x)=1. −∞ R R 4 rewrite the correspondence relation (11) in an appealing matrixρ ˆ into an evolution equation for effective multi- form dimensional probability fluid. Our starting point is the

a a Wigner-Weyl formalism reviewed in the previous section, A(pˆ, xˆ)ˆρB(pˆ, xˆ) A(p, x)⋆P (p, x)⋆B(p, x). (11’) where the state of the system is described by the Wigner → function (15). However, there is a complication that generally a a Theorem 1 (see Appendix A for proof). Master equa- A(p, x)=A(p, x), B(p, x)=B(p, x) in the above formula, tion (23) can be cast into the continuity equation except for6 operators of the6 separable form (16). Here we will not go deeper into the construction and properties ∂ P (p, x)= J W(p, x)= ∂ J W ∂ J W, (24) a a ∂t −∇ · − ∂p · p − ∂x · x of the quantities A and B, called the Weyl symbols of operators, and instead refer readers to excellent review where the components of the 2N-dimensional flow are a [48], where an interesting historical remarks can be also a a ~ ∂L∗ found. J W= P ⋆ ∂H + i (L ⋆P ) ⋆ k +c.c. , (25a) p ∂x 2 k k ∂x − a a a ~ J W=P ⋆ ∂H i P (L ⋆P ) ⋆ ∂Lk∗ +c.c. . (25b) x ∂p 2 k k ∂p C. Quantum dynamics in Wigner representation − a a P Here Lk(p, x) and H(p, x) are the Weyl symbols of the Using the correspondence relations (11) and (11’), one operators Hˆ and Lˆ . The binary operations ⋆ and ⋆ are k can write the Liouvillevon Neumann equation defined as ∂ 1 ˆ ~ ←−∂ −→∂ ←−∂ −→∂ ∂t ρˆ= i~ [H, ρˆ] (19) i ( ) ~ ⋆=e 2 ∂x · ∂p − ∂p · ∂x , ⋆ =sinc (←−∂ −→∂ ←−∂ −→∂ ) , 2 ∂x · ∂p − ∂p · ∂x in the Wigner representation as where sinc(z)=sin(z)/z and the arrows indicate the a ∂ P = H, P , (20) directions of differentiation, e.g., f(p, x)←−∂ g(p, x) = ∂t {{ }} ∂x p x −→∂ p x ∂f(p,x) p x where the right hand side g( , ) ∂x f( , )= ∂x g( , )[43]. The analogy between classical fluid density and a 1 y x 1 a a P (p, x) is incomplete because the latter typically has H, P = (H H)P = (H⋆P P⋆H)= {{ }} i~ − i~ − negative values [52]. To fix this issue, we introduce the 2 a generalized Husimi function Q(p, x) as a Gaussian con- H sin ~ (←−∂ −→∂ ←−∂ −→∂ ) P (21) ~ 2 ∂x · ∂p − ∂p · ∂x volution of P (p, x): a ˆ + Q(p, x)=Gwp,wx P (p, x)= ∞P (p′, x′) is called the Moyal bracket of H and P . Eq.(20) is often ··· −∞ × referred as the quantum Liouville equation. The reason W p p x x N p N x Kwp,wx ( ′, R′) d R ′ d ′, (26) for such a name becomes clear once the Moyal bracket − − (21) is expanded into the series with respect to ~ where wp and wx are arbitrary width parameters obeying the inequality w w > ~ , and the kernel KW is 5 a pn xn 2 wp,wx ∂ ~2 ∂t P = H, P +O( ), (22) 2 2 { } δpn δxn W N 2w2 2w2 1 − pn − xn a a a Kw w (δp,δx)= e . (27) p, x n=1 2πwpn wxn where H, P = ∂H ∂P ∂H ∂P is the usual classical { } ∂x ∂p − ∂p ∂x Q Poisson bracket. Thus, because of relations (4) the quan- Function (26) is everywhere strictly positive. It re- tum Liouville equation (20) directly reduces to its ex- duces to the standard Husimi function (which can have ~ 6 pected classical counterpart in the limit ~ 0. zeros) in the limit wpn wxn 2 : → → p¯,x¯ ρˆ p¯,x¯ Gˆ ~ w¯ Q(p¯, x¯)= , P (p¯, x¯)= h (2π| ~|)N i 0, (28) √2w¯ √2 ≥ III. FLUID ANALOGY FOR BOSONIC SYSTEMS 5 The convolution operator can also be written in the differen- 2 2 Gˆ N 1 2 ∂ 1 2 ∂ tial form wp,wx = n=1 exp( wpn 2 + wxn 2 ) (see, e.g., Consider a generic N-dimensional open system with 2 ∂pn 2 ∂xn Hamiltonian Hˆ obeying the Lindblad-like master equa- Ref. [53]). Q 6 ~ Note that the Husimi kernels (27) with wpk wxk = 2 and tion [49–51] ~ wpk wxk > 2 can be related to thermal states of a harmonic oscil- ∂ i ˆ 1 ˆ ˆ lator with zero and non-zero temperatures, respectively [38, 54]. ∂t ρˆ= ~ [ˆρ, H]+ 2 k [Lk(t)ˆρ, Lk† (t)]+h.c. , (23) It worth stressing that, unlike physical thermal averaging, the “thermal” Husimi transform remains invertible and does not lead P where dissipation operators Lˆk are generally time- and to any loss of information contained in the original Wigner func- ρˆ-dependent. We wish to cast Eq. (23) for the density tion. 5 where p¯, x¯ is the multidimensional squeezed coherent opportunities to design dynamical models obeying de- | i H state localized at p¯, x¯ : sired constraints fr(J )=0 (r=1, ...R) without explicitly { } solving the complicated boundary value problem (35). 2 1 (xn x¯n) i N 1 − 2 + ~ p¯n(xn x¯n) Namely, one can start from Eqs. (25), (31) defining the 2 − 4 − 2w ¯n − x p¯, x¯ = n=1π− w¯n e . (29) H h | i “default” gauge An =0 and then seek new gauge poten- H Theorem 2Q(see Appendix B for proof). Master equa- tials An (p, x) obeying the following constraints: tion (23) can be cast into the continuity equation H H An , An x,p 0, (36a) ∇ →±∞→ ∂ H ∂ H ∂ H H H H H Q(p, x)= J (p, x)= p Jp x Jx , (30) f (J +δJ ( A , ..., A ))=0. (36b) ∂t −∇ · − ∂ · − ∂ · r 1 N for the generalized Husimi function Q(p, x), where the Let us demonstrate this generic scheme on an example. components of the Husimi flow vector field J H are expressed via the Wigner flows (25) as V. BOHMIAN MECHANICS H ˆ W H ˆ W Jp =Gwp,wx Jp , Jx =Gwp,wx Jx . (31) Consider a closed N-dimensional quantum system with Theorem 2 and strict positivity of Q(p, x) allow to the Hamiltonian introduce the trajectories of elementary parcels of the Hˆ = N 1 pˆ2 +V (xˆ), (37) effective Husimi fluid in the Lagrangian picture: n=1 2mn n

a D x=vH(p, x), D p=vH(p, x), (32) P N p2 Dt x Dt p whose Weyl symbol is H(p, x)= k +V (x). We k=1 2mk assume that the system is in a pure state described by the vH p x where the components of the velocity field are p ( , )= wavefunction ψ(x,t)= x ψ(t) . OurP aim is to construct J H p x p x vH p x J H p x p x h | i p ( , )/Q( , ), and x ( , )= x ( , )/Q( , ). the hydrodynamic analogy (marked by double primes ′′) to the dynamics of this system, where every n-th component vx′′ of the fluid velocity field (32) is independent IV. GAUGE TRANSFORMATIONS n of the corresponding conjugate momentum pn. The constraint (36b) on Jx′′ becomes In classical fluid dynamics, equations governing mass reg p (p1,...,pn 1,pn+1,...,pN ,x) density redistribution follow from underlying velocity p x n − p x Jx′′n ( , )= m Q′′( , ). (38) fields. The situation is reverse in quantum hydrodynam- n ics: The flow fields (25) and (31) were recovered from the Here the velocities vx′′n are expressed in terms of yet- reg master equation (23). Such a recovery is not unique [34]: unknown pn-independent functions pn , which we will The substitutions call the regularized Bohmian momenta for the reasons below. Following our scheme, one first deduces the x- W W W H H H J J +δJ , J J +δJ (33) components of the gauge field from Eq. (38) using the → → definition (33) and Eqs. (31), leave the quantum dynamics (i.e, Eqs. (24) and (30)) W H intact if the auxiliary gauge fields δJ and δJ have 1 reg δJ ′′= p Q′′(p, x) Gˆw ,w (pnP (p, x)) . (39) zero divergences: δJ W= δJ H=0. For instance, x mn n − p′′ x′′ δJ H may represent∇ invariable · ∇ swirls · in the phase space: This allows to find the gauge potential An′′(p, x) from the second of Eqs. (34), δJ H = ∂ AH(p, x), δJ H = ∂ AH(p, x), (34) pn − ∂xn n xn ∂pn n pn 1 reg pn A′′(p, x)= δJ ′′ dp= p Q′′(p, x) dpn H n x mn n − where the gauge potentials An (p, x) are arbitrary −∞ −∞ pn Gˆ p x bounded twice continuously differentiable functions. wp′′R,wx′′ (pnP ( , )) dp . R (40) This gauge freedom has been highlighted in, e.g., −∞ The boundaryR constraints (36a) in the limit pn + spe- Refs. [10, 11, 32, 34], although has been utilized only reg→ ∞ once [55]. However, it has been overlooked that the price cialize the regularized Bohmian momenta pn , for the gauge freedom is the constraint + ˆ ∞ dpnGw ,w (pnP (p,x)) reg −∞ p′′ x′′ pn = R + . (41) W H ∞Q′′(p,x)dpn J , J 0 (35) −∞ x,p R →±∞→ Now the gauge (40) is fully specified, and we can compute ensuring that there is no probability sources and drains all the components of the gauge flow field using Eqs. (34). at p , x = . For instance, the constraint (35) rules Of special interest is the limiting case (marked by sin- | | | | ±∞ J H out uniform gauge flows δ =const allowed by Eqs. (34). gle primes ′) of the just-constructed hydrodynamic anal- It is noteworthy that the analytical expressions (25) ogy, where linearly depend on P and hence satisfy Eq. (35) for all localized quasiprobability densities. This feature opens w′′=w′ 0, w′′=w′ . (42) x x→ p p→∞ 6

Theorem 3 (see Appendix C for proof). The evolution and the classical dynamical effects in silicone oil have also of the generalized Husimi fluid Gˆ p x been drawn [67]. Q′(p, x)= wp′ ,wx′ P ( , ) in the gauge (40) in the one-dimensional case N=1 and However, the transition to the Bohmian gauge is not in the limit (42) is represented by the flow invertible for a generic mixed quantum state: The singular convolution Gˆw ,w 0 in Eq. (26) irrecoverably de- p(x) ∂(V (x)+V(x)) p′ →∞ x′ → J ′ = Q′(p, x), J ′ = Q′(p, x), (43) stroys the momentum information in the original Wigner x m p − ∂x function. Also, the Bohmian fluid spreads over an infinite reg pψˆ (x) where p(x)=p w 0,w = ψ(x) is the Bohmian phase space area (see Fig. 2b). The associated natural | x′′→ p′′→∞ ℜ ~2 ∂2 coherent states (29), following from the relation (28), col- momentum and V(x)= 2 ψ(x) is the quan- − 2m ψ(x) ∂x | | lapse to a set of δ-functions with undefined parameters tum potential introduced in| the Bohmian| theory. p¯k. Such a singular basic is not suitable for numerical Theorem 3 indicates that the phase space velocities simulations. ′ ∂ p(x) v′=J /Q′= ∂x (V (x)+V(x)), m are independent of In order to circumvent all these issues, we pro- p. Thence, it{− follows from Eqs. (32)} and (41) that pose the regularized Bohmian transformation, where the gauge (40) is applied to the localized Husimi function D ∂ D p(x) Dt p= ∂x (V (x)+V(x)), Dt x= m . (44) Q′′=Gˆw w P constructed using finite width parameters − p′′, x′′ Furthermore, one can verify by direct substitution that w′′=0, . This gauge inherits the aforementioned ad- vantages6 ∞ of the Bohmian mechanics – vanishing flows for i x ψ(x)= ψ(x) exp( ~ p(x) dx). (45) steady states (Fig. 1b) and the localized origins of tunnel- | | −∞ ing trajectories in the phase space (Fig. 2c). Moreover, Equations (44) and (45) fullyR specify the evolution of compared to Fig. 2b, the resulting effective fluid trajec- + pure state ψ in terms of ψ(x) ∞Q′(p, x) dp and tories in Fig. 2c are smooth and completely free of the | i | |∝ −∞ p. They reproduce the familiar equationsR of the Bohmian δ-like singularities. mechanics, the oldest quantum hydrodynamicp formalism introduced by Madelung and de Broglie in 1927 [27, 28]. 1 The physical meaning of the Bohmian gauge special- 2π ized by theorem 3 can be clarified on the example of the

quantum harmonic oscillator in Fig. 1. Panels a and d of Fig. 1 compare two fluid representations of the oscillator’s ground state ψ . In the “default” gauge (panel | 0i a), the quantum advection, shown by black arrows, re- produces classical dynamics 7. In contrast, the flow fields x x x vanish in the Bohmian gauge (panel d) in line with the (a) “Default” gauge (b) Bohmian gauge (c) Regularized notion of the stationary state. AH=0 (w =w =1/√2) (wp/wx ) Bohmian gauge p x →∞ The classical-like drift of the Husimi fluid (Fig. 1a) is (wp=wx=1/√2) an obstacle for simulating quantum tunneling effects as in Figure 2. The three fluid representations of the qunatum dy- the case of the double-well potential shown in Fig. 2. Due namics in the double-well potential Vˆ dw= 1 (ˆx 5)2xˆ2: (a) the 50 − to quantum advection in the “default” gauge of Fig. 2a,a “default” Husimi gauge (Eqs. (25) and(31)); (b) the Bohmian gauge; (c) the regualrized Bohmian gauge. The Husimi func- dense sampling of the entire phase space is needed to cap- 2 tion Q of the initial state x ψ =√4 πe−x /2 is in blue. ture a small fraction of trajectories crossing the barrier. h | i|t=0 In contrast, tunneling trajectories in the Bohmian gauge, Colored curves depict the trajectories of effective fluid parcels. Fig. 2b, originate from a localized region near the barrier permitting a local dense sampling. This very property of the Bohmian mechanics has caught the eyes of applied physicists and chemists [56, 57], leading to a recent re- VI. NUMERICAL EXAMPLE markable progress in modelling complex many-body systems [2]. The Bohmian formalism found a variety of applications [58–61] including studies of molecular processes During last two decades, notable progress has been (e.g., reactive scattering and nonadiabatic vibronic dy- achieved in simulating quantum dynamics directly in namics [62–64]), elastic collisions [65], and quantum mea- the Wigner [68, 69] or Husimi representations, especially surements [66]. Parallels between the Bohmian mechanis thanks to the Martens group [10, 11, 55, 70]. However, such simulations are inherently challenging. A particu- 7 The Husimi flows depicted in Fig. 1a correspond to the phase lar issue is vanished quantum interference (and hence, Gˆ w ,w (pP (p,x)) the phase information) in the Husimi picture (see Ap- space velocities vH(p,x)= p x = 1 p, and vH(p,x) = x Q(p,x) 2 p pendix D for details and an example). We argue that Gˆ (−xP (p,x)) wp,wx = 1 x. Note that they differ by factor 1 com- this issue can be turned into a numerical advantage Q(p,x) − 2 2 pared to the case of a classical oscillator. This difference is merely when combined with the CCS- and FMS-type quantum due to the Gaussian blurring (26). chemistry methods [9] to solve the Schrödinger equation 7 i~ ∂ ψ =Hˆ ψ via the anzatz ∂t | i | i ψ(t) = K a¯ (t) p¯ (t), x¯ (t) (¯a C), (46) | i k=1 k | k k i k∈ constructed fromP the time-dependent squeezed coherent

states (29). It is shown in Appendix E that the trajectories p¯ (t), x¯ (t) of the centers of the basis states in

k k t

{ } the CCS method semiclassically approximate the Wigner flow lines defined by Eqs. (25). Thus, we propose to evolve p¯ (t), x¯ (t) with the flow of the generalized { k k } Husimi fluid Q=Gˆ ~ w¯ P defined by Eqs. (32): √ , √ 2w¯ 2 t d H d H H JH ℙ δ p¯k=vp (p¯k, x¯k), x¯k=vx (p¯k, x¯k), v = . (47) dt dt Q

Here the width parameters wp=α~/(√2w¯ ) and Figure 3. The time-dependent tunneling probabilities wx=αw¯ /√2 are chosen to match the spread of the basis Ptun= ψ h(ˆx) ψ (solid curves, the left scale) for the prob- states (29) (see Eq. (28)), and α=1.1>1 is chosen to lem (48h ),| where| ih(x) is the Heaviside step function. Also ensure that Q has no zeros. Importantly, in Appendix F shown (dotted curves, the right scale) is the quality fac- 2 we reduce the rhs of Eqs. (47) to computationally cheap hψ |h(ˆx) |ψi tor Q= | ref | , which relates the tunneled closed-form expressions applicable to generic multidi- hψref|h(ˆx) |ψrefihψ|h(ˆx) |ψi mensional quantum systems with Hamiltonian (37). fraction of wavefunction ψ(t) to the exact reference solution Further numerical details can be found in Appendix G. ψref(t) (orange) obtained via the standard split operator tech- As a specific test, we compute the solution to the one- nique [71] on a grid. Identical initial bases of 21 coherent dimensional Schrödinger equation in a challenging case states (29) are used in all the simulations (for details see Ap- pendix G). The link to source code can be found in Ref. [72]. of tunneling through a high and narrow potential barrier accompanied by multiple scattering. The quantum Hamiltonian and initial wavefunction ψ(x, t=0) in the di- detailed exploration. Finally, we believe that our results ~ mensionless units m= =1 read blur the boundary between classical and quantum worlds 2 2 2 xˆ 2 (x 4) by shedding new light on the controversial interpretation pˆ xˆ ( ) − Hˆ = + +25e− 0.35 , ψ(x, t=0) e− 2 . (48) 2 2 ∝ of trajectories in quantum mechanics [80, 81] and offer new ways to construct quantum-classical hybrid models The results, summarized in Fig. 3, show that the accu- [82, 83]. racy of simulating weak tunneling effects improves sig- nificantly if the “default” Husimi gauge AH=0 (green curves) is replaced by the regularized Bohmian gauge ACKNOWLEDGMENTS (blue curves). Moreover, the latter gauge also deliv- ers substantially better long-term estimates for both the shape of the quantum state and the tunneling probabili- D. Zh. thanks Francisco González Montoya for fruitful ties than the standard CCS method [12] (black curves). discussions and relevant advises. D.I.B. was supported by AFOSR (grant FA9550-16-1-0254), ARO (grant W911NF-19-1- 0377), and DARPA (grant D19AP00043). VII. OUTLOOK The views and conclusions contained in this document are those of the authors and should not be interpreted as representing the official policies, either expressed or The demonstrated utility of our theory calls for revis- implied, of AFOSR, ARO, DARPA, or the U.S. Gov- iting other applications of phase space methods in quan- ernment. The U.S. Government is authorized to repro- tum mechanics and beyond. For instance, an open ques- duce and distribute reprints for Government purposes tion is the optimal Skodje’s gauge for examining quan- notwithstanding any copyright notation herein. tum processes via recently proposed inventive use of the dynamical systems theory [73, 74]. Exploring the fluid analogies to other initial value representations, such as Appendix A: Proof of theorem 1 G-MCTDH [75, 76], could help to improve their numerical stability. The close ties between the phase space approaches to signal processing and quantum mechanics Our starting point is the Liouville-von Neumann equa- (see, e.g., Refs. [46, 48, 77]) make the developed method- tion (20). Unlike the classical Liouville equation, Eq. (20) ology transferable to the time-frequency analysis of prop- does not preserve the phase space volume. However, it agating signals in engineering applications. Connections preserves the normalization with the gauge-dependent trajectory-based methods re- + N N ∞ d p d xP (p, x)= Tr[ˆρ]=1. (A1) lying on the Voronoi tessellation [78, 79] also deserve a ··· −∞ R R 8

a a a (The latter identity can be verified using Eq. (14).) ~ ∂L∗ J W=P ⋆ ∂H i (L ⋆P ) ⋆ k + Hence, it should be possible to cast Eq. (20) into the x ∂p − 2 k ∂p Xk form of a continuity equation a a ∂L k ⋆ (P ⋆ L∗) . (A7b) ∂ P = J W, (A2) ∂p k ∂t −∇ · ∂ ∂ W W W where = ∂p , ∂x and J = Jp , Jx are the Wigner ∇ { } W { W } flows. In order to find Jp and Jx , we will need the Let us make a remark about the important special case following lemma: of a closed system with the Hamiltonian

Lemma 1. The Moyal bracket (21) of two Weyl symbols pˆ2 a a Hˆ =H(pˆ, xˆ)= n +V (xˆ). (A8) 2mn A and B can be written as n X a a a a a a A, B = ∂ (A ⋆ ∂B ) ∂ (A ⋆ ∂B ), (A3) This Hamiltonian (A8) has the separable form (16), so ∂x ∂p ∂p ∂x a {{ }} − that H=H(p, x). By substituting this Weyl symbol where ⋆ denotes the binary operation into Eqs. (A7) and integrating by parts an appropriate number of times, one can show that the state-averaged ~ ∂ ∂ ∂ ∂ ⋆ =sinc (←− −→ ←− −→) . (A4) W + W N N 2 ∂x ∂p ∂p ∂x Wigner flows J = ∞J (p, x) d p d x coincide · − · ··· −∞ with the respectiveh i classical expressions: Proof. R R + ∂V (x) N N W ∞ a a a a Jp (P ) = ∂x P (p, x) d p d x (A9a) ∂ ∂B ∂ ∂B h i − ··· −∞ (A ⋆ ) (A ⋆ )= + p N N ∂x ∂p − ∂p ∂x J W (P ) =R R ∞ n P (p, x) d p d x. (A9b) a a xn mn a ✓ a ✓ h i ··· −∞ (A(←−∂ +−→∂ ) ⋆ ∂B ) (A(←−∂ +−→∂ ) ⋆ ∂B )= ∂x ✓∂x ∂p − ∂p ✓∂p ∂x R R a a a a A ←−∂ −→∂ ←−∂ −→∂ ⋆ B= A, B . Appendix B: Proof of theorem 2 ∂x ∂p − ∂p ∂x {{ }} The normalization condition (A1) holds for the generalized Husimi function as well. Indeed, one can check Proof of theorem 1. Using the correspondence rule (11’) W that the kernel Kwp,wx defined by Eq. (27) satisfies the and the definition (21) of the Moyal bracket, one can property convert a master equation + N N ∞ W p p x x p x Kwp,wx ( ′, ′) d d =1. (B1) ∂ i ˆ 1 ˆ ˆ ··· −∞ − − ∂t ρˆ= ~ [ˆρ, H]+ 2 [Lk(t)ˆρ, Lk† (t)]+h.c. k UsingR thisR identity, one finds that X + N N into the Wigner representation as ∞Q(p, x) d p d x= ··· −∞ a a a + N N ∂ i~ ∞Gˆw w P (p, x) d p d x= P = H, P L (t)⋆P, L∗(t) +c.c. . R R p, x ∂t 2 k k ··· −∞ · {{ }}− {{ }} + N N Xk R R ∞P (p′, x′) d p′ d x′=1. (B2) (A5) ··· −∞ Identity (B2)R impliesR that the generalized Husimi func- Using Lemma 1, Eq. (A5) can be further rewritten as tion should satisfy a continuity-like equation similar to a a Eq. (A2). ∂ P = ∂ (P ⋆ ∂H )+ ∂ (P ⋆ ∂H )+ ∂t − ∂x ∂p ∂p ∂x a Proof of theorem 2. The explicit form of the continuity a i~ ∂ ∂Lk∗(t) equation for the generalized Husimi function can be de- (Lk(t)⋆P ) ⋆ 2 ∂x ∂p − duced by applying the convolution operator Gˆ to k wp,wx X a a the both sides of Eq. (A2): ∂ ∂Lk∗(t) p (Lk(t)⋆P ) ⋆ x +c.c. = ∂ ∂ Gˆ ∂ P = ∂ Q (B3a) wp,wx ∂t ∂t ∂ W ∂ W ∂p Jp ∂x Jx , (A6) ˆ W ˆ W − · − · Gwp,wx J = Gwp,wx J , (B3b) −∇ · −∇· where finally where the Wigner currents are defined by Eqs. (A7). In a a a ~ ∂L∗ the last equality we used the fact that the convolution J W ∂H i k p = P ⋆ ∂x + 2 (Lk⋆P ) ⋆ ∂x + Gˆ − operator wp,wx can be equivalently represented a in dif- k ferential form as a a X ∂Lk N 2 2 ∂x ⋆ (P ⋆ Lk∗) , (A7a) Gˆ 1 2 ∂ 1 2 ∂ wp,wx = n=1 exp( 2 wpn ∂p2 + 2 wxn ∂x2 ), (B4) n n Q 9

a ad 2 2 Gˆ Gˆ N 1 w2 ∂ + 1 w2 ∂ from which the identity wp,wx = wp,wx follows. By H n=1 2 pn 2 2 xn 2 ∂H(p,x) ∇ ∇ J = e ∂pn ∂xn ⋆ Q(p, x)= equating the right hand side of Eqs. (B3), one ﬁnds that x P ∂p − ! a p x H ∂ Gˆ p x H Gˆ W H Gˆ W Q( , ) ⋆ ∂p wp,wx H( , ) , (B8b) Jp = wp,wx Jp , Jx = wp,wx Jx . (B5) − ˆ ˆ ˆ where the adjoint mapping notation adXˆ Y =[X, Y ] is used and the symbol ⋆ H denotes the compound binary

operation

For completeness, let us also re-express the right hand N side of Eqs. (B5) for the Husimi currents solely in terms ⋆ H=exp w2 ←−−∂ −−→∂ +w2 ←−−∂ −−→∂ ⋆ . (B9) xn ∂xn ∂xn pn ∂pn ∂pn of the Husimi function Q(p, x) using the identity n=1 ! X

ˆ 1 ˆ Gw− ,w =G iwp,iwx , (B6) p x − Appendix C: Proof of theorem 3 which directly follows from Eq. (B4) and allows to for- As a preliminary step, let us specialize the deﬁnition of mally write the gauge potential (40) for the case of a pure quantum state ψ . For this, we will need the following property | i ˆ ˆ of the convolution operator Gwp,wx : P (p, x)=G iwp,iwx Q(p, x). (B7) − pn ˆ ˆ pn Gwp,wx Z(p, x) dpn=Gwp,wx Z(p, x) dpn , Substitution of Eq. (B7) into Eqs. (B5) gives −∞ −∞ R R (C1) a ad 2 2 N 1 w2 ∂ + 1 w2 ∂ H n=1 2 pn 2 2 xn 2 ∂H(p,x) which is valid for any function Z(p, x) exponentially J ∂pn ∂xn p x p = e P ∂x ⋆ Q( , )= ! small at p and/or x . With the help of | | → ∞ | | → ∞ p x′ p x′ a i ·~ ~ ∂ i ·~ H ∂ Eqs. (C1), (15) and the equality pne− =i e− Q(p, x) ⋆ Gˆ H(p, x) , (B8a) ∂xn′ ∂x wp,wx we obtain

pn 1 reg pn pn A′′ (p, x)= δJ ′′ dpn= p Q′′(p, x) dpn Gˆw ,w (pnP (p, x)) dpn = n x mn n p′′ x′′ −∞ −∞ − −∞ 1 pregGˆ pn p x Gˆ pn p x m n R wp′′,wx′′ P ( , ) dpRn wp′′,wx′′ (pnPR ( , )) dpn = n −∞ − −∞ p + p x′ 1 reg ˆ 1 x′ x′ i ·~ N p Gw ,w R N ∞ψ∗(x )Rψ(x+ )e− d x′ dpn mn n p′′ x′′ (2π~) 2 2 −∞ −∞ − − p x pn + x x · ′ N Gˆ R 1 R∞ x ′ x ′ i ~ x wp′′,wx′′ pn (2π~)N ψ∗( 2 )ψ( + 2 )e− d ′ dpn = −∞ −∞ − p x i · ′ R reg R + x x ~ − ~ N 1 Gˆ ∞ ′ ′ i e ~ N pn w′′,w′′ P.V. ψ∗(x )ψ(x+ ) d x′ + mn(2π ) p x − 2 2 xn′ −∞ p x R i · ′ + ∂ x′ x′ i~e− ~ N Gˆw ,w P.V. ∞i~ ψ∗(x )ψ(x+ ) d x′ . (C2) p′′ x′′ ∂xn′ − 2 2 xn′ −∞ R

The last equality in (C2) was obtained via the integration limit reduces to by parts with respect to xn. W δ(x x′) Q′(p,x) K (p p′, x x′) − δ(x x′) 2 . (C3) wp′ ,wx′ √2πw ψ(x) − − ≃ p′ ≃ − | | Proof of theorem 3. We are now interested in the one- After substituting Eq. (C3) into Eq. (41) one ﬁnds that dimensional case N=1 when the Husimi tranform is per- 8 formed in the singular limit wp′′=wp′ , wx′′=wx′ 0 . + →∞ → reg ∞pP (p, x) dp W p = −∞ =p(x), (C4) Note that the kernel K deﬁned by Eq. (27) in this w′′ ,w′′ 0 + wp′′,wx′′ | p →∞ x → R ∞P (p, x) dp −∞ R ψ(x)∗←→p ψ(x) 8 where p(x)= ψ(x) 2 is the conventional Bohmian mo- Hereafter we will drop the dimension subscript n=1 to simplify | | notations. mentum, here p = i~ (←−∂ −→∂ ). ←→ 2 ∂x − ∂x 10

Eqs. (C3) and (C4) allow to cast the gauge poten- The first term in Eq. (C9) can be transformed as tial (C2) into the form ∂ ∂x A′(p, x)= Q′(p,x) + i~δ(y) ∞ 2 2 A′(p, x)= ψ(x) 2 P.V. my ~ Q′(p,x) ∂ 2 ψ(x)∗←→p ψ(x) 2 × 2 ψ(x) 2 p(x) = | | −∞ m ψ(x) ∂x | | ψ(x) − ~ ∂ R y y | | | | p(x)+i ∂y ψ∗(x 2 )ψ(x+ 2 ) dy. (C5) ∂V(x) − ∂x Q′(p, x), (C11) Further simplifications can be made by expanding y y where V(x) is the quantum potential defined in theo- ψ∗(x ) and ψ(x+ ) into the series of y: − 2 2 rem 3. Thus, Eq. (C9) can be rewritten as Q′(p,x) + i~δ(y) ∞ ~ ∂ A′(p, x)= ψ(x) 2 P.V. my p(x)+i ∂y | | −∞ × ∂ Jp′ = Q′(p, x) ∂x (V (x)+ V(x)). (C12a) 1 R ∂ψ(x) ∂ψ∗(x) − ψ∗(x)ψ(x)+ y ψ∗(x) ψ(x) + 2 ∂x − ∂x The positional component of the flow can be obtained in 2 2 1 2 ∂ ψ(x) ∂ψ∗(x) ∂ψ(x) ∂ ψ∗(x) a similar fashion using the definition of J ′ (see Eq. (38) y ψ∗(x) 2 + ψ(x) + x 8 ∂x2 − ∂x ∂x ∂x2 ): 2 o(y ) dy. (C6) p J ′ = Q′(p, x) (C12b) x m The terms in the curly brackets proportional to yr with Equalities (C12) prove the theorem. r>2 do not contribute to the integral over y. The rest of Eq. (C6) can be split into even and odd terms with respect to y; the odd terms also do not contribute to the Appendix D: Quantum superposition and entangled integral. By collecting the even terms and performing states in Wigner and Husimi pictures the integration, one obtains The possibility of the Wigner function P (p, x,t) to Q′(p,x) i~ ∂ψ(x) ∂ψ∗(x) A′(p, x)= p(x) ψ∗(x) ψ(x) + take negative values compromises its interpretation as ψ(x) 2 2m ∂x − ∂x | | a conventional probability distribution (this is why it is 2 2 i~ ∂ ψ(x) ∂ψ∗(x) ∂ψ(x) ∂ ψ∗(x) often referred as the quasiprobability distribution). The ψ∗(x) 2 + ψ(x) . 2 ∂x2 − ∂x ∂x ∂x2 emergence of negative values is more the rule than the (C7) exception. For instance, Fig. 4a illustrates the Wigner function Pψ of a superposition Using the definition of the Bohmian momentum, one can simplify Eq. (C7) ψ p¯ , x¯ + p¯ , x¯ . (D1) | i ∝ | a ai | b bi 2 2 ~ ψ(x)∗←→p ψ(x) 2 of two squeezed coherent states defined in Eq. (46). One A′(p, x)= m Q′(p, x) ψ(x) 2 p(x) . (C8) | | − can see that P consists of three components ψ Now we are ready to compute the fluid flow vector P (p, x)=P (p, x)+P (p, x)+2 [P (p, x)], (D2) field corresponding to the Bohmian gauge. Its momen- ψ aa bb ℜ ab tum component reads where ∂ W J ′ = A′(p, x)+Gˆ ~ w¯ J (p, x) , (C9) + px′ p ∂x , p 1 ∞ x′ x′ i ~ − √2w ¯ √2 w¯ 0 Pab(p, x) 2π~ p¯a, x¯a x 2 x+ 2 p¯b, x¯b e− dx′. → ∝ −∞ h | − ih | i W (D3) where Jp (p, x) is given by Eq. (A7a). Evaluation of the R second term in Eq. (C9) using the specific form (C3) of The first two terms in Eq. (D2) manifest themselves in the convolution kernel KW gives wp′ ,wx′ Fig. 4a by two Gaussian blobs around the points p , x { a a} and pb, xb . These blobs are identical to the classical W Q′(p,x) { } Gˆ ~ w¯ J (p, x) = , p w¯ 0 ψ(x) 2 probability distribution for a particle having equal like- √2w ¯ √2 → − | | × lihoods of being localized either near pa, xa or near + ~ ∂ ∂ ∂ ∂ ∂V (x) ∞P (p, x)sinc (←−−→ ←−−→) dp= p , x . However, the last term in Eq.{ (D2) adds} non- 2 ∂x ∂p − ∂p ∂x ∂x b b −∞ {classical} sign-changing interference fringes between these Q′(p,x) + ~ ∂V (x) R ∞ ←−∂ −→∂ ψ(x) 2 P (p, x)sinc 2 ∂p ∂x ∂x dp= blobs. It is because of this term the phase space veloc- − | | −∞ W Q′(p,x) + ∂V (x) ~ Q′(p,x) ity field J (p, x)/P (p, x) is both physically and math- ∞ ψ(x) 2 R P (p, x) ∂x dp+ 2 ψ(x) 2 − | | −∞ | | × ematically ill-defined and singular. Consequently, one ❤❤❤ 2k 1 ✭✭✭ ❤❤ ~ − ✭✭✭ R ❤❤❤ ←−∂ −→∂✭✭✭ cannot unambiguously define the trajectories of the el- ∞❤❤ 2✭∂p✭∂x 2 + ∂ ✭ −✭❤❤❤ ! ∂ V (x) ∞ P (p,✭ x✭) ✭ ❤❤ dp= ementary parcels of quantum fluid represented by the ∂p✭✭✭ (2k+1)! ❤❤∂x❤2 ✭−∞✭✭ ❤❤❤❤ time-dependent Wigner function [52]. Furthermore, in a kX=1 R ∂V (x) general case, the overlapping fringes form a complicated Q′(p, x) . (C10) − ∂x landscape, which is difficult to approximate numerically. 11

Panels (a) and (b) of Fig. 4 help to compare the Wigner residual and Husimi representations for the same quantum superposition state. As expected, the Husimi function rk rk min p¯ (t),x¯ (t), (E1) h | i → | k k Q(p, x) is everywhere non-negative. At the same time, one can see that the interference fringes are nearly en- where r =( ∂ 1 Hˆ ) p¯ (t), x¯ (t) . In other words, | ki ∂t − i~ | k k i tirely smeared out in the Husimi representation by the the functions p¯k(t) and x¯k(t) provide the best Gaussian convolution (they are nearly two orders of mag- ﬁt to the solution of the Scr¨odinger equation nitude smaller than the dominant peaks). Consequently, i~ ∂ ψ =Hˆ ψ when using the single-Gaussian approx- ∂t | i | i the quantum superpositions with the opposite phases imation ψ p¯k(t), x¯k(t) . The solution to the problem shown in panels (b) and (c) look nearly identical. (E1) is | i ∝ | i Similar conclusions apply to an entangled state of two ∂ ∂V (xˆ) quantum particles, such as p¯k(t)= p¯k(t), x¯k(t) p¯k(t), x¯k(t) , (E2a) ∂t −h | ∂xˆ | i ∂ x¯ (t)= p¯ (t), x¯ (t) pˆn p¯ (t), x¯ (t) , (E2b) ∂t k,n k k mn k k ent p¯1,a, x¯1,a p¯2,a, x¯2,a + p¯1,b, x¯2,b p¯1,b, x¯2,b , h | | i | i ∝ | i | i | i | (D4)i where the Hamiltonian of form (A8) is assumed. Straightforward computation shows that Eqs. (E2) can where indices 1 and 2 enumerate the particles. The cor- be reduced to responding Wigner function Pent again consists of three ∂ W ∂ W p¯k(t)= J (Pk) , x¯k,n(t)= J (Pk) , (E3) terms ∂t h p i ∂t h xn i

where Pk(p, x) is the Wigner representation of the ba- P (p, x)=P (p , x )P (p , x )+P (p , x )P (p , x )+ ent aa 1 1 aa 2 2 bb 1 1 bb 2 2 sis function p¯k, x¯k (i.e., it is obtained by substituting | i W 2 [Pab(p1, x1)Pab(p2, x2)]. (D5) ψ = p¯k, x¯k into Eq. (15)). The Wigner flows J and ℜ |theiri averaged| i values are defined by Eqs. (A7) and (A9). The first two terms describe classical correlations be- Thus, the CCS solutions for p¯k(t) and x¯k(t) allow for tween particles’ positions and momenta. The last term a simple interpretation as the trajectories guided by the in Eq. (D5) is composed of the product of terms Pab, averaged Wigner phase space velocities for a single basis which, as we have learned from Fig. 4a, are non-positive state. and oscillatory. This additional, markedly non-classical correlation term is the phase space signature of quantum nonlocality. We refer interested readers to Ref. [84] for a Appendix F: Regularized Bohmian representation: thorough analysis of the quantum nonlocality (expressed Closed-form expressions for fluid velocities and as a violation of the Bell inequality) in terms of the pa- fluxes rameters of the Wigner function. These illustrations show that simulating quantum dy- 1. Preliminaries namics directly in the Wigner and Husimi representations is challenging. Nevertheless, it is worth noting the inno- Assume that a quantum state ψ is approximated us- vative methods developed in the Martens group, which ing the anzatz of squeezed coherent| i states (46). The re- made such simulations possible for low-dimensional sys- spective Wigner and Husimi functions can be represented tems [10, 11, 55, 70]. as

K K

P (p, x)= a¯k∗ (t)¯ak2 (t)Pk1 ,k2 (p, x), (F1a) Appendix E: Hydrodynamic interpretation of 1 k1=1 k2=1 coupled coherent states (CCS) method X X K K

Q′′(p, x)= a¯k∗ (t)¯ak2 (t)Qk′′ ,k (p, x), (F1b) In the CCS method, the trajectories p¯ (t), x¯ (t) of 1 1 2 k k k1=1 k2=1 centers of basis states in the time-dependent{ anzatz (}46) X X are deﬁned as the optimal trajectories minimizing the where 12

(a) (b) (c) Figure 4. The Wigner function deﬁned by Eq. (15) (panel (a)) and the Husimi functions deﬁned by Eq. (28) (panels (b) and (c)) representing the superposition of two Gaussian states ψ p¯=4, x¯=1 +eiϕ p¯= 4, x¯= 1 . Dimensionless units where w¯=~=1 are used. Panels (a) and (b) correspond to ϕ=0, whereas| i ∝| panel (c) ishows| the− case ϕ−=πi.

N p x 1 N + i · ′ x′ x′ N P (p, x)= ∞e− ~ p¯ , x¯ x x+ p¯ , x¯ d x′= P (p , x ), (F2) k1,k2 2π~ ··· h k1 k1 | − 2 ih 2 | k2 k2 i k1,k2,n n n −∞ n=1 Y R 2R ~2 (k1,k2) 2 2 1 w¯ 2 2 2 (xn x¯ ) (k ,k ) (k ,k ) 2 n − n 1 2 1 2 Pk1,k2,n(pn, xn)= π~ exp 2~2 p¯k1,n+¯pk2,n+ w¯4 2¯pn +2(pn p¯n ) , (F3) − n − − N Q′′ (p, x)=Gˆw ,w Pk ,k (p, x)= Q′′ (pn, xn), (F4) k1,k2 p′′ x′′ · 1 2 k1,k2,n n=1 Y 2 2 2 2 2 (k1 ,k2) 2 p¯ +¯p w¯ (k1,k2) 2 (k1,k2) 2 w¯n w¯n(¯pn pn) ( k1,n k2,n) n p¯n w¯n (¯xn xn) Qk′′ ,k ,n(pn, xn)= exp 2 2−~2 ~2 + ~2 2 − 2 . 1 2 2 2 2 2 ~2 2w ¯n̟p′′ + 2 w¯n+2̟x′′ π (w¯ +2̟′′ )(2w ¯ ̟′′ + ) − n − − n n xn n pn q (F5)

In the above expressions we used the notations where the function fn(z) is deﬁned as

i~ x¯ x¯ (k1,k2) 1 ( k1,n− k2,n) p¯n = p¯k1,n+¯pk2,n+ 2 , (F6) 2 w¯n i p¯ p¯ w¯2 2 2 (k1,k2) 1 ( k1,n k2,n) n √π z s¯ x¯ = −~ +¯xk ,n+¯xk ,n . (F7) fn(z)= e n (erf(zs¯n)+1) (F10) n 2 − 1 2 2¯sn

The following relations for Pk1,k2 (p, x) and Q (p, x) will be needed in the subsequent derivations: k′′1,k2 2 w¯n withs ¯n= 2w ¯2 ̟ 2+~2 (erf stands for error function). pn n p′′n pnPk1,k2 (p, x) dpn= r reg −∞ 2. Regularized Bohmian momentum pn (p pn , x) p ~2 \{ } (k1,k2) n p x p x R p¯n Pk1,k2 ( , ) dpn+ 2w ¯2 Pk1,k2 ( , ), −∞ n (F8) R Before turning to a general multidimensional case, let pn pn Gˆw ,w Pk ,k (p, x) dpn = Q′′ (p, x) dpn= us demonstrate that Eq. (41) takes a particularly simple p′′ x′′ · 1 2 k1,k2 −∞ −∞ form for a pure state ψ in the one-dimensional case (k1,k2) fnR(pn p¯ )Q′′ (p,Rx), (F9) | i − n k1,k2 N=1

2 2 2 2 (x′ x1) (p′ p) ∂ψ(x′) (x′ x1) (ˆx1 x1) p′P (p′,x′) exp − − dp′dx′dp ψ(x′)∗( i~) exp − dx′ [ ψ exp − pˆ1 ψ ] 2̟ 2 2̟ 2 ∂x 2̟ 2 2̟ 2 reg − x′′1 − p′′1 ℜ − ′ − x′′1 ℜ h | − x′′1 | i p (x1)= = = . 1 RRR (x x)2 (p p)2 R (x x )2 (ˆx x )2 P (p ,x ) exp ′− ′− dp dx dp ψ(x ) ψ(x ) exp ′− 1 dx ψ exp 1− 1 ψ ′ ′ − 2̟ 2 − 2̟ 2 ′ ′ ′ ∗ ′ − 2̟ 2 ′ h | − 2̟ 2 | i x′′1 p′′1 x′′1 x′′1 RRR R (F11) Once ψ is represented by the anzatz of the squeezed coherent states (46), Eq. (F11) can be evaluated analytically using| thei well-known technique described, e.g., in Ref. [12]. 13

The above derivation can be straightforwardly generalized to a multidimensional case

2 (ˆxn xn) − 2 K − 2̟x a¯∗ (t)¯ak (t) p¯k ,n, x¯k ,n pˆn,e ′′1 + p¯k ,n, x¯k ,n Q′′ (pn , xn ) reg k1,k2=1 k1 2 1 1 2 2 n′=n k1,k2,n′ ′ ′ p (p pn , x)= h |{ } | i 6 . (F12) n (ˆxn xn)2 − \{ } K 2̟ 2 P − x′′1 Q 2 k ,k =1 a¯k∗ (t)¯ak2 (t) p¯k1,n, x¯k1,n e p¯k2,n, x¯k2,n n =n Qk′′ ,k ,n (pn′ , xn′ ) 1 2 1 h | | i ′6 1 2 ′ P Q

J H p x 3. Husimi fluxes Let us now turn to computing the first term pn ( , ) in Eq. (F13). We will restrict ourselves to the case of J ′′ p x the Hamiltonians specified in Eq. (37) with the separable The position flux components xn ( , ) can be readily evaluated by substituting Eqs. (F1), (F4) and (F5) into potential Eq. (38). The computation of the momentum flux components V (x)= Vn(xn), (F19) n H X J ′′ (p, x)=J (p, x)+δJ ′′ (p, x), (F13) pn pn pn as this case allows for the exact analytical treatment. We again start by expanding the momentum flow J H is more involving. (Recall that the “default” component p J H p x defined in Eqs. (B5) and (A7) similarly to Eq. (F17) pn ( , ) of the momentum Husimi flow is defined by Eqs. (B5) and (A7)). We are going to show how one can K K evaluate both the terms in Eq. (F13). H p x H p x Jpn ( , )= a¯k∗1 a¯k2 Jpn,k1,k2 ( , ), (F20) The gauge term δJ ′′ (p, x) is given by the first of pn k1=1 k2=1 Eqs. (34). In order to evaluate the right hand side of X X Eqs. (34), one needs to know the gauge potential defined where in Eq. (40). One can proceed by expanding An′′(p, x) H p x H analogously to Eqs. (F1) Jpn,k1,k2 ( , )=Jpn,k1,k2,n(pn, xn) Qk′′1,k2,n1 (pn1 , xn1 ), n =n Y16 K K (F21)

An′′ (p, x)= a¯k∗ a¯k2 An,k′′ ,k (p, x), (F14) 1 1 2 and kX1=1 kX2=1 H Gˆ W where Jp ,k ,k ,n(pn, xn)= w′′ ,w′′ Jp ,k ,k ,n(pn, xn), (F22) n 1 2 pn xn · n 1 2 W 1 reg pn Jp ,k ,k ,n(pn, xn)= A′′ (p, x)= p Q′′ (p, x) dp n 1 2 n,k1,k2 mn n k1,k2 n −∞ − ~ ∂ ∂ ∂Vn(xn) pn Pn,k ,k (pn, xn)sinc ( ←−− −−→) . (F23) Gˆ p P (p, x) dp . (F15) 1 2 2 ∂pn ∂xn ∂xn wp′′,wx′′ n Rk1,k2 − − · −∞ · R p x To simplify notations, hereafter we will use the com- The terms An,k′′ 1,k2 ( , ) can be evaluated via Eqs. (F8) H H posite index ξ= k1, k2,n , i.e., J J etc. and (F9) pn,ξ pn,k1,k2,n Following the discussion{ } in Sec. II A≡, we can reex-

1 reg (k1,k2) (k1,k2) press Eq. (F23) in terms of the Blokhintsev function A′′ (p, x)= (p p¯ )fn(pn p¯ )+ n,k1,k2 mn n n n ˜ 1 − − Pξ(λ, xn)=F− pn λ[Pξ(pn, xn)] by applying the Fourier ~2 → 2 Q ′′ (p, x). (F16) transform (12) 2w ¯n k1,k2 Substitution of Eq. (F16) into the ﬁrst of Eqs. (34) gives W F ˜ i ∂ ∂Vn(xn) Jp ,ξ(pn, xn)= λ pn Pξ(λ, xn)sinc (λ ) = n − → · 2 · ∂xn ∂xn K K 1 F ˜ i ∂ δJ ′′ (p, x)= a¯∗ a¯k δJ ′′ (p, x), (F17) 2i λ pn Pξ(λ, xn) sin (λ ) Vn(xn) = pn k1 2 pn,k1,k2 → · λ 2 · ∂xn k =1 k =1 X1 X2 1 λ λ Fλ p P˜ξ(λ, xn)(Vn(xn+ ) Vn(xn )) . (F24) where → n · λ 2 − − 2

δJ ′′ (p, x)= H pn,k1,k2 The respective expression (F22) for Jpn,ξ(pn, xn) can be reg simpliﬁed with the help of convolution theorem 1 ∂p (k ,k ) n f (p p¯ 1 2 )Q′′ (p, x)+ mn ∂xn n n n k1,k2 − + H ∞F ˜ W reg (k1,k2) (k1,k2) Jpn,ξ(pn, xn)= λ pn Kw ,w (λ, xn x′) (p p¯ )fn(pn p¯ )+ → · p′′n x′′n − n − n − n −∞ ~2 ∂Q′′ (p,x) R k1,k2 1 ˜ λ λ 2 . (F18) Pξ(λ, x′)(Vn(x′+ ) Vn(x′ )) dx′, (F25) 2w ¯n ∂xn λ 2 − − 2 14 where where each term vn,k has the following generic form

W 1 W 2 ˜ F r(k) v2(k)y +v1(k)y Kw ,w (λ, δx)= − p′ λ[K wp′′ ,wx′′ (pn p′, δx)]= v (y)=c y e (F34) p′′n x′′n → n n − n,k r(k) 2 2 λ λ̟′′ +2ip ~ 1 δx ( pn n ) exp 2 ~2 (F26) with non-negative integers r and some constants cr, v1 2π√~̟ 2̟′′ 2 x′′n − xn − and v2. In this case, the integral (F29) is expandable as W is the partially Fourier-transformed kernel Kw ,w (see (0) (0) p′′n x′′n Iξ (pn, xn)= cr(k)Iξ,k (pn, xn), (F35) Eq. (27)). k Recall that the squeezed coherent states have the form X (0) where each I (pn, xn) is of the form N ξ,k x p¯k, x¯k = χk,n(xn), (0) + 2 (1) I (p , x )= ∞χ (y)yrev2y +v1yI (y,p , x ) dy= h | i ξ,k n n k1,n k2 ,n n n n=1 −∞ Y 2 2 + r αy +βy N (xn x¯ ) − k,n i C4 R ∞y e− erﬁ(B2y + C2) dy= 1 2 + ~ p¯k,n(xn x¯k,n) − 2w ¯n − −∞ χk,n(xn)= 1 e . (F27) n+1 4 √ 2 (2) B2 β n=1 πw¯n iC4√R2π(2α)− I i , iC2, . (F36) Y − r √2α √2α Using this deﬁnition and with the help of the substitu- λ λ Here tions y=x 2 , z=x+ 2 , Eq. (F25) can be reshaped as − 1 ip¯k1 ,n x¯k1,n α= 2 +A1+v2, β= ~ + 2 +B1+v1, (0) (0) 2w ¯n w¯n Ik ,k ,n(pn,xn)+(Ik ,k ,n(pn,xn))∗ − H 1 2 2 1 x¯ ip¯ J (pn, xn)= , (F28) k1,n k1,n pn,ξ √2π~ x¯k ,n 2 + ~ 1 − 2w ¯ ! C1e n C4= 4 where √π√w¯n

(0) + (1) and ∞ I (pn, xn)= χk1,n(y)Vn(y)I (y,pn, xn) dy, ξ k2,n 2 −∞ (2) 1 + r x +µx (F29) I (a,b,µ)= ∞x e− 2 erf(ax+b) dx= r √2π R −∞ 2 2 µ2 µ (aµ+b) and aµ+R b 2 2 P (µ)e 2 erf +Q (µ)e − 2a +1 , (F37) r √2a2+1 r K˜ W (z y, z+y x ) (1) + w ,w 2 n I (y,p , x )= ∞ p′′n x′′n − − dz. (F30) k2,n n n z y where the polynomials Pr(µ) and Qr(µ) are deﬁned re- −∞ − cursively as The last integral isR of a general form P0(µ)=1,Q0(µ)=0, A λ2+B λ + e− 0 0 B0 C ∞ dλ=πC erﬁ , (F31) ∂Pr (µ) 0 λ 0 √2A −∞ 0 Pr+1(µ)= ∂µ +µPr(µ), R (µ 2ab)Qr (µ) 2aPr(µ) ∂Qr (µ) where, in our case, Qr+1(µ)= − 2 + + . 2a +1 √π(2a2+1) ∂µ

2 C1 A1y +B1y 1 1 1 C0= e− , A1= 2 w¯2 + ̟ 2 , π n x′′n 4. Remark on multidimensional computations ip¯k2 ,n x¯k2,n xn B1= ~ + w¯2 + 2 , n ̟x′′n 2 xn 1 x¯k2,n 2ip¯k2 ,n The outlined procedures for computing the compo- exp 2 x¯k2,n 2 + ~ − 2̟′′ − 2 w¯ reg H H xn n ! nents of p , J x′′ and δJ p′′ are applicable to both one- C1= 2π1/4̟ √~w¯ , x′′n n and multidimensional systems. The numerical complex- 2 4̟′′ ities scale linearly with the number of dimensions. How- 1 4 pn 1 A0= 8 w¯2 + ~2 + ̟ 2 , B0=B0,1y + B0,2, n x′′n ever, the described algorithm for computing the “default” Husimi momentum flow (given by the first of Eqs. (B5), i pn p¯k ,n x¯ 1 1 ( − 2 ) k2,n xn W B0,1= 2 2 , B0,2= ~ + 2 + 2 . where J is defined by Eq. (A7)) is effective only for w¯ 2̟′′ w¯ 2̟′′ p − n − xn − n xn one-dimensional systems, and its direct extension to mul- Thus, tidimensional systems (apart from the special cases of harmonic and separable potentials (F19)) is prohibitively (1) A y2+B y I (y,p , x )=C e− 1 1 erfi(B y + C ), (F32) computationally expensive. Here we demonstrate the fea- k2,n n n 1 2 2 sibility of the approximation where B = B1,1 , C = B1,2 and erfi(z)= erf(iz) . 2 √2A 2 √2A i 0 0 H ˆ 1 + N Assume that the potential V (y) can be cast as a sum J (p, x) Gw ,w ~ N ∞ dλ n p ≃−ℜ p′′ x′′ (2π ) ··· × −∞ ˆ R pR λ V (y)= v , (F33) λ λ ∂H i ~· n n,k ψ x x+ ψ e− , (F38) h | − 2 ih 2 | ∂xˆ | i Xk 15 applicable to the case of a pure quantum state ψ . Note The latter allow for analytical integration that Eq. (F38) reduces to | i (4) 1 r Z(p,x) I = 2π√F w¯ w¯ ̟ ̟ C Hr 2C ˆ 1 2 p′′n x′′n × J H(p, x) [ p, x ∂H ψ ψ p, x ], (F39) p ∂xˆ A(X x)2+B(P p)2+D+C(P p)(X x) ≃−ℜ h | | ih | i e − − − − , (F47) in the case of the conventional “non-thermal” Husimi representation defined in Eq. (28). The procedures for com- where Hr denote Hermite polynomials, puting right hand side of Eq. (F39) in a multidimensional 2 ~ (w¯1 (2A(X x)+C(P p))+i (2B(p P )+C(x X))) Z(p, x)= − − 2 2 − − +X case are well-developed [12]. Similarly, Eq. (F38) can be w¯1 /w¯2 +1 ˆ ∂Hˆ (F48) analytically evaluated for generic operators O= ∂xˆ of the form − and the coefficients are N 2 2 2 2 2 ~ w¯ +w ¯ +4w′′ ˆ s r c2,k,nxˆn+c1,k,nxˆn 1 1 1 1 ( 1 2 x ) O= ak,s,r pˆnxˆne , (F40) E= 2 + 2 + 2 , F = 2 2 2 2 +E, 2 w¯1 w¯2 wx′′ 8w ¯1 w¯2 wp′′ wx′′ k,s,r n=1 2 2 2 ~2 X Y (w¯1 +w ¯2 )wp′′ + E A= 2 2 2 2 , B= 2F w 2 , where a ,c C and c R are some coefficients. − 4F w¯1 w¯2 wp′′ wx′′ − p′′ k,s,r 1,k,n∈ 2,k,n∈ Using the expansion similar to (F20), the only non-trivial i~ 1 1 w¯2 w¯2 2 2 ~ 1 − 2 p¯1w¯1 +¯p2w¯2 +i (¯x1 x¯2) part of evaluating Eq. (F38) is the calculation of an one- C= 2 2 , X= 2 2 − , 4F ̟p′′ ̟x′′ w¯1 +w ¯2 dimensional integrals of the form − n n ~x¯ w¯2+w ¯2 ~x¯ i(¯p p¯ )w ¯2 2 1 2 ( 1− 1− 2 1 ) P = ~ 2 2 , + pλ (w ¯1 +w ¯2 ) Gˆ 1 ∞ i ~ wp′′,wx′′ 2π~ dλe− i −∞ × D= ~ (¯p1x¯1 p¯2x¯2+P (¯x1 x¯2) X(¯p1 p¯2)). 2 2 λ λ s r c2xˆ +c1xˆ − − − − p¯1, x¯1 x R x+ pˆ xˆ e p¯2, x¯2 . (F41) h | − 2 ih 2 | | i Note that Eq. (F39) is exact for the case of a har- In the following, it will be helpful to explicitly intro- monic system. In the case of non-harmonic potentials, duce the width parameter into the notation (F27) for it can be regarded as a local harmonic approximation of the squeezed coherent states the potential energy surface near the phase space point p, x . However, Fig. 5 demonstrates that this approx- { } p¯, x¯ p¯, x¯, w¯ (F42) imation remains viable even for manifestly anharmonic, | i ≡ | i rapidly varying potentials. We consider again the model One can check that the following relation holds: from Fig. 3. We reproduce the solution computed using the exact regularized Bohmian gauge (blue curves) c xˆ2+c xˆ e 2 1 p,¯ x,¯ w¯ c′ p¯′, x¯′, w¯′ , (F43) and repeat the same calculation using the approximate | i≡ | i expression (F39) (red curves). One can see that the ac- where curacies of both the methods are nearly identical up to t 7.5; after that the exact and approximate solutions w¯2(2ip¯(2c x¯+ [c ])+ [c ]~(c +i [c ])) 2 ℜ 1 ℜ 1 1 ℑ 1 +2¯x(c x¯+c ) ≃ exp ~ 2 1 rapidly diverge due to an insufficient basis size. 2(2c w¯2 1) − 2 − ! c′= , √4 1 2c w¯2 − 2 2 ~ [c1]w ¯ +¯x w¯ p¯′=¯p+ [c1] , x¯′= ℜ 2 , w¯′= . Appendix G: Numerical example: Computational 1 2c2w¯ √1 2c w¯2 ℑ − − 2 details Using the relation (F42), we can reduce the integrals in Eq. (F41) to the evaluation of the following generic term: Here we detail the procedure for solving the time- dependent Schrodinger equation 1 + i pλ Gˆ ∞ dλe− ~ wp′′,wx′′ 2π~ ∂ 1 ˆ −∞ × r = ∂t ψ i~ H ψ =0. (G1) λ λ s r | i | i− | i p¯1, x¯1, w¯1 Rx x+ pˆ xˆ p¯2, x¯2, w¯2 . (F44) h | − 2 ih 2 | | i within the anzatz of time-dependent squeezed coherent Further simplifications can be done by using the equality states (46), which is used to obtain the results presented in Fig. 3 and Fig. 5. The problem of propagating ψ(t) pˆ p,¯ x,¯ w¯ = i ~ (x x¯)+¯p p,¯ x,¯ w¯ (F45) reduces to determining L time-dependent parameters| ini | i w¯2 − | i the anzatz (46), such as amplitudesa ¯k(t), for which we and the canonical commutation relations between posi- do not provide analytical expressions. Let us collectively tion and momentum operators, which allow to rewrite denote these parameters as z¯. Then, the time derivative Eq. (F44) as the sum of terms like ∂ ψ in (G1) can be written as ∂t | i (4) 1 + i pλ L I =Gˆ ∞ dλe− ~ wp′′,wx′′ 2π~ ∂ −∞ × ψ = z¯˙k ψz¯ + ψt , (G2) λ λ r ∂t | i | k i | i p¯1, x¯1, w¯1 x R x+ xˆ p¯2, x¯2, w¯2 . (F46) l=1 h | − 2 ih 2 | | i X 16

dz¯k ∂ where the shorthand notations z¯˙k= , ψz¯ = ψ dt k ∂z¯k ∂ | i | i are used, and ψt = ∂t ψ denotes the partial time derivative over all| parametersi | i other than z¯(t). Similarly to the CCS approach [12], we determine z¯˙k as the coef- ﬁcients minimizing the regularized least-square approximation error

⊺

ℙ ˙ ˙ r r + ǫz¯ Dz¯ min , (G3) h | i → |z¯˙ t where D is the real diagonal L L regularization matrix (chosen here to be equal to the× identity matrix) and ǫ>0 is an empirically chosen small parameter. Assuming that all of the parameters z¯ are real 9 and using the notations (G2), the solution of extremal problem (G3) can be written as t 1 z¯˙ =A− b, (G4) Figure 5. The performance of the regularized-Bohmian- gauge-based numerical solution to the Schr¨odinger equation, where A and b are the L L real matrix and the L- where the approximation (F39) to Husimi ﬂuxes (B5) is em- dimensional real vector with× entries ployed (red curves). The same test problem as in Fig. 3 is considered. For comparison, the respective calculations from A = [ ψ ψ ]+ ǫD , (G5) i,j ℜ h z¯i | z¯j i i,j Fig. 3 are reproduced (blue curves), where no approximations i b = [ − ψ Hˆ ψ ψ ψ ]. (G6) to the right hand side of Eqs. (B5) are made. The exact so- j ℜ ~ h z¯j | | i−h z¯j | ti lution is also shown in orange as a reference. The remaining notations, parameters, and computational basis are detailed The role of the regularization matrix D is twofold. First, in the caption to Fig. 3 and in Appendix G. it guarantees that A> 0 and, hence, is invertible for any ǫ>0. Second, it introduces a bias for solutions minimizing norms z¯˙k in degenerate cases. The latter feature is especially| useful| when z¯ are slow-varying parameters.

k a¯k arg(¯ak)p ¯k x¯k The empirical constant ǫ should be chosen large enough 0 0.424 935 1.523 58 -2 2.05 to provide an effective regularization, but small enough 1 0.160 277 −0.275 83 -2 −1.69 not to influence the computational accuracy. 2 0.164 41 −0.232 555 0 −1.93 The specific definitions of parameters z¯ are identical − − 3 0.326 508 0.488 428 0 1.57 for both the CCS and phase-space-flows-based computa- 4 0.227 026 2.767 71 2 −1.81 ¯ ¯ − tions. Namely, z¯= b1, ..., bN , ϕ¯1, ..., ϕ¯N , where real pa- 5 0.089 752 9 1.742 87 2 1.45 rameters ¯b andϕ ¯ { are the amplitude and} “slow” phase . . − . k k 6 0 363 191 2 773 19 -2 2 35 of the complex amplitudesa ¯ : 7 0.426 131 0.369 591 0 −2.25 k − − 8 0.268 861 0.032 482 4 2 2.15 ¯ ¯ i(ϕ ¯k(t)+φk(t)) 9 0.151 384 2.350 28 -2 −6.083 33 a¯k(t)=bk(t)e . (G7) 10 0.201 003− 2.181 52 -2 −5.083 33 − ¯ 11 1.099 11 0.959 581 -2 4.083 33 Here the “fast” phase φk(t) is defined following 12 0.159 998− 2.258 03 -2 −3.083 33 the standard practice (see, e.g., Ref. [21]) by ini- − 13 1.093 94 0.376 24 0 5.75 tial condition φ¯k(0)=0 and the evolution equation 14 3.928 21 0.214 463 0 −4.75 ∂ ¯ 1 ˆ φk(t)= ~ (p¯k x¯˙ k p¯k, x¯k H p¯k, x¯k ). 15 6.645 57− 0.282 041 0 −3.75 ∂t · −h | | i − In all the simulations (except for CCS) we utilized the 16 1.752 03 0.368 937 0 2.75 generalized (”thermal”) Husimi transform by modifying 17 0.391 672 −0.246 873 2 −5.416 67 Eq. (28) as 18 0.051 980 9− 1.890 87 2 −4.416 67 19 0.925 349 1.1339 2 −3.416 67 − − ˆ ~ 20 0.593 327 2.0164 2 2.416 67 Q(p, x)=Gα ,α w¯ P (p, x) (G8) − √2w¯ √2 · Table I. The initial expansion coefficients for representing the wavefunction ψ(t=0) in the anzatz of 21 squeezed coherent using the scaling factor α=1.1. The initial wavefunc- states. tion ψ(t=0) was expanded to 21 basis squeezed coherent 1 states withw ¯k= 2 . The expansion coefficients at t=0 are summarized in Table I. The source code used to produce all the numerical ex- amples can be found in Ref. [72].

9 Complex parameters can be included, e.g, by representing them new real parameters. in the polar form and treating the amplitude and phase as two 17

[1] J. Weinbub and D. K. Ferry, Recent advances in wigner function approaches, Appl. Phys. Rev. 5, 041104 (2018). [2] B. Larder, D. O. Gericke, S. Richardson, P. Mabey, T. G. White, and G. Gregori, Fast nonadiabatic dynamics of many-body quantum systems, Science Advances 5, eaaw1634 (2019). [3] R. C. Brown and E. J. Heller, Classical trajectory approach to photodissociation: The wigner method, J. Chem. Phys. 75, 186 (1981). [4] W. H. Miller, The semiclassical initial value representation: a potentially practical way for adding quantum effects to classical molecular dynamics simulations, J. Phys. Chem. A 105, 2942 (2001). [5] R. Saha and M. Ovchinnikov, Herman-kluk semiclassical dynamics in action-angle representation: New approaches to mapping quantum degrees of freedom, J. Chem. Phys. 124, 204112 (2006). [6] E. Pollak, The semiclassical initial value series representation of the quantum propagator, in Quantum Dynamics of Complex Molecular Systems, Springer Series in Chemical Physics, edited by D. D. A. Micha and D. I. Burghardt (Springer Berlin Heidelberg, 2007) pp. 259–271. [7] T. J. H. Hele, M. J. Willatt, A. Muolo, and S. C. Althorpe, Boltzmann-conserving classical dynamics in quantum time- correlation functions: matsubara dynamics, J. Chem. Phys. 142, 134103 (2015). [8] B. Berg, L. I. Plimak, A. Polkovnikov, M. K. Olsen, M. Fleischhauer, and W. P. Schleich, Commuting heisen- berg operators as the quantum response problem: Time-normal averages in the truncated wigner representation, Phys. Rev. A 80, 033624 (2009). [9] M. Vacher, M. J. Bearpark, and M. A. Robb, Direct methods for non-adiabatic dynamics: connecting the single-set variational multi-configuration gaussian (vmcg) and ehrenfest perspectives, Theor Chem Acc 135, 187 (2016). [10] A. Donoso and C. C. Martens, Quantum tunneling using entangled classical trajectories, Phys. Rev. Lett. 87, 223202 (2001). [11] H. Lpez, C. C. Martens, and A. Donoso, Entangled trajectory dynamics in the husimi representation, J. Chem. Phys. 125, 154111 (2006). [12] D. V. Shalashilin and I. Burghardt, Gaussian-based techniques for quantum propagation from the time- dependent variational principle: Formulation in terms of trajectories of coupled classical and quantum variables, J. Chem. Phys. 129, 084104 (2008). [13] M. Foss-Feig, P. Niroula, J. T. Young, M. Hafezi, A. V. Gorshkov, R. M. Wilson, and M. F. Maghrebi, Emergent equilibrium in many-body optical bistability, Phys. Rev. A 95, 043826 (2017). [14] C. V. Chianca and M. K. Olsen, Quantum phase-space analysis of population equilibration in multiwell ultracold atomic systems, Phys. Rev. A 84, 043636 (2011). [15] S. P. Cockburn, A. Negretti, N. P. Proukakis, and C. Henkel, Comparison between microscopic methods for finite- temperature bose gases, Phys. Rev. A 83, 043619 (2011). [16] G. Kordas, D. Witthaut, P. Buonsante, A. Vezzani, R. Burioni, A. I. Karanikas, and S. Wimberger, The dissipative bose-hubbard model, Eur. Phys. J. Spec. Top. 224, 2127 (2015). [17] P. Carruthers and F. Zachariasen, Quantum collision theory with phase-space distributions, Rev. Mod. Phys. 55, 245285 (1983). [18] S. Mai, M. Pollum, L. Martnez-Fernndez, N. Dunn, P. Marquetand, I. Corral, C. E. Crespo-Hernndez, and L. Gonzlez, The origin of efficient triplet state population in sulfur-substituted nucleobases, Nat. Commun. 7, 13077 (2016). [19] L. Orr, L. Hernández de la Peña, and P.-N. Roy, Formulation of state projected centroid molecular dynamics: Microcanon- ical ensemble and connection to the wigner distribution, J. Chem. Phys. 146, 214116 (2017). [20] L. Bonnet, Classical dynamics of chemical reactions in a quantum spirit, Int. Rev. Phys. Chem. 32, 171 (2013). [21] D. V. Makhov, C. Symonds, S. Fernandez-Alberti, and D. V. Shalashilin, Ab initio quantum direct dynamics simulations of ultrafast photochemistry with multiconfigurational ehrenfest approach, Chem. Phys. 493, 200 (2017). [22] R. F. OConnell, Wigner distribution function approach to dissipative problems in quantum mechanics with emphasis on decoherence and measurement theory, J. Opt. B: Quantum Semiclass. Opt. 5, S349 (2003). [23] C. K. Zachos, D. B. Fairlie, and T. L. Curtright, Quantum Mechanics in Phase Space. An Overview with Selected Papers (World Scientific, 2005). [24] E. Wigner, On the quantum correction for thermodynamic equilibrium, Phys. Rev. 40, 749 (1932). [25] R. L. Stratonovich, On distributions in representation space, Sov. Phys.-JETP (J. Exp. Theor. Phys.) 4, 891 (1957). [26] K. Husimi, Some formal properties of the density matrix, Proc. Phys. Math. Soc. Jpn. 22, 264 (1940). [27] E. Madelung, Quantentheorie in hydrodynamischer form, Z. Phys. 40, 322 (1927). [28] G. Bacciagaluppi and A. Valentini, Quantum theory at the crossroads: Reconsidering the 1927 Solvay conference (Cam- bridge University Press, 2009). [29] T. L. Curtright, D. B. Fairlie, and C. K. Zachos, A concise treatise on quantum mechanics in phase space (World Scientific Publishing Company, 2013). [30] G. G. Rozenman, M. Zimmermann, M. A. Efremov, W. P. Schleich, L. Shemer, and A. Arie, Amplitude and phase of wave packets in a linear potential, Phys. Rev. Lett. 122, 124302 (2019). [31] D. Dragoman and M. Dragoman, Quantum-classical analogies (Springer Science & Business Media, 2013). [32] M. Veronez and M. A. M. d. Aguiar, Phase space flow in the husimi representation, J. Phys. A: Math. Theor. 46, 485304 (2013). [33] D. Kakofengitis, M. Oliva, and O. Steuernagel, Wigners representation of quantum mechanics in integral form and its 18

applications, Phys. Rev. A 95, 022127 (2017). [34] R. T. Skodje, H. W. Rohrs, and J. VanBuskirk, Flux analysis, the correspondence principle, and the structure of quantum phase space, Phys. Rev. A 40, 2894 (1989). [35] E. Colomés, Z. Zhan, and X. Oriols, Comparing wigner, husimi and bohmian distributions: which one is a true probability distribution in phase space?, J. Comput. Electron. 14, 894 (2015). [36] B. J. Hiley, On the relationship between the wigner-moyal and bohm approaches to quantum mechanics: A step to a more general theory?, Found. Phys. 40, 356 (2010). [37] H. J. Groenewold, On the principles of elementary quantum mechanics, Physica 12, 405 (1946). [38] M. S. Bartlett and J. E. Moyal, The exact transition probabilities of quantum-mechanical oscillators calculated by the phase-space method, Math. Proc. Camb. Philos. Soc. 45, 545 (1949). [39] R. F. OConnell and E. P. Wigner, Quantum-mechanical distribution functions: conditions for uniqueness, Phys. Lett. A 83, 145 (1981). [40] M. Hillery, R. F. Oconnell, M. O. Scully, and E. P. Wigner, Distribution functions in physics: fundamentals, Phys. Rep. 106, 121167 (1984). [41] C. Brif and A. Mann, A general theory of phase-space quasiprobability distributions, J. Phys. A: Math. Gen. 31, L9 (1998). [42] B. Cahen, Stratonovich-Weyl correspondence for discrete series representations, Arch. Math.(Brno) 47, 51 (2011). [43] A. Polkovnikov, Phase space representation of quantum dynamics, Ann. Phys. (New York) 325, 1790 (2010). [44] D. I. Bondar, R. Cabrera, R. R. Lompay, M. Y. Ivanov, and H. A. Rabitz, Operational dynamic modeling transcending quantum and classical mechanics, Phys. Rev. Lett. 109, 190403 (2012). [45] D. V. Zhdanov and T. Seideman, Wigner representation of the rotational dynamics of rigid tops, Phys. Rev. A 92, 012129 (2015). [46] L. Cohen, Generalized phase-space distribution functions, J. Math. Phys. 7, 781 (1966). [47] D. I. Blokhintzev, The gibbs quantum ensemble and its connection with the classical ensemble, J. Phys. (USSR) 2, 71 (1940). [48] L. Cohen, Time-frequency distributions – A review, Proc. IEEE 77, 941 (1989). [49] A. Kossakowski, On quantum statistical mechanics of non-hamiltonian systems, Reports on Mathematical Physics 3, 247 (1972). [50] G. Lindblad, On the generators of quantum dynamical semigroups, Comm. Math. Phys. 48, 119 (1976). [51] T. F. Havel, Robust procedures for converting among lindblad, kraus and matrix representations of quantum dynamical semigroups, Journal of Mathematical Physics 44, 534 (2003). [52] M. Oliva, D. Kakofengitis, and O. Steuernagel, Anharmonic quantum mechanical systems do not feature phase space trajectories, Physica A 502, 201 (2018). [53] W. Ulmer and W. Kaissl, The inverse problem of a gaussian convolution and its application to the finite size of the measurement chambers/detectors in photon and proton dosimetry, Phys. Med. Biol. 48, 707 (2003). [54] V. V. Dodonov and V. I. Manko, Phase space eigenfunctions of multidimensional quadratic hamiltonians, Physica A 137, 306 (1986). [55] L. Wang, C. C. Martens, and Y. Zheng, Entangled trajectory molecular dynamics in multidimensional systems: Two- dimensional quantum tunneling through the eckart barrier, J. Chem. Phys. 137, 034113 (2012). [56] B. Gu and S. Garashchuk, Quantum dynamics with gaussian bases defined by the quantum trajectories, J. Phys. Chem. A 120, 3023 (2016). [57] S. Garashchuk and V. Rassolov, Quantum trajectory dynamics based on local approximations to the quantum potential and force, J. Chem. Theory Comput. 15, 3906 (2019). [58] P. R. Holland, The Quantum Theory of Motion: An Account of the de Broglie-Bohm Causal Interpretation of Quantum Mechanics (Cambridge University Press, 1993). [59] X. Oriols and M. J., eds., Applied Bohmian Mechanics: From Nanoscale Systems to Cosmology (PAN Stanford Publishing PTE LTD, 2012). [60] A. Benseny, G. Albareda, n. S. Sanz, J. Mompart, and X. Oriols, Applied bohmian mechanics, Eur. Phys. J. D 68, 286 (2014). [61] A.´ S. Sanz and S. Miret-Artés, A Trajectory Description of Quantum Processes. II. Applications: A Bohmian Perspective, Lecture Notes in Physics, Vol. 831 (Springer, 2013). [62] R. E. Wyatt, C. L. Lopreore, and G. Parlant, Electronic transitions with quantum trajectories, J. Chem. Phys. 114, 5113 (2001). [63] B. F. E. Curchod, U. Rothlisberger, and I. Tavernelli, Trajectory-based nonadiabatic dynamics with time-dependent density functional theory, ChemPhysChem 14, 1314 (2013). [64] S. K. Min, F. Agostini, I. Tavernelli, and E. K. U. Gross, Ab initio nonadiabatic dynamics with coupled trajectories: A rigorous approach to quantum (de)coherence, J. Phys. Chem. Lett. 8, 3048 (2017). [65] C. Efthymiopoulos, N. Delis, and G. Contopoulos, Wavepacket approach to particle diffraction by thin targets: Quantum trajectories and arrival times, Ann. Phys. (N. Y.) 327, 438 (2012). [66] D. Dürr, S. Goldstein, and N. Zangh, Quantum equilibrium and the role of operators as observables in quantum theory, J. Stat. Phys. 116, 959 (2004). [67] P. A. Milewski, C. A. Galeano-Rios, A. Nachbin, and J. W. M. Bush, Faraday pilot-wave dynamics: modelling and computation, Journal of Fluid Mechanics 778, 361 (2015). [68] R. Cabrera, D. I. Bondar, K. Jacobs, and H. A. Rabitz, Efficient method to generate time evolution of the wigner function 19

for open quantum systems, Phys. Rev. A 92, 042122 (2015). [69] D. I. Bondar, A. G. Campos, R. Cabrera, and H. A. Rabitz, Efficient computations of quantum canonical gibbs state in phase space, Phys. Rev. E 93, 063304 (2016). [70] A. Wang, Y. Zheng, C. C.Martens, and W. Ren, Quantum tunneling dynamics using entangled trajectories: general potentials, Phys. Chem. Chem. Phys. 11, 1588 (2009). [71] R. Kosloff and D. Kosloff, A Fourier method solution for the time dependent Schrödinger equation: A study of the reaction H++H2, D++HD, and D++H2, J. Chem. Phys. 79, 1823 (1983). [72] The source code for the numerical example can be found at https://bitbucket.org/dmzhdanov/objectmce. [73] O. Steuernagel, D. Kakofengitis, and G. Ritter, Wigner flow reveals topological order in quantum phase space dynamics, Physical Review Letters 110, 030401 (2013). [74] D. J. Mason, M. F. Borunda, and E. J. Heller, Quantum flux and reverse engineering of quantum wave functions, EPL 102, 60005 (2013). [75] I. Burghardt, H.-D. Meyer, and L. S. Cederbaum, Approaches to the approximate treatment of complex molecular systems by the multiconfiguration time-dependent hartree method, J. Chem. Phys. 111, 2927 (1999). [76] H.-D. Meyer, F. Gatti, and G. A. Worth, Multidimensional quantum dynamics: MCTDH theory and applications (John Wiley & Sons, 2009). [77] P. Rojas, R. Blaser, Y. M. Sua, and K. F. Lee, Optical phase-space-time-frequency tomography, Opt. Express 19, 7480 (2011). [78] T. M. Coffey, R. E. Wyatt, and W. C. Schieve, Quantum trajectories from kinematic considerations, J. Phys. A: Math. Theor. 43, 335301 (2010). [79] T. M. Coffey, R. E. Wyatt, and W. C. Schieve, Reconstruction of the time-dependent wave function exclusively from position data, Phys. Rev. Lett. 107, 230403 (2011). [80] R. Penrose, The road to reality: A complete guide to the laws of the universe (Vintage, London, 2005). [81] A. J. Leggett, The quantum measurement problem, Science 307, 871 (2005). [82] D. I. Bondar, F. Gay-Balmaz, and C. Tronci, Koopman wavefunctions and classicalquantum correlation dynamics, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 475, 20180879 (2019). [83] F. Gay-Balmaz and C. Tronci, Madelung transform and probability densities in hybrid classical-quantum dynamics, arXiv:1907.06624 [math-ph, physics:quant-ph] (2019). [84] A. Venugopalan and R. Ghosh, Wigner-function description of quantum-mechanical nonlocality, Phys. Rev. A 44, 6109 (1991).