{"id":"cdf7d763-8214-4e61-aa2d-fa4558ecad8f","arxiv_id":"1908.03117","paper_version":2,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":3.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The proposed entanglement distance E is equivalent to half the sum of single-qubit linear entropies, a known entanglement measure called the Meyer-Wallach measure.","lead":"The authors define an entanglement measure for pure multi-qubit states as the shortest distance between a state and its locally rotated neighbors, using the Fubini-Study metric. The measure works on examples but turns out to be a known quantity, the sum of each qubit's lost purity.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Advertised 'entanglement distance' lower bound contradicts own GHZ example: actual Fubini-Study line element is zero along null directions while E>0.","rationale":"The reader's verdict is CONDITIONAL because the formula E is correct but known. I agree the formal quantity is correct: diagonal terms of Eq. (5) depend only on the single-qubit Bloch vectors, so E = 1/4 Σ_j (1-||⟨σ_j⟩||²) = 1/2 Σ_j (1-Tr ρ_j²), a known pure-state entanglement monotone; and the infimum is attained by continuity on a compact sphere product. However, the paper's distinctive claim is the distance interpretation. That claim is internally inconsistent with its own GHZLS results: g̃ has M−1 null directions for every entangled GHZ-like state, so the infinitesimal Fubini-Study distance can be zero despite E>0. Since the title, abstract, introduction, and conclusions present this distance picture as the main contribution, and since the eigenvalue/robustness claims rest on the same invalid step, the correct disposition is rejection of the central contribution as stated, even though the underlying scalar E could be salvaged in a revision. Thus I disagree with the reader's choice of weakest assumption.","tokens_in":6712,"tokens_out":19199,"duration_ms":224057,"concrete_test":"Take |GHZ,π/8⟩_3 with optimizing axes v_j=e_z and tangent dξ=(1,-1,0)/√2, so dr^2=1. From Eq. (25), g̃ = (1/8)J_3, hence the actual Fubini-Study line element (1) is dξ^T g̃ dξ=0. Eq. (26) gives E=3/8. If Eq. (31) were correct, this tangent vector would have to satisfy ds^2 ≥ E dr^2, i.e. 0 ≥ 3/8, a contradiction. This analytic check settles the concern quantitatively.","verdict_should_be":"REJECT","load_bearing_attack":"The load-bearing flaw is the central interpretive claim around Eq. (31): entanglement is an 'obstacle to the minimum distance between infinitesimally close states'. The paper defines ds^2 = tr(g(v)) dr^2 with dr^2 = Σ dξ^2, but the actual Fubini-Study line element obtained from Eq. (1) for a tangent vector dξ is dξ^T g(v) dξ, not tr(g) dr^2. These agree only when g is proportional to the identity. In the paper's own GHZLS example, Eq. (25) gives g̃ = (sin^2 2θ /4) J_M, so for any tangent direction orthogonal to (1,...,1), the Fubini-Study distance is zero while E(|GHZ,θ⟩_M) = (M/4) sin^2 2θ > 0. Therefore the minimum distance to infinitesimally close states is zero for an entangled state, contradicting the claimed property ii) and the inequality following Eq. (31). This also undermines the eigenvalue-based robustness and super-Heisenberg sensitivity statements. The reader's infimum concern is not the load-bearing issue: for a fixed state, tr(g) is continuous on the compact product of unit spheres, so the infimum is attained and no 'in measure' qualification is needed.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a pure-state entanglement quantifier for M qubits. For a state |s>, the authors consider the Fubini-Study metric g pulled back to the manifold of local unitary rotations of |s>, and define E(|s>) = inf_{v_ν} tr(g) in Eq. (7), where the infimum is over orientations of local rotation axes. They call E an entanglement distance, claim it is invariant under local unitary transformations, vanishes on fully separable states, and reaches M/4 on maximally entangled states. Explicit formulas are derived for the Briegel-Raussendorf states, the GHZ-like states, and a two-parameter three-qubit family, and the eigenvalues of the minimizing metric g̃ are used to discuss robustness and super-Heisenberg sensitivity.","tokens_in":6962,"tokens_out":13568,"duration_ms":136868,"significance":"If the central distance interpretation were correct, the paper would supply a computable and intuitive entanglement measure for arbitrary pure states. The explicit formulas in Eqs. (14)-(30) appear internally consistent and correctly reproduce the expected zero values for separable states and the maximal value for the GHZ-like states. However, the claimed Fubini-Study distance interpretation is contradicted by the paper's own GHZ-like example, and the quantity E is not a new entanglement measure but an affine function of the Meyer-Wallach measure. The main conceptual contribution therefore does not survive; what remains is a set of correct but elementary calculations concerning single-qubit reduced density matrices.","major_comments":[{"comment":"Eq. (31) identifies the distance to an infinitesimally close state with ds^2 = tr(g(v)) dr^2, but this is not the Fubini-Study line element defined by Eq. (5). The line element is the quadratic form dξ^T g(v) dξ. For the GHZ-like states at the minimizing orientations, Eq. (25) gives g̃ = (sin^2 2θ/4) J_M. For the tangent vector dξ = (1,-1,0,...,0), one has dξ^T g̃ dξ = 0, so the actual Fubini-Study distance vanishes, while Eq. (26) gives E = M/4 sin^2 2θ > 0 for θ not equal to 0 or π/2. Thus the inequality in Eq. (31) is a trivial consequence of E = inf tr(g) and does not bound the true minimum distance; property ii in the Introduction is false as stated.","section":"Results, Eq. (31)"},{"comment":"The paper does not prove that E is an entanglement monotone; local-unitary invariance and the worked examples are insufficient for the claim that Eq. (7) is an entanglement measure. Moreover, because the trace in Eq. (7) involves only the diagonal of g, the minimization factorizes and E(|s>) = (1/4) Σ_j (1 - |r_j|^2) = Σ_j det ρ_j, where ρ_j is the single-qubit reduced density matrix. Up to a factor M/4 this is the Meyer-Wallach measure Q_MW, so the proposal carries no information beyond single-qubit purities and is not a distance-based measure of multipartite correlations. In particular, the four-qubit cluster state and the four-qubit GHZ state both have E = 1 even though they are not locally equivalent.","section":"Eq. (7)"},{"comment":"The robustness and super-Heisenberg sensitivity statements in the Eigenvalues analysis are not supported by the definition of E. The eigenvalues of g̃ describe the quadratic form dξ^T g̃ dξ if g̃ is treated as a metric, but the entanglement measure E is the trace, not the minimum eigenvalue or a directional distance. Therefore the observation that the GHZLS have M-1 zero eigenvalues in Fig. 5 indicates that the actual Fubini-Study metric has null directions, which contradicts the advertised interpretation of E as an obstacle to infinitesimal distances; the eigenvalue discussion does not repair the central flaw.","section":"Eigenvalues analysis"}],"minor_comments":[{"comment":"The phrase \"in measure\" after Eq. (7) is undefined: for a fixed state |s>, tr(g) is a continuous function on a compact product of unit spheres, so the infimum is attained and no exclusion of pathological cases is needed.","section":"Eq. (7)"},{"comment":"The notation in Eq. (5) uses the index ν both as a free index and as a label in v_ν, which is confusing; please distinguish the metric components g_{μν} from the unit vectors v_ν.","section":"Eq. (5)"},{"comment":"The term \"super-Heisenberg sensitivity\" is used without a definition, and the precise connection between the eigenvalues of g̃ and metrological sensitivity is not stated.","section":"Eigenvalues analysis"}],"recommendation":"reject","confidential_remarks":"The paper is short and does not engage with the existing literature on pure-state entanglement measures. The central distance interpretation is contradicted by the paper's own GHZLS example, and the quantity E is essentially the Meyer-Wallach measure times M/4. I do not see a local fix that preserves the claimed contribution; a revised paper would need to abandon the distance framing and prove monotonicity, which would be a substantially different work."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The core thing to know: the proposed measure E is correct but not new. By their own Eq. (5), minimizing tr(g) over local rotations gives E = 1/2 Σ_ν (1 − Tr(ρ_ν^2)), which is proportional to the Meyer–Wallach global entanglement measure. They don't cite Meyer–Wallach, and the abstract promises a new measure. That is a significant framing problem, but the mathematics itself is sound: the trace formula and the example calculations for the BRS, GHZLS, and three-qubit families all check out, and the derivation is self-contained.\n\nWhat is genuinely useful here is the metric tensor g(v) and its eigenvalue analysis. Writing the Fubini–Study metric pulled back to local unitary rotations and then studying its spectrum as a function of the state is a nice geometric presentation, and the eigenvalue plots do reveal structural differences between families (e.g., GHZLS have one large eigenvalue and M−1 zeros, BRS have M nonzero eigenvalues). That part could be a real contribution if developed carefully.\n\nThe soft spots are not minor. The biggest one, which the stress-test note gets right, is the distance interpretation. The paper defines ds² = tr(g) dr² and then claims entanglement is an obstacle to the minimum distance between infinitesimally close states. But the actual Fubini–Study line element is dξ^T g dξ, not tr(g) dr²; they agree only when g is proportional to the identity. For their own GHZLS example, g̃ = (sin²2θ/4) J_M, so along any direction orthogonal to (1,...,1) the true line element is zero while E = (M/4) sin²2θ > 0. Property (ii) and the inequality following Eq. (31) are therefore false under the standard metric. The eigenvalue-based robustness and super-Heisenberg claims rest on this same confusion and are asserted without proof.\n\nThe reader's infimum worry, by contrast, is not load-bearing: for a fixed state, tr(g) is continuous on a compact product of spheres, so the infimum is attained. The \"in measure\" phrasing is unnecessary and vague, but harmless.\n\nBottom line: this is a paper with a correct but non-novel central formula, a nice geometric packaging, and an overinterpreted distance narrative. A serious referee could turn it into something publishable by reframing it as a geometric derivation of Meyer–Wallach, citing prior work, and either proving or retracting the eigenvalue claims. As written, I would send it to peer review only with a clear request for major revision, not because the measure is wrong, but because the advertised contribution is partly redundant and partly misleading.","headline":"The scalar measure is Meyer-Wallach in disguise, and the advertised distance interpretation uses the wrong line element; the metric construction is nice but the paper overclaims.","tokens_in":7653,"tokens_out":2998,"would_cite":false,"duration_ms":34256,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81P40","81P68"],"pacs":["03.65.Ud"],"model":"deepseek-v4-flash","headline":"A single distance formula gives an entanglement measure for any pure M-qubit state.","keywords":["entanglement measure","Fubini-Study metric","M-qubit pure states","local unitary invariance","entanglement metric","quantum Fisher information","quantum metrology"],"falsifier":"Minimize $\\operatorname{tr}(g)$ numerically over the $3M$ angles defining the orientations $v_\\nu$ for a state such as $|r,\\pi/2\\rangle_7$ from Eq. (13): if any orientation yields a trace below the paper's closed-form value (22), or if the search approaches an infimum that is never attained, then Eq. (7) does not define a well-defined entanglement measure on all pure states.","tokens_in":6497,"feed_emoji":"⚛️","tokens_out":11327,"duration_ms":118689,"temperature":0.7,"pith_summary":"This paper proposes a single formula that assigns a number to the entanglement of any pure state of $M$ qubits. The number is the minimum trace of the Fubini-Study metric when the state is infinitesimally varied by arbitrary local unitary rotations, $E(|s\\rangle)=\\inf_{\\{v_\\nu\\}}\\operatorname{tr}(g)$. The measure is invariant under local unitary transformations, returns zero for fully separable states, and reaches $M/4$ for maximally entangled states. The minimized metric $\\tilde{g}$ also carries eigenvalue information, so the same construction says not only how much entanglement a state has but how robust that entanglement is.","feed_headline":"The shortest local distance measures M-qubit entanglement","feed_subtitle":"It is local-rotation invariant, zero on separable states, and M/4 for maximally entangled states.","key_machinery":"The central object is the entanglement metric $\\tilde{g}=g(\\tilde{v}_\\nu)$, defined as the Fubini-Study metric---the natural infinitesimal distance on the space of pure quantum states---restricted to infinitesimal rotations of each qubit and evaluated at the orientation $\\{\\tilde{v}_\\nu\\}$ that minimizes $\\operatorname{tr}(g)$. The measure is the minimized trace itself. This object carries the argument because it turns entanglement, a property that must be unchanged under local operations, into a geometric distance along the directions swept out by local rotations; the infimum removes the dependence on the particular local unitaries, and the eigenvalues of $\\tilde{g}$ encode how the distance grows in different directions.","core_discovery":"The paper's central claim is that $E(|s\\rangle)=\\inf_{\\{v_\\nu\\}}\\operatorname{tr}(g)$, the Fubini-Study metric pulled back to infinitesimal local $SU(2)$ rotations and minimized over all local orientations, is an entanglement measure valid for every pure state of $M$ qubits. It has the three properties demanded of such a measure here: invariance under local unitary transformations, value zero on fully separable states, and maximum value $M/4$ on maximally entangled states. On the one-parameter families and the two-parameter three-qubit family studied, the formula gives zero at separable parameter values, $1/4$ per qubit at maximally entangled values, and intermediate values elsewhere; it also reproduces the known fact that the maximally entangled states of the two one-parameter families are equivalent for $M\\le 3$ but inequivalent for $M\\ge 4$.","pith_inferences":["Not explored in the paper: $E$ could be computed for arbitrary random $M$-qubit states by numerical minimization over the $3M$ local angles, providing values for states outside the special families and stress-testing the closed-form minimizers.","Because the Fubini-Study trace corresponds to the quantum Fisher information, one reading of the construction is that $E$ is the worst-case quantum Fisher information over local orientations; that link would make $E$ a potential metrological quantifier, though the paper does not develop this.","A natural extension would be to define entanglement of mixed states by minimizing $E$ over pure-state decompositions, but nothing in the paper addresses mixed states.","The eigenvalue count could be turned into a scalar robustness index that orders states by how many local directions preserve a large distance, extending the paper's one-versus-$M$ eigenvalue comparison."],"forward_implications":["For any pure $M$-qubit state, the formula gives a numerical entanglement value that cannot depend on which local unitaries were used to prepare it, because the infimum removes exactly that freedom.","Fully separable states get $E=0$ and maximally entangled states get $E=M/4$, so the measure produces the expected endpoints for the classes on which it is tested.","The inequality $ds^2 \\ge E(|s\\rangle)\\,dr^2$ gives the measure a direct geometric reading: entanglement is the minimum density of distance between a state and its infinitesimally locally rotated neighbours.","The eigenvalue spectrum of $\\tilde{g}$ distinguishes robust from fragile entanglement: the GHZ-like family has one nonzero eigenvalue and $M-1$ zero directions, while the first family has $M$ nonzero eigenvalues, and the paper suggests this kind of analysis can flag states with super-Heisenberg metrological sensitivity."],"supporting_citations":[{"why":"Supplies the Fubini-Study metric in Eq. (1), the starting point from which the entanglement metric and measure are derived.","marker":"[4]"},{"why":"Defines the first one-parameter family of states used as a test case and the known equivalence properties of its maximally entangled members.","marker":"[5]"},{"why":"Defines the second one-parameter family of states used as the other test case for the measure.","marker":"[6]"}],"fun_headline_variants":["Entanglement distance for any M-qubit pure state","Geometric entanglement measure from Fubini-Study metric","M-qubit entanglement via minimal trace of metric","Pure-state M-qubit entanglement as a local distance"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The definition of $E$ requires the infimum over local orientations to be attained for every pure state, and the paper excludes pathological cases only 'in measure' without giving a topology or regularity condition that guarantees the minimum exists; if some state lacks a minimizing orientation, $E(|s\\rangle)$ is undefined and the example calculations do not apply to that state.","fun_headline_variants_meta":{"raw":{"variants":["Entanglement distance for any M-qubit pure state","Geometric entanglement measure from Fubini-Study metric","M-qubit entanglement via minimal trace of metric","Pure-state M-qubit entanglement as a local distance"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000224,"raw_usage":{"total_tokens":1386,"prompt_tokens":795,"completion_tokens":591,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":411,"completion_tokens_details":{"reasoning_tokens":540}},"tokens_in":411,"tokens_out":591,"duration_ms":6918,"temperature":1.0,"reasoning_tokens":540,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:24:21.253201+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Minimize $\\operatorname{tr}(g)$ numerically over the $3M$ angles defining the orientations $v_\\nu$ for a state such as $|r,\\pi/2\\rangle_7$ from Eq. (13): if any orientation yields a trace below the paper's closed-form value (22), or if the search approaches an infimum that is never attained, then Eq. (7) does not define a well-defined entanglement measure on all pure states.","supporting_citations":[{"cited_title":"Giovannetti, S","cited_arxiv_id":null,"evidence_quote":"Supplies the Fubini-Study metric in Eq. (1), the starting point from which the entanglement metric and measure are derived."},{"cited_title":"Gibbons, Journal of Geometry and Physics 8, 147 (1992)","cited_arxiv_id":null,"evidence_quote":"Defines the first one-parameter family of states used as a test case and the known equivalence properties of its maximally entangled members."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the second one-parameter family of states used as the other test case for the measure."}],"review_version":1}