{"id":"72c54e82-650f-4611-b873-432feac2e964","arxiv_id":"2411.16269","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"For arbitrary spin and to all orders in an external source, the boundary limit of conformally smeared bulk operators equals the CFT generating functional, so the GKP-Witten relation follows from symmetry and OPE alone.","lead":"This paper derives a correlation-function version of the GKP-Witten relation, the AdS/CFT dictionary, using only conformal symmetry and the operator product expansion, with no bulk action or large-N limit. The authors argue the dictionary is a generic consequence of CFT structure rather than a signature of a holographic dual.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The exact limit (29) is derived only after discarding delta-function terms without a symmetry-based subtraction, so the no-Lagrangian claim is conditional, not established.","rationale":"The paper aims to prove the GKP-Witten relation (29) for all spins and to all orders in the source J using only conformal covariance (10) plus the OPE, with conformal smearing used only to guarantee the existence of bulk operators. The proof chain is: 2-pt function (12)-(15), diagonalization (16)-(17), 3-pt function (18)-(20), OPE induction (22)-(24), and source expansion (25)-(28). For the central claim to hold, two conditions beyond the stated constraints must be true: the diagonalized bulk basis (16) must exist, and the local/delta terms discarded after (20) must be removable by a symmetry-preserving subtraction. Of these, the contact-term step is the least secure. The paper itself flags it and justifies it only by analogy with the Lagrangian boundary-counterterm method, not by a derivation from the non-Lagrangian assumptions. The diagonalization assumption is also unproved, but it is more plausibly fillable by an explicit construction using the same smearing map, whereas the subtraction problem involves a scheme choice that symmetries alone do not determine. The reader's weakest_assumption identifies the same contact-term issue, so I agree. The paper is honest about the limitation, and the nonlocal part of the derivation is coherent, so the appropriate disposition remains CONDITIONAL rather than a full rejection; my pass does not change that verdict.","tokens_in":9338,"tokens_out":13189,"duration_ms":146163,"concrete_test":"In the free O(N) CFT in d=5 with Delta_phi=3/2 and the O(N)-singlet primary O=:\\phi^2: (Delta=3>d/2), compute exactly the small-z limit of the connected correlator <:\\hat\\sigma^2(X1): O(x2) O(x3)> using the explicit smearing kernel (5)-(6) and the distribution identity (14), keeping all delta-function terms. Then form the second-order term Phi^{i(2)} by integrating against J(x2)J(x3) and check whether every term supported at x1=x2 or x1=x3 can be removed by a single z-dependent local renormalization of J that preserves conformal covariance. If the residual local terms cannot be absorbed in this way, the neglect after Eq. (20) is not a valid symmetry-only subtraction and Eq. (29) fails as an exact statement.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The decisive step is the neglect of delta-function contributions after Eq. (20): the paper says 'We therefore neglect these types of contributions hereafter except those in the 2-pt function.' This neglect is used to obtain the n>=3 formula (28) and hence the GKP-Witten relation (29). Conformal symmetry fixes the nonlocal terms, but it does not fix a subtraction prescription for the local terms; the justification given is an analogy with boundary counterterms in the semiclassical Lagrangian approach [5,6]. That is an external input, not a consequence of the constraints (10) plus OPE. Consequently, the exact small-z limit of the defined bulk quantity Phi^i_{s1}(X1) is not shown to equal (29): it equals (29) plus local terms, which the paper writes as '...' and says are 'usually subtracted', but no symmetry-only definition of the subtracted correlator is supplied. At separated boundary points the delta terms vanish, so the nonlocal content is correct; however, the claim is made for arbitrary sources, where the local terms contribute. Unless a conformally covariant subtraction (renormalized source or normal-ordering prescription) is provided, the derivation of (29) is conditional on an unproven assumption.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs bulk operators from a scalar CFT primary by conformal smearing, uses conformal covariance to fix bulk-boundary 2- and 3-point functions for arbitrary spin, and then uses the OPE to extend the result to n-point functions. It defines a bulk one-point function in the presence of arbitrary CFT sources and claims that its small-z limit reproduces the connected CFT generating functional, Eq. (29), without using a Lagrangian or the large-N expansion. The central derivation, however, is conditional on dropping delta-function contact terms after Eq. (20), with the subtraction justified by appeal to the standard semiclassical Lagrangian approach.","tokens_in":9600,"tokens_out":4297,"duration_ms":50103,"significance":"If the subtraction issue is resolved, the result is significant: it would show that the non-local content of the GKP-Witten relation follows from conformal covariance plus the OPE, without large N or an action, and that the GKP-Witten relation therefore does not by itself distinguish holographic from generic CFTs. The paper's strengths are its explicit treatment of arbitrary spin via embedding-space formulas, the clean OPE induction, and its transparent acknowledgment of the contact-term limitation. The derivation of the 2- and 3-point functions and the induction step are standard and clearly presented.","major_comments":[{"comment":"The exact small-z limit of Phi_i_s1(X1) is not shown to equal Eq. (29), because the delta-function contributions are dropped after Eq. (20) with the justification that they are 'usually subtracted by boundary counter terms in the standard semiclassical approach [5,6]'. Since Refs. [5,6] are Lagrangian treatments, this is an external input, not a consequence of the conformal covariance constraint (10) or the OPE. Please supply a non-Lagrangian subtraction prescription, for example a normal-ordering or a defining smearing of the boundary limit that removes the local terms covariantly, or prove that the local terms do not contribute to the integrated correlator. As written, the no-Lagrangian claim in the Conclusion is conditional on this unproven assumption.","section":"Eq. (20) and derivation of Eq. (29)"},{"comment":"The diagonalization step assumes the existence of k independent bulk operators \\bar{G}^i_s with an invertible coupling matrix c_ij. This is an additional assumption, not derived from the conformal smearing construction. If the matrix is not invertible, or if the smeared composite operators do not yield exactly k independent combinations, the construction of G^i_s and the assertion that it couples only to O^{p_i} fail. Please show that the conformal smearing construction indeed produces k independent bulk operators for each spin sector.","section":"Eq. (16)"},{"comment":"The induction step applies the OPE and then invokes Eqs. (20) and (15), but the set of local terms generated in this process is not characterized. When the OPE coefficients contain derivatives and the distributional identity (14) is used, the contact terms need not be of the simple 2-point form already displayed in Eq. (15); the paper does not show that all such terms are of the type 'usually subtracted' by boundary counterterms. This gap affects the all-orders-in-J claim for arbitrary sources.","section":"Eqs. (22)-(24)"}],"minor_comments":[{"comment":"The heading contains the typo 'L agrangian'; it should read 'Lagrangian'.","section":"Title page"},{"comment":"The abbreviation 'SAs' is used without definition; spell it out at first occurrence.","section":"Conclusion"},{"comment":"The identity in Eq. (14) is distributional; please specify the range of alpha and the space of test functions on which it holds, and state any regularization needed for the delta-function term.","section":"Eq. (14)"},{"comment":"Reference [22] is cited only by arXiv number; update to the published version if one exists.","section":"Reference [22]"}],"recommendation":"major_revision","confidential_remarks":"The paper is honest about its main caveat, and the result is explicitly conditional on the contact-term subtraction. I would be supportive if the authors can turn the subtraction into a defined operation inside their symmetry framework; if they instead retain the appeal to the Lagrangian approach, the strength of the no-Lagrangian claim should be weakened accordingly."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: this is a real result, and a serious referee should engage with it, not desk-reject it. The paper extends the authors' conformal-smearing program from the scalar order-J case to arbitrary spin and all orders in the external source, using embedding space plus an OPE induction. The 2-pt and 3-pt steps are standard conformal covariance, applied cleanly; the induction for n>=4 is tight. If Eq. (29) holds, it reframes the GKP-Witten relation as a consequence of conformal symmetry plus OPE, not a marker of holography. The comparison with the Lagrangian derivation in Section 4 is honest and useful.\n\nThe soft spot is load-bearing. After Eq. (20), the paper says delta-function contributions are 'usually subtracted' by boundary counterterms in the standard semiclassical approach, then neglects them. That is external input, not a consequence of the symmetry constraints plus OPE. The exact small-z limit of the defined quantity equals Eq. (29) plus local terms, and no symmetry-only subtraction prescription is provided. At separated boundary points the delta terms vanish, so the nonlocal content is correct; but the Conclusion claims Eq. (29) holds for arbitrary sources, which overstates what has been shown. The paper flags the limitation openly, which I respect, but the phrase 'without a Lagrangian' is conditional.\n\nTwo lesser issues. Eq. (16) assumes the existence of k independent bulk operators diagonalizing the coupling to degenerate primaries; no construction is given. It is plausible given the composite-operator freedom from conformal smearing, but it remains an assumption. And the 'generic CFT' claim is too broad as stated: the construction requires delta_phi < d/2 and the O(N)-singlet sector. The abstract says 'as long as certain conditions are satisfied,' but the Conclusion drops that qualifier.\n\nWho is this for? People working on bulk reconstruction, conformal bootstrap applied to AdS/CFT, or the emergent-geometry program. They will find a clear all-orders formula and a clean template for further symmetry-only derivations. The citation pattern is appropriate; the novelty relative to [16] is real.\n\nI agree with the conditional verdict. A serious referee should receive it; the main revision should be either a conformally covariant derivation of the contact-term subtraction, or a clearly stated weaker claim that Eq. (29) holds modulo local terms at coincident points.","headline":"A genuinely new all-orders, arbitrary-spin version of the GKP-Witten dictionary from symmetries, but the central equality is conditional on a Lagrangian-style subtraction of contact terms the paper does not derive.","tokens_in":10150,"tokens_out":2379,"would_cite":true,"duration_ms":24529,"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 GKP-Witten relation between bulk and boundary correlators is derived using only conformal symmetry and the operator product expansion, with no Lagrangian, for arbitrary spin and to all orders in the source.","keywords":["GKP-Witten relation","conformal smearing","AdS/CFT correspondence","conformal field theory","operator product expansion","holographic renormalization","bulk reconstruction","spinning operators"],"falsifier":"Evaluate the $z\\to0$ limit of the bulk-boundary 4-point function in an explicit CFT with $\\Delta_\\phi<d/2$ (for instance the free scalar field theory) keeping all contact terms, and check whether the coefficient of $z^{\\Delta_p-L_p}$ equals the connected CFT correlator after subtracting only local terms at $x_1$. If a residual nonlocal piece survives, Eq. (29) fails; if it does not, the induction is confirmed beyond the 3-point order.","tokens_in":9085,"feed_emoji":"🌌","tokens_out":7734,"duration_ms":85816,"temperature":0.7,"pith_summary":"The paper tries to establish that the GKP-Witten relation—the holographic dictionary identifying the bulk partition function with the CFT generating functional—can be derived without a Lagrangian and without the large-N limit. Using only conformal covariance of correlation functions, the operator product expansion, and bulk fields built from boundary primaries by conformal smearing, the authors obtain the boundary limit of a single bulk operator in the presence of arbitrary sources. The result, their Eq. (29), says that this limit reproduces the connected generating functional of CFT correlators times $z^{\\Delta_p - L_p}$ plus known source and local contact terms. If correct, the relation is a consequence of symmetries shared by generic CFTs, not a special feature of holographic theories, and the extra dimension emerges as a kinematic consequence of conformal symmetry.","feed_headline":"GKP-Witten relation derived from symmetry alone","feed_subtitle":"For generic CFTs the holographic dictionary follows from conformal symmetry and the operator product — no action needed.","key_machinery":"The central device is conformal smearing: a bulk field $\\hat\\sigma^a(X)=\\int d^d y\\, h(z,x-y)\\,\\hat\\phi^a(y)$ with kernel $h(z,x)\\propto (z/(x^2+z^2))^{d-\\Delta_\\phi}$, which converts boundary conformal transformations into bulk coordinate transformations. Combined with the embedding-space formula for spinning correlators and a diagonalization step that selects orthogonal combinations of bulk operators, this yields the 2-point and 3-point functions used to seed an inductive OPE argument. The induction itself is the load-bearing mechanism: once the 3-point case is fixed by symmetry, the OPE forces every higher bulk-boundary correlation function to have the same boundary limit as the corresponding CFT correlator, which assembles into Eq. (29).","core_discovery":"On the paper's own terms, the discovery is that the GKP-Witten relation holds at the level of correlation functions for arbitrary spin primary operators and to all orders in an external source, with no bulk action. After constructing bulk operators $\\mathcal{G}^i_{s_1}(X_1)$ from boundary primaries by conformal smearing, diagonalizing them so that each $\\mathcal{G}^i$ couples only to one primary $\\mathcal{O}^{p_i}$, and fixing the bulk-boundary 2- and 3-point functions by symmetry via the embedding-space formula, the paper proves by induction using the OPE that the $z_1\\to0$ limit of $\\Phi^i_{s_1}(X_1)$—the bulk operator with sources turned on, divided by $Z(J)$—equals $z_1^{d-\\Delta_{p_i}-L_{p_i}}\\Lambda_{\\Delta_{p_i}}^{-1} J^{p_i,s_1}(x_1)$ plus $z_1^{\\Delta_{p_i}-L_{p_i}}$ times the connected generating functional of boundary correlators, up to local contributions that are dropped by analogy with boundary counterterms. Consequently the relation is presented as a theorem of conformal symmetry plus OPE, valid for any CFT satisfying their conditions (notably $\\Delta_\\phi<d/2$ for the smearing construction), and it cannot serve as a test of whether a CFT is holographic.","pith_inferences":["If the contact-term subtraction can be justified purely within the non-Lagrangian framework—for instance by deriving the local counterterms from the symmetries themselves—Eq. (29) would become an exact statement rather than one modulo local terms; the paper leaves this gap open.","Extending the argument to correlators with more than one bulk operator, which the authors suggest, would amount to defining a full bulk field theory without an action; the success or failure of that extension would sharpen the claim that the extra dimension is kinematic.","Testing the subtracted limit in an explicit solvable CFT, such as the O(N) vector model or the critical $\\phi^4$ theory in three dimensions, would provide a concrete check of the induction beyond the 3-point function.","Because the smearing kernel requires $\\Delta_\\phi<d/2$, the 'generic CFT' claim is conditional; CFTs with only operators above the unitarity bound would need a different construction."],"forward_implications":["The GKP-Witten dictionary is a consequence of conformal symmetry and the OPE, so it applies to any CFT satisfying the stated conditions, not only holographic ones.","The relation cannot be used to decide whether a given CFT has a holographic dual, since generic CFTs also satisfy it.","A bulk theory can be interacting, with nonzero connected bulk-boundary higher-point functions, while its 2-point function obeys free AdS equations of motion.","Bulk reconstruction from boundary data can proceed without a bulk action; conformal smearing is needed only to justify the covariance constraint, not for the final theorem.","The framework opens a non-Lagrangian route to higher-spin duals and to extending conformal bootstrap methods to bulk-boundary correlators."],"supporting_citations":[{"why":"Introduces the GKP-Witten formula equating bulk partition functions with CFT generating functionals.","marker":"[2]"},{"why":"Formulates the AdS/CFT dictionary that the paper re-derives by symmetry.","marker":"[3]"},{"why":"Provides the boundary-to-bulk dictionary whose boundary limit is the scalar prototype.","marker":"[4]"},{"why":"Holographic renormalization lectures invoked to justify dropping contact terms.","marker":"[5]"},{"why":"Variational methods with boundary counterterms, the analogous subtraction in the Lagrangian approach.","marker":"[6]"},{"why":"Earlier conformal smearing construction verifying the scalar GKP-Witten relation to order J; supplies the smearing map.","marker":"[16]"},{"why":"Embedding-space formalism for spinning conformal correlators used for the 2- and 3-point functions.","marker":"[17]"},{"why":"Embedding-space spinning AdS propagators and the EOM/mass formula for the diagonalized bulk operators.","marker":"[18]"},{"why":"Standard bulk reconstruction kernel whose form matches the conformal smearing kernel.","marker":"[19]"}],"fun_headline_variants":["GKP-Witten without Lagrangian: symmetry suffices","Symmetry alone yields GKP-Witten for generic CFTs","No action needed: GKP-Witten from symmetry","Symmetry proves GKP-Witten for generic CFTs"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the delta-function (contact) terms appearing in the small-$z$ limit can be set aside without a Lagrangian, by analogy with boundary counterterm subtraction; if those terms cannot be removed on symmetry grounds alone, the exact boundary limit of the bulk operator would not be the GKP-Witten form (29).","fun_headline_variants_meta":{"raw":{"variants":["GKP-Witten without Lagrangian: symmetry suffices","Symmetry alone yields GKP-Witten for generic CFTs","No action needed: GKP-Witten from symmetry","Symmetry proves GKP-Witten for generic CFTs"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.0009,"raw_usage":{"total_tokens":3930,"prompt_tokens":1056,"completion_tokens":2874,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":672,"completion_tokens_details":{"reasoning_tokens":2806}},"tokens_in":672,"tokens_out":2874,"duration_ms":21582,"temperature":1.0,"reasoning_tokens":2806,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T13:19:17.826101+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evaluate the $z\\to0$ limit of the bulk-boundary 4-point function in an explicit CFT with $\\Delta_\\phi<d/2$ (for instance the free scalar field theory) keeping all contact terms, and check whether the coefficient of $z^{\\Delta_p-L_p}$ equals the connected CFT correlator after subtracting only local terms at $x_1$. If a residual nonlocal piece survives, Eq. (29) fails; if it does not, the induction is confirmed beyond the 3-point order.","supporting_citations":[{"cited_title":"Variational Methods in AdS/CFT","cited_arxiv_id":"hep-th/0612150","evidence_quote":"Variational methods with boundary counterterms, the analogous subtraction in the Lagrangian approach."},{"cited_title":"Special flow equation and GKP-Witten relation","cited_arxiv_id":"2204.06855","evidence_quote":"Earlier conformal smearing construction verifying the scalar GKP-Witten relation to order J; supplies the smearing map."},{"cited_title":"Flow equation, conformal symmetry and AdS geometry","cited_arxiv_id":"1707.03982","evidence_quote":"Embedding-space formalism for spinning conformal correlators used for the 2- and 3-point functions."},{"cited_title":"Therefore eq","cited_arxiv_id":null,"evidence_quote":"Embedding-space spinning AdS propagators and the EOM/mass formula for the diagonalized bulk operators."},{"cited_title":"AdS geometry from CFT on a general conformally flat manifold","cited_arxiv_id":"1709.07281","evidence_quote":"Standard bulk reconstruction kernel whose form matches the conformal smearing kernel."}],"review_version":1}