{"id":"dc12243f-6927-4a22-8b8c-ffab918017a5","arxiv_id":"2505.08991","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"A purified canonical Hamiltonian connects correlation decay of a quantum state to spectral gaps of Davies generators, yielding size-independent gap bounds for 1D chains and quantum double models.","lead":"The authors construct a new Hamiltonian out of any quantum state and show its energy gap controls how fast many quantum cooling processes converge to that state. For one-dimensional spin chains and Kitaev's quantum double models, this proves fast thermalization at any finite temperature.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified","rationale":"The reader's weakest assumption highlights the importance of local primitivity and the model-specific verification of mixing conditions. I agree that these are the points on which the theorem's applicability rests, but they are explicitly stated assumptions rather than unexamined gaps. For local Davies generators, Assumption 1 is a sufficient condition that can be satisfied by choosing local coupling operators that generate the full local algebra, so the applications to commuting Hamiltonians are legitimate. The model-specific checks for 1D and quantum double models are carried out in detail in Sections 4 and 5, including the non-abelian group case via Theorem 41. I found no circular reasoning, no parameter fitting, and no step where the central inequality relies on an unverified equality. The only concrete issue is the notational mismatch between (19) and (20); since (20) is used consistently and is correct, this does not change the mathematical substance. The paper's own limitation statements, such as the lack of extension to KMS-reversible generators and the non-optimal β-scaling, are honest and do not contradict the claims that are actually made. Therefore the verdict should remain ACCEPT with no change.","tokens_in":56833,"tokens_out":44709,"duration_ms":446884,"concrete_test":"Re-derive Theorem 12 using the purification map φ(Q) = Q σ^{1/2} to conjugate D_x to the Hilbert-Schmidt picture, and confirm that Eq. (20) follows from this map and that the kernel identification ker(D_x)σ^{1/2} ⊂ W_x is exactly what local primitivity supplies. If the derivation succeeds with φ but fails with the literal two-sided Γ formula in Eq. (19), that confirms the notation should be corrected and the theorem is sound.","verdict_should_be":"UNCHANGED","load_bearing_attack":"After checking the proof of Theorem 12 and the correlation-decay estimates in Sections 3–5, I find no flaw that would invalidate the central claim. The bound gap(D) ≥ min_x gap(D_x) gap(H) follows by comparing each D_x with gap(D_x) Π_x^⊥; local primitivity only requires ker(D_x) ⊂ B(H_{Λ\\{x}}), which is exactly what the Davies construction supplies under Assumption 1. The mixing conditions (Assumptions 4 and 5) are verified for the stated applications: one-dimensional finite-range Gibbs states via Theorem 36 and quantum double models via Theorems 42 and 44. The limitations noted in Section 6, such as the suboptimal β-dependence and the lack of local Davies generators for non-commuting models, are explicit scope restrictions rather than hidden defects. The only issue I noticed is a notational inconsistency between Eq. (19) and Eq. (20) in the definition of D_x: the explicit formula (20), which is right-multiplication by σ^{1/2}, is the map actually used in the proof of Theorem 12, whereas the general Γ formula in (19) would give a two-sided multiplication if taken literally. This appears to be a typographical slip, not a mathematical error in the argument.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper defines, for an arbitrary full-rank state σ on a finite lattice spin system, a 'canonical purified Hamiltonian' H = Σ_x Π_x^⊥ acting on B(H_Λ) with respect to the Hilbert-Schmidt inner product, where Π_x projects onto W_x = B(H_{Λ\\{x}}) σ^{1/2}. It proves (Theorem 12) that any locally σ-reversible, locally primitive Lindbladian D = Σ_x D_x satisfies gap(D) ≥ min_x gap(D_x) gap(H); for Davies generators satisfying Assumption 1 this gives a route to lower bounds on mixing times. Sections 3–5 are devoted to lower-bounding gap(H) from a spatial mixing condition Δσ(A:C|D), which is shown in Theorem 18 to equal ||Π_ABΠ_BC − Π_ABC||. The authors prove a recursive gap reduction lemma (Lemma 15), small-region estimates (Theorem 22), and then verify the required correlation decay for (i) Gibbs states of any finite-range 1D local Hamiltonian at arbitrary positive temperature (Theorem 36) and (ii) Kitaev quantum double models for arbitrary finite groups (Theorems 42 and 44), yielding system-size-independent gap lower bounds (Theorem 38 and Corollaries 43 and 45). The final section states limitations: suboptimal β-dependence, the lack of local Davies generators for non-commuting models, and the obstruction to extending the purification approach to KMS-reversible generators.","tokens_in":57043,"tokens_out":12029,"duration_ms":121547,"significance":"If the results hold, and I found no countervailing error, this constitutes a new and general bridge between static correlation decay and dynamical spectral gaps for quantum Markov semigroups. The architecture is rigorous and checkable: the explicit formula for Π_X (Proposition 2), the exact identity (32) relating the martingale norm to Δσ(A:C|D), and the recursive gap-reduction argument are all clearly presented. The applications go beyond previous work: the 1D result covers arbitrary finite-range local Hamiltonians at all positive temperatures, and the quantum double result covers non-abelian groups, with explicit bounds and honest statements of the assumptions. I particularly credit the authors for the explicit projection formula and for the careful verification of Assumptions 4 and 5 in the model classes where they are used. The stress-test concerns about local primitivity and the model-specific verification of the mixing conditions are real, but they are explicitly flagged assumptions in the manuscript rather than hidden defects; they do not invalidate the theorems under the stated hypotheses.","major_comments":[],"minor_comments":[{"comment":"The symbol Γ in Eq. (19) is undefined; the explicit formula (20) corresponds to Γ = Γ_1 with Γ_s(Q) = σ^{1−s} Q σ^s, so please write Γ_1 and state this explicitly. As printed, a reader could read Eq. (19) as the s = 1/2 conjugation, which would change the proof of Theorem 12.","section":"Eqs. (19)–(20)"},{"comment":"In the proof of Corollary 45, with μ = 2^6 μ_β^2, the displayed estimate e^{β 2^6 μ^2} ≤ e^{β 2^18 μ_β^2} appears to lose one power of μ_β; the correct right-hand side is e^{β 2^18 μ_β^4}. The positivity and N-independence of the gap are unaffected, but the stated β-dependence should be corrected.","section":"Corollary 45"},{"comment":"The sentence 'While we do not the answer of either these problems' should read 'While we do not know the answer to either of these problems.'","section":"Section 6"},{"comment":"The formula ker(D_x) = {S_{x,α}(ω) : ∀α,ω}' is cited to [33, Prop. 5.5]; since local primitivity is the gateway to Theorem 12, please restate that proposition or provide a short proof so that the reader can verify the step without consulting an external reference.","section":"Section 2.4, Assumption 1"}],"recommendation":"minor_revision","confidential_remarks":"To the editor: This is a strong, carefully written theory paper. The central theorem and its proof architecture are sound; the remaining issues are local notational and quantitative presentation errors. I see no ground for rejection. The length is substantial but appropriate for the amount of proof included."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things you should know. First, this paper's central move — the canonical purified Hamiltonian H = sum_x Pi_x^perp built from any full-rank state — is genuinely new, and the comparison in Theorem 12 between any locally reversible, locally primitive generator and H is clean and correct. Second, the paper delivers what it promises: a spectral gap lower bound for Davies generators from a static correlation measure, with applications to all finite-range 1D Hamiltonians (non-commuting included) and to Kitaev's quantum double models at any temperature. That is a real step beyond [26], which relied on a strong clustering condition that was hard to verify; here the mixing condition is explicit and, for these models, actually verified.\n\nWhat the paper does well: Theorem 18, the exact equality between the martingale condition and Delta_sigma(A:C|D), is an elegant and useful reformulation. I checked the architecture of the proof: Theorem 12 follows from local primitivity plus the projection inequality, and the 1D and quantum double estimates are substantial, honest applications of external tools (Kimura-Kuwahara, the divide-and-conquer machinery, the authors' own tensor network work). No circularity. The limitations are stated plainly: the beta-dependence is suboptimal in 1D and the non-abelian quantum double bound is double-exponential; and local Davies generators for non-commuting models are still missing.\n\nSoft spots, in proportion. The bridge breaks if local primitivity fails, and Assumption 1 is a real restriction — the paper is open about this, but readers should know the gap bound for H alone does not automatically give a Davies generator gap for non-commuting models. The mixing conditions (Assumptions 4 and 5) are verified for the specific models, not for general 2D systems; that is a scope statement, not a flaw. The heaviest estimates lean on two substantial external results, so the paper is not self-contained, but that is normal for this area. There is one minor notational slip: the general definition of D_x in Eq. (19) looks two-sided, while the explicit formula (20), which is what the proof actually uses, is right-multiplication by sigma^{1/2}. A typo, not a mathematical error.\n\nWho this is for: anyone working on thermalization, quantum Markov semigroups, or spectral gaps of frustration-free Hamiltonians. It deserves a serious referee. My recommendation: accept after a minor revision — fix the D_x notation, and maybe add a sentence clarifying that Assumption 1 is the only route from H-gap to D-gap for non-commuting models. The central argument holds up.","headline":"The canonical purified Hamiltonian construction is original and the proof of Theorem 12 holds up; the applications to 1D chains and quantum doubles make this a solid accept after minor revision.","tokens_in":57603,"tokens_out":1658,"would_cite":true,"duration_ms":19412,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["82C10","81S22","81P68"],"pacs":[],"model":"deepseek-v4-flash","headline":"The spectral gap of a state's canonical purified Hamiltonian controls thermalization speed.","keywords":["spectral gap","quantum Markov semigroup","Davies generator","canonical purified Hamiltonian","correlation decay","quantum double model","thermalization","1D spin chain"],"falsifier":"Take a small lattice with a full-rank $\\sigma$ and a locally primitive reversible Davies generator satisfying Definition 11, compute $\\operatorname{gap}(D)$, $\\min_x\\operatorname{gap}(D_x)$, and $\\operatorname{gap}(H)$ numerically; if $\\operatorname{gap}(D) < \\min_x\\operatorname{gap}(D_x)\\operatorname{gap}(H)$, the central inequality fails. A more targeted check is to compute $\\Delta_\\sigma(A:C|D)$ for a Gibbs state of a 2D commuting model where Assumption 5 is not known to hold; failure of the decay assumption shows the method stops, though not that the gap bound is false.","tokens_in":56607,"feed_emoji":"⚛️","tokens_out":9940,"duration_ms":95263,"temperature":0.7,"pith_summary":"The paper builds, from any full-rank state of a lattice quantum spin system, a canonical purified Hamiltonian whose spectral gap is controlled by a spatial mixing quantity that measures how strongly two regions are correlated when a shielding region is traced out. For Gibbs states of local commuting Hamiltonians, that static gap bounds from below the spectral gap of any locally reversible, locally primitive Davies generator: the speed of thermalization is set by a property of the equilibrium state itself. The required mixing decay is verified for every finite-range one-dimensional model and for quantum double models built from any finite group, at every positive temperature, yielding system-size-independent gap and mixing-time bounds. The result gives a computable static criterion for fast thermalization.","feed_headline":"Correlation decay sets the speed of quantum thermalization","feed_subtitle":"A purified Hamiltonian built from the state bounds Davies-generator gaps for 1D chains and quantum doubles.","key_machinery":"The workhorse is the canonical purified Hamiltonian $H=\\sum_{x\\in\\Lambda}\\Pi_x^\\perp$, with $\\Pi_x$ the orthogonal projection onto $W_x=\\{O\\sigma^{1/2}:O\\in\\mathcal{B}(\\mathcal{H}_{\\Lambda\\setminus\\{x\\}})\\}$; its ground state is the purification $\\sigma^{1/2}$. Local primitivity of a reversible generator lets each dissipative term dominate $\\operatorname{gap}(D_x)\\Pi_x^\\perp$, reducing the semigroup gap problem to $\\operatorname{gap}(H)$. The gap of $H$ is computed by a divide-and-conquer lemma (Lemma 15) whose input is the exact identity $\\|\\Pi_{AB}\\Pi_{BC}-\\Pi_{ABC}\\|=\\Delta_\\sigma(A:C|D)$, turning a spatial mixing condition on the state into a spectral gap statement.","core_discovery":"The central claim is a transfer principle: correlation decay in the invariant state $\\sigma$ implies a lower bound on the gap of dissipative dynamics. Writing $W_x=\\{O\\sigma^{1/2}:O\\in\\mathcal{B}(\\mathcal{H}_{\\Lambda\\setminus\\{x\\}})\\}$ and $\\Pi_x$ for the Hilbert-Schmidt projection onto $W_x$, the canonical purified Hamiltonian is $H=\\sum_x\\Pi_x^\\perp$. Theorem 12 proves that for any locally $\\sigma$-reversible and locally primitive generator $L$, $\\operatorname{gap}(D)\\ge\\min_x\\operatorname{gap}(D_x)\\cdot\\operatorname{gap}(H)$. Theorem 18 identifies the projection defect $\\|\\Pi_{AB}\\Pi_{BC}-\\Pi_{ABC}\\|$ with the mixing quantity $\\Delta_\\sigma(A:C|D)$, and the paper shows that decay of this defect over shielding regions gives $\\operatorname{gap}(H)>0$. It then verifies that decay for all finite-range one-dimensional Gibbs states and for quantum double models at positive temperature, so the Davies generators for those models inherit a positive gap.","pith_inferences":["Beyond the paper: verifying Assumption 5 for other 2D commuting models, for instance via cluster expansions, would immediately extend the same Davies-gap lower bound to those models; the weak-converse direction suggests this is the correct criterion.","Beyond the paper: the double-exponential temperature dependence proved for non-abelian quantum doubles is likely a proof artifact; a refined analysis of the group-theoretic marginals should recover a single exponential in $\\beta$, matching the abelian case.","Beyond the paper: because $\\Delta_\\sigma(A:C|\\emptyset)$ upper-bounds the standard operator correlation function, the mixing condition doubles as a no-thermal-phase-transition certificate, a consequence the paper notes but leaves undeveloped.","Beyond the paper: replacing the purified subspaces with $\\sigma^{1/4}\\mathcal{B}(\\mathcal{H})\\sigma^{1/4}$ would extend the argument to KMS-reversible heat-bath generators; the obstacle is the absence of an explicit projection formula, which the paper identifies."],"forward_implications":["For any finite-range one-dimensional Gibbs state, the canonical purified Hamiltonian is gapped at every positive temperature; any local ergodic Davies generator for such a state therefore mixes in time polynomial in the system size.","For quantum double models with an arbitrary finite group, the same statement holds: the gap lower bound is independent of system size and positive for all $\\beta$, with explicit constants output by Theorems 42 and 44.","The bound factorizes: the final gap is at least $\\min_x\\operatorname{gap}(D_x)\\cdot\\operatorname{gap}(H)$, so the bath-dependent local gap and the state-dependent static gap can be optimized separately.","If the canonical Hamiltonian is local and locally gapped, the mixing quantity decays exponentially at a rate proportional to the square root of that gap, giving a quantitative converse (Proposition 31)."],"supporting_citations":[{"why":"characterizes GNS detailed balance in the form used by Proposition 10, converting reversibility into negative semidefinite local terms.","marker":"[17]"},{"why":"supplies the chi-squared divergence lemma (Lemma 12) that turns a lower bound on gap(D) into an explicit convergence-rate estimate for the semigroup.","marker":"[42]"},{"why":"provides the divide-and-conquer lemma (Lemma 15) that the paper uses recursively to bound gap(H) from smaller regions.","marker":"[25]"},{"why":"previous thermalization analysis of quantum double models that supplies the local gap estimate for D_x and the tensor-network framework this paper extends.","marker":"[33]"},{"why":"gives the earlier equivalence between strong clustering and a Davies spectral gap for commuting Hamiltonians, the static-dynamic bridge this work generalizes.","marker":"[26]"},{"why":"supplies the 1D clustering theorem used to prove the mixing decay in Theorem 36 for general finite-range interactions.","marker":"[28]"},{"why":"defines the quantum double Hamiltonian, the model class for which Theorems 42 and 44 verify the mixing condition.","marker":"[29]"},{"why":"provides the matrix-norm inequalities used in Proposition 17 and Proposition 20 to bound Delta_sigma by computable operator norms.","marker":"[13]"}],"fun_headline_variants":["Correlation decay bounds spectral gaps for quantum semigroups","1D and quantum double models get positive gap from correlation decay","Purified Hamiltonian links correlation decay to spectral gap","Correlation decay sets gaps for 1D and quantum doubles","Spectral gap lower bounds from spatial mixing conditions"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that each local dissipator has the exact kernel assumed by local primitivity, namely $\\{S_{x,\\alpha}\\}' = \\mathcal{B}(\\mathcal{H}_{\\Lambda\\setminus\\{x\\}})$; if extra commutants appear, the inequality $D_x \\ge \\operatorname{gap}(D_x)\\Pi_x^\\perp$ fails, and with it the bound of Theorem 12.","fun_headline_variants_meta":{"raw":{"variants":["Correlation decay bounds spectral gaps for quantum semigroups","1D and quantum double models get positive gap from correlation decay","Purified Hamiltonian links correlation decay to spectral gap","Correlation decay sets gaps for 1D and quantum doubles","Spectral gap lower bounds from spatial mixing conditions"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001297,"raw_usage":{"total_tokens":5259,"prompt_tokens":877,"completion_tokens":4382,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":493,"completion_tokens_details":{"reasoning_tokens":4303}},"tokens_in":493,"tokens_out":4382,"duration_ms":27535,"temperature":1.0,"reasoning_tokens":4303,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T21:43:24.502753+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a small lattice with a full-rank $\\sigma$ and a locally primitive reversible Davies generator satisfying Definition 11, compute $\\operatorname{gap}(D)$, $\\min_x\\operatorname{gap}(D_x)$, and $\\operatorname{gap}(H)$ numerically; if $\\operatorname{gap}(D) < \\min_x\\operatorname{gap}(D_x)\\operatorname{gap}(H)$, the central inequality fails. A more targeted check is to compute $\\Delta_\\sigma(A:C|D)$ for a Gibbs state of a 2D commuting model where Assumption 5 is not known to hold; failure of the decay assumption shows the method stops, though not that the gap bound is false.","supporting_citations":[],"review_version":1}