{"id":"4bce9760-2e9e-4edc-a154-a9e6634d80bc","arxiv_id":"2606.04969","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Entanglement is quantified as the minimal order-1 quantum Wasserstein distance to the set of separable states, yielding a measure that obeys all axioms via the metric's data-processing inequality and supplies explicit lower bounds plus witness connections.","lead":"The paper defines a bipartite entanglement measure as the smallest order-1 quantum Wasserstein distance from any quantum state to the nearest separable state. This geometric construction uses the data-processing property of the Wasserstein metric to meet standard entanglement axioms and links directly to witness-based detection.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest assumption matches the load-bearing step in the argument exactly. Because the paper explicitly attributes the axioms to the universal DPI rather than deriving them case-by-case, and no counter-example or hidden restriction on the channels appears in the claim, the existing UNVERDICTED verdict is appropriate pending direct inspection of the DPI proof.","tokens_in":1678,"tokens_out":321,"duration_ms":25968,"concrete_test":"Extract the precise definition of the order-1 quantum Wasserstein distance and the statement of its data-processing inequality from the paper; confirm that the inequality holds for arbitrary quantum channels (not merely classical or local ones) and that LOCC channels map separable states to separable states. If both hold, the monotonicity inheritance is immediate.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that the min order-1 quantum Wasserstein distance to the separable set inherits all required entanglement axioms directly from the metric's universal data-processing inequality. This inheritance is logically direct: if W(Φ(ρ), Φ(σ)) ≤ W(ρ, σ) for every channel Φ and Φ maps the separable set into itself, then the infimum distance is automatically non-increasing under those operations. The abstract states the DPI is universal for the chosen definition, and the dual Lipschitz formulation follows as a standard consequence of the variational definition of W. No internal inconsistency, missing step in the inheritance argument, or unstated assumption about the separable set is visible in the claim structure.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript proposes a bipartite entanglement measure defined as the infimum of the order-1 quantum Wasserstein distance from a given state to the set of separable states. It asserts that this quantity satisfies all standard entanglement axioms (monotonicity under LOCC, convexity, etc.) directly from the universal data-processing inequality obeyed by the Wasserstein metric, supplies a Lipschitz dual formulation that yields explicit lower bounds and a sharp constant for two-qubit systems, and establishes quantitative links to entanglement witnesses via maximal Lipschitz-1 violations.","tokens_in":1805,"tokens_out":483,"duration_ms":20347,"significance":"If the central inheritance argument holds, the construction supplies a geometrically natural entanglement monotone that automatically inherits subadditivity, trace-distance estimates, and witness bounds from optimal-transport theory, while furnishing concrete numerical values (two-qubit sharp constant, Haar-random expectation) that could be useful for benchmarking and detection protocols.","major_comments":[{"comment":"Abstract and §3 (presumed): the claim that the data-processing inequality 'immediately yields all axioms' is stated without an explicit derivation showing that the separable set is invariant under the relevant channels and that the infimum therefore inherits each required property (e.g., strong monotonicity under LOCC). A short paragraph or lemma verifying the inheritance for the standard list of axioms would make the central claim self-contained.","section":"Abstract, §3"},{"comment":"The dual Lipschitz formulation is invoked to obtain 'sharp constants' and 'witness bounds,' yet no explicit variational equation or proof that the minimum is attained appears in the provided text; without this, the asserted sharpness for two-qubit systems remains an unverified claim.","section":"Abstract, dual formulation paragraph"}],"minor_comments":[{"comment":"Notation for the order-1 quantum Wasserstein distance should be introduced with a reference to the precise definition used (e.g., the underlying cost function or coupling set) before the minimization is stated.","section":null},{"comment":"The sentence on 'large-deviation conjectures' is left as a pointer without any supporting calculation or reference; either a brief heuristic or removal would improve clarity.","section":null}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful reading and constructive suggestions. We address the major comments below and will revise the manuscript accordingly to improve self-containment while preserving the core geometric framework.","responses":[{"response":"We agree that an explicit verification would strengthen self-containment. In the revised manuscript we will insert a short lemma (new Lemma 3.1) that first confirms invariance of the separable set under LOCC channels (using the fact that separable states remain separable under local operations and classical communication) and then derives, step by step, that the infimum inherits strong monotonicity, convexity, faithfulness, and the other standard axioms directly from the universal data-processing inequality of the order-1 quantum Wasserstein distance. This addition clarifies the inheritance without altering any results.","revision_made":"yes","referee_comment":"[Abstract, §3] Abstract and §3 (presumed): the claim that the data-processing inequality 'immediately yields all axioms' is stated without an explicit derivation showing that the separable set is invariant under the relevant channels and that the infimum therefore inherits each required property (e.g., strong monotonicity under LOCC). A short paragraph or lemma verifying the inheritance for the standard list of axioms would make the central claim self-contained."},{"response":"The dual formulation is obtained via the Kantorovich–Rubinstein theorem adapted to the quantum Wasserstein metric, which supplies the variational characterization as the supremum over 1-Lipschitz observables. We acknowledge that the explicit dual equation and the attainment argument were not written out in full detail. In the revision we will add a dedicated paragraph (in §4) stating the dual variational problem, citing the compactness argument that guarantees attainment in finite dimensions, and explicitly verifying the two-qubit sharp constant computation. This will substantiate the sharpness and witness-bound claims.","revision_made":"yes","referee_comment":"[Abstract, dual formulation paragraph] The dual Lipschitz formulation is invoked to obtain 'sharp constants' and 'witness bounds,' yet no explicit variational equation or proof that the minimum is attained appears in the provided text; without this, the asserted sharpness for two-qubit systems remains an unverified claim."}],"tokens_in":1304,"tokens_out":474,"duration_ms":18745,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main contribution is a direct definition: the entanglement monotone is the infimal order-1 quantum Wasserstein distance from a state to the separable set. The data-processing inequality of the Wasserstein metric then supplies monotonicity under channels that preserve separability, and the remaining axioms follow without extra construction. That is the clean geometric move.\n\nThe dual Lipschitz formulation is the part that adds immediate value. It converts the distance into a max over 1-Lipschitz observables, which immediately produces witness-based lower bounds and shows that the maximal violation by a Lipschitz-1 witness equals the distance. The explicit results for two-qubit systems and the Haar-average for pure states are also useful; they give numbers a reader can test.\n\nThe soft spots are limited. The argument rests on the quantum Wasserstein distance already obeying a universal data-processing inequality from prior work; the paper does not re-derive that step. If that background result holds, the inheritance is automatic and there is no circularity or fitting. The abstract-level claim that the minimum is attained and that the dual is sharp is standard in optimal transport, but a referee will want to see the verification steps written out rather than asserted. No internal contradictions appear in the logic.\n\nThis is for people who work at the overlap of entanglement monotones and optimal transport. A reader who wants a monotone that comes packaged with witness bounds and subadditivity will get something concrete. The construction is coherent enough to deserve a serious referee, even if the final verdict depends on how cleanly the derivations are presented.","headline":"The paper sets an entanglement measure to the min order-1 quantum Wasserstein distance to separables and lets the metric's data-processing inequality carry the axioms.","tokens_in":2331,"tokens_out":389,"would_cite":false,"duration_ms":18991,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"The minimal order-1 quantum Wasserstein distance from a bipartite state to the separable set defines an entanglement measure that meets all axioms through one geometric inequality.","keywords":["entanglement measure","quantum Wasserstein distance","optimal transport","separable states","entanglement witnesses","data-processing inequality","bipartite entanglement"],"falsifier":"An explicit bipartite state and local operation where the minimal Wasserstein distance to separable states increases or fails to vanish exactly on separable states.","tokens_in":2551,"feed_emoji":"📏","tokens_out":611,"duration_ms":20141,"temperature":0.7,"pith_summary":"The paper introduces an entanglement quantifier for two-party quantum systems as the smallest order-1 quantum Wasserstein distance separating a given state from the nearest separable state. Because the underlying Wasserstein metric satisfies a universal data-processing inequality, this minimal distance automatically obeys monotonicity under local operations and classical communication, convexity, and the other standard requirements without separate proofs for each property. A dual formulation using Lipschitz-1 functions supplies computable lower bounds, connects the measure to entanglement witnesses, and yields explicit values such as a sharp constant for two qubits and an average for random pure states.","feed_headline":"Minimal Wasserstein distance defines entanglement measure","feed_subtitle":"Order-1 distance to separable states meets all axioms via one data-processing inequality.","key_machinery":"The minimal order-1 quantum Wasserstein distance to the separable set, which inherits all required monotonicity and convexity properties directly from the data-processing inequality of the Wasserstein metric.","core_discovery":"The proposed measure, defined as the minimal order-1 quantum Wasserstein distance from a state to the set of separable states, satisfies all fundamental axioms within a single geometric framework owing to the universal data-processing inequality of the Wasserstein metric.","pith_inferences":["The dual formulation may allow experimental certification of entanglement using fewer measurements if the Lipschitz functions can be optimized efficiently.","The same distance construction could be applied to multipartite separability by replacing the bipartite separable set with the appropriate multipartite one.","Optimal-transport concentration inequalities might translate into fluctuation bounds on entanglement for ensembles of random states."],"forward_implications":["A Lipschitz dual formulation produces explicit lower bounds for both pure and mixed states.","Any negative expectation value of an entanglement witness supplies a lower bound on the measure, with the dual bound matching the largest violation possible by a Lipschitz-1 witness.","The construction yields subadditivity, trace-distance estimates, and bounds on local observables.","The same geometric approach points toward large-deviation results for random states."],"fun_headline_variants":["Minimal Wasserstein distance quantifies entanglement","Entanglement as minimal order-1 Wasserstein distance","Quantum Wasserstein distance defines entanglement","Minimal distance to separable states measures entanglement"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The order-1 quantum Wasserstein distance obeys a data-processing inequality strong enough that its minimal value to the separable set automatically satisfies every entanglement axiom without additional checks.","fun_headline_variants_meta":{"raw":{"variants":["Minimal Wasserstein distance quantifies entanglement","Entanglement as minimal order-1 Wasserstein distance","Quantum Wasserstein distance defines entanglement","Minimal distance to separable states measures entanglement"]},"model":"grok-4.3","cost_usd":0.007785,"raw_usage":{"total_tokens":3498,"prompt_tokens":553,"num_sources_used":0,"completion_tokens":51,"cost_in_usd_ticks":77849500,"prompt_tokens_details":{"text_tokens":553,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2894,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":553,"tokens_out":51,"duration_ms":20965,"temperature":1.0,"reasoning_tokens":2894,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-28T05:48:18.018349+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit bipartite state and local operation where the minimal Wasserstein distance to separable states increases or fails to vanish exactly on separable states.","supporting_citations":[],"review_version":1}