1. Introduction
Efforts to reconcile classical and quantum mechanics are just about as old as quantum mechanics itself. While the formulation in Hilbert space makes it difficult to establish a direct correspondence between the two, a projection of the wave function to phase space may reveal some formal affinities between the quantum evolution of probability density and the traditional Liouville formalism of classical mechanics. The closest one can get to relate the two is by projecting the Liouville–von Neumann equation onto a suitable state space. For example, choosing the traditional phase space, we may obtain the so-called Wigner representation, which shares similarities with the aforementioned classical density evolution.
Yet, there are also notable differences, as it stands to reason. The Wigner function, which is the projection of the density operator onto the phase space, may also take on negative values; its evolution is governed by an equation plagued with an infinity of derivatives, and, as an indirect consequence of that, it may attain scales smaller than Planck’s constant [
1]. This is especially true in systems whose underlying classical dynamics exhibit chaotic behavior.
In reality, however, no system is perfectly and eternally isolated, and exchanges of matter or energy with the surrounding environment are inevitable, whether due to measurements, thermal interactions, or shot noise [
2,
3,
4]. That brings dissipation into the picture and, with that, decoherence.
The effect of the environment on the evolution of a density matrix in a phase-space representation was first studied by Feynman and Vernon [
5], who extended the path-integral formalism to dissipative quantum dynamics. Later, Caldeira and Leggett [
6] derived an equivalent partial differential equation for the density matrix, which bears diffusive and dissipative terms similar to the Fokker–Planck equation. The latter analogy was then thought to hold in the semiclassical limit until a new wave of contributions [
7,
8,
9,
10] reexamined the problem in a quantum chaotic setting. A most remarkable outcome of those works is the identification of a decoherence time, beyond which the Wigner equation is, in all, a Fokker–Planck equation since the higher-order derivatives may be safely neglected, and the quantized phase space may be resolved only up to a finite scale. Such resolution does not depend on the Planck constant, but rather emerges from the balance of the phase-space contraction rate (Lyapunov exponent) with the coupling of the system with an Ohmic environment.
More recent contributions have focussed on the efficiency of Wigner evolution for general types of dissipation [
11], and on obtaining a Lindblad-based dissipative Wigner equation to tackle quantum friction [
12,
13].
Once it is established that, under suitable conditions and after a sufficiently long time of evolution, the Wigner equation has the form of a Fokker–Planck equation, the quantum dissipative problem is cast into a classical stochastic process. Moreover, if the underlying classical dynamics of the quantum system in exam are chaotic, the limiting resolution of the phase space postulated in refs. [
8,
10] is not expected to be uniform, but will depend on the local interplay of the stretching/contraction with the dissipation. In the equivalent classical noisy problem, it is the ‘Brownian’ diffusion that plays the role of dissipation.
In the past decade, significant steps [
14,
15,
16,
17,
18] were taken to determine the resolution of a chaotic state space in the presence of weak noise and reduce the dynamics to a Markov process of finite degrees of freedom in the form of a connectivity matrix. Low-dimensional discrete-time dynamical systems such as logistic- or Hénon-type maps have been treated in a non-Hamiltonian setting, whose quantum analogs are, in principle, difficult to identify. The optimal resolution hypothesis should be extended to continuous time flows as well, and the starting point of that roadmap is a thorough comprehension of the steady-state solutions of the Fokker–Planck equation around the building blocks of chaos: periodic orbits.
Here, we intend to lay the foundation of that understanding, by solving the Fokker–Planck equation of nonlinear paradigmatic dynamical systems, classical and with weak noise. We examine two-dimensional flows featuring nonlinearities but not yet chaos, where the competition between contraction and noise around a limit cycle results in a stationary density, which characterizes the steady state, and, as shown at the very end of the manuscript, shares common traits with the steady-state Wigner function of a case study in quantum dissipative dynamics.
The article is structured as follows: in
Section 2 we review the basic tools of the phase-space representation of quantum dynamics, both in closed and open systems. We follow up in
Section 3 by discussing the main issues related to the evolution of the Wigner function in a quantum chaotic setting, the effects of dissipation, and the correspondence of the Wigner with the Fokker–Planck equation. In
Section 4, a novel methodology is introduced to evaluate the steady-state solution of the Fokker–Planck equation around a periodic orbit, which casts the partial differential equation into an ordinary differential equation for the covariance matrix, known as the Lyapunov equation. We first present a proof of concept on the simplest limit cycle, of circular shape as from a Hopf bifurcation, to be followed in
Section 5 by the treatment of the nonlinear oscillators, which are the main object of the current study. At the end of the section, the results on the Fokker–Planck steady-state densities are paralleled to those obtained for the Wigner function in a recent study of a quantum-dissipative model of the same oscillators. Summary and discussion close the paper.
4. Contraction vs. Diffusion in Stochastic Dynamics
Equation (
14) and the discussion from the previous section suggest that, under suitable conditions, the problem of the dynamics of a quantum system connected to an environment may be cast into the classical evolution of a density according to a Fokker–Planck equation. As a consequence, studying the interplay of stretching/contracting dynamics with weak noise may also help shed light on quantum dissipation. Particularly interesting scenarios arise when the deterministic dynamics exhibits chaotic behavior. It is, in fact, well known that the phase space of a chaotic system has a self-similar (fractal) structure of infinite resolution. However, in reality, every system experiences noise, coming from experimental uncertainties, neglected degrees of freedom, or roundoff errors, for example. No matter how weak, noise smooths out fractals, giving the system a finite resolution. The consequences are dramatic for the computation of long-time dynamical averages, such as diffusion coefficients or escape rates, since infinite-dimensional operators describing the evolution of the system (such as Fokker–Planck) effectively become finite matrices. With the aim of efficiently estimating long-time averages of observables for a chaotic dynamical system affected by background noise, a recent endeavor carried on over the past decade has achieved a technique to partition the chaotic phase space up to its optimal resolution, using unstable periodic orbits. The benchmark models already treated range from one-dimensional discrete-time repellers [
14], and general unimodal maps [
15], to two-dimensional chaotic attractors [
17,
18]. Most importantly, a finite resolution for the state space of these models has effectively changed the dimensionality of the Fokker–Planck operator from infinite to inherently finite. Consequently, computations of the desired long-time averages become simpler and more efficient. On a more intuitive note, the present results also bear physical significance because, even when the external noise is uncorrelated, additive, isotropic, and homogenous, the interplay of noise and nonlinear dynamics always results in a local stochastic neighborhood, whose covariance depends on both the past and the future noise integrated and nonlinearly convolved with deterministic evolution along the trajectory. In that sense, noise is effectively never ‘white’ in nonlinearity, and thus, the optimal resolution varies from neighborhood to neighborhood and has to be computed locally.
As stated in the introduction, here we attack continuous-time dynamical systems, and begin by studying the evolution of noisy neighborhoods of periodic orbits. The simplest yet meaningful models are two-dimensional limit cycles, that can serve as a testbed for parsing the interaction of deterministic dynamics with noise.
4.1. The Lyapunov Equation around a Cycle
Consider the Fokker–Planck equation
where
is the diffusion tensor, whose entries are the noise amplitudes along each direction (
is diagonal with identical entries for isotropic noise). If we look at the dynamics in the neighborhood of a particular deterministic trajectory, we may linearize the velocity field
locally, and replace it with
, where
is the so-called matrix of variations. Moreover, we may switch to a co-moving reference frame in the desired neighborhood, say
.
Suppose we start off with an initial density of trajectories of Gaussian shape, that is
. The short-time solution to (
31) can then be written in the path-integral form
One can then infer the relation between input and output quadratic forms in the exponential
and, neglecting terms of order
, recover the time-dependent Lyapunov equation
Following the theory of time-dependent ordinary differential equations [
24], we may write the solution of (
34) as
Here,
is the Jacobian along a flow
:
One can verify this by just plugging the solution above into the equation. Alternatively, one can write Equation (
35) in the simpler form
where the notation
means that the Jacobian is computed following a trajectory that starts at time
s and ends at time
t, consistently with Equation (
36).
4.2. Noisy Circle
Next, consider one of the simplest two-dimensional dynamical systems, a pair of ODEs with a circular limit cycle of radius
, together with additive isotropic white noise of strength
:
where
In polar coordinates, this is written
This Langevin-type equation produces the drift and diffusion coefficients [
23]
which then determine the Fokker–Planck equation for the system:
The limit cycle
can be either stable (
Figure 1) or unstable depending on the sign of
. Let us consider the stable case.
The first thing to look for is a stationary solution to the asymptotic form of (
42):
A solution is
which implies that
is a Gaussian of width
in the neighborhood of the limit cycle. The general solution to (
42) is [
23]
where
are generalized Laguerre polynomials and both the eigenvalues
and the coefficients
can be found numerically.
Neighborhood and Coordinates
This problem has an obvious symmetry, which allows us to guess the right (nonlinear!) change of coordinates, as well as the stationary solution, independent of the angular coordinate. The result is that the noisy neighborhood of the limit cycle is determined by the variance of the stationary solution (
44). In general, however, we might not be so lucky, and guessing a suitable, possibly nonlinear, change of coordinates is probably beyond our reach. One way to identify a neighborhood for a periodic or any other orbit is to integrate the time-dependent Lyapunov Equation (
34) in the original (Cartesian) coordinates, but in a co-moving frame defined by the local coordinates
introduced in
Section 4.1.
Figure 2 illustrates this second approach: the forward Lyapunov Equation (
34) is numerically solved along an orbit that converges to the circular limit cycle (here we take the diffusion tensor
), and its solution (
37) is sampled along the trajectory and
inverted to obtain
, the covariance matrix of the Gaussian density, that produces a tube (in the figure in light yellow) along the orbit. The eigenvalues of
are found to converge to
, consistently with the result for the width of the stationary-state solution (
44) of the full-blown radial Fokker–Planck Equation (
43): that determines the width of the tube,
. The second eigenvalue of
is
, as it appears from
Figure 2b. The latter eigenvalue is to be read as follows: while the forward Lyapunov equation converges to a finite limit in the stable (radial) direction, where noise balances contracting dynamics, it diverges along the marginal (tangent) direction, and therefore its inverse converges to zero, asymptotically.
As shown in
Figure 2c,d, the exact solution (
44) of the Fokker–Planck equation is well reproduced by piecing together Gaussian tubes of covariance
, each computed around a definite point of the noiseless limit cycle (the spurious lines orthogonal to the circle in
Figure 2d are due to the finite sampling of the Gaussian tubes, that should ideally be a continuum).
As we may mostly be interested in the solution of the Lyapunov equation near unstable periodic orbits (like in a chaotic system), we then need to solve the same problem backwards in time, otherwise said by studying adjoint evolution, or the adjoint Lyapunov equation.
4.3. Adjoint Lyapunov Equation
The backward evolution is described by the adjoint Fokker–Planck equation
Following the line of thought of
Section 4.1, we can write the path-integral evolution of a Gaussian density in the neighborhood of an orbit
where
Analogously to the forward evolution, we can take the limit of infinitesimal time intervals and get the differential equation
the adjoint (or backward-) Lyapunov equation. Compared to the forward Lyapunov Equation (
34), the adjoint evolution (
49) features the ‘time reversal’ operation
, and therefore we can still use Equation (
37) as a solution, as long as the Jacobian along the orbit is computed as
and its computation follows the time reversed flow, that is the solution to the dynamical system
.
5. Non-Circular Limit Cycles: Classical Noise vs. Quantum Dissipation
We now turn our attention to non-circular limit cycles with background noise, and determine the steady-state density distribution yielded by the Fokker–Planck equation. We do so by integrating the Lyapunov equation in the neighborhood of a trajectory that eventually converges to the limit cycle.
The paradigmatic models of our choice both come from the nonlinear oscillator
with
g, a nonlinear function of position and velocity. Equation (
51) may be reduced to a dynamical system as the Van der Pol oscillator, by taking
, or as the Rayleigh model, by taking
in Equation (
51). In what follows, we shall set
,
, and we will tweak
. The Van der Pol oscillator takes the form
while the Rayleigh model reads (it is conventional to swap
x and
y)
In both classical systems, the dynamics converges to a limit-cycle of non-circular shape (
Figure 3), which depends on the parameters, and it is characterized by fast and slow motions. One, therefore, expects the interplay of noise with the inherent nonlinear contraction to be non-uniform, unlike in the circular limit cycle examined in the previous section, and to give rise to a stationary density distribution of varying covariance along the cycle. We consider both models (
52) and (
53) for different values of the parameter
, so as to gradually increase the eccentricity of the limit cycle, from a deformed circle (
Figure 4a) to a nearly rectangular orbit (
Figure 5b), where the deterministic stretching/contraction are most inhomogeneous along the cycle. The most notable feature is the oscillation of the covariance of the Gaussian solution of the linearized Fokker–Planck equation along the direction orthogonal to that of noiseless motion, denoted by
in
Figure 4c,d and
Figure 5c,d: the more eccentric the limit cycle, the more widely and rapidly
oscillates. That translates to a Gaussian steady-state density featuring a width that increasingly depends on the position along the orbit with the parameter
, as we can see in the three-dimensional/density plots of
Figure 4e,f and
Figure 5e,f. As anticipated, these monodromic Gaussian distributions computed by means of the Lyapunov equation and portrayed in the figures would be, in a chaotic setting, the building blocks of a partition of the noisy phase space, whose non-uniform resolution is determined by their overlaps.
The Gaussian solutions of the Lyapunov equation computed and illustrated here share common traits with the steady-state Wigner function of the two oscillators (
52) and (
53), as obtained from a fully quantum mechanical computation that has recently appeared in the literature [
25]. In that work, the quantization is performed by means of creation/annihilation operators
and its adjoint
, while dissipative terms are added to the Liouville–von Neumann Equation (
4), in the spirit of Lindblad’s formalism (in units of
ℏ):
where
while the coefficients
are functions of the parameters
and
. The Hermitian Hamiltonian
has two distinct expressions for the Rayleigh and the Van der Pol oscillators, and, like
, it is a function of linear (e.g.,
), bilinear (
), and nonlinear (
) terms involving the creation/annihilation operators (see ref. [
25] for details). The above Equation (
55) was numerically integrated, and the Wigner function was then found to eventually concentrate around the classical limit cycles, that feature similar eccentricities to the ones considered in the present work and plotted in
Figure 4 and
Figure 5. In particular (
Figure 6), the steady-state Wigner distribution is enhanced along ‘tubes’ of varying width, as it can be noticed in the more eccentric density plots of the Rayleigh model (
Figure 6c,d). This feature is especially apparent in
Figure 6d, where the high-density region is narrower along the vertical segments of the limit cycle (faster classical motion), and wider along its horizontal segments (slower classical motion). It compares directly with the Gaussian solution of the Lyapunov equation portrayed in
Figure 5f.
It is noted that in the cited work, the authors did not integrate the Wigner equation, but the Lindblad equation with a full-fledged quantum-mechanical algorithm. In particular, the localization of the Wigner function around the classical limit cycles is not to be taken for granted, and it legitimates the parallel between their steady-state solutions and the local Gaussian tubes obtained in the present work from the noisy classical system.
On the other hand, the numerical steady-state solutions to Equation (
56) obtained by the authors of [
25] are clearly not Gaussians centered at the limit cycles (except in
Figure 6a, the case of least eccentricity), as demonstrated by their varying intensities along the periodic orbits. In that sense, the Gaussian Ansatz that turns the Fokker–Planck into the Lyapunov equation carries limited information on the phase-space density distributions at equilibrium. Therefore, the analogy proposed here should be taken with a grain of salt, and only considered as a hint for the noisy-classical to quantum-dissipative correspondence in a particular system with nontrivial interplay of contraction and diffusion.
Finally, we would like to briefly comment on the difference between classical and quantum dissipation in the present models featuring limit cycles. In the classical system the dissipation produces damping, which is then balanced by the noise-induced diffusion. Instead, the quantum dissipation, generated by the characteristic Lindblad terms in Equation (
55), is responsible for both the ‘friction’ that drives densities to localize along the classical limit cycles, and the diffusion that spreads out the steady-state Wigner density distribution in the same region of the attracting orbits. This is consistent with the more general picture of
Section 2.2, where the quantum dissipation brings about both a damping and a diffusive term in the Wigner equation.
6. Summary and Discussion
Having reviewed the parallels between the problem of dynamical evolution of a quantum system subject to dissipation and that of a stochastic process ruled by the Fokker–Planck equation, we have narrowed our attention down to chaos, and, in particular, to the problem of an inherent scale resolution of the phase space. The issue is measuring the conjugated variables down to a certain precision, which may be set by the balance of the contraction rate of the classical chaos with the coupling to the environment, the source of dissipation.
Using the analogy with the problem of classical chaotic dynamics with background noise, we consider the Fokker–Planck equation, and study its local solutions in the neighborhood of a periodic orbit, that effectively give the latter a finite width, in the phase space. Solving the problem for two-dimensional limit cycles, as done here, is the starting point: in a chaotic setting, a number of periodic tubes of finite width that proliferate exponentially with their length must end up overlapping, and thus determine the finest resolution for the noisy/quantized state space, that is expected to be non-uniform, as chaos interacts differently with diffusion/dissipation everywhere, in general.
The analysis performed in this venue shows that the problem is tractable, and it provides the basic technology to attack it. Complications and obstacles are ahead for higher-dimensional systems, where stable, unstable, and marginal directions coexist along the same orbit, and where the solution to the adjoint Fokker–Planck operator introduced here will almost certainly be instrumental to the method. Still, the progress already achieved by periodic orbit theory in such complex models as the Kuramoto–Sivashinsky or the Navier–Stokes equation gives us confidence in the feasibility of the optimal partition hypothesis in higher-dimensional chaos.