An inversion formula for the 2-body interaction given the correlation functions
Pith reviewed 2026-05-10 09:58 UTC · model grok-4.3
The pith
The pair interaction of a classical gas can be recovered from its truncated correlation functions of all orders via a convergent expansion at infinite volume.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Given the truncated correlation functions of all orders for a classical gas, the pair interaction component of the potential admits a convergent expansion in terms of those same functions that remains valid in the infinite-volume limit.
What carries the argument
The inversion expansion of the pair potential, which assembles the two-body interaction from the entire hierarchy of truncated correlation functions and establishes convergence of the resulting series at infinite volume.
If this is right
- The two-body potential is uniquely recoverable from complete knowledge of all truncated correlations.
- The recovery formula remains valid after the thermodynamic limit is taken.
- Any classical gas whose correlations are fully characterized can have its pair interaction reconstructed by summing the series.
- The result supplies a rigorous justification for using correlation data to determine effective interactions in the infinite-volume setting.
Where Pith is reading between the lines
- Simulation outputs that yield truncated correlations could be post-processed to infer the effective pair potential without additional fitting.
- The formula offers a consistency check: given measured correlations, one can test whether they are compatible with an assumed pair potential by seeing if the inverted expression matches.
- Similar inversion strategies might apply to higher-body potentials or to lattice gases once the appropriate truncated functions are supplied.
Load-bearing premise
The truncated correlation functions of every order must exist and be known exactly, and the underlying potential must be such that the infinite-volume limit exists and the series remains controllable.
What would settle it
Take a solvable model such as hard spheres whose pair potential and truncated correlations are known independently, insert the correlations into the claimed expansion, and verify whether the output recovers the original potential without divergence; failure to recover it would refute the claim.
Figures
read the original abstract
Given a classical gas described by the truncated correlation functions of all orders, we prove convergence of an expansion of the pair interaction part of the (unknown) potential in terms of the truncated correlation functions of all orders, at infinite volume.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. Given a classical gas described by the truncated correlation functions of all orders, the paper proves convergence of an expansion of the pair interaction part of the (unknown) potential in terms of the truncated correlation functions of all orders, at infinite volume.
Significance. If the convergence holds, the result supplies a rigorous inversion formula recovering the two-body potential from the full hierarchy of truncated correlations in the thermodynamic limit. This addresses an inverse problem in classical statistical mechanics and could support reconstruction methods when correlation data are available. The explicit focus on infinite-volume convergence is a positive feature of the approach.
major comments (1)
- [Main convergence argument (proof of the inversion formula)] The central convergence claim (abstract and main theorem) requires a volume-independent majorant for the series terms built from the truncated correlations ρ_n^T of all orders. The manuscript assumes existence of the correlations in the infinite-volume limit but does not supply or cite the necessary uniform bounds (e.g., |ρ_n^T| ≤ C^n n! or equivalent growth control independent of volume) that would guarantee the series remains convergent after the limit is taken. This step is load-bearing for the stated result.
minor comments (2)
- [Introduction] Notation for the truncated correlations and the pair-potential expansion should be introduced with a single consistent set of symbols in the introduction rather than re-defined later.
- [Statement of main result] The statement of the main theorem would benefit from an explicit list of the technical assumptions (e.g., decay of correlations, regularity of the potential) placed immediately before the theorem.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and the positive assessment of its significance. We address the major comment below.
read point-by-point responses
-
Referee: The central convergence claim (abstract and main theorem) requires a volume-independent majorant for the series terms built from the truncated correlations ρ_n^T of all orders. The manuscript assumes existence of the correlations in the infinite-volume limit but does not supply or cite the necessary uniform bounds (e.g., |ρ_n^T| ≤ C^n n! or equivalent growth control independent of volume) that would guarantee the series remains convergent after the limit is taken. This step is load-bearing for the stated result.
Authors: We appreciate the referee's identification of this key technical point. The proof constructs the majorant series directly from the infinite-volume truncated correlations ρ_n^T, whose existence is assumed in the thermodynamic limit under the standard conditions on the pair potential (stability and temperedness). These conditions imply, via the convergence of the Mayer cluster expansion in infinite volume, that the truncated correlations obey the uniform bound |ρ_n^T| ≤ C^n n! with C independent of volume; this is a standard result in the literature (e.g., Ruelle's book on statistical mechanics and subsequent works on cluster expansions). The volume-independent majorant then follows immediately, allowing the series to converge after the limit. To make the argument fully explicit, we will insert a short clarifying paragraph before the main theorem citing this standard growth control and explaining its role in the majorant. We do not view this as requiring a new proof, but rather as improved exposition of an existing prerequisite. revision: partial
Circularity Check
No circularity: direct proof of convergence for inversion expansion
full rationale
The manuscript establishes a mathematical theorem proving convergence of a series expansion that recovers the pair potential from the full hierarchy of truncated correlation functions in the infinite-volume limit. This is a self-contained derivation under stated assumptions on existence and decay of the correlations; no step reduces a claimed prediction or uniqueness result to a fitted parameter, self-citation chain, or definitional tautology. The central claim is an existence-and-convergence statement whose validity rests on analytic estimates rather than on re-expressing the input data.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Existence and sufficient decay of truncated correlation functions of all orders for the classical gas
- domain assumption The infinite-volume limit exists and permits term-by-term control of the series
Reference graph
Works this paper leans on
-
[1]
V.A. Boluh and A. Rebenko An exponential representation for some integrals with respect to Lebesgue-Poisson measure Methods Funct. Anal. Topology 20 (2014), no. 2, pp. 186–192
work page 2014
-
[2]
J.T. Chayes and L. Chayes: On the validity of the inverse conjecture in classical density functional theory. J. Stat. Phys. 36, 471–488 (1984)
work page 1984
- [3]
-
[4]
D. Dereudre and T. Vasseur: Existence of Gibbs point processes with stable infinite range interaction, J. Appl. Prob. 57 (2020), pp. 775–791
work page 2020
-
[5]
M. Duneau and B. Souillard Cluster Properties of Lattice and Continuous Systems Commun. math. Phys. 47 (1976) pp. 155–166. 16
work page 1976
-
[6]
F. Frommer, M. Hanke, S. Jansen, A note on the uniqueness result for the inverse Henderson problem , J. Math. Phys., 60 (2019)
work page 2019
-
[7]
Frommer, An Inverse Cluster Expansion for the Chemical Potential , J
F. Frommer, An Inverse Cluster Expansion for the Chemical Potential , J. Stat. Phys., 191 (2024)
work page 2024
-
[8]
F. Frommer, The Kirkwood closure point process: A solution of the Kirkwood-Salsburg equations for negative activities , arXiv:2506.08242 (2025)
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[9]
G. Georgii, H.J. Yoo, Conditional Intensity and Gibbsianness of Determinantal Point Processes , J. Stat. Phys., 118 (2005)
work page 2005
-
[10]
M. Gottschalk Calculation of pair and triplet correlation functions for a Lennard-Jones fluid at ρ∗ ≤ 1.41 and T∗ ≤ 25 AIP Advances 11 (2021), 045026
work page 2021
-
[11]
M. Hanke, Well-Posedness of the Iterative Boltzmann Inversion, Journal of Statistical Physics, 170 (2018), pp. 536–553
work page 2018
-
[12]
L. Heinrich, On the strong Brillinger-mixing property of α-determinantal point processes and some applications , Appl. Math. 61 (2016) pp. 443–461
work page 2016
-
[13]
Jansen, Gibbsian point processes , Lecture notes (2018)
S. Jansen, Gibbsian point processes , Lecture notes (2018)
work page 2018
-
[14]
Koralov, An inverse problem for Gibbs fields with hard core potential , J
L. Koralov, An inverse problem for Gibbs fields with hard core potential , J. Math. Phys. 48, 053301 (2007)
work page 2007
-
[15]
T. Kuna, Studies in configuration space analysis and applications , PhD thesis, Rheinische Friedrich-Wilhelms-Universität Bonn (1999)
work page 1999
- [16]
-
[17]
A.P. Lyubartsev, and A. Laaksonen: Calculation of effective interaction potentials from radial distribution functions: A reverse Monte Carlo approach . Phys. Rev. E 52 (1995), pp. 3730–3737
work page 1995
-
[18]
A.P. Lyubartsev, and A. Laaksonen: On the Reduction of Molecular Degrees of Freedom in Computer Simulations . In Novel Methods in Soft Matter Simulations; Karttunen, M., Lukkarinen, A., Vattulainen, I., Eds.; Springer: Berlin, Germany, 2004; Volume 640, pp. 219–244
work page 2004
-
[19]
J. McCarty, A.J. Clark, I.Y. Lyubimov, and M.G. Guenva: Thermodynamic Consistency between Analytic Integral Equa- tion Theory and Coarse-Grained Molecular Dynamics Simulations of Homopolymer Melts . Macromolecules 45 (2012), pp. 8482–8493
work page 2012
-
[20]
L. Monticelli, L., and E. Salonen (eds.): Biomolecular Simulations. Methods and Protocols. Springer, New York (2013)
work page 2013
- [21]
-
[22]
F. Müller-Plathe: Coarse-Graining in Polymer Simulation: From the Atomistic to the Mesoscopic Scale and Back . ChemPhysChem 3 (2002), pp. 754–769
work page 2002
-
[23]
R.E. Nettleton, M.S. Green Expression in Terms of Molecular Distribution Functions for the Entropy Density in an Infinite System. J. Chem. Phys. 29 (1957)
work page 1957
-
[24]
X. X. Nguyen and H. Zessin, Integral and Differential Characterizations of the Gibbs Process . Math. Nachr. 88 (1979), pp. 105–115. J. Phys. Chem. B 111 (2007), pp. 4116–4127
work page 1979
-
[25]
: Systematic methods for structurally consistent coarse-grained models
Noid, W.G. : Systematic methods for structurally consistent coarse-grained models . In [ 20], pp. 487–531 (2013)
work page 2013
-
[26]
C. Peter and K. Kremer: Multiscale simulation of soft matter systems - from the atomistic to the coarse-grained level and back. Soft Matter 5 (2009), pp. 4357–4366
work page 2009
-
[27]
A. Procacci and S. Yuhjtman Convergence of Mayer and virial expansions and the Penrose tree-graph identity. Lett. Math. Phys. 107 (2017), pp. 31–46
work page 2017
-
[28]
D. Reith, and M. Pütz, and F. Mueller-Plathe: Deriving effective mesoscale potentials from atomistic simulations . J. Comput. Chem. 24 (2003), pp. 1624–1636
work page 2003
-
[29]
Ruelle, Statistical Mechanics: Rigorous Results , W.A
D. Ruelle, Statistical Mechanics: Rigorous Results , W.A. Benjamin Publ., New York, 1969
work page 1969
-
[30]
, Superstable interactions in classical statistical mechanics , Comm. Math. Phys., 18 (1970), pp. 127–159
work page 1970
-
[31]
Soshnikov, Determinantal random point fields
A. Soshnikov, Determinantal random point fields . Russian Math. Surveys, 55 (2000), pp. 923–975
work page 2000
-
[32]
Stell, Cluster expansion for classical systems in equilibrium
G. Stell, Cluster expansion for classical systems in equilibrium . In: Frisch, H., Lebowitz, J. (eds.) Classical Fluids. Benjamin, New York (1964)
work page 1964
-
[33]
D. Stoyan, and H. Stoyan, Fractals, Random Shapes and Point Fields: Methods of Geometrical Statistics John Wiley & Sons 1994 (1994)
work page 1994
-
[34]
A. Tsourtis, and V. Harmandaris, and D. Tsagkarogiannis: Parameterization of Coarse-Grained Molecular Interactions through Potential of Mean Force Calculations and Cluster Expansion Techniques . Entropy 19 (2017):395. 17
work page 2017
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.