Post-Wick theorems for symbolic manipulation of second-quantized expressions in atomic many-body perturbation theory

Abstract

Manipulating expressions in many-body perturbation theory becomes unwieldily with increasing order of the perturbation theory. Here I derive a set of theorems for efficient simplification of such expressions. The derived rules are specifically designed for implementing with symbolic algebra tools. As an illustration, we count the numbers of Brueckner-Goldstone diagrams in the first several orders of many-body perturbation theory for matrix elements between two states of a mono-valent system.

J. Phys. B. (in press); Mathematica packages available from http://wolfweb.unr.edu/homepage/andrei/WWW-tap/mathematica.html

References in corpus (3)

• Precision determination of electroweak coupling from atomic parity violation and implications for particle physics
• High-accuracy calculation of black-body radiation shift in ${}^{133}$Cs primary frequency standard
• Frequency shift of cesium clock transition due to blackbody radiation

Cited by in corpus (2)

• The Rayleigh-Schrödinger perturbation series of quasi-degenerate systems
• Development of algebraic techniques for the atomic open-shell MBPT(3)