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

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.