{"id":"8ecb8e94-8492-4634-8216-da63ffc319e0","arxiv_id":"2506.08943","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"In full-vector electromagnetics, extinction power can be measured by a nonunique family of equivalent optical-theorem detectors; the paper derives explicit surface, planar, backpropagation, and multipole forms.","lead":"This paper shows that the optical theorem, which links a scatterer's power removal to a field measurement, can be rewritten in many equivalent detector forms, and that the freedom in choosing detectors traces back to the built-in nonuniqueness of inverse source problems. A generalist might read it because some of the new detector forms measure extinction power in near-field and custom-geometry settings where the classical far-field optical theorem no longer applies.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Approximate and limited-view OT detectors lack quantitative error bounds; the exact equivalence survives, so the reader's conditional verdict is appropriate.","rationale":"I read the paper in good faith and checked the central reciprocity identity. Eqs. (7)-(8) are sound: with OT detectors generating (E_i^*, -H_i^*), the exterior projection w equals ∫(J_s·E_i^* + M_s·H_i^*) by Lorentz reciprocity, and the real part matches the extinction expression (4) since Re(J_s·E_i^*) = Re(J_s^*·E_i). The exact surface, two-plane, and spherical multipole forms are derived from this identity and are internally consistent. I also noticed the typo in Eq. (61) where H_s is expanded in J_n instead of H_n^(1); this is a manuscript error that should be corrected but does not undermine the central equivalence, since the cylindrical multipole form is one of several and the final result (63) can be recovered by the analogous derivation. The genuinely load-bearing omission is the absence of any quantitative validity condition for the approximate forms. The paper states 'typically a few wavelengths away' (Section 3.3) and asserts Eq. (75) without derivation. These approximate forms are part of the paper's claimed equivalence and are used in the Section 3.6 applications and bounds (77). Without an error bound, the reader cannot determine when P_e ≈ (1/2)Re(w) for those detectors, so the central claim is conditional rather than fully established. This aligns with the reader's weakest_assumption. The exact forms deserve credit, and the paper honestly labels the approximations, so a conditional accept is the right verdict; adding the missing error analysis would make it a full accept.","tokens_in":15895,"tokens_out":21766,"duration_ms":234664,"concrete_test":"Choose a concrete geometry: a small dielectric sphere in the ROI, a z-oriented electric dipole probing source at distance d from the ROI center, and a spherical sensing surface ∂V of radius R. Compute the exact P_e from Eq. (12) and the approximate P_e from Eq. (15) for d=0.5λ, 1λ, 2λ, 5λ, 10λ. Plot the relative error |P_e^app - P_e^exact|/|P_e^exact| versus d. If the error does not decay at least as fast as e^{-κ d} where κ is the smallest evanescent decay rate, or if it exceeds a few percent at d=5λ, the 'few wavelengths' criterion in Section 3.3 is not supported. Equivalently, derive an L^2(τ) bound on the difference between the c.c. field radiated by the surface sources (14) and the true c.c. incident field, and verify it numerically.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing gap is in the approximate OT detectors of Sections 3.2 and 3.3, and the limited-view corollaries of Section 3.6. The paper claims that when the probing source is far from the ROI, the c.c. probing field can be regenerated from a single surface (Eqs. (14)-(15)) or plane (Eqs. (21)-(23)), and that the limited-view projection equals the full projection (Eq. (75)), giving the bounds (77). No error bound links source distance, evanescent decay, ROI size, and the error in P_e. Eq. (75) is asserted without derivation; it is not generally true that -Re<ψ̃_i|ψ̃_s> ≈ -Re<ψ_i|ψ_s> for an arbitrary limited aperture. Because the central 'equivalence' claim extends to these approximate forms, the conditions under which the equivalence holds are not quantitatively established. The exact surface form (12) and two-plane form (28)-(29) do not depend on this assumption.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper presents a vector electromagnetic generalization of the optical theorem framed in terms of projective measurements of scattered fields onto 'OT detectors' that, when radiating, generate the complex conjugate of the probing field in the region of interest. The central relation P_e = (1/2) Re(w), with w defined by Eq. (8), is used to derive exact detector forms: a closed-surface detector (Eq. (12)), a two-plane planar detector (Eqs. (28)-(29)), and spherical/cylindrical multipole detectors (Eqs. (47)-(48), (60)-(63)). It also gives approximate single-surface and single-plane forms (Eqs. (14)-(15), (21)-(27)) and limited-view corollaries (Eqs. (75)-(77)). The paper argues that the nonuniqueness of these detectors follows from the nonuniqueness of the inverse source problem.","tokens_in":15903,"tokens_out":4873,"duration_ms":57683,"significance":"If the central equivalence is correct, the paper provides a useful, parameter-free unification of optical theorem formulations for vector electromagnetic fields, including exact near-field measurement schemes that do not require far-field assumptions. The core derivation is coherent, and the exact surface, two-plane, and multipole results are nontrivial and worth publishing. The main weakness is that the paper's approximate and limited-view claims, which are advertised as practically important, lack quantitative validity conditions.","major_comments":[{"comment":"The approximate OT detectors are introduced with only qualitative conditions ('typically a few wavelengths away', Section 3.3). The paper does not provide an error bound relating source-to-ROI distance, ROI size, evanescent decay, aperture extent/truncation, and the error in the measured P_e. Since these approximate forms are part of the paper's claimed equivalence and are used for practical sensing, the authors should state precise validity conditions or explicitly mark these forms as heuristic with a quantitative error estimate.","section":"Sections 3.2-3.3, Eqs. (14)-(15), (21)-(23)"},{"comment":"Eq. (75) asserts that the limited-view projection approximates the full projection, -Re<ψ̃_i|ψ̃_s> ≈ -Re<ψ_i|ψ_s>, but this is not derived and is not generally true for arbitrary limited apertures; a limited aperture generally cannot synthesize the full complex-conjugate probing field in the ROI. This unproved equality underlies the bound in Eq. (77) and the limited-view detection applications. The authors need to derive the conditions under which Eq. (75) holds or remove/recast the corollary.","section":"Section 3.6, Eq. (75)"},{"comment":"The pure-electric and pure-magnetic planar detectors obtained by image theory are described as 'equally valid' without stating their validity domain. In particular, the statement that the scattered field can contain arbitrary evanescent components at the sensing plane does not by itself justify these forms when the complex-conjugate probing field is only approximately synthesized; the same far-source limitation as in Eqs. (14)-(15) must be quantified for each image-theory variant.","section":"Section 3.3, Eqs. (24)-(27)"}],"minor_comments":[{"comment":"The word 'expresssions' in the concluding paragraph should be corrected to 'expressions'.","section":"Conclusion"},{"comment":"The notation for the addition theorem is typeset incorrectly as 'ρ < = min(ρ, ρ′)' and 'ρ > = max(ρ, ρ′)'; it should read ρ_< = min(ρ, ρ′) and ρ_> = max(ρ, ρ′).","section":"Section 3.5, Eq. (54)"},{"comment":"The spherical Hankel function in Eq. (32) is split by a line break as 'h(+\n l(kr)'; it should be typeset as h_l^{(+)}(kr) for consistency with Eq. (30).","section":"Section 3.4, Eq. (32)"},{"comment":"The free-space impedance η is used in Eq. (16) before being defined; please define η = sqrt(μ/ε) at first use, either in Section 2 or near this equation.","section":"Section 3.2, Eq. (16)"}],"recommendation":"major_revision","confidential_remarks":"The recommendation is driven by the unquantified approximate and limited-view claims. The exact portion of the paper is sound and could be published after the approximate claims are either rigorously bounded or explicitly qualified. The manuscript fits the journal's scope, and the heavy self-citation is natural given that this is a direct vector extension of the author's earlier scalar work [41]."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The exact vector versions of the OT-detector equivalence are the real result here; the approximate and limited-view claims are a separate, weaker layer. The genuinely new items are explicit constructions rather than just a restatement of the scalar idea: the surface-exact detector in Eq. (12), the two-plane planar detector in Eqs. (28)–(29), and the minimum-energy multipole source in Eq. (49). I checked the core algebra and it holds up. Equations (12)–(13) follow by a vector identity; Eq. (34) uses spherical harmonic orthogonality with |(-i)^l|^2 = 1; and the Wronskian step from (44)–(46) to (47) is correct. The exact forms work in the near field, which is the genuine extension beyond the prior scalar work. There are no fitted parameters, no post-hoc data selection, and the citations to the inverse-source literature are appropriate—those results are independently established.\n\nThe paper is on shakier ground when it leaves the exact regime. The single-surface backpropagation and single-plane detectors in Sections 3.2 and 3.3 are presented with only a qualitative \"few wavelengths\" condition. No error bound links source distance, evanescent decay, ROI size, and the error in the measured extinction power. The limited-view corollary in Section 3.6 is asserted rather than derived: Eq. (75) says a limited-aperture projection reproduces the full projection, but that is not generally true, so the bounds in (77) do not follow as stated. This does not damage the exact equivalence, but it means the practical usefulness of the approximate forms is not yet quantitatively established. There is also a concrete blemish in the cylindrical section: Eq. (61) expands the scattered magnetic field in regular Bessel functions J_n instead of outgoing Hankel functions. That is either a typo or a real mistake, and it needs to be fixed because the radiating behavior of the scattered field is essential.\n\nThis is a theory paper for people working on optical-theorem generalizations, near-field sensing, and inverse scattering. The applications are sketches, not worked examples. With the approximate parts tightened or explicitly labeled as heuristic, it would be a solid contribution. Send it to peer review. The exact-form core is worth referee time; the reviewers should ask the authors to quantify the backpropagation and limited-view approximations or clearly mark them as outside the proved domain.","headline":"The exact vector OT-detector equivalence is sound and new; the approximate and limited-view claims need quantitative support before the paper is fully reliable.","tokens_in":16628,"tokens_out":2071,"would_cite":true,"duration_ms":26572,"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 optical theorem is a family: any detector that radiates the complex-conjugated probing field measures the same extinction power.","keywords":["optical theorem","extinction power","electromagnetic scattering","inverse source problem","surface equivalence principle","multipole expansion","near-field sensing"],"falsifier":"Place a small resonant dielectric sphere half a wavelength from a dipole source, and compute $P_e$ three ways: the exact surface integral (12), the two-plane detector (28)-(29), and the multipole expression (48); if the three disagree beyond numerical integration error, the claimed equivalence fails. For the approximate forms, repeat with the source moved closer: the single-plane result (22) should deviate from the exact surface result once evanescent content in the ROI is non-negligible, and the distance at which deviation appears tests the paper's qualitative 'few wavelengths' criterion.","tokens_in":15496,"feed_emoji":"📡","tokens_out":7357,"duration_ms":83214,"temperature":0.7,"pith_summary":"This paper tries to show that the optical theorem—the standard link between a scatterer's extinction power and its forward scattering—is one member of a broad family of equivalent measurement formulas. In full vector electromagnetism, the same extinction power can be obtained by projecting the scattered field onto any detector that, when transmitting, radiates the complex-conjugated version of the probing field into the target region. Because many distinct source distributions produce the same field inside that region, the detector choice is intrinsically nonunique. The paper constructs explicit realizations: a closed surface around the target that works in the near field, planar aperture detectors for sources a few wavelengths away, a two-plane detector that recovers evanescent content exactly, and multipole detectors for spherical and cylindrical scanning. If the claims hold, extinction metrology can be adapted to essentially arbitrary sensing geometries while preserving the full power-budget information.","feed_headline":"One extinction power, many equivalent detectors","feed_subtitle":"Any detector that radiates the time-reversed probe field gives the same extinction power.","key_machinery":"The load-bearing object is the identity $P_e = \\frac{1}{2}\\Re(w)$ with $w=\\int_{\\bar V} d\\mathbf r\\,[\\mathbf J^{(OT)}\\cdot \\mathbf E_s - \\mathbf M^{(OT)}\\cdot \\mathbf H_s]$, in which the optical-theorem (OT) detectors $(\\mathbf J^{(OT)},\\mathbf M^{(OT)})$ are any sources that radiate the complex-conjugated probing fields $(\\mathbf E_i^*, -\\mathbf H_i^*)$ into the region of interest. All explicit detector realizations in the paper—surface currents from Love's equivalence, backpropagation from a single plane, a two-plane pair, and minimum-energy multipole sources—are instances of this c.c.-field condition. The identity converts a global power budget into a local projective measurement and, because the inverse source problem for fields inside the ROI has many solutions, it makes the detector nonunique.","core_discovery":"The paper's central claim is that the electromagnetic optical theorem is not tied to plane-wave illumination or forward-scattering amplitudes: for any probing field generated outside the scattering region, the extinction power $P_e$ equals $\\frac{1}{2}\\Re$ of the projection of the scattered field onto any detector that, when radiating, synthesizes the complex-conjugated probing field in the target region. The authors prove this by reciprocity, deriving an exact surface-detector form valid for arbitrary near-field probing sources, a two-plane planar form that also reproduces evanescent components, and multipole-domain forms for spherical and cylindrical scanning; for sources far enough away that evanescent content is absent in the region of interest, single-plane and backpropagation forms approximate the same quantity. They further show that all these forms share a common inner-product structure and imply inequalities relating extinction to scattered power for lossless and passive scatterers.","pith_inferences":["The authors do not derive time-domain or inhomogeneous-background analogues, but the mechanism they identify—nonuniqueness of sources radiating a prescribed field in a region—is representation-independent; deriving c.c.-field detectors for layered or time-varying backgrounds would be a direct test of the idea's scope.","The detector freedom could be used for noise engineering: among all equivalent OT detectors one could minimize the variance of the estimated $P_e$ under sensor noise, with the minimum-energy source (49) as a natural starting point; this optimization is not carried out in the paper.","The limited-view bound of Eq. (77) implies that an OT-based measurement can estimate total extinction even from a small aperture, which could be tested in a single-pixel or digital-holography experiment by comparing the OT estimate against a full-view reference measurement."],"forward_implications":["A closed sensing surface around the target yields the exact extinction power even when the probing source is in the near field, so far-field forward-amplitude measurements are not required.","Planar aperture detectors give exact extinction measurements when two sensing planes are used, and approximate measurements when a single plane suffices because the source is far enough away that evanescent content in the target region is negligible.","In spherical and cylindrical scanning geometries, extinction power is recovered directly from the multipole moments of the incident and scattered fields, with no surface integral over a physical detector.","For lossless scatterers the derived identity reduces to $-\\Re\\langle\\psi_i|\\psi_s\\rangle = \\|\\psi_s\\|^2$; for passive scatterers the left side is at least the right side, which in limited-view sensing bounds the detectable extinction from below.","All derived OT detectors share one structure: extinction power is the real part of an inner product of the scattered field with a reference vector fixed by the probing field, so the same formalism adapts to different geometries."],"supporting_citations":[{"why":"Establishes the scalar-field version of nonunique optical-theorem detectors that this paper generalizes to full-vector electromagnetics.","marker":"[41]"},{"why":"Gives Love's surface equivalence principle used to construct surface OT detectors from boundary fields.","marker":"[42]"},{"why":"Provides the vector spherical harmonic identities used to simplify the multipole surface integrals.","marker":"[43]"},{"why":"Supplies the multipole expansion formalism for fields in the sensing sphere used in the second multipole detector derivation.","marker":"[44]"},{"why":"Formulates the linear inverse source problem whose nonuniqueness underlies the nonuniqueness of OT detectors.","marker":"[45]"},{"why":"Extends inverse source inversion with a reactive power constraint, supporting the minimum-energy detector realization.","marker":"[46]"}],"fun_headline_variants":["Many detectors, same extinction power","Optical theorem generalized to any probe","Extinction power via time-reversed radiators","All extinction detectors equivalent via reciprocity"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The approximate single-surface and single-plane detectors assume the probing source is far enough from the target that the incident field in the target region contains no significant evanescent content, so one sensing surface can regenerate the complex-conjugated probing field; the paper offers no error bound tying source distance to measurement accuracy.","fun_headline_variants_meta":{"raw":{"variants":["Many detectors, same extinction power","Optical theorem generalized to any probe","Extinction power via time-reversed radiators","All extinction detectors equivalent via reciprocity"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000227,"raw_usage":{"total_tokens":1440,"prompt_tokens":884,"completion_tokens":556,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":500,"completion_tokens_details":{"reasoning_tokens":505}},"tokens_in":500,"tokens_out":556,"duration_ms":7025,"temperature":1.0,"reasoning_tokens":505,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T05:03:47.043397+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Place a small resonant dielectric sphere half a wavelength from a dipole source, and compute $P_e$ three ways: the exact surface integral (12), the two-plane detector (28)-(29), and the multipole expression (48); if the three disagree beyond numerical integration error, the claimed equivalence fails. For the approximate forms, repeat with the source moved closer: the single-plane result (22) should deviate from the exact surface result once evanescent content in the ROI is non-negligible, and the distance at which deviation appears tests the paper's qualitative 'few wavelengths' criterion.","supporting_citations":[{"cited_title":"Nonuniqueness of optical theorem detectors.Journal of the Optical Society of America A, 32(11):1936–1942, 2015","cited_arxiv_id":null,"evidence_quote":"Establishes the scalar-field version of nonunique optical-theorem detectors that this paper generalizes to full-vector electromagnetics."},{"cited_title":"John Wiley & Sons, 2024","cited_arxiv_id":null,"evidence_quote":"Gives Love's surface equivalence principle used to construct surface OT detectors from boundary fields."},{"cited_title":"A new procedure for specifying nonradiating current distributions and the fields they produce.Journal of Mathematical Physics, 41(2):845–866, 2000","cited_arxiv_id":null,"evidence_quote":"Provides the vector spherical harmonic identities used to simplify the multipole surface integrals."},{"cited_title":"John Wiley & Sons, 1990","cited_arxiv_id":null,"evidence_quote":"Supplies the multipole expansion formalism for fields in the sensing sphere used in the second multipole detector derivation."},{"cited_title":"The inverse source problem of electromagnetics: Linear inversion formulation and minimum energy solution.IEEE Transactions on Antennas and Propagation, 47(2):410–412, 1999","cited_arxiv_id":null,"evidence_quote":"Formulates the linear inverse source problem whose nonuniqueness underlies the nonuniqueness of OT detectors."},{"cited_title":"Inverse source problem with reactive power constraint.IEEE Transactions on Antennas and Propagation, 52(6):1586–1595, 2004","cited_arxiv_id":null,"evidence_quote":"Extends inverse source inversion with a reactive power constraint, supporting the minimum-energy detector realization."}],"review_version":1}