{"id":"0e5d681f-4110-4d45-9096-12b5db9a0f28","arxiv_id":"2607.07913","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Ky Fan majorization holds for the sum of two n-fold tensor products of PSD operators, but fails for three or more such summands when n≥3.","lead":"The paper proves that the eigenvalues of a sum of two tensor-product positive-semidefinite operators are majorized by the sum of the tensor products of their individual eigenvalue vectors. This yields new quantum-entropy inequalities under product constraints and is shown not to extend to three or more summands.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The Reader correctly isolates the sole external dependency (the LP upper bound of Ref. [2]) and notes that the remainder of the argument is self-contained and algebraic. After re-examining the reduction (Sec 2), the flag-intersection dimension lower bound (Prop 3.3), the majorization conversion (Lem 3.4), and the explicit counter-example, I find no additional soft spot that would undermine Thm 1.1. The product-order structure of the eigenvalues of a tensor product of PSD operators is used exactly as claimed, and the inductive proof of Prop 3.2 is free of gaps. Consequently the Reader’s ACCEPT verdict with high confidence stands; no adjustment is warranted.","tokens_in":10104,"tokens_out":421,"duration_ms":4684,"concrete_test":"Independently recompute the three largest eigenvalues of the explicit 8-dimensional operator in Example 4.1 (and of the corresponding diagonal majorant) by any standard eigensolver; confirm that the partial-sum gap remains at least 0.03. This verifies both the counter-example and the surrounding numerical claims without relying on the authors’ arithmetic.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (Thm 1.1) reduces cleanly via the LP characterization of Ky-Fan sums from Ref. [2] to a comparison of alignment terms, which is then settled by the self-contained combinatorial argument of Thm 1.2 (Props 3.2–3.3 + Lem 3.4). The only external dependency is the already-published LP bound; once granted, every subsequent step is algebraic, uses only the product order on multi-indices and the existence of simultaneous flags (Lem 3.1), and does not introduce hidden assumptions that fail for tensor-product PSD operators. The multi-summand counter-example is explicit and correctly falsifies the natural extension. No load-bearing gap remains.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper proves Theorem 1.1: for positive integers d1,...,dn and positive-semidefinite operators Ai, Bi on C^{di}, the eigenvalue vector of (⊗_{i=1}^n Ai) + (⊗_{i=1}^n Bi) is majorized by (⊗ λ(Ai)) + (⊗ λ(Bi)). This is obtained by reducing, via the linear-programming upper bounds υ_k on Ky-Fan sums from the authors’ prior work, to a comparison of alignment terms; the comparison is settled by Theorem 1.2 on the eigenvalues of sums of two projectors onto spans of tensor-product basis vectors indexed by downward-closed sets in the product order. The proof of Theorem 1.2 rests on three self-contained combinatorial statements (Proposition 3.2 on cardinalities after local permutations of upward-closed sets, Proposition 3.3 on dimensions of intersections of spans via complete flags, and Lemma 3.4 converting those dimensions into a majorization relation for projectors). Section 4 supplies an explicit numerical counter-example showing that the natural multi-summand extension fails for three or more factors when n≥3.","tokens_in":10277,"tokens_out":754,"duration_ms":22060,"significance":"The result supplies a clean majorization tool for quantum-entropy inequalities under tensor-product constraints, a setting of current interest. Once the published LP characterization is granted, the remainder of the argument is elementary linear algebra and order theory; the inductive proofs of Propositions 3.2–3.3 and the flag argument are fully detailed and of independent combinatorial interest. The counter-example is concrete and correctly delimits the scope of the claim. These features make the note a solid, usable contribution to majorization theory for multipartite operators.","major_comments":[],"minor_comments":[{"comment":"Introduction, first paragraph: the informal allusion to “Robin Hood [5] is elusive” is stylistic and may distract; a more conventional sentence would improve tone for a pure-mathematics audience.","section":null},{"comment":"Section 2, after (2.8): the existence of the downward-closed sets Ω_ℓ^{(A)} and Ω_ℓ^{(B)} is asserted “by induction”; a one-sentence sketch of the inductive step (or a reference to the standard fact that the product order is a ranked poset) would make the reduction fully self-contained.","section":null},{"comment":"Proposition 3.2, induction step: the successive transposition of the permutation ρ_n is correct but a bit terse; a parenthetical remark that each swap can only decrease (or leave unchanged) the sum would help the reader track the inequality direction.","section":null},{"comment":"Example 4.1: the claim that the sum of the three largest eigenvalues exceeds the corresponding sum of coordinates “by at least 0.03” would be more reproducible if the authors indicated the numerical method (exact arithmetic, floating-point precision, or software) used to obtain the bound.","section":null},{"comment":"References: several recent arXiv preprints are cited by number only; adding the full titles (already present for some) would aid readers who download the PDF offline.","section":null}],"recommendation":"accept","confidential_remarks":"The manuscript is a natural and carefully written sequel to the authors’ earlier LP paper (Ref. [2]). It fits comfortably in math.RA or a related linear-algebra venue; I see no novelty or citation issues."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The new piece is the general-n majorization for a sum of two tensor products of PSD operators (Thm 1.1), plus the three-summand counter-example that kills the natural extension. The n=1 case is classical Ky Fan and the n=2 case was already in the first author’s earlier LP paper; here they remove the n restriction with a self-contained combinatorial argument (Props 3.2–3.3 on downward/upward-closed sets under local permutations, plus the flag-intersection dimension lower bound and the projector majorization lemma).\n\nWhat works well is the reduction: once you grant the LP upper bound on Ky-Fan sums from their previous paper, everything reduces to comparing alignment terms, which they settle by showing that the product-order eigenspaces give the right intersection dimensions. The induction in Prop 3.2 is clean, the simultaneous-flag fact is classical, and the final majorization for the two projectors follows by ordinary Ky Fan plus direct-sum preservation. The counter-example is concrete (explicit vectors in C^{2}) and correctly shows the sum of the three largest eigenvalues can exceed the corresponding sum on the eigenvalue side by a positive amount. No free parameters, no circular definitions, citations look appropriate.\n\nThe only soft spot is the external dependence on the LP characterization of Ref. [2]. If that bound failed for tensor-product operators the reduction would collapse, but the stress-test and the paper itself give no reason to think it does; the rest of the argument is algebraic and checkable by hand. The open n=2/m≥3 case is noted honestly.\n\nThis is for people who need majorization tools under product constraints (quantum entropy inequalities, matrix analysis). It is short, formally grounded, and useful inside its niche. I would send it to a serious referee without hesitation; the math holds up.","headline":"Solid extension of Ky Fan majorization to arbitrary tensor factors for two summands, with a clean combinatorial core and an explicit multi-summand counter-example.","tokens_in":10867,"tokens_out":469,"would_cite":true,"duration_ms":5362,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["15A42","15A69","47A63","90C05"],"pacs":[],"model":"grok-4.5","headline":"For any n, the eigenvalues of a sum of two n-fold tensor products of positive-semidefinite operators are majorized by the sum of the tensor products of their eigenvalue vectors.","keywords":["majorization","Ky Fan inequality","tensor products","positive-semidefinite operators","eigenvalue inequalities","linear programming","quantum entropy"],"falsifier":"Exhibit positive-semidefinite operators A_i, B_i for which the sum of the k largest eigenvalues of (⊗ A_i)+(⊗ B_i) strictly exceeds the corresponding sum for (⊗ λ(A_i))+(⊗ λ(B_i)), or verify that the alignment terms of the product bases can exceed those of the standard basis.","tokens_in":11019,"feed_emoji":"⊗","tokens_out":735,"duration_ms":7765,"temperature":0.7,"pith_summary":"Ky Fan's classical inequality says that the eigenvalues of a sum of two Hermitian matrices are majorized by the sum of their individual eigenvalue vectors. The authors prove a separable version of that relation: when each summand is itself an n-fold tensor product of positive-semidefinite operators, the same majorization still holds after the tensor products of the eigenvalue vectors are formed. The result immediately yields quantum-entropy inequalities for convex mixtures of density operators that obey tensor-product constraints. A short counter-example shows that the relation fails once three or more such tensor products appear and the number of factors is at least three, so two summands is the natural limit of the statement.","feed_headline":"Two tensor products of PSD operators still obey Ky Fan majorization","feed_subtitle":"The classical eigenvalue inequality survives n-fold products; three or more summands break it.","key_machinery":"The linear-programming upper bound υ k(X,Y) on the Ky Fan sums σ k(X+Y), whose feasible region is defined by basic weight constraints and alignment terms that record overlaps of partial eigenspaces; comparing those alignment terms for product bases versus the standard basis yields the desired majorization.","core_discovery":"Theorem 1.1 asserts that if A1,…,An and B1,…,Bn are positive-semidefinite operators on spaces of dimensions d1,…,dn, then the eigenvalue vector of (⊗ Ai)+(⊗ Bi) is majorized by (⊗ λ(Ai))+(⊗ λ(Bi)). The relation reduces, via a linear-programming bound on Ky Fan sums, to a majorization between two projectors onto tensor-product bases whose index sets are downward-closed in the product order; that majorization is established by comparing dimensions of subspace intersections and applying a flag-alignment argument.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Ky Fan majorization holds for sum of two PSD tensor products","Two PSD n-fold tensors obey separable Ky Fan majorization","Majorization survives for exactly two PSD tensor-product summands","Linear programming proves Ky Fan relation for two PSD tensors","Three-plus PSD tensor sums break the Ky Fan majorization"],"cache_read_input_tokens":128,"weakest_assumption_plain":"The reduction rests on a previously established linear-programming characterization of the Ky Fan sums; if that upper bound fails to be tight or even valid for tensor-product operators, the comparison of alignment terms no longer implies the majorization.","fun_headline_variants_meta":{"raw":{"variants":["Ky Fan majorization holds for sum of two PSD tensor products","Two PSD n-fold tensors obey separable Ky Fan majorization","Majorization survives for exactly two PSD tensor-product summands","Linear programming proves Ky Fan relation for two PSD tensors","Three-plus PSD tensor sums break the Ky Fan majorization"]},"model":"grok-4.5","effort":"low","cost_usd":0.00441,"raw_usage":{"total_tokens":1195,"prompt_tokens":642,"num_sources_used":0,"completion_tokens":86,"cost_in_usd_ticks":44100000,"prompt_tokens_details":{"text_tokens":642,"audio_tokens":0,"image_tokens":0,"cached_tokens":128},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":467,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":642,"tokens_out":86,"duration_ms":5253,"temperature":1.0,"reasoning_tokens":467,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-10T15:31:33.088075+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Exhibit positive-semidefinite operators A_i, B_i for which the sum of the k largest eigenvalues of (⊗ A_i)+(⊗ B_i) strictly exceeds the corresponding sum for (⊗ λ(A_i))+(⊗ λ(B_i)), or verify that the alignment terms of the product bases can exceed those of the standard basis.","supporting_citations":[],"review_version":1}