Worldline master formulas for the dressed electron propagator, part 1: Off-shell amplitudes

In the firrst-quantised worldline approach to quantum field theory, a long-standing problem has been to extend this formalism to amplitudes involving open fermion lines while maintaining the efficiency of the well-tested closed-loop case. In the present series of papers, we develop a suitable formalism for the case of quantum electrodynamics (QED) in vacuum (part one and two) and in a constant external electromagnetic field (part three), based on second-order fermions and the symbol map. We derive this formalism from standard field theory, but also give an alternative derivation intrinsic to the worldline theory. In this first part, we use it to obtain a Bern-Kosower type master formula for the fermion propagator, dressed with N photons in configuration as well as in momentum space.