{"id":"bc5dc69e-b0e1-4cea-a6bd-44e49108c6fe","arxiv_id":"2412.02088","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"A monochromatic advanced-wave picture is derived from optical reciprocity, reducing SPDC biphoton spatial states to classical propagation-multiplication-propagation and recovering known imaging resolution formulas.","lead":"This paper builds a formal mathematical version of Klyshko's advanced-wave picture, turning two-photon imaging calculations into classical light propagation through an unfolded setup. It extends the picture to thick crystals, undetected photons, and polarization, and applies it to quantum imaging and holography.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No-detection extension (Appendix D3) is load-bearing for QIUP visibility but rests on a phenomenological γ=√(α/n) source term; a microscopic absorber model should reproduce the 1−T² background before the reduction is taken as general.","rationale":"The reader's verdict is CONDITIONAL, and the most load-bearing weakness is indeed the no-detection extension in Appendix D3. The core monochromatic AWP derivation is a rearrangement of the standard SPDC two-photon amplitude and is not in serious doubt. The no-detection case is different: the paper itself calls Eq. (D5) phenomenological, and the 1−T² background it produces is essential to the QIUP visibility statement. A direct beam-splitter/reservoir model of absorption would settle whether the advanced-wave-source picture is a genuine microscopic consequence or merely a coincidentally correct effective rule for the single-object visibility case. My read does not change the reader's CONDITIONAL verdict: the manuscript should not be rejected, but the no-detection claim should be either derived from a standard quantized-field treatment or explicitly scoped as a heuristic whose domain of validity remains open. I also note Appendix H's rectangular-filter caveat in footnote [97], but that is peripheral to the monochromatic central claim.","tokens_in":28367,"tokens_out":10648,"duration_ms":122291,"concrete_test":"Model the absorbing object in the QIUP Mach-Zehnder setup as a beam splitter that couples the undetected idler mode to a vacuum reservoir with amplitude transmittance T and reflectance √(1−T²). Compute the full two-crystal biphoton state in the Schrödinger picture, then trace out the idler and reservoir modes. Compare the resulting camera intensity and visibility with the AWP expression obtained from Eqs. (D5)–(D7): coherent terms from amplitudes 1 and T plus an incoherent background (1−T²)/2. If the traced intensity differs in the constant or interference term, the no-detection ansatz is not equivalent to a microscopic absorber and Sec. IV A needs revision; if it matches, the heuristic should be promoted to a derived result or explicitly stated as an equivalent effective model.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central formula Eq. (12) is solid for postselected point detection, and the bulk-crystal derivation in Sec. III A is consistent with the standard momentum-space result. The claimed reduction for undetected photons, however, is what makes the QIUP visibility calculation in Sec. IV A quantitative, and that reduction depends on Appendix D3's phenomenological replacement â†_{k,r}=∫h(r',r)(â†_{r'}+γ(r')b̂†_{r'}) with γ=√(α/n). This is asserted, not derived. A standard trace over the undetected idler from the unmodified state |Ψ⟩ of Eq. (10) gives J2(r2,r2')=∫dr1 ψ(r1,r2)ψ*(r1,r2') with no γ² term; the extra 1−T² object background enters only through the new b̂† degrees of freedom and the assumption that absorptive regions emit advanced waves incoherently. Since that background is precisely what converts the two-field visibility 2T/(1+T²) to the claimed T in Sec. IV A, any error in Eq. (D5) changes the paper's central QIUP prediction. The authors label the model 'phenomenological' and provide no microscopic derivation, so the no-detection branch of the central claim is not yet established on the same footing as Eq. (12). The quasimonochromatic appendix is also heuristic, but it is less load-bearing for the paper's monochromatic core.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a monochromatic version of Klyshko's advanced-wave picture (AWP) for spontaneous parametric down-conversion. Starting from the standard low-gain SPDC Hamiltonian, it obtains the biphoton wave function psi(r1,r2) = integral dr h1(r,r1) chi^(2)(r) U_p(r) h2(r2,r), interprets this as a classical propagation, multiplication, propagation sequence, and applies the result to bulk-crystal SPDC states, quantum imaging with undetected photons (QIUP), polarization-entanglement quantum holography, ghost imaging, and a qualitative discussion of the Hong-Ou-Mandel effect. For postselected point detection, the central formula is a formalization of standard results and reproduces the known Ssi correlation. For the no-detection case, the paper introduces a phenomenological source from absorbing regions and uses it to obtain the QIUP visibility.","tokens_in":28750,"tokens_out":6038,"duration_ms":64527,"significance":"Equation (12) is a clean and potentially useful formalization. The derivation from the SPDC Hamiltonian via reciprocity is transparent, has no fitted parameters, and the bulk-crystal calculation in Sec. III A reproduces the known sine-integral biphoton correlation. The applications give explicit closed-form estimates for spatial resolution and field of view, which are checked against standard analyses in the literature. The no-detection branch, however, is the least developed part: it is explicitly phenomenological and carries the quantitative QIUP visibility prediction. If that branch is placed on a microscopic footing, this would be a valuable reference for biphoton spatial optics and for designing nonlinear devices.","major_comments":[{"comment":"The no-detection branch of the AWP rests on the phenomenological replacement a^dag_{k,r} = integral dr' h(r',r)(a^dag_{r'} + gamma(r') b^dag_{r'}) with gamma = sqrt(alpha/n). This is asserted rather than derived from a microscopic model of absorption. The added b^dag term is precisely what converts the two-field interferometric visibility 2T/(1+T^2) in Sec. IV A into the claimed value T through the 1-T^2 background; tracing over the undetected idler from the unmodified state of Eq. (10) gives J2(r2,r2') = integral dr1 psi(r1,r2) psi*(r1,r2') with no gamma^2 term. I therefore do not regard the no-detection reduction as established to the same standard as Eq. (12). A derivation from a standard quantization of absorbing dielectrics (for example, Langevin-noise operators) or a direct comparison with an unapproximated field-theoretic calculation of the QIUP visibility is needed before the claim can be taken as general.","section":"Appendix D 3, Eqs. (D6)-(D7); Sec. IV A"},{"comment":"The derivation of the no-detection mutual coherence function assumes that a closed surface S covering the setup emits advanced waves with unit intensity, while absorptive regions inside S emit with intensity gamma^2, and that all these advanced waves superpose incoherently. This incoherent-emission assumption is load-bearing for the QIUP background, yet it is introduced heuristically and is not derived from the linearity that underpins Eq. (12). In particular, the paper does not specify how S is modeled as a physical object (a detector, an absorber, or a mathematical boundary) and why its advanced-wave source strength is exactly unity. The claim that the object emits light of intensity 1-|T|^2 in Eq. (78) is a direct consequence of this heuristic, so the quantitative QIUP result should be presented as a prediction of the phenomenological model, not as a theorem of the AWP framework.","section":"Appendix D 3, Eqs. (D6)-(D7); Sec. IV A"},{"comment":"The derivation of the bulk-crystal wave function evaluates the integral over z inside the crystal as a Cauchy principal value at z = 0. Since the original integral over the crystal includes z = 0 and the paraxial Green's function is singular there, the principal-value prescription is not automatic. The result agrees with the known momentum-space answer, so I do not doubt the final formula, but the paper should explain why the principal value is the physically appropriate regularization, since a different contour would change the phase and the result.","section":"Sec. III A, Eq. (21) and Appendix E"}],"minor_comments":[{"comment":"The Green's function for propagation in a homogeneous medium contains a factor n in the amplitude; given that the paper defines photon wave functions through field amplitudes, a brief remark on how this factor is reconciled with the n-dependent classical intensity would avoid confusion.","section":"Sec. II A, Eq. (2)"},{"comment":"The derivation relies on two perfect 4f systems with unit magnification and infinite aperture; a sentence on how finite apertures would modify Eq. (21) would help readers who want to apply the result to actual experiments.","section":"Sec. III A, footnote 72"},{"comment":"Several expressions in the QIUP analysis use proportionality signs that omit constant phases and normalization factors; since the visibility is determined by interference, the paper should state explicitly that the constant phase C absorbs all omitted setup phases.","section":"Sec. IV A, Eq. (31)"},{"comment":"The quasi-monochromatic treatment uses rectangular bandpass filters and footnote 97 acknowledges that this violates causality; the main-text discussion of the Hong-Ou-Mandel effect should therefore be labeled as heuristic rather than as a derivation, especially since the monochromatic core of the paper does not need this appendix.","section":"Appendix H, footnote 97"},{"comment":"The caption of Fig. 2 appears to contain a garbled phrase ('Mask approx or'); please check the final figure and caption for typographical errors.","section":"Fig. 2"}],"recommendation":"major_revision","confidential_remarks":"The paper is a serious and mostly solid formalization of the monochromatic AWP. The central problem is the no-detection extension in Appendix D3, which is load-bearing for the QIUP visibility prediction and is explicitly phenomenological. I do not think this requires rejection, but it should be addressed with a microscopic derivation or a clear downgrading of the corresponding claims in the main text. The paper fits the scope of the journal well and the bulk-crystal and holography applications are useful."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Core of it: the paper gives a clean formal statement of Klyshko's advanced-wave picture for monochromatic light, with bulk crystals, polarization, postselection, and no-detection folded into a classical impulse-response chain. Eq. (12) is the heart: psi(r1,r2)=integral dr h1(r,r1) chi(2)(r) Up(r) h2(r2,r). That's a rearrangement of the standard first-order SPDC state, but the unpacking is genuinely useful: it turns biphoton spatial optics into propagation-multiplication-propagation, and the bulk-crystal derivation in Sec. III reproduces the known Ssi form. The applications to QIUP and polarization holography give the expected resolution and field-of-view formulas with less algebra. So as a conceptual tool, it works.\n\nThe soft spot is the no-detection extension in Appendix D3. To get the QIUP visibility from 2T/(1+T^2) down to T, the paper needs an extra incoherent background from the object, intensity 1-T^2. That background enters through a phenomenological replacement a†_k,r = integral dr' h(r',r)(a†_r' + gamma(r') b†_r') with gamma=sqrt(alpha/n). The authors call it phenomenological and give no microscopic derivation. It is load-bearing: without it the central QIUP claim changes. The stress-test note is right that Eq. (D5) is not on the same footing as Eq. (12). The quasimonochromatic appendix is also heuristic, but it is less central.\n\nI would not hold the heuristic against the core framework. The monochromatic AWP derivation is algebraically sound and consistent with the standard momentum-space results. The paper is worth a serious referee, and any referee should push for a microscopic model of absorption or at least an explicit statement that the no-detection branch is a conjecture. The reader's conditional verdict looks right to me.\n\nWho is this for? People who work on quantum imaging with SPDC and want a quick classical-unfolded way to think about resolution and field of view. I would cite it for the impulse-response formulation. It deserves peer review.","headline":"A clean formalization of Klyshko's advanced-wave picture for monochromatic light, with a solid core derivation and a genuinely load-bearing phenomenological no-detection extension that needs more work.","tokens_in":29206,"tokens_out":1349,"would_cite":true,"duration_ms":13545,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper claims that the spatial wave function of a photon pair from spontaneous parametric down-conversion is exactly the impulse response of a classical optical setup: propagate backward from one photon, multiply by the pump and…","keywords":["spontaneous parametric down-conversion","advanced-wave picture","biphoton wave function","quantum imaging with undetected photons","optical reciprocity","spatial correlations","quantum holography","two-photon interference"],"falsifier":"Measure the interference visibility as a function of the amplitude transmittance $T$ of a real, semi-transparent object placed in the undetected arm of a two-crystal interferometer. The paper predicts an extra incoherent background $(1-T^2)/2$ from the object and visibility exactly $T$; without the advanced-wave-from-absorption rule the visibility would be $2T/(1+T^2)$. A measured curve matching the second expression at any $T$ would falsify the no-detection extension.","tokens_in":28140,"feed_emoji":"🔬","tokens_out":17826,"duration_ms":155097,"temperature":0.7,"pith_summary":"The paper formalizes the advanced-wave picture for monochromatic light: it claims that the spatial wave function of a photon pair produced by spontaneous parametric down-conversion is obtained by treating one photon's position as a point source, propagating its field backward through the optical setup, multiplying the field at each point by the pump amplitude times the crystal's nonlinear response, and propagating forward to the other photon's position. This makes the biphoton wave function the impulse response function of a classical optical system, so bulk-crystal thickness, polarization, postselection, and even the case where one photon is never detected can be handled as ordinary linear optics. The payoff is that quantum imaging protocols, including ghost imaging, imaging with undetected photons, and polarization-entangled holography, can be unfolded into classical setups in which spatial resolution and field of view follow from simple impulse-response and filtering formulas.","feed_headline":"One equation rewrites biphoton imaging as classical optics","feed_subtitle":"Backward propagation, multiplication, forward propagation: the three-step rule behind entangled-photon imaging.","key_machinery":"The load-bearing identity is Eq. (12), $\\psi(r_1,r_2)=\\int dr\\,h_1(r,r_1)\\,\\chi^{(2)}(r)U_p(r)\\,h_2(r_2,r)$, which expresses the biphoton wave function as back-propagation, multiplication, and forward-propagation. It is derived from the low-gain SPDC Hamiltonian together with optical reciprocity, which lets backward-traveling advanced waves be computed with the same impulse response functions as forward light. In the unfolded picture, a point source at one detection position travels backward through the setup, is re-emitted at each point with amplitude $\\chi^{(2)}U_p$, and travels forward to the other detection position, so a bulk crystal becomes a transverse spatial filter with a sinc-shaped coherence transfer function and the shifted sine-integral point-spread function $\\mathrm{Ssi}[n_o k|\\rho|^2/(2L)]$. Postselection, bucket detection, and no detection are different rules for superposing advanced-wave sources, and polarization enters by giving the susceptibility and the Green's functions polarization indices.","core_discovery":"The central result is Eq. (12): the biphoton wave function is $\\psi(r_1,r_2)=\\int dr\\,h_1(r,r_1)\\,\\chi^{(2)}(r)U_p(r)\\,h_2(r_2,r)$ (up to which photon is taken as the advanced one). Here $h_1$ and $h_2$ are the classical impulse responses of the linear optical systems seen by the two photons, $\\chi^{(2)}(r)$ is the position-dependent second-order susceptibility, and $U_p(r)$ is the pump field. The paper claims this identity is an equality, not an analogy: the conditional state of one photon is exactly what a classical field does after backward propagation, multiplication by the pump-nonlinearity product, and forward propagation. From this follow the shifted-sine-integral form of the bulk-crystal biphoton state, the treatment of pure-state postselection and bucket detection as different superpositions of advanced-wave sources, the rule that an undetected photon makes absorbing regions emit incoherent advanced waves of strength $1-|T|^2$, and quantitative resolution and field-of-view formulas for quantum imaging with undetected photons and polarization-entangled holography.","pith_inferences":["The paper leaves implicit that the same fold-unfold logic applies to any low-gain nonlinear process whose Hamiltonian is a product of pump amplitude and two creation operators, such as four-wave mixing, so the advanced-wave picture could be used as a design tool in those systems as well.","If the no-detection advanced-wave rule survives direct test, quantum imaging with undetected photons becomes a direct absorption probe: the measured visibility-versus-$T$ curve is a spectrometric channel that does not require detecting the light that interacted with the object.","Because the biphoton wave function is identified with a classical impulse response, a thin SPDC crystal fed by a designed classical system should produce a biphoton state proportional to that system's impulse response; classical Fourier-optics design libraries could therefore be recycled to engineer two-photon spatial states.","The quasimonochromatic appendix predicts a time-domain signature for pulsed-pump two-photon interference: advanced-wave components whose backtracking time does not overlap the pump wave at the crystal produce no retarded wave, so the coincidence rate should track the pump temporal envelope; this is a direct, testable consequence that the main text only sketches."],"forward_implications":["A bulk SPDC crystal acts in the unfolded setup as a spatial filter whose transfer function is a sinc of the squared transverse momentum, so crystal thickness enters every resolution and field-of-view formula as a classical filtering width.","In quantum imaging with undetected photons using momentum correlation, the spatial resolution at the object plane is $\\sqrt{2\\ln 2}\\,\\lambda_i f_1/(\\pi w)$, independent of the signal wavelength, while the field of view is set by the narrower of the two crystal-induced sinc widths.","In the position-correlation version, the image magnification is $M_4M_6$, the field of view is $\\sqrt{2\\ln 2}\\,wM_2$, and the two interfering beams are perfectly matched only when $M_2M_4=1$.","A partially absorbing object in the undetected path contributes an incoherent background of strength $1-|T|^2$, which is what makes the measured interference visibility equal to $T$ rather than $2T/(1+T^2)$.","The free-space evolution of a double-Gaussian biphoton state becomes a Gaussian beam in the unfolded setup: its correlation center stays fixed for short propagation distances and anticorrelates for longer ones, with a spherical phase curvature corresponding to propagation distance $2z$."],"supporting_citations":[{"why":"This is the origin of the advanced-wave picture; the paper's formalization starts from its thin-crystal mirror replacement.","marker":"[51]"},{"why":"This supplies the time-domain, filtered version of the advanced-wave picture that the paper revisits for two-photon interference at a beam splitter.","marker":"[52]"},{"why":"This supplies the standard momentum-space SPDC analysis and the Green's function coefficients for birefringent crystals that the position-space advanced-wave-picture derivation must match.","marker":"[6]"},{"why":"This provides the reciprocity theorem for linear passive media, used to make backward and forward propagation share the same impulse response function.","marker":"[63]"},{"why":"This introduces quantum imaging with undetected photons, the protocol whose no-detection case motivates the advanced-wave-from-absorption extension.","marker":"[45]"},{"why":"This is the induced-coherence experiment whose visibility curve is the quantitative target the no-detection rule must reproduce.","marker":"[76]"},{"why":"This gives the shifted sine-integral position-space form of the bulk-crystal biphoton wave function that the advanced-wave-picture derivation reproduces.","marker":"[22]"},{"why":"This introduces the double-Gaussian approximated biphoton state whose free-space propagation the paper re-derives in the unfolded setup.","marker":"[19]"},{"why":"This is the polarization-entanglement quantum holography experiment that serves as the application of the advanced-wave picture including polarization.","marker":"[36]"},{"why":"This is the two-photon interference at a beam splitter, used as the example for the quasimonochromatic time-domain advanced-wave picture.","marker":"[61]"}],"fun_headline_variants":["Biphoton imaging rewritten as classical optics","Backward, multiply, forward: rule for biphoton states","One equation maps entangled photons to classical light","Advanced-wave theory explains quantum imaging formulas","From SPDC to holography: classical impulse responses"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that when one of the two photons is never detected, an absorbing object emits a backward-propagating 'advanced wave' whose strength is set solely by the absorption coefficient; the paper states this rule as phenomenological, without a microscopic derivation, so the predicted background and visibility in undetected-photon imaging stand or fall with it.","fun_headline_variants_meta":{"raw":{"variants":["Biphoton imaging rewritten as classical optics","Backward, multiply, forward: rule for biphoton states","One equation maps entangled photons to classical light","Advanced-wave theory explains quantum imaging formulas","From SPDC to holography: classical impulse responses"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000196,"raw_usage":{"total_tokens":1390,"prompt_tokens":1006,"completion_tokens":384,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":622,"completion_tokens_details":{"reasoning_tokens":310}},"tokens_in":622,"tokens_out":384,"duration_ms":4038,"temperature":1.0,"reasoning_tokens":310,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T23:50:59.695612+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Measure the interference visibility as a function of the amplitude transmittance $T$ of a real, semi-transparent object placed in the undetected arm of a two-crystal interferometer. The paper predicts an extra incoherent background $(1-T^2)/2$ from the object and visibility exactly $T$; without the advanced-wave-from-absorption rule the visibility would be $2T/(1+T^2)$. A measured curve matching the second expression at any $T$ would falsify the no-detection extension.","supporting_citations":[{"cited_title":"Defienne, B","cited_arxiv_id":null,"evidence_quote":"This is the origin of the advanced-wave picture; the paper's formalization starts from its thin-crystal mirror replacement."},{"cited_title":"Camphausen, Á","cited_arxiv_id":null,"evidence_quote":"This supplies the time-domain, filtered version of the advanced-wave picture that the paper revisits for two-photon interference at a beam splitter."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"This provides the reciprocity theorem for linear passive media, used to make backward and forward propagation share the same impulse response function."},{"cited_title":"Defienne, M","cited_arxiv_id":null,"evidence_quote":"This introduces quantum imaging with undetected photons, the protocol whose no-detection case motivates the advanced-wave-from-absorption extension."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"This is the polarization-entanglement quantum holography experiment that serves as the application of the advanced-wave picture including polarization."}],"review_version":1}