{"id":"a93369ff-2e03-4e2a-9816-217d68bc6d11","arxiv_id":"2412.10619","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Measurement uncertainty is decomposed additively into a genuine quantum part, quantified by nonreality or nonclassicality of the Kirkwood-Dirac quasiprobability, and a classical remainder.","lead":"This paper proposes two ways to split the unpredictability of a quantum measurement into a part caused by the measurement itself and a part caused by ordinary ignorance. The split uses Kirkwood-Dirac quasiprobability, and the quantum part can be estimated with weak measurements.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 2 is false: near-trivial POVMs make total uncertainty arbitrarily small, so the infimum over all POVMs is 0, not the quantum impurity.","rationale":"The reader's weakest_assumption concerns the MUB-based proof of the equality half of Proposition 1 in Appendix B. That is a genuine proof gap, but it concerns a statement that can likely be repaired by a weaker construction: for any pair of pure states one can find a basis in which their outcome probabilities coincide, so the equality itself probably holds. The far more serious issue is Proposition 2, which is a central advertised claim of the paper (abstract, Section III, QCD6). The trivial POVM basis with effects proportional to identity makes the total uncertainty arbitrarily small for every state, so the infimum over all POVMs is 0, not the quantum impurity. This is a decisive counterexample under the paper's own definitions, not a mere gap in a proof. Because a central claim is false as stated, the manuscript should be rejected in its current form; a revision would need to restrict the class of POVMs (e.g., to rank-1 PVMs or a fixed number of outcomes with additional non-degeneracy constraints) and revisit Proposition 2 and property QCD6 accordingly.","tokens_in":24297,"tokens_out":20824,"duration_ms":178986,"concrete_test":"Evaluate the total uncertainty for the POVM basis M^1=(1−ε)I, M^2=εI on the maximally mixed state ρ=I/2. Direct computation gives S=2√(ε(1−ε)) and T=√(1−ε)+√ε−1, both tending to 0 as ε→0, while Proposition 2 (Eq. (21a)) predicts an infimum of √(2−1)=1. This explicit counterexample settles that the proposition is false.","verdict_should_be":"REJECT","load_bearing_attack":"Proposition 2 (Eqs. (21a)–(21b)) claims that the infimum of the total measurement uncertainty over all POVM bases equals the quantum impurity S(ρ) or T(ρ). This is contradicted by a simple valid POVM basis: for any state ρ and any ε∈(0,1), take M^1=(1−ε)I and M^2=εI. Both are nonnegative and sum to I, so this is a POVM basis under the paper's Definition 1. The outcome probabilities are 1−ε and ε. The total uncertainties defined in Eqs. (10a)–(10b) become S=2√(ε(1−ε)) and T=√(1−ε)+√ε−1, both of which tend to 0 as ε→0. Hence inf over all POVMs is 0 for every state, whereas the claimed bound is positive for any mixed state (e.g., √(d−1) for ρ=I/d). The flaw enters in the proof of Eq. (E2): the inequality (∑ λ_k q_k)^2 ≤ ∑ λ_k^2 q_k is used, but it fails when ∑ q_k = Tr{M^a} > 1. For M^a=(1−ε)I, the left side is (1−ε)^2 and the right side is (1−ε)∑ λ_k^2; for a mixed state ∑ λ_k^2<1, so the inequality is false for small ε. This invalidates Proposition 2 and the advertised result that the minimum total uncertainty over all POVM measurements is the quantum impurity.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes two additive decompositions of the total uncertainty of a POVM measurement on a quantum state into a genuine quantum part and a classical remainder. The quantum parts are defined as the maximized Kirkwood-Dirac (KD) nonreality and KD nonclassicality relative to the POVM and an optimized rank-1 PVM basis, Eqs. (4a)-(4b). The total uncertainties are identified with the S and T entropies of the outcome probabilities, Eqs. (10a)-(10b), and the classical parts are the differences, Eqs. (16a)-(16b). The paper claims these decompositions satisfy a list of plausible requirements QCD1-QCD5, and that the infimum of the total uncertainty over all POVMs equals the quantum impurity quantified by S(ρ) and T(ρ) (Proposition 2, QCD6). It further connects a nonvanishing quantum part to strange weak values and quantum contextuality (Theorem 1) and interprets the KD-nonreality quantum uncertainty for rank-1 PVMs as state disturbance (Proposition 3).","tokens_in":24665,"tokens_out":10630,"duration_ms":102901,"significance":"The conceptual goal is valuable: a decomposition of measurement uncertainty into operationally accessible quantum and classical parts is a natural and useful target, and the weak-value formulation in Eqs. (23a)-(23b) is a genuine strength, since it gives a direct experimental route to the proposed quantum parts. The inequality half of Proposition 1 is proven with standard trace-norm and Cauchy-Schwarz arguments, and Theorem 1 relies on established strange-weak-value contextuality results. If the full set of claims were correct, the paper would provide a clean operational link among KD quasiprobabilities, measurement uncertainty, impurity, and contextuality. However, the advertised infimum result is false as stated: near-trivial POVMs make the total uncertainty arbitrarily small for every state, so the claimed equality with the quantum impurity cannot hold. This is a central advertised result of the abstract and conclusion, and it also underlies the proposed QCD6 requirement.","major_comments":[{"comment":"The claimed infimum in Proposition 2 is false. For any state ρ and any ε∈(0,1), the operators M^1=(1−ε)I and M^2=εI form a POVM basis according to Definition 1. The outcome probabilities are Pr(1)=1−ε and Pr(2)=ε, so Eqs. (10a)-(10b) give total uncertainties S=2√(ε(1−ε)) and T=√(1−ε)+√ε−1, both of which tend to 0 as ε→0. Hence the infimum over all POVM bases is 0 for every state, whereas Eqs. (21a) and (21b) claim positive values for every mixed state (for example √(d−1) for ρ=I/d). The proof fails at the first inequality in Eq. (E2): it uses (∑_k λ_k q_k)^2 ≤ ∑_k λ_k^2 q_k, which requires ∑_k q_k ≤ 1, but here q_k=Tr{Π_{λ_k} M^a} sums to Tr{M^a}, which is not bounded by 1. For M^1=(1−ε)I, the left side is (1−ε)^2 while the right side is (1−ε)∑_k λ_k^2; for a mixed state ∑_k λ_k^2<1, so the inequality fails for small ε. This invalidates Proposition 2, the QCD6 requirement, and the abstract claim that the minimum of the total measurement uncertainty over all POVM measurements is the quantum impurity.","section":"Appendix B, Eqs. (B14)-(B15)"},{"comment":"The equality half of Proposition 1 for the KD-nonclassicality is not established. The proof assumes that for every pure state |ψ⟩, every PVM basis {|a⟩}, and every basis {|c⟩} containing |ψ⟩, there exists a rank-1 PVM basis {|b*⟩} that is mutually unbiased with both {|a⟩} and {|c⟩}. The text cites the existence of a triple of mutually unbiased bases, but that existence does not imply a common mutually unbiased basis for two arbitrary given bases. Without a proof of this stronger statement, Eq. (B15) does not follow, and the property QCD1 (vanishing classical uncertainty for a rank-1 PVM on any pure state) is unsupported for the KD-nonclassicality decomposition. A different argument, or a proof of the common-MUB claim, is needed for this load-bearing equality.","section":"Section IV, Theorem 1"}],"minor_comments":[{"comment":"There are numerous typographical errors in the abstract and introduction, including 'unpredict able', 'meausuure', and 'quantum' for 'quantum'; the manuscript needs a careful proofreading pass.","section":"Appendix B, Eq. (B14)"},{"comment":"In Eq. (E6), the final summation uses the index j but the summand is written with λ_a(ρ); the notation should be made consistent, for example by summing over the eigenprojector index a.","section":"Appendix A"},{"comment":"The proof of NComm1 contains a malformed expression in Eq. (A1), namely 'Tr {M b√ M a2 ̺)' with unmatched parentheses; please correct the mathematical display.","section":"Section III, notation"},{"comment":"The same symbol S is used both for the entropy functional S({Pr(a|ρ,M^a)}) in Eqs. (9a) and (10a) and for the quantum impurity S(ρ) in Eq. (21a); this can lead to confusion and should be disambiguated.","section":"Section III, Prop. 2"}],"recommendation":"reject","confidential_remarks":"The counterexample in the report is decisive against Proposition 2, which is advertised as a main result in the abstract, the conclusion, and the proposed QCD6 requirement. The paper is heavily self-referential and relies on the author's previous results for coherence quantifiers, but the technical flaw is independent of that. I would encourage the author to consider whether a corrected version, with the infimum claim either removed or restricted to a class of POVMs where it is true, could be submitted as a new manuscript."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The headline is the infimum result, and it is wrong. For any state ρ and any ε∈(0,1), the two-outcome POVM M¹=(1−ε)I, M²=εI is valid under the paper's own Definition 1. The total S-entropy is 2√(ε(1−ε)) and the T-entropy is √(1−ε)+√ε−1, both tending to 0 as ε→0. So the infimum over all POVMs is 0 for every state, contradicting Proposition 2 (Eqs. (21a)–(21b)). The error is in the proof of Eq. (E2): the inequality (Σλₖqₖ)² ≤ Σλₖ²qₖ requires Σqₖ ≤ 1, but qₖ = Tr{ΠₖMᵃ} sums to Tr Mᵃ, which is (1−ε) times the dimension and easily exceeds 1. This is not a technicality; it breaks the paper's advertised operational interpretation of quantum impurity as the minimum total measurement uncertainty.\n\nWhat is genuinely useful: the definitions of KD-nonreality and KD-nonclassicality for general POVMs, the upper bounds in Proposition 1, and the connection to weak-value contextuality via Theorem 1. The proofs of the inequalities are mostly sound, and the weak-value expressions in Eqs. (23a)–(23b) are a nice touch. The generalization from rank-1 PVMs to arbitrary POVMs is a real step beyond prior KLJR and Hall schemes.\n\nThe other soft spot is the equality half of Proposition 1 for KD-nonclassicality. It uses the claim that for any pure state |ψ> and any PVM basis {|a>}, there is a basis mutually unbiased to both. That is stronger than the cited existence of MUB triples and is unproven; if it fails in some dimension, QCD1 breaks. The paper also leans on several same-author prior results for coherence-quantifier status and lower bounds, which is acceptable but should be flagged.\n\nBottom line: this paper has a valuable decomposition idea but a false central theorem. It deserves a serious referee because the mistake is instructive and the framework may be salvageable with a corrected statement (e.g., infimum over rank-1 PVMs, or with a normalization constraint). As it stands, the manuscript should be rejected for publication in its current form. I would not cite the infimum result until it is fixed, but I would cite the POVM generalization of KD quantumness and Proposition 1.","headline":"Proposition 2 is false — the infimum over all POVMs is 0, not the quantum impurity — so the paper's central advertised result collapses, even though the KD-based decomposition framework has real merit.","tokens_in":763,"tokens_out":1022,"would_cite":false,"duration_ms":40230,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81P15"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper claims that the total uncertainty of any POVM measurement decomposes additively into a genuine quantum part and a classical remainder.","keywords":["measurement uncertainty","genuine quantum uncertainty","Kirkwood-Dirac quasiprobability","generalized entropy","quantum impurity","weak value measurement","quantum contextuality","measurement disturbance"],"falsifier":"Check, in a low-dimensional Hilbert space (e.g., d=3 or d=4), whether every pair consisting of a pure state basis and a projective measurement basis admits a rank-one projective basis with equal overlap with both; if any pair fails, compute the KD-nonclassicality quantum uncertainty for that pair and compare it with the T-entropy total uncertainty—a strict gap would falsify the equality half of Proposition 1 and hence property QCD1.","tokens_in":24084,"feed_emoji":"⚛️","tokens_out":11109,"duration_ms":89076,"temperature":0.7,"pith_summary":"The paper claims that the total uncertainty of a measurement described by any positive-operator-valued measure (POVM) can be split additively into a genuinely quantum part and a classical remainder. The quantum part is identified with the maximized Kirkwood-Dirac nonreality or nonclassicality of the state relative to the POVM, while the classical part is whatever uncertainty remains. Two generalized entropies of the measurement outcomes, $S(\\{p_a\\})=\\sum_a \\sqrt{p_a(1-p_a)}$ and $T(\\{p_a\\})=\\sum_a \\sqrt{p_a}-1$, serve as the total uncertainty, and the decomposition obeys natural requirements, including vanishing classical uncertainty for sharp projective measurements on pure states. If the decomposition is right, the quantum part is directly accessible in experiments through weak-value measurements and signals quantum contextuality, which would give the separation operational meaning.","feed_headline":"Measurement uncertainty split cleanly into quantum and classical parts","feed_subtitle":"The quantum part comes from Kirkwood-Dirac nonreality or nonclassicality and is testable via weak values","key_machinery":"The central object is the generalized Kirkwood-Dirac quasiprobability $\\Pr_{\\mathrm{KD}}(a,b|\\rho,M_a,\\Pi_b)=\\mathrm{Tr}\\{\\Pi_b M_a\\rho\\}$, a complex-valued analog of a joint probability that can take nonreal and negative values when $\\rho$ and the measurement do not commute. Its nonreality, the $\\ell^1$-norm of the imaginary parts, and its nonclassicality, $\\sum_{a,b}|\\Pr_{\\mathrm{KD}}|-1$, each maximized over all rank-1 PVM bases $\\{\\Pi_b\\}$, are the proposed genuine quantum parts of the measurement uncertainty (Eqs. (4a) and (4b)). Because $\\Pr_{\\mathrm{KD}}(a,b|\\rho,M_a,\\Pi_b)$ equals the weak value $\\langle b|M_a\\rho|b\\rangle/\\langle b|\\rho|b\\rangle$ times the postselection probability $\\langle b|\\rho|b\\rangle$, the quantum parts can be read off from weak-value data; the total uncertainties are the tight upper bounds given by the $S$ and $T$ entropies of the outcome distribution.","core_discovery":"The paper's central claim is that for any state $\\rho$ and any POVM basis $\\{M_a\\}$, the total measurement uncertainty, quantified by $S(\\{p_a\\})=\\sum_a \\sqrt{p_a(1-p_a)}$ or $T(\\{p_a\\})=\\sum_a \\sqrt{p_a}-1$ with $p_a=\\mathrm{Tr}\\{M_a\\rho\\}$, decomposes additively as $U^{\\mathrm{Total}}=U^{\\mathrm{Quant}}+U^{\\mathrm{Class}}$. The quantum part is the Kirkwood-Dirac nonreality (Eq. (4a)) or the Kirkwood-Dirac nonclassicality (Eq. (4b)) of $\\rho$ relative to $\\{M_a\\}$, each maximized over the reference rank-1 PVM basis, and the classical part is the difference. The decomposition is shown to satisfy a list of natural requirements; in particular, for sharp rank-1 projective measurements on pure states the classical part vanishes, and the infimum of the total uncertainty over all POVMs equals the quantum impurity of the state, $\\mathrm{Tr}\\{(\\rho-\\rho^2)^{1/2}\\}$ or $\\mathrm{Tr}\\{\\sqrt{\\rho}\\}-1$, attained by measuring in the state's eigenbasis and hence entirely classical. The paper further claims that a nonvanishing quantum part is necessary and sufficient for a proof of generalized quantum contextuality via weak measurement with postselection, and that the quantum part is experimentally estimable from weak values.","pith_inferences":["The same decomposition strategy could be applied with other generalized entropies; a future derivation might recover the Shannon-entropy-based decomposition as a special case and clarify which physical settings pick out the $S$ and $T$ entropies.","If the mutual-unbiasedness assumption behind the equality case fails in some dimension, property QCD1 would fail for those states, so a numerical search in small dimensions for counterexamples would directly test the tightness of the decomposition.","Because the quantum part is expressed in terms of weak values, it may serve as a practical nonclassicality resource in tasks such as metrology or quantum-information processing, though the paper does not address resource theory.","The equivalence with contextuality suggests the quantum part could be used as a witness for nonclassicality in experiments that already measure weak values, potentially bypassing full state reconstruction."],"forward_implications":["The genuine quantum part of a POVM measurement's uncertainty can be estimated directly from weak-value measurements with postselection, without full state tomography.","A nonzero quantum part is both necessary and sufficient to demonstrate generalized quantum contextuality by weak measurement with postselection.","The minimum total uncertainty over all measurements equals the impurity of the state, so classically mixed states have an irreducible but entirely classical uncertainty floor.","For pure states under sharp rank-1 projective measurements the classical part of the uncertainty is zero; classical uncertainty enters only through mixed preparations, unsharp POVMs, or both.","For rank-1 projective measurements, the KD-nonreality quantum part equals half the total trace distance between the state and its post-measurement state under a nonselective binary measurement, linking quantum uncertainty to measurement disturbance."],"supporting_citations":[{"why":"Supplies the prior Shannon-entropy decomposition of measurement uncertainty that the paper extends to POVMs and compares against.","marker":"[3]"},{"why":"Provides the axiomatic requirements for a quantum-classical decomposition of measurement uncertainty, many of which the paper verifies.","marker":"[4]"},{"why":"Introduces the Kirkwood-Dirac quasiprobability used throughout as the central object.","marker":"[9]"},{"why":"Introduces the same quasiprobability in its Dirac form, grounding the definition in Eq. (1).","marker":"[10]"},{"why":"Defines weak values, which the paper uses to express the quantum uncertainty and connect it to experiments.","marker":"[11]"},{"why":"Establishes that strange weak values certify quantum contextuality, the link used in Theorem 1.","marker":"[36]"},{"why":"Extends the strange-weak-value contextuality proof to general measurements, needed for the POVM case.","marker":"[37]"},{"why":"Connects weak values and contextuality in a form the paper relies on for the sufficiency direction of Theorem 1.","marker":"[38]"},{"why":"Supplies the trace-norm variational lemma used to prove the equality cases of Proposition 1 and Proposition 3.","marker":"[44]"},{"why":"Cited for existence of mutually unbiased bases, the resource the equality proof assumes in stronger form.","marker":"[57]"}],"fun_headline_variants":["Measurement uncertainty split into quantum and classical via KD quasiprobability","Quantum vs classical measurement uncertainty split via weak values","Uncertainty's quantum part linked to contextuality via weak measurement","Measurement uncertainty split: quantum from nonclassicality, rest classical"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that, for any pure state and any sharp projective measurement, there always exists a third rank-one projective measurement that has equal overlap with both the measurement basis and a basis containing the state; this is stronger than the known existence of mutually unbiased triples and is assumed in the proof without proof or reference.","fun_headline_variants_meta":{"raw":{"variants":["Measurement uncertainty split into quantum and classical via KD quasiprobability","Quantum vs classical measurement uncertainty split via weak values","Uncertainty's quantum part linked to contextuality via weak measurement","Measurement uncertainty split: quantum from nonclassicality, rest classical"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001306,"raw_usage":{"total_tokens":5439,"prompt_tokens":1173,"completion_tokens":4266,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":789,"completion_tokens_details":{"reasoning_tokens":4195}},"tokens_in":789,"tokens_out":4266,"duration_ms":27691,"temperature":1.0,"reasoning_tokens":4195,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T15:49:40.278300+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Check, in a low-dimensional Hilbert space (e.g., d=3 or d=4), whether every pair consisting of a pure state basis and a projective measurement basis admits a rank-one projective basis with equal overlap with both; if any pair fails, compute the KD-nonclassicality quantum uncertainty for that pair and compare it with the T-entropy total uncertainty—a strict gap would falsify the equality half of Proposition 1 and hence property QCD1.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the prior Shannon-entropy decomposition of measurement uncertainty that the paper extends to POVMs and compares against."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the axiomatic requirements for a quantum-classical decomposition of measurement uncertainty, many of which the paper verifies."},{"cited_title":"Korzekwa, M","cited_arxiv_id":null,"evidence_quote":"Introduces the Kirkwood-Dirac quasiprobability used throughout as the central object."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the same quasiprobability in its Dirac form, grounding the definition in Eq. (1)."},{"cited_title":"Bell, Rev","cited_arxiv_id":null,"evidence_quote":"Defines weak values, which the paper uses to express the quantum uncertainty and connect it to experiments."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Extends the strange-weak-value contextuality proof to general measurements, needed for the POVM case."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Connects weak values and contextuality in a form the paper relies on for the sufficiency direction of Theorem 1."},{"cited_title":"Lostaglio, Phys","cited_arxiv_id":null,"evidence_quote":"Supplies the trace-norm variational lemma used to prove the equality cases of Proposition 1 and Proposition 3."}],"review_version":1}