{"id":"ef6d8c0a-c8c8-4023-abde-6a18afac230e","arxiv_id":"2512.01722","paper_version":4,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Folded optimal transport builds a true Wasserstein distance on any compact convex set from a distance on its extreme points, giving separable quantum Wasserstein distances on density matrices and unifying classical, semiclassical, and quantum transport.","lead":"Folded optimal transport extends a distance on the extreme points of a convex set to the whole set by lifting it to probability measures and then identifying all decompositions with the same barycenter. Applied to quantum states, it yields a genuine Wasserstein distance on density matrices and shows that classical, semiclassical, and separable quantum transport costs are special cases.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Section 3.2 overclaims that the Fubini–Study metric satisfies (31) for every norm; Theorem 3 needs (31) exactly, and for the Frobenius norm the inequality fails.","rationale":"The reader's weakest_assumption is exactly the norm-dominance condition (21)/(31) and the false claim that Fubini–Study satisfies it for any norm. My stress-test confirms this is the most load-bearing concern: Theorem 3(i) and its topological conclusions all rely on (31) to ensure D_p separates points and bounds the norm from below. The false parenthetical does not invalidate the central construction—since equivalent norms can always be rescaled to make (31) hold—but it overstates the direct applicability of the theorem to standard norms such as Frobenius or trace. The paper's Corollary 1 actually handles this correctly by implicitly choosing a rescaled norm for the Fubini–Study case. Therefore the appropriate verdict remains CONDITIONAL: the main argument is sound, but the overclaim in Section 3.2 must be corrected. No further load-bearing issues were identified.","tokens_in":20027,"tokens_out":14421,"duration_ms":130153,"concrete_test":"Take H=C^2, |ψ⟩=(1,0), |φ⟩=(cos θ, sin θ) with θ=0.1. Compute d_FS(P_ψ,P_φ)=0.1 and ||P_ψ−P_φ||_Fr = √(2(1−cos^2 θ)) = √2 sin θ ≈ 0.1413. Since 0.1 < 0.1413, condition (31) fails for the Frobenius norm. This single numerical check settles the overclaim.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central metric/topological conclusion rests on Lemma 1/Theorem 1, which require d(x,y) ≥ ||x−y|| on E. The paper's parenthetical in Section 3.2 asserts this is automatically true for d_FS and any norm on B(H). That assertion is false: with the Frobenius norm, writing |⟨ψ|φ⟩| = cos θ, one has d_FS = θ while ||P_ψ−P_φ||_Fr = √2 sin θ; for small θ, √2 sin θ > θ, so d_FS < ||·||_Fr. The same issue occurs for the trace norm. However, all norms on finite-dimensional B(H) are equivalent, so for any fixed d there is an equivalent norm (e.g., (1/√2)||·||_Fr for d_FS) satisfying (31); Corollary 1(ii) implicitly relies on this rescaling. Thus the proof itself is sound, but the advertised scope 'any norm' is incorrect and should be replaced by 'some equivalent norm' or a domination-up-to-constant condition. This is the load-bearing weak point: a reader using the standard Frobenius or trace norm cannot directly invoke Theorem 3, and must instead track constants.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces 'folded optimal transport', a two-step procedure (lift to the Wasserstein space over the extreme boundary, then quotient by the barycenter equivalence relation) that extends a distance or cost defined on the extreme boundary E of a compact convex set C to the whole of C. The main general result, Theorem 1, asserts that under the lower-bound condition d(x,y) ≥ ||x−y|| on E, the folded Wasserstein pseudo-distance D_p is an actual distance, is compatible with the natural topology, is compact/Polish when C is finite-dimensional or appropriate compactness holds, is geodesic when d is geodesic and p>1, and dominates the ambient norm. The paper then specializes to finite-dimensional quantum state space S_+^1 with extreme boundary PH, proving Theorem 3 and Corollary 1 for the Frobenius and Fubini–Study pure-state distances. It identifies the folded Kantorovich semi-distance with the Beatty–Stilck França semi-distance, improves the number of atoms in optimal representing plans to 2 dim H − 1, proves separation and continuity of the latter semi-distance without the Hölder-continuity assumption raised in [4], and recasts the Golse–Paul semiclassical cost as a folded Kantorovich cost.","tokens_in":20220,"tokens_out":9955,"duration_ms":105615,"significance":"If the claims hold, the framework is a valuable unification: standard Wasserstein distances, a class of separable quantum Wasserstein distances, and the Golse–Paul semiclassical cost all arise from one construction. The paper is careful and mostly self-contained: the LP representation of the folded Kantorovich semi-distance, the existence and atomicity of optimal plans via Winkler's theorem, and the continuity/topology arguments are detailed and credible. There are no fitted parameters, the identification with the Beatty–Stilck França semi-distance is proven rather than assumed, and the atom-counting improvement is a concrete advance. The main reservation is a scope error in the quantum section: the claim that the Fubini–Study metric satisfies the key domination assumption for every norm is false, and the advertised applicability of Theorem 3 must be corrected. I do not see this as a fatal flaw, because the theorem itself is conditional and the proof is sound; the fix is local but affects the statement of the main quantum result.","major_comments":[{"comment":"The text states that 'the required assumption (31) is satisfied by the Fubini-Study metric and any norm on B(H)'. This is incorrect. For the Frobenius norm, write |⟨ψ|φ⟩| = cos θ; then d_FS(P_ψ,P_φ) = θ while ||P_ψ − P_φ||_Fr = √2 sin θ. For small θ we have √2 sin θ > θ, so d_FS(P_ψ,P_φ) < ||P_ψ − P_φ||_Fr. The same failure occurs for the trace norm. Thus Theorem 3 cannot be invoked with d_FS and the standard Frobenius or trace norm. The correct statement is that for any fixed norm there is an equivalent norm — e.g. 2^{-1/2}||·||_Fr for d_FS — for which (31) holds; Corollary 1(ii) implicitly uses this rescaling. Please correct the parenthetical and make the reference norm explicit at every point where (31) is applied.","section":"Section 3.2, paragraph before Theorem 3"}],"minor_comments":[{"comment":"There are unresolved figure placeholders 'Figures??and??' in the paragraph around equation (3).","section":"Section 1"},{"comment":"In the first paragraph of the proof, the phrase 'Therefore d_FS obviously induces the natural topology and upper-bounds ||·||_Fr' appears to be a typo: it should refer to d_Fr, not d_FS. The subsequent paragraph gives the correct d_FS inequality.","section":"Corollary 1 proof"},{"comment":"Spelling is inconsistent: 'Fubini-Study' is misspelled as 'Fubini–Stud' in a few places, and the author name is given as both 'Beatty–Stilck França' and 'Beatty–França'. Please standardize.","section":"Throughout"},{"comment":"The word 'representant' should be 'representing' in 'optimal representant transport plan'.","section":"Proposition 9"}],"recommendation":"major_revision","confidential_remarks":"The paper is a solid contribution and the main proofs appear sound; the revision is needed because the false claim about the Fubini–Study metric and 'any norm' directly concerns the applicability of the central quantum theorem. Once the norm is rescaled explicitly and the overclaim removed, the paper should be suitable for publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Solid paper, real unification, one overclaimed remark that needs correcting but doesn't sink it.\n\nThe folded transport construction is the real deal. Lift a metric on the extreme boundary to W_p on probability measures, quotient by representing the same barycenter, then take the chain closure. The quotient-closed D_p is the right object, and the proof that it is a compact metric when d dominates the norm (Lemma 1, Theorem 1) is careful and mostly self-contained. The quantum application is worked out honestly: D-hat_p is explicitly proved to coincide with the Beatty–Stilck França semi-distance, and the 2 dim H − 1 atom bound improves on their 2(dim H)^2. The Golse–Paul cost as a folded Kantorovich cost is a nice unification, not just a formal parallel.\n\nThe stress-test note holds up. The parenthetical in Section 3.2 says (31) is satisfied by the Fubini–Study metric and any norm on B(H). That is false. On the Frobenius norm, d_FS(P_psi,P_phi)=theta while ||P_psi − P_phi||_Fr = sqrt(2) sin theta, and for small theta, sqrt(2) sin theta > theta, so d_FS < ||·||_Fr. Same for the trace norm. So (31) fails. This matters because Theorem 3 uses (31) to get separation and the norm bound. But it is not load-bearing in the sense that the results survive: all norms on finite-dimensional B(H) are equivalent, and Corollary 1(ii) implicitly works with the rescaled norm (1/sqrt(2))||·||_Fr, for which d_FS does dominate. The theorem is correct; the advertised scope 'any norm' is wrong. The fix is easy: replace 'any norm' with 'some equivalent rescaling' or state a domination-up-to-constant condition. I would also fix the missing figure references and a few typos.\n\nBottom line: the central argument is sound, the identification with Beatty–Stilck França is disclosed and used to improve known results, no free parameters, no circularity. Anyone working on separable quantum Wasserstein distances should read this. I'd send it to a serious referee; with the overclaim fixed it should be accepted.","headline":"Solid construction, real unification, one overclaimed remark about Fubini-Study and arbitrary norms that needs correcting but does not sink the paper.","tokens_in":20780,"tokens_out":2947,"would_cite":true,"duration_ms":28560,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["49Q22","46A55","81P45"],"pacs":[],"model":"deepseek-v4-flash","headline":"Folded optimal transport extends any distance on the extreme points of a convex set to a distance on the whole set, yielding a genuine separable quantum Wasserstein distance on density matrices.","keywords":["folded optimal transport","Choquet theory","Wasserstein distance","convex extension","quantum optimal transport","separable couplings","density matrices","Golse-Paul semiclassical cost"],"falsifier":"Check the paper's claim that the Fubini-Study metric satisfies d ≥ ||x−y|| for any norm on B(H): for two orthogonal pure states in dimension 2, d_FS(P,Q) = π/2 but ||P−Q||_1 = 2, so the inequality fails for the trace norm. This shows the hypothesis of Theorem 3 must be verified for each chosen norm and that the remark preceding it is not correct.","tokens_in":19826,"feed_emoji":"⚛️","tokens_out":10123,"duration_ms":92741,"temperature":0.7,"pith_summary":"The paper introduces a general recipe, called folded optimal transport, for turning a distance (or cost) defined on the extreme points of a convex set into a distance on the whole set. Any point of a compact convex set is a barycenter of probability measures on its extreme boundary, and the paper glues the standard Wasserstein distance on those measures along the equivalence relation of having the same barycenter, then forces the triangle inequality through a chain construction. The upshot is a distance D_p that, under one modest condition (the boundary distance must dominate the ambient norm), makes the convex set a compact Polish metric space with the natural topology, and even geodesic when the boundary is geodesic. Applied to quantum state space, this yields a true separable quantum Wasserstein distance on density matrices from any distance on pure states, recovering the Beatty–Stilck França semi-distance and showing the Golse–Paul semiclassical cost is a folded Kantorovich cost. If correct, the framework unifies classical, semiclassical, and separable quantum optimal transport under one construction.","feed_headline":"Folding optimal transport yields a true quantum Wasserstein distance","feed_subtitle":"It recovers classical Wasserstein, the Beatty–Stilck França semi-distance, and the Golse–Paul cost.","key_machinery":"The key object is the folded Wasserstein (pseudo-)distance. First, D̂_p(x,y) = inf { W_p(µ,ν) : µ represents x, ν represents y } glues the ordinary Wasserstein distance on P(E) along the Choquet equivalence classes of representing measures; this yields a semi-distance (symmetric, separating, but not always subadditive). Then D_p(x,y) is its chain closure, the infimum of Σ D̂_p(z_i,z_i+1) over all finite chains from x to y, which enforces the triangle inequality. The load-bearing identity is the Choquet identification C ≃ P(E)/∼, which turns a convex set into a quotient of a Wasserstein space; the condition d(x,y) ≥ ||x−y|| on the boundary is what forces D_p to separate points and to upper-bo","core_discovery":"The central claim is that the folded Wasserstein distance D_p — defined on a compact convex set C by first lifting a distance d on the extreme boundary E to the Wasserstein distance W_p on probability measures over E, then minimizing W_p among measures representing the same points, and finally taking the shortest-chain closure — is an honest distance when the boundary distance dominates the ambient norm (d(x,y) ≥ ||x−y||). Under that hypothesis, (C,D_p) is compact, Polish, continuous with respect to the norm topology when the relative interior is nonempty, and geodesic whenever (E,d) is geodesic and p>1. In the quantum case C = S_+^1 (density matrices), E = PH (pure states), the construction","pith_inferences":["The same folding recipe could be applied to other convex state spaces with well-understood extreme boundaries, such as Gaussian states or fermionic density matrices; any distance on the pure/physical boundary that dominates the ambient norm would automatically produce a valid Wasserstein-type metric.","The identification of the Golse–Paul cost suggests that quantitative semiclassical limits (Wigner measures, mean-field limits) could be studied by importing standard optimal-transport stability results through the folded cost.","The 2 dimH − 1 atom bound hints that the quantum folded transportation problem is a linear program with a dimension-dependent rank, possibly making it computationally competitive for small systems; one could test whether the bound is tight.","Because D_p is defined by a chain closure, it inherits a dynamical/geodesic interpretation when the boundary is geodesic; this may open a path to gradient-flow formulations for quantum entropies under the folded metric, in analogy with classical Wasserstein gradient flows — a speculation not made in the paper."],"forward_implications":["Under the boundary-dominance condition, the space of density matrices (S_+^1, D_p) becomes a compact Polish geodesic metric space for p>1 when the pure-state space is geodesic, so quantum states acquire a bona fide metric geometry inherited purely from a distance on pure states.","The Beatty–Stilck França semi-distance is exactly the folded Kantorovich semi-distance D̂_p; the paper improves the optimal transport plan to at most 2 dimH − 1 atoms and shows D̂_p always separates points.","The Golse–Paul semiclassical cost is a folded Kantorovich cost, so semiclassical comparisons between quantum and classical states fit into the same optimal-transport framework and extend naturally to arbitrary Radon measures rather than only densities.","Because the construction recovers classical Wasserstein when the convex set is a simplex, classical results about Wasserstein spaces transfer to general convex state spaces via the folding recipe.","The folded distance D_p sub-extends the boundary distance d in general, and extends it exactly when d is a norm; this clarifies when a quantum Wasserstein distance can preserve pure-state distances literally."],"fun_headline_variants":["Folded optimal transport creates a true quantum Wasserstein distance","New Wasserstein distance for quantum states via folding","Folded transport unifies classical, semiclassical, and quantum OT","From pure states to density matrices: folded OT yields a metric"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The entire construction hinges on the boundary distance dominating the ambient norm: d(x,y) ≥ ||x−y|| for all extreme points x,y; if this fails, the paper's proof that D_p separates points and induces the natural topology collapses, and D_p may degenerate.","fun_headline_variants_meta":{"raw":{"variants":["Folded optimal transport creates a true quantum Wasserstein distance","New Wasserstein distance for quantum states via folding","Folded transport unifies classical, semiclassical, and quantum OT","From pure states to density matrices: folded OT yields a metric"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000767,"raw_usage":{"total_tokens":3221,"prompt_tokens":716,"completion_tokens":2505,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":460,"completion_tokens_details":{"reasoning_tokens":2436}},"tokens_in":460,"tokens_out":2505,"duration_ms":18564,"temperature":1.0,"reasoning_tokens":2436,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T19:07:28.703682+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Check the paper's claim that the Fubini-Study metric satisfies d ≥ ||x−y|| for any norm on B(H): for two orthogonal pure states in dimension 2, d_FS(P,Q) = π/2 but ||P−Q||_1 = 2, so the inequality fails for the trace norm. This shows the hypothesis of Theorem 3 must be verified for each chosen norm and that the remark preceding it is not correct.","supporting_citations":[],"review_version":1}