{"id":"6abfc6f4-abae-4a9e-b1b7-f757b1e14236","arxiv_id":"2411.18543","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A general quantum input-output formalism for scattering off lossy macroscopic objects is derived from the modified Langevin noise formalism.","lead":"Light scattering off absorbing objects is usually described with one formalism for transparent materials and another for small lossy devices; this paper builds a single general input-output theory for arbitrary lossy objects. It shows how classical scattering and absorption data fully determine the quantum state of the outgoing light, including its loss of coherence.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Eq. (5) is the unproved load-bearing completeness relation; if it fails, the input–output unitarity of Eq. (38) and the central state relation Eq. (53) collapse.","rationale":"The reader's weakest-assumption analysis identified exactly the same load-bearing point: Eq. (5) is the foundation on which the input–output unitarity and the main state-transformation result are built, yet it is neither re-derived nor numerically tested here. My stress-test pass found no additional internal inconsistency: the lossless limit reduces to known photon scattering, the one- and two-polariton examples are algebraically consistent with the stated unitarity relations, and the derivation of Eq. (31) from Eq. (5) is plausible if Eq. (5) is accepted. Therefore the appropriate response is to keep the reader's CONDITIONAL verdict: the paper should either make Eq. (5) self-contained or supply an independent check. The isotropy overclaim is secondary; it is a scope issue rather than a correctness issue for the isotropic case. I do not see grounds to reject the central claim, and I do not see grounds to accept it unconditionally until Eq. (5) is verified.","tokens_in":60062,"tokens_out":4086,"duration_ms":42277,"concrete_test":"Verify Eq. (5) numerically for a concrete finite lossy object whose exact dyadic Green's function is known, e.g. a homogeneous dielectric/magnetic sphere with Mie coefficients: evaluate the LHS and RHS of Eq. (5) for a grid of source/observation points and frequencies, including the r=r' singular part handled analytically, and require agreement to numerical precision. An independent analytical check would be to re-derive Eq. (5) from the differential equation and boundary conditions in Eqs. (2) without invoking Ref. [86], showing explicitly that the surface term W W* arises from the Sommerfeld radiation condition.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim Eq. (53) and the unitarity of the input–output matrix in Eqs. (31), (35), and (38) rest entirely on Eq. (5), the dyadic Green's function completeness relation introduced in Sec. II. This relation is not proved or independently checked in the present paper; it is imported from the author's earlier MLNF paper [86]. It is a nontrivial identity linking a surface integral of the far-field amplitude W with volume integrals over the e/m source modes. In the standard infinite-lossy-medium LNF only the volume part survives because W=0; for a finite object in vacuum the surface term must exactly compensate the missing volume contribution, for both electric and magnetic channels. If Eq. (5) is missing a term, or holds only under additional restrictions, then Eq. (30) fails and the input–output matrix in Eq. (38) is not unitary; the transition amplitudes in Eq. (56) and the full state relation Eq. (53) would not conserve probability. No numerical or experimental verification of Eq. (5) is reported, and the abstract's 'no restrictions' claim overstates the scalar-isotropic assumption used throughout.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper develops a formal framework for quantum optical scattering by a finite-size, lossy, inhomogeneous magnetodielectric object in vacuum, based on the modified Langevin noise formalism (MLNF). The electric field is expressed in terms of scattering (s), electric (e), and magnetic (m) polariton operators, and the authors identify ingoing and outgoing field operators in the far-field limits. Their central results are the input-output unitary relation Eq. (38), which connects outgoing (G, F_e, F_m) to ingoing (g, f_e, f_m) polaritons through the classical transmission, emission, absorption, and redistribution dyadics, and the ingoing-outgoing quantum state relation Eq. (53), which expresses the outgoing wavefunction as a permanent of matrix elements of these dyadics. The paper also derives the reduced density operator of scattered s-polaritons for an initially inert object and works out one- and two-polariton examples, emphasizing loss-induced decoherence and the effect of input entanglement.","tokens_in":60223,"tokens_out":8421,"duration_ms":81527,"significance":"If correct, this is a useful and quite general framework: it extends LNF-based input-output theory from finite-port devices to a continuum of scattering channels and gives explicit quantum transition amplitudes in terms of classical dyadic Green's function quantities. A notable strength is that the paper contains no fitted parameters and the algebraic derivations are carried out in detail in Appendices D-K; the final formulas are falsifiable once the classical dyadics are computed. The two-polariton example provides a concrete mechanism by which input entanglement can be converted into a manipulation of the mixed state of scattered radiation. The main caveat is that the entire construction rests on one unproved identity imported from the author's earlier work.","major_comments":[{"comment":"The 'fundamental integral relation' in Eq. (5) is the single non-algebraic input from which Appendix E derives the seven operator relations in Eq. (31), the unitarity of the input-output matrix Eq. (35), and hence the input-output relation Eq. (38). It is stated in Sec. II as a property of the dyadic Green's function and attributed to the prior MLNF paper [86]; it is not proved or independently checked in this manuscript. Because Eq. (5) mixes a surface integral over the far-field amplitude W with volume integrals over e/m modes, a missing term or additional regularity condition on epsilon_omega and mu_omega would invalidate Eq. (30) and the probability-conservation identity Eq. (65), and with them the central state relation Eq. (53). I request either a self-contained derivation of Eq. (5) under explicitly stated hypotheses, or a direct numerical verification for a nontrivial lossy scatterer (for example, a lossy sphere) confirming the operator relation Eq. (31).","section":"Section II, Eq. (5)"},{"comment":"The abstract and Sec. I state that the formalism applies 'with no restrictions' to the object's optical response and inhomogeneous composition. However, the derivation assumes a scalar, local, isotropic magnetodielectric response epsilon_omega(r), mu_omega(r) (Eq. (1)); anisotropic and nonlocal media are not covered, and the boundary conditions in Eq. (2) are those of an isotropic object. This overstatement of scope should be corrected in the abstract and introduction, or the formalism should be extended to tensor-valued epsilon and mu.","section":"Abstract and Section I"},{"comment":"The one- and two-polariton examples in Section VI only manipulate the formal wavefunctions of Sec. V; they do not compute the classical dyadics T_omega_ss, E_omega_s_nu, A_omega_nu_s, Q_omega_nu_nu' for any physical object, nor do they verify that the seven operator relations of Eqs. (E13) and (E25) hold. As a result, the paper demonstrates the logical structure of the input-output theory but not that the required unitary operator matrix can actually be constructed for a finite lossy object. A worked example with explicit Green's functions (e.g., a homogeneous lossy sphere or a planar slab) would substantially strengthen the central claim, or the paper should explicitly state that numerical evaluation is beyond its scope.","section":"Section VI"}],"minor_comments":[{"comment":"There are numerous typos and misspellings ('radidly', 'Converserly', 'entaglement', 'statisfies', 'outgoning', 'proability', 'eigevectors', 'revelas', 'beavior', 'litterature'); the manuscript needs a careful proofreading pass.","section":"Throughout"},{"comment":"The two-polariton entangled state is written as 1/sqrt(2)[phi_1(xi_1_s) phi_2(xi_2_s) + phi_1(xi_1_s) phi_2(xi_2_s)], with the two terms identical. From the following derivation, the second term should be phi_2(xi_1_s) phi_1(xi_2_s); please fix this typo.","section":"Eq. (87) and Appendix K, Eq. (K7)"},{"comment":"The 'Schwartz inequalities' should be 'Schwarz inequalities'.","section":"Appendix K"},{"comment":"The final paragraph states as a conclusion that for 'any number of ingoing polaritons' the statistical mixture depends on input entanglement, but only the two-polariton case was analyzed. Please either soften this to a conjecture or provide the general argument.","section":"Conclusion"},{"comment":"The relation F_omega_s(r|m) = sqrt(hbar k_omega^3 / (pi epsilon_0)) W_omega^T(-m|r) is central but the direction argument -m may be confusing because W_omega is defined with n as the observation direction. A brief remark connecting Eqs. (3) and (10) would improve readability.","section":"Eqs. (3) and (10)"},{"comment":"The spaces L2_e and L2_m are described as 'two identical copies' of L2_l, but the physical source variables r lie in all space; since the kernels G_omega_nu and Q_omega_nu_nu' vanish outside the object, the distinction is harmless. A sentence explaining the support of the relevant kernels would avoid confusion.","section":"Section IV"}],"recommendation":"major_revision","confidential_remarks":"This is a serious formal contribution and I do not see a circularity problem, since no fitted parameters are used. The main epistemic risk is the import of Eq. (5) from [86]: if the editor regards that identity as established prior work, the core derivation is coherent and the remaining concerns are scope and verification; if not, the missing proof of Eq. (5) is a blocking issue. A self-contained derivation or numerical verification of Eq. (5) would settle the matter. The 'no restrictions' phrasing in the abstract should be corrected regardless."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper to know: Ciattoni has built a general input-output formalism for quantum light scattering by lossy, finite-size objects, and it is probably the first to do this for a continuum of modes. The framework genuinely extends lossy four-port theory and lossless photon scattering, and the author works through the algebra thoroughly. The one- and two-polariton examples are clean, and the lossless limit reduces to the textbook result. If the central identities hold, this is a useful tool for quantum optics with metasurfaces, absorbers, and other mesoscopic systems.\n\nThe real question is Eq. (5), the completeness relation for the dyadic Green's function. It is load-bearing for unitarity of the input-output matrix (Eq. (38)) and thus for the state transformation (Eq. (53)). The paper states it as fundamental and uses it in Appendix E to derive everything, but it does not prove it here — it is imported from the author's earlier MLNF paper. That is a legitimate gap, not a fatal one: the relation is plausible and standard in spirit, but a reader cannot check it from this paper alone. The referee should demand a self-contained derivation or at least an independent check for a simple geometry.\n\nI also agree with the reader that the abstract's \"no restrictions\" overstates the case: the formalism assumes isotropic response throughout. That is a clarification, not a flaw. The lack of any numerical benchmark is a minor weakness for an analytic paper, but it would help to see one worked example for a slab or sphere to sanity-check the completeness relation.\n\nBottom line: the paper deserves a serious referee. It is a substantial analytic contribution, and the main risk is concentrated in Eq. (5), not in the quantum-optical machinery. Send it to review, but ask the referee to focus on making Eq. (5) self-contained or independently verified, and to soften the generality claim.","headline":"A serious input-output framework for lossy continuum scattering, but the unitarity hinges on an unproved completeness relation imported from prior work.","tokens_in":60770,"tokens_out":2370,"would_cite":true,"duration_ms":23798,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81V80","78A45","81P40"],"pacs":["42.50.Ct","42.25.Bs"],"model":"deepseek-v4-flash","headline":"The paper claims that the full quantum transformation of light scattered by an arbitrary linear lossy object is given by one unitary input-output relation built from classical transmission, emission, and absorption dyadics; if correct…","keywords":["quantum optical scattering","macroscopic quantum electrodynamics","modified Langevin noise formalism","input-output relations","lossy media","polaritons","quantum decoherence","dyadic Green's function"],"falsifier":"Numerically evaluate Eq. (5) and the seven operator relations in Eq. (31) for a solvable lossy object, such as a homogeneous lossy sphere with known dyadic Green's functions; any violation invalidates the central claim, and a complementary experiment is to check that a single-photon input produces the exact mixed-state form $P_s|\\Phi_{1s}\\rangle\\langle\\Phi_{1s}|+(P_e+P_m)|0\\rangle\\langle 0|$ with no residual coherence between the one-photon and vacuum sectors.","tokens_in":59813,"feed_emoji":"⚛️","tokens_out":9999,"duration_ms":92996,"temperature":0.7,"pith_summary":"This paper attempts to supply the missing general theory of quantum radiation scattering by an arbitrary macroscopic object that absorbs and disperses light. Its central claim is that one unitary input-output relation, whose entries are the classical transmission, emission, and absorption dyadics, completely determines how ingoing polaritons become outgoing polaritons, and hence how any quantum state of light is transformed. The payoff is practical: once a classical dyadic Green's function is known, all quantum scattering predictions follow, including the decoherence and entanglement that losses force on the scattered radiation. The paper works out one- and two-polariton scattering, showing that losses force the scattered field into a statistical mixture and that entanglement among ingoing photons can shape that mixture.","feed_headline":"One unitary map governs quantum scattering by any lossy object","feed_subtitle":"All quantum scattering predictions follow from classical transmission, emission, and absorption dyadics.","key_machinery":"The load-bearing object is the input-output matrix of Eq. (38), a unitary operator on the direct sum of the Hilbert spaces of scattering, electric, and magnetic polaritons. Its kernel entries are the classical dyadics--transmission $T_{\\omega ss}(\\mathbf n|\\mathbf m)$, emission $E_{\\omega se}$, $E_{\\omega sm}$, absorption $A_{\\omega es}$, $A_{\\omega ms}$, and $Q_{\\omega\\nu\\nu'}$--so the matrix converts the classical description of the object's electrodynamics directly into quantum transition amplitudes. Unitarity is proven in Appendix E from the fundamental integral relation Eq. (5) for the dyadic Green's function $G_\\omega$, and it guarantees that ingoing and outgoing polariton operators generate equivalent Fock-space representations. The change-of-basis matrix between these representations is a permanent of one-particle amplitudes $Z_{\\tau\\mu}$, which is why bosonic symmetry appears automatically in the outgoing state.","core_discovery":"The main result is the ingoing-outgoing quantum state relation in Eq. (53), together with the input-output unitary relation in Eq. (38). Eq. (38) states that the annihilation operators of outgoing s-, e-, and m-polaritons are a unitary matrix applied to the ingoing polariton operators; the matrix blocks are the classical transmission dyadic $T_{\\omega ss}$, emission dyadics $E_{\\omega se}$ and $E_{\\omega sm}$, absorption dyadics $A_{\\omega es}$ and $A_{\\omega ms}$, and internal-energy redistribution dyadics $Q_{\\omega\\nu\\nu'}$. Eq. (53) then expresses the outgoing many-polariton wavefunction as a symmetrized product of one-particle amplitudes, each amplitude being a matrix element of one of these classical dyadics. Thus every quantum scattering amplitude is fixed by the object's classical electromagnetic response. In the standard case of an initially unexcited object, radiation scattering is governed by $T_{\\omega ss}$ while radiation absorption creates outgoing e- and m-polaritons; tracing out the object yields a reduced density operator for the scattered light that is generally mixed, so lossy scattering causes quantum decoherence and unavoidable radiation-object entanglement.","pith_inferences":["I infer that the formalism enables inverse design: because all quantum amplitudes are classical dyadics, one could search over permittivity and permeability profiles for an object that realizes a desired quantum transformation, such as a specified entangled-state generator.","I infer a conditional-measurement scheme: if the object's e/m polaritons are measured rather than traced out, the scattered s-polariton state becomes a heralded state, and the paper's Eqs. (38) and (53) supply the amplitudes needed to compute its purity.","I infer that the purity of scattered light as a function of frequency should map the frequency-dependent absorption dyadics, because the decoherence factor in Eq. (70) is built entirely from the electric and magnetic absorption factors $J_e$ and $J_m$."],"forward_implications":["All quantum predictions for scattering by any linear lossy object can be computed from the classical dyadic Green's function; separate quantization of the object is not needed.","Total polariton number is conserved and each single-polariton transition keeps its frequency, so the scattering process is fully elastic at the level of the enlarged radiation-object system.","For an initially inert object, absorption of an ingoing photon necessarily creates e- or m-polaritons, and when these are unmeasured the scattered light is a mixed state; lossy scattering therefore always induces decoherence.","One-polariton scattering produces a Schmidt rank-2 state, meaning a single photon is never decoupled from the object after lossy scattering; the reduced state is an incoherent mixture of the elastically scattered photon and vacuum.","In two-polariton scattering, entanglement between the two ingoing photons controls the eigenstates of the one-photon part of the scattered mixture, so input entanglement can be used to manipulate the statistical mixture of the output light."],"supporting_citations":[{"why":"Establishes the modified Langevin noise formalism and supplies the fundamental integral relation Eq. (5) that the unitarity proof inherits.","marker":"[86]"},{"why":"Provides the canonical quantization of macroscopic electromagnetism from which the modified Langevin noise formalism is derived.","marker":"[65]"},{"why":"Gives the lossless dielectric quantum optics limit in which s-polaritons become standard photons and e/m-polaritons disappear.","marker":"[45]"},{"why":"Is the textbook photon scattering relation that Eq. (54) reduces to in the lossless limit.","marker":"[87]"},{"why":"Describes the standard Langevin noise formalism for unbounded lossy media and its lossless limit, the setting that the scattering-mode formulation extends.","marker":"[84]"},{"why":"Supplies the four-port input-output relations whose infinite-dimensional generalization the paper constructs.","marker":"[30]"},{"why":"Provides the dyadic Green's function theory that defines the central classical tool of the paper.","marker":"[89]"},{"why":"Defines the classical scattering dyadic and its reciprocity relations used in the transmission dyadic.","marker":"[91]"}],"fun_headline_variants":["One unitary map links all quantum scattering states","Classical dyadics fix every quantum scattering amplitude","Lossy scattering entangles light with matter","Quantum scattering by any lossy object is now general","One unitary relation predicts all scattering outcomes"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The entire construction rests on Eq. (5), an integral identity for the classical electromagnetic Green's function that the paper states as a fundamental property and uses to prove unitarity but does not itself prove; if it fails for a physically realizable lossy object, the input-output relation and all derived state transformations collapse.","fun_headline_variants_meta":{"raw":{"variants":["One unitary map links all quantum scattering states","Classical dyadics fix every quantum scattering amplitude","Lossy scattering entangles light with matter","Quantum scattering by any lossy object is now general","One unitary relation predicts all scattering outcomes"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00055,"raw_usage":{"total_tokens":2700,"prompt_tokens":1092,"completion_tokens":1608,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":708,"completion_tokens_details":{"reasoning_tokens":1539}},"tokens_in":708,"tokens_out":1608,"duration_ms":10594,"temperature":1.0,"reasoning_tokens":1539,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T11:05:51.911327+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Numerically evaluate Eq. (5) and the seven operator relations in Eq. (31) for a solvable lossy object, such as a homogeneous lossy sphere with known dyadic Green's functions; any violation invalidates the central claim, and a complementary experiment is to check that a single-photon input produces the exact mixed-state form $P_s|\\Phi_{1s}\\rangle\\langle\\Phi_{1s}|+(P_e+P_m)|0\\rangle\\langle 0|$ with no residual coherence between the one-photon and vacuum sectors.","supporting_citations":[{"cited_title":"Ciattoni, Quantum electrodynamics of lossy mag- netodielectric samples in vacuum: Modified Langevin noise formalism, Phys","cited_arxiv_id":null,"evidence_quote":"Establishes the modified Langevin noise formalism and supplies the fundamental integral relation Eq. (5) that the unitarity proof inherits."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the lossless dielectric quantum optics limit in which s-polaritons become standard photons and e/m-polaritons disappear."},{"cited_title":"Garrison and R","cited_arxiv_id":null,"evidence_quote":"Is the textbook photon scattering relation that Eq. (54) reduces to in the lossless limit."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Describes the standard Langevin noise formalism for unbounded lossy media and its lossless limit, the setting that the scattering-mode formulation extends."},{"cited_title":"Kn¨ oll, S","cited_arxiv_id":null,"evidence_quote":"Supplies the four-port input-output relations whose infinite-dimensional generalization the paper constructs."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the dyadic Green's function theory that defines the central classical tool of the paper."},{"cited_title":"Kristenssen, Scattering of Electromagnetic Waves by Obstacles, Scitech Publishing (2016)","cited_arxiv_id":null,"evidence_quote":"Defines the classical scattering dyadic and its reciprocity relations used in the transmission dyadic."}],"review_version":1}