Phase-Space Integration and Monte Carlo Estimators
Phase-space integration turns a finite weighted matrix element into a number. For many final-state particles the domain is high-dimensional and the integrand is sharply structured by propagators, thresholds, soft and collinear remnants, cuts, and subtraction terms. Monte Carlo methods remain useful because their canonical root-mean-square convergence rate does not worsen explicitly with dimension, although its variance prefactor certainly can. That advantage is meaningful only when the sampling density, variance, correlations, and convergence diagnostics are stated.
Required background. Lorentz-Invariant Phase Space supplies the measure and recursive factorizations. Measurement Functions and Inclusive Observables supplies the weight being integrated.
Helpful background. Probabilistic Convergence, Laws of Large Numbers, and Central Limit Theorems explains estimator convergence and its hypotheses. Product Measures, Fubini–Tonelli, and Change of Variables supplies the measure-theoretic basis for mappings and iterated phase space.
Importance sampling
Section titled “Importance sampling”Write the desired finite integral as
Choose a normalized density wherever , draw independent samples , and define weights
The estimator
is unbiased when is absolutely integrable. When the second moment is finite, its variance is
Thus should approximate , not merely reproduce the phase-space volume. The unattainable zero-variance choice for a nonnegative integrand is . Real calculations use analytic knowledge and adaptive estimates to approach this shape.
If samples are independent and the weight has finite variance, the central limit theorem motivates
This one-standard-error estimate is a sampling diagnostic, not a theory uncertainty or an automatically calibrated confidence interval. Heavy tails, adaptive reuse of samples, quasi-random sequences, or correlated Markov samples require a different error analysis.
Mapping physical structures
Section titled “Mapping physical structures”A phase-space generator maps uniform random variables to momenta obeying on-shell conditions and momentum conservation. The transformed integrand includes the Jacobian,
Good coordinates flatten known structures. For a resonance with invariant mass , for example, a mapping based on
absorbs the Breit–Wigner denominator into over the allowed range. A collinear channel benefits from variables adapted to an angle or transverse momentum; a threshold benefits from the appropriate velocity variable. The map must still cover the complete integration region with a known, nonzero density.
Recursive phase-space factorization gives
which naturally parameterizes sequential decays. It is a change of variables, not a narrow-width approximation: remains integrated over its physical range unless an approximation is explicitly invoked.
Multi-channel sampling
Section titled “Multi-channel sampling”One map rarely resolves all propagator and singular structures. Let normalized channel densities cover complementary regions and choose nonnegative coefficients with . The mixture
gives the weight
Every sampled point must be divided by the full mixture density, even when it was generated through one channel. Otherwise overlapping channels are double counted. Channel weights can be adapted to reduce variance, but their update rule and the independence of the final error sample must be documented. Multi-channel optimization for scattering integrals is developed in Kleiss and Pittau 1994, pp. 141–146.
Adaptive stratification, such as VEGAS, learns a separable approximation to the marginal structure of the integrand Lepage 1978, pp. 192–203. It is effective when peaks align with coordinates, but a rotated or strongly correlated ridge still needs a physical mapping or multiple channels.
A two-body benchmark
Section titled “A two-body benchmark”For a decay of invariant mass to particles of masses , integration over solid angle gives
with
For two massless daughters, the result is . A phase-space generator should reproduce this normalization for a constant integrand before it is trusted on a matrix element. Further checks include rotational invariance, the endpoint at , and exact four-momentum conservation at every generated point.
A nonconstant moment also checks the estimator variance. Generate a uniform direction with and , and weight the massless two-body phase space by
The weight is even under exchange of two identical final particles. Relative to the constant-integrand result ,
For independent uniform samples, the ratio estimator is the mean of . Its variance is fixed analytically:
so
At the predicted standard error is . This bounded fixture simultaneously checks the angular Jacobian, the mean, the variance calculation, and the observed scaling. It does not test a peaked matrix element or an adaptive proposal.
Convergence and failure diagnostics
Section titled “Convergence and failure diagnostics”Record more than the final standard error:
- estimates and variances for statistically independent batches;
- the largest absolute weights and their phase-space locations;
- effective sample sizes or channel occupancies;
- stability under alternative mappings and channel coefficients;
- scaling of the error with over a resolved range;
- cancellation loss when positive and negative subtraction contributions are combined;
- results for analytic constant or low-degree benchmark integrands;
- reproducible random seeds or a documented seed policy.
For signed integrands, can be much larger than . Then a small absolute error on two large cancelling contributions may still be a large relative error on . Integrating correlated pieces together can reduce variance, but the covariance must be included.
Unweighting converts positive weighted samples into equal-weight events by accepting with probability . It requires a valid upper bound and is inefficient for broad weight distributions; negative fixed-order weights do not admit this elementary interpretation. Event-generator construction is beyond this page.
No runnable phase-space laboratory is currently available. The analytic two-body normalization and batch diagnostics above provide the static reproducibility path available here.
Common pitfalls
Section titled “Common pitfalls”Allowing where . Importance sampling is then biased because part of the integral is never sampled. Every channel mixture must have complete support.
Quoting without checking finite variance. Rare extreme weights can invalidate the observed error estimate. Inspect tails and repeat independent batches.
Reusing adaptive samples as if the density were fixed. Adaptation creates dependence between the learned map and sampled values. Separate training from the final integration or use a justified adaptive estimator.
Hiding normalization in the generator. State whether flux, symmetry factors, Jacobians, spin/color averages, and unit conversions are in , , or an outer factor.
Exercises
Section titled “Exercises”Use the ideal one-dimensional density
for the two-body moment above. Show that it is normalized and that its importance weight is constant.
Solution
Since , the prefactor normalizes . Relative to the uniform angular density , the estimator for the moment ratio has weight
Every sample has the exact mean weight, so this idealized one-dimensional fixture has zero variance. Constructing or sampling the ideal density is not generally possible for a realistic unknown integrand.
Where to continue
Section titled “Where to continue”- Fixed-Order Organization and Scale Dependence distinguishes integration error from perturbative truncation diagnostics.
- Validation and Theory Uncertainties records benchmark, convergence, and reproducibility checks together.
- Unstable-Particle Observables and Controlled Resonance Approximations explains when a resonance mapping is combined with a pole approximation and when it is not.
References
Section titled “References”- Kleiss, Ronald, and Roberto Pittau. “Weight Optimization in Multichannel Monte Carlo.” Computer Physics Communications 83 (1994): 141–146. doi:10.1016/0010-4655(94)90043-4. Open PDF.
- Lepage, G. Peter. “A New Algorithm for Adaptive Multidimensional Integration.” Journal of Computational Physics 27 (1978): 192–203. doi:10.1016/0021-9991(78)90004-9.