{"id":"f7a2f6ca-681e-42ce-a33e-2fbe1b6c34b9","arxiv_id":"2604.13033","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Tight upper bounds on Schur-concave function differences are derived under m-partial majorization of quantum states, with applications to entropy and a new ε-sufficient majorization rank for states with finite entropy.","lead":"The paper derives tight upper bounds on how much a Schur-concave function like entropy can differ between two quantum states when one partially majorizes the other, including versions with a trace-distance limit. These bounds and the new concept of ε-sufficient majorization rank are then applied to von Neumann entropy and Gibbs states of a quantum oscillator.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"Reader correctly flagged dependence on [1] as the weakest link; full text confirms that dependence is explicit, the proofs are direct, and no further gaps exist. Verdict therefore remains unchanged from UNVERDICTED (now with full-text confirmation rather than abstract-only limitation).","tokens_in":1730,"tokens_out":293,"duration_ms":23878,"concrete_test":"Re-derive the main bound (the inequality stated after the definition of m-partial majorization) starting from the partial-order relation in [1] and the definition of Schur-concavity; check that equality is attained when σ is obtained from ρ by a permitted m-partial permutation of eigenvalues.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central construction derives a tight upper bound on f(ρ)−f(σ) for Schur-concave f with finite f(ρ) when σ is m-partially majorized by ρ, using the definition and ordering properties from reference [1]. The argument proceeds by direct application of the partial-majorization relation to the Schur-concavity inequality, with an additional ε-ball version obtained by continuity. The extension to von Neumann entropy, the ε-sufficient majorization rank, and the classical probability case follows identically by specialization. No internal inconsistency, hidden assumption on finite dimensionality, or unjustified tightness claim appears in the derivations.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper constructs, for any Schur-concave function f on quantum states with finite f(ρ), a tight upper bound on f(ρ)−f(σ) whenever σ is m-partially majorized by ρ in the sense of reference [1]. It derives an analogous bound under the additional constraint ½‖ρ−σ‖₁ ≤ ε, identifies simple sufficient conditions for the bound to vanish as min{ε,1/m}→0, specializes the results to the von Neumann entropy, introduces the ε-sufficient majorization rank together with a tight upper bound on it, applies the latter to Gibbs states of a quantum oscillator, and reformulates the entire development for Schur-concave functions on classical probability distributions with finite or countably infinite support.","tokens_in":1825,"tokens_out":520,"duration_ms":46032,"significance":"If the derivations are correct, the work supplies concrete, usable inequalities that extend classical majorization techniques to the partial-majorization setting, thereby furnishing explicit control on entropy differences and other Schur-concave quantities for states that are only approximately majorized. The introduction of the ε-sufficient majorization rank and its evaluation on oscillator Gibbs states gives a concrete, falsifiable illustration; the classical reformulation broadens applicability. The direct, parameter-free character of the bounds (once the partial-majorization relation is given) is a methodological strength.","major_comments":[],"minor_comments":[{"comment":"The abstract states that the bound vanishes under min{ε,1/m}→0, but the precise sufficient conditions on f and on the partial-majorization relation that guarantee this vanishing should be stated explicitly in the main text (e.g., near the ε-ball version of the inequality) rather than left implicit.","section":"Abstract and §3"},{"comment":"Because the definition of m-partial majorization is taken from [1], a short self-contained reminder of the ordering relation and its key properties (e.g., the associated majorization vector or the relevant convex-set description) would improve readability for readers who have not consulted the reference.","section":"Introduction"},{"comment":"In the application to the quantum oscillator, the explicit form of the ε-sufficient majorization rank bound for the Gibbs state should be accompanied by a brief numerical check or plot confirming that the bound is attained or nearly attained for small ε.","section":"Application to Gibbs states"}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful reading, positive summary, and favorable assessment of the significance of our work. The recommendation of minor revision is noted, but the report contains no specific major or minor comments requiring response.","responses":[],"tokens_in":1294,"tokens_out":62,"duration_ms":41426,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"This paper gives tight bounds on Schur-concave function differences under m-partial majorization plus an ε-sufficient majorization rank for finite-entropy states. It constructs an upper bound on f(ρ) - f(σ) when σ is m-partially majorized by ρ (with f(ρ) finite), adds an ε-ball version that vanishes under min{ε, 1/m} → 0, and applies the same logic to von Neumann entropy. The ε-sufficient majorization rank is defined and bounded for Gibbs states of a quantum oscillator, with the whole setup rewritten for classical distributions on finite or countable sets. The derivations follow directly from Schur-concavity plus the ordering properties in the cited reference, plus continuity arguments for the ε case. That produces concrete, usable inequalities rather than abstract existence results. The tightness claims and vanishing conditions appear clean from the setup. The main soft spot is dependence on the partial-majorization definition and lemmas from reference [1]; readers need that paper to verify the steps, though the stress-test found no internal contradictions or unjustified jumps. The oscillator example functions as an illustration of the rank bound rather than a deep new application. This is for people already working with majorization inequalities and Schur-concave quantities in quantum information or convex analysis on states. It supplies explicit tools for controlling entropy or similar functionals under relaxed ordering, which a specialist can plug into existing arguments. A serious referee should see it because the constructions are new, the math is reproducible from the definitions, and the results are stated sharply enough to check.","headline":"This paper gives tight bounds on Schur-concave function differences under m-partial majorization plus an ε-sufficient majorization rank for finite-entropy states.","tokens_in":2318,"tokens_out":391,"would_cite":false,"duration_ms":25368,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"A tight upper bound exists on the difference of any Schur-concave function at two quantum states when one is m-partially majorized by the other.","keywords":["Schur-concave functions","partial majorization","quantum states","von Neumann entropy","majorization rank","Gibbs states","probability distributions","trace distance"],"falsifier":"A single Schur-concave function f with finite f(ρ), together with an explicit σ that is m-partially majorized by ρ, such that f(ρ)−f(σ) exceeds the constructed upper bound.","tokens_in":2604,"feed_emoji":"⚖️","tokens_out":583,"duration_ms":62157,"temperature":0.7,"pith_summary":"This paper shows how to bound the change in a Schur-concave function such as von Neumann entropy when one quantum state partially majorizes another under the m-partial majorization relation. The bound is explicit and tight, and it remains valid even when the states are not fully ordered by majorization. It also incorporates a closeness condition via trace distance to make the bound sharper, with the difference vanishing under a simple limit on the distance and the majorization parameter. The construction applies equally to classical probability distributions with finite or countable support. Concrete applications include bounds on an introduced notion of ε-sufficient majorization rank for states of finite entropy, illustrated with Gibbs states of a quantum oscillator.","feed_headline":"Tight bound on Schur-concave differences under partial majorization","feed_subtitle":"When one quantum state m-partially majorizes another, the drop in any Schur-concave function like entropy is controlled by an explicit tight","key_machinery":"m-partial majorization, the relaxed ordering between states that replaces full majorization and permits construction of the explicit difference bound for any Schur-concave f.","core_discovery":"For a Schur-concave function f on quantum states with finite f(ρ), and for any σ m-partially majorized by ρ, a tight upper bound on f(ρ)−f(σ) is constructed. The same bound is refined when the trace distance satisfies ½‖ρ−σ‖1 ≤ ε, and simple conditions are given under which the bound goes to zero as min{ε,1/m}→0. These results are specialized to the von Neumann entropy, where the ε-sufficient majorization rank of a finite-entropy state is defined and bounded tightly, with explicit application to Gibbs states of a quantum oscillator. The statements carry over verbatim to Schur-concave functions on classical probability distributions.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Partial majorization tightens Schur-concave differences","Bounding Schur-concave functions under m-partial majorization","Majorization gives Schur-concave bounds for quantum states","Entropy bounds via partial majorization in states","Majorization rank for Gibbs oscillator entropy"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The stated definition and algebraic properties of m-partial majorization hold, together with the assumption that f is Schur-concave and finite at ρ.","fun_headline_variants_meta":{"raw":{"variants":["Partial majorization tightens Schur-concave differences","Bounding Schur-concave functions under m-partial majorization","Majorization gives Schur-concave bounds for quantum states","Entropy bounds via partial majorization in states","Majorization rank for Gibbs oscillator entropy"]},"model":"grok-4.3","cost_usd":0.005299,"raw_usage":{"total_tokens":2505,"prompt_tokens":717,"num_sources_used":0,"completion_tokens":72,"cost_in_usd_ticks":52990500,"prompt_tokens_details":{"text_tokens":717,"audio_tokens":0,"image_tokens":0,"cached_tokens":64},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1716,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":717,"tokens_out":72,"duration_ms":35343,"temperature":1.0,"reasoning_tokens":1716,"cache_read_input_tokens":64,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-10T15:08:58.436417+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A single Schur-concave function f with finite f(ρ), together with an explicit σ that is m-partially majorized by ρ, such that f(ρ)−f(σ) exceeds the constructed upper bound.","supporting_citations":[],"review_version":1}