-
Epstein zeta method for many-body lattice sums
Authors:
Andreas A. Buchheit,
Jonathan K. Busse
Abstract:
Many-body interactions arise naturally in the perturbative treatment of classical and quantum many-body systems and play a crucial role in the description of condensed matter systems. In the case of three-body interactions, the Axilrod-Teller-Muto (ATM) potential is highly relevant for the quantitative prediction of material properties. The computation of the resulting energies in d-dimensional la…
▽ More
Many-body interactions arise naturally in the perturbative treatment of classical and quantum many-body systems and play a crucial role in the description of condensed matter systems. In the case of three-body interactions, the Axilrod-Teller-Muto (ATM) potential is highly relevant for the quantitative prediction of material properties. The computation of the resulting energies in d-dimensional lattice systems is challenging, as a high-dimensional lattice sum needs to be evaluated to high precision. This work solves this long-standing issue. We present an efficiently computable representation of many-body lattice sums in terms of singular integrals over products of Epstein zeta functions. For three-body interactions in 3D, this approach reduces the runtime for computing the ATM lattice sum from weeks to minutes. Our approach further extends to a broad class of n-body lattice sums. We demonstrate that the computational cost of our method only increases linearly with n, evading the exponential increase in complexity of direct summation. The evaluation of 51-body interactions on a two-dimensional lattice, corresponding to a 100-dimensional sum, can be performed within seconds on a laptop. We discuss techniques for computing the arising singular integrals and compare the accuracy of our results against computable benchmarks, achieving full precision for exponents greater than the system dimension. Finally, we apply our method to study the stability of a three-dimensional lattice system with Lennard-Jones two-body interactions under the inclusion of an ATM three-body term at finite pressure, finding a transition from the face-centered-cubic to the body-centered-cubic lattice structure with increasing ATM coupling strength. This work establishes the mathematical foundation for an ongoing investigation into the influence of many-body interactions on the stability of matter.
△ Less
Submitted 16 April, 2025;
originally announced April 2025.
-
Exact lattice summations for Lennard-Jones potentials coupled to a three-body Axilrod-Teller-Muto term applied to cuboidal phase transitions
Authors:
Andres Robles-Navarro,
Shaun Cooper,
Andreas A. Buchheit,
Jonathan Busse,
Antony Burrows,
Odile Smits,
Peter Schwerdtfeger
Abstract:
This work provides a rigorous analysis of Bain-type cuboidal lattice transformations, which connect the face-centered cubic (fcc), mean-centered cubic (mcc), body-centered cubic (bcc) and axially centered cubic (acc) lattices. Our study incorporates a general $(n,m)$ Lennard-Jones two-body potential and a long-range repulsive Axilrod-Teller-Muto (ATM) three-body potential. The two-body lattice sum…
▽ More
This work provides a rigorous analysis of Bain-type cuboidal lattice transformations, which connect the face-centered cubic (fcc), mean-centered cubic (mcc), body-centered cubic (bcc) and axially centered cubic (acc) lattices. Our study incorporates a general $(n,m)$ Lennard-Jones two-body potential and a long-range repulsive Axilrod-Teller-Muto (ATM) three-body potential. The two-body lattice sums and their meromorphic continuations are evaluated to full precision using super-exponentially convergent series expansions. Furthermore, we introduce a novel approach to computing three-body lattice sums by converting the multi-dimensional sum into an integral involving products of Epstein zeta functions. This enables us to evaluate three-body lattice sums and their meromorphic continuations to machine precision within minutes on a standard laptop. Using our computational framework, we analyze the stability of cuboidal lattice phases relative to the close-packed fcc structure along a Bain transformation path for varying ATM coupling strengths. We analytically demonstrate that the ATM cohesive energy exhibits an extremum at the bcc phase and show numerically that it corresponds to a minimum for repulsive three-body forces along the Bain path. Our results indicate that strong repulsive three-body interactions can destabilize the fcc phase and render bcc energetically favorable for soft LJ potentials. However, even in this scenario, the bcc phase remains susceptible to further cuboidal distortions. These results suggest that the stability of the bcc phase is, besides vibrational, temperature, and pressure effects, strongly influenced by higher than two-body forces. Because of the wrong short-range behavior of the triple-dipole ATM model the LJ potential is limited to exponents $n>9$ for the repulsive wall, otherwise one observes distortion into a set of linear chains collapsing to the origin.
△ Less
Submitted 9 April, 2025;
originally announced April 2025.
-
Computation and properties of the Epstein zeta function with high-performance implementation in EpsteinLib
Authors:
Andreas A. Buchheit,
Jonathan Busse,
Ruben Gutendorf
Abstract:
The Epstein zeta function generalizes the Riemann zeta function to oscillatory lattice sums in higher dimensions. Beyond its numerous applications in pure mathematics, it has recently been identified as a key component in simulating exotic quantum materials. This work establishes the Epstein zeta function as a powerful tool in numerical analysis by rigorously investigating its analytical propertie…
▽ More
The Epstein zeta function generalizes the Riemann zeta function to oscillatory lattice sums in higher dimensions. Beyond its numerous applications in pure mathematics, it has recently been identified as a key component in simulating exotic quantum materials. This work establishes the Epstein zeta function as a powerful tool in numerical analysis by rigorously investigating its analytical properties and enabling its efficient computation. Specifically, we derive a compact and computationally efficient representation of the Epstein zeta function and thoroughly examine its analytical properties across all arguments. Furthermore, we introduce a superexponentially convergent algorithm, complete with error bounds, for computing the Epstein zeta function in arbitrary dimensions. We also show that the Epstein zeta function can be decomposed into a power law singularity and an analytic function in the first Brillouin zone. This decomposition facilitates the rapid evaluation of integrals involving the Epstein zeta function and allows for efficient precomputations through interpolation techniques. We present the first high-performance implementation of the Epstein zeta function and its regularisation for arbitrary real arguments in EpsteinLib, a C library with Python and Mathematica bindings, and rigorously benchmark its precision and performance against known formulas, achieving full precision across the entire parameter range. Finally, we apply our library to the computation of quantum dispersion relations of three-dimensional spin materials with long-range interactions and Casimir energies in multidimensional geometries, uncovering higher-order corrections to known asymptotic formulas for the arising forces.
△ Less
Submitted 20 December, 2024;
originally announced December 2024.
-
On the computation of lattice sums without translational invariance
Authors:
Andreas A. Buchheit,
Torsten Keßler,
Kirill Serkh
Abstract:
This paper introduces a new method for the efficient computation of oscillatory multidimensional lattice sums in geometries with boundaries. Such sums are ubiquitous in both pure and applied mathematics, and have immediate applications in condensed matter physics and topological quantum physics. The challenge in their evaluation results from the combination of singular long-range interactions with…
▽ More
This paper introduces a new method for the efficient computation of oscillatory multidimensional lattice sums in geometries with boundaries. Such sums are ubiquitous in both pure and applied mathematics, and have immediate applications in condensed matter physics and topological quantum physics. The challenge in their evaluation results from the combination of singular long-range interactions with the loss of translational invariance caused by the boundaries, rendering standard tools ineffective. Our work shows that these lattice sums can be generated from a generalization of the Riemann zeta function to multidimensional non-periodic lattice sums. We put forth a new representation of this zeta function together with a numerical algorithm that ensures exponential convergence across an extensive range of geometries. Notably, our method's runtime is influenced only by the complexity of the considered geometries and not by the number of particles, providing the foundation for efficient simulations of macroscopic condensed matter systems. We showcase the practical utility of our method by computing interaction energies in a three-dimensional crystal structure with $3\times 10^{23}$ particles. Our method's accuracy is demonstrated through extensive numerical experiments. A reference implementation is provided online along with this article.
△ Less
Submitted 6 March, 2024; v1 submitted 5 March, 2024;
originally announced March 2024.
-
Exact Continuum Representation of Long-range Interacting Systems and Emerging Exotic Phases in Unconventional Superconductors
Authors:
Andreas A. Buchheit,
Torsten Keßler,
Peter K. Schuhmacher,
Benedikt Fauseweh
Abstract:
Continuum limits are a powerful tool in the study of many-body systems, yet their validity is often unclear when long-range interactions are present. In this work, we rigorously address this issue and put forth an exact representation of long-range interacting lattices that separates the model into a term describing its continuous analog, the integral contribution, and a term that fully resolves t…
▽ More
Continuum limits are a powerful tool in the study of many-body systems, yet their validity is often unclear when long-range interactions are present. In this work, we rigorously address this issue and put forth an exact representation of long-range interacting lattices that separates the model into a term describing its continuous analog, the integral contribution, and a term that fully resolves the microstructure, the lattice contribution. For any system dimension, any lattice, any power-law interaction, and for linear, nonlinear, and multi-atomic lattices, we show that the lattice contribution can be described by a differential operator based on the multidimensional generalization of the Riemann zeta function, namely the Epstein zeta function. We employ our representation in Fourier space to solve the important problem of long-range interacting unconventional superconductors. We derive a generalized Bardeen--Cooper--Schrieffer gap equation and find emerging exotic phases in two-dimensional superconductors with topological phase transitions. Finally, we utilize non-equilibrium Higgs spectroscopy to analyze the impact of long-range interactions on the collective excitations of the condensate. We show that the interactions can be used to fine-tune the Higgs mode's stability, ranging from exponential decay of the oscillation amplitude up to complete stabilization.
△ Less
Submitted 30 January, 2023; v1 submitted 26 January, 2022;
originally announced January 2022.
-
Singular Euler-Maclaurin expansion
Authors:
Andreas A. Buchheit,
Torsten Keßler
Abstract:
We present the singular Euler--Maclaurin expansion, a new method for the efficient computation of large singular sums that appear in long-range interacting systems in condensed matter and quantum physics. In contrast to the traditional Euler--Maclaurin summation formula, the new method is applicable also to the product of a differentiable function and a singularity. For suitable non-singular funct…
▽ More
We present the singular Euler--Maclaurin expansion, a new method for the efficient computation of large singular sums that appear in long-range interacting systems in condensed matter and quantum physics. In contrast to the traditional Euler--Maclaurin summation formula, the new method is applicable also to the product of a differentiable function and a singularity. For suitable non-singular functions, we show that the approximation error decays exponentially in the expansion order and polynomially in the characteristic length scale of the non-singular function, where precise error estimates are provided. The sum is approximated by an integral plus a differential operator acting on the non-singular function factor only. The singularity furthermore is included in a generalisation of the Bernoulli polynomials that form the coefficients of the differential operator. We demonstrate the numerical performance of the singular Euler--Maclaurin expansion by applying it to the computation of the full non-linear long-range forces inside a macroscopic one-dimensional crystal with $2\times 10^{10}$ particles. A reference implementation in Mathematica is provided online.
△ Less
Submitted 20 April, 2021; v1 submitted 27 March, 2020;
originally announced March 2020.
