-
An "ultimate" coupled cluster method based entirely on $T_2$
Authors:
Zachary W. Windom,
Ajith Perera,
Rodney J. Bartlett
Abstract:
Electronic structure methods built around double-electron excitations have a rich history in quantum chemistry. However, it seems to be the case that such methods are only suitable in particular situations and are not naturally equipped to simultaneously handle the variety of electron correlations that might be present in chemical systems. To this end, the current work seeks a computationally effi…
▽ More
Electronic structure methods built around double-electron excitations have a rich history in quantum chemistry. However, it seems to be the case that such methods are only suitable in particular situations and are not naturally equipped to simultaneously handle the variety of electron correlations that might be present in chemical systems. To this end, the current work seeks a computationally efficient, low-rank, "ultimate" coupled cluster method based exclusively on $T_2$ and its products which can effectively emulate more "complete" methods that explicitly consider higher-rank, $T_{2m}$ operators. We introduce a hierarchy of methods designed to systematically account for higher, even order cluster operators - like $T_4, T_6, \cdots, T_{2m}$ - by invoking tenets of the factorization theorem of perturbation theory and expectation-value coupled cluster theory. It is shown that each member within this methodological hierarchy is defined such that both the wavefunction and energy are correct through some order in many-body perturbation theory (MBPT), and can be extended up to arbitrarily high orders in $T_2$. The efficacy of such approximations are determined by studying the potential energy surface of several prototypical systems that are chosen to represent both non-dynamic, static, and dynamic correlation regimes. We find that the proposed hierarchy of augmented $T_2$ methods essentially reduce to standard CCD for problems where dynamic electron correlations dominate, but offer improvements in situations where non-dynamic and static correlations become relevant. A notable highlight of this work is that the cheapest methods in this hierarchy - which are correct through fifth-order in MBPT - consistently emulate the behavior of the $\mathcal{O}(N^{10})$ CCDQ method, yet only require a $\mathcal{O}(N^{6})$ algorithm by virtue of factorized intermediates.
△ Less
Submitted 11 July, 2024;
originally announced July 2024.
-
Factorized Quadruples and a Predictor of Higher-Level Correlation in Thermochemistry
Authors:
James H. Thorpe,
Zachary W. Windom,
Rodney J. Bartlett,
Devin A. Matthews
Abstract:
Coupled cluster theory has had a momentous impact on the ab initio prediction of molecular properties, and remains a staple ingratiate in high-accuracy thermochemical model chemistries. However, these methods require inclusion of at least some connected quadruple excitations, which generally scale at best as $\mathcal{O}(N^9)$ with the number of basis functions. It very difficult to predict, a pri…
▽ More
Coupled cluster theory has had a momentous impact on the ab initio prediction of molecular properties, and remains a staple ingratiate in high-accuracy thermochemical model chemistries. However, these methods require inclusion of at least some connected quadruple excitations, which generally scale at best as $\mathcal{O}(N^9)$ with the number of basis functions. It very difficult to predict, a priori, the effect correlation past CCSD(T) has on a give reaction energies. The purpose of this work is to examine cost-effective quadruple corrections based on the factorization theorem of many-body perturbation theory that may address these challenges. We show that the $\mathcal{O}(N^7)$, factorized CCSD(TQ${}_\text{f}$) method introduces minimal error to predicted correlation and reaction energies as compared to the $\mathcal{O}(N^9)$ CCSD(TQ). Further, we examine the performance of Goodson's continued fraction method in the estimation of CCSDT(Q)${}_Λ$ contributions to reaction energies, as well as a "new" method related to %TAE[(T)] that we refer to as a scaled perturbation estimator. We find that the scaled perturbation estimator based upon CCSD(TQ${}_\text{f}$)/cc-pVDZ is capable of predicting CCSDT(Q)${}_Λ$/cc-pVDZ contributions to reaction energies with an average error of 0.07 kcal mol${}^{-1}$ and a RMST of 0.52 kcal mol${}^{-1}$ when applied to a test-suite of nearly 3000 reactions. This offers a means by which to reliably ballpark how important post-CCSD(T) contributions are to reaction energies while incurring no more than CCSD(T) formal cost and a little mental math.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
An attractive way to correct for missing singles excitations in unitary coupled cluster doubles theory
Authors:
Zachary W. Windom,
Daniel Claudino,
Rodney J. Bartlett
Abstract:
Coupled cluster methods based exclusively on double excitations are comparatively "cheap" and interesting model chemistries, as they are typically able to capture the bulk of the dynamical electron correlation effects. The trade-off in such approximations is that the effect of neglected excitations, particularly single excitations, can be considerable. Using standard and electron pair-restricted…
▽ More
Coupled cluster methods based exclusively on double excitations are comparatively "cheap" and interesting model chemistries, as they are typically able to capture the bulk of the dynamical electron correlation effects. The trade-off in such approximations is that the effect of neglected excitations, particularly single excitations, can be considerable. Using standard and electron pair-restricted $T_2$ operators to define two flavors of unitary coupled cluster doubles (UCCD) methods, we investigate the extent in which missing single excitations can be recovered from low-order corrections in many-body perturbation theory (MBPT) within the unitary coupled cluster (UCC) formalism. Our analysis includes the derivations of finite-order, UCC energy functionals which are used as a basis to define perturbative estimates of missed single excitations. This leads to the novel UCCD[4S] and UCCD[6S] methods, which consider energy corrections for missing singles excitations through fourth- and sixth-order in MBPT, respectively. We also apply the same methodology to the electron pair-restricted ansatz, but the improvements are only marginal. Our findings show that augmenting UCCD with these post hoc perturbative corrections can lead to UCCSD-quality results.
△ Less
Submitted 13 June, 2024;
originally announced June 2024.
-
An assessment of frozen natural orbitals and band gaps using equation of motion coupled cluster theory: a case study on polyacene and trans-polyacetylene
Authors:
Zachary W. Windom,
AV Lam,
Ajith Perera,
Rodney J. Bartlett
Abstract:
Frozen natural orbitals (FNOs) are used to augment IP/EA-EOM-CCSD calculations targeting the band gap of trans-polyacetylene and polyacene. We show the resulting electron affinities (EAs), ionization potentials (IPs), and extrapolated band gaps incur errors that are largely tunable to a desired accuracy, yet require many orders of magnitude fewer core-hours as compared to the corresponding full ca…
▽ More
Frozen natural orbitals (FNOs) are used to augment IP/EA-EOM-CCSD calculations targeting the band gap of trans-polyacetylene and polyacene. We show the resulting electron affinities (EAs), ionization potentials (IPs), and extrapolated band gaps incur errors that are largely tunable to a desired accuracy, yet require many orders of magnitude fewer core-hours as compared to the corresponding full calculation. The relationship between various FNO truncation schemes and (cc-pV$n$Z) basis set is also examined.
△ Less
Submitted 13 February, 2024;
originally announced February 2024.
-
A new "gold standard": perturbative triples corrections in unitary coupled cluster theory and prospects for quantum computing
Authors:
Zachary W. Windom,
Daniel Claudino,
Rodney J. Bartlett
Abstract:
A major difficulty in quantum simulation is the adequate treatment of a large collection of entangled particles, synonymous with electron correlation in electronic structure theory, with coupled cluster (CC) theory being the leading framework in dealing with this problem. Augmenting computationally affordable low-rank approximations in CC theory with a perturbative account of higher-rank excitatio…
▽ More
A major difficulty in quantum simulation is the adequate treatment of a large collection of entangled particles, synonymous with electron correlation in electronic structure theory, with coupled cluster (CC) theory being the leading framework in dealing with this problem. Augmenting computationally affordable low-rank approximations in CC theory with a perturbative account of higher-rank excitations is a tractable and effective way of accounting for the missing electron correlation in those approximations. This is perhaps best exemplified by the "gold standard" CCSD(T) method, which bolsters the baseline CCSD with effects of triple excitations using considerations from many-body perturbation theory (MBPT). Despite this established success, such a synergy between MBPT and the unitary analog of CC theory (UCC) has not been explored. In this work, we propose a similar approach wherein converged UCCSD amplitudes, which can be obtained on a quantum computer, are leveraged by a classical computer to evaluate energy corrections associated with triple excitations - leading to the UCCSD[T] and UCCSD(T*) methods. The rationale behind these choices is shown to be rigorous by studying the properties of finite-order UCC energy functionals. Although our efforts do not support the addition of the fifth-order contribution as in the (T) correction, comparisons are nevertheless made using a hybrid UCCSD(T) approach. We assess the performance of these approaches on a collection of small molecules, and demonstrate the benefits of harnessing the inherent synergy between MBPT and UCC theories.
△ Less
Submitted 11 January, 2024;
originally announced January 2024.
-
Nonconvergence of the Feynman-Dyson diagrammatic perturbation expansion of propagators
Authors:
So Hirata,
Ireneusz Grabowski,
J. V. Ortiz,
Rodney J. Bartlett
Abstract:
Using a general-order ab initio many-body Green's function method, we numerically illustrate several pathological behaviors of the Feynman-Dyson diagrammatic perturbation expansion of one-particle many-body Green's functions as electron Feynman propagators. (i) The perturbation expansion of the frequency-dependent self-energy is not convergent at the exact self-energy in many frequency domains. (i…
▽ More
Using a general-order ab initio many-body Green's function method, we numerically illustrate several pathological behaviors of the Feynman-Dyson diagrammatic perturbation expansion of one-particle many-body Green's functions as electron Feynman propagators. (i) The perturbation expansion of the frequency-dependent self-energy is not convergent at the exact self-energy in many frequency domains. (ii) An odd-perturbation-order self-energy has a qualitatively wrong shape and, as a result, many roots of the corresponding Dyson equation are nonphysical in that the poles may be complex or residues can exceed unity or be negative. (iii) A higher even-order self-energy consists of vertical lines at many frequencies, predicting numerous phantom poles with zero residues. (iv) Infinite partial resummations of diagrams by vertex or edge renormalization tend to exacerbate these pathologies. (v) The nonconvergence is caused by the nonanalyticity of the rational-function form of the exact Green's function at many frequencies, where the radius of convergence of its Taylor expansion is zero. This is consistent with the fact that (vi) Padé approximants (power-series expansions of a rational function) can largely restore the correct shape and poles of the Green's function. Nevertheless, not only does the nonconvergence render higher-order Feynman-Dyson diagrammatic perturbation theory useless for many lower-lying ionization or higher-lying electron-attachment states, but it also calls into question the validity of its combined use with the ansätze requiring the knowledge of all poles and residues. Such ansätze include the Galitskii-Migdal identity, the self-consistent Green's function methods, and some models of the algebraic diagrammatic construction.
△ Less
Submitted 25 April, 2024; v1 submitted 5 December, 2023;
originally announced December 2023.
-
Irreducibility of some crystalline loci with irregular Hodge--Tate weights
Authors:
Robin Bartlett
Abstract:
We show that loci of crystalline representations of $G_K$ for $K/\mathbb{Q}_p$ an unramified extension are irreducible when the Hodge--Tate weights are fixed and sufficiently small. This was previously known for weights in the interval $[-p,0]$ and in this paper we show how that this bound can be relaxed provided the Hodge--Tate weights are sufficiently irregular at certain embeddings. This is mot…
▽ More
We show that loci of crystalline representations of $G_K$ for $K/\mathbb{Q}_p$ an unramified extension are irreducible when the Hodge--Tate weights are fixed and sufficiently small. This was previously known for weights in the interval $[-p,0]$ and in this paper we show how that this bound can be relaxed provided the Hodge--Tate weights are sufficiently irregular at certain embeddings. This is motivated by the desire to extend the conjectures of Breuil--Mézard on loci of potentially crystalline representations to irregular weights.
△ Less
Submitted 28 December, 2023; v1 submitted 20 November, 2023;
originally announced November 2023.
-
A cast of thousands: How the IDEAS Productivity project has advanced software productivity and sustainability
Authors:
Lois Curfman McInnes,
Michael Heroux,
David E. Bernholdt,
Anshu Dubey,
Elsa Gonsiorowski,
Rinku Gupta,
Osni Marques,
J. David Moulton,
Hai Ah Nam,
Boyana Norris,
Elaine M. Raybourn,
Jim Willenbring,
Ann Almgren,
Ross Bartlett,
Kita Cranfill,
Stephen Fickas,
Don Frederick,
William Godoy,
Patricia Grubel,
Rebecca Hartman-Baker,
Axel Huebl,
Rose Lynch,
Addi Malviya Thakur,
Reed Milewicz,
Mark C. Miller
, et al. (9 additional authors not shown)
Abstract:
Computational and data-enabled science and engineering are revolutionizing advances throughout science and society, at all scales of computing. For example, teams in the U.S. DOE Exascale Computing Project have been tackling new frontiers in modeling, simulation, and analysis by exploiting unprecedented exascale computing capabilities-building an advanced software ecosystem that supports next-gene…
▽ More
Computational and data-enabled science and engineering are revolutionizing advances throughout science and society, at all scales of computing. For example, teams in the U.S. DOE Exascale Computing Project have been tackling new frontiers in modeling, simulation, and analysis by exploiting unprecedented exascale computing capabilities-building an advanced software ecosystem that supports next-generation applications and addresses disruptive changes in computer architectures. However, concerns are growing about the productivity of the developers of scientific software, its sustainability, and the trustworthiness of the results that it produces. Members of the IDEAS project serve as catalysts to address these challenges through fostering software communities, incubating and curating methodologies and resources, and disseminating knowledge to advance developer productivity and software sustainability. This paper discusses how these synergistic activities are advancing scientific discovery-mitigating technical risks by building a firmer foundation for reproducible, sustainable science at all scales of computing, from laptops to clusters to exascale and beyond.
△ Less
Submitted 16 February, 2024; v1 submitted 3 November, 2023;
originally announced November 2023.
-
Cycles relations in the affine grassmannian and applications to Breuil--Mézard for G-crystalline representations
Authors:
Robin Bartlett
Abstract:
For a split reductive group $G$ we realise identities in the Grothendieck group of $\widehat{G}$-representation in terms of cycle relations between certain closed subschemes inside the affine grassmannian. These closed subschemes are obtained as a degeneration of $e$-fold products of flag varieties and, under a bound on the Hodge type, we relate the geometry of these degenerations to that of modul…
▽ More
For a split reductive group $G$ we realise identities in the Grothendieck group of $\widehat{G}$-representation in terms of cycle relations between certain closed subschemes inside the affine grassmannian. These closed subschemes are obtained as a degeneration of $e$-fold products of flag varieties and, under a bound on the Hodge type, we relate the geometry of these degenerations to that of moduli spaces of $G$-valued crystalline representations of $\operatorname{Gal}(\overline{K}/K)$ for $K/\mathbb{Q}_p$ a finite extension with ramification degree $e$. By transferring the aforementioned cycle relations to these moduli spaces we deduce one direction of the Breuil--Mézard conjecture for $G$-valued crystalline representations with small Hodge type.
△ Less
Submitted 16 May, 2023; v1 submitted 10 May, 2023;
originally announced May 2023.
-
Helical Organic and Inorganic Polymers
Authors:
S. Hirata,
Y. Shigeta,
S. S. Xantheas,
R. J. Bartlett
Abstract:
Despite being a staple of synthetic plastics and biomolecules, helical polymers are scarcely studied with Gaussian-basis-set {\it ab initio} electron-correlated methods on an equal footing with molecules. This article introduces an {\it ab initio} second-order many-body Green's-function [MBGF(2)] method with nondiagonal, frequency-dependent Dyson self-energy for infinite helical polymers using scr…
▽ More
Despite being a staple of synthetic plastics and biomolecules, helical polymers are scarcely studied with Gaussian-basis-set {\it ab initio} electron-correlated methods on an equal footing with molecules. This article introduces an {\it ab initio} second-order many-body Green's-function [MBGF(2)] method with nondiagonal, frequency-dependent Dyson self-energy for infinite helical polymers using screw-axis-symmetry-adapted Gaussian-spherical-harmonics basis functions. Together with the Gaussian-basis-set density-functional theory for energies, analytical atomic forces, translational-period force, and helical-angle force, it can compute correlated energy, quasiparticle energy bands, structures, and vibrational frequencies of an infinite helical polymer, which smoothly converge at the corresponding oligomer results. These methods can handle incommensurable structures, which have an infinite translational period and are hard to characterize by any other method, just as efficiently as commensurable structures. We apply these methods to polyethylene ($2/1$ helix), polyacetylene (Peierls' system), and polytetrafluoroethylene ($13/6$ helix) to establish the quantitative accuracy of MBGF(2)/cc-pVDZ in simulating their (angle-resolved) ultraviolet photoelectron spectra, and of B3LYP/cc-pVDZ or 6-31G** in reproducing their structures, infrared and Raman band positions, phonon dispersions, and (coherent and incoherent) inelastic neutron scattering spectra. We then predict the same properties for infinitely catenated chains of nitrogen or oxygen and discuss their possible metastable existence under ambient conditions. They include planar zigzag polyazene (N$_2$)$_x$ (Peierls' system), $11/3$-helical isotactic polyazane (NH)$_x$, $9/4$-helical isotactic polyfluoroazane (NF)$_x$, and $7/2$-helical polyoxane (O)$_x$ as potential high-energy-density materials.
△ Less
Submitted 10 March, 2023; v1 submitted 15 December, 2022;
originally announced December 2022.
-
Explicit Serre weights for GL_2 via Kummer theory
Authors:
Robin Bartlett,
Misja F. A. Steinmetz
Abstract:
We give an explicit formulation of the weight part of Serre's conjecture for GL_2 using Kummer theory. This avoids any reference to p-adic Hodge theory. The key inputs are a description of the reduction modulo p of crystalline extensions in terms of certain "G_K-Artin-Scheier cocycles" and a result of Abrashkin which describes these cocycles in terms of Kummer theory. An alternative explicit formu…
▽ More
We give an explicit formulation of the weight part of Serre's conjecture for GL_2 using Kummer theory. This avoids any reference to p-adic Hodge theory. The key inputs are a description of the reduction modulo p of crystalline extensions in terms of certain "G_K-Artin-Scheier cocycles" and a result of Abrashkin which describes these cocycles in terms of Kummer theory. An alternative explicit formulation in terms of local class field theory was previously given by Dembele-Diamond-Roberts in the unramified case and by the second author in general. We show that the description of Dembele-Diamond-Roberts can be recovered directly from ours using the explicit reciprocity laws of Brueckner-Shaferevich-Vostokov. These calculations illustrate how our use of Kummer theory eliminates certain combinatorial complications appearing in these two papers.
△ Less
Submitted 1 July, 2022;
originally announced July 2022.
-
Degenerating products of flag varieties and applications to the Breuil--Mezard conjecture
Authors:
Robin Bartlett
Abstract:
We consider closed subschemes in the affine grassmannian obtained by degenerating $e$-fold products of flag varieties, embedded via a tuple of dominant cocharacters. For $G= \operatorname{GL}_2$, and cocharacters small relative to the characteristic, we relate the cycles of these degenerations to the representation theory of $G$. We then show that these degenerations smoothly model the geometry of…
▽ More
We consider closed subschemes in the affine grassmannian obtained by degenerating $e$-fold products of flag varieties, embedded via a tuple of dominant cocharacters. For $G= \operatorname{GL}_2$, and cocharacters small relative to the characteristic, we relate the cycles of these degenerations to the representation theory of $G$. We then show that these degenerations smoothly model the geometry of (the special fibre of) low weight crystalline subspaces inside the Emerton--Gee stack classifying $p$-adic representations of the Galois group of a finite extension of $\mathbb{Q}_p$. As an application we prove new cases of the Breuil--Mézard conjecture in dimension two.
△ Less
Submitted 9 May, 2023; v1 submitted 9 August, 2021;
originally announced August 2021.
-
A route to improving RPA excitation energies through its connection to equation-of-motion coupled cluster theory
Authors:
Varun Rishi,
Ajith Perera,
Rodney J. Bartlett
Abstract:
We revisit the connection between equation-of-motion coupled cluster (EOM-CC) and random phase approximation (RPA) explored recently by Berkelbach [J. Chem. Phys. 149, 041103 (2018)] and unify various methodological aspects of these diverse treatment of ground and excited states. The identity of RPA and EOM-CC based on the ring coupled cluster doubles is established with numerical results which wa…
▽ More
We revisit the connection between equation-of-motion coupled cluster (EOM-CC) and random phase approximation (RPA) explored recently by Berkelbach [J. Chem. Phys. 149, 041103 (2018)] and unify various methodological aspects of these diverse treatment of ground and excited states. The identity of RPA and EOM-CC based on the ring coupled cluster doubles is established with numerical results which was proved previously on theoretical grounds. We then introduce new approximations in EOM-CC and RPA family of methods, assess their numerical performance and explore a way to reap the benefits of such a connection to improve on excitation energies. Our results suggest that addition of perturbative corrections to account for double excitations and missing exchange effects could result in significantly improved estimates.
△ Less
Submitted 6 November, 2020; v1 submitted 1 August, 2020;
originally announced August 2020.
-
Potential diagonalisability of pseudo-Barsotti-Tate representations
Authors:
Robin Bartlett
Abstract:
Previous work of Kisin and Gee proves potential diagonalisability of two dimensional Barsotti-Tate representations of the Galois group of a finite extension $K/\mathbb{Q}_p$. In this paper we build upon their work by relaxing the Barsotti-Tate condition to one we call pseudo-Barsotti-Tate (which means that for certain embeddings $κ:K \rightarrow \overline{\mathbb{Q}}_p$ we allow the $κ$-Hodge-Tate…
▽ More
Previous work of Kisin and Gee proves potential diagonalisability of two dimensional Barsotti-Tate representations of the Galois group of a finite extension $K/\mathbb{Q}_p$. In this paper we build upon their work by relaxing the Barsotti-Tate condition to one we call pseudo-Barsotti-Tate (which means that for certain embeddings $κ:K \rightarrow \overline{\mathbb{Q}}_p$ we allow the $κ$-Hodge-Tate weights to be contained in $[0,p]$ rather than $[0,1]$).
△ Less
Submitted 9 August, 2021; v1 submitted 23 January, 2020;
originally announced January 2020.
-
On the irreducible components of some crystalline deformation rings
Authors:
Robin Bartlett
Abstract:
We adapt a technique of Kisin to construct and study crystalline deformation rings of $G_K$ for a finite extension $K/\mathbb{Q}_p$. This is done by considering a moduli space of Breuil--Kisin modules, satisfying an additional Galois condition, over the universal deformation ring. For $K$ unramified over $\mathbb{Q}_p$ and Hodge--Tate weights in $[0,p]$, we study the geometry of this space. As a c…
▽ More
We adapt a technique of Kisin to construct and study crystalline deformation rings of $G_K$ for a finite extension $K/\mathbb{Q}_p$. This is done by considering a moduli space of Breuil--Kisin modules, satisfying an additional Galois condition, over the universal deformation ring. For $K$ unramified over $\mathbb{Q}_p$ and Hodge--Tate weights in $[0,p]$, we study the geometry of this space. As a consequence we prove that, under a mild cyclotomic-freeness assumption, all crystalline representations of an unramified extension of $\mathbb{Q}_p$, with Hodge--Tate weights in $[0,p]$, are potentially diagonalisable.
△ Less
Submitted 10 January, 2020; v1 submitted 29 April, 2019;
originally announced April 2019.
-
Potentially diagonalisable lifts with controlled Hodge--Tate weights
Authors:
Robin Bartlett
Abstract:
Motivated by the weight part of Serre's conjecture we consider the following question. Let $K/\mathbb{Q}_p$ be a finite extension and suppose $\overlineρ \colon G_K \rightarrow \operatorname{GL}_n(\overline{\mathbb{F}}_p)$ admits a crystalline lift with Hodge--Tate weights contained in the range $[0,p]$. Does $\overlineρ$ admits a potentially diagonalisable crystalline lift of the same Hodge--Tate…
▽ More
Motivated by the weight part of Serre's conjecture we consider the following question. Let $K/\mathbb{Q}_p$ be a finite extension and suppose $\overlineρ \colon G_K \rightarrow \operatorname{GL}_n(\overline{\mathbb{F}}_p)$ admits a crystalline lift with Hodge--Tate weights contained in the range $[0,p]$. Does $\overlineρ$ admits a potentially diagonalisable crystalline lift of the same Hodge--Tate weights? We answer this question in the affirmative when $K = \mathbb{Q}_p$ and $n \leq 5$, and $\overlineρ$ satisfies a mild `cyclotomic-free' condition. We also prove partial results when $K/\mathbb{Q}_p$ is unramified and $n$ is arbitrary.
△ Less
Submitted 28 April, 2019; v1 submitted 5 December, 2018;
originally announced December 2018.
-
Inertial and Hodge--Tate weights of crystalline representations
Authors:
Robin Bartlett
Abstract:
Let $K$ be an unramified extension of $\mathbb{Q}_p$ and $ρ\colon G_K \rightarrow \operatorname{GL}_n(\overline{\mathbb{Z}}_p)$ a crystalline representation. If the Hodge--Tate weights of $ρ$ differ by at most $p$ then we show that these weights are contained in a natural collection of weights depending only on the restriction to inertia of…
▽ More
Let $K$ be an unramified extension of $\mathbb{Q}_p$ and $ρ\colon G_K \rightarrow \operatorname{GL}_n(\overline{\mathbb{Z}}_p)$ a crystalline representation. If the Hodge--Tate weights of $ρ$ differ by at most $p$ then we show that these weights are contained in a natural collection of weights depending only on the restriction to inertia of $\overlineρ = ρ\otimes_{\overline{\mathbb{Z}}_p} \overline{\mathbb{F}}_p$. Our methods involve the study of a full subcategory of $p$-torsion Breuil--Kisin modules which we view as extending Fontaine--Laffaille theory to filtrations of length $p$.
△ Less
Submitted 28 April, 2019; v1 submitted 26 November, 2018;
originally announced November 2018.
-
Computing solvated excited states using fragment-effective-field coupled-cluster perturbation theory with application to the electronic spectra of nucleobases in water
Authors:
Jason N. Byrd,
Robert W. Molt, Jr.,
Rodney J. Bartlett,
Beverly A. Sanders
Abstract:
Molecular fragment or embedding methods are powerful techniques for overcoming scalability limitations in electronic structure theory by dividing large molecular systems into individual units that are small enough to be treated using standard techniques. Our group has developed a linear-scaling coupled-cluster based fragment effective field method, molecular cluster perturbation theory (MCPT), tha…
▽ More
Molecular fragment or embedding methods are powerful techniques for overcoming scalability limitations in electronic structure theory by dividing large molecular systems into individual units that are small enough to be treated using standard techniques. Our group has developed a linear-scaling coupled-cluster based fragment effective field method, molecular cluster perturbation theory (MCPT), that provides a systematically improvable description of the electronic wavefunction and is scalable to thousands of atoms using the Aces4 massively parallel software package. We will present a systematic computational benchmarking study of small organic molecule solvation free energies obtained from MCPT using various perturbation corrections using experimental and large-scale ab initio reference values. We will also present recent work on the relative crystal lattice polymorph energies of several molecular crystals where the roles of many-body dispersion and intermol ecular electron exchange will be investigated. The molecular solvent and crystal systems presented here are carefully chosen so as to provide a robust test set for the fragment electronic structure community.
△ Less
Submitted 10 August, 2017;
originally announced August 2017.
-
xSDK Foundations: Toward an Extreme-scale Scientific Software Development Kit
Authors:
Roscoe Bartlett,
Irina Demeshko,
Todd Gamblin,
Glenn Hammond,
Michael Heroux,
Jeffrey Johnson,
Alicia Klinvex,
Xiaoye Li,
Lois Curfman McInnes,
J. David Moulton,
Daniel Osei-Kuffuor,
Jason Sarich,
Barry Smith,
Jim Willenbring,
Ulrike Meier Yang
Abstract:
Extreme-scale computational science increasingly demands multiscale and multiphysics formulations. Combining software developed by independent groups is imperative: no single team has resources for all predictive science and decision support capabilities. Scientific libraries provide high-quality, reusable software components for constructing applications with improved robustness and portability.…
▽ More
Extreme-scale computational science increasingly demands multiscale and multiphysics formulations. Combining software developed by independent groups is imperative: no single team has resources for all predictive science and decision support capabilities. Scientific libraries provide high-quality, reusable software components for constructing applications with improved robustness and portability. However, without coordination, many libraries cannot be easily composed. Namespace collisions, inconsistent arguments, lack of third-party software versioning, and additional difficulties make composition costly.
The Extreme-scale Scientific Software Development Kit (xSDK) defines community policies to improve code quality and compatibility across independently developed packages (hypre, PETSc, SuperLU, Trilinos, and Alquimia) and provides a foundation for addressing broader issues in software interoperability, performance portability, and sustainability. The xSDK provides turnkey installation of member software and seamless combination of aggregate capabilities, and it marks first steps toward extreme-scale scientific software ecosystems from which future applications can be composed rapidly with assured quality and scalability.
△ Less
Submitted 27 February, 2017;
originally announced February 2017.
-
Predictive coupled-cluster isomer orderings for some Si${}_n$C${}_m$ ($m, n\le 12$) clusters; A pragmatic comparison between DFT and complete basis limit coupled-cluster benchmarks
Authors:
Jason N. Byrd,
Jesse J. Lutz,
Yifan **,
Duminda S. Ranasinghe,
John A. Montgomery Jr.,
Ajith Perera,
Xiaofeng F. Duan,
Larry W. Burggraf,
Beverly A. Sanders,
Rodney J. Bartlett
Abstract:
The accurate determination of the preferred ${\rm Si}_{12}{\rm C}_{12}$ isomer is important to guide experimental efforts directed towards synthesizing SiC nano-wires and related polymer structures which are anticipated to be highly efficient exciton materials for opto-electronic devices. In order to definitively identify preferred isomeric structures for silicon carbon nano-clusters, highly accur…
▽ More
The accurate determination of the preferred ${\rm Si}_{12}{\rm C}_{12}$ isomer is important to guide experimental efforts directed towards synthesizing SiC nano-wires and related polymer structures which are anticipated to be highly efficient exciton materials for opto-electronic devices. In order to definitively identify preferred isomeric structures for silicon carbon nano-clusters, highly accurate geometries, energies and harmonic zero point energies have been computed using coupled-cluster theory with systematic extrapolation to the complete basis limit for set of silicon carbon clusters ranging in size from SiC$_3$ to ${\rm Si}_{12}{\rm C}_{12}$. It is found that post-MBPT(2) correlation energy plays a significant role in obtaining converged relative isomer energies, suggesting that predictions using low rung density functional methods will not have adequate accuracy. Utilizing the best composite coupled-cluster energy that is still computationally feasible, entailing a 3-4 SCF and CCSD extrapolation with triple-$ζ$ (T) correlation, the {\it closo} ${\rm Si}_{12}{\rm C}_{12}$ isomer is identified to be the preferred isomer in support of previous calculations [J. Chem. Phys. 2015, 142, 034303]. Additionally we have investigated more pragmatic approaches to obtaining accurate silicon carbide isomer energies, including the use of frozen natural orbital coupled-cluster theory and several rungs of standard and double-hybrid density functional theory. Frozen natural orbitals as a way to compute post MBPT(2) correlation energy is found to be an excellent balance between efficiency and accuracy.
△ Less
Submitted 21 June, 2016;
originally announced June 2016.
-
Approximating electronically excited states with equation-of-motion linear coupled-cluster theory
Authors:
Jason N. Byrd,
Varun Rishi,
Ajith Perera,
Rodney J. Bartlett
Abstract:
A new perturbative approach to canonical equation-of-motion coupled-cluster theory is presented using coupled-cluster perturbation theory. A second-order Møller-Plesset partitioning of the Hamiltonian is used to obtain the well known equation-of-motion many-body perturbation theory (EOM-MBPT(2)) equations and two new equation-of-motion methods based on the linear coupled-cluster doubles (EOM-LCCD)…
▽ More
A new perturbative approach to canonical equation-of-motion coupled-cluster theory is presented using coupled-cluster perturbation theory. A second-order Møller-Plesset partitioning of the Hamiltonian is used to obtain the well known equation-of-motion many-body perturbation theory (EOM-MBPT(2)) equations and two new equation-of-motion methods based on the linear coupled-cluster doubles (EOM-LCCD) and linear coupled-cluster singles and doubles (EOM-LCCSD) wavefunctions. This is achieved by performing a short-circuiting procedure on the MBPT(2) similarity transformed Hamiltonian. These new methods are benchmarked against very accurate theoretical and experimental spectra from 25 small organic molecules. It is found that the proposed methods have excellent agreement with canonical EOM-CCSD state for state orderings and relative excited state energies as well as acceptable quantitative agreement for absolute excitation energies compared with the best estimate theory and experimental spectra.
△ Less
Submitted 7 July, 2015;
originally announced July 2015.
-
Molecular Cluster Perturbation Theory. I. Formalism
Authors:
Jason N. Byrd,
Nakul **dal,
Robert W. Molt, Jr.,
Rodney J. Bartlett,
Beverly A. Sanders,
Victor F. Lotrich
Abstract:
We present second-order molecular cluster perturbation theory (MCPT(2)), a linear scaling methodology to calculate arbitrarily large systems with explicit calculation of individual wavefunctions in a coupled-cluster framework. This new MCPT(2) framework uses coupled-cluster perturbation theory and an expansion in terms of molecular dimer interactions to obtain molecular wavefunctions that are infi…
▽ More
We present second-order molecular cluster perturbation theory (MCPT(2)), a linear scaling methodology to calculate arbitrarily large systems with explicit calculation of individual wavefunctions in a coupled-cluster framework. This new MCPT(2) framework uses coupled-cluster perturbation theory and an expansion in terms of molecular dimer interactions to obtain molecular wavefunctions that are infinite-order in both the electronic fluctuation operator and all possible dimer (and products of dimers) interactions. The MCPT(2) framework has been implemented in the new SIA/Aces4 parallel architecture, making use of the advanced dynamic memory control and fine grained parallelism to perform very large explicit molecular cluster calculations. To illustrate the power of this method, we have computed energy shifts, lattice site dipole moments, and harmonic vibrational frequencies via explicit calculation of the bulk system for the polar and non-polar polymorphs of solid hydrogen fluoride. The explicit lattice size (without using any periodic boundary conditions) was expanded up to 1,000 HF molecules, with 32,000 basis functions and 10,000 electrons. Our obtained HF lattice site dipole moments and harmonic vibrational frequencies agree well with the existing literature.
△ Less
Submitted 23 March, 2015; v1 submitted 6 September, 2014;
originally announced September 2014.
-
Correlation correction to configuration interaction singles from coupled cluster perturbation theory
Authors:
Jason N. Byrd,
Victor F. Lotrich,
Rodney J. Bartlett
Abstract:
A new state specific correlation correction to configuration interaction singles (CIS) excitation energies is preseted using coupled cluster perturbation theory (CCPT). General expressions for CIS-CCPT are derived and expanded explicitly to first order in the wavefunction and second order in the energy. By virtue of the nature of CCPT this method is {\it a priori} size extensive and incorporates i…
▽ More
A new state specific correlation correction to configuration interaction singles (CIS) excitation energies is preseted using coupled cluster perturbation theory (CCPT). General expressions for CIS-CCPT are derived and expanded explicitly to first order in the wavefunction and second order in the energy. By virtue of the nature of CCPT this method is {\it a priori} size extensive and incorporates infinite order effects into the wavefunction. This results in a balanced singles space excited state theory that at second order is an improvement over the ubiquitous CIS(D) method and comparable in quality to equation of motion coupled cluster (EOM-CC). A modest test set composed of the first four excited states from nine small organic molecules was used to quantify the accuracy and consistency of the CIS-CCPT2 excitation energies and density of states. We find that CIS-CCPT2 has a standard deviation error of 0.18 eV for excitation energies and 0.14 eV for density of states compared to EOM-CC, a factor of two better than CIS(D) with a significant reduction in the maximum deviation as well
△ Less
Submitted 23 April, 2014;
originally announced April 2014.
-
At what chain length do unbranched alkanes prefer folded conformations?
Authors:
Jason N. Byrd,
Rodney Bartlett,
John A Montgomery Jr
Abstract:
Short unbranched alkanes are known to prefer linear conformations, while long unbranched alkanes are folded. It is not known with certainty at what chain length the linear conformation is no longer the global minimum. To clarify this point, we use {\it ab initio} and density functional methods to compute the relative energies of the linear and hairpin alkane conformers for increasing chain lengths…
▽ More
Short unbranched alkanes are known to prefer linear conformations, while long unbranched alkanes are folded. It is not known with certainty at what chain length the linear conformation is no longer the global minimum. To clarify this point, we use {\it ab initio} and density functional methods to compute the relative energies of the linear and hairpin alkane conformers for increasing chain lengths. Extensive electronic structure calculations are performed to obtain optimized geometries, harmonic frequencies and accurate single point energies for the selected alkane conformers from octane through octadecane. Benchmark CCSD(T)/cc-pVTZ single point calculations are performed for chains through tetradecane, while approximate methods are required for the longer chains up to octadecane. Using frozen natural orbitals to unambiguously truncate the virtual orbital space, we are able to compute composite CCSD FNO(T) single point energies for all the chain lengths. This approximate composite method has significant computational savings compared to full CCSD(T) while retaining $\sim0.15$ kcal/mol accuracy compared to the benchmark results. More approximate dual-basis resolution-of-the-identity double-hybrid DFT calculations are also performed and shown to have reasonable $0.2-0.4$ kcal/mol errors compared with our benchmark values. After including contributions from temperature dependent internal energy shifts, we find the preference for folded conformations to lie between hexadecane and octadecane, in excellent agreement with recent experiments [Lüttschwager, N. O.; Wassermann, T. N.; Mata, R. A.; Suhm, M. A. {\it Angew. Chem. Int. Ed.} 2013, 52, 463].
△ Less
Submitted 4 February, 2014; v1 submitted 12 December, 2013;
originally announced December 2013.
-
Electronegativity in quantum electronic transport
Authors:
R. J. Bartlett,
G. Fagas,
J. C. Greer
Abstract:
Electronegativity is shown to control charge transfer, energy level alignments, and electron currents in single molecule tunnel junctions, all of which are governed by correlations contained within the density matrix. This is demonstrated by the fact that currents calculated from the one-electron reduced density matrix to second order in electron correlation are identical to the currents obtaine…
▽ More
Electronegativity is shown to control charge transfer, energy level alignments, and electron currents in single molecule tunnel junctions, all of which are governed by correlations contained within the density matrix. This is demonstrated by the fact that currents calculated from the one-electron reduced density matrix to second order in electron correlation are identical to the currents obtained from the Green's function corrected to second order in electron self-energy.
△ Less
Submitted 28 October, 2007;
originally announced October 2007.
-
A Map of the Nanoworld: Sizing up the Science, Politics, and Business of the Infinitesimal
Authors:
Debashish Munshi,
Priya Kurian,
Robert V. Bartlett,
Akhlesh Lakhtakia
Abstract:
Map** out the eight main nodes of nanotechnology discourse that have emerged in the past decade, we explore how various scientific, social, and ethical islands of discussion have developed, been recognized, and are being continually renegotiated. We do so by (1) identifying the ways in which scientists, policy makers, entrepreneurs, educators, and environmental groups have drawn boundaries on…
▽ More
Map** out the eight main nodes of nanotechnology discourse that have emerged in the past decade, we explore how various scientific, social, and ethical islands of discussion have developed, been recognized, and are being continually renegotiated. We do so by (1) identifying the ways in which scientists, policy makers, entrepreneurs, educators, and environmental groups have drawn boundaries on issues relating to nanotechnology; (2) describing concisely the perspectives from which these boundaries are drawn; and (3) exploring how boundaries on nanotechnology are marked and negotiated by various nodes of nanotechnology discourse.
△ Less
Submitted 23 October, 2005;
originally announced October 2005.
-
Intracluster Stars and the Galactic Halos of Virgo
Authors:
John J. Feldmeier,
Robin Ciardullo,
Roger Bartlett,
George H. Jacoby
Abstract:
Planetary nebulae can be useful dynamical probes of elliptical galaxy halos, but progress thus far has been hampered by the small data samples available for study. In order to obtain a large sample of planetary nebulae for dynamical analysis, we have re-observed the giant elliptical galaxy M87 in the center of the Virgo Cluster. Surprisingly, we find that the M87 sample is contaminated by a sign…
▽ More
Planetary nebulae can be useful dynamical probes of elliptical galaxy halos, but progress thus far has been hampered by the small data samples available for study. In order to obtain a large sample of planetary nebulae for dynamical analysis, we have re-observed the giant elliptical galaxy M87 in the center of the Virgo Cluster. Surprisingly, we find that the M87 sample is contaminated by a significant fraction of intracluster objects. Follow up observations of three blank fields in the cluster confirm that a significant fraction of Virgo's starlight is intracluster. We discuss the implications of intracluster stars for studies of galaxy halos in clusters.
△ Less
Submitted 18 November, 1997;
originally announced November 1997.
-
The Planetary Nebula Luminosity Function of M87 and the Intracluster Stars of Virgo
Authors:
Robin Ciardullo,
George Jacoby,
John Feldmeier,
Roger Bartlett
Abstract:
We present the results of a wide-field [O III] $λ5007$ survey for planetary nebulae (PN) in M87 and its surrounding halo. We show that the planetary nebula luminosity function (PNLF) of M87's halo is unlike any PNLF observed to date, with a shape that differs from that of the empirical law at the 99.9% confidence level. In addition, we find that the PNLF of M87's outer halo differs from that of…
▽ More
We present the results of a wide-field [O III] $λ5007$ survey for planetary nebulae (PN) in M87 and its surrounding halo. We show that the planetary nebula luminosity function (PNLF) of M87's halo is unlike any PNLF observed to date, with a shape that differs from that of the empirical law at the 99.9% confidence level. In addition, we find that the PNLF of M87's outer halo differs from that of the galaxy's inner regions at a high degree of certainty ($\sim 92%$). We show that both these effects are most likely due to the existence of intracluster PN, many of which are foreground to M87. These intracluster objects explain the ``overluminous'' [O III] $λ5007$ sources previously identified by Jacoby, Ciardullo, & Ford (1990), and present us with a new tool with which to probe the morphological and dynamical properties of the cluster. By modifying the maximum likelihood procedures of Ciardullo et al (1989a) and using an assumed M31 distance of 770 Kpc (Freedman & Madore 1990), we derive a distance modulus to M87 of $30.79 \pm 0.16$ ($14.4 \pm 1.1$ Mpc).
△ Less
Submitted 21 August, 1997;
originally announced August 1997.
-
COMPARISON OF N-BODY SIMULATIONS TO STATISTICAL OBSERVATIONS OF GALAXY PAIRS
Authors:
Roger E. Bartlett,
Jane C. Charlton
Abstract:
N-body simulations were conducted of pairs of galaxies with a 3:1 mass ratio on parabolic orbits, in order to quantify the effect of dynamical friction. The effects of varying the ratio of the dark matter halo size to the distance of closest approach were explored. Once the dark matter halos are fully overlap**, the more massive simulated galaxies achieve a larger maximum separation after the fi…
▽ More
N-body simulations were conducted of pairs of galaxies with a 3:1 mass ratio on parabolic orbits, in order to quantify the effect of dynamical friction. The effects of varying the ratio of the dark matter halo size to the distance of closest approach were explored. Once the dark matter halos are fully overlap**, the more massive simulated galaxies achieve a larger maximum separation after the first encounter despite the increased dynamical friction caused by the more extended halos. Projected separation and radial velocity histograms were generated by "observing" the simulation results at various times and from various orientations. These histograms were compared with observations of galaxy pairs (Charlton & Salpeter 1991; Chengalur, Salpeter, & Terzian 1993) with the result that large halo radii (~200 - 600 kpc) and wide distances of closest approach are generally favored. It is difficult to reconcile the small radial velocity differences that have been observed (median of ~ 30 km/s, Chengalur et al. 1993) with the simulations when we sample all parts of the orbits equally. Including an additional population of wide pairs that have just recently reached "turnabout" from the Hubble flow would lower the median velocity differences. Models suggest that additional data for pairs at intermediate separations should have a somewhat larger median velocity difference than the wide pairs. Very narrow pairs include galaxies which are interacting, and whose gaseous components respond to forces other than gravity. If consistently small $Δv$ are measured from neutral hydrogen velocities in a larger sample of narrow pairs, pressure forces and dissipation effects on the gaseous components could be responsible.
△ Less
Submitted 1 March, 1995;
originally announced March 1995.