Open quantum dynamics with variational non-Gaussian states and the truncated Wigner approximation
Liam J. Bond
Institute for Theoretical Physics, Institute of Physics, University of Amsterdam, Science Park 904, 1098 XH Amsterdam, the Netherlands
QuSoft, Science Park 123, 1098 XG Amsterdam, the Netherlands
Bas Gerritsen
Institute for Theoretical Physics, Institute of Physics, University of Amsterdam, Science Park 904, 1098 XH Amsterdam, the Netherlands
QuSoft, Science Park 123, 1098 XG Amsterdam, the Netherlands
Jiří Minář
Institute for Theoretical Physics, Institute of Physics, University of Amsterdam, Science Park 904, 1098 XH Amsterdam, the Netherlands
QuSoft, Science Park 123, 1098 XG Amsterdam, the Netherlands
Jeremy T. Young
Institute for Theoretical Physics, Institute of Physics, University of Amsterdam, Science Park 904, 1098 XH Amsterdam, the Netherlands
Johannes Schachenmayer
CESQ/ISIS (UMR 7006), CNRS and Université de Strasbourg, 67000
Arghavan Safavi-Naini
Institute for Theoretical Physics, Institute of Physics, University of Amsterdam, Science Park 904, 1098 XH Amsterdam, the Netherlands
QuSoft, Science Park 123, 1098 XG Amsterdam, the Netherlands
(July 2, 2024)
Abstract
We present a framework for simulating the open dynamics of spin-boson systems by combing variational non-Gaussian states with a quantum trajectories approach. We apply this method to a generic spin-boson Hamiltonian that has both Tavis-Cummings and Holstein type couplings, and which has broad applications to a variety of quantum simulation platforms, polaritonic physics, and quantum chemistry. Additionally, we discuss how the recently developed truncated Wigner approximation for open quantum systems can be applied to the same Hamiltonian. We benchmark the performance of both methods and identify the regimes where each method is best suited to. Finally we discuss strategies to improve each technique.
Advances in the control of quantum systems over the past decade have led to the development of a wide variety of different platforms for investigating almost-coherent quantum dynamics. However, in the absence of robust fault-tolerant operations, studies of these platforms must contend with various sources of noise induced by couplings to an environment. Moreover, these noisy intermediate-scale quantum (NISQ Preskill (2018)) devices can often be arbitrarily controlled, opening possibilities of creating states far out of equilibrium.
In light of this, understanding the out-of-equilibrium dynamics of open quantum many-body systems has become of great interest, e.g. for understanding and realizing a quantum advantage in the NISQ era.
A particularly challenging class of problems arises for
systems containing both spin and bosonic degrees of freedom with an (even locally) unbounded Hilbert space, applicable to quantum simulation and computation platforms ranging from superconducting circuits to trapped ions Peropadre et al. (2013); Yoshihara et al. (2017); Forn-Díaz et al. (2017); Magazzù et al. (2018); Marcuzzi et al. (2017); Gambetta et al. (2020); Tamura et al. (2020); Skannrup et al. (2020); Méhaignerie et al. (2023); James (2000); Porras and Cirac (2004); Schneider et al. (2012); Kienzler et al. (2015); Lo et al. (2015); Kienzler et al. (2017), to paradigmatic problems in impurity physics Pérez-Ríos (2021); Lous and Gerritsma (2022), quantum chemistry Valahu et al. (2023), or polaritonic chemistry Garcia-Vidal et al. (2021). The ubiquity and complexity of spin-boson Hamiltonians has led to the development of various techniques for their study and characterization. These include methods for the bosonic space, namely path integral techniques Nalbach and Thorwart (2010); Kast and Ankerhold (2013); Nalbach and Thorwart (2013); Otterpohl et al. (2022), effective Hamiltonian formulation Lee et al. (2001); Rychkov and Vitale (2015); Szász-Schagrin and Takács (2022); Rakovszky et al. (2016) or lightcone conformal truncation used predominantly in high-energy physics Anand et al. (2020); Chen et al. (2022); Delacrétaz et al. (2023), as well as methods such as non-equilibrium Monte Carlo or tensor networks del Pino et al. (2018); Wellnitz et al. (2022); Wall et al. (2016), which have allowed for the simulation of (open) out-of-equilibrium dynamics of quantum many-body systems Makri and Makarov (1995); Thorwart et al. (1998, 2000); Schmidt et al. (2008); Schollwöck (2011); Orús (2014); Montangero (2018); White and Feiguin (2004); Schmitteckert (2004); Nuss et al. (2015); Dóra et al. (2017); Zwolak and Vidal (2004); Daley (2014); Preisser et al. (2023), also in large-system scenarios. However, these methods are often constrained to one-dimensional setups, closed systems, or to a mesoscopic number of particles, or a combination thereof.
The number and breadth of the aforementioned approaches illustrates that no single method can tackle the range of systems described by spin-boson type Hamiltonians or even the full parameter space of a specific model. As such, it is important to pinpoint the strengths and shortcomings of each method. In this work, we undertake a comparative study between two methods: (i) the time-dependent variational ansatz using non-Gaussian states (NGS) Shi et al. (2018); Hackl et al. (2020) and (ii) the truncated Wigner approximation (TWA) combined with its generalization to discrete spaces, discrete truncated Wigner approximation (DTWA). Fig. 1(a),(b) shows a schematic of each method. These methods may allow us to circumvent some of the aforementioned limitations Shi et al. (2018); Hackl et al. (2020); Schachenmayer et al. (2015a); Piñeiro Orioli et al. (2017); Zhu et al. (2019) and have recently been generalized to open quantum systems Joubert-Doriol and Izmaylov (2015); Schlegel et al. (2023); Huber et al. (2021, 2022); Singh and Weimer (2022); Mink et al. (2022); Mink and Fleischhauer (2023). Analyzing fundamental quantum effects in macroscopic limits can thus be enabled with NGS and TWA approaches.
In NGS, one exploits the continuous variable structure of bosonic states to build a time-dependent variational wavefunction ansatz of non-Gaussian states. Here, we specifically use a superposition of squeezed displaced bosonic states, which converges to the true wavefunction due to the over-completeness of the set of coherent states. Since each state in the superposition is Gaussian, much of the previously developed machinery for Gaussian states can be re-utilized. This method has been successfully applied to studies of systems ranging from the Kondo impurity problem Ashida et al. (2019a), central spin Ashida et al. (2019b), spin-Holstein models Knörzer et al. (2022), Bose and Fermi polarons Christianen et al. (2022a, b); Dolgirev et al. (2021), and (sub/super) Ohmic spin-boson model Bond et al. (2024). We also note that the closely related Davydov state ansatz has been applied in the studies of molecular crystals and polaritonic physics Chen et al. (2023); Zhao (2023); Sun et al. (2022); Zhou et al. (2015, 2014); Wu et al. (2013).
TWA is a semi-classical approach that factorizes the phase space functions (Weyl symbols) that describe a quantum observable in the phase space representation. As such, TWA is reminiscent of a product-state mean-field ansatz on Hilbert space. Like the latter, TWA allows one to treat systems with very large sizes [ particles], while still capturing some essential quantum features such as spin-squeezing or entanglement Schachenmayer et al. (2015a); Lepoutre et al. (2019); Perlin et al. (2020); Franke et al. (2023); Muleady et al. (2023); Young et al. (2024). TWA can be easily adapted to systems with both bosonic and discrete degrees of freedom, combining sampling strategies from continuous Polkovnikov (2010a) and discrete Wigner functions Schachenmayer et al. (2015a); Zhu et al. (2019); Piñeiro Orioli et al. (2017).
Here, we consider the open and closed dynamics of a spin-boson Hamiltonian featuring multiple spins coupled to a discrete set of bosonic modes via Holstein and Tavis-Cummings couplings, thus ensuring broad applicability of our results. We begin by introducing the two methods: the NGS method using our multi-polaron formulation introduced in Ref. Bond et al. (2024) is discussed in Sec. II. We extend the method to open quantum systems using the quantum trajectories method in Sec. III. We discuss TWA with its discrete variant DTWA for closed and open systems in Sec. IV. In Sec. V we introduce the Holstein-Tavis-Cummings spin-boson Hamiltonian, which we use to compare both methods over a range of parameters. Finally in Sec. VI we summarize our findings and discuss how each method can be improved to increase its accuracy and/or applicability both in terms of systems to which they can be applied, and also in terms of the observables that can be accessed.
II Non-Gaussian ansatz for a closed system
We begin by introducing the non-Gaussian ansatz, before discussing how to compute the equations of motion (EOMs) for the variational parameters. We consider a system of spins-1/2 and bosonic modes governed by some Hamiltonian . Our wavefunction, , is a variational ansatz in the form of a non-Gaussian state parameterized by a set of real numbers ,
(1)
where the summation over is over all spin basis states
111
The number of spin configurations in the present ansatz scales exponentially with the number of spins and is the bottleneck in the use of the ansatz in Eq. (1) for many spins. Addressing this issue, such as combining the non-Gaussian ansatz for the bosonic modes with tensor-network techniques for spins, is a matter of future work. We discuss an alternative approach, namely using the Holstein-Primakoff representation of the spins, in Sec. V.1.1.
.
The summation over produces a superposition of bosonic states for each spin degree of freedom. Following Ref. Bond et al. (2024) we refer to these states as polarons, and choose the operator to be of the form of a Gaussian unitary,
(2)
The parameters and determine the weight and phase factors, while the many-mode displacement and squeezing operators are defined as,
(3a)
(3b)
where we dropped the and indices of for simplicity. In this article, we always follow the convention that the many-mode operators appear with vector parameters and , i.e. , . Here () is the annihilation (creation) operator of the th mode satisfying the commutation relations . The complex numbers and describe the displacement and squeezing amplitudes of the th mode respectively. The parameters , and are real, and we collect them, along with and for each polaron, into a set indexed by . The total set of variational parameters is indexed by four indices: , , and . The total number of variational parameters is then .
We note that one could choose a more general Gaussian unitary instead of Eq. (2), where and is a symmetric matrix Shi et al. (2018); Hackl et al. (2020). In contrast, in Eq. (2) we only consider diagonal squeezing operators, cf. the Eq. (3b). This allows us to significantly simplify all subsequent manipulations while still capturing the relevant features of the Gaussian states, including squeezing. We note that in the limit the ansatz approaches the true wavefunction , as the set of all squeezed coherent states form an over-complete basis for the bosonic Hilbert space. In Fig. 2 and Sec. V we show that this requirement can be further relaxed: a superposition of coherent states, which was considered in Ref. Bond et al. (2024), is often sufficient to describe the relevant physics. Finally, we note that working with a superposition of Gaussian states allows us to use the extensive existing machinery developed for Gaussian states.
We start our analysis by adopting the Dirac-Frenkel variational principle
222
A remark is that instead of the Dirac-Frenkel variational principle one could employ the Lagrangian or McLachlan ones. Importantly these coincide, in that they yield the same equations of motion, if the tangent space of the variational manifold is a Kähler space. In this framework, for a given Hamiltonian one can derive equations of motion for the variational parameters describing either real- or imaginary-time evolution of the wavefunction Hackl et al. (2020),
(4a)
(4b)
where index the variational parameters and . Here
is the energy and is the normalized energy. We introduce the tangent vectors of the variational manifold at point ,
(5)
In terms of the tangent vectors, the simplectic form and the metric of the tangent space are defined as,
(6a)
(6b)
with their inverses denoted and .
Next, we discuss a subtle property of the employed variational principle which is of particular relevance for the open dynamics described in Sec. III.2. Here we follow the discussion in Ref. Hackl et al. (2020). The tangent space of the variational manifold at each point is a real vector space spanned by the tangent vectors embedded in complex Hilbert space. Thus, for each basis vector , is not guaranteed to lie in the tangent space and has to be projected onto . This projection takes the form
where the complex structure, the representation of the projection of the imaginary unit, is introduced as . If the projection is non-trivial, that is, does not lie in the tangent space. On the other hand, when on every tangent space, the variational manifold is Kähler and . In this case, specifies the decomposition of on the tangent space vectors .
II.1 Analytic expressions for energies and energy gradients
Having introduced the NGS ansatz in Eq. (1) and its equations of motion in Eq. (4), we now show how to obtain analytic expressions for the two crucial ingredients to the equations of motion: the energy gradients and the geometric structures .
Consider a generic spin-boson Hamiltonian. Any such Hamiltonian can be cast in the form , where () describes the spin (bosonic) degrees of freedom.
For a single spin, , the Pauli matrices form a complete basis for . For and , we obtain, respectively,
(7a)
(7b)
where the expectation values on the right-hand side are evaluated with respect to the bosonic vacuum . Equivalent expressions for and can be obtained using the same procedure. Thus, the computation reduces to evaluating the many-mode overlap for each . Because both the multimode displacement and squeezing operators in our ansatz are diagonal in mode operators, we can write the many-mode overlap as a product of single-mode overlaps,
(8)
To evaluate the single mode overlaps in Eq. (8) without specifying , we use the following identity,
(9)
where are any two quantum states 333note a similar identity holds for open quantum states, obtained by using and the trace and
(10)
is a generalised -ordered characteristic function with () denoting (anti-)normal ordering of the bosonic operators . We note that in the calculation of the single mode overlaps in Eq. (8) using Eq. (9), and are single mode Gaussian states. The overlap between any two single mode Gaussian states can be evaluated analytically Mo/ller et al. (1996), which gives us an analytic expression for . Therefore, we can evaluate the partial derivatives in Eq. (9) with respect to for any and find analytic expressions for the energy of any Hamiltonian that is polynomial in operators. From this, we can also obtain analytic expressions for the energy gradients, , as needed in the EOMs.
Example: Energy gradient of harmonic oscillator
To demonstrate the above machinery we compute the energy gradient of the harmonic oscillator with respect to the NGS ansatz. We set and for simplicity, so , with . The energy is
and its partial derivatives with respect to and are given by and , respectively. The partial derivatives , , , , , and can be evaluated using the same procedure. We note that these expressions can be straightforwardly extended to any , and to any bosonic Hamiltonian that is polynomial in using Eq. (9).
II.2 Tangent vectors and the overlap matrix
Next, we explain how to compute the tangent vectors of the ansatz, . Plugging Eq. (1) into Eq. (5) we find,
(11)
The multi-mode, multi-polaron calculation now reduces to calculating the tangent vector of a single-mode Gaussian state for a single polaron, i.e. . We proceed as follows: (i) using the disentangled forms of the displacement and squeezing operators, we normal order such that only operators remain, which (ii) enables us to obtain concise analytic expressions for the tangent vectors of , and (iii) recover the general multi-mode, multi-polaron case and outline the computation of the overlap matrix .
The disentangled forms of the single-mode displacement and squeezing operators are given by,
(12)
(13)
where , and . When applied to , always acts directly on the bosonic vacuum which simplifies its action to,
(14)
After normal-ordering , we arrive at
(15)
where we used the relation (Louisell, 1973, §3.3 Theorem 2) and the fact that . Note that this expression contains only and thus all terms commute, enabling us to take the derivative with respect to the variational parameters to obtain the tangent vectors.
Computing tangent vectors.
For each , and there are six variational parameters: . The tangent vectors for the norm and phase are simply
(16a)
(16b)
and are independent of the mode number . We use the normal-ordered form of , Eq. (15), and define to find the tangent vectors for , , and ,
(17a)
(17b)
(17c)
(17d)
where we have introduced the following -number functions :
(18a)
(18b)
(18c)
(18d)
(18e)
(18f)
(18g)
(18h)
(18i)
(18j)
Note that further simplification of the terms with creation operators in Eqs. (17) in the form of and is not possible as we imposed that must act directly on the vacuum to obtain the simplified version of in Eq. (14).
Eqs. (17) are simple analytic expressions for the single mode tangent vectors of . When combined with Eq. (11), we can therefore construct all the tangent vectors for any , and .
Computing tangent vector overlaps to construct geometric structures.
Having obtained the tangent vectors, we finally briefly comment on the calculation of the overlap matrix , which is used to construct the metric and sympletic form . We note that due to Eq. (11), the overlap between two tangent vectors can be written as a product of single-mode overlaps. Each single-mode overlap can be evaluated using the expressions in Eq. (17) and applying Eq. (9) to evaluate expectation values of the type .
Example: Quantum anharmonic oscillator
As an example of the results of the above machinery, and to illustrate the role of squeezing in the ansatz, we use Eq. (4) and solve for the dynamics of a simple anharmonic oscillator, Milburn (1986); Halpern (1973); Bender and Wu (1973, 1969). Results for the strong coupling regime setting are shown in Fig. 2 with . We observe that the ansatz containing squeezing (dashed blue line) has a better agreement with the actual state (solid black line, obtained using exact solution of the Schrödinger equation) than the ansatz without squeezing (dashed orange line). While this observation always depends on the specific system being studied, we observe that for many applications in this work the improvement in accuracy from including squeezing comes at the expense of additional computational resources. Motivated by this, for the remainder of this article we consider a multi-polaron ansatz containing only the (many-mode) coherent states.
III Open Dynamics: Combining NGS with quantum trajectories
To extend the NGS machinery to open dynamics there are several options available. For instance, in Ref. Schlegel et al. (2023), which in turn builds on the developments in Ref. Joubert-Doriol and Izmaylov (2015), an NGS analog for the density matrix was developed. This was then used to formulate the master equation and find the corresponding equations of motion governed by the Lindbladian.
Here, we discuss how the ansatz introduced previously, in Eq. (1), can be used within the quantum trajectories framework.
In Sec. III.1 we recall the basic formulation of the quantum trajectories approach before formulating equations of motion for the effective non-Hermitian Hamiltonian in Sec. III.2. We give a recipe for how to formulate the action of quantum jumps within the NGS ansatz in Sec. III.3, and we finally discuss the relevant issues related to the implementation of the equations of motion in Sec. III.4.
To elucidate the formalism, we provide specific examples throughout this section. Our examples are motivated by typical sources of decoherence in spin-boson quantum simulation platforms governed by Hamiltonians of the form introduced in Sec. V.
III.1 Quantum trajectories
Many problems of dynamics of open quantum systems are amenable to the standard time-local master equation in the Lindblad form Breuer and Petruccione (2002); Weiss (2012); Gardiner and Zoller (2004)
(19)
where are the jump operators and the anticommutator.
An alternative approach is to use the quantum trajectories method Dalibard et al. (1992); Mølmer et al. (1993); Plenio and Knight (1998); Daley (2014). Here, rather than evolving the full density matrix described by elements (for spin-1/2 particles), one stochastically evolves a pure quantum state described by elements. This approach consists of two steps: (i) continuous evolution under the Schrödinger equation with an effective non-Hermitian Hamiltonian, and (ii) discrete evolution under the action of a quantum jump operator . Such stochastic evolution of the wavefunction constitutes a quantum trajectory. Observables of interest are then evaluated by averaging over such quantum trajectories. In scenarios where it is possible to obtain the observables of interest with sufficient accuracy using , quantum trajectories can be more efficient as compared to solving the master equation Mølmer et al. (1993); Daley (2014); Preisser et al. (2023).
Our key contribution is to perform (i) using NGS. The details of the quantum trajectories method, and a step by step description of its implementation, can be found in Ref. Daley (2014).
III.2 Equations of motion for non-Hermitian Hamiltonians
In between the quantum jumps, the wavefunction evolves continuously under the effective non-Hermitian Hamiltonian,
(20)
Here, we follow the procedure in Ref. Yuan et al. (2019) to derive equations of motion for evolution under . The NGS wavefunction evolves according to the Schrödinger equation,
(21)
McLachlan’s variational principle requires the variation of the norm resulting from the Schrödinger equation to vanish,
(22)
Since it is more convenient to work with the square norm, we rewrite Eq. (22) as , obtaining
(23)
After making the following substitutions
(24a)
(24b)
(24c)
the variation of the square of the norm is
(25)
which yields equations of motion,
(26)
The object is precisely the metric of the tangent space [introduced in Eq. (6b)], which we showed how to compute in Sec. II.2. can be related to via
(27)
where we substituted the definition of the tangent vector into the definition of in Eq. (24c), and used the fact that . We showed how to analytically compute the gradient of expectation value such as in Sec. II.1. Although can be computed by directly calculating the overlaps in the definition in Eq. (24b), if the tangent space is a Kähler manifold (i.e. ), then from the relation we can relate to the complex structure and the gradient using
(28)
As such, the non-Hermitian equations of motion in Eq. (26) can be computed from , , and . The total number of elements to compute scales as , compared to for purely real- or imaginary-time evolution, where is the number of variational parameters.
Example: Computing for the coherent state ansatz.
Here, we relate to energy gradients for the coherent state ansatz with explicit normalization and phase factors, , with . The tangent vectors corresponding to are
(29a)
(29b)
(29c)
(29d)
We begin by relating to ,
(30)
Similarly for , we have
(31)
To relate to the gradients of , we notice that we can write as a real span of the tangent vectors . That is, . Using this we obtain
(32)
and finally for , using , we obtain
(33)
Therefore, we have related the computation of to the energy gradients of . In this example, we explicitly noticed that can be written as a real span of tangent vectors . In the supplementary material Sec. SI, we provide the constructions of , and for this single mode coherent state ansatz, showing that , as derived in Eq. (28). We also provide of the squeezed coherent state and the multipolaron ansatz.
Finally, we provide a simple example of non-Hermitian dynamics using NGS and the equations of motion in Eq. (26) by computing the evolution of the coherent state ansatz for modes under . Since the Hamiltonian is a Gaussian operator, if the initial state of interest can be accurately described by the NGS ansatz with polarons, NGS is exact in that it captures precisely the dynamics at all times also with polarons. The results for an initial state and a comparison against exact numerics are shown in Fig. 3, depicting perfect agreement as expected.
III.3 Quantum jumps
We will now incorporate the action of a quantum jump in the NGS formalism. After each quantum jump the wavefunction may (i) stay in the variational manifold, or (ii) leave it. We discuss these two possibilities using the examples of single particle loss and gain, respectively. We have chosen these two processes as they are often the dominant sources of single particle decoherence in a variety of systems.
(i) Jumps inside the manifold
To demonstrate the machinery of a jump operator that produces a state contained within the variational manifold, we consider single particle loss at rate . The jump operator is . The action of on the single-mode multi-polaron ansatz in Eq. (1) without squeezing, i.e. , is given by,
(34)
where we used and defined the updated norm and phase factors as
(35a)
(35b)
We can easily extend the above analysis to the two-photon loss case with the jump operator , where the updated norm and phase factors are now defined as
(36a)
(36b)
It is important to note that our results rely on the coherent state being the eigenstate of the jump operator considered above. Thus, for any other state, e.g. the squeezed coherent state , the single-particle loss jump operator will take the state out of the variational manifold. This will be a more generic scenario for most jump operators. In the next section we describe how to deal with such situations.
(ii) Jumps outside the manifold
If the state after the jump is not within the variational manifold, we project it back to the manifold by maximizing its fidelity with the variational states. To do so we use gradient descent (GD) as an efficient numerical procedure. We note that while simulated annealing (SA) finds a global extremum of a function in the asymptotic limit of infinitely slow cooling rate, we find that in all cases studied in this work, the performance of GD is comparable to that of SA (the infidelity difference between the post-jump variational state found by each of the two methods is ), with the advantage that it is typically significantly faster.
Again, we consider a single mode multi-polaron ansatz with coherent states only, which we write as
(37)
with complex coefficients and complex amplitudes . For single photon gain with jump operator , the state after applying the jump operator is projected back back onto a generic variational state by optimising its variational parameters to maximize the normalised fidelity given by,
(38)
where the un-normalised overlap is
(39)
and the normalisation factors are
(40a)
(40b)
In the case of , with , , Eq. (39) is maximized for and for amplitude of which is the solution to . For instance if , , cf. Fig. 4(a), and similarly for , cf. Fig. 4(b). The starting point of the gradient descent search is denoted by the red cross and the maximum of the numerically found maximum of the overlap, Eq. (39), by the white cross. We remark that the achievable fidelity after projecting back to the manifold is strongly dependent on the jump operator and the number of polarons. For instance, for the case shown in Fig. 4(a), the state after the jump is a Fock state . As such, after projecting it back to a single coherent state, its fidelity is given by with and .
In the generic case of the multipolaron ansatz , the optimization landscape becomes more complex. In Fig. 4(c)-(d), for (blue), (orange) and (green) we use Eq. (38) and plot the difference in optimized fidelities , with the optimization performed by gradient descent with backtracking () and bounded simulated annealing ().
We consider two quantum jumps, (c) single-particle gain and (d) momentum kicks . Our choice of single-particle gain is motivated by its relevance to many spin-boson systems (see Secs. V and VI), whilst the momentum kick jump plays a crucial role in laser cooling large ion crystals Gerritsen et al.. We generate initial (pre-jump) random states . As the generic variational starting state to be optimized, for GD we use the pre-jump state , whilst for the SA we seed a random starting state whose coefficients (see Eq. (37)) are drawn from a uniform unit distribution . We set a sufficiently slow SA cooling rate such that the algorithm converges to the same local maxima irrespective of the randomly chosen starting point. For all the studied cases, the fidelities of the states obtained by the two numerical optimizers agree within .
III.4 Time evolution
We are now equipped to implement the quantum trajectories program for the NGS ansatz outlined in Sec. III.1. In principle, one could evolve the wavefunction between the jumps according to the equations of motion in Eq. (26) while tracking the decay of the norm to identify the time of a jump. In practice we find it convenient to Trotterize the time evolution between jumps governed by , Eq. (20), in the usual way as
(41)
for sufficiently small . The norm during the unitary dynamics under is preserved due to the use of the norm factors as variational parameters (we note that the opposite case, namely the absence of a global norm factor as a variational parameter, can result in unphysical couplings, see Ref. Hackl et al. (2020)). During the imaginary-time evolution we track the decay of the norm caused to determine the time of the jump , where we apply the corresponding jump operator .
IV Truncated Wigner Approximation for spins and bosons
The phase space picture of quantum mechanics provides alternative means to simulate and analyze the quantum many-body dynamics in systems with mixed spin and bosonic degrees of freedom, in particular in a semi-classical framework known as the truncated Wigner approximation (TWA) Polkovnikov (2010a). The Wigner-Weyl transform maps Hilbert space operators of a quantum system to functions of classical phase space variables, known as Weyl symbols . The Weyl symbol corresponding to the density matrix is known as the Wigner function and provides a full ensemble description of arbitrary quantum states in terms of a (potentially negative) quasi-probability distribution.
A general Wigner-Weyl transform can be defined using the framework of phase point operators Wootters (1987). For example, considering particles in 1D with positions and momenta , operators for each point in phase space define the Wigner-Weyl transformation via and vice versa . Given a proper orthonormal definition of phase point operators Wootters (1987), for any state and any observable , expectation values can be evaluated from the Wigner function via . Equivalent constructions can be made for spin phase spaces, either using spin-boson map**s (suitable for large spin scenarios) Polkovnikov (2010a), using spherical coordinate representations of spins Mink et al. (2022), or for phase spaces using only a discrete set of points Wootters (1987).
Closed-system time-evolution equations of motion can be obtained by Wigner-Weyl transforming the Heisenberg equations of motion, which leads to the exact quantum dynamics for Weyl symbols being governed by , using the Weyl symbol of the Hamiltonian , and the Moyal bracket defined as , with the symplectic operator (with ) . Expanding the sine function in the Moyal bracket at the lowest order is know as TWA and leads to a classical evolution of Weyl symbols , where now denotes the classical Poisson bracket. The Poisson bracket ensures that the Weyl symbols for any complex observable will always factorize into phase space variables, and therefore in TWA it suffices to only compute the classical evolution of the phase space variables Zhu et al. (2019). This makes TWA a very practical and efficient numerical method for the case of a positive initial Wigner function: Random positions and momenta can be sampled from the Wigner function and evolved in parallel using classical equations of motion giving and for trajectory . Expectation values in TWA are then statistically approximated by , using trajectories.
Importantly, for small-spin systems, and in particular for spin-1/2 models as considered here, TWA can be drastically improved when using a sampling of the initial Wigner function using only a discrete set of initial phase points Schachenmayer et al. (2015a). Considering a system consisting of a single spin-1/2 described by the Pauli operators , we define the corresponding phase space variables as . One can then define discrete Wigner functions which are only defined for for the 8 different discrete points . For example, taking a state of spin-1/2 particles of the form , it is straightforward to show that any possible observable can be exactly described by sampling each spin from a discrete Wigner function with the only non-zero values of . Correspondingly, the state is exactly described by the discrete distribution with non-zero elements .
Furthermore, it can be shown in general that equivalent discrete sampling strategies can lead to exact quantum state descriptions
for general discrete -level systems and for eigenstates of general spin- operators, in the sense that the measurement statistics for any observable can be exactly reproduced from sampling the Wigner function Zhu et al. (2019). Discrete sampling in combination with classical evolution is known as (generalized) discrete truncated Wigner approximation, (G)DTWA Schachenmayer et al. (2015a); Zhu et al. (2019). Classical equations of motion for the spin-variables can be derived by Wigner-Weyl transforming the Heisenberg equations of motion while factorizing the Weyl symbols into the phase space variables. (G)DTWA has been shown to capture quantum features in spin-model dynamics in several theory settings Schachenmayer et al. (2015b); Acevedo et al. (2017); Kunimi et al. (2021); Perlin et al. (2020); Muleady et al. (2023), and in comparison with experiments Lepoutre et al. (2019); Orioli et al. (2018); Franke et al. (2023); Alaoui et al. (2024).
Below we will consider a system consisting not only of spins but also of bosonic degrees of freedom. For the bosonic part we will consider the complex numbers and as the classical phase space. We note that for additional bosonic degrees of freedom with operators denoted as one can introduce a corresponding classical phase space with (see for example Sec. V). Then, considering a system with spin-1/2 particles coupled to bosonic modes , computing expectation values of an observable with TWA at time corresponds to numerically evaluating
(42)
where , , and the subscript indicates the initial values at . The classical variables for spin and bosons and are sampled from the initial Wigner functions , , and , respectively. Note that we always assume an initial product state between all degrees of freedoms such that the Wigner functions factorize. For the spins we will use the discrete distributions defined above, while for the bosonic modes we use standard continuous Wigner functions, in particular
(43)
where and center of the Wigner function. For the vacuum state , while for a coherent state , and (see Refs. Polkovnikov (2010b); Piñeiro Orioli et al. (2017) for more details). is the Weyl symbol corresponding to the observable of interest. We use the subscript cl on the time-dependent variables , , and to indicate that they obey the classical equations of motion for spin , boson , and boson , respectively. In Sec. V below we will provide the full classical equations of motion for our problem of interest for examples of both closed and open system dynamics.
(G)DTWA methods have been recently developed further to also include open-system dynamics under Lindblad master equations Huber et al. (2021, 2022); Singh and Weimer (2022); Mink et al. (2022); Mink and Fleischhauer (2023). For our simulations we follow the procedure in Ref. Mink et al. (2022) and use a spherical coordinate parametrization of the phase space for spin with phase point operators defined as
(44)
where we use the vector on the surface of a sphere with radius ,
.
In Mink et al. (2022) it was shown that for open spin-1/2 models, it is convenient to work with flattened Wigner functions of the form . The equations of motion for an open system can then be found by deriving correspondence rules (reminiscent of Bopp representations for for bosonic systems Polkovnikov (2010a)), i.e. rules for map** terms such as , , or with Pauli operators to the phase space, which leads to terms incorporating the 4 linearly independent differential operations acting on . It can be shown that the resulting EOMs lead to standard Fokker-Planck equations. This is only valid, without further approximations, for systems of non-interacting spins or if the initial state is a large coherent spin state. In these scenarios, the dynamics are given by the solution to the Fokker-Planck equations.
In our discrete sampling we select the initial angles according to the parametrization given in Eq. (43).
However, rather than sampling from the discrete Wigner distribution, we sample from a slightly modified flattened Wigner function
(45)
which is generated by rotating the discrete Wigner function around the z-axis. This initial Wigner function is uniform in and thus guarantees that cross diffusion terms, which are dropped in TWA, vanish at Mink et al. (2022). For more details, we refer the reader to Ref. Mink et al. (2022) and Sec. V where the detailed equations for our problem of interest are introduced.
V Results
To evaluate the performance of our two numerical methods, we consider the disordered Holstein-Tavis-Cummings model describing a system of spins coupled to a single bosonic mode (), representing a coupling to a cavity mode, and local vibrational modes () associated with each spin. The system is described by the Hamiltonian Wellnitz et al. (2022):
(46)
where
(47a)
(47b)
(47c)
(47d)
where describes the detuning of the spin transition frequency relative to the cavity mode, the single-spin coupling to the cavity, the frequency of the vibrational modes, the relative strength of the Holstein coupling, and the disorder in the transition frequency for spin .
The dynamics of the Holstein-Tavis-Cummings model, in particular in the presence of disorder, has importance e.g. in the field of polaritonic chemistry Herrera and Spano (2016). It has been previously studied using a matrix product state method Wellnitz et al. (2022), and also using a similar non-Gaussian state framework to the one discussed here Sun et al. (2022). By tuning the relative strength of the various terms, this Hamiltonian can be reduced to spin-boson Hamiltonians applicable e.g. to trapped ion quantum simulators, impurity models, and quantum chemistry. The relative strength of and allows us to go from the weak coupling regime between the spin and bosonic degrees of freedom, to a model governed by a Tavis-Cummings type interaction, a Holstein coupling, or a combination thereof. We illustrate the performance of our methods in these regimes schematically in Fig. 5(a).
Furthermore, we investigate how both methods perform in the presence of sources of decoherence. In this case, we are interested in the evolution of the density matrix as described by the Lindblad master equation,
where are the jump operators and is the anticommutator. We study open dynamics with the following types of Lindblad jump operators:
•
Cavity decay (rate : ,
•
Single spin decay (rate ): , and
•
Collective spin decay (rate ) .
We summarize the performance of the two methods in the presence of these decoherence sources schematically in Fig. 5(b).
V.1 Details of NGS and TWA simulations
We consider two scenarios for evolution under the Hamiltonian (46). In the first case (), the evolution reduces to evolution under and therefore takes places in the collective Tavis-Cummings manifold as conserves the total excitation number . Away from this limit, when or , the spins can no longer be treated as a large collective spin and thus must be treated as an interacting collection of single spin- systems.
V.1.1 Tavis-Cummings
When the evolution is under we can use the Holstein-Primakoff (HP) transformation to map the collective spin to a single bosonic mode,
(48a)
(48b)
where . We use a Taylor series to expand the square root in powers of to first order. The NGS simulation then proceeds using the multipolaron ansatz with bosonic modes. We can include collective spin decay at strength using the manifold projection technique described in Sec. (III.3).
For the TWA simulations, the equations of motion for the cavity mode and the large spin HP mode are,
(49a)
(49b)
(49c)
(49d)
where we introduce the function .
We sample the cavity (mode A) assuming a coherent state and sample the large spin (mode B) assuming the spins are polarised pointing up, which corresponds to sampling the vacuum for mode B.
Our results using this approach, including collective spin decay, are shown in Fig. 12 in the lines labeled as TWA (HP) and NGS (HP).
V.1.2 Holstein Tavis-Cummings
In principle the NGS ansatz can be used directly to treat the spin degrees of freedom. However, to avoid the explicit exponential scaling with , we again use a Holstein-Primakoff transformation to map each spin- to a bosonic mode. We use a different form of the HP transformation Vogl et al. (2020),
(50a)
(50b)
as unlike the usual HP transformation used above in Eq. (48), it is exact for spin-. As such, the dynamics are restricted to the and subspace, with and . The vacuum is a Gaussian state and can therefore be described using only . The Fock state can be described using , by , where is a normalization factor Marshall and Anand (2023), with sufficient to describe the state with high fidelity. As such, each spin can be captured using polarons.
For the NGS simulations, we employ the NGS ansatz with modes. We include cavity decay at strength using the simple parameter-update prescription outlined in Sec. V
Note that as a consequence of this map**, the ansatz is not well-suited to some scenarios. For example, there is no spin-spin coupling when evolving under only , so an unentangled initial state will evolve as a tensor product of single spins, each requiring . The number of polarons therefore scales exponentially in the number of spins, . This limitation could potentially be circumvented by modifying the ansatz to be a superposition of squeezing displaced Fock states Schlegel et al. (2023).
For the TWA simulations, to more accurately capture the dynamics of the cavity and vibrational modes, we extend the set of TWA equations by including the classical equations of motion for the mode excitation numbers . Including all three sources of decoherence described above, the equations of motion for the spin degrees of freedom are,
(51a)
(51b)
where we introduced the function . The equations of motion for the bosonic degrees of freedom are given by
(52a)
(52b)
(52c)
(52d)
Finally, we note that the initial state used for all NGS simulations includes a small amount of randomness for each variational parameter to break the degeneracy of the Gaussian states. We draw random values from a flat distribution between . We find that this is sufficient to ensre each Gaussian state in the superposition evolves independently, whilst ensuring extremely small infidelity with the true initial state, , as seen in Fig. S1 of the supplementary material.
V.2 Closed system dynamics
In this section we compare the performance of the two numerical methods. We consider a system with spins, the corresponding three phonon modes, and one cavity mode. For this system size and suitable initial states and Hamiltonian parameters, choosing a moderate Fock state truncation allows us to compare our results to exact numerics. Our initial state is spins polarized up, the vibrational modes in the vacuum, and the cavity in a coherent state, . Note in contrast to Ref. Sun et al. (2022) our initial state is a superposition of several excitation manifolds precluding further simplifications to the ansatz.
For all closed dynamics simulations, we set . For evolution under the Holstein-Tavis-Cummings model in Eq. (46), we find that while both methods are good at capturing the short time dynamics, at later times they out-perform one another in different parameter regimes. We summarise our findings in Fig. 5(a), where we qualitatively depict the performance for different parameter regimes in the absence of decoherence. More detailed dynamics for each regime are plotted in Figs. 6-9, with the first and second rows of each figure showing dynamics without and with disorder , respectively.
We begin in the weak coupling regime , shown in Fig. 6. Here the dynamics is slow on the considered time-scale. In both the disorder-free (first row) and disordered (second row) settings, NGS and TWA accurately capture the small fluctuations of the vibrational modes at all times. Both methods also capture the initial spin relaxation, however NGS misses the revival time. TWA’s ability to capture the first oscillation appears universally in all of the parameter regimes considered in this work. This behaviour can be understood as follows: due to our choice of a factorisable initial state with a corresponding positive semi-definite Wigner function, the TWA sampling is able to reproduce the initial state, and the mean-field and low order correlations that are generated during the short-time dynamics.
A generic feature of TWA is that when extending into the medium- to long-time dynamics, the potential buildup of higher order correlations is not captured by the method. While this not visible in Fig. 6, it can be seen clearly in the figures corresponding to the regimes discussed below.
The second regime we consider is the strong spin-vibrational coupling , shown in Fig. 7. Here we expect NGS to perform well, as NGS is exact with any polaron number for . In the disorder-free regime (top row), although NGS with does not fully capture the dynamics at late times, it does outperform TWA, which majorly underestimates the spin decay. In this case, the lack of disorder is challenging for our multi-polaron NGS ansatz: each spin evolves identically, requiring the multi-polarons to be factored into a product. This symmetry is broken when introducing disorder (second row), and we see that NGS captures accurately the dynamics for all considered times, including the initial decay and then revival of . For TWA, although the numerics match better for the vibrational dynamics in the presence of disorder, this is primarily a consequence of the fact that the disorder causes the Holstein interactions to dominate, and the spin and cavity dynamics continue to disagree with the exact solution.
Thirdly, we move to the strong spin-cavity coupling regime, , shown in Fig. 8. After accurately capturing the first oscillation, the TWA spin dynamics equilibrate about unlike the exact dynamics which, although they do oscillate about , exhibit persistent oscillations with magnitude . Similarly, NGS with polarons fails to capture any of the spin, vibration, or cavity dynamics. This is unsurprising because, in this regime where the Tavis-Cummings term dominates, we expect the number of polarons required to scale as , as each spin must be described using polarons. Although increasing would eventually improve the accuracy, we found that increasing it up to did not provide a substantial increase in accuracy, whilst increasing the computational cost. In principle, TWA does not suffer from the same problem. However, if one needs to access higher order correlations with TWA, the introduction of higher order cumulants and the BBGKY hierarchy may become necessary. This poses an analogous problem to the polaron number: an exponentially increasing number of equations and potential numerical instabilities 444In the numerical implementation of NGS we observe that for certain initial states the equations of motion become numerically unstable, which we attribute to the singularity of the metric and the associated need to perform a pseudoinverse instead of the inverse in the evaluation of . Dealing with this issue is a matter of current and future work.
Fourthly, we consider the strong spin-cavity and spin-vibration regime , shown in Fig. 9. Without disorder, both methods struggle to capture the dynamics at late times, although TWA in particular is able to capture qualitative features with reasonable accuracy. Introducing disorder breaks the collective nature of the spins, enabling both methods to more accurately track the dynamics. TWA is able to qualitatively reproduce the periodic peaks in the spin and cavity dynamics at even later times than NGS. Both methods correctly obtain the vibrational dynamics.
Finally, we note that an advantage of NGS is the accessibility of the wavefunction. This means that any desired quantity, including entanglement entropy, can be computed. Furthermore, for small systems, strict performance measures such as the fidelity can be easily computed. These are shown in Fig. S1 for the four different coupling regimes considered in Figs. 6-9. The analogous plots for TWA cannot be generated.
V.3 Open system dynamics
Next, we introduce decoherence to our simulations. Figs. 10 and 11 show the spin and bosonic dynamics for in the presence of cavity loss at strength (Fig. 10) and (Fig. 11), and in the regime , where NGS provides more accurate predictions in the closed setting (cf. Fig. 7). In the top row we set the disorder , while the bottom row shows the dynamics in the presence of disorder, . Although exact dynamics were accessible for a closed system of this size, obtaining exact results in this open dynamics setting is challenging. In Fig. S2 we compare the two methods with exact results for a smaller system.
For these parameters, we find that, perhaps unsurprisingly, NGS continues to perform well in both and decoherence regimes. In the weaker decay limit shown in Fig. 10, NGS and TWA agree only at short times. The under- and over-estimation of spin-cavity dynamics by TWA in the non-disordered and disordered systems respectively is consistent with the behaviour of TWA in the closed system, see Fig. 7. In the large decay limit shown in Fig. 11, NGS and TWA are in reasonable agreement with one another for the spin dynamics and in near total agreement for the vibrational and cavity dynamics. Both show fast decay of the cavity to the vacuum, and remarkably both capture small oscillatory dynamics at late times with excellent agreement. Physically, both methods demonstrate that strong cavity decay stabilises the spin dynamics, which we attribute to the reduction of the effective Tavis-Cummings coupling strength and the prevention of the build up of correlations in the system between the spins, as well as spin-boson correlations, due to the loss of cavity excitations.
Next, we consider the effect of spin decay. We consider the scenario where the Hamiltonian evolution is only under and the spins decay collectively at a rate . We set and . Within the TWA formalism we treat the dynamics using two methods. First, we continue to treat the system as a collection of individual spins, as described in Sec. IV. In Fig. 12 we plot the resulting dynamics where TWA (CD) refers to implementing this sampling in the presence of collective spin decay at and . TWA (SSD) uses the same sampling but the decay mechanism is single spin at the corresponding rate. The agreement between the two, and the disagreement with exact numerics (EXA) indicates that treating the spins individually with either of these two methods is inadequate to simulate collective spin decay.
This motivates our second strategy, described in Sec. V.1.1, where we use the HP formalism for large spins, which we apply to both NGS and TWA. In the weak spin decay limit , both NGS (HP) and TWA (HP) are in excellent agreement with the exact numerics (EXA). NGS in particular captures the cavity dynamics with little error, whilst the error bars on the spin dynamics are still somewhat large due to our use of relatively few trajectories, . In the large decay limit , both NGS and TWA correctly capture the rapid spin decay until . Beyond this point, the first order Taylor series expansion of the HP map** breaks down, as highly excited Fock states are populated. One can potentially circumvent this issue by simulating collective spin decay as was done in Ref. Young et al. (2024) with DTWA. There, the spins were collectively coupled to a single cavity whose cavity loss was much stronger than the collective spin-cavity coupling, resulting in effective collective spin decay and without the utilization of the HP map**. Comparing the performance of these approaches in different parameter regimes and for different models, e.g., for more complex forms of collective spin decay, represents an interesting future direction.
VI Conclusions and outlook
Summary and conclusions: In this work, we presented a non-Gaussian variational ansatz approach to studying the dynamics of open quantum systems composed of spin and bosonic degrees of freedom. While several other works in recent years have utilized NGS to study the time evolution of open quantum systems, previous efforts have focused on develo** an equivalent ansatz for the density matrix and simulating the Lindblad equations. Here, we utilized the quantum trajectories method, allowing us to take advantage of the previously developed machinery and analytic expressions obtained for real- and imaginary-time dynamics.
In addition to providing a comprehensive overview of this method, we performed extensive numerical simulations over a broad range of parameters of a spin-boson Hamiltonian [Eq. (46)] with Tavis-Cummings (TC) and Holstein couplings, which is applicable to a broad range of quantum simulation platforms as well as problems of interest in quantum chemistry, atomic physics and condensed matter theory. We compared the performance of NGS with a method using the truncated Wigner approximation for systems with mixed bosonic and spin degrees of freedom, extended to open quantum systems following the approach in Ref. Mink et al. (2022).
In the absence of decoherence our findings are as follows: for strong TC coupling, TWA is the more accurate method, while for strong Holstein couplings NGS is the better choice. When neither term dominates, for both weak and strong coupling regimes, TWA captures the short-time dynamics, while NGS generally displays the correct qualitative behaviour, even at late times. After introducing spin disorder the performance of NGS typically improves, whilst for TWA the vibrational dynamics match the exact dynamics better, which is attributable to the fact that disorder causes the Holstein interaction to dominate.
For open quantum dynamics we focused on the regime where the Holstein term dominates and considered the effect of cavity loss. At weak decay rates the NGS continues to perform well. TWA improves as the cavity decay rate increases due to the loss of quantum correlations, with both NGS and TWA showing excellent agreement. In the presence of collective spin decay we considered the TC model only, finding that in the limit of small collective decay, both methods perform well when using a Holstein-Primakoff transformation for the large spin. In the limit of large collective decay, NGS and TWA both only capture the short time dynamics as the Holstein-Primakoff transformation is no longer accurate at later times. Using TWA we were able to also treat each spin individually. However, TWA does not capture the collective nature of the decay, with the results closely matching the effect of single spin decay.
Further considerations should also be made when deciding between the two methods. Although the NGS ansatz can be made less computationally demanding by reducing the polaron number , in general TWA methods are easier to implement and require fewer computational resources. The resource requirement and the complexity of NGS is offset by the advantages that it is a controlled approximation and gives access to the wavefunction, allowing one to access any observable, including higher-order correlations. The TWA framework needs to be amended if one hopes to capture these correlations accurately. A potential strategy to remedy this can be to use a cluster TWA approach Wurtz et al. (2018). There, several sub-system parts are grouped into a single (discrete or continuous) large sub-system that, provided a proper sampling strategy, follows the fully exact quantum evolution, while correlations between clusters are approximated in TWA. Such approaches allow to use the cluster size as controllable parameter to enhance the simulation towards the exact one.
Outlook: The extension of NGS to open quantum systems using the quantum trajectories formulation that we presented in this work is perhaps the most natural pathway. For Hermitian jump operators, an alternative approach and a simple extension of this work would be to instead solve the stochastic partial differential equations that result from the unravelling of the master equation. Furthermore, one could explore the impact of the chosen unraveling on the performance of the NGS method at a fixed , as it has been shown that this choice can have a large effect on the entanglement buildup in the trajectory Vovk and Pichler (2022, 2024).
Another limitation of the present formulation is that the spin states in Eq. (1) are exact and span the full spin Hilbert space of dimension , thus limiting the use of the ansatz to a handful of spins unless approximations such as the large expansion in the Holstein-Primakoff map** used in Sec. V.1.1 are invoked. On the one hand, studies using a fermionic Gaussian state representation of spins have been performed Kaicher et al. (2023), and these might be combined in principle in a straightforward way with the multipolaron ansatz for bosons Shi et al. (2018). On the other hand, it would be highly interesting to combine the multipolaron ansatz with other variational techniques highly suitable for the spins such as tensor network based approaches Schollwöck (2011); Orús (2014); Montangero (2018). Furthermore, similar to the present comparison between NGS and TWA, it would be beneficial to apply the here-presented non-Gaussian ansatz to the study of other systems which might be challenging to simulate otherwise. These include for instance purely bosonic models, such as the Bose-Hubbard model, with disorder and on non-regular lattices Gottlob and Schneider (2023). Such extensive studies will allow for a comparison between our approach and the corresponding master equation approach based on extending the ansatz of Eq. (1) to density matrices Schlegel et al. (2023); Joubert-Doriol and Izmaylov (2015).
Finally, we note that a particular promising application field of the methodologies introduced here could be in the emerging field of polaritonic chemistry Hutchison et al. (2012); Simpkins et al. (2021); Wang and Yelin (2021); Campos-Gonzalez-Angulo et al. (2023). There, recent experiments have demonstrated that large collective strong cavity couplings (e.g. ) can be functionalized to modify chemical reactivity. A theoretical understanding for such modifications are currently centered around the question how delocalized polaritonic state can play a role for changing chemistry on the single-molecule level, as local amplitudes of collective polaritons vanish in the thermodynamic limit. In spin-boson approximations to the problems, in particular for the disordered Holstein-Tavis-Cummings Herrera and Spano (2016) model that we studied here, it was recently discovered that the interplay of disorder and collective cavity couplings can give rise to robust local quantum effects in the large- limit in the form of non-Gaussian distributions of the nuclear coordinate Wellnitz et al. (2022). Using matrix product state methods, it was possible to push simulations to systems with 160 effective molecules, but in particular the TWA approach discussed here would allow access to much larger systems. Typical parameter regimes discussed here are well covered by the TWA approach (e.g. the typical parameters from Wellnitz et al. (2022) corresponds to and ) and thus hint to a general applicability of the method in the relevant regime. Further, the TWA approach can be straightforwardly adapted to simulate nuclear dynamics not only on harmonic but also arbitrary potential energy surfaces, whilst the NGS ansatz using the machinery presented here can also model anharmonic Hamiltonian terms. In the future this may allow for the analysis of quantum effects in realistic chemical reaction models, even in a macroscopic limit.
Acknowledgements.
A.S.N., B.G., L.J.B., and J.M. are supported by the Dutch Research Council (NWO/OCW), as part of the Quantum Software Consortium programme (project number 024.003.037), Quantum Delta NL (project number NGF.1582.22.030), and ENW-XL grant (project number OCENW.XL21.XL21.122). J.M. was partly supported by a Proof of Concept grant through the Innovation Exchange Amsterdam (IXA) and the NWO Take-off Phase 1 grant (project number 20593).
J.T.Y. is supported by the NWO Talent
Programme (project number VI.Veni.222.312), which is
(partly) financed by the Dutch Research Council (NWO).
J.S. is supported by the Interdisciplinary Thematic Institute QMat, as part of the ITI 2021-2028 program of the University of Strasbourg, CNRS and Inserm, and was supported by IdEx Unistra (ANR-10-IDEX-0002), SFRI STRAT’US project (ANR-20-SFRI-0012), and EUR QMAT ANR-17-EURE-0024 under the framework of the French Investments for the Future Program. Work was supported by the CNRS through the EMERGENCE@INC2024 project DINOPARC and by the French National Research Agency under the Investments of the Future Program project ANR-21-ESRE-0032 (aQCess).
Yoshihara et al. (2017)F. Yoshihara, T. Fuse, S. Ashhab, K. Kakuyanagi, S. Saito, and K. Semba, Nature Physics 13, 44 (2017).
Forn-Díaz et al. (2017)P. Forn-Díaz, J. J. García-Ripoll, B. Peropadre, J.-L. Orgiazzi, M. Yurtalan, R. Belyansky, C. M. Wilson, and A. Lupascu, Nature Physics 13, 39 (2017).
Magazzù et al. (2018)L. Magazzù, P. Forn-Díaz, R. Belyansky, J.-L. Orgiazzi, M. Yurtalan, M. R. Otto, A. Lupascu, C. Wilson, and M. Grifoni, Nature communications 9, 1403 (2018).
Marcuzzi et al. (2017)M. Marcuzzi, J. c. v. Minář, D. Barredo, S. de Léséleuc, H. Labuhn, T. Lahaye, A. Browaeys, E. Levi, and I. Lesanovsky, Phys. Rev. Lett. 118, 063606 (2017).
Skannrup et al. (2020)R. V. Skannrup, R. Gerritsma, and S. Kokkelmans, arXiv:2008.13622 (2020).
Méhaignerie et al. (2023)P. Méhaignerie, C. Sayrin, J.-M. Raimond, M. Brune, and G. Roux, arXiv:2303.12150 (2023).
James (2000)D. James, Quantum Computation and Quantum Information Theory: Reprint Volume with Introductory Notes for ISI TMR Network School, 12-23 July 1999, Villa Gualino, Torino, Italy 66, 345 (2000).
Schneider et al. (2012)C. Schneider, D. Porras, and T. Schaetz, Reports on Progress in Physics 75, 024401 (2012).
Kienzler et al. (2015)D. Kienzler, H.-Y. Lo, B. Keitch, L. De Clercq, F. Leupold, F. Lindenfelser, M. Marinelli, V. Negnevitsky, and J. Home, Science 347, 53 (2015).
Lo et al. (2015)H.-Y. Lo, D. Kienzler, L. de Clercq, M. Marinelli, V. Negnevitsky, B. C. Keitch, and J. P. Home, Nature 521, 336 (2015).
Kienzler et al. (2017)D. Kienzler, H.-Y. Lo, V. Negnevitsky, C. Flühmann, M. Marinelli, and J. P. Home, Phys. Rev. Lett. 119, 033602 (2017).
Lous and Gerritsma (2022)R. S. Lous and R. Gerritsma, in Advances in Atomic, Molecular, and Optical Physics, Advances In Atomic, Molecular, and Optical Physics, Vol. 71, edited by L. F. DiMauro, H. Perrin, and S. F. Yelin (Academic Press, 2022) pp. 65–133.
Valahu et al. (2023)C. H. Valahu, V. C. Olaya-Agudelo, R. J. MacDonell, T. Navickas, A. D. Rao, M. J. Millican, J. B. Pérez-Sánchez, J. Yuen-Zhou, M. J. Biercuk, C. Hempel, T. R. Tan, and I. Kassal, Nature Chemistry 15, 1503 (2023).
Wu et al. (2013)N. Wu, L. Duan, X. Li, and Y. Zhao, The Journal of Chemical Physics 138, 084111 (2013).
Lepoutre et al. (2019)S. Lepoutre, J. Schachenmayer, L. Gabardos, B. Zhu, B. Naylor, E. Maréchal, O. Gorceix, A. M. Rey, L. Vernac, and B. Laburthe-Tolra, Nat. Commun. 10, 1 (2019).
Note (1)The number of spin configurations in the present ansatz scales exponentially with the number of spins and is the bottleneck in the use of the ansatz in Eq. (1) for many spins. Addressing this issue, such as combining the non-Gaussian ansatz for the bosonic modes with tensor-network techniques for spins, is a matter of future work. We discuss an alternative approach, namely using the Holstein-Primakoff representation of the spins, in Sec. V.1.1.
Note (2)A remark is that instead of the Dirac-Frenkel variational principle one could employ the Lagrangian or McLachlan ones. Importantly these coincide, in that they yield the same equations of motion, if the tangent space of the variational manifold is a Kähler space.
Note (3)Note a similar identity holds for open quantum states, obtained by using and the trace.
Orioli et al. (2018)A. P. Orioli, A. Signoles, H. Wildhagen, G. Günter, J. Berges, S. Whitlock, and M. Weidemüller, Phys. Rev. Lett. 120, 063601 (2018).
Alaoui et al. (2024)Y. A. Alaoui, S. R. Muleady, E. Chaparro, Y. Trifa, A. M. Rey, T. Roscilde, B. Laburthe-Tolra, and L. Vernac, , 1 (2024), arXiv:2404.10531 .
Polkovnikov (2010b)A. Polkovnikov, Annals of Physics 325, 1790 (2010b).
Note (4)In the numerical implementation of NGS we observe that for certain initial states the equations of motion become numerically unstable, which we attribute to the singularity of the metric and the associated need to perform a pseudoinverse instead of the inverse in the evaluation of . Dealing with this issue is a matter of current and future work.
SI On the complex structure of the multipolaron ansatz
In this section we specify the geometric structures for special cases of the general NGS ansatz. We begin with the example of a coherent state ansatz with explicit normalization and phase factors, , with . The tangent vectors for this ansatz were given in Eq. (29a), from which we can compute the metric and symplectic forms,
(S9)
as well as their respective inverses
(S18)
Note that here the use of the pseudo-inverse would give the same as the inverse, as and are not singular for any values of the variational parameters . We can also compute the complex structure, ,
(S23)
and verify that . Using the relation which holds if the tangent space of the variational manifold is a Kähler manifold as is the case here, we directly obtain the relations
(S24)
(S25)
(S26)
(S27)
which we derived explicitly and used in the main text to compute , see Sec. III.2.
Next, we compute the complex structure of the squeezed coherent state, including norm and phase factors, , such that with , . Using the expressions in Eqs. (17), (18) we arrive at
(S34)
where we introduced and . It is straightforward to verify that
(S35)
i.e. the tangent space of the single-polaron single-mode ansatz is a Kähler space. A technical remark is in order. We note that
(S36)
which vanishes in the limit of vanishing squeezing and consequently is ill-defined (an alternative way of seeing this is an overparametrization of the tangent vector space as vanishes, cf. the Eqs. (S37) below). When such situation occurs, one can use instead the Moore-Penrose pseudo-inverse, as suggested in Hackl et al. (2020), to evaluate . In this case we recover and thus the Kähler space.
Finally, when using Eq. (S34) in Eq. (LABEL:eq:projection) we arrive at the following tangent vectors (in addition to )
(S37a)
(S37b)
(S37c)
(S37d)
(S37e)
(S37f)
It is apparent from the above equations that the set lies in the tangent space spanned by as a consequence of it being the Kähler manifold, .
The same procedure then generalizes to the construction of tangent vectors for each polaron and each mode such that the tangent space remains Kähler manifold also in the generic many-polaron multi-mode case. In this case the complex structure takes a block-diagonal form, where each block is labeled by the polaron and mode number with the property , which we could also verify numerically.
SII Benchmarking dynamics with single spin
A key advantage of NGS is that it provides access to the wavefunction , meaning that any desired quantity can be computed, including for example the entanglement entropy. We provide a simple example of this utility by computing the infidelity between NGS wavefunction with and the exact wavefunction for closed real-time dynamics. This is shown in Fig. S1 for for the four parameter regimes studied in Figs. 6-9 (there with ). Note that such a comparison for more spins becomes challenging as we cannot access exact numerics. We find that in all regimes except , the infidelity of NGS is low, with . We also note that the infidelity is not accessible in TWA.
Next, we benchmark both TWA and NGS against exact numerics for open real-time dynamics. In Fig. S2, we consider in the same parameter regime as the main text with cavity loss at rates (top row) and (bottom row). For weaker cavity loss we find that NGS with polarons more closely tracks the exact numerics than TWA, particularly for the cavity dynamics which shows excellent agreement. At strong cavity decay rates both methods accurately capture the cavity dynamics, with NGS also capturing the spin decay, albeit with large error bars as only trajectories were used.