{"id":"43ce159a-f675-4c64-9c98-82b6840df915","arxiv_id":"2608.13204","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Tensorization of strong data processing inequality constants fails for some quantum chi-square divergences and for quantum relative entropy, contrary to the classical f-divergence behavior.","lead":"This paper proves that the strong data processing inequality constant does not multiply across tensor products for two families of quantum divergences: certain quantum chi-square divergences and the quantum relative entropy. It gives explicit counterexamples, one built from an amplitude-damping qubit channel and one built from Hastings' non-additive channel.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"QRE counterexample hinges on Eq. (7), a strengthening of Hastings' theorem that is asserted but not proved: strict violation is needed for the maximally entangled input, not just for the minimum over inputs. If (7) is not a direct consequence, Proposition 4 collapses.","rationale":"The reader's weakest assumption and mine coincide: the QRE counterexample depends on the exact content of Hastings' theorem. I re-derived the chi-square part independently: the single-channel SDPI for amplitude damping, the bipartite trial H~ = X⊗X - Y⊗Y, and the threshold s > (sqrt(1+(1-gamma)^2)-1)/(1-gamma) all check out, so Proposition 2 is self-contained. The QRE argument, once Eq. (7) is granted, is internally consistent: Lemma 5 gives beta > 1, and the two-case bound in Lemma 6 indeed yields eta_QRE(N,sigma_epsilon) ≤ (1+beta)/2 * C/log(1/epsilon) for small epsilon, while the lower bound tends to beta C/log(1/epsilon). The remaining weak point is the unproved 'in particular' in Section 3.1. This is a verification gap rather than a demonstrated error; the authors also disclose that the proofs were AI-generated, which strengthens the case for checking this step. I therefore keep the verdict at conditional, not moving it.","tokens_in":9631,"tokens_out":27690,"duration_ms":244422,"concrete_test":"Verify Eq. (7) directly against the statement and proof of [6, Theorem 1]: does Hastings' argument establish H(E tensor Ebar(|Psi_N><Psi_N|)) < 2 H_min(E), or only H_min(E tensor Ebar) < 2 H_min(E)? If only the latter, check whether [13]'s equivalence supplies the maximally entangled input as a witness; otherwise instantiate the finite-dimensional constructions in [1,4] for a concrete N and compute or tightly bound both H(E tensor Ebar(|Psi_N><Psi_N|)) and 2 H_min(E). If the strict inequality (7) cannot be reproduced, Lemma 5 and Proposition 4 should be withdrawn or reformulated as conditional on a stronger Hastings-type statement; the chi-square Proposition 2 is unaffected.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 3.1 quotes [6, Theorem 1] as giving H_min(E tensor Ebar) < 2 H_min(E), and then asserts 'in particular' that H(E tensor Ebar(|Psi_N><Psi_N|)) < 2 H_min(E) (Eq. (7)). The two statements are not equivalent: the former is a minimum over all input states, while the latter fixes the maximally entangled input. A channel whose minimum is attained on a different input would satisfy the quoted theorem but not Eq. (7). Lemma 5 requires Eq. (7) to obtain beta > 1, and Proposition 4 requires beta > 1 to separate the bipartite lower bound from the single-channel upper bound. The proof also invokes [13] without showing how the equivalence theorem upgrades the minimum to the maximally entangled witness. Thus the relative-entropy counterexample is conditional on an unverified strengthening. The paper explicitly acknowledges the existential nature of the channel (Section 3.4), so the issue is not nonconstructiveness but hypothesis verification. Proposition 2's chi-square counterexample is fully explicit and does not depend on this step.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript studies the tensorization property of strong data processing inequality (SDPI) constants for quantum divergences and reports two negative results. Section 2 considers the one-parameter family of quantum chi-square divergences introduced by Temme et al. For the endpoint kappa0(x)=(1+x^{-1})/2, it computes exactly the single-channel SDPI constant for the amplitude-damping channel E_gamma with reference state sigma_s=(I+sZ)/2, and lower-bounds the bipartite constant eta_{kappa0}(E_gamma⊗E_gamma, sigma_s⊗sigma_s) using the trial Hermitian operator H~=X⊗X−Y⊗Y. The resulting strict inequality holds for an explicit interval of s, giving a concrete counterexample to tensorization; Corollary 3 extends the failure to a neighborhood of alpha=0 in the mean-alpha family by continuity. Section 3 constructs channels N and Nbar from H_{N+1} to H_N out of a Hastings random-unitary channel E and its complex conjugate, with reference state sigma_epsilon=(1−epsilon)|0><0|+epsilon pi_N. Lemma 5 converts the asserted strict inequality for the maximally entangled input into beta>1, and Lemma 6 bounds the single-channel SDPI constant by C/log(1/epsilon) up to lower-order terms. Combining these bounds yields eta_{QRE}(N⊗Nbar, sigma_epsilon⊗sigma_epsilon)>eta_{QRE}(N,sigma_epsilon) for sufficiently small epsilon.","tokens_in":9804,"tokens_out":27701,"duration_ms":220916,"significance":"If the proofs are correct, the paper resolves an open question in quantum information theory: unlike the classical f-divergence case, SDPI constants for quantum divergences do not tensorize in general. The chi-square counterexample is especially valuable because it is fully explicit: all matrices, the trial operator, and the inequalities are elementary and checkable, and the single-channel constant is computed in closed form. The relative-entropy construction is also conceptually interesting, as it connects Hastings' superadditivity of minimum output entropy to SDPI constants through an epsilon-perturbed reference state, and the paper honestly acknowledges that this part is nonconstructive and depends on an external existence theorem. The paper also gives proper credit to the earlier positive result [2] and clearly states the scope of the negative results.","major_comments":[{"comment":"The proof of Lemma 5 and hence Proposition 4 hinges on the strict inequality H(E⊗Ebar(|Psi_N><Psi_N|)) < 2 H_min(E), displayed as Eq. (7). The preceding line states Hastings' theorem only in the minimum-output-entropy form H_min(E⊗Ebar) < 2 H_min(E). That statement concerns a minimum over all input states and does not by itself imply the inequality for the specific maximally entangled input; the minimizer could in principle be a different state. The paper says 'in particular' but gives no derivation. Please quote the precise statement of [6, Theorem 1] if it indeed proves the stronger inequality at the maximally entangled state, or supply a short argument that the Hastings construction yields Eq. (7). Since beta>1 in Lemma 5 and the entire relative-entropy counterexample depend on Eq. (7), this is load-bearing.","section":"Section 3.1, Eq. (7)"}],"minor_comments":[{"comment":"The phrase 'for a generic kappa in K' overstates what is proved: the construction is for kappa0, and Corollary 3 extends it to a neighborhood of alpha=0. Rephrase as 'there exists kappa in K' or 'for kappa0 and nearby mean-alpha members' to match the actual argument.","section":"Proposition 2 and Abstract"},{"comment":"The proof of eta_{QRE}(N,sigma_epsilon)=eta_{QRE}(Nbar,sigma_epsilon) appears to have lost overbars: the printed statements 'E(rho)=E(rho)' and 'N(rho)=N(rho)' would assert equality of a channel with its complex conjugate, which is not true in general. State the argument via the bijection rho -> rho^T and the invariance of D_QRE(·||pi_N) under transposition.","section":"Section 3.3, invariance proof"},{"comment":"The continuity assertion for eta_kappa in alpha is plausible but not proved. Since the counterexample at alpha=0 uses a fixed traceless H and a strict inequality, a one-line stability argument would make the corollary self-contained.","section":"Corollary 3"},{"comment":"The quantity D_2 is defined by log tr(sigma^{-1/2} rho sigma^{-1/2} rho), which coincides with the sandwiched Renyi 2-divergence only for scalar sigma. The proof uses sigma=pi_N, which is scalar, but this should be stated explicitly to avoid confusion with the standard Renyi definition used in the cited monotonicity theorem.","section":"Lemma 6, Case 1"},{"comment":"The sentence invoking the equivalence theorem [13] is not used in the proof of Lemma 5 or Proposition 4. It could be removed or replaced with a precise statement of which equivalence is meant.","section":"Section 3.1, Shor equivalence"}],"recommendation":"major_revision","confidential_remarks":"The technical content of Section 2 is explicit and appears correct; the relative-entropy section is conditional on the precise form of Hastings' theorem, which should be clarified. The manuscript discloses that the proofs were generated by AI and validated by the author; this is a policy matter for the editor rather than a technical defect, but it may warrant confirmation that the disclosure complies with the journal's AI-use policy. The citation pattern and attribution to prior work are appropriate."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take on arXiv:2608.13204. There are two results here, and they are not in the same shape.\n\nThe chi-square part is the real news. For the endpoint κ0 of the mean-alpha chi-square family, the author takes the amplitude-damping channel on a qubit with reference σ_s and exhibits an explicit bipartite trial state X⊗X − Y⊗Y showing η_{κ0}(E⊗E, σ_s⊗σ_s) > η_{κ0}(E, σ_s) for a range of s. The algebra is fully explicit and I checked it; the conclusion holds. This answers the open question from [2] and shows the positive tensorization result for κ_{1/2} is a special case. The continuity corollary giving a neighborhood [0, α*) is sound. This half alone is a solid, citeworthy negative result.\n\nThe relative entropy part is more fragile. The construction follows Hastings: pick a random-unitary channel E with H_min(E⊗Ē) < 2H_min(E), extend it to a channel N on one extra dimension, and connect the SDPI constant to a ratio of relative entropies against (1−ε)|0><0| + ε π_N. The architecture of the proof is plausible, and the bounds in Lemma 6 look right. But the paper needs the strict inequality in Eq. (7): H(E⊗Ē(|Ψ_N><Ψ_N|)) < 2H_min(E). That does not follow from the quoted Hastings theorem, which is a statement about the minimum over all inputs. The minimum could be attained on a non-maximally-entangled input. The paper says 'in particular' and moves on; no proof is given. This is load-bearing: Lemma 5 and Proposition 4 both need β > 1, which needs (7). If (7) is not a direct consequence of known results, the relative entropy counterexample collapses. I don't see it in [6] or in the equivalence paper [13] as an immediate corollary; the author should either prove it or cite a source that states it. The acknowledgment that AI models generated the proofs makes hand-checking this exact step more important, though that alone doesn't invalidate anything.\n\nMy take: the chi-square counterexample stands and deserves a serious referee. The relative entropy counterexample is conditional on closing the (7) gap. I would send the paper to peer review with a clear request to fix or justify that step, rather than desk reject. For a reading group, it's worth a slot to discuss the gap and the algebraic construction.","headline":"Chi-square tensorization counterexample is solid; the relative entropy half rests on an unproved strengthening of Hastings' theorem.","tokens_in":10347,"tokens_out":4246,"would_cite":true,"duration_ms":34753,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81P45","94A17"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper constructs explicit finite-dimensional quantum channels where the strong data processing inequality constant of a product channel exceeds both single-channel constants, for a quantum chi-square divergence and for quantum…","keywords":["strong data processing inequality","tensorization","quantum chi-square divergence","quantum relative entropy","amplitude-damping channel","minimum output entropy","superadditivity","data processing inequality"],"falsifier":"For the chi-square claim, evaluate the explicit formulas in Section 2.1 for, say, $\\gamma=1/2$ and $s=1/2$; if the two-copy lower bound $\\frac{(1-\\gamma)^2(1+f(s)^2)(1-s^2)^2}{(1+s^2)(1-f(s)^2)^2}$ does not exceed $\\frac{(1-s^2)(1-\\gamma)}{1-f(s)^2}$, Proposition 2 collapses. For the relative-entropy claim, the deciding check is whether a random-unitary channel with $\\mathrm{H}_{\\min}(\\mathcal E\\otimes\\bar{\\mathcal E})<2\\mathrm{H}_{\\min}(\\mathcal E)$ actually exists; if not, the construction of Section 3 has no foundation.","tokens_in":9383,"feed_emoji":"⚛️","tokens_out":15398,"duration_ms":116697,"temperature":0.7,"pith_summary":"This paper reports two counterexamples to the tensorization of strong data processing inequality (SDPI) constants for quantum divergences. In the classical setting the SDPI constant of a product channel is always the maximum of the two single-channel constants for every $f$-divergence; the author shows this identity can fail for finite-dimensional quantum channels. The first counterexample uses the quantum chi-square divergence at the endpoint $\\kappa_0(x)=\\tfrac12(1+x^{-1})$ of the mean-$\\alpha$ family, with an amplitude-damping channel on a qubit, and gives an explicit interval of parameters where the product-channel constant strictly exceeds the single-channel one. The second counterexample shows the same failure for quantum relative entropy, using a channel built from a known random-unitary channel with strictly subadditive minimum output entropy and a reference state that approaches a pure state. If correct, these results settle the open question negatively: tensorization is not a general property of quantum SDPI constants.","feed_headline":"Quantum channels break the tensorization rule for information loss","feed_subtitle":"Two counterexamples show the classical tensorization rule fails for quantum divergences.","key_machinery":"The machinery is the ratio form of the SDPI constant. For a divergence with an operator weight, the constant is $\\eta_D(\\mathcal E,\\sigma)=\\sup_{H=H^\\dagger,\\mathrm{tr}H=0}\\frac{\\mathrm{tr}[\\mathcal E(H)\\Omega_{\\mathcal E(\\sigma)}\\mathcal E(H)]}{\\mathrm{tr}[H\\Omega_\\sigma H]}$. For the chi-square family $D_\\kappa(\\rho\\|\\sigma)=\\mathrm{tr}[(\\rho-\\sigma)\\Omega^\\kappa_\\sigma(\\rho-\\sigma)]$ with $\\Omega^\\kappa_\\sigma=R_\\sigma^{-1}\\kappa(L_\\sigma R_\\sigma^{-1})$, and for $\\kappa_0$ this becomes $\\mathrm{tr}[\\mathcal E(H)^2\\mathcal E(\\sigma)^{-1}]/\\mathrm{tr}[H^2\\sigma^{-1}]$, turning the problem into an explicit quadratic-form maximization. The amplitude-damping channel and the bipartite Hermitian test operator $\\tilde H=X\\otimes X-Y\\otimes Y$ supply the inequality. For the relative-entropy part, the key objects are a random-unitary channel with strictly subadditive minimum output entropy, the extended channel $\\mathcal N(\\hat\\rho)=\\varrho\\pi_N+\\mathcal E(\\rho)$, the reference state $\\hat\\sigma_\\epsilon$, and a two-case estimate of $\\eta_{\\mathrm{QRE}}(\\mathcal N,\\hat\\sigma_\\epsilon)$ that splits small population $x$ (perturbative quadratic bound) from large $x$ (binary-divergence lower bound) to show $\\limsup_{\\epsilon\\to0}\\eta_{\\mathrm{QRE}}(\\mathcal N,\\hat\\sigma_\\epsilon)\\log(1/\\epsilon)\\le C$.","core_discovery":"The paper's central claim is that the identity $\\eta_D(\\mathcal E_1\\otimes\\mathcal E_2,\\sigma_1\\otimes\\sigma_2)=\\max\\{\\eta_D(\\mathcal E_1,\\sigma_1),\\eta_D(\\mathcal E_2,\\sigma_2)\\}$ fails for general quantum divergences. For the quantum chi-square divergence with $\\kappa_0(x)=\\tfrac12(1+x^{-1})$, the author takes $\\mathcal E_\\gamma$ to be the amplitude-damping channel and $\\sigma_s=\\tfrac12(I+sZ)$ with $s$ in an explicit interval; a direct computation gives $\\eta_{\\kappa_0}(\\mathcal E_\\gamma,\\sigma_s)=\\frac{1-s^2}{1-f(s)^2}(1-\\gamma)$ with $f(s)=\\gamma+s-\\gamma s$, while the two-copy constant is bounded below by $\\frac{(1-\\gamma)^2(1+f(s)^2)(1-s^2)^2}{(1+s^2)(1-f(s)^2)^2}$, which is larger in that interval. Since $\\kappa_\\alpha$ varies continuously, the failure persists for all $\\alpha$ close enough to $0$. For quantum relative entropy, the author constructs channels $\\mathcal N,\\bar{\\mathcal N}$ on $\\mathcal H_{N+1}\\to\\mathcal H_N$ from a random-unitary channel satisfying $\\mathrm{H}_{\\min}(\\mathcal E\\otimes\\bar{\\mathcal E})<2\\mathrm{H}_{\\min}(\\mathcal E)$, and a full-rank reference state $\\hat\\sigma_\\epsilon=(1-\\epsilon)|0\\rangle\\langle0|+\\epsilon\\pi_N$. As $\\epsilon\\to0$, the single-channel constant stays at most about $C/\\log(1/\\epsilon)$ times the reference entropy scale, while the product channel's ratio is at least $\\beta C/(\\log N+\\log(1/\\epsilon))$ with $\\beta>1$, forcing $\\eta_{\\mathrm{QRE}}(\\mathcal N\\otimes\\bar{\\mathcal N},\\hat\\sigma_\\epsilon\\otimes\\hat\\sigma_\\epsilon)>\\eta_{\\mathrm{QRE}}(\\mathcal N,\\hat\\sigma_\\epsilon)$ for small enough $\\epsilon$.","pith_inferences":["Because the chi-square violation is given by explicit rational functions, it can serve as a ready numerical benchmark: for any damping strength and any $s$ in the stated interval, a direct evaluation of the two constants should reproduce the inequality.","The relative-entropy counterexample is existential rather than constructive; combining the underlying existence theorem with quantitative dimension estimates could turn it into a concrete small-dimensional pair of channels.","The pattern, with contraction coefficients already known to fail tensorization and now SDPI constants failing as well, suggests that tensorization is a commutative, classical phenomenon; one may expect failures for most noncommuting divergences, with the $\\kappa_{1/2}$ case and quantum-classical channels as the exceptions.","A natural testable extension is to replace relative entropy by Rényi divergences in the same construction; if the $\\log(1/\\epsilon)$ scaling is the only driver, analogous violations should appear for a range of Rényi orders."],"forward_implications":["For generic quantum chi-square divergences there is no tensorization identity: product channels can have a strictly larger SDPI constant than either factor, so the contraction ratio of a tensor product is not determined by the local constants.","The positive tensorization result at $\\kappa_{1/2}$ is isolated; the failure at $\\kappa_0$ extends by continuity to a whole neighborhood $[0,\\alpha_*)$, so only special quantum chi-square divergences tensorize.","For quantum relative entropy, the SDPI constant fails to tensorize for general channels, answering the open question left by earlier work on contraction coefficients.","The failures occur with full-rank reference states, so they are not artifacts of singular or boundary states.","Tensorization may still hold for restricted channel classes such as quantum-classical channels and for special divergences, but it cannot be expected for general quantum channels."],"supporting_citations":[{"why":"Proves tensorization for the $\\kappa_{1/2}$ quantum chi-square divergence and leaves general $\\kappa$ open, the question Proposition 2 answers.","marker":"[2]"},{"why":"Supplies the existential random-unitary channel with strictly subadditive minimum output entropy on which the relative-entropy construction rests.","marker":"[6]"},{"why":"Shows contraction coefficients fail to tensorize and formulates the open question about SDPI constants that Proposition 4 settles.","marker":"[8]"},{"why":"Provides the Rényi divergence monotonicity used in the perturbative quadratic estimate inside Lemma 6.","marker":"[10]"},{"why":"Establishes the classical tensorization identity for $f$-divergences that the quantum counterexamples are measured against.","marker":"[12]"},{"why":"Gives the equivalence of additivity questions used to convert the minimum-output-entropy violation into a divergence inequality.","marker":"[13]"},{"why":"Introduces the family of quantum chi-square divergences $D_\\kappa$ from which $\\kappa_0$ and the mean-alpha family are taken.","marker":"[14]"},{"why":"Supplies the quantum Pinsker inequality and standard divergence facts used in the upper-bound part of Lemma 6.","marker":"[16]"}],"fun_headline_variants":["Tensorization fails for quantum chi-square and relative entropy","Quantum SDPI: tensorization fails for two key divergences","Counterexamples shatter tensorization for quantum divergences","Quantum relative entropy and chi-square break tensorization","Tensorization property fails for quantum information measures"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The relative-entropy counterexample depends on the existence of a random-unitary channel whose minimum output entropy is strictly subadditive, while the chi-square counterexample is self-contained and relies only on its explicit calculation.","fun_headline_variants_meta":{"raw":{"variants":["Tensorization fails for quantum chi-square and relative entropy","Quantum SDPI: tensorization fails for two key divergences","Counterexamples shatter tensorization for quantum divergences","Quantum relative entropy and chi-square break tensorization","Tensorization property fails for quantum information measures"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000233,"raw_usage":{"total_tokens":1565,"prompt_tokens":1089,"completion_tokens":476,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":705,"completion_tokens_details":{"reasoning_tokens":401}},"tokens_in":705,"tokens_out":476,"duration_ms":4384,"temperature":1.0,"reasoning_tokens":401,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T14:31:13.443124+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For the chi-square claim, evaluate the explicit formulas in Section 2.1 for, say, $\\gamma=1/2$ and $s=1/2$; if the two-copy lower bound $\\frac{(1-\\gamma)^2(1+f(s)^2)(1-s^2)^2}{(1+s^2)(1-f(s)^2)^2}$ does not exceed $\\frac{(1-s^2)(1-\\gamma)}{1-f(s)^2}$, Proposition 2 collapses. For the relative-entropy claim, the deciding check is whether a random-unitary channel with $\\mathrm{H}_{\\min}(\\mathcal E\\otimes\\bar{\\mathcal E})<2\\mathrm{H}_{\\min}(\\mathcal E)$ actually exists; if not, the construction of Section 3 has no foundation.","supporting_citations":[{"cited_title":"Cao and J","cited_arxiv_id":null,"evidence_quote":"Proves tensorization for the $\\kappa_{1/2}$ quantum chi-square divergence and leaves general $\\kappa$ open, the question Proposition 2 answers."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the existential random-unitary channel with strictly subadditive minimum output entropy on which the relative-entropy construction rests."},{"cited_title":"Hirche, C","cited_arxiv_id":null,"evidence_quote":"Shows contraction coefficients fail to tensorize and formulates the open question about SDPI constants that Proposition 4 settles."},{"cited_title":"Müller-Lennert, F","cited_arxiv_id":null,"evidence_quote":"Provides the Rényi divergence monotonicity used in the perturbative quadratic estimate inside Lemma 6."},{"cited_title":"Raginsky,Strong Data Processing Inequalities andΦ-Sobolev Inequalities for Discrete Channels, IEEE Transactions on Information Theory62(2016), no","cited_arxiv_id":null,"evidence_quote":"Establishes the classical tensorization identity for $f$-divergences that the quantum counterexamples are measured against."},{"cited_title":"3, 453–472","cited_arxiv_id":null,"evidence_quote":"Gives the equivalence of additivity questions used to convert the minimum-output-entropy violation into a divergence inequality."},{"cited_title":"Temme, M","cited_arxiv_id":null,"evidence_quote":"Introduces the family of quantum chi-square divergences $D_\\kappa$ from which $\\kappa_0$ and the mean-alpha family are taken."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the quantum Pinsker inequality and standard divergence facts used in the upper-bound part of Lemma 6."}],"review_version":1}