{"id":"34e9451a-5a4c-4cf2-8c3e-e41baf6f4f09","arxiv_id":"2607.28358","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"In every dimension d≥3, every admissible fixed-cost quantum coupling violates the triangle inequality, so no fixed cost operator yields a quantum Wasserstein metric on all states.","lead":"This paper proves that in three or more dimensions, no single fixed cost operator can make quantum optimal transport into a true distance on all quantum states. It also shows a channel-based alternative collapses to zero cost, so it cannot even separate states.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.1 inherits the exact kernel condition ker C = Sym^2 from [CEF˙Z23, Thm 6.3]; the paper proves only the easy inclusion, so the uniform qutrit reduction and the no-go stand or fall with that external characterization.","rationale":"The reader's weakest_assumption identified the same dependency on the external characterization; I agree that this is the most load-bearing condition for the central claim. My stress-test does not find an internal error in the reduction or the counterexample: Proposition 3.6's formulas check out, the optimization arguments in Lemma 3.4 and the square-root violation in (38) are sound, and the stabilization argument in Proposition 4.1 is valid. The conjugation issue in Proposition 5.3 flagged by the reader is real but affects only Theorem 1.3 and is easily repaired by writing the pure-state coupling as |\\barψ⊗ψ⟩; it is not the load-bearing point for the main no-go theorem. Because the external theorem is a published result and the rest of the proof is internally consistent, I would not change the reader's CONDITIONAL verdict; the concern is a testable dependency rather than a demonstrated flaw. The proposed check settles whether the dependency lands.","tokens_in":12134,"tokens_out":23979,"duration_ms":201735,"concrete_test":"Independently re-derive the necessity direction of [CEF˙Z23, Thm 6.3]: assume T_C is a semidistance. (i) Show C⪰0 by evaluating T_C on pure product couplings. (ii) Show Sym^2(H)⊆ker C by using the unique pure self-coupling |ψψ⟩. (iii) Show there is no antisymmetric kernel vector: if |i∧j⟩∈ker C, then since |i∨j⟩∈ker C, the tensor |ij⟩ lies in ker C, so the coupling |ij⟩⟨ij| gives T_C(|i⟩⟨i|,|j⟩⟨j|)=0, contradicting point separation. If these three steps hold, Theorem 1.1's reduction is complete; if (iii) fails, exhibit a concrete C with an antisymmetric kernel vector for which T_C is still a semidistance, which would break the uniform no-go.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central no-go (Theorem 1.1) depends on the characterization in Theorem 3.1 from [CEF˙Z23, Thm 6.3]: C is admissible iff C⪰0 and ker C = Sym^2(H). The proof of Theorem 1.1 uses exactly this to conclude (10), then Lemma 3.2 and Lemma 3.3 compress any admissible cost to three positive weights a,b,c>0 on a qutrit (Section 3.1). If the necessity direction of the characterization were incomplete, the reduction would not cover all fixed-cost semidistances and the uniform statement would fail. The paper itself only demonstrates the easier inclusion: zero self-cost on pure states gives C|ψψ⟩=0 for every ψ, hence Sym^2(H)⊆ker C, together with C⪰0 from nonnegativity on pure couplings. What is not shown in this paper is the exact equality ker C = Sym^2(H) and the positivity of C on the antisymmetric subspace. These are what force a,b,c>0 in (11); if an antisymmetric kernel vector existed, the normal form could have a zero weight and Proposition 3.6 would not apply. The cited theorem may well be correct, but because the whole no-go theorem is built on it, this is the load-bearing point. No internal inconsistency was found in the rest of the proof.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves two no-go theorems for fixed-cost couplings in quantum optimal transport. For the standard coupling set (3)-(4), Theorem 1.1 shows that for any Hermitian cost C on C^d⊗C^d, d≥3, if T_C is a semidistance, then T_C and W_C=√T_C violate the triangle inequality on a fixed triple of commuting qutrit states. The proof reduces arbitrary admissible costs to three positive weights via the external characterization [CEF˙Z23, Thm 6.3], uses the exact diagonal-state formula (24), and verifies a uniform weighted counterexample in Proposition 3.6. Corollary 1.2 transfers the violation to the stabilized SWAP cost, proving it is not a metric. For channel-induced couplings (5), Theorem 1.3 shows that global nonnegativity together with zero self-cost forces C=0, so no semidistance or metric exists for d≥2. The dimension threshold d≥3 is sharp because in dimension two all admissible costs are multiples of SWAP and the square-root cost is a metric.","tokens_in":12410,"tokens_out":16174,"duration_ms":133782,"significance":"If correct, the main theorem settles the open question posed by Friedland et al. by ruling out, for d≥3, all fixed linear cost operators as a source of quantum Wasserstein metrics on the full mixed-state space, thereby sharpening Miller's qutrit counterexample to a uniform statement. The paper contains several independently useful technical tools: the qutrit antisymmetric normal form (Lemma 3.3), the twirl-based proof of the diagonal-state formula (Lemma 3.4), the explicit three-state counterexample with strict inequalities for all positive weights, and the stabilization argument (Proposition 4.1). The proofs are detailed, and I verified the algebra in Proposition 3.6 and the coarse-graining argument in Proposition 4.1; the channel-induced argument in Section 5 is short and correct. The main theorem is conditional on the admissibility characterization quoted as Theorem 3.1, but this is a citation to a published result rather than an internal gap.","major_comments":[],"minor_comments":[{"comment":"The proof of Theorem 1.1 uses the full \"if and only if\" characterization of admissible costs from [CEF˙Z23, Theorem 6.3], but the paper proves only the easy inclusion. Please add a remark or an appendix proof making explicit that the uniform reduction to (11) is conditional on the necessity direction of this external theorem; this will help readers who want to verify the coverage of all admissible costs.","section":"Section 3.1, Theorem 3.1"},{"comment":"The unique element of the channel-induced self-coupling set for a pure state |ψ⟩⟨ψ| is |bar-ψ⊗ψ⟩⟨bar-ψ⊗ψ|, with the first factor carrying the transpose, not |ψ⊗ψ⟩⟨ψ⊗ψ|. The conclusion is correct because every vector bar-ψ occurs as ψ ranges over H, but the notation should be corrected for consistency with (5).","section":"Section 5, Proposition 5.3"},{"comment":"The displayed cancellation sums are mis-stated: vanishing of the |y⟩⊗|y⟩ terms uses ∑_{k=0}^3 (-i)^k(-1)^k=0, not ∑_{k=0}^3 (-1)^k=0. The polarization identity (44) itself is correct.","section":"Lemma 5.2 proof"},{"comment":"Please clarify the convention relating the transpose ρ^T to the entrywise conjugate |bar-ψ⟩ used in Section 5; this would remove the ambiguity in the pure-state argument and in the spanning lemma.","section":"Around Eq. (5) and Section 5"},{"comment":"The phrase \"one fixed triple\" should read \"one fixed triple in the basis supplied by Lemma 3.3,\" since the triple in (27) is specified after a C-dependent basis change; the current wording could be misread as claiming a single numerical triple works for every C.","section":"Theorem 1.1, after Eq. (27)"}],"recommendation":"minor_revision","confidential_remarks":"The editor may wish to verify [CEF˙Z23, Theorem 6.3] and the publication status of [Mil26], since the uniform standard-coupling no-go theorem is contingent on the former, and the paper relies on the latter for the seed counterexample."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this settles the Friedland et al. conjecture in the negative for every fixed Hermitian cost, not just SWAP and nearby costs. The main novelty is the uniform qutrit reduction: using the CEFZ23 characterization, every admissible cost compresses to three positive weights on the antisymmetric qutrit sector, and the authors exhibit one commuting triple that violates the triangle inequality for every positive choice of those weights. That is a genuine step beyond Miller's SWAP-specific counterexample. Lemma 3.4's diagonal-state reduction is a clean reproof, and the stabilization argument in Proposition 4.1 is correct and useful: tensoring with an ancilla does not restore the triangle inequality.\n\nThe channel-induced no-go is short and clever: global nonnegativity forces C >= 0, and zero self-cost on pure states then forces C = 0. But Proposition 5.3 as written contains a conjugation error: for rho = |psi><psi|, the unique state in the channel-induced coupling set is |psibar ⊗ psi>, not |psi ⊗ psi>, because the first marginal is rho^T. The intended argument still works with that correction, and the conclusion C = 0 stands, but the displayed state is false and must be fixed before publication.\n\nThe load-bearing step is Theorem 3.1 from [CEFZ23]: C is admissible iff C >= 0 and ker C = Sym^2. The paper cites this rather than proves it. That is legitimate, but everything in Theorem 1.1 rests on the exact kernel equality and on positivity on the antisymmetric subspace. If that external characterization had a gap, the uniform no-go would collapse. I would want a referee to check Theorem 6.3 of CEFZ23 carefully rather than take it on faith. The authors do not introduce circular reasoning; they use the external theorem as stated.\n\nI did not find issues in Lemma 3.3 or Proposition 3.6; the algebra looks right. The qubit exception and the pure-state metric behavior are correctly noted. The paper is honest about scope and about the missing gluing lemma. The citation pattern is appropriate; self-citations appear in application references, not in load-bearing arguments.\n\nBottom line: this deserves a serious referee. It is a clean, important negative result for quantum optimal transport. Fix Proposition 5.3, flag the external characterization explicitly, and it should be publishable. I would bring it to the reading group and would likely cite it.","headline":"A genuine uniform no-go theorem for fixed-cost quantum transport metrics, built on an external admissibility characterization; one repairable conjugation slip in the channel-induced section, but the main result survives.","tokens_in":12938,"tokens_out":5218,"would_cite":true,"duration_ms":46294,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that no fixed state-independent Hermitian cost can make coupling-based quantum transport a metric for d≥3.","keywords":["quantum optimal transport","transport metric","no-go theorem","fixed cost operator","triangle inequality","SWAP cost","commuting states","stabilized cost"],"falsifier":"Compute, for a fixed admissible qutrit cost with weights $a,b,c>0$, the three pairwise costs on the commuting states with marginals $p=(3/4,1/4,0)$, $q=(1/4,5/8,1/8)$, and $r=(1/8,5/8,1/4)$, using $\\frac12\\min_\\gamma\\sum_{i<j}c_{ij}(\\sqrt{\\gamma_{ij}}-\\sqrt{\\gamma_{ji}})^2$. If the strict inequalities $T_C(\\rho,\\tau)>T_C(\\rho,\\sigma)+T_C(\\sigma,\\tau)$ and $W_C(\\rho,\\tau)>W_C(\\rho,\\sigma)+W_C(\\sigma,\\tau)$ fail for any positive weights, the uniform theorem is false; equivalently, finding any $d\\ge3$ admissible cost whose square-root cost satisfies the triangle inequality on all mixed states would refute it.","tokens_in":11925,"feed_emoji":"🚫","tokens_out":11444,"duration_ms":92046,"temperature":0.7,"pith_summary":"The paper proves a uniform no-go theorem for coupling-based quantum optimal transport: in every Hilbert-space dimension d≥3, no fixed, state-independent Hermitian cost operator can make either the optimal coupling cost or its square root a metric on the full set of mixed states. The triangle inequality fails already for three mutually commuting qutrit states, and one fixed triple works, after a basis change, for every admissible cost. A separate result shows the channel-induced formulation fails even earlier: global nonnegativity together with zero self-cost forces the cost operator to be zero, so no point separation is possible for d≥2. The paper also shows that stabilizing the SWAP cost by tensoring with arbitrary ancillas does not restore the triangle inequality. Taken together, these statements close the question in the negative: fixed-cost coupling formulations do not produce quantum Wasserstein metrics on all mixed states.","feed_headline":"No fixed quantum transport cost yields a metric for d≥3","feed_subtitle":"A uniform proof shows every fixed-cost coupling violates the triangle inequality on commuting qutrit states.","key_machinery":"The load-bearing mechanism is the admissible-cost characterization, which reduces every candidate metric to a positive operator with kernel equal to the symmetric subspace. From there, the qutrit antisymmetric normal form is the key structural reduction: because every orthonormal basis of $\\wedge^2\\mathbb{C}^3$ is, up to phases, a wedge basis induced by a one-particle basis, any admissible qutrit cost becomes a sum of three positive weights on the antisymmetric directions $|1\\wedge2\\rangle,|1\\wedge3\\rangle,|2\\wedge3\\rangle$. The diagonal-state reduction then turns the quantum optimization into a classical coupling minimization with square-root terms, $T=\\frac12\\min_\\gamma\\sum_{i<j}c_{ij}(\\sqrt{\\gamma_{ij}}-\\sqrt{\\gamma_{ji}})^2$; this is the identity that carries the argument, since the square roots are generated by quantum coherence inside each $\\{|ij\\rangle,|ji\\rangle\\}$ block. For stabilization, the function $\\Phi(\\pi)=\\sum_{i,j}\\sqrt{\\pi_{ij}\\pi_{ji}}$ is shown to be unaffected by coarse-graining an ancilla, so tensoring with a common state does not change the SWAP cost on commuting pairs. For channel-induced couplings, the mechanism is a polarization identity: every basis tensor $|e_i\\rangle\\otimes|e_j\\rangle$ is a linear combination of vectors $|\\psi\\rangle\\otimes|\\overline{\\psi}\\rangle$, so zero self-cost on pure states spans the kernel of $C$.","core_discovery":"Under the standard coupling set—bipartite states with prescribed partial traces—a Hermitian cost $C$ is admissible precisely when $C \\succeq 0$ and its kernel is the symmetric subspace $\\mathrm{Sym}^2(H)$. The paper uses this characterization to compress any admissible cost to a qutrit, where a basis change brings it to the normal form $C_{a,b,c}=a|1\\wedge2\\rangle\\langle1\\wedge2|+b|1\\wedge3\\rangle\\langle1\\wedge3|+c|2\\wedge3\\rangle\\langle2\\wedge3|$ with $a,b,c>0$. For commuting diagonal states the cost reduces to $T_{C_{a,b,c}}(\\mathrm{diag}\\,p,\\mathrm{diag}\\,q)=\\frac12\\min_{\\gamma\\in\\Gamma_{\\mathrm{cl}}(p,q)}\\sum_{i<j}c_{ij}(\\sqrt{\\gamma_{ij}}-\\sqrt{\\gamma_{ji}})^2$, where the square roots come from coherent off-diagonal blocks of the quantum coupling. The paper then exhibits one fixed commuting triple of diagonal qutrit states for which the triangle inequality fails for every positive $a,b,c$, both for $T_C$ and for $\\sqrt{T_C}$. For channel-induced couplings, nonnegativity of all optimized values gives $C\\succeq0$, and zero self-cost on pure states gives $C|\\psi\\otimes\\overline{\\psi}\\rangle=0$ for every $\\psi$; since these vectors span the whole bipartite space, $C=0$. The conclusion is that no fixed linear cost operator yields a metric on the full mixed-state space in dimension $d\\ge3$, and no channel-induced cost even separates points when $d\\ge2$.","pith_inferences":["A natural next step, which the paper leaves open, is to allow state-dependent costs or multi-round adaptive plans; the uniform no-go suggests no single fixed operator can reproduce classical Wasserstein geometry on all states, so any metric formulation must change the cost rule with the states involved.","The deeper obstruction may be the failure of quantum gluing: the paper shows the triangle inequality itself fails, not merely the classical proof route, which points toward studying non-coupling-based constructions or higher-order coupling objects.","A testable extension: with a two-qutrit device implementing an estimated cost operator, one could measure the three pairwise costs on the commuting triple $p=(3/4,1/4,0)$, $q=(1/4,5/8,1/8)$, $r=(1/8,5/8,1/4)$; the predicted strict triangle violation is quantitative and should survive noise unless the cost operator becomes inadmissible.","It remains unclear whether the dimension threshold changes if one restricts to pure states or to other subfamilies of commuting states; the paper's proof is specific to full mixed-state space, so weaker no-go statements for such families are not implied."],"forward_implications":["For every $d\\ge3$, no state-independent linear cost can make the standard coupling cost $T_C$ or its square root $W_C$ a metric on all mixed states; the threshold is sharp because in $d=2$ the cost is a multiple of the SWAP projector and $W_C$ is the usual metric on the Bloch ball.","The stabilized SWAP cost, despite gaining channel monotonicity and invariance under tensoring with a common ancilla, still violates the triangle inequality, so finite-dimensional stabilization cannot repair the metric property.","For channel-induced couplings in dimension $d\\ge2$, the only operator satisfying nonnegativity and zero self-cost is $C=0$, so point separation—and hence any semidistance—is impossible.","The no-go is uniform rather than perturbative: one fixed commuting qutrit triple violates the triangle inequality for every admissible cost after a basis change, so the failure is not special to exact SWAP or nearby costs.","Metricity can survive on restricted families—on pure states the SWAP cost is a constant multiple of root infidelity and hence a metric—but not on the full mixed-state space."],"supporting_citations":[{"why":"Supplies the admissible-cost characterization (Theorem 6.3: $C \\succeq 0$ and $\\ker C = \\mathrm{Sym}^2(H)$) that the reduction to qutrit weights relies on.","marker":"[CEF ˙Z23]"},{"why":"Posed the conjecture that the square root of the SWAP cost is a metric and established the qubit case; the paper's negative answer targets this conjecture.","marker":"[FEC ˙Z22]"},{"why":"Provides the diagonal-state reduction formula and an explicit qutrit counterexample to SWAP metricity that the uniform theorem generalizes.","marker":"[Mil26]"},{"why":"Defines the channel-induced coupling set via Choi operators and proves the channel–coupling correspondence used in Theorem 1.3.","marker":"[DPT21]"},{"why":"Introduces the stabilized SWAP cost whose failure to be a metric is shown in Corollary 1.2.","marker":"[MH22]"},{"why":"Shows a related no-go: no fixed Hermitian cost can represent trace distance, providing context for the fixed-cost no-go.","marker":"[ZYYY22]"}],"fun_headline_variants":["Quantum transport: no fixed-cost metric for d≥3","Fixed cost? No metric for quantum transport","No triangle inequality from fixed transport costs","Commuting quantum states break all fixed-cost metrics","All fixed-cost couplings fail as metrics for d≥3"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is the external characterization theorem that a Hermitian cost gives a semidistance only if it is positive semidefinite and vanishes exactly on the symmetric subspace—the two-particle states unchanged by swapping the two particles; if that characterization omits admissible costs or is wrong, the reduction to three qutrit weights would not cover all fixed-cost semidistances.","fun_headline_variants_meta":{"raw":{"variants":["Quantum transport: no fixed-cost metric for d≥3","Fixed cost? No metric for quantum transport","No triangle inequality from fixed transport costs","Commuting quantum states break all fixed-cost metrics","All fixed-cost couplings fail as metrics for d≥3"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000305,"raw_usage":{"total_tokens":1832,"prompt_tokens":1109,"completion_tokens":723,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":725,"completion_tokens_details":{"reasoning_tokens":651}},"tokens_in":725,"tokens_out":723,"duration_ms":7376,"temperature":1.0,"reasoning_tokens":651,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T15:25:14.597073+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute, for a fixed admissible qutrit cost with weights $a,b,c>0$, the three pairwise costs on the commuting states with marginals $p=(3/4,1/4,0)$, $q=(1/4,5/8,1/8)$, and $r=(1/8,5/8,1/4)$, using $\\frac12\\min_\\gamma\\sum_{i<j}c_{ij}(\\sqrt{\\gamma_{ij}}-\\sqrt{\\gamma_{ji}})^2$. If the strict inequalities $T_C(\\rho,\\tau)>T_C(\\rho,\\sigma)+T_C(\\sigma,\\tau)$ and $W_C(\\rho,\\tau)>W_C(\\rho,\\sigma)+W_C(\\sigma,\\tau)$ fail for any positive weights, the uniform theorem is false; equivalently, finding any $d\\ge3$ admissible cost whose square-root cost satisfies the triangle inequality on all mixed states would refute it.","supporting_citations":[],"review_version":1}