{"id":"9e270500-d04b-40e5-9e33-cbc7e7e0e131","arxiv_id":"2607.27116","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":5.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Singular values of a sum of binary tensor products are weakly majorized by the sum of the tensor products of the factors' singular-value vectors, for any number of terms and any matrices.","lead":"The authors prove that singular values of any finite sum of binary matrix tensor products are weakly majorized by the sum of the tensor products of the factors' singular-value lists. The result extends a recent two-term positive-matrix inequality and gives a bound on the singular values of a quantum channel in terms of its Kraus operators.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The note is a short, self-contained matrix-analysis argument whose only non-textbook move is the L/R polar-decomposition trick already used in CRW25. That step invokes a classical norm inequality whose hypotheses are satisfied, so the reduction from general matrices to the PSD case is secure. The PSD half is likewise standard (telescoping spectral decomposition, partial-trace Lemma, Ky Fan principle, rearrangement). Consequently the central claim (Eq. 3) stands, the CP-map corollary follows at once, and the reader's ACCEPT / low-correctness-risk verdict needs no adjustment. The concrete numerical check above is merely a quick sanity verification, not a repair.","tokens_in":4778,"tokens_out":446,"duration_ms":9966,"concrete_test":"Take m=2, d1=d2=2 with non-normal A1=[[0,1],[0,0]], B1=I, A2=I, B2=[[0,0],[1,0]]. Numerically compute the vector of singular values of A1⊗B1+A2⊗B2 and of σ(A1)⊗σ(B1)+σ(A2)⊗σ(B2); verify that the partial-sum inequalities of weak majorization hold (and fail to be equalities, confirming the reduction is doing real work).","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reader's flagged step—the Cauchy-Schwarz reduction for Ky Fan k-norms via auxiliary L,R built from polar decompositions—is standard (Bhatia IX.5) and correctly applied: |M_l|=|A_l|⊗|B_l|, so the PSD case already proved for the absolute values supplies identical majorants on both factors of (4), yielding the singular-value claim. The preceding PSD argument (spectral telescoping + Lemma + Ky Fan max principle + rearrangement) is elementary and fully written; equality of totals gives ordinary majorization when matrices are PSD. No hidden dimensional, positivity, or ordering gap appears that would overturn Eq. (3).","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The manuscript proves a Ky Fan-type weak majorization for singular values of arbitrary finite sums of binary tensor products: σ(∑_l A_l ⊗ B_l) ≪_w ∑_l σ(A_l) ⊗ σ(B_l) for complex matrices A_l, B_l (Theorem, Eq. (3)). When all matrices are positive semidefinite the relation strengthens to ordinary majorization of eigenvalues. The argument proceeds in three steps: a partial-trace lemma (Weyl monotonicity + von Neumann trace inequality), a PSD proof via spectral telescoping, Ky Fan’s maximum principle and a [0,1]-coefficient rearrangement bound, and a reduction from general matrices to the PSD case by polar decomposition and Cauchy–Schwarz for the Ky Fan k-norm. A corollary gives the corresponding weak majorization between the singular values of a completely positive map and those of its Kraus operators.","tokens_in":4873,"tokens_out":768,"duration_ms":37377,"significance":"The note cleanly extends Alhejji’s recent result from two PSD summands to arbitrary m and to general (not necessarily positive) matrices, with a short self-contained proof that relies only on classical named inequalities. The argument is elementary, fully written, and free of fitted parameters or circular appeals to the authors’ prior conclusions. The Kraus-operator corollary is a natural and useful application in quantum information. Within matrix analysis and quantum channel theory the inequality is a concrete, checkable addition to the majorization toolkit; its brevity and completeness make it suitable for rapid dissemination as a short note.","major_comments":[],"minor_comments":[{"comment":"Throughout the PDF the title and running heads render as “KY F AN” (spurious space). Please correct the typesetting of “Ky Fan”.","section":"Title / running heads"},{"comment":"In the introduction, “form= 2” should read “for m = 2”.","section":"Introduction, display (1)"},{"comment":"In the general-matrix reduction, “Ky Fank-norm” is missing a space; write “Ky Fan k-norm”.","section":"Proof of Theorem, around (4)"},{"comment":"It would help the reader to state explicitly once that σ(A) ⊗ σ(B) denotes the vector of all pairwise products (Kronecker product of the two singular-value vectors), ordered nonincreasingly when majorization is invoked.","section":"Notation paragraph / Theorem"},{"comment":"Abstract cites Alhejji as arXiv:2410.18254 while the bibliography lists the published version [Alh26]; align the two citations for consistency.","section":"Abstract and References"}],"recommendation":"accept","confidential_remarks":"The related simultaneous works [AKP26, GW26] are cited appropriately for the multi-factor remark and do not undercut novelty of the binary arbitrary-m / singular-value statement. Fit as a short note is good; no scope or citation-pattern concerns."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"This is a short, self-contained note that does exactly what the abstract claims. Alhejji had the m=2 PSD eigenvalue case; Wolf–Zhou get arbitrary finite sums and singular values of general matrices, plus the Kraus corollary for CP maps. The central claim (Eq. 3) is the one you would actually want to cite.\n\nThe proof is the right length and uses only textbook tools. Partial-trace lemma via Weyl + von Neumann, spectral telescoping of the PSD factors, Ky Fan max principle, then a [0,1]-matrix rearrangement bound. The passage to singular values is the standard polar + Bhatia CS for the Ky Fan k-norm (same device as CRW25); because |A⊗B|=|A|⊗|B|, both sides of the CS bound collapse to the same majorant already proved for PSD matrices. Equality of totals upgrades weak majorization to ordinary majorization in the PSD case. The multi-factor remark is honest: it fails for m>2 beyond two factors, which matches the companion notes they cite.\n\nNo free parameters, no data, no circularity. Self-citations are only for the CS technique and the multi-factor counter-example; the theorem does not rest on their conclusions. The only soft spot is that novelty is incremental—an extension inside an active program rather than a reorganization—but the extension is the natural one and the write-up is cleaner than many longer papers on the same circle of ideas.\n\nSpecialists in matrix analysis or quantum channels who already use Ky Fan-type bounds will get immediate value; everyone else can skip it. It deserves a serious referee and should be a straightforward accept at a methods or notes venue. I would cite the theorem and the CP corollary if I needed the bound.","headline":"Clean, correct extension of Alhejji's binary-tensor Ky Fan relation to arbitrary m and singular values, with a usable CP-map corollary.","tokens_in":5526,"tokens_out":457,"would_cite":true,"duration_ms":10474,"reading_group":"no","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["15A18","15A42","47A80","81P45"],"pacs":[],"model":"grok-4.5","headline":"Singular values of any sum of binary tensor products are weakly majorized by the sum of the tensor products of the individual singular values.","keywords":["Ky Fan majorization","singular values","binary tensor products","completely positive maps","Kraus operators","weak majorization","matrix inequalities"],"falsifier":"Exhibit concrete matrices A_l, B_l for which the sum of the top k singular values of ∑ A_l ⊗ B_l strictly exceeds the sum of the top k entries of ∑ σ(A_l) ⊗ σ(B_l), or verify equality of total sums fails for a positive-semidefinite instance.","tokens_in":5624,"feed_emoji":"⊗","tokens_out":846,"duration_ms":21250,"temperature":0.7,"pith_summary":"This paper proves a Ky Fan-type majorization bound for sums of binary tensor products of matrices. For any number of pairs of matrices, the singular values of the sum of their tensor products are weakly majorized by the sum of the tensor products of their singular-value vectors. When the matrices are positive semidefinite the relation strengthens to ordinary majorization of eigenvalues. The result extends an earlier two-summand positive-matrix statement to arbitrary sums and to general complex matrices. As a direct application, the singular values of a completely positive map are weakly majorized by the sum of the tensor products of the singular values of its Kraus operators.","feed_headline":"Singular values of tensor-product sums obey Ky Fan majorization","feed_subtitle":"Any number of matrix pairs, positive or not; the bound also controls Kraus operators of quantum maps","key_machinery":"A three-step argument: a partial-trace lemma that bounds tr[E(P ⊗ B)] by a min{r, λ_j(R)} weighted sum; a telescoping spectral decomposition of positive matrices that reduces the Ky Fan k-norm to a linear program over a coefficient matrix C with total mass k; and a polar-decomposition Cauchy–Schwarz step for unitarily invariant norms that lifts the positive case to singular values of general matrices.","core_discovery":"For arbitrary complex matrices A_l and B_l and any finite number m of summands, the singular values satisfy σ(∑ A_l ⊗ B_l) ≺_w ∑ σ(A_l) ⊗ σ(B_l). When every matrix is positive semidefinite the same relation holds with eigenvalues in place of singular values and with ordinary majorization in place of weak majorization.","pith_inferences":["The Kraus-operator corollary supplies a concrete spectral constraint that any set of Kraus operators must satisfy, independent of the channel they implement.","The partial-trace reduction may adapt to other unitarily invariant norms or to Schatten-class variants of the same majorization.","Because the positive case already yields ordinary majorization, equality cases are completely characterized by the classical equality conditions in Ky Fan’s principle and von Neumann’s trace inequality."],"forward_implications":["The majorization holds for every finite number of summands, not only two.","The same bound applies to singular values of completely positive maps via their Kraus operators.","For positive-semidefinite matrices the relation is ordinary majorization because both sides have equal total sum.","The binary-tensor bound does not extend in general to three or more tensor factors when m > 2."],"fun_headline_variants":["Ky Fan majorization for singular values of binary tensor sums","Singular values of tensor-product sums obey weak Ky Fan majorization","Arbitrary matrix pairs: singular values majorized by tensor products","Tensor sums of matrices satisfy Ky Fan singular-value majorization","Kraus operators control singular values of completely positive maps"],"cache_read_input_tokens":128,"weakest_assumption_plain":"The lift from positive matrices to arbitrary matrices depends on the Cauchy–Schwarz inequality for unitarily invariant norms applying to the Ky Fan k-norm of the auxiliary operators built from polar decompositions.","fun_headline_variants_meta":{"raw":{"variants":["Ky Fan majorization for singular values of binary tensor sums","Singular values of tensor-product sums obey weak Ky Fan majorization","Arbitrary matrix pairs: singular values majorized by tensor products","Tensor sums of matrices satisfy Ky Fan singular-value majorization","Kraus operators control singular values of completely positive maps"]},"model":"grok-4.5","effort":"low","cost_usd":0.003553,"raw_usage":{"total_tokens":1074,"prompt_tokens":614,"num_sources_used":0,"completion_tokens":66,"cost_in_usd_ticks":35528000,"prompt_tokens_details":{"text_tokens":614,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":394,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":614,"tokens_out":66,"duration_ms":6601,"temperature":1.0,"reasoning_tokens":394,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-30T11:06:31.777157+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Exhibit concrete matrices A_l, B_l for which the sum of the top k singular values of ∑ A_l ⊗ B_l strictly exceeds the sum of the top k entries of ∑ σ(A_l) ⊗ σ(B_l), or verify equality of total sums fails for a positive-semidefinite instance.","supporting_citations":[],"review_version":1}