{"id":"cf109b7d-314c-4b0c-8b58-e9af970f7894","arxiv_id":"2601.04310","paper_version":3,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Derives universal first-order ODEs governing the RG flow of boundary operator data (scaling dimensions, OPE and BOE coefficients) for 2D QFTs on hyperbolic space.","lead":"This paper derives a universal set of first-order ordinary differential equations that track how the scaling dimensions, OPE coefficients, and BOE coefficients of two-dimensional QFTs on hyperbolic space change under an infinitesimal shift in a bulk relevant coupling. A smart generalist might read it because the approach offers a potential route to compute properties of strongly coupled theories by evolving from known solvable starting points toward the flat-space limit.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"Closure of the ODE system for {Δ_i, C_ijk, b^O_j} under bulk coupling shift may require non-universal higher-order or bulk-dependent terms","rationale":"The reader's weakest assumption directly identifies the same potential failure of closure. Because the manuscript supplies a derivation rather than a numerical check against a solvable model, the risk that non-universal terms appear remains the load-bearing uncertainty; confirming or refuting closure on an exactly solvable example would settle it.","tokens_in":1729,"tokens_out":363,"duration_ms":28935,"concrete_test":"Extract the explicit right-hand side for dΔ_i/dλ (or the analogous equation for C_ijk) from the derivation in the manuscript; substitute a free massive scalar on H^2 whose exact spectrum and OPE data are known independently; verify that the predicted dΔ_i/dλ matches the known analytic result without extra bulk integrals or higher-point functions.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim requires that an infinitesimal bulk relevant coupling change δλ produces a closed first-order flow d{Δ_i, C_ijk, b^O_j}/dλ whose right-hand side is a universal functional of the same data set alone. In a general 2d QFT the variation of scaling dimensions and OPE coefficients is obtained from the Callan-Symanzik equation or from the bulk action; both typically involve the full stress-tensor two-point function, integrated bulk-to-boundary propagators, or contact terms that are not determined by the three-point coefficients C_ijk and the BOE coefficients b alone. If any such term survives at linear order in δλ, the system ceases to be closed and the ODEs cease to be universal.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript claims that correlation functions of local operators in two-dimensional QFT on hyperbolic space are fully characterized by the data set {Δ_i, C_ijk, b^O_j}, consisting of boundary scaling dimensions, boundary OPE coefficients, and BOE coefficients for bulk operators. It derives a universal set of first-order ODEs governing the infinitesimal variation of this data under a change in a bulk relevant coupling, intended to enable tracking RG flows from solvable points through strongly coupled regimes to the flat-space limit.","tokens_in":1875,"tokens_out":582,"duration_ms":72731,"significance":"If the ODE system is shown to close universally on the given data alone, the result would offer a concrete computational framework for RG flows via integration of ODEs for operator data, potentially connecting perturbative and non-perturbative regimes in a novel way. The approach is noteworthy for attempting to reduce QFT dynamics to evolution of boundary data on hyperbolic space, but its impact hinges on explicit verification of closure and universality.","major_comments":[{"comment":"The derivation of the flow equations (around the central claim in the abstract and likely §3–4) must demonstrate explicitly that the right-hand side for d{Δ_i, C_ijk, b^O_j}/dλ is a closed functional of {Δ_i, C_ijk, b^O_j} alone. General QFT considerations via the Callan-Symanzik equation or bulk action typically introduce the stress-tensor two-point function or integrated bulk-to-boundary propagators at linear order in δλ; the manuscript needs to show how any such terms are either absent or re-expressed solely in terms of the three-point and BOE data.","section":"Derivation of ODEs"},{"comment":"The universality claim requires a concrete check: for at least one solvable example (e.g., free scalar or minimal model), the predicted ODEs should be compared against independently known RG data for Δ(λ) and C(λ) to confirm no non-universal contact terms survive at first order.","section":"Universality and examples"}],"minor_comments":[{"comment":"Clarify notation for bulk vs. boundary operators in the definition of b^O_j and ensure consistent use of hats throughout.","section":"Introduction and notation"},{"comment":"Add a short discussion of how the hyperbolic-space setup relates to standard flat-space RG flows or existing boundary CFT literature to strengthen context.","section":"Introduction"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is a reasonable fit for hep-th; however, the introduction should more explicitly distinguish the ODE closure from prior work on boundary bootstrap or holographic RG flows to clarify the incremental novelty."},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful reading of our manuscript and for the constructive comments. We address each major point below and outline the revisions we will make to strengthen the presentation.","responses":[{"response":"In §3 we derive the flow equations by differentiating the boundary correlation functions with respect to the bulk coupling λ while keeping the hyperbolic geometry fixed. The variation is implemented by inserting the relevant bulk operator, which is then expanded via the BOE in terms of boundary operators. The resulting linear system for dΔ_i/dλ, dC_ijk/dλ and db^O_j/dλ is expressed using only the boundary OPE and the existing set {Δ_i, C_ijk, b^O_j} because the hyperbolic boundary conditions allow all bulk insertions to be reduced to boundary data. Stress-tensor contributions that would appear in flat-space Callan-Symanzik equations are absent here: the fixed hyperbolic metric absorbs the trace anomaly into a redefinition of the boundary scaling dimensions, and no independent stress-tensor two-point function enters at linear order in δλ. We will add an explicit intermediate step in the revised §3 that isolates this reduction and confirms closure on the stated data alone.","revision_made":"yes","referee_comment":"[Derivation of ODEs] The derivation of the flow equations (around the central claim in the abstract and likely §3–4) must demonstrate explicitly that the right-hand side for d{Δ_i, C_ijk, b^O_j}/dλ is a closed functional of {Δ_i, C_ijk, b^O_j} alone. General QFT considerations via the Callan-Symanzik equation or bulk action typically introduce the stress-tensor two-point function or integrated bulk-to-boundary propagators at linear order in δλ; the manuscript needs to show how any such terms are either absent or re-expressed solely in terms of the three-point and BOE data."},{"response":"We agree that an explicit benchmark against a solvable model is the most direct way to verify the absence of non-universal contact terms. The present manuscript presents the general derivation; we will add a new subsection (or appendix) that solves the ODE system for a free scalar with a relevant mass deformation on the hyperbolic plane. The resulting flows for Δ(λ) and the leading OPE coefficient will be compared with the known perturbative expansion and with the exact flat-space limit obtained by taking the curvature radius to infinity. This check will also confirm that contact terms are either absent or fully absorbed into the boundary data at first order in δλ.","revision_made":"yes","referee_comment":"[Universality and examples] The universality claim requires a concrete check: for at least one solvable example (e.g., free scalar or minimal model), the predicted ODEs should be compared against independently known RG data for Δ(λ) and C(λ) to confirm no non-universal contact terms survive at first order."}],"tokens_in":1407,"tokens_out":633,"duration_ms":41938,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main point is that the authors have written down a universal system of ODEs for the RG flow of the complete boundary data set—scaling dimensions, OPE coefficients, and BOE coefficients—when a relevant bulk coupling is varied infinitesimally. This framing lets you start from a solvable theory and integrate toward strong coupling or the flat-space limit in principle.","headline":"The paper derives a closed set of first-order ODEs for how boundary data evolves under bulk coupling changes in 2d QFT on hyperbolic space, but the closure step is the part that still needs direct verification.","tokens_in":2390,"tokens_out":160,"would_cite":false,"duration_ms":37565,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[{"relation":"unclear","rs_module":"IndisputableMonolith/Cost/FunctionalEquation.lean","rs_theorem":"washburn_uniqueness_aczel","paper_passage":"derive a universal set of first order Ordinary Differential Equations (ODEs) that encode the variation of the QFT data under an infinitesimal change of a bulk relevant coupling"},{"relation":"unclear","rs_module":"IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean","rs_theorem":"reality_from_one_distinction","paper_passage":"The functions I, J, K are kinematical (i.e. theory independent). They are regulated integrals of (local) conformal blocks"}],"headline":"QFT data flow ODEs on AdS2 via conformal blocks are orthogonal to RS distinction-forcing chain","alignment":"orthogonal","rationale":"The paper derives a closed universal first-order ODE system for the QFT data set {Δ_i, C_ijk, b^O_j} by integrating normal and local conformal blocks (B∂∂, BB∂, B∂∂∂) over AdS2 under a bulk relevant deformation. This is a technical RG-flow construction in hyperbolic geometry that relies on OPE/BOE expansions and cutoff renormalization. RS derives J-cost, φ-ladders, 8-tick periodicity and 3D spacetime from a single distinction with zero adjustable parameters (reality_from_one_distinction, Jcost uniqueness via Aczél, AlexanderDuality for D=3). The paper contains none of these structures, makes no use of reciprocal cost J(x), golden-ratio identities or parameter-free constant derivations, and operates in a domain (specific 2d QFT correlators on AdS2) on which RS is silent.","tokens_in":68702,"confidence":"high","tokens_out":405,"duration_ms":18774,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Correlation functions in two-dimensional QFT on hyperbolic space are fully determined by scaling dimensions, OPE coefficients and BOE coefficients that evolve according to a universal set of first-order ODEs when a bulk relevant coupling is","keywords":["two-dimensional QFT","hyperbolic space","renormalization group flow","ordinary differential equations","OPE coefficients","boundary operator expansion","correlation functions"],"falsifier":"A direct numerical integration of the proposed ODEs for a known integrable model, such as the Ising CFT perturbed by a relevant operator, that fails to reproduce the exact scaling dimensions or OPE coefficients at finite coupling would falsify the claim.","tokens_in":2623,"feed_emoji":"","tokens_out":764,"duration_ms":42605,"temperature":0.7,"pith_summary":"The paper shows that correlation functions of local operators in QFT on hyperbolic space are completely fixed once one knows the scaling dimensions of boundary operators, the OPE coefficients among them, and the coefficients that expand each bulk operator in the boundary basis. It then constructs a closed system of first-order ordinary differential equations that tell how this entire set of numbers changes when any relevant bulk coupling is varied by a tiny amount. A sympathetic reader cares because the equations turn the problem of solving a QFT into the task of integrating ordinary differential equations, starting from a solvable UV theory and continuing through strong coupling or toward the flat-space limit. The derivation is performed explicitly for two-dimensional theories but is presented as universal in form.","feed_headline":"ODEs track QFT scaling dimensions and OPEs along RG flows","feed_subtitle":"A closed set of first-order differential equations governs how the complete data set evolves under infinitesimal changes of a bulk relevant","key_machinery":"The closed set of first-order ODEs for the QFT data {scaling dimensions Δ_i, OPE coefficients C_ijk, BOE coefficients b^O_j} that describe their infinitesimal change under a relevant bulk coupling.","core_discovery":"Correlation functions of local operators in Quantum Field Theory on hyperbolic space can be fully characterized by the set of QFT data {Δ_i, C_ijk, b^O_j}. There exists a universal set of first-order ODEs that encode the variation of this data under an infinitesimal change of a bulk relevant coupling. In principle the ODEs can be used to follow an RG flow from a solvable QFT into a strongly coupled phase and to the flat-space limit.","pith_inferences":["The same differential structure may supply new constraints that can be combined with numerical bootstrap techniques to narrow the allowed space of CFT data.","Extending the construction beyond two dimensions would require identifying the analogous complete set of boundary data in higher-dimensional hyperbolic space.","The ODEs could be used to interpolate between different known exact solutions by treating the coupling as a continuous parameter."],"forward_implications":["RG flows can be tracked numerically by integrating the ODEs from a solvable fixed point into the strongly coupled regime.","The flat-space limit of correlation functions is recovered by continuing the flow to the appropriate value of the bulk coupling.","Any two-dimensional QFT with at least one relevant deformation can in principle be studied by solving the same universal ODE system.","The method converts the usual bootstrap or lattice problem into an initial-value integration of ordinary differential equations."],"fun_headline_variants":["ODEs track QFT dimensions and OPEs in RG flows","First-order ODEs encode changes in QFT data","ODEs describe QFT operator data along bulk RG flows","QFT data evolves through ODEs under coupling shifts","ODEs link boundary operators to RG flows in QFT"],"cache_read_input_tokens":64,"weakest_assumption_plain":"The variation of the full set of QFT data under a bulk coupling change is captured exactly by a closed system of first-order ODEs without requiring additional data, higher-order corrections, or non-universal terms.","fun_headline_variants_meta":{"raw":{"variants":["ODEs track QFT dimensions and OPEs in RG flows","First-order ODEs encode changes in QFT data","ODEs describe QFT operator data along bulk RG flows","QFT data evolves through ODEs under coupling shifts","ODEs link boundary operators to RG flows in QFT"]},"model":"grok-4.3","cost_usd":0.006217,"raw_usage":{"total_tokens":2836,"prompt_tokens":645,"num_sources_used":0,"completion_tokens":78,"cost_in_usd_ticks":62165500,"prompt_tokens_details":{"text_tokens":645,"audio_tokens":0,"image_tokens":0,"cached_tokens":64},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2113,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":645,"tokens_out":78,"duration_ms":32052,"temperature":1.0,"reasoning_tokens":2113,"cache_read_input_tokens":64,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-21T15:37:07.725250+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A direct numerical integration of the proposed ODEs for a known integrable model, such as the Ising CFT perturbed by a relevant operator, that fails to reproduce the exact scaling dimensions or OPE coefficients at finite coupling would falsify the claim.","supporting_citations":[],"review_version":1}