Diagrammatic theory for the Anderson impurity model: Stationary property of the thermodynamic potential

We propose a diagrammatic theory around the atomic limit for the normal state of the Anderson impurity model. The new diagram method is based on Wick's theorem for conduction electrons and a generalized Wick's theorem for strongly correlated impurity electrons, which coincides with the definition of the Kubo cumulant. We prove a linked-cluster theorem for the mean of the evolution operator and obtain Dyson-type equations for the one-particle propagators. The main element in these equations is the impurity electron correlation function, which contains the spin, charge, and pairing fluctuations of the system. We express the system thermodynamic potential in terms of the full propagator of conduction electrons and the correlation function. We establish that the thermodynamic potential is stationary under changes of the correlation function.