For a source with exactly two photons in each input arm, let be the probability of one horizontal and one vertical photon in the trigger arm. This sector alone supplies exactly one trigger photon. Splitting the other arm across its two output ports has probability ; the final polarizing beam splitter selects equal polarizations with probability . The fourfold success probability is therefore . The two-pair component of polarization-entangled down-conversion has , giving ; independent pair bookkeeping has , giving . Pair-label distinguishability can also destroy the conditional GHZ state coherence and must be checked separately.
Use the two-pair component of polarization-entangled down-conversion to account for identical bosons in the same collected modes. Write for a creation operator in mode with horizontal polarization, and similarly for the other modes. For the plus Bell state, the pair-creation operator is . The normalized four-photon state isThese are normalized Fock states. In particular, ; omitting this factor would misnormalize the four-photon input.
The first polarizing beam splitter sends to and to . Only the middle term can give exactly one trigger photon and leave another photon in . In the first term both photons reach and none reaches ; in the last there is no trigger. Thus the relevant, still unnormalized component is
For the selected paths of the half-wave plate and beam splitter, takeHere labels the output towards . An immaterial common reflection phase has been absorbed in the mode definitions. Keeping one photon at leavesAt the final polarizing beam splitter, the alternative yields one at each of , while yields one at each. The two opposite-polarization alternatives send both photons to the same detector and fail fourfold coincidence counting. The accepted component is thereforeAfter conditioning and normalization, the three detected output modes haveThe optical mode matching must erase any timing, frequency or other record that distinguishes the two alternatives. Otherwise the same polarization populations could describe an incoherent mixed quantum state, rather than this quantum superposition. The Bouwmeester three-photon GHZ experiment uses this principle. The photonic GHZ preparation by fourfold coincidence is a measurement in the coincidence basis: detecting all four photons projects and consumes them. A click at by itself does not herald a guaranteed freely available three-photon state.
The optical success probability of a fourfold GHZ source depends on the photon-number statistics of the assumed two-pair input. Let be the probability that arm contains one and one , given two pairs. The beam splitter then puts one of the two photons into each output with probability , and the final polarization-parity selection succeeds with probability . With ideal photodetectors,For the normalized, fully overlapping two-pair component of polarization-entangled down-conversion used above, , so the squared norm of the accepted component gives . Treating the two emissions instead as independently labelled Bell pairs gives the commonly used bookkeeping estimate and . This is a different pair-statistics approximation; it must not be obtained by dropping labels from an input state without renormalizing it. Genuine GHZ state coherence additionally requires erasing information about the pair of origin.
Let be the two-pair probability per pulse and the pulse repetition rate. The coincidence rate is . With the usual order-of-magnitude estimate , the supplied and give . The fully overlapping model gives , about one event per twelve seconds; independent-pair bookkeeping gives , about one per eight seconds. Thus the estimate is of order under these idealizations.
An exact prefactor cannot follow from the single-pair probability alone. For example, the pair-number statistics of polarization-entangled down-conversion in a single collected mode pair give at weak gain, and hence with . Multiple temporal or spectral modes change those statistics. Real collection losses and detector efficiencies further reduce the rate; they are excluded by the ideal calculation.