{"id":"6127a3ce-ebf6-4fcc-a4e2-5d659b4d1cbd","arxiv_id":"2507.08588","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A new class of local physical operators is constructed in T-bar-deformed CFTs, and their two-point functions reproduce known string theory and field theory results.","lead":"The authors construct explicit local operators for T-bar-deformed CFTs and organize them with nonlocal conformal symmetries. Their computed two-point correlation functions match earlier string theory and field theory results, unifying the two approaches.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central two-point function assumes dressed operators remain exact CFT primaries after quantization; this quantum lift is stated as an expectation in Sec. 4 and used in Sec. 6, but is not demonstrated.","rationale":"The paper's classical construction is coherent, and the final momentum-space two-point function agrees with the independent results of [1] and [2], which is real positive evidence. That agreement, however, does not remove the need for a quantum definition of the composite operators (5.1)/(5.4). The classical Poisson-bracket results fix the form of the operators but not their normal ordering. The Ward identities (6.11)-(6.12) are used for \\tilde{O} at finite \\lambda, yet the only justification offered is the expectation at the end of Sec. 4 and the proposal at the start of Sec. 6. This is the load-bearing point because the entire computation of correlators, including the non-perturbative sum, rests on it; the leading-log dominance assumption is secondary and, given the match to [1]/[2], less worrying. A failure of the quantum lift would change coefficients at every order in \\lambda and would not be caught by the leading-log matching unless the same failure also occurs in [1] and [2]. I therefore agree with the reader's CONDITIONAL verdict and see no reason to move away from it. The proposed free-scalar OPE test is concrete, can be carried out with existing techniques, and directly probes whether 'appropriate normal ordering' actually preserves CFT covariance. Should the test pass, the central claim is considerably strengthened; should it fail, the result (6.25) would need to be reinterpreted as a property of a specific, possibly different, operator definition.","tokens_in":28051,"tokens_out":5238,"duration_ms":61874,"concrete_test":"Use the free-scalar example: normal-order the explicit dressed operator (5.29), \\tilde{O}_{1,0} = 2\\partial_u\\phi / (1+\\sqrt{1+8\\lambda\\partial_u\\phi\\partial_v\\phi}), with a definite point-splitting scheme, expand to O(\\lambda^2), and compute its OPE with T(z) using free-field Wick contractions. If the OPE is exactly that of a weight-(1,0) primary (no extra singularities, no anomalous shift), the quantum lift survives; if not, eq. (6.25)'s exponent h_\\lambda is not justified. As a cross-check, compare the resulting A_2(\\theta) in (6.19) to a direct second-order perturbative computation of the physical two-point function in the deformed free scalar; a mismatch at O(\\lambda^2 p^2) would falsify the proposed quantum definition.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Eq. (6.25), the paper's headline result, is obtained by treating the normal-ordered dressed operator \\tilde{O}_{h,\\bar{h}} as a primary of weights (h,\\bar{h}) at every value of \\lambda. The Ward identity (6.11) is applied to \\tilde{O} rather than to the \\lambda=0 operator, and the identification after (6.5) replaces dressed stress-tensor components with CFT stress-tensor components. Classically this is supported by the Poisson-bracket construction, but the paper's own text says only that 'with an appropriate normal ordering prescription we expect these operators to exist at the quantum level' (end of Sec. 4) and 'we propose that the quantum version ... is related ... with normal ordering assumed' (beginning of Sec. 6). No explicit normal-ordering scheme, no proof of covariance, and no check of quantum contact terms is given. If normal ordering renormalizes h, or if insertions of (1+2\\lambda H_R)^h generate additional singularities, every perturbative coefficient F_n and A_n in (6.20)-(6.24), and hence the exponent h_\\lambda in (6.25), changes. The match to [1] and [2] is strong consistency evidence, but it does not close the gap because those works use different operator definitions and because the leading-log sum is itself only the leading UV part; the quantum lift is needed already at order \\lambda. The summation of \\theta^n terms in (6.22) is a second unproven assumption, but it is downstream of this one.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies T\\bar T-deformed CFTs in the Hamiltonian formalism and constructs two classes of operators: dressed operators, which solve the covariant flow equation D_\\lambda \\tilde O = 0 and transform as primaries under the nonlocal conformal symmetries, and physical operators, defined in eq. (5.1) as local combinations of the undeformed primary with factors built from the stress tensor. The main technical results are the classical Poisson-bracket derivations in Secs. 3--5, including the dressed stress tensor, the nonlocal coordinates \\hat u, \\hat v, the relation (5.4) expressing physical operators as integrals of dressed operators, and the explicit free-scalar check in Sec. 5.3 identifying the physical operator with the Aharony--Barel operator. In Sec. 6 the authors compute the momentum-space two-point function of physical operators by expanding a Wilson-line-like dressing factor and using CFT Ward identities, then sum the leading logarithmic terms to obtain the nonperturbative UV result (6.25), \\langle O(p)O(-p)\\rangle \\sim \\pi\\Gamma(1-2h_\\lambda)/\\Gamma(2h_\\lambda) (|p|/2)^{4h_\\lambda-2} with h_\\lambda = h + \\lambda p\\bar p/\\pi. The authors claim this matches the string-theory result [1] and the large-momentum field-theory result [2].","tokens_in":28451,"tokens_out":4081,"duration_ms":49355,"significance":"If the quantum lift that underlies Sec. 6 can be justified, the paper provides a genuinely useful symmetry-guided framework for computing correlation functions in T\\bar T-deformed CFTs: the classical construction is explicit, the free-scalar example is worked out in detail, and the final two-point function reproduces nontrivial results from string theory and path-integral methods. The manuscript is also honest about the main gap: the passage from classical dressed operators to quantum operators with unchanged CFT Ward identities is stated as an expectation (end of Sec. 4) and as a proposal (beginning of Sec. 6), not derived. Because this assumption controls every perturbative coefficient and hence the shifted weight h_\\lambda in eq. (6.25), the central quantitative claim is conditional. The agreement with [1] and [2] is strong consistency evidence, but it does not by itself close the gap, especially since the classical equivalence with [2] is shown in Sec. 5.2 and therefore part of the match is by construction.","major_comments":[{"comment":"The computation of the physical correlator relies on an unproven quantum lift: the dressed operator \\tilde O_{h,\\bar h} is assumed to exist after normal ordering and to remain a CFT primary of weights (h,\\bar h) with unchanged correlation functions. The paper states this only as an expectation (end of Sec. 4: 'with an appropriate normal ordering prescription, we expect these operators to exist at the quantum level, and their correlation functions remain the same as in the undeformed CFT2') and as a proposal (beginning of Sec. 6: 'with normal ordering assumed'). The Ward identity (6.11) is applied directly to \\tilde O at \\lambda\\neq 0, and the replacement of dressed stress-tensor components by CFT stress-tensor components after eq. (6.5) is part of the same assumption. No explicit normal-ordering scheme is given beyond the point-splitting prescription (6.9), and no proof is supplied that this prescription preserves the Ward identities, leaves h and \\bar h unrenormalized, or produces no additional contact terms. If normal ordering shifts h, or if the factors (1+2\\lambda H_R)^h in eq. (5.1) create additional singularities, every F_n and A_n in (6.20)--(6.24) changes, and so does h_\\lambda in (6.25). This is a load-bearing gap, not a presentation issue.","section":"Sec. 6; end of Sec. 4; eqs. (6.1)--(6.11), (6.25)"},{"comment":"The nonperturbative result is obtained by summing only the leading logarithmic terms in the polynomials F_n and A_n, with no controlled bound on the subleading terms. The text says the leading log is 'the most UV-sensitive part' at each order, but this does not by itself justify that the subleading terms cannot contribute to the coefficient of |p|^{4h_\\lambda-2} or alter the asymptotic form. The Fourier transform of an expression like |x|^{-4h} \\theta^{k} with k<n can produce powers of \\log |p| that are subleading in a different sense; the paper does not show that the sum of such terms is negligible in the regime where (6.25) is used. A sharper argument, e.g. an all-orders bound or an alternative resummation, is needed to turn (6.25) from a leading-log approximation into a claimed nonperturbative result.","section":"Sec. 6.2, eqs. (6.22)--(6.25)"},{"comment":"The classical equivalence O_{h,\\bar h} = O_{AB} is shown in Sec. 5.2 and 5.3, so the agreement of the final two-point function with the large-momentum result of [2] is not an independent check of the operator definition; it is a check of the perturbative computation for an operator already matched to [2] classically. The agreement with the string-theory result [1] remains independent evidence for the framework, but the manuscript should state more explicitly that the match to [2] is partly built into the definition of the physical operator.","section":"Sec. 5.2, eqs. (5.12)--(5.19)"}],"minor_comments":[{"comment":"The Fourier kernel in the definition of O_{h,\\bar h}(p_L,p_R) reads e^{ip_L u - i p_L v}; from the context and the later Wick rotation, the second phase should be -i p_R v.","section":"Eq. (6.4)"},{"comment":"The delta function is written as \\delta(u - u_0, u - v_0); this should presumably be \\delta(u - u_0, v - v_0).","section":"Eq. (5.3)"},{"comment":"There are typos such as 'Possion brackets' and 'f lowedoperators'; these should be corrected to 'Poisson brackets' and 'flowed operators'.","section":"Sec. 2.1 and Sec. 3.1"},{"comment":"The sentence 'We can rename u, v on the right hand side as \\sigma^\\pm are dummy variables' is confusing because u and v are not dummy variables in that equation; the renaming concerns only the integration variables \\sigma^\\pm.","section":"Sec. 5.1, below eq. (5.4)"},{"comment":"The notation in eq. (4.17), where \\tilde O_{h,\\bar h}(\\hat u, \\hat v) is defined by replacement of arguments in the series (4.12), would benefit from an explicit statement that \\hat u and \\hat v are field-dependent coordinates, so that the left-hand side is not an ordinary function evaluation.","section":"Eqs. (4.17) and (4.19)"}],"recommendation":"major_revision","confidential_remarks":"The manuscript's central result is conditional on an unproven quantum normal-ordering assumption, and the leading-log resummation in Sec. 6.2 lacks error control. These are fixable in principle: the authors could either provide an explicit normal-ordering scheme with a proof that it preserves the Ward identities, or reframe eq. (6.25) as a conjecture/leading-order approximation supported by the match to [1] and [2]. In the latter case, the paper would still make a contribution, but its claims should be scaled accordingly. The classical material in Secs. 3--5 is solid and well presented; the free-scalar comparison is a nice touch. The match to [2] is partially by construction, as stated in Sec. 5.2, so the independent evidence for the framework rests mainly on the string-theory comparison [1]."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things you should know. First, the paper delivers a genuinely explicit classical construction: physical operators (5.1), their expression as an integral of dressed operators (5.4), momentum-space Ward identities (5.9)-(5.10), and a worked free-scalar check showing classical equivalence to the Aharony-Barel operator. That is new and carefully done. Second, the headline two-point function (6.25) is not derived from the quantum theory; it follows from assuming the dressed operators remain CFT primaries after quantization, with normal ordering unspecified, plus summing leading logs. The authors say this in plain language (\"we expect,\" \"we propose\"), but the paper does not close the gap.\n\nWhat is solid: the Poisson-bracket computations in Secs. 3-5 are internally coherent. The relation between dressed and physical operators is a well-defined classical statement, and the free scalar example is a real check that the physical operator equals AB's. The perturbative correlators in Sec. 6 are computed by a systematic series expansion using CFT Ward identities; the first- and second-order results are explicit, and the leading-log structure is clear.\n\nThe soft spots are the two steps just mentioned. The quantum lift: no normal-ordering scheme is given, no check that anomalies or contact terms leave the weights unchanged, and the Ward identity (6.11) is simply applied to the dressed operator at every λ. If normal ordering renormalizes h, every coefficient in (6.20)-(6.24) changes, and so does hλ in (6.25). The leading-log summation is also uncontrolled. The match to [1] and [2] is real consistency evidence, but those papers use different operator definitions, and the classical equivalence to [2] means part of the agreement is by construction. I do not think this is fatal—the paper is honest about what is assumed, and the classical framework plus the matching is a meaningful advance—but it does mean the central claim is conditional.\n\nWho this is for: people working on TTbar deformations, holography with TsT, and operator definitions. A serious referee should engage, and the authors should be pushed to either supply a quantum treatment or state the result as a conjecture under explicit assumptions. I would accept it for review.","headline":"Strong classical construction of physical operators in TTbar-deformed CFTs, reproducing the known UV two-point function, but the quantum lift remains an expectation rather than a derivation.","tokens_in":28877,"tokens_out":1955,"would_cite":true,"duration_ms":22717,"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":"This paper constructs a new class of local operators, called physical operators, in $T\\bar{T}$-deformed CFTs, and shows their momentum-space two-point function matches both the string-theory prediction and the large-momentum field-theory…","keywords":["T\\bar{T} deformation","nonlocal conformal symmetry","dressed operators","physical operators","two-point correlation functions","TsT/T\\bar{T} correspondence","Hamiltonian formalism","momentum-space resummation"],"falsifier":"Carry the perturbative expansion to third order in $\\lambda$ and isolate the subleading logarithms in the momentum-space two-point function: the central claim requires the summed leading-log terms to give the full ultraviolet power law, so any subleading contribution that survives as $|p|\\to\\infty$ with the same or stronger growth would falsify the result. A second decisive check is the three-point function, which the dressed-operator representation predicts to take the CFT form with each external dimension shifted by $\\lambda p\\bar p/\\pi$.","tokens_in":27855,"feed_emoji":"","tokens_out":12667,"duration_ms":133852,"temperature":0.7,"pith_summary":"$T\\bar{T}$-deformed conformal field theories preserve conformal symmetry, but the symmetry generators and natural operators become nonlocal, which makes correlation functions difficult to compute. This paper introduces a class of local operators, called physical operators, that can nevertheless be expressed as integrals of nonlocal dressed primaries over field-dependent coordinates. Using the fact that dressed primaries transform like ordinary CFT primaries, the paper computes the momentum-space two-point function and, by summing the most ultraviolet-sensitive terms, obtains a result that looks like a CFT two-point function with a momentum-dependent shifted conformal weight. The result matches both the string-theory prediction from the TsT/$T\\bar{T}$ correspondence and the large-momentum field-theory calculation, and it satisfies the known flow equation for $T\\bar{T}$ correlation functions. The construction also shows that the physical operator coincides at the classical level with the operator used in earlier field-theory path-integral work.","feed_headline":"New local operators give T-bar-T correlators that match string theory","feed_subtitle":"The paper's local physical operators make T-bar-T two-point functions computable and match both string and field theory.","key_machinery":"The argument runs on two constructions used together. Dressed operators are covariant constants of the deformation flow, $D_\\lambda \\tilde O = 0$ with $D_\\lambda = \\partial_\\lambda - i[X,\\cdot]$, so they transform under the nonlocal conformal generators exactly as CFT primaries and their correlation functions do not change along the flow. The physical operator, by contrast, is a local combination of the undeformed primary with factors built from the stress tensor, and the field-dependent coordinate map $U,V$ turns it into an integral of the dressed operator. That duality is what makes the computation possible: expand the dressing factor in powers of $\\lambda$, apply the primary transformation rules to the dressed insertions, and resum the most ultraviolet-sensitive leading logarithms, which produces the momentum-dependent shifted dimension $h_\\lambda$.","core_discovery":"The paper's central claim is that a $T\\bar{T}$-deformed CFT contains a local operator that is still organized by the deformed theory's nonlocal conformal symmetry. The physical operator is defined by $O_{h,\\bar h} = (1+\\lambda^2 O_{T\\bar T})(1+2\\lambda H_R)^h (1+2\\lambda H_L)^{\\bar h} O^{(0)}_{h,\\bar h}$ and can be rewritten as $O_{h,\\bar h}(u,v)=\\int d\\sigma^2\\,\\delta(U(\\sigma^+,\\sigma^-)-u,\\,V(\\sigma^+,\\sigma^-)-v)\\,\\tilde O_{h,\\bar h}(\\sigma^+,\\sigma^-)$, where $\\tilde O_{h,\\bar h}$ is the dressed primary and $U,V$ are nonlocal coordinates built from the stress tensor. Because dressed primaries keep their CFT transformation rules and correlation functions under the flow, the physical two-point function can be evaluated order by order in $\\lambda$; in the ultraviolet the leading logarithms sum to $\\langle O_{h,\\bar h}(p,\\bar p)O_{h,\\bar h}(-p,-\\bar p)\\rangle \\sim \\pi\\,\\Gamma(1-2h_\\lambda)/\\Gamma(2h_\\lambda)\\,(|p|/2)^{4h_\\lambda-2}$, with $h_\\lambda = h + \\lambda p\\bar p/\\pi$. This is precisely the string-theory and large-momentum field-theory results, and the physical operator agrees at the classical level with the alternative operator defined through the topological-gravity formulation.","pith_inferences":["The same dressing strategy should extend to other current-current deformations, such as $J\\bar T$, whose flows generate similar nonlocal coordinates; those theories may also admit local physical operators with computable ultraviolet correlators.","Since the shifted dimension depends on momentum, the physical operators are not ordinary primaries in position space; the CFT-like behaviour is an emergent property of the summed leading logs, so the notion of dimension here is intrinsically momentum-dependent.","The summation of leading logarithms is not accompanied by a bound on subleading terms, so a fully non-perturbative check would require controlling those terms or an exact resummation.","If higher-point functions also come out in dressed-CFT form with shifted weights, the physical operators would realize a deformed conformal representation, giving a structural explanation of $T\\bar{T}$-deformed correlation functions."],"forward_implications":["Physical operators provide a systematic, symmetry-guided route to correlation functions in $T\\bar{T}$-deformed CFTs, replacing the need to act with nonlocal symmetry generators on local operators.","The ultraviolet two-point function takes the CFT form with a conformal weight shifted from $h$ to $h + \\lambda p\\bar p/\\pi$, so the deformation acts in momentum space as a momentum-dependent change of dimension.","Because the physical operator matches the previously studied field-theory operator at the classical level, the string-theory and field-theory momentum-space results describe the same observable.","The result obeys the known flow equation for $T\\bar{T}$ correlation functions, tying the non-perturbative correlator to the renormalization-group structure of the deformation."],"supporting_citations":[{"why":"Supplies the string-theory TsT/$T\\bar{T}$ two-point function that the paper's ultraviolet result matches.","marker":"[1]"},{"why":"Supplies the large-momentum field-theory result and the topological-gravity operator definition shown to agree with the physical operator.","marker":"[2]"},{"why":"Introduces the $T\\bar{T}$ deformation operator that defines the deformed Hamiltonian flow used throughout.","marker":"[3]"},{"why":"Provides the stress-tensor Poisson brackets and Hamiltonian-formalism symmetry analysis used to solve the dressed flow.","marker":"[30]"},{"why":"Derives the flow equation for $T\\bar{T}$ correlation functions that the computed two-point function satisfies.","marker":"[45]"},{"why":"Introduces dressed operators as covariant-constant solutions of the flow, the concept the paper extends to physical operators.","marker":"[47]"},{"why":"Derives the relation between dressed and physical stress tensors used to identify the nonlocal coordinates.","marker":"[36]"}],"fun_headline_variants":["Local operators in T-Tbar CFTs match string theory predictions","T-Tbar deformed CFTs get local operators that match string theory","New local operators unlock T-Tbar correlators, match string theory","T-Tbar CFT local operators reproduce string theory two-point functions","Local physical operators in T-Tbar CFTs confirm string theory matches"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The computation assumes that operators built from the classical flow survive quantization with their CFT-like correlation functions intact, and that the most ultraviolet-sensitive terms dominate the momentum-space sum.","fun_headline_variants_meta":{"raw":{"variants":["Local operators in T-Tbar CFTs match string theory predictions","T-Tbar deformed CFTs get local operators that match string theory","New local operators unlock T-Tbar correlators, match string theory","T-Tbar CFT local operators reproduce string theory two-point functions","Local physical operators in T-Tbar CFTs confirm string theory matches"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000157,"raw_usage":{"total_tokens":1261,"prompt_tokens":1025,"completion_tokens":236,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":641,"completion_tokens_details":{"reasoning_tokens":143}},"tokens_in":641,"tokens_out":236,"duration_ms":3469,"temperature":1.0,"reasoning_tokens":143,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T18:14:32.200369+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Carry the perturbative expansion to third order in $\\lambda$ and isolate the subleading logarithms in the momentum-space two-point function: the central claim requires the summed leading-log terms to give the full ultraviolet power law, so any subleading contribution that survives as $|p|\\to\\infty$ with the same or stronger growth would falsify the result. A second decisive check is the three-point function, which the dressed-operator representation predicts to take the CFT form with each external dimension shifted by $\\lambda p\\bar p/\\pi$.","supporting_citations":[],"review_version":1}