{"id":"63b505da-118b-4986-aec9-d234379b42fd","arxiv_id":"2608.12248","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"The passive rearrangement of a density operator maximizes convex Husimi functionals and minimizes Wehrl entropy among states with the same spectrum, and spherical caps maximize all Ky Fan sums of Toeplitz operators on the sphere.","lead":"This paper proves a fixed-spectrum version of the Lieb-Solovej inequality for spin coherent states: within any class of quantum states sharing the same eigenvalues, the passive state maximizes every convex functional of the Husimi function and minimizes the Wehrl entropy. The same result shows that spherical caps maximize every partial sum of eigenvalues of Toeplitz concentration operators, yielding sharp isoperimetric bounds for all Schatten norms on the sphere.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified","rationale":"The reader's accepted verdict at moderate confidence is justified. I found no internal inconsistency and no unsupported crucial assumption. The proof of Theorem 1.2 is a well-structured chain: Theorem 3.3 uses positivity and unitality to obtain C_N(rho) majorized by C_N(rho^downarrow); Theorem 1.4 iterates via passivity; Lemma 4.1 preserves the Husimi symbol under rescaling; Lemma 4.3, conditional on Lemma 4.2, provides the classical limit. I verified the key identities: (3.5), the difference formula in Lemma 3.2, the trace calculation (4.10), the variance decomposition in Lemma 4.3, and the binomial summations leading to (5.15). No counterexample emerged. The weakest point in terms of exposition is Lemma 4.2, where standard representation-theoretic facts are stated without proof or citation, but those facts are true and the eigenvalue formula checks out; this is a completeness issue rather than a correctness risk. Hence the verdict remains ACCEPT with no adjustment.","tokens_in":16699,"tokens_out":44352,"duration_ms":365533,"concrete_test":"Independently recompute the Berezin-transform eigenvalues beta_{M,l} from the integral definition (2.5) for M=2 and M=3 using the Funk-Hecke formula, and compare with equation (4.4). Additionally, verify by direct monomial computation for M=2 that the lower-symbol map End(P_M) to V_M is an isomorphism, and then check that B_M^{-1}q converges uniformly to q for a nonconstant q in V_2. If any of these fail, Lemma 4.3 and hence Theorem 1.2 would require revision.","verdict_should_be":"UNCHANGED","load_bearing_attack":"No significant objection identified. I traced the central implication: Theorem 3.3's one-step majorization is correct, with the trace inequality and Ky Fan maximization properly aligned; Lemma 3.4 and the induction in Theorem 1.4 are exact; Lemma 4.1's symbol tracking is consistent; Lemma 4.3's coupling argument is a valid L^2-convergence proof, and (4.10) follows from T_M(a_M) and the lower-symbol map being an isomorphism. The convex-function approximation in Step 2 of Theorem 1.2 is legitimate even if Φ has endpoint discontinuities, since such points have measure zero for Husimi functions. The only under-documented step is Lemma 4.2, which invokes the Funk-Hecke formula and the multiplicity-free decomposition of End(P_M) without proof or citation; these are standard, and the stated eigenvalue formula is correct. Therefore no load-bearing correctness concern is identified.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves an isospectral refinement of the Lieb–Solovej inequality for SU(2) coherent states. For each density operator ρ on P_N with passive rearrangement ρ^↓ (eigenvalues sorted in decreasing order along the monomial basis), it shows that for every convex Φ the integral of Φ(Q_ρ) over the sphere is at most the integral of Φ(Q_{ρ^↓}). This yields Wehrl-entropy minimization within each fixed spectral class (Corollary 1.3). The proof constructs the one-step amplification channel C_N via explicit Kraus operators, proves the one-step majorization C_N(ρ)≺C_N(ρ^↓) (Theorem 3.3), iterates it to C_{N→M}(ρ)≺C_{N→M}(ρ^↓) (Theorem 1.4), and then passes to the classical limit through the rescaled operators X_M, whose Husimi functions are exactly Q_ρ, using an L^2-coupling argument (Lemma 4.3). As an application, the paper derives sharp Ky Fan and Schatten isoperimetric inequalities for Toeplitz operators T_Ω, showing that spherical caps maximize every partial sum of the eigenvalues.","tokens_in":16739,"tokens_out":30382,"duration_ms":282400,"significance":"This is a substantial strengthening of the known Lieb–Solovej inequality: instead of comparing a general state with a pure coherent state, it identifies the extremizer within each prescribed spectral class. The proof is explicit and checkable: the majorization step is an exact finite-dimensional computation, the iteration is a clean induction, and the classical limit is a rigorous coupling argument with no hidden parameters. The resulting Ky Fan isoperimetric inequality for Toeplitz operators is new and sharp, and it yields the full family of Schatten-norm inequalities without invoking the spherical isoperimetric theorem. The main technical ingredients (Clebsch–Gordan decomposition and Funk–Hecke formula) are standard, although the manuscript should cite them.","major_comments":[],"minor_comments":[{"comment":"The formula for λ_{n+1}(D_α) is incorrect as printed: the integrand should be x^n(1-x)^{N-n}, not x^n(1-x)^N. For example, with N=1 and n=1 the printed formula gives α^2 - 2α^3/3 instead of the correct value α^2. The subsequent identities (5.12) and (5.14) are consistent with the corrected exponent, so this appears to be a typo, but it should be fixed.","section":"Equation (5.11)"},{"comment":"The proof invokes the SU(2) Clebsch–Gordan decomposition of End(P_M) and the Funk–Hecke formula without proof or citation. These are standard facts, but since the paper aims to be self-contained for a mathematical audience, please add a reference or a one-line justification for both.","section":"Lemma 4.2"},{"comment":"The identification of C_{N→M} with the Lieb–Solovej channel uses the injectivity of the lower-symbol map, which is only proved later as Lemma 4.2. The forward reference is harmless, but a remark pointing to the lemma would improve readability.","section":"Section 2.4"},{"comment":"The phrase 'it is show' should read 'it is shown'.","section":"Abstract"},{"comment":"Reference [14] is duplicated in the sentence 'Frank [14] and, independently, by Kulikov, Nicola, Ortega-Cerdà and Tilli [14, 23]' and again in 'as [14] and [14, 23] do'; the intended citation for the second group is presumably [23].","section":"Introduction, Section 1"},{"comment":"The phrase 'Such an a exists by (5.9)' should say 'by the strict monotonicity established in (5.9)' for clarity, since (5.9) is the derivative formula.","section":"Section 5.2"}],"recommendation":"minor_revision","confidential_remarks":"I found no circularity in the proof: the isospectral inequality is derived from the channel majorization, and the classical-limit lemma is a genuine convergence argument. The only corrections needed are the typo in (5.11) and some missing standard references or citations. The paper is suitable for publication after a minor revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe paper you want to know about proves a fixed-spectrum version of the Lieb–Solovej inequality for SU(2) coherent states: for every density operator ρ on P_N and every convex Φ on [0,1], the spherical integral of Φ(Q_ρ) is at most the same integral at the passive rearrangement ρ^↓ (Theorem 1.2). That is a genuine extension of Lieb–Solovej, which only compares against pure coherent states. It also proves a channel majorization C(ρ) ≺ C(ρ^↓) and, as a corollary, a Ky Fan isoperimetric inequality for Toeplitz operators: among sets of fixed measure, spherical caps maximize every partial sum of eigenvalues (Theorem 1.5).\n\nThe mathematics is, as far as I can trace it, correct. The single-channel majorization in Theorem 3.3 is clean: positivity, unitality of the adjoint, and the scalar identity for C(I) give the partial-sum bounds. Lemma 3.2 is an exact computation showing passivity is preserved. The induction for the iterated channel and the classical-limit argument in Lemma 4.3 are sound. The applications in Section 5 check out, including the binomial-tail identities for cap eigenvalues.\n\nSoft spots are minor and mostly presentational. Lemma 4.2 invokes the Funk–Hecke formula and the multiplicity-free decomposition of End(P_M) without proof or reference; the statements are standard and the stated multipliers are correct, but a referee should ask for a citation or a two-line derivation. Section 2.4's channel identification is terse. The reference list has an uncited entry ([2]) and a confusing duplicate attribution ([14, 23]) in the introduction. None of this touches the central claim.\n\nThis is a paper for mathematicians and mathematical physicists working on coherent states, Wehrl entropy, and Toeplitz concentration. It deserves a serious referee. I would accept it after minor revision. The author also honestly flags where equality cases are not characterized and discloses AI-assisted editing.\n\nBest,\n[Your name]","headline":"This paper proves the right fixed-spectrum version of the Lieb–Solovej inequality for SU(2) coherent states, and the proof chain holds; the soft spots are cosmetic.","tokens_in":17398,"tokens_out":3801,"would_cite":true,"duration_ms":34154,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["47B35","15A42","42C10","81R30"],"pacs":[],"model":"deepseek-v4-flash","headline":"Every convex average of a coherent-state density on the Bloch sphere is maximized, within each spectral class, by the passive rearrangement; the same mechanism delivers spherical caps as the extremal sets for all Ky Fan sums.","keywords":["Husimi function","Bloch coherent states","passive rearrangement","majorization","Wehrl entropy","Toeplitz operators","Ky Fan norms","isoperimetric inequalities"],"falsifier":"Take $N=2$, $\\Phi(t)=t^2$, and a rank-2 state $\\rho$ obtained by conjugating the passive state by a nontrivial rotation in the spin-1 representation; Theorem 1.2 predicts $\\int \\Phi(Q_\\rho)\\,dm \\le \\int \\Phi(Q_{\\rho^\\downarrow})\\,dm$ for every such rotation, so a single rotation violating the inequality would refute it. Alternatively, compute the Ky Fan sums of $T_\\Omega$ for an equatorial band and for a cap of equal spherical area at some $N\\ge2$: the predicted cap dominance for every $r$ can be checked numerically, and any $r$ where the band wins would settle the question.","tokens_in":16380,"feed_emoji":"⚛️","tokens_out":12702,"duration_ms":123611,"temperature":0.7,"pith_summary":"The paper proves a fixed-spectrum version of the fundamental comparison inequality for spin coherent states. For any density operator on the space of analytic polynomials of degree at most N, replacing the operator by its passive rearrangement—same eigenvalues, reordered in decreasing size along the monomial basis—cannot decrease any convex integral of the Husimi function over the sphere. Since concave functions reverse the inequality, this identifies the passive state as the Wehrl-entropy minimizer among all states with a prescribed spectrum. The proof passes through a majorization theorem for the amplification channel and a spherical semiclassical limit. A corollary is an isoperimetric statement: for sets of fixed spherical area, caps maximize every partial sum of eigenvalues of the associated Toeplitz operator, hence every unitarily invariant norm.","feed_headline":"For fixed spectrum, the ordered state wins every Husimi test","feed_subtitle":"It minimizes Wehrl entropy and proves spherical caps maximize all Toeplitz eigenvalue sums.","key_machinery":"The engine is the $\\mathrm{SU}(2)$ passive rearrangement together with the spherical amplification channel. The channel $C_N$ acts on the monomial basis by two Kraus operators with weights $\\sqrt{(N+1-n)/(N+2)}$ and $\\sqrt{(n+1)/(N+2)}$, sending $\\mathcal{P}_N$ to $\\mathcal{P}_{N+1}$; iterating and rescaling gives operators $X_M(\\rho)$ whose Husimi function equals $Q_\\rho$ for every $M$. The one-step majorization uses Ky Fan's maximum principle plus the fact that the adjoint of the channel is unital, and the discrete inequality expresses each output partial sum as a convex combination of two input partial sums. The semiclassical step uses the Berezin transform $B_M$, which is scalar on each spherical-harmonic space with positive multipliers $\\beta_{M,\\ell}$, to identify $X_M(\\rho)$ with a Toeplitz operator $T_M(B_M^{-1}q)$.","core_discovery":"The central claim is Theorem 1.2: for every density operator $\\rho$ on $\\mathcal{P}_N$ and every convex $\\Phi$ on $[0,1]$,\n$$\n\\int_{\\mathbb{C}}\\Phi(Q_\\rho(z))\\,dm(z)\\le \\int_{\\mathbb{C}}\\Phi(Q_{\\rho^\\downarrow}(z))\\,dm(z),\n$$\nwhere $Q_\\rho$ is the Husimi function and $\\rho^\\downarrow$ has the same eigenvalues as $\\rho$ but with $p_0\\ge p_1\\ge\\cdots$ placed on the monomials $e_0,e_1,\\ldots$. This is proved from the stronger channel statement $C_{N\\to M}(\\rho)\\prec C_{N\\to M}(\\rho^\\downarrow)$ for all $M\\ge N$, together with a classical limit in which the amplified operators become Toeplitz operators whose lower symbol is the original Husimi function. The same inequality, applied to the concave entropy integrand, yields Wehrl-entropy minimization at fixed spectrum; applied to concentration functions, it yields the Ky Fan isoperimetric theorem for Toeplitz operators.","pith_inferences":["The same scheme should extend to any compact-group coherent-state system whose lower-symbol map is an isomorphism onto a finite harmonic space and whose Berezin transform is scalar on harmonics; the passive basis would be the group-adapted basis, and caps would be replaced by the corresponding geodesic balls.","Fixed-spectrum convex Husimi means give a computable nonclassicality deficit for spin states that depends only on the eigenbasis mismatch relative to the monomial basis, complementing Wigner-negativity measures.","The explicit cap eigenvalue formula suggests finite-$N$ corrections to the continuum isoperimetric law; checking the rate at which the Ky Fan sums approach their large-$N$ limits would be a direct numerical test of the theorem's strength.","The paper leaves equality cases open; a natural next question is whether near equality in the Ky Fan inequality forces $\\Omega$ to be close to a cap and $\\rho$ close to its passive rearrangement, in the spirit of known stability results for the rank-one case."],"forward_implications":["For every concave function, the inequality reverses, so $S_W(\\rho)\\ge S_W(\\rho^\\downarrow)$: the passive state minimizes Bloch Wehrl entropy within every fixed spectral class.","For a rank-$r$ projection, the inequality yields the Ky Fan bound $\\sum_{j=1}^r\\lambda_j(\\Omega)\\le \\sum_{j=1}^r\\lambda_j(D_\\alpha)$ for every measurable set $\\Omega$ of area $\\alpha$, so spherical caps are the extremal sets.","Because the Toeplitz operators are finite-rank and positive, the partial-sum bound forces $\\|T_\\Omega\\|_I\\le\\|T_{D_\\alpha}\\|_I$ for every unitarily invariant norm; Schatten inequalities follow for $p>1$ and reverse for $0