We present the scientific motivation for future space tests of the equivalence principle, and in particular the universality of free fall, at the $10^{-17}$ level or better. Two possible mission scenarios, one based on quantum technologies, the other on electrostatic accelerometers, that could reach that goal are briefly discussed.

The proposed mission "Space Atomic Gravity Explorer" (SAGE) has the scientific objective to investigate gravitational waves, dark matter, and other fundamental aspects of gravity as well as the connection between gravitational physics and quantum physics using new quantum sensors, namely, optical atomic clocks and atom interferometers based on ultracold strontium atoms.

We propose in this White Paper a concept for a space experiment using cold atoms to search for ultra-light dark matter, and to detect gravitational waves in the frequency range between the most sensitive ranges of LISA and the terrestrial LIGO/Virgo/KAGRA/INDIGO experiments. This interdisciplinary experiment, called Atomic Experiment for Dark Matter and Gravity Exploration (AEDGE), will also complement other planned searches for dark matter, and exploit synergies with other gravitational wave detectors. We give examples of the extended range of sensitivity to ultra-light dark matter offered by AEDGE, and how its gravitational-wave measurements could explore the assembly of super-massive black holes, first-order phase transitions in the early universe and cosmic strings. AEDGE will be based upon technologies now being developed for terrestrial experiments using cold atoms, and will benefit from the space experience obtained with, e.g., LISA and cold atom experiments in microgravity. This paper is based on a submission (v1) in response to the Call for White Papers for the Voyage 2050 long-term plan in the ESA Science Programme. ESA limited the number of White Paper authors to 30. However, in this version (v2) we have welcomed as supporting authors participants in the Workshop on Atomic Experiments for Dark Matter and Gravity Exploration held at CERN: ({\tt https://indico.cern.ch/event/830432/}), as well as other interested scientists, and have incorporated additional material.

Recent proposals for space-borne gravitational wave detectors based on atom interferometry rely on extremely narrow single-photon transition lines as featured by alkaline-earth metals or atomic species with similar electronic configuration. Despite their similarity, these species differ in key parameters such as abundance of isotopes, atomic flux, density and temperature regimes, achievable expansion rates, density limitations set by interactions, as well as technological and operational requirements. In this study, we compare viable candidates for gravitational wave detection with atom interferometry, contrast the most promising atomic species, identify the relevant technological milestones and investigate potential source concepts towards a future gravitational wave detector in space.

Extending work by Gies and Karbstein on the Euler-Heisenberg Lagrangian, it has recently been shown that the one-loop propagator of a charged scalar particle in a constant electromagnetic field has a one-particle reducible contribution in addition to the well-studied irreducible one. Here we further generalize this result to the spinor case, and find the same relation between the reducible term, the tree-level propagator and the one-loop Euler-Heisenberg Lagrangian as in the scalar case. Our demonstration uses a novel worldline path integral representation of the photon-dressed spinor propagator in a constant electromagnetic field background.

Recently, Gies and Karbstein showed that the two-loop Euler-Heisenberg Lagrangian receives a finite one-particle reducible contribution in addition to the well-known one-particle irreducible one. Here, we demonstrate that a similar contribution exists for the propagator in a constant field already at the one-loop level, and we calculate this contribution for the scalar QED case. We also present an independent derivation of the Gies-Karbstein result using the worldline formalism, treating the scalar and spinor QED cases in a unified manner.

We present in detail the scientific objectives in fundamental physics of the Space-Time Explorer and QUantum Equivalence Space Test (STE-QUEST) space mission. STE-QUEST was pre-selected by the European Space Agency together with four other missions for the cosmic vision M3 launch opportunity planned around 2024. It carries out tests of different aspects of the Einstein Equivalence Principle using atomic clocks, matter wave interferometry and long distance time/frequency links, providing fascinating science at the interface between quantum mechanics and gravitation that cannot be achieved, at that level of precision, in ground experiments. We especially emphasize the specific strong interest of performing equivalence principle tests in the quantum regime, i.e. using quantum atomic wave interferometry. Although STE-QUEST was finally not selected in early 2014 because of budgetary and technological reasons, its science case was very highly rated. Our aim is to expose that science to a large audience in order to allow future projects and proposals to take advantage of the STE-QUEST experience.

Einstein-Maxwell theory implies the mixing of photons with gravitons in an external electromagnetic field. This process and its possible observable consequences have been studied at tree level for many years. We use the worldline formalism for obtaining an exact integral representation for the one-loop corrections to this amplitude due to scalars and fermions. We study the structure of this amplitude, and obtain exact expressions for various limiting cases.

We recalculate the amplitude for photon splitting in a strong magnetic field below the pair production threshold, using the worldline path integral variant of the Bern--Kosower formalism. Numerical comparison (using programs that we have made available for public access on the Internet) shows that the results of the recalculation are identical to the earlier calculations of Adler and later of Stoneham, and to the recent recalculation by Baier, Milstein, and Shaisultanov.