{"id":"6d0004af-2165-4d42-89cc-cf75b116d4ac","arxiv_id":"2501.02998","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For a free scalar in 2+1 dimensions with a quadratic null cut, modular flow is local only in symmetric limits; the full nonlocal flow satisfies an integral-differential equation and breaks the local-boost picture at λ = α x^- e^(2πs) ~ 1.","lead":"This paper works out, for a simple quantum field theory, how entanglement 'modular flow' moves fields when the entangled region's boundary is a curved line on a lightlike plane. It gives explicit equations showing the flow becomes nonlocal, and identifies when the usual local-boost approximation breaks down.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The λ∼O(1) breakdown in (4.30) is load-bearing and rests on the explicit large-n approximation in (4.23); the exact generating function for the full recursion should be analyzed before accepting the claimed validity horizon.","rationale":"I read the paper in good faith: it is a careful analytic computation with strong internal consistency checks, including the massless-conformal limits, the null-plane locality check, and the causal-wedge commutator computation in Appendix 6.2. The explicit nonlocal commutator (3.28) and the differential-integral equation (4.5) are substantial. The reader's conditional verdict is appropriate. My stress-test focuses on the finite-flow conclusion, which is the most novel and most load-bearing part of the paper. The concern is not that the authors are careless; they explicitly flag the approximation in footnote 4 and in the discussion. But the central claim about breakdown at λ∼O(1) is exactly the kind of statement that should be checked against the full recursion, not only against a heuristic large-n estimate. I partially agree with the reader: the large-n dominance assumption in (4.23) is the weakest point, and the secondary m x^- ordering issue is real. However, I would not fully endorse the reader's framing that both the λ=1 and λ=2 singularities may be artifacts: the λ=1 singularity also follows from the spectral radius of (m/2)K, so it may be robust even if the second term contributes. The concrete generating-function test would settle this precisely. Since the reader already assigned CONDITIONAL for essentially this reason, my analysis does not change the verdict.","tokens_in":23731,"tokens_out":11043,"duration_ms":102989,"concrete_test":"Derive the exact generating function F(λ;x2,z2)=Σ λ^n g_n(x2,z2) from the full recursion (4.23); summing the recursion gives [2−mλK]∂_λF = −mλ/(1−λ)(x2∂_{x2}+1/2)KF, where K is the convolution with e^{-m|x2−y2|}. Solve this integro-differential equation numerically, e.g. by spectral collocation in x2 and integration in λ from 0 through 2 for representative m and separations, with F(0;x2,z2)=δ(x2−z2). Locate the first singularity or radius of convergence and the large-separation exponential growth rate. If the exact solution still has a singularity at λ=1 and a decay-to-growth transition at λ=2, the dropped sum is not load-bearing and (4.30) can be trusted; if either feature moves or disappears, the claimed breakdown at λ∼O(1) is an artifact of the large-n approximation.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central quantitative claim — that the modular-flow kernel breaks down at λ = α x^- e^{2πs} ~ O(1) and that this bounds the validity of the local-boost/Rindler approximation — is extracted from the partially re-summed expression (4.30). That expression is obtained from recursion (4.23) by keeping only the first term on the right-hand side at large n, g^{(n+1)} ≈ (m/2)∫ e^{-m|x2-y2|} g^{(n)} + O(n^{-1}). Footnote 4 explicitly concedes that the omitted sum over k 'could collectively contribute at the same order,' and the self-consistency estimate (4.24)-(4.25) bounds the sum of the two limiting terms by O(√n) versus O(n). This is not a proof: the operator (x2∂_{x2}+1/2)K applied to the partial sum involves n correlated terms, and even an O(1) correction in the recursion can move the radius of convergence or alter the branch structure of the generating function. The singularities at λ=1 and λ=2 in (4.30) are therefore not established features of the exact kernel. A secondary fragility compounds this: the x^- perturbation theory in §4.1 truncates at order (x^-)^2 without stating the required smallness of m x^-, even though the nonlocal coefficients carry powers of m. If the exact recursion has the same singularities, the central claim survives; if not, the quantitative validity horizon is an artifact of the large-n truncation.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies modular flows of the vacuum state across deformed null cuts x⁺ = γ(x⊥) on the null plane x⁻ = 0, for a free (massive or massless) scalar in 2+1 dimensions. Taking the full modular Hamiltonian Ĥ_γ = 2πM₁₀ − 2πP_γ from the half-sided modular inclusion construction of prior work, the authors compute the commutator [P_γ, φ(x)] by mode expansion for monomial profiles γ(x₂) = x₂ⁿ. For γ = (x₂)² and m ≠ 0 they obtain the explicit nonlocal modular commutator Eq. (3.28), with the nonlocal convolution kernel e^{−m|x₂−y₂|}; the massless limit reduces to the action of the special conformal charge. Section 4 derives a differential-integral equation, Eq. (4.5), for the finite modular flow after stripping the local part, solves it to second order in the transverse distance x⁻, and studies the regime x⁻ → 0, s → ∞ at fixed λ = αx⁻e^{2πs}. A partial resummation, Eq. (4.30), suggests the flow kernel develops singularities at λ = 1 and λ = 2, implying breakdown of the local-boost (Rindler) approximation at λ ~ O(1), corresponding to a modular-time horizon s̄ ~ −(1/2π)ln(αx⁻). The paper also verifies that the infinitesimal flow preserves the von Neumann algebra of the region (Appendix 6.2).","tokens_in":24098,"tokens_out":24782,"duration_ms":218551,"significance":"If the results hold, this is a significant addition to the small explicit literature on nonlocal modular flows. The commutator (3.28) is supported by strong internal checks: the linear and quadratic cuts reproduce the known symmetry charges, the massless limit matches the primary-field transformation law, and the null-plane restriction (3.33)–(3.34) reproduces the independent result of [43]. The differential-integral equation (4.5) is a new concrete tool for finite nonlocal modular flow, and Appendix 6.2's explicit vanishing of the flowed commutator for x ∈ R_γ, y ∈ L_γ is a substantive consistency test of the Tomita-Takesaki framework. The paper is commendably transparent about the limits of its resummation (Footnote 4). The principal weakness is that the headline quantitative claim, the validity horizon at λ ~ O(1), rests on a large-n approximation to recursion (4.23) whose accuracy is not established, while Section 5 states the breakdown as a conclusion. A full or numerical treatment of the recursion, or an explicit downgrade of the breakdown claim to conjecture, is needed before the quantitative horizon is established.","major_comments":[{"comment":"The central quantitative claim of the paper — that the modular-flow kernel breaks down at λ = αx⁻e^{2πs} ~ O(1) and that this fixes the validity horizon of the local-boost approximation, Eqs. (4.30)–(4.31) — is not established by the analysis of recursion (4.23). The approximation (4.26) drops the n-term sum on the right-hand side of (4.23), and Footnote 4 concedes that this sum “could collectively contribute at the same order.” The self-consistency estimate (4.24)–(4.25) bounds only the two limiting terms of the partial sum Σ_{k<n} g^{(k)} (giving O(√n) and O(1) against O(n)); it does not track the action of the operator (x₂∂_{x₂} + 1/2), which generates extra factors of order m|x₂| and m·sgn(x₂ − y₂) when applied to the n correlated terms of the partial sum, so the subdominance of the neglected term is not demonstrated. Consequently, the singularities at λ = 1 and λ = 2 in (4.30) are not proven to be features of the exact kernel, and the horizon s̄ ~ −(1/2π)ln(αx⁻) is stated in the Discussion bullets with more confidence than the analysis supports. The derivation of the recursion (4.23) itself is also omitted (“we can derive the following recursion equations”), and the preprint does not specify how the leading-λⁿ part of G^{(n)} is separated from the slower-growing terms. I recommend either solving (or numerically resumming) the full recursion, for instance by deriving the exact generating function in λ, or explicitly reformulating the breakdown statements in Section 5 as conjectures.","section":"§4.2, Eqs. (4.23)–(4.31), Footnote 4; §5 Discussion"},{"comment":"The perturbation theory in small x⁻ is presented without a stated regime of validity. The expansion (4.10) is in powers of x⁻, but the coefficients G^{(n)} and the explicit solutions (4.19)–(4.20) carry powers of m and α, and the paper nowhere states the dimensionless control parameters (e.g., m x⁻ ≪ 1, α x⁻ ≪ 1, and smallness of x⁻ times field gradients) that would justify truncating at order (x⁻)². A heuristic estimate ∫dy₂ e^{−m|x₂−y₂|}φ(y₂) ~ (2/m)φ(x₂) suggests the dominant nonlocal term is actually of order (x⁻)² rather than m(x⁻)², so the truncation may be better behaved than the coefficients suggest, but this should be stated explicitly. Since the λ-series of Section 4.2 is built on the all-orders x⁻ expansion, the paper should identify the control parameter and specify the sense in which the expansion is asymptotic.","section":"§4.1, Eqs. (4.8)–(4.20)"}],"minor_comments":[{"comment":"The argument of the exponential kernel in (4.5) and (4.8) appears as e^{2παs}x⁻x₂, which is inconsistent with the scaling combination λ = αx⁻e^{2πs} used throughout Section 4.2; please correct the typesetting and define the flowed-coordinate variable in the kernel unambiguously.","section":"§4, Eqs. (4.5) and (4.8)"},{"comment":"There are numerous typos and grammatical slips that should be cleaned up: “knwon” and “chosed” in Section 2, “casual wedge” for “causal wedge” in Section 3.3, “suffers a breaks down” in the Section 5 bullet, a stray “in” after the citation [38–41] in Section 1, and “N¨other” and “R´enyi” should be “Noether” and “Rényi”.","section":"Throughout"},{"comment":"The abstract states “1 + 2 dimensions” while Section 1 says “2+1 dimensional space-time”; please unify the dimension-counting notation.","section":"Abstract and Section 1"},{"comment":"In (4.21), the symbol “···” denotes terms that grow slower than e^{2πns}; since g^{(n)} is thereby defined only up to slower-growing contributions, the paper should state explicitly that the recursion (4.23) applies to the leading (λⁿ) part of G^{(n)} and verify consistency of this separation.","section":"§4.2 after Eq. (4.21)"}],"recommendation":"major_revision","confidential_remarks":"The paper fits the scope of JHEP, and the core derivations (the commutator computation and the differential-integral equation) appear sound; my recommendation is driven entirely by the gap between the admitted approximation in the resummation and the strength of the breakdown claims in Section 5. The reliance on the modular Hamiltonian (2.2) from [16,17,43], including papers co-authored by H. Wang, is proper use of prior published work with independent derivations and does not amount to circularity; the author self-citation pattern is appropriate. If the resummation issue is addressed by either a full generating-function analysis or a clearly qualified claim, the paper would be a solid contribution to the subject."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First thing to know: the exact commutator computation is the solid part of this paper; the λ ~ O(1) breakdown horizon is a heuristic that the authors themselves flag, and it should not be treated as established. The genuinely new content is the explicit non-local modular commutator (3.28) for a massive free scalar across a quadratic null cut, the general structure (3.35), and the differential-integral equation (4.5). Those are real contributions. The local cases γ=1, x2, (x2)^2 at m=0 reproduce the expected symmetry generators, the null-plane limit (3.33)-(3.34) matches Casini-Teste-Torroba, and Appendix 6.2 gives a nice check that the non-local support of the commutator does not violate Tomita-Takesaki. That section is careful and internally consistent.\n\nThe soft spot is Section 4.2. The resummed kernel (4.30) and the breakdown at λ ~ O(1) rest on the claim that in the recursion (4.23) the first term on the right dominates at large n. Footnote 4 concedes that the omitted sum over k 'could collectively contribute at the same order.' The self-consistency estimate (4.24)-(4.25) bounds two limiting terms by O(√n) against O(n), but that is not a proof that the full sum is subdominant; the operator (x2∂x2 + 1/2)K couples n correlated terms, and even an O(1) correction can move the radius of convergence. So the singularities at λ=1 and λ=2 are not established features of the exact kernel. The central claim might survive a more careful analysis, but as it stands it is a conjecture. Secondary: the x^- perturbation theory in §4.1 truncates at order (x^-)^2 without stating the required smallness of m x^-, even though the non-local coefficients carry powers of m. That is a minor omission.\n\nBottom line: the exact combinatorics are useful and the paper deserves a serious referee. The finite-flow section needs either a proof of the large-n dominance or a substantial numerical check of the recursion before the λ ~ O(1) claim can be taken as quantitative. If I were the editor, I would send it out, but with a referee specifically charged to look at the recursion (4.23).","headline":"Exact non-local modular commutators are solid and worth refereeing; the λ~O(1) breakdown horizon is a heuristic the authors themselves flag, not an established result.","tokens_in":24592,"tokens_out":2737,"would_cite":true,"duration_ms":65308,"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 paper derives an explicit non-local modular flow for a massive free scalar across a quadratic null cut and shows that the standard local-boost (Rindler) approximation breaks down at a computable, finite modular time.","keywords":["modular flow","non-local modular Hamiltonian","half-sided modular inclusion","null-plane entanglement","free scalar quantum field theory","Rindler approximation","modular commutator","entanglement structure"],"falsifier":"Compute the coefficients $g^{(n)}(x_2,z^-,z_2)$ from the full recursion (4.23), without dropping the summation, for $n = 3$ through 10, and compare the ratio $g^{(n+1)}/g^{(n)}$ with the estimate $(m/2)\\int e^{-m|x_2-y_2|}$ used in the paper: if the ratio grows like $n$ rather than staying bounded, the singularities at $\\lambda = 1$ and $\\lambda = 2$ in the resummed kernel (4.30) are artifacts of the truncation and the true breakdown time would shift or disappear.","tokens_in":23537,"feed_emoji":"⚛️","tokens_out":10081,"duration_ms":87126,"temperature":0.7,"pith_summary":"Most explicitly understood modular flows in quantum field theory are local, meaning an operator simply moves along a spacetime trajectory. This paper studies a class of genuinely non-local modular flows: the vacuum flow across a null cut whose shape is deformed, $x^+ = \\gamma(x_\\perp)$, a setting where the half-sided modular inclusion fixes the modular Hamiltonian exactly. For a massive free scalar in $2+1$ dimensions, the modular commutator is computed in closed form; it splits into a local differential part and a non-local integral kernel in the transverse direction. From that commutator the authors derive a differential-integral equation for the finite flow and resum it in the limit of large modular time at fixed $\\lambda = \\alpha x^- e^{2\\pi s}$. The resummation shows that the familiar approximation of the flow by local Rindler boosts breaks down when $\\lambda$ reaches order one, thereby making a quantitative prediction for when the local-boost picture of modular flow fails.","feed_headline":"Rindler boost picture fails at a calculable modular time","feed_subtitle":"A massive scalar reveals when vacuum modular flow stops looking like a local boost.","key_machinery":"The central machinery is the half-sided modular inclusion, an algebraic property that guarantees the full modular Hamiltonian for a deformed null cut takes the form $\\hat{H}_\\gamma = \\hat{H}_0 - 2\\pi P_\\gamma$ with $P_\\gamma = \\int dx^+ dx_\\perp\\, \\gamma(x_\\perp) T_{++}$ on the null plane. To compute $[P_\\gamma, \\phi(x)]$ for a free scalar, the paper rewrites the commutator in terms of vacuum two-point functions and uses the identity $\\gamma(z_2)e^{ip_2 z_2} = \\gamma((1/i)\\partial/\\partial p_2)e^{ip_2 z_2}$, so the shape function becomes a differential operator in momentum space; the remaining momentum integrals produce local terms and a transverse convolution kernel $e^{-m|x_2-y_2|}$. For the finite flow, the paper strips off the local evolution with an operator $C(x,\\partial_x)$, leaving a differential-integral equation (4.5) whose right-hand side is purely non-local. The series solution is organized in powers of $x^-$, and the resummation of the fastest-growing terms at fixed $\\lambda$ relies on the $n$-fold convolution identity (4.27), which yields the explicit kernel (4.30) and the singularities that mark the breakdown of the local-boost approximation.","core_discovery":"For the quadratic null cut $\\gamma(z_2) = (z_2)^2$, the paper obtains the explicit modular commutator $$[P_\\gamma, \\$\\varphi$(x)] = i\\left(-|x|^2 \\partial_+ + 2x^+ (x\\cdot\\partial) + x^+\\right)\\$\\varphi$(x) + \\frac{i}{2}\\, m (x^-)^2 \\partial_{x^-} \\int dy_2\\, $e^{{-m|x_2-y_2|}}$\\$\\varphi$($x^{0}$,$x^{1}$,y_2).$$ The first line is local and matches the action of a special conformal transformation in the massless limit; the second line is the genuinely non-local part, proportional to $m$ and to the square of the transverse distance $x^-$ to the null plane. From this generator the authors derive the differential-integral equation (4.5) for the finite modular flow, solve it in powers of $x^-$, and in the limit $x^-\\to 0$, $s\\to\\infty$ at fixed $\\lambda = \\alpha x^- e^{2\\pi s}$ resum the series into the explicit kernel (4.30). The resummed kernel has singularities at $\\lambda = 1$ (for nearby points, interpreted as formation of caustics) and $\\lambda = 2$ (for asymptotically separated points, where the kernel stops decaying), both indicating that perturbation theory and the local-boost approximation break down at $\\lambda \\sim O(1)$. The paper also checks that the non-local commutator, despite having support outside the right wedge $R_\\gamma$, still commutes with all operators in the complementary wedge $L_\\gamma$, preserving the von Neumann algebra under modular flow as required by Tomita-Takesaki theory.","pith_inferences":["The $\\lambda$ horizon may be a general scale for modular flows: any small deformation of the entangling surface could seed a long-time breakdown of the Rindler approximation, with the quadratic cut providing the first term of a curvature expansion of the breakdown time.","In holographic settings the same $\\lambda$ parameter might control the size of the causal shadow, suggesting that entanglement-wedge reconstruction beyond the causal wedge remains possible only for modular times up to the breakdown scale found here.","A direct test of the paper's approximation would be to resum the same series for the massless cubic cut $\\gamma(x_2) = (x_2)^3$, where non-locality appears already at $m = 0$; if the breakdown still occurs at $\\lambda \\sim O(1)$ with the same resummation scheme, the phenomenon is generic rather than an artifact of the mass term.","The authors' large-$n$ truncation could be replaced by a numerical solution of the full recursion (4.23), which would either confirm the $\\lambda = 1, 2$ singularities or locate their true positions; this is a falsifiable, self-contained check."],"forward_implications":["On the null plane $x^- = 0$ the non-local terms vanish and the modular flow reduces to local null translations, matching the Markov property of the vacuum and the known restriction that non-locality is controlled by distance to the entangling surface.","For an operator starting at transverse distance $x^-$ from the boundary, the local-boost (Rindler) approximation is valid only for modular times $s \\lesssim -(1/2\\pi)\\ln(\\alpha x^-)$; smaller distance or smaller curvature extends the validity logarithmically.","The control parameter $\\lambda = \\alpha x^- e^{2\\pi s}$ does not contain the mass $m$, so even an arbitrarily small mass eventually drives the flow non-local; the mass controls the size of the non-local effects but not the time at which the local-boost picture breaks.","For null cuts $\\gamma(x_2) = (x_2)^n$ with $n \\ge 3$, the modular flow is non-local even in the massless (conformal) limit, so the quadratic case studied here is the minimal example of a family of non-local flows with the same qualitative structure.","The commutator $[[\\hat{H}_\\gamma, \\phi(x)], \\phi(y)]$ vanishes for $x \\in R_\\gamma$ and $y \\in L_\\gamma$ even though the non-local kernel has support outside $R_\\gamma$, confirming that the flowed operator remains in the right von Neumann algebra."],"supporting_citations":[{"why":"Derives the modular Hamiltonian as an integral of $T_{++}$ over the null plane using the Markov property of the vacuum, the starting point for the exact $\\hat{H}_\\gamma$ used here.","marker":"[43]"},{"why":"Provides the half-sided modular inclusion derivation of $P_\\gamma = \\int \\gamma T_{++}$, fixing the generator whose commutator is computed.","marker":"[17]"},{"why":"Supplies the Tomita-Takesaki and half-sided modular inclusion framework that guarantees the existence of $P_\\gamma$ and the algebra-preserving property of the flow.","marker":"[18]"},{"why":"Establishes the relation between local modular flow, causal shadow, and entanglement wedge reconstruction that the paper's non-local example is designed to probe.","marker":"[37]"},{"why":"Gives the general condition that modular flow is local only when the region and state are invariant under (conformal) isometries, which the paper uses to explain which monomial cuts yield local flows.","marker":"[36]"}],"fun_headline_variants":["Non-local flow: when modular boost turns caustic","Deformed null-cuts expose non-local modular flow","Modular flow goes non-local at calculable time","Beyond the Rindler boost: caustics in vacuum flow","Explicit non-local modular generators for null cuts"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument's load-bearing premise is that in the large-order recursion (4.23) the first term on the right dominates the sum of the remaining terms enough that the omitted contributions cannot change the singularities; the authors support this only with a crude self-consistency estimate, not a proof, so if the dropped terms contribute at the same order the predicted breakdown at $\\lambda \\sim O(1)$ could be an artifact.","fun_headline_variants_meta":{"raw":{"variants":["Non-local flow: when modular boost turns caustic","Deformed null-cuts expose non-local modular flow","Modular flow goes non-local at calculable time","Beyond the Rindler boost: caustics in vacuum flow","Explicit non-local modular generators for null cuts"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000543,"raw_usage":{"total_tokens":2688,"prompt_tokens":1123,"completion_tokens":1565,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":739,"completion_tokens_details":{"reasoning_tokens":1496}},"tokens_in":739,"tokens_out":1565,"duration_ms":12953,"temperature":1.0,"reasoning_tokens":1496,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T21:59:19.089936+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the coefficients $g^{(n)}(x_2,z^-,z_2)$ from the full recursion (4.23), without dropping the summation, for $n = 3$ through 10, and compare the ratio $g^{(n+1)}/g^{(n)}$ with the estimate $(m/2)\\int e^{-m|x_2-y_2|}$ used in the paper: if the ratio grows like $n$ rather than staying bounded, the singularities at $\\lambda = 1$ and $\\lambda = 2$ in the resummed kernel (4.30) are artifacts of the truncation and the true breakdown time would shift or disappear.","supporting_citations":[{"cited_title":"Casini, E","cited_arxiv_id":null,"evidence_quote":"Derives the modular Hamiltonian as an integral of $T_{++}$ over the null plane using the Markov property of the vacuum, the starting point for the exact $\\hat{H}_\\gamma$ used here."},{"cited_title":"Balakrishnan, T","cited_arxiv_id":null,"evidence_quote":"Provides the half-sided modular inclusion derivation of $P_\\gamma = \\int \\gamma T_{++}$, fixing the generator whose commutator is computed."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the Tomita-Takesaki and half-sided modular inclusion framework that guarantees the existence of $P_\\gamma$ and the algebra-preserving property of the flow."},{"cited_title":"Chen and H","cited_arxiv_id":null,"evidence_quote":"Establishes the relation between local modular flow, causal shadow, and entanglement wedge reconstruction that the paper's non-local example is designed to probe."},{"cited_title":"Sorce, Analyticity and the unruh effect: a study of local modular flow , Journal of High Energy Physics 2024 (2024)","cited_arxiv_id":null,"evidence_quote":"Gives the general condition that modular flow is local only when the region and state are invariant under (conformal) isometries, which the paper uses to explain which monomial cuts yield local flows."}],"review_version":1}