{"id":"df1ecaac-daee-4509-b0ae-e42be261556e","arxiv_id":"2608.10427","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"A phase correction that removes the reference-domain time advance turns the conventional scattering matrix into a Schur function, yielding projected and determinant causality sum rules that generalize known bounds to multichannel observables.","lead":"This paper derives causality-based limits on how much passive optical devices can suppress or absorb light, written directly in terms of the measured scattering matrix. It recovers classic absorber and multipole bounds and adds new multichannel constraints on coherent suppression, loss, and delay versus bandwidth.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Eq. (2)'s RHS coefficient appears too large by a factor of 2: the one-pole Schur check gives ∫−ln|s| dω/ω² = πτ/2, but the Rozanov recovery uses πτ with τ=2d/c, yielding 2πd/c instead of πd/c.","rationale":"The reader's weakest assumption identified the deferred proof of the Schur-function lemma and the factor-of-two consistency in the Rozanov recovery. My stress-test goes further: an elementary one-pole Schur example suggests Eq. (2) itself carries a factor-of-two overestimate unless T_a is defined as half the physical round-trip delay. This is load-bearing because the paper's novelty is the quantitative bound, not merely the qualitative statement that some sum rule exists; the finite-band depths, determinant depth, suppressed-channel count, and lossless delay estimates all inherit the coefficient. However, the concern is reparable: if the correct Herglotz coefficient is π/2 times the low-frequency phase-slope, then redefining T_a accordingly restores the claimed scalar recoveries and leaves the structural framework intact. The reader's conditional verdict is therefore appropriate, and the main condition to impose is an independent derivation of the coefficient in Eq. (2) and a corrected Rozanov check. I do not see a reason to reject the work outright, nor to accept it without the coefficient being settled.","tokens_in":10625,"tokens_out":21984,"duration_ms":224495,"concrete_test":"Independently re-derive Eq. (2) for the scalar Schur function s(ω)=−1/(1+iωτ): verify analytically that ∫_0^∞ −ln|s(ω)| dω/ω^2 = πτ/2, and then determine whether the Cayley–Herglotz derivation of Eq. (2) yields a right-hand side of πτ or πτ/2. If the coefficient is πτ/2, recompute the planar-absorber recovery with τ_v=d/c instead of 2d/c and check whether the resulting finite-band depth matches Rozanov's published constant exactly.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central projected sum rule, Eq. (2), is a quantitative inequality whose content is the coefficient π⟨v,T_a v⟩ on the right. The proof is deferred to Lemma S2.1 and Notes 3–4, but the coefficient can be checked in the scalar Schur limit without that material. Take the passive one-pole Schur function s(ω)=−1/(1+iωτ). It has s(0)=−1, low-frequency phase derivative τ, and |s(ω)|=(1+(ωτ)^2)^−1/2. The left side of Eq. (2) is ∫_0^∞ (1/2)ln(1+(ωτ)^2) dω/ω^2 = πτ/2. Thus, for a Schur function with this low-frequency coefficient, the logarithmic Herglotz moment identity gives πτ/2, not πτ. In the planar-absorber recovery the authors insert τ_v=2d/c into Eq. (2) and claim the Rozanov bound; that produces 2πd/c, whereas the standard shorted-transmission-line constant is πd/c. The same factor of two propagates into Eq. (3) via tr T_a and into the finite-band examples in Consequences 1–3 and the lossless delay estimate. If T_a is intended to denote the low-frequency phase-slope coefficient rather than the physical round-trip delay 2d/c, the notation and the recovery are still inconsistent as written. Either way, Eq. (2) as stated is not the tight causal bound the paper claims to recover.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript proposes a formulation of causality sum rules directly in the conventional multichannel scattering matrix. The central construction is the domain-delayed matrix S̃(ω) = D_a(ω)S(ω), where D_a(ω) = exp(iωT_a) and T_a is the earliest-arrival delay operator determined by the reference surfaces. The paper asserts that, under stated analyticity, transparency, and regularity assumptions, S̃ is an operator Schur function, and that a Cayley-Herglotz construction yields a projected sum rule for coherent channel superpositions and a determinant sum rule for aggregate multichannel attenuation. These rules are claimed to recover Rozanov's absorber bound and spherical-multipole sum rules, and to yield finite-band depth-bandwidth constraints, aggregate and geometric-mean attenuation bounds, suppressed-channel-count bounds, and a conditional lossless delay-bandwidth estimate. The manuscript also describes the use of an AI system, Qiushi Engine, in the initial exploration, with the authors taking responsibility for verification.","tokens_in":11064,"tokens_out":18134,"duration_ms":161956,"significance":"If the central Schur-function lemma and the logarithmic moment identities are correct, the paper offers a valuable connection between experimentally accessible scattering data and fundamental causality limits. The construction is attractive because T_a is a geometric input rather than a fitted parameter, and the scalar limit checks are explicit and recover known results. The paper also clearly states several limitations, such as the need for common-delay eigenspaces for the projected rule and the requirement of channel completeness for an absorption interpretation. The significance is, however, conditional: the proofs of the central claims are deferred to a missing supplement, and the precise regularity conditions are not stated in the main text, so the substantive results cannot currently be verified from the submitted material.","major_comments":[{"comment":"The central step—that S̃(ω)=D_a(ω)S(ω) is an operator Schur function and that the logarithmic Herglotz moment identities for ⟨v,S̃(ω)v⟩ and det S̃(ω) hold—is asserted in the main text, but its proof is deferred entirely to Lemma S2.1 and Supplementary Notes 3 and 4, which are not included in the reviewed preprint. Since both sum rules (2) and (3) rest on these identities, the manuscript is not self-contained. Please provide the supplementary notes, or include a complete proof and a precise statement of the required analyticity, high-frequency transparency, and regularity assumptions in the main text.","section":"Domain-delayed Schur construction; Lemma S2.1, Supplementary Notes 3–4"},{"comment":"The 'angular-derivative condition' is not defined in the main text. The text states only that it 'ensures that the non-geometric terms do not increase the low-frequency coefficient.' Without a precise definition, a referee cannot check whether the low-frequency coefficient of the Herglotz function is indeed proportional to ⟨v,T_a v⟩, nor whether the logarithmic integral converges. In particular, if ⟨v,S(ω)v⟩ or det S(ω) has a zero on the real axis, the integral ∫_0^∞ −ln|·| dω/ω² diverges, and the stated bound cannot hold as written; the conditions must exclude this case or provide a limiting interpretation.","section":"Projected sum rule, Eq. (2)"},{"comment":"The lossless delay-bandwidth estimate (6) depends on an 'effective propagation length λ' and on the modal-count hypothesis B_H, neither of which is defined in the main text. As written, λ is a free parameter, so Eq. (6) is not a closed-form causal bound. The paper acknowledges that the result is conditional, but the hypothesis B_H should be stated precisely so that a reader can determine which systems satisfy it and how the 'effective propagation length' is related to the scattering geometry.","section":"Conditional phase-delay extension, Eq. (6)"}],"minor_comments":[{"comment":"The displayed equations are typeset ambiguously; the right-hand side coefficient appears as π/2 in the text, and the Rozanov recovery with τ_v=2d/c confirms that the intended coefficient is π/2. Please typeset the coefficient explicitly as π/2 in both Eq. (2) and Eq. (3) to avoid misreading.","section":"Eq. (2) and Eq. (3)"},{"comment":"The inline inequality '∫ −ln|s_v| dω/ω² ≤ π τ_v / 2' is formatted unclearly; the division by 2 is easily lost. Please rewrite this in displayed form.","section":"Consequence 1"},{"comment":"The Herglotz function h_v mentioned in the projected sum rule is introduced without a definition in the main text; please define it explicitly or remove the reference to it.","section":"Notation"}],"recommendation":"major_revision","confidential_remarks":"The main technical results are entirely supported by supplementary notes that are not included in the preprint. I recommend requesting the supplementary material before final evaluation. The AI-workflow disclosure is transparent and does not affect my scientific assessment, though the journal may wish to verify that the contribution statement complies with its authorship guidelines."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Good idea, wrong constant. The domain-delay construction—removing the reference-domain time advance by multiplying with D_a = e^{iωT_a} and then treating S̃ as a Schur function—is the right way to connect causal bounds to measured S-matrices, and the projected/determinant formulation is a plausible operator-level extension. But the central inequalities are off by a factor of two.\n\nCheck the scalar limit yourself. For s(ω) = −1/(1+iωτ), a perfectly good passive one-pole Schur function, −ln|s| = ½ ln(1+ω²τ²), so ∫_0^∞ −ln|s(ω)| dω/ω² = πτ/2. Equation (2) claims the bound is π⟨v,T_a v⟩, i.e. πτ for this scalar. That is a factor of two too large. The paper's Rozanov recovery inserts τ_v = 2d/c and gets 2πd/c, while the actual Rozanov constant is πd/c. So the \"direct recovery\" is not a recovery; the bound is loose by exactly two. The same factor scales the determinant rule and the finite-band consequences in Figs. 3 and 4.\n\nWhat is genuinely good: the operator framing is new, the distinction between projected and determinant budgets is useful, and the suppressed-channel count is a nice application that does not exist in the cited literature. The authors also state their conditions (transparency, analyticity, angular-derivative) explicitly and are honest that the lossless delay-bandwidth part is conditional on a modal-count hypothesis. That is responsible.\n\nSoft spots beyond the coefficient: the crucial lemma (S̃ is Schur) and both sum-rule proofs are deferred to Supplementary Notes 2–4, which are not in the reviewed text. Referees cannot check the main theorem from the manuscript. The finite-band conversion uses a narrowband approximation, which is fine if labeled; the lossless extension has a free parameter λ and an explicit extra-phase caveat, so it is not a universal limit. None of these is fatal; the factor of two is.\n\nMy recommendation: send it to peer review, but the referee must be asked to verify Eq. (2) with a one-pole example. If the coefficient is corrected to π/2 (or T_a redefined so that the product matches), the framework likely survives and the applications need rescaling. As written, the central quantitative claim is wrong, and the authors should not publish it without fixing that.","headline":"The domain-delay idea is right, but Eq. (2) is off by a factor of two—the one-pole Schur check gives πτ/2, not πτ, so the Rozanov recovery is actually 2πd/c rather than πd/c.","tokens_in":11500,"tokens_out":6300,"would_cite":false,"duration_ms":59993,"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":"Two new causality sum rules act directly on measured scattering matrices","keywords":["causality sum rules","scattering matrix","passivity","Schur functions","Herglotz representation","Rozanov bound","multichannel attenuation","delay-bandwidth limit"],"falsifier":"Measure the full passive scattering matrix of a finite object over a sufficiently broad band, form $\\int_0^\\infty -\\ln|\\det S(\\omega)|\\,d\\omega/\\omega^2$, and compare it with $\\pi\\,\\mathrm{tr}(T_a)$ determined from the known earliest-arrival delays; any passive object exceeding the bound would invalidate the determinant sum rule.","tokens_in":10449,"feed_emoji":"📡","tokens_out":7599,"duration_ms":61583,"temperature":0.7,"pith_summary":"The paper shows that the standard scattering matrix $S(\\omega)$ of a passive electromagnetic device already encodes causality limits, once the time advance introduced by the finite reference domain is removed. Multiplying by the unitary factor $e^{i\\omega T_a}$, where $T_a=\\mathrm{diag}(\\tau_\\alpha)$ collects each channel's earliest-arrival delay, yields a domain-delayed matrix $\\widetilde S(\\omega)$ that keeps the real-frequency passivity of $S$ and, under stated assumptions, becomes an operator Schur function. From the Schur property the paper derives a projected sum rule that bounds the integrated logarithmic suppression of a coherent channel superposition by its causal delay, and a determinant sum rule that bounds aggregate multichannel attenuation by $\\pi\\,\\mathrm{tr}(T_a)$. These rules recover Rozanov's absorber bound and spherical-multipole sum rules and extend causality limits to insertion loss, singular-value suppression, and conditional lossless delay-bandwidth trade-offs.","feed_headline":"Two new causality sum rules act directly on measured scattering matrices","feed_subtitle":"Removing the reference-domain time advance yields Schur structure and Rozanov-type bounds.","key_machinery":"The carrying object is the domain-delayed scattering matrix $\\widetilde S(\\omega)=D_a(\\omega)S(\\omega)$ with $D_a(\\omega)=e^{i\\omega T_a}$ and $T_a=\\mathrm{diag}(\\tau_\\alpha)$ the earliest-arrival delay per output channel. The unitary factor removes the reference-domain time advance without altering real-frequency power balance, and the product is claimed to be an operator Schur function: analytic in the upper half-plane and contractive there. The matrix Cayley transform $W=i(I+\\widetilde S)(I-\\widetilde S)^{-1}$ converts contractivity into an operator Herglotz function with $\\mathrm{Im}\\,W(z)\\succeq 0$, and the Herglotz spectral representation turns analyticity and passivity into the logarithmic moment identities that produce the two sum rules.","core_discovery":"The central claim is that causality sum rules can be written directly in the conventional incoming-outgoing scattering matrix, with no change of variables, provided one first corrects the apparent time advance imposed by the finite reference domain. With $T_a=\\mathrm{diag}(\\tau_\\alpha)$ the channel-dependent earliest-arrival delays, the domain-delayed matrix $\\widetilde S(\\omega)=e^{i\\omega T_a}S(\\omega)$ preserves real-frequency passivity because $e^{i\\omega T_a}$ is unitary, and, under the paper's analyticity, transparency, and regularity assumptions, is an operator Schur function: analytic in the upper half-plane and contractive there. The Cayley transform then supplies the Herglotz representation, whose low-frequency expansion is controlled by the delay operator. The paper's two results are the projected inequality $\\int_0^\\infty -\\ln|\\langle v,S(\\omega)v\\rangle|\\,d\\omega/\\omega^2 \\le \\pi\\langle v,T_a v\\rangle$ for unit superpositions in a common-delay eigenspace, and the determinant inequality $\\int_0^\\infty -\\ln|\\det S(\\omega)|\\,d\\omega/\\omega^2 \\le \\pi\\,\\mathrm{tr}(T_a)$. These recover the Rozanov absorber thickness-bandwidth bound and the spherical-multipole bounds as scalar limits, and the multichannel forms constrain quantities no scalar bound can see.","pith_inferences":["The same construction suggests a testable extension to non-spherical reference surfaces with channel-dependent delays: the projected rule should hold separately within each common-delay eigenspace, which could be checked in waveguide arrays or metasurface measurements.","Since the projected rule binds any superposition in a delay eigenspace, it gives a design pre-check for coherent perfect absorption or destructive-interference suppression: required attenuation-bandwidth product must be paid for by delay available inside that eigenspace.","A practical falsification route is to compute the determinant integral from measured broad-band S-parameters of a passive device; any excess over $\\pi\\,\\mathrm{tr}(T_a)$ would show which transparency or regularity condition fails in a real scatterer.","The lossless delay-bandwidth estimate is conditional on phase winding accumulating in a modal-count way; for slow-light or high-Q resonant structures the paper's own caveat suggests the true bound may be larger by an additive $2\\pi k_{\\mathrm{extra}}$ term, so this part is better read as a spectral-counting estimate than a universal limit."],"forward_implications":["A coherent superposition of spherical-wave channels obeys a size-limited suppression: with $T_a=(2a/c)I$, the integrated logarithmic return is at most $2\\pi a/c$, so deep broadband suppression of any multiport combination costs electrical size.","The determinant bound is basis independent and grows linearly with the truncated channel number $N$, so the geometric-mean singular-value depth has a ceiling that does not grow with $N$.","At least $m$ singular channels cannot all stay below a threshold $\\rho_\\sigma$ over a fractional bandwidth $\\beta$ unless $m\\le N\\pi k_0 a/(\\beta\\ln(1/\\rho_\\sigma))$, giving a countable maximum number of suppressed channels.","For lossless multiport networks, under the modal-count hypothesis, the band-averaged delay satisfies a bound proportional to $N$ and inversely to fractional bandwidth, quantifying how much effective propagation length is needed for a target delay-bandwidth product.","Because both rules operate on the measured S-matrix itself, experimental $S$-parameter data can be checked against fundamental limits without reconstructing polarizability, Green-function, or volume-operator quantities."],"supporting_citations":[{"why":"Rozanov's absorber bound is the scalar limit the projected sum rule must recover, providing the reference result.","marker":"8"},{"why":"Bernland and Gustafsson's spherical-multipole sum rules are recovered when the delay operator is $(2a/c)I$, grounding the multipole reduction.","marker":"9,10"},{"why":"Kramers-Kronig and dispersion-relation works define the causal analyticity convention the construction starts from.","marker":"1-3"},{"why":"Bounded-real scattering-matrix theory establishes the passivity-plus-analyticity framework the paper extends to operator Schur functions.","marker":"7"},{"why":"Volume $T$-operator and local-conservation causality bounds are the alternative representations the paper contrasts with its direct S-matrix route.","marker":"21-23"},{"why":"A recent tutorial on fundamental photonic limits frames the missing link of sum rules acting directly on conventional scattering matrices.","marker":"24"}],"fun_headline_variants":["Causality sum rules directly from measured scattering matrices","Scattering sum rules without variable changes","Domain-delayed matrix restores causal sum rules","Schur structure gives Rozanov-type bounds directly","Direct causality bounds for multichannel loss"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the domain-delayed matrix is actually a Schur function, analytic and contractive across the whole upper half-plane under realistic high-frequency behavior, so the logarithmic Herglotz moment identities hold; for the lossless delay result, an additional modal-count hypothesis on the phase accumulation is also load-bearing.","fun_headline_variants_meta":{"raw":{"variants":["Causality sum rules directly from measured scattering matrices","Scattering sum rules without variable changes","Domain-delayed matrix restores causal sum rules","Schur structure gives Rozanov-type bounds directly","Direct causality bounds for multichannel loss"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000211,"raw_usage":{"total_tokens":1463,"prompt_tokens":1044,"completion_tokens":419,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":660,"completion_tokens_details":{"reasoning_tokens":350}},"tokens_in":660,"tokens_out":419,"duration_ms":4368,"temperature":1.0,"reasoning_tokens":350,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T14:21:18.437215+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Measure the full passive scattering matrix of a finite object over a sufficiently broad band, form $\\int_0^\\infty -\\ln|\\det S(\\omega)|\\,d\\omega/\\omega^2$, and compare it with $\\pi\\,\\mathrm{tr}(T_a)$ determined from the known earliest-arrival delays; any passive object exceeding the bound would invalidate the determinant sum rule.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Rozanov's absorber bound is the scalar limit the projected sum rule must recover, providing the reference result."},{"cited_title":"C., Castriota, L","cited_arxiv_id":null,"evidence_quote":"Bounded-real scattering-matrix theory establishes the passivity-plus-analyticity framework the paper extends to operator Schur functions."}],"review_version":1}