{"id":"3776db0d-07c5-4c34-9979-1140817ee90c","arxiv_id":"2607.19861","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The ETH off-diagonal variance is decomposed exactly into a diagonal overlap baseline plus a multi-resolvent correlation series, whose third level generically generates odd-frequency skewness.","lead":"This paper derives the smooth envelope of ETH off-diagonal matrix elements from a hierarchy of resolvent products, rather than leaving it as a fitted function. Its key new claim is that the third level of the hierarchy produces an odd-frequency skewness absent from all single-resolvent closures.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"DCA validity is the load-bearing condition: the finite-frequency r=3 odd-parity signature rests on an imported closure whose supporting moment-preservation argument only constrains high-frequency asymptotics; no numerics rule out a DCA-induced artifact.","rationale":"The reader's CONDITIONAL verdict matches the manuscript's actual structure: Theorem 1 and the exact kernel representation (31) are self-contained and correct; the hierarchy and parity predictions are conditional on the DCA. My stress-test does not change that verdict. The weakest assumption is indeed Eq. (63), not a hidden algebraic error. I checked whether Appendix A's moment preservation independently rescues the DCA; it does not, because it controls high-frequency asymptotics only. Eq. (A5) shows deviations first at O(z^{-4}), whereas the odd-parity signature at r=3 is a finite-frequency, finite-system effect. The paper itself flags the missing pieces: Eq. (102) is based on Assumption A, Section V.D disclaims that a rigorous connected-cumulant correspondence is future work, and Section IV.A states that detailed validity/failure conditions are in Ref. [11]. No numerical evidence is presented. Thus my concern is a correctness risk rather than internal inconsistency. The exact core merits acceptance as a formal decomposition; the strong claim that 'no free fitting functions remain' (Sec. V.F) is not yet justified. The verdict should remain CONDITIONAL, with no adjustment from the reader's assessment.","tokens_in":36887,"tokens_out":6180,"duration_ms":66803,"concrete_test":"Independent numerical check: exact diagonalize a small nonintegrable system-bath model (e.g., one or two spin-1/2 system spins coupled to L=10–14 bath spins with a local XXZ interaction V), and compute the exact correlation C^{jij}_{nmn} via Eq. (12) for eigenstate pairs in a mid-spectrum window. Independently compute the DCA prediction g^(2)+g^(3) from Eqs. (97)–(98) using the exact diagonal spectral functions f_α(E)=e^{S(E)}p_α(E) obtained from the same diagonalization (without importing Ref. [11]). Then measure the odd-parity projection C_odd(ω;E_+)=1/2[C(E_++ω/2,E_+-ω/2)-C(E_+-ω/2,E_++ω/2)]. If C_odd is not compatible with the DCA g^(3) form in sign, magnitude, and system-size scaling, the central r=3 claim is falsified; if they match, the DCA validation gap is substantially closed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central predictive claim — closed formulas for g^(2), g^(3), and especially the nonzero odd-parity component at r=3 — holds only under the diagonal closure approximation (DCA), Eq. (63): every projected diagonal resolvent R_α^(S) is replaced by the full R_α. The exact decomposition |σ|² = D + C and the projector sum rule (Theorem 1) do not depend on this replacement, and would survive even if the DCA fails. The DCA is not established here. The entropy-dilution argument in Sec. IV A is heuristic: it assumes, rather than derives, that the exponential proliferation of off-diagonal return channels is random-phase suppressed by an additional e^{-S/2}; this is the same ETH-delocalization property the construction is supposed to ground. Appendix A provides a parameter-free algebraic support, but only in the high-frequency Laurent regime: it proves preservation of the first three spectral moments M0, M1, M2 of the off-diagonal resolvent and identifies the first deviation at O(z^{-4}) (Eq. A5). The r=3 odd-parity term is a finite-frequency interference effect; high-frequency moment matching does not constrain its sign or magnitude. In addition, the parity classification itself depends on unproven assumptions: approximate symmetry f_α ≈ even about renormalized centers, near-degeneracy ã_µj ≈ ã_νj (footnote 1), and generic absence of accidental cancellation among bath triples. The suppression estimate g^(r) ~ e^{-(r-1)S/2} (Eq. (102)) is asserted without derivation and is flagged by the paper as relying on Assumption A. No numerical calculation is reported. Therefore, the 'microscopic theory' of f_ji is at present conditional: the exact core is believable, but the new predictive content (parity structure, skewness signature) could be an artifact of the DCA rather than of multi-resolvent interference.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a multi-resolvent hierarchy to give a microscopic description of the ETH smooth function f_ji(E+,ω). It starts from an exact decomposition of the off-diagonal ETH variance into a diagonal overlap baseline D_ji and a correlation term C, proves a projector sum rule, and represents C exactly through a two-frequency resolvent kernel. Under a diagonal closure approximation (DCA), it obtains a series f_ji² = D_ji + Σ_{r≥2} g_ji^(r), with g^(2) even and g^(3) odd under ω↔−ω. The odd-parity term is presented as the first signature of multi-channel resolvent interference, absent from single-resolvent closures. The exact decomposition, sum rule, and resolvent representation are self-contained and appear correct; the constructive hierarchy and the parity prediction are conditional on the DCA, which is imported mainly from an unpublished companion paper.","tokens_in":37274,"tokens_out":7359,"duration_ms":75354,"significance":"If the DCA can be justified, the paper would provide a genuinely new microscopic derivation of the ETH smooth function and a testable odd-parity skewness prediction, beyond the phenomenological Gaussian ansatz. The exact projector sum rule (Theorem 1) and the resolvent kernel representation are valuable in themselves and do not depend on the DCA. The paper also contains a useful high-frequency moment-preservation analysis (Appendix A) showing that the DCA reproduces the first three spectral moments of the off-diagonal resolvent. However, the central constructive claim—closed formulas for g^(2), g^(3), and especially the r=3 odd-parity component—rests on an imported closure whose validity is not established in this manuscript. The entropy-suppression estimate used to justify truncation is also not derived and appears algebraically questionable.","major_comments":[{"comment":"The central constructive claim—the closed forms for g^(2), g^(3) and the odd-parity prediction—rests entirely on the DCA replacement R_α^(S) ≈ R_α. The paper says the DCA is \"established\" in Ref. [11], but the only self-contained support here is the heuristic entropy-dilution argument in Sec. IV A, which assumes a random-phase cancellation that is essentially the ETH property the hierarchy is supposed to organize, and Appendix A, which proves moment preservation only in the high-frequency Laurent regime (Eq. A5), with first deviation at O(z^-4). High-frequency moment matching does not constrain the finite-frequency r=3 odd component. Unless the DCA is validated numerically or an error bound is supplied, Eqs. (98)–(100) are not an established microscopic theory but a proposal conditional on an imported closure.","section":"Sec. IV A, Eq. (63)"},{"comment":"The entropy-scaling estimate g^(r) ~ e^{-(r-1)S/2} is asserted without derivation and is algebraically suspect as written: e^S (e^{S_B} e^{-S})^r f^{2r+3}, with S_B = S + const and f O(1), gives e^S, not e^{-(r-1)S/2}. Moreover, the text takes |V|² ~ e^{-S}, which is ETH eigenstate-matrix-element scaling, whereas V in Eqs. (44)–(45) is the interaction in the fixed unperturbed product basis; local few-body couplings are not exponentially small. This undermines the claimed systematic improvability and the truncation control stated in Eq. (102).","section":"Sec. V D, Eq. (102)"},{"comment":"The odd-parity conclusion is stated as \"generically\" non-zero, but depends on three unproven assumptions: (i) each f_α is even about its renormalized centre, (ii) the centres satisfy ã_µj ≈ ã_νj for dominant pairs, and (iii) no accidental cancellation among bath triples after summation. These are acknowledged in footnote 1 and the surrounding text, but they should be elevated to explicit hypotheses of a theorem, with the parameter regime stated. As it stands, Eq. (99) is not a rigorous prediction but a plausible heuristic.","section":"Sec. III E, Eqs. (61)/(99), footnote 1"},{"comment":"The restoration argument leading to Eq. (82) is explicitly conditional on Assumption A and the positivity condition Eq. (81), both unproven. The logical-chain diagram on p. 14 marks these as conditional, which is commendable, but the abstract and conclusion state the negative-bias result as a rigorous consequence of projector idempotency. The exact Theorem 1 is rigorous; the DCA-level mechanistic explanation is not. Please separate these sharply in the presentation.","section":"Sec. IV C, Eq. (79) and Corollary (82)"}],"minor_comments":[{"comment":"The sentence \"the [2,3] and [3,2] contributions transform with opposite relative signs because the intermediate resolvent R_ξk appears in different frequency slots\" appears twice verbatim. Please remove the duplication.","section":"Sec. III E"},{"comment":"Table I lists definite dominant parities for r=4 and r=5, but Sec. IV G states that a complete parity classification of higher levels remains open. Please clarify that the table entries for r≥4 are speculative or define the precise sense in which they are claimed.","section":"Table I and Sec. IV G"},{"comment":"The statement that \"no free fitting functions remain\" is too strong. The spectral functions f_µi are taken from Ref. [11]; in the present paper they are inputs. Please rephrase to \"no free parameters are introduced in this work beyond the spectral functions determined in the companion paper.\"","section":"Sec. V F"},{"comment":"The leading DCA deviation V_αβ |V_αβ|² / z^4 is derived for off-diagonal resolvents. It would be helpful to state explicitly whether this bound applies uniformly for all α,β or only for typical pairs, and how it translates to the binned correlation C in the thermodynamic limit.","section":"Appendix A, Eq. (A5)"}],"recommendation":"major_revision","confidential_remarks":"The exact projector sum rule and resolvent representation are sound and could form the basis of a useful paper. However, the advertised microscopic hierarchy depends on an unpublished companion paper by the same first author (Ref. [11]), and the self-contained justification of the DCA is either heuristic or limited to high-frequency moments. The scaling argument in Eq. (102) should be checked carefully; it appears to conflate ETH eigenstate matrix-element scaling with the scaling of interaction matrix elements in the fixed basis. I would encourage the editor to request numerical validation of the DCA, at least for a small interacting model, before considering acceptance."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know. The rigorous core is solid: Theorem 1, the exact decomposition of |sigma|^2 into the diagonal product plus a correlation term, the two-frequency resolvent kernel, and the moment-preservation results in Appendix A are correct and self-contained. Everything the paper advertises as new and predictive — the closed hierarchy g = sum_r g^(r), the parity classification, the r=3 skewness signature — is conditional on a diagonal closure approximation (DCA) whose validity is imported from Ref. [11], an unpublished companion by the same author.\n\nCredit where due. The projector sum rule is a genuinely nice result: sum_m C^{jij}_{nmn} = 0, with a negative O(1) integrated bias in the diagonal sector, follows purely from projector idempotency — no ETH input. The reformulation of the mu-neq-nu correlation through K = R_{mu j,nu j} R_{nu i,mu i} is exact and clean, and it makes clear why diagonal overlaps alone cannot see this sector. Appendix A is the other real contribution: it proves the DCA preserves the first three spectral moments of the off-diagonal resolvent and fixes the leading deviation at V_{alpha beta}|V_{alpha beta}|^2/z^4. Parameter-free and checkable. The paper is also honest about its own scaffolding; it labels Assumption A and states plainly that the combinatorial suppression proof is out of scope.\n\nSoft spots, in proportion. The DCA is load-bearing, and the paper's own justification is thin: the entropy-dilution argument in Sec. IV A assumes the very delocalization the construction is supposed to ground, and Appendix A's moment matching constrains only the high-frequency Laurent regime. The r=3 odd-parity term is a finite-frequency interference effect; high-frequency moment preservation says nothing about its sign or magnitude. The reader's central worry is correct. The parity classification also rests on unproven inputs — approximate spectral symmetry about renormalized centers, near-degenerate centers (footnote 1), and generic absence of accidental cancellation — all acknowledged, none established.\n\nOne gap the stress-test missed: the entropy-scaling estimate, Eq. (102), does not close. The displayed counting e^S (e^{S_B} e^{-S})^r f^{2r+3} does not produce e^{-(r-1)S/2} as written, and the paper quotes e^{-(r-2)S/2} and e^{-(r-1)S/2} for the same equation in different places (Sec. V.C vs. Sec. V.E/VII). So the \"controlled expansion\" claim needs an actual derivation before truncation errors can be trusted. No numerics are reported; fine for a theory paper, but the falsifiable content is untested.\n\nBottom line: the exact core is worth taking seriously; the constructive hierarchy is a program, not yet a result. I would send it to referees — the DCA dependence and the scaling are exactly what a referee should pressure-test. I would cite the sum rule and Appendix A. For a reading group, only if someone has actually read Ref. [11]; otherwise the conditional claims can't be evaluated in the room.","headline":"The exact core — projector sum rule, two-frequency kernel, Appendix A moment preservation — is solid; the closed hierarchy and the r=3 odd-parity signature are conditional on a closure imported from an unpublished same-author companion.","tokens_in":37807,"tokens_out":10833,"would_cite":true,"duration_ms":104890,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The ETH smooth function is not a free fit: it decomposes into a diagonal baseline plus a multi-resolvent series whose third-order term is generically odd under ω→−ω.","keywords":["eigenstate thermalization hypothesis","ETH smooth function","multi-resolvent hierarchy","diagonal closure approximation","correlation skewness","projector sum rule","off-diagonal matrix elements","parity under frequency reversal"],"falsifier":"Exact-diagonalize a nonintegrable spin or fermion chain, construct σ^{ji}_{nm} = ⟨φ_S^j|Tr_B |ψ_n⟩⟨ψ_m| |φ_S^i⟩, bin the squared off-diagonal elements by E_+ and ω, and form the odd-parity projection C_odd(ω) = [C(ω)-C(-ω)]/2. The hierarchy predicts C_odd is generically nonzero at third order, with magnitude set by the three-channel coupling and spectral overlap; observing C_odd consistent with zero at that scale, or finding a nonzero odd part in a regime where the DCA is known to fail, would falsify the central claim.","tokens_in":36760,"feed_emoji":"⚛️","tokens_out":7045,"duration_ms":67056,"temperature":0.7,"pith_summary":"This paper aims to turn the smooth function in the eigenstate thermalization hypothesis from a phenomenological fitting object into a computable microscopic quantity. It proves an exact split of the off-diagonal ETH variance into a diagonal overlap baseline D_ji and a correlation correction g_ji, then expresses g_ji as a series Σ_{r≥2} g_ji^{(r)} whose terms are built only from diagonal spectral functions and interaction matrix elements. The r=2 term is even under ω→−ω; the r=3 term generically carries the first odd-parity, skewness component, something no single-resolvent closure can produce. A rigorous projector sum rule forces the integrated off-diagonal correlation to be negative of order unity, and the framework explains that negativity as the signature of cavity subtraction restoring projector idempotency. If the derivation holds, the ETH smooth function becomes a closed, systematically improvable series with a testable parity signature.","feed_headline":"Resolvent series makes ETH smooth function computable","feed_subtitle":"Third-order interference creates a testable odd-parity skewness absent from all single-resolvent closures.","key_machinery":"The central object is the two-frequency correlation kernel K^{ji}_{μν}(z_1,z_2) = R_{μj,νj}(z_1) R_{νi,μi}(z_2), a product of off-diagonal resolvents that connect different bath labels at the same system label. Its double spectral representation exactly reproduces the ETH correlation term C^{jij}_{nmn}, which is inaccessible to diagonal overlaps. Each off-diagonal resolvent is expanded through a recursive projection identity into levels containing increasing numbers of diagonal resolvents; the diagonal closure approximation replaces projected diagonal resolvents by full ones, turning the kernel into an explicit series ordered by interaction-vertex count r. The parity of each level is governe","core_discovery":"On the paper's own terms, the central discovery is that f_{ji}^2(E_+,ω) = D_{ji}(E_+,ω) + Σ_{r≥2} g_{ji}^{(r)}(E_+,ω), where the exact first term comes from diagonal overlaps and every correlation level g^{(r)} is determined by diagonal resolvents and fixed couplings. The leading level g^{(2)} is parity-even, while g^{(3)} generically contains an odd-parity component, so the correlation C^{jij}_{nmn} is asymmetric in ω; this odd component is the defining signature of multi-channel resolvent interference and is rigorously absent from all single-resolvent closures. The derivation is built on an exact two-frequency resolvent kernel and a recursive projection expansion, closed by a diagonal clos","pith_inferences":["If the r=3 prediction is robust, exact-diagonalization studies could isolate the odd component C_odd(ω) and use its sign and shape to infer the three-channel coupling V^{(3)}, effectively imaging the interference network.","The framework's validity hinges on entropy dilution; in small or moderately sized systems where e^{-S} is not tiny, the DCA error could dominate, so the hierarchy's predictive regime may be narrower than the formal S→∞ argument suggests.","The even-r/odd-r parity pattern invites the conjecture that all odd higher-order cumulants appear first at corresponding odd r levels; a connected multi-frequency generating functional would make this precise.","The OTOC connection implies a testable time-reversal asymmetry in four-point spectral functions of chaotic systems, a quantitative prediction worth extracting from the general spectral formula."],"forward_implications":["The ETH smooth function f_ji can be computed, not fitted: its even part is a convolution of diagonal spectral functions and its odd part arises from three-channel interference, with all couplings fixed by the Hamiltonian.","A nonzero antisymmetric component of the correlation under ω→−ω becomes a direct numerical or experimental diagnostic for multi-channel interference; any observation of such skewness rules out all single-resolvent closures.","Truncating at r=2 recovers the even, Gaussian-like sector, while retaining r=3 adds the first non-Gaussian skewness; the entropy scaling g^{(r)} ~ e^{-(r-1)S/2} makes the series systematically improvable.","The projector sum rule gives an exact, model-independent constraint on off-diagonal correlations: the integrated off-diagonal correlation is negative of order unity, tying ETH correlations to pure-state idempotency.","The same hierarchy extends to OTOC four-point functions, Krylov Lanczos coefficients, work distributions, and open-system memory kernels, each inheriting the parity signature."],"fun_headline_variants":["Multi-resolvent series computes ETH smooth function","Third-order term adds testable odd-parity to ETH","Diagonal closure makes ETH smooth function systematically improvable","Resolvent hierarchy reveals odd-parity skewness in ETH","ETH smooth function from diagonal resolvents and fixed couplings"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing step is the diagonal closure approximation of Eq. (63), which replaces every projected diagonal resolvent by the full diagonal resolvent; the explicit closed forms for g^{(2)} and g^{(3)} and the parity classification hold only under this replacement, and the paper's validation of it is imported from an unpublished companion preprint by the same author. If the approximation error is not exponentially suppressed, the microscopic theory of f_ji is unjustified,","fun_headline_variants_meta":{"raw":{"variants":["Multi-resolvent series computes ETH smooth function","Third-order term adds testable odd-parity to ETH","Diagonal closure makes ETH smooth function systematically improvable","Resolvent hierarchy reveals odd-parity skewness in ETH","ETH smooth function from diagonal resolvents and fixed couplings"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000191,"raw_usage":{"total_tokens":1218,"prompt_tokens":818,"completion_tokens":400,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":562,"completion_tokens_details":{"reasoning_tokens":323}},"tokens_in":562,"tokens_out":400,"duration_ms":4205,"temperature":1.0,"reasoning_tokens":323,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T11:30:18.093661+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exact-diagonalize a nonintegrable spin or fermion chain, construct σ^{ji}_{nm} = ⟨φ_S^j|Tr_B |ψ_n⟩⟨ψ_m| |φ_S^i⟩, bin the squared off-diagonal elements by E_+ and ω, and form the odd-parity projection C_odd(ω) = [C(ω)-C(-ω)]/2. The hierarchy predicts C_odd is generically nonzero at third order, with magnitude set by the three-channel coupling and spectral overlap; observing C_odd consistent with zero at that scale, or finding a nonzero odd part in a regime where the DCA is known to fail, would falsify the central claim.","supporting_citations":[],"review_version":1}