{"id":"be2844af-4222-465d-9b11-9310fed0e158","arxiv_id":"2411.09000","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Tracing out a heavy field can appear to decohere a light field, but the apparent decoherence is an artifact of the chosen bipartition; the energy-based EFT projection preserves purity.","lead":"This paper explains why a heavy, unseen quantum field does not make low-energy systems lose their quantum 'purity', even though explicit calculations seem to show it does. It identifies the apparent effect as an artifact of how the system is separated from its environment, and gives a practical rule for making that separation consistent with effective field theory.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The iϵ prescription is shown to implement the energy projection only in exactly solvable or sudden-switching examples; its equivalence to the exact decoupling basis for general interacting theories is assumed, leaving the central diagnostic unproven.","rationale":"The paper makes a valuable and largely convincing case that the apparent power-law purity loss is a basis artifact: the Section 1.1 spectral projection argument is exact, the gaussian examples are fully solved, and the non-commutativity of the ε→0 and M→∞ limits is demonstrated explicitly. The reader's identification of the iϵ-prescription-to-energy-projection equivalence as the weakest assumption is correct, and my stress test sharpens it in two ways. First, the demonstration in §3.2 relies on the sudden approximation; the adiabatic results that are standard in the literature and quoted in the paper are ε-independent 1/M power laws, so the practical diagnostic works only for a specific switching protocol. Second, in non-gaussian theories the exact energy eigenbasis is not known, and the free-mode iε regulator does not by construction project onto exact eigenstates; the worked cubic examples are leading-order only. These points do not refute the paper, but they do mean the central practical claim is an extrapolation beyond the demonstrated cases. The paper itself acknowledges related open questions in Section 4. Therefore the conditional verdict is appropriate; I would not change it, but I would want the O(g^4) check or an equivalent non-gaussian test before accepting the iϵ prescription as a general diagnostic.","tokens_in":38822,"tokens_out":8529,"duration_ms":99243,"concrete_test":"Evaluate the cubic model L_int = -g ϕ^2 σ of §2.2.1 at next-to-leading order O(g^4): compute the mode purity (A.14) in the iϵ-prescribed way, keeping Im(t-s) < 0 fixed while summing over intermediate states and expanding in 1/M, and only then letting ε→0. If any algebraic 1/M^p term survives at O(g^4), the iϵ prescription is not equivalent to the exact energy projection beyond leading order; if the result is exponentially small in M, the diagnostic is supported. This is a finite, well-defined perturbative computation.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central resolution requires that the Wightman iϵ regulator act as a projector onto the exact energy eigenbasis of the full Hamiltonian. This is exact for the gaussian mass/kinetic mixing examples, where the mass matrix can be diagonalized once, and it is demonstrated for the sudden-approximation purity integrals of §2, where e^{-Mε} suppresses the heavy-frequency oscillations in (A.16). But for genuinely interacting theories the exact eigenstates are not free-field Fock states and are not known. A free-mode regulator e^{-ω_φ ε} suppresses free-field energy, not the exact Hamiltonian eigenvalue; it does not undo the O(g) or O(g^2) mixing between the σ and ϕ sectors that builds the true eigenstates. The cubic examples of §2.2 are treated only at leading order, and the field redefinition in §3.1 removes the non-derivative cubic interaction only at order 1/M^2, leaving the derivative interaction. Moreover, the non-commutativity of limits highlighted in §3.2 is exhibited with the sudden switching of (A.16); the standard adiabatic results quoted in (2.13), (2.20), (2.25) and (2.29) are finite, ε-independent power-law purity losses. Thus the practical iϵ diagnostic is tied to a particular switching prescription and to leading order in perturbation theory. If the equivalence fails at higher orders or in non-gaussian theories, the proposed method does not track the true low-energy purity, and the central paradox is only shifted to the exact but impractical energy projection of §1.1.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper addresses the apparent conflict between EFT decoupling and decoherence. In a two-scalar model with m << M, computing the purity of the light field after tracing out the heavy field in the field basis yields purity loss of order 1/M^n in both gaussian-mixing and cubic-interaction examples. The paper argues that this purity loss is an artifact of tracing in the 'decohered basis' of the field phi rather than the 'decoupled basis' of exact energy eigenstates. Section 1.1 proves that projection onto low-energy exact eigenstates gives Hamiltonian evolution and therefore preserves purity. Section 3.2 claims that the i-epsilon prescription automatically implements this projection, so that the limits epsilon -> 0 and M -> infinity do not commute, and only the order that keeps epsilon finite while expanding in 1/M respects decoupling. Section 4 discusses UV divergences in purity calculations and their conjectured renormalization. Appendices provide interaction-picture, Schrodinger-picture, and Schwinger-Keldysh cross-checks of the main examples.","tokens_in":39125,"tokens_out":8041,"duration_ms":81786,"significance":"If correct, the paper would resolve an active tension in recent decoherence calculations in flat space and in inflation, and would provide a practical diagnostic for identifying decoupling-respecting purity evolution. The projection theorem is exact under its stated assumptions, the gaussian and leading-order cubic calculations are carefully carried out, and the paper is unusually explicit about which statements are proven and which are conjectured. The main significance is conditional: the practical i-epsilon prescription is the load-bearing new element, but its equivalence to exact energy projection is established only in worked examples. The paper's strength lies in the clarity of the paradox, the explicit catalog of calculations, and the recognition that different bipartitions answer different physical questions.","major_comments":[{"comment":"The central claim that the i-epsilon prescription 'automatically' carries out the energy projection of Sec. 1.1 is not established for interacting theories. The regulator in (3.4) suppresses states according to the free-field dispersion omega(p) = (p^2 + M^2)^{1/2}, i.e., the free Hamiltonian eigenvalue, whereas the decoupled basis of Sec. 1.1 is defined by eigenstates of the full interacting Hamiltonian. In the cubic examples of Sec. 2.2 the Wightman functions (2.22) and (2.27) are computed at leading order in the couplings using free-field mode functions, so they never test whether e^{-i omega epsilon} projects onto the exact eigenbasis. The manuscript should either prove this equivalence to the order claimed, or under stated conditions such as perturbative diagonalization, or explicitly limit the practical diagnostic to gaussian and/or sudden-switching situations. As written, the practical method of Sec. 3.2 does not yet close the gap between the exact but impractical projection and the concrete calculations.","section":"Sec. 3.2, Eq. (3.4)"},{"comment":"The claimed non-commutativity of the limits epsilon -> 0 and M -> infinity is exhibited only in the sudden-switching approximation. The sudden purity integrals keep the lower endpoint t0 fixed and use epsilon = -Im(t - t0), so e^{-i omega_phi (t-t0)} is exponentially small when M epsilon is fixed. The adiabatic results in (2.13), (2.20), (2.25), and (2.29), by contrast, are obtained from (A.17)-(A.18) with t0 -> -infinity (1 + i epsilon) and are finite and epsilon-independent at leading order; taking the 1/M expansion first and then epsilon -> 0 still gives a power-law purity deficit. Thus the advertised result that the state remains pure up to exponentially small corrections does not follow in the adiabatic in-out setup, which is the standard Wilsonian setup. The paper must either explain why the sudden prescription is the relevant one for decoupling, or reformulate the non-commutativity claim so that it also applies to the adiabatic results.","section":"Sec. 3.2, bullets after Eq. (A.16)"}],"minor_comments":[{"comment":"The sentence containing 'Thes examples' contains a typo; it should read 'These examples'.","section":"Sec. 2, opening paragraph"},{"comment":"The environmental and system correlation functions are written with nearly identical typography; please use clearly distinct calligraphic or bold symbols so the reader can distinguish W^k from W^k at a glance.","section":"Eqs. (2.5)-(2.6)"},{"comment":"The statement that the cubic interaction coefficient becomes g m^2/(2M^2) is easy to misread: the displayed formula shows the original g phi^2 sigma term acquiring the factor (1 + a + b m^2/M^2). Please specify whether the remark refers to the phi^2 sigma term or to a different cubic interaction generated by the field redefinition.","section":"Sec. 3.1, after Eq. (3.2)"},{"comment":"The body explicitly states that proving renormalizability of the divergent purity contributions 'remains an open question', but the introduction and abstract present the UV-divergence implications more assertively; please align the wording with the acknowledged open status.","section":"Sec. 4, final paragraph"},{"comment":"The integration variable u appears in the displayed integral before being defined; please define u (e.g., u = omega_phi/M or an equivalent rescaling) before or immediately after the equation.","section":"Eq. (2.24)"}],"recommendation":"major_revision","confidential_remarks":"The paper is well suited to JHEP and the projection argument is a clean contribution. The main risk is the overgeneralization of the i-epsilon diagnostic: as written, the central claim is demonstrated for gaussian and sudden-switching settings, while the adiabatic results quoted in the same paper appear to contradict the claimed purity protection. A revision that either proves the equivalence for a broader class of interactions or carefully states the domain of validity of the practical method would make the paper much stronger."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: this paper identifies a real resolution to the apparent tension between decoherence and decoupling, and it deserves a serious referee. The central caveat is that the practical iϵ prescription is not yet shown to be the exact decoupled-basis projector in general interacting theories.\n\nThe genuinely new content is the diagnosis: the apparent 1/M power-law purity loss from tracing out a heavy scalar is an artifact of tracing in the wrong basis. The decohered basis (field basis) and the decoupled basis (exact energy eigenbasis) differ at order 1/M, and the non-commutativity of the ϵ→0 and M→∞ limits explains why earlier calculations saw decoherence where EFT decoupling says there should be none. The Section 1.1 projection argument is exact and clean: projecting with a conserved charge gives Hamiltonian evolution, and therefore purity preservation. That is a useful benchmark.\n\nThe paper also does several things well. The worked examples are concrete and cross-checked in three formalisms: interaction picture, Schrödinger wavefunctional, and Schwinger-Keldysh. The field-redefinition discussion in §3.1 is honest about what can and cannot be removed. Section 4’s UV-divergence analysis is explicitly preliminary, and the authors say the renormalization proof remains open. The citations to refs. [4,5] are appropriate—the explicit purity corrections come from that earlier work, and the paper builds on it rather than hiding it.\n\nThe soft spot is exactly where the stress-test note points. The claim in §3.2 that the iϵ prescription automatically implements the exact energy projection is argued, not proven, for interacting theories. In the gaussian mixing examples it is exact because the mass matrix can be diagonalized once. In the cubic examples it is checked only at leading order, and the field redefinition leaves derivative interactions behind. A free-mode regulator e^{-ωε} suppresses free-field energies, not exact Hamiltonian eigenvalues, so at higher orders or in non-gaussian theories the proposed diagnostic could fail to track the true low-energy purity. The authors seem aware of the limits—Section 4 explicitly leaves the general case open—but the headline claim in §3.2 is stated more firmly than the evidence supports. This is a real caveat, but not a fatal flaw: the resolution for the tractable cases stands, and the exact projection argument in §1.1 provides a correct existence statement.\n\nWho is this for? People working on open EFTs, inflationary decoherence, and the interpretation of entanglement and purity in QFT. A good referee can usefully push on the iϵ projection claim and on the open renormalization questions. I would send it out.","headline":"A genuinely useful resolution of the decoherence/decoupling puzzle, with a real but non-fatal gap: the practical iϵ diagnostic is argued rather than proven for general interacting theories.","tokens_in":39660,"tokens_out":2248,"would_cite":true,"duration_ms":25418,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["03.65.Yz","11.10.Ef","11.10.Gh"],"model":"deepseek-v4-flash","headline":"Tracing out heavy fields preserves purity in the energy basis","keywords":["decoherence","decoupling","effective field theory","purity","i-epsilon prescription","open quantum systems","heavy field integration","Wightman functions"],"falsifier":"A concrete falsifier: compute the purity of a light scalar coupled to a heavy scalar through a non-Gaussian interaction such as $\\sigma^2\\phi^2$, expanding in $1/M$ first with the $i\\epsilon$ regulator held fixed. If the purity deficit contains any term polynomial in $1/M$ rather than exponentially suppressed, the proposed diagnostic does not implement decoupling.","tokens_in":38577,"feed_emoji":"⚛️","tokens_out":8724,"duration_ms":76526,"temperature":0.7,"pith_summary":"Effective field theory says that integrating out heavy degrees of freedom should leave behind Hamiltonian time evolution, so pure low-energy states stay pure. Explicit calculations that trace out a heavy scalar instead find purity loss at order $1/M$, which no local effective Hamiltonian can produce. This paper's resolution is that the two statements describe different projections: tracing out the field operator is not the same as projecting onto exact energy eigenstates. When the heavy mass $M$ is taken to infinity before the regulator $\\epsilon$ is removed, the state remains pure up to exponentially small corrections; the apparent power-law decoherence appears only when $\\epsilon$ is removed first. The $i\\epsilon$ prescription in Wightman functions provides a practical way to perform the correct energy projection without first diagonalizing the heavy sector.","feed_headline":"Tracing out heavy fields preserves purity in the energy basis","feed_subtitle":"The i-epsilon prescription projects onto exact energy eigenstates, making 1/M decoherence vanish.","key_machinery":"The central mechanism is the $i\\epsilon$ prescription: Wightman functions are defined with time differences carrying a small negative imaginary part, $t-t'\\to t-t' - i\\epsilon$, which suppresses large-energy intermediate states and acts as a detector resolution scale $\\epsilon\\sim 1/\\Lambda$. The paper's key observation is that this regulator automatically implements the projection onto exact energy eigenstates, so expanding in $1/M$ first and only then taking $\\epsilon\\to 0$ selects the 'decoupled basis' (energy eigenbasis), while the opposite order selects the 'decohered basis' (field basis). These two bases are related by field redefinitions that move $1/M$ corrections from one basis to the other; the non-commutativity of the two limits is what reconciles decoupling with decoherence calculations.","core_discovery":"The paper's central claim is that the decoupling-decoherence paradox is an artifact of basis choice, resolved by the non-commutativity of the limits $\\epsilon\\to 0$ and $M\\to\\infty$. Projecting onto the decoupled basis of exact energy eigenstates --- implemented by taking $M\\to\\infty$ with the $i\\epsilon$ regulator fixed --- keeps the low-energy state pure up to exponentially small corrections, in agreement with the EFT theorem. Tracing out the field $\\phi$ in the decohered basis (taking $\\epsilon\\to 0$ first) produces the power-law $1/M$ purity loss reported in prior work. Both answers are correct for different physical questions, and the relevant one depends on whether the heavy mass $M$ is above or below the EFT resolution scale $\\Lambda\\sim 1/\\epsilon$. The same non-commuting limit structure also controls when ultraviolet divergences appear in purity calculations and how they can be renormalized.","pith_inferences":["The same basis dependence should affect other entanglement measures computed by tracing out heavy fields, such as entanglement entropy, so those quantities need the same energy-projection diagnostic.","Time-dependent couplings that switch off at late times can realign the decohered and decoupled bases, which offers an interpretation of recoherence phenomena as the environment effectively decoupling.","A stress test for the proposal would be a fully non-Gaussian model with a $\\sigma^2\\phi^2$ interaction: if purity loss at order $1/M$ survives the '1/M first, $\\epsilon$ later' ordering, the diagnostic would fail outside the worked examples.","The clean separation between energy-based and field-based tracing suggests a general guideline for open effective field theories: define the environment by an energy threshold, not by field content."],"forward_implications":["Purity calculations that trace out fields answer a different question from the one EFT decoupling addresses, so a power-law purity deficit is not evidence that decoupling fails.","For heavy masses $M$ above the EFT cutoff $\\Lambda$, low-energy states stay pure up to exponentially small corrections, so a local effective Hamiltonian suffices and no non-Hamiltonian open-system terms are needed.","For $M$ below $\\Lambda$, $1/M$ corrections to purity are physically resolvable and the decohered-basis calculation applies.","UV divergences can genuinely appear in decoherence calculations when the regulator is removed first, and they are absorbed by standard counterterms, including operator mixing and field redefinitions.","In in-in (Schwinger-Keldysh) evolution, the choice of which fields are the 'system' changes the purity, so that choice carries physical information."],"supporting_citations":[{"why":"the explicit sudden and adiabatic purity-loss calculations (mass mixing, kinetic mixing, cubic couplings) that pose the puzzle this paper resolves.","marker":"[4]"},{"why":"the in-in formalism and covariance-matrix purity relations used to connect occupation number changes to purity.","marker":"[5]"},{"why":"the effective-field-theory textbook argument that integrating out heavy states yields Hamiltonian evolution and hence preserves purity.","marker":"[3]"},{"why":"the foundational treatment of phenomenological Lagrangians that anchors the decoupling expectation.","marker":"[1]"},{"why":"the Keldysh-field-theory review documenting how the i-epsilon regulator is used for driven open systems, framing the prescription's role.","marker":"[10]"},{"why":"prior analysis of divergences in open quantum systems that the UV-divergence discussion builds on.","marker":"[11]"},{"why":"the renormalization textbook supplying the counterterm and operator-mixing machinery invoked to absorb purity divergences.","marker":"[25]"}],"fun_headline_variants":["Decoherence paradox resolved: it's all about basis choice","Tracing out heavy fields: purity depends on basis and limits","Decoupling vs decoherence: the answer is in the i-epsilon","Non-commuting limits fix the decoupling-decoherence tension"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole argument depends on the claim that using a small negative imaginary part in time differences automatically selects the exact energy eigenstates, so that taking $M\\to\\infty$ first keeps states pure; this is checked in examples but not proven for arbitrary interacting theories.","fun_headline_variants_meta":{"raw":{"variants":["Decoherence paradox resolved: it's all about basis choice","Tracing out heavy fields: purity depends on basis and limits","Decoupling vs decoherence: the answer is in the i-epsilon","Non-commuting limits fix the decoupling-decoherence tension"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000215,"raw_usage":{"total_tokens":1421,"prompt_tokens":930,"completion_tokens":491,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":546,"completion_tokens_details":{"reasoning_tokens":416}},"tokens_in":546,"tokens_out":491,"duration_ms":4706,"temperature":1.0,"reasoning_tokens":416,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T21:10:17.522241+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete falsifier: compute the purity of a light scalar coupled to a heavy scalar through a non-Gaussian interaction such as $\\sigma^2\\phi^2$, expanding in $1/M$ first with the $i\\epsilon$ regulator held fixed. If the purity deficit contains any term polynomial in $1/M$ rather than exponentially suppressed, the proposed diagnostic does not implement decoupling.","supporting_citations":[{"cited_title":"Introduction to Effective Field Theory,","cited_arxiv_id":null,"evidence_quote":"the effective-field-theory textbook argument that integrating out heavy states yields Hamiltonian evolution and hence preserves purity."},{"cited_title":"Phenomenological Lagrangians,","cited_arxiv_id":null,"evidence_quote":"the foundational treatment of phenomenological Lagrangians that anchors the decoupling expectation."},{"cited_title":"Keldysh field theory for driven open quantum systems,","cited_arxiv_id":null,"evidence_quote":"the Keldysh-field-theory review documenting how the i-epsilon regulator is used for driven open systems, framing the prescription's role."},{"cited_title":"Renormalization,","cited_arxiv_id":null,"evidence_quote":"the renormalization textbook supplying the counterterm and operator-mixing machinery invoked to absorb purity divergences."}],"review_version":1}