The two-photon-exchange diagrams for atoms with single valence electron are investigated. Calculation formulas are derived for an arbitrary state within the rigorous bound-state QED framework utilizing the redefined vacuum formalism. In contrast to other methods, the redefined vacuum approach enables the identification of eight gauge-invariant subsets and, thus, efficiently check the consistency of the obtained results. The gauge invariance of found subsets is demonstrated both analytically (for an arbitrary state) as well as numerically for 2s, 2p 1/2 , and 2p 3/2 valence electron in Li-like ions. Identifying gauge-invariant subsets in the framework of the proposed approach opens a way to tackle more complex diagrams, e.g., three-photon exchange, where the fragmentation on simpler subsets is crucial for its successful calculation.

The redefined vacuum approach, which is frequently employed in the many-body perturbation theory, proved to be a powerful tool for formula derivation. Here, we elaborate this approach within the bound-state QED perturbation theory. In addition to general formulation, we consider the particular example of a single particle (electron or vacancy) excitation with respect to the redefined vacuum. Starting with simple one-electron QED diagrams, we deduce first- and second-order many-electron contributions: screened self-energy, screened vacuum polarization, one-photon exchange, and two-photon exchange. The redefined vacuum approach provides a straightforward and streamlined derivation and facilitates its application to any electronic configuration. Moreover, based on the gauge invariance of the one-electron diagrams, we can identify various gauge-invariant subsets within derived many-electron QED contributions.