{"id":"b6dd7908-0c00-4751-8b9e-593e166e0850","arxiv_id":"2607.04950","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Contraction and expansion values of a quantum channel form monotone sequences refining the trace-distance contraction coefficient, equal to Gel'fand/Bernstein numbers, and yield multiplicative composition bounds.","lead":"The paper defines two sequences of contraction and expansion values for quantum channels that refine the usual single contraction coefficient of the trace distance. These sequences give tighter composition bounds and an operational reading via state-discrimination games, linking quantum channels to classical s-number theory.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The reader's weakest-assumption note correctly flags that the density argument for non-invertible maps is not accompanied by an explicit modulus of continuity. That observation is accurate but secondary: the identification of contraction values with Gel'fand numbers (Proposition 9) is an equality of two variational expressions that holds for every finite-dimensional HPTP0 map without any invertibility hypothesis. Multiplicativity of Gel'fand numbers then immediately yields the composition bound for contraction values on the whole class. The dual lower bounds for expansion values do rely on the density step, yet those bounds are not required for the strongest claim. In the finite-dimensional setting all Grassmannians are compact and the 1-norm is continuous, so the s-number continuity axioms apply directly and no quantitative modulus is needed for the qualitative statements of the paper. The worked examples (qubits, amplitude damping, direct sums) are consistent with the theory and supply independent checks. Consequently the reader's ACCEPT verdict stands; no adjustment is warranted.","tokens_in":28063,"tokens_out":451,"duration_ms":4126,"concrete_test":"Independently recompute the Gel'fand numbers of a non-invertible single-qubit amplitude-damping channel (e.g. λ=0.5) via the definition cn(T|0)=inf{\\| T|M\\|:codim M<n} and verify that they coincide with the closed-form singular values of T|0 given in Proposition 15; any mismatch would falsify the identification.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim—that the contraction values equal the Gel'fand numbers of T|0 and therefore inherit the multiplicative composition inequality—is established by a direct identification (Proposition 9) that holds for every HPTP0 map, invertible or not. The density-plus-continuity step used later for the dual lower bounds on expansion values is therefore not load-bearing for the strongest claim; it only extends secondary inequalities. Continuity itself follows from the s-number axioms already invoked, and no counter-example or gap appears in the finite-dimensional setting of the paper.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper defines two monotone sequences, the contraction values ˆκ_n(T) and expansion values ˇκ_n(T) (n=1,...,d^{2}-1), for HPTP0 maps and quantum channels via min-max variational principles over subspaces of traceless Hermitian operators equipped with the Schatten 1-norm. These recover the ordinary contraction and expansion coefficients of the trace distance at the extremes n=1 and n=d^{2}-1, admit an operational reading in terms of two adversarial state-discrimination games with linear constraints, and are identified with the Gel'fand numbers and Bernstein numbers of the restriction T|0. The identification places the sequences inside Pietsch’s theory of s-numbers, from which the authors derive monotonicity, continuity, vanishing beyond rank(T|0), a duality relating ˆκ_n(T) to ˇκ of the inverse, embedding stability, and—most importantly—multiplicative composition inequalities (and a weaker additive inequality for convex mixtures). Explicit evaluations or estimates are supplied for unitary conjugations, replacers, depolarizing channels, all single-qubit channels (where both sequences coincide with the singular values of T|0 and the principal axes of the Bloch ellipsoid), d-dimensional amplitude-damping channels, and direct-sum channels.","tokens_in":28206,"tokens_out":830,"duration_ms":18488,"significance":"The work supplies a natural 1-norm analogue of singular values that is tailored to the distinguishability contraction of quantum channels. The composition bounds (especially the lower bounds that involve expansion values) go beyond what the scalar contraction coefficient can provide and are immediately applicable to mixing-time estimates, channel divisibility, degradability arguments, and error-mitigation limitations. The rigorous embedding into s-number theory is a genuine conceptual contribution; the single-qubit geometric picture and the amplitude-damping estimates (which become bounds for every channel that factors an amplitude-damping map) are concrete and usable. The proofs of the structural results are complete and self-contained; the operational games give the sequences a clear physical meaning. These features make the paper a solid addition to the literature on quantitative data-processing inequalities.","major_comments":[],"minor_comments":[{"comment":"In the acknowledgements the word “acknowledge” is misspelled (“aknowledge”).","section":null},{"comment":"Section 7.2 leaves a fairly wide interval [1-λ,√(1-λ)] for the intermediate contraction/expansion values of amplitude damping. A short remark on whether the authors expect equality, or a pointer to a possible SDP formulation that could tighten the bounds, would help readers who wish to use the estimates in composition arguments.","section":null},{"comment":"Figure 1 is clear, but the caption could explicitly state that the two diagrams correspond to the contraction-value game (Alice chooses the codimension-(n-1) constraints) and the expansion-value game (Bob chooses the dimension-n subspace), respectively.","section":null},{"comment":"The concurrent work on average contraction coefficients is cited only in the introduction; a one-sentence comparison in Section 2 (or in the conclusion) would clarify the complementary strengths of the two approaches.","section":null},{"comment":"Lemma 10 and the subsequent density argument for non-invertible maps are correct, yet a parenthetical note that the modulus of continuity follows from the s-number axioms (or a reference to the relevant estimate in Pietsch) would make the approximation rates more transparent for applications.","section":null}],"recommendation":"accept","confidential_remarks":"The manuscript is technically solid and fits well within the scope of a high-quality quantum-information journal (Quantum, CMP, IEEE TIT, etc.). The connection to classical s-number theory is novel in this community and should be of interest. No concerns about priority, citation patterns, or over-claiming."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The one thing worth knowing is that they replace the single contraction coefficient with two monotone sequences (contraction and expansion values) defined by a min-max over subspaces of traceless Hermitian matrices, prove they are exactly the Gel'fand and Bernstein numbers of the channel restricted to that space, and thereby inherit multiplicative composition inequalities that the scalar coefficient cannot give. That identification is clean (Proposition 9) and does not rely on the density argument that only appears later for the dual lower bounds.\n\nWhat is new is the sequences themselves, the two state-discrimination games that give them operational meaning, and the explicit transfer of Pietsch's s-number calculus into the 1-norm setting of quantum channels. Prior notions (compression vectors, singular values of the χ^{2} map Q_k, moments of contraction) are cited accurately and do not already contain this. The single-qubit case collapses correctly to the principal axes of the Bloch ellipsoid; the amplitude-damping and direct-sum estimates are careful and useful for the divisibility applications they flag.\n\nSoft spots are minor and mostly acknowledged. Intermediate values for d-dimensional amplitude damping sit in a fairly wide interval; they never exhibit a channel where contraction and expansion values actually differ; tensor powers are left open; and numerical estimation is hard because of the non-smooth 1-norm. None of these undercut the main theorems. Continuity is inherited from the s-number axioms, so the density step for non-invertible maps is not load-bearing for the strongest claim.\n\nMath is careful, citations are fair, no circularity. This is for people who already use contraction coefficients for mixing times, capacity bounds or error-mitigation limits and want a tool that composes. It deserves a serious referee. I would bring it to reading group and expect to cite the composition inequalities.","headline":"Solid, self-contained theory paper that turns the trace-distance contraction coefficient into a full s-number sequence with clean composition bounds; the Gel'fand identification is the real payload and it holds up.","tokens_in":28782,"tokens_out":467,"would_cite":true,"duration_ms":4944,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81P45","47B06","46B28"],"pacs":["03.67.-a","03.65.Yz"],"model":"grok-4.5","headline":"Contraction and expansion values give quantum channels a spectrum of how they shrink distinguishability, with composition bounds that a single coefficient cannot provide.","keywords":["quantum channels","contraction coefficient","expansion coefficient","trace distance","s-numbers","Gel'fand numbers","channel composition","amplitude damping"],"falsifier":"Exhibit a concrete pair of channels for which the measured or exactly computed contraction values of the composition fall outside the product bounds predicted by the multiplicative inequalities, or compute both sequences for a three-dimensional amplitude-damping channel and show that they differ inside the intermediate range where the paper only supplies an interval.","tokens_in":28972,"feed_emoji":"📉","tokens_out":984,"duration_ms":7667,"temperature":0.7,"pith_summary":"The ordinary contraction coefficient of a quantum channel is a single number: the worst-case ratio of how much the channel shrinks the trace distance between any two states. That number is often equal to one even for highly noisy channels, and it cannot track how contraction accumulates when channels are composed. This paper replaces the single number by two ordered sequences, the contraction values and the expansion values, defined by a min-max principle over subspaces of traceless Hermitian operators. The sequences recover the ordinary contraction and expansion coefficients at their extremes and vanish exactly beyond the algebraic rank of the channel. They coincide with classical s-numbers (Gel'fand and Bernstein numbers) of the channel restricted to traceless operators, which immediately supplies multiplicative inequalities under composition: the values of a composite channel are controlled above and below by products of the values of the factors. The same sequences admit a concrete operational reading as optimal success probabilities in two state-discrimination games in which one party is allowed to impose linear constraints. Explicit evaluations are given for all single-qubit channels, for amplitude-damping channels in any dimension, and for direct-sum channels.","feed_headline":"Quantum channels get a spectrum of contraction factors","feed_subtitle":"Two ordered sequences refine the usual contraction coefficient and control how noise accumulates under composition","key_machinery":"The min-max definitions of the contraction values ˆκ_n(T) and expansion values ˇκ_n(T) over subspaces of fixed codimension or dimension inside the space of traceless Hermitian matrices; their identification with Gel'fand and Bernstein numbers of T restricted to that space.","core_discovery":"The contraction values of a quantum channel equal the Gel'fand numbers of its restriction to traceless Hermitian operators, and the expansion values equal the Bernstein numbers of the same restriction. Consequently the sequences inherit the multiplicative inequalities of s-numbers, yielding upper and lower bounds on the contraction and expansion of a composite channel that cannot be obtained from the scalar contraction coefficient alone.","pith_inferences":["Because the sequences are continuous in the channel, small experimental errors in estimating a channel still produce controlled errors in the predicted composition bounds, which is useful for numerical mixing-time estimates.","The same min-max construction can be attempted for other contractive distances (relative entropy, Rényi divergences); the paper notes that unboundedness of relative entropy may produce qualitatively new phenomena such as positive trace-distance expansion with vanishing relative-entropy expansion.","Tensor powers remain uncontrolled by the present inequalities; an informative relation between the values of T and of T⊗N would immediately strengthen capacity and privacy bounds that rely on product channels."],"forward_implications":["Any channel that factors through an amplitude-damping map inherits explicit upper and lower bounds on its entire contraction spectrum from the estimates given for amplitude damping.","The contraction coefficient of a composite channel is bounded from below by a product of expansion values of the factors, a relation invisible to the ordinary scalar coefficient.","For single-qubit channels the sequences coincide with the singular values of the Bloch-sphere map, recovering the familiar ellipsoid picture and the classical Gel'fand–Naimark inequalities.","Direct-sum channels always have trivial contraction coefficient, yet their intermediate contraction values are controlled by those of the summands, giving a non-trivial spectrum where none was previously available."],"fun_headline_variants":["Contraction values give quantum channels a noise spectrum like singular values","Gel'fand numbers refine how channels shrink state distinguishability","Ordered contraction sequences bound noise under channel composition","Expansion values match Bernstein numbers on traceless operators","Two sequences replace the scalar contraction coefficient for composites"],"cache_read_input_tokens":16512,"weakest_assumption_plain":"The composition inequalities are first proved for invertible maps and then extended to all maps by a density-plus-continuity argument whose quantitative rates are not made explicit.","fun_headline_variants_meta":{"raw":{"variants":["Contraction values give quantum channels a noise spectrum like singular values","Gel'fand numbers refine how channels shrink state distinguishability","Ordered contraction sequences bound noise under channel composition","Expansion values match Bernstein numbers on traceless operators","Two sequences replace the scalar contraction coefficient for composites"]},"model":"grok-4.5","effort":"low","cost_usd":0.003704,"raw_usage":{"total_tokens":1138,"prompt_tokens":733,"num_sources_used":0,"completion_tokens":62,"cost_in_usd_ticks":37040000,"prompt_tokens_details":{"text_tokens":733,"audio_tokens":0,"image_tokens":0,"cached_tokens":128},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":343,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":733,"tokens_out":62,"duration_ms":3335,"temperature":1.0,"reasoning_tokens":343,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-11T11:00:54.086996+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Exhibit a concrete pair of channels for which the measured or exactly computed contraction values of the composition fall outside the product bounds predicted by the multiplicative inequalities, or compute both sequences for a three-dimensional amplitude-damping channel and show that they differ inside the intermediate range where the paper only supplies an interval.","supporting_citations":[],"review_version":1}