The separation of radiation into initial- and final-state showers is arbitrary, but very convenient. There are also situations where it is appropriate: for instance, the process only contains final-state QCD radiation (QED radiation, however, is possible both in the initial and final state), while only contains initial-state QCD one. Similarly, the distinction of emission as coming either from the or from the is arbitrary. In general, the assignment of radiation to a given mother parton is a good approximation for an emission close to the direction of motion of that parton, but not for the wide-angle emission in between two jets, where interference terms are expected to be important.
In both initial- and final-state showers, the structure is given in terms of branchings , specifically , , , , and . (Further branchings, like and , could also have been added, but have not yet been of interest.) Each of these processes is characterized by a splitting kernel . The branching rate is proportional to the integral . The value picked for a branching describes the energy sharing, with daughter taking a fraction and daughter the remaining of the mother energy. Once formed, the daughters and may in turn branch, and so on.
Each parton is characterized by some virtuality scale , which gives an approximate sense of time ordering to the cascade. We stress here that somewhat different definition of are possible, and that PYTHIA actually implements two distinct alternatives, as you will see. In the initial-state shower, values are gradually increasing as the hard scattering is approached, while is decreasing in the final-state showers. Shower evolution is cut off at some lower scale , typically around 1 GeV for QCD branchings. From above, a maximum scale is introduced, where the showers are matched to the hard interaction itself. The relation between and the kinematics of the hard scattering is uncertain, and the choice made can strongly affect the amount of well-separated jets.
Despite a number of common traits, the initial- and final-state radiation machineries are in fact quite different, and are described separately below.
Final-state showers are time-like, i.e. partons have . The evolution variable of the cascade has therefore traditionally in PYTHIA been associated with the of the branching parton. As discussed above, this choice is not unique, and in more recent versions of PYTHIA, a -ordered shower algorithm, with , is available in addition to the mass-ordered one. Regardless of the exact definition of the ordering variable, the general strategy is the same: starting from some maximum scale , an original parton is evolved downwards in until a branching occurs. The selected value defines the mass of the branching parton, or the of the branching, depending on whether the mass-ordering or the -ordering is used. In both cases, the value obtained from the splitting kernel represents the parton energy division between the daughters. These daughters may now, in turn, evolve downwards, in this case with maximum virtuality already defined by the previous branching, and so on down to the cut-off.
In QCD showers, corrections to the leading-log picture, so-called coherence effects, lead to an ordering of subsequent emissions in terms of decreasing angles. For the mass-ordering constraint, this does not follow automatically, but is implemented as an additional requirement on allowed emissions. The -ordered shower leads to the correct behaviour without such modifications [Gus86]. Photon emission is not affected by angular ordering. It is also possible to obtain non-trivial correlations between azimuthal angles in the various branchings, some of which are implemented as options. Finally, the theoretical analysis strongly suggests the scale choice , and this is the default in the program, for both shower algorithms.
The final-state radiation machinery is normally applied in the c.m. frame of the hard scattering or a decaying resonance. The total energy and momentum of that subsystem is preserved, as is the direction of the outgoing partons (in their common rest frame), where applicable.
In contrast to final-state showers, initial-state ones are space-like. This means that, in the sequence of branchings that lead up from the shower initiator to the hard interaction, particles and have . The `side branch' particle , which does not participate in the hard scattering, may be on the mass shell, or have a time-like virtuality. In the latter case a time-like shower will evolve off it, rather like the final-state radiation described above. To first approximation, the evolution of the space-like main branch is characterized by the evolution variable , which is required to be strictly increasing along the shower, i.e. . Corrections to this picture have been calculated, but are basically absent in PYTHIA. Again, in more recent versions of PYTHIA, a -ordered ISR algorithm is also available, with .
Initial-state radiation is handled within the backwards evolution scheme. In this approach, the choice of the hard scattering is based on the use of evolved parton distributions, which means that the inclusive effects of initial-state radiation are already included. What remains is therefore to construct the exclusive showers. This is done starting from the two incoming partons at the hard interaction, tracing the showers `backwards in time', back to the two shower initiators. In other words, given a parton , one tries to find the parton that branched into . The evolution in the Monte Carlo is therefore in terms of a sequence of decreasing (space-like virtuality or transverse momentum, as applicable) and increasing momentum fractions . Branchings on the two sides are interleaved in a common sequence of decreasing values.
In the above formalism, there is no real distinction between gluon and photon emission. Some of the details actually do differ, as will be explained in the full description.
The initial- and final-state radiation shifts around the kinematics of the original hard interaction. In Deeply Inelastic Scattering, this means that the and values that can be derived from the momentum of the scattered lepton do not automatically agree with the values originally picked. In high- processes, it means that one no longer has two jets with opposite and compensating , but more complicated topologies. Effects of any original kinematics selection cuts are therefore smeared out, an unfortunate side-effect of the parton-shower approach.