Wave diffusion and mesoscopic dynamics, towards a universal time-dependent random scattering matrix
Richard L Weaver
Department of Physics, 1110 W, Green Street, University of Illinois, Urbana, IL 61801, USA
Email: r-weaver@uiuc.edu.
Received 1 October 2006
Published 18 January 2007
| Abstract. We concern ourselves with the prediction of mesoscopic wave phenomena from statistical knowledge of classical trajectories. A diffusing particle picture for the flow of mean probability in chaotic systems is used to estimate dynamical features of mean square time-domain S matrices for waves coupled in and out through one perfectly open channel. A random process with that mean square, and with the additional constraint of unitarity, is then shown to lead to plausible S matrices with familiar mesoscopic wave dynamics. Features that are generated by this procedure include enhanced backscatter, quantum echo, power law tails, level repulsion and spectral rigidity. It is remarkable that such rich behaviours arise from such simple constraints. We conjecture that a generalization to n × n S matrices would exhibit behaviour identical to that of a Hamiltonian taken from the Gaussian Orthogonal or Unitary Ensembles (GOE or GUE) depending on its symmetries. Further constraining the S matrices to reproduce non universal aspects of classical dynamics, (known short time behaviours, periodic orbits, stable islands ...) may generate mesoscopic wave features of such systems. |
Contents
1. Introduction
An irregular reverberant wave system that has a chaotic classical (i.e. ray) limit manifests a variety of universal features characteristic of random matrix theory (RMT) [1]. These include universal statistics for eigenvalues and eigenfunctions, probability (mean square field amplitude) flow, and Green's function and S-matrix correlations. The applicability of RMT has been demonstrated in numerous numerical, microwave and acoustic experiments [2]. Most such demonstrations have compared level statistics (see e.g. [2]) and scattering matrix statistics [3] (including mean probability flow dynamics) with predictions from the classic random Hamiltonians: the Gaussian Orthogonal and Gaussian Unitary Ensembles.
RMT purports to predict universal properties of wave billiards. The `random wave (or ray) hypothesis' is closely related, but provides an alternative perspective which can in principle incorporate the underlying constituent propagations [4].
There is also interest in deviations from RMT. In RMT, states spread immediately over the entire available phase space. Nevertheless, residual mesoscopic coherence in the wave field leads to probability flows with a few non-intuitive but universal features, including coherent backscatter enhancement, quantum echo, and late time power law tails. Real systems, however, maintain correlation with their initial conditions until some mixing time before which the ray dynamics is not fully random. Short periodic orbits are cited as a source of non universal behaviour [5] as are direct reactions, but there are other circumstances in which the assumption of rapidly mixed rays is invalid. If mixing times are long, there are short frequency range failures of RMT. Long mixing times, approaching or exceeding Heisenberg times TH lead to localization. This generalization of the Thouless criterion for localization was explored in a simple case of weakly coupled billiards [6]; it also occurs when there are islands in classical phase space unconnected, or weakly connected, to the remainder of phase space [7]. Incorporation of deterministic ray paths or other non-universal behaviours into RMT remains an area of active interest [4]–[6], [8, 9].
Next to the random matrix literature on Gaussian ensembles of Hamiltonians, there exists an alternative information-theory approach in which ensembles of scattering matrices S(E) are derived with no reference to an internal Hamiltonian [10]. This literature, while successful at describing S(E) matrices at fixed energy, has so far not succeeded at describing their dynamics, or the correlations between S matrices at different energies. There is need for a universal ensemble of S matrices that includes such correlations, perhaps one that could incorporate knowledge of non-universal features where present.
The present study is inspired in part by a recent contribution from Lev Kaplan [8] which shows how incorporating exact short time wave behaviours into an otherwise ergodic ray dynamics, allows to derive nonuniversal features of the wave dynamics. It is also part of a project in structural acoustics in which cost-effective short-time direct numerical solutions (DNS) of many degree of freedom linear wave systems are to be used to make predictions for energy flow and field statistics over late times [6, 11]. Here though, we eschew such information, and seek universal wave dynamics assuming only ergodic ray statistics. We make no attempt to incorporate deterministic information from short times and instead merely assume a simple diffusion of incoherent rays as would describe stochastic particles. It is thus suggested that the appropriate prior for the E dependence in an ensemble of S matrices can be taken from a diffuse thermodynamic picture of ergodic ray dynamics akin to that of room acoustics or statistical energy analysis [12].
The following section reviews the standard picture [3] for the relation between S matrices, scattering channels, Green's functions and Hamiltonians. It is followed by a section introducing an approximate scattering matrix s(t) that is motivated by a semi-classical picture of rapidly mixing rays. It is next shown how that S matrix may be made unitary in a minimally invasive manner. These ideas are then implemented numerically, and the resulting S matrix and Green's function are found to exhibit mesoscopic features familiar from Gaussian ensembles of Hamiltonians.
2. Green's functions, effective Hamiltonians and the S matrix
Most discussions of RMT wave dynamics begin with a single quantum particle in a closed system governed by the Schrödinger equation
with an n × n Hermitian Hamiltonian matrix H with large n. It is associated with an n × n Green's function G(t) governed by
with Θ being the unit step function. In the frequency domain
As H is Hermitian, G(ω) is Hermitian except at resonances. (Tildes are dropped except as needed for emphasis.) If the system is time-reversal invariant, such that H is symmetric and real, so is G(ω) is symmetric, and real except at resonances. These equations may also be understood as describing a classical wave systemNote1 , as shown in the appendix. In RMT, we typically take H to be a member of the GOE or GUE.
Following others [2, 3] consider a set of m orthogonal functions Waa = 1, 2, ... m representing source and receiver channels. Define a scattering matrix
, an m × m matrix function of frequency (m
n) by
is called an effective Hamiltonian [2, 3] equal to the bare Hamiltonian H plus an anti-Hermitian operator
that represents losses into the channels. We define
to be the m × mmeasurable part of the Green's function
so-called because this is what we would measure (except for two trivial factors of the infinitesimal coupling strength) as an S matrix, were the fully open channels to be made infinitesimally open. It is this quantity which is directly measured in an ideal ultrasonic experiment [2], but only inferred in microwave and nuclear physics. It may be recognized as identical to the Wigner reaction matrix, though here we emphasize instead its connection to the Hamiltonian H. It is concluded that
and
That
is unitary
follows from the Hermiticity of H. More abstractly, and without reference to a Hamiltonian, it follows from conservation of probability. Both
and
have time-domain versions given by inverse Fourier transforming:
. For a classical wave system
is purely imaginary in the time domain (see appendix), and
is purely real. For a quantum system we generally expect
and
to be complex.
3. The statistical semi-classical S matrix
Kaplan [8] proposed to calculate
over short times by direct numerical simulation or by semiclassical ray methods, and where necessary extend
to later times by appropriate Gaussian statistical assumptions. Then
, or other quantities of interest, could be constructed by an iteration procedure equivalent to the summation in equation (8). To explore that idea here we simplify the problem and neglect all knowledge of short time non-universal behaviour so as to seek a universal dynamics. Diffuse field arguments, i.e., stochastic ray arguments, regarding the time-dependent transport of incoherent energy (probability in quantum mechanics) motivate a statistical semi-classical matrix s(t). It may be, but it is not explored here, that the same s(t) may be motivated by other arguments, without reference to rays. In the case of m = 1 channel in a single rapidly mixing system (figure 1), the diffuse field arguments call for an S matrix that is the function s(t) whose expected envelope is
the overbar representing a short time or ensemble average. Exponential recapture of probability is a consequence of a hypothesis of well mixed rays, in which a ray revisits the source where it is then recaptured with a constant probability. Each ray has an equal chance to be recaptured, independent of its history. Thermodynamic arguments for a classical diffuse field without mesoscopic considerations establish that σ may be no greater than 1/TH [13], and equals 1/TH only if the channel is fully open. A fully open channel [3] corresponds to 100% prompt transmission between channel and random structure. If the channel is not fully open, the recapture rate would be slower, σ would be smaller, and the process s(t) would have correlations related to multiple revisits to the source. By presuming fully open transmission we are better justified in neglecting correlations in s(t).
| Figure 1. A single open channel into and out of a single rapidly mixing structure. |
This semi-classical diffuse scattering matrix s(t) is, in the time domain, a real (we presume a classical wave system with a real field; see appendix for one way to cast a time-domain classical wave equation into Schrödinger form. Preliminary tests have concluded that assuming s complex leads to the same results) centred Gaussian process r(t) times the envelope 
where r is taken to have unit mean square and Gaussian correlations consistent with an assumed frequency band of interest. The assumed lack of long-range correlations within s(t) is consistent with the statistical semi-classical diffuse ray assumption. It is inconsistent with known mesoscopic wave phenomena, but if the channel is fully open such that rays can visit the detector at most once, we imagine that such correlations are minimal. This is especially true if there are many open channels, as most rays will be recaptured by a channel other than that of their source.
This construction lacks the unitarity that s ought to have, the unitarity that is needed before s can be incorporated successfully into the iteration (8). Thus the next section discusses how it may be repaired.
4. Unitarization
The above choice for s(t) is consistent with the diffuse ray assumption, but it is unlikely that its Fourier transform
will have unit modulus. A good choice for normalization of E(t) can make it unitary on average, but the condition
for all ω is in general not satisfied by the above construction. Thus we are led to seek a filter h(t) by which s can be rendered unitary, while leaving its time-domain envelope
as little disturbed as possible. In particular we require that the filter be causal, as
should remain zero for negative times.
The filter h is to be chosen such that
; i.e.
. This leaves the phase of h unspecified. The zero-phase choice, h(ω) = 1/|s(ω)|, is not causal and must be discarded. Causality in h implies that it can have no poles in the upper half ω plane. If it is to be minimum phase as well [14] it must have no zeros in the upper half plane. This condition corresponds to choosing h to be as compact as possible in time so as to distort E(t) as little as possible, and retain (as much as possible) the time-domain information explicit in s(t). Under this condition, h's logarithm is also causal, and obeys a Kramers–Kronig [14, 15] relation. We may write
where the unknown phase of the filter
is given by a Hilbert transform on log |s|. Equivalently and more explicitly, a(ω) is given by
While the modulus of the filter is determined locally
, the phase of the filter depends on
at distant frequencies. This recipe completely specifies the filter h; the resulting S = sh is unitary and causal by construction, and in a sense resembles s as much as is feasible.
5. Numerical implementation
This procedure has been implemented numerically using discrete Fourier transforms on a long, but finite, time interval. An N (equal to 218) element array of Gaussian white noise st (t = 1,2, ..., N) is generated by assigning a real centred Gaussian random number to each element of the array. It is multiplied by an envelope function
, with Heisenberg time TH equal to 5000 independent of frequency. An example of the resulting st is plotted in figure 2. The envelope has been normalized to
. The absolute value of its spectrum
is plotted in figure 3, where it may be seen that the random process is not unitary.
| Figure 2. A sample st, equal to a real white-noise Gaussian process times a decaying envelope, exp (–t/104). |
| Figure 3. The modulus of the spectrum of the signal of figure 2. By construction, its mean square is one. |
A complex filter hf (real in time domain ht) is then constructed by means of a discrete Fourier transform version of equation (13). Causality is a subtler issue for finite length arrays and discrete Fourier transforms than it is on an unbounded time domain and for the ordinary Fourier transform. A discrete Fourier transform pair is of the form
with integer t and f. The integer index f may be identified with frequency ω = 2π(f–1)/N.
The analogue of equation (13) is
where Θt is the analogue of the unit step function Θ(t) and is defined by
This choice for Θt permits us to establish
So that
is unitary:
.
This operation is implemented numerically and applied to the st as generated by the random number generator and the envelope
. The modulus
of the spectrum of the resulting process
was found to be unity to within a part in 107. Its real and imaginary parts, and its phase, are shown in figures 4 and 5. Figure 6 demonstrates the uniform distribution of the phase of
. Were the histogram to be taken from an ensemble of S matrices, such uniform phase would be an indication that the ensemble is invariant under unitary transformations, the prime requirement of ensembles of S at fixed frequency [10].
| Figure 4. The real and imaginary parts of the repaired 1 × 1 S matrix. |
| Figure 5. The phase of the repaired S matrix. |
| Figure 6. A histogram of the phase of the repaired S matrix. Each count is the number of discrete frequencies (out of a total of about 25 000) at which the phase is within the given bin. |
is shown in the time domain in figure 7, where it may be compared to the original signal st of figure 2. As desired,
has an envelope similar to that of st.
Figure 7. The repaired signal . |
Figures 8 and 9 compare the smoothed (over a time interval of 100) squared
to the smoothed squared s. We see that
has an initial value approximately twice that of s2, and an initial exponential decay rate twice that of s2. A factor of two is precisely the elastic enhancement (also called coherent backscatter or weak localization) effect for time-reversal invariant systems. This factor is predicted by RMT, and also by simple arguments about rays and their time-reversed images that apply even without RMT [16].
Figure 8. The smoothed, squared versus time (bold red line) and the smoothed squared original signal st (narrow black line). |
Figure 9. The data of figure 8 at short times. It may be noted that the repaired has twice the energy at early times, and twice the decay rate, of the original signal. We also note that the repaired reproduces many of the fluctuations of the original signal. |
The envelope of
has a longer tail than does the simpler st. Its intensity decays like a power law (figure 10) with an exponent close to the –5/2 it would take in the GOE case [2, 3, 17] and the –3 that it would take in the GUE case. The
generated here is compared to the integral form expressions for
as calculated by averaging over a Gaussian orthogonal ensemble of Hamiltonians (figure 10 solid curve) [3, 17]. There are small differences, especially at late times, but they may perhaps be ascribed to errors related to our use of a finite time interval.
is the inverse Fourier transform (with respect to Ω) of the ω averaged
, and so this plot also describes the frequency–frequency correlations in the repaired S.
| Figure 10. The data of figure 8 are plotted on a log–log scale. It may be seen that the exponent in the power law tail takes a value close to that predicted for GUE and GOE systems. The smooth solid curve is from an evaluation of the Verbaarschot, Weidenmuller and Zirnbauer (VWZ) integral [3] for the case of the GOE (courtesy T Gorin) with an assumed Heisenberg time of 5000, and a vertical shift for fit. |
It is striking that a simple and naive diffuse ray picture, as modified by the concepts of unitarity and minimum phase, imply an S matrix that agrees so well with predictions from the GOE, and in particular manifests both enhanced backscatter and power law tail.
We furthermore note that many of the detailed fluctuations in st2 are reproduced in
; thus the minimum phase repair of s has honored even minor features in the guessed dynamics. This is encouraging for the conjectured extension to st's which include some non-universal information, based perhaps on direct reactions or short-time direct numerical simulations.
We also examine features of the
consequent to our
, and compare them with those that are expected for random Hamiltonians. The associated Green's function
is given by the power series, equation (8). In the time domain, this corresponds to successive convolutions with
. In the frequency domain, it involves simple multiplication. Slightly simpler than summing the power series is to directly evaluate the ratio
.
. The presence of discrete frequencies at which
, can complicate evaluation of the ratio
. One method for coping with the complication is to multiply
by an artificial absorption
with a judiciously chosen value of η. A Fourier transform is then taken and a sub-unitary quantity
is obtained for the absorbing system. The ratio
, may be inverse Fourier transformed to reveal
in the time domain. The artificial absorption is then removed by multiplying
by
to construct the correct time-domain
. As we use discrete Fourier transforms here, there is a danger when multiplying frequency-domain functions of incurring `wrap-around'. Time domain elements
for t > N/2 can behave as if they correspond to negative times. Thus η must be chosen sufficiently large. On the other hand, too large an η may lead to numerical imprecision.
as constructed by the above procedure with η chosen at 10/N, is shown in figure 11. Figure 12 depresses the random character by squaring and smoothing and shows a remarkable evolution over times less than TH, in which the smoothed energy increases by a factor of about 3/2. That factor is a well-known property of random matrix systems, as the GOE enhanced backscatter factor of two at short times becomes three at times of the order of TH or greater [18]. (In the GUE, the quantum echo corresponds to a transition from an elastic enhancement of one at short times, to a late time value of two.) It is remarkable that a procedure based on such simple assumptions leads to the quantum echo, a phenomenon that is often considered a consequence of spectral rigidity [18].
Figure 11. The constructed function . |
Figure 12. The smoothed squared shows a quantum echo. |
The present procedure has made no reference to modes, but has nevertheless led to a spectrum, figure 14, with resonances. Mathematically it is no mystery; these resonances are merely those discrete and generic points where
. The inverse of the mean spacing between these resonances
, see the staircase function in figure 15) is close to the initially specified Heisenberg time TH = 5000. This also is no mystery, as the group delay (which corresponds to the rate at which the phase of sf advanced and thus the approximate rate at which
successively achieves a value of –1) of the random process is simply TH.
| Figure 13. The data of figure 12 show an unphysical growth at later times, probably indicating an imperfect action of the artificial decay η. |
Figure 14. The imaginary part of shows distinct resonances, at the frequencies where the phase of passes through an odd multiples of π. Side lobes, and resonance widths, are related to the time-windowing used on , a cosine bell tapering to zero for times greater than 217. |
Figure 15 shows what is commonly termed the `staircase function'. It shows that the levels (as determined from those points at which the phase of
is π) are distributed uniformly and with some degree of rigidity. The nearest neighbour level spacing histogram is shown in figure 17, where it may be seen that this statistic corresponds neither to the GOE nor to the GUE.
Figure 18 shows a histogram of the strengths of the resonances. These quantities would be, were the system a reverberant cavity, the squares of the mode amplitudes at the antenna. Were the reverberant cavity to be time-reversal invariant, we would expect GOE to apply and the modal amplitudes to be distributed as real Gaussian random variables. Were it to be the GUE that applied, the modes at the antenna would be complex Gaussian random variables, and the expected distribution of its absolute value squared would be that of the sum of the squares of two real Gaussian variables. It may be seen that the observed resonance strength distribution corresponds well to neither that of the GUE nor the GOE. Unfortunately
, and
are ill-suited for unambiguously determining the levels, because weak resonances are difficult to figures 15–18 are based on informal identification of the levels and are uncertain; some levels may have been missed, noise may have been erroneously identified as levels. We therefore do not attempt a detailed analysis of the observed eigen-statistics. While there are unmistakable differences between the level statistics seen here and those of the GOE and GUE, we nevertheless do observe level repulsion and spectral rigidity. It would perhaps be surprising if
did show perfect GOE or GUE statistics, as the weaker resonances are of little importance in
and
and so can be only weakly dictated by the considerations of unitarity and group delay that informed the present construction.
| Figure 15. The staircase function based on 2351 discernable resonances like those shown in figure 14. The average spacing is Δf = 0.5/2351 = 1/4701, for an apparent Heisenberg time of 4702, close to the originally specified 5000. |
| Figure 16. Close-up of staircase function, indicating some spectral rigidity. |
| Figure 17. The distribution of nearest-neighbour spacings between the discerned resonances shows weak level repulsion and an exponential tail. |
Figure 18. Distribution of the resonance strengths (the sum of over the vicinity of each resonance) are compared to the mode amplitude distributions in the GOE and GUE (normalized to the same observed mean square root of amplitude, 4.06). |
6. Summary
It is concluded that the single channel case reproduces many of the dynamical predictions of RMT. That it does so suggests that RMT dynamics follows from the simple constraint that the otherwise incoherent exponentially decaying S matrix must be unitary. It is surprising that such a simple constraint leads with such seeming accuracy to familiar mesoscopic probability flows. The repaired unitary S shows elastic enhanced backscatter, the quantum echo, the power law tail, and at least some of the level statistics of RMT. Reproducing the dynamical behaviours of RMT without reference to an internal Hamiltonian is of considerable interest [10, 19]. The 1 × 1 case treated here is, as discussed above, ill suited for fully dictating level statistics and it is therefore conjectured that the multi-channel case may lead to more precise correspondence with predictions based on RMT Hamiltonians [3, 17]. There are systems for which RMT does not apply, and for which non-universal mesoscopic predictions beyond those of RMT are needed. These include those with short time correlations (e.g. short periodic orbits), direct reactions, and those with substructures that mix only slowly. The initial model of purely incoherent decay used to motivate equation (9) could be modified to include such information. That the procedures used here may lend themselves to such generalization is exciting.
Acknowledgments
We thank Thomas Seligman, Lev Kaplan and Dmitri Savin (who noted that
is the Wigner reaction matrix) for stimulating discussions, also Thomas Gorin for providing the super-symmetry data used in figure 10. We also thank the CIC in Cuernavaca for support where some of this study was done. The project is supported by the NSF, through grant number CMS 05-28096 and by numerical resources on the IBM p-690 from the National Center for Supercomputing Applications.
Appendix
That a Schrödinger equation may represent a classical wave equation is not widely understood. While equivalence of their time-independent forms is well known [2], it is less obvious that they may be made to correspond in the time domain, One such a correspondence is provided here. Consider a classical field q(t), (we suppress indices representing components and spatial dependence) governed by the following differential equation:
where m and k are symmetric operators representing, in the elastodynamic case, inertia and stiffness respectively. The external source is f. A symmetric c would represent a dissipation operator, but in the present context it is taken as non dissipative skew-symmetric corresponding to time-reversal non-invariant gyroscopic forces. The positive definite inertia operator m may be eliminated by defining
and finding
We may henceforth assume m = I without loss of generality.
The classical wave Green's function is, in the frequency domain,
In the time-domain it is real.
These equations may be derived from a two component Schrödinger equation for complex fields ψ1and ψ2.
(A being real and skew, B being real and symmetric, H is Hermitian) which may be combined to derive a classical wave equation for ψ1
allowing us to identify A with –m–1/2c m–1/2, and B2 with m–1/2k m–1/2 and ψ1 with m–1/2q.
The Schrödinger Green's function is a 2 × 2 matrix of operators
The (11) element of this is i times the time derivative
of the classical wave Green's function. Thus by taking
, we find
We recall that
is real in the time domain, and conclude that all components of
are imaginary in the time domain. Thus all components of
(see equation (8)) are real in the time domain. This conclusion is independent of the presence or absence of time-reversal non-invariance.
References
Notes
Note1
Classical wave systems are, in their time-independent form, essentially identical to their quantum counterparts; one need only map the eigenvalues; their eigenfunctions are identical. In the time-domain, differences can be more problematic. For narrow-band processes at a central frequency Ω, the classical wave equation
with
and Ψ slowly varying, reduces to a Schrödinger equation,
. A more exact mapping is discussed in the appendix.
Richard L Weaver 2007 New J. Phys. 9 8
L Luo et al 2006 New J. Phys. 8 213
Tomaž Žagar et al 2005 New J. Phys. 7 253
E Ben-Naim et al 2007 J. Phys. A: Math. Theor. 40 F1021
Jun-ichi Nakashima et al. 2007 The Astronomical Journal 134 2035
Y. Y. Kovalev et al. 2005 The Astronomical Journal 130 2473
Alessandro Morbidelli and Harold F. Levison 2004 The Astronomical Journal 128 2564
Bo Chen et al 2006 New J. Phys. 8 274
Michael E. Ressler and Mary Barsony 2001 The Astronomical Journal 121 1098
Andrew A. West et al. 2006 The Astronomical Journal 132 2507