Propagating wave correlations in complex systems

We describe a novel approach for computing wave correlation functions inside finite spatial domains driven by complex and statistical sources. By exploiting semiclassical approximations, we provide explicit algorithms to calculate the local mean of these correlation functions in terms of the underlying classical dynamics. By defining appropriate ensemble averages, we show that fluctuations about the mean can be characterised in terms of classical correlations. We give in particular an explicit expression relating fluctuations of diagonal contributions to those of the full wave correlation function. The methods have a wide range of applications both in quantum mechanics and for classical wave problems such as in vibro-acoustics and electromagnetism. We apply the methods here to simple quantum systems, so-called quantum maps, which model the behaviour of generic problems on Poincar\'e sections. Although low-dimensional, these models exhibit a chaotic classical limit and share common characteristics with wave propagation in complex structures.


Introduction
There is a long tradition of describing statistical properties of wave fields and spectra in terms of semiclassical or high-frequency techniques and random matrix arguments, both for classical waves such as vibroacoustics [1,2], electromagnetics [3,4] and for quantum mechanics [5,6,7,8]. Spectral and wave function statistics are universal under very general conditions and, in particular, if the system under consideration is complex with an associated ray dynamics being chaotic [9]. The statistical properties depend then only on a few generic parameters such as the mean level density, the mean wave amplitude and underlying symmetries such as time-reversal symmetry. Deviations from universality may occur due to non-chaotic dynamical features and for many wave systems in practical engineering applications, these deviations are of great practical importance. In addition, the spatial dependence of mean field values is itself of interest, particularly if absorption or other dissipative effects become relevant.
Classical wave problems -such as the vibro-acoustic response of complex builtup structures or the electromagnetic wave field inside a complex cavity -have in common that they are typically driven by complex, that is, spatially extended but finite, stochastic, and broad-band sources. In addition, they are typically dissipative and are often composed both of regular components (rectangular rooms, walls or corridors, for example) and irregular components (such as cable bundles, circuit boards, moulded vehicle parts or support beams) whose exact location, shape, and topology may be uncertain. Such problems pose computational challenges for full numerical simulation, particularly in the high frequency regime where the scale of a wavelength is small compared to the size of the structure. The inherent uncertainty that one commonly encounters in the intrinsic geometry may in any case make detailed characterisation of the response irrelevant, even if it was computable.
We therefore take an approach in this paper which uses ray propagation to predict averaged, coarse-grained features of the response, as well as providing statistical information. The averages are not sensitive to structural changes, while providing a platform for the prediction of more detailed statistical characteristics in a postprocessing step. The connection between ray propagation and wave-field correlations is based here on transfer or boundary operator approaches [10]. Transfer operators allow us to present the problem of wave propagation via multiple reflection in a format which mirrors very closely the phase space mappings used for ray propagation (while in principle allowing an exact solution). This transfer operator approach means that we effectively characterise the problem in terms of a Poincaré-section representation, but we emphasise this lower-dimensional representation can ultimately be mapped to the full problem by using Green function identities (see [11]) for a detailed discussion of propagation of a correlation function from a straight boundary in this context).
Furthermore, an explicit quantitative connection with phase space densities can be made by presenting the correlation function as a Wigner function. The Wigner distribution function (WDF) approach has been developed in the context of quantum mechanics [12], but has found widespread applications also for microwaves [6] and in optics [13,14,15]. The method introduced below exploits a connection between the fieldfield correlation function (CF) and the WDF [16,17,18]. Both quantities have been studied intensively in the physics and optics literature. For wave chaotic systems, Berry's conjecture postulates a universal CF equivalent to correlations in Gaussian random fields [19,20,3]. Non-universal corrections can be retrieved by making a link between the CF and the Green function of the system after suitable averaging [21,22,23,24]. The Wigner function formalism can be used to derive the ray-tracing limit for propagating wave fields, see for example [11]. Higher-order (Airy-function) correction to a ray-tracing approach as well as treating evanescent contributions have been discussed in [25,16,11].
In this paper, we will use the WDF approach inside finite domains which may be regularly or irregularly shaped. Extending the treatment in [11], we will consider here multiple reflections and interference effects explicitly. We derive the ray-tracing limit in this case and discuss various limits leading to deviations from a pure ray-tracing approach. The ray-tracing component itself can be evaluated efficiently when combined with fast phase-space propagation methods such the Dynamical Energy Analysis (DEA) developed in the context of vibro-acoustics [26] and mesh-based implementation tools such as Discrete Flow Mapping (DFM) techniques [27].
We will focus here on linear and stationary (frequency domain) scalar wave problems using as reference point the wavenumber k or the frequency ω. When considering quantum systems, we may identify the scale 1/k with ; extensions to vector wave equations is straightforward [28]. In Sec. 2, we introduce the concept of transfer operators and write correlation functions of stationary wave fields in terms of these operators. We derive relations between correlation functions and phase space densities and verify the results with the help of a simple quantum map, the kicked Harper map [29]. In Sec. 3, we extend the results to derive explicit expressions for the variance around the ensemble mean in terms of classical phase space quantities. The results are again validated numerically, here for a fully chaotic quantum map, the perturbed cat map [30].

The transfer operatorT
The wave problem under consideration is described in an operator formulation using transfer operatorsT defined on a (d − 1)-dimensional manifold, or surface of section (SOS), where d is the dimension of the underlying space. As a concrete example, we consider the Helmholtz equation in a d-dimensional Boundary conditions given on ∂Ω are assumed to take the form of a linear relationship between the solution ψ itself and its normal derivative ∂ψ/∂n. We will in general use ∂Ω as the SOS although other choices are possible. We include an inhomogeneous source term ψ 0 here, which drives the wave dynamics. An operator formulation on the boundary is naturally given in terms of boundary integral equations, which yield relations between the wave function ψ and its normal derivative on the boundary. For our purposes, it is more convenient to follow [10] and decompose the boundary field into incoming and outgoing components as depicted in Fig. 1. Note that we use the ket notation for the solutions restricted to the SOS given here by ∂Ω.
The solution to the inhomogeneous wave problem can now be cast in terms of incoming waves at boundaries, where |ψ 0 − is the source wave field incoming on the boundary. Transfer operators can be defined for generic wave systems and for generalised SOSs other than ∂Ω, see [31,32]. An explicit construction of the exactT is, however, often not straightforward and implementations have been presented for model systems only [33,34,35,10]. General expressions forT can be given explicitly in the semiclassical limit k (or ω) → ∞ in terms of the so-called Bogomolny transfer operator [31,36], The sum in (4) is over all rays passing through the interior to cross from point x to point x on the (d − 1) dimensional SOS. The phase S(x, x ) is the classical action at a fixed frequency ω of the ray and µ is a phase index arising due to boundary conditions or ray caustics; S can be complex if there is damping. Note that, when considering the Helmholtz case in a domain Ω, there is only one such ray trajectory from x → x. The wave number k is introduced here for convenience; in the special case of the Helmholtz equation (1), we have S(x, x ) ≡ k L(x, x ), the optical length of the chord connecting x to x.

The correlation functionΓ
We are primarily interested in classical wave problems driven by noisy, stochastic sources. In this context, the natural solution of the problem is in terms of a two-point correlation function whereΓ can be interpreted as a density matrix of the system and x 1 and x 2 are coordinates on the SOS. In the simplest case of coherent driving, we may consider Γ = |ψ − ψ − |, with |ψ − a solution of the form (2) for a specific source term and at a given frequency. More generally, we consider driving by stochastic sources and correspondingly density matrices obtained from, for example, frequency, spatial or time averages (when considering time dependent, in particular, non-harmonic, stochastic sources) [37]. Note that we always assume here thatT itself is not explicitly time dependent, even if the driving is. Consider a source correlation function Γ 0 with where ψ − 0 (x) is the source wave field as defined in (2) and . denotes an ensemble average over time intervals, frequency or local spatial averaging. Note, that while the source distribution |ψ − 0 show strong spatial fluctuations, the averaged quantity Γ 0 can be a fairly smooth function of both x 1 and x 2 . Starting from (3), we write the system correlation function, including multiple reflections at boundaries, in terms of the source correlation function and the transfer operatorT . That is, Formally, one can write this in terms of the source correlation function Γ 0 being propagated along outgoing waves and undergoing multiple reflections at boundaries. After geometrically expanding the right hand side of Eq. (7), we writê where the nth iteration of the operatorT n is related to waves undergoing n reflections at ∂Ω. The operatorK in (8) contains the diagonal contribution of the double sum and is defined asK It contains the smooth part of the correlation function as will be shown below. The termsK n can be interpreted as the nth iteration or reflection contribution to the smooth part of the correlation function. Note that some damping is implicitly assumed here in order for these sums to converge. We finally remark that, once the correlation function has been characterised in a boundary representation, as set out in this section, one can use Green function identities to propagate this information to the interior. See [11] for a more detailed discussion of such propagation of correlation functions from a straight boundary, including the treatment of evanescent components, for example.

Relation to classical phase space densities
The quantitiesΓ 0 ,Γ andK can be related to phase space densities using Wigner transformation after additional averaging as demonstrated below and in Appendix A. The WDF of an operatorΓ is defined as with back transformation given by Here, k represents a wave number such as introduced in (1), (4) and d is the dimension of the full, interior problem. It is shown in Appendix A, that for sufficiently smooth initial phase space distributions W Γ 0 = ρ 0 , the averaged Wigner transform ofK n in (9) is given in terms of the classical flow equations, see also [11,38]. Classical phase space densities are driven by the phase space dynamics, in our case a boundary map or more generally the Poincaré map of an SOS. The initial density ρ 0 = W Γ 0 can then be associated with a boundary density of rays arriving directly from a source distribution in the interior. Mapping the source ray density through subsequent reflections leads to the iterated densities ρ 0 → ρ 1 → · · · ρ n → · · · which can be described in terms of the (linear) integral operator L defined in the lossless limit as [39] (see below for the treatment of losses). Here, X = (x, p) denotes the collective phase space coordinates on the SOS (with p the momentum conjugate to x) and ϕ : X → X is the classical map describing the flow of trajectories from the SOS back to itself after a single reflection. We use that ϕ is Hamiltonian, and, in particular, phase space volume preserving. The operator L is also referred to as the Frobenius-Perron (FP) operator [39]. The integral representation in (12) is useful for considering effects like absorption and mode conversion as well as uncertainty, see [40]. The ray-dynamical, or classical, analogues of equations (9) are now provided by From the relation derived in Appendix A, we can now write and we obtain for the Wigner function of the fullK operator to leading order The averaging · is understood as defined in (6) and can be performed in terms of an average over an ensemble of similar systems, appropriately chosen frequency averaging or local (spatial) averaging, for example. In addition, it is assumed that the initial density ρ 0 = W Γ 0 is a smooth function on the scale of ∆x∆k = 1.
For the full correlation function, we find that contributions to (8) with n = n are removed by averaging so that we may assert in addition that The quantitiesΓ andK thus have the same mean when taking a suitable average and this mean value is given by the classical equilibrium (phase space) density ρ obtained from (15), that is, We will find in the next section, however, that fluctuations ofΓ about this mean are much stronger than those ofK, particularly in the limit of weak damping. The averaged quantities in (17) contain detailed information about the system. Powerful numerical tools have been developed for computing ρ, and thus indirectly for the mean ofΓ. Among those, the DEA technique together with the DFM implementation on meshes is particularly suitable for complex structures, which has been used in a range of engineering applications [26,27,41].
Note that, without losses, the FP operator L has a leading eigenvalue 1 and the solution to Eq. (15) diverges. It is thus necessary -in order to arrive at mathematically and physically meaningful solutions -to account for losses such as naturally occur in wave systems due to wall absorption or absorption in the interior of Ω or due to radiation through apertures. Absorption can be included in a FP operator formalism by introducing, for example, where we require that the damping coefficient µ ≥ 0 is additive along the flow, mimicking distributed losses in many real-life engineering systems. For interior damping, such as for acoustic waves in air, we typically have µ(X) = µ 0 L(X), where L is the length of a trajectory segment between two reflections on the boundary starting at X and µ 0 ≥ 0 is a real constant.

Numerical illustration of averaged response using quantum map models
We will demonstrate the validity of the relations described in the last section with the help of a simple model in which the transfer operator is simulated bŷ whereÛ is a unitary operator acting on a space of dimension N and the prefactor v, satisfying 0 < v < 1, accounts for dissipation. In numerical investigations here and in following sections, we chooseÛ to be the quantum analogue of a classical map on the unit torus (see Appendix B for further details). By choosing maps with different levels of chaotic behaviour, we aim to simulate the response of larger, complex systems governed by classical wave theories. In these models, the dimension N takes on the role of the wave number k as the large parameter.
In order to illustrate the average response set out in the preceding discussion, we let U take the form of a quantum kicked Harper (QKH) map in this section, see [42,43,44]  or the review [29] (other maps are used when discussing fluctuations about the mean later). The corresponding classical kicked Harper map exhibits a predominantly chaotic dynamics but with small regular islands. Although these islands are small, their presence leads to a significant degree of tanglement of the stable and unstable manifolds as demonstrated in Figs. 2c and 2d. This gives rise to a strong dependence on initial source distributions when considering correlation functions, which makes it a good test model for studying relations between classical and wave operators. The sourceΓ 0 is chosen so that the associated Wigner distribution function takes the form where C is a normalisation constant chosen so that Tr Γ 0 = 1 and σ x and σ p respectively determine the variances in the x and p coordinates. For small enough σ x and σ p this is a nearly Gaussian source distribution in phase space centred on X 0 = (x 0 , p 0 ), and is associated with a corresponding nearly Gaussian source correlation function Γ 0 (x 1 , x 2 ). The time evolution of the Wigner transform W Kn ofK n is displayed in Fig. 2 and is compared with the evolution of a classical phase space density with initial distribution according to (20). The quantum evolution follows the classical dynamics closely for small n as expected from Eq. (12) and detailed in Appendix A. Once the classical dynamics foliates phase space down to phase space cells of area 1/N , wave fluctuations take over and wash out the classical phase space structures, see Fig. 2d at n = 10. Note that, after several interations of the map, the classical density is stretched along the unstable manifolds of the system and tracks, for example, the folds and switchbacks in them that arise from the small islands present. Some of these features are also seen in the propagated Wigner function but the details are lost.
In Fig. 3, we compare the classical (stationary) phase space distribution ρ defined in (13) with the Wigner transforms ofK andΓ for a damping value v = 0.9. The classical and wave results coincide remarkably well for ρ and W K even without further averaging, see Fig. 3a, while only traces of the classical phase space structure are left for W Γ in this case. When performing a further parameter average in the Harper map, the quantum fluctuations are suppressed and the classical phase space structure comes out more clearly, both for W K and W Γ , see Fig. 3b. The fluctuations in W Γ are in both cases much larger than in W K , with similar differences to be expected for the original objectsΓ andK. We can in fact quantify the increased fluctuations inΓ compared tô K as a function of v, as will be described in the next section.
The results show that the classical phase space density gives the mean value for both quantities W K and W Γ as expressed in (16). It also shows how well the classical dynamics describes a wave operator such as W K down to a detailed description of the complex phase space structure present in a mixed system like the kicked Harper map. Note, that the wave fluctuations due to higher iterates of the map are suppressed here due to the 10% damping (v = 0.9) introduced.

Fluctuations ofK andΓ about the mean
AlthoughK andΓ have the same average, the fluctuations about the mean are much greater forΓ than forK as illustrated in Fig. 3, an effect which is greatly amplified in the weak damping limit. In this section we quantify this effect for the simple model T = vÛ introduced in Sec. 2.4 by calculating mean values for TrΓ 2 and TrK 2 . Formally, these also provide us with variances of individual matrix elements K ij and Γ ij in any given basis, using, for example, Here · N denotes an average over the N -dimensional basis on the space on whichT is defined. Explicit expressions can be given for these quantities, as outlined in the remainder of this section. In particular, if we average over a parameter such as frequency (or system dimension in the quantum map model), we can demonstrate that fluctuations inΓ scale simply with fluctuations inK, according to This expression is quite general and is equally valid in chaotic and integrable limits, for example. It is also true irrespective of whether the system has time reversal symmetry or not. It provides a direct quantitative measure of the greater fluctuations seen inΓ, relative to those ofK, as v → 1. Furthermore, we will see that the fluctuations ofK itself can be obtained using information that is readily available from propagation of a corresponding classical density, as performed in complex structures using the DEA method, for example. Using (21), the scaling relationship (22) provides an equivalent scaling of the relative sizes of corresponding matrix elements. It should be noted that in practice such averages over all matrix elements are dominated by diagonal elements in the weak damping limit or when the source intensity is extended over length scales much larger than a wavelength: however, it can be shown using alternative but more involved calculations, not reported here, that these results can also be applied element by element. Finally, any statement involving such traces can be expressed also as a relation between Wigner functions. For example, (22) can also be expressed in the form, using standard properties of Wigner functions. This relation provides an explicit quantitative statement of the qualitative observations made in Fig. 3.

The variance of the diagonal partK
We considerK first and write Eq. (9) aŝ n representing the smooth n-step correlation function as in Eq. (9). Using the cyclic permutability of the trace we may write, where A(n) = Tr Γ 0Γn is the n-step return probability. Note that A(n) = TrΓ 0Γn = TrΓ nΓ0 = TrΓ 0Γ−n = A(−n). After reordering the double sum, this may be written in the form So far the calculation is exact and completely independent of the classical limit. The quantity A(n) can again be related to the classical phase space dynamics using We now make the approximation used in (12) that, on averaging, the fluctuations in A(n) are removed and that it may be approximated by its classical or ray-dynamical analogue, the classical phase space autocorrelation function Here, ρ 0 is the correspondingly averaged classical phase space density of the source and ρ n = L n ρ 0 its nth-reflection iterate. Then For strongly chaotic systems, the autocorrelation function decays exponentially as where γ cor denotes the correlation exponent and a 0 , a 1 are constants depending on the initial density ρ 0 (e −γcor typically being the 2nd largest eigenvalue of the FP operator.) Note that, for strong damping, it suffices to know the autocorrelation function A(n) for relatively small n in order to compute Tr(K 2 ). In this case one finds that the exact A(n) may be well approximated by its ray-dynamical analogue A cl (n) even without averaging and that the result above then also holds for individual maps. (Of course, the trace operation itself performs an average over basis states even if no further averaging is performed.)

The variance of the correlation functionΓ
To get an equivalent expression for the variance of the full correlation function of the stationary wave field,Γ, we start from Eq.
We argue next that, after averaging, due to the phase difference that one necessarily finds in contributions toÛ n and U n when n = n . On average, the sum in (31) is then dominated by terms with n 1 − n 4 = n 2 − n 3 = n and, after reordering, we may write as previously reported in (22). Note that this condition has been derived based on neglecting interfering contributions which are wiped out by appropriate averaging. We have not made any further assumptions about the underlying classical dynamics and the relations (22) - (24) are universal, independent of whether the system dynamics is regular, chaotic or mixed. In particular, the variance ofΓ always exceeds that ofK, only approaching the same value in the limit of strong damping, v → 0. We note that relation between wave fluctuations (as a function of energy or frequency) and classical decay rates is a well established concept and has been discussed in the context of fluctuations in scattering cross sections [45,46] or conductance fluctuations for transport through open chaotic cavities [47], see also [48]. The relevant classical quantity is here the classical escape rate γ esc , which in our setting corresponds to the rate of dissipation γ esc = − log v. A generalised treatment involving the full spectrum of the FP operator is given in [49]. Our result highlights the influence of higher order eigenvalues of the FP operator on the variances in Eqs. (27) and (32) such as through the classical decay of correlation contributions, Eq. (30). The main result of this section is, however, the relation (33) relating the fluctuations in the 'smooth' part, K, to the fluctuations in the total correlation function. Together with (17) and (29), we can now relate the first and second moments of the distributions of bothΓ andK to classical phase space observables such as the stationary phase space density ρ and the classical phase space autocorrelation function A cl (n). These quantities depend of course on the underlying classical dynamics.

Numerical illustration of fluctuations using quantum map models
The fluctuations ofK andΓ are now illustrated using a quantum map model. As asserted in the preceding discussion, averages (27) and (32) and the corresponding variances are insensitive to the underlying symmetries and to how chaotic or integrable the system is, although the detailed distributions are not.
In this section, we use a perturbed cat map [30], in which a quantum cat map [50,51,52] is perturbed with a QKH map of the form used in Sec. 2.4 (see Appendix B for more details). The perturbation is large enough to break any underlying timereversal or spatial symmetries of the quantum version of the cat map, but small enough that the overall classical dynamics is still completely chaotic. A source term Γ 0 is used which corresponds to the nearly Gaussian density given in (20), with σ x = σ p = 1/2. It is centred on a period-one fixed point X 0 = (x 0 , p 0 ) near the origin of phase space, which slows the short-time decay of the autocorrelation function A(n).
Corresponding numerically computed values of TrK 2 and TrΓ 2 are shown as circles and triangles respectively in Fig. 4 as v → 1. As v is varied, the dimension N of the quantum map is also changed, so that typical variations can be seen in individual values of TrK 2 and TrΓ 2 around the averages (27) and (32), presented in the figure as solid curves. Over the range shown, individual values of TrK 2 follow the average prediction (27) quite closely. The trace operation is effectively self-averaging in this case. In  (27) and (32) are independent of N : we let N change in this figure simply to give a sense of the typical variation about the predicted mean for individual maps. This aspect is illustrated more explicitly in Fig. 5 contrast, although (32) is found to be a good predictor of average behaviour, individual values of TrΓ 2 are seen to fluctuate significantly about the mean, and to an increasing extent as v approaches one. In fact, it is found in Fig. 4 that most individual values of TrΓ 2 fall significantly below the mean (32) when v is very close to one, with the average being achieved because increasingly rare individual cases arise with exceptionally large values. This can be understood simply in terms of the physics of the weakly damped resonant response of the system and is illustrated in more detail in Fig. 5. Here we present fluctuations with changing N of TrΓ 2 for the particular values v = 0.995 and v = 0.999 of the damping parameter, represented respectively by crosses and circles. The smallest individual values of TrΓ 2 are insensitive to v in this illustration. Physically, these correspond to instances of the system being off resonance and changing only slightly as v makes the final steps towards unity. In the weak damping limit, where resonances are very narrow, this accounts for most parameter values. However, the minority of cases which are at Clearly then, the average fluctuations predicted in this paper present only a partial characterisation of the system response in the weak damping limit. A complete description demands a characterisation of the distribution of values. This lies outside the scope of the current discussion but will be reported in a future publication. The calculations in this section do provide, however, a simple characterisation of the variability of the response of the system about the mean.

Conclusion
Ray tracing methods often provide the only feasible means of treating wave propagation in the high-frequency limit. Recently developed DEA methods have in particular provided an effective means of implementing such phase-space transport in very large, complex structures. They provide an effective description of the local averaged response of large systems to driving by sources that are themselves also often complex and statistically characterised. However, such methods used in isolation miss important physical phenomena related to interference and to higher order effects such as diffraction.
The aim of this paper has been to establish and exploit an entirely wave-based analogue of this phase-space transport problem so that wave effects such as multi-path interference can be incorporated into large-scale simulations with complex and noisy forcing. We have argued that an effective platform for the calculation of such wave effects can be built on the relationship between correlation functions and Wigner functions that has been established in the contexts of quantum mechanics and optics. Twopoint correlation functions provide an effective means of exploiting available information about spatial localisation and directionality of waves radiated from a noisy, complex source. They have proven to be an effective way of characterising EM emissions from electronic circuitry through direct measurement, see for example [37]. Correlation function propagators then provide a completely wave-based analogue of phase-space transport approaches such as DEA.
Importantly, this allows us to provide a statistical description of fluctuations due to interference in the response of a forced wave problem, using only information that is readily available from a direct phase-space simulation. In particular, the global variance of the wave correlation function can be described in terms of an autocorrelation function of propagated phase-space densities. In essence this allows us to boot-strap phase-space transport simulations to predict fluctuation about the mean of the response of the system, as well as the mean itself. The approach has been tested on simple quantum map models based on a representation of wave transport by boundary transfer operators, but using a framework that we believe will scale up effectively to much larger systems. Achieved results are relevant in the statistical characterisation of large vibro-acoustics and electromagnetic structures, including reverberation chambers operated at arbitrary frequencies.
of the operatorT n , where the sum index α runs over all trajectories from x to x that encounter the SOS n times, while other quantities are defined as in (4) and (5) with obvious modifications. For notational compactness, the phase factor µ is assumed to be absorbed into the definition of the amplitude here. Using the transformation and starting from the semiclassical expression (A.1), we obtain where α and β label n-bounce orbits from x 1 to x 1 and from x 2 to x 2 , respectively. At this point, we need to make two crucial assumptions about the quantities of interest. First, we concentrate on the averaged response, so that orbit combinations with topologically distinct α and β, which arrive with significant noncancelling phase differences, are washed out. We are then left just with the diagonal contributions in which an orbit α coincides with an orbit β up to a slight deformation. In the following we therefore set α = β. Second, we assume that the source has a sufficiently short correlation length that propagation can be approximated using Taylor expansions of the surviving amplitude and phase contributions, truncated at the terms Here, p α (x, x ) = −∂S α (x, x )/∂x and p α (x, x ) = ∂S(x, x )/∂x [53] are respectively the initial and final momenta of the n-bounce trajectory from x to x labelled by α.
The condition that the correlation length is sufficiently short translates in the Wigner representation to the condition that the dependence on p of the Wigner function is sufficiently slow. Note that even very smooth initial densities wrinkle under chaotic evolution so that rapid oscillations develop as n increased. For a fixed underlying dynamics, the truncated Taylor expansions above may therefore fail for moderately large n. By using the derived identities below for longer times we are therefore implicitly assuming that there is also sufficient averaging over system parameters that very finescale classical features are smoothed out in propagated densities.
With these assumptions we obtain Using the definition of D α given in (5), we may write where on the left we sum over all orbits arriving at x, labelled by initial position x and topology α. On the right we reformulate the same sum as a simple integration over the momentum p at arrival (in which there is no need for the label α since x and p uniquely determine the orbit topology). Using this reformulation of the sum we can write with W K 0 (x , p ) denoting the Wigner transform of K 0 as defined in (10). Note that X = (x , p ) in (A.4) is now a function of X = (x, p) through the relation X = ϕ n (X ), with ϕ defining the dynamics on the SOS (see Sec. 2.2). After applying the Wigner transformation on both sides of Eq. (A.4) and evaluating the resulting δ-function, we obtain W Kn (X) = W K 0 ϕ −n (X) , (A.5) which mirrors the action of the classical FP operator.

Appendix B. Conventions for quantum maps
Here we summarise the quantum maps used in Secs. 2.4 and 3.3 to test correlation function propagation. We use maps defined on a toral phase space with unit period in each of the phase space coordinates x and p.
We begin with the classically-defined kicked map defined by where the primes on F and G denote differentiation. This map can be viewed as being the result of using unit-time flow under the Hamiltonian G(p), followed by unit-time flow under the Hamiltonian F (x). The illustrations in Figs. 2-3 assumed G (p) = a sin 2πp and F (x) = b sin 2πx and a = −2b = 2/π, in which case the map is a kicked Harper map, which will be the nomenclature we use henceforth. These maps provide generic examples with predominantly chaotic dynamics mixed with small regular islands for the chosen parameter values. The corresponding quantum map is then defined on a Hilbert space of dimension N = 1/(2π ) such thatÛ QKH = e −2πN iF (x) e −2πN iG(p) . The geometry of phase space is reflected in the detailed quantisation of the position and momentum operatorsx andp, and on the boundary conditions imposed on quantum states. We can use a position basisx |x i = x i |x i , with quantised positions x i = (i + α x )/N , whose index i runs over i = 0, · · · , N − 1. Alternatively, we can use a momentum basisp |p i = p i |p i on the same index set with quantised momenta p i = (i+α p )/N and related to the position basis by x l |p j = e 2πN ix l p j / √ N . The shifts α x and α p are determined by the boundary conditions satisfied by states under translation across the torus. The direct wavefunction ψ(x i ) = x i |ψ satisfies ψ(x i +1) = e 2πiαp ψ(x i ). The momentum representation ϕ(p i ) = p i |ψ satisfies ϕ(p i + 1) = e −2πiαx ϕ(p i ). All of the maps used in this paper use either α x = α p = 0 or α x = α p = 1/2 and, in particular, Figs. 2-3 assumed α x = α p = 0.
Alternatively, cat maps and their quantisations provide examples of fully chaotic, hyperbolic dynamical systems. Quantisations of the simple cat map exhibit nongeneric degeneracies but these can be removed by perturbations which retain the fully chaotic dynamics. In particular, we use a perturbed cat map whereÛ QKH is a quantum kicked Harper map andÛ C , defined by quantises the (unperturbed) cat map This quantisation is well-defined for even N with α x = α p = 0 and for odd N with α x = α p = 1/2. The QKH map used for the numerical illustration in Sec. 3.3 was also of this form with G (p) = a sin 2πp, F (x) = −b sin 2πx and a = b = 0.1. This choice completely eliminates symmetries in the combined map, while presenting a small enough perturbation of the cat map that the dynamics is fully chaotic.