{"id":"de6c978c-e70b-476c-b20e-c14e8892504f","arxiv_id":"2608.12578","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"In any passive linear wave system, each ranked separable brightness component of the output is bounded above by the corresponding component of the input.","lead":"This paper proves a universal bound on partially coherent wave fields: through any passive linear system, the ranked powers of the mutually incoherent orthogonal components can never increase. The result unifies and sharpens classical brightness theorems and applies from nanophotonics to radio-frequency and astronomical optics.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified","rationale":"The reader accepted the paper at high confidence, correctly identifying the core linear-algebra argument as sound. My stress-test looked for a hidden failure mode in the finite truncation and passivity-as-contraction assumption. Neither is load-bearing: the truncation is only a presentational device because the theorem is true for infinite-dimensional contractions, and the contraction condition is physically guaranteed for any passive system when the modes are power-normalized. The proof in Methods (Eqs. 14–35) is internally consistent: the cyclic permutation to Rρ′, the Loewner dominance Rρ′ ≤ Sρ~, and Weyl monotonicity are all valid for finite matrices, and the infinite-dimensional generalization follows from standard singular-value inequalities. No counterexample, internal inconsistency, or unstated circular step was found. The additional claims (relation to majorization, threshold rank bound, non-reciprocal and scattering-matrix extensions) are direct consequences of the main theorem and do not introduce independent risk. Therefore the reader's verdict should remain ACCEPT, with no adjustment.","tokens_in":18841,"tokens_out":17212,"duration_ms":179642,"concrete_test":"Write out the infinite-dimensional proof using Weyl's singular-value inequality for compact operators: for a contraction T and positive trace-class A, σ_k(T A^{1/2}) ≤ σ_k(A^{1/2}) for every k, hence λ_k(T A T†) = σ_k(T A^{1/2})^2 ≤ σ_k(A^{1/2})^2 = λ_k(A). If this derivation is checked and accepted, the theorem holds without any finite-truncation assumption.","verdict_should_be":"UNCHANGED","load_bearing_attack":"No significant objection identified. The paper's central claim is correct: for any passive linear system represented by a contraction T on a Hilbert space and any positive trace-class coherency matrix A, the ordered eigenvalues of T A T† are componentwise bounded by those of A. This follows directly from Weyl's singular-value inequality, σ_k(T A^{1/2}) ≤ σ_k(A^{1/2}), giving λ_k(T A T†) = σ_k(T A^{1/2})^2 ≤ σ_k(A^{1/2})^2 = λ_k(A). The finite-n proof in the Methods is a special case of this, and the passivity condition s_i^2 ≤ 1 is guaranteed when M is the compression of the physical operator onto power-normalized input and output modes, since a compression of a contraction is a contraction. The reader's concern that finite truncation or mode normalization could break the Loewner/Weyl step does not land: the theorem extends to infinite dimensions, and the contraction property is physically robust under power-normalized basis choices. The only minor gap is that this infinite-dimensional justification is not written out explicitly, but it is not load-bearing.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper introduces a \"Maximum Brightness Theorem\" for passive linear wave systems. For an input coherency matrix ρ_S and a passive transformation M, the output coherency matrix is ρ_R = Mρ_SM†; the theorem states that the eigenvalues of ρ_R, ordered non-increasingly, are bounded componentwise by the eigenvalues of ρ_S. The proof combines the singular-value decomposition M=VDU, unitary invariance of the spectrum, the Loewner order, and Weyl's monotonicity theorem. The paper also derives consequences: a threshold rank bound, a maximum total brightness bound, and a thought experiment showing that the number of moderately coupled channels cannot be increased. The authors provide supplementary proofs of the auxiliary matrix facts and discuss connections with majorization and classical brightness/étendue.","tokens_in":18949,"tokens_out":14654,"duration_ms":128685,"significance":"The theorem is a very clean and general statement that strengthens earlier results by Zhang, Hsu, and Miller (ref. 1) and the majorization bound (ref. 2). It applies to arbitrary passive linear systems, including lossy and non-reciprocal ones, and to partially coherent fields. The proof is elementary and self-contained, with no free parameters and no circularity. The physical consequences—bounds on single-mode concentration of partially coherent light, total transmitted power, and threshold rank—are useful and clearly explained. The paper is honest about relying on communication-mode theory for the finite basis justification. If the infinite-dimensional scope is clarified, this should become a standard reference.","major_comments":[],"minor_comments":[{"comment":"The theorem is stated for \"arbitrary passive optical or wave systems\" (abstract, Eq. (2)), while the proof in the Methods assumes an n×n matrix M (Eqs. (14)–(16)) and uses the finiteness of n for Weyl's monotonicity theorem. Please add a sentence clarifying that the proof is for finite mode bases and that the infinite-dimensional case follows by a standard limiting argument (or, alternatively, explicitly restrict the theorem to finite-dimensional mode truncations).","section":"Abstract and Methods"},{"comment":"If the singular values s_i are allowed to be complex (as stated in the paragraph before Eq. (21)), the diagonal entries of D†D should be |s_i|^2, not s_i^2, and the passivity condition in Eq. (16) should be written as |s_i|^2 ≤ 1.","section":"Methods, Eq. (25)"},{"comment":"The proof of the cyclic property establishes equality only for non-zero eigenvalues. Since the Methods later compares complete ordered eigenvalue lists, please cite the standard result that square matrices AB and BA have identical characteristic polynomials, or extend the proof to include zero eigenvalues.","section":"Supplementary text S3"},{"comment":"Please define I_n explicitly as the n×n identity matrix and note that D†D is diagonal with entries |s_i|^2, so that the Loewner comparison D†D ⪯ I_n is immediate from |s_i| ≤ 1.","section":"Methods, Eqs. (22)–(26)"},{"comment":"There is a duplicate phrase: \"for any χ in the space of interest in the space of interest\" should be \"for any χ in the space of interest.\"","section":"Main text, after Eq. (4)"},{"comment":"The displayed line \"So, SwRμμ \" appears garbled and should be typeset as a proper statement of weak majorization.","section":"Supplementary text S5"},{"comment":"Please state the normalization convention for the basis functions that makes the eigenvalues of the coherency matrix equal to optical powers (e.g., power-normalized modes). This convention is implicitly assumed when Eq. (16) is called a passivity condition.","section":"Eq. (3)"},{"comment":"The theorem is presented for a square n×n matrix M. If input and output spaces have different dimensions, please clarify whether the shorter eigenvalue list is padded with zeros or whether equal dimensions are assumed after truncation.","section":"Discussion, S7"}],"recommendation":"minor_revision","confidential_remarks":"The result is mathematically solid. My only substantive request is the explicit scope clarification about finite vs. infinite mode bases. The paper cites several of the author's own works (refs 5, 7, 10, 11, 12, 13, 14, 19, 25, 30); in this field these are standard background references, so I do not see a citation concern. No additional experiments are needed."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper is worth your attention. It proves that for any passive linear wave system, the ordered eigenvalues of the output coherency matrix are componentwise no larger than those of the input: μ_Ri ≤ μ_Si for every i. This is a real strengthening of the previous largest-eigenvalue bound (ref 1) and the majorization bound (ref 2); the S5 counterexample [1,0.3] vs [0.8,0.4] shows majorization alone permits violations, so the claim is genuinely new.\n\nWhat is new and good: the theorem is simple to state, covers lossy and lossless, reciprocal and non-reciprocal, scattering and transmission, and gives immediate consequences (threshold rank conservation, maximum total brightness, a no-redistribution proof in S9). The proof is standard linear algebra: SVD, Loewner order, Weyl monotonicity, with all supporting lemmas supplied in S1–S4. No fitted parameters, no circularity in the core argument. The self-citations to Miller's communication-mode work are appropriate; they are used to justify truncation, not to smuggle in the eigenvalue bound.\n\nSoft spots, in proportion: (1) The proof is finite-dimensional. The reduction of a continuous wave system to an n×n matrix is justified physically by the communication-mode cutoff and tunneling escape, but it remains heuristic. The stress-test note is right that an infinite-dimensional version goes through (Weyl's inequality extends to compact/trace-class operators), but the paper doesn't write that out. A referee should ask for a short remark or lemma making this explicit. (2) S3 proves the cyclic property only for non-zero eigenvalues; the matrices in question are square, so the zero-eigenvalue case is covered by continuity, but the text doesn't say so. Minor. (3) The passivity condition s_i^2 ≤ 1 is stated as obvious \"no gain\" and is fine for power-normalized modes; the S7/S11 applications are consistent.\n\nThe central argument holds up. This is a theorem paper, not a device paper, but it's the kind of clean bound that people in partial coherence, nanophotonics, and RF will want to know. The write-up is clear, the supplementary is honest, and the claim of novelty is accurate. I'd send it to a good optics journal for peer review, asking only for the small rigor clarifications above.","headline":"A clean, genuinely stronger componentwise brightness theorem for passive wave systems; the proof holds up, with only a minor heuristic gap in the finite-dimensional truncation.","tokens_in":19555,"tokens_out":2492,"would_cite":true,"duration_ms":23906,"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":"For any passive linear wave system, the ordered component powers of a partially coherent field can only stay the same or decrease.","keywords":["maximum brightness theorem","coherency matrix","partial coherence","passive linear systems","eigenvalue inequality","eigenvalue monotonicity theorem","communication modes","wave concentration"],"falsifier":"Measure the input and output coherency matrices, in the same ordered orthogonal basis, of a passive device that strongly mixes many modes; if any output eigenvalue exceeds the corresponding input eigenvalue, the theorem is false. Alternatively, find a passive device whose singular-value decomposition in standard orthonormal input and output mode sets has a squared singular value greater than 1, which would show the passivity-as-contraction assumption is normalization-dependent.","tokens_in":18576,"feed_emoji":"🔆","tokens_out":13650,"duration_ms":109637,"temperature":0.7,"pith_summary":"This paper establishes a universal bound on how much wave power any passive optical or wave system can concentrate. It claims that for any linear system without gain, the ordered powers of the mutually incoherent and mutually orthogonal components of a partially coherent field can only decrease component by component: the strongest output component is no brighter than the strongest input component, the second strongest no brighter than the second strongest input, and so on. The result covers lossless, lossy, scattering, and non-reciprocal systems, and it generalizes the classical brightness or radiance theorem along with recent eigenvalue majorization bounds. This matters because it gives a simple, diffraction-inclusive limit on solar concentrators, radio-frequency energy harvesting, antenna arrays, and any scheme that tries to funnel many weak sources into a single bright mode.","feed_headline":"Passive optics cannot boost any ordered wave component","feed_subtitle":"The strongest output mode stays capped by the strongest input mode, setting limits on light concentration and antennas.","key_machinery":"The coherency matrix $\\rho = \\sum_i P_i |\\chi_i\\rangle\\langle\\chi_i|$ encodes the partially coherent field, with its eigenvalues being the separable modal powers. The proof machinery is the singular-value decomposition of the system matrix, $M = VDU$; passivity enters as $s_i^2 \\le 1$ for the singular values, so $D^\\dagger D \\le I$. The unitary factors preserve the coherency-matrix eigenvalues, the diagonal factor supplies a Hermitian-matrix inequality between the transformed input and output matrices, and the monotonicity theorem for ordered eigenvalues converts that matrix inequality into the componentwise eigenvalue bounds of Eq. (1).","core_discovery":"The central claim is Eq. (1): if a passive linear wave system is represented by a matrix $M$, and the input and output coherency matrices $\\rho_S$ and $\\rho_R = M\\rho_S M^\\dagger$ have eigenvalues $\\mu_{Si}$ and $\\mu_{Ri}$ arranged in non-increasing order, then $\\mu_{Ri} \\le \\mu_{Si}$ for every $i$. The paper states this as the Maximum Brightness Theorem: in passing through a passive optical system, the power in the $i$-th most powerful mutually incoherent, mutually orthogonal component of the field cannot increase. The proof uses the singular-value decomposition $M = VDU$ with $D^\\dagger D \\le I$, compares the intermediate coherency matrices as Hermitian matrices under the partial order in which $A\\preceq B$ means $B-A$ is positive semidefinite, and applies the standard monotonicity theorem for ordered eigenvalues to conclude that every ordered eigenvalue can only stay the same or decrease.","pith_inferences":["An experimentalist could test the bound with a programmable interferometer mesh by measuring both coherency matrices for many random passive settings; an ordered violation would signal a mode-truncation artifact rather than a failure of the mathematical claim.","Because the proof relies only on passivity and linearity, an analogous componentwise bound should hold for time-dependent linear passive media analyzed frequency band by frequency band, although the paper does not develop that extension.","Read as an unnormalized density matrix, the coherency matrix makes the theorem a statement about ordered photon-number probabilities in orthogonal modes under passive linear optics, connecting it to majorization-based reasoning in quantum information that the paper only touches on implicitly."],"forward_implications":["No passive optical system can concentrate partially coherent radiation into a single output mode beyond the power of the strongest orthogonal incoherent input component.","For a system with known squared singular values $s_i^2$, the largest possible separable output power is bounded by $s_1^2\\mu_{S1}$, and the largest possible total output power by $\\sum_i s_i^2\\mu_{Si}$, with optimal coupling obtained by aligning input coherent modes to the system's communication modes.","The threshold rank, defined as the number of coherent-mode powers above a threshold $\\epsilon$, cannot increase in a passive system and is conserved in a lossless system.","The theorem forbids any passive apparatus that redistributes the sum of squared coupling strengths to create more moderately coupled orthogonal channels, because such a redistribution would raise some ordered eigenvalue.","The bound applies to scattering-matrix descriptions and non-reciprocal systems, so it constrains radio-frequency energy harvesting, antenna systems, and nanophotonic concentration as well as conventional imaging optics."],"supporting_citations":[{"why":"It supplies the prior bound on the largest coherency-matrix eigenvalue that this paper generalizes to every ordered eigenvalue.","marker":"(1)"},{"why":"It introduces the eigenvalue majorization result that the componentwise bound is shown to tighten.","marker":"(2)"},{"why":"It supplies the communication-mode description of orthogonal channels and the finite-mode truncation used to represent the system by a finite matrix.","marker":"(5, 10)"},{"why":"It demonstrates physical separation of partially coherent light into ordered, mutually incoherent orthogonal components, making the ordered output powers measurable.","marker":"(8)"},{"why":"It explains the tunneling-escape cutoff that justifies treating coupling strengths beyond a finite number of modes as negligible.","marker":"(19)"}],"fun_headline_variants":["Passive optics cap each ordered brightness component","Wave brightness components never increase through passive systems","Ordered wave powers cannot grow in passive optical systems","Maximum brightness theorem caps every mode's power","No passive wave system can increase any brightness component"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The theorem stands or falls on the assumption that the field can be represented in a finite set of modes and that every channel of the passive system has gain at most one; if either fails, the matrix comparison that drives the proof does not apply.","fun_headline_variants_meta":{"raw":{"variants":["Passive optics cap each ordered brightness component","Wave brightness components never increase through passive systems","Ordered wave powers cannot grow in passive optical systems","Maximum brightness theorem caps every mode's power","No passive wave system can increase any brightness component"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001025,"raw_usage":{"total_tokens":4275,"prompt_tokens":851,"completion_tokens":3424,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":467,"completion_tokens_details":{"reasoning_tokens":3355}},"tokens_in":467,"tokens_out":3424,"duration_ms":21156,"temperature":1.0,"reasoning_tokens":3355,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T00:04:55.714558+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Measure the input and output coherency matrices, in the same ordered orthogonal basis, of a passive device that strongly mixes many modes; if any output eigenvalue exceeds the corresponding input eigenvalue, the theorem is false. Alternatively, find a passive device whose singular-value decomposition in standard orthonormal input and output mode sets has a squared singular value greater than 1, which would show the passivity-as-contraction assumption is normalization-dependent.","supporting_citations":[],"review_version":1}