{"id":"1ad821e6-3588-47f5-8f2d-18b87cc52229","arxiv_id":"2501.04849","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The extended Hong-Ou-Mandel effect is traced to pairwise cancellation of mirror-image scattering amplitudes, and detection challenges for a single photon interfering with a coherent state are analyzed.","lead":"This paper examines a multiphoton generalization of the Hong-Ou-Mandel effect in which odd-numbered photon inputs produce a line of exact zeros in coincidence detection. It then analyzes how imperfect detectors, realistic wavepackets, and timing offsets would affect observing this effect in the lab.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Equation (3) omits the coherent-state amplitude factor |β|^{2(N1+N2-1)}, invalidating the quantitative predictions in Section III.","rationale":"The paper's central theoretical claim—that an odd-parity input on one port produces an exact zero diagonal for a lossless balanced beam splitter, regardless of the other port—survives scrutiny. For each Fock component |n,m> with n odd, the output amplitude for |N,N> is zero either because the total photon number is odd (m even) or by the pairwise cancellation of mirror-image scattering amplitudes (m odd). The diagrammatic argument in Section II is consistent with this and the reader's strongest_claim is correct. The most load-bearing weakness lies in the experimental quantitative analysis. Equation (3) is a concrete algebraic error: it omits the coherent-state amplitude factor. This error propagates into Eq. (4) and the imperfect-detection analysis, which is one of the paper's stated goals. The reader flagged this error in the rationale but chose indistinguishability as the weakest assumption; I agree with the final CONDITIONAL verdict but would emphasize the Eq. (3) error as the primary load-bearing concern because it is internal and testable, whereas the indistinguishability assumption is a standard idealization that the paper explicitly declares. A single independent re-derivation of Eq. (3) would settle the issue. If the corrected factor changes the numerical predictions meaningfully, the experimental guidance in Section III must be revised, though the qualitative existence of the CNL remains intact. Thus the reader's verdict of CONDITIONAL is appropriate and no further adjustment is needed.","tokens_in":18108,"tokens_out":25519,"duration_ms":223697,"concrete_test":"Independently derive P(N1,N2) for |1,β> from Ou's formula P(N1,N2) = N!/(N1! N2! 2^{N+1}) (N1-N2)^2 δ_{N1+N2,N+1} for |1,N>, multiplied by |c_N|^2 = e^{-|β|^2} |β|^{2N}/N! and summed over N. If the resulting expression contains the factor |β|^{2(N1+N2-1)} (as it does), Eq. (3) is wrong; then recompute Eq. (4) with the corrected factor and check whether the predicted P_η(n,n) for n = 1, 2 changes by more than a few percent for representative β and η.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section III's central quantitative result, Eq. (3), claims P(N1,N2) = e^{-|β|^2} (N1-N2)^2 / (N1! N2! 2^{N1+N2}) for the |1,β> input. The correct expression, obtained by convolving Ou's result for |1,N> with the coherent-state photon-number distribution e^{-|β|^2}|β|^{2N}/N!, is P(N1,N2) = e^{-|β|^2} |β|^{2(N1+N2-1)} (N1-N2)^2 / (N1! N2! 2^{N1+N2}). The missing |β|^{2(N1+N2-1)} factor changes all off-diagonal probabilities and therefore the smeared CNL calculation in Eq. (4). Since Section III's purpose is to quantify the prospects for detecting the eHOM effect under imperfect detection, this error makes those predictions untrustworthy. The diagonal zero itself (the CNL) is unaffected because (N1-N2)^2 vanishes, so the qualitative central claim survives; only the experimental feasibility analysis is impacted. The reader's weakest assumption about mode indistinguishability is a valid experimental caveat, but it is an idealization the paper explicitly adopts, whereas Eq. (3) is an internal mathematical error that can be corrected and re-evaluated.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"Drawing on the authors' earlier work on the extended Hong-Ou-Mandel (eHOM) effect, this manuscript has two goals. First, it presents a diagrammatic account in which the vanishing of the coincidence amplitude for odd-odd Fock inputs |n,m> to a balanced lossless beam splitter is seen as pairwise cancellation of mirror-image scattering amplitudes, generalizing the two-photon HOM effect. Second, it analyzes a proposed experimental realization in which a single photon in one input port interferes with a coherent state in the other, adding imperfect detection efficiency, spatio-temporal mode functions, and detection time delays. The main quantitative results are the joint output probability P(N1,N2) for the |1,beta> input, the smeared coincidence probability under inefficient detection, the time-domain two-photon coincidence rate, and a Kelly-Kleiner photon-counting expression for the diagonal probability P_eta(N,N). The paper claims that in the ideal limit these expressions reduce to the central nodal line (CNL) of zeros.","tokens_in":18352,"tokens_out":35130,"duration_ms":315582,"significance":"The eHOM theorem—that an odd-parity state in one input port forces a diagonal line of zeros in the joint output distribution regardless of the other input state—is a striking and nontrivial consequence of bosonic interference, previously established by the authors in [1,2]. The present paper's diagrammatic interpretation is instructive, and its explicit treatment of detector inefficiency, mode functions, and time delays is a useful step toward an experiment. The paper is also honest about its idealizations: it assumes all photons occupy a single spatio-temporal mode and explicitly notes the degradation of the CNL under imperfect detection. However, the manuscript's new quantitative contribution is compromised by the error in Eq. (3), which affects all numerical predictions in Section III. The qualitative CNL claim is not in question, but the experimental feasibility analysis must be corrected before the paper can be recommended.","major_comments":[{"comment":"Eq. (3) is missing the factor |beta|^{2(N1+N2-1)}. Convolving Ou's result for |1,N>, P(N1,N2) = N!/(N1! N2! 2^{N+1}) (N1-N2)^2 delta_{N1+N2,N+1}, with the coherent-state photon-number distribution |c_N|^2 = e^{-|beta|^2} |beta|^{2N}/N! gives e^{-|beta|^2} |beta|^{2(N1+N2-1)} / (N1! N2! 2^{N1+N2}) (N1-N2)^2, as the paper's own footnote states. The published equation omits the |beta| factor, so all off-diagonal probabilities in Section III and the smeared-CNL sums in Eq. (4) are quantitatively incorrect. The diagonal zero is unaffected, so the qualitative CNL claim survives, but the numerical basis for the experimental feasibility discussion must be redone.","section":"Section III.A, Eq. (3) and footnote [29]"},{"comment":"The second line of Eq. (4) is not equal to the first line. The first line already contains eta^{2n} in the summand; the second line inserts an additional leading factor eta^{2n} while retaining eta^{2n} inside the sum. The equality should read 2 times the off-diagonal double sum with a single eta^{2n} (or the corresponding corrected expression once Eq. (3) is fixed). As written, Eq. (4) misstates the magnitude of P_eta(n,n), although the positivity conclusion is unaffected.","section":"Section III.A, Eq. (4)"}],"minor_comments":[{"comment":"The second factor in the Kelly-Kleiner formula is written with a_{2,out} a^dagger_{2,out}; it should be a^dagger_{2,out} a_{2,out} to match the first factor and the normal-ordering prescription.","section":"Section IV.C, Eq. (14)"},{"comment":"The manuscript should state explicitly that P^{|1,beta>}_{11,12}(t0,tau) is a two-time Glauber correlation function, not the number-resolved joint probability P(N1,N2) of Eq. (3). The nonvanishing DC term in Eq. (12a) is then understandable, but the connection to the CNL of the number-resolved distribution should be clarified at this point; it is addressed later in Section IV.C.","section":"Section IV.B, after Eq. (12)"},{"comment":"The paper should state at the outset that the general eHOM theorem is taken from Refs. [1,2]; the present Section II is an illustrative pairwise-cancellation argument for the outermost and penultimate pairs, with the general proof left to the references.","section":"Section II"},{"comment":"There are several typographical errors that should be corrected, including 'their is no possibility' (Section II.A), 'similary' (Section II.A), 'discreetness' (Section V), and 'photon-electron' (Ref. [34], which should be 'photoelectron').","section":"Throughout"},{"comment":"Reference [2] is an arXiv preprint; if a peer-reviewed version has appeared by the time of publication, it should be cited in its place.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is a follow-up to the authors' own previous work, and the novelty lies mainly in the experimental analysis. The error in Eq. (3) is the kind that can be corrected, but because it directly affects the quantitative claims of Section III, I recommend major revision rather than rejection. The paper's reliance on Refs. [1,2] for the central theorem is appropriate for a follow-up, but the authors should make the scope of new results explicit. If the quantitative formulas are corrected and the time-domain versus number-resolved distinction is tightened, the paper would be suitable for publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: if you want to understand why the eHOM cancellation works, the diagrammatic section in this paper is the clearest presentation I have seen. If you want quantitative predictions for detecting the effect with a |1,β> input, wait until Eq. (3) is fixed.\n\nWhat is genuinely new here is not the eHOM effect itself—that comes from the authors' prior work, and they cite it openly. The new value is in the diagrams and in the experimental formulas: imperfect detection efficiency, spatio-temporal mode functions, time-resolved coincidence detection, and the Kelly–Kleiner photon-counting treatment for higher-order coincidences. The diagrammatic pairwise cancellation is a real pedagogical improvement, and Section IV is a serious attempt to connect the idealized theorem to realistic detection. That work deserves credit.\n\nThe soft spot is real and concrete. Eq. (3) gives P(N1,N2) = e^{-|β|^2}(N1-N2)^2/(N1! N2! 2^{N1+N2}), but the paper's own footnote [29] supplies the missing factor. Convolving Ou's |1,N> result with the coherent-state photon-number distribution gives an extra |β|^{2(N1+N2-1)}. This is not a matter of convention; it follows directly from their stated ingredients. The omission changes every off-diagonal probability in Section III, and therefore the smeared coincidence probability in Eq. (4) is quantitatively wrong. The central nodal line survives because (N1-N2)^2 vanishes on the diagonal, so the qualitative claim is intact. But the experimental feasibility numbers, which are the point of Section III, are not reliable until the factor is restored and the sums are redone.\n\nA second, smaller concern: the spatio-temporal analysis in Section IV is dense and the intermediate steps are hard to check quickly. The τ=0 limit and the DC-versus-interference decomposition are plausible, and Eq. (20b) does reduce to zero in the idealized limit, but I would want an independent verification of Eqs. (19)–(20a) before citing them. The paper's assumption that all photons share a single spatio-temporal mode is stated explicitly, so it is a declared limitation rather than an oversight; it should be flagged more prominently in the conclusions, but it is not a fatal flaw.\n\nBottom line: this is a useful paper for someone planning an eHOM experiment, and the diagrammatic section alone is worth a look. It deserves a serious referee, but the referee should require the Eq. (3) correction and a recomputation of the affected probabilities before publication. I would not cite it in its current form, but I would bring it to a reading group.","headline":"A useful diagrammatic and experimental addendum to the eHOM story, but Eq. (3) is missing the coherent-state amplitude factor, so the quantitative detection analysis needs correction before it can be trusted.","tokens_in":18886,"tokens_out":3951,"would_cite":false,"duration_ms":36790,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81V80"],"pacs":["42.50.-p"],"model":"deepseek-v4-flash","headline":"This paper claims that the extended Hong-Ou-Mandel effect is universal: for a lossless balanced 50:50 beam splitter, an odd-parity state in one input port produces a central nodal line of exact zeros along the diagonal of the joint…","keywords":["Hong-Ou-Mandel effect","extended HOM","central nodal line","beam splitter interference","coherent state","photon number parity","photon counting","quantum interference"],"falsifier":"Send a single photon and a coherent state into a balanced 50:50 beam splitter with detectors capable of resolving photon number, arrange zero arrival-time difference and identical spatial/polarization modes, and count coincidences at (1,1). The central claim predicts exactly zero contribution from the interference term (the CS-only background can be measured and subtracted); observing a nonzero coincidence rate under these ideal conditions would falsify the universality of the nodal line.","tokens_in":17881,"feed_emoji":"⚛️","tokens_out":7427,"duration_ms":69333,"temperature":0.7,"pith_summary":"The paper argues that the familiar two-photon Hong-Ou-Mandel effect generalizes far beyond two-photon inputs: on a lossless 50:50 beam splitter, any input state on one port built only from odd photon numbers forces the joint output probability for equal photon counts to vanish exactly, no matter what state is sent into the other port. This 'extended HOM' (eHOM) effect means a central nodal line of zeros runs down the diagonal of the coincidence detection distribution. The authors show the mechanism diagrammatically as a pairwise cancellation of mirror-image scattering amplitudes, each pair contributing equal magnitude and opposite sign. They then work out what an experiment would need to see the effect, using a single photon from a heralded source and a coherent-state (laser) input, and show that imperfect detection efficiency, mode functions, and time delay turn the exact zeros into measurable dips. A sympathetic reader would care because the result offers a clean, state-independent way to see a single-photon quantum effect on a bright classical beam.","feed_headline":"Odd photon parity zeros every equal-count coincidence","feed_subtitle":"One photon plus any other state—even a laser—gives exactly zero equal-count coincidences.","key_machinery":"The mechanism is the pairwise cancellation of mirror-image scattering amplitudes for the coincidence output. Labelling A_k the amplitude in which k photons from port-1 transmit to output-1 (and the rest reflect), the total amplitude is sum_{k=0}^n A_k; for odd n the amplitudes pair as A_k + A_{n-k}, each pair having equal magnitude and opposite sign when the beam splitter is balanced, because the unitary scattering matrix carries a single -1 phase for reflection from mode-2 to mode-1. This tracing of the (-1) phase through the scattering diagrams is what converts the two-photon HOM cancellation into an n+1-fold chain of cancellations.","core_discovery":"The central claim is that the extended Hong-Ou-Mandel effect is real and universal: for a lossless, balanced 50:50 beam splitter, if the state injected into one input port has odd parity (only odd photon-number components), then the amplitude for any equal-count coincidence output |N,N> is a sum of mirror-image pairs that cancel exactly, giving P(N,N)=0 for every N, regardless of the state injected into the other port (pure or mixed). For even-parity inputs the mirror-image pairs have equal signs and an unpaired middle term survives, so no such zeros appear. For the experimentally relevant case of a single photon in one port and a coherent state in the other, the paper derives the joint detection probabilities and shows that in the idealized limit of unit efficiency, zero time delay, and perfect modal overlap, the diagonal probability P(N,N) tends to zero; realistic imperfections replace the zeros with small positive values that should still be observable with photon-number-resolving detectors at low N.","pith_inferences":["The state-independence of the central nodal line suggests a practical parity meter: any odd-photon-number state, however weak, leaves a detectable zero line against an arbitrarily bright coherent background, which could be used to certify single-photon character in noisy channels.","A differential measurement—recording the coincidence rate with and without the single photon—would isolate the interference term from the coherent-state background and could make the dip visible even at moderate detection efficiency.","The same pairwise cancellation argument should apply to other unitary two-port linear devices with equal transmission and reflection probabilities, such as directional couplers, provided the -1 phase structure is preserved.","The result implies that a coherent state, despite being classical-like, cannot destroy the single-photon interference node; this sharpens the distinction between the nonclassicality of the odd-parity state and the classicality of its partner state."],"forward_implications":["Odd-parity inputs, such as a single photon, produce a central nodal line of exact zeros in the joint coincidence distribution for a lossless balanced beam splitter, independent of the second input state.","Even-parity inputs do not produce such zeros; instead the mirror-image amplitudes interfere constructively and an unpaired middle term remains.","For single-photon/coherent-state inputs, the diagonal probability P(N,N) vanishes in the idealized limit, so the effect is testable with photon-number-resolving detectors at low N.","Imperfect detector efficiency converts the exact zeros into small positive values proportional to eta^{2n}, so observation is easiest for N=1,2 coincidences.","At zero detection time delay the interference term vanishes regardless of the spatio-temporal mode functions, meaning the nodal structure survives for non-monochromatic photons as long as the photons are otherwise indistinguishable."],"supporting_citations":[{"why":"Establishes the eHOM effect and the central nodal line for odd-parity inputs; this paper extends and applies that claim.","marker":"[1]"},{"why":"Provides the analytical proof that odd-odd Fock inputs cancel pairwise; this paper renders it diagrammatically.","marker":"[2]"},{"why":"The original two-photon HOM experiment whose coincidence dip is the baseline for the multi-photon generalization.","marker":"[3]"},{"why":"Supplies the single-photon-plus-coherent-state interference amplitude from which the diagonal probability formula is derived.","marker":"[6]"},{"why":"Gives the SU(2) treatment of the lossless beam splitter and isolated zeros in joint output probabilities, a precursor to the full nodal-line result.","marker":"[20]"},{"why":"Provides the time-domain spatio-temporal mode treatment of two-photon interference used for the detection-time analysis.","marker":"[26]"},{"why":"Gives the Kelly-Kleiner photon-counting formula used to compute higher-order diagonal probabilities with detector efficiency.","marker":"[34]"}],"fun_headline_variants":["Odd port state forces zero equal-count coincidences","eHOM: odd parity input gives zero diagonal peaks","Odd photonic state erases all equal-count probabilities","One odd input port cancels every coincidence amplitude"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The result collapses if the photons are not mutually indistinguishable: the derivation assumes every photon in both input ports occupies the same single spatio-temporal mode (apart from a modeled time delay), which means polarization, transverse spatial mode, and frequency-marked distinguishability are all taken to be perfect.","fun_headline_variants_meta":{"raw":{"variants":["Odd port state forces zero equal-count coincidences","eHOM: odd parity input gives zero diagonal peaks","Odd photonic state erases all equal-count probabilities","One odd input port cancels every coincidence amplitude"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000404,"raw_usage":{"total_tokens":2166,"prompt_tokens":1072,"completion_tokens":1094,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":688,"completion_tokens_details":{"reasoning_tokens":1032}},"tokens_in":688,"tokens_out":1094,"duration_ms":9489,"temperature":1.0,"reasoning_tokens":1032,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T21:24:34.424532+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Send a single photon and a coherent state into a balanced 50:50 beam splitter with detectors capable of resolving photon number, arrange zero arrival-time difference and identical spatial/polarization modes, and count coincidences at (1,1). The central claim predicts exactly zero contribution from the interference term (the CS-only background can be measured and subtracted); observing a nonzero coincidence rate under these ideal conditions would falsify the universality of the nodal line.","supporting_citations":[{"cited_title":"let a1,out → a and ρ12 → ρ and η1 → η (this is just a detector placed in front of the input mode-1 state)","cited_arxiv_id":null,"evidence_quote":"Establishes the eHOM effect and the central nodal line for odd-parity inputs; this paper extends and applies that claim."},{"cited_title":"under” the mode-2 laser “wavepacket","cited_arxiv_id":null,"evidence_quote":"Provides the analytical proof that odd-odd Fock inputs cancel pairwise; this paper renders it diagrammatically."},{"cited_title":"multiphoton interference","cited_arxiv_id":null,"evidence_quote":"The original two-photon HOM experiment whose coincidence dip is the baseline for the multi-photon generalization."},{"cited_title":"jitter time","cited_arxiv_id":null,"evidence_quote":"Supplies the single-photon-plus-coherent-state interference amplitude from which the diagonal probability formula is derived."},{"cited_title":"Photon-added state preparation via conditional measurement on a beam splitter,","cited_arxiv_id":null,"evidence_quote":"Gives the SU(2) treatment of the lossless beam splitter and isolated zeros in joint output probabilities, a precursor to the full nodal-line result."},{"cited_title":"Quantum-mechanical lossless beam spitter: SU(2) symmetry and photon statistics,","cited_arxiv_id":null,"evidence_quote":"Provides the time-domain spatio-temporal mode treatment of two-photon interference used for the detection-time analysis."},{"cited_title":"Boyd, Nonlinear Optics","cited_arxiv_id":null,"evidence_quote":"Gives the Kelly-Kleiner photon-counting formula used to compute higher-order diagonal probabilities with detector efficiency."}],"review_version":1}