{"id":"e7d37a47-50f3-47d7-a7e9-4cc01f0f351b","arxiv_id":"2605.22603","paper_version":2,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Under local amplitude damping, GHZ-type states lose magic, regain it after entanglement death, and the rebirth threshold exactly mirrors the entanglement-death threshold: γ₊ = 1 − γₑ for every n.","lead":"Local noise can kill a quantum state's 'magic' — the non-Clifford resource needed for quantum speedup — and then bring it back later, something that can never happen for entanglement. The paper proves this exactly for multi-qubit GHZ-type states under amplitude damping and shows the reborn magic, though hidden in separable states, can be harvested onto a single qubit.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Core in-body theorem is sound; the load-bearing soft spot is the abstract's unsupported thermal/unital/phase-covariant universality and α²/2 yield, absent from body and SM.","rationale":"The reader's CONDITIONAL verdict is appropriate, but I do not think the structural theorem on pure stabilizer supports is the weakest point: SM Theorem S1's use of affine support and equal-modulus amplitudes is standard and correctly applied, and the core zero-temperature AD trajectory is proven with matching primal/dual witnesses. The real load-bearing issue is the abstract-body mismatch. The abstract advertises a full phase-covariant Markovian classification, a T2>T1 condition, unital no-rebirth, a thermal finite magic island with second sudden death, and an optimal yield α²/2. None of these are defined or derived in the body or SM, which treats only ground-state-preserving channels with no thermal excitation. This does not invalidate Theorem 1, Eq. (5), or Theorem 2, but it does mean the paper cannot be cited for those advertised broader claims without either adding the missing analysis or narrowing the abstract. Since the reader already reached CONDITIONAL for essentially this reason, my independent assessment does not move the verdict.","tokens_in":46716,"tokens_out":13767,"duration_ms":168816,"concrete_test":"Construct the natural thermal amplitude-damping channel E_T with E(|0⟩⟨0|)=(1−p)|0⟩⟨0|+p|1⟩⟨1| and E(|1⟩⟨1|)=q|0⟩⟨0|+(1−q)|1⟩⟨1|, p,q>0 related by detailed balance, and analytically/numerically check whether the GHZ-X trajectory ρ_n(γ) has a nonempty stabilizer window [γ_−,γ_+] for p>0. If a finite magic island and second sudden death appear, the abstract's thermal claim needs a proof in the body; if not, the claim is false. Separately, optimize the average extracted single-qubit magic yield (P0+Pn)[R(ρ̃)−1] over γ and n to test whether it equals α²/2; if no such identity holds, the yield claim should be removed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central mathematical claim — Theorem 1/Eq. (5)/Theorem 2 for zero-temperature local amplitude damping on |ψ_n⟩=α|0^n⟩+β|1^n⟩ — is internally consistent and I do not find a flaw in the affine-support/equal-modulus reduction (SM Theorem S1), the threshold roots, the partial-transpose determinant, or the extraction identity. The load-bearing gap is in the paper's advertised scope. The abstract states: 'Within real phase-covariant Markovian semigroups the phenomenon is mapped out in full: zero-temperature rebirth occurs iff T2>T1, unital dynamics produce no rebirth, and sufficiently weak thermal excitation confines rebirth to a finite magic island ending in a second sudden death' and 'optimal per-register yield α²/2'. The body's most general channel (End Matter A, Eq. A1) is ground-state-preserving: E(|1⟩⟨1|)=(1−γ)|1⟩⟨1|+γ|0⟩⟨0|, E(|0⟩⟨0|)=|0⟩⟨0|, with real λ. This class contains no thermal excitation (no |0⟩→|1⟩ term), no T1/T2 parametrization, and no general unital case. Appendix S8 treats only fixed-strength dephased AD with a constant profile η, not a thermal map. No derivation of an 'optimal per-register yield α²/2' appears anywhere in the body or SM. These abstract claims are precisely what a reader would cite for the broader phenomenon; as written they are unsupported. The zero-temperature complementarity γ_e+γ_+=1 and the distillation extraction remain valid; the manuscript should either supply the thermal/unital analysis or restrict the abstract.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies how local amplitude damping acts on the n-qubit GHZ-type family |ψ_n⟩=α|0^n⟩+β|1^n⟩. It proves an exact stabilizer-polytope membership criterion for real GHZ-X states (SM Theorem S1), from which it derives magic death at γ_-, magic rebirth at γ_+, and entanglement sudden death at γ_e, with the complementarity γ_e+γ_+=1 for all n. It further shows that in a parameter regime the reborn magic lives in fully separable states with stabilizer marginals, extracts it losslessly onto a single qubit by parity-syndrome measurement (Theorem 2), and classifies pure stabilizer states under homogeneous amplitude damping into magic-generators and magic-insulators. The abstract additionally advertises a complete mapping of real phase-covariant Markovian semigroups, thermal 'magic islands', a condition T_2>T_1 for zero-temperature rebirth, and an optimal per-register yield α²/2.","tokens_in":46943,"tokens_out":8725,"duration_ms":97941,"significance":"If the central results are correct, this is a valuable and surprising contribution: an exactly solvable instance of mixed-state stabilizer-polytope membership under open-system dynamics, with magic death/rebirth thresholds computed in closed form and a sharp magic-entanglement complementarity. The mathematical core is strong: SM Theorem S1 gives an explicit convex decomposition (S26) and matching dual witnesses (S27); the thresholds γ_- , γ_+ , γ_e are derived, not fitted; and the extraction identity (11) is proved exactly. These constructive, parameter-free derivations are the paper's principal strength. The Bell-state splitting and the support-based generator/insulator classification are also clean and novel. However, the paper's advertised broader scope — full mapping of real phase-covariant Markovian semigroups, thermal excitation, unital dynamics, and an optimal yield — is not supported by the body or the SM, and this overreach is load-bearing for the abstract's claims.","major_comments":[{"comment":"The abstract states that 'within real phase-covariant Markovian semigroups the phenomenon is mapped out in full', including zero-temperature rebirth iff T_2>T_1, no rebirth for unital dynamics, and a thermal 'magic island' ending in a second sudden death. The most general channel in End Matter A, Eq. (A1), is ground-state-preserving: E(|0⟩⟨0|)=|0⟩⟨0|, with no |0⟩→|1⟩ term, so it contains no thermal excitation. Appendix S8 treats only fixed-strength dephased amplitude damping with a constant profile η, not a thermal map. The sentence about T_2>T_1 appears only as an unproved consequence for λ(γ)=(1−γ)^a, a≥1/2. These abstract claims are precisely what a reader would cite for the broader phenomenon; they are unsupported as written. The authors should either provide the thermal/unital analysis or restrict the abstract.","section":"Abstract; End Matter A, Eq. (A1); App. S8"},{"comment":"The abstract's 'optimal per-register yield α²/2' is nowhere derived. Theorem 2 proves the lossless expected-robustness identity (P0+Pn)(R(ρ̃)−1)=R(ρ_n)−1 and the postselection probability P0+Pn ≥ α², and App. S4 gives a cat-state injection approaching |H⟩ with success probability tending to 2−√2, but no argument identifies α²/2 as an optimal yield. If the yield statement is a separate result, it needs a proof and a precise definition; otherwise it should be removed.","section":"Abstract; Theorem 2, Eq. (11); App. S4"},{"comment":"Proposition 1 does not 'map out in full' the real phase-covariant Markovian semigroups. It assumes the existence of unique thresholds and then characterizes the reflected identity γ_e+γ_+=1 via S(γ_e)=S(1−γ_e). No classification of unital or thermal phase-covariant semigroups is given, and no theorem states 'zero-temperature rebirth occurs iff T_2>T_1' for a general Markovian semigroup. The abstract's universality claim goes beyond what End Matter A proves; the manuscript should either supply the missing analysis or narrow the stated scope to the ground-state-preserving class actually treated.","section":"End Matter A, Proposition 1"}],"minor_comments":[{"comment":"The notation ⟨ZI⟩ and ⟨XX⟩ in Eq. (7) is not defined before use. It presumably denotes expectations of Z⊗I and X⊗X on the two-qubit X-slice; please define explicitly.","section":"Eq. (7)"},{"comment":"The label 'C(1−γ)' in the pointwise mirror identity (8) refers to the concurrence of the Stinespring-mirrored state at damping 1−γ, not to a function evaluated at 1−γ in the original trajectory. A sentence clarifying this would prevent confusion.","section":"Fig. 2(b)"},{"comment":"The proof relies on the affine-support/equal-modulus structure of pure stabilizer states, cited to Ref. [29]. Since this structure is load-bearing for the entire membership criterion, a self-contained statement of the needed lemma (even without full proof) inside the SM would improve readability.","section":"SM Theorem S1 proof"}],"recommendation":"major_revision","confidential_remarks":"The core GHZ-amplitude-damping result is sound and, in my assessment, publishable after revision. The main gap is not in the mathematics of the central trajectory but in the abstract's advertised scope: the thermal, unital, and 'mapped out in full' claims, and the α²/2 yield, are not supported by the body or the SM. I recommend requiring the authors either to supply those analyses or to rewrite the abstract to match what is actually proved. The explicit convex decompositions and dual witnesses in the SM are a genuine strength and should be retained."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The thing you should know: the central in-body result is correct and genuinely new. The abstract, however, makes claims the body never delivers. They need to be reconciled before this paper is cited for the broader phenomenon.\n\nWhat is actually new: the exact threshold γ₊ = 1 − r^(2/n) and γ₋ from P₀ = c, the all-n reflection identity γₑ + γ₊ = 1, the lossless parity-syndrome extraction of Theorem 2 with the robust identity (P₀+Pₙ)(R(ρ̃)−1) = R(ρₙ)−1, the Bell-state generator/insulator split, and the Hamming-weight classification with super-exponential rarity of insulators. I independently re-derived the load-bearing algebra — Theorem S1, the thresholds, the partial-transpose determinant, the facet condition — and it holds up. The affine-support/equal-modulus theorem used for stabilizer states is standard and not a soft spot.\n\nThe real soft spot is scope. The abstract promises a full mapping of real phase-covariant Markovian semigroups, a T₂ > T₁ condition, unital no-rebirth, a thermal finite magic island with a second sudden death, and an optimal per-register yield α²/2. None of that appears in the body or SM. The End Matter treats only ground-state-preserving channels, Eq. (A1), with no |0⟩→|1⟩ excitation and no T₁/T₂ parametrization. Appendix S8 only covers fixed-strength dephased AD with constant η. No derivation of α²/2 exists anywhere. The ‘finite magic island’ and ‘second sudden death’ exist only in the abstract. A reader citing the abstract for these results would be citing thin air.\n\nThat said, the zero-temperature results stand. The complementarity is proved exactly for every n, and the extraction identity is exact. The problem is a presentation mismatch, not a load-bearing flaw.\n\nThis paper deserves a serious referee. The referee should demand either the missing thermal/unital analysis or a narrowed abstract. For your own work: the core identity and extraction theorem are worth citing, but avoid citing the abstract's broader claims until they are backed.\n\nYes, bring it to reading group — it will generate a good discussion about how far an abstract can run ahead of its body.","headline":"The in-body GHZ magic death-and-rebirth result is exact and worth engaging; the abstract oversells it with unsupported thermal/unital claims.","tokens_in":47619,"tokens_out":1958,"would_cite":true,"duration_ms":25090,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Under local amplitude damping, an n-qubit superposition α|0ⁿ⟩+β|1ⁿ⟩ loses magic at a finite noise strength, regains it at a later one, and the magic-rebirth threshold exactly mirrors the irreversible death of entanglement.","keywords":["magic","nonstabilizerness","stabilizer polytope","amplitude damping","entanglement sudden death","magic rebirth","non-unital channel","magic-state distillation"],"falsifier":"Construct or find one pure stabilizer state whose two computational-basis endpoint amplitudes have unequal modulus; such a state would violate the equal-modulus support property and could invalidate the membership criterion. Directly, prepare the two-qubit state α|00⟩+β|11⟩ with α=0.4, apply amplitude damping, and perform state tomography over the predicted stabilizer window [0.324,0.564]; if ρ(γ) inside that interval cannot be written as a convex combination of two-qubit stabilizer states, the central claim is false.","tokens_in":46408,"feed_emoji":"✨","tokens_out":8066,"duration_ms":91667,"temperature":0.7,"pith_summary":"The paper proves a precise statement about how noise affects two quantum resources asymmetrically. For the n-qubit superposition α|0ⁿ⟩+β|1ⁿ⟩ with 0<α<β, evolving under local amplitude damping, magic—the resource beyond stabilizer operations that makes quantum computation universal—is destroyed at a first finite damping strength, stays absent over an interval, and is created again at a larger damping strength. Entanglement, by contrast, dies once and never returns. The two thresholds are exactly complementary, γ_e+γ₊=1 for every n≥2, which the paper reads as a system-environment mirror symmetry of the channel. In the small-α regime the reborn magic lives in a fully separable state with stabilizer marginals, yet parity-syndrome extraction concentrates it losslessly onto a single qubit ready for magic-state distillation, making local Markovian relaxation a deterministic, heralded source of magic.","feed_headline":"Noise kills magic, then brings it back","feed_subtitle":"For n-qubit superpositions, magic rebirth is the exact mirror of entanglement death—and the reborn magic is extractable.","key_machinery":"The central object is the stabilizer polytope S: the convex hull of all pure stabilizer states. The load-bearing identity is the reduction for states with one off-diagonal coherence: membership in S is equivalent to |c|≤min(p₀,p₁), a consequence of the affine-subspace, equal-modulus support structure of pure stabilizer states. Applied to amplitude damping, this turns the whole trajectory into two scalar inequalities, P₀≥c and Pₙ≥c, yielding the closed-form thresholds. The mirror symmetry comes from the complementary-channel relation, which sends damping strength γ to 1−γ, exchanging the entanglement-death condition with the magic-rebirth condition. Parity-syndrome projection onto span{|0ⁿ⟩,|","core_discovery":"On its own terms, the paper establishes an exact criterion for stabilizer-polytope membership of the damped trajectory: ρ_n(γ) is a stabilizer mixture exactly when both endpoint populations P₀ and Pₙ dominate the coherence c. From that criterion, the trajectory enters the stabilizer set at the unique root γ₋ of P₀=c and exits at γ₊=1−(α/β)^{2/n}, while bipartite entanglement dies at γ_e=(α/β)^{2/n}; the rebirth and entanglement-death thresholds are therefore reflected about γ=1/2. The paper further shows that the reborn magic is nonlocal in the sense that every proper marginal is stabilizer, and that a parity measurement followed by stabilizer decoding extracts it into a single-qubit magic s","pith_inferences":["Editorial extension: if the exact thresholds hold, classical simulation of amplitude-damped circuits should become harder again after γ₊ than inside the stabilizer window; a concrete test is to compare simulation cost before, inside, and after the window on the same trajectory.","Editorial extension: the paper links complementarity to reflection-symmetric coherence profiles, and shows a complex phase twist breaks the threshold reflection while leaving entanglement death unchanged; this suggests the mirror identity is a property of a class of non-unital channels, not of all Markovian noise.","Editorial extension: the cat-state injection primitive at α=β approaches a standard magic state super-exponentially in n with bounded success probability; active recovery or feed-forward might trade that constant probability for higher yield, an avenue the paper leaves open.","Editorial extension: the fully separable but magic-carrying branch implies separability is not a witness against quantum computational advantage; similar phenomena may exist in other resource theories whose free sets are not closed under the noise map."],"forward_implications":["For 0<α<β, the stabilizer window [γ₋,γ₊] is exact: inside it the state is a stabilizer mixture and classically simulable; outside it, the robustness of magic controls the classical-simulation overhead, so the overhead is non-monotone in damping strength.","Because γ₊=1−γ_e, measuring the entanglement sudden-death time immediately predicts the magic-rebirth time, and conversely, for every n.","The reflection survives inhomogeneous damping in geometric-mean coordinates: the death surface ∏γᵢ=r² and the rebirth surface ∏(1−γᵢ)=r² are exchanged by γᵢ→1−γᵢ; fixed-strength dephased amplitude damping preserves the reflection while shrinking the re-entrant domain.","No pure stabilizer input can show finite death-and-rebirth under homogeneous damping: each stabilizer state either stays stabilizer forever (constant-Hamming-weight support) or leaves immediately and returns only at the endpoint γ=1.","The extraction protocol is lossless and economical: the decoded single qubit is non-stabilizer exactly when the n-qubit state is, and the successful branch has per-register yield at least α²/2, with large-n behavior entering both standard single-qubit distillation windows."],"fun_headline_variants":["Entanglement dies, magic returns in its mirror","Noise kills magic, then rebirths it from separable states","Amplitude damping: magic rebirth is exact mirror of death","Reborn magic extractable from fully separable states","Magic returns after entanglement is gone"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The central claim rests on the structural characterization of pure stabilizer states as having computational-basis support that is an affine subspace with equal-modulus amplitudes; if that characterization fails, the reduction of stabilizer membership to |c|≤min(p₀,p₁) and the identities γ_e+γ₊=1 do not follow. The proved results also assume zero-temperature, ground-state-preserving amplitude damping; the abstract's thermal 'magic island' and 'second sudden death' language re","fun_headline_variants_meta":{"raw":{"variants":["Entanglement dies, magic returns in its mirror","Noise kills magic, then rebirths it from separable states","Amplitude damping: magic rebirth is exact mirror of death","Reborn magic extractable from fully separable states","Magic returns after entanglement is gone"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000257,"raw_usage":{"total_tokens":1471,"prompt_tokens":857,"completion_tokens":614,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":601,"completion_tokens_details":{"reasoning_tokens":540}},"tokens_in":601,"tokens_out":614,"duration_ms":7126,"temperature":1.0,"reasoning_tokens":540,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-02T13:28:26.556655+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct or find one pure stabilizer state whose two computational-basis endpoint amplitudes have unequal modulus; such a state would violate the equal-modulus support property and could invalidate the membership criterion. Directly, prepare the two-qubit state α|00⟩+β|11⟩ with α=0.4, apply amplitude damping, and perform state tomography over the predicted stabilizer window [0.324,0.564]; if ρ(γ) inside that interval cannot be written as a convex combination of two-qubit stabilizer states, the central claim is false.","supporting_citations":[],"review_version":2}