Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
\AddToShipoutPictureBG

*\AtPageUpperLeft
Report No.: FERMILAB-PUB-25-0025-ETD First version submitted to arXiv on February 11, 2025
This version submitted to arXiv on February 11, 2025

A Demonstration of ARCANE Reweighting: Reducing the Sign Problem in the MC@NLO Generation of 𝚎+𝚎𝚚𝚚¯+𝟷𝚓𝚎𝚝superscript𝚎superscript𝚎𝚚¯𝚚1𝚓𝚎𝚝\mathtt{e^{+}e^{-}\rightarrow q\bar{q}+1\,jet}typewriter_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT typewriter_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT → typewriter_q over¯ start_ARG typewriter_q end_ARG + typewriter_1 typewriter_jet Events

Prasanth Shyamsundar1\star

1 Fermi National Accelerator Laboratory, Batavia, Illinois 60510, USA

\star prasanth@fnal.gov

Abstract

Negatively weighted events, which appear in the simulation of particle collisions, significantly increase the computational requirements of collider experiments. A new technique called ARCANE reweighting has been introduced in a companion paper to tackle this problem. This paper demonstrates the technique for the next-to-leading-order generation of 𝚎+𝚎𝚚𝚚¯+𝟷𝚓𝚎𝚝bold-→superscript𝚎superscript𝚎𝚚bold-¯𝚚1𝚓𝚎𝚝\mathtt{e^{+}e^{-}\rightarrow q\bar{q}+1\,jet}bold_typewriter_e start_POSTSUPERSCRIPT bold_+ end_POSTSUPERSCRIPT bold_typewriter_e start_POSTSUPERSCRIPT bold_- end_POSTSUPERSCRIPT bold_→ bold_typewriter_q overbold_¯ start_ARG bold_typewriter_q end_ARG bold_+ bold_typewriter_1 bold_typewriter_jet events. By redistributing the contributions of “standard” and “hard remainder” pathways in the generator that lead to the same final event, ARCANE reweighting almost completely eliminates the negative weights problem for this process. Some thoughts on implementing the technique in other scenarios are provided.

Copyright attribution to authors.
This work is a submission to SciPost Physics.
License information to appear upon publication.
Publication information to appear upon publication.
Received Date
Accepted Date
Published Date

 

 

1 Introduction

Negatively weighted events, which appear in the generation of collider events at next-to-leading-order (NLO) accuracy, e.g. using the MC@NLO formalism, significantly reduce the efficiency of collider simulations [1, 2]. The presence of negatively weighted events increases the total number of simulated events needed to attain specific target precisions in the Monte Carlo predictions made using the simulated data [1, 2]. Since negative event weights cannot be eliminated using the standard rejection reweighting and unweighting techniques, the inefficiency is reflected not just in the event generation stage but also in the subsequent stages of the simulation pipeline, including detector simulation, electronics simulation, etc. This problem has received some attention in the last few years, leading to the invention of several new theoretical and statistical/Monte Carlo solutions to ameliorate the problem [3, 4, 5, 6, 7, 8, 9, 10, 11]. However, the negative weights problem continues to be a major challenge for the collider physics community [1, 2].

In Ref. [12], a new technique dubbed ARCANE reweighting has been introduced in order to reduce the negative weights problem in collider event generation. The present paper serves as a companion to Ref. [12] and provides a demonstration of the technique for the NLO generation of 𝚎+𝚎𝚚𝚚¯+𝟷𝚓𝚎𝚝superscript𝚎superscript𝚎𝚚¯𝚚1𝚓𝚎𝚝\mathtt{e^{+}e^{-}\longrightarrow q\bar{q}+1\,jet}typewriter_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT typewriter_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT ⟶ typewriter_q over¯ start_ARG typewriter_q end_ARG + typewriter_1 typewriter_jet events using the MC@NLO formalism [13, 14, 15]. Admittedly, the negative weights problem in the generation of this process using existing techniques is not particularly severe, when compared to processes like 𝚙𝚙𝚉+𝚗𝚓𝚎𝚝𝚜𝚙𝚙𝚉𝚗𝚓𝚎𝚝𝚜\mathtt{pp\longrightarrow Z+n\,jets}typewriter_pp ⟶ typewriter_Z + typewriter_n typewriter_jets and 𝚙𝚙𝚝𝚝¯+𝚗𝚓𝚎𝚝𝚜𝚙𝚙𝚝¯𝚝𝚗𝚓𝚎𝚝𝚜\mathtt{pp\longrightarrow t\bar{t}+n\,jets}typewriter_pp ⟶ typewriter_t over¯ start_ARG typewriter_t end_ARG + typewriter_n typewriter_jets. However, the chosen example captures the essence of the negative weights problem in the more important cases while being simpler to implement, because it avoids a few complications associated with hadron collisions (like parton distribution functions and initial state radiation).

The ARCANE reweighting technique can be briefly summarized as follows.111The presentation here has some minor changes in notation compared to Ref. [12]. For example, L𝐿Litalic_L is used here for hidden information instead of H𝐻Hitalic_H to avoid confusion with the notation \mathbb{H}blackboard_H for hard remainder events in the MC@NLO formalism. Consider a generation pipeline that produces events parameterized as (V,L,W(orig))𝑉𝐿superscript𝑊(orig)(V,L,W^{\text{\sc(orig)}})( italic_V , italic_L , italic_W start_POSTSUPERSCRIPT (orig) end_POSTSUPERSCRIPT ), where

  • V𝑉Vitalic_V represents all the attributes of an event that are “visible” to (i.e., will be used by) the subsequent stages of the simulation and analysis pipeline,

  • L𝐿Litalic_L represents all the latent attributes of an event that are “hidden” from the subsequent stages of the simulation pipeline, and

  • W(orig)superscript𝑊(orig)W^{\text{\sc(orig)}}italic_W start_POSTSUPERSCRIPT (orig) end_POSTSUPERSCRIPT is a special weight attribute used to modify the distribution represented by the simulated data.

Here, V𝑉Vitalic_V and L𝐿Litalic_L are assumed to capture all sources of randomness in the generation of the event. So, W(orig)superscript𝑊(orig)W^{\text{\sc(orig)}}italic_W start_POSTSUPERSCRIPT (orig) end_POSTSUPERSCRIPT is fully determined by V𝑉Vitalic_V and L𝐿Litalic_L, and will be interchangeably written as W(orig)(V,L)superscript𝑊(orig)𝑉𝐿W^{\text{\sc(orig)}}(V,L)italic_W start_POSTSUPERSCRIPT (orig) end_POSTSUPERSCRIPT ( italic_V , italic_L ). ARCANE reweighting involves additively modifying the event weights as

W(arcane)(V,L)superscript𝑊(arcane)𝑉𝐿\displaystyle W^{\text{\sc(arcane)}}(V,L)italic_W start_POSTSUPERSCRIPT (arcane) end_POSTSUPERSCRIPT ( italic_V , italic_L ) W(orig)(V,L)+G(V,L)P(V,L),absentsuperscript𝑊(orig)𝑉𝐿𝐺𝑉𝐿𝑃𝑉𝐿\displaystyle\equiv W^{\text{\sc(orig)}}(V,L)+\frac{\displaystyle G(V,L)}{% \displaystyle P(V,L)}\,,≡ italic_W start_POSTSUPERSCRIPT (orig) end_POSTSUPERSCRIPT ( italic_V , italic_L ) + divide start_ARG italic_G ( italic_V , italic_L ) end_ARG start_ARG italic_P ( italic_V , italic_L ) end_ARG , (1)

where P(V,L)𝑃𝑉𝐿P(V,L)italic_P ( italic_V , italic_L ) is the sampling probability density of (V,L)𝑉𝐿(V,L)( italic_V , italic_L ) under the give simulation pipeline and G(V,L)𝐺𝑉𝐿G(V,L)italic_G ( italic_V , italic_L ) is a special function called the ARCANE redistribution function that satisfies the following condition:

ΩLdG(v,)subscriptsubscriptΩ𝐿differential-d𝐺𝑣\displaystyle\int_{\Omega_{L}}\mathrm{d}\ell~{}G(v,\ell)∫ start_POSTSUBSCRIPT roman_Ω start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT end_POSTSUBSCRIPT roman_d roman_ℓ italic_G ( italic_v , roman_ℓ ) 0,vΩV,formulae-sequenceabsent0for-all𝑣subscriptΩ𝑉\displaystyle\equiv 0\,,\qquad\qquad\forall v\in\Omega_{V}\,,≡ 0 , ∀ italic_v ∈ roman_Ω start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT , (2)

where ΩLsubscriptΩ𝐿\Omega_{L}roman_Ω start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT and ΩVsubscriptΩ𝑉\Omega_{V}roman_Ω start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT are the domains of L𝐿Litalic_L and V𝑉Vitalic_V, respectively, and the integration with respect to \ellroman_ℓ is performed using an appropriate reference measure. The reweighting in (1) can be thought of as redistributing the contributions from different Monte Carlo “histories” or pathways, denoted by (V,L)𝑉𝐿(V,L)( italic_V , italic_L ), in the event generator that lead to the exact same value of V𝑉Vitalic_V. The weighted densities of (V,L)𝑉𝐿(V,L)( italic_V , italic_L ), also referred to as the quasi densities here and in Ref. [12], under the “ORIG” and “ARCANE” weighting schemes are given by

F(superscript)(V,L)superscript𝐹(superscript)𝑉𝐿\displaystyle F^{\text{(superscript)}}(V,L)italic_F start_POSTSUPERSCRIPT (superscript) end_POSTSUPERSCRIPT ( italic_V , italic_L ) P(V,L)𝔼[W(superscript)(V,L)|V,L]P(V,L)W(superscript)(V,L).absent𝑃𝑉𝐿𝔼delimited-[]conditionalsuperscript𝑊(superscript)𝑉𝐿𝑉𝐿𝑃𝑉𝐿superscript𝑊(superscript)𝑉𝐿\displaystyle\equiv P(V,L)~{}\mathbb{E}\mathopen{}\mathclose{{}\left[W^{\text{% (superscript)}}(V,L)~{}\Big{|}~{}V,L}\right]\equiv P(V,L)~{}W^{\text{(% superscript)}}(V,L)\,.≡ italic_P ( italic_V , italic_L ) blackboard_E [ italic_W start_POSTSUPERSCRIPT (superscript) end_POSTSUPERSCRIPT ( italic_V , italic_L ) | italic_V , italic_L ] ≡ italic_P ( italic_V , italic_L ) italic_W start_POSTSUPERSCRIPT (superscript) end_POSTSUPERSCRIPT ( italic_V , italic_L ) . (3)

Likewise the quasi densities of V𝑉Vitalic_V, under the different weighting schemes, are given by

F(superscript)(V)superscript𝐹(superscript)𝑉\displaystyle F^{\text{(superscript)}}(V)italic_F start_POSTSUPERSCRIPT (superscript) end_POSTSUPERSCRIPT ( italic_V ) P(V)𝔼[W(superscript)(V,L)|V].absent𝑃𝑉𝔼delimited-[]conditionalsuperscript𝑊(superscript)𝑉𝐿𝑉\displaystyle\equiv P(V)~{}\mathbb{E}\mathopen{}\mathclose{{}\left[W^{\text{(% superscript)}}(V,L)~{}\Big{|}~{}V}\right]\,.≡ italic_P ( italic_V ) blackboard_E [ italic_W start_POSTSUPERSCRIPT (superscript) end_POSTSUPERSCRIPT ( italic_V , italic_L ) | italic_V ] . (4)

It can be seen that the quasi densities are related as

F(arcane)(V,L)superscript𝐹(arcane)𝑉𝐿\displaystyle F^{\text{\sc(arcane)}}(V,L)italic_F start_POSTSUPERSCRIPT (arcane) end_POSTSUPERSCRIPT ( italic_V , italic_L ) F(orig)(V,L)+G(V,L),absentsuperscript𝐹(orig)𝑉𝐿𝐺𝑉𝐿\displaystyle\equiv F^{\text{\sc(orig)}}(V,L)+G(V,L)\,,≡ italic_F start_POSTSUPERSCRIPT (orig) end_POSTSUPERSCRIPT ( italic_V , italic_L ) + italic_G ( italic_V , italic_L ) , (5)
F(arcane)(V)superscript𝐹(arcane)𝑉\displaystyle F^{\text{\sc(arcane)}}(V)italic_F start_POSTSUPERSCRIPT (arcane) end_POSTSUPERSCRIPT ( italic_V ) F(orig)(V).absentsuperscript𝐹(orig)𝑉\displaystyle\equiv F^{\text{\sc(orig)}}(V)\,.≡ italic_F start_POSTSUPERSCRIPT (orig) end_POSTSUPERSCRIPT ( italic_V ) . (6)

In this way, ARCANE reweighting modifies the joint quasi density of (V,L)𝑉𝐿(V,L)( italic_V , italic_L ) without affecting the quasi density of V𝑉Vitalic_V. The original event-weights could be negative if F(orig)superscript𝐹(orig)F^{\text{\sc(orig)}}italic_F start_POSTSUPERSCRIPT (orig) end_POSTSUPERSCRIPT is negative for certain values of (V,L)𝑉𝐿(V,L)( italic_V , italic_L ). In such situations, redistributing the contributions of the different pathways, as in (5), can reduce the negative weights problem. In addition to (2), the ARCANE redistribution function G𝐺Gitalic_G needs to satisfy certain conditions to ensure proper coverage and finiteness of weights; this will be reviewed later, as needed, in this paper.

From the simple description above of ARCANE reweighting, it may not be clear how or if the technique can be used to tackle the negative weights problem in realistic event generation scenarios; this paper is intended to bridge this gap. The rest of the paper is organized as follows. Section 2 provides a detailed overview of the event generator pipeline, constructed using previously existing techniques, for generating 𝚎+𝚎𝚚𝚚¯+𝟷𝚓𝚎𝚝superscript𝚎superscript𝚎𝚚¯𝚚1𝚓𝚎𝚝\mathtt{e^{+}e^{-}\longrightarrow q\bar{q}+1\,jet}typewriter_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT typewriter_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT ⟶ typewriter_q over¯ start_ARG typewriter_q end_ARG + typewriter_1 typewriter_jet events under the MC@NLO formalism. Some groundwork for the subsequent implementation of ARCANE reweighting is also described in this section. Section 3 describes the implementation of ARCANE reweighting in detail, for the example at hand. Some results are described and discussed in Section 4. Some concluding remarks, including thoughts on implementing the technique for other processes of interest, are provided in Section 6.

All functions used in this paper are assumed to (or will be ensured to) have finite values in the relevant domains—the physics formalisms used to tackle divergences, like subtraction schemes, are assumed to already be incorporated into the event generation pipeline prior to modifying the pipeline with ARCANE reweighting. All functions that are used as integrands in this paper are assumed to satisfy appropriate notions of integrability. All integrals in this paper are assumed to be performed with respect to appropriate reference measures. For simplicity, throughout this paper, the phrase “f(x)𝑓𝑥f(x)italic_f ( italic_x ) is a function” will mean “f𝑓fitalic_f is a function of the variable x𝑥xitalic_x,” unless explicitly stated otherwise.

2 Base Event Generator, Groundwork for ARCANE Reweighting

The base (i.e., prior to applying ARCANE reweighting) event-generation pipeline used is this paper is taken directly from Ref. [16], which is a tutorial (with an accompanying codebase) on matching NLO calculations with parton showers and a few other related topics. In this section, the mechanics of the event generation pipeline will be described in sufficient detail so as to understand the subsequent implementation of ARCANE reweighting. Monte Carlo collider-event-generation experts may be able to skip Section 2.1 and Sections 2.3-2.6 and still follow the rest of the paper. Additional details needed to reproduce the present work can be found in Ref. [16] and/or the codebase associated with the present work. The physics motivations and formalisms behind the generation pipeline can be found in Refs. [17, 16].

2.1 General Overview of the Generation Pipeline

The events of interest in this paper contain 𝚎+𝚎superscript𝚎superscript𝚎\mathtt{e^{+}e^{-}}typewriter_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT typewriter_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT in the initial state and contain either 𝚚𝚚¯𝚐𝚚¯𝚚𝚐\mathtt{q\bar{q}g}typewriter_q over¯ start_ARG typewriter_q end_ARG typewriter_g or 𝚚𝚚¯𝚚¯𝚚\mathtt{q\bar{q}}typewriter_q over¯ start_ARG typewriter_q end_ARG in the final state. The event-attributes of interest, ultimately, are the momenta, flavors, and colors of the final state particles, as well as the starting scale for the subsequent parton showering, which will be discussed later. For each event, the flavor of the quark 𝚚𝚚\mathtt{q}typewriter_q will be one of 𝚍𝚍\mathtt{d}typewriter_d, 𝚞𝚞\mathtt{u}typewriter_u, 𝚜𝚜\mathtt{s}typewriter_s, 𝚌𝚌\mathtt{c}typewriter_c, and 𝚋𝚋\mathtt{b}typewriter_b. The generator uses the large-number-of-colors approximation. Under this, without loss of generality, the colors of 𝚚𝚚\mathtt{q}typewriter_q, 𝚚¯¯𝚚\mathtt{\bar{q}}over¯ start_ARG typewriter_q end_ARG, and 𝚐𝚐\mathtt{g}typewriter_g can be set to (1,0)10(1,0)( 1 , 0 ) and (0,2)02(0,2)( 0 , 2 ), and (2,1)21(2,1)( 2 , 1 ), respectively, in all events with the 𝚚𝚚¯𝚐𝚚¯𝚚𝚐\mathtt{q\bar{q}g}typewriter_q over¯ start_ARG typewriter_q end_ARG typewriter_g final state.222In a color tuple (x,y)𝑥𝑦(x,y)( italic_x , italic_y ), x𝑥xitalic_x is the color charge and y𝑦yitalic_y is the anticolor charge. The different colors are indexed as 1,2,121,2,\dots1 , 2 , …, and a value of 00 indicates no color charge. Likewise, the colors of 𝚚𝚚\mathtt{q}typewriter_q and 𝚚¯¯𝚚\mathtt{\bar{q}}over¯ start_ARG typewriter_q end_ARG can be set to (1,0)10(1,0)( 1 , 0 ) and (0,1)01(0,1)( 0 , 1 ), respectively, in all events with the 𝚚𝚚¯𝚚¯𝚚\mathtt{q\bar{q}}typewriter_q over¯ start_ARG typewriter_q end_ARG final state. All initial and final state particles are taken to be massless in the event kinematics. The flowchart in Figure 1 provides a general overview of the pipeline for generating a single event, which roughly proceeds as follows:

  • First the “event-type” attribute is chosen randomly from the set {,𝕊}𝕊\{\mathbb{H},\mathbb{S}\}{ blackboard_H , blackboard_S }. Here, \mathbb{H}blackboard_H-events and 𝕊𝕊\mathbb{S}blackboard_S-events stand for “hard remainder” and “standard” events, respectively.

  • If the event is chosen to be of the \mathbb{H}blackboard_H-type, a “resolved event” 𝚎+𝚎𝚚𝚚¯𝚐superscript𝚎superscript𝚎𝚚¯𝚚𝚐\mathtt{e^{+}e^{-}\longrightarrow q\bar{q}g}typewriter_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT typewriter_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT ⟶ typewriter_q over¯ start_ARG typewriter_q end_ARG typewriter_g is sampled. On the other hand, if the event is chosen to be of the 𝕊𝕊\mathbb{S}blackboard_S-type, an “unresolved event” 𝚎+𝚎𝚚𝚚¯superscript𝚎superscript𝚎𝚚¯𝚚\mathtt{e^{+}e^{-}\longrightarrow q\bar{q}}typewriter_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT typewriter_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT ⟶ typewriter_q over¯ start_ARG typewriter_q end_ARG is sampled. Here, sampling an event means to sample the particles’ momenta as well as the quark flavor.

  • Subsequently, the events undergo parton showers, which produce additional quarks and/or gluons, until a pre-chosen infra-red cutoff scale, specified by the parameter cutoffsubscriptcutoff\ell_{\mathrm{cutoff}}roman_ℓ start_POSTSUBSCRIPT roman_cutoff end_POSTSUBSCRIPT, is reached. The parton shower will begin from an event-specific starting scale startsubscriptstart\ell_{\mathrm{start}}roman_ℓ start_POSTSUBSCRIPT roman_start end_POSTSUBSCRIPT. The outcome of this sampling procedure is one parton-level event.

Refer to caption
Figure 1: Flowchart depicting a general overview of the event-generation pipeline for producing a parton-level event, for the process under consideration, using the MC@NLO formalism.

The events are sampled and weighted by the generator in such a way that they correspond to a specific theoretical/phenomenological/heuristic model (with specific values for the model parameters). The ingredients of this model include the Standard Model of particle physics and various aspects of perturbative Quantum Chromodynamics (QCD) [18], including the Catani–Seymour dipole factorization [19], the MC@NLO formalism for next-to-leading-order event generation, running of coupling constants, etc. The exact formulas (involving matrix elements, subtraction schemes, dipole splitting functions, etc.) used to compute the weight of an event (with a completely-specified MC-history) are mostly irrelevant to the present work, and will only be discussed as needed. Due to the nature of the NLO matching performed by MC@NLO, some \mathbb{H}blackboard_H-type events have negative weights for this collision process; this is the problem being tackled in this paper.

The event-type attribute is not relevant beyond the parton-level event-generator, i.e., will not be used in subsequent processing of the event, e.g., in fragmentation and hadronization, detector and electronics simulations, object reconstructions, and physics analyses. One can have two functionally identical parton-level events (ignoring differences in weights) be of different event-types. The idea in this paper is to redistribute the “contributions” of the \mathbb{H}blackboard_H- and 𝕊𝕊\mathbb{S}blackboard_S-pathways in the event generator to a given parton-level event, in order to reduce the negative weights problem.

2.2 Choosing a “Stopping Point” for Performing ARCANE Reweighting

In order to do the redistribution of contributions correctly, one needs to pick a stopping point (or criterion), for all possible pathways within the event generator and identify the visible and hidden event-attributes, denoted by V𝑉Vitalic_V and L𝐿Litalic_L respectively, at this point of the generator. While a convenient choice of stopping point for the example under consideration may be obvious to the reader, it could be instructive to discuss a few bad stopping points first. Consider the following stopping point: immediately after sampling a resolved event for the \mathbb{H}blackboard_H-pathway and immediately after sampling an unresolved event for 𝕊𝕊\mathbb{S}blackboard_S-pathway. The event-type can be treated as hidden at this point, so moving contributions from 𝕊𝕊\mathbb{S}blackboard_S- to \mathbb{H}blackboard_H-pathways is acceptable. However, there is no overlap in the distributions of \mathbb{H}blackboard_H- and 𝕊𝕊\mathbb{S}blackboard_S-type events at this point, since their final states are different. So it is not possible to perform the desired redistribution, making this an ineffective choice of stopping point.

Another possible stopping point is immediately after the complete parton showering process. Beyond this, the event-type can be treated as hidden. Furthermore, there is significant overlap between the distributions of \mathbb{H}blackboard_H- and 𝕊𝕊\mathbb{S}blackboard_S-type events at this point. So this is a viable point in the generator for performing ARCANE reweighting. However, there could be a lot of emissions in the parton showering stage. This increases the complexity of the Monte Carlo event-history to be tracked and handled; it is preferable to reduce this complexity if possible.

The stopping point used in this paper is the following: a) immediately after sampling a resolved event for the \mathbb{H}blackboard_H-pathway and b) immediately after a single parton-shower emission step, following the sampling of an unresolved event, for the 𝕊𝕊\mathbb{S}blackboard_S-pathway. The emission step may or may not result in a successful emission; this will be discussed later. A successful emission leads to a 𝚚𝚚¯𝚐𝚚¯𝚚𝚐\mathtt{q\bar{q}g}typewriter_q over¯ start_ARG typewriter_q end_ARG typewriter_g final state in the 𝕊𝕊\mathbb{S}blackboard_S-pathway (with equivalent color structure as in the resolved \mathbb{H}blackboard_H-type events). As before, the event-type can be treated as hidden and there is an overlap between the distributions of \mathbb{H}blackboard_H- and 𝕊𝕊\mathbb{S}blackboard_S-events. So this is a viable (and a relatively simple) point in the generation pipeline for redistributing the contributions of \mathbb{H}blackboard_H- and 𝕊𝕊\mathbb{S}blackboard_S-pathways. The different components of the generation pipeline, up to the chosen stopping point, will be discussed next.

2.3 Unresolved Event Kinematics

This subsection describes the kinematics of an unresolved (or leading-order) event 𝚎+𝚎𝚚𝚚¯superscript𝚎superscript𝚎𝚚¯𝚚\mathtt{e^{+}e^{-}\longrightarrow q\bar{q}}typewriter_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT typewriter_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT ⟶ typewriter_q over¯ start_ARG typewriter_q end_ARG. The four-momenta of the incident colliding particles 𝚎superscript𝚎\mathtt{e^{-}}typewriter_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT and 𝚎+superscript𝚎\mathtt{e^{+}}typewriter_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT are given by

p𝚎Ecms2c(.1,0,0,1)andp𝚎+Ecms2c(.1,0,0,1),formulae-sequencesubscript𝑝superscript𝚎subscript𝐸cms2𝑐.1001andsubscript𝑝superscript𝚎subscript𝐸cms2𝑐.1001\displaystyle p_{\mathtt{e^{-}}}\equiv\frac{\displaystyle E_{\mathrm{cms}}}{% \displaystyle 2\,c}\,\mathopen{}\mathclose{{}\left(\Big{.}1,0,0,1}\right)% \qquad\quad\text{and}\qquad\quad p_{\mathtt{e^{+}}}\equiv\frac{\displaystyle E% _{\mathrm{cms}}}{\displaystyle 2\,c}\,\mathopen{}\mathclose{{}\left(\Big{.}1,0% ,0,-1}\right)\,,italic_p start_POSTSUBSCRIPT typewriter_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ≡ divide start_ARG italic_E start_POSTSUBSCRIPT roman_cms end_POSTSUBSCRIPT end_ARG start_ARG 2 italic_c end_ARG ( .1 , 0 , 0 , 1 ) and italic_p start_POSTSUBSCRIPT typewriter_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ≡ divide start_ARG italic_E start_POSTSUBSCRIPT roman_cms end_POSTSUBSCRIPT end_ARG start_ARG 2 italic_c end_ARG ( .1 , 0 , 0 , - 1 ) , (7)

respectively, where c𝑐citalic_c is the speed of light and Ecmssubscript𝐸cmsE_{\mathrm{cms}}italic_E start_POSTSUBSCRIPT roman_cms end_POSTSUBSCRIPT is the total energy of colliding particles in their center-of-momentum frame, which is also the lab frame; Ecmssubscript𝐸cmsE_{\mathrm{cms}}italic_E start_POSTSUBSCRIPT roman_cms end_POSTSUBSCRIPT is a fixed parameter of the event generator. The four momenta of the daughter particles 𝚚𝚚\mathtt{q}typewriter_q and 𝚚¯¯𝚚\mathtt{\bar{q}}over¯ start_ARG typewriter_q end_ARG are given by

p𝚚subscript𝑝𝚚\displaystyle p_{\mathtt{q}}italic_p start_POSTSUBSCRIPT typewriter_q end_POSTSUBSCRIPT Ecms2c(.1,sin(θlo)cos(φlo),sin(θlo)sin(φlo),cosθlo)andabsentsubscript𝐸cms2𝑐.1subscript𝜃losubscript𝜑losubscript𝜃losubscript𝜑losubscript𝜃loand\displaystyle\equiv\frac{\displaystyle E_{\mathrm{cms}}}{\displaystyle 2\,c}\,% \mathopen{}\mathclose{{}\left(\Big{.}1~{},~{}\sin(\theta_{\mathrm{lo}})\,\cos(% \varphi_{\mathrm{lo}})~{},~{}\sin(\theta_{\mathrm{lo}})\,\sin(\varphi_{\mathrm% {lo}})~{},~{}\cos\theta_{\mathrm{lo}}}\right)\qquad\qquad\text{and}≡ divide start_ARG italic_E start_POSTSUBSCRIPT roman_cms end_POSTSUBSCRIPT end_ARG start_ARG 2 italic_c end_ARG ( .1 , roman_sin ( italic_θ start_POSTSUBSCRIPT roman_lo end_POSTSUBSCRIPT ) roman_cos ( italic_φ start_POSTSUBSCRIPT roman_lo end_POSTSUBSCRIPT ) , roman_sin ( italic_θ start_POSTSUBSCRIPT roman_lo end_POSTSUBSCRIPT ) roman_sin ( italic_φ start_POSTSUBSCRIPT roman_lo end_POSTSUBSCRIPT ) , roman_cos italic_θ start_POSTSUBSCRIPT roman_lo end_POSTSUBSCRIPT ) and (8)
p𝚚¯subscript𝑝¯𝚚\displaystyle p_{\mathtt{\bar{q}}}italic_p start_POSTSUBSCRIPT over¯ start_ARG typewriter_q end_ARG end_POSTSUBSCRIPT Ecms2c(.1,sin(θlo)cos(φlo),sin(θlo)sin(φlo),cosθlo),absentsubscript𝐸cms2𝑐.1subscript𝜃losubscript𝜑losubscript𝜃losubscript𝜑losubscript𝜃lo\displaystyle\equiv\frac{\displaystyle E_{\mathrm{cms}}}{\displaystyle 2\,c}\,% \mathopen{}\mathclose{{}\left(\Big{.}1~{},~{}-\sin(\theta_{\mathrm{lo}})\,\cos% (\varphi_{\mathrm{lo}})~{},~{}-\sin(\theta_{\mathrm{lo}})\,\sin(\varphi_{% \mathrm{lo}})~{},~{}-\cos\theta_{\mathrm{lo}}}\right)\,,≡ divide start_ARG italic_E start_POSTSUBSCRIPT roman_cms end_POSTSUBSCRIPT end_ARG start_ARG 2 italic_c end_ARG ( .1 , - roman_sin ( italic_θ start_POSTSUBSCRIPT roman_lo end_POSTSUBSCRIPT ) roman_cos ( italic_φ start_POSTSUBSCRIPT roman_lo end_POSTSUBSCRIPT ) , - roman_sin ( italic_θ start_POSTSUBSCRIPT roman_lo end_POSTSUBSCRIPT ) roman_sin ( italic_φ start_POSTSUBSCRIPT roman_lo end_POSTSUBSCRIPT ) , - roman_cos italic_θ start_POSTSUBSCRIPT roman_lo end_POSTSUBSCRIPT ) , (9)

respectively, where θlo[0,π]subscript𝜃lo0𝜋\theta_{\mathrm{lo}}\in[0,\pi]italic_θ start_POSTSUBSCRIPT roman_lo end_POSTSUBSCRIPT ∈ [ 0 , italic_π ] and φlo[0,π)subscript𝜑lo0𝜋\varphi_{\mathrm{lo}}\in[0,\pi)italic_φ start_POSTSUBSCRIPT roman_lo end_POSTSUBSCRIPT ∈ [ 0 , italic_π ) are angles parameterizing the collision kinematics. Note that given p𝚚subscript𝑝𝚚p_{\mathtt{q}}italic_p start_POSTSUBSCRIPT typewriter_q end_POSTSUBSCRIPT and p𝚚¯subscript𝑝¯𝚚p_{\mathtt{\bar{q}}}italic_p start_POSTSUBSCRIPT over¯ start_ARG typewriter_q end_ARG end_POSTSUBSCRIPT, the angles θlosubscript𝜃lo\theta_{\mathrm{lo}}italic_θ start_POSTSUBSCRIPT roman_lo end_POSTSUBSCRIPT and φlosubscript𝜑lo\varphi_{\mathrm{lo}}italic_φ start_POSTSUBSCRIPT roman_lo end_POSTSUBSCRIPT are uniquely determined.

Phase-space element.

The following fact is noted here for later use. For two massless particles 𝚒𝚒\mathtt{i}typewriter_i and 𝚓𝚓\mathtt{j}typewriter_j constrained to satisfy p𝚒+p𝚓=ptotsubscript𝑝𝚒subscript𝑝𝚓subscript𝑝totp_{\mathtt{i}}+p_{\mathtt{j}}=p_{\mathrm{tot}}italic_p start_POSTSUBSCRIPT typewriter_i end_POSTSUBSCRIPT + italic_p start_POSTSUBSCRIPT typewriter_j end_POSTSUBSCRIPT = italic_p start_POSTSUBSCRIPT roman_tot end_POSTSUBSCRIPT, where ptotsubscript𝑝totp_{\mathrm{tot}}italic_p start_POSTSUBSCRIPT roman_tot end_POSTSUBSCRIPT is a timelike four-momentum, the Lorentz-invariant phase space elements (for two different parametrizations) are related by333Using an equality sign in (10) is a convenient abuse of notation, albeit a benign one.

d3p𝚒(2π)3 2E𝚒d3p𝚓(2π)3 2E𝚓δ(4)(p𝚒+p𝚓ptot)=dcos(θcms)dφcms8(2π)6,superscriptd3subscript𝑝𝚒superscript2𝜋32subscript𝐸𝚒superscriptd3subscript𝑝𝚓superscript2𝜋32subscript𝐸𝚓superscript𝛿4subscript𝑝𝚒subscript𝑝𝚓subscript𝑝totdsubscript𝜃cmsdsubscript𝜑cms8superscript2𝜋6\displaystyle\frac{\displaystyle\mathrm{d}^{3}\vec{p}_{\mathtt{i}}}{% \displaystyle(2\,\pi)^{3}\,2\,E_{\mathtt{i}}}\,\frac{\displaystyle\mathrm{d}^{% 3}\vec{p}_{\mathtt{j}}}{\displaystyle(2\,\pi)^{3}\,2\,E_{\mathtt{j}}}\,\delta^% {(4)}\mathopen{}\mathclose{{}\left(p_{\mathtt{i}}+p_{\mathtt{j}}-p_{\mathrm{% tot}}}\right)=\frac{\displaystyle\mathrm{d}\cos(\theta_{\mathrm{cms}})~{}~{}% \mathrm{d}\varphi_{\mathrm{cms}}}{\displaystyle 8\,(2\,\pi)^{6}}\,,divide start_ARG roman_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT over→ start_ARG italic_p end_ARG start_POSTSUBSCRIPT typewriter_i end_POSTSUBSCRIPT end_ARG start_ARG ( 2 italic_π ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT 2 italic_E start_POSTSUBSCRIPT typewriter_i end_POSTSUBSCRIPT end_ARG divide start_ARG roman_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT over→ start_ARG italic_p end_ARG start_POSTSUBSCRIPT typewriter_j end_POSTSUBSCRIPT end_ARG start_ARG ( 2 italic_π ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT 2 italic_E start_POSTSUBSCRIPT typewriter_j end_POSTSUBSCRIPT end_ARG italic_δ start_POSTSUPERSCRIPT ( 4 ) end_POSTSUPERSCRIPT ( italic_p start_POSTSUBSCRIPT typewriter_i end_POSTSUBSCRIPT + italic_p start_POSTSUBSCRIPT typewriter_j end_POSTSUBSCRIPT - italic_p start_POSTSUBSCRIPT roman_tot end_POSTSUBSCRIPT ) = divide start_ARG roman_d roman_cos ( italic_θ start_POSTSUBSCRIPT roman_cms end_POSTSUBSCRIPT ) roman_d italic_φ start_POSTSUBSCRIPT roman_cms end_POSTSUBSCRIPT end_ARG start_ARG 8 ( 2 italic_π ) start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT end_ARG , (10)

where θcmssubscript𝜃cms\theta_{\mathrm{cms}}italic_θ start_POSTSUBSCRIPT roman_cms end_POSTSUBSCRIPT and φcmssubscript𝜑cms\varphi_{\mathrm{cms}}italic_φ start_POSTSUBSCRIPT roman_cms end_POSTSUBSCRIPT are the spherical angles (in some orientation of axes) of the three-momentum of, say, particle 𝚒𝚒\mathtt{i}typewriter_i in the center-of-momentum frame of ptotsubscript𝑝totp_{\mathrm{tot}}italic_p start_POSTSUBSCRIPT roman_tot end_POSTSUBSCRIPT. Here, (i) Esubscriptsubscript𝐸delimited-⟨⟩subscriptE_{\mathrm{\langle subscript\rangle}}italic_E start_POSTSUBSCRIPT ⟨ roman_subscript ⟩ end_POSTSUBSCRIPT and psubscriptsubscript𝑝delimited-⟨⟩subscript\vec{p}_{\mathrm{\langle subscript\rangle}}over→ start_ARG italic_p end_ARG start_POSTSUBSCRIPT ⟨ roman_subscript ⟩ end_POSTSUBSCRIPT are the energy and three-momentum components, respectively, of psubscriptsubscript𝑝delimited-⟨⟩subscriptp_{\mathrm{\langle subscript\rangle}}italic_p start_POSTSUBSCRIPT ⟨ roman_subscript ⟩ end_POSTSUBSCRIPT and (ii) δ(4)superscript𝛿4\delta^{(4)}italic_δ start_POSTSUPERSCRIPT ( 4 ) end_POSTSUPERSCRIPT is the four-dimensional Dirac delta function.

2.4 Emission Kinematics

Let us a consider a generic emission process  {𝚒𝚓}𝚔𝚒𝚓𝚔𝚒𝚓𝚔𝚒𝚓𝚔\mathtt{\{ij\}\,k\longrightarrow i\,j\,k}{ typewriter_ij } typewriter_k ⟶ typewriter_i typewriter_j typewriter_k. Here {𝚒𝚓}𝚒𝚓\mathtt{\{ij\}}{ typewriter_ij }, 𝚒𝚒\mathtt{i}typewriter_i, 𝚓𝚓\mathtt{j}typewriter_j, and 𝚔𝚔\mathtt{k}typewriter_k represent the emitter particle before the emission, the emitter particle after the emission, the emitted “daughter” particle, and the “spectator” particle, respectively; all these particles are taken to be massless. Let p~{𝚒𝚓}subscript~𝑝𝚒𝚓\tilde{p}_{\mathtt{\{ij\}}}over~ start_ARG italic_p end_ARG start_POSTSUBSCRIPT { typewriter_ij } end_POSTSUBSCRIPT and p~𝚔subscript~𝑝𝚔\tilde{p}_{\mathtt{k}}over~ start_ARG italic_p end_ARG start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT be the four-momenta of the particles {𝚒𝚓}𝚒𝚓\mathtt{\{ij\}}{ typewriter_ij } and 𝚔𝚔\mathtt{k}typewriter_k, respectively, before the emission. Let p𝚒subscript𝑝𝚒p_{\mathtt{i}}italic_p start_POSTSUBSCRIPT typewriter_i end_POSTSUBSCRIPT, p𝚓subscript𝑝𝚓p_{\mathtt{j}}italic_p start_POSTSUBSCRIPT typewriter_j end_POSTSUBSCRIPT, and p𝚔subscript𝑝𝚔p_{\mathtt{k}}italic_p start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT be the four-momenta of the particles 𝚒𝚒\mathtt{i}typewriter_i, 𝚓𝚓\mathtt{j}typewriter_j, and 𝚔𝚔\mathtt{k}typewriter_k, respectively, after the emission. Let M𝑀Mitalic_M be the total energy of the emission system in its center-of-momentum frame:

M2superscript𝑀2\displaystyle M^{2}italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT (p~{𝚒𝚓}+p~𝚔)2=(p𝚒+p𝚓+p𝚔)2=2p~{𝚒𝚓}p~𝚔=2(p𝚒p𝚓+p𝚓p𝚔+p𝚔p𝚒)absentsuperscriptsubscript~𝑝𝚒𝚓subscript~𝑝𝚔2superscriptsubscript𝑝𝚒subscript𝑝𝚓subscript𝑝𝚔22subscript~𝑝𝚒𝚓subscript~𝑝𝚔2subscript𝑝𝚒subscript𝑝𝚓subscript𝑝𝚓subscript𝑝𝚔subscript𝑝𝚔subscript𝑝𝚒\displaystyle\equiv\mathopen{}\mathclose{{}\left(\tilde{p}_{\mathtt{\{ij\}}}+% \tilde{p}_{\mathtt{k}}}\right)^{2}=\mathopen{}\mathclose{{}\left(p_{\mathtt{i}% }+p_{\mathtt{j}}+p_{\mathtt{k}}}\right)^{2}=2\,\tilde{p}_{\mathtt{\{ij\}}}\,% \tilde{p}_{\mathtt{k}}=2\,\mathopen{}\mathclose{{}\left(p_{\mathtt{i}}\,p_{% \mathtt{j}}+p_{\mathtt{j}}\,p_{\mathtt{k}}+p_{\mathtt{k}}\,p_{\mathtt{i}}}\right)≡ ( over~ start_ARG italic_p end_ARG start_POSTSUBSCRIPT { typewriter_ij } end_POSTSUBSCRIPT + over~ start_ARG italic_p end_ARG start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = ( italic_p start_POSTSUBSCRIPT typewriter_i end_POSTSUBSCRIPT + italic_p start_POSTSUBSCRIPT typewriter_j end_POSTSUBSCRIPT + italic_p start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 2 over~ start_ARG italic_p end_ARG start_POSTSUBSCRIPT { typewriter_ij } end_POSTSUBSCRIPT over~ start_ARG italic_p end_ARG start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT = 2 ( italic_p start_POSTSUBSCRIPT typewriter_i end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT typewriter_j end_POSTSUBSCRIPT + italic_p start_POSTSUBSCRIPT typewriter_j end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT + italic_p start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT typewriter_i end_POSTSUBSCRIPT ) (11)

The emission process is parameterized by the variables y[0,1)𝑦01y\in[0,1)italic_y ∈ [ 0 , 1 ), z[0,1)𝑧01z\in[0,1)italic_z ∈ [ 0 , 1 ), and φ[0,2π)𝜑02𝜋\varphi\in[0,2\pi)italic_φ ∈ [ 0 , 2 italic_π ). The final momenta are given, in terms of the initial momenta and the emission-parameters, by

p𝚒subscript𝑝𝚒\displaystyle p_{\mathtt{i}}italic_p start_POSTSUBSCRIPT typewriter_i end_POSTSUBSCRIPT zp~{𝚒𝚓}+(1z)yp~𝚔+kT,absent𝑧subscript~𝑝𝚒𝚓1𝑧𝑦subscript~𝑝𝚔subscript𝑘𝑇\displaystyle\equiv z\,\tilde{p}_{\mathtt{\{ij\}}}+(1-z)\,y\,\tilde{p}_{% \mathtt{k}}+k_{T}\,,≡ italic_z over~ start_ARG italic_p end_ARG start_POSTSUBSCRIPT { typewriter_ij } end_POSTSUBSCRIPT + ( 1 - italic_z ) italic_y over~ start_ARG italic_p end_ARG start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT + italic_k start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT , (12)
p𝚓subscript𝑝𝚓\displaystyle p_{\mathtt{j}}italic_p start_POSTSUBSCRIPT typewriter_j end_POSTSUBSCRIPT (1z)p~{𝚒𝚓}+zyp~𝚔kT,absent1𝑧subscript~𝑝𝚒𝚓𝑧𝑦subscript~𝑝𝚔subscript𝑘𝑇\displaystyle\equiv(1-z)\,\tilde{p}_{\mathtt{\{ij\}}}+z\,y\,\tilde{p}_{\mathtt% {k}}-k_{T}\,,≡ ( 1 - italic_z ) over~ start_ARG italic_p end_ARG start_POSTSUBSCRIPT { typewriter_ij } end_POSTSUBSCRIPT + italic_z italic_y over~ start_ARG italic_p end_ARG start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT - italic_k start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT , (13)
p𝚔subscript𝑝𝚔\displaystyle p_{\mathtt{k}}italic_p start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT (1y)p~𝚔.absent1𝑦subscript~𝑝𝚔\displaystyle\equiv(1-y)\,\tilde{p}_{\mathtt{k}}\,.≡ ( 1 - italic_y ) over~ start_ARG italic_p end_ARG start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT . (14)

Here kTsubscript𝑘𝑇k_{T}italic_k start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT is a four-momentum determined by the initial momenta and emission-parameters, and satisfies the following conditions:

kT2=M2yz(1z),andp~{𝚒𝚓}kT=p~𝚔kT=0.formulae-sequencesuperscriptsubscript𝑘𝑇2superscript𝑀2𝑦𝑧1𝑧andsubscript~𝑝𝚒𝚓subscript𝑘𝑇subscript~𝑝𝚔subscript𝑘𝑇0\displaystyle k_{T}^{2}=-~{}M^{2}\,y\,z\,(1-z)\,,\qquad\text{and}\qquad\tilde{% p}_{\mathtt{\{ij\}}}\,k_{T}=\tilde{p}_{\mathtt{k}}\,k_{T}=0\,.italic_k start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = - italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_y italic_z ( 1 - italic_z ) , and over~ start_ARG italic_p end_ARG start_POSTSUBSCRIPT { typewriter_ij } end_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT = over~ start_ARG italic_p end_ARG start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT = 0 . (15)

These conditions ensure that p𝚒2=p𝚓2=0superscriptsubscript𝑝𝚒2superscriptsubscript𝑝𝚓20p_{\mathtt{i}}^{2}=p_{\mathtt{j}}^{2}=0italic_p start_POSTSUBSCRIPT typewriter_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = italic_p start_POSTSUBSCRIPT typewriter_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 0. In the center-of-momentum frame of the emission process, kTsubscript𝑘𝑇k_{T}italic_k start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT is given by

kTcms(0,kTcms),subscriptsuperscript𝑘cms𝑇0subscriptsuperscript𝑘cms𝑇\displaystyle k^{\mathrm{cms}}_{T}\equiv(0,\vec{k}^{\mathrm{cms}}_{T})\,,italic_k start_POSTSUPERSCRIPT roman_cms end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT ≡ ( 0 , over→ start_ARG italic_k end_ARG start_POSTSUPERSCRIPT roman_cms end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT ) , (16)

where kTcmssubscriptsuperscript𝑘cms𝑇\vec{k}^{\mathrm{cms}}_{T}over→ start_ARG italic_k end_ARG start_POSTSUPERSCRIPT roman_cms end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT is a three-vector that lies in the plane subscriptperpendicular-to\mathbb{P}_{\perp}blackboard_P start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT perpendicular to the emitter’s direction of travel (a) before emission (b) in the center-of-momentum frame of the emission process.444Equivalently, kTcmssubscriptsuperscript𝑘cms𝑇\vec{k}^{\mathrm{cms}}_{T}over→ start_ARG italic_k end_ARG start_POSTSUPERSCRIPT roman_cms end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT lies in the plane perpendicular to the spectator’s direction of travel (a) before or after the emission (b) in the center-of-momentum frame of the emission process. The magnitude and direction of kTcmssubscriptsuperscript𝑘cms𝑇\vec{k}^{\mathrm{cms}}_{T}over→ start_ARG italic_k end_ARG start_POSTSUPERSCRIPT roman_cms end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT are given, respectively, by

|kTcms|M2yz(1z)andk^Tcmscos(φ)κ^1+sin(φ)κ^2,formulae-sequencesubscriptsuperscript𝑘cms𝑇superscript𝑀2𝑦𝑧1𝑧andsubscriptsuperscript^𝑘cms𝑇𝜑subscript^𝜅1𝜑subscript^𝜅2\displaystyle\mathopen{}\mathclose{{}\left|\vec{k}^{\mathrm{cms}}_{T}}\right|% \equiv\sqrt{M^{2}\,y\,z\,(1-z)~{}~{}}\qquad\text{and}\qquad\hat{k}^{\mathrm{% cms}}_{T}\equiv\cos(\varphi)~{}\hat{\kappa}_{1}+\sin(\varphi)~{}\hat{\kappa}_{% 2}\,,| over→ start_ARG italic_k end_ARG start_POSTSUPERSCRIPT roman_cms end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT | ≡ square-root start_ARG italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_y italic_z ( 1 - italic_z ) end_ARG and over^ start_ARG italic_k end_ARG start_POSTSUPERSCRIPT roman_cms end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT ≡ roman_cos ( italic_φ ) over^ start_ARG italic_κ end_ARG start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + roman_sin ( italic_φ ) over^ start_ARG italic_κ end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , (17)

where κ^1subscript^𝜅1\hat{\kappa}_{1}over^ start_ARG italic_κ end_ARG start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and κ^2subscript^𝜅2\hat{\kappa}_{2}over^ start_ARG italic_κ end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT are unit-vectors that (a) lie in subscriptperpendicular-to\mathbb{P}_{\perp}blackboard_P start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT, (b) are perpendicular to each other, and (c) are completely determined by p~{𝚒𝚓}subscript~𝑝𝚒𝚓\tilde{p}_{\mathtt{\{ij\}}}over~ start_ARG italic_p end_ARG start_POSTSUBSCRIPT { typewriter_ij } end_POSTSUBSCRIPT and p~𝚔subscript~𝑝𝚔\tilde{p}_{\mathtt{k}}over~ start_ARG italic_p end_ARG start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT. Note that given a valid choice of (p𝚒,p𝚓,p𝚔)subscript𝑝𝚒subscript𝑝𝚓subscript𝑝𝚔(p_{\mathtt{i}},p_{\mathtt{j}},p_{\mathtt{k}})( italic_p start_POSTSUBSCRIPT typewriter_i end_POSTSUBSCRIPT , italic_p start_POSTSUBSCRIPT typewriter_j end_POSTSUBSCRIPT , italic_p start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT ), the value of (p~{𝚒𝚓},p~𝚔,y,z,φ)subscript~𝑝𝚒𝚓subscript~𝑝𝚔𝑦𝑧𝜑(\tilde{p}_{\mathtt{\{ij\}}},\tilde{p}_{\mathtt{k}},y,z,\varphi)( over~ start_ARG italic_p end_ARG start_POSTSUBSCRIPT { typewriter_ij } end_POSTSUBSCRIPT , over~ start_ARG italic_p end_ARG start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT , italic_y , italic_z , italic_φ ) is uniquely determined, and can be computed, e.g., as follows:555If needed, φ𝜑\varphiitalic_φ can be computed using (kT,p~{𝚒𝚓},p~𝚔)subscript𝑘𝑇subscript~𝑝𝚒𝚓subscript~𝑝𝚔(k_{T},\tilde{p}_{\mathtt{\{ij\}}},\tilde{p}_{\mathtt{k}})( italic_k start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT , over~ start_ARG italic_p end_ARG start_POSTSUBSCRIPT { typewriter_ij } end_POSTSUBSCRIPT , over~ start_ARG italic_p end_ARG start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT ), by computing (kTcms,κ^1,κ^2)subscriptsuperscript𝑘cms𝑇subscript^𝜅1subscript^𝜅2(\vec{k}^{\mathrm{cms}}_{T},\hat{\kappa}_{1},\hat{\kappa}_{2})( over→ start_ARG italic_k end_ARG start_POSTSUPERSCRIPT roman_cms end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT , over^ start_ARG italic_κ end_ARG start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , over^ start_ARG italic_κ end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) as an intermediate step. However, typically, and in this paper, the relevant conditional quasi (i.e., weighted) densities and sampling densities are all independent of φ𝜑\varphiitalic_φ, so it will not need to be computed for the purposes of this paper.

p~{𝚒𝚓}subscript~𝑝𝚒𝚓\displaystyle\tilde{p}_{\mathtt{\{ij\}}}over~ start_ARG italic_p end_ARG start_POSTSUBSCRIPT { typewriter_ij } end_POSTSUBSCRIPT p𝚒+p𝚓(p𝚒p𝚓p𝚓p𝚔+p𝚔p𝚒)p𝚔,absentsubscript𝑝𝚒subscript𝑝𝚓subscript𝑝𝚒subscript𝑝𝚓subscript𝑝𝚓subscript𝑝𝚔subscript𝑝𝚔subscript𝑝𝚒subscript𝑝𝚔\displaystyle\equiv p_{\mathtt{i}}+p_{\mathtt{j}}-\mathopen{}\mathclose{{}% \left(\frac{\displaystyle p_{\mathtt{i}}\,p_{\mathtt{j}}}{\displaystyle p_{% \mathtt{j}}\,p_{\mathtt{k}}+p_{\mathtt{k}}\,p_{\mathtt{i}}}}\right)\,p_{% \mathtt{k}}\,,\qquad\qquad≡ italic_p start_POSTSUBSCRIPT typewriter_i end_POSTSUBSCRIPT + italic_p start_POSTSUBSCRIPT typewriter_j end_POSTSUBSCRIPT - ( divide start_ARG italic_p start_POSTSUBSCRIPT typewriter_i end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT typewriter_j end_POSTSUBSCRIPT end_ARG start_ARG italic_p start_POSTSUBSCRIPT typewriter_j end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT + italic_p start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT typewriter_i end_POSTSUBSCRIPT end_ARG ) italic_p start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT , p~𝚔(p𝚒p𝚓+p𝚓p𝚔+p𝚔p𝚒p𝚓p𝚔+p𝚔p𝚒)p𝚔,subscript~𝑝𝚔subscript𝑝𝚒subscript𝑝𝚓subscript𝑝𝚓subscript𝑝𝚔subscript𝑝𝚔subscript𝑝𝚒subscript𝑝𝚓subscript𝑝𝚔subscript𝑝𝚔subscript𝑝𝚒subscript𝑝𝚔\displaystyle\tilde{p}_{\mathtt{k}}\equiv\mathopen{}\mathclose{{}\left(\frac{% \displaystyle p_{\mathtt{i}}\,p_{\mathtt{j}}+p_{\mathtt{j}}\,p_{\mathtt{k}}+p_% {\mathtt{k}}\,p_{\mathtt{i}}}{\displaystyle p_{\mathtt{j}}\,p_{\mathtt{k}}+p_{% \mathtt{k}}\,p_{\mathtt{i}}}}\right)\,p_{\mathtt{k}}\,,over~ start_ARG italic_p end_ARG start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT ≡ ( divide start_ARG italic_p start_POSTSUBSCRIPT typewriter_i end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT typewriter_j end_POSTSUBSCRIPT + italic_p start_POSTSUBSCRIPT typewriter_j end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT + italic_p start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT typewriter_i end_POSTSUBSCRIPT end_ARG start_ARG italic_p start_POSTSUBSCRIPT typewriter_j end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT + italic_p start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT typewriter_i end_POSTSUBSCRIPT end_ARG ) italic_p start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT , (18a)
y𝑦\displaystyle yitalic_y p𝚒p𝚓p𝚒p𝚓+p𝚓p𝚔+p𝚔p𝚒,absentsubscript𝑝𝚒subscript𝑝𝚓subscript𝑝𝚒subscript𝑝𝚓subscript𝑝𝚓subscript𝑝𝚔subscript𝑝𝚔subscript𝑝𝚒\displaystyle\equiv\frac{\displaystyle p_{\mathtt{i}}\,p_{\mathtt{j}}}{% \displaystyle p_{\mathtt{i}}\,p_{\mathtt{j}}+p_{\mathtt{j}}\,p_{\mathtt{k}}+p_% {\mathtt{k}}\,p_{\mathtt{i}}}\,,\qquad\qquad≡ divide start_ARG italic_p start_POSTSUBSCRIPT typewriter_i end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT typewriter_j end_POSTSUBSCRIPT end_ARG start_ARG italic_p start_POSTSUBSCRIPT typewriter_i end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT typewriter_j end_POSTSUBSCRIPT + italic_p start_POSTSUBSCRIPT typewriter_j end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT + italic_p start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT typewriter_i end_POSTSUBSCRIPT end_ARG , zp𝚔p𝚒p𝚓p𝚔+p𝚔p𝚒,𝑧subscript𝑝𝚔subscript𝑝𝚒subscript𝑝𝚓subscript𝑝𝚔subscript𝑝𝚔subscript𝑝𝚒\displaystyle z\equiv\frac{\displaystyle p_{\mathtt{k}}\,p_{\mathtt{i}}}{% \displaystyle p_{\mathtt{j}}\,p_{\mathtt{k}}+p_{\mathtt{k}}\,p_{\mathtt{i}}}\,,italic_z ≡ divide start_ARG italic_p start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT typewriter_i end_POSTSUBSCRIPT end_ARG start_ARG italic_p start_POSTSUBSCRIPT typewriter_j end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT + italic_p start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT typewriter_i end_POSTSUBSCRIPT end_ARG , (18b)
kTsubscript𝑘𝑇\displaystyle k_{T}italic_k start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT (p𝚓p𝚔p𝚓p𝚔+p𝚔p𝚒)p𝚒(p𝚔p𝚒p𝚓p𝚔+p𝚔p𝚒)p𝚓absentsubscript𝑝𝚓subscript𝑝𝚔subscript𝑝𝚓subscript𝑝𝚔subscript𝑝𝚔subscript𝑝𝚒subscript𝑝𝚒subscript𝑝𝚔subscript𝑝𝚒subscript𝑝𝚓subscript𝑝𝚔subscript𝑝𝚔subscript𝑝𝚒subscript𝑝𝚓\displaystyle\equiv\mathopen{}\mathclose{{}\left(\frac{\displaystyle p_{% \mathtt{j}}\,p_{\mathtt{k}}}{\displaystyle p_{\mathtt{j}}\,p_{\mathtt{k}}+p_{% \mathtt{k}}\,p_{\mathtt{i}}}}\right)~{}p_{\mathtt{i}}-\mathopen{}\mathclose{{}% \left(\frac{\displaystyle p_{\mathtt{k}}\,p_{\mathtt{i}}}{\displaystyle p_{% \mathtt{j}}\,p_{\mathtt{k}}+p_{\mathtt{k}}\,p_{\mathtt{i}}}}\right)~{}p_{% \mathtt{j}}≡ ( divide start_ARG italic_p start_POSTSUBSCRIPT typewriter_j end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT end_ARG start_ARG italic_p start_POSTSUBSCRIPT typewriter_j end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT + italic_p start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT typewriter_i end_POSTSUBSCRIPT end_ARG ) italic_p start_POSTSUBSCRIPT typewriter_i end_POSTSUBSCRIPT - ( divide start_ARG italic_p start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT typewriter_i end_POSTSUBSCRIPT end_ARG start_ARG italic_p start_POSTSUBSCRIPT typewriter_j end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT + italic_p start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT typewriter_i end_POSTSUBSCRIPT end_ARG ) italic_p start_POSTSUBSCRIPT typewriter_j end_POSTSUBSCRIPT ((p𝚒p𝚓)(p𝚓p𝚔p𝚔p𝚒)(p𝚓p𝚔+p𝚔p𝚒)2)p𝚔subscript𝑝𝚒subscript𝑝𝚓subscript𝑝𝚓subscript𝑝𝚔subscript𝑝𝚔subscript𝑝𝚒superscriptsubscript𝑝𝚓subscript𝑝𝚔subscript𝑝𝚔subscript𝑝𝚒2subscript𝑝𝚔\displaystyle-\mathopen{}\mathclose{{}\left(\frac{\displaystyle\mathopen{}% \mathclose{{}\left(p_{\mathtt{i}}\,p_{\mathtt{j}}}\right)\,\mathopen{}% \mathclose{{}\left(p_{\mathtt{j}}\,p_{\mathtt{k}}-p_{\mathtt{k}}\,p_{\mathtt{i% }}}\right)}{\displaystyle\mathopen{}\mathclose{{}\left(p_{\mathtt{j}}\,p_{% \mathtt{k}}+p_{\mathtt{k}}\,p_{\mathtt{i}}}\right)^{2}}}\right)~{}p_{\mathtt{k}}- ( divide start_ARG ( italic_p start_POSTSUBSCRIPT typewriter_i end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT typewriter_j end_POSTSUBSCRIPT ) ( italic_p start_POSTSUBSCRIPT typewriter_j end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT - italic_p start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT typewriter_i end_POSTSUBSCRIPT ) end_ARG start_ARG ( italic_p start_POSTSUBSCRIPT typewriter_j end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT + italic_p start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT typewriter_i end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) italic_p start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT (18c)

Some other quantities of interest are the energy scale parameters t𝑡titalic_t and \ellroman_ℓ defined as

t𝑡\displaystyle titalic_t kT2=M2yz(1z)=2(p𝚒p𝚓)(p𝚓p𝚔)(.p𝚔p𝚒)(p𝚓p𝚔+p𝚔p𝚒)2and\displaystyle\equiv-\,k_{T}^{2}=M^{2}\,y\,z\,(1-z)=\frac{\displaystyle 2\,% \mathopen{}\mathclose{{}\left(p_{\mathtt{i}}\,p_{\mathtt{j}}}\right)\,% \mathopen{}\mathclose{{}\left(p_{\mathtt{j}}\,p_{\mathtt{k}}}\right)\,% \mathopen{}\mathclose{{}\left(\big{.}p_{\mathtt{k}}\,p_{\mathtt{i}}}\right)}{% \displaystyle\mathopen{}\mathclose{{}\left(p_{\mathtt{j}}\,p_{\mathtt{k}}+p_{% \mathtt{k}}\,p_{\mathtt{i}}}\right)^{2}}\qquad\text{and}≡ - italic_k start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_y italic_z ( 1 - italic_z ) = divide start_ARG 2 ( italic_p start_POSTSUBSCRIPT typewriter_i end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT typewriter_j end_POSTSUBSCRIPT ) ( italic_p start_POSTSUBSCRIPT typewriter_j end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT ) ( . italic_p start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT typewriter_i end_POSTSUBSCRIPT ) end_ARG start_ARG ( italic_p start_POSTSUBSCRIPT typewriter_j end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT + italic_p start_POSTSUBSCRIPT typewriter_k end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT typewriter_i end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG and (19a)
\displaystyle\ellroman_ℓ ln(t1GeV2/c2),absent𝑡1superscriptGeV2superscript𝑐2\displaystyle\equiv\ln\mathopen{}\mathclose{{}\left(\frac{\displaystyle t}{% \displaystyle 1\,\mathrm{GeV}^{2}/c^{2}}}\right)\,,≡ roman_ln ( divide start_ARG italic_t end_ARG start_ARG 1 roman_GeV start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_c start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) ,