Integral partition bounds for fast and effective screening of general one-, two-, and many-electron integrals

We introduce tight upper bounds for a variety of integrals appearing in electronic structure theories. These include electronic interaction integrals involving any number of electrons and various integral kernels such as the ubiquitous electron repulsion integrals and the three- and four-electron integrals found in explicitly correlated methods. Our bounds are also applicable to the one-electron potential integrals that appear in great number in quantum mechanical (QM), mixed quantum and molecular mechanical (QM/MM), and semi-numerical methods. The bounds are based on a partitioning of the integration space into balls centered around electronic distributions and their complements. Such a partitioning leads directly to equations for rigorous extents, which we solve for shell pair distributions containing shells of Gaussian basis functions of arbitrary angular momentum. The extents are the first general rigorous formulation we are aware of, as previous definitions are based on the inverse distance operator 1/r₁₂ and typically only rigorous for simple spherical Gaussians. We test our bounds for six different integral kernels found throughout quantum chemistry, including exponential, Gaussian, and complementary error function based forms. We compare to previously developed estimates on the basis of significant integral counts and their usage in both explicitly correlated second-order Møller-Plesset theory (MP2-F12) and density functional theory calculations employing screened Hartree-Fock exchange.