In this article it is intended a closer look at the renormalization procedure used in quantum electrodynamics to cope with the divergent integrals that appear in higher-order calculations within the theory. The main focus will be the charge renormalization that reveals, in a clearer way than the mass renormalization, structural limitations present in quantum electrodynamics that are even more a...

We prove a generalization of the van Leeuwen theorem towards quantum electrodynamics, providing the formal foundations of a time-dependent Kohn-Sham construction for coupled quantized matter and electromagnetic fields. We circumvent the symmetry-causality problems associated with the action-functional approach to Kohn-Sham systems. We show that the effective external fourpotential and four-curr...