1 Introduction

Phenomenology of High Energy Physics experiments require careful comparison of experimental results with theoretical predictions. An agreement between the two represents confirmation of the current theory and calculational schemes, a discrepancy on the other hand can be an indicator of New Physics phenomena or point to inadequacy of the applied approximations. For that purpose, all elements of theoretical predictions and detector responses, need to be reviewed whenever new threshold of sophistication is reached. Each element of the predictions as well as the strategy of combining the individual parts need to be validated anew.

It is generally believed that Monte Carlo simulations offer feasible solution whenever all theoretical and experimental effects need to be taken into account simultaneously. Electroweak effects can be defined as separate part of such simulation systems. Recently, we have evaluated numerically if such separation scheme developed in LEP times still holds in phenomenology of Dell–Yan processes for present day applications [1]. See there for further references, in particular, on the fundamental result enabling the separation of the electroweak effects into separate parts. Here we concentrate on QED final state radiations in processes of four-lepton final states produced in high energy \(e^+e^-\) or pp collisions as well as \(\gamma \gamma \rightarrow l^+l^-\) hard processes. In such cases precision requirements are lower, nonetheless recently an interest for such predictions arise, see e.g. [2]. The separation of the QED effects from the complete electroweak effects does not seem to be the precision obstacle, nor dividing the QED contributions into parts; one of them the final state radiation.

In the present paper, we address the adequacy of Photos Monte Carlo [3, 4] for final state photon radiation in \(e^+e^- (q {{\bar{q}}}) \rightarrow l^+l^- l^+l^- (n\gamma )\) and \(\gamma \gamma \rightarrow l^+l^- (n\gamma )\) processes. These processes are outside of the default Photos applicability domain. However, predictions for them can be obtained from different Standard Model calculations [5,6,7,8,9,10]. Therefore, for the validation of Photos in this region one does not need to rely on comparisons with the data. At the same time Photos is very valuable as it can be combined with calculations/simulations enabling higher order corrections and flexible acceptance cuts providing complete calculations assuring control of technical aspects, resummations, technical cuts used to separate phase space regions of singularities. This can be done because of its design and algorithm modifying events stored already in event records. Fortunately the lowest order processes and processes with added photons, are implemented e.g. in MadGraph [5] and can be used for phase space regions where predictions of Photos require validation.

Crude level Photos Monte Carlo algorithm is non-Markovian. The event to which photons may be added, is first read from the event record produced by other program, then the momenta coordinates are calculated back, using specifically chosen parametrization. These variables are used for parametrization of phase space slots were additional photons are added. The number of photon candidates is generated from Poissonian (or binomial) distribution. For each photon, to be constructed, the variables are generated. They are used to complete phase space parametrization for the new configuration with additional photons. At this step, no energy momentum conservation is enforced, Jacobians of phase space parametrization are absent as well as emission kernels representing approximated or interpolated matrix elements. They are introduced later with weights and rejection of photon candidates through iterative algorithm.Footnote 1 If construction of the photon is rejected, previous kinematic configuration is retained. For rejection we rely on Kinoshita–Lee–Nauenberg theorem [11, 12]. Only numerically minor, process dependent, corrections need further care if complete first order QED matrix element is used. The details of event generation in Photos are explained in [4, 13], phase space parametrization is possibly best described in [14]. What is important is that the algorithm covers the full multi-photon phase space and parametrization is exact, whenever it is necessary. This means that approximations for the phase space always match those of matrix element.Footnote 2

For the sake of universality, since Ref. [13], simplified kernel with respect to the exact first order matrix element was used for all processes and multi-photon radiations. However, already then, interference effects for emissions from all final state charges were introduced and good agreement with (matrix element based) reference simulations was achieved. This, distinct from parton shower approach enabled rigorous introduction of exact matrix elements which was done in certain two-body decays including: \(Z/\gamma ^*\) [16], W,\(\gamma ^*\) [17] and \(K^*,B^*\) [14].

Now we turn our attention to final state photon radiation in \(q{\bar{q}} \rightarrow l^+l^- l^+l^- (n\gamma )\) and \(\gamma \gamma \rightarrow l^+l^-\) processes and specially to Photos ambiguity for these cases.

The remaining part of the paper is organized as follows. In Sect. 2 we provide details on the samples used for tests with certain more technical details delegated to Appendix A. Section 3.1 is devoted to validation of Photos for \(q{\bar{q}}(e^+e^-) \rightarrow l^+l^- l^+l^- (n\gamma )\) process and Sect. 3.2 for the \(\gamma \gamma \rightarrow l^+l^-\) process. Section 4 discusses Photos usecases and its interfacing with other programs. The obtained results are summarized in Sect. 5. Additionally, Appendix B collects numerical results automatically obtained with the help of the MC-tester program [18].

Fig. 1
figure 1

Typical diagrams contributing to the amplitude of \(q {\bar{q}} \rightarrow \mu ^+\mu ^-\mu ^+\mu ^-\) production. Note that a stands here for either photon or Z boson

2 Details of samples used for validation

In order to perform validation of Photos in the new kinematic domain discussed earlier we use the following approach. For each of the considered processes (e.g. \(q {{\bar{q}}} \rightarrow l^+l^- l^+l^-\)) we use MadGraph to generate two samples: first for a base process without any photons in the final state, and second for an analogous process but with one additional photon in the final state. Then the first sample is supplemented with additional photon generated using Photos. This is possible because of the special single photon emission mode of Photos. Typically we use samples (after selection cuts) of around 50,000 events with photons. In the next step distributions calculated from the two samples (MadGraph with additional photon and MadGraph supplemented by photon from Photos) are compared. Histograms of all possible invariant masses which can be build from the final state momenta are constructed and then compared. That simplifies the first step of tests. For the actual study of ambiguity for observables of phenomenological merit the appropriate selection cuts, which are as close as possible to the realistic ones, should be used. Only then systematic ambiguity can be obtained with sufficient certainty.

The kinematic selection cuts play here an additional more technical role. The event simulation with MadGraph is best suited for generation of configurations, where there is a separation between the outgoing particles. That is why cuts on distance, \(\Delta R\), between final state particles, and minimal energy of the final state photon, \(E_\gamma \), are always used. In this way non-interesting for tests of Photos, but difficult for MadGraph, phase space region of infrared and/or collinear singularities is avoided. Fortunately in those collinear and infrared regions Photos does not need to be re-tested.

In the following we discuss separately the details of samples generated for the two considered types of processes.

2.1 \(q {\bar{q}} \rightarrow l^+l^- l^+l^- (\gamma )\) process

For the \(q {\bar{q}} \rightarrow l^+l^- l^+l^- (\gamma )\) process we have generated three sets of samples for different center of mass energies: \(\sqrt{s}=\{125, 150, 240\}\) GeV (each set consisted of a process with and without a photon in the final state). The selection of Feynman diagrams entering such calculations are shown in Figs. 1 and 2 correspondingly for process without and with the final state photon. Additionally, one should note one more important detail. When generating MadGraph samples for processes with additional final state photon we wanted to add the photon only in the final state. As a consequence we needed to remove some of the diagrams from MadGraph calculations. Specifically, we removed diagrams where photon was radiated from the initial state quarks as well from the t-channel intermediate quark, example diagrams of this kind are displayed in Fig. 3. In this way we were left with a gauge invariant subset of diagrams yielding a sensible result which in turn could be directly compared with the MadGraph sample supplemented with photon added from Photos.Footnote 3

For all these samples the kinematic selection cuts used in MadGraph were always the same (with additional isolation cuts on the final state photon if present). We tried to keep them as wide as possible but taking care not to spoil the convergence of the calculation. That way we allowed ourselves an option to further restrict the cuts later on after including additional photon from Photos. This can be useful as more restrictive cuts on the MadGraph sample without the final state photon could, due to the kinematics, restrict the possibility of generating the additional photon with Photos.

Fig. 2
figure 2

Typical diagrams contributing to the amplitude of \(q {\bar{q}} \rightarrow \mu ^+\mu ^-\mu ^+\mu ^-\gamma \) production. Note that a stands here for either photon or Z boson

Fig. 3
figure 3

Typical diagrams with photon radiation in the initial state or from the t-channel which were removed from MadGraph calculations of \(q {\bar{q}} \rightarrow \mu ^+\mu ^-\mu ^+\mu ^-\gamma \) process. Note that a stands here for either photon or Z boson

Fig. 4
figure 4

Diagrams contributing to amplitude of \(\gamma \gamma \rightarrow \mu ^+\mu ^-\gamma \) production. Note that a stands here for photon only

The specific values used for kinematic selection cuts are listed below, we also provide an example MadGraph input file (run card) in Appendix A. One should note that the same cuts for the photons were applied independently of whether the photon was generated from MadGraph or added later with the help of Photos. Also the electroweak initialization parameters for the compared two cases were taken the same.

  1. 1.

    Maximal rapidity of individual charged leptons: \(|\eta _l<3|\).

  2. 2.

    Minimal invariant mass of same flavor and opposite charge lepton pairs: \(m_{l^+l^-}>9\) GeV.

  3. 3.

    Minimal distance between final state leptons: \(\Delta R_{ll}>0.4\).

  4. 4.

    Maximal rapidity of final state photons: \(|\eta _\gamma |<3\).

  5. 5.

    Minimal energy of final state photons: \(E_\gamma >5\) GeV.

  6. 6.

    Distance between final state photon and each lepton: \(\Delta R_{l\gamma }>0.4\).

  7. 7.

    Transverse energy: \(E_t < \frac{1-\cos (\Delta R_{\gamma l_i})}{1-r_0^{\gamma }} \sqrt{(p_{\gamma }^1)^2+(p_{\gamma }^2)^2}\), with \(r_0^{\gamma }=0.4\).

The definitions of kinematic variables used for constructing the above kinematic cuts are provided in Appendix A.

2.2 \(\gamma \gamma \rightarrow l^+l^- (\gamma )\) process

For the \(\gamma \gamma \rightarrow l^+l^- (\gamma )\) process we have generated two MadGraph samples: one for the process without the photon in the final state and one with the additional photon, both samples were generated at center of mass energy of \(\sqrt{s}=125\) GeV; both comprise of 40000 events. Example Feynman diagrams contributing to the calculation of the \(\gamma \gamma \rightarrow l^+l^- \gamma \) process are displayed in Fig. 4.

The kinematic cuts used for these processes were the same as for the process \(q {\bar{q}} \rightarrow l^+l^- l^+l^- (\gamma )\) with the simplification that there was no need to subselect diagrams that enter MadGraph calculation with extra photon. Again the MadGraph sample without final state photon was supplemented with a photon generated using Photos and the two were compared.

3 Results

For the purpose of validation we have chosen two sets of processes, first the \(q {\bar{q}} \rightarrow l^+l^- l^+l^- (\gamma )\) and later the \(\gamma \gamma \rightarrow l^+l^- (\gamma )\) which turned out to be simpler. We should note that the results shown for the \(q {\bar{q}} \rightarrow l^+l^- l^+l^- (\gamma )\) process holds with nearly no alteration for the process where quarks are replaced by electrons \(e^+e^- \rightarrow l^+l^- l^+l^- (\gamma )\). Such process was also checked but we will not show explicit results for it here.

In order to simplify the comparisons and also to obtain a better understanding we have staged the performed tests. This is especially true for the case of four lepton production process. In what follows we will discuss the different stages but will present explicit numerical results only for the most important parts.

We note that options of Photos initializations, such as activation of interference effects, single or multiple photon mode of operation are carefully explained in the program manual, Ref. [4].

3.1 Case of four lepton final states

The algorithm of Photos use explicit phase space parametrization, also part of the emission kernel originating from matrix element is explicitly coded. It is thus possible to install exact, single photon emission matrix element and improve quality of generation. That was implemented for several two body final states.

For the four fermions final state like \(l^+l^- l^+l^-\), until now, there were no matrix elements installed into public version of Photos emission kernel. In principle, it is possible and in fact such kernel, was temporarily installed for emission of lepton pairs in case of \(Z \rightarrow l^+l^- (l^+l^-)\) that is for lepton pair emission instead of bremsstrahlung photons, see Refs. [19, 20]. In that case four body phase space was elaborated and exact parametrization was used. It turned out, that approximate form of matrix element used for emission kernel, was sufficient for quite impressive precision. An approximation better than the eikonal one of Ref. [21] was developed. Now we investigate if the same level of accuracy can be achieved for final state bremsstrahlung and processes like \(q {\bar{q}} \rightarrow l^+l^- l^+l^- \gamma \). One could think of such process as production and decay of the Z-boson pair, but this weakens assumptions, especially for energies which are insufficient for the on shell two-boson state formation. In case of four (same flavor) fermion final states, more than two resonant configuration may simultaneously contribute and complicate the input for Photos. For such processes tests are required. The case is at the edge of program applicability domain.

When testing Photos for the case of process with four lepton final states we did the following steps:

  1. 1.

    Consider final states where two pairs of leptons carry different flavors.

  2. 2.

    Require certain number of intermediate Z-bosons.

  3. 3.

    Test different initialization options + interferences.

  4. 4.

    Consider different center of mass energies.

  5. 5.

    Investigate the most complex production of four (same flavor) leptons including the \(\gamma /Z\) interferences.

3.1.1 \(q {\bar{q}} \rightarrow \mu ^+\mu ^- \tau ^+\tau ^- (\gamma )\)

We have started our tests with a simple case of \(q {\bar{q}} \rightarrow Z Z \rightarrow \mu ^+\mu ^- \tau ^+\tau ^- (\gamma )\) process. Also the mass of \(\tau \) lepton was reduced to the one of the muon. That way the number of interferences and contributing diagrams was much smaller than for the four muon production. Once the intermediate bosons were explicitly written into the event record, the agreement between MadGraph and Photos was perfect.Footnote 4 Comparisons were prepared with help of the MC-tester [18] program. All possible invariant masses which can be formed from momenta of the outgoing particles were monitored, but not multidimensional distributions.

For the \(\mu ^+\mu ^- \tau ^+\tau ^-\) (later also for the four muon final states) several options of Photos initialization settings were investigated. Interference effects in Photos between emissions from \(\mu ^+\mu ^-\) and \( \tau ^+\tau ^-\) pairs were switched on and off. For that purpose, intermediate Z bosons (alternatively none or just one) were explicitly present/absent in the event record before call to Photos. It was found that at very high energies the interference between emission amplitudes for two Z bosons forming lepton pairs are small. However, at lower energies when Z bosons are not ultra-relativistic, emission interferences are not so much reduced by the directions of leptons and the resulting separation of the emission dipoles. As a result the Z peak constraint has to be taken into account explicitly.

In the first run of tests, the final state fermions were of different flavor to minimize number of diagrams contributing to MadGraph amplitudes. At 240 GeV agreement was reasonable, but no s-channel photon exchange was taken into account. Production takes place above ZZ threshold so clearly two Z resonant contribution dominates and such intermediate states were written into event record to simplify the task for Photos algorithm. Two independent, two body Z decays were processed. Then, second round of tests were performed. The only modification was that center of mass energy was reduced to 150 GeV. Thus one of the Z bosons must have been off the resonance peak. Still no s-channel photon exchange was taken into account. Further reduction of center of mass energy did not introduce any changes or concerns.

In our following tests with center-of-mass system energy in 125–240 GeV range the agreement with MadGraph simulations, seem to be optimal when lepton pair of virtuality closest to the Z mass was written in the event record as originating from the intermediate Z boson (written explicitly into event record). If both possible lepton pairs virtualities were more than 3–4 GeV away from the Z virtuality, the intermediate bosons were not written into the event record. Similar arrangements for small lepton pair virtualities (when exchange of virtual photon was taken into account) was not helpful/necessary, possibly because of the applied cuts, excluding such phase space regions.

Finally we have found, that if the interference effects were active in Photos and intermediate bosons were explicitly written the agreement was reasonable for all numerical results of standard tests for all one-dimensional invariant mass distributions.

3.1.2 \(q {\bar{q}} \rightarrow \mu ^+\mu ^- \mu ^+\mu ^- (\gamma )\)

Encouraged by the positive results of the tests described above, we have moved to the next step: the four muon final states. We have taken into account the s-channel photon exchange too.Footnote 5 Typical diagrams contributing to this process are collected in Sect. 2.1

The results of these technical tests are collected in Appendices A.1–A.3 for center of mass energies of {125, 150, 240} GeV. In these cases the obtained agreement may look not that impressive, as the differences of the normalized area under the one dimensional histograms of up to 5% were found. However, one should not forget that these histograms were constructed from events where only hard, non-collinear, photons were taken, that is from about 10% of the accepted events. For 90% of events, either no bremsstrahlung photons were present, or they were soft and/or collinear. For such cases Photos algorithm performs accurately thanks to its design, that is why, such regions of the phase space were not included in the test distributions as they do not contribute to ambiguities. Naively this would point to a tiny ambiguity of the order \(\sim 0.005\). In reality the differences may be even smaller, as the use of Photos distorts original order of particles and the first and second occurrence of e.g. \(\mu ^+\) may feature different distribution.Footnote 6 This may be observed from our Fig. 5 for \(\mu ^+\mu ^-\) invariant mass and Fig. 6 for \(\mu ^+\mu ^-\gamma \).Footnote 7

Fig. 5
figure 5

The distribution of \(\mu ^+\mu ^-\) invariant mass for \(\sqrt{s}=240\) GeV with all possible \(\mu ^+\mu ^-\) pairs contributing (for each event four entries/combinations are added in the histogram). The upper panel shows the absolute distributions from the two generators, the lower panel shows the ratio of the two. The agreement is much better than what could have been deduced from Appendix B.3, where technical bias due to identical particles partial ordering was present

Fig. 6
figure 6

The distribution of \(\mu ^+\mu ^-\gamma \) invariant mass for \(\sqrt{s}=240\) GeV with all possible \(\mu ^+\mu ^-\) pairs contributing (for each event four entries/combinations are added in the histogram). The upper panel shows the absolute distributions from the two generators, the lower panel shows the ratio of the two. The agreement is much better than what could have been deduced from Appendix B.3, where technical bias due to identical particles partial ordering was present. Note events migration from the Z peak to side bands. This is due to approximations in Photos kernel, for details see the text

Now, the s-channel photon exchange is taken into account. Also, the four muons in the final state imply, that the Z resonance can be formed from four combinations of leptons. The pattern of interferences and intermediate resonances, may be more challenging for the Photos algorithm to include.

For the highest center of mass energy of 240 GeV the virtuality of the system is above the threshold for the pair of Z boson production. As a consequence, in order to achieve agreement, we have to call Photos for the Z decays separately. This prevents the algorithm to ignore the Z peak constraint on distributions. Additionally, we have to order momenta, prior to invoking Photos, so the first pair of muons would be closest to the Z peak. If the pair could be within \(\pm \,3\) GeV from the Z peak, we write the Z into the event record prior to invoking Photos. As a consequence its algorithm will not deform the shape of the intermediate resonance peak, but at the same time interferences of emissions from all four muons will be reduced to interferences within the two separate \(\mu ^+\mu ^-\) pairs. This seems not to be physical if none of the muon pairs is originating from the resonance peak. Such interface to Photos clearly leads to temporary ordering in the events with identical muons. This ordering could make the interpretation of the comparisons produced with MC-tester difficult. That is why before it is invoked, the order of the muons in the event record is returned to its prior state before the call to the Photos interface. This has to be done to adopt to the MC-tester which recognizes the order of identical particles in the event record. The residual traces of the above arrangement are visible in the plots from appendices, but less so in Figs. 5 and 6 where the sum of the contributions from all \(\mu ^+\mu ^-\) pairs is taken. The separation of phase space (with \(\pm \, 3\) GeV cut) into off- and on- Z peak regions helps but still migration of events from the Z peak to its side bands takes place. This exhibits as a peak in the ratio plot of Fig. 6. Photos algorithm can not simultaneously assure interferences of all Fig. 2 diagrams and Z peak phase space constraint. For that, complete 4-fermion and photon matrix element in emission kernel would be needed.

In order to answer the question how this translates into the ambiguities of observables used for the precision measurements requires use of observables that are (semi-)realistic from the detection point of view. To do it the prepared event samples (which were used for producing the presented plots), can be used.

Finally one may wonder about multi-photon effects. These can be implemented with Photos too and no further ambiguity should be expected, because the same emission kernel is then used.

3.1.3 \(q {\bar{q}} \rightarrow \tau ^+\tau ^- \tau ^+\tau ^- (\gamma )\) at \(\sqrt{s}=10.5\) GeV

Finally, we have performed comparison between MadGraph and Photos final state bremsstrahlung for the process \(q {\bar{q}} \rightarrow \tau ^+\tau ^- \tau ^+\tau ^-\) which will work in exactly the same way for the \(e^+e^- \rightarrow \tau ^+\tau ^+\tau ^-\tau ^-\) process but is easier to initialize in MadGraph. In this case, \(\tau \) leptons are moderately relativistic and terms proportional to \(\tau \) mass are of importance, on the other hand contribution of the Z boson interaction is negligible. The study of Photos performance in such very different regime can be instructive. It may be of potential interest for Belle II phenomenology [22], that is why we have chosen the center of mass energy to be 10.5 GeV.

With the default version of Photos the agreement at the level of a factor of two was obtained. Clearly the mass terms of the 5-body system for \(\tau \) leptons and photon final state are needed. It was relatively easy to introduce the necessary adjustment with the additional factor \((1 -4m_\tau /\sqrt{s} -E_\gamma /\sqrt{s})^2\) for the internal Photos weight, resulting in softening of the photon energy spectrum. Such an ad hoc factor, can not replace a study of the matrix element but it can be assumed as an educated guess that represents its dominant, missing in this case, part. In fact, that is supported by the results of Fig. 7 which shows a very good agreement with the MadGraph calculation using exact matrix elements. Even though the obtained numerical results are encouraging such hypothesis require more rigorous study. In case of plots from Fig. 7 no kinematic cuts, except minimal photon energy of 0.2 GeV, were applied. In Fig. 7 we can see that, compared to the analogous distributions for the four muon case at higher energies (e.g. in Fig. 6 and figures from Appendicess A.1–A.3), the mass of \(\tau \) lepton provides a clear cut-off at low \(M^2(\gamma \tau \tau )\). Also we no longer see any remnants of the Z-peak.

Fig. 7
figure 7

The distributions of invariant mass of \(\tau ^+ \tau ^-\) (left panel) and \(\tau ^+ \tau ^-\gamma \) (right panel) for the \(q{\bar{q}} \rightarrow \tau ^+\tau ^- \tau ^+\tau ^- \gamma \) process at \(\sqrt{s}=10.5\) GeV with \(E_{\gamma }>0.2\) GeV. The upper panel shows the absolute distributions from the two samples generated using MadGraph and MadGraph + Photos; the lower panel shows the ratio of the two

3.2 Case of \(\gamma \gamma \rightarrow l^+l^- (\gamma )\)

Let us turn our attention to \(\gamma \gamma \rightarrow e^+e^- (\gamma )\) that is a building block for some pp simulation programs. From technical side this case is simpler because incoming partons are not charged, and if one works in \(\gamma \gamma \) collision frame, the \(\gamma \gamma \rightarrow e^+e^-\) angular distribution does not peak. This may not be the case once strong boost to lab frame takes place.

The consequence of boost requires attention, especially for the cases when there are initial-state high \(p_T\) jets present. That may require detailed explanation and broader windows of generations of \(\gamma \gamma \rightarrow l^+l^-\) samples than acceptance, as well as checks of the impact from the cuts in combinations with boosts. Note that Photos will “kick” some of the events into acceptance region and this need to be checked. It may be especially important for the multi-photon bremsstrahlung configurations.

On the other hand, nothing like that seems to be challenging from the perspective of our test runs, see Fig. 8. The obtained distributions are smooth and thanks to the used approximations Photos works well. One should remember that collinear and soft photon phase space regions are excluded, but all hard non-collinear photon configurations are taken into account. That is the phase space region where Photos is not guaranteed to work well due to its design. Still, only for hardest emission sub-region which is scarcely populated, differences may approach 70%. That should be expected, as the kernel in Photos is not improved with matrix element for this case. The overall agreement between Photos and MadGraph is at the level of 0.01\(\times \)0.05, but at present this is from simplistic/naive tests only. The diagrams used for spin amplitudes are rather simple in this case, see Fig. 4.

Fig. 8
figure 8

The distribution of invariant mass of \(\mu ^+ \gamma \) (left panel) and \(\mu ^-\mu ^+ \) (right panel) for the \(\gamma \gamma \rightarrow \mu ^-\mu ^+ \gamma \) process. Comparison between Photos and MadGraph. For details of selection cuts see the text. Collinear and soft photon phase space regions are excluded, but all hard non-collinear photon configurations are taken into account. That is the phase space region where Photos is not guaranteed to work well due to its design. Still, only for hardest emission sub-region which is scarcely populated, differences may approach 70%. That should be expected, as the kernel in Photos is not improved with matrix element for this case

To enable Photos activation we had to introduce intermediate cluster formed by the incoming \(\gamma \gamma \) pair and then decaying to lepton pair.

4 Usage for phenomenology

In the previous parts of the paper we have explained the interface of Photos to our test environment (including MadGraph, MC-tester and Photos working in a single emission mode). This might have look complicated and hard to reproduce, but in usual applications, when it is not necessary to manipulate event record content, it is straightforward, see program manual [4]. As long as the events, for which the bremsstrahlung is to be added, are stored in HepMC [23] or Hepevt [24] format, we simply feed them to Photos and obtain back events of the same format but possibly with additional photons added. Such events can be further processed, e.g. by simulation of detector response. That is why Photos can work with any generator chain, without any burden for the user.

Our paper explains reliability tests of Photos for events with hard non-collinear photons where it may not be accurate. For comparison with MadGraph simulation where single photon configurations are generated from exact phase space and exact matrix element, also the Photos single photon mode of operation has to be activated. In practice, Photos is expected to be used in the multi-photon mode covering the whole phase space also that of collinear and soft photons. Photos algorithm is closely related to exponentiation, that is why, e.g. the Yennie–Frautschi–Suura \(\beta _1\) part [25,26,27,28] of the second order matrix element is taken into account.

We note that a full scale matching of Photos with higher order matrix element for \(q {{\bar{q}}} \rightarrow 4l+\gamma \) like processes would require development of a dedicated matching scheme. Preferably separating matrix element into parts corresponding to Born times eikonal factor and the so-called \(\beta _1\) of Yennie Frautchi Suura exponentiation. Unfortunately it requires major effort. Separation of the phase space into soft photon region, for which Photos would be used like in [29] and matrix element generator for hard emissions is also possible, but again would require considerable effort. For the moment we have demonstrated that using an approximate treatment provided by Photos gives sufficiently good results for many current applications.

5 Summary

In the paper, we have addressed the question of how reliable is using Photos Monte Carlo for simulation of final state bremsstrahlung in \(e^+e^- (q {{\bar{q}}}) \rightarrow l^+l^- l^+l^-\) and \(\gamma \gamma \rightarrow l^+l^- (n\gamma )\) hard processes. Photos algorithm is prepared for combination with complete simulation chain (as used in experimental analyses) and is expected to be used as an add up solution for bremsstrahlung in decay of particles or resonances. The applicability of Photos extends beyond processes selected here. Evaluation of ambiguities is thus of particular importance, especially if hard and/or non-collinear photon emissions are of interest. For such configurations comparisons with matrix element tree-level based simulation was now performed; Photos operation was restricted to single photon emissions only. Then full phase space with explicit parametrization was used and the differences with respect to reference MadGraph simulations are shown. In this way approximations used in Photos emission kernel (its simplified matrix element) are exposed. The comparisons relied on automatically defined and collected 1-dimensional distributions of all possible invariant masses which can be constructed from the outgoing particles. These full results are collected in the Appendices, whereas in Sect. 3 selected results of particular interest were recalled. Only the events with hard non-collinear photons were taken into account because that is the phase space region where source of ambiguities is expected to reside. For the soft or collinear photons Photos algorithm is expected to work in a general case.

The obtained agreement level is encouraging. We quantify it as the difference between area under the invariant mass histograms, and in all considered cases such differences are below 3%. Note that monitored events represented up to 10% of the samples for the selected processes and cuts. In this way, we can indicate size of the ambiguities due to the approximations used in Photos. Similar reliability for further processes also somewhat outside of Photos applicability range can be expected.

Naively one could take the size of the obtained differences (\(\sim 3\%\)) and the fact that approximations affect only subset of actual events (\(\sim 10\%\)) to estimate the global effect as \(3\%*10\%\) thus giving 0.003. For \(\gamma \gamma \rightarrow \mu ^+ 2\mu ^- (\gamma ) \) agreement seem to be even better. Once these tests are completed we can address effects of multi-photon radiation. This can be taken into account with the help of bremsstrahlung photon simulation segment of Photos. Full simulation chains is then enriched, without much of intervention into the software design. However, since we have not used realistic or even idealized observables to evaluate the impact of approximation on observables of phenomenological interest, we can not claim that precision with certainty. For that, additional work using dedicated event samples and idealized observables is needed and we are looking forward to such work.

One should stress that Photos was not expected to be used for processes with strong t-channel transfer dependence or for processes where non-bremsstrahlung matrix elements vary largely over the phase space, e.g. due to intermediate resonances. This required special attention. E.g. if the intermediate Z-boson resonances were explicitly written into the content of event records, prior to invoking Photos, allowed to reduce the differences, especially for the cases of \(2\mu ^+ 2\mu ^-\) and \(\mu ^+ \mu ^- l^+ l^-\) production at 240 GeV.