pith. sign in

arxiv: 2506.08242 · v5 · submitted 2025-06-09 · 🧮 math-ph · math.MP· math.PR

The Kirkwood closure point process: A solution of the Kirkwood-Salsburg equations for negative activities

Fabio Frommer This is my paper

Pith reviewed 2026-05-19 09:52 UTC · model grok-4.3

classification 🧮 math-ph math.MPmath.PR
keywords Kirkwood closurepoint processesKirkwood-Salsburg equationsGibbs point processespair potentialsstabilitynegative activitiescorrelation functions
0
0 comments X

The pith

The Kirkwood closure point process exists for any stable and regular pair potential.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that the Kirkwood superposition approximation yields the correlation functions of an actual point process whenever the pair potential satisfies stability and regularity. This removes the need for local stability or a small-density restriction that earlier proofs required. The result therefore supplies a solution to the Kirkwood-Salsburg equations at negative activities. When the potential is only locally stable the constructed process is additionally shown to be Gibbsian and its GNZ kernel obeys a Kirkwood-Salsburg-type integral equation.

Core claim

Stability and regularity of the pair potential u suffice to guarantee existence of the Kirkwood closure process. For locally stable u the process is Gibbs and the kernel of its GNZ equation satisfies a Kirkwood-Salsburg type equation.

What carries the argument

The Kirkwood closure process obtained by inserting the superposition formula for n-point correlations into the definition of a point process.

If this is right

  • The Kirkwood-Salsburg equations admit solutions at negative activities under the stated stability assumptions.
  • The superposition approximation defines a well-defined point process without small-density restrictions.
  • Local stability upgrades the process to a Gibbs point process whose kernel obeys a Kirkwood-Salsburg equation.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The result may allow systematic study of liquid-state approximations at densities where conventional expansions fail.
  • Similar closure constructions could be examined for other point-process models in statistical mechanics.
  • Numerical sampling of the closure process for concrete stable potentials would test practical utility.

Load-bearing premise

The pair potential must satisfy the stability and regularity conditions that control the existence and boundedness of the associated point process.

What would settle it

Explicit construction of a stable regular pair potential and density for which the resulting Kirkwood-superposition correlations violate the consistency or positivity requirements of any point process.

read the original abstract

The Kirkwood superposition is a well-known tool in statistical physics to approximate the $n$-point correlation functions for $n\geq 3$ in terms of the density $\rho $ and the radial distribution function $g$ of the underlying system. However, it is unclear whether these approximations are themselves the correlation functions of some point process. If they are, this process is called the Kirkwood closure process. For the case that $g$ is the negative exponential of some nonnegative and regular pair potential $u$ existence of the the Kirkwood closure process was proved by Ambartzumian and Sukiasian. This result was generalized to the case that $u$ is a locally stable and regular pair potential by Kuna, Lebowitz and Speer, provided that $\rho$ is sufficiently small. In this work, it is shown that it suffices for $u$ to be stable and regular to ensure the existence of the Kirkwood closure process. Furthermore, for locally stable $u$ it is proved that the Kirkwood closure process is Gibbs and that the kernel of the GNZ-equation satisfies a Kirkwood-Salsburg type equation.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The paper proves existence of the Kirkwood closure point process as a solution to the Kirkwood-Salsburg equations for negative activities when the pair potential u is stable and regular. It further shows that local stability of u implies the process is Gibbsian and that the kernel in the GNZ equation satisfies a Kirkwood-Salsburg-type equation. The argument relies on stability bounds to control cluster expansions, regularity for integrability of the integral operators, and a standard existence theorem for point processes from consistent correlation functions.

Significance. If the central claims hold, the result removes the small-density restriction present in Kuna-Lebowitz-Speer and extends Ambartzumian-Sukiasian by establishing existence under the weaker stable-regular assumption alone. The additional Gibbs property and GNZ-kernel analysis under local stability provide a concrete link to the theory of Gibbs point processes. The manuscript ships a parameter-free derivation grounded in standard tools (stability, regularity, GNZ equation) and invokes a convergent series representation for the correlation functions.

minor comments (2)
  1. [§3.2] §3.2: The statement that the series representation converges for all negative activities could be accompanied by an explicit radius-of-convergence estimate derived from the stability bound, even if it is not needed for the existence theorem.
  2. Notation: The symbol for the Kirkwood closure correlation functions is introduced without an immediate comparison table to the classical Kirkwood-Salsburg hierarchy; a short side-by-side display would aid readers familiar with the positive-activity case.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the accurate summary of the main results, and the recommendation to accept. We appreciate the recognition that the work removes the small-density restriction of Kuna-Lebowitz-Speer while extending Ambartzumian-Sukiasian under the stable-regular assumption alone.

Circularity Check

0 steps flagged

No significant circularity detected in derivation chain

full rationale

The paper establishes existence of the Kirkwood closure process for stable and regular pair potentials u by using the stability bound to control cluster expansions and obtain convergent series for correlation functions, with regularity ensuring integrability of the integral operators in the KS recursion. It then invokes a standard existence theorem for point processes from consistent correlation functions. For locally stable u, the Gibbs property and GNZ kernel satisfying a KS-type equation follow from the same controls plus prior definitions of GNZ and KS equations. No step reduces the central claim to a self-definition, fitted input renamed as prediction, or load-bearing self-citation chain; the argument remains independent and externally benchmarked against statistical physics results.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on standard definitions of stability and regularity for pair potentials together with background results on point processes and correlation functions from the cited literature.

axioms (1)
  • domain assumption The pair potential u is stable and regular (or locally stable for the Gibbs part).
    Invoked in the abstract as the sufficient condition that replaces the stricter local stability plus small density requirement of prior work.

pith-pipeline@v0.9.0 · 5736 in / 1152 out tokens · 29847 ms · 2026-05-19T09:52:49.039428+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. An inversion formula for the 2-body interaction given the correlation functions

    math-ph 2026-04 unverdicted novelty 6.0

    Proves that the pair potential in a classical gas can be recovered via a convergent expansion in all-order truncated correlation functions at infinite volume.

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages · cited by 1 Pith paper

  1. [1]

    Ambartzumian and H.S

    R.V. Ambartzumian and H.S. Sukiasian: Inclusion-exclusion and point processes, Acta Appl. Math. 22 (1991), pp. 15–31

    work page 1991

  2. [2]

    Hanke: Well-Posedness of the Iterative Boltzmann Inversion, J

    M. Hanke: Well-Posedness of the Iterative Boltzmann Inversion, J. Stat. Phys. 170 (2018), pp. 536–553

    work page 2018

  3. [3]

    Hansen and I.R

    J.-P. Hansen and I.R. McDonald: Theory of Simple Liquids, Fourth Ed., Academic Press, Oxford, (2013)

    work page 2013

  4. [4]

    Kirkwood and E.M

    J.G. Kirkwood and E.M. Boggs: The radial distribution function in liquids, J. Chem. Phys. 10 (1942), pp. 394–402

    work page 1942

  5. [5]

    Kuna: Studies in configuration space analysis and applications, PhD thesis, Rheinische Friedrich-Wilhelms-Universit¨ at Bonn (1999)

    T. Kuna: Studies in configuration space analysis and applications, PhD thesis, Rheinische Friedrich-Wilhelms-Universit¨ at Bonn (1999)

    work page 1999

  6. [6]

    Kuna, J.L

    T. Kuna, J.L. Lebowitz and E.R. Speer: Realizability of point processes, J. Stat. Phys. 129 (2007), pp. 417–439

    work page 2007

  7. [7]

    Lenard: States of classical statistical mechanical systems of infinitely many particles

    A. Lenard: States of classical statistical mechanical systems of infinitely many particles. II. Characterization of correlation measures, Arch. Rational Mech. Anal. 59 (1975), pp. 241–256. 17

    work page 1975

  8. [8]

    Moraal: The Kirkwood-Salsburg equation and the virial expansion for many-body potentials, Phys

    H. Moraal: The Kirkwood-Salsburg equation and the virial expansion for many-body potentials, Phys. Lett. A 59 (1976), pp. 9–10

    work page 1976

  9. [9]

    Ruelle: Statistical Mechanics: Rigorous Results, W.A

    D. Ruelle: Statistical Mechanics: Rigorous Results, W.A. Benjamin Publ., New York, (1969)

    work page 1969

  10. [10]

    Ruelle: Superstable interactions in classical statistical mechanics, Comm

    D. Ruelle: Superstable interactions in classical statistical mechanics, Comm. Math. Phys. 18 (1970), pp. 127–159

    work page 1970

  11. [11]

    Scott and A.D

    A.D. Scott and A.D. Sokal: On Dependency Graphs and the Lattice Gas, Comb. Probab. Comput. 15 (2006), pp. 253–279

    work page 2006

  12. [12]

    Skrypnik: On Gibbs quantum and classical particle systems with three-body forces, Ukr

    V.I. Skrypnik: On Gibbs quantum and classical particle systems with three-body forces, Ukr. Mat. J.58 (2006), pp. 976–996

    work page 2006

  13. [13]

    Skrypnik: Solutions of the Kirkwood-Salsburg equation for particles with finite-range nonpairwise repulsion, Ukr

    V.I. Skrypnik: Solutions of the Kirkwood-Salsburg equation for particles with finite-range nonpairwise repulsion, Ukr. Mat. J. 60 (2008), pp. 1329–1334. 18

    work page 2008