{"id":"3b4f2eb8-104f-44ac-99be-6294fa3f640d","arxiv_id":"1908.05781","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"A tripartite realism-based nonlocality quantifier is defined, shown to equal genuine tripartite entanglement for a class of pure states, to be positive for classically correlated states, and to be monogamous only for part of the noisy-state parameter space.","lead":"This paper defines a new way to quantify nonlocality in systems of three quantum particles, based on how measurements on some particles change what counts as real for another particle. It is worth reading because the new measure survives far more noise than standard entanglement and behaves in a subtle way under monogamy.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Eq. (12) is unproven: the proof conflates saturating a context-dependent bound with global optimality, and the needed global bound N_{A|BC} ≤ S(rho_A) is missing.","rationale":"The reader's weakest assumption identifies exactly the same logical gap, so my read agrees. The paper defines a coherent tripartite extension, and the small numerical study (Fig. 1) supports N3 = E3 for GHZ and W states, but the proof of Eq. (12) has a genuine logical hole. Inequality (11) is not a global bound: its right-hand side depends on the observables {A,B,C}, so showing that (alpha, beta, gamma) saturates it only establishes that eta_{alpha|beta,gamma} = H({xi_i}); it does not rule out contexts for which the upper bound is larger and eta exceeds H. The subsequent sentence 'Given the symmetry of |phi>, one does not expect different results for the other bipartitions' covers the min over cuts but not the max over contexts. The missing lemma N_{A|BC} <= S(rho_A) for pure states is nontrivial: even though N2 = E for bipartite pure states, the present tripartite cut quantity involves two remote measurements, and I_A itself can exceed the entanglement entropy. The concrete test proposed, an exact numerical optimization for a three-qubit Schmidt state with p = 0.8, q = 0.2, directly probes whether the equality holds; if it fails, the central claim is false, and if it passes, the paper still needs to supply a proof of the missing global bound. Because the issue is fixable and the numerical evidence is suggestive, the reader's CONDITIONAL verdict is appropriate.","tokens_in":9446,"tokens_out":11993,"duration_ms":115049,"concrete_test":"Perform an independent high-precision numerical maximization of eta_{A|B,C}(|phi><phi|) over all local spin-1/2 observables for the Schmidt state |phi> = sqrt(0.8)|000> + sqrt(0.2)|111> (or a three-qutrit analogue with unequal Schmidt coefficients), using a global optimizer (e.g., differential evolution or a fine quasi-Monte Carlo grid plus local refinement) rather than the paper's pi/8 grid. If max eta exceeds H({0.8,0.2}) = 0.5004 (or the Shannon entropy of the Schmidt coefficients) by more than numerical tolerance (say 10^-5), Eq. (12) is false for the Schmidt class. If the maximum saturates H, the equality passes this test but the proof still requires a context-independent bound.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim Eq. (12) rests on the assertion that for Schmidt-decomposable pure states |phi> = sum_i sqrt(xi_i) |alpha_i beta_i gamma_i>, the global maximum in Eq. (6) is attained at (alpha, beta, gamma). The argument uses inequality (11), eta_{A|B,C} <= 1/2[S(Phi_A(rho)) + S(Phi_{B,C}(rho))], and notes saturation for that context. But the right-hand side of (11) is context-dependent: a different context can make it much larger. For |psi> = sqrt(p)|000> + sqrt(q)|111> with A=B=C=sigma_x, the RHS equals 1/2(ln2 + H({p,q}) + 2ln2) > H({p,q}) while the actual eta equals H({p,q}); so saturation at (alpha, beta, gamma) does not exclude larger eta elsewhere. What is missing is a context-independent upper bound N_{A|BC} <= S(rho_A), equivalently <= H({xi_i}) for the Schmidt class. This cannot be inferred from I_A(rho) <= ... because I_A(|psi><psi|) = S(Phi_A(rho)) can exceed S(rho_A): measuring A in a basis incompatible with the Schmidt basis on a bipartite pure state with coefficients (0.9,0.1) gives I_A = ln2 > S(rho_A) = 0.325. The numerical GHZ/W results are consistent with the claimed equality but do not fill the gap, since those states have S(rho_A) = ln2 and S(rho_A) = 0.6365 respectively, and the grid search with pi/8 increments is not a proof of global optimality. Thus Eq. (12) is currently unproven.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript introduces a tripartite version of 'realism-based nonlocality' built from the Bilobran-Angelo irreality measure. It defines the contextual quantity eta_{A|B,C}(rho)=I_A(rho)-I_A(Phi_{B,C}(rho)), the cut-wise maximum N_{A|BC}=max_{A,B,C} eta_{A|B,C}, and a genuine tripartite measure N3=min{N_{A|BC},N_{B|AC},N_{C|AB}}. The central claim is Eq. (12): for pure tripartite states admitting a Schmidt decomposition |phi>=sum_i sqrt(xi_i)|alpha_i>|beta_i>|gamma_i>, N3 equals the genuine tripartite entanglement E3 defined in Eq. (7). The paper also shows that classical-classical-classical states can have positive N3 even with no quantum correlations, reports numerical results for noisy GHZ and W states indicating strong noise resilience, and studies monogamy through an auxiliary exponent alpha.","tokens_in":9801,"tokens_out":32312,"duration_ms":311045,"significance":"If Eq. (12) can be established, the paper is a useful contribution: it provides an operational, measurement-based tripartite nonlocality measure that coincides with genuine tripartite entanglement on a nontrivial pure-state class while remaining positive on states with no quantum correlations. The construction is self-contained, no constants are fitted, and the numerical study is transparent, including random sampling as a sanity check. The main caveat is that the proof of the central equality has a gap, so the significance of the result is conditional on closing that gap.","major_comments":[{"comment":"The derivation of N3=E3 for Schmidt-decomposable pure states is incomplete. Inequality (11) bounds eta_{A|B,C} by 1/2[S(Phi_A(rho))+S(Phi_{B,C}(rho))], but the right-hand side depends on the context {A,B,C} itself. Saturating this bound at the aligned context (alpha,beta,gamma) proves only the lower bound N_{A|BC}>=H({xi_i}); it does not prove that this context maximizes Eq. (6), because another context could have a larger right-hand side and a larger eta. The sentence 'the maximization of eta_{A|B,C} will come by the saturation of this inequality' is therefore not a valid argument. What is missing is a context-independent upper bound, for example N_{A|BC}(|phi><phi|)<=S(rho_A), which in the Schmidt class would be H({xi_i}). The numerical GHZ and W results in Sec. IV are consistent with Eq. (12) but use a finite angle grid and cannot fill this gap. Since Eq. (12) is the central claim, this must be fixed.","section":"III, Eq. (12)"}],"minor_comments":[{"comment":"The sentence 'Given the symmetry of |phi>, one does not expect different results for the other bipartitions' should be replaced by an explicit argument: for a Schmidt decomposition, each one-party reduced density matrix has spectrum {xi_i}, so S(rho_A)=S(rho_B)=S(rho_C)=H({xi_i}).","section":"III, proof of Eq. (12)"},{"comment":"The text should state clearly that the grid search gives lower bounds on the true maxima in Eq. (6). In particular, the statement that N3 'strictly vanishing only in the scenario of no purity whatsoever' is a numerical inference, not a proven property, because the optimization over continuous angles is not exhaustive.","section":"IV, Fig. 1"},{"comment":"The monogamy exponent alpha is introduced as a free parameter, and the thresholds such as alpha approximately 2.1641 for the pure W state describe the auxiliary family N3^alpha rather than the original measure N3. Please clarify the status of these results as properties of the deformed measure.","section":"V, Eq. (15)"},{"comment":"There are several typos and minor stylistic issues, including 'reaslim' in the first paragraph of Sec. III, 'hypotesis' in the Introduction, and missing spaces such as 'Maet al.' in Sec. III. These do not affect the technical content.","section":"Various"}],"recommendation":"major_revision","confidential_remarks":"The proof gap in Eq. (12) is the main obstacle to publication. I would not accept the paper until the authors either prove the missing global bound N_{A|BC}<=S(rho_A) for the Schmidt class or otherwise rigorously justify the maximum in Eq. (6). If the bound is false, Eq. (12) may need to be restricted or withdrawn. The numerical and monogamy sections are clearly presented but should be framed as computational evidence where they rely on finite searches."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this is a straight but worthwhile extension of Gomes–Angelo to tripartite states. The definitions are coherent; the classical-classical-classical result is real; the noise-resilience curves are striking. But the central theorem, Eq. (12), is not proved as written. The bound η_{A|B,C} ≤ 1/2[S(Φ_A)+S(Φ_{B,C})] is context-dependent, so saturating it at (α,β,γ) does not show that this context maximizes over all trios. You would need a context-independent upper bound N_{A|BC} ≤ S(ρ_A), or ≤ H({ξ_i}) in the Schmidt class. The GHZ-style example confirms the gap: at σ_x contexts the bound is 1/2(ln2+H({p,q})+2ln2) > H({p,q}) while the actual eta equals H({p,q}), so saturation there does not exclude a larger eta elsewhere. The numerical grid for GHZ/W is consistent with the equality, but it is a grid with π/8 steps and no code or error bars, so it cannot fill the gap. That said, the gap is likely fixable: for Schmidt-decomposable pure states the entropic argument smells right, and a sharper bound may do the job. The monogamy section is honest: it openly reports that the pure GHZ state violates monogamy for every α, and the δ curves are a reasonable numerical exploration. The α exponent is a tuning knob, but the paper presents it as such. The ccc positivity is a nice feature and matches the bipartite behavior. No code or data are shipped; a reviewer should ask for them. Self-citation is not the problem here: the measure is genuinely built on the authors' earlier irreality and N2 definitions, and the key comparison is against E3. Who is this for? People working on discord-like and realism-based correlation measures. It gives them a multipartite quantity and a concrete open problem: prove the missing global bound. It is not a Bell-nonlocality paper and should not be read as one. I would send it to a serious referee; the claim is important enough and the flaw is identifiable and repairable, not a dead end. My own verdict would be major revision: Eq. (12) is not established in this version.","headline":"A useful tripartite extension of realism-based nonlocality with promising numerics, but the key pure-state equality N3=E3 rests on an unproven global optimality step.","tokens_in":10330,"tokens_out":2088,"would_cite":false,"duration_ms":20915,"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 extends realism-based nonlocality to three parties, defining a genuine tripartite measure $N_3$ and proving $N_3=E_3$ for pure states admitting a Schmidt decomposition, while showing the measure survives noise and can appear in…","keywords":["realism-based nonlocality","genuine tripartite nonlocality","tripartite entanglement","physical reality","irreality","GHZ states","W states","monogamy of nonlocality"],"falsifier":"Evaluate $\\eta_{A|B,C}$ analytically or by exhaustive search over local spin measurements for a Schmidt-class pure state with unequal coefficients, e.g. $|\\phi\\rangle=\\sqrt{\\xi}|000\\rangle+\\sqrt{1-\\xi}|111\\rangle$ with $\\xi\\neq1/2$, and compare the maximum with $H({\\xi,1-\\xi})$. Finding any trio with $\\eta_{A|B,C}>H({\\xi,1-\\xi})$ would refute $N_3=E_3$ for that class.","tokens_in":9229,"feed_emoji":"⚛️","tokens_out":7372,"duration_ms":61208,"temperature":0.7,"pith_summary":"This paper takes a recently defined measure of realism-based nonlocality and extends it from two parties to three. The central claim is that, for pure tripartite states admitting a tripartite Schmidt decomposition, the genuine tripartite nonlocality $N_3$ exactly equals the genuine tripartite entanglement $E_3$: $N_3(\\varsigma)=E_3(\\varsigma)$. It also shows that $N_3$ can be positive for separable states carrying only classical correlations, and that for noisy GHZ and W states it decreases monotonically with noise and vanishes only at the maximally mixed state. A sympathetic reader would care because this gives a tripartite version of a nonlocality notion that behaves differently from Bell nonlocality and may offer a more noise-tolerant witness of genuinely multipartite correlations.","feed_headline":"For a class of 3-party pure states, nonlocality equals entanglement","feed_subtitle":"For Schmidt-decomposable tripartite states the new nonlocality measure matches genuine entanglement, and resists noise.","key_machinery":"The central object is the irreality measure $I_A(\\rho)=S(\\Phi_A(\\rho))-S(\\rho)$, where $\\Phi_A$ is an unrevealed measurement of observable $A$; the contextual nonlocality $\\eta_{A|B,C}=I_A(\\rho)-I_A(\\Phi_{B,C}(\\rho))$ records how much remote unrevealed measurements change the reality of $A$. The genuine tripartite measure is the minimum over bipartitions of the maximized contextual nonlocality. The proof for Schmidt-class pure states rides on the identity $\\Phi_\\alpha(\\varsigma)=\\Phi_{\\beta,\\gamma}(\\varsigma)=\\Phi_{\\alpha,\\beta,\\gamma}(\\varsigma)=\\sum_i\\xi_i|\\alpha_i\\rangle\\langle\\alpha_i|\\otimes|\\beta_i\\rangle\\langle\\beta_i|\\otimes|\\gamma_i\\rangle\\langle\\gamma_i|$, which makes the upper bound (11) tight and gives $N_3=H({\\xi_i})=E_3$.","core_discovery":"The paper defines, for a tripartite state $\\rho$, the contextual nonlocality $\\eta_{A|B,C}(\\rho)=I_A(\\rho)-I_A(\\Phi_{B,C}(\\rho))$, then the per-bipartition quantity $N_{A|BC}(\\rho)=\\max_{\\{A,B,C\\}}\\eta_{A|B,C}(\\rho)$, and finally the genuine tripartite realism-based nonlocality $N_3(\\rho)=\\min\\{N_{A|BC},N_{B|AC},N_{C|AB}\\}$. For the Schmidt class $|\\phi\\rangle=\\sum_i\\sqrt{\\xi_i}|\\alpha_i\\rangle|\\beta_i\\rangle|\\gamma_i\\rangle$ it argues that the maximum is achieved by the Schmidt observables, yielding $N_{A|BC}=H({\\xi_i})$ and, by symmetry, $N_3(\\varsigma)=H({\\xi_i})=E_3(\\varsigma)$. It further shows that a classical-classical-classical state $\\rho_{ccc}=\\sum_i p_i|i\\rangle\\langle i|^{\\otimes 3}$ has $N_3>0$ despite being separable and classically correlated. Numerical optimization for noisy GHZ and W states shows $N_3$ strictly decreases only to zero at full noise, with the pure GHZ state violating monogamy for every exponent and the pure W state satisfying monogamy for $\\alpha\\gtrsim2.1641$.","pith_inferences":["If the saturation assumption in the proof is closed, the equality $N_3=E_3$ likely extends to all pure tripartite states whose reduced single-party entropies match, and possibly to arbitrary pure states by a limiting argument.","The positivity of $N_3$ on classical-classical-classical states suggests interpreting $N_3$ as a measure of basis incompatibility; one could test whether it aligns with known discord-like measures when restricted to classically correlated states.","A concrete extension would compute $N_3$ for Schmidt-class states with non-uniform $\\xi_i$ and compare with $E_3$; if the gap in the proof matters, deviations should first appear there.","The monogamy analysis suggests a resource-theoretic reading: for states like pure GHZ, tripartite nonlocality can be shared between the two reduced bipartitions, so $N_3$ may be better understood as a global, non-shareable resource only after applying a nonlinear exponent."],"forward_implications":["For every pure state of the Schmidt class, $N_3$ is a faithful quantifier: it equals $E_3$, so a nonzero $N_3$ certifies genuine tripartite entanglement, and the measure is not anomalous for these states.","Because $\\rho_{ccc}$ has $N_3>0$, tripartite realism-based nonlocality exists in separable, classically correlated states; it diagnoses incompatibility between the state's correlation basis and measurement contexts rather than entanglement.","For noisy GHZ and W states, $N_3$ decreases monotonically with noise and vanishes only in the maximally mixed state, so it remains nonzero well beyond thresholds where entanglement, Bell nonlocality, and steering have already disappeared.","The measure is consistent under decoupling: $N_3(\\rho_{AB}\\otimes\\rho_C)=N_2(\\rho_{AB})$, so adding an uncorrelated third party leaves bipartite nonlocality unchanged.","Tripartite realism-based nonlocality is not monogamous in general: pure GHZ states violate monogamy for every exponent $\\alpha>0$, while for pure W states monogamy holds once $\\alpha\\gtrsim2.1641$."],"supporting_citations":[{"why":"Defines the irreality measure $I_A$ and the criterion of physical reality used to build the new nonlocality.","marker":"[27]"},{"why":"Introduces the bipartite realism-based nonlocality $N_2$ and its nonanomalous property that the tripartite construction extends.","marker":"[28]"},{"why":"Provides the classical-classical state example showing $N_2>0$ without quantum correlations, the template for the $\\rho_{ccc}$ result.","marker":"[29]"},{"why":"Supplies the criterion that genuine multipartite correlations mean nonproduct in every bipartite cut, used to define $N_3$ as a minimum.","marker":"[39]"},{"why":"Defines the genuine tripartite entanglement measure $E_3$ that $N_3$ is claimed to equal for Schmidt-class pure states.","marker":"[40]"},{"why":"Establishes existence of tripartite Schmidt decompositions, defining the state class on which the equality is proved.","marker":"[41]"},{"why":"Gives the GHZ measurement settings that conflict with local realism, used as examples of saturating contexts in the numerics.","marker":"[42]"},{"why":"Provides the Bell-nonlocality noise thresholds for GHZ and W states used to demonstrate $N_3$'s stronger noise resilience.","marker":"[45]"},{"why":"Provides the steering thresholds used in the same noise-resilience comparison.","marker":"[46]"},{"why":"Supplies the exponent method for testing monogamy relations, used in the $\\delta N^\\alpha_3$ analysis.","marker":"[47]"}],"fun_headline_variants":["Tripartite realism nonlocality equals entanglement in Schmidt class","New tripartite nonlocality measure detects classical correlations","Monogamy of tripartite realism-based nonlocality explored","Nonlocality meets entanglement: tripartite measure","Tripartite nonlocality: equals entanglement, defies noise"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof's central step assumes that the measurement trio saturating bound (11) is the global maximizer of $\\eta_{A|B,C}$; the paper does not prove that no other trio gives a larger value, and if one did the equality $N_3=E_3$ could fail.","fun_headline_variants_meta":{"raw":{"variants":["Tripartite realism nonlocality equals entanglement in Schmidt class","New tripartite nonlocality measure detects classical correlations","Monogamy of tripartite realism-based nonlocality explored","Nonlocality meets entanglement: tripartite measure","Tripartite nonlocality: equals entanglement, defies noise"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000199,"raw_usage":{"total_tokens":1370,"prompt_tokens":941,"completion_tokens":429,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":557,"completion_tokens_details":{"reasoning_tokens":344}},"tokens_in":557,"tokens_out":429,"duration_ms":4947,"temperature":1.0,"reasoning_tokens":344,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:06:52.535062+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evaluate $\\eta_{A|B,C}$ analytically or by exhaustive search over local spin measurements for a Schmidt-class pure state with unequal coefficients, e.g. $|\\phi\\rangle=\\sqrt{\\xi}|000\\rangle+\\sqrt{1-\\xi}|111\\rangle$ with $\\xi\\neq1/2$, and compare the maximum with $H({\\xi,1-\\xi})$. Finding any trio with $\\eta_{A|B,C}>H({\\xi,1-\\xi})$ would refute $N_3=E_3$ for that class.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the irreality measure $I_A$ and the criterion of physical reality used to build the new nonlocality."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the bipartite realism-based nonlocality $N_2$ and its nonanomalous property that the tripartite construction extends."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the classical-classical state example showing $N_2>0$ without quantum correlations, the template for the $\\rho_{ccc}$ result."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the criterion that genuine multipartite correlations mean nonproduct in every bipartite cut, used to define $N_3$ as a minimum."},{"cited_title":"Pati, Existence of the Schmidt decomposition for tri- partite systems, Phys","cited_arxiv_id":null,"evidence_quote":"Establishes existence of tripartite Schmidt decompositions, defining the state class on which the equality is proved."},{"cited_title":"Bouwmeester, A","cited_arxiv_id":null,"evidence_quote":"Gives the GHZ measurement settings that conflict with local realism, used as examples of saturating contexts in the numerics."},{"cited_title":"Gruca, W","cited_arxiv_id":null,"evidence_quote":"Provides the Bell-nonlocality noise thresholds for GHZ and W states used to demonstrate $N_3$'s stronger noise resilience."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the steering thresholds used in the same noise-resilience comparison."},{"cited_title":"Jin and S.-M","cited_arxiv_id":null,"evidence_quote":"Supplies the exponent method for testing monogamy relations, used in the $\\delta N^\\alpha_3$ analysis."}],"review_version":1}