-
Formalizing Pick's Theorem in Isabelle/HOL
Authors:
Sage Binder,
Katherine Kosaian
Abstract:
We formalize Pick's theorem for finding the area of a simple polygon whose vertices are integral lattice points. We are inspired by John Harrison's formalization of Pick's theorem in HOL Light, but tailor our proof approach to avoid a primary challenge point in his formalization, which is proving that any polygon with more than three vertices can be split (in its interior) by a line between some t…
▽ More
We formalize Pick's theorem for finding the area of a simple polygon whose vertices are integral lattice points. We are inspired by John Harrison's formalization of Pick's theorem in HOL Light, but tailor our proof approach to avoid a primary challenge point in his formalization, which is proving that any polygon with more than three vertices can be split (in its interior) by a line between some two vertices. We detail the approach we use to avoid this step and reflect on the pros and cons of our eventual formalization strategy. We use the theorem prover Isabelle/HOL, and our formalization involves augmenting the existing geometry libraries in various foundational ways (e.g., by adding the definition of a polygon and formalizing some key properties thereof).
△ Less
Submitted 2 May, 2024;
originally announced May 2024.
-
Harnessing Deep Learning and Satellite Imagery for Post-Buyout Land Cover Mapping
Authors:
Hakan T. Otal,
Elyse Zavar,
Sherri B. Binder,
Alex Greer,
M. Abdullah Canbaz
Abstract:
Environmental disasters such as floods, hurricanes, and wildfires have increasingly threatened communities worldwide, prompting various mitigation strategies. Among these, property buyouts have emerged as a prominent approach to reducing vulnerability to future disasters. This strategy involves governments purchasing at-risk properties from willing sellers and converting the land into open space,…
▽ More
Environmental disasters such as floods, hurricanes, and wildfires have increasingly threatened communities worldwide, prompting various mitigation strategies. Among these, property buyouts have emerged as a prominent approach to reducing vulnerability to future disasters. This strategy involves governments purchasing at-risk properties from willing sellers and converting the land into open space, ostensibly reducing future disaster risk and impact. However, the aftermath of these buyouts, particularly concerning land-use patterns and community impacts, remains under-explored. This research aims to fill this gap by employing innovative techniques like satellite imagery analysis and deep learning to study these patterns. To achieve this goal, we employed FEMA's Hazard Mitigation Grant Program (HMGP) buyout dataset, encompassing over 41,004 addresses of these buyout properties from 1989 to 2017. Leveraging Google's Maps Static API, we gathered 40,053 satellite images corresponding to these buyout lands. Subsequently, we implemented five cutting-edge machine learning models to evaluate their performance in classifying land cover types. Notably, this task involved multi-class classification, and our model achieved an outstanding ROC-AUC score of 98.86%
△ Less
Submitted 15 January, 2024;
originally announced January 2024.
-
Highly superlinear photogalvanic effects in (Bi$_{0.3}$Sb$_{0.7}$)$_2$(Te$_{0.1}$Se$_{0.9}$)$_3$: Probing 3D topological insulator surface states at room temperature
Authors:
Sergey N. Danilov,
Leonid E. Golub,
Thomas Mayer,
Andreas Beer,
Stefan Binder,
Erwin Mönch,
Jan Minar,
Matthias Kronseder,
Christian. H. Back,
Dominique Bougeard,
Sergey D. Ganichev
Abstract:
We report on the observation of complex nonlinear intensity dependence of the circular and linear photogalvanic currents induced by infrared radiation in compensated (Bi$_{0.3}$Sb$_{0.7}$)$_2$(Te$_{0.1}$Se$_{0.9}$)$_3$ 3D topological insulators. The photocurrents are induced by direct optical transitions between topological surface and bulk states. We show that an increase of the radiation intensi…
▽ More
We report on the observation of complex nonlinear intensity dependence of the circular and linear photogalvanic currents induced by infrared radiation in compensated (Bi$_{0.3}$Sb$_{0.7}$)$_2$(Te$_{0.1}$Se$_{0.9}$)$_3$ 3D topological insulators. The photocurrents are induced by direct optical transitions between topological surface and bulk states. We show that an increase of the radiation intensity results first in a highly superlinear raise of the amplitude of both types of photocurrents, whereas at higher intensities the photocurrent saturates. Our analysis of the observed nonlinearities shows that the superlinear behavior of the photocurrents is caused by a heating of the electron gas, while the saturation is induced by a slow relaxation of the photoexcited carriers resulting in absorbance bleaching. The observed nonlinearities give access to the Fermi level position with respect to the Dirac point and the energy relaxation times of Dirac fermions providing an experimental room temperature probe for topological surface states.
△ Less
Submitted 3 August, 2021;
originally announced August 2021.
-
Few- and many-nucleon systems with semilocal coordinate-space regularized chiral nucleon-nucleon forces
Authors:
S. Binder,
A. Calci,
E. Epelbaum,
R. J. Furnstahl,
J. Golak,
K. Hebeler,
T. Hüther,
H. Kamada,
H. Krebs,
P. Maris,
U. -G. Meißner,
A. Nogga,
R. Roth,
R. Skibiński,
K. Topolnicki,
J. P. Vary,
K. Vobig,
H. Witała
Abstract:
We employ a variety of ab initio methods including Faddeev-Yakubovsky equations, No-Core Configuration Interaction Approach, Coupled-Cluster Theory and In-Medium Similarity Renormalization Group to perform a comprehensive analysis of the nucleon-deuteron elastic and breakup reactions and selected properties of light and medium-mass nuclei up to 48Ca using the recently constructed semilocal coordin…
▽ More
We employ a variety of ab initio methods including Faddeev-Yakubovsky equations, No-Core Configuration Interaction Approach, Coupled-Cluster Theory and In-Medium Similarity Renormalization Group to perform a comprehensive analysis of the nucleon-deuteron elastic and breakup reactions and selected properties of light and medium-mass nuclei up to 48Ca using the recently constructed semilocal coordinate-space regularized chiral nucleon-nucleon potentials. We compare the results with those based on selected phenomenological and chiral EFT two-nucleon potentials, discuss the convergence pattern of the chiral expansion and estimate the achievable theoretical accuracy at various chiral orders using the novel approach to quantify truncation errors of the chiral expansion without relying on cutoff variation. We also address the robustness of this method and explore alternative ways to estimate the theoretical uncertainty from the truncation of the chiral expansion.
△ Less
Submitted 23 February, 2018;
originally announced February 2018.
-
Pion-less effective field theory for atomic nuclei and lattice nuclei
Authors:
A. Bansal,
S. Binder,
A. Ekström,
G. Hagen,
G. R. Jansen,
T. Papenbrock
Abstract:
We compute the medium-mass nuclei $^{16}$O and $^{40}$Ca using pionless effective field theory (EFT) at next-to-leading order (NLO). The low-energy coefficients of the EFT Hamiltonian are adjusted to experimantal data for nuclei with mass numbers $A=2$ and $3$, or alternatively to results from lattice quantum chromodynamics (QCD) at an unphysical pion mass of 806 MeV. The EFT is implemented throug…
▽ More
We compute the medium-mass nuclei $^{16}$O and $^{40}$Ca using pionless effective field theory (EFT) at next-to-leading order (NLO). The low-energy coefficients of the EFT Hamiltonian are adjusted to experimantal data for nuclei with mass numbers $A=2$ and $3$, or alternatively to results from lattice quantum chromodynamics (QCD) at an unphysical pion mass of 806 MeV. The EFT is implemented through a discrete variable representation in the harmonic oscillator basis. This approach ensures rapid convergence with respect to the size of the model space and facilitates the computation of medium-mass nuclei. At NLO the nuclei $^{16}$O and $^{40}$Ca are bound with respect to decay into alpha particles. Binding energies per nucleon are 9-10 MeV and 30-40 MeV at pion masses of 140 MeV and 806 MeV, respectively.
△ Less
Submitted 29 December, 2017;
originally announced December 2017.
-
Hartree-Fock Many-Body Perturbation Theory for Nuclear Ground-States
Authors:
Alexander Tichai,
Joachim Langhammer,
Sven Binder,
Robert Roth
Abstract:
We investigate the order-by-order convergence behavior of many-body perturbation theory (MBPT) as a simple and efficient tool to approximate the ground-state energy of closed-shell nuclei. To address the convergence properties directly, we explore perturbative corrections up to 30th order and highlight the role of the partitioning for convergence. The use of a simple Hartree-Fock solution to const…
▽ More
We investigate the order-by-order convergence behavior of many-body perturbation theory (MBPT) as a simple and efficient tool to approximate the ground-state energy of closed-shell nuclei. To address the convergence properties directly, we explore perturbative corrections up to 30th order and highlight the role of the partitioning for convergence. The use of a simple Hartree-Fock solution to construct the unperturbed basis leads to a convergent MBPT series for soft interactions, in contrast to, e.g., a harmonic oscillator basis. For larger model spaces and heavier nuclei, where a direct high-order MBPT calculation in not feasible, we perform third-order calculation and compare to advanced ab initio coupled-cluster calculations for the same interactions and model spaces. We demonstrate that third-order MBPT provides ground-state energies for nuclei up into tin isotopic chain that are in excellent agreement with the best available coupled-cluster results at a fraction of the computational cost.
△ Less
Submitted 14 January, 2016;
originally announced January 2016.
-
Effective field theory in the harmonic oscillator basis
Authors:
S. Binder,
A. Ekström,
G. Hagen,
T. Papenbrock,
K. A. Wendt
Abstract:
We develop interactions from chiral effective field theory (EFT) that are tailored to the harmonic oscillator basis. As a consequence, ultraviolet convergence with respect to the model space is implemented by construction and infrared convergence can be achieved by enlarging the model space for the kinetic energy. In oscillator EFT, matrix elements of EFTs formulated for continuous momenta are eva…
▽ More
We develop interactions from chiral effective field theory (EFT) that are tailored to the harmonic oscillator basis. As a consequence, ultraviolet convergence with respect to the model space is implemented by construction and infrared convergence can be achieved by enlarging the model space for the kinetic energy. In oscillator EFT, matrix elements of EFTs formulated for continuous momenta are evaluated at the discrete momenta that stem from the diagonalization of the kinetic energy in the finite oscillator space. By fitting to realistic phase shifts and deuteron data we construct an effective interaction from chiral EFT at next-to-leading order. Many-body coupled-cluster calculations of nuclei up to 132Sn exhibit a fast convergence of ground-state energies and radii in feasible model spaces.
△ Less
Submitted 29 April, 2016; v1 submitted 11 December, 2015;
originally announced December 2015.
-
Ab Initio No Core Shell Model - Recent Results and Further Prospects
Authors:
James P. Vary,
Pieter Maris,
Hugh Potter,
Mark A. Caprio,
Robin Smith,
Sven Binder,
Angelo Calci,
Sebastian Fischer,
Joachim Langhammer,
Robert Roth,
Hasan Metin Aktulga,
Esmond Ng,
Chao Yang,
Dossay Oryspayev,
Masha Sosonkina,
Erik Saule,
Ümit Çatalyürek
Abstract:
There has been significant recent progress in solving the long-standing problems of how nuclear shell structure and collective motion emerge from underlying microscopic inter-nucleon interactions. We review a selection of recent significant results within the ab initio No Core Shell Model (NCSM) closely tied to three major factors enabling this progress: (1) improved nuclear interactions that accu…
▽ More
There has been significant recent progress in solving the long-standing problems of how nuclear shell structure and collective motion emerge from underlying microscopic inter-nucleon interactions. We review a selection of recent significant results within the ab initio No Core Shell Model (NCSM) closely tied to three major factors enabling this progress: (1) improved nuclear interactions that accurately describe the experimental two-nucleon and three-nucleon interaction data; (2) advances in algorithms to simulate the quantum many-body problem with strong interactions; and (3) continued rapid development of high-performance computers now capable of performing $20 \times 10^{15}$ floating point operations per second. We also comment on prospects for further developments.
△ Less
Submitted 16 July, 2015;
originally announced July 2015.
-
Few-nucleon systems with state-of-the-art chiral nucleon-nucleon forces
Authors:
S. Binder,
A. Calci,
E. Epelbaum,
R. J. Furnstahl,
J. Golak,
K. Hebeler,
H. Kamada,
H. Krebs,
J. Langhammer,
S. Liebig,
P. Maris,
U. -G. Meißner,
D. Minossi,
A. Nogga,
H. Potter,
R. Roth,
R. Skibinski,
K. Topolnicki,
J. P. Vary,
H. Witala
Abstract:
We apply improved nucleon-nucleon potentials up to fifth order in chiral effective field theory, along with a new analysis of the theoretical truncation errors, to study nucleon-deuteron (Nd) scattering and selected low-energy observables in 3H, 4He, and 6Li. Calculations beyond second order differ from experiment well outside the range of quantified uncertainties, providing truly unambiguous evid…
▽ More
We apply improved nucleon-nucleon potentials up to fifth order in chiral effective field theory, along with a new analysis of the theoretical truncation errors, to study nucleon-deuteron (Nd) scattering and selected low-energy observables in 3H, 4He, and 6Li. Calculations beyond second order differ from experiment well outside the range of quantified uncertainties, providing truly unambiguous evidence for missing three-nucleon forces within the employed framework. The sizes of the required three-nucleon force contributions agree well with expectations based on Weinberg's power counting. We identify the energy range in elastic Nd scattering best suited to study three-nucleon force effects and estimate the achievable accuracy of theoretical predictions for various observables.
△ Less
Submitted 27 May, 2015;
originally announced May 2015.
-
Accelerating Ab Initio Nuclear Physics Calculations with GPUs
Authors:
Hugh Potter,
Dossay Oryspayev,
Pieter Maris,
Masha Sosonkina,
James Vary,
Sven Binder,
Angelo Calci,
Joachim Langhammer,
Robert Roth,
Ümit Çatalyürek,
Erik Saule
Abstract:
This paper describes some applications of GPU acceleration in ab initio nuclear structure calculations. Specifically, we discuss GPU acceleration of the software package MFDn, a parallel nuclear structure eigensolver. We modify the matrix construction stage to run partly on the GPU. On the Titan supercomputer at the Oak Ridge Leadership Computing Facility, this produces a speedup of approximately…
▽ More
This paper describes some applications of GPU acceleration in ab initio nuclear structure calculations. Specifically, we discuss GPU acceleration of the software package MFDn, a parallel nuclear structure eigensolver. We modify the matrix construction stage to run partly on the GPU. On the Titan supercomputer at the Oak Ridge Leadership Computing Facility, this produces a speedup of approximately 2.2x - 2.7x for the matrix construction stage and 1.2x - 1.4x for the entire run.
△ Less
Submitted 18 December, 2014;
originally announced December 2014.
-
Low-energy neutron-deuteron reactions with N3LO chiral forces
Authors:
J. Golak,
R. Skibinski,
K. Topolnicki,
H. Witala,
E. Epelbaum,
H. Krebs,
H. Kamada,
Ulf-G. Meißner,
V. Bernard,
P. Maris,
J. Vary,
S. Binder,
A. Calci,
K. Hebeler,
J. Langhammer,
R. Roth,
A. Nogga,
S. Liebig,
D. Minossi
Abstract:
We solve three-nucleon Faddeev equations with nucleon-nucleon and three-nucleon forces derived consistently in the framework of chiral perturbation theory at next-to-next-to-next-to-leading order in the chiral expansion. In this first investigation we include only matrix elements of the three-nucleon force for partial waves with the total two-nucleon (three-nucleon) angular momenta up to 3 (5/2).…
▽ More
We solve three-nucleon Faddeev equations with nucleon-nucleon and three-nucleon forces derived consistently in the framework of chiral perturbation theory at next-to-next-to-next-to-leading order in the chiral expansion. In this first investigation we include only matrix elements of the three-nucleon force for partial waves with the total two-nucleon (three-nucleon) angular momenta up to 3 (5/2). Low-energy neutron-deuteron elastic scattering and deuteron breakup reaction are studied. Emphasis is put on Ay puzzle in elastic scattering and cross sections in symmetric-space-star and neutron-neutron quasi-free-scattering breakup configurations, for which large discrepancies between data and theory have been reported.
△ Less
Submitted 7 October, 2014; v1 submitted 3 October, 2014;
originally announced October 2014.
-
Ab Initio Multi-Reference In-Medium Similarity Renormalization Group Calculations of Even Calcium and Nickel Isotopes
Authors:
H. Hergert,
S. K. Bogner,
T. D. Morris,
S. Binder,
A. Calci,
J. Langhammer,
R. Roth
Abstract:
We use the newly developed Multi-Reference In-Medium Similarity Renormalization Group to study all even isotopes of the calcium and nickel isotopic chains, based on two- plus three-nucleon interactions derived from chiral effective field theory. We present results for ground-state and two-neutron separation energies and quantify their theoretical uncertainties. At shell closures, we find excellent…
▽ More
We use the newly developed Multi-Reference In-Medium Similarity Renormalization Group to study all even isotopes of the calcium and nickel isotopic chains, based on two- plus three-nucleon interactions derived from chiral effective field theory. We present results for ground-state and two-neutron separation energies and quantify their theoretical uncertainties. At shell closures, we find excellent agreement with Coupled Cluster results obtained with the same Hamiltonians. Our results highlight the importance of the chiral 3N interaction to obtain a correct reproduction of experimental energy trends, and their subtle impact on the location of the neutron drip lines in the Ca and Ni chains. At the same time, we uncover and discuss deficiencies of the input Hamiltonians which need to be addressed by the next generation of chiral interactions.
△ Less
Submitted 28 October, 2014; v1 submitted 27 August, 2014;
originally announced August 2014.
-
Ab Initio study of neutron drops with chiral Hamiltonians
Authors:
H. D. Potter,
S. Fischer,
P. Maris,
J. P. Vary,
S. Binder,
A. Calci,
J. Langhammer,
R. Roth
Abstract:
We report ab initio calculations for neutron drops in a 10 MeV external harmonic-oscillator trap using chiral nucleon-nucleon plus three-nucleon interactions. We present total binding energies, internal energies, radii and odd-even energy differences for neutron numbers N = 2 - 18 using the no-core shell model with and without importance truncation. Furthermore, we present total binding energies f…
▽ More
We report ab initio calculations for neutron drops in a 10 MeV external harmonic-oscillator trap using chiral nucleon-nucleon plus three-nucleon interactions. We present total binding energies, internal energies, radii and odd-even energy differences for neutron numbers N = 2 - 18 using the no-core shell model with and without importance truncation. Furthermore, we present total binding energies for N = 8, 16, 20, 28, 40, 50 obtained in a coupled-cluster approach. Comparisons with Green's Function Monte Carlo results, where available, using Argonne v8' with three-nucleon interactions reveal important dependences on the chosen Hamiltonian.
△ Less
Submitted 19 December, 2014; v1 submitted 4 June, 2014;
originally announced June 2014.
-
$^{12}$C properties with evolved chiral three-nucleon interactions
Authors:
P. Maris,
J. P. Vary,
A. Calci,
J. Langhammer,
S. Binder,
R. Roth
Abstract:
We investigate selected static and transition properties of $^{12}$C using ab initio No-Core Shell Model (NCSM) methods with chiral two- and three-nucleon interactions. We adopt the Similarity Renormalization Group (SRG) to assist convergence including up to three-nucleon (3N) contributions. We examine the dependences of the $^{12}$C observables on the SRG evolution scale and on the model-space pa…
▽ More
We investigate selected static and transition properties of $^{12}$C using ab initio No-Core Shell Model (NCSM) methods with chiral two- and three-nucleon interactions. We adopt the Similarity Renormalization Group (SRG) to assist convergence including up to three-nucleon (3N) contributions. We examine the dependences of the $^{12}$C observables on the SRG evolution scale and on the model-space parameters. We obtain nearly converged low-lying excitation spectra. We compare results of the full NCSM with the Importance Truncated NCSM in large model spaces for benchmarking purposes. We highlight the effects of the chiral 3N interaction on several spectroscopic observables. The agreement of some observables with experiment is improved significantly by the inclusion of 3N interactions, e.g., the B(M1) from the first $J^πT = 1^+ 1$ state to the ground state. However, in some cases the agreement deteriorates, e.g., for the excitation energy of the first $1^+ 0$ state, leaving room for improved next-generation chiral Hamiltonians.
△ Less
Submitted 6 May, 2014;
originally announced May 2014.
-
Nonperturbative shell-model interactions from the in-medium similarity renormalization group
Authors:
S. K. Bogner,
H. Hergert,
J. D. Holt,
A. Schwenk,
S. Binder,
A. Calci,
J. Langhammer,
R. Roth
Abstract:
We present the first ab initio construction of valence-space Hamiltonians for medium-mass nuclei based on chiral two- and three-nucleon interactions using the in-medium similarity renormalization group. When applied to the oxygen isotopes, we find experimental ground-state energies are well reproduced, including the flat trend beyond the drip line at 24O. Similarly, natural-parity spectra in 21,22…
▽ More
We present the first ab initio construction of valence-space Hamiltonians for medium-mass nuclei based on chiral two- and three-nucleon interactions using the in-medium similarity renormalization group. When applied to the oxygen isotopes, we find experimental ground-state energies are well reproduced, including the flat trend beyond the drip line at 24O. Similarly, natural-parity spectra in 21,22,23,24O are in agreement with experiment, and we present predictions for excited states in 25,26O. The results exhibit a weak dependence on the harmonic-oscillator basis parameter and reproduce spectroscopy within the standard sd valence space.
△ Less
Submitted 3 October, 2014; v1 submitted 6 February, 2014;
originally announced February 2014.
-
Ab Initio Path to Heavy Nuclei
Authors:
Sven Binder,
Joachim Langhammer,
Angelo Calci,
Robert Roth
Abstract:
We present the first ab initio calculations of nuclear ground states up into the domain of heavy nuclei, spanning the range from 16-O to 132-Sn based on two- plus three-nucleon interactions derived within chiral effective field theory. We employ the similarity renormalization group for preparing the Hamiltonian and use coupled-cluster theory to solve the many-body problem for nuclei with closed su…
▽ More
We present the first ab initio calculations of nuclear ground states up into the domain of heavy nuclei, spanning the range from 16-O to 132-Sn based on two- plus three-nucleon interactions derived within chiral effective field theory. We employ the similarity renormalization group for preparing the Hamiltonian and use coupled-cluster theory to solve the many-body problem for nuclei with closed sub-shells. Through an analysis of theoretical uncertainties resulting from various truncations in this framework, we identify and eliminate the technical hurdles that previously inhibited the step beyond medium-mass nuclei, allowing for reliable validations of nuclear Hamiltonians in the heavy regime. Following this path we show that chiral Hamiltonians qualitatively reproduce the systematics of nuclear ground-state energies up to the neutron-rich Sn isotopes.
△ Less
Submitted 19 December, 2013;
originally announced December 2013.
-
Evolved Chiral NN+3N Hamiltonians for Ab Initio Nuclear Structure Calculations
Authors:
Robert Roth,
Angelo Calci,
Joachim Langhammer,
Sven Binder
Abstract:
We discuss the building blocks for a consistent inclusion of chiral three-nucleon (3N) interactions into ab initio nuclear structure calculations beyond the lower p-shell. We highlight important technical developments, such as the similarity renormalization group (SRG) evolution in the 3N sector, a JT-coupled storage scheme for 3N matrix elements with efficient on-the-fly decoupling, and the impor…
▽ More
We discuss the building blocks for a consistent inclusion of chiral three-nucleon (3N) interactions into ab initio nuclear structure calculations beyond the lower p-shell. We highlight important technical developments, such as the similarity renormalization group (SRG) evolution in the 3N sector, a JT-coupled storage scheme for 3N matrix elements with efficient on-the-fly decoupling, and the importance truncated no-core shell model with 3N interactions. Together, these developments make converged ab initio calculations with explicit 3N interactions possible also beyond the lower p-shell. We analyze in detail the impact of various truncations of the SRG-evolved Hamiltonian, in particular the truncation of the harmonic-oscillator model space used for solving the SRG flow equations and the omission of the induced beyond-3N contributions of the evolved Hamiltonian. Both truncations lead to sizable effects in the upper p-shell and beyond and we present options to remedy these truncation effects. The analysis of the different truncations is a first step towards a systematic uncertainty quantification of all stages of the calculation.
△ Less
Submitted 14 November, 2013;
originally announced November 2013.
-
Extension of coupled-cluster theory with a non-iterative treatment of connected triply excited clusters to three-body Hamiltonians
Authors:
Sven Binder,
Piotr Piecuch,
Angelo Calci,
Joachim Langhammer,
Petr Navrátil,
Robert Roth
Abstract:
We generalize the coupled-cluster (CC) approach with singles, doubles, and the non-iterative treatment of triples termed $Λ$CCSD(T) to Hamiltonians containing three-body interactions. The resulting method and the underlying CC approach with singles and doubles only (CCSD) are applied to the medium-mass closed-shell nuclei O16, O24, and Ca40. By comparing the results of CCSD and $Λ$CCSD(T) calculat…
▽ More
We generalize the coupled-cluster (CC) approach with singles, doubles, and the non-iterative treatment of triples termed $Λ$CCSD(T) to Hamiltonians containing three-body interactions. The resulting method and the underlying CC approach with singles and doubles only (CCSD) are applied to the medium-mass closed-shell nuclei O16, O24, and Ca40. By comparing the results of CCSD and $Λ$CCSD(T) calculations with explicit treatment of three-nucleon interactions to those obtained using an approximate treatment in which they are included effectively via the zero-, one-, and two-body components of the Hamiltonian in normal-ordered form, we quantify the contributions of the residual three-body interactions neglected in the approximate treatment. We find these residual normal-ordered three-body contributions negligible for the $Λ$CCSD(T) method, although they can become significant in the lower-level CCSD approach, particularly when the nucleon-nucleon interactions are soft.
△ Less
Submitted 21 November, 2013; v1 submitted 4 September, 2013;
originally announced September 2013.
-
Ab Initio Calculations of Even Oxygen Isotopes with Chiral Two- Plus Three-Nucleon Interactions
Authors:
H. Hergert,
S. Binder,
A. Calci,
J. Langhammer,
R. Roth
Abstract:
We formulate the In-Medium Similarity Renormalization Group (IM-SRG) for open-shell nuclei using a multi-reference formalism based on a generalized Wick theorem introduced in quantum chemistry. The resulting multi-reference IM-SRG (MR-IM-SRG) is used to perform the first ab initio study of even oxygen isotopes with chiral NN and 3N Hamiltonians, from the proton to the neutron drip lines. We obtain…
▽ More
We formulate the In-Medium Similarity Renormalization Group (IM-SRG) for open-shell nuclei using a multi-reference formalism based on a generalized Wick theorem introduced in quantum chemistry. The resulting multi-reference IM-SRG (MR-IM-SRG) is used to perform the first ab initio study of even oxygen isotopes with chiral NN and 3N Hamiltonians, from the proton to the neutron drip lines. We obtain an excellent reproduction of experimental ground-state energies with quantified uncertainties, which is validated by results from the Importance-Truncated No-Core Shell Model and the Coupled Cluster method. The agreement between conceptually different many-body approaches and experiment highlights the predictive power of current chiral two- and three-nucleon interactions, and establishes the MR-IM-SRG as a promising new tool for ab initio calculations of medium-mass nuclei far from shell closures.
△ Less
Submitted 12 June, 2013; v1 submitted 28 February, 2013;
originally announced February 2013.
-
In-Medium Similarity Renormalization Group with Chiral Two- Plus Three-Nucleon Interactions
Authors:
H. Hergert,
S. K. Bogner,
S. Binder,
A. Calci,
J. Langhammer,
R. Roth,
A. Schwenk
Abstract:
We use the recently proposed In-Medium Similarity Renormalization Group (IM-SRG) to carry out a systematic study of closed-shell nuclei up to $\nuc{Ni}{56}$, based on chiral two- plus three-nucleon interactions. We analyze the capabilities of the IM-SRG by comparing our results for the ground-state energy to Coupled Cluster calculations, as well as to quasi-exact results from the Importance-Trunca…
▽ More
We use the recently proposed In-Medium Similarity Renormalization Group (IM-SRG) to carry out a systematic study of closed-shell nuclei up to $\nuc{Ni}{56}$, based on chiral two- plus three-nucleon interactions. We analyze the capabilities of the IM-SRG by comparing our results for the ground-state energy to Coupled Cluster calculations, as well as to quasi-exact results from the Importance-Truncated No-Core Shell Model. Using chiral two- plus three-nucleon Hamiltonians whose resolution scales are lowered by free-space SRG evolution, we obtain good agreement with experimental binding energies in $\nuc{He}{4}$ and the closed-shell oxygen isotopes, while the calcium and nickel isotopes are somewhat overbound.
△ Less
Submitted 5 December, 2012;
originally announced December 2012.
-
Ab Initio Calculations of Medium-Mass Nuclei with Explicit Chiral 3N Interactions
Authors:
Sven Binder,
Joachim Langhammer,
Angelo Calci,
Petr Navrátil,
Robert Roth
Abstract:
We present the first ab initio coupled-cluster calculations of medium-mass nuclei with explicit chiral three-nucleon (3N) interactions. Using a spherical formulation of coupled cluster with singles and doubles excitations including explicit 3N contributions, we study ground states of 16,24-O, 40,48-Ca and 56-Ni. We employ chiral NN plus 3N interactions softened through a similarity renormalization…
▽ More
We present the first ab initio coupled-cluster calculations of medium-mass nuclei with explicit chiral three-nucleon (3N) interactions. Using a spherical formulation of coupled cluster with singles and doubles excitations including explicit 3N contributions, we study ground states of 16,24-O, 40,48-Ca and 56-Ni. We employ chiral NN plus 3N interactions softened through a similarity renormalization group (SRG) transformation at the three-body level. We investigate the impact of all truncations and quantify the resulting uncertainties---this includes the contributions from triples excitations, the truncation of the set of three-body matrix elements, and the omission of SRG-induced four-body interactions. Furthermore, we assess the quality of a normal-ordering approximation of the 3N interaction beyond light nuclei. Our study points towards the predictive power of chiral Hamiltonians in the medium-mass regime.
△ Less
Submitted 20 November, 2012;
originally announced November 2012.
-
Ab Initio Calculations of Medium-Mass Nuclei with Normal-Ordered Chiral NN+3N Interactions
Authors:
Robert Roth,
Sven Binder,
Klaus Vobig,
Angelo Calci,
Joachim Langhammer,
Petr Navratil
Abstract:
We study the use of truncated normal-ordered three-nucleon interactions in ab initio nuclear structure calculations starting from chiral two- plus three-nucleon Hamiltonians evolved consistently with the similarity renormalization group (SRG). We present three key steps: (i) a rigorous benchmark of the normal-ordering approximation in the importance-truncated no-core shell model (IT-NCSM) for 4-He…
▽ More
We study the use of truncated normal-ordered three-nucleon interactions in ab initio nuclear structure calculations starting from chiral two- plus three-nucleon Hamiltonians evolved consistently with the similarity renormalization group (SRG). We present three key steps: (i) a rigorous benchmark of the normal-ordering approximation in the importance-truncated no-core shell model (IT-NCSM) for 4-He, 16-O, and 40-Ca; (ii) a direct comparison of the IT-NCSM results with coupled-cluster calculations at the singles and doubles level (CCSD) for 16-O; and (iii) first applications of SRG-evolved chiral NN+3N Hamiltonians in CCSD for the medium-mass nuclei 16,24-O and 40,48-Ca. We show that the normal-ordered two-body approximation works very well beyond the lightest isotopes and opens a path for ab initio studies of medium-mass and heavy nuclei with chiral two- plus three-nucleon interactions. At the same time we highlight the predictive power of chiral Hamiltonians.
△ Less
Submitted 1 December, 2011;
originally announced December 2011.
-
Similarity-Transformed Chiral NN+3N Interactions for the Ab Initio Description of 12-C and 16-O
Authors:
Robert Roth,
Joachim Langhammer,
Angelo Calci,
Sven Binder,
Petr Navrátil
Abstract:
We present first ab initio no-core shell model (NCSM) calculations using similarity renormalization group (SRG) transformed chiral two-nucleon (NN) plus three-nucleon (3N) interactions for nuclei throughout the p-shell, particularly 12-C and 16-O. By introducing an adaptive importance truncation for the NCSM model space and an efficient JT-coupling scheme for the 3N matrix elements, we are able to…
▽ More
We present first ab initio no-core shell model (NCSM) calculations using similarity renormalization group (SRG) transformed chiral two-nucleon (NN) plus three-nucleon (3N) interactions for nuclei throughout the p-shell, particularly 12-C and 16-O. By introducing an adaptive importance truncation for the NCSM model space and an efficient JT-coupling scheme for the 3N matrix elements, we are able to surpass previous NCSM studies including 3N interactions regarding, both, particle number and model-space size. We present ground and excited states in 12-C and 16-O for model spaces up to N_max=12 including full 3N interactions, which is sufficient to obtain converged results for soft SRG-transformed interactions. We analyze the contributions of induced and initial 3N interactions and probe induced 4N terms through the sensitivity of the energies on the SRG flow parameter. Unlike for light p-shell nuclei, SRG-induced 4N contributions originating from the long-range two-pion terms of the chiral 3N interaction are sizable in 12-C and 16-O.
△ Less
Submitted 16 May, 2011;
originally announced May 2011.
-
Two component dynamics of the superconducting order parameter revealed by time-resolved Raman scattering
Authors:
R. P. Saichu,
I. Mahns,
A. Goos,
S. Binder,
P. May,
S. G. Singer,
B. Schulz,
A. Rusydi,
J. Unterhinninghofen,
D. Manske,
P. Guptasarma,
M. S. Williamsen,
M. Rübhausen
Abstract:
We study the dynamics of the superconducting order parameter in the high-$T_c$ cuprate Bi$_2$Sr$_2$CaCu$_2$O$_{8-δ}$ by employing a novel time-resolved pump-probe Raman experiment. We find two different coupling mechanisms that contribute equally to the pair breaking peak. One coupling sets in very fast at 2ps and relaxes slow, while the other one is delayed and sets in roughly at 5ps and relaxe…
▽ More
We study the dynamics of the superconducting order parameter in the high-$T_c$ cuprate Bi$_2$Sr$_2$CaCu$_2$O$_{8-δ}$ by employing a novel time-resolved pump-probe Raman experiment. We find two different coupling mechanisms that contribute equally to the pair breaking peak. One coupling sets in very fast at 2ps and relaxes slow, while the other one is delayed and sets in roughly at 5ps and relaxes fast. A model that couples holes through phonons is able to reproduce one part of the condensate dynamics, thus, we argue that hole-spin interactions are of importance as well.
△ Less
Submitted 17 February, 2009; v1 submitted 7 January, 2009;
originally announced January 2009.
