Fourth-order interference in the Wigner representation for parametric down-conversion experiments

In the Wigner formalism, after giving a general description of a light beam, the theory of parametric down-conversion is developed to second-order in the coupling constant. We then describe the detection process by calculating the auto-correlation and cross-correlations of the signal and idler beams. Four recent experiments are analyzed in detail: interference on a screen, Franson's experiments [Phys. Rev. Lett. 62, 2205 (1989)], Rarity and Tapster's experiments [Phys. Rev. Lett. 64, 2495 (1990)], and induced coherence without induced emission.