The pair correlation function

⇠ Back to Blog:Science
m (Created page with "{{quote|All radial distribution functions exhibit their first peak at X{{unicode|=}}1, decreasing monotonically to the first minimum, which is followed by oscillations ...")
 
(Discussion of the previous literature on a shape that is everywhere in condensed matter, not yet in quantum optics.)
Line 5: Line 5:
 
<center><wz tip="Me commenting on the shape we have been characterizing as describing perfect CW single-photon emission, in the workshop 'Physics in Wulfruna's Hampton', May 2023.">[[File:FxFdw08XsAMJxKo.jpeg|400px]]</wz></center>
 
<center><wz tip="Me commenting on the shape we have been characterizing as describing perfect CW single-photon emission, in the workshop 'Physics in Wulfruna's Hampton', May 2023.">[[File:FxFdw08XsAMJxKo.jpeg|400px]]</wz></center>
  
This shape turns out to be, in fact, well-known in condensed matter, physical chemistry and statistical physics. Here you see it from a [[1936]] paper for mercury and a macroscopic model of jelly balls suspended in oil  
+
This shape turns out to be, in fact, well-known in condensed matter, physical chemistry and statistical physics. Here you see it from a [[1936]] paper for mercury (top) and for a macroscopic model of jelly balls suspended in oil (bottom)
 
--more--
 
--more--
 
where it is also mentioned that similar curves are found with steel spheres and even seeds laid down onto a flat surface (if you have access to these papers,<ref>J. A. Prins, Naturwiss. 19,435 (1931).{{wanted}}</ref><ref>H. Menke, Physik. Zeits. 33, 593 (1932).{{wanted}}</ref> I'd be happy to see them):
 
where it is also mentioned that similar curves are found with steel spheres and even seeds laid down onto a flat surface (if you have access to these papers,<ref>J. A. Prins, Naturwiss. 19,435 (1931).{{wanted}}</ref><ref>H. Menke, Physik. Zeits. 33, 593 (1932).{{wanted}}</ref> I'd be happy to see them):
  
<center><wz tip="The pair correlation function of mercury (microscopic) and gelatine spheres (macroscopic).">[[File:Screenshot_20230712_165033.png|400px]]</wz></center>
+
<center><wz tip="The pair correlation function of A: mercury (microscopic) and B: gelatine spheres (macroscopic).">[[File:Screenshot_20230712_165033.png|400px]]</wz></center>
  
The pair-correlation function, also known as the '''radial distribution function''' is an important quantity that can determine the state of a condensed system (gaseous, liquid or solid) by measuring the amount of ordering of its components (e.g., molecules). It enters directly into important properties such as the relative density fluctuation of the fluid, that determines light scattering. In particular, it can be measured by the angular distribution of X-ray scattering, whose Fourier transform gives access to it.
+
The pair-correlation function, also known as the ''radial distribution function'' is an important quantity that can determine the state of a condensed system (gaseous, liquid or solid) by measuring the amount of ordering of its components (e.g., molecules). It enters directly into important properties such as the relative density fluctuation of the fluid, that determines light scattering. In particular, it can be measured through the angular distribution of X-ray scattering, whose Fourier transform gives access to it.
  
 
Here it is concisely defined by Kirkwood in one of his many papers on the subject:{{cite|kirkwood42a}}
 
Here it is concisely defined by Kirkwood in one of his many papers on the subject:{{cite|kirkwood42a}}
Line 19: Line 19:
 
[https://en.wikipedia.org/wiki/John_Gamble_Kirkwood Kirkwood (John Gamble)]—the K in the BBGKY hierarchy—was one of the authorities in the theory of liquids and a pioneer on the study of correlations in condensed systems. Although a chemist (he won a prize for producing a fiber 1/3 the thickness of silk), he was particularly proficient as a mathematical statistician. He was one of the recruits of [[Oppenheimer]] for his [[Los Alamos]] team—I don't think he will be [https://www.imdb.com/title/tt15398776/ in the movie]—and amongst those "lucky" to see the first detonation of the H bomb. He is also buried nearby Lars Onsager, so if you go to ever pay tribute to the latter, think of the physical chemist who provided one the earliest "mature" statistical treatment for molecular pair distribution functions, in a [[1935]], now classic text.{{cite|kirkwood35a}}  
 
[https://en.wikipedia.org/wiki/John_Gamble_Kirkwood Kirkwood (John Gamble)]—the K in the BBGKY hierarchy—was one of the authorities in the theory of liquids and a pioneer on the study of correlations in condensed systems. Although a chemist (he won a prize for producing a fiber 1/3 the thickness of silk), he was particularly proficient as a mathematical statistician. He was one of the recruits of [[Oppenheimer]] for his [[Los Alamos]] team—I don't think he will be [https://www.imdb.com/title/tt15398776/ in the movie]—and amongst those "lucky" to see the first detonation of the H bomb. He is also buried nearby Lars Onsager, so if you go to ever pay tribute to the latter, think of the physical chemist who provided one the earliest "mature" statistical treatment for molecular pair distribution functions, in a [[1935]], now classic text.{{cite|kirkwood35a}}  
  
Although the title of this seminal paper gives a focus on mixtures, his insights are more general and best illustrated with a homogeneous system. There he obtains the basic shape of the pair correlation function with a hard sphere model (cf.&nbsp;Section&nbsp;V) still with an attractive potential. The formalism and conceptual framework appear to be more important than the actual result itself, which is modest-looking for reasons that we will come back to:
+
Although the title of this seminal paper gives a focus on mixtures, his insights are more general and best illustrated with a homogeneous system. There he obtains the basic shape of the pair correlation function with a hard sphere model (cf.&nbsp;Section&nbsp;V) even including an attractive potential. The formalism and conceptual framework appear to be more important than the actual result itself, which is modest-looking even at the time, for reasons that we will come back to:
  
 
<center><wz tip="The pair correlation function as it was calculated in the mid-1930s. In these times, they were actually putting the tabulated points in the paper.">[[File:Screenshot_20230712_184159.png|400px]]</wz></center>
 
<center><wz tip="The pair correlation function as it was calculated in the mid-1930s. In these times, they were actually putting the tabulated points in the paper.">[[File:Screenshot_20230712_184159.png|400px]]</wz></center>
  
Here we see the most characteristic features of our function. It is interesting that Kirkwood states that «{{onlinequote|the attractive van der Waals forces play a dominant role in the production of the secondary maximum and minimum in the $G(r)$ of Fig. 1}}» (although there is only one minimum) and that «{{onlinequote|the distribution function in a fluid of rigid spheres with no attractive forces would exhibit a single maximum at $r&#x003D;b$}}. It seems he would later change his mind on the importance of the attractive force{{cite|kirkwood42a}}. He also predicts that using better approximations for the interaction term would produce more maxima and minima.
+
We see in this plot some unmistakable attributes of our shape for the perfect sinle-photon source, in particular the gap. It is interesting that Kirkwood states that «{{onlinequote|the attractive van der Waals forces play a dominant role in the production of the secondary maximum and minimum in the $G(r)$ of Fig. 1}}» (although there is only one minimum on the figure) and that «{{onlinequote|the distribution function in a fluid of rigid spheres with no attractive forces would exhibit a single maximum at $r&#x003D;b$}}. It seems he would later change his mind on the importance of the attractive force.{{cite|kirkwood42a}} He also predicts that using better approximations for the interaction term would produce more maxima and minima.
  
He would carry on such computations later and, as is typical of good fundamental research, evolve from more general and complex cases to simpler and toy-model ones, to arrive at increasingly eerily similar shapes than ours, with hard spheres in 3D. This is from a fairly early paper following his 1935 breakthrough, based on simple but very approximate analytical solutions:{{kirkwood39a}}
+
He would carry on with such computations and, as is typical of good fundamental research, evolve from more general and complex cases to simpler and toy-model ones, to arrive at increasingly eerily similar shapes to ours. This is from a fairly early paper following his 1935 breakthrough, based on simple but very approximate analytical solutions:{{kirkwood39a}}
  
 
<center><wz tagtotip=39compu>[[File:Screenshot_20230715_151926.png|400px]]</wz></center>
 
<center><wz tagtotip=39compu>[[File:Screenshot_20230715_151926.png|400px]]</wz></center>
Line 35: Line 35:
 
<span id="50compu">1950 computations from Ref.&nbsp;{{onlinecite|kirkwood50a}}, now very close in appearance to our gapped coherent source, but obtained as a result of hefty calculations.</span>
 
<span id="50compu">1950 computations from Ref.&nbsp;{{onlinecite|kirkwood50a}}, now very close in appearance to our gapped coherent source, but obtained as a result of hefty calculations.</span>
  
The integral equations solved {{onlinequote|with the use of International Business Machine equipment}}» are still very complex. In particular, they fail to produce a solution past a density, at which point the Authors conclude that this «{{onlinequote|evidently represents the limit of stability of a fluid phase of rigid spheres. For greater densities, a crystalline phase is the stable phase.}}» That brings them into fascinating discussions which I suppose have been resolved since then:
+
The integral equations solved «{{onlinequote|with the use of International Business Machine equipment}}» are still very complex. In particular, they fail to produce a solution past a density, at which point the Authors conclude that this «{{onlinequote|evidently represents the limit of stability of a fluid phase of rigid spheres. For greater densities, a crystalline phase is the stable phase.}}» That brings them into fascinating discussions which I suppose have been resolved since then:
  
 
<center><wz tip="What failure to compute their curve brings the Authors to.">[[File:Screenshot_20230712_194847.png|400px]]</wz></center>
 
<center><wz tip="What failure to compute their curve brings the Authors to.">[[File:Screenshot_20230712_194847.png|400px]]</wz></center>
Line 41: Line 41:
 
At any rate, the calculations and conceptual approaches so far are all very much based on thermodynamics and statistical physics, computing the Gibbs distribution of the work function. In this context, one is typically interested in the [http://www.sklogwiki.org/SklogWiki/index.php/Equations_of_state equation of state] of the system (i.e., the relation between macroscopic observables or
 
At any rate, the calculations and conceptual approaches so far are all very much based on thermodynamics and statistical physics, computing the Gibbs distribution of the work function. In this context, one is typically interested in the [http://www.sklogwiki.org/SklogWiki/index.php/Equations_of_state equation of state] of the system (i.e., the relation between macroscopic observables or
 
state variables of the system, such as pressure, volume and
 
state variables of the system, such as pressure, volume and
temperature). The point is that the pair correlation function happens to be a central object for such quantities. This is recognized and highlighted in another major paper in this field comes with Percus and Yevick{{cite|percus58a}}, who implement a sort of conceptual perturbation theory. Read this:
+
temperature). The point is that the pair correlation function happens to be a central object for such quantities. This is recognized and highlighted in another major paper in this field, by Percus and Yevick{{cite|percus58a}}, who implement a sort of conceptual perturbation theory. Read this:
  
<center><wz tip="Percus and Yevick putting perturbation theory on steroids. Do they catch your attention?">[[File:Screenshot_20230712_205350.png|400px]]</wz></center>
+
<center><wz tip="Percus and Yevick putting perturbation theory on steroids. Did they catch your attention?">[[File:Screenshot_20230712_205350.png|400px]]</wz></center>
  
Working with the interacting gas of point particles, they find that two-body correlation functions play a major role as, indeed, the solution to the N-body problem can ultimately be made to depend upon the two-body correlation, and since these correlations can be obtained from the solution, this results in a self-consistent equation (cf.&nbsp;Section II) known as the [https://en.wikipedia.org/wiki/Percus%E2%80%93Yevick_approximation Percus-Yevick equation]. Kirkwood relied on his so-called ''superposition approximation'' that factorizes 3-particle correlation functions in terms of 2-particle ones (Eq.&nbsp;(7) in Ref.&nbsp;{{onlinecite|kirkwood42a}}). Percus & Yevick through their independence of collective excitations could upgrade this approximation which became, and I believe, still remains one of the starting points in the theory of liquids. They considered also the gas of hard spheres (Section&nbsp;VIII) but to compute the virial coefficients, and left to others to turn to the pair correlation function.
+
Working with the interacting gas of point particles, they find that two-body correlation functions play a major role as, indeed, the solution to the $N$-body problem can ultimately be made to depend upon the two-body correlation, and since these correlations can be obtained from the solution, this results in a self-consistent equation (cf.&nbsp;Section II) known as the [https://en.wikipedia.org/wiki/Percus%E2%80%93Yevick_approximation Percus-Yevick equation]. Kirkwood relied on his so-called ''superposition approximation'' that factorizes 3-particle correlation functions in terms of 2-particle ones (Eq.&nbsp;(7) in Ref.&nbsp;{{onlinecite|kirkwood42a}}). Percus & Yevick through their independence of collective excitations could upgrade this approximation which became, and I believe, still remains one of the starting points in the theory of liquids. They considered also the gas of hard spheres (Section&nbsp;VIII) but to compute the virial coefficients, and left to others to turn to the pair correlation function.
  
This was done, in fact, solved exactly by Wertheim{{cite|wertheim63a}} and Thiele{{cite|thiele63a}} for the hard spheres. Their analytical solutions are not easy of access, though, and it is largely given in symbolic form, even for particular cases such as 1D with no other form of potential than that needed to define hard spheres, or, in this case, so-called "''hard rods''", something more famous under the qualification of a [https://en.wikipedia.org/wiki/Tonks%E2%80%93Girardeau_gas Tonks gas] (or Tonks-Girardeau for the quantum twist it was later given).
+
This was done, in fact, solved exactly by Wertheim{{cite|wertheim63a}} and Thiele{{cite|thiele63a}} for the hard spheres. Their analytical solutions are not easy of access, though, and it is largely given in symbolic form, even for particular cases such as 1D with no other form of potential than that needed to define hard spheres, or, in this 1D case, so-called "''hard rods''". This problem is more famous under the qualification of a [https://en.wikipedia.org/wiki/Tonks%E2%80%93Girardeau_gas Tonks gas] (or Tonks-Girardeau for the quantum twist it was later given).
  
The first clear and explicit formulation of the result I could find in this context and at about this time is from Sells ''et al.''{{cite|sells53a}} (so from Kirkwood's team), who solved it for hard spheres in a form that we can now fully relate to:
+
The first clear and explicit formulation of the result I could find in this context of 1D hard spheres with no other potential, and at about this time, is from Sells ''et al.''{{cite|sells53a}}, who solved it in a form that we can now fully relate to:
  
That is indeed our Eq.&nbsp;(4) from Ref.&nbsp;{{onlinecite|khalid_arXiv23a}}. So, through another route and to address a different problem, what we found out is the pair correlation function for 1D hard spheres (rods). This is not, in retrospect, surprising. What is more surprising, is that such connections were not established before, and that quantum opticians apparently did not feel the need till then to dive deeper into the nature, amount and structure of order in the photons emitted by a quantum source. If you try to do so, a large body of condensed-matter physics collapses right away onto your shoulders, suggesting that there is much to connect between these two fields.
+
<center><wz tip="Sells et al.'s solution, from the thermodynamic route.">[[File:Screenshot_20230715_214136.png|520px]]</wz></center>
  
Moreover, if you penetrate deeper into that big forest which is the scientific literature and follow the tree of citations, you eventually find out that not only these particular results have been indeed well-known for a long time and remain a backbone for current research, but in fact, that they also have been entertained and obtained much earlier still and following even more straightforward models. There is a great discussion in [[Frenkel]]'s [[1946]] [https://books.google.es/books/about/Kinetic_Theory_of_Liquids.html?id=ZPugnQAACAAJ&redir_esc=y Kinetic Theory of Liquids], in the Section «Dependence of the Structure of Liquids on the Free Volume». The basic picture of a 1D crystal exposed there is simple: pressure packs all the molecules, most simply described as hard spheres, together. As you increase the total length available, there is now free "volume" between the molecules, whose arrangements due to thermal motion describe melting into a liquid and ultimately into a gas. This is too simple by today's standard, but gives a reasonable first picture. Such an arragement can be computed by probalistic methods, namely, those used by [https://en.wikipedia.org/wiki/Smoluchowski_coagulation_equation Smoluchowski] to describe coagulation. A snapshot of Frenkel's calculation, actually starting with point-like spheres ("rods"), reads as follows:
+
Their solution is possible because the triplet distribution function (correlations involving three particles) is, in 1D, an exact function of the doublet distributions, so Kirkwood's superposition approximation becomes exact in this case. This reminds of properties of quantum correlators that we also find to be, at the $n$th-order, simple functions of the 1st order, allowing for closure and exact solutions. This is also the reason why, it seems, the probabilities can be obtained exactly when addressing this problem from its probabilistic angle, because the particles cannot swap positions, unlike in 2D where they can move around. Note that they have a more general equation than strict hard spheres, which could be of interest for our photons.
 +
 
 +
At any rate, for hard spheres, their Eq.&nbsp;(8) is indeed our Eq.&nbsp;(4) from Ref.&nbsp;{{onlinecite|khalid_arXiv23a}}. So, through another route and to address a different problem, what we found out is the pair correlation function for 1D hard spheres (rods). This is not, in retrospect, surprising. What is more surprising, is that such connections were not established before, and that quantum opticians apparently did not feel the need so far to dive deeper into the nature, amount and structure of order in the photons emitted by a quantum source. If you try to do so, a large body of condensed-matter physics collapses immediately onto your shoulders, suggesting that there is much to connect between these two fields.
 +
 
 +
Moreover, if you penetrate deeper into that big forest which is the scientific literature and follow the tree of citations, you eventually find out that not only these particular results have been indeed known for a long time and remain a backbone for current research, but in fact, that they also have been entertained and obtained much earlier still and following even more straightforward models. There is a great discussion in [[Frenkel]]'s [[1946]] [https://books.google.es/books/about/Kinetic_Theory_of_Liquids.html?id=ZPugnQAACAAJ&redir_esc=y Kinetic Theory of Liquids], in the Section "''Dependence of the Structure of Liquids on the Free Volume''". The basic picture of a 1D crystal exposed there is simple: pressure packs all the molecules, most simply described as hard spheres, together. As you increase the total length available, there is now free "volume" between the molecules, whose arrangements due to thermal motion describe melting into a liquid and ultimately into a gas. This is too simple by today's standard—and Kirkwood in particular criticized this picture very much—but it gives a reasonable initial picture. Such an arragement can be computed by probalistic methods, namely, those used by [https://en.wikipedia.org/wiki/Smoluchowski_coagulation_equation Smoluchowski to describe coagulation]. A snapshot of Frenkel's calculation, actually starting with point-like spheres ("dots"), reads as follows (p°126 of the 1946 edition):
  
 
<center><wz tip="An exercise in probability: how to distributes points on the line.">[[File:Screenshot_20230715_134722.png|560px]]</wz></center>
 
<center><wz tip="An exercise in probability: how to distributes points on the line.">[[File:Screenshot_20230715_134722.png|560px]]</wz></center>
  
He would then recover our result by later substitution in his configuration of a finite diameter for the spheres. In this discussion, Frenkel discusses a lot Kirkwood (it is interesting to read the latter's [https://www.science.org/doi/10.1126/science.106.2747.174.b review of the book] although it is nowhere [https://www.nature.com/articles/159317a0 as outspoken as that] from [https://en.wikipedia.org/wiki/Harold_Neville_Vazeille_Temperley Harold Neville Vazeille Temperley] who, slightly frustrated not to see the problem of turbulence solved, still concedes that «{{onlinequote|it is only right to mention that the book was written in Moscow in 1942, and has suffered delay in publication}}» or that «{{onlinequote|In spite of the War, the book is printed on very nice paper}}»). But Frenkel also refers prominently to a forgotten [[Dutch]] scientist, [https://www.wikidata.org/wiki/Q55924985 Jan Albert Prins] (who has not even a [[Wikipedia]] page), who apparently first provided the expression to compute diffracted intensities from molecular arrangements.{{cite|zerniker37a}}
+
He then recovers, two pages later, our result by substitution in his configuration of a finite diameter for the spheres:
 +
 
 +
<center><wz tip="Frenkel's solution, with some puzzling comments.">[[File:Screenshot_20230715_215642.png|560px]]</wz></center>
 +
 
 +
There, I am puzzled by the statements that $g(r)=1$ inside the sphere (should be zero) or the alleged disagreements with Prins who finds a maximum elsewhere.  
 +
 
 +
In this discussion, Frenkel discusses a lot Kirkwood (it is interesting to read the latter's [https://www.science.org/doi/10.1126/science.106.2747.174.b review of the book] although it is nowhere [https://www.nature.com/articles/159317a0 as outspoken as that] from [https://en.wikipedia.org/wiki/Harold_Neville_Vazeille_Temperley Harold Neville Vazeille Temperley] who, slightly frustrated not to see the problem of turbulence solved, still concedes that «{{onlinequote|it is only right to mention that the book was written in Moscow in 1942, and has suffered delay in publication}}» or that «{{onlinequote|In spite of the War, the book is printed on very nice paper}}»). But Frenkel also refers prominently to a forgotten [[Dutch]] scientist, [https://www.wikidata.org/wiki/Q55924985 Jan Albert Prins] (who has not even a [[Wikipedia]] page), who apparently first provided the expression to compute diffracted intensities from molecular arrangements.{{cite|zerniker37a}}
  
 
<center><wz tip="Jan Albert Prins, a pioneer of statistical condensed-matter physics and physical chemistry, who first derive a general formula to describe X-ray scattering from various phases, but whom posterity has apparently left aside.">[[File:Screenshot_20230715_143448.png|280px]]</wz></center>
 
<center><wz tip="Jan Albert Prins, a pioneer of statistical condensed-matter physics and physical chemistry, who first derive a general formula to describe X-ray scattering from various phases, but whom posterity has apparently left aside.">[[File:Screenshot_20230715_143448.png|280px]]</wz></center>
  
But even more importantly for our present discussion, in that very paper—and we are speaking of [[1927]]—Prins (Zernike and Prins, that is) actually also discuss the 1D gas of hard spheres, with no interactions, and although I couldn't get much of their text which is written in German, it is clear that the result was obtained  fully and much exploited as it was also used, so it seems, to establish the scattering-diffracted result mentioned above.
+
But even more importantly for our present discussion, in that very paper{{cite|zerniker37a}}—and we are speaking of [[1927]]—Prins (Zernike and Prins, that is) actually also discuss the 1D gas of hard spheres, with no interactions, and although I couldn't get much of their text which is written in German, it is clear that the result was obtained  fully and much exploited as it was also used, so it seems, to establish the scattering-diffracted result mentioned above.
  
<center><wz tip="The pair-correlation of Zernike and Prins: the first exact occurrence (Christmas 1926) of our case.">[[File:Screenshot_20230713_174121.png|360px]]</wz></center>
+
<center><wz tip="The pair-correlation of Zernike and Prins: the first exact occurrence (Christmas 1926) of our case.">[[File:Screenshot_20230713_174121.png|320px]]</wz></center>
  
 
The caption translates to "''Distribution function g(z) for one-dimensional molecules according to (3)''" and this is (3):
 
The caption translates to "''Distribution function g(z) for one-dimensional molecules according to (3)''" and this is (3):
  
<center><wz tip="J. A. Prins, a forgotten early pioneer of a theory of condensed-matter through correlation functions, and the one to derive (in 1927) our result for the two-photon correlations of an alleged perfect single-photon source.">[[File:Screenshot_20230713_175524.png|560px]]</wz></center>
+
<center><wz tip="Zernike and Prins' analytical solution. Sounds familiar? I am not sure why Frenkel would think his, above, to deviate from that.">[[File:Screenshot_20230713_175524.png|560px]]</wz></center>
  
Their method apparently is the one later reproduced by Frenkel in his book, based on probabilistic arguments of how to distribute N points in a line and taking a thermodynamic limit. In this sense, it is closer to our own approach which also relies on probabilities, but of photon-emission conditioned to the knowledge of an heralding event and without thermodynamic limit:
+
Their method apparently is the one later reproduced by Frenkel in his book, based on probabilistic arguments of how to distribute N points in a line and taking a thermodynamic limit. That makes the noted departure even more confusing. Maybe he is referring to still another text. Anyway, this is therefore closer to our own approach which also relies on probabilities, but of photon-emission conditioned to the knowledge of an heralding event and without taking a thermodynamic limit:
  
 
<center><wz tip="Our (Khalid & Laussy) derivation of the 'pair correlation function' as a sum of spontaneous emission for the n-th photon of the stream.">[[File:Screenshot_20230715_183558.png|400px]]</wz></center>
 
<center><wz tip="Our (Khalid & Laussy) derivation of the 'pair correlation function' as a sum of spontaneous emission for the n-th photon of the stream.">[[File:Screenshot_20230715_183558.png|400px]]</wz></center>
  
These calculations are in contrast from those of the later results from Kirkwood and friends, culminating with Wertheim and others, that rely on complex statistical integrals instead. It is remarkable that almost a decade earlier, Prins could get from his basic model much more insightful and complete structures, including full analytical solutions that he could graph with high precision, as compared to the more elaborate but approximate models from Kirkwood that, in comparison, appear like monstrous student-like reconstructions. I let you read how he describes the plotting process where he interpolates over discontinuities...
+
These calculations are in contrast from those of the later results from Kirkwood and friends, culminating with Wertheim and others, that rely on complex statistical integrals instead. It is remarkable that almost a decade earlier, Prins could get from his basic model much more insightful and complete structures, including full analytical solutions that he could graph with high precision, as compared to the more elaborate but approximate models from Kirkwood that, in comparison, appear like monstrous student-like reconstructions by hand. I let you read how he describes the plotting process where he interpolates over discontinuities...
  
Our description also hinges on the counter-intuitive nature of the phenomenon for photons, as bunching is being observed while one is removing photons (this can also happen for coincidences, as described in the text). In this respect, it is interesting that for the condensed-matter counterpart too, this has generated debates such as [https://physics.stackexchange.com/questions/75605/why-is-a-hard-sphere-gas-correlated why is a hard sphere gas correlated?]
+
Our description{{cite|khalid_arXiv23a}} also hinges on the counter-intuitive nature of the phenomenon for photons, as bunching is being observed while one is removing photons (this can also happen for coincidences, as described in the text). In this respect, it is interesting that for the condensed-matter counterpart too, this has generated debates such as [https://physics.stackexchange.com/questions/75605/why-is-a-hard-sphere-gas-correlated why is a hard sphere gas correlated?]
  
In conclusion, our mathematical expression has been long-time obtained through the extreme simplification of what models a liquid. This later evolved into much more sophisticated formalisms with the need to include important considerations for realistic condensed matter, starting with the dimensionality, temperature, details of the interactions, structures of the molecules, etc. An attractive potential is, for instance, also considered (think of Lennard-Jones potentials), which makes the pair-correlation function not zero inside the gap (cf. Eq.&nbsp;(15) in Ref.&nbsp;{{onlinecite|kirkwood42a}}). All these "sophistications" remain unnecessary for a photon stream, for which the main departure is that we are dealing with distribution in time rather than in space. This still brings forward interesting questions whether concepts and techniques (including results) of thermodynamic and statistical physics could shed light on photon correlations of increasingly complex types of quantum light. Could/should we speak of the entropy of the light produced by a quantum source? Should we worry about its equation of state and bring the Tonks-Girardeau physics into it? The gapped-coherent source that we introduced, with its rigid gap, remains highly idealized. The output of a dynamical system such as homodyned resonance fluorescence can resemble very much the pair-correlation function of a "more complicated variation" of the gapped coherent state, in quite the same way that 3D, interacting or even actual (experimental) pair correlation functions differ from the Zernike and Prins solution.
+
In conclusion, our mathematical expression has been long-time obtained through the extreme simplification of what models a liquid. This later evolved into much more sophisticated formalisms with the need to include important considerations for realistic condensed matter, starting with the dimensionality, temperature, details of the interactions, structures of the molecules, etc., to become a tenet of the theory of liquids. An attractive potential is, for instance, typically considered (think of Lennard-Jones potentials), which makes the pair-correlation function not zero inside the gap (cf. Eq.&nbsp;(15) in Ref.&nbsp;{{onlinecite|kirkwood42a}}). All these "sophistications" remain unnecessary for a photon stream, for which the main departure is that we are dealing with distribution in time rather than in space. This still brings forward interesting questions whether concepts and techniques (including results) of thermodynamic and statistical physics could shed light on photon correlations of increasingly complex types of quantum light. Could/should we speak of the entropy of the light produced by a quantum source? Should we worry about its equation of state and bring the Tonks-Girardeau physics into it? The gapped-coherent source that we introduced, with its rigid gap, remains highly idealized. The output of a dynamical system such as homodyned resonance fluorescence{{cite|lopezcarreno18b}} can resemble very much the pair-correlation function of a "more complicated variation" of the gapped coherent state, in quite the same way that 3D, interacting or even actual (experimental) pair correlation functions differ from the Zernike and Prins solution.
  
 
It is therefore possible that a fruitful and meaningful bridge has been established between photon correlations (quantum optics) and molecular arrangement (condensed matter). I will keep this in mind when revisiting known results, starting with [[Glauber]]'s definition of quantum coherence; did he ever refer to those very similar concepts to characterize and set apart gases, fluids and solids when he was himself characterizing and setting apart thermal, coherent and quantum light?
 
It is therefore possible that a fruitful and meaningful bridge has been established between photon correlations (quantum optics) and molecular arrangement (condensed matter). I will keep this in mind when revisiting known results, starting with [[Glauber]]'s definition of quantum coherence; did he ever refer to those very similar concepts to characterize and set apart gases, fluids and solids when he was himself characterizing and setting apart thermal, coherent and quantum light?
Line 89: Line 99:
  
 
<references />
 
<references />
 +
{{wl-publish: 2023-07-15 20:13:29 +0000 | Fabrice }}

Revision as of 20:13, 15 July 2023

All radial distribution functions exhibit their first peak at X=1, decreasing monotonically to the first minimum, which is followed by oscillations of diminishing amplitude resembling those of the experimentally determined radial distribution functions of real liquids.

My last paper[1] (to date) describes a particular shape in the correlation of photons which, we argue, is central to characterizing a perfect single-photon source.

FxFdw08XsAMJxKo.jpeg

This shape turns out to be, in fact, well-known in condensed matter, physical chemistry and statistical physics. Here you see it from a 1936 paper for mercury (top) and for a macroscopic model of jelly balls suspended in oil (bottom) where it is also mentioned that similar curves are found with steel spheres and even seeds laid down onto a flat surface (if you have access to these papers,[2][3] I'd be happy to see them):

Screenshot 20230712 165033.png

The pair-correlation function, also known as the radial distribution function is an important quantity that can determine the state of a condensed system (gaseous, liquid or solid) by measuring the amount of ordering of its components (e.g., molecules). It enters directly into important properties such as the relative density fluctuation of the fluid, that determines light scattering. In particular, it can be measured through the angular distribution of X-ray scattering, whose Fourier transform gives access to it.

Here it is concisely defined by Kirkwood in one of his many papers on the subject:[4]

Screenshot 20230712 141400.png

Kirkwood (John Gamble)—the K in the BBGKY hierarchy—was one of the authorities in the theory of liquids and a pioneer on the study of correlations in condensed systems. Although a chemist (he won a prize for producing a fiber 1/3 the thickness of silk), he was particularly proficient as a mathematical statistician. He was one of the recruits of Oppenheimer for his Los Alamos team—I don't think he will be in the movie—and amongst those "lucky" to see the first detonation of the H bomb. He is also buried nearby Lars Onsager, so if you go to ever pay tribute to the latter, think of the physical chemist who provided one the earliest "mature" statistical treatment for molecular pair distribution functions, in a 1935, now classic text.[5]

Although the title of this seminal paper gives a focus on mixtures, his insights are more general and best illustrated with a homogeneous system. There he obtains the basic shape of the pair correlation function with a hard sphere model (cf. Section V) even including an attractive potential. The formalism and conceptual framework appear to be more important than the actual result itself, which is modest-looking even at the time, for reasons that we will come back to:

Screenshot 20230712 184159.png

We see in this plot some unmistakable attributes of our shape for the perfect sinle-photon source, in particular the gap. It is interesting that Kirkwood states that «the attractive van der Waals forces play a dominant role in the production of the secondary maximum and minimum in the $G(r)$ of Fig. 1» (although there is only one minimum on the figure) and that «the distribution function in a fluid of rigid spheres with no attractive forces would exhibit a single maximum at $r=b$. It seems he would later change his mind on the importance of the attractive force.[4] He also predicts that using better approximations for the interaction term would produce more maxima and minima.

He would carry on with such computations and, as is typical of good fundamental research, evolve from more general and complex cases to simpler and toy-model ones, to arrive at increasingly eerily similar shapes to ours. This is from a fairly early paper following his 1935 breakthrough, based on simple but very approximate analytical solutions:Molecular Distribution in Liquids. J. G. Kirkwood in J. Chem. Phys. 7:919 (1939).

Screenshot 20230715 151926.png

1939 computations by Kirkwood from Ref. [6], a neat improvement on his 1935 'sketch' above.

This is from a later (1950) text where solutions are obtained numerically:

Screenshot 20230712 193927.png

1950 computations from Ref. [7], now very close in appearance to our gapped coherent source, but obtained as a result of hefty calculations.

The integral equations solved «with the use of International Business Machine equipment» are still very complex. In particular, they fail to produce a solution past a density, at which point the Authors conclude that this «evidently represents the limit of stability of a fluid phase of rigid spheres. For greater densities, a crystalline phase is the stable phase.» That brings them into fascinating discussions which I suppose have been resolved since then:

Screenshot 20230712 194847.png

At any rate, the calculations and conceptual approaches so far are all very much based on thermodynamics and statistical physics, computing the Gibbs distribution of the work function. In this context, one is typically interested in the equation of state of the system (i.e., the relation between macroscopic observables or state variables of the system, such as pressure, volume and temperature). The point is that the pair correlation function happens to be a central object for such quantities. This is recognized and highlighted in another major paper in this field, by Percus and Yevick[8], who implement a sort of conceptual perturbation theory. Read this:

Screenshot 20230712 205350.png

Working with the interacting gas of point particles, they find that two-body correlation functions play a major role as, indeed, the solution to the $N$-body problem can ultimately be made to depend upon the two-body correlation, and since these correlations can be obtained from the solution, this results in a self-consistent equation (cf. Section II) known as the Percus-Yevick equation. Kirkwood relied on his so-called superposition approximation that factorizes 3-particle correlation functions in terms of 2-particle ones (Eq. (7) in Ref. [4]). Percus & Yevick through their independence of collective excitations could upgrade this approximation which became, and I believe, still remains one of the starting points in the theory of liquids. They considered also the gas of hard spheres (Section VIII) but to compute the virial coefficients, and left to others to turn to the pair correlation function.

This was done, in fact, solved exactly by Wertheim[9] and Thiele[10] for the hard spheres. Their analytical solutions are not easy of access, though, and it is largely given in symbolic form, even for particular cases such as 1D with no other form of potential than that needed to define hard spheres, or, in this 1D case, so-called "hard rods". This problem is more famous under the qualification of a Tonks gas (or Tonks-Girardeau for the quantum twist it was later given).

The first clear and explicit formulation of the result I could find in this context of 1D hard spheres with no other potential, and at about this time, is from Sells et al.[11], who solved it in a form that we can now fully relate to:

Screenshot 20230715 214136.png

Their solution is possible because the triplet distribution function (correlations involving three particles) is, in 1D, an exact function of the doublet distributions, so Kirkwood's superposition approximation becomes exact in this case. This reminds of properties of quantum correlators that we also find to be, at the $n$th-order, simple functions of the 1st order, allowing for closure and exact solutions. This is also the reason why, it seems, the probabilities can be obtained exactly when addressing this problem from its probabilistic angle, because the particles cannot swap positions, unlike in 2D where they can move around. Note that they have a more general equation than strict hard spheres, which could be of interest for our photons.

At any rate, for hard spheres, their Eq. (8) is indeed our Eq. (4) from Ref. [1]. So, through another route and to address a different problem, what we found out is the pair correlation function for 1D hard spheres (rods). This is not, in retrospect, surprising. What is more surprising, is that such connections were not established before, and that quantum opticians apparently did not feel the need so far to dive deeper into the nature, amount and structure of order in the photons emitted by a quantum source. If you try to do so, a large body of condensed-matter physics collapses immediately onto your shoulders, suggesting that there is much to connect between these two fields.

Moreover, if you penetrate deeper into that big forest which is the scientific literature and follow the tree of citations, you eventually find out that not only these particular results have been indeed known for a long time and remain a backbone for current research, but in fact, that they also have been entertained and obtained much earlier still and following even more straightforward models. There is a great discussion in Frenkel's 1946 Kinetic Theory of Liquids, in the Section "Dependence of the Structure of Liquids on the Free Volume". The basic picture of a 1D crystal exposed there is simple: pressure packs all the molecules, most simply described as hard spheres, together. As you increase the total length available, there is now free "volume" between the molecules, whose arrangements due to thermal motion describe melting into a liquid and ultimately into a gas. This is too simple by today's standard—and Kirkwood in particular criticized this picture very much—but it gives a reasonable initial picture. Such an arragement can be computed by probalistic methods, namely, those used by Smoluchowski to describe coagulation. A snapshot of Frenkel's calculation, actually starting with point-like spheres ("dots"), reads as follows (p°126 of the 1946 edition):

Screenshot 20230715 134722.png

He then recovers, two pages later, our result by substitution in his configuration of a finite diameter for the spheres:

Screenshot 20230715 215642.png

There, I am puzzled by the statements that $g(r)=1$ inside the sphere (should be zero) or the alleged disagreements with Prins who finds a maximum elsewhere.

In this discussion, Frenkel discusses a lot Kirkwood (it is interesting to read the latter's review of the book although it is nowhere as outspoken as that from Harold Neville Vazeille Temperley who, slightly frustrated not to see the problem of turbulence solved, still concedes that «it is only right to mention that the book was written in Moscow in 1942, and has suffered delay in publication» or that «In spite of the War, the book is printed on very nice paper»). But Frenkel also refers prominently to a forgotten Dutch scientist, Jan Albert Prins (who has not even a Wikipedia page), who apparently first provided the expression to compute diffracted intensities from molecular arrangements.[12]

Screenshot 20230715 143448.png

But even more importantly for our present discussion, in that very paper[12]—and we are speaking of 1927—Prins (Zernike and Prins, that is) actually also discuss the 1D gas of hard spheres, with no interactions, and although I couldn't get much of their text which is written in German, it is clear that the result was obtained fully and much exploited as it was also used, so it seems, to establish the scattering-diffracted result mentioned above.

Screenshot 20230713 174121.png

The caption translates to "Distribution function g(z) for one-dimensional molecules according to (3)" and this is (3):

Screenshot 20230713 175524.png

Their method apparently is the one later reproduced by Frenkel in his book, based on probabilistic arguments of how to distribute N points in a line and taking a thermodynamic limit. That makes the noted departure even more confusing. Maybe he is referring to still another text. Anyway, this is therefore closer to our own approach which also relies on probabilities, but of photon-emission conditioned to the knowledge of an heralding event and without taking a thermodynamic limit:

Screenshot 20230715 183558.png

These calculations are in contrast from those of the later results from Kirkwood and friends, culminating with Wertheim and others, that rely on complex statistical integrals instead. It is remarkable that almost a decade earlier, Prins could get from his basic model much more insightful and complete structures, including full analytical solutions that he could graph with high precision, as compared to the more elaborate but approximate models from Kirkwood that, in comparison, appear like monstrous student-like reconstructions by hand. I let you read how he describes the plotting process where he interpolates over discontinuities...

Our description[1] also hinges on the counter-intuitive nature of the phenomenon for photons, as bunching is being observed while one is removing photons (this can also happen for coincidences, as described in the text). In this respect, it is interesting that for the condensed-matter counterpart too, this has generated debates such as why is a hard sphere gas correlated?

In conclusion, our mathematical expression has been long-time obtained through the extreme simplification of what models a liquid. This later evolved into much more sophisticated formalisms with the need to include important considerations for realistic condensed matter, starting with the dimensionality, temperature, details of the interactions, structures of the molecules, etc., to become a tenet of the theory of liquids. An attractive potential is, for instance, typically considered (think of Lennard-Jones potentials), which makes the pair-correlation function not zero inside the gap (cf. Eq. (15) in Ref. [4]). All these "sophistications" remain unnecessary for a photon stream, for which the main departure is that we are dealing with distribution in time rather than in space. This still brings forward interesting questions whether concepts and techniques (including results) of thermodynamic and statistical physics could shed light on photon correlations of increasingly complex types of quantum light. Could/should we speak of the entropy of the light produced by a quantum source? Should we worry about its equation of state and bring the Tonks-Girardeau physics into it? The gapped-coherent source that we introduced, with its rigid gap, remains highly idealized. The output of a dynamical system such as homodyned resonance fluorescence[13] can resemble very much the pair-correlation function of a "more complicated variation" of the gapped coherent state, in quite the same way that 3D, interacting or even actual (experimental) pair correlation functions differ from the Zernike and Prins solution.

It is therefore possible that a fruitful and meaningful bridge has been established between photon correlations (quantum optics) and molecular arrangement (condensed matter). I will keep this in mind when revisiting known results, starting with Glauber's definition of quantum coherence; did he ever refer to those very similar concepts to characterize and set apart gases, fluids and solids when he was himself characterizing and setting apart thermal, coherent and quantum light?

Links

References

  1. 1.0 1.1 1.2 Perfect single photon sources. S. Khalid and F. P. Laussy, arXiv:2306.13646 (2023). Now published as Perfect single-photon sources. S. Khalid and F. P. Laussy in Sci. Rep. 14:2684 (2024). Pdf-48px.png.
  2. J. A. Prins, Naturwiss. 19,435 (1931).Wanted.png
  3. H. Menke, Physik. Zeits. 33, 593 (1932).Wanted.png
  4. 4.0 4.1 4.2 4.3 The Radial Distribution Function in Liquids. J. G. Kirkwood and E. Monroe in J. Chem. Phys. 10:394 (1942).
  5. Statistical Mechanics of Fluid Mixtures. J. G. Kirkwood in J. Chem. Phys. 3:300 (1935).
  6. Molecular Distribution in Liquids. J. G. Kirkwood in J. Chem. Phys. 7:919 (1939).
  7. Radial Distribution Functions and the Equation of State of a Fluid Composed of Rigid Spherical Molecules. J. G. Kirkwood, E. K. Maun and B. J. Alder in J. Chem. Phys. 18:1040 (1950).
  8. Analysis of Classical Statistical Mechanics by Means of Collective Coordinates. J. K. Percus and G. J. Yevick in Phys. Rev. 110:1 (1958).
  9. Exact Solution of the Percus-Yevick Integral Equation for Hard Spheres. M. S. Wertheim in Phys. Rev. Lett. 10:321 (1963).
  10. Equation of State for Hard Spheres. E. Thiele in J. Chem. Phys. 39:474 (1963).
  11. The Pair Distribution Function for a One‐Dimensional Gas. R. L. Sells, C. W. Harris and E. Guth in J. Chem. Phys. 21:1422 (1953).
  12. 12.0 12.1 Template:Zerniker37a
  13. Joint subnatural-linewidth and single-photon emission from resonance fluorescence. J. C. López Carreño, E. Zubizarreta Casalengua, F.P. Laussy and E. del Valle in Quantum Sci. Technol. 3:045001 (2018).