Physics with high-luminosity proton-nucleus collisions at the LHC111This is a slightly expanded version of a contribution submitted for the 2025 European Strategy for Particle Physics. Its original version can be found at https://indico.cern.ch/e/pA4LHC along with the list of the 150+ people who endorsed it.

D. d’Enterria222Editor CERN, EP Department, 1211 Geneva, Switzerland C. A. Flett333Editor Université Paris-Saclay, CNRS, IJCLab, 91405 Orsay, France I. Grabowska-Bold444Editor AGH University of Krakow, Faculty of Physics and Applied Computer Science, Krakow C. Hadjidakis555Editor P. Kotko666Editor A. Kusina777Editor Institute of Nuclear Physics, Polish Academy of Sciences, PL-31342 Krakow, Poland J.P. Lansberg888Editor R. McNulty999Editor School of Physics, University College Dublin, Dublin 4, Ireland M. Rinaldi101010Editor Dipartimento di Fisica. Università degli studi di Perugia, and INFN Sezione di Perugia. Via A. Pascoli, Perugia, 06123, Italy L. Bonechi111111Contributor INFN, Sezione di Firenze, Via B. Rossi 1, Sesto Fiorentino 50019, Italy R. Bruce121212Contributor CERN, BE Department, 1211 Geneva, Switzerland C. Da Silva131313Contributor Los Alamos National Laboratory (LANL), Los Alamos, NM, United States E.G. Ferreiro141414Contributor Instituto Galego de Física de Altas Enerxías, Univ. Santiago de Compostela, E-15782, Galicia, Spain S. Fichet151515Contributor CCNH, Universidade Federal do ABC, Santo André, 09210-580 SP, Brazil L. Harland-Lang161616Contributor Department of Physics and Astronomy, University College London, London, WC1E 6BT, UK G. Innocenti171717Contributor Massachusetts Institute of Technology, 371 Richmond Blvd, Ronkonkoma, NY 11779, USA F. Jonas181818Contributor Lawrence Berkeley National Laboratory, Berkeley, California, United States J. M. Jowett191919Contributor GSI Helmholtzzentrum für Schwerionenforschung GmbH, Darmstadt, Germany R. Longo202020Contributor Department of Physics, University of Illinois at Urbana-Champaign, Urbana IL, USA K. Lynch212121Contributor C. McGinn222222Contributor T. Pierog232323Contributor Karlsruhe Institute of Technology 76131 Karlsruhe, Germany M. Pitt242424Contributor S. Redaelli252525Contributor B. Schenke262626Contributor Physics Department, Brookhaven National Laboratory, Upton, NY 11973, USA I. Schienbein272727Contributor Lab. Physique Subatomique et Cosmologie, Univ. Grenoble-Alpes, CNRS/IN2P3, 53 Av. des Martyrs, 38026 Grenoble, France M. Stefaniak282828Contributor The Ohio State University, Department of Physics, 191 Woodruff Avenue, Columbus, OH 43210 M. Strikman292929Contributor Penn State University, University Park, PA 16802, PA, USA L. Szymanowski303030Contributor National Centre for Nuclear Research (NCBJ), Pasteura 7, 02-093 Warsaw, Poland D. Tapia Takaki313131Contributor Department of Physics and Astronomy, The University of Kansas, Lawrence, KS, 66045 USA C. Van Hulse323232Contributor Universidad de Alcalá, Alcalá de Henares , Spain S. Wallon333333Contributor
Abstract

The physics case for the operation of high-luminosity proton-nucleus (pA𝑝𝐴pAitalic_p italic_A) collisions during Run 3 and 4 at the LHC is reviewed. The collection of 𝒪𝒪\mathcal{O}caligraphic_O(1–10 pb-1) of proton-lead (p𝑝pitalic_pPb) collisions at the LHC will provide unique physics opportunities in a broad range of topics including proton and nuclear parton distribution functions (PDFs and nPDFs), generalised parton distributions (GPDs), transverse momentum dependent PDFs (TMDs), low-x𝑥xitalic_x QCD and parton saturation, hadron spectroscopy, baseline studies for quark-gluon plasma and parton collectivity, double and triple parton scatterings (DPS/TPS), photon-photon collisions, and physics beyond the Standard Model (BSM); which are not otherwise as clearly accessible by exploiting data from any other colliding system at the LHC. This report summarises the accelerator aspects of high-luminosity pA𝑝𝐴pAitalic_p italic_A operation at the LHC, as well as each of the physics topics outlined above, including the relevant experimental measurements that motivate –much– larger pA𝑝𝐴pAitalic_p italic_A datasets.

journal: ESPPU

1 Introduction

This document reports the physics case for an ambitious proton-nucleus (pA𝑝𝐴pAitalic_p italic_A) collision programme at the LHC in the context of the forthcoming update of the European strategy for particle physics. Following the physics case outlined in Ref. [1], and a short pilot run to demonstrate feasibility in 2012, the LHC operated p𝑝pitalic_pPb collisions at nucleon-nucleon (NN𝑁𝑁NNitalic_N italic_N) center-of-mass (CM) energies of sNN=5.02, 8.16subscript𝑠𝑁𝑁5.028.16\!\sqrt{s_{NN}}=5.02,\,8.16square-root start_ARG italic_s start_POSTSUBSCRIPT italic_N italic_N end_POSTSUBSCRIPT end_ARG = 5.02 , 8.16 TeV in 2013 and 2016, respectively, but no run has been performed since then, and none is currently planned for the near future. The past p𝑝pitalic_pPb runs have brought essential contributions to particle, heavy-ion, and cosmic-ray physics, leading to, among others, significantly improved nuclear parton distributions functions (nPDFs) [2], and the discovery of new phenomena, such as the onset of parton collectivity [3]. As discussed hereafter, high-luminosity pA𝑝𝐴pAitalic_p italic_A collisions in Run 3 and 4 at sNN=8.54subscript𝑠𝑁𝑁8.54\!\sqrt{s_{NN}}=8.54square-root start_ARG italic_s start_POSTSUBSCRIPT italic_N italic_N end_POSTSUBSCRIPT end_ARG = 8.54 TeV, involving both heavy and light nuclei, are essential to fully exploit a rich experimental programme for the study of quantum chromodynamics (QCD) in the perturbative, nonperturbative, and high-density regimes. They provide, in particular, a unique and complementary environment for uncovering the tomography of the proton and nuclei, and their partonic properties.

Compared to pp𝑝𝑝ppitalic_p italic_p collisions, pA𝑝𝐴pAitalic_p italic_A interactions allow the exploration of nuclear modifications to PDFs and cold nuclear matter effects, which are essential for understanding the initial-state conditions of heavy-ion collisions. Additionally, pA𝑝𝐴pAitalic_p italic_A collisions probe small-x𝑥xitalic_x physics more effectively than pp𝑝𝑝ppitalic_p italic_p, providing insight into gluon saturation and the onset of nonlinear QCD effects, which are enhanced due to the intrinsically larger number of initial partons [4].

Compared to AA𝐴𝐴AAitalic_A italic_A collisions, pA𝑝𝐴pAitalic_p italic_A collisions offer higher nucleon-nucleon CM energies, higher luminosity, and a cleaner environment, free from the final-state complexities of a fully-developed QGP, making them an essential benchmark for interpreting heavy-ion data, while studying the onset of collectivity in small systems. Photoproduction in pA𝑝𝐴pAitalic_p italic_A collisions, which capitalises on the LHC as a photon-collider, complements the ultraperipheral-collisions (UPCs) programme in AA𝐴𝐴AAitalic_A italic_A collisions [5], and has many benefits through being able to distinguish the more energetic photon emitter.

Investigations of quarkonium production [6], exotic hadrons, scenarios beyond the Standard Model (BSM), and hadronisation mechanisms, can all be performed in detail in an environment that bridges the gap between pp𝑝𝑝ppitalic_p italic_p and AA𝐴𝐴AAitalic_A italic_A systems, and improves our understanding of ultrahigh-energy cosmic-ray interactions [7], underscoring the importance of pA𝑝𝐴pAitalic_p italic_A data in advancing our knowledge of high-energy nuclear, particle, and astroparticle physics. The data taken in pA𝑝𝐴pAitalic_p italic_A collisions at Run 1 and 2 of the LHC programme has had a major impact for all these fields, extrapolating precise knowledge of proton collisions to multi-nucleon systems. The novel use of these collisions has brought significant advances to our understanding of both the proton and the nucleus. The Run 3 plan discussions have focused so far on pp𝑝𝑝ppitalic_p italic_p and AA𝐴𝐴AAitalic_A italic_A collisions: the absence of pA𝑝𝐴pAitalic_p italic_A collisions to date is notable and appears as a missed opportunity. This document presents a summary of the accelerator and physics case aspects needed to revert this trend.

2 Accelerator and detector considerations

The LHC has been designed to collide protons and nuclei at a beam energy of 7Z7𝑍7\,Z7 italic_Z TeV (where Z𝑍Zitalic_Z is the ion electric charge) [8] and up to 6.8Z6.8𝑍6.8\,Z6.8 italic_Z TeV has been achieved to date. The LHC typically operates about one month per year with heavy-ion beams, mainly fully stripped Pb nuclei. Initially, the heavy-ion programme consisted only of PbPb collisions, and it was then extended with a new mode of operation with proton-nucleus collisions [9, 1, 10, 11, 12, 13]. Following initial pilot tests, two 1-month physics runs with p𝑝pitalic_pPb collisions were carried out in 2013 and 2016, with integrated luminosities of int220subscriptint220\mathcal{L}_{\text{int}}\approx 220caligraphic_L start_POSTSUBSCRIPT int end_POSTSUBSCRIPT ≈ 220 nb-1 collected in ATLAS and CMS, 75 nb-1 in ALICE, and 36 nb-1 in LHCb, combining the data in Run 1 (2010–2013) and Run 2 (2015–2018). The heavy-ion operation in the ongoing Run 3 (scheduled from 2022 to mid 2026) has consisted of two PbPb runs so far. In the future, collisions with Pb ions are scheduled to continue with 1-month heavy-ion operation in most operational years until the end of Run 4 (scheduled for 2030–2033). Operation with p𝑝pitalic_pPb is included in this plan, but the detailed PbPb and p𝑝pitalic_pPb time allocations have not yet been decided. The goals for future p𝑝pitalic_pPb operation, combining Run 3 and Run 4, are int=1.2subscriptint1.2\mathcal{L}_{\text{int}}=1.2caligraphic_L start_POSTSUBSCRIPT int end_POSTSUBSCRIPT = 1.2 pb-1 at ATLAS and CMS, and 0.6 pb-1 at ALICE and LHCb [14]. The next opportunity for p𝑝pitalic_pPb operation might come already in 2026, however, the decision has not yet been taken. In addition to high-intensity p𝑝pitalic_pPb operation, a short low-intensity p𝑝pitalic_pO run is planned for mid-2025 [15].

The assumed LHC scenario for future p𝑝pitalic_pPb operation considers the same machine cycle as for PbPb [16], relying on crystal collimation [17], and round optics with β=0.5superscript𝛽0.5\beta^{*}=0.5italic_β start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT = 0.5 m at ALICE, ATLAS, and CMS. However, a more complicated setup of the radiofrequency (RF) system is needed. Because of the difference in charge-to-mass ratio between protons and Pb, the two species have different revolution frequencies at equal momentum per charge. Therefore, both beams have to be brought off-momentum in different directions by the RF cavities to equalise their frequencies, such that the longitudinal locations of the collision points are stationary. This momentum offset is introduced only at top energy due to aperture constraints. An additional challenge is the beam-beam effect between the asymmetric beams and the moving long-range beam-beam encounters [13, 18]. We assume the same structure of the Pb beam as in PbPb operation, with 50-ns bunch spacing by interleaving different bunch trains longitudinally in the SPS (“slip-stacking”), and an opposing 50-ns proton beam with low intensity. The proton beam is produced in a different way by the injectors, and a perfect overlap between the two beams cannot be obtained, resulting in slightly fewer colliding bunches per experiment. It is also assumed that only ALICE needs luminosity levelling at 5×10295superscript10295\times 10^{29}5 × 10 start_POSTSUPERSCRIPT 29 end_POSTSUPERSCRIPT cm-2s-1 in order to limit the event rate to about 1 MHz.

The projected future luminosity performance in single p𝑝pitalic_pPb fills have been simulated with the CTE code [19] extrapolated over a full 1-month run [20]. Recent calculations with updated filling schemes give projected int0.33subscriptint0.33\mathcal{L}_{\text{int}}\approx 0.33caligraphic_L start_POSTSUBSCRIPT int end_POSTSUBSCRIPT ≈ 0.33 pb-1 at ALICE, 0.47 pb-1 at ATLAS/CMS, 0.15 pb-1 at LHCb, for a 1-month run (24 days of physics) at sNN=subscript𝑠𝑁𝑁absent\!\sqrt{s_{NN}}=square-root start_ARG italic_s start_POSTSUBSCRIPT italic_N italic_N end_POSTSUBSCRIPT end_ARG = 8.54 TeV (6.8 Z𝑍Zitalic_Z TeV beam energy). These numbers carry large uncertainties and depend highly on machine availability and achieved beam parameters. If p𝑝pitalic_pPb collisions are performed at the lower PbPb beam energy, to be used as reference data for the latter and profiting from the same pp𝑝𝑝ppitalic_p italic_p reference data set, the luminosity would be reduced. Table 1 summarises the delivered intsubscriptint\mathcal{L}_{\text{int}}caligraphic_L start_POSTSUBSCRIPT int end_POSTSUBSCRIPT, the targets for future runs, the projected intsubscriptint\mathcal{L}_{\text{int}}caligraphic_L start_POSTSUBSCRIPT int end_POSTSUBSCRIPT per run, and the number of runs needed to reach the targets. We note that one day of high-luminosity p𝑝pitalic_pPb running corresponds to 10–20% of the total intsubscriptint\mathcal{L}_{\text{int}}caligraphic_L start_POSTSUBSCRIPT int end_POSTSUBSCRIPT gathered thus far. Given that up to four 1-month runs are needed to reach the target intsubscriptint\mathcal{L}_{\text{int}}caligraphic_L start_POSTSUBSCRIPT int end_POSTSUBSCRIPT, and there will likely be at most two p𝑝pitalic_pPb runs until the end of Run 4, several ways of improving the performance are being explored.

Table 1: Delivered integrated luminosities in p𝑝pitalic_pPb collisions in Run 1 and Run 2, intsubscriptint\mathcal{L}_{\text{int}}caligraphic_L start_POSTSUBSCRIPT int end_POSTSUBSCRIPT targets in p𝑝pitalic_pPb collisions in Run 3 and 4, and number of runs needed to achieve these intsubscriptint\mathcal{L}_{\text{int}}caligraphic_L start_POSTSUBSCRIPT int end_POSTSUBSCRIPT with the presently predicted performance.
ALICE ATLAS/CMS LHCb
Total intsubscriptint\mathcal{L}_{\text{int}}caligraphic_L start_POSTSUBSCRIPT int end_POSTSUBSCRIPT delivered in Run 1 and Run 2 (nb-1) 75 220 36
Target intsubscriptint\mathcal{L}_{\text{int}}caligraphic_L start_POSTSUBSCRIPT int end_POSTSUBSCRIPT for Run 3 and Run 4 (pb-1) 0.6 1.2 0.6
Projected intsubscriptint\mathcal{L}_{\text{int}}caligraphic_L start_POSTSUBSCRIPT int end_POSTSUBSCRIPT per 1-month run (pb-1[21] 0.33 0.47 0.15
Number of runs needed to reach targets 1.8 2.5 4

Increasing the Pb intensity, which might be within reach based on the injector performance in 2024 and on the upgrades deployed at the LHC [22], is a good way forward, but likely not enough to reach the targets at all IPs in two runs. Decreasing the proton-beam bunch spacing to 25 ns, as used in standard pp𝑝𝑝ppitalic_p italic_p operation, allows for more collisions at LHCb without penalizing other experiments. The peak luminosity can be further increased with higher proton bunch intensity, which would benefit all experiments except ALICE, assumed to be levelling. Further improvements might come from reduced βsuperscript𝛽\beta^{*}italic_β start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT and crossing angles. However, studies are needed to investigate the feasibility of all these measures, e.g. in view of the much stronger beam-beam effects, as well as beam instrumentation in case of very asymmetric beams. It therefore remains as future work to investigate realistic scenarios where all experiments meet their intsubscriptint\mathcal{L}_{\text{int}}caligraphic_L start_POSTSUBSCRIPT int end_POSTSUBSCRIPT targets.

In Run 4, the p𝑝pitalic_pPb programme will benefit from improved experimental setups, including enhanced forward detection capabilities (e.g., extended ATLAS and CMS trackers over |η|<4𝜂4|\eta|<4| italic_η | < 4 [23, 24] and ALICE FoCal with 3.2<η<5.83.2𝜂5.83.2<\eta<5.83.2 < italic_η < 5.8 [25]), and forward proton detectors (e.g., CMS PPS [26]). Beyond Run 4, ion operation at the LHC is planned to continue, including the planned ALICE 3 detector [27] for Run 5 and beyond. The main goal for this period will be to produce significantly higher nucleon-nucleon luminosities, and other nuclei than Pb are being investigated. Studies of achievable intensities for a range of ion species are ongoing in the CERN injector complex. A detailed programme for this period has not been elaborated yet, and pA𝑝𝐴pAitalic_p italic_A collisions might be included. Initial studies of the foreseen performance have been presented in [13, 28], although the achievable ion bunch intensities will need to be revised in the future. Furthermore, as there are no technical limitations to colliding protons with other nuclei than Pb, short low-intensity runs in such configurations may be envisaged, similarly to the planned oxygen run in 2025, although they are not yet part of the official LHC plan.

3 The physics case

The physics case for high-luminosity proton-nucleus collisions at the LHC is summarised in nine subsections below, each covering the following research topics: (i) Constraints on nuclear parton distribution functions, (ii) constraints on proton GPDs and PDFs, (iii) small-x𝑥xitalic_x QCD and gluon saturation physics, (iv) benchmark for QGP physics and onset of collectivity, (v) double and triple parton scatterings, (vi) spectroscopy of bound states, (vii) photon-photon collisions, (viii) beyond the Standard Model physics, and (ix) connections to ultra high-energy cosmic rays.

3.1 Constraints on nuclear parton distribution functions (nPDFs and nTMDs)

Nuclear parton distribution functions (nPDFs) describe nuclei in terms of quarks and gluons, carrying a given longitudinal momentum fraction x𝑥xitalic_x at a factorisation scale μ𝜇\muitalic_μ, and are essential universal ingredients in the description of all high-energy nuclear processes based on perturbative QCD (pQCD). When the parton density description is extended to explicitly incorporate the transverse momentum (kTsubscript𝑘Tk_{\mathrm{T}}italic_k start_POSTSUBSCRIPT roman_T end_POSTSUBSCRIPT) of the incoming partons, they are called nuclear Transverse Momentum Dependent PDFs (nTMDs). Before LHC p𝑝pitalic_pPb data was available, knowledge of nPDFs was relatively scarce and mostly limited to lepton DIS on fixed-target nuclei. This provided information in the rather narrow region 0.01<x<0.20.01𝑥0.20.01<x<0.20.01 < italic_x < 0.2 for up and down valence quarks alone, whereas the gluon and strange nPDFs were essentially unknown and arbitrarily fixed by different nPDF parametrisations [29, 30, 31, 32, 33]. After limited p𝑝pitalic_pPb LHC running, the situation today is very different as summarised in Fig. 1. Most of the parton densities are known with a precision better than 20% in the region 105<x<0.1superscript105𝑥0.110^{-5}<x<0.110 start_POSTSUPERSCRIPT - 5 end_POSTSUPERSCRIPT < italic_x < 0.1. This is a major improvement compared to pre-LHC times, and it needs to be highlighted that this was achieved solely thanks to p𝑝pitalic_pPb data. Nevertheless, the current nPDF uncertainties are still insufficient for performing precise theoretical calculations of any process involving nuclei, including heavy ions at colliders and cosmic-ray interactions. Disentangling cold nuclear-matter effects in the initial and final states, separating beyond-DGLAP parton evolution (saturation and BFKL) from other nuclear effects, or studying the QGP in PbPb collisions all depend on the baseline description obtained with nPDFs.

A critical component for studying QCD with heavy ions is better information on the gluon nPDF in both the high and very low x𝑥xitalic_x regions. Some access to high-x𝑥xitalic_x gluons is provided by the fixed-target SMOG2 programme at the LHC [34, 35], while moderate-x𝑥xitalic_x values can be probed at the EIC [36]. However, low-x𝑥xitalic_x gluons are uniquely accessible in p𝑝pitalic_pPb collisions. The pA𝑝𝐴pAitalic_p italic_A running to date has given some constraints on the low-x𝑥xitalic_x (x105similar-to𝑥superscript105x\sim 10^{-5}italic_x ∼ 10 start_POSTSUPERSCRIPT - 5 end_POSTSUPERSCRIPT) gluon distribution [37, 38, 39, 40, 41]. However, this information comes solely from the heavy-flavour measurements (D𝐷Ditalic_D, B𝐵Bitalic_B, and quarkonium production) which are also sensitive to final-state nuclear effects [42]. Similar problems hold when searching for saturation or studying low-x𝑥xitalic_x evolution, see Sec. 3.3. To disentangle different effects, more data in the low-x𝑥xitalic_x region are required, where a promising candidate is coherent J/ψ𝐽𝜓J/\psiitalic_J / italic_ψ photoproduction on the nucleus in pA𝑝𝐴pAitalic_p italic_A ultraperipheral collisions (UPCs) [5].

Refer to caption
Figure 1: Comparison of nPDF nuclear modification factors for P208bsuperscript𝑃208𝑏{}^{208}Pbstart_FLOATSUPERSCRIPT 208 end_FLOATSUPERSCRIPT italic_P italic_b (i.e. the parton densities of lead divided by the averaged PDFs of 82 free protons and 126 free neutrons) for different parton species from various global analyses compared in Ref. [2]. Uncertainty bands correspond to 90% CL.

Although the photon is usually emitted from the nucleus, when it comes from the proton, its (much) higher longitudinal energy leads to differently boosted final states through which the events can be distinguished. However, the cross section is low, and sufficient statistics for PDF constraints require high luminosity. The x103less-than-or-similar-to𝑥superscript103x\lesssim 10^{-3}italic_x ≲ 10 start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT region can also be studied in pA𝑝𝐴pAitalic_p italic_A collisions through measurements of Drell–Yan (DY), isolated photons, W𝑊Witalic_W, and Z𝑍Zitalic_Z boson production at forward rapidities using LHCb and ALICE detectors [2]. For mid- and high-x𝑥xitalic_x gluon nPDFs, the cleanest probe is top-quark production, where sufficient statistics to obtain precise differential distributions [43, 44] require high luminosity: the current data being only sufficient to extract the total tt¯𝑡¯𝑡t\bar{t}italic_t over¯ start_ARG italic_t end_ARG cross section [45, 46]. Another option for constraining the mid-x𝑥xitalic_x gluon is inclusive jet or dijet data, as well as γ+limit-from𝛾\gamma\,+\,italic_γ +jet and Z+limit-from𝑍Z+italic_Z +jet measurements [47]. Furthermore, the measurement of γ+limit-from𝛾\gamma\,+\,italic_γ +heavy-quark allows probing intrinsic charm [31].

In addition to the constraints on the gluon nPDF, a large pA𝑝𝐴pAitalic_p italic_A dataset will allow quark nPDFs to be constrained, in particular through the aforementioned DY and W/Z𝑊𝑍W/Zitalic_W / italic_Z measurements both in central and forward/backward regions [44, 47]. It will provide information on sea-quark PDFs, allowing for flavour separation, and access the poorl known strange nPDF. However, in this latter case much better constraints will be provided by the measurement of the rarer W+limit-from𝑊W\,+\,italic_W +charm production [48], which is directly sensitive to the strange quarks in the nucleus, and with sufficient statistics can even provide information on the ss¯𝑠¯𝑠s-\bar{s}italic_s - over¯ start_ARG italic_s end_ARG asymmetry. Finally, it should be highlighted that extending the pA𝑝𝐴pAitalic_p italic_A programme to run with more than one nucleus would allow the study of the nuclear A𝐴Aitalic_A-dependence of nPDFs, which is very poorly known. Currently, because of the LHC p𝑝pitalic_pPb runs, the nPDFs of the lead nucleus are the only ones for which there are constraints for all flavours. For other nuclei which are relatively well studied, such as iron and carbon, only reliable information on up and down (anti)quarks is available. Hence, already having runs with lead and oxygen would make a big impact on our understanding of the nuclear mass dependence of nPDFs. A proton-oxygen run allowing the measurement of single differential dijet cross sections would significantly constrain gluons in light nuclei and shed light on its A𝐴Aitalic_A-dependence [49]. Similarly, detailed pA𝑝𝐴pAitalic_p italic_A studies are needed to probe the badly known impact-parameter dependence of nPDFs [50, 51, 52].

With regard to studies of TMDs at the LHC, the flagship processes are the Z𝑍Zitalic_Z-boson transverse momentum pTsubscript𝑝Tp_{\mathrm{T}}italic_p start_POSTSUBSCRIPT roman_T end_POSTSUBSCRIPT spectra to constrain the quark TMD, and two-particle correlations for colour-singlet final states to study the gluon TMD distributions [53, 54, 55, 56, 57, 58, 59, 60]. Although the HL-LHC programme is essential for a better understanding of the gluon TMDs in the proton, through precise measurements of azimuthal correlations in pp𝑝𝑝ppitalic_p italic_p collisions [60], the pA𝑝𝐴pAitalic_p italic_A data would help constrain nTMDs, both for quarks and gluons. Currently, the DY process in p𝑝pitalic_pPb collisions measured at LHC by CMS [61] and ATLAS [62], together with other available lepton-nucleus data, were used to perform a global fit of the quark nTMD [63]. In addition, experimental constraints of nTMDs will help to match the leading-power TMDs discussed here with the small-x𝑥xitalic_x TMDs appearing in the context of gluon saturation (cf. Table 2 below).

3.2 Constraints on proton GPDs and PDFs

UPCs at the LHC serve as an abundant source of high-energy photons making the LHC by far the most energetic photon–proton collider ever [5]. In photoproduction processes in pA𝑝𝐴pAitalic_p italic_A collisions, the ion is usually the γ𝛾\gammaitalic_γ emitter, since the photon flux is proportional to the square of the ion charge, ϕγ/AZ2proportional-tosubscriptitalic-ϕ𝛾𝐴superscript𝑍2\phi_{\gamma/A}\propto Z^{2}italic_ϕ start_POSTSUBSCRIPT italic_γ / italic_A end_POSTSUBSCRIPT ∝ italic_Z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, and this emitted photon acts as a probe of the proton. Compared to pp𝑝𝑝ppitalic_p italic_p collisions, pA𝑝𝐴pAitalic_p italic_A collisions offer a distinct advantage when probing the nucleon since there is less ambiguity in the identity of the photon emitter (see also [64]). This partly compensates for the lower luminosity. A further benefit is the absence of significant pileup in pA𝑝𝐴pAitalic_p italic_A collisions in comparison to pp𝑝𝑝ppitalic_p italic_p running, where the superposition of up to 200 collisions per beam crossing in Run 4 makes the identification of photoproduction events almost impossible. Compared to AA𝐴𝐴AAitalic_A italic_A collisions in which the nuclear PDF is probed, it is the free-proton PDF that is probed in pA𝑝𝐴pAitalic_p italic_A collisions. Both exclusive and inclusive photoproduction studies are possible, and the quasi-real nature of the photon coherently emitted by the nucleus allows accurate measurements of various distributions related to the proton structure, such as PDFs and Generalised Parton Distributions (GPDs).

Photon-induced measurements in pA𝑝𝐴pAitalic_p italic_A UPCs provide access to GPDs in a unique kinematic region different from that of fixed-target experiments (COMPASS, HERMES, JLab), and the upcoming EIC. Final states composed of two photons [65, 66, 67], a meson-photon pair [68, 69, 70, 71], or a meson-meson pair [72] cover the whole set of unpolarised, polarised, and transversity GPDs with small-ξ𝜉\xiitalic_ξ reach343434Here, ξ𝜉\xiitalic_ξ is the longitudinal momentum asymmetry between the initial and final states., and provide complementary observables for the chiral-even sector in DVCS and DVMP. Projections for p𝑝pitalic_pPb UPCs have been performed for γπ±𝛾superscript𝜋plus-or-minus\gamma\pi^{\pm}italic_γ italic_π start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT [70] and γρ±,0𝛾superscript𝜌plus-or-minus0\gamma\rho^{\pm,0}italic_γ italic_ρ start_POSTSUPERSCRIPT ± , 0 end_POSTSUPERSCRIPT [71], resulting in promising anticipated statistics, both in the chiral-even and chiral-odd sectors at moderate ξ𝜉\xiitalic_ξ, the low-ξ𝜉\xiitalic_ξ region being more favourable for the chiral-even sector. Collecting int=1.2subscriptint1.2\mathcal{L}_{\text{int}}=1.2caligraphic_L start_POSTSUBSCRIPT int end_POSTSUBSCRIPT = 1.2 pb-1 of data in Runs 3 and 4, and ensuring that the square of the γlimit-from𝛾\gamma-italic_γ -meson invariant mass is above 2 GeV2, about 16,000γρL016000𝛾superscriptsubscript𝜌𝐿016,000\,\gamma\rho_{L}^{0}16 , 000 italic_γ italic_ρ start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT pairs (1,700γρT01700𝛾superscriptsubscript𝜌𝑇01,700\,\gamma\rho_{T}^{0}1 , 700 italic_γ italic_ρ start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT pairs) are expected to be produced, which probe the chiral-even (chiral-odd) sector of GPDs. With the same integrated luminosity, in the small 5105<ξ<51035superscript105𝜉5superscript1035\cdot 10^{-5}<\xi<5\cdot 10^{-3}5 ⋅ 10 start_POSTSUPERSCRIPT - 5 end_POSTSUPERSCRIPT < italic_ξ < 5 ⋅ 10 start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT range, about 800γρL0800𝛾superscriptsubscript𝜌𝐿0800\,\gamma\rho_{L}^{0}800 italic_γ italic_ρ start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT pairs are expected. By extension, the study of meson-meson pair production at large invariant mass can in addition provide access to the whole set of GPDs, with the practical advantage that a photon is not required to be observed in the final state [72].

Measurements of exclusive quarkonium (QQ\pazocal{Q}roman_Q) photoproduction, γpQp𝛾𝑝Qp\gamma p\to\pazocal{Q}pitalic_γ italic_p → roman_Q roman_p, across multiple collision systems span a broad kinematic range in γ𝛾\gammaitalic_γ-proton CM energy [73, 74, 75, 76, 77, 78, 79], and have been measured in pA𝑝𝐴pAitalic_p italic_A and low-luminosity pp𝑝𝑝ppitalic_p italic_p collisions at the LHC. Such measurements are necessary for the extraction of GPDs, since these depend on both variables. These measurements extend the coverage provided by HERA and probe much higher CM energies than will be available at the EIC. The HL p𝑝pitalic_pPb programme offers extended coverage in x𝑥xitalic_x and greater statistical precision, particularly for ψ(2S)𝜓2𝑆\psi(2S)italic_ψ ( 2 italic_S ) and ΥΥ\Upsilonroman_Υ measurements [80]. In addition, there are reduced model dependencies in the calculation of the survival factor due to the absence of the two-fold ambiguity of the emitter [81]. The measurements will provide strong constraints on gluon GPDs [82], which are poorly known, and constrain the gluon PDFs via the Shuvaev transform for Q22.4superscript𝑄22.4Q^{2}\approx 2.4italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≈ 2.422222222 GeV2 and x3106𝑥3superscript106x\approx 3\cdot 10^{-6}italic_x ≈ 3 ⋅ 10 start_POSTSUPERSCRIPT - 6 end_POSTSUPERSCRIPT103superscript10310^{-3}10 start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT [83, 84, 85]. Analyses using J/ψ𝐽𝜓J/\psiitalic_J / italic_ψ photoproduction data in pp𝑝𝑝ppitalic_p italic_p have already shown the possibility to reduce PDF uncertainties in a previously unexplored kinematic domain [86, 87, 88]. The p𝑝pitalic_pPb measurements will decrease the theoretical uncertainties and improve the precision with which the PDFs are determined. Furthermore, measurements of higher-mass quarkonia, such as ΥΥ\Upsilonroman_Υ, will provide constraints on the Q2superscript𝑄2Q^{2}italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT evolution in the mid-to-low x𝑥xitalic_x domain and test factorisation [89], while the σ(ψ(2S))/σ(J/ψ)𝜎𝜓2𝑆𝜎𝐽𝜓\sigma(\psi(2S))/\sigma(J/\psi)italic_σ ( italic_ψ ( 2 italic_S ) ) / italic_σ ( italic_J / italic_ψ ) cross-section ratio will measure the structure of the radial wavefunction at the origin. To measure the photon PDF of the proton, a new experimental method has been proposed [90], based on the measurement of dilepton production via γp+++X𝛾𝑝superscriptsuperscript𝑋\gamma p\to\ell^{+}\ell^{+}+Xitalic_γ italic_p → roman_ℓ start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT roman_ℓ start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT + italic_X in pA𝑝𝐴pAitalic_p italic_A collisions.

The t𝑡titalic_t-dependence of J/ψ𝐽𝜓J/\psiitalic_J / italic_ψ photoproduction on the nucleus has been measured in PbPb collisions [91], but a cross-section measurement doubly differential in energy and t𝑡titalic_t, for photoproduction on the proton, will only be possible with HL-pA𝑝𝐴pAitalic_p italic_A collisions. A fit of the γpJ/ψp𝛾𝑝𝐽𝜓𝑝\gamma p\to J/\psi pitalic_γ italic_p → italic_J / italic_ψ italic_p cross-section as a function of both energy and t𝑡titalic_t will allow a determination of the slope and intercept of the Pomeron trajectory. Such a measurement can also probe the validity of the widely-adopted factorisation of the t𝑡titalic_t-dependence in PDF and GPD modelings. Measurements of exclusive J/ψ𝐽𝜓J/\psiitalic_J / italic_ψ production in pA𝑝𝐴pAitalic_p italic_A collisions can also look for higher-twist GPD contributions by testing s𝑠sitalic_s-channel helicity conservation through measurements of the meson polarisation. First measurements have been performed in PbPb collisions [92], but more data are required to perform the test in pA𝑝𝐴pAitalic_p italic_A collisions.

Besides the exclusive processes discussed above, UPCs can also lead to inclusive photoproduction processes. To date, inclusive UPCs have been only measured in PbPb collisions looking for dijet [93, 94] and charm [95] photoproduction. Inclusive quarkonium photoproduction has been shown [96] to be measurable by the four LHC experiments in p𝑝pitalic_pPb UPCs, and would increase the pTsubscript𝑝Tp_{\mathrm{T}}italic_p start_POSTSUBSCRIPT roman_T end_POSTSUBSCRIPT reach of the HERA data [97, 98, 99] from 10 to 20 GeV and even of the future EIC [100]. Similarly, dijet, charm, bottom inclusive photoproduction, to name a few, will be accessible in p𝑝pitalic_pPb UPCs and will improve the determination of the lowx𝑥-x- italic_x gluon PDFs of the proton. In addition, the corresponding J/ψ𝐽𝜓J/\psiitalic_J / italic_ψ, ΥΥ\Upsilonroman_Υ, and ψ(2S)𝜓2𝑆\psi(2S)italic_ψ ( 2 italic_S ) spectra, particularly at large pTsubscript𝑝Tp_{\mathrm{T}}italic_p start_POSTSUBSCRIPT roman_T end_POSTSUBSCRIPT, would discriminate better among different production mechanisms compared to single inclusive hadroproduction data in pp𝑝𝑝ppitalic_p italic_p at the HL-LHC. Finally, the pTsubscript𝑝Tp_{\mathrm{T}}italic_p start_POSTSUBSCRIPT roman_T end_POSTSUBSCRIPT spectrum of non-prompt J/ψ𝐽𝜓J/\psiitalic_J / italic_ψ photoproduction is also measurable, probing bottom photoproduction and improving the interpretation of the HERA J/ψ𝐽𝜓J/\psiitalic_J / italic_ψ data. Measurements of J/ψ𝐽𝜓J/\psiitalic_J / italic_ψ dissociative photoproduction are sensitive to shape fluctuations of the proton [101], in particular to energy-dependent gluonic hot spots, which should be increasingly suppressed at high energies [102]. The ALICE forward calorimeter (FoCal) [103, 104] is particularly suited to directly test this phenomenon in p𝑝pitalic_pPb collisions [105]: a dissociative J/ψ𝐽𝜓J/\psiitalic_J / italic_ψ cross section falling with CM energy would signal the onset of nonlinear QCD effects.

3.3 Small-x𝑥xitalic_x QCD and gluon-saturation physics

The phenomenon of gluon saturation arises from the nonlinear nature of QCD at high energies [106, 107, 108, 109], and manifests itself as a breaking of the DGLAP-based description of PDFs [110, 111]. It is expected that a hadronic target is found in a saturated state, when a probe (quark or gluon) scatters off a small-x𝑥xitalic_x gluon constituent, with x104less-than-or-similar-to𝑥superscript104x\lesssim 10^{-4}italic_x ≲ 10 start_POSTSUPERSCRIPT - 4 end_POSTSUPERSCRIPT. Due to the nonlinear effects, a dynamical saturation scale Qs(x)subscript𝑄𝑠𝑥Q_{s}(x)italic_Q start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_x ) is generated, which is further enhanced by the target mass number, roughly Qs2(x)A1/3similar-tosubscriptsuperscript𝑄2𝑠𝑥superscript𝐴13Q^{2}_{s}(x)\sim A^{1/3}italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_x ) ∼ italic_A start_POSTSUPERSCRIPT 1 / 3 end_POSTSUPERSCRIPT for large nucleus [4, 112, 113, 114]. Therefore, direct searches for gluon saturation are best performed through scattering off heavy nuclei, and measuring forward particle production observables, using pp𝑝𝑝ppitalic_p italic_p collisions as a reference.

A suppression of the forward pA𝑝𝐴pAitalic_p italic_A cross sections (per nucleon) compared to pp𝑝𝑝ppitalic_p italic_p was observed at RHIC, both for inclusive hadron production and two-particle correlations [115, 116, 117, 118, 119], and at the LHC in the inclusive hadron pTsubscript𝑝Tp_{\mathrm{T}}italic_p start_POSTSUBSCRIPT roman_T end_POSTSUBSCRIPT spectra measured by LHCb [120, 121]. While qualitatively consistent with the saturation picture, the Colour Glass Condensate (CGC) theory for saturation predicts less suppression than observed [122]. Indirectly, nonlinear effects may be visible [123] in J/ψ𝐽𝜓J/\psiitalic_J / italic_ψ photoproduction on the nuclear target in PbPb UPCs by ALICE and CMS [124, 125, 126] compared to results on the proton target [127, 78, 128, 77]. On the other hand, the data [124] cannot distinguish between saturation [129, 130, 131] and non-saturation models. Similarly, the comparison of dijet correlations in the ATLAS forward rapidity for p𝑝pitalic_pPb and pp𝑝𝑝ppitalic_p italic_p [132] seems to suggest a subtle interplay of nonlinear effects and perturbative Sudakov resummation [133], although subject to large experimental and theoretical uncertainties. Finally, the forward inclusive jet energy deposit in p𝑝pitalic_pPb collisions measured by CMS in the CASTOR detector [134] seems to challenge both the theoretical descriptions based on saturation [135, 136, 137], as well as the available Monte Carlo event generators.

In view of the above, a dedicated pA𝑝𝐴pAitalic_p italic_A LHC programme is crucial in disentangling the different effects and finding clear evidence for nonlinear evolution in nuclei. Since one of the essential predictions of the gluon saturation models is the collective behaviour of gluons (carrying average transverse momenta kTQssimilar-tosubscript𝑘Tsubscript𝑄𝑠k_{\mathrm{T}}\sim Q_{s}italic_k start_POSTSUBSCRIPT roman_T end_POSTSUBSCRIPT ∼ italic_Q start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT), the most significant observables are related to azimuthal particle correlations at forward rapidities. The CGC theory predicts a sensitivity of the initial-state target to the colour flow in the final state. Therefore, one of the crucial measurements are azimuthal correlations for various final states at broad transverse momentum range, including photoproduction on a nuclear target in UPCs. From a theoretical viewpoint, the simplest two-particle correlations sensitive to saturation are photon-jet and photon-hadron correlations in p𝑝pitalic_pPb collisions at large |η|𝜂|\eta|| italic_η |. The cross section depends on a single non-perturbative TMD small-x𝑥xitalic_x gluon field correlator, called the dipole gluon distribution, which is also accessible in inclusive DIS [138] (see [139, 140, 141, 142] for phenomenological predictions). Photon-jet correlations can be accessed up to η5.1𝜂5.1\eta\approx 5.1italic_η ≈ 5.1, in the planned FoCal calorimeter of ALICE, in LHCb, and up to |η|=4𝜂4|\eta|=4| italic_η | = 4 in ATLAS and CMS at HL-LHC. In addition to the dipole TMD gluon distribution, the description of small-x𝑥xitalic_x phenomena in the saturation regime requires other types of TMD gluon distributions [138, 143]. The Weizsäcker-Williams (WW) distribution, used in the leading-power TMD factorisation formalism [144], can be directly probed at the LHC in dijet correlations in UPC photoproduction on a nuclear target [145, 146, 147], which would complement similar future measurements performed at EIC [148]. Table 2 summarises the impact of the two basic small-x𝑥xitalic_x TMD distributions to different processes accessible at HL-LHC. In particular, the precise measurement of dihadron and dijet correlations in p𝑝pitalic_pPb collisions at forward rapidity [149, 150], as well as transverse energy-energy correlators [151], will provide stringent theory tests.

Table 2: Impact of the two basic small-x𝑥xitalic_x TMD gluon distributions to various processes accessible in HL proton-nucleus collisions at the LHC (adapted from [138]).
TMD type hadron in pA𝑝𝐴pAitalic_p italic_A photon-jet in pA𝑝𝐴pAitalic_p italic_A dijet in γA𝛾𝐴\gamma Aitalic_γ italic_A (AA𝐴𝐴AAitalic_A italic_A UPC) dijet in pA𝑝𝐴pAitalic_p italic_A
WW
dipole

Exclusive photoproduction of light mesons with a rapidity gap can help discriminate between the non-saturation (à la BFKL) and saturation (CGC) scenarios by exploiting their different t𝑡titalic_t dependence. Exploring the entire spin density matrix should provide a large set of observables [152, 153, 154, 155, 156], giving access to the generalised TMDs (GTMDs) of the proton. Single [157] and double [158] hadron photoproduction processes are also sensitive to GTMDs, but single inclusive observables will remain important. Last but not least, a full understanding of low-x𝑥xitalic_x dynamics will require more direct observables of the intermediate region of high gluon density targets, where the low-x𝑥xitalic_x linear BFKL energy evolution is needed, but saturation is not relevant yet. In particular, despite there being indirect experimental evidence for the Odderon in elastic pp𝑝𝑝ppitalic_p italic_p scattering [159], there are no experimental hints of the Odderon in the hard sector. To address this, pA𝑝𝐴pAitalic_p italic_A collisions provide good prospects for observation through interference effects in exclusive π+πsuperscript𝜋superscript𝜋\pi^{+}\pi^{-}italic_π start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_π start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT photoproduction [160]; by the observation of C=+1𝐶1C=+1italic_C = + 1 mesons in photoproduction [161]; and through the transverse momentum distribution of exclusive J/ψ𝐽𝜓J/\psiitalic_J / italic_ψ mesons [162].

3.4 Benchmark for QGP physics and onset of parton collectivity

One of the main motivations for studying pA𝑝𝐴pAitalic_p italic_A collisions at the LHC was to obtain a reliable baseline, without final-state effects, to interpret the AA𝐴𝐴AAitalic_A italic_A-collision results. However, with the rising interest in parton collectivity in small systems (e.g. in the creation of QGP in p𝑝pitalic_pPb collisions) the pA𝑝𝐴pAitalic_p italic_A programme itself merits dedicated study. Historically, pA𝑝𝐴pAitalic_p italic_A collisions at the LHC and RHIC were mainly motivated by measuring the so-called “cold” nuclear matter effects on strongly interacting probes of the QGP. Their main purpose was to measure how the production of such probes was suppressed by the modification of the nuclear partonic densities, by initial-state energy loss, and/or by final-state interactions [163]. The pA𝑝𝐴pAitalic_p italic_A runs have proven to be absolutely essential as they uncovered a variety of unexpected effects which need to be understood in their own right, as well as being crucial for the interpretation of AA𝐴𝐴AAitalic_A italic_A measurements. In particular, the observations of azimuthal correlations that are long-range in rapidity, are indicative of collective behaviour in high multiplicity pp𝑝𝑝ppitalic_p italic_p [164] and p𝑝pitalic_pPb [165, 166, 167] collisions. This observed collectivity in small systems has triggered intensive research [168, 3] to understand its origins. Explanations range from strong final-state effects similar to AA𝐴𝐴AAitalic_A italic_A collisions, to initial-state effects due to gluon saturation, while the success of hydrodynamic models in describing the p𝑝pitalic_pPb data calls for further research. High luminosity p𝑝pitalic_pPb collisions also provide a unique opportunity to study complex vortex-like structures in QGP droplets; for example, studies of hyperon polarisation could lead to the discovery of the toroidal vorticity in nuclear matter [169, 170]. Therefore, while more detailed pA𝑝𝐴pAitalic_p italic_A studies of cold nuclear matter effects, e.g. the relative suppression of excited quarkonia compared to their ground states in p𝑝pitalic_pPb collisions, are needed, a HL-pA𝑝𝐴pAitalic_p italic_A run at the LHC will also provide much further information on the origins of parton collectivity.

3.5 Double and triple parton scatterings

Double and triple parton scattering (DPS and TPS) processes in high-energy hadron-hadron collisions open up novel opportunities to investigate the partonic hadron structure [171, 172, 173, 174], and complement the multidimensional picture of hadrons as described by GPDs and TMDs. In addition, DPS and TPS final states constitute backgrounds for BSM searches (see e.g. Ref. [175]). Although the DPS and TPS signals are typically much smaller than the equivalent signal produced in single parton scattering (SPS) processes, they can be enhanced by extending the transverse size of one of the colliding hadrons using heavy nuclear targets353535In p𝑝pitalic_pPb collisions (A=208𝐴208A=208italic_A = 208), DPS and TPS yields are enhanced by factors of about 3×A3𝐴3\times A3 × italic_A and 9×A9𝐴9\times A9 × italic_A compared to pp𝑝𝑝ppitalic_p italic_p collisions [176]. [177, 178, 179, 180, 181], whereas they are completely swamped by binary-scaling contributions from different nucleon-nucleon scatterings in AA𝐴𝐴AAitalic_A italic_A collisions [182, 176]. Multiple experimental analyses of DPS have been performed, whose results are usually summarised through the extraction of the so-called effective cross section, σeffsubscript𝜎eff\sigma_{\text{eff}}italic_σ start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT, defined as the normalised ratio of SPS to DPS cross sections for the same final states. This quantity provides critical insights into the transverse hadron structure, and badly known double parton correlations [174]. In a purely geometric approach, σeffsubscript𝜎eff\sigma_{\text{eff}}italic_σ start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT is assumed to be a process-independent constant [176, 183], although recent compilation of measurements show differences between σeffsubscript𝜎eff\sigma_{\text{eff}}italic_σ start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT extracted from processes involving quarkonium [184, 185, 186, 187, 188, 189] and jets or gauge-boson production [190]. Parton correlations might explain these discrepancies, which can be better investigated with HL-p𝑝pitalic_pPb data.

Estimates for DPS and TPS contributions to heavy-quark, quarkonium and/or electroweak pair production in p𝑝pitalic_pPb collisions at the LHC have been provided in Refs. [181, 191]. To date, only two experimental extractions of σeffsubscript𝜎eff\sigma_{\text{eff}}italic_σ start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT exist in p𝑝pitalic_pPb collisions from double charm mesons [192] and double J/ψ𝐽𝜓J/\psiitalic_J / italic_ψ [190] production. Both measurements are statistically limited and more data are required. A clean extraction of σeffsubscript𝜎eff\sigma_{\text{eff}}italic_σ start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT is possible from same-sign W boson production [179], where a few pb-1 of data would allow a precision of 10%. A comprehensive investigation of DPS in gluon-initiated processes is possible through J/ψ+Υ𝐽𝜓ΥJ/\psi+\Upsilonitalic_J / italic_ψ + roman_Υ production [6]. Currently, only a limited number of events have been observed by CMS in pp𝑝𝑝ppitalic_p italic_p collisions, and the use of Pb nuclei would increase the corresponding rate. Moreover, double-ΥΥ\Upsilonroman_Υ production would enable a comparative analysis of the extracted σeffsubscript𝜎eff\sigma_{\text{eff}}italic_σ start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT with that obtained in double-J/ψ𝐽𝜓J/\psiitalic_J / italic_ψ production, providing insights into the role of final-state interactions. Finally, large data samples are needed to carry out multidifferential studies of σeffsubscript𝜎eff\sigma_{\text{eff}}italic_σ start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT, e.g. as a function of difference in rapidities or azimuthal angles between final states [193, 194]. These analyses will provide unique information on double-parton correlations that cannot be accessed otherwise. The separation of DPS from SPS processes can also be facilitated in pA𝑝𝐴pAitalic_p italic_A collisions by exploiting their different centrality dependence [195].

A more detailed understanding of DPS can be achieved through the study of TPS in pp𝑝𝑝ppitalic_p italic_p [176] and p𝑝pitalic_pPb [196] collisions. In pp𝑝𝑝ppitalic_p italic_p, TPS has been searched for in triple J/ψ𝐽𝜓J/\psiitalic_J / italic_ψ production [184], and also in this case, the rate will be enhanced in p𝑝pitalic_pPb collisions. Large data samples offer unique opportunities to observe TPS, e.g., in ϕϕDitalic-ϕitalic-ϕ𝐷\phi\phi Ditalic_ϕ italic_ϕ italic_D or ϕϕJ/ψitalic-ϕitalic-ϕ𝐽𝜓\phi\phi J/\psiitalic_ϕ italic_ϕ italic_J / italic_ψ production. Note that in pp𝑝𝑝ppitalic_p italic_p (p𝑝pitalic_pPb) collisions, triple charm production is almost 15(20)%15percent2015\,(20)\%15 ( 20 ) % of all inclusive charm production, so not only the role of TPS cannot be neglected, but it is mandatory to properly characterise the corresponding final states [176]. Another promising channel is 6-jet production, where the impact of TPS can be up to 20%percent2020\%20 % of the total cross section above pTjet20superscriptsubscript𝑝Tjet20p_{\mathrm{T}}^{\text{jet}}\approx 20italic_p start_POSTSUBSCRIPT roman_T end_POSTSUBSCRIPT start_POSTSUPERSCRIPT jet end_POSTSUPERSCRIPT ≈ 20 GeV in pp𝑝𝑝ppitalic_p italic_p collisions, an effect that is further increased in the p𝑝pitalic_pPb case [197].

3.6 Production and spectroscopy of bound states

In the quarkonium sector, LHCb has measured multiple states in p𝑝pitalic_pPb collisions [198], covering a broad range of binding energies and sizes. After accounting for initial-state effects, the data reveal a trend of dissociation of quarkonium states with weak binding, such as ψ(2S)𝜓2𝑆\psi(2S)italic_ψ ( 2 italic_S ), and production consistent with scaled pp𝑝𝑝ppitalic_p italic_p collisions for states with binding energy larger than 180 MeV. The exceptions are prompt Υ(2S)Υ2𝑆\Upsilon(2S)roman_Υ ( 2 italic_S ) and Υ(3S)Υ3𝑆\Upsilon(3S)roman_Υ ( 3 italic_S ) states, which show anomalous suppression relative to the ΥΥ\Upsilonroman_Υ(1S) yields [199]. The potential cause of these suppressions is the feed-down contribution of weakly bound χbsubscript𝜒𝑏\chi_{b}italic_χ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT states [200]. However, χbsubscript𝜒𝑏\chi_{b}italic_χ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT states were never measured in p𝑝pitalic_pPb collisions due to the low efficiency for low-energy photons produced in the decay χbΥ+γsubscript𝜒𝑏Υ𝛾\chi_{b}\to\Upsilon+\gammaitalic_χ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT → roman_Υ + italic_γ, and more data are required. Multiplicity-dependent measurements of χcJ/ψ+γsubscript𝜒𝑐𝐽𝜓𝛾\chi_{c}\to J/\psi+\gammaitalic_χ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT → italic_J / italic_ψ + italic_γ states to search for anomalous suppression in high-density events, as well as measurements of the χbΥ+γsubscript𝜒𝑏Υ𝛾\chi_{b}\to\Upsilon+\gammaitalic_χ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT → roman_Υ + italic_γ feed-down contributions are essential to confirm the origins of Υ(2S)Υ2𝑆\Upsilon(2S)roman_Υ ( 2 italic_S ) and Υ(3S)Υ3𝑆\Upsilon(3S)roman_Υ ( 3 italic_S ) anomalous suppression. The challenging observation of the ηcsubscript𝜂𝑐\eta_{c}italic_η start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT state will only be possible at high luminosity and will allow a better understanding of the behaviour of colour-singlet states in the nuclear medium.

In the field of exotic hadrons, 75 new hadrons have been discovered at the LHC to date [201] including many combinations of (candidate) tetraquark and pentaquark states. The nature of a large number of these exotic hadrons is still under debate as it is not clear whether they are tightly bound or molecular-like. Their binding and configuration are still largely unknown, and so pA𝑝𝐴pAitalic_p italic_A collisions function as an excellent laboratory to study their properties. Of particular interest is to understand how these exotic states are produced and interact in high-density environments. LHCb observed an enhancement of tetraquark χcsubscript𝜒𝑐\chi_{c}italic_χ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT(3872) production in p𝑝pitalic_pPb compared to pp𝑝𝑝ppitalic_p italic_p collisions [202], hinting at the role of statistical hadronisation in their formation, where the larger number of initial-state quarks increase the probability of multiquark hadron production [203]. High-luminosity p𝑝pitalic_pPb collisions can provide more precise measurements of χcsubscript𝜒𝑐\chi_{c}italic_χ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT(3872) and other exotic hadrons, including their density-dependent production and “destruction”. One expects a trade-off between statistical-hadronisation formation and dissociation of weakly-bound exotic states by comoving particles [204], depending on their microscopic nature. Exotic production from intrinsic charm [205] can also be searched for in HL-p𝑝pitalic_pPb collisions, where the asymmetric collision can isolate charm-rich partonic environments at large x𝑥xitalic_x.

3.7 Photon-photon collisions

Both LHC protons and heavy ions can act as sources of initial-state photons and hence photon-photon collisions occur abundantly in UPCs at the LHC [5]. Being a colour-singlet exchange, γγ𝛾𝛾\gamma\gammaitalic_γ italic_γ collisions naturally lead to events with intact projectiles and rapidity gaps in the final state. Together with low-pileup conditions, UPCs give very clean experimental signatures with very few particles registered in a detector. The photon flux accompanying each beam is proportional to Z2superscript𝑍2Z^{2}italic_Z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, thus, cross sections for γγ𝛾𝛾\gamma\gammaitalic_γ italic_γ processes are significantly enhanced in AA𝐴𝐴AAitalic_A italic_A compared to pA𝑝𝐴pAitalic_p italic_A and pp𝑝𝑝ppitalic_p italic_p collisions. While the γγ𝛾𝛾\gamma\gammaitalic_γ italic_γ luminosities in pA𝑝𝐴pAitalic_p italic_A collisions are overall reduced by a factor Z2superscript𝑍2Z^{2}italic_Z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT compared with the AA𝐴𝐴AAitalic_A italic_A case, the proton beam energies are larger, and the associated photon fluxes are much harder, than in PbPb UPCs. As a result, the pA𝑝𝐴pAitalic_p italic_A collisions probe significantly larger γγ𝛾𝛾\gamma\gammaitalic_γ italic_γ CM energies [206], and they are also useful to resolve discrepancies between pp𝑝𝑝ppitalic_p italic_p and AA𝐴𝐴AAitalic_A italic_A UPCs. Already some hints of mild deviations [207, 208, 209] between data and LO predictions exist for exclusive e+esuperscript𝑒superscript𝑒e^{+}e^{-}italic_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT and μ+μsuperscript𝜇superscript𝜇\mu^{+}\mu^{-}italic_μ start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_μ start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT production, that highlight the need for a proper modeling of inelastic contributions [210] as well as of the Pb photon flux and higher order QED corrections [211]. Additional datasets with the asymmetric γγ𝛾𝛾\gamma\gammaitalic_γ italic_γ collisions provided by pA𝑝𝐴pAitalic_p italic_A UPCs can help clarify all these aspects. Also, particular UPC processes possible in the pA𝑝𝐴pAitalic_p italic_A mode, such as single-W𝑊Witalic_W photoproduction [212], require large data samples. Forward neutron production from electromagnetic ion dissociation has gained interest in AA𝐴𝐴AAitalic_A italic_A UPCs [213, 207, 214, 215, 208, 216] and is increasingly used in online and offline event selection of SM processes, as well as in BSM searches [217]. Different neutron multiplicities have different impact-parameter profiles that lead to modifications of central kinematics. The simplicity of dilepton production in the pA𝑝𝐴pAitalic_p italic_A system, which constrains neutron emission from just one nucleus, will improve the modeling of dissociation for the AA𝐴𝐴AAitalic_A italic_A system.

3.8 Beyond the Standard Model

At face value, pA𝑝𝐴pAitalic_p italic_A cannot compete with pp𝑝𝑝ppitalic_p italic_p collisions at the LHC in terms of the production of heavy BSM objects, as they have lower CM energies and integrated luminosities. However, akin to the AA𝐴𝐴AAitalic_A italic_A case [218, 219], pA𝑝𝐴pAitalic_p italic_A collisions feature γγ𝛾𝛾\gamma\gammaitalic_γ italic_γ interactions without pileup and with large photon fluxes (from the Pb side) that partially compensate for these drawbacks (provided that a large intsubscriptint\mathcal{L}_{\text{int}}caligraphic_L start_POSTSUBSCRIPT int end_POSTSUBSCRIPT is warranted) for photon-coupled BSM objects. In terms of attainable γγ𝛾𝛾\gamma\gammaitalic_γ italic_γ luminosity, the HL-p𝑝pitalic_pPb mode would outperform the PbPb UPCs reach in the mγγ50subscript𝑚𝛾𝛾50m_{\gamma\gamma}\approx 50italic_m start_POSTSUBSCRIPT italic_γ italic_γ end_POSTSUBSCRIPT ≈ 50–300 GeV mass range [206]. This is relevant e.g. to set competitive limits on heavy axion-like particles [220].

In order to compare the generic BSM reach of pA𝑝𝐴pAitalic_p italic_A compared with pp𝑝𝑝ppitalic_p italic_p and AA𝐴𝐴AAitalic_A italic_A collisions, we introduce a simple ansatz for the γγ𝛾𝛾\gamma\gammaitalic_γ italic_γ collision cross section: σγγ(n)sγγn1/Λ2nproportional-tosubscript𝜎𝛾𝛾𝑛superscriptsubscript𝑠𝛾𝛾𝑛1superscriptΛ2𝑛\sigma_{\gamma\gamma}(n)\propto{s_{\gamma\gamma}^{n-1}}/{\Lambda^{2n}}italic_σ start_POSTSUBSCRIPT italic_γ italic_γ end_POSTSUBSCRIPT ( italic_n ) ∝ italic_s start_POSTSUBSCRIPT italic_γ italic_γ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n - 1 end_POSTSUPERSCRIPT / roman_Λ start_POSTSUPERSCRIPT 2 italic_n end_POSTSUPERSCRIPT. This simplified cross section encodes the CM energy (sγγsubscript𝑠𝛾𝛾\sqrt{s_{\gamma\gamma}}square-root start_ARG italic_s start_POSTSUBSCRIPT italic_γ italic_γ end_POSTSUBSCRIPT end_ARG) dependence, which is one of the key elements to compare the collision modes. In a specific model, the ΛΛ\Lambdaroman_Λ parameter would generally encapsulate a combination of couplings and masses. This simplified approach provides a rough classification of BSM candidates as a function of n𝑛nitalic_n. The value n=0𝑛0n=0italic_n = 0 includes SM-like processes (see e.g. [221]), n=1𝑛1n=1italic_n = 1 includes resonant effective field theories (EFTs) (see e.g. [222, 223]), and n2𝑛2n\geq 2italic_n ≥ 2 arises from non-resonant EFTs, such as F4superscript𝐹4F^{4}italic_F start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT operators [224] and continuum EFTs [225, 226]. Using this approach, we classify the BSM scenarios to be searched in UPCs into (roughly) two types: low-mass resonances and non-resonant EFTs.

The low-mass resonances363636UV motivated CP-odd resonances include the PQ axion [227, 228], stringy axions [229, 230, 231, 232, 233, 234], and Goldstone bosons [235], whereas CP-even resonances include the radion [236], dilaton [237], composite radial mode [238, 239], extended Higgs sectors [240], Higgs portal [241], and KK gravitons [242, 224] . are described by resonant EFTs. In that case, we obtain that the p𝑝pitalic_pPb mode competes with pp𝑝𝑝ppitalic_p italic_p mode. The non-resonant EFTs include anomalous quartic gauge couplings373737UV motivation includes heavy neutral particles linearly coupled to the SM [224, 243], new charged particles [221, 243], polarisable dark particles [239] and Born-Infeld QED [244, 245, 246]. and continuum EFTs383838UV motivation includes AdS [247, 248, 249, 250, 251], linear dilaton [225, 252, 226, 253] and other braneworld geometries [254], and strongly-interacting dark sectors [255, 256, 257].. In that case, we obtain that p𝑝pitalic_pPb competes with pp𝑝𝑝ppitalic_p italic_p with an event yield only moderately smaller, but with a much cleaner selection due to reduced pileup. Due to this complementarity, assuming no prejudice on the type of BSM scenario, searches using HL-p𝑝pitalic_pPb collisions provide a useful strategy to maintain sensitivity over the broadest range of new physics possibilities. More detailed studies of effective operator searches in p𝑝pitalic_pPb would be useful to reinforce such a conclusion.

3.9 Ultra high-energy cosmic-ray physics

Cosmic rays, ranging from medium to ultra-high energies, originate from various astrophysical sources and produce extensive air showers (EAS) upon interaction with atmospheric nuclei. These showers provide valuable information about the primary particles, including their mass composition and energy spectrum. The study of cosmic rays and EAS offers a unique opportunity to probe the behaviour of strongly interacting matter under extreme conditions, provided that the hadronic interaction models reproduce the pA𝑝𝐴pAitalic_p italic_A collider data up to the highest possible energies [7, 258]. The analysis of EAS has highlighted challenges, notably the “muon puzzle” [259, 260], whereby current hadronic interaction models fail to accurately predict muon production for a given primary mass [261]. An improved description of the EAS data requires significant changes to the models, both for their predicted position of the shower maximum and for the fraction of signal at ground associated to the number of muons [262]. This discrepancy suggests an incomplete understanding of hadronic interactions at ultrahigh energies and has sparked interest in exploring new phenomena, in particular linked to nuclear effects in small systems [263]. As a matter of fact, one of the sources of the “muon puzzle” is seemingly the presence of pA𝑝𝐴pAitalic_p italic_A collisions that do not behave as a simple superposition of pp𝑝𝑝ppitalic_p italic_p interactions [264]. Similarly, another area where more LHC pA𝑝𝐴pAitalic_p italic_A data are welcomed is in the interpretation of ultrahigh-energy astrophysical neutrinos as measured by the IceCube experiment [265, 266]. A background to cosmic neutrinos comes from atmospheric neutrinos produced in cosmic-ray interactions with air nuclei. The HL-pA𝑝𝐴pAitalic_p italic_A data can provide more precise information on the production of forward charmed particles, which are important to constrain this background [267].

4 Summary and conclusions

High-energy proton-nucleus collisions (pA𝑝𝐴pAitalic_p italic_A) provide a bridge between proton-proton (pp𝑝𝑝ppitalic_p italic_p) and ion-ion (AA𝐴𝐴AAitalic_A italic_A) collisions with two particular merits: firstly, the asymmetric projectiles and beam energies ensure that effects associated with the proton can be distinguished from those of the nucleus; secondly, a path towards understanding the complexity of two large systems of colliding bound nucleons is provided through interaction of a well-understood proton on the complex ion.

At the LHC, a few weeks of pA𝑝𝐴pAitalic_p italic_A collisions were performed in Runs 1 and 2 in a diversity of operating conditions, and have already brought essential contributions to particle, heavy-ion, and cosmic-ray physics, leading to the discovery of new phenomena as well as the confirmation and extension of effects discovered in lepton-nucleus collisions. Multi-TeV pA𝑝𝐴pAitalic_p italic_A collisions offer several unique physics opportunities:

  • 1.

    They provide a way to study nuclear modifications to PDFs and cold nuclear matter effects (such as shadowing, parton saturation, and energy loss) without the complexities of hot QCD medium effects present in AA𝐴𝐴AAitalic_A italic_A collisions.

  • 2.

    They serve as a crucial reference for disentangling initial-state nuclear effects from final-state medium effects in AA𝐴𝐴AAitalic_A italic_A collisions, aiding in the interpretation of quark-gluon plasma (QGP) signatures.

  • 3.

    They typically achieve higher luminosities than AA𝐴𝐴AAitalic_A italic_A collisions and much reduced pileup compared to pp𝑝𝑝ppitalic_p italic_p collisions, enabling more precise measurements.

  • 4.

    They provide a unique platform to extend studies of small-x𝑥xitalic_x QCD and gluon saturation by probing smaller momentum fractions than any other current experimental setup.

  • 5.

    They offer valuable insights into the interplay of enhancement and suppression mechanisms in nuclear matter and a cleaner environment to study coalescence and fragmentation in hadronisation.

  • 6.

    They are essential for the modelling of high-energy cosmic-ray and neutrino interactions, providing a link between particle physics and astrophysics.

The physics potential provided by the proton and heavy-ion LHC beams in asymmetric pA𝑝𝐴pAitalic_p italic_A collisions offers multiple complementarities and advantages compared to pp𝑝𝑝ppitalic_p italic_p and AA𝐴𝐴AAitalic_A italic_A collisions. We have summarised the physics case for a high-luminosity pA𝑝𝐴pAitalic_p italic_A run (HL-pA𝑝𝐴pAitalic_p italic_A@LHC) under twelve research axes, where large data samples are required to reduce the current experimental uncertainties and/or to study (for the first time) multiple rare processes of interest. Table 3 gathers qualitative comparisons of the impact that pA𝑝𝐴pAitalic_p italic_A can have on each of these physics topics, with respect to other collision scenarios: EIC [36], FT@LHC [35], pp𝑝𝑝ppitalic_p italic_p@HL-LHC [268], AA𝐴𝐴AAitalic_A italic_A@HL-LHC [14]; with \star symbols assigned as explained below.

Table 3: Qualitative comparison of various experimental setups with respect to different physics observables. An increasing number of star points indicates a better environment for the considered physics topic.
Physics topics \ Collider EIC FT@LHC HL-pA𝑝𝐴pAitalic_p italic_A@LHC pp𝑝𝑝ppitalic_p italic_p@HL-LHC AA𝐴𝐴AAitalic_A italic_A@HL-LHC
PDFs \star\star\star\star⋆ ⋆ ⋆ ⋆ \star\star\star⋆ ⋆ ⋆ \star\star⋆ ⋆ \star\star\star⋆ ⋆ ⋆
nPDFs \star\star\star\star⋆ ⋆ ⋆ ⋆ \star\star\star⋆ ⋆ ⋆ \star\star\star⋆ ⋆ ⋆ \star\star⋆ ⋆
TMDs \star\star\star⋆ ⋆ ⋆ \star\star\star⋆ ⋆ ⋆ \star\star\star⋆ ⋆ ⋆ \star\star⋆ ⋆
nTMDs \star\star\star⋆ ⋆ ⋆ \star\star⋆ ⋆ \star\star⋆ ⋆ \star
GPDs \star\star\star⋆ ⋆ ⋆ \star \star\star⋆ ⋆ \star
nGPDs \star\star\star⋆ ⋆ ⋆ \star \star \star\star⋆ ⋆
Parton saturation searches \star\star\star⋆ ⋆ ⋆ \star \star\star\star\star⋆ ⋆ ⋆ ⋆ \star\star\star⋆ ⋆ ⋆ \star\star\star⋆ ⋆ ⋆
Odderon searches \star\star⋆ ⋆ \star \star\star\star⋆ ⋆ ⋆ \star\star⋆ ⋆ \star\star⋆ ⋆
Parton collectivity \star\star\star⋆ ⋆ ⋆ \star\star\star⋆ ⋆ ⋆ \star\star⋆ ⋆ \star\star\star\star⋆ ⋆ ⋆ ⋆
DPS/TPS \star \star \star\star\star\star⋆ ⋆ ⋆ ⋆ \star\star\star\star⋆ ⋆ ⋆ ⋆ \star
Hadron spectroscopy \star \star \star\star\star⋆ ⋆ ⋆ \star\star\star⋆ ⋆ ⋆ \star\star⋆ ⋆
BSM searches \star \star \star\star⋆ ⋆ \star\star\star\star⋆ ⋆ ⋆ ⋆ \star\star⋆ ⋆

Regarding

  • 1.

    PDF studies, the best experimental setup is given by the future EIC with cleaner probes and access to polarised PDFs, while pp𝑝𝑝ppitalic_p italic_p@HL-LHC and FT@LHC complement its reach by probing the low-x𝑥xitalic_x and large-x𝑥xitalic_x regimes, especially in the gluon sector. HL-pA𝑝𝐴pAitalic_p italic_A@LHC can contribute in a timely manner to gluon PDF studies via inclusive photoproduction (Q20similar-to-or-equalssuperscript𝑄20Q^{2}\simeq 0italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≃ 0) in UPCs with a significantly wider range in pTsubscript𝑝Tp_{\mathrm{T}}italic_p start_POSTSUBSCRIPT roman_T end_POSTSUBSCRIPT and γ𝛾\gammaitalic_γ-proton CM energy than at HERA, and with indirect PDF constraints via exclusive QQ\pazocal{Q}roman_Q photoproduction.

  • 2.

    nPDF studies, the best setup is the EIC as an eA𝑒𝐴eAitalic_e italic_A collider with cleaner final states. However, HL-pA𝑝𝐴pAitalic_p italic_A@LHC covers much lower x𝑥xitalic_x, while FT@LHC offers access to larger x𝑥xitalic_x with more versatility in the probed nuclei, and earlier than the EIC. The AA𝐴𝐴AAitalic_A italic_A@HL-LHC programme offers some sensitivity on nPDFs if the additional hot nuclear effects can be separated out.

  • 3.

    TMD studies, the best setups are the future EIC, FT@LHC, and HL-pA𝑝𝐴pAitalic_p italic_A@LHC for very different reasons. On the one hand, FT@LHC would benefit from the possibility to polarise the target for single transverse-spin asymmetries studies of gluon-sensitive probes, which are essentially unknown. The EIC will profit from, both, beams and target polarisations and from cleaner probes. On the other hand, HL-pA𝑝𝐴pAitalic_p italic_A@LHC can study TMDs in the low-x𝑥xitalic_x regime in the dense-dilute limit, which cannot be accessed otherwise, as well as potentially via azimuthal asymmetries in inclusive photoproduction. pp𝑝𝑝ppitalic_p italic_p@HL-LHC can also definitely help in probing TMDs at low x𝑥xitalic_x via azimuthal asymmetries but kinematical cuts due to triggers are usually very harmful.

  • 4.

    nTMD studies, the best setup is the future EIC as an eA𝑒𝐴eAitalic_e italic_A collider that can access a large variety of TMD-factorisable processes. The FT@LHC and HL-pA𝑝𝐴pAitalic_p italic_A@LHC programmes can access nTMDs via DY final states. Whereas AA𝐴𝐴AAitalic_A italic_A@HL-LHC can in principle measure nTMDs via azimuthal asymmetries in photoproduction (UPCs), the event counts are expected to be very small.

  • 5.

    GPD studies, the best setup is the EIC with polarised beams, while HL-pA𝑝𝐴pAitalic_p italic_A@LHC via UPCs offers very interesting possibilities through exclusive-photoproduction channels like timelike Compton scattering, or with large final-state invariant-mass systems in meson-pair or photon-meson photoproduction. Similar exclusive final states can be studied at pp𝑝𝑝ppitalic_p italic_p@HL-LHC but would be “polluted” by hadronic exchanges.

  • 6.

    nGPD studies, the best setup is the EIC via eA𝑒𝐴eAitalic_e italic_A exclusive reactions which can be complemented at AA𝐴𝐴AAitalic_A italic_A@HL-LHC by exclusive-QQ\pazocal{Q}roman_Q photoproduction reactions via UPCs. HL-pA𝑝𝐴pAitalic_p italic_A@LHC has a limited sensitivity to nGPDs with the same observable in the rapidity region where the probability for photon emission by the proton becomes significant. Finally, at FT@LHC in PbA UPCs, the nGPDs of various nuclear targets could also be probed via exclusive-QQ\pazocal{Q}roman_Q photoproduction.

  • 7.

    parton-saturation searches, the best setup is the HL-pA𝑝𝐴pAitalic_p italic_A@LHC via forward hadron and jet production processes and their correlations. At AA𝐴𝐴AAitalic_A italic_A@HL-LHC, saturation can be studied via several UPC observables while pp𝑝𝑝ppitalic_p italic_p@HL-LHC is needed both as a reference for saturation studies in nuclei and to test the need for the small-x𝑥xitalic_x resummation. While the future EIC will study inclusive and exclusive processes sensitive to saturation in eA𝑒𝐴eAitalic_e italic_A collisions, the forward detector upgrades of the LHC experiments will allow probing the partonic structure of heavy nuclei at much smaller x𝑥xitalic_x. Diffractive processes in UPCs are particularly promising since their extended kinematics offers a bridge towards GTMD studies.

  • 8.

    odderon searches, the best setup is the HL-pA𝑝𝐴pAitalic_p italic_A@LHC through the observation of C=+1𝐶1C=+1italic_C = + 1 mesons (or meson pairs, e.g. π+πsuperscript𝜋superscript𝜋\pi^{+}\pi^{-}italic_π start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_π start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT) photoproduction, which is sensitive to interferences of C=+1𝐶1C=+1italic_C = + 1 (pomeron) and C=1𝐶1C=-1italic_C = - 1 (odderon) exchanges. Such processes are also possible at the EIC, but require very high luminosity. Good prospects are also presented in UPCs at AA𝐴𝐴AAitalic_A italic_A@HL-LHC if the photon emitter can be identified.

  • 9.

    parton-collectivity studies, the best setup is the AA𝐴𝐴AAitalic_A italic_A@HL-LHC as a laboratory for QGP creation. FT@LHC via PbA𝐴Aitalic_A collisions can study collectivity in a complementary rapidity and (lower) energy domain. However, HL-pA𝑝𝐴pAitalic_p italic_A@LHC, and to a lesser extent pp𝑝𝑝ppitalic_p italic_p@HL-LHC, can provide new probes of the generation of collective partonic behaviour in small systems.

  • 10.

    DPS/TPS studies, the best setups are HL-pA𝑝𝐴pAitalic_p italic_A@LHC (thanks to the 3×A3𝐴3\times A3 × italic_A and 9×A9𝐴9\times A9 × italic_A enhanced yields, respectively, for p𝑝pitalic_pPb compared to pp𝑝𝑝ppitalic_p italic_p collisions) and pp𝑝𝑝ppitalic_p italic_p@HL-LHC (thanks to its very large integrated luminosity and higher s𝑠\sqrt{s}square-root start_ARG italic_s end_ARG, enabling the production of pairs of very heavy particles) with large rates for multiple DPS/TPS processes. These provide access to novel information on the partonic structure that cannot be obtained elsewhere. HL-pA𝑝𝐴pAitalic_p italic_A@LHC will facilitate the determination of the effective cross section as a function of multiple kinematic variables, hence revealing previously unexplored multiparton correlations.

  • 11.

    hadron spectroscopy, the best setups are HL-pA𝑝𝐴pAitalic_p italic_A@LHC and pp𝑝𝑝ppitalic_p italic_p@HL-LHC. The latter has allowed the identification of a great number of exotic states, while the former is important in elucidating their nature by exploiting their density-dependent production and final-state interactions.

  • 12.

    BSM searches, the best setup is pp𝑝𝑝ppitalic_p italic_p@HL-LHC, while both HL-pA𝑝𝐴pAitalic_p italic_A@LHC and AA𝐴𝐴AAitalic_A italic_A@HL-LHC UPCs provide a clean environment for low- and intermediate-mass photon-coupled BSM objects, such as new even-spin particles. In UPC searches for low-mass resonances, p𝑝pitalic_pPb competes with PbPb in sensitivity, whereas in UPC searches for non-resonant EFTs, p𝑝pitalic_pPb has slightly lower yield than pp𝑝𝑝ppitalic_p italic_p but cleaner selection due to reduced pileup. Due to this complementarity, assuming no prejudice on the type of the BSM scenario, searches using HL-p𝑝pitalic_pPb collisions can provide a strategy to maintain sensitivity over the broadest range of new physics possibilities.

It appears clear from the above that the allocation of dedicated pA𝑝𝐴pAitalic_p italic_A-collision run(s) at the LHC will provide unique physics inputs complementary to those of other major existing or planned facilities. We therefore strongly encourage additional pA𝑝𝐴pAitalic_p italic_A running at the LHC in Runs 3 and 4, in order to achieve and extend the original physics targets in a timely manner, and to provide the data for the many important measurements summarised in this document.

Acknowledgements and funding

This work has received funding from the French CNRS via the IN2P3 projects “QCDFactorisationAtNLO” and the COPIN-IN2P3 project #12-147 “kT factorisation and quarkonium production in the LHC era”, via the ANR under the grant ANR-20-CE31-0015 (“PrecisOnium”), by the Paris-Saclay U. via the P2I Department and by the GLUODYNAMICS project funded by the “P2IO LabEx (ANR-10-LABX-0038)” in the framework “Investissements d’Avenir” (ANR-11-IDEX-0003-01) managed by the Agence Nationale de la Recherche (ANR), France. The material presented has been based upon work supported also by the U.S. Department of Energy, Office of Science, Office of Nuclear Physics, under DOE Contract No. DE-SC0012704 and within the framework of the Saturated Glue (SURGE) Topical Theory Collaboration. The research conducted in this publication was funded by the Irish Research Council under grant number GOIPG/2022/478 and the Joint PhD Programme of Université Paris-Saclay 1248 (ADI). A.K. acknowledges the support of Narodowe Centrum Nauki under Sonata Bis Grant No. 2019/34/E/ST2/00186. I.G-B was supported by program “Excellence initiative – research university” for the AGH University of Krakow, grant no 9722. C.V.H. has received funding from the programme “Atracción de Talento”, Comunidad de Madrid (Spain), under the grant agreement No 2020-T1/TIC-20295. LHL thanks the Science and Technology Facilities Council (STFC) part of U.K. Research and Innovation for support via the grant award ST/T000856/1. F.J. has been supported by the US Department of Energy. The work of L.S. was supported by the Grant No. 2024/53/B/ST2/00968 of the National Science Centre. The research of M.S. was supported by the US Department of Energy Office of Science, Office of Nuclear Physics under Award No. DE-FG02-93ER40771.

References