{"id":"b83bf675-1f3d-48ad-b4b5-b28cdc88a2e5","arxiv_id":"2501.07775","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"high","formal_verification":"none","parameter_count":1,"one_line_summary":"Three distance-based imaginarity measures are shown to be valid, but the abstract's decay-rate claim is the opposite of the conclusion in the main text.","lead":"Three new measures of imaginarity, a quantum resource quantifying reliance on complex numbers, are proposed and proven to satisfy the standard axioms. The paper's abstract and main text disagree on the headline result about how these measures decay under noise.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 2's MT formula is invalid: its proof minimizes only over pure real states, while the Theorem 1 definition allows mixed real states, and the mixed state I/2 gives a strictly smaller value.","rationale":"The reader's verdict was CONDITIONAL, with the weakest assumption located in the unverified Section IV bit-flip formulas. Stress-testing the manuscript reveals a more fundamental and earlier error: Theorem 2's explicit pure-state formula for the Tsallis measure MT,α is already wrong, because the minimization in its proof is carried out only over real pure states, whereas the measure is defined by minimizing over all real density matrices. The counterexample is elementary and decisive: for the pure state (|0⟩+i|1⟩)/√2 and α=3/4, the real mixed state I/2 gives a value ≈0.206, far below the claimed ≈0.603. This is not a matter of missing derivation or of disagreement with an external convention; it is an internal inconsistency between Theorem 1's definition and Theorem 2's evaluation. Because Section III's decay-rate formulas and Proposition 3's ordering formulas for MT,α are built on this incorrect evaluation, the paper's headline quantitative conclusions are invalid. The abstract/body contradiction about decay rates noted by the reader is a downstream symptom of the same flaw. The abstract claim that MT,α is a bona fide measure (Theorem 1) may survive, but the article's explicit results and physical conclusions do not, so the appropriate disposition is REJECT pending a complete re-derivation of the Tsallis measure's values.","tokens_in":15032,"tokens_out":20806,"duration_ms":199323,"concrete_test":"Evaluate the definition of MT,α from Theorem 1(i) for ρ=|ψ⟩⟨ψ| with |ψ⟩=(|0⟩+i|1⟩)/√2, α=3/4, at the admissible real state σ=I/2: the candidate value is 1−2^{−1/3} ≈ 0.206. Compare this with Theorem 2's claimed value 1−2^{−4/3} ≈ 0.603. Since the candidate value is strictly smaller, the claimed minimum is false; a complete fix requires re-deriving all explicit MT,α formulas by minimizing over the full two-parameter family of real qubit states σ=(I+r_xσ_x+r_zσ_z)/2 rather than only over real pure states.","verdict_should_be":"REJECT","load_bearing_attack":"The proof of Theorem 2 restricts the minimization defining MT,α to real pure states |v⟩, but Theorem 1 defines MT,α as a minimum over all real density matrices F, which includes mixed states. Mixed real states can give strictly smaller values, so the closed formulas in Theorem 2 are not values of the measure as defined. Concretely, for |ψ⟩=(|0⟩+i|1⟩)/√2 (so A=0) and α=3/4, taking σ=I/2∈F gives 1 − [tr(P^{3/4}(I/2)^{1/4})]^{4/3} = 1 − 2^{−1/3} ≈ 0.206, whereas Theorem 2 claims MT,α(|ψ⟩)=1 − ((1+A)/2)^{1/α} = 1 − 2^{−4/3} ≈ 0.603. Since MT,α is a minimum over F, the claimed value cannot be correct. The same unjustified pure-state restriction appears in the Section III decay formulas and in the MT part of Section IV; for example, the bit-flip formula for MT,α at m=1/2, x=0 gives a positive value for the maximally mixed state, which is real and must have imaginarity zero. Consequently, all quantitative statements involving MT,α—the claimed decay-rate comparison, Proposition 1, and the MT,α part of Proposition 3—are unsupported, even though Theorem 1 may remain true as an abstract existence statement.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper proposes three quantitative measures of quantum imaginarity for α∈[1/2,1): MT,α based on Tsallis relative α-entropy, MS,α based on sandwiched Rényi relative entropy, and MO,α based on Tsallis relative operator entropy, each defined as a minimization over the set F of real states. Theorem 1 claims that these quantities satisfy the resource-theoretic axioms (M1)–(M5), with proofs in the Appendix that rely on published data-processing inequalities. Theorem 2 gives closed-form expressions for pure qubit states in terms of A = |⟨ψ*|ψ⟩|, and Proposition 1 compares the three measures on pure states. Section III reports decay formulas under bit-flip, phase-damping, and amplitude-damping channels at α = 3/4 and concludes that the Tsallis measure is the most stable under these channels. Section IV examines ordering of single-qubit states, claiming order invariance under the bit-flip channel in Proposition 3.","tokens_in":15296,"tokens_out":26712,"duration_ms":222227,"significance":"The construction is a natural and potentially useful extension of the imaginarity resource theory: the measures contain no fitted parameters (only the parameter α), the axiom proofs invoke established monotonicity inequalities from the literature rather than ad hoc assumptions, and the paper attempts concrete falsifiable predictions in the form of closed forms for pure states and explicit decay functions. If Theorem 1 is taken alone, the contribution is a legitimate, if modest, addition to the catalogue of imaginarity measures. However, the advertised quantitative content — the decay comparison, the measure ordering of Proposition 1, and the bit-flip order invariance of Proposition 3 — is currently unreliable because the closed-form evaluations supporting it are invalidated by the pure-state restriction in the proof of Theorem 2 (see major comment 1), and the headline decay claim is internally contradictory (see major comment 2). The significance of the work therefore hinges on whether the underlying minimizations can be corrected and the quantitative claims re-derived.","major_comments":[{"comment":"The closed-form expressions in Theorem 2 are not the values of the measures defined in Theorem 1, because the proof minimizes over pure real states only, whereas the definitions in Theorem 1 range over all real density matrices σ ∈ F, including mixed ones. Concretely, for |ψ⟩ = (|0⟩+i|1⟩)/√2, which has A = |⟨ψ*|ψ⟩| = 0, and α = 3/4, taking σ = I/2 ∈ F yields MT,α(|ψ⟩) ≤ 1 − [tr(ρ^{3/4}(I/2)^{1/4})]^{4/3} = 1 − 2^{−1/3} ≈ 0.206, while Theorem 2 claims MT,α(|ψ⟩) = 1 − ((1+A)/2)^{1/α} = 1 − 2^{−4/3} ≈ 0.603. Since MT,α is a minimum over F, the claimed value cannot be correct; in fact, for this state tr(ρ^α σ^{1−α}) = tr(σ^{1−α})/2 for every real σ, and tr(σ^{1−α}) is maximized at σ = I/2, so the true value is exactly 0.206. The same unjustified pure-state restriction underlies the evaluations of MS,α and MO,α, the Section III decay formulas (which are applied to mixed channel outputs), and the Section IV bit-flip formulas; consequently the decay-rate comparison, Proposition 1, and Proposition 3 are unsupported as stated, even though Theorem 1 may remain true as an abstract existence statement.","section":"§II (Theorem 2 and its proof)"},{"comment":"The abstract states that \"the Tsallis relative α-entropy of imaginarity exhibits higher decay rate under quantum channels compared to other measures,\" whereas Section III concludes that this same measure \"exhibits a smaller attenuation difference, indicating that it retains more information during transmission and exhibits higher stability,\" and Section V repeats that it \"exhibits greater stability compared to the other two measures.\" A higher decay rate and a smaller attenuation are mutually incompatible statements, and since this comparison is the paper's advertised main finding, the contradiction must be resolved and the surviving claim re-derived from correct decay formulas.","section":"Abstract vs. Sections III and V"},{"comment":"The proof of ΔM2 ≥ 0 (i.e., MO,α ≥ MT,α) is not analytic: it concludes with \"As can be seen from Fig. 1,\" which is a graphical assertion rather than a proof. Moreover, the displayed closed form for ΔM2 is numerically inconsistent: at A = 0 and α = 3/4, the preceding expression evaluates to approximately 0.222, while the simplified expression displayed after it evaluates to approximately 8.56, so the algebraic simplification as printed is wrong or missing a factor. Independently of this algebra, the proposition inherits the invalid Theorem 2 evaluation of MT,α, so the claimed ordering is not established.","section":"§II (Proposition 1)"},{"comment":"The formulas for MT,α(ε_BF(ρ)), MS,α(ε_BF(ρ)), and MO,α(ε_BF(ρ)) are introduced with the sentence \"It is easy to derive that\" and no derivation is supplied, yet ε_BF(ρ) in Eq. (8) is a mixed state for m ∉ {0,1} (its purity is 1/2 + 2x² + 2(2m−1)²y², which is less than 1 whenever y ≠ 0 and m ∉ {0,1}). The pure-state closed forms of Theorem 2 therefore do not apply to this output state, and no mixed-state evaluation is provided. The monotonicity argument ∂x M(ε_BF(ρ)) ≤ 0 and the resulting order-invariance conclusion rest on these unverified expressions, so Proposition 3 is not proven.","section":"§IV (Proposition 3)"}],"minor_comments":[{"comment":"There are typos in this section: \"singe-qubit\" appears twice and \"imagimarity\" appears once; these should be corrected.","section":"§IV"},{"comment":"The sentence \"for phase flip and amplitude damping channels, these quantities do not attain their maximum values at m = 0.5\" uses the bit-flip parameter m for channels whose noise parameters are n (phase damping) and p (amplitude damping), so the sentence should refer to n and p; also \"phase flip\" and \"phase damping\" are used inconsistently to name the same channel.","section":"§III"},{"comment":"The caption refers to undefined quantities \"ΔMgl\" and \"ΔMg\" and does not identify which colored surface corresponds to which measure in each of the panels (a)–(i); the caption should be rewritten to match the panels it describes.","section":"Figure 2 caption"},{"comment":"In the proof of (M5), \"p2 1 + p2 2 = 1\" and the analogous expression for q should read p1 + p2 = 1 and q1 + q2 = 1; near the end of the (i) proof, \"MF,α\" should be \"MT,α\"; and in the (iii) proof the line \"max σ∈F (...) = min σ∈F (...)\" contains a typo, since both sides should be \"max.\"","section":"Appendix, proof of (i) and (iii)"},{"comment":"The faithfulness condition (M1) for MO,α is asserted with the sentence \"It is easy to find that MO,α(ρ) = 0 iff ρ is a real state\" rather than proved; since (M1) is part of the defining property of an imaginarity measure, a proof or an explicit citation is required.","section":"Appendix, proof of (iii)"},{"comment":"Reference [18] is cited in arXiv form (arXiv:1309.6586) and reference [36] has an incomplete article identifier (\"Sci. China-Phys. Mech. Astron. 67, 1 (2025)\"); both should be updated to their published versions.","section":"References"},{"comment":"The sentence \"if ρ is a pure state, then x² + y² = 1/4. Therefore, we focus exclusively on the pure state ρ\" does not explain why mixed states can be excluded from the ordering analysis; the restriction to pure states should be stated explicitly as an assumption rather than implied.","section":"§IV, after Eq. (5)"}],"recommendation":"major_revision","confidential_remarks":"The main risk in this manuscript is the evaluation error in Theorem 2, which invalidates most of the quantitative content; the authors' reliance on their own prior works [36] and [46] for key supporting inequalities is acceptable since those are published, but the Section III and IV algebra was not independently verifiable from the text and is now suspect given the Theorem 2 error. If the minimizations can be corrected and the abstract/body contradiction resolved, the paper could be suitable for a quantum-information journal; in its current form the quantitative sections should not appear as stated."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Let me give you the short version: this is a resource-theory paper that defines three imaginarity measures and proves they satisfy the standard axioms. That part is plausibly correct and is a legitimate, if conventional, extension of known distance-based coherence and entanglement measures. The trouble is that the paper's quantitative results—the closed-form formulas for pure states, the decay-rate comparison, and the ordering under bit-flip—are built on a minimization error for the Tsallis measure MT,α.\n\nTheorem 1 defines MT,α as a minimum over all real density matrices σ. In Theorem 2, the proof restricts the minimization to pure real states |v⟩. For a concave function of σ—and σ↦tr(ρ^α σ^{1−α}) is concave for α∈[1/2,1)—the maximum over a convex set can sit at a mixed state, not a pure one. Concretely, take |ψ⟩=(|0⟩+i|1⟩)/√2 and α=3/4. The claimed formula gives 1−2^{−4/3}≈0.603, but choosing σ=I/2 (a real state) gives 1−2^{−1/3}≈0.206. Since MT is a minimum, the claimed value is not the value of the measure. The same pure-state restriction reappears in the Section III decay formulas and in the MT part of Proposition 3, so those results are unsupported as stated. This is not a small gap: it is the main quantitative content of the paper.\n\nThere is also an internal contradiction the authors did not catch: the abstract says the Tsallis measure has a higher decay rate, while Section III concludes it is more stable. Proposition 1's proof of MO≥MT relies on a figure instead of an analytic argument, which is insufficient for a published claim. And the 'it is easy to derive' formulas for the bit-flip channel output in Section IV are exactly where the pure-state restriction bites; for MT they do not match the definition.\n\nWhat is worth keeping: Theorem 1's axiomatic proof (M1, M2, M5) looks mostly right, and the definitions are new even if they are direct analogues of existing entanglement measures. The paper engages the literature honestly, and the two cited supporting inequalities from the same group are published, so self-citation is not the issue.\n\nMy take: this deserves peer review rather than desk rejection, because the definitions and the axiom proofs are a legitimate contribution and the minimization error is identifiable and fixable. But the authors need to either prove the pure-state reduction (which is false for MT) or abandon the closed-form formulas and the decay/ordering claims built on them. For a reading group, I'd skip it; the error is instructive, but the paper as it stands would mislead.","headline":"The Tsallis imaginarity measure's closed-form formulas are invalid because the minimization is over all real states, not just pure ones; this undercuts the decay and ordering results, though the resource-theoretic axioms may still hold.","tokens_in":15831,"tokens_out":7265,"would_cite":false,"duration_ms":63508,"reading_group":"no","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81P45"],"pacs":["03.67.-a"],"model":"deepseek-v4-flash","headline":"Three entropy-based measures are proven valid for quantum imaginarity.","keywords":["imaginarity","resource theory","Tsallis relative alpha-entropy","sandwiched Rényi relative entropy","Tsallis relative operator entropy","quantum channels","state ordering","bit-flip channel"],"falsifier":"On a dense grid of qubit states and channel strengths, compare the three closed-form expressions in Proposition 3 with a direct numerical minimization over real states; the first mismatch, or any point where the stated derivative signs reverse, would falsify the ordering-invariance claim.","tokens_in":14810,"feed_emoji":"⚛️","tokens_out":12737,"duration_ms":102495,"temperature":0.7,"pith_summary":"This paper introduces three new quantitative measures of imaginarity: the Tsallis relative α-entropy of imaginarity, the sandwiched Rényi relative entropy of imaginarity, and the Tsallis relative operator entropy of imaginarity, defined for α in [1/2,1). It proves that each one satisfies the four axioms required of a legitimate resource measure, so each can be used to rank how much of a quantum state is irreducible to real amplitudes. For single-qubit states the measures all become decreasing functions of the same real parameter, meaning they impose the same ordering on states, and the paper shows that the bit-flip channel leaves that ordering intact. In comparing the decay of the measures under bit-flip, phase-damping, and amplitude-damping channels at parameter value 3/4, the body of the paper finds the Tsallis relative α-entropy measure to be the most stable under noise, a conclusion opposite to the abstract's wording that it has a higher decay rate.","feed_headline":"Three entropy-based measures are proven valid for quantum imaginarity","feed_subtitle":"They obey the resource-theory axioms, order qubit states identically, and keep that order under bit-flip noise.","key_machinery":"The argument is carried by the resource-theoretic frame of imaginarity: real states (density matrices whose entries are all real) are free, real operations (Kraus maps with real matrix entries) are free operations, and a valid measure must obey axioms (M1)-(M4), equivalently (M1), (M2), and additivity (M5). For the measures to be bona fide, the paper imports the monotonicity of the Tsallis relative α-entropy, the sandwiched Rényi relative entropy, and the Tsallis relative operator entropy under completely positive trace-preserving maps, together with Hölder's inequality to enforce additivity. For the ordering results, the load-bearing device is the canonical form of a qubit state $\\rho = \\begin{pmatrix} 1/2 & x-iy \\\\ x+iy & 1/2 \\end{pmatrix}$ with $x^2+y^2=1/4$ for pure states; every one of the three measures is a decreasing function of $x$, and the bit-flip channel preserves this monotonicity.","core_discovery":"The central claim of the paper is Theorem 1: for every $\\alpha\\in[1/2,1)$, the quantities $M_{T,\\alpha}$, $M_{S,\\alpha}$, and $M_{O,\\alpha}$, each defined as a minimization over the set $\\mathcal{F}$ of real states of an entropy-based distance, are bona fide imaginarity measures. The proof verifies the standard axioms: faithfulness (nonzero exactly for states with non-real density-matrix entries), monotonicity under real operations, strong monotonicity, and convexity, with the convexity step handled via Hölder's inequality. For qubit pure states, all three measures are functions only of $|\\langle\\psi^*|\\psi\\rangle|$, and for the bit-flip channel the paper supplies closed-form expressions whose derivatives are all non-positive, establishing that state ordering is preserved. The authors also compare the decay of the three measures under three common noise channels at $\\alpha=3/4$ and conclude, from their figures and discussion, that the Tsallis relative α-entropy measure is the most stable of the three.","pith_inferences":["The ordering-invariance result rests on closed-form formulas the paper states without derivation; a careful user should numerically verify those formulas before relying on Proposition 3.","The same construction could be applied to other relative-entropy families, such as (α,z)-Rényi relative entropies; whether they yield valid imaginarity measures would depend on the same CPTP monotonicity used here.","The stability of the Tsallis measure is a property of the formula alone; turning that into an operational advantage in a specific quantum protocol requires separate work.","Because all three measures collapse to monotone functions of one parameter for qubits, experimental comparison of imaginarity in photonic polarisation qubits could be reduced to estimating that single parameter."],"forward_implications":["Any task that needs to quantify imaginarity can now choose among three entropy-based measures that all satisfy the standard resource-theory axioms for $\\alpha\\in[1/2,1)$.","For single-qubit states the three measures induce the same ordering, so the distinction between measures is irrelevant for ranking qubits by imaginarity.","Bit-flip noise does not reorder single-qubit states under any of the three measures in the stated range, so resource rankings are stable under that channel.","At $\\alpha=3/4$, the Tsallis relative α-entropy measure loses the least imaginarity under bit-flip, phase-damping, and amplitude-damping channels, making it the preferred measure in noisy settings.","The proof pattern, checking axioms (M1), (M2), and (M5), provides a template for validating future distance-based imaginarity measures."],"supporting_citations":[{"why":"Supplies the resource-theoretic definition of imaginarity, free real states, and real operations that the new measures must respect.","marker":"[32]"},{"why":"Establishes the imaginarity framework the authors build on, including invariance under real orthogonal transformations used to reduce qubit states.","marker":"[33]"},{"why":"Proves that axioms (M1)-(M4) are equivalent to (M1), (M2), and additivity (M5), which the proof of Theorem 1 checks.","marker":"[35]"},{"why":"Defines the sandwiched Rényi relative entropy and proves its CPTP monotonicity for α∈[1/2,1), the property underlying MS,α.","marker":"[42]"},{"why":"Gives the positivity and equality conditions for the Tsallis relative α-entropy used to verify faithfulness of MT,α.","marker":"[45]"},{"why":"Proves the CPTP monotonicity of the Tsallis relative operator entropy used to establish monotonicity of MO,α.","marker":"[46]"}],"fun_headline_variants":["Entropy distances yield valid imaginarity measures","Three entropy measures pass imaginarity resource tests","Imaginarity quantified via entropy-based distances","Bit-flip noise preserves imaginarity measure ordering","New entropy metrics certify quantum imaginarity"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The ordering result for the bit-flip channel depends on closed-form formulas for the three measures after the channel, which the paper states as 'easy to derive' without showing the derivation; if any formula is incorrect, the ordering claim loses its support.","fun_headline_variants_meta":{"raw":{"variants":["Entropy distances yield valid imaginarity measures","Three entropy measures pass imaginarity resource tests","Imaginarity quantified via entropy-based distances","Bit-flip noise preserves imaginarity measure ordering","New entropy metrics certify quantum imaginarity"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000573,"raw_usage":{"total_tokens":2700,"prompt_tokens":932,"completion_tokens":1768,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":548,"completion_tokens_details":{"reasoning_tokens":1697}},"tokens_in":548,"tokens_out":1768,"duration_ms":12147,"temperature":1.0,"reasoning_tokens":1697,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T20:36:10.040659+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"On a dense grid of qubit states and channel strengths, compare the three closed-form expressions in Proposition 3 with a direct numerical minimization over real states; the first mismatch, or any point where the stated derivative signs reverse, would falsify the ordering-invariance claim.","supporting_citations":[{"cited_title":"Quantification and manipulation of magic states","cited_arxiv_id":"1706.03828","evidence_quote":"Supplies the resource-theoretic definition of imaginarity, free real states, and real operations that the new measures must respect."},{"cited_title":"A resource theory of superposition","cited_arxiv_id":"1703.10943","evidence_quote":"Establishes the imaginarity framework the authors build on, including invariance under real orthogonal transformations used to reduce qubit states."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Proves that axioms (M1)-(M4) are equivalent to (M1), (M2), and additivity (M5), which the proof of Theorem 1 checks."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the sandwiched Rényi relative entropy and proves its CPTP monotonicity for α∈[1/2,1), the property underlying MS,α."},{"cited_title":"Abe, Phys","cited_arxiv_id":null,"evidence_quote":"Gives the positivity and equality conditions for the Tsallis relative α-entropy used to verify faithfulness of MT,α."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Proves the CPTP monotonicity of the Tsallis relative operator entropy used to establish monotonicity of MO,α."}],"review_version":1}