{"id":"30fee1d8-3664-41d8-bd62-1a930a355187","arxiv_id":"2607.07764","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.5,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"An explicit three-parameter family of diagonal states disproves the conjectures that the quantum 2-Wasserstein quantity for the antisymmetric cost matrix (and nearby matrices) is a true distance.","lead":"This comment disproves two conjectures from a 2022 PRL by giving an explicit family of three diagonal quantum states where a proposed quantum Wasserstein quantity violates the triangle inequality. It matters because it shows a candidate true metric on density matrices is only a semidistance, correcting the quantum optimal-transport literature.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The note is a short, self-contained analytical refutation. Every algebraic identity and minimization argument is written out and verifies by direct expansion or elementary inequalities; the padding argument for n>3 is immediate. The only unstated step is continuity of the map C↦W_{C,2}, which holds by the standard estimate recalled above and therefore rigorously kills Conjecture II as well. The reader correctly noticed that the continuity sentence is missing, yet that omission is not a genuine soft spot: the required continuity is elementary, parameter-free, and independent of any special property of CQ. Consequently the central claim stands, correctness risk remains low, and the ACCEPT verdict needs no adjustment.","tokens_in":6993,"tokens_out":457,"duration_ms":33684,"concrete_test":"For the interior point (s,t)=(0.3,0.1) recompute the three classical minima appearing in (4) by a numerical linear-cost optimizer over the transportation polytope; confirm that the resulting values reproduce (15)–(17) to machine precision and that the triangle deficit is strictly positive (approximately 0.01).","verdict_should_be":"UNCHANGED","load_bearing_attack":"The counterexamples for CQ rest on elementary, fully explicit calculations: Proposition 1 reduces the quantum quantity on diagonal states to a classical min; the three parameterizations of Γ_cl then yield closed forms (15)–(17) by monotonicity or Cauchy–Schwarz-plus-attainment; the triangle deficit reduces to strict concavity of r↦√(1+a²+2ar). All steps are hand-checkable and contain no hidden hypotheses. Continuity of C↦W_{C,2}(ρ,σ) (needed for Conjecture II) follows at once from |min Tr C²ω−min Tr CQ²ω|≤‖C²−CQ²‖ on the compact set of couplings, so the same triples violate the inequality throughout a neighborhood of CQ. The paper leaves the continuity sentence unwritten, yet the fact is immediate in finite dimension and does not weaken the disproof.","agreement_with_reader":"partial"},"referee_report":{"model":"grok-4.5","summary":"This Comment disproves two conjectures of Friedland et al. (PRL 129, 110402) on the quantum 2-Wasserstein semidistance W_{C,2} built from quantum cost matrices and quantum couplings. The authors first prove a general reduction (Proposition 1) expressing W_{C_E,p} between diagonal states as a minimization over classical couplings that involves the interference terms (sqrt(gamma_ij)-sqrt(gamma_ji))^2. They then exhibit an explicit two-parameter family of three-dimensional diagonal states (14) and compute the three pairwise distances in closed form (15)-(17) by elementary monotonicity and Cauchy-Schwarz arguments. On the interior of the parameter domain the triangle inequality is violated, and the same triples serve as counterexamples for every n>3 by padding with zeros. The same family is claimed to kill the neighborhood conjecture as well.","tokens_in":7173,"tokens_out":729,"duration_ms":28271,"significance":"The result cleanly settles two concrete open claims from a recent PRL by means of fully explicit, hand-checkable counterexamples. The reduction formula of Proposition 1 is of independent interest: it makes precise why quantum transport between classical states is cheaper than classical transport and recovers known n=2 formulae as special cases. Because the violation is strict and open, and because the map C |-> W_{C,2} is continuous on the compact set of couplings in finite dimension, the same triples also refute the neighborhood conjecture. The calculations are elementary and reproducible; no numerical search or machine-checked proof is required, yet the algebraic verification via strict concavity of the square-root function is transparent and robust.","major_comments":[],"minor_comments":[{"comment":"After equations (15)-(17) the continuity argument needed to kill Conjecture II is left implicit. A single sentence noting that |W_C,2 - W_CQ,2| is controlled by the operator-norm difference of the squared cost matrices on the compact set of couplings would make the neighborhood claim fully self-contained.","section":"Section 2, after (17)"},{"comment":"Figure 1 is useful but its caption could briefly state that the plotted quantity is exactly the triangle deficit given by (15)-(17), so that a reader can verify the figure without re-deriving the expressions.","section":"Figure 1"},{"comment":"The parenthetical remark that the original definition of W should have included a factor of 2^{1/p} (Remark 2) is interesting but slightly digressive; it could be shortened or moved to a footnote without loss of the main argument.","section":"Remark 2"},{"comment":"The acknowledgement that the counterexamples were found with ChatGPT assistance is transparent; no change is required, but the journal may wish to confirm that the final algebraic proofs are author-verified.","section":"Acknowledgements"}],"recommendation":"accept","confidential_remarks":"The manuscript is short, correct, and of clear interest to the quantum-information / optimal-transport community that read the original PRL. Continuity of C |-> W_C,2 is immediate in finite dimension and does not constitute a load-bearing gap; the Comment is ready for publication essentially as is. Fit for a Comment format is excellent."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"This is a short, correct comment that kills both Conjecture I and II of the 2022 PRL with an explicit three-parameter family of diagonal states. That is the whole story, and it is enough.\n\nWhat is new is Proposition 1 (the reduction of W_C,p between diagonal states to a classical min over (√γ_ij − √γ_ji)^{2} terms) plus the concrete triples (14) that produce a strict triangle deficit for the antisymmetric cost CQ. The three pairwise distances are reduced to elementary one- or two-parameter minimizations solved by monotonicity or Cauchy–Schwarz-plus-attainment; the final comparison is just strict concavity of the square-root map. Everything is written out and hand-checkable. The same triples work for any n > 3 by padding with zeros, so the counterexamples are not dimension-specific.\n\nThe only soft spot is that the paper never writes the continuity sentence needed to pass from CQ to a neighborhood (Conjecture II). In finite dimension the map C ↦ W_C,2 is continuous on the compact set of couplings by the elementary estimate |min Tr C^{2}ω − min Tr CQ^{2}ω| ≤ ‖C^{2} − CQ^{2}‖, so the same triples work. The gap is real but tiny; a referee will ask for one sentence and that will be the end of it.\n\nCitation pattern is clean and limited to the papers that actually matter. No data, no free parameters, no circularity. The note is correctly scoped as a comment.\n\nThis is for people who work on quantum optimal transport or who might have been tempted to treat W_CQ,2 as a metric. It deserves a serious referee and should be accepted after the continuity remark is added. I would cite it if I ever need to use or discuss that quantity.","headline":"Clean analytical kill of both Friedland et al. conjectures; the only soft spot is an unwritten but immediate continuity sentence.","tokens_in":7752,"tokens_out":477,"would_cite":true,"duration_ms":5043,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.5","headline":"An explicit family of quantum states shows that the conjectured quantum Wasserstein distance fails the triangle inequality.","keywords":["quantum Wasserstein distance","quantum optimal transport","triangle inequality","density matrices","quantum couplings","antisymmetric cost matrix","semidistance"],"falsifier":"Pick any concrete pair (s,t) inside the open triangle Δ° (for example s=0.3, t=0.1), compute the three numbers WCQ,2(ρ,σ), WCQ,2(σ,τ) and WCQ,2(ρ,τ) by the classical-coupling formula of Proposition 1, and check whether the third exceeds the sum of the first two.","tokens_in":7891,"feed_emoji":"⚖️","tokens_out":657,"duration_ms":13315,"temperature":0.7,"pith_summary":"Earlier work proposed a quantum version of the p-Wasserstein distance built from cost matrices and quantum couplings between density matrices. That quantity is only a semidistance in general, yet two conjectures claimed it becomes a genuine metric when the cost matrix is the projector onto the antisymmetric subspace (and for small perturbations of that matrix). This comment disproves both claims by producing a concrete three-parameter family of diagonal states on which the triangle inequality is violated. The counterexamples work in every dimension three and higher and show that the hoped-for metric property does not hold even in a neighborhood of the special cost matrix.","feed_headline":"Quantum Wasserstein distance fails triangle inequality","feed_subtitle":"Explicit diagonal states kill both conjectures that the antisymmetric cost would yield a true metric","key_machinery":"Proposition 1, which reduces WC_E,p between any two diagonal states to an ordinary minimization over classical couplings of the expression (1/2 ∑_{i