Abstract: The Large Hadron-Electron Collider (LHeC) is designed to move the field of deep inelastic scattering (DIS) to the energy and intensity frontier of particle physics. Exploiting energy-recovery technology, it collides a novel, intense electron beam with a proton or ion beam from the High-Luminosity Large Hadron Collider (HL-LHC). The accelerator and interaction region are designed for concurrent electron-proton and proton-proton operations. This report represents an update to the LHeC's conceptual design report (CDR), published in 2012. It comprises new results on the parton structure of the proton and heavier nuclei, QCD dynamics, and electroweak and top-quark physics. It is shown how the LHeC will open a new chapter of nuclear particle physics by extending the accessible kinematic range of lepton-nucleus scattering by several orders of magnitude. Due to its enhanced luminosity and large energy and the cleanliness of the final hadronic states, the LHeC has a strong Higgs physics programme and its own discovery potential for new physics. Building on the 2012 CDR, this report contains a detailed updated design for the energy-recovery electron linac (ERL), including a new lattice, magnet and superconducting radio-frequency technology, and further components. Challenges of energy recovery are described, and the lower-energy, high-current, three-turn ERL facility, PERLE at Orsay, is presented, which uses the LHeC characteristics serving as a development facility for the design and operation of the LHeC. An updated detector design is presented corresponding to the acceptance, resolution, and calibration goals that arise from the Higgs and parton-density-function physics programmes. This paper also presents novel results for the Future Circular Collider in electron-hadron (FCC-eh) mode, which utilises the same ERL technology to further extend the reach of DIS to even higher centre-of-mass energies.

Abstract: In this work we compute, at the “one-loop-dressed” level, the nonperturbative contribution of the ghost loops to the self-energy of the gluon propagator, in the Landau gauge. This is accomplished within the PT-BFM formalism, where the contribution of the ghost-loops is inherently transverse, by virtue of the QED-like Ward identities satisfied in this framework. At the level of the “one-loop dressed” approximation, the ghost transversality is preserved by employing a suitable gauge-technique Ansatz for the longitudinal part of the full ghost-gluon vertex. Under the key assumption that the undetermined transverse part of this vertex is numerically subleading in the infrared, and using as nonperturbative input the available lattice data for the ghost dressing function, we show that the ghost contributions have a rather sizable effect on the overall shape of the gluon propagator, both for d = 3, 4. Then, by exploiting a recently introduced dynamical equation for the effective gluon mass, whose solutions depend crucially on the characteristics of the gluon propagator at intermediate energies, we show that if the ghost loops are removed from the gluon propagator then the gluon mass vanishes. These findings suggest that, at least at the level of the Schwinger-Dyson equations, the effects of gluons and ghosts are inextricably connected, and must be combined suitably in order to reproduce the results obtained in the recent lattice simulations.

Abstract: We present a nonperturbative study of the form factor associated with the projection of the full four-gluon vertex on its classical tensor, for a set of kinematics with one vanishing and three arbitrary external momenta. The treatment is based on the Schwinger-Dyson equation governing this vertex, and a large-volume lattice simulation, involving ten thousand gauge field configurations. The key hypothesis employed in both approaches is the “planar degeneracy”, which classifies diverse configurations by means of a single variable, thus enabling their meaningful “averaging”. The results of both approaches show notable agreement, revealing a considerable suppression of the averaged form factor in the infrared. The deviations from the exact planar degeneracy are discussed in detail, and a supplementary variable is used to achieve a more accurate description. The effective charge defined through this special form factor is computed within both approaches, and the results obtained are in excellent agreement.

Abstract: We present the first comprehensive analysis of the unitarity thresholds and anomalous thresholds of scattering amplitudes at two loops and beyond based on the loop- tree duality, and show how non-causal unphysical thresholds are locally cancelled in an efficient way when the forest of all the dual on-shell cuts is considered as one. We also prove that soft and collinear singularities at two loops and beyond are restricted to a compact region of the loop three-momenta, which is a necessary condition for implementing a local cancellation of loop infrared singularities with the ones appearing in real emission; without relying on a subtraction formalism.

Abstract: The computation of multi-loop multi-leg scattering amplitudes plays a key role to improve the precision of theoretical predictions for particle physics at high-energy colliders. In this work, we focus on the mathematical properties of the novel integrand-level representation of Feynman integrals, which is based on the Loop-Tree Duality (LTD). We explore the behaviour of the multi-loop iterated residues and explicitly show, by developing a general compact and elegant proof, that contributions associated to displaced poles are cancelled out. The remaining residues, called nested residues as originally introduced in ref. [1], encode the relevant physical information and are naturally mapped onto physical configurations associated to nondisjoint on-shell states. By going further on the mathematical structure of the nested residues, we prove that unphysical singularities vanish, and show how the final expressions can be written by using only causal denominators. In this way, we provide a mathematical proof for the all-loop formulae presented in ref. [2].