Abstract
As part of a programme to develop parton showers with controlled logarithmic accuracy, we consider the question of collinear spin correlations within the PanScales family of parton showers. We adapt the well-known Collins–Knowles spin-correlation algorithm to PanScales antenna and dipole showers, using an approach with similarities to that taken by Richardson and Webster. To study the impact of spin correlations, we develop Lund-declustering based observables that are sensitive to spin-correlation effects both within and between jets and extend the MicroJets collinear single-logarithmic resummation code to include spin correlations. Together with a 3-point energy correlation observable proposed recently by Chen, Moult and Zhu, this provides a powerful set of constraints for validating the logarithmic accuracy of our shower results. The new observables and their resummation further open the pathway to phenomenological studies of these important quantum mechanical effects.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
One of the most striking properties of Quantum Mechanics is that the spin angular momentum of two or more particles can be created in an entangled state [1]. As a consequence, when measuring the spin of the individual particles, or more generally the angular distributions of particle decays and branchings, long-distance correlations will be found depending on the degree of entanglement. At colliders, spin correlations are most widely studied in the context of heavy particle decays (see e.g. Refs. [2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17]). However they play a significant role also in the pattern of QCD branchings that occur in jet fragmentation, as studied for example at LEP [18, 19]. The quantum mechanical nature of the problem is reflected in the need to sum coherently over the spin states of intermediate particles in the jet fragmentation, similarly to the need to sum coherently over the spins of an electron-positron pair in an Einstein–Podolsky–Rosen (EPR) experiment [1]. It was recognised long ago [20,21,22] that the core tools for simulating jet fragmentation, i.e. parton showers, should incorporate such effects.
In this article we consider collinear spin correlations in the context of the PanScales programme [23,24,25] of QCD parton-shower development. The core aim of the programme is to develop parton showers with well-understood logarithmic accuracy. A first step on that path is to achieve so-called next-to-leading logarithmic (NLL) accuracy. There are many senses in which a shower can be NLL accurate and we choose two broad criteria [24]. The logarithmic phase-space for QCD branching involves two dimensions, corresponding to the logarithms of transverse momentum and of angle, which can conveniently be represented using Lund diagrams [26]. To claim NLL accuracy, we firstly require a shower to reproduce the correct matrix element for any configuration of emissions where all branchings are well separated from each other in the Lund diagram. Secondly, for all observables where suitable resummations exist (e.g. event shape distributions), the shower should reproduce the resummation results up to and including terms \(\alpha _s^n L^n\). Here L is the logarithm of the value of the observable and terms \(\alpha _s^n L^n\) are NLL in a context where \(\alpha _s^n L^{n+1}\) terms exponentiate [27].
Until now, the PanScales shower development has been based on unpolarised splitting functions, as is common in dipole and antenna showers. According to our accuracy criterion, however, spin correlations are a crucial part of NLL accuracy, because in configurations with successive branchings at disparate angles, they are required in order to reproduce the correct azimuthal dependence of the matrix elements. The core purpose of this article, therefore, is to start the implementation of spin correlations, specifically as concerns nested collinear emissions. The algorithm that we will adopt is based on the well-established proposal by Collins [21], used notably in the Herwig series of angular ordered showers [28,29,30,31]. Our adaptation for the PanScales antenna and dipole showers bears similarities with the implementation for the Herwig7 dipole shower by Richardson and Webster [32, 33] (for work in other shower frameworks, see Refs. [34,35,36,37]). One class of configuration that is not addressed by the Collins algorithm is that of two or more commensurate-angle energy-ordered soft emissions followed by a collinear splitting of one or more of them. Strictly these configurations should also be addressed for NLL accuracy, however we defer their study to future work.
Whilst the techniques to implement parton-shower spin correlations are relatively well established, our philosophy is that a parton shower implementation is only complete if one has a set of observables, resummations and associated techniques to validate the implementation. The PanScales shower development in Refs. [24, 25] has been able to draw on a rich set of event shapes and associated resummed calculations. However for testing spin correlations there was no such set of observables. Recently, while our work was in progress, Chen et al. [38] introduced and resummed a 3-point energy-energy correlator that is spin-correlation sensitive. Here we introduce a new set of spin-correlation sensitive observables based on Lund declustering. We extend the MicroJets collinear resummation code [39, 40] to allow for the treatment of azimuthal structure, so as to obtain \(\alpha _s^n L^n\) numerical predictions for all of these observables (in the process, confirming the analytic results of Ref. [38]). These new observables, and our study of their properties, are of potential interest also in their own right for practical measurements of spin correlations in jets.
The paper is structured as follows. In Sect. 2 we give details of the algorithm used to implement spin correlations in the PanScales showers. We introduce an azimuthal observable based on the Lund plane picture in Sect. 3, and discuss general features of spin correlations in the strictly collinear limit.Footnote 1 In Sect. 4 we validate our implementation and show that it achieves NLL accuracy. In Sect. 5 we conclude.
2 The Collins–Knowles algorithm and its adaptation to dipole showers
An efficient algorithm to include spin correlations in angular-ordered MC generators was proposed by Collins [21] for final-state showers and subsequently extended by Knowles [22, 41, 42] to include initial-state radiation and backwards evolution. It is based on the factorisation of the tree-level matrix element in the collinear limit, and can be generalised to include spin correlations in the matching of the parton shower to a hard matrix element, between initial and final state radiation, as well as in decays [43].
The Collins–Knowles algorithm can be readily applied to showers that first generate a full branching tree with intermediate virtualities and momentum fractions at each stage of the splitting, and then only subsequently assign azimuthal angles and reconstruct the full event kinematics. However, in dipole showers the azimuthal angle needs to be chosen at each stage of the branching, because it affects the phase space for subsequent branchings. This requires a reordering of the steps in the Collins–Knowles algorithm. Furthermore, in an angular-ordered shower, it is straightforward to identify the mapping between the shower kinematics and the azimuthal angle as needed in the Collins–Knowles algorithm. In dipole (and antenna) showers the corresponding mapping can be less straightforward. In this section we therefore introduce a modified version of the Collins–Knowles algorithm that is applicable to any parton shower, including those of the dipole or antenna kind. We first develop a collinear branching formalism in terms of boost invariant spinor products and then show how to apply these in the context of dipole and antenna showers.
Our work here is not the first to adapt the Collins–Knowles algorithm to showers with dipole-like structures, see for example Refs. [32,33,34,35]. Our approach is inspired by and bears a number of similarities with that by Richardson and Webster [32, 33], as used in the Herwig7 [31] framework. That algorithm continuously boosts between the lab frame and frames specific to each individual collinear splitting, where individual Collins–Knowles steps may be applied directly. In our implementation of the algorithm no such boost is necessary, as our expressions are formulated in terms of boost-invariant spinor products.
2.1 Collinear branching amplitudes
To determine the appropriate azimuthal distribution of shower branchings, the Collins–Knowles algorithm makes use of collinear branching amplitudes \({\mathcal {M}}_{a \rightarrow b c}^{\lambda _a \lambda _b \lambda _c}\) for a splitting \(a \rightarrow bc\) with spin labels \(\lambda = \pm 1\). As an example, consider the situation of Fig. 1, where an unpolarised parton 0 emits a gluon 2, which subsequently splits into a \(q'\bar{q}'\) pair, \(2 \rightarrow 34\). In the collinear limit, the azimuthal distributions are determined by the factorised matrix element
where summation over repeated spin indices is implied.Footnote 2 Ultimately we will test our approach in the PanScales shower framework, which currently only supports massless particles in its kinematic maps. Accordingly, we work in the massless quark limit, though the extension to massive quarks is straightforward, as discussed in Ref. [32]. In the massless quark limit, the branching amplitudes may be written as
where the functions \({\mathcal {F}}_{a \rightarrow bc}^{\lambda _a \lambda _b \lambda _c}(z)\), listed in Table 1, are the (colour-stripped) helicity-dependent Altarelli–Parisi splitting amplitudes that depend on the collinear momentum fraction z carried by parton b. They are related to the usual unregularised splitting functions throughFootnote 3
The function \(S_{\tau }(p_b,p_c)\) is a spinor product, where the label \(\tau = \pm 1\) indicates the sign of the complex phase associated with the spinor product. It is given by
The derivation of these branching amplitudes can be found in Appendix A, together with our convention for spinor products.
Inserting an explicit expression for the spinor product, Eq. (2) may alternatively be written as
where \(\phi \) is the azimuthal angle as defined in a reference frame where the parent is along a specific (e.g. z) direction. Eq. (5) is useful in the context of a parton shower only when this azimuthal angle is used to parameterise its phase space directly. This can be the case when the azimuthal variable \(\phi \) for the shower’s phase space generation is defined with respect to a fixed azimuthal reference direction. However, in dipole or antenna showers, \(\phi \) usually represents the azimuthal direction of the transverse momentum with respect to the plane of the dipole or antenna parent partons. As the PanScales showers are of the dipole/antenna type, we will use Eq. (2) directly, and evaluate the spinor products numerically using Eq. (39). This choice guarantees that the implementation of the algorithm remains independent of the type of parton shower it is applied to. However one could also choose to track the relation between the shower azimuths and the collinear azimuths, as done in Refs. [32, 33].
2.2 The algorithm
The purpose of the Collins–Knowles algorithm is to distribute the azimuthal degrees of freedom according to Eq. (1) for an arbitrary number of collinear branchings, while maintaining linear complexity in the number of particles. To that end, a binary tree is tracked, where the nodes correspond to collinear shower branchings. Figure 2 shows an example of a shower history and the corresponding binary tree.
The algorithm is initialised from the hard scattering amplitude \({\mathcal {M}}^{\lambda _1 \lambda _2}_{\mathrm {hard}}\), where the outgoing hard partons 1, 2 have spin indices \(\lambda _1\), \(\lambda _2\). The formalism is not limited to a particular number of final-state partons, but for readability we restrict ourselves to a two-body hard scattering. Each particle i (whether final or intermediate) is associated with a so-called decay matrix, \({\mathcal {D}}_i^{\lambda _i\lambda _i'}\) with two spin indices. At the start of the shower the decay matrices are initialised to \({\mathcal {D}}_1^{\lambda _1\lambda _1'} = \delta ^{\lambda _1 \lambda _1'}\) and \({\mathcal {D}}_2^{\lambda _2\lambda _2'} = \delta ^{\lambda _2 \lambda _2'}\).
The core of the algorithm consists of the rules for generating an azimuthal angle and adding nodes to and updating the binary tree, as well as a subset of the decay matrices, each time the shower adds an emission to the event. The shower first selects a branching dipole or antenna and generates an ordering scale and momentum-sharing variableFootnote 4 according to the regular spin-summed shower dynamics, in which the azimuthal dependence does not appear.Footnote 5 The branching parton will correspond to one of the terminal nodes in Fig. 2, as discussed in further detail below, and we refer to the node as \(a_n\), where the n index labels the depth of the node within the tree. Then, to determine the azimuthal angle, the algorithm proceeds with the following rejection-sampling procedure:
-
1.
Compute the spin-density matrix \(\rho _{a_n}^{\lambda _{a_n}\lambda '_{a_n}}\) as follows:
-
(a)
Starting from parton \(a_n\), trace the binary tree back to the root parton node \(a_0 \in [1,2]\). This results in a sequence \(a_0\ldots a_n\) of parton indices, along with a sequence of complementing parton indices \(b_0 \ldots b_n\) such that \(b_0\) is the other root parton and \(a_i\) and \(b_i\) have common parent node \(a_{i - 1}\).
-
(b)
Compute the spin-density matrix for the root node,
$$\begin{aligned} \rho _{a_0}^{\lambda _{a_0} \lambda '_{a_0}} = \frac{1}{\text {tr}( \cdot )} {\mathcal {D}}_{b_0}^{\lambda _{b_0} \lambda '_{b_0}} {\mathcal {M}}_{\mathrm {hard}}^{\lambda _{a_0}\lambda _{b_0}} {\mathcal {M}}_{\mathrm {hard}}^{*\lambda '_{a_0}\lambda '_{b_0}}, \end{aligned}$$(6)where the denominator is the trace of the numerator.
-
(c)
Iteratively for \(i \in \{1,\ldots ,n\}\), compute
$$\begin{aligned}&\rho _{a_i}^{\lambda _{a_i} \lambda '_{a_i}} = \frac{1}{\text {tr}( \cdot )} \rho _{a_{i - 1}}^{\lambda _{a_{i - 1}} \lambda '_{a_{i - 1}}} {\mathcal {M}}_{a_{i - 1}\rightarrow a_i b_i}^{\lambda _{a_{i - 1}} \lambda _{a_i} \lambda _{b_i}} {\mathcal {M}}_{a_{i - 1}\rightarrow a_i b_i}^{*\lambda '_{a_{i - 1}} \lambda '_{a_i} \lambda '_{b_i}} {\mathcal {D}}_{b_i}^{\lambda _{b_i} \lambda '_{b_i}}. \end{aligned}$$(7)
-
(a)
-
2.
Repeat the following until a value of \(\phi \) is accepted:
-
(a)
Sample a value of \(\phi \) uniformly and, using the other shower variables, construct the post-branching momenta \(p_{a_{n+1}}\) and \(p_{b_{n+1}}\) using the usual kinematic mapping of the parton shower.
-
(b)
Compute the branching amplitude \({\mathcal {M}}_{a_n \rightarrow a_{n+1} b_{n+1}}^{\lambda _{a_n} \lambda _{a_{n+1}} \lambda _{b_{n+1}}}\) using Eq. (2).
-
(c)
Compute the acceptance probability
$$\begin{aligned} p_{\mathrm {accept}} = \frac{1}{N} \rho _{a_{n}}^{\lambda _{a_n} \lambda '_{a_n}} {\mathcal {M}}_{a_n \rightarrow a_{n+1} b_{n+1}}^{\lambda _{a_n} \lambda _{a_{n+1}} \lambda _{b_{n+1}}} {\mathcal {M}}_{a_n \rightarrow a_{n+1} b_{n+1}}^{*\lambda '_{a_n} \lambda _{a_{n+1}} \lambda _{b_{n+1}}}, \end{aligned}$$(8)where N is a \(\phi \)-independent normalisation factor to ensure \(p_{\mathrm {accept}} < 1\).Footnote 6
-
(d)
Accept \(\phi \) with probability \(p_{\mathrm {accept}}\).
-
(a)
-
3.
Update the binary tree
-
(a)
Insert new nodes \(a_{n+1}\) and \(b_{n+1}\) with parent node \(a_n\) and initialise their decay matrices to a Kronecker delta.
-
(b)
Store \({\mathcal {M}}_{a_n \rightarrow a_{n+1} b_{n+1}}^{\lambda _{a_n} \lambda _{a_{n+1}} \lambda _{b_{n+1}}}\) in node \(a_n\).
-
(c)
Iteratively for \(i \in \{n,\ldots ,0\}\), recompute and store the updated decay matrices
$$\begin{aligned} {\mathcal {D}}_{a_i}^{\lambda _{a_{i}} \lambda '_{a_{i}}} = \frac{1}{\text {tr}( \cdot )} {\mathcal {D}}_{a_{i+1}}^{\lambda _{a_{i+1}} \lambda '_{a_{i+1}}} {\mathcal {D}}_{b_{i+1}}^{\lambda _{b_{i+1}} \lambda '_{b_{i+1}}} {\mathcal {M}}_{a_n \rightarrow a_{n+1} b_{n+1}}^{\lambda _{a_i} \lambda _{a_{i+1}} \lambda _{b_{i+1}}} {\mathcal {M}}_{a_n \rightarrow a_{n+1} b_{n+1}}^{*\lambda '_{a_i} \lambda '_{a_{i+1}} \lambda '_{b_{i+1}}}. \end{aligned}$$(10)
-
(a)
Note that the identification of the parton that branches is not without subtleties. We have assumed that it is always one of the terminal nodes in Fig. 2. To understand why this is a non-trivial choice, suppose that we have a dipole stretching between particles 3 and 7. When the left-hand end of the dipole emits a gluon (which we label 9), our spin-correlation algorithm always views this as a \(g\rightarrow gg\) splitting of particle 3. However if the emitted gluon is at large angle relative to the 34 splitting, i.e. \(\theta _{93} \gg \theta _{34}\) the gluon effectively sees the coherent charge of 3 and 4 and could more properly be viewed as being emitted from 2 (which unlike 3 is a quark). Because of the interplay between the shower ordering variable and emission kinematics, this occurs only for situations in which 9 is soft relative to particle 3, and also soft relative to any of the parents of 3. Inspecting Table 1, one sees that soft gluon emission (the \(z\rightarrow 1\) limit) leads to splitting amplitudes that are independent of the flavour of the parent, a, and that are non-zero only for \(\lambda _a = \lambda _b\), i.e. they are diagonal in the spin space relating the parent and its harder offspring. This means that in the limit where emission 9 could conceivably have been emitted from 2, it is immaterial whether we actually view it as being emitted from 2 or instead organise the tree as if it had been emitted by 3. The latter is considerably simpler and so it is the solution that we adopt.
3 Collinear spin correlations: expectations and measurement strategy
In this section, we start (Sect. 3.1) by examining how the spin correlations translate into azimuthal correlations between the planes of separate collinear branchings, both within a single jet and across pairs of jets. We do so at fixed order, \({\mathcal {O}}\left( \alpha _s^2\right) \), where it is trivial to define the observables. We then propose (Sect. 3.2) a set of observables that are suitable for use at all orders. They exploit a Lund diagram [26] representation of individual jets [44]. Next (Sect. 3.3), we recall the definition of the EEEC spin-sensitive observable, which was proposed and resummed in Ref. [38]. Finally (Sect. 3.4), we use these observables to study the impact on the azimuthal correlations coming from the all-order resummation of collinear spin-correlation effects.
3.1 Azimuthal structure
Each collinear branching in an event can be associated with the plane that contains the momenta of the two offspring partons. The simplest observable one may think of to study spin correlations is the azimuthal difference, \(\Delta \psi \), between the planes defined by two distinct branchings. Here we will consider two broad cases: intra-jet correlations, i.e. between the planes of two branchings within a single jet, for example between the plane of the \(1\rightarrow 56\) splitting and the plane of the \(6\rightarrow 78\) splitting in Fig. 2; and inter-jet correlation, i.e. between the planes of two splittings in separate jets, for example between the plane of the \(1\rightarrow 56\) splitting and the plane of the \(2\rightarrow 34\) splitting in Fig. 2.Footnote 7 We will refer to the two azimuthal differences as \(\Delta \psi _{12}\) and \(\Delta \psi _{11'}\) where the 1 and 2 labels refer to the first and second splitting within a given jet and the \(1'\) label refers to the first splitting in a distinct jet. The \(\Delta \psi _{12}\) and \(\Delta \psi _{11'}\) observables are straightforward to define at \({\mathcal {O}}\left( \alpha _s^2\right) \) relative to the hard scattering and it is this situation that we will concentrate on here. In the \(\Delta \psi _{12}\) case, the splitting planes and the azimuthal angle between them are illustrated in Fig. 3.
At second order in the coupling, and in the collinear limit, the cross sections differential in the intra- and inter-jet observables \(\Delta \psi _{12}\), respectively \(\Delta \psi _{11'}\), take the simple form (see e.g. section 2.3 in Ref. [32], or the example calculated in Appendix B)
where the coefficients \(a_0\) and \(a_2\) depend on the observable, the final state under consideration, and the momentum fractions associated with the first (\(z_i\)) and second splitting (\(z_j\)). If the splittings are restricted to have opening angles greater than \(e^{-|L|}\), with \(|L| \gg 1\), and \(\ln z_1\) and \(\ln z_2\) are both of order 1, the \(a_0\) and \(a_2\) coefficients are dominated by terms \(\alpha _s^2 L^2\), i.e. they belong to the single-logarithmic set of terms that we aim to control for NLL accuracy. For large L, at this order, the ratio \(a_2/a_0\) is independent of \(\alpha _sL\), and so Eq. (11) can always be written in terms of the functions A(z) and B(z) given in Table 2.
In Fig. 4 we show a contour plot of the ratio \(a_2/a_0 = A(z_1)B(z_2)\), for our intra-jet observable, as a function of \(z_1\) (x-axis) and \(z_2\) (y-axis) for a quark-initiated jet. In this case there are only two non-trivial final states to consider, namely \(q\rightarrow qg(g\rightarrow q' \bar{q}')\) and \(q\rightarrow qg(g\rightarrow gg)\), while channels such as \(q\rightarrow q(q\rightarrow qg) g\) that do not involve an intermediate gluon have vanishing spin correlations. In the case of \(q\rightarrow qg(g\rightarrow q' \bar{q}')\), we see that the coefficient \(a_2\) is negative, corresponding to an enhancement when the \(q\rightarrow qg\) and \(g \rightarrow q'{\bar{q}}'\) planes are perpendicular. The ratio \(a_2/a_0\) peaks at \(-100\%\) around \(z_1=0\) and \(z_2=0.5\), i.e. when the gluon is soft and the quark–antiquark pair share the energy equally.Footnote 8 The spin correlations stay large even for moderate values of \(z_1\) and \(z_2\) although they vanish completely for \(z_1 \rightarrow 1\) (soft quark emerging from the \(q \rightarrow qg\) splitting) and for \(z_2 \rightarrow 0\) or \(z_2 \rightarrow 1\) (either of the secondary \(q'\) or \({\bar{q}}'\) becomes soft). Similarly, for \(q\rightarrow qg(g\rightarrow gg)\), the ratio peaks at \(z_1=0\) and \(z_2=0.5\) but the correlation has the opposite sign to the \(g\rightarrow q{\bar{q}}\) case, which implies an enhancement when the \(q\rightarrow qg\) and \(g\rightarrow gg\) splittings are in the same plane. The magnitude of \(a_2/a_0\) is substantially smaller, with a peak at 1/9. The spin correlations fall off more sharply than in the \(g\rightarrow q' \bar{q}'\) case, in particular as a function of \(z_2\), and also vanish for \(z_1 \rightarrow 1\) and for \(z_2 \rightarrow 0\) or \(z_2 \rightarrow 1\).
The overall picture is very similar for a gluon-initiated jet, shown in Fig. 5, although the dependence on \(z_1\) is moderately stronger for both \(g\rightarrow q'\bar{q} '\) and \(g\rightarrow gg\) secondary splittings, which can be understood from Table 2.
Turning now to the correlations between azimuthal angles in two distinct jets, they are zero for a \(\gamma ^* \rightarrow q{\bar{q}}\), but non-zero for \(H \rightarrow g_1g_{1'}\), so we consider only the latter. In this case we examine the azimuthal difference \(\Delta \psi _{11'}\) between the splitting planes of the two primary emissions. There are three possible final states given by \(\{g_1 \rightarrow q\bar{q}, g_{1'}\rightarrow q\bar{q}\}\), \(\{g_1 \rightarrow q\bar{q}, g_{1'}\rightarrow gg\}\), and \(\{g_1 \rightarrow gg, g_{1'}\rightarrow gg\}\). In Fig. 6 we show the ratio \(a_2/a_0\) as a function of the energy fractions \(z_1\) and \(z_{1'}\). In all three cases the ratio is peaked when \(z_1=z_{1'}=0.5\) and is largest in magnitude when both gluons split into quark–antiquark pairs. When only one gluon splits into a quark–antiquark pair the ratio becomes negative and \(-11.1\%\) around the peak. When both gluons split into gluons the spin correlations almost vanish. In all three cases the ratio vanishes when either of the energy fractions approach 0 or 1.
3.2 Definition of spin-sensitive Lund observables
The observables discussed so far start at \({\mathcal {O}}(\alpha _s^2)\) relative to the hard scattering, but care has to be taken in order to define them in an infrared safe way beyond that order. To facilitate a definition which can also be directly applied in experimental analyses, we make use of the procedure from Ref. [44] to build Lund diagrams [26] from individual jets.Footnote 9 We remind the reader that the Lund jet plane is constructed through a declustering of a C/A-jet [45, 46]. The primary Lund plane is constructed by following the harder branch at each step of the declustering. If at some point one instead follows a softer branch and then all its subsequent harder branches, those subsequent branches populate a secondary Lund plane.
The procedure that we describe here can be applied at hadron colliders and \(e^+e^-\) colliders (or also in the decay of heavy particles at hadron colliders, for example in their rest frame). The first branching within a jet is identified by taking all declusterings on the primary Lund plane that satisfy z larger than some \(z_{\mathrm{{cut}}}\), and selecting the one with largest relative \(k_t\).Footnote 10 The second branching within a jet is identified by taking all declusterings on the secondary Lund plane associated with the first branching, and then again identifying those that satisfy z larger than some \(z_{\mathrm{{cut}}}\) and selecting the one with largest relative \(k_t\). One may choose to use different \(z_{\mathrm{{cut}}}\) values for the first and second branchings within a single jet.Footnote 11 Given a choice of \(z_{\mathrm{{cut}}}\), one may then study the results differentially in the two z values, so as to obtain plots similar to Figs. 4, 5 and 6. Here, however, we will consider just results integrated over z. Note that in Sect. 3.1, we investigated the structure for \(0<z<1\), while in the Lund construction we always have \(z \le 1/2\), because z is the momentum carried by the softer offspring (and the secondary Lund plane is the one associated with further emission from the softer offspring). So, for example, in Sect. 3.1 we could meaningfully discuss a \(q \rightarrow qg\) splitting where the quark was soft (\(z_1\) close to 1), followed by a splitting of the gluon. In contrast, in the Lund declustering picture, the quark in such a case will be assigned to the secondary plane, and the second splitting that we study will necessarily be a further \(q\rightarrow qg\) splitting. The reason for adopting this procedure in Lund declustering is that experimentally one cannot observe the flavour of the underlying parton.Footnote 12
To track the azimuthal angles in the \(e^+e^-\) case within the Lund declustering, we adopt a procedure that differs from that introduced in Ref. [24] (supplemental material), because we have found that the latter results in differences in azimuthal angles that are not invariant under rotations of the event. We start with an initial azimuthal angle \(\psi _0 = 0\) (the particular choice has no impact on the differences of azimuthal angles that we eventually study). Then, working through the declusterings in the Cambridge/Aachen sequence, for each declustering i we:
-
1.
Compute the normalised cross product, \({\hat{n}}_i={\vec {p}}_{i,a}\times {\vec {p}}_{i,b}/|{\vec {p}}_{i,a}\times {\vec {p}}_{i,b}|\), between the two pseudojets, \({\vec {p}}_{i,a}\) and \({\vec {p}}_{i,b}\) that result from the declustering, where \({\vec {p}}_{i,a}\) is the harder of the two.
-
2.
Compute the signed angle \(\Delta \psi _{(i-1,i)}\) between \({\hat{n}}_{i-1}\) and \({\hat{n}}_{i}\) where \(\Delta \psi _{(i-1,i)}\) is positive if \(\left( {\hat{n}}_{i-1}\times {\hat{n}}_{i}\right) \cdot {\vec {p}}_{i,a}>0\) and negative otherwise, and \({{{\hat{n}}}}_{i-1}\) is the normalised cross product obtained for the splitting that produced the parent parton.
-
3.
Compute \(\psi _i = \psi _{i-1} + \Delta \psi _{(i-1,i)}\).
The variable \(\Delta \psi _{12}\) is now defined as the difference between the \(\psi \) obtained for the primary splitting and secondary splittings as selected above (which may not follow in immediate sequence in the C/A declustering). For the case of two successive splittings, this is equivalent to the \(\Delta \psi _{12}\) illustrated in Fig. 3. Likewise we define \(\Delta \psi _{11'}\) as the \(\psi \) difference between the highest-\(k_t\) primary passing the \(z>z_{\mathrm{{cut}}}\) requirement inside each of the two different jets. The Lund diagrams are illustrated at second order in Figs. 7 and 8.
In practice, in our \(e^+e^-\) implementation of the \(\Delta \psi _{12}\) observable, we cluster the event back to two jets and analyse each jet independently. Our final distributions will be normalised to the number of events, rather than the number of jets.
3.3 Recall of 3-point energy-correlator observable
Recently Chen, Moult and Zhu proposed 3-point energy correlators (EEEC) as suitable observables for measuring the quantum interference effects associated with spin correlations [38]. For concreteness, we use the following definition for the EEEC,
where \(\sigma _\text {tot}\) is the total cross section, Q is the event centre-of-mass energy, \(\theta _{mn}\) is the opening angle between two emissions m and n and \(\phi _{(ij)k}\) is the angle between the plane that contains the \(p_{i}+p_{j}\) and \(p_k\) directions and the plane that contains the \(p_i\) and \(p_j\) directions. The average is carried out across events, and in each event the sum over each of the i, j and k runs over all particles in the event, \(1\ldots N\). One may also apply the definition to particles in a single jet of energy \(E_\text {jet}\), in which case one would replace \(8/Q^3\) with \(1/E_\text {jet}^3\). Refs. [38, 58] provided techniques for resumming such observables, and below we will compare our resummation results for the EEEC to theirs.
3.4 MicroJets resummation of spin correlations and comparison to fixed order
Although the above fixed-order analysis gives a sense of the overall structure of spin correlations in quark- and gluon-initiated jets, there are important effects which can only be captured by all-order resummation.
To our knowledge, no analytical result exists for the logarithmic structure of observables sensitive to spin correlations, except for the recently computed all-order result [38] for the 3-point energy correlator, reproduced in Sect. 3.3. In order to enable comparisons to other observables we have implemented a numerical resummation, henceforth called the toy shower, based on the MicroJets code [39, 40, 59].
The toy shower is ordered in an angular-type evolution variable t,
where E is the energy of the hard parton initiating the shower, and \(\theta \) is an angular scale. For a 1-loop running of the strong coupling \(\alpha _s(p_t \theta )\), the scale t is related to the opening angle of the splitting \(\theta \) by
where \(\beta _0=\frac{1}{6}(11C_A-4 T_R n_f)\), and where we have introduced \(\lambda = \alpha _s \ln \theta \). Single-logarithmic terms of the form \((\alpha _s {\ln }(1/\theta ))^n\) can then be resummed by solving corresponding DGLAP-style equations. Unlike in a real parton shower, there is no kinematic map associated with the emissions, and crucially it thus does not generate any spurious higher-order terms. Since the toy shower is angular ordered, the Collins–Knowles algorithm can readily be applied to it, and we can make predictions for angular observables correct at NLL in the strongly ordered limit. The toy shower can also provide fixed order predictions at \({\mathcal {O}}(\alpha _s^2)\) in the collinear limit.
3.4.1 Results for Lund declustering observables
We start by evaluating the impact of the single-logarithmic resummation on the size of the spin correlations, \(a_2/a_0\), for the observables \(\Delta \psi _{12}\) and \(\Delta \psi _{11'}\) introduced above. In order to do so, we consider the distributions of \(\Delta \psi _{12}\) and \(\Delta \psi _{11'}\) generated by the toy shower for a value of \(t_{\mathrm{max}} = \frac{0.5}{\pi }\), which corresponds to \(\lambda \approx -0.3743\) for a 1-loop running of the strong coupling, see Eq. (14), which is compatible with the range of \(\alpha _s\) and L accessible at the LHC (cf. table 1 of Ref. [25]). We then apply the Lund declustering procedure: we identify a splitting as primary or secondary only if it passes the cut \(z > z_{\mathrm{cut}}\). We then determine the coefficients \(a_0\) and \(a_2\) from the distribution of the observable.
Figure 9 depicts the ratio \(a_2/a_0\) at fixed second order (FO) and all orders (AO) for the case of \(\Delta \psi _{12}\) in \(\gamma ^* \rightarrow q {\bar{q}}\) events (quark-initiated intra-jet azimuthal angle), for five values of \(z_{\mathrm{cut}} \in \lbrace 0.05,0.1,0.2,0.3,0.4 \rbrace \) (the fixed order extends to \(z_{\mathrm{{cut}}}=0\), however the resummation cannot be extended to that region without also addressing soft logarithms). The size of the spin correlations is shown separately for the two different branching histories \(q\rightarrow qg(g\rightarrow gg)\) in Fig. 9a, and \(q\rightarrow qg(g\rightarrow q'\bar{q}')\) in Fig. 9b. The rest channel, characterised by the absence of an intermediate gluon (e.g. \(q\rightarrow gq(q\rightarrow gq)\) at second order, and other possible histories at all orders), is not shown as it does not produce correlations.Footnote 13 The ratio \(a_2/a_0\) is also given for the sum of all channels in Fig. 9c.
Turning on the IR cut, \(z_{\mathrm{cut}} > 0\), first leads to an increase in the absolute size of \(|a_2/a_0|\), with the large-\(z_2\) contributions in Fig. 4 driving the spin correlations. As \(z_{\mathrm{cut}}\) continues to increase, the intermediate gluon becomes harder and spin correlations decrease again up to \(z_{\mathrm{cut}} = 0.5\).Footnote 14 We observe that the size of the spin correlations agrees between the fixed order and the resummed, all-order case, for small values of \(z_{\mathrm{cut}}\sim 0\), in the separate channels. Once we turn \(z_{\mathrm{cut}}\) on, the resummation starts diluting the spin correlations, as intermediate, soft gluons can be emitted with values of \(z<z_{\mathrm{cut}}\), transporting away some of the spin information before it is propagated to the identified secondary splitting. Thus, the size of the correlations in the resummed prediction decreases with respect to the fixed-order calculation, with the resummed \(|a_2/a_0|\) being about \(88\%\) of the fixed-order value at \(z_{\mathrm{cut}} = 0.4\).
If one considers the sum of all channels, given in Fig. 9c, i.e. without the inclusion of any flavour-tagging, the relative size of the resummed correlations starts at about \(95\%\) of their fixed-order counterpart at small values of \(z_{\mathrm{cut}} \sim 0\). This decrease finds its source in the higher relative contribution from possible branching histories without correlations – what we call the rest channel – in all-order events: indeed, there is only one such possible history at second order (\(q \rightarrow q(q \rightarrow qg)g) \), where the emission of the first gluon is hard and the declustering follows the soft quark branch to the secondary splitting). This rest channel contributes to \(a_0\) but not to \(a_2\), thus the additional damping of \(|a_2/a_0|\) at small values of \(z_{\mathrm{cut}}\) in
Similar results are shown in Fig. 10 for the gluon-initiated (\(H\rightarrow gg\)) intra-jet observable \(\Delta \psi _{12}\). While the spin correlations are smaller when compared to the quark-initiated case presented above, we find that they are also less sensitive to resummation: the all-order correlations \(|a_2/a_0|\) are about \({\mathcal {O}}(95\%)\) of their fixed-order counterpart at \(z_{\mathrm{cut}} = 0.4\) for the separate channels, and \({\mathcal {O}}(92.5\%)\) for the sum of all channels.
Finally, fixed- and all-order predictions are shown in Fig. 11 for the inter-jet observable \(\Delta \psi _{11'}\) in \(H \rightarrow g_1g_{1'}\) events. The correlations \(|a_2/a_0|\) are very small in each separate channel, with the exception of the all-quark final state \(g_1 \rightarrow q {\bar{q}}, g_{1'} \rightarrow q' {\bar{q}} '\). Because the largest cross section comes from the all-gluon final state, where the correlations \(|a_2/a_0| \lesssim 1\%\) are extremely small, and because of partial cancellations between different channels, the correlations in the sum of all channels are almost vanishing. Since the effect is so small, there is a large statistical uncertainty on the value of the coefficient \(a_2\) fitted from the Monte-Carlo runs of the toy shower. It still gives results consistent with the observations made above. Additionally, we note that the inter-jet spin correlations are also somewhat more sensitive to resummation than for the intra-jet correlations in \(\Delta \psi _{12}\) studied above.
3.4.2 Validation and results for energy correlators
As part of the validation of the MicroJets code, we also compare it to the analytic resummation of the EEEC presented in Ref. [38]. While in the latter reference, the spin correlations in the EEEC were shown differentially as a function of the opening angle \(\theta _S\) of the secondary (small) splitting and fixed opening angle \(\theta _L\) of the primary (large) splitting, here we show the results integrated over angles to enhance the statistics. Inspired by Ref. [38] we choose the following integration bounds on the opening angles of the primary and secondary branchingsFootnote 15:
and take \(\alpha _s = 0.0868\) corresponding to a hard scale of roughly \(1~\mathrm {TeV}\). The toy shower and analytic resummation results [38] are shown in Fig. 12, summed over all final branching flavour channels, demonstrating good agreement. The figure also shows the second-order expansion, normalised so that its mean value coincides with the resummed result, illustrating a modest reduction in the degree of spin correlations from the resummation, which is similar to our findings above with the Lund declustering observables.
4 Numerical validation of spin correlations within PanScales showers
In this section, we validate the PanScales showers against various numerical predictions. In particular we want to demonstrate that the algorithm described above reproduces fixed-order matrix elements in the strongly ordered limit and that it produces the correct NLL distributions at all orders. Here, we first provide a brief summary of the PanScales showers. A comprehensive description can be found in Ref. [24].
The PanScales showers fit into two categories, namely PanLocal which features local recoil, and PanGlobal which features global recoil. The PanLocal mapping for the emission of \(p_k\) from a dipole \(\{{\tilde{p}}_i, {\tilde{p}}_j\}\) is given by
where \(k_{\perp } = k_{\perp ,1} \cos (\varphi ) + k_{\perp ,2} \sin (\varphi )\) and \(-k_{\perp }^2 = k_t^2\). The coefficients of the map are functions of the ordering variable, v, and an auxiliary variable \({\bar{\eta }}\),
where \(s_{{{\tilde{\imath }}}{{\tilde{\jmath }}}} =2{{{\widetilde{p}}}}_{i}\cdot {{{\widetilde{p}}}}_{j}\), \(s_{{{\tilde{\imath }}}}=2{{{\widetilde{p}}}}_{i} \cdot Q\), and Q is the total event momentum. The quantity \(\beta \) parameterises the choice of ordering variable. The PanGlobal map drops the \(k_{\perp }\)-contributions to \(p_i\) and \(p_j\), as well as the terms \(b_i\) and \(a_j\), and instead boosts and rescales the full event. The PanLocal shower comes in a dipole variant, where \(f = 1\) and every soft eikonal is reproduced by the sum of two opposite branching kernels, and in an antenna variant, where
and every eikonal is instead contained in a single contribution. We will show results for the PanGlobal shower with \(\beta =0\)Footnote 16 and the PanLocal dipole shower with \(\beta = 1/2\) and in some places also the PanLocal antenna shower with \(\beta = 1/2\).
4.1 Validation at second order
The first essential test to carry out is at fixed \({\mathcal {O}}(\alpha _s^2)\) since this is the first order at which spin correlations are non-vanishing. We compare the collinear branching amplitudes presented in Sect. 2.1 against the exact \({\mathcal {O}}(\alpha _s^2)\) tree-level matrix element, taking the limit of strongly ordered angles for fixed \(z_1\) and \(z_2\). We then proceed to validate our adaptation of the Collins–Knowles algorithm by applying it at fixed order in the PanScales showers and comparing against the second order expansion of the toy shower and the exact \({\mathcal {O}}(\alpha _s^2)\) cross section.
4.1.1 Matrix element validation of collinear branching amplitudes
Matrix elements constructed using collinear branching amplitudes are expected to reproduce the exact amplitudes only in the strongly ordered limit. In order to demonstrate that this is the case, we consider the angular correlations \(\Delta \psi _{12}\) and \(\Delta \psi _{11'}\) as a function of
where \(\theta _i\) is the opening angle of the ith branching. The strongly ordered limit is then approached as \(\Theta \rightarrow 0\). In practice we achieve this by fixing the energy fractions \(z_1\) and \(z_2\). We then generate angles \(\theta _1\), \(\theta _2\), \(\phi _1\), and \(\phi _2\) from which we can deduce the full kinematics of our event using the PanLocal dipole \(\beta =0.5\) map.Footnote 17 The full kinematics are then passed to the exact matrix element, obtained using amplitudes from Ref. [60], to be compared directly with the Collins–Knowles weights, Eqs. (1) and (2). In Fig. 13 we show this comparison as a function of \(\Delta \psi _{12}\) and \(\Theta _{12}\) for the processes \(\gamma ^*\rightarrow q\bar{q}q'\bar{q}'\) and \(\gamma ^* \rightarrow q\bar{q}gg\) for \(z_1=0.01\) and \(z_2=0.3\). On the left we show the comparison between the exact matrix element and the shower matrix element without spin correlations, while they are included on the right. We show the absolute difference between the exact matrix element and the shower matrix element normalised to the exact matrix element integrated in a slice of \(\Delta \psi _{12}\). When spin correlations are not included in the branching amplitudes the exact matrix element and the shower matrix element disagree for all values of \(\Theta _{12}\) and \(\Delta \psi _{12}\) in both processes. The band structure that shows up for \(\Delta \psi _{12}=\{\frac{-3\pi }{4},\frac{-\pi }{4},\frac{\pi }{4},\frac{3\pi }{4}\}\) corresponds to the points in \(\Delta \psi _{12}\) where the azimuthal modulation of the full matrix element intersects the prediction by the shower, which is flat in the collinear limit. When spin correlations are included we see that the discrepancy between the exact matrix element and the shower matrix element only persists away from the collinear limit and we find that the residual differences vanish as \(\Theta _{12}\) becomes small. The picture is very similar if we instead focus on \(H\rightarrow gg\) processes, as can be seen in Fig. 14. In this case we show the three subprocesses \(H\rightarrow gggg\), \(H\rightarrow ggq\bar{q}\), and \(H\rightarrow q\bar{q}q'\bar{q}'\) as a function of \(\Delta \psi _{11'}\) and \(\Theta _{11'}\), using \(z_1=z_2=0.3\). When spin correlations are not included in the shower branching amplitudes, the shower matrix element and the exact matrix element again disagree for all values of \(\Theta _{11'}\) and \(\Delta \psi _{11'}\). The same band structure can be seen as in Fig. 13 which is again due to the intersection of the cosine and an almost flat curve. When spin correlations are included in the shower we again find excellent agreement as we approach the strongly ordered limit. Some band structure remains, associated with the existence of azimuths for which the exact and parton shower results happen to coincide exactly.
4.1.2 Tests with full shower phase space and observables
We now consider integrated results over a portion of the Lund plane, i.e. using the analysis approach discussed in Sect. 3.2. This serves to test the full combination of shower phase space generation, branching probabilities and observable implementation (which comes in independent variants for the toy shower and the full shower). We still work at fixed (second) order, and compare the resulting distribution of \(\Delta \psi _{12}\) for several of the PanScales showers, the toy shower, and the exact tree-level matrix element. We produce results for a fixed strong coupling at \(Q = 100 \,{\mathrm{TeV}}\), setting the following cuts on the primary and secondary splittings:
Figure 15 depicts the second-order (normalised) differential cross-section
for different values of \(\Theta _{12}\), where X may be \(q{\bar{q}}\) or gg. As in the previous section, the latter variable serves as a measure of ordered collinearity for the two successive splittings. We show the distributions obtained by the toy shower, by the PanLocal shower (run with a value of \(\beta =0.5\), see Eq. (18)) in its dipole formulation, and by the exact tree-level matrix element. In the bulk of the phase space, where opening angles are not strongly restricted, the distribution of \(\Delta \psi _{12}\) is not expected to agree across all considered setups: the parton shower will feature non-negligible recoil effects, and the toy shower is applying the strictly-collinear limit of the Collins algorithm irrespective of the opening angles. However, we do expect agreement between those setups, and the exact matrix element, in the limit where the angles are small and strongly ordered.
To quantify the agreement between the different setups in the strongly-ordered collinear limit, \({\mathrm{lim}}_{\Theta _{12} \rightarrow 0} \left( \frac{d \sigma }{d \Delta \psi _{12}}\right) \), we apply a Discrete Cosine Transform (DCT) to the binned distribution of \(\Delta \psi _{12}\), where we integrate over all configurations that fulfil the strong angular ordering requirement for a given value of \(\Theta _{12}\). Specifically, for a distribution with \(\Delta \psi _{12}\) bins running from \(i=0,\ldots ,n-1\) we define the kth DCT coefficient as follows
The \(A_0\) and \(A_2\) coefficients can be related to the Fourier coefficients \(a_0\) and \(a_2\) used above,
This definition exclusively picks out the even (cosine-like) Fourier components, whereas the odd (sine-like) modes are zero by definition.
The results are summarised in Fig. 16, for \(\gamma ^* \rightarrow q{\bar{q}} q' {\bar{q}} '\) (left column) and \(\gamma ^* \rightarrow q {\bar{q}} gg\) (right column). We show the first four DCT coefficients, normalised by the toy shower \(A_0^{ts}(\Theta _{12})\), for two PanScales showers, the exact matrix element, and the toy shower. For the latter, since the toy shower is free of recoil effects, the correlations introduced by the spin algorithm take the form given by Eq. (11) irrespective of the value of \(\Theta _{12}\). Thus, for the toy shower, \(A_0\) and \(A_2\) are the only non-zero coefficients, and \(2A_2 / A_0 = a_2 / a_0\) gives the relative size of the integrated spin correlations, which are of the order \({\mathcal {O}}(-77\%)\) for the \(g \rightarrow q'{\bar{q}}'\) channel, and \({\mathcal {O}}(+7\%)\) for the \(g \rightarrow gg\) channel in most of the phase space.Footnote 18 The parton showers and the matrix element partly generate non-zero coefficients at large values of \(\Theta _{12}\), all of which become consistent with zero in the strongly-ordered limit at \(\ln \Theta _{12} \sim -4\), with the exception of the coefficient \(A_2\) encoding the spin correlations. All setups produce compatible values of \(A_2\) at small \(\Theta _{12}\). We also observe that the PanScales showers display distortions that are of same sign, and similar in size, as the exact matrix element at larger values of \(\Theta _{12}\). The difference between the PanLocal dipole and the PanGlobal showers is a consequence of the different kinematic map rather than the difference in \(\beta \) values that we have used (0.5 and 0.0 respectively).
4.2 Validation at all orders in \(\alpha _s\)
We now turn to the validation of our spin-correlation algorithm in the PanScales parton showers. To test specifically the single logarithmic (NLL), \(\alpha _s^n L^n\), terms generated by the shower, we run the PanGlobal (\(\beta =0\)) shower and the dipole and antenna versions of the PanLocal (\(\beta = 0.5\)) showers with asymptotically small \(\alpha _s \rightarrow 0\), keeping \(\lambda = \alpha _s L\) fixed. For the Lund declustering observable (cf. Sect. 3.2), \(e^{-|L|}\) is the smallest value that we allow for \(k_{t,2}/Q\), or equivalently at \(\alpha _s^n L^n\) accuracy, the smallest value for \(\theta _2\), while \(\theta _1\) and \(k_{t,1}\) are allowed to take on any value (typically, the Lund declustering procedure ensures \(\theta _1 > \theta _2\) and \(k_{t,1} > k_{t,2}\)). For the EEEC variable (cf. Sect. 3.3), \(e^{-|L|}\) is the smallest value that we allow for \(\theta _S\), while \(\theta _L\) is allowed to take on any value larger than \(\theta _S\). For the purpose of the following tests we choose a value of \(\lambda =-0.5\), which corresponds roughly to the range of \(\alpha _s\) and L accessible at the LHC.
In practice, we set \(\alpha _s = 10^{-7}\), and the value of the shower cutoff to \(\ln v_{\mathrm{min}} = (1+\beta ) \lambda / \alpha _s = (1+\beta ) \cdot (-0.5) \cdot 10^7\). For results generated by the toy shower, this translates to setting the toy shower’s cutoff scale to \(t_{\mathrm{max}} = t(\lambda )\) as given in Eq. (14). We use a 1-loop running of \(\alpha _s\) for all results shown below (in our \(\alpha _s \rightarrow 0\) but fixed \(\lambda = \alpha _s L\) limit, higher-loop running leaves the results unchanged).
In the following, we consider both \(\gamma ^* \rightarrow q {\bar{q}}\) and \(H \rightarrow gg\) initial setups. A variety of issues arise from the use of small values of \(\alpha _s\) and large values of L. The approaches that we take to dealing with them include truncating the shower to avoid large numbers of soft gluons, tracking differences in angles between particles as well as their 4-momenta, the use of a numerical type that extends the available exponent beyond that normally accessible in double precision, and a stand-in analysis using the shower tree structure rather than the full Lund declustering analysis. Some of the techniques were introduced in Refs. [24, 25] and Appendix D gives further details about the techniques that are new here, including a number of tests to verify that our conclusions remain robust even with these techniques. We apply a cut \(z_{\mathrm{cut}} = 0.1\) in the identification of the primary and secondary (respectively, both primary) splittings used in reconstructing the Lund observable \(\Delta \psi _{12}\) (respectively, \(\Delta \psi _{11'}\)). We also use a stand-in analysis for the EEEC observable, presented in Appendix D.2, which again is valid in the extreme collinear limit.
Figures 17 and 18 depict the distribution of our new Lund observables, \(\Delta \psi _{12}\) and \(\Delta \psi _{11'}\), as well as the EEEC, for \(\gamma ^* \rightarrow q {\bar{q}}\), respectively for \(H \rightarrow gg\) initial events. The three showers PanGlobal (\(\beta =0\)), PanLocal (\(\beta =0.5\), dipole and antenna versions) are compared to the numerically resummed result obtained from the toy shower. In all cases, we show the contributions stemming from the different channels to the full observable. The relative deviation between the PanScales showers and the toy shower is shown on the right, separately for each channel, and is compatible with zero with statistical uncertainties below the 5 permille level.
4.3 Phenomenological remarks
We comment on three aspects here that are potentially relevant for phenomenological applications.
Our first comment concerns the relative size of spin correlations in the EEEC and the \(\Delta \psi _{12}\) Lund declustering observable. The EEEC has the advantage of not requiring a \(z_{\mathrm{{cut}}}\), reducing the number of parameters that need to be chosen for the observable. However its weighting with the energies in Eq. (12) tends to favour configurations where a \(q\rightarrow qg(g\rightarrow xy)\) splitting shares energy equally between the three final particles. In the notation of Figs. 4 and 5, this corresponds to \(z_1 \simeq 2/3\) and \(z_2\simeq 1/2\). While \(z_2\simeq 1/2\) acts to enhance the spin correlations, \(z_1\simeq 2/3\) tends to reduce them. In contrast, with the Lund declustering \(\Delta \psi _{12}\) one can adjust the cuts on the \(z_1\) and \(z_2\) values so as to maximise the azimuthal modulations.Footnote 19 Table 3 summarises the degree of azimuthal modulation for different observables in \(\gamma ^* \rightarrow q{\bar{q}}\) events. With our default (non-optimised) cuts of \(z_1\) and \(z_2 > 0.1\), we see substantially larger azimuthal modulations than in the EEEC variables, both in individual flavour channels and in their sum. The potential for further enhancement of the modulations is made evident by the results obtained with the \(z_2>0.3\) requirement.
Our second comment concerns the sum over all flavour channels. The results shown here have been obtained with \(n_f=5\) light flavours. The final magnitude of the spin correlations after the sum over flavour channels is quite sensitive to the cancellation between \(g \rightarrow q{\bar{q}}\) and \(g \rightarrow gg\) splittings and the degree of cancellation is strongly influenced by the value of \(n_f\). At the scales where one might aim to probe spin correlations, the c- and especially b-quark masses are not entirely negligible. A full phenomenological study of the flavour-summed structure of azimuthal correlations might, therefore, needs to take into account finite quark-mass effects. Note that effects related to \(k_t\) values in the neighbourhood of a heavy-quark threshold are formally suppressed by a logarithm. For a complete understanding of phenomenological expectations one would also want to examine the impact of other subleading logarithmic effects, as well as contributions suppressed by powers of \(k_t/Q\), and possibly also non-perturbative corrections. It would clearly also be of interest to find ways of carrying out measurements with flavour tagging, given the strong effects to be seen with \(g\rightarrow q{\bar{q}}\) splittings. While b and c flavour tagging are the most obviously robust starting points in this respect, one may also wish to consider s tagging [61] and generic light-quark versus gluon discrimination observables.
Our final comment concerns the inter-jet \(\Delta \psi _{11'}\) observable. If Higgs boson decay to two gluons is eventually observed and if one can carry out flavour tagging so as to have visible net modulation, this observable could provide an interesting example of an EPR type measurement at colliders (a constraint on a gluon’s splitting angle would then translate to a constraint on the distance travelled by the gluon before it splits).
5 Conclusions
The developments shown in this paper are among the last remaining aspects needed in order to claim complete NLL accuracy in the sense of Ref. [24] for the PanScales family of parton showers. The one component that now remains (at leading colour) is a treatment of the spin correlations for soft emissions, an aspect that we leave to future work.
The approach we have taken is largely based on that proposed by Collins and Knowles, and in part also on the extension to dipole showers proposed by Richardson and Webster. The main difference relative to the Richardson and Webster work is our use of spinor products, avoiding the need for correlating branching variables across different steps and associated boosts. The spin correlation treatment is then expected to be correct at single-logarithmic accuracy for showers that adhere to the general requirements set out in Ref. [24].
Relative to earlier work on spin correlations in parton showers, one of the main novelties of this paper is the framework for validating the implementation of spin correlations. As part of our testing framework we extended the MicroJets code to enable single-logarithmic resummation for a range of spin-correlation observables. Figures 13, 14, 15 and 16 show clear agreement between the collinear limits of fixed-order matrix elements and a fixed-order expansion of the shower, while Figs. 17 and 18 show equally good agreement between the logarithmic structure of the full shower and the single-logarithmic resummed expectations.
To carry out those tests we introduced a set of new observables based on Lund declustering that are sensitive to spin correlations. These complement the recently proposed EEEC spin-sensitive observables, providing information that is more differential in momentum fractions of the different branchings. This makes it possible to enhance the relative magnitude of the spin-correlation signal, cf. Table 3. Spin-correlation effects can be large for \(g \rightarrow q{{\bar{q}}}\) splittings, while they are smaller, with an opposite sign for \(g \rightarrow gg\) splittings (cf. Figs. 4, 5 and 6). All-order resummation has a modest effect on them (cf. Figs. 9, 10 and 11). Phenomenologically, the opposite signs for \(g \rightarrow gg\) and \(g \rightarrow q{{\bar{q}}}\) lead to a partial cancellation of the spin correlation effects in flavour-insensitive observables, although our studies indicate that some effect remains visible. Further study of the potential for measuring these effects, possibly in combination with flavour tagging, would clearly be of interest.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: The numerical data shown in the plots are available from the authors on request.]
Notes
Reference [24] also used azimuthal observables for testing showers, however for the case of emissions with commensurate \(k_t\) that are widely separated in angle. That is a region dominated by independent soft emission and is free of spin correlations. The recoil effects in traditional dipole showers that cause that region to be incorrect at NLL accuracy can also introduce azimuthal correlations that obfuscate the genuine spin correlations that we discuss here, as is visible in Appendix D.1, though an understanding of the logarithmic structure associated with this effect would require further work. This issue was discussed also in Ref. [32].
Note the separate \(\lambda _2\) and \(\lambda _2'\) indices in the amplitude and its complex conjugate: this reflects the independent coherent sums over intermediate particle spins in the amplitude and its conjugate.
In order to get the full unregularised splitting functions an appropriate factor of \(C_A\), \(C_F\) or \(T_R\) has to be included.
The exact definitions of which depend on the shower implementation at hand.
This may no longer be the case when accounting for subleading colour effects, for example in the NODS method of Ref. [25]. That specific algorithm may reject an emission after its azimuth has been chosen. When combining it with our spin-correlation approach, we first choose the azimuth according to the spin-correlation algorithm, and then apply the colour rejection step.
One can make use of the fact that the spin-density matrix is hermitian and has trace 1 to find, for instance
where \(\alpha = 1\) or \(-1\).
That particular case, with a \(q{\bar{q}}\) hard process, would have zero correlation, but the correlation is non-zero for a gg hard process.
\(z_1=0\) does not satisfy our requirement of finite \(\ln z_1\), but it is indicative of the behaviour that we will see if we take moderately small values of \(z_1\) while keeping finite \(\ln z_1\). Similarly for the rest of the discussion.
In Ref. [44] an azimuthal variable \(\psi \) was already defined. Azimuthal differences computed using this \(\psi \) coincide with the definition that we give here in the collinear limit, but turn out to have an undesirable dependence on the rotation of the initial hard event.
In the pp case, z, \(k_t\) and the azimuth \(\phi \) for a branching were defined in Ref. [44]; in our \(e^+e^-\) studies here, for an \(i\rightarrow jk\) branching, we use \(z=\min (|{\vec {p}}_j|,|{\vec {p}}_k|)/(|{\vec {p}}_j| + |{\vec {p}}_k|)\), \(k_t = \min (|{\vec {p}}_j|,|{\vec {p}}_k|)\sin \theta _{jk}\) and we discuss the definition of the azimuths below.
Instead of selecting the highest-\(k_t\) emission that satisfies \(z > z_{\mathrm{{cut}}}\), one could instead take the first that appears in the declustering. That would have made the procedure more similar to the modified mass-drop tagger [47] or SoftDrop with \(\beta =0\) [48]. At the logarithmic accuracy that we discuss here, both procedures should yield equivalent results. Selecting the highest-\(k_t\) emission without a \(z_{\mathrm{{cut}}}\) would be similar to Dynamical Grooming [49] and would involve a double rather than single logarithmic resummation structure [50]. The use of two declusterings is also part of a range of top taggers, e.g. Refs. [51,52,53,54,55], theoretical aspects of which are further discussed in Ref. [56].
We will still show results below classified according to the flavour channel. This is useful in terms of diagnostics, and it is possible because the parton shower does contain information about flavours. Strictly speaking, that flavour information for massless quarks is infrared unsafe [57] within the Cambridge/Aachen algorithm. The infrared-safe flavour algorithm of Ref. [57] cannot be applied in conjunction with Lund declustering, because it adapts the \(k_t\) jet algorithm rather than the Cambridge/Aachen algorithm. However in the limit that we will consider for our logarithmic tests, \(\alpha _s\rightarrow 0\) with \(\alpha _sL\) fixed, if the logarithm of the infrared cutoff is of the order of \(-|L|\), the infrared unsafe contributions obtained with the Cambridge/Aachen algorithm vanish, because they scale as \(\alpha _s^2 L\).
Note that the rest channel does contribute to the normalisation of the sum of all channels.
In phenomenological applications, one would optimise the values of the cuts separately, \(z_{\mathrm{cut},1}\) and \(z_{\mathrm{cut},2}\), to have a maximal signal-to-background ratio.
Cf. figure 3 in Ref. [38].
We have performed validations also with the PanGlobal \(\beta =1/2\) shower but do not show them here to avoid cluttering already busy plots.
Here, for conciseness, we show just the PanLocal dipole \(\beta =0.5\) results. When we come to fixed order tests with the full shower phase space and observables in Sect. 4.1.2, we will also show results for the PanGlobal shower.
There is an interplay between the imposed phase-space cuts on \(k_t\), and the integration bound on \(\Theta _{12}\), which we believe may be responsible for the kink at the left-hand end of the spectrum.
Too tight a cut on \(z_1\) and \(z_2\) would reduce the available statistics, so one might want to optimise the cuts to maximise a combination of statistical accuracy and degree of modulation.
In PanGlobal showers, the problem is avoided because the transverse recoil is assigned through a boost, which leaves the azimuthal structure of the \(q{\bar{q}}\) pair unchanged. In the PanLocal shower, where it is only valid to run with \(\beta >0\) in the definition of the ordering variable, Eq. (18), when two emissions are at commensurate \(k_t\) values, the hard-collinear one always takes place later, which ensures that a soft-collinear gluon does not induce recoil in a hard-collinear gluon of commensurate \(k_t\).
References
A. Einstein, B. Podolsky, N. Rosen, Can quantum mechanical description of physical reality be considered complete? Phys. Rev. 47, 777–780 (1935). https://doi.org/10.1103/PhysRev.47.777
G. Mahlon, S.J. Parke, Angular correlations in top quark pair production and decay at hadron colliders. Phys. Rev. D 53, 4886–4896 (1996). https://doi.org/10.1103/PhysRevD.53.4886. arXiv:hep-ph/9512264
W. Bernreuther, A. Brandenburg, Z.G. Si, P. Uwer, Top quark spin correlations at hadron colliders: predictions at next-to-leading order QCD. Phys. Rev. Lett. 87, 242002 (2001). https://doi.org/10.1103/PhysRevLett.87.242002. arXiv:hep-ph/0107086
W. Bernreuther, Z.-G. Si, Distributions and correlations for top quark pair production and decay at the Tevatron and LHC. Nucl. Phys. B 837, 90–121 (2010). https://doi.org/10.1016/j.nuclphysb.2010.05.001. arXiv:1003.3926 [hep-ph]
G. Mahlon, S.J. Parke, Spin correlation effects in top quark pair production at the LHC. Phys. Rev. D 81, 074024 (2010). https://doi.org/10.1103/PhysRevD.81.074024. arXiv:1001.3422 [hep-ph]
K. Melnikov, M. Schulze, Top quark spin correlations at the Tevatron and the LHC. Phys. Lett. B 700, 17–20 (2011). https://doi.org/10.1016/j.physletb.2011.04.043. arXiv:1103.2122 [hep-ph]
P. Artoisenet, R. Frederix, O. Mattelaer, R. Rietkerk, Automatic spin-entangled decays of heavy resonances in Monte Carlo simulations. JHEP 03, 015 (2013). https://doi.org/10.1007/JHEP03(2013)015. arXiv:1212.3460 [hep-ph]
ATLAS Collaboration, G. Aad et al., Observation of spin correlation in \(t \bar{t}\) events from pp collisions at sqrt(s) = 7 TeV using the ATLAS detector. Phys. Rev. Lett. 108, 212001 (2012). https://doi.org/10.1103/PhysRevLett.108.212001. arXiv:1203.4081 [hep-ex]
ATLAS Collaboration, G. Aad et al., Measurement of top quark polarization in top–antitop events from proton–proton collisions at \(\sqrt{s} = 7\) TeV using the ATLAS detector. Phys. Rev. Lett. 111(23), 232002 (2013). https://doi.org/10.1103/PhysRevLett.111.232002. arXiv:1307.6511 [hep-ex]
CMS Collaboration, S. Chatrchyan et al., Measurements of \(t\bar{t}\) spin correlations and top-quark polarization using dilepton final states in \(pp\) collisions at \(\sqrt{s} = 7\) TeV. Phys. Rev. Lett. 112(18), 182001 (2014). https://doi.org/10.1103/PhysRevLett.112.182001. arXiv:1311.3924 [hep-ex]
ATLAS Collaboration, G. Aad et al., Measurements of spin correlation in top–antitop quark events from proton–proton collisions at \(\sqrt{s}=7\) TeV using the ATLAS detector. Phys. Rev. D 90(11), 112016 (2014). https://doi.org/10.1103/PhysRevD.90.112016. arXiv:1407.4314 [hep-ex]
ATLAS Collaboration, G. Aad et al., Measurement of spin correlation in top–antitop quark events and search for top squark pair production in pp collisions at \(\sqrt{s}=8\) TeV using the ATLAS detector. Phys. Rev. Lett. 114(14), 142001 (2015). https://doi.org/10.1103/PhysRevLett.114.142001. arXiv:1412.4742 [hep-ex]
W. Bernreuther, D. Heisler, Z.-G. Si, A set of top quark spin correlation and polarization observables for the LHC: Standard Model predictions and new physics contributions. JHEP 12, 026 (2015). https://doi.org/10.1007/JHEP12(2015)026. arXiv:1508.05271 [hep-ph]
CMS Collaboration, A.M. Sirunyan et al., Measurement of the top quark polarization and \({{\rm t}}{\bar{{\rm t}}}\) spin correlations using dilepton final states in proton–proton collisions at \(\sqrt{s} = 13\) TeV. Phys. Rev. D 100(7), 072002 (2019). https://doi.org/10.1103/PhysRevD.100.072002. arXiv:1907.03729 [hep-ex]
A. Behring, M. Czakon, A. Mitov, A.S. Papanastasiou, R. Poncelet, Higher order corrections to spin correlations in top quark pair production at the LHC. Phys. Rev. Lett. 123(8), 082001 (2019). https://doi.org/10.1103/PhysRevLett.123.082001. arXiv:1901.05407 [hep-ph]
Y. Afik, J.R.M. de Nova, Quantum information and entanglement with top quarks at the LHC. arXiv:2003.02280 [quant-ph]
M. Fabbrichesi, R. Floreanini, G. Panizzo, Testing Bell inequalities at the LHC with top-quark pairs. arXiv:2102.11883 [hep-ph]
ALEPH Collaboration, R. Barate et al., A measurement of the QCD color factors and a limit on the light gluino. Z. Phys. C 76, 1–14 (1997). https://doi.org/10.1007/s002880050522
S. Moretti, W.J. Stirling, Spin correlations in e+ e\(-\)\(\rightarrow \) four jets. Eur. Phys. J. C 9, 81–93 (1999). https://doi.org/10.1007/s100529900016. arXiv:hep-ph/9808429
B.R. Webber, Monte Carlo simulation of hard hadronic processes. Annu. Rev. Nucl. Part. Sci. 36, 253–286 (1986). https://doi.org/10.1146/annurev.ns.36.120186.001345
J.C. Collins, Spin correlations in Monte Carlo event generators. Nucl. Phys. B 304, 794–804 (1988). https://doi.org/10.1016/0550-3213(88)90654-2
I. Knowles, Angular correlations in QCD. Nucl. Phys. B 304, 767–793 (1988). https://doi.org/10.1016/0550-3213(88)90653-0
M. Dasgupta, F.A. Dreyer, K. Hamilton, P.F. Monni, G.P. Salam, Logarithmic accuracy of parton showers: a fixed-order study. JHEP 09, 033 (2018). https://doi.org/10.1007/JHEP09(2018)033. arXiv:1805.09327 [hep-ph]
M. Dasgupta, F.A. Dreyer, K. Hamilton, P.F. Monni, G.P. Salam, G. Soyez, Parton showers beyond leading logarithmic accuracy. Phys. Rev. Lett. 125(5), 052002 (2020). https://doi.org/10.1103/PhysRevLett.125.052002. arXiv:2002.11114 [hep-ph]
K. Hamilton, R. Medves, G.P. Salam, L. Scyboz, G. Soyez, Colour and logarithmic accuracy in final-state parton showers. J. High Energ. Phys. 2021, 41 (2021). https://doi.org/10.1007/JHEP03(2021)041
B. Andersson, G. Gustafson, L. Lonnblad, U. Pettersson, Coherence effects in deep inelastic scattering. Z. Phys. C 43, 625 (1989). https://doi.org/10.1007/BF01550942
S. Catani, L. Trentadue, G. Turnock, B.R. Webber, Resummation of large logarithms in e+ e\(-\) event shape distributions. Nucl. Phys. B 407, 3–42 (1993). https://doi.org/10.1016/0550-3213(93)90271-P
G. Corcella, I.G. Knowles, G. Marchesini, S. Moretti, K. Odagiri, P. Richardson, M.H. Seymour, B.R. Webber, HERWIG 6: an event generator for hadron emission reactions with interfering gluons (including supersymmetric processes). JHEP 01, 010 (2001). https://doi.org/10.1088/1126-6708/2001/01/010. arXiv:hep-ph/0011363
M. Bahr et al., Herwig++ physics and manual. Eur. Phys. J. C 58, 639–707 (2008). https://doi.org/10.1140/epjc/s10052-008-0798-9. arXiv:0803.0883 [hep-ph]
J. Bellm et al., Herwig 7.0/Herwig++ 3.0 release note. Eur. Phys. J. C 76(4), 196 (2016). https://doi.org/10.1140/epjc/s10052-016-4018-8. arXiv:1512.01178 [hep-ph]
J. Bellm et al., Herwig 7.2 release note. Eur. Phys. J. C 80(5), 452 (2020). https://doi.org/10.1140/epjc/s10052-020-8011-x. arXiv:1912.06509 [hep-ph]
P. Richardson, S. Webster, Spin correlations in parton shower simulations. Eur. Phys. J. C 80(2), 83 (2020). https://doi.org/10.1140/epjc/s10052-019-7429-5. arXiv:1807.01955 [hep-ph]
S.J. Webster, Improved Monte Carlo simulations of massive quarks. PhD thesis, Durham University (2019)
Z. Nagy, D.E. Soper, Parton showers with quantum interference. JHEP 09, 114 (2007). https://doi.org/10.1088/1126-6708/2007/09/114. arXiv:0706.0017 [hep-ph]
Z. Nagy, D.E. Soper, Parton showers with quantum interference: leading color, with spin. JHEP 07, 025 (2008). https://doi.org/10.1088/1126-6708/2008/07/025. arXiv:0805.0216 [hep-ph]
J.R. Forshaw, J. Holguin, S. Plätzer, Parton branching at amplitude level. JHEP 08, 145 (2019). https://doi.org/10.1007/JHEP08(2019)145. arXiv:1905.08686 [hep-ph]
J.R. Forshaw, J. Holguin, S. Plätzer, Building a consistent parton shower. JHEP 09, 014 (2020). https://doi.org/10.1007/JHEP09(2020)014. arXiv:2003.06400 [hep-ph]
H. Chen, I. Moult, H.X. Zhu, Quantum interference in jet substructure from spinning gluons. Phys. Rev. Lett. 126(11), 112003 (2021). https://doi.org/10.1103/PhysRevLett.126.112003. arXiv:2011.02492 [hep-ph]
M. Dasgupta, F. Dreyer, G.P. Salam, G. Soyez, Small-radius jets to all orders in QCD. JHEP 04, 039 (2015). https://doi.org/10.1007/JHEP04(2015)039. arXiv:1411.5182 [hep-ph]
M. Dasgupta, F.A. Dreyer, G.P. Salam, G. Soyez, Inclusive jet spectrum for small-radius jets. JHEP 06, 057 (2016). https://doi.org/10.1007/JHEP06(2016)057. arXiv:1602.01110 [hep-ph]
I. Knowles, Spin correlations in parton–parton scattering. Nucl. Phys. B 310, 571–588 (1988). https://doi.org/10.1016/0550-3213(88)90092-2
I.G. Knowles, A linear algorithm for calculating spin correlations in hadronic collisions. Comput. Phys. Commun. 58, 271–284 (1990). https://doi.org/10.1016/0010-4655(90)90063-7
P. Richardson, Spin correlations in Monte Carlo simulations. JHEP 11, 029 (2001). https://doi.org/10.1088/1126-6708/2001/11/029. arXiv:hep-ph/0110108
F.A. Dreyer, G.P. Salam, G. Soyez, The Lund jet plane. JHEP 12, 064 (2018). https://doi.org/10.1007/JHEP12(2018)064. arXiv:1807.04758 [hep-ph]
Y.L. Dokshitzer, G.D. Leder, S. Moretti, B.R. Webber, Better jet clustering algorithms. JHEP 08, 001 (1997). https://doi.org/10.1088/1126-6708/1997/08/001. arXiv:hep-ph/9707323
M. Wobisch, T. Wengler, Hadronization corrections to jet cross-sections in deep inelastic scattering, in Workshop on Monte Carlo Generators for HERA Physics (Plenary Starting Meeting) (1998), pp. 270–279. arXiv:hep-ph/9907280
M. Dasgupta, A. Fregoso, S. Marzani, G.P. Salam, Towards an understanding of jet substructure. JHEP 09, 029 (2013). https://doi.org/10.1007/JHEP09(2013)029. arXiv:1307.0007 [hep-ph]
A.J. Larkoski, S. Marzani, G. Soyez, J. Thaler, Soft drop. JHEP 05, 146 (2014). https://doi.org/10.1007/JHEP05(2014)146. arXiv:1402.2657 [hep-ph]
Y. Mehtar-Tani, A. Soto-Ontoso, K. Tywoniuk, Dynamical grooming of QCD jets. Phys. Rev. D 101(3), 034004 (2020). https://doi.org/10.1103/PhysRevD.101.034004. arXiv:1911.00375 [hep-ph]
P. Caucal, A. Soto-Ontoso, A. Takacs, Dynamical Grooming meets LHC data. J. High Energ. Phys. 2021, 20 (2021). https://doi.org/10.1007/JHEP07(2021)020
D.E. Kaplan, K. Rehermann, M.D. Schwartz, B. Tweedie, Top tagging: a method for identifying boosted hadronically decaying top quarks. Phys. Rev. Lett. 101, 142001 (2008). https://doi.org/10.1103/PhysRevLett.101.142001. arXiv:0806.0848 [hep-ph]
CMS Collaboration, A Cambridge–Aachen (C–A) based Jet Algorithm for boosted top-jet tagging Technical Report. CMS-PAS-JME-09-001 (2009)
CMS Collaboration, Boosted top jet tagging at CMS. Technical Report. CMS-PAS-JME-13-007 (2014)
T. Plehn, G.P. Salam, M. Spannowsky, Fat jets for a light Higgs. Phys. Rev. Lett. 104, 111801 (2010). https://doi.org/10.1103/PhysRevLett.104.111801. arXiv:0910.5472 [hep-ph]
T. Plehn, M. Spannowsky, M. Takeuchi, D. Zerwas, Stop reconstruction with tagged tops. JHEP 10, 078 (2010). https://doi.org/10.1007/JHEP10(2010)078. arXiv:1006.2833 [hep-ph]
M. Dasgupta, M. Guzzi, J. Rawling, G. Soyez, Top tagging: an analytical perspective. JHEP 09, 170 (2018). https://doi.org/10.1007/JHEP09(2018)170. arXiv:1807.04767 [hep-ph]
A. Banfi, G.P. Salam, G. Zanderighi, Infrared safe definition of jet flavor. Eur. Phys. J. C 47, 113–124 (2006). https://doi.org/10.1140/epjc/s2006-02552-4. arXiv:hep-ph/0601139
H. Chen, M.-X. Luo, I. Moult, T.-Z. Yang, X. Zhang, H.X. Zhu, Three point energy correlators in the collinear limit: symmetries, dualities and analytic results. JHEP 08(08), 028 (2020). https://doi.org/10.1007/JHEP08(2020)028. arXiv:1912.11050 [hep-ph]
M. Dasgupta, F. Dreyer, G.P. Salam, G. Soyez, https://microjets.hepforge.org/
S.D. Badger, E.W.N. Glover, V.V. Khoze, Recursion relations for gauge theory amplitudes with massive vector bosons and fermions. JHEP 01, 066 (2006). https://doi.org/10.1088/1126-6708/2006/01/066. arXiv:hep-th/0507161
J. Erdmann, O. Nackenhorst, S.V. Zeißner, Maximum performance of strange-jet tagging at hadron colliders. arXiv:2011.10736 [hep-ex]
R. Kleiss, W. Stirling, Spinor techniques for calculating p anti-p \(\rightarrow \) W+\(-\) / Z0 + jets. Nucl. Phys. B 262, 235–262 (1985). https://doi.org/10.1016/0550-3213(85)90285-8
H. Murayama, I. Watanabe, K. Hagiwara, HELAS: HELicity amplitude subroutines for Feynman diagram evaluations. https://cp3.irmp.ucl.ac.be/projects/madgraph/attachment/wiki/ManualAndHelp/HELAS_reference.pdf
S. Hoeche, S. Prestel, The midpoint between dipole and parton showers. Eur. Phys. J. C 75(9), 461 (2015). https://doi.org/10.1140/epjc/s10052-015-3684-2. arXiv:1506.05057 [hep-ph]
D. Bertolini, T. Chan, J. Thaler, Jet observables without jet algorithms. JHEP 04, 013 (2014). https://doi.org/10.1007/JHEP04(2014)013. arXiv:1310.7584 [hep-ph]
A.J. Larkoski, D. Neill, J. Thaler, Jet shapes with the broadening axis. JHEP 04, 017 (2014). https://doi.org/10.1007/JHEP04(2014)017. arXiv:1401.2158 [hep-ph]
G.P. Salam, Unpublished
M. Cacciari, G.P. Salam, G. Soyez, FastJet user manual. Eur. Phys. J. C72, 1896 (2012). https://doi.org/10.1140/epjc/s10052-012-1896-2. arXiv:1111.6097 [hep-ph]
Acknowledgements
We thank Fabrizio Caola and Frederic Dreyer for access to the matrix-element code used in the tests in Sect. 4.1, Keith Hamilton for discussions on spinor-product conventions and Gregory Soyez for work on the use of direction differences within observables. Additionally we thank Hao Chen for communications regarding the numerical details of the analytical resummation in Ref. [38]. We are grateful to our PanScales collaborators (Melissa van Beekveld, Mrinal Dasgupta, Frederic Dreyer, Basem El-Menoufi, Silvia Ferrario Ravasio, Keith Hamilton, Rok Medves, Pier Monni, Gregory Soyez and Alba Soto Ontoso), for their work on the code, the underlying philosophy of the approach and comments on this manuscript. This work was supported by a Royal Society Research Professorship (RP\(\backslash \)R1\(\backslash \)180112) (GPS, LS), by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (Grant agreement no. 788223, PanScales) (AK, GPS, RV), by the Science and Technology Facilities Council (STFC) under Grants ST/P000274/1 (RV) and ST/T000864/1 (GPS), by Linacre College (AK) and by Somerville College (LS).
Author information
Authors and Affiliations
Corresponding author
Appendices
Deriving the branching amplitudes
In this appendix we collect some details regarding the computation of branching amplitudes in terms of spinor products and their numerical evaluation. The calculations here are done following the conventions of Ref. [62]. For two light-like momenta p and q, we define the spinor product
where \(\lambda = \pm 1\) is the Dirac spinor helicity. Spinor products have the properties
Following the HELAS conventions [63], the polarisation vector of a gluon with momentum p is defined as
where r is a light-like vector specifying the gauge. For calculational purposes, the Chisholm identity [62]
is often useful. We define the momenta of a collinear splitting as \(p_a \rightarrow p_b + p_c\), such that \(p_b = z p_a\) and \(p_c = (1-z) p_a\). In this limit, the gauge vector r cancels from the collinear branching amplitudes, and they may be written in terms of a single spinor product \(S_{\lambda }(p_b, p_c)\) using the identities
Next, we compute the branching amplitudes for all colour-stripped collinear QCD branchings, dropping any overall phase factors for convenience.
\( q \rightarrow q g\)
The branching amplitude is
The non-zero helicity configurations are
\(g \rightarrow q \bar{q}\)
The branching amplitude is
The non-zero helicity configurations are
\(g \rightarrow gg\)
For this case, we first derive some general properties. If we consider the collinear limit and pick all gluons to have the same gauge vector r, we find
where \(p_i, p_j \in \{ p_a, p_b, p_c\}\). The branching amplitude is
The non-zero helicity configurations are
Numerical evaluation of spinor products
To find an expression for the spinor product that can be evaluated numerically, we may introduce arbitrary reference vectors \(k_0\) and \(k_1\) which obey \(k_0^2 = 0\), \(k_1^2 = -1\) and \(k_0{\cdot }k_1 = 0\). Then, without loss of generality, we may write
The spinor product may then be expressed as
While this expression remains independent of a choice of representation of the Dirac algebra, an explicit choice for the reference vectors \(k_0\) and \(k_1\) must be made for the purposes of numerical evaluation. For instance, if we choose \(k_0 = (1,0,0,-1)\) and \(k_1 = (0,1,0,0)\), we find
In the shower implementation, reference vectors are selected on an event-by-event basis, where care is taken not to select a direction that aligns with the initial momenta to avoid numerical instabilities.
An example of calculating the functions A(z), B(z)
We illustrate the computation of the spin-correlated matrix element squared, taking the example of the observable \(\Delta \psi _{12}\) at second order for a quark-initiated jet, \(q \rightarrow qg (g \rightarrow q'\bar{q}')\), of Fig. 1. We then cast the result into the form of Eq. (11). The matrix element squared, summing over all helicities, is given by
where the last line includes the flipping of all helicities, and we have already excluded forbidden helicities. Using Eq. (5) and inserting the functions \({\mathcal {F}}_{a\rightarrow bc}^{\lambda _a\lambda _b\lambda _c}(z)\) given in Table 1, the above reduces to
where each of the four terms in the parenthesis of Eq. (41a) comes from one of the four lines in Eq. (40). Finally, Eq. (41b) makes the form of \(A(z_1)\) and \(B(z_2)\) explicit.
Rotational invariance in the collinear limit
As part of the numerical evaluation of spinor products in Eq. (39), a set of reference vectors must be selected. Any dependence on these reference vectors vanishes in the calculation of a full squared matrix element, but the Collins–Knowles algorithm only accounts for the contributions that dominate the matrix element in the collinear limit. Consequently, any dependence on the reference vectors should also vanish from the Collins–Knowles result as long as the shower emissions are strongly ordered and sufficiently collinear.
In this appendix, we validate this property in the PanScales implementation of the Collins–Knowles algorithm. To that end, like in Sect. 4.1.1, the Collins–Knowles weight as a function of an angular resolution is considered. Rather than comparing to a matrix element directly, the weight is computed for an event, and for the same event that is rotated randomly. As the reference vectors stay fixed, rotating the event is equivalent to rotating the reference vectors in the original event. Figure 19 shows the relative difference of these weights for two shower emissions off \(\gamma ^* \rightarrow q \bar{q}\) and \(H \rightarrow gg\) hard scatterings. The relative difference in weights decreases as a power of the angular resolution, and is thus a power correction that vanishes in the collinear limit. Numerically, these effects are also small compared to the size of the spin correlations themselves.
Technical details of the all-order comparisons
To facilitate the isolation of the NLL structure of the parton shower, the all-order comparisons of Sect. 4.2 are performed at extremely small values of \(\alpha _s\) and extremely large values of the logarithm. Several techniques need to be employed to maintain numerically feasible analyses in these extreme regimes. In this appendix we detail these techniques.
1.1 Removal of soft radiation
The particle multiplicity generated by the parton shower scales like \(\sqrt{\alpha _s L^2}\). This means that, because the product \(\alpha _s L\) is kept constant as \(\alpha _s\) decreases and L increases, the multiplicity also increases. At the logarithmic values used in Sect. 4.2, the multiplicity has increased to levels that cause the event generation to become numerically unfeasible. However, the all-order observables considered here are insensitive to soft gluon radiation, and the spin correlations incorporated by the Collins–Knowles algorithm are also unaffected. As a result, as long as any radiation that is removed is sufficiently soft that its recoil has no noticeable impact on the momenta of the partons that dominate the Lund declustering and energy-correlator observables, the all-order tests should remain unaffected by the removal of soft gluon radiation. Such a cut is implemented in the PanScales shower by limiting the sampling range of the auxiliary parton shower variable that controls the collinear momentum fraction. This strategy is more efficient than the alternative of vetoing soft branchings, as the shower would spend much of its time generating and vetoing soft emissions at low scales. An illustration of this procedure is shown in Fig. 20.
To validate the legitimacy of the application of this cut on soft radiation, we compare the predictions of the PanScales showers and our implementation of Dire v1 for \(\Delta \psi _{12}\) with \(z_{\text {cut}} = 0.1\) at \(\alpha _s = 0.01\) and \(L = -27.5\). Figure 21 shows the difference between the distributions with and without the application of the collinear cut \(\ln z > \ln z_{\mathrm{{cut}}}^{\text {PS}} = -10\). This value of \(z_{\mathrm{{cut}}}^\text {PS}\) is significantly below the z values that dominate in our observables. For the PanScales showers, we see that the cut has no statistically significant effect on the azimuthal distribution and thus we conclude that we can safely use a \(z_{\mathrm{{cut}}}^\text {PS}\) in our logarithmic accuracy tests. For other showers, the cut can have an impact on the results, as illustrated with the Dire v1 dipole shower, where the cut induces a change in \(a_2\) that is a significant fraction of the actual \(a_2\). We attribute this to transverse recoil effects between gluons of commensurate \(k_t\) values, of the kind discussed in Refs. [23, 24]. For such showers, a test of the logarithmic structure of the spin correlations would need to be carried out without a \(z_{\mathrm{{cut}}}^\text {PS}\). We suspect that there are observables for which such tests would reveal problems in the \(\alpha _s^n L^n\) logarithmic structure, associated with the following type of configuration: consider a hard-collinear \(g \rightarrow q {\bar{q}}\) splitting with a transverse momentum \(k_{t,1}\), followed by a soft-collinear emission with transverse momentum \(k_{t,2}\lesssim k_{t,1}\) from the dipole that contains the q. Within standard dipole-shower recoil schemes, the soft-collinear emission can take its recoil from the quark, altering its 2-dimensional vector transverse momentum, effectively smearing out the azimuthal angle of the \(q{\bar{q}}\) pair.Footnote 20 In certain circumstances (for example if one considers events where the \(g\rightarrow q{\bar{q}}\) splitting is the highest-\(k_t\) splitting in the event), the product of squared-matrix element and phase space where the recoil can occur will lead to a factor \(\alpha _sL\) for this smearing to occur, thus spoiling single-logarithmic accuracy. Note, however, that in the observables that we actually consider, we do not require either of the collinear splittings to be the hardest in the event, and we expect that feature to bring further complications, of the kind discussed in section 3 of the supplemental material of Ref. [24], whereby additional double-logarithmic effects would be expected to (at least) partially mask these issues in the all-order tests, potentially associated with super-leading logarithms, \(\alpha _s^n L^m\) with \(m>n\), for observables that should only have \(m\le n\). Based on these arguments, we consider the presence of any effect from emissions below \(z_{\text {cut}}\), as seen in Fig. 21, to be a sign of potential danger.
1.2 Stand-in observables
While performing tests at small \(\alpha _s\) and large logarithms, it quickly becomes challenging to accurately evaluate the tiny angles between collinear momenta. To avoid large numerical cancellations in the evaluation of inner products, the PanScales showers have the option to explicitly track the difference in direction between dipole components. This technique, as well as the use of a new floating-point type (double_exp) that increases the maximum size of the exponent of a regular double-precision type, was already used in [25], and was equally crucial for the all-order tests performed here. While it allows the shower to be run at asymptotically small values of the coupling, the evaluation of the observables is not as straightforward.
In the case of Lund-declustering observables, a regular analysis is technically limited by the absence of directional difference information for parton pairs that are not in the same dipoles. In events with at most a Born \(q{\bar{q}}\) pair, we have implemented functionality whereby we use the full dipole chain and in-dipole direction differences to construct a look-up table for the direction differences between any pair of partons. For N particles this has an \({\mathcal {O}}\left( N^2\right) \) time and memory cost, while normal \(e^+e^-\) clustering in FastJet also carries an \({\mathcal {O}}\left( N^2\right) \) time cost, but an \({\mathcal {O}}\left( N\right) \) memory cost. Used together with a winner-takes-all recombination scheme [65,66,67] in a version of the FastJet [68] code adapted to work with the double_exp type, we can carry out the Lund declustering analysis at asymptotic values of the logarithm. However the current technical limitation of having at most the Born \(q\bar{q}\) pair in the event means that we need an alternative strategy for complete events.
Accordingly, we have developed a stand-in analysis that uses the binary tree generated by the Collins–Knowles algorithm, even though it is normally unobservable. During the showering, the Lund structure is determined using explicit shower information, where at every collinear branching that appears in the binary tree, the appropriate azimuthal information is stored if the collinear momentum fraction cuts are passed. This procedure is equivalent to the evaluation of the exact observable if the jet clustering produces the same binary tree (for the hard emissions that we ultimately consider in the observable) as in our implementation of the Collins–Knowles algorithm and if recoil effects that can affect the momentum fraction cuts are absent. At asymptotically small \(\alpha _s\), for the subset of PanScales showers that passed the NLL tests in Ref. [24], and with the condition that one works with a hardness cut \(z > z_{\mathrm{{cut}}}\) such that \(\alpha _s\ln z_{\mathrm{{cut}}} \ll 1\), these are both valid assumptions. We have verified this by considering events without \(g \rightarrow q{\bar{q}}\) splittings and establishing that the full Lund declustering and the stand-in analysis produced event-by-event identical results. Note that the stand-in analysis also allows easy access to the flavour separation of the spin-correlation effects, without the need to consider flavoured jet clustering.
In the case of the EEEC, a major issue it its \({\mathcal {O}}(N^3)\) time complexity, which quickly becomes prohibitive at the multiplicities under consideration. The following procedure, which again makes direct use of the binary tree, is again equivalent to the full observable in the asymptotic limit. For all nodes \(a_n\) that are not terminal, and where n is the depth of that node, do as follows:
-
1.
Retrieve the opening angle \(\theta _S\) and the normal vector \({\vec {n}}_S\) of the branching of node \(a_n\).
-
2.
Retrieve the global momentum fractions \(z_1 = 2E_1/Q\), \(z_2 = 2E_2/Q\) of the outgoing momenta 1 and 2 of node \(a_n\).
-
3.
Iteratively for \(i \in \{1,\ldots ,n-1\}\):
-
Retrieve the opening angle \(\theta _L\) and the normal vector \({\vec {n}}_L\) of the branching of node \(a_i\).
-
Retrieve the global momentum fraction \(z_3 = E_3/2E_{\mathrm {CM}}\), where 3 is the outgoing momentum of \(a_{i}\) that is not \(a_{i+1}\).
-
Compute the signed angle \(\Delta \psi \) between \({\vec {n}}_S\) and \({\vec {n}}_L\).
-
Add to the \(\Delta \psi \)-\(\theta _S\)-\(\theta _L\)-bin with weight \(2z_1 z_2 z_3\).
-
This procedure has time-complexity \({\mathcal {O}} (N \log N)\) and is again equivalent to the exact observable if \(\theta _S \ll \theta _L\) and in the absence of recoil effects, which are both the case for asymptotically small \(\alpha _s\) for the showers we study. The above algorithm was validated by verifying that it yields identical results to the exact observable evaluation for a representative number of events.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3
About this article
Cite this article
Karlberg, A., Salam, G.P., Scyboz, L. et al. Spin correlations in final-state parton showers and jet observables. Eur. Phys. J. C 81, 681 (2021). https://doi.org/10.1140/epjc/s10052-021-09378-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-021-09378-0