The ZWM interferometer, first demonstrated by Wang, Zou and Mandel in 1991, remains one of the most striking illustrations of induced coherence without induced emission. In the experiment, photon pairs are generated by spontaneous parametric down-conversion in two nonlinear crystals, labeled A and B, that are coherently pumped. The idler photon produced in crystal A passes through an object and then enters crystal B, where it seeds the emission of the second crystal. Because the two idler paths are aligned to be physically identical, the signal photons emerging from the two crystals interfere with one another even though they were generated in different places. Remarkably, if the object in the idler arm is transparent, the signal interference is perfect; if the object is opaque, the interference disappears entirely, as though the signal photon “knows” something about its partner’s journey it was never allowed to see.

The new study formulates this behavior as a binary quantum hypothesis-testing problem. When the pump is weak—the so-called low-gain regime—each pump pulse produces at most one photon pair, and that pair is emitted by one crystal or the other. These two alternatives prepare two conditional states of the idler photon, which acts as a marker encoding which-crystal information. If the object between the crystals has complex amplitude transmittance t and reflectance r, with |t|² + |r|² = 1, then emission from crystal A prepares the idler marker state |φ₁⟩ = r|1,0⟩ + t|0,1⟩, while emission from crystal B, whose idler bypasses the object, prepares |φ₂⟩ = |0,1⟩. These two pure states are generally nonorthogonal, with an overlap |⟨φ₁|φ₂⟩| = |t|, and it is precisely this nonorthogonality that governs how much interference survives in the signal arm.

The power of the new work lies in connecting this overlap to two celebrated results in quantum detection theory. The first is unambiguous state discrimination, formulated independently by Ivanovic, Dieks and Peres (IDP) in 1987–88. In an IDP measurement, the observer is allowed never to be wrong, at the price of occasionally obtaining an inconclusive result. For two equally likely nonorthogonal states, the optimal inconclusive probability equals the overlap of the states. Theerthagiri shows that in the ZWM interferometer this optimal inconclusive probability is exactly the signal fringe visibility V = |t|. In other words, the height of the interference fringes observed on the signal detector is a direct measure of how often any error-free “which crystal fired?” measurement on the idler must fail. The complementarity relation D² + V² = 1, familiar from the work of Wootters, Zurek, Englert and others, thereby acquires the operational form D² + (P_I^opt)² = 1, where the distinguishability D is tied to the conclusive success probability of the IDP measurement.

The second connection is to minimum-error discrimination and the Helstrom bound, the ultimate limit on how accurately two quantum states can be told apart when every measurement outcome must be a definite guess. Theerthagiri derives the explicit optimal Helstrom measurement for the ZWM marker states, showing that the minimum achievable error probability for the binary “which crystal?” test is P_err^min = ½(1 − √(1 − V²)), with a maximum success probability of ½(1 + √(1 − V²)). The trace-distance distinguishability D_Hel = √(1 − V²) then satisfies D_Hel² + V² = 1 identically, demonstrating that the “particle-like” quantity in the standard duality relation is precisely the Helstrom distinguishability of the minimum-error source-identification task. Complementarity, in this light, is not an abstract principle imposed from outside but a theorem of quantum hypothesis testing.

The analysis is careful about its own limits. Theerthagiri extends the calculation to arbitrary parametric gain, where the idler-seeded emission in crystal B becomes significant. Using the undepleted-pump, single-mode Bogoliubov formalism, he shows that the mean signal photon number from crystal B is N_B = n_B(1 + T n_A), where n_A and n_B are the spontaneous photon numbers of the two crystals and T is the idler transmittance. The additional term T n_A n_B is the idler-seeded contribution, and it unbalances the two signal intensities, driving the ordinary fringe visibility toward zero at high gain. Crucially, however, the normalized first-order coherence |g^(1)| = √(T(1 + n)/(1 + Tn)) remains finite and even approaches unity. The apparent loss of interference at high gain is thus an intensity-balance artifact of idler seeding, not a violation of complementarity. Pairing the normalized coherence with a correlation-based distinguishability D_corr = √((1 − T)/(1 + Tn)) restores an exact saturation relation, D_corr² + |g^(1)|² = 1, valid at arbitrary gain. The lesson is that the trade-off between wave-like and particle-like information is modified, not destroyed, as the pump strength grows.

The study also confronts a complication that plagues real experiments: noise. When thermal background photons are injected into the object arm of the idler path, the conditional idler marker states cease to be pure and become mixed density operators ρ_A and ρ_B. Working in the Schrödinger picture with Uhlmann fidelity, the author proves a chain of inequalities: the observed signal visibility is bounded above by the fidelity F(ρ_A, ρ_B), which in turn bounds the optimal inconclusive probability of any unambiguous which-crystal measurement, V ≤ F(ρ_A, ρ_B) ≤ P_I^opt. In the ideal noiseless limit these inequalities collapse back to equality, recovering the clean relation V = P_I^opt. This mixed-state formulation connects the degraded visibility seen in noisy induced-coherence experiments directly to the fundamental limits on discriminating mixed quantum states, offering quantitative guidance for quantum imaging protocols that operate in imperfect conditions.

The broader significance of the work extends well beyond a single interferometer geometry. Induced coherence underpins quantum imaging with undetected photons, quantum optical coherence tomography, induced-coherence lidar, and proposals in quantum illumination, where information about an object is extracted from photons that never themselves interrogate it. The framework developed here applies generally to any two-path interferometer equipped with a marker degree of freedom—polarization, spatial mode or idler—and clarifies that the measurement chosen by the observer determines which slice of which-source information is actually accessible. Notably, the author emphasizes that the unambiguous discrimination at play is a retrodictive measurement of the pair’s source, not a which-path measurement, since the aligned idler modes make path information for the idler itself ill-defined.

By fusing the ZWM experiment with the Ivanovic–Dieks–Peres theorem and the Helstrom bound, the study delivers what complementarity discussions have often lacked: numbers an experimentalist can count. Every lost fringe corresponds to a reduced failure probability for an optimal error-free measurement, and every recovered photon of visibility sharpens the best possible guess. As induced-coherence technologies mature from table-top demonstrations toward practical quantum imaging and sensing, this operational dictionary between interference and information promises to become an essential design tool.