{"id":"f25c4048-fd48-449d-b628-02edbbc4117f","arxiv_id":"2504.13739","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Local modular Hamiltonians are constructed for holographic time band states in AdS3/CFT2; they take the form of an integral of the stress tensor with a weight given by the upper envelope of causal diamond temperatures.","lead":"Physicists found a local 'modular Hamiltonian' for quantum states living in a time band in a holographic model, expressed as an integral of the energy density. This adds a new example to the short list of systems where this operator is simple, with potential implications for how spacetime and quantum information connect.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proposed modular Hamiltonian is never checked against the defining KMS condition; the derivation assumes the local form (3.3) and uses consistency constraints that cannot uniquely fix a modular Hamiltonian.","rationale":"The most load-bearing link in the chain from the holographic setup to formula (6.1) is the identification of the operator K_tb as a modular Hamiltonian. Section 3.2 explicitly assumes the local form (3.3); Section 3.3 and Appendix A then determine the weight f_T uniquely within that ansatz using constraints I–IV and the vanishing-CMI relation. I checked whether the step from vanishing CMI to modular-Hamiltonian additivity (3.2) is the weak point: for finite-dimensional quantum Markov states in the Hayden–Jozsa–Petz–Winter decomposition, the identity K_AEB = K_AE + K_EB − K_E does hold on the support after summing over blocks, so that step is not the primary concern. The deeper gap is that no KMS check is performed. A modular Hamiltonian is not defined by satisfying a first law or vanishing CMI; it is defined up to a constant by the KMS condition. The geometric-flow construction in Sections 4.1–4.2 postulates worldlines and then asserts that the resulting observer temperatures give the modular Hamiltonian; Appendix C only shows that the observer formula equals the max formula, not that either is the physical modular flow. Thus both independent methods share the same unverified assumption: that a local modular Hamiltonian of the form (3.3) exists and is characterized by those constraints. The uniqueness proof does not rescue this because it assumes the ansatz. The first-law verification in Section 5 is a necessary condition, but it is far from sufficient. The paper should be accepted only after the KMS condition is checked for the proposed K_tb. This is a concrete, well-defined computation because in a 2D CFT the flow generated by ∫ f_T T00 can be determined explicitly. The reader's conditional verdict is appropriate, though the specific missing test is more sharply identified here.","tokens_in":14177,"tokens_out":35397,"duration_ms":327640,"concrete_test":"Verify the KMS condition for the proposed K_tb in the simplest uniform time band. Compute the bulk two-point function ⟨O(t,x) O(0,x')⟩ in the IR-modified geometry for primary operators, and check whether it satisfies ⟨O(t,x) O(0,x')⟩ = ⟨O(0,x') O(t+i f_T(x), x)⟩ under the flow generated by (3.4), where f_T(x) plays the role of the local inverse temperature. Equivalently, derive the modular flow vector field from K_tb and check that it leaves the time band causal domain invariant; if the flow pushes operators across the time band boundary, K_tb is not the modular Hamiltonian. This check is decisive because the modular Hamiltonian is uniquely determined, up to a constant, by the KMS condition.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that K_tb = ∫ f_T(x) T00(x) dx with f_T = max_i f_Ri is the modular Hamiltonian of the time band state. The defining property of a modular Hamiltonian is the KMS condition: the flow σ_s(A)=e^{iKs}A e^{-iKs} must preserve the algebra of the time band and the state must be KMS with respect to this flow. The paper never verifies this. Section 3.2 simply assumes the local form (3.3) ('We assume'), and Sections 3.3 and 4 determine f_T by imposing constraints I–IV and the vanishing-CMI relation (3.2). These are necessary consistency conditions, not sufficient: infinitely many operators can satisfy the same constraints, and Appendix A only proves uniqueness within the assumed ansatz, not that the true modular Hamiltonian lies in that ansatz. The geometric-flow method in Section 4 constructs worldlines by fiat (orthogonality and hyperbolicity) and identifies the observer temperature with the modular Hamiltonian without proving that the physical state's modular flow is generated by these worldlines. Key inputs, including exact vanishing of CMI and the flaw in [19], are deferred to a forthcoming paper [42]. Section 5's entanglement first law is a linearized consistency check, not a characterization. Thus the central formula (6.1) is a conjecture supported by consistency checks, not by a proof of modularity.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims to construct the local modular Hamiltonian of holographic time band states in AdS3/CFT2. Working in an IR-modified geometry in which the causal wedge coincides with the entanglement wedge, the authors assume the modular Hamiltonian has the single-integral form K_tb = ∫ f_T(x) T00(x) dx and determine f_T from the vanishing conditional mutual information condition together with four constraints. They find f_T(x) = max_i f_{R_i}(x), i.e. the envelope of entanglement temperatures of causal diamonds inside the time band. An independent construction based on geometric modular flows generated by observer worldlines is claimed to give the same result. The paper also performs a linearized holographic entanglement first law check for the simplest time band and includes appendices on uniqueness, non-intersection of worldlines, equivalence of the two methods, and commutation of modular Hamiltonians with coinciding flows.","tokens_in":14497,"tokens_out":4998,"duration_ms":50821,"significance":"If the central formula is correct, this is a genuinely new example of a local modular Hamiltonian beyond the well-known Rindler and spherical-region cases, and it would strengthen the case for local modular structure in holographic subregions whose causal and entanglement wedges coincide. The paper is explicit and parameter-free: the proposed f_T contains no free parameters, the flat-space uniqueness argument in Appendix A is a real attempt at a proof, and the entanglement first law check in Section 5 is a nontrivial consistency test. The construction also connects to the generalized entropy program of Jensen-Sorce-Speranza and to the causal holographic information problem. However, the advertised result is not yet established: the central assumptions are not derived from the modular theory of the state, and several load-bearing inputs are deferred to other papers.","major_comments":[{"comment":"The starting point 'We assume' that the modular Hamiltonian has the local form K_tb = ∫ f_T(x) T00(x) dx is not derived, and the paper does not verify the defining KMS condition for this operator with respect to the time band algebra. The constraints I-IV and the vanishing-CMI relation (3.2) are necessary consistency conditions, but they do not characterize a modular Hamiltonian outside the assumed ansatz; Appendix A proves uniqueness only among functions satisfying these conditions. The central claim (6.1) is therefore conditional on an unproven locality assumption. The paper should either derive (3.3) from the algebraic structure, or provide a direct check that the proposed flow preserves the time band algebra and satisfies KMS, or be reframed as a conjecture supported by consistency checks.","section":"Section 3.2, Eq. (3.3)"},{"comment":"The large-L limit lim_{L→∞} f_T = πR is stated in Eq. (A.2) to be derived from Constraint 3 and Constraint 4, and Constraint III is attributed to the non-negativity of relative entropy 'as found in [19]'. But Section 3.1 disputes the validity of [19]'s analysis of time band states. The paper needs to prove Constraint III independently of [19], or explain why the disputed argument can still be used in this context; otherwise the uniqueness proof relies on an input whose status is internally inconsistent.","section":"Section 3.3 and Appendix A"},{"comment":"The two conditions defining the geometric modular flows, namely orthogonality of worldlines to the edge of the time band and the requirement that the worldlines be timelike hyperbolas with time reflection symmetry, are imposed rather than derived. The identification of the observer's temperature with the modular Hamiltonian of the time band state assumes that the state's modular flow is generated by these worldlines, which is precisely what needs to be proven. The agreement between the two methods in Section 4.2 is a consistency check between two constructions that share several assumptions, not an independent proof of modularity. Moreover, Appendix C only demonstrates the equivalence of the two formulas locally through a first-order expansion, so a global argument is still missing.","section":"Section 4.1-4.2"},{"comment":"Several load-bearing facts are not established in this manuscript: the exact vanishing of CMI in Eq. (3.1) for finite A and B, the existence of the time band state, and the refutation of the argument in [19]. These are either asserted from the authors' previous work [27] or deferred to a forthcoming paper [42]. Since the derivation of (3.2) and hence of the central formula (6.1) depends on these inputs, the manuscript should either present self-contained derivations of these facts or explicitly characterize the main result as conditional on [27,42].","section":"Section 3.1 and reference [42]"}],"minor_comments":[{"comment":"The integration domain and the support of f_T are not specified; in the explicit flat-space result (3.4) f_T vanishes outside [−L/2−R, L/2+R], and this should be stated in the general formula.","section":"Section 3.2, Eq. (3.3)"},{"comment":"The quantities R(x0) and R'(x0) are used before being defined; the paper should define the edge profile of the time band and its derivative in the notation of Appendix C.","section":"Appendix C, Eq. (C.1)"},{"comment":"The statement that e^{iK2δs2}e^{-iK1δs1} commutes with all operators in the vacuum state should be phrased more precisely: commutation with all operators of the algebra does not by itself imply proportionality, and the interpolation argument in Appendix D remains a sketch rather than a rigorous limiting proof.","section":"Section 4.3, Eq. (4.3)"},{"comment":"The paper cites the in-progress work [42] for the detailed refutation of [19], for the higher-dimensional generalization, and for further discussion of the entanglement first law; relying on an unpublished paper for central claims weakens the self-containedness of the manuscript.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is heavily self-referential: the existence and CMI property of the time band state are taken from the authors' previous paper [27], and the refutation of [19] plus other key extensions are deferred to the forthcoming [42]. I would encourage the editor to ask the authors to make those inputs available or to clearly mark the result as conditional. In addition, the use of a bound from [19] in Constraint III while simultaneously arguing that [19] is flawed should be clarified, as it currently creates an internal tension in the uniqueness proof."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The new thing here is concrete: for a holographic time band in the AdS3/CFT2 setup with the modified IR geometry, the authors propose that the modular Hamiltonian is local, K_tb = ∫ f_T(x) T00(x) dx, with f_T(x) = max_i f_Ri(x) where the R_i are causal diamonds inside the band. This is genuinely new, a local modular Hamiltonian beyond Rindler and spheres. The two derivations — one from vanishing CMI / entanglement structure, one from geometric modular flows of boundary observers — land on the same formula, and the entanglement first law check goes through for the simplest case. The appendices also show real work: uniqueness within the assumed ansatz, non-intersection of the observer worldlines, and the equivalence of the two constructions. The authors are honest about their starting points (\"We assume\", \"We propose two natural conditions\").\n\nThe soft spots are exactly where the stress-test note points. The defining property of a modular Hamiltonian is the KMS condition: the state must be KMS with respect to the flow generated by K_tb, and the flow must preserve the time band algebra. The paper never checks this. Instead, it assumes the local form (3.3) and then imposes constraints I–IV, which are consistency conditions but not sufficient — infinitely many operators can satisfy them. Appendix A proves uniqueness only within the local-T00 ansatz; it doesn't show the true modular Hamiltonian lies in that ansatz. The geometric method is likewise strongly constrained by fiat (orthogonal, hyperbolic worldlines), and the identification of observer temperature with modular flow is plausible but not derived from the state. Additionally, the refutation of [19] and the exact zero-CMI property are deferred to an in-progress [42]; as it stands, the paper's central claim is a well-motivated conjecture, not a proof.\n\nThese gaps are significant but not disqualifying. Nothing that is actually derived appears wrong; the issue is that the main result is not actually established. The paper reads as a research announcement plus extensive supporting checks, and it will be useful to the subfield as a conjecture — but it should not be published as a proof that the modular Hamiltonian is local without either a KMS check or a clear reframing.\n\nWho gets value: anyone working on holographic entanglement, causal wedges, and the Jensen–Sorce–Speranza program. It deserves a serious referee; with a required revision that either fills the KMS gap or explicitly labels the central formula as a conjecture, it could be worth publishing. My recommendation: send to peer review, but make clear that the deferral to [42] is not acceptable for the key inputs.","headline":"A plausible new formula for a local modular Hamiltonian of holographic time bands, derived by two independent heuristics, but the central claim is a conjecture: the defining KMS condition is never checked and the local form is assumed.","tokens_in":14965,"tokens_out":1347,"would_cite":true,"duration_ms":14410,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81T40","81P40","83C47"],"pacs":["11.25.Tq","04.60.-m"],"model":"deepseek-v4-flash","headline":"The paper claims that the modular Hamiltonian of a holographic time band is local, with entanglement temperature equal to an envelope of causal-diamond temperatures.","keywords":["modular Hamiltonian","holographic time band","entanglement temperature","conditional mutual information","geometric modular flow","AdS3/CFT2","entanglement first law","causal wedge"],"falsifier":"Compute the actual reduced density matrix of a small time band in a tractable boundary theory, such as a free CFT or a small tensor-network model, and test whether $\\log\\rho$ equals $\\int f_T(x) T_{00}(x)\\,dx$ with $f_T=\\max_i f_{R_i}(x)$; any deviation, such as operator dependence beyond $T_{00}$, would falsify the formula. A cheaper check: in the IR-modified geometry, measure $I(A:B|E)$ for finite $A$, $B$, $E$; the derivation requires it to vanish exactly, not just to second order in the sizes of $A$ and $B$, so a nonzero finite conditional mutual information at any order would break the additivity condition that determines $f_T$.","tokens_in":13979,"feed_emoji":"⏳","tokens_out":7817,"duration_ms":67149,"temperature":0.7,"pith_summary":"The paper tries to show that a holographic time band—a boundary region of finite lifetime whose bulk causal wedge is a spacelike-convex region—has a local modular Hamiltonian, not the generally nonlocal operator one expects. Specifically, it claims that in AdS3/CFT2 with a modified IR geometry, the modular Hamiltonian is $K_{tb} = \\int f_T(x) T_{00}(x)\\,dx$, where $f_T(x)$ is the maximum, over all causal diamonds inside the band, of the known entanglement temperature $f_{R_i}(x)=\\pi(R_i^2-(x-x_i)^2)/R_i$. This matters because only a handful of regions—Rindler wedges and spherical regions—were previously known to have local modular Hamiltonians, and locality is what lets one define a meaningful entropy for the subsystem. The paper gives two independent derivations that arrive at the same formula, and it checks the entanglement first law for the simplest time band.","feed_headline":"Time band states gain a local modular Hamiltonian","feed_subtitle":"Two independent derivations agree on $K = \\int f_T T_{00}$, adding time bands to the short list of local modular Hamiltonians.","key_machinery":"The load-bearing object is the vanishing conditional mutual information condition $I(A:B|E)=0$ for subregions $A$ and $B$ that are causally disconnected inside the time band, with $E$ large enough to touch the IR-region edge. In quantum information theory this equality is equivalent to modular-Hamiltonian additivity, $K_{AEB}=K_{AE}+K_{EB}-K_E$, which pins down how the entanglement temperature of a larger band must be built from smaller causal diamonds. The second route uses geometric modular flows: boundary observers inside the band move on timelike hyperbolas that are orthogonal to the band's edge and non-intersecting; each observer's own causal diamond contributes its vacuum entanglement temperature, and the observer whose diamond vertex touches the band's edge contributes the maximum at that spatial point. The identity $f_T(x)=\\max_i f_{R_i}(x)$ is thus an envelope formula, structurally analogous to how the extremal surface of the time band in the modified IR geometry is the envelope of extremal surfaces of substates. An explicit calculation shows that the diamond solving the maximization condition has its observer worldline exactly the one orthogonal to the band, which is the proof that the two methods agree.","core_discovery":"The central claim is that the modular Hamiltonian of a holographic time band state is local and is given exactly by $K_{tb} = \\int f_T(x) T_{00}(x)\\,dx$ with $f_T(x)=\\max_i f_{R_i}(x)$ (Eq. 6.1), where $i$ runs over every causal diamond fully inside the time band and $f_{R_i}(x)=\\pi(R_i^2-(x-x_i)^2)/R_i$ is the vacuum entanglement temperature of that diamond. For the simplest uniform band spanning $[-L/2-R,\\,L/2+R]$, this reduces to $f_T=\\pi R$ on the middle plateau and to the causal-diamond parabola $\\pi(R^2-(x\\mp L/2)^2)/R$ on each edge. The authors prove uniqueness of this form for the flat uniform band under natural constraints, and they show that two independent routes—the vanishing-conditional-information property of the state and the construction of non-intersecting hyperbolic observer worldlines orthogonal to the band's edge—select the same envelope formula. They also verify the entanglement first law for the simplest band using the Noether-charge and symplectic-potential formalism, with a bulk modular flow vector $\\xi=\\pi(1-z^2-t^2)\\partial_t - 2\\pi t z\\partial_z$ that is Killing only on the $t=0$ slice.","pith_inferences":["Editorial inference: the max formula is an upper envelope of local equilibrium temperatures, suggesting a possible variational principle—entanglement temperature at a point is the largest over all reconstructable diamonds—that might generalize beyond AdS3 to define a modular temperature field for any causal domain.","Editorial inference: the non-intersection of the observer worldlines is tied to convexity of the bulk surface; one could test whether non-convex or wiggly time bands necessarily lack any local modular Hamiltonian, which would sharpen the link between state existence and geometric convexity.","Editorial inference: the saturation $f_T \\le \\pi R$ at large $L$ matches a relative-entropy bound; if the same bound holds in higher dimensions, the plateau value may serve as a universal maximum entanglement temperature for planar bands.","Editorial inference: the two derivations agreeing is strong but not a proof of uniqueness for arbitrary shapes; a direct verification that the flow generated by the hypothesized $K$ is the true modular flow of the state would close the gap."],"forward_implications":["Time band states are legitimate holographic states: the IR-modified construction gives them a local modular Hamiltonian, contradicting the earlier claim that such states cannot exist with the differential-entropy area interpretation.","The envelope formula $f_T(x)=\\max_i f_{R_i}(x)$ determines the modular Hamiltonian for arbitrary convex-shaped time bands, not only the uniform band; the result depends on the shape through which causal diamonds touch the band's edge.","The entanglement first law $\\delta S=\\delta\\langle K_{tb}\\rangle$ holds for the simplest time band, verified via the Noether-charge and symplectic-potential formalism.","For causal wedges that are not entanglement wedges, the same IR-modification method yields a density matrix whose local modular Hamiltonian has entropy equal to the wedge's area, giving a new handle on the causal holographic information problem.","The modular Hamiltonians of two time bands with coinciding modular flows are consistent: the flow generated by one is compensated by the other up to a constant, as shown for bands built from eye-shaped, Rindler-shaped, and hyperbolic-shaped pieces."],"supporting_citations":[{"why":"Supplies the subalgebra-subregion duality framework in which a causal wedge that equals an entanglement wedge should have a local modular Hamiltonian.","marker":"[13]"},{"why":"The earlier argument that the time band state does not exist; the paper identifies a flaw in it and uses its relative-entropy bound $f_T\\le \\pi R$ as a constraint.","marker":"[19]"},{"why":"Constructs the modified IR geometry that turns the time band's causal wedge into an entanglement wedge, establishing the state's existence and the CW=EW condition.","marker":"[27]"},{"why":"Gives the modular Hamiltonian of causal diamonds in vacuum, the $f_{R_i}(x)$ entanglement-temperature functions whose envelope is the paper's $f_T$.","marker":"[35]"},{"why":"Conjectures that a bulk vector Killing near the enclosing surface generates a local modular Hamiltonian; the observer worldline construction follows it.","marker":"[38]"},{"why":"Establishes that vanishing conditional mutual information implies modular-Hamiltonian additivity $K_{AE}+K_{EB}-K_E$, the equation that fixes $f_T$.","marker":"[43]"},{"why":"Provides the Noether-charge and symplectic-potential formalism used to check the entanglement first law for the simplest time band.","marker":"[47]"}],"fun_headline_variants":["Local modular Hamiltonian constructed for holographic time bands","Two independent methods yield one local modular Hamiltonian","Holographic time bands gain explicit local modular Hamiltonian","Time band states now have a local modular Hamiltonian","Independent derivations agree on local modular Hamiltonian for time bands"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing assumption is that the time band state's modular Hamiltonian is exactly a single integral of the boundary energy density, $K_{tb} = \\int f_T(x) T_{00}(x)\\,dx$, with no other operators contributing at any point; if additional terms appear, the formula $f_T = \\max_i f_{R_i}(x)$ is not the modular Hamiltonian of the state.","fun_headline_variants_meta":{"raw":{"variants":["Local modular Hamiltonian constructed for holographic time bands","Two independent methods yield one local modular Hamiltonian","Holographic time bands gain explicit local modular Hamiltonian","Time band states now have a local modular Hamiltonian","Independent derivations agree on local modular Hamiltonian for time bands"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000883,"raw_usage":{"total_tokens":3833,"prompt_tokens":983,"completion_tokens":2850,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":599,"completion_tokens_details":{"reasoning_tokens":2777}},"tokens_in":599,"tokens_out":2850,"duration_ms":17930,"temperature":1.0,"reasoning_tokens":2777,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T12:01:11.957655+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the actual reduced density matrix of a small time band in a tractable boundary theory, such as a free CFT or a small tensor-network model, and test whether $\\log\\rho$ equals $\\int f_T(x) T_{00}(x)\\,dx$ with $f_T=\\max_i f_{R_i}(x)$; any deviation, such as operator dependence beyond $T_{00}$, would falsify the formula. A cheaper check: in the IR-modified geometry, measure $I(A:B|E)$ for finite $A$, $B$, $E$; the derivation requires it to vanish exactly, not just to second order in the sizes of $A$ and $B$, so a nonzero finite conditional mutual information at any order would break the additivity condition that determines $f_T$.","supporting_citations":[{"cited_title":"Hayden, R","cited_arxiv_id":null,"evidence_quote":"Establishes that vanishing conditional mutual information implies modular-Hamiltonian additivity $K_{AE}+K_{EB}-K_E$, the equation that fixes $f_T$."},{"cited_title":"Iyer and R","cited_arxiv_id":null,"evidence_quote":"Provides the Noether-charge and symplectic-potential formalism used to check the entanglement first law for the simplest time band."}],"review_version":1}