Correlation functions of harmonic lattices in d-dimensional space
Pith reviewed 2026-05-16 21:01 UTC · model grok-4.3
The pith
Correlation functions of harmonic lattices in d dimensions are given by Lauricella hypergeometric series at the thermodynamic limit.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We show that at the thermodynamic limit, the correlation functions between the dynamical variables and between their conjugate momenta at sites of a harmonic lattice in the d-dimensional Euclidean space can be expressed in terms of Lauricella's C-type hypergeometric series. Using these expressions, we explicitly demonstrate that the correlators near the center of the lattice satisfying Dirichlet boundary conditions coincide with those for the lattice with the periodic boundary conditions.
What carries the argument
Lauricella's C-type hypergeometric series, which provide a multi-variable generalization of the hypergeometric function to capture the lattice sums in d dimensions.
If this is right
- Programs can compute quantum information quantities such as entanglement measures for lattice subsystems with greater speed and precision.
- Boundary condition independence near the lattice center becomes provable for any dimension d.
- Exact expressions replace numerical summation over the entire lattice for large systems.
- Analysis of correlations extends straightforwardly from one dimension to higher dimensions without new approximations.
Where Pith is reading between the lines
- These closed forms could serve as benchmarks for Monte Carlo simulations of anharmonic lattices.
- The coincidence of correlators suggests a bulk universality that might extend to other observables or to continuous field theory limits.
- Implementation in symbolic software would allow rapid evaluation for arbitrary site separations and dimensions.
Load-bearing premise
The system must remain strictly harmonic with a quadratic Hamiltonian, and the thermodynamic limit must be taken so that boundary effects are negligible away from the edges.
What would settle it
Direct numerical evaluation of the lattice correlation sums for a large finite system in, say, d=2, compared against the proposed hypergeometric series expression at interior points.
read the original abstract
We study the correlation functions between the dynamical variables and between their conjugate momenta at sites of a harmonic lattice in the $d$-dimensional Euclidean space. We show that at the thermodynamic limit, they can be expressed in terms of Lauricella's C-type hypergeometric series. Furthermore, using these expressions, we explicitly demonstrate that the correlators near the center of the lattice satisfying Diriclet boundary conditions coincide with those for the lattice with the periodic boundary conditions. By utilizing these expressions, we expect to make it easier to create programs that compute fast and highly precise for the quantum information quantities of subsystems within lattices.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies correlation functions of dynamical variables and conjugate momenta on d-dimensional harmonic lattices. It claims that in the thermodynamic limit these correlators admit closed-form expressions in terms of Lauricella C-type hypergeometric series, and that the expressions imply equivalence between Dirichlet and periodic boundary conditions for sites near the lattice center.
Significance. If the identifications are rigorously established, the hypergeometric representations would supply parameter-free analytic tools for computing entanglement and other quantum-information quantities on harmonic lattices, extending beyond numerical summation or low-dimensional special cases.
major comments (2)
- [Abstract] Abstract: the central claim that the lattice sums equal Lauricella C-series is asserted without any derivation, radius-of-convergence estimate, or explicit verification against the known d=1 closed form; the thermodynamic-limit identification is therefore load-bearing yet unshown.
- [Abstract] Abstract: no analysis is supplied of the polydisk of convergence for the series whose arguments are set by the lattice dispersion 1/ω(k)^2; without this, it is unclear whether the formal series reproduces the real-valued correlators or requires analytic continuation whose branch structure could alter the physics.
minor comments (1)
- [Abstract] Abstract: 'Diriclet' is a typographical error for 'Dirichlet'.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and for the constructive comments. We address each major point below and have revised the manuscript to strengthen the presentation of the thermodynamic-limit identification and the domain of the hypergeometric series.
read point-by-point responses
-
Referee: [Abstract] Abstract: the central claim that the lattice sums equal Lauricella C-series is asserted without any derivation, radius-of-convergence estimate, or explicit verification against the known d=1 closed form; the thermodynamic-limit identification is therefore load-bearing yet unshown.
Authors: The abstract is necessarily concise, but the full derivation of the thermodynamic-limit mapping from the discrete mode sum to the Lauricella C-series integral representation is given in Sections 3 and 4. We have now added an explicit verification subsection (new Section 5.1) that reduces the d-dimensional expression to the known d=1 closed form involving the complete elliptic integral of the first kind, confirming numerical agreement to machine precision for several lattice spacings. The radius-of-convergence discussion has also been incorporated there. revision: yes
-
Referee: [Abstract] Abstract: no analysis is supplied of the polydisk of convergence for the series whose arguments are set by the lattice dispersion 1/ω(k)^2; without this, it is unclear whether the formal series reproduces the real-valued correlators or requires analytic continuation whose branch structure could alter the physics.
Authors: We agree that an explicit convergence analysis strengthens the result. In the revised manuscript we have added a dedicated paragraph (Section 5.2) showing that the arguments z_j = 1/ω(k_j)^2 lie strictly inside the polydisk of absolute convergence of the Lauricella C-series for all physical wave-vectors in the Brillouin zone. Because all terms are positive and the series sums to the manifestly real and positive lattice correlator, no analytic continuation is required and branch-cut issues do not arise in the physical regime. revision: yes
Circularity Check
Derivation proceeds via direct mode summation to Lauricella series with no self-referential reduction
full rationale
The central result is obtained by expressing the lattice correlators as a sum (or Brillouin-zone integral) over harmonic modes 1/ω(k)^2 exp(ik·r) and identifying the closed form with Lauricella's C-series. This identification is a mathematical rewriting of the defining sum, not a fit of parameters to the target quantity, nor a definition that presupposes the series. The subsequent demonstration that Dirichlet and periodic correlators coincide near the lattice center follows algebraically from the same closed-form expressions once the thermodynamic limit is taken. No load-bearing step relies on a self-citation whose content is itself unverified or on an ansatz smuggled from prior work; the derivation remains self-contained under the stated quadratic Hamiltonian and thermodynamic-limit assumptions.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The potential is strictly quadratic (harmonic approximation).
- domain assumption The thermodynamic limit exists and permits mode summation that converges to the hypergeometric series.
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
the correlation functions ... are both expressed by the same type of hypergeometric series ... Lauricella’s C-type hypergeometric series F_C^{(d)}
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
for spatial dimensions d>=2 ... convergence condition ... d-a-1/2
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.
Reference graph
Works this paper leans on
- [1]
-
[2]
Cristiano De Nobili, Andre Coser and Erik Tonni,Journal of Statistical Mechan- ics: Theory and Experiment (2016) 083102, DOI 10.1088/1742-5468/2016/08/083102, arXiv:1604.02609
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1088/1742-5468/2016/08/083102 2016
-
[3]
Andre Coser, Cristiano De Nobili and Erik Tonni, Journal of Physics A: Mathematical and Theoretical (2017) 50 314001, DOI 10.1088/1751-8121/aa7902, arXiv:1701.08427
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1088/1751-8121/aa7902 2017
- [4]
-
[5]
Raimundas Vid¯ unus, J.math. Anal. Appl.355(2009) 145-163 8
work page 2009
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.