1 Introduction

For sufficiently high energies, hadronic interactions are expected to probe a dense and weakly coupled form of gluonic matter, known as the colour glass condensate (CGC), which is made with “small–x gluons” (i.e. gluons which carry small fractions \(x\ll 1\) of the hadron longitudinal momentum) and whose main characteristic is gluon saturation – the fact that gluon occupation numbers are limited to values of order \(1/\alpha _s\) by the gluon mutual interactions [1,2,3,4]. The most direct way to experimentally study this form of matter would be through strong scattering in the vicinity of the “black disk” limit (the unitarity limit for the scattering amplitudes). In the CGC picture at weak coupling, unitarity corrections are depicted as multiple scattering off strong colour fields representing the saturated gluons. These corrections are particularly important if the scattering probes sufficiently large transverse separations in the hadronic target, \(r\sim 1/Q_s\), with \(Q_s\) the target saturation momentum – the typical transverse momentum of the saturated gluons. Conversely, a small hadronic projectile with transverse size \(r \ll 1/Q_s\) scatters only weakly, by colour transparency, and probes the tail of the gluon distribution at large transverse momenta \(k_\perp \gg Q_s\). The saturation momentum \(Q_s\) rises rapidly with 1/x, due to the abundant production of soft gluons via bremsstrahlung, and also with the nuclear mass number A for a nuclear target with \(A\gg 1\): roughly, \(Q_s^2(x, A)\sim A^\delta /x^\lambda \) with \(\lambda \sim 0.2\) and \(\delta \sim 1/3\). For \(A\simeq 200\) (lead or gold nuclei) and \(x\lesssim 10^{-2}\), one expects a semi-hard value \(Q_s^2(x,A)\gtrsim 2\) GeV\(^2\), for which perturbative QCD should be (at least marginally) applicable.

The simplest hadronic probe that one can think of, is the quark-antiquark (\(q{\bar{q}}\)), colour-dipole, fluctuation of the exchanged photon in photon-mediated processes, like electron-nucleus deep inelastic scattering (DIS) and nucleus-nucleus (AA) ultra-peripheral collisions (UPCs). By properly selecting the structure and the kinematics of the final state, one can adjust the spatio-temporal resolution of the colour dipole. In DIS, the transverse size of the \(q{\bar{q}}\) pair is controlled by the photon virtuality, \(r^2\sim 1/Q^2\), whereas the Bjorken variable \(x_{_\textrm{Bj}}=Q^2/(2P\cdot q)\) fixes the gluon longitudinal momentum fraction: \(x=x_{_\textrm{Bj}}\). In UPCs, the photon is quasi-real (\(Q^2\approx 0\)), yet the dipole size r can be forced to be small by measuring a pair of hard jets in the final state – those initiated by the original \(q{\bar{q}}\) pair. These jets propagate nearly back-to-back in the transverse plane and their transverse relative momentum \(P_\perp \) fixes \(r^2\sim 1/P_\perp ^2\).

Clearly, such processes are sensitive to gluon saturation whenever the controlling scales \(Q^2\) and/or \(P_\perp ^2\) are semi-hard, of the order of the target saturation momentum \(Q_s^2(x, A)\). Yet, this is not the most interesting situation in practice. As already mentioned, the scale \(Q_s^2\) is only marginally perturbative, hence larger dipoles with size \(r\gtrsim 1/Q_s\) (that would contribute to inclusive DIS when \(Q^2\sim Q_s^2\)) are not under control in perturbation theory. Also, semi-hard jets with \(P_\perp \sim Q_s\) cannot be reconstructed as genuine jets in the calorimeters of the Large Hadron Collider (LHC). So, it is important to also envisage the possibility to study saturation via harder processes, with \(Q^2,\, P_\perp ^2\gg Q_s^2\).

In a couple of recent papers [5, 6], we have argued that the semi-inclusive photo-production of a pair of hard jets via coherent diffraction is a promising channel in that sense. By “coherent diffraction” we mean elastic processes in which the target nucleus is not broken by the collision. Elastic scattering is indeed well suited for a study of gluon saturation since particularly sensitive to unitarity corrections. It is generally revealed by the presence of large rapidity gaps in the final state. By “semi-inclusive” we refer to events where the hard \(q{\bar{q}}\) dijets, with relative momentum \(P_\perp \gg Q_s\), are accompanied by (at least) one semi-hard jet – a gluon with transverse momentum \(K_\perp \sim Q_s\) – whose emission by either the quark or the antiquark plays an essential role in the economy of the process: it re-distributes colour over a large transverse separation \(R\sim 1/Q_s\), thus allowing for strong scattering. Without this third jet, the cross-section for the exclusive production of the hard dijets would be strongly suppressed, by a factor \(Q_s^2/P_\perp ^2\), due to colour transparency (see Appendix A below for an explicit calculation).

The analysis in [5, 6] also led to interesting conceptual clarifications: the cross-section for diffractive “(2+1)-jet production” (two hard jets accompanied by a semi-hard one) admits transverse-momentum dependent (TMD) factorisation: it can be written as the product between a “hard factor” describing the hard dijet production and a “semi-hard” factor, representing the unintegrated gluon distribution of the “Pomeron” (the colourless exchange between the nuclear target and the three jets produced in the final state), also known as (a.k.a.) the gluon diffractive TMD. Whereas the emergence of collinear factorisation for diffraction from the dipole picture was anticipated in the early works [7,8,9,10,11,12,13], the TMD factorisation exhibited in [5, 6] is nevertheless remarkable in several respects. First, it holds at the “unintegrated” level, that is, for a fixed value of the transverse momentum \(K_\perp \) of the gluon jet (see also [14, 15] for recent developments). Second, the gluon diffractive TMD is shown to be controlled by the “semi-hard” physics of gluon saturation (\(K_\perp \sim Q_s\)), hence it can be computed from first principles. This is particularly important for applications to heavy nuclei, for which the diffractive parton distributions are only poorly known and previous studies based on collinear factorisation had to resort on models [16, 17].

Our original analysis focused on the DIS processes to be studied at the electron-ion collider (EIC) [18,19,20]. In the present paper we extend this analysis to diffractive (2+1)-jet production in AA UPCs [21,22,23], with emphasis on the kinematical conditions at the LHC. While most of the previous, theoretical and experimental, efforts have been devoted to vector meson photo-production (see e.g. [24, 25] and references therein), there are also recent measurements of diffractive dijets in Pb+Pb UPCs at the LHC [26,27,28,29].

A priori, the LHC looks better suited than the EIC for a study of gluon saturation, due to the much higher available energies. In UPCs though, this advantage is somewhat diminished by the limitation on the energy of the exchanged photon (which is only a small fraction of that of its parent nucleus) and by the fact that the measured jets are quite hard, \(P_\perp \ge 20\) GeV, and hence cannot access very small values of x. (The relevant x-variable in this diffractive context is the longitudinal momentum fraction \(x_{\mathbb {P}}\) lost by the nuclear target and taken by the Pomeron.) The smallest values of \(x_{\mathbb {P}}\) explored by the dijet measurements in [26,27,28,29], in the ballpark of \(x_{\mathbb {P}}=0.01\), are only marginally favourable for saturation – for instance, they do not allow one to test the high-energy evolution in QCD, as described by the BK/JIMWLK equations [30,31,32,33,34,35,36,37]. That said, for \(x_{\mathbb {P}}=0.01\) and a large target nucleus like Pb (\(A=208\)), one may still expect saturation effects in the sense of the semi-classical McLerran–Venugopalan (MV) model [38, 39]. This is the scenario that we shall privilege in this paper.

The highly asymmetric structure of the (2+1)–jet final state introduces both experimental and conceptual challenges. A semi-hard jet with transverse momentum \(K_\perp \) of the order of \(Q_s\) is rather hard to measure – e.g., it is too soft to be reconstructed in a calorimeter at the LHC. As a matter of fact, no such a jet was reported by the recent analysis by CMS [28, 29]. Yet, as we shall argue in this paper, the actual observation of this jet (say, via its hadronic descendants) would be highly beneficial. First, it would allow one to unambiguously distinguish the nucleus which emitted the photon from that which acted as a target. Second, it would permit to measure the diffractive gap, which (in our calculation at least) is the rapidity gap between the gluon jet and the nuclear target. So it is important to understand where to look for this third jet in the final event. Our analysis demonstrates that the hard dijets are predominantly produced at relatively central pseudo-rapidities (\(|\eta | \lesssim 1\)) and that they are separated from the semi-hard jet by a rather large interval \(\Delta \eta _\textrm{jet}\sim \ln (P_\perp /Q_s)\) (2–3 units of pseudo-rapidity). Hence, the third jet is likely to propagate at large pseudo-rapidities, which may explain why it was not detected by CMS. Since controlled by the target saturation momentum \(Q_s\), this large rapidity separation \(\Delta \eta _\textrm{jet}\) brings direct evidence for gluon saturation.

But the most important evidence in favour of saturation is the very fact that the coherent (diffractive) production of a pair of hard dijets has a large cross-section, which is of leading-twist order at large \(P_\perp \) and proportional to A (the mass number of the target nucleus), and hence of the same order as the cross-section for inclusive dijet photo-production via inelastic processes. By contrast, the cross-section for exclusive dijets is of higher twist order (see Appendix A); for the experimental conditions at the LHC, it should be down by 2–3 orders of magnitude compared to the semi-inclusive cross-section corresponding to the (2+1)-jet channel.

2 Diffractive dijets in UPCs

We shall study the diffractive production of three jets via \(\gamma A\) interactions in coherent ultra-peripheral nucleus-nucleus collisions (UPCs). Ultra-peripheral means that the impact parameter of the collision is larger than the sum \(R_A+R_B\) of the two nuclear radii, while by “coherent” we mean that both nuclei survive in the final state. Although usually the nuclei are identical, we will use different labels to distinguish the nucleus which propagates in the \(+z\) direction (“right-mover”), denoted as B, from the left-mover, denoted as A. The nuclei are ultra-relativistic, so that the center-of-mass energy squared for a nucleon-nucleon collision reads \(s_{\scriptscriptstyle N\!N}= 2 P_B^+ P_A^- = 4 E_{N}^2\), where \(E_N \gg M_N\) is the energy of a nucleon with mass \(M_N\), while \(P_B^+ = \sqrt{2} E_N\) is the large longitudinal momenta of a nucleon in nucleus B and \(P_A^- = \sqrt{2} E_N\) the respective momentum for a nucleon in nucleus A. For quantitative estimates we shall take \(\sqrt{s_{\scriptscriptstyle N\!N}} = 5\) TeV and thus \(E_N = 2.5\) TeV, like for Pb+Pb collisions at the LHC.

One of the nuclei acts as a source for the quasi-real photon \(\gamma \) and the other one is the target off which the photon scatters. For definiteness, we will work out the case in which the photon is emitted from nucleus B and hence it is a right-mover too. The other case (photon emitted from nucleus A) can be trivially deduced by a symmetry operation (see below) and the final cross section is obtained by adding the two possibilities. The photon has a very small space-like virtuality and zero transverse momentum, thus we can write its 4-momentum as \(q^{\mu }= (q^+\simeq \sqrt{2}\omega ,q^-=-Q^2/2q^+, \varvec{0}_{\perp })\), with \(|q^-|\ll q^+\). The process which we are interested in is the following: first the photon decays to a quark-antiquark pair and then a gluon is emitted either from the quark or the antiquark (see Fig. 1 for a pictorial representation). Then the three partons elastically scatter off the nucleus A and emerge in the final state with 4-momenta \(k_i^{\mu }=(k_i^+,k_i^-,\varvec{k}_{i\perp })\), where \(k_i^{-} = k_{i\perp }^2/2k_i^+\) and the labels \(i=1,2,3\) refer to the quark, the antiquark and the gluon respectively. It is useful to define the longitudinal fractions \(\vartheta _i = k_i^+/q^+\) with respect to (w.r.t.) the photon and similarly \(x_i = k_i^-/P_N^-\) w.r.t. the struck nucleon. We clearly have \(\vartheta _1+\vartheta _2+\vartheta _3 =1\), whereas the sum

$$\begin{aligned} x_{\mathbb {P}} = x_1+ x_2 + x_3 \end{aligned}$$
(1)

is the fraction of \(P_N^-\) transferred from the target nucleus A to the produced jets via the “Pomeron” (cf. the detailed discussion at the end of the current section). In diffraction there shouldn’t be any net color flow between the projectile partons and the nuclear target, or in other words the Pomeron must be colorless. Then one should observe a pseudo-rapidity gap, i.e. an angular region between the target nucleus and the produced jets, which is void of particles. The value \(\Delta \eta _\textrm{gap}\) of this diffractive gap is close (but not exactly equal) to the rapidity interval \(Y_{\mathbb {P}} = \ln 1/x_{\mathbb {P}}\) relevant for the high energy evolution of the target nucleus A. We are interested in the case where the Pomeron longitudinal momentum fraction is small enough, say \(x_{\mathbb {P}} \lesssim 0.01\), in order to probe gluon saturation in the perturbative regime; that is, we require the saturation momentum \(Q_s(Y_{\mathbb {P}})\) of the target nucleus A to be semi-hard. The condition \(x_{\mathbb {P}} \ll 1\) is also needed to allow for coherent scattering, that is, to ensure that nucleus A emerges unbroken from the collision.

Fig. 1
figure 1

Diffractive photo-production of 2+1 jets (a hard quark-antiquark pair with large relative transverse momentum \(P_\perp \) and a semi-hard gluon with semi-hard \(K_\perp \sim Q_s(A,Y_{\mathbb {P}})\)) in the coherent ultraperipheral collision

As explained in the Introduction, we are interested in asymmetric 3-jet configurations, where two of the jets, here chosen as the \(q{\bar{q}}\) pair, are much harder than the third (gluon) jet. (The case where one of the two hard jets is the gluon will be addressed in a further study.) Specifically, the transverse momenta \(k_{1\perp }\) and \(k_{2\perp }\) of the quark and the antiquark are assumed to be large compared to the saturation momentum \(Q_s(Y_{\mathbb {P}})\) and their longitudinal momentum fractions \(\vartheta _1\) and \(\vartheta _2\) take generic values of the order of one half. Then, as explained in [5, 6], the gluon jet is dynamically selected to be semi-hard, i.e. \(k_{3\perp } \sim Q_s(Y_{\mathbb {P}})\), and soft, namely \(\vartheta _3 \lesssim k_{3\perp }^2/k_{1\perp }^2\). The first condition on the transverse momentum makes sure that the gluon’s distance \(R \sim 1 /k_{3\perp }\) from the \(q\bar{q}\) pair is large enough to allow for strong scattering, while the upper limit on the fraction \(\vartheta _3\) guarantees that the gluon formation time does not exceed the \(q\bar{q}\) pair lifetime. If any of these two constraints is not satisfied, the cross section of interest is strongly suppressed.

For the coherent process under consideration, the total transverse momentum \(\Delta _{\perp }\) transferred from the target to the jets is very small, \(\Delta _{\perp }\sim 1/R_A \simeq 30\) MeV (we used \(R_A \simeq 6\) fm for a Pb nucleus). This is much smaller than any of the transverse momenta of the three jets. Accordingly, the momentum imbalance between the hard jets is determined by the gluon, \(|\varvec{k}_{1\perp }+\varvec{k}_{2\perp }| \simeq k_{3\perp }\), and is much smaller then their individual momenta \(k_{1\perp }\) and \(k_{2\perp }\). This makes it clear that the two hard jets propagate nearly back-to-back in the transverse plane. It is then convenient to introduce the relative (\(\varvec{P}\)) and total (\(\varvec{K}\)) momenta of the hard dijet according to

$$\begin{aligned} \varvec{P}\equiv \frac{\vartheta _2 \varvec{k}_1 - \vartheta _1 \varvec{k}_2}{\vartheta _1+\vartheta _2}, \quad \varvec{K}\equiv \varvec{k}_1 + \varvec{k}_2 \end{aligned}$$
(2)

and the kinematic regime of interest can be summarised as \(k_{1\perp } \simeq k_{2\perp } \simeq P_{\perp } \gg K_{\perp } \simeq k_{3\perp } \simeq Q_s(Y_{\mathbb {P}})\) and \(\vartheta _1 \sim \vartheta _2 \simeq 1-\vartheta _1 \gg \vartheta _3\).

It is standard to use (pseudo-)rapidities to characterise the jets longitudinal momenta. For massless particles there is no difference between pseudo-rapidities and rapidities, so we will use the common notation \(\eta \) for both. For an on-shell particle with 4-momentum \(k^{\mu } \) we have

$$\begin{aligned} \eta = -\ln \tan \frac{\theta }{2} = \frac{1}{2}\,\ln \frac{k^+}{k^-} = \ln \frac{\sqrt{2} k^+}{k_{\perp }} =- \ln \frac{\sqrt{2} k^-}{k_{\perp }}, \end{aligned}$$
(3)

where \(\theta \) is the propagation angle w.r.t. the z-axis. We shall say that a particle moves in the forward direction when its rapidity is positive, i.e. when it propagates in the same hemisphere as the nucleus B and the photon emitted by the latter.

We are now in a position to write down the general expression for the cross section for 2+1 jet production in AB UPCs:

$$\begin{aligned}{} & {} \frac{\textrm{d}\sigma _{2+1}^{AB\rightarrow q\bar{q}gAB}}{\textrm{d}\eta _1 \textrm{d}\eta _2\textrm{d}^2\varvec{P}\textrm{d}^2\varvec{K}\textrm{d}Y_{\mathbb {P}}}\nonumber \\{} & {} \quad = \int _0^\infty \textrm{d}\omega \bigg [ \frac{\textrm{d}N_B}{\textrm{d}\omega } \frac{\textrm{d}\sigma _{2+1}^{\gamma A \rightarrow q\bar{q}gA}}{\textrm{d}\eta _1 \textrm{d}\eta _2\textrm{d}^2\varvec{P}\textrm{d}^2\varvec{K}\textrm{d}Y_{\mathbb {P}}} +(A \leftrightarrow B) \bigg ],\nonumber \\ \end{aligned}$$
(4)

where the first (second) term in the square brackets refers to the case in which the photon is emitted by nucleus B (respectively, A). As already mentioned, we will focus on the first case – photon emitted by B and which scatters with A –, for which we shall use the label \(BA\rightarrow \gamma A\). The contribution of the other case (\(AB\rightarrow \gamma B\)) can then be obtained by changing the signs of the pseudo-rapidities \(\eta _1\) and \(\eta _2\). Each of these terms is the product of two factors which describe the two stages of the process: the photon emission and the photon-nucleus collision.

The quantity \(\textrm{d}N_B/\textrm{d}\omega \) is obtained by integrating the photon flux generated by nucleus B over impact parameters \(b \ge R_A + R_B\). A computation in classical electrodynamics gives [21,22,23, 40]

$$\begin{aligned} \frac{\textrm{d}N_B}{\textrm{d}\omega } = \frac{2 Z_B^2 \alpha _{\textrm{em}}}{\pi \omega } \bigg \{ \zeta K_0(\zeta ) K_1(\zeta ) - \frac{\zeta ^2}{2} \big [ K_1^2(\zeta ) - K_0^2(\zeta ) \big ] \bigg \}, \end{aligned}$$
(5)

with \(\alpha _\textrm{em}\) the fine structure constant and where we have defined the dimensionless parameter

$$\begin{aligned} \zeta =\frac{\omega (R_A +R_B)}{\gamma _L} = 2 x_{\gamma } M_N R_A. \end{aligned}$$
(6)

Here \(\gamma _L = E_N/M_N\) is the nucleon Lorentz boost factor, whereas in writing the second equality we assumed identical nuclei. We also introduced the fraction \(x_{\gamma } = q^+/P_B^+ = \omega /E_N\) of the longitudinal momentum of a nucleon (from nucleus B) that is carried by the photon. We show the integrated photon flux as a function of both \(\omega \) and \(\zeta \) in the left panel of Fig. 2. Since the Bessel functions vanish exponentially for \(\zeta \gtrsim 1\), it becomes clear that the photon flux is substantial only for energy fractions up to

$$\begin{aligned} x_{\gamma }^{*} \equiv \frac{1}{2 M_N R_A}. \end{aligned}$$
(7)

With \(M_N = 1\) GeV and \(R_A=6\) fm, one finds \(x_{\gamma }^{*} \simeq 0.016\), which in turn implies a critical value \(\omega ^{*} = x_{\gamma }^{*} E_N \simeq \) 40 GeV for the photon energy. We would like to stress that higher photon energies are not kinematically forbidden and it would be very welcome if experiments could trigger on such rare events. The fact that \(\omega ^{*}\) is much smaller than the nucleon energy \(E_N\) means that, although the photon is a right mover, the jets will not be constrained to move in the forward direction as we will discuss in a while.

Fig. 2
figure 2

Left panel: double logarithmic plot of the photon spectrum produced by an ultra-relativistic nucleus with charge \(Z=82\), radius \(R_A=6\) fm and Lorentz factor \(\gamma _L=2500\), passing a same target nucleus at an impact parameter \(b \ge 2 R_A\), either as a function of the photon energy \(\omega \) or as a function of the dimensionless parameter \(\zeta \) (cf. Eq. (6)). Right panel: logarithmic plot of the same spectrum as a function of the common rapidity \(y=\eta _1=\eta _2=\ln (\omega /P_{\perp })\) of a symmetric dijet pair with transverse momenta \(k_{1\perp } = k_{2\perp } = P_{\perp }\)

The integration over \(\omega \) in Eq. (4) can be trivially performed by using the conservation of the plus component of the longitudinal momentum in the \(\gamma A\) collision: \(q^+=k_1^++k_2^++k_3^+ \simeq k_1^++k_2^+\), where we have used the fact that the gluon is soft. Hence \(\omega \) is determined by the final state kinematics of the hard pair according to (we recall that \(q^+\simeq \sqrt{2}\omega \))

$$\begin{aligned} \omega&= \frac{1}{\sqrt{2}}\, (k_1^+ + k_2^+) = \frac{1}{2}\,(k_{1\perp } e^{\eta _1} + k_{2\perp } e^{\eta _2}) \nonumber \\&\simeq \frac{P_{\perp } }{2}\,(e^{\eta _1} + e^{\eta _2}). \end{aligned}$$
(8)

The second ingredient in Eq. (4) is the cross section for 2+1 jet production in \(\gamma A\) coherent diffraction. When \(P_{\perp } \gg K_{\perp }\) and \(\vartheta _1,\vartheta _2 \gg \vartheta _3\), this factorises between a “hard” and a “semi-hard” factor [5, 6], as we now explain. By taking into account only the first term in Eq. (4) we can write

$$\begin{aligned} \frac{\textrm{d}\sigma _{2+1}^{BA\rightarrow \gamma A}}{\textrm{d}\eta _1 \textrm{d}\eta _2\textrm{d}^2\varvec{P}\textrm{d}^2\varvec{K}\textrm{d}Y_{\mathbb {P}}}&= \omega \frac{\textrm{d}N_B}{\textrm{d}\omega }\, h(\eta _1,\eta _2,P_{\perp }^2)\,\nonumber \\&\quad \times \frac{\textrm{d}x G_{\mathbb {P}}^A(x,x_{\mathbb {P}},K_{\perp }^2)}{\textrm{d}^2\varvec{K}}, \end{aligned}$$
(9)

where the photon energy is fixed according to Eq. (8).

The hard factor h describes the decay of a transversely polarised quasi-real photonFootnote 1 into a \(q\bar{q}\) pair, as well as the coupling of the latter to the comparatively soft gluon; it reads

$$\begin{aligned} h(\eta _1,\eta _2,P_{\perp }^2) = \alpha _\textrm{em} \alpha _s \left( \sum {e_f^2} \right) \vartheta _1 \vartheta _2 (\vartheta _1^2+ \vartheta _2^2)\, \frac{1}{P_{\perp }^4}, \end{aligned}$$
(10)

where \(\alpha _s\) is the strong coupling constant and \(e_f\) is the fractional charge of the flavor f. It is understood that \(\vartheta _2 \simeq 1- \vartheta _1\) and \(\vartheta _1\) can be expressed in terms of pseudo-rapidities as

$$\begin{aligned} \vartheta _1 = \frac{k_{1\perp } e^{\eta _1}}{k_{1\perp } e^{\eta _1} + k_{2\perp } e^{\eta _2}} \simeq \frac{e^{\eta _1}}{e^{\eta _1}+e^{\eta _2}}. \end{aligned}$$
(11)

The factor \(\vartheta _1 \vartheta _2\) in Eq. (10) makes clear that relatively symmetric jets with \(\vartheta _1 \sim \vartheta _2 \sim 1/2\), hence with \(\eta _1 \sim \eta _2\), are favored by this process. It is interesting to observe that the hard factor (10) is identical to that appearing in the calculation of inclusive dijet photo-production in the correlation limit – i.e. in the regime where the two jets are hard (\(P_\perp \gg Q_s\)) and (weakly) scatter off the small-x gluons in the target – and to leading order [41]. In Appendix B, we will compare the cross-sections for these two processes.

The semi-hard factor in Eq. (9) encodes the QCD dynamics of interest and represents the unintegrated gluon distribution (UGD) of the Pomeron, or the “gluon diffractive transverse momentum distribution (TMD)”: it gives the probability to find a gluon with relative minus longitudinal momentum fraction x and transverse momentum \(K_{\perp }\) inside a Pomeron which carries a fraction \(x_{\mathbb {P}}\) of the target momentum (per nucleon). Implicit in this interpretation, there is an alternative physical picture in which the gluon is viewed as being part of the target nucleus wavefunctionFootnote 2 – more precisely, of the “Pomeron”. The Pomeron emits two gluons in a color singlet state: one in the s-channel (which appears in the final state) with momentum fraction \(x_3\) and transverse momentum \(\varvec{k}_3=-\varvec{K}\), and one in the t-channel, with momentum fraction \( x_{\mathbb {P}} - x_3\) and transverse momentum \(\varvec{K}\). The t–channel gluon is absorbed by the \(q\bar{q}\) pair and provides the minus momentum fraction of the hard dijet, \(x_{\mathbb {P}} -x_3 = x_1+x_2 \equiv x_{q\bar{q}}\), as well as its transverse momentum imbalance: \(\varvec{K}=\varvec{k}_1+\varvec{k}_2\). The variable x appearing in the gluon diffractive TMD is the splitting fraction of the t-channel gluon w.r.t. the Pomeron:

$$\begin{aligned} x = \frac{x_{q\bar{q}}}{x_{\mathbb {P}}}. \end{aligned}$$
(12)

While \(x_{q\bar{q}}\) depends only on the kinematics of the hard dijet, namely

$$\begin{aligned} x_{q\bar{q}} = \frac{k_{1\perp } e^{-\eta _1}+k_{2\perp } e^{-\eta _2}}{2 E_N} \simeq \frac{P_{\perp }}{2 E_N} \left( e^{-\eta _1}+e^{-\eta _2} \right) , \end{aligned}$$
(13)

x and \(x_{\mathbb {P}}\) are also sensitive to the kinematics of the semi-hard gluon jet, more precisely

$$\begin{aligned} x_{\mathbb {P}} = x_{q\bar{q}}\, + \frac{K_{\perp } e^{-\eta _3}}{2 E_N} \end{aligned}$$
(14)

and x can be determined from the above equations. Notice that, out of the three longitudinal variables \(\eta _3, \, x_{\mathbb {P}}\) and x, only one is independent.

3 The gluon distribution of the Pomeron

As emphasised in the Introduction, the Pomeron UGD at low \(x_{\mathbb {P}}\ll 1\) is determined by the physics of gluon saturation. It is related to a particular Fourier–Bessel transform of the amplitude \(\mathcal {T}_{g}(R,Y_{\mathbb {P}})\) for a gluon-gluon dipole of size R to scatter off the nuclear target. More precisely one finds [5, 6]

$$\begin{aligned} \frac{\textrm{d}x G_{\mathbb {P}}^A(x,x_{\mathbb {P}},K_{\perp }^2)}{\textrm{d}^2\varvec{K}} = \frac{S_{\perp }(N_c^2-1)}{4\pi ^3}\, \frac{\big |\mathcal {G}^A(x,x_{\mathbb {P}},K_{\perp })\big |^2}{2\pi (1-x)}, \end{aligned}$$
(15)

with \(S_{\perp }\propto A^{2/3}\) the transverse area of the nucleus A and \(\mathcal {G}^A\) a dimensionless distribution given by

$$\begin{aligned} \mathcal {G}^A(x,x_{\mathbb {P}},K_{\perp })&= \mathcal {M}^2 \int _0^{\infty } \textrm{d}R\, R\, J_2(K_{\perp } R) K_2(\mathcal {M}R) \mathcal {T}_{g}(R,Y_{\mathbb {P}}) \quad \text {with} \nonumber \\ \mathcal {M}^2&\equiv \frac{x}{1-x}\,K_{\perp }^2. \end{aligned}$$
(16)

For a qualitative discussion, we shall use the MV model [38, 39], which is a reasonable approximation for a large nucleus and not too high energies. In this model, the gluon-gluon dipole amplitude is independent of \(Y_{\mathbb {P}}\) and reads

$$\begin{aligned} \mathcal {T}_g(R)= 1 - \exp \left( - \frac{Q_{gA}^2 R^2}{4}\,\ln \frac{4}{R^2 \Lambda ^2} \right) , \end{aligned}$$
(17)

where \(\Lambda \) is the QCD scale and \(Q_{gA}^2\) is the colour charge density of the valence quarks in nucleus A, as measured by the gluon-gluon dipole, hence it is proportional to \(N_c A^{1/3}\). We define the gluon saturation momentum \(Q_{gs}\) via the condition that the exponent in Eq. (17) becomes equal to one when \(R=2/Q_{gs}\), which gives

$$\begin{aligned} Q_{gs}^2 = Q_{gA}^2 \ln \frac{Q_{gs}^2}{\Lambda ^2}. \end{aligned}$$
(18)

The Pomeron UGD coming out from the MV model can be given the piecewise form [5, 6]

$$\begin{aligned}&\frac{\textrm{d}x G_{\mathbb {P}}^A(x,x_{\mathbb {P}},K_{\perp }^2)}{\textrm{d}^2\varvec{K}} \nonumber \\&\quad \simeq \frac{S_{\perp }(N_c^2-1)}{4\pi ^3}\, \frac{1-x}{2\pi } {\left\{ \begin{array}{ll} 1 &{}\quad \textrm{for} \quad K_{\perp } \ll \tilde{Q}_s(x) \\ {\displaystyle \frac{\tilde{Q}_s^4(x)}{K_{\perp }^4}} &{}\quad \textrm{for} \quad K_{\perp } \gg \tilde{Q}_s(x). \end{array}\right. } \end{aligned}$$
(19)

The expression in the first line arises from the unitarity limit \(\mathcal {T}_g=1\), while that in the second line, in which we have neglected slowly varying functions of x and \(K_{\perp }^2\), comes from the weak scattering limit \(\mathcal {T}_g \sim R^2 Q_{gs}^2\). In the above, \(\tilde{Q}_s^2(x) = (1-x) Q_{gs}^2\) is an effective saturation momentum which can be understood as follows: the t-channel gluon has a space-like virtuality \(k_g^2 = K_{\perp }^2/(1-x)\), so that the typical size squared of the gluon-gluon dipole is \(R^2 \sim 1/k_g^2 = (1-x)/K_{\perp }^2\). Then the condition that the scattering be strong for \(R \gtrsim 1/Q_{gs}\), leads to \(K_{\perp } \lesssim \tilde{Q}_s(x)\).

The rapid \(1/K_{\perp }^4\) fall-off in the tail of the Pomeron UGD implies that the transverse momentum of the third jet in the typical events is of the order of \(\tilde{Q}_s(x)\). In turn, this has two significant phenomenological consequences for UPCs: (i) the gluon jet is too soft to be observed as a genuine jet in a calorimeter, albeit its hadronic descendants could be still measured in a hadron detector, and (ii) the dijet imbalance is eventually controlled by mechanisms which have not been taken yet into account, namely the DGLAP evolution [42,43,44] of the Pomeron gluon distribution [6] (see below) and the final state radiation from the hard dijet [45]. Such effects involve emissions of partons with transverse momenta logarithmically distributed between \(\tilde{Q}_s(x)\) and \(P_{\perp }\), so that the final dijet imbalance becomes considerably larger than the semi-hard scale \(\tilde{Q}_s(x)\).

Since the experimentally measured dijet imbalance \(K_{\perp }\) is not under control within the present approach, nor representative for the physics of saturation, it is preferable to integrate over \(K_{\perp }\) up to the hard scale \(P_{\perp }\) and thus obtain a semi-inclusive cross-section for hard dijet production

$$\begin{aligned} \frac{\textrm{d}\sigma _{2+1}^{BA\rightarrow \gamma A}}{\textrm{d}\eta _1 \textrm{d}\eta _2\textrm{d}^2\varvec{P}\textrm{d}Y_{\mathbb {P}}} = \omega \frac{\textrm{d}N_B}{\textrm{d}\omega }\, h(\eta _1,\eta _2,P_{\perp }^2)\, x G_{\mathbb {P}}^A(x,x_{\mathbb {P}},P_{\perp }^2), \end{aligned}$$
(20)

which involves the integrated gluon distribution of the Pomeron \(x G_{\mathbb {P}}^A(x,x_{\mathbb {P}},P_{\perp }^2)\), a.k.a. the gluon diffractive parton distribution function (DPDF). It is suggestive to present its expression in the MV model, cf. Eq. (19). Then the integral is dominated by momenta \(K_{\perp }\sim \tilde{Q}_s(x)\) and is almost independent of the upper limit \(P_{\perp }\) so long as \(P_{\perp } \gg \tilde{Q}_s(x)\). The result can be written as [5, 6, 14]

$$\begin{aligned} x G_{\mathbb {P}}^A(x,x_{\mathbb {P}},P_{\perp }^2)&= \int _0^{P_{\perp }} \textrm{d}^2\varvec{K}\, \frac{\textrm{d}x G_{\mathbb {P}}^A(x,x_{\mathbb {P}},K_{\perp }^2)}{\textrm{d}^2\varvec{K}} \nonumber \\&= \frac{S_{\perp }(N_c^2-1)}{4\pi ^3}\, \kappa \big ( x, P_{\perp }^2/\tilde{Q}_s^2(x) \big ) (1-x) \tilde{Q}_s^2(x), \end{aligned}$$
(21)

where \(\kappa \) is a slowly varying function in all of its arguments. In this semi-classical approximation, valid at small \(x_{\mathbb {P}}\), the gluon distribution of the Pomeron is independent of \(x_{\mathbb {P}}\). Since proportional to \(\tilde{Q}_s^2(x) = (1-x) Q_{gs}^2\), the right hand side (r.h.s.) of (21) scales like \(A\ln A\) (recall Eq. (18)) and vanishes like \((1-x)^2\) when \(x\rightarrow 1\). These scaling laws are characteristic of gluon saturation. Without saturation, the unitarisation of the scattering amplitude would likely occur at the QCD confinement scale \(\Lambda \) and the single-scattering approximation in the second lineFootnote 3 of Eq. (19) would then apply for all transverse momenta down to \(K_\perp \sim \Lambda \). Since the integral in Eq. (21) is dominated by its lower limit, the ensuing result for \(x G_{\mathbb {P}}^A\) would be larger, roughly, by a factor \(\tilde{Q}_s^2(x)/\Lambda ^2\), than the saturation prediction shown above. Moreover, it would scale with A like \(A^{4/3}\) and would vanish like \((1-x)^3\) when \(x\rightarrow 1\).

Going beyond the MV model, the gluon distribution of the Pomeron is subjected to two types of quantum evolution: the high-energy evolution with \(Y_{\mathbb {P}}\), as described by the BK/JIMWLK equations [30,31,32,33,34,35,36,37] (here, applied to the gluon dipole amplitude \(\mathcal {T}_{g}(R,Y_{\mathbb {P}})\)), and the DGLAP evolution of the gluon distribution \(x G_{\mathbb {P}}^A(x,x_{\mathbb {P}},P_{\perp }^2)\) with increasing \(P_\perp ^2\) [42,43,44].

The high-energy evolution introduce a non-trivial dependence upon \(Y_{\mathbb {P}}\) (or \(x_{\mathbb {P}}\)), but does not alter the general structure in the r.h.s. of (21) – its mere effect is to increase the saturation momentum and to slightly change the form of the function \(\kappa \) (see [6] for a related discussion and numerical results). In this work, we shall not consider this evolution, since in our subsequent applications to the phenomenology of UPCs we will be led to consider only moderate valuesFootnote 4\(Y_{\mathbb {P}}\lesssim 5\).

Fig. 3
figure 3

The reduced gluon DPDF shown as a function of \(P_{\perp }\) for various values of x and as a function of x for various values of \(P_{\perp }\). First line: the predictions of the MV model in Eqs. (17) and (18), with \(Q_{gs}^2=2\) GeV\(^2\) and \(\Lambda =0.2\) GeV. Second and third lines: adding the effects of the DGLAP evolution, initiated at the scale \(\mu _0^2=4\) GeV\(^2\) and \(\mu _0^2=8\) GeV\(^2\) respectively

On the other hand, the DGLAP evolution turns out to be important for our purposes, since we shall consider relatively hard dijets, with \(P_\perp \) as large as 30 GeV, for which \(\alpha _s \ln (P_{\perp }^2/Q_{gs}^2) \gtrsim 1\). For the problem at hand, this amounts to solving an inhomogeneous version of the DGLAP equation, in which the unintegrated gluon distribution provided by the MV model (cf. Eq. (15)) enters as a source term (see [6] for details). In order to write down this equation and exhibit our numerical results, it is convenient to introduce a reduced gluon distribution \(xg_{\mathbb {P}}^A\) by stripping some “trivial” phase-space factors off the original distribution \(x G_{\mathbb {P}}^A\):

$$\begin{aligned} x g_{\mathbb {P}}^A(x,x_{\mathbb {P}},P_{\perp }^2)&\equiv \frac{x G_{\mathbb {P}}^A(x,x_{\mathbb {P}},P_{\perp }^2) }{F_0} \quad \textrm{with} \nonumber \\ F_0&\equiv \frac{N_c^2-1}{4\pi ^3}\,S_{\perp } Q_{gs}^2, \end{aligned}$$
(22)

with \(Q_{gs}\) the value of the saturation momentum at tree-level (here, as given by the MV model, cf. Eq. (18)). Since we ignore the effects of the high-energy evolution, this scale \(Q_{gs}\) remains the physical saturation momentum throughout our analysis (it is not affected by the DGLAP evolution).

The relevant version of the DGLAP equation reads as follows [6]:

$$\begin{aligned} \frac{\textrm{d}xg_{\mathbb {P}}^A(x, x_{\mathbb {P}}, P_{\perp }^2)}{\textrm{d}\ln P_{\perp }^2}&= \pi P_{\perp }^2\, \frac{\big |\mathcal {G}^A(x,x_{\mathbb {P}},P_{\perp })\big |^2}{2\pi (1-x) Q_{gs}^2}\nonumber \\&\quad + \frac{\alpha _s (P_{\perp }^2)}{2\pi } \int _x^1 \textrm{d}z\, P_{gg} (z) \, \frac{x}{z}\, g_{\mathbb {P}}^A \left( \frac{x}{z}, x_{\mathbb {P}}, P_{\perp }^2 \right) , \end{aligned}$$
(23)

where \(P_{gg}(z)\) is the gluon-gluon splitting function (see e.g. [4]) and \(\alpha _s(P_{\perp }^2)= 1/[b_0\ln (P_{\perp }^2/{\Lambda ^2})]\) with \(b_0 = (11 N_c - 2 N_f)/12 \pi \) and \(\Lambda =0.2\) GeV is the one-loop QCD running coupling. The DGLAP evolution is turned on at some initial value \(P_{\perp }^2=\mu _0^2\), which must obey \(\mu _0^2\gg Q_{gs}^2\) and \(\alpha _s \ln (\mu _0^2/Q_{gs}^2) \ll 1\), but is otherwise arbitrary. So long as the final momentum \(P_{\perp }^2\) that we are interested in is much larger, \(P_{\perp }^2\gg \mu _0^2\), the scheme dependence upon \(\mu _0\) is expected to be small.

Using equations (16) and (23), we have numerically computed the reduced gluon distribution \(xg_{\mathbb {P}}^A\), with the results shown in Fig. 3. The two plots in the first line illustrate its functional dependences upon \(P_\perp \) and upon x predicted by the MV model. The left plot shows that the distribution rapidly saturates when increasing \(P_\perp \) above \({\tilde{Q}}_{gs}(x)\), in agreement with the above discussion of Eq. (21). In particular, the x-dependence of the effective saturation momentum can be appreciated from this figure. The right plot showing the x-dependence confirms the \((1-x)^2\) behaviour near \(x=1\) and also shows that the function \(\kappa \) introduced in Eq. (21) is roughly linear in x, as originally noticed in [14].

In the second line of Fig. 3, we show the effects of the DGLAP evolution for an initial scale \(\mu _0^2=4\) GeV\(^2\). By comparing with the respective plots in the first line, it becomes clear that the evolution effects are substantial. When increasing \(P_{\perp }\), one sees an increase of \(x g_{\mathbb {P}}^A\) for the smallest value \(x=0.01\) and a mild decrease for larger values \(x\ge 0.1\). This is in agreement with the fact that the DGLAP evolution copiously produces soft gluons with \(x\ll 1\), while depleting the number of their sources at larger values of x. In particular, the distribution becomes singular as \(x\rightarrow 0\) and vanishes faster when \(x\rightarrow 1\) than the MV model prediction \(\propto (1-x)^2\) (see the right plots in Fig. 3). The growth of the gluon distribution at small x has no phenomenological consequences, since in the kinematical range of interest, the diffractive cross-section (20) is controlled by larger values \(x\gtrsim 0.1\), as we shall see. But the faster approach to zero in the limit \(x\rightarrow 1\) will be important for what follows. In the third line of Fig. 3 we repeat our analysis using \(\mu _0^2=8\) GeV\(^2\) as the starting scale for DGLAP evolution; comparing with the second line we see that the scheme dependence is indeed small for any \(P_\perp \ge 5\) GeV and \(x\ge 0.05\).

4 Kinematical constraints and pseudo-rapidities

The phase space for the 2+1 jet production in coherent diffraction is limited by two conditions. The first is the kinematical constraint \(x\le 1\), which in turn requires that \(x_{q\bar{q}}\) be very small, since \(x_{\mathbb {P}}=x_{q\bar{q}}/x\) is assumed to be small as well. The second arises from the exponential decay of the photon flux at high energies \(\omega =x_{\gamma } E_N\), which effectively requires \(x_{\gamma } \lesssim x_{\gamma }^*\), cf. the discussion after Eq. (7). To study their consequences, we shall consider the case that the two hard jets have equal pseudo-rapidities, \(\eta _1=\eta _2 \equiv y\). This assumption, which is useful in that it reduces the number of independent variables, is not unrealistic: we have already explained that \(\eta _1\) and \(\eta _2\) should be comparable with each other for the typical events. Then the longitudinal fractions of interest and the respective constraints become

$$\begin{aligned} x_{\gamma } \simeq \frac{P_{\perp }}{E_N}\, e^y \lesssim x_{\gamma }^* \quad \textrm{and} \quad x = \frac{x_{q\bar{q}}}{x_{\mathbb {P}}} \simeq \frac{P_{\perp }}{E_N}\, e^{Y_{\mathbb {P}}-y} \le 1. \end{aligned}$$
(24)

These two conditions can be combined to limit the range of allowed values for y:

$$\begin{aligned} \frac{P_{\perp }}{E_N}\, e^{Y_{\mathbb {P}}}\,\le \,e^y\,\lesssim \, \frac{E_N}{P_{\perp }}\, x_{\gamma }^*, \end{aligned}$$
(25)

The pseudo-rapidity y of the hard dijets cannot be neither too large not too small.Footnote 5 A very forward dijet (large and positive y) requires a very forward photon, which means that \(x_\gamma \) must be largish and the photon flux enters the regime of its exponential fall-off. A very backward dijet (large but negative y) requires a somewhat large minus longitudinal momentum fraction x transferred from the target, but this is limited by the condition that \(Y_{\mathbb {P}}\) should be large. Besides, events with small \(1-x\ll 1\) are strongly suppressed by the gluon distribution (21). It is also important to notice that the window for the allowed values of y widens with decreasing \(P_{\perp }\).

Let us preview how the rapidity space is marked by the various particles and gaps, as we move from forward to backward in the coherent diffractive events of interest. The nucleus B appears in the very forward direction. Behind it, there is a large gap of the order of \(\ln (1/x_{\gamma })\), which is “trivial” in the sense that there is obviously no hadron production before the photon dissociation. Moving towards central rapidities, one finds the hard dijet system, which for the interesting values of \(P_\perp \) and \(Y_{\mathbb {P}}\), can be either slightly forward or slightly backward, as we shall see. The third, gluon, jet typically lies at backwards rapidities, a few units away from the hard dijets. Next, there is a large “non-trivial” gap – the genuine diffractive gap, of the order of \(Y_{\mathbb {P}}=\ln 1/x_{\mathbb {P}}\), associated with the colourless exchange between the \(q\bar{q}g\) system and the target nucleus A. It extends all the way to the most backward region where nucleus A is found.

To be more quantitative, let us first exhibit the pseudo-rapidities of the particles present in the final state. For the purposes of the current discussion we shall express them in terms of the photon energy \(\omega \), the hard momentum \(P_{\perp }\), the imbalance \(K_{\perp }\) and the fraction x, while we always have in mind the value \(E_N=2.5\) TeV for the energy per nucleon. Using the nucleon mass \(M_N\) as an infrared regulator, Eq. (3) gives for the two nuclei

$$\begin{aligned} \eta _B = \ln \frac{\sqrt{2}P^+}{M_N} = \ln \frac{2 E_N}{M_N} = -\eta _A, \end{aligned}$$
(26)

which leads to a value \(\eta _B \simeq 8.5\). The pseudo-rapidities of the hard jets can be found by inverting the first equation in (24) and recalling that \(\omega = x_{\gamma } E_N\):

$$\begin{aligned} \eta _1 = \eta _2 = y = \ln \frac{\omega }{P_{\perp }}. \end{aligned}$$
(27)

Clearly, the common pseudo-rapidity y of the two hard jets can have either sign depending on the ratio \(\omega /P_{\perp }\). For sufficiently large \(P_{\perp }\), comparable to the critical photon energy \(\omega ^*\simeq 40\) GeV, the dijet is more likely to propagate at central, or even slightly negative rapidities, that is, in the opposite hemisphere w.r.t. to the photon. To illustrate this point, we have displayed in the right panel in Fig. 2 the photon spectrum \( \omega ({\textrm{d}N}/{\textrm{d}\omega })=\textrm{d}N/\textrm{d}y\) as a function of y for various values of fixed \(P_{\perp }\); there it is manifest that with increasing \(P_{\perp }\) the support shrinks towards negative y. But this figure also shows that it should be possible to trigger on forward jets, say with \(y \gtrsim 1\), even when they are relatively hard, say with a \(P_{\perp }\) around 30 GeV. That would require large photon energies \(\omega > \omega ^*\), for which the spectrum is strongly suppressed, yet non-vanishing. Albeit rare, such large \(\omega \) events are very interesting, in that they explore higher center-of-mass energies for the \(\gamma A\) collision and thus offer better possibilities to probe gluon saturation.

Concerning the third, gluon, jet, it is more convenient to indicate its pseudo-rapidity separation from the hard dijets; using Eqs. (12)–(114), one finds

$$\begin{aligned} \Delta \eta _\textrm{jet} = y - \eta _3= \ln \frac{2(1-x)}{x} + \ln \frac{P_{\perp }}{K_{\perp }}. \end{aligned}$$
(28)

This is positive and sizeable (since \(P_{\perp } \gg K_{\perp }\)) for all the interesting values of x, that is, whenever x is not very close to one.Footnote 6

One can now easily calculate the relevant pseudo-rapidity gaps and separations by taking the appropriate differences. The photon gap is obtained as

$$\begin{aligned} \Delta \eta ^B_{\gamma } \equiv \eta _B - y = \ln \frac{2 E_N}{M_N} - \ln \frac{\omega }{P_{\perp }} = \ln \frac{2}{x_{\gamma }} + \ln \frac{P_{\perp }}{M_N}. \end{aligned}$$
(29)

This is the sum of two large contributions since \(x_{\gamma } \lesssim x_{\gamma }^* \ll 1\) and \(P_{\perp } \gg M_N\).

For the typical events, the diffractive gap extends between the target nucleus A and the gluon jet, and is computed as

$$\begin{aligned} \Delta \eta ^A_{\textrm{gap}} = \eta _3 - \eta _A = Y_{\mathbb {P}} + \ln \frac{1}{1-x} + \ln \frac{K_{\perp }}{M_N}, \end{aligned}$$
(30)

where we have also used the following expression for \(Y_{\mathbb {P}}\), which easily follows from Eq. (24):

$$\begin{aligned} Y_{\mathbb {P}} = \ln \frac{1}{x_{q{\bar{q}}}}- \ln \frac{1}{ x}= \ln \frac{\omega }{P_{\perp }} + \ln \frac{E_N}{P_{\perp }} - \ln \frac{1}{ x}. \end{aligned}$$
(31)

For the representative values of x, say \(0.1 \lesssim x \lesssim 0.5\), and with \(K_{\perp }\) taking semi-hard values of the order of \(Q_s\), both logarithms on the r.h.s. in Eq. (30) are of order one. Hence, the pseudo-rapidity gap, which can be experimentally measured, is comparable to the Pomeron rapidity which appears in the theoretical description.

Equation (31) confirms that one can increase \(Y_{\mathbb {P}}\) (or decrease \(x_{\mathbb {P}}\)) by increasing the COM energy squared \(s_{\gamma A}=4\omega E_N\) for the photon-nucleus collision and/or by decreasing the relative transverse momentum \(P_{\perp }\) of the hard dijets. Furthermore, for a fixed kinematics of the hard process, one can enhance \(Y_{\mathbb {P}}\) by triggering on events where the variable x is not too small (say, \(x >0.1\)), meaning events in which the rapidity separation \(\Delta \eta _\textrm{jet} \) between the hard dijet and the gluon jet is as small as possible – close to \(\ln ({P_{\perp }}/{K_{\perp }})\) (cf. Eq. (28)).

Fig. 4
figure 4

Jet pseudo-rapidities and rapidity gaps in events with high photon energies (\(\omega =40\) GeV) as a function of the hard momentum \(P_{\perp }\) for \(x=0.2\) (left panel) and \(x=0.5\) (right panel)

To get a better feeling for all these considerations, we show the various rapidities and rapidity gaps in Fig. 4 for some interesting values of the kinematical parameters. We have chosen \(\omega = \omega ^* \simeq 40\) GeV, a rather large value which corresponds to somewhat rare events, in order to increase the probability to have small–\(x_{\mathbb {P}}\) diffraction. Also, we have fixed \(K_{\perp }=2\) GeV, a value comparable to \(Q_s\). This allows us to see how the various rapidities depend on the t-channel gluon fraction x (for the 2 interesting values \(x=0.2\) and \(x=0.5\)) and on the hard dijet momentum \(P_{\perp }\). As expected, the case for gluon saturation in the Pomeron becomes more favourable – in the sense that the value of \(Y_{\mathbb {P}}\) increases – when decreasing \(P_{\perp }\) and/or increasing x. Furthermore, decreasing \(P_\perp \) has the effect to push the three jet system to more forward rapidities (the more so for the third, gluon, jet), with the double benefit that the diffractive gap \(\Delta \eta _\textrm{gap}^A\) grows and the probability to find the third jet in the rapidity range covered by the detector increases.

Let us study in more detail a couple of examples by listing explicit numbers for all the rapidities of interest. We still keep \(\omega =40\) GeV and assume the more favourable value \(x=0.5\) together with two relatively large values for the dijet relative momentum \(P_{\perp }\) (15 and 30 GeV), which are experimentally accessible (in the sense of allowing for jet reconstruction) at the LHC.

  1. (i)

    For \(P_{\perp }=15\) GeV we have

    $$\begin{aligned}&y=1.0 \,\, | \,\, \eta _3=-1.7 \,\, | \,\, \Delta \eta _{\textrm{jet}}=2.7 \,\, | \,\, Y_{\mathbb {P}}=5.4 \,\, | \,\, \Delta \eta _{\gamma }^B=7.5 \nonumber \\&\,\, | \,\, \Delta \eta _{\textrm{gap}}^A=6.8. \end{aligned}$$
    (32)
  2. (ii)

    For \(P_{\perp }=30\) GeV we have

    $$\begin{aligned}&y=0.3 \,\, | \,\, \eta _3=-3.1 \,\, | \,\, \Delta \eta _{\textrm{jet}}=3.4 \,\, | \,\, Y_{\mathbb {P}}=4.0 \,\, | \,\, \Delta \eta _{\gamma }^B=8.2\nonumber \\&\,\, | \,\, \Delta \eta _{\textrm{gap}}^A=5.4. \end{aligned}$$
    (33)

In Fig. 5 we depict the direction of motion of the outgoing particles in the two aforementioned cases. Both such events would be suitable for a study of gluon saturation: \(Y_{\mathbb {P}}\) is large enough for that purpose (at least marginally in the second case), although not that large to also probe the high energy evolution of the Pomeron. This motivates our study in the next section, where we will focus on such relatively large values of \(P_{\perp }\), for which we can ignore the BK/JIMWLK evolution with increasing \(Y_{\mathbb {P}}\), but we must include the effects of the DGLAP evolution with increasing \(P_{\perp }^2\).

Fig. 5
figure 5

Graphical illustration of two (2+1)-jet events which correspond to two different values of the relative momentum of the hard dijets: \(P_{\perp }=15\) GeV (left panel) and \(P_{\perp }=30\) GeV (right panel). All the other kinematical variables are identical and are shown in the legends. The relevant pseudo-rapidities can be read from Eq. (32) (for the left panel) and Eq. (33) (right panel). The dotted lines in the figures represent the upper limit in pseudo-rapidity, \(|\eta |=2.4\), of the hadronic tracker in the experimental set-up described in [28, 29]

5 Numerical results

In this section we shall present numerical results for the cross section for (2+1)-jet production via coherent diffraction in AA UPCs. We shall more precisely focus on the semi-inclusive cross-section (20), in which the transverse momentum of the third jet (which is equal to the opposite of the transverse momentum imbalance \(\varvec{K}\) of the hard dijets) has been integrated out. As in Sect. 4, we consider symmetric jets (\(\eta _1=\eta _2 \equiv y\)) and we rewrite Eq. (20) in a form convenient to our purposes, namely

$$\begin{aligned}&\frac{\textrm{d}\sigma _{2+1}^{BA\rightarrow \gamma A}}{\textrm{d}\eta _1 \textrm{d}\eta _2\textrm{d}^2\varvec{P}\,\textrm{d}\!\ln (1/x)}\bigg |_{\eta _1 = \eta _2=y} \nonumber \\&\quad = F_0\, h(P_{\perp }^2)\, \omega \frac{\textrm{d}N_B}{\textrm{d}\omega }\, x g_{\mathbb {P}}^A(x,x_{\mathbb {P}},P_{\perp }^2), \end{aligned}$$
(34)

where we have used \(\textrm{d}Y_{\mathbb {P}}=\textrm{d}\ln (1/x)\) together with Eq. (22). The hard factor \(h(P_{\perp }^2)\) is the limit of Eq. (10) for \(\eta _1 = \eta _2=y\), that is, \(h(P_{\perp }^2)={\alpha _{em}\alpha _s}\big (\sum e_{f}^{2}\big )/{8P_{\perp }^4}\). Since its \(P_{\perp }\)-dependence is both simple and explicit, we also define a reduced, dimensionless, cross section by removing the factors \(h(P_{\perp }^2)\) and \(F_0\) from Eq. (34) (below, the condition \(\eta _1 = \eta _2=y\) is kept implicit, to simplify writing):

$$\begin{aligned} \frac{\textrm{d}\hat{\sigma }_{2+1}^{BA\rightarrow \gamma A}}{\textrm{d}\eta _1 \textrm{d}\eta _2\textrm{d}^2\varvec{P}\,\textrm{d}\!\ln (1/x)}= \omega \frac{\textrm{d}N_B}{\textrm{d}\omega }\, x g_{\mathbb {P}}^A(x,x_{\mathbb {P}},P_{\perp }^2), \end{aligned}$$
(35)

where \(\omega = P_{\perp } e^y\) and \(x_{\mathbb {P}} = e^{-Y_{\mathbb {P}}}\), with \(Y_{\mathbb {P}}\) given by Eq. (31). As anticipated, we will ignore the high-energy evolution of the Pomeron, that is, we shall compute the gluon DPDF \(x g_{\mathbb {P}}^A(x,x_{\mathbb {P}},P_{\perp }^2)\) by using the MV model supplemented with the DGLAP evolution. With this approximation, the function \(x g_{\mathbb {P}}^A\) does not explicitly depend upon \(x_{\mathbb {P}}\), but only upon x and \(P_{\perp }^2\), as shown in Fig. 3.

Fig. 6
figure 6

First 3 plots: The “in” reduced cross-section (37) for finding the gluon jet in the pseudo-rapidity range \(|\eta _3|<\eta _0\) as a function of y (the common pseudo-rapidity of the two hard jets) for three different values of the hard dijet momentum \(P_{\perp }\) and for three values of the hadronic detector’s coverage: \(\eta _0=2.4, \,3.5\) and 4.5. (For \(\eta _0 = 4.5\), the “in” cross-section is by convention the same as the “total” cross-section.) The last plot: the \(P_\perp \)-dependence of the reduced cross-section for the particular case \(\eta _0=4.5\)

Since the third jet is too soft to be reconstructed as a genuine jet in a calorimeter, the main question is whether this can be observed (via its hadronic descendants) by a hadronic detector. For that to be possible, the gluon must propagate at sufficiently central rapidities, \(|\eta _3| < \eta _0\), with \(\eta _0\) the upper limit of the pseudo-rapidity coverage of the hadronic detector (e.g. \(\eta _0 = 2.4\) at CMS [28, 29]). In our current set-up, in which the photon is a right mover and the gluon jet is almost certain to propagate in the backward hemisphere, the non-trivial condition reads \(\eta _3 >- \eta _0\). Making use of Eq. (28), this condition translates to a lower limit on the gluon fraction, namely \(x > x_0\) with

$$\begin{aligned} x_0 = \frac{1}{1+ \frac{K_{\perp }}{2 P_{\perp }}\,e^{y+\eta _0}} \end{aligned}$$
(36)

This lower limit decreases – leading to a larger phase space – when increasing y and/or \(\eta _0\) and also when decreasing \(P_{\perp }\). Now we can define the (\(\eta _0\)-dependent) “in” reduced cross-section for the gluon “jet” to be inside the hadronic detector as

$$\begin{aligned} \frac{\textrm{d}\hat{\sigma }_{2+1, \textrm{in}}^{BA\rightarrow \gamma A}}{\textrm{d}\eta _1 \textrm{d}\eta _2\textrm{d}^2\varvec{P}}\bigg |_{\eta _0} = \omega \frac{\textrm{d}N_B}{\textrm{d}\omega }\, \int _{x_0}^{1} \frac{\textrm{d}x}{x}\, x g_{\mathbb {P}}^A(x,x_{\mathbb {P}},P_{\perp }^2). \end{aligned}$$
(37)

Strictly speaking, the lower limit \(x_0\) depends on the transverse momentum \(K_{\perp }\), hence the integration over x must be performed prior to the one over \(K_{\perp }\). In other words we should first integrate over x the unintegrated gluon distribution and then integrate over \(K_{\perp }\). This would be possible at the level of the MV model, but not also after adding the DGLAP evolution (which applies only to the integrated distribution \(x g_{\mathbb {P}}^A\)). Yet, from the discussion leading to Eq. (21), we know that the integral over \(K_{\perp }\) is controlled by momenta of the order of the target saturation momentum \(Q_{gs}\) – a scale which is not affected by the DGLAP evolution. Hence, in practice one can evaluate the lower limit \(x_0\) with a fixed value \(K_{\perp }\sim Q_{gs}\) and then Eq. (37) is indeed meaningful. We have tested this strategy in the case of the MV model and found that it gives the correct result provided one fixes \(K_{\perp } = 2\) GeV in Eq. (36). So, we shall systematically make this choice in what follows.

The “in” reduced cross-section is shown in Fig. 6 as a function of y for \(P_{\perp }=15, \,20\) and 30 GeV, and for three values of the detector’s coverage: \(\eta _0=2.4, \,3.5\) and 4.5. The cross-section is suppressed at large positive y due to the fast decrease of the photon flux. The same is true at large negative y, not only because the lower limit of integration \(x_0\) approaches the upper limit \(x= 1\) (so that the support of integration is squeezing), but also because the gluon distribution \(x g_{\mathbb {P}}^A\) vanishes when \(x\rightarrow 1\). As a consequence, the cross section peaks at relatively central rapidities. Furthermore, the “in” reduced cross-section is rapidly decreasing with \(P_{\perp }\), due to the increase in \(x_0\) and also due to the photon flux: when increasing \(P_{\perp }\) at fixed y, one probes larger values for the photon energy \(\omega \), where the spectrum \(\omega \textrm{d}N_B/\textrm{d}\omega \) is rapidly decreasing, cf. Fig. 2. To further illustrate this point, we show in the fourth plot in Fig. 6 the \(P_\perp \)–dependence of the (reduced) cross-section for the particular case \(\eta _0=4.5\). In the actual cross-section (34), the suppression with increasing \(P_{\perp }\) will be even faster, due to the additional hard factor \(h(P_{\perp }^2)\propto 1/P_\perp ^4\).

Fig. 7
figure 7

Left figure: the ratio between the “in” cross-section corresponding to \(\eta _0=2.4\) and the “total” cross-section. Right figure: the same as in the left figure but for \(\eta _0=3.5\)

The largest value for \(\eta _0\) considered in Fig. 6, namely \(\eta _0=4.5\), will play a special role in what follows (and will be denoted as \( \eta _{\scriptscriptstyle {M}}\) for more clarity): we shall use it to conventionally define the total cross-section for producing a pair of hard dijets via the coherent (2+1)-jet channel. The existence of an upper limit on \(|\eta _3|\), or, equivalently, of a lower limit on the diffractive gap \(\Delta \eta _\textrm{gap}^A = |\eta _A|-|\eta _3|\), is inherent in the definition of a coherent process: such a process cannot exist if the diffractive gap becomes too small. Indeed, for the target nucleus A not to break during the collision, it must lose only a tiny fraction \(x_{\mathbb {P}}\ll 1\) of its longitudinal momentum. A physically motivated condition, that was implicitly assumed in our approach, is \(x_{\mathbb {P}}\lesssim 0.02\), corresponding to \(Y_{\mathbb {P}}\gtrsim 4\). In practice, we prefer to implement this constraint on the pseudo-rapidity gapFootnote 7\(\Delta \eta _\textrm{gap}^A\), which can be directly measured, unlike \(Y_{\mathbb {P}}\). The condition \(\Delta \eta _\textrm{gap}^A \gtrsim 4\) together with \(|\eta _A| \simeq 8.5\) imply \(\eta _{\scriptscriptstyle {M}} \simeq 4.5\), as anticipated. Hence, Eq. (37) with \(\eta _0\rightarrow \eta _{\scriptscriptstyle {M}}= 4.5\) will be our definition for the “total” cross-section. Of course, there is some ambiguity in the value of \(\eta _{\scriptscriptstyle {M}}\) and varying this value (say, between 4 and 5) could be seen as a form of “scheme dependence”. That said, this ambiguity is not very important for what follows, since we shall not treat this “total” cross-section as a real observable,Footnote 8 but only as a benchmark for estimating the relative importance of various processes.

From Fig. 6, we notice that the “total” cross-section is peaked at mid-rapidity and is rather symmetric around \(y=0\). Hence, by measuring the hard dijets alone, it should be difficult to decide whether the photon was a right-mover, or a left-mover. The situation becomes considerably clearer if the third jet is also measured (most likely via its hadronic descendants). If the third jet is more backward than the hard dijets, i.e. if the difference \(\Delta \eta _\textrm{jet} = y-\eta _3\) is positive, then one can safely conclude that the photon was a right-mover, like in our current set-up. Vice-versa, negative values for \(\Delta \eta _\textrm{jet}\) should indicate a situation where the photon was a left-mover. So, we are mainly interested in situations where the third jet propagates at sufficiently central rapidities to be captured by the detector (\(|\eta _3|< \eta _0\)). This is also the most favorable case for a study of gluon saturation, since it corresponds to a large rapidity gap \(\Delta \eta _\textrm{gap}^A = |\eta _A|-|\eta _3|\). Moreover, it is preferable to observe this jet somewhere in the middle of the detector, rather than towards its edge: indeed, besides the third jet, we would like to also see the beginning of the gap at larger rapidities (within the interval \(|\eta _3|< |\eta | < \eta _0\)).

The probability for such interesting events can be estimated as the ratio between the “in” cross-section (37) corresponding to \(\eta _0< \eta _{\scriptscriptstyle {M}}=4.5\) and the “total” cross-section (\(\eta _0\rightarrow \eta _{\scriptscriptstyle {M}}\)). This is shown in Fig. 7 for \(\eta _0=2.4\) (left panel) and for \(\eta _0=3.5\) (right panel). The photon flux cancels in this ratio, which therefore is not suppressed when \(y \gtrsim 1\). For \(\eta _0=2.4\), the ratio is quite small, which may explain the difficulty to observe this jet in a recent measurement by CMS [28, 29] (see also Fig. 5). That said, the ratio is significantly rising when increasing either the pseudo-rapidity y of the hard dijets, or the detector acceptance \(\eta _0\). Hence, one can enhance the chances to observe the third jet by triggering on events where the hard dijets are as forward as possible.

Fig. 8
figure 8

The distribution of the pseudo-rapidity difference \(\Delta \eta _{\textrm{jet}}\) between the gluon jet and the hard dijets, for the particular case where the hard dijets propagate at \(\eta _1=\eta _2=1\). Left: MV model. Right: adding DGLAP evolution

For instance, for \(P_\perp =15\) GeV and \(\eta _0= 2.4\), the optimal value of y is \(y\simeq 1\), since this yields the largest cross-section according to the respective plot in Fig. 6. Motivated by this observation, we show in Fig. 8 the distribution of the third jet in \(\Delta \eta _\textrm{jet} = y - \eta _3\) (the pseudo-rapidity difference between the gluon jet and the hard dijets, cf. Eq. (28)) for the particular case \(y=1\). This distribution is defined as

$$\begin{aligned} \frac{1}{N}\,\frac{\textrm{d}N}{\textrm{d}\Delta \eta _\textrm{jet}}&\equiv \frac{\textrm{d}\sigma _\mathrm{2+1}^{BA \rightarrow \gamma A} /\textrm{d}\eta _1 \textrm{d}\eta _2 \textrm{d}\eta _3\textrm{d}^2 \varvec{P}}{\textrm{d}\sigma _{2+1,\textrm{tot}}^{BA\rightarrow \gamma A} /\textrm{d}\eta _1 \textrm{d}\eta _2\textrm{d}^2\varvec{P}}\nonumber \\&=\frac{(1-x)\,x g_{\mathbb {P}}^A(x,x_{\mathbb {P}},P_{\perp }^2)}{\int _{x_0}^{1} \frac{\textrm{d}x'}{x'}\, x g_{\mathbb {P}}^A(x',x_{\mathbb {P}},P_{\perp }^2)}, \end{aligned}$$
(38)

where it is understood that \(\eta _1=\eta _2 \equiv y\) and \(\eta _3= y - \Delta \eta _\textrm{jet} \), with \(y=1\). As before, the “total” cross-section in the denominator is given by Eq. (37) with \(\eta _0=4.5\). The value of x in the numerator is related to \(\Delta \eta _\textrm{jet} \) via

$$\begin{aligned} x =\frac{1}{1 + \frac{K_{\perp }}{2P_\perp }e^{\Delta \eta _\textrm{jet}}}, \end{aligned}$$
(39)

(we choose \(K_\perp =2\) GeV, once again) and the factor \(1-x\) comes from the Jacobian for changing rapidity variables from \(\ln (1/x)\) to \(\eta _3\).

The plots in Fig. 8 show several interesting features: (i) this distribution is only weakly dependent upon \(P_\perp \); (ii) there is a minimal value for the rapidity difference, of the order of \(\Delta \eta _\textrm{jet} \simeq \ln \frac{2P_\perp }{K_\perp }\) (about 2 to 3 units of rapidity); this reflects the physics of saturation (which fixes \(K_\perp \) to be of the order of \(Q_{gs}\)) together with the strong suppression of the gluon distribution near \(x=1\) (an effect that is enhanced by the DGLAP evolution, cf. Fig. 3); (iii) the distribution in \(\Delta \eta _\textrm{jet}\) is rapidly growing at larger rapidity separations \(\Delta \eta _\textrm{jet} \gg \ln \frac{2P_\perp }{K_\perp }\), due to the rise of \(x g_{\mathbb {P}}\) at small x, as also visible in Fig. 3.

In general, this interval \(\Delta \eta _\textrm{jet}\) does not correspond to a genuine rapidity gap, since there can be hadronic activity between the hard jets and the third jet, notably that associated with DGLAP evolution. Such DGLAP hadrons, or jets, should be easier to observe than the semi-hard gluon jet because they are considerably harder (their transverse momenta \(p_\perp \) satisfy \(Q_{gs}^2\ll p_\perp ^2 \ll P_\perp ^2\)) and also closer in pseudo-rapidity to the hard dijets. This might be interesting in practice, because it could allow one to distinguish the target nucleus from the photon emitter even in the situations where the third jet is not measured: in pseudo-rapidity space, the DGLAP hadrons propagate in the region between the hard dijets and the target. That said, the explicit observation of the third set would offer more information about the final event, notably the value of the Pomeron rapidity gap \(Y_{\mathbb {P}}\).

6 Conclusions

In this paper, we have studied semi-inclusive dijet photo-production via coherent diffraction in AA UPCs and in the kinematical conditions at the LHC. We have focused on the (2+1)–jet events – a hard quark-antiquark dijet and a semi-hard gluon jet – which represent the dominant leading-twist contribution to diffractive dijet production in perturbative QCD. The emission of the semi-hard gluon opens up the colour space in transverse directions and thus allows for strong scattering in the black disk limit, which is the necessary condition for the existence of a leading-twist contribution to diffraction.

Due to gluon saturation, the transverse momentum phase-space accessible to strong scattering extends up to the semi-hard scale \(Q_{gs}\sim 1\div 2\) GeV – the saturation momentum of the nuclear target – rather than being confined to the soft, non-perturbative, sector at \(K_\perp \sim \Lambda \sim 0.2\) GeV. Diffraction lives at the upper end of this phase-space, at \(K_\perp \sim Q_{gs}\). Since \(Q_{gs}\) is semi-hard, it is legitimate to study diffraction within perturbation theory in QCD.

Our theoretical framework was the diffractive TMD factorisation emerging from the colour dipole picture and the CGC effective theory at high energy. Within this framework, we have computed the cross-section for diffractive (2+1)-jet production in AA UPCs to leading order in perturbative QCD and in the presence of multiple scattering (i.e. of gluon saturation). Gluon saturation controls the overall strength of this cross-section and has specific predictions for its functional dependencies upon the various kinematical variables and upon the nuclear mass number A.

Perhaps the most striking prediction refers to the distribution of the three jets in pseudo-rapidity. For the current kinematics in Pb+Pb UPCs at the LHC, meaning for a center-of-mass energy \(\sqrt{s_{\scriptscriptstyle N\!N}} = 5.2\) TeV per nucleon pair and for hard dijets with large transverse momenta \(P_\perp \ge 20\) GeV, the two hard jets are predicted to propagate at nearly central rapidities, while the third, semi-hard, jet should be separated from them by a rapidity interval whose size controlled by saturation: \(\Delta \eta _\textrm{jet} \gtrsim \ln ({2P_\perp }/{Q_{gs}})\sim 2\div 3\).

Because of this large rapidity separation, and also of its relatively small transverse momentum \(K_\perp \sim Q_{gs}\), the third jet is a priori difficult to measure – indeed, it has not been reported by the recent dedicated analyses at the LHC [26,27,28,29]. Yet, its observation (e.g. as a leading hadron) would be extremely useful for the interpretation of the events and also for comparing with the theory predictions. For instance, it would enable us to distinguish the nucleus which has emitted the photon from that which has interacted with it. Indeed, our calculations show that the third jet propagates oppositely to the photon, in the rapidity interval between the hard dijets and the nuclear target.

Both the observability of the third jet and the experimental study of gluon saturation would be greatly improved by lowering \(P_\perp \), say down to values in the ballpark of 5–10 GeV. That would make it easier to produce very forward dijets and would also decrease their rapidity separation from the semi-hard jet. In turn, this would substantially increase the (diffractive) rapidity gap between the third jet and the target nucleus and thus allow for fully fledged studies of gluon saturation, including its high-energy, B-JIMWLK, evolution. Last but not least, reducing \(P_\perp \) would also diminish the effects of the DGLAP evolution between the third jet and the hard dijets, thus reducing the risk for confounding the third jet with one of the DGLAP jets in the experiments.