Random point sets and their diffraction

Random point sets and their diffraction

Michael Baake and Holger Kösters Fakultät für Mathematik, Universität Bielefeld, Postfach 100131, 33501 Bielefeld, Germany
Abstract.

The diffraction of various random subsets of the integer lattice , such as the coin tossing and related systems, are well understood. Here, we go one important step beyond and consider random point sets in . We present several systems with an effective stochastic interaction that still allow for explicit calculations of the autocorrelation and the diffraction measure. We concentrate on one-dimensional examples for illustrative purposes, and briefly indicate possible generalisations to higher dimensions.

In particular, we discuss the stationary Poisson process in and the renewal process on the line. The latter permits a unified approach to a rather large class of one-dimensional structures, including random tilings. Moreover, we present some stationary point processes that are derived from the classical random matrix ensembles as introduced in the pioneering work of Dyson and Ginibre. Their re-consideration from the diffraction point of view improves the intuition on systems with randomness and mixed spectra.

1. Introduction

Mathematical diffraction theory is an abstraction of kinematic diffraction [10] that is both mathematically rich and practically relevant. Its insight helps to explore the true setting and difficulty of the inverse problem of structure determination from (kinematic) diffraction data; compare [3, 5, 16] and references therein. Moreover, mathematical diffraction theory has several important connections with the theory of dynamical systems [6, 7, 8, 9].

While this is well studied in the classic case of crystals and, more generally, pure point diffractive systems, much less is known about structures with continuous (or mixed) diffraction spectra. The Thue-Morse chain is a well-known example with singular continuous diffraction, but mixed dynamical spectrum; see [4, 17, 26] for more. Recently, some progress has also been made for point sets of stochastic origin; see [2] and references therein for a survey.

Nevertheless, the collection of fully worked out and understood examples is relatively meagre in comparison with the situation of pure point diffractive systems. Here, we summarise two important and versatile examples from [2] and augment them with two examples from the theory of random matrices. The latter essentially derive from old papers by Dyson [12] and Ginibre [15], which were later re-analysed by Mehta [21], though the results seem unknown in diffraction theory.

Let us briefly recall the setting of mathematical diffraction theory; see [18, 2] and references therein for more. The underlying structure is modelled by an essentially translation bounded measure , which may be signed or even complex; see [22] for background on measure theory. The corresponding autocorrelation measure , or autocorrelation for short, is defined as a volume-weighted limit,

(1)

where denotes the restriction of to the (open) ball of radius around the origin. Moreover, is the ‘flipped-over’ measure defined by for arbitrary continuous functions of compact support, with . We implicitly use the Riesz-Markov representation theorem that allows us to identify regular Borel measures with linear functionals on the space of continuous functions with compact support. In general, the limit in (1) need not exist, but we will only consider situations where it does, at least almost surely in the probabilistic sense.

By construction, is a positive definite measure, hence it is always Fourier transformable. Here, we follow the convention of [2], with the factor in the exponent (via ) rather than in front of the integral. The result is the diffraction , which is a positive measure (by the Bochner-Schwartz theorem [22]) that describes, loosely speaking, how much intensity is scattered into any given volume of space; see [10, 18] for more. The diffraction measure has a unique decomposition

(2)

into its pure point part (which is a countable sum of Dirac measures, known as Bragg peaks), its absolutely continuous part (which comprises everything that can be expressed by a locally integrable density relative to Lebesgue measure, known as diffuse scattering) and its singular continuous part (which is everything that remains, and is often disregarded in crystallography – but see [28]).

The focus of this paper is on systems with structural disorder, which means that we will see either purely absolutely continuous spectra or mixtures thereof with pure point spectra. We begin with a review of the Poisson process and the renewal process, where we follow [2] and adapt it to the concrete setting of crystallography. Then, we consider some point processes that can be extracted from random matrix theory and give rise to further examples that are explicitly computable.

2. Poisson process

The homogeneous Poisson process in is an ergodic point process that is often considered as a model for an ideal gas. If denotes its (point) density, the process is characterised [13, 14, 2] by the two requirements that the number of points in a (measurable) set is Poisson distributed with parameter , where is Lebesgue measure, and that the number of points in sets are independent random variables, for any collection of pairwise disjoint, measurable subsets of . The Poisson process is a model for an ideal gas of pointlike particles.

Let us consider such a process, with density . Due to ergodicity, almost every realisation of it possesses a natural autocorrelation, and the latter can be calculated via the Palm measure of the process [2, Thm. 3]. The result reads

(3)

where is the normalised Dirac measure at . With and , one obtains

(4)

which is the diffraction measure. We skip the proof, but mention that, in one dimension, the result can easily be derived from the renewal theorem discussed in Section 3, with an exponential waiting time distribution [2]. Apart from the trivial point measure at , the diffraction measure is absolutely continuous.

An interesting modification emerges from a marked Poisson process, where each point of a given realisation randomly gets the weight or with equal probability. This leads to the following modification of Eqs. (3) and (4).

Theorem 1.

Consider a typical realisation of the homogeneous Poisson process of density in , which is a simple point set . Let be a random Dirac comb where constitutes an i.i.d. family of random variables that take the values and with equal probability. Then, the corresponding autocorrelation and diffraction measures almost surely read

Proof.

This is the situation of the random weight model of [2, Ex. 7], applied to a stationary Poisson process, which is an ergodic and simple point process. The result now follows from [2, Thm. 4 and Cor. 1] by a small calculation. ∎

When the density is , this is one of many examples with diffraction measure , which include the coin tossing sequence on the integer lattice and the Rudin-Shapiro sequence [17, 5], but also various dynamical systems of algebraic origin [9] such as Ledrappier’s shift on . This provides ample evidence that the inverse problem of structure determination becomes significantly more involved in the presence of diffuse scattering.

One limitation of the Poisson process for applications in physics is the missing uniform discreteness. This can be overcome by an additional hard-core condition, as in the classic Matérn process; see [24] and references therein for a formulation that matches our setting. Here, a realisation of a homogeneous Poisson process is randomly marked and then thinned out on the basis of a pairwise comparison up to a certain distance. This leads to a modified point set that is uniformly discrete (meaning that the minimum distance between any two points is a positive number). Despite this modification, autocorrelation and diffraction can still be calculated explicitly; see [2, 20] and references therein for more.

3. Renewal process

The situation of random point sets is significantly simpler in one dimension, because a large class of processes can be characterised constructively as a renewal process. Here, one starts from a probability measure on (the positive real line) and considers a machine that moves at constant speed along the real line and drops points on the line with a waiting time that is distributed according to . Whenever this happens, the internal clock is reset and the process resumes. Let us (for simplicity) assume that both the velocity of the machine and the expectation value of are , so that we end up with realisations that are, almost surely, point sets in of density (after we let the starting point of the machine move to ).

Clearly, the process just described defines a stationary process. It can thus be analysed by considering all realisations which contain the point . Moreover, there is a clear (distributional) symmetry around this point, so that we can determine the autocorrelation (in the sense of (1)) of almost all realisations from studying what happens to the right of . Indeed, if we want to know the frequency per unit length of the occurrence of two points at distance (or the corresponding density), we need to sum the contributions that is the first point after , the second point, the third, and so on. In other words, we almost surely obtain the autocorrelation

(5)

with and as defined above, where the proper convergence of the sum of iterated convolutions follows from [2, Lemma 4]. Note that the point measure at simply reflects that the almost sure density of the resulting point set is . Indeed, is a translation bounded positive measure, and satisfies the renewal relations (see [14, Ch. XI.9] or [2, Prop. 1] for a proof)

(6)

where is a uniformly continuous and bounded function on . Note that the second equation emerges from the first by Fourier transform, but has been rearranged to indicate why the set will become important below. In this setting, the measure of (5) is both positive and positive definite.

Based on the structure of the support of the underlying probability measure , one can now formulate the following result for the diffraction of the renewal process.

Theorem 2.

Let be a probability measure on with mean , and assume that a moment of of order exists for some . Then, the point sets obtained from the stationary renewal process based on almost surely have a diffraction measure of the form

where is a locally integrable function on that is continuous except for at most countably many points. It is given by

Moreover, the pure point part is given by

Proof.

The process has a well-defined autocorrelation as outlined above and given in Eq. (5). Due to the ergodicity of the process, this means that almost every realisation of the process is a simple point set with this autocorrelation. Since is positive definite, it is Fourier transformable, with being a positive measure on .

The point measure at (which is always present) reflects the fact that the resulting point set almost surely has density ; see [2, Thm. 1] and its proof for a detailed argument. The functional form of can be calculated from the second renewal relation in (6) whenever one has . Its local integrability everywhere is a consequence of the assumed moment condition, by an application of [25, Thm. 1.5.4].

The distinction via the nature of takes care of the set , which is either or countable. The result now follows from [2, Lemma 5 and Thm. 1] together with Remark 3 of the same paper. ∎

The renewal process is a versatile method to produce point sets on the line. These include random tilings with finitely many intervals (which are Delone sets) as well as the homogeneous Poisson process on the line (where is the exponential distribution with mean ); see [2, Sec. 3] for explicit examples and applications.

4. Random matrix ensembles and random point sets on the line

The global eigenvalue distribution of random orthogonal, unitary or symplectic matrix ensembles is known to asymptotically follow the classic semi-circle law. More precisely, this law describes the eigenvalue distribution of the underlying ensembles of symmetric, Hermitian and symplectic matrices with Gaussian distributed entries. The corresponding random matrix ensembles are called GOE, GUE and GSE, with attached -parameters , and , respectively. They permit an interpretation as a Coulomb gas, where is the power in the central potential; see [1, 21] for general background and [12] for the results that are relevant to our point of view.

For matrices of dimension , the semi-circle has radius and area . Note that, in comparison to [21], we have rescaled the density by a factor here, so that we really have a semi-circle, and not a semi-ellipse. To study the local eigenvalue distribution with our application in mind, we rescale the central region (between , say) by . This leads, in the limit as , to a new ensemble of point sets on the line that can be interpreted as a stationary, ergodic point process of intensity ; for , see [1, Ch. 4.2] or [23] and references therein for details. Since the process is simple (meaning that, almost surely, no point is occupied twice), almost all realisations are point sets of density .

It is possible to calculate the autocorrelation of these processes, on the basis of Dyson’s correlation functions [12]. Though the latter originally apply to the circular ensembles, they have been adapted to the other ensembles by Mehta [21]. For all three ensembles mentioned above, this leads to an autocorrelation of the form

(7)

where is a locally integrable function that depends on . Defining , one obtains (with )

(8)

The diffraction measure is the Fourier transform of , which has also been calculated in [12, 21]. Observing and , the result is always of the form

(9)

where . The Radon-Nikodym density for reads

(10)

where . The result for is simpler and reads

(11)

while leads to

(12)

Figure 1 illustrates the three cases. To summarise:

Figure 1. Absolutely continuous part of the autocorrelation (left) and the diffraction (right) for the three point set ensembles on the line, with . On the left, the oscillatory behaviour increases with . On the right, corresponds to the piecewise linear function with bends at and , while shows a locally integrable singularity at . The latter reflects the slowly decaying oscillations on the left.
Theorem 3.

The eigenvalues of the Dyson random matrix ensembles for , in the scaling of the local region around as used above, almost surely give rise to point sets of density , with autocorrelation and diffraction measures as specified in Eqs. (7) and (9).

Note that is smooth at , but has integrable singularities at . The latter are a consequence of the stronger oscillatory behaviour of the function at integer values, as was already noticed in [12]. When extrapolating to other values of (in particular to ), this is the onset of another Bragg peak.

It is well-known that the circular random matrix ensembles (COE, CUE, CSE) asymptotically give rise to the same local correlations [12, 21], and hence to the same autocorrelation and diffraction (after appropriate rescaling).

5. Random matrix ensembles and random point sets in the plane

The above examples were derived from matrix ensembles with real eigenvalues, and thus lead to point processes in . There is also one ensemble, due to Ginibre [15] (see also [21]), of general complex matrices with Gaussian distributed entries that will give rise to a stationary point process in . Again, this emerges (by proper rescaling) from the eigenvalues (now seen as elements of the plane), which approach uniform distribution in a circle of radius (and hence area ) as .

As before, the system can be interpreted as a Coulomb gas, with a potential parameter . Other matrix ensembles permit this interpretation, too, but do not seem to correspond to interesting stationary processes, wherefore we stick to Ginibre’s example here.

Following the original approach of [15], the limit leads to a stationary and ergodic, simple point process of intensity , so that almost every realisation is a point set in the plane of density . Using complex variables , the -point correlation function is of determinantal form,

(13)

see [15] or [21] for a derivation. Note that, despite using complex coordinates here, the expression is calculated relative to the volume element of real coordinates (hence relative to Lebesgue measure, as in [21]). The result is translation invariant and only depends on the distance between the two points.

As a consequence, the autocorrelation of a realisation almost surely reads

(14)

which is radially symmetric, with as above. By a standard calculation, the Fourier transform of results in

(15)

so that we obtain a self-dual pair of measures under Fourier transform (as in the Poisson process of density ). The radial dependence is illustrated in Figure 2.

Figure 2. Radial dependence of the absolutely continuous part both of the autocorrelation and the diffraction measure for the planar point set ensemble, as derived from Ginibre’s matrix ensemble.
Theorem 4.

The Ginibre complex random matrix ensemble, in the scaling used above, almost surely results in point sets of density , with autocorrelation (14) and diffraction (15).

6. Summary and Outlook

In this short communication, we have discussed several explicit examples of stochastic point sets with explicitly computable autocorrelation and diffraction measures. The viewpoint of point process theory provides a universal platform to do so, though our examples above also admit a direct approach. It would be interesting to extend this to a family of processes, with as parameter in the spirit of [11, 27, 19], which then interpolates between the Poisson process of density () and the integer lattice (which is approached as ).

An interesting question concerns the connection with dynamical systems theory, in particular the general relation between diffraction and dynamical spectra. Recent progress suggests that such a connection might indeed exist, although it will certainly be more involved than in the pure point diffractive case.

One fundamental shortcoming so far is the lack of understanding and explicit examples for randomness with interaction. A first step in that direction needs the inclusion of Gibbs measures for equilibrium states, though it is not clear at the moment to what extent one can derive explicit examples (such as the classic and well-known Ising lattice gas).

Acknowledgements

MB would like to thank P. Forrester and O. Zeitouni for discussions on the Coulomb gas and the random matrix ensembles. This work was supported by the German Research Council (DFG), within the CRC 701.

References

  • [1] G.W. Anderson, A. Guionnet and O. Zeitouni, An Introduction to Random Matrices, Cambridge University Press, Cambridge (2010).
  • [2] M. Baake, M. Birkner and R.V. Moody, Diffraction of stochastic point sets: Explicitly computable examples, Commun. Math. Phys. 293 (2010) 611–660; arXiv:0803.1266.
  • [3] M. Baake and U. Grimm, Homometric model sets and window covariograms, Z. Krist. 222 (2007) pp. 54–58; arXiv:math.MG/0610411.
  • [4] M. Baake and U. Grimm, The singular continuous diffraction measure of the Thue-Morse chain, J. Phys. A: Math. Theor. 41 (2008) 422001 (6pp); arXiv:0809.0580.
  • [5] M. Baake and U. Grimm, Kinematic diffraction is insufficient to distinguish order from disorder, Phys. Rev. B 79 (2009) 020203(R) and 80 (2009) 029903(E); arXiv:0810.5750.
  • [6] M. Baake and D. Lenz, Dynamical systems on translation bounded measures: Pure point dynamical and diffraction spectra, Ergodic Th. & Dynam. Syst. 24 (2004) 1867–1893; arXiv:math.DS/0302231.
  • [7] M. Baake and D. Lenz, Deformation of Delone dynamical systems and topological conjugacy, J. Fourier Anal. Appl. 11 (2005) 125–150; arXiv:math.DS/0404155.
  • [8] M. Baake, D. Lenz and R.V. Moody, Characterization of model sets by dynamical systems, Ergodic Th. & Dynam. Syst. 27 (2007) 341–382; arXiv:math.DS/0511648.
  • [9] M. Baake and T. Ward, Planar dynamical systems with pure Lebesgue diffraction spectrum, J. Stat. Phys. 140 (2010) 90–102; arXiv:1003.1536.
  • [10] J.M. Cowley, Diffraction Physics, 3rd edition, North-Holland, Amsterdam (1995).
  • [11] I. Dumitriu and A. Edelman, Matrix models for beta ensembles, J. Math. Phys. 43 (2002) 5830–5847; arXiv:math-ph/0206043.
  • [12] F. Dyson, Statistical theory of the energy levels of complex systems. III, J. Math. Phys. 3 (1962) 166–175.
  • [13] W. Feller, An Introduction to Probability Theory and Its Applications, vol. I, 3rd ed. (rev. printing), Wiley, New York (1968).
  • [14] W. Feller, An Introduction to Probability Theory and Its Applications, vol. II, 2nd ed., Wiley, New York (1971).
  • [15] J. Ginibre, Statistical ensembles of complex, quaternion, and real matrices, J. Math. Phys. 6 (1965) 440–449.
  • [16] U. Grimm and M. Baake, Homometric point sets and inverse problems, Z. Krist. 223 (2008) 777–781; arXiv:0808.0094.
  • [17] M. Höffe and M. Baake, Surprises in diffuse scattering, Z. Krist. 215 (2000) 441–444;
    arXiv:math-ph/0004022.
  • [18] A. Hof, On diffraction by aperiodic structures, Commun. Math. Phys. 169 (1995) 25–43.
  • [19] R. Killip and M. Stoiciu, Eigenvalue statistics for CMV matrices: from Poisson to clock via random matrix ensembles. Duke Math. J. 146 (2009) 361–399; arXiv:math-ph/0608002.
  • [20] K. Matzutt, Diffraction of Point Sets with Structural Disorder, PhD thesis, Univ. Bielefeld (2010).
  • [21] M.L. Mehta, Random Matrices, 3rd ed., Elsevier, Amsterdam (2004).
  • [22] M. Reed and B. Simon, Methods of Modern Mathematical Physics I: Functional Analysis, 2nd ed., Academic Press, San Diego (1980).
  • [23] A. Soshnikov, Determinantal random point fields, Russian Math. Surveys 55 (2000) 923–975;
    arXiv:math.PR/0002099.
  • [24] D. Stoyan and H. Stoyan, On one of Matérn’s hard-core point process models, Math. Nachr. 122 (1985) 205–214.
  • [25] N.G. Ushakov, Selected Topics in Characteristic Functions, Brill Academic Publishers, Utrecht (1999).
  • [26] A.C.D. van Enter and J. Miȩkisz, How should one define a (weak) crystal? J. Stat. Phys. 66 (1992) 1147–1153.
  • [27] B. Valkó and B. Virág (2009), Continuum limits of random matrices and the Brownian carousel, Invent. Math. 177 (2009) 463–508; arXiv:0712.2000.
  • [28] R.L. Withers, Disorder, structured diffuse scattering and the transmission electron microscope, Z. Krist. 220 (2005) 1027–1034.
Comments 0
Request Comment
You are adding the first comment!
How to quickly get a good reply:
  • Give credit where it’s due by listing out the positive aspects of a paper before getting into which changes should be made.
  • Be specific in your critique, and provide supporting evidence with appropriate references to substantiate general statements.
  • Your comment should inspire ideas to flow and help the author improves the paper.

The better we are at sharing our knowledge with each other, the faster we move forward.
""
The feedback must be of minimum 40 characters and the title a minimum of 5 characters
   
Add comment
Cancel
Loading ...
70021
This is a comment super asjknd jkasnjk adsnkj
Upvote
Downvote
""
The feedback must be of minumum 40 characters
The feedback must be of minumum 40 characters
Submit
Cancel

You are asking your first question!
How to quickly get a good answer:
  • Keep your question short and to the point
  • Check for grammar or spelling errors.
  • Phrase it like a question
Test
Test description