{"id":"6de494a2-0063-4697-9947-983f4ce2cd03","arxiv_id":"2412.13874","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The boundary sl3 Toda CFT satisfies local and global Ward identities for the stress tensor and the higher-spin W current, for all vertex operator weights in the Seiberg range.","lead":"This paper proves that the probabilistic sl3 Toda conformal field theory on the upper half-plane satisfies higher-spin Ward identities, giving exact equations for correlation functions that include descendant fields. It answers a question from physics about whether the boundary version of Toda theory keeps the extra W-symmetry beyond ordinary conformal symmetry.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Omitted P-class estimates (Lemmas 2.5 and 2.8) are load-bearing: without Lemma 2.8's principal-value cancellation, the W−n descendants in Theorem 3.11 are not defined.","rationale":"The reader's conditional verdict is appropriate. The central theorem is conditional on the unproved analytic estimates in §2.4; I identified the sharpest instance, Lemma 2.8, where a non-absolutely-integrable singularity must cancel by symmetry. The paper's own Section 2.4 explicitly says these proofs are omitted, so this is not a manufactured objection. The algebraic heart of Theorem 3.11 is lengthy but explicit; the P-class input is the part most likely to fail, especially with complex boundary cosmological constants and the two-root correlation. If the proposed check passes, the gap is fillable and the result should stand; if it fails, the main theorem is not established. No change to the CONDITIONAL verdict is warranted beyond keeping it conditional until Section 2.4 is supplied.","tokens_in":40642,"tokens_out":17689,"duration_ms":165263,"concrete_test":"Verify Lemma 2.8 for the worst case i=j=1 with γ²=3/2: write the regularized correlation ⟨V_{γe1}(x+i)V_{γe1}(y+i)V⟩ from (2.4) as its Gaussian leading term times a smooth coefficient, insert into ∫_{D×(D\\1/2D)} (y−x)^{-1} ..., and check analytically or numerically that the limit as the cutoff on |x−y|→0 is finite and independent of the cutoff. If a logarithmic divergence remains, the P-class property fails and the descendant definition collapses. If the limit is finite, the omitted lemma is likely repairable and the paper's conditional verdict stands.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central construction in §3 defines every descendant by subtracting a remainder term from a regularized correlation function and then invoking the (P)-class property (Definition 2.6). This is the only mechanism that gives a finite, weight-analytic limit, so Lemmas 2.5 and 2.8 carry the whole proof. Neither is proved in the paper: §2.4 defers to [4], [10], [12]. The adaptation is not purely routine: in Lemma 2.8, for i=j and γ²>1/2, the integrand of the first integral in (2.15) behaves like |x−y|^{−2γ²−1} near x=y, which is not absolutely integrable; finiteness depends on cancellation between the antisymmetric kernel 1/(y−x) and the symmetric part of ⟨V_{γe_i}(x+i)V_{γe_i}(y+i)V⟩ over the non-symmetric domain D×(D\\1/2D). That cancellation is exactly what is asserted without proof. If it fails, the remainder terms L^i_{−1}, W^i_{−1} and their higher analogues do not capture the divergence, so Definitions 3.2, 3.6, 3.8 and 3.10 do not define distributions, and Theorem 3.11's Ward identity has no well-defined left-hand side. The strange closing sentence of Theorem 3.14 is a presentation issue, not the mathematical risk.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper defines boundary descendant fields L_{-n}V_β and W_{-n}V_β for the probabilistic sl3 Toda conformal field theory on the upper half-plane, using regularized correlation functions, Gaussian integration by parts, subtraction of singular remainder terms, and a P-class analyticity condition. The central result is Theorem 1.1/3.11: for n≥3 and weights in A_{N,M+1}, the higher-spin Ward identity holds, expressing ⟨W_{-n}V_β(t)V⟩ as a sum over the other insertions of W^{(k)}_{-2}, W^{(k)}_{-1}, and the quantum numbers w(α_k). The paper also derives global Ward identities (Theorem 3.14) from conformal covariance and the local identities.","tokens_in":40944,"tokens_out":8524,"duration_ms":71361,"significance":"If correct, the paper provides the first rigorous confirmation that the boundary sl3 Toda CFT constructed in [13] possesses W3 (higher-spin) symmetry, extending the bulk Ward identities of [10] to the boundary and answering a question raised in the physics literature. The explicit free-field computation and the systematic bookkeeping of remainder terms are genuine strengths, and the algebraic symmetrization identities in the proof of Theorem 3.11 are worked out in detail. However, the central definitions rely on analyticity and fusion estimates (Lemmas 2.5 and 2.8) that are only cited, not proved, which makes the result conditional on those estimates; the skeptical concern about these omitted lemmas is confirmed by the manuscript text.","major_comments":[{"comment":"The P-class property (Definition 2.6) is the only mechanism that makes the limits in Definitions 3.2, 3.6, 3.8 and 3.10 finite and analytic in the weights, and it is invoked explicitly in the proofs of Lemmas 3.1, 3.5, 3.8 and 3.9. Lemma 2.5 (fusion estimates) is only justified by a reference to [4, 10, 12] with a sketch, and Lemma 2.8 (P-class singular integrals) is stated without proof. The latter is not a routine estimate: in the first integral of (2.15), for i=j and γ²>1/2 the integrand behaves like |x−y|^{−2γ²−1} near x=y and is not absolutely integrable; finiteness relies on a principal-value cancellation between the antisymmetric kernel 1/(y−x) and the symmetric part of the correlation function over D×(D∖12D). Since Lemma 2.8 is used to discard the remainder terms that define W_{-1}, W_{-2} and W_{-n}, the left-hand side of (3.7) is not known to exist unless this lemma is proved. The paper should include full proofs, or a precise theorem-by-theorem reduction with the exact statements being adapted.","section":"Section 2.4, Lemmas 2.5 and 2.8"},{"comment":"Lemma 3.9 asserts that ⟨W_{-n}V_β(t)V⟩_{δ,ε,ρ} minus the term ∑_i W^i_{-n,δ,ε,ρ}(α) is P-class, but its proof is deferred: the proof says 'The result follows from the proof of Theorem 3.11 in the next subsection.' Definition 3.10 then relies on Lemma 3.9 to define W_{-n}V_β, and Theorem 3.11 proves the Ward identity for this W_{-n}. At the end of the proof of Theorem 3.11 the authors write 'At this point we have proven Lemma 3.9.' This is circular in presentation: the object whose Ward identity is stated is defined using a lemma whose proof is located inside the proof of that same theorem. Please reorganize so that the P-class property of the W_{-n} remainder is established before Definition 3.10, and Theorem 3.11 is then derived from it.","section":"Section 3.3, Lemma 3.9 and Definition 3.10"},{"comment":"The domain of definition of the descendants is not stated precisely. The introduction to Section 3 says the descendants are defined 'for suitable β (that is β ∈ Q + C-)', but C- is never defined. Theorems 1.1 and 3.11 instead assert the Ward identities for all (β,α)∈A_{N,M+1}. If the extension from Q+C- to A_{N,M+1} is obtained by analytic continuation, the argument should be spelled out, since the P-class analyticity in the weights is one of the unproved ingredients. If Q+C- is only an intermediate domain, define it explicitly and state its role in the proof.","section":"Section 3 and Theorem 1.1"}],"minor_comments":[{"comment":"The final sentence 'This is the end, of our elaborate plans, the end.' should be removed; it does not convey mathematical content and is not appropriate in a proof.","section":"Theorem 3.14"},{"comment":"The notation in the first integral of (2.15) is garbled; it should be typeset as an integral over (1/2)D × (D∖(1/2)D), and the domain D should be defined explicitly.","section":"Section 2.4, Lemma 2.8"},{"comment":"In the first line of the remainder term (3.6), both terms contain Ψ_i(t−ε) while the second term should presumably contain Ψ_i(t+ε); please check the signs and arguments for consistency with the Stokes expansion.","section":"Definition 3.10, Eq. (3.6)"},{"comment":"There are numerous typesetting/OCR issues, including 'n /greaterorequalslant3' in Theorem 1.1, inconsistent spellings of 'descendant'/'descendent', and missing accents in 'Möbius'. Please harmonize the notation and correct these errors.","section":"Throughout"},{"comment":"The sentence in Section 2.4 says for analyticity 'we refer to [3]', but reference [3] is 'Derivation of all structure constants for boundary Liouville CFT'; please clarify which statement in [3] is being adapted, or cite the correct source.","section":"Section 2.4"}],"recommendation":"major_revision","confidential_remarks":"I agree with the skeptical assessment in the stress-test note: the omitted P-class estimates are genuinely load-bearing, and the organization around Lemma 3.9 creates a circular dependency. The paper should not be rejected, because the central computation appears substantial and the missing statements seem to be provable adaptations of existing results; but the authors must either include the proofs or give a precise and verifiable reduction to the cited works before the main theorem can be accepted."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper does something genuinely new: it defines boundary descendants for sl3 Toda on the upper half-plane and proves conformal and higher-spin Ward identities for the probabilistic model. This answers a question that was open in the physics literature. The free-field case is worked out in full algebraic detail, and the proof of Theorem 3.11 is long but well organized, with explicit remainder terms and symmetrization identities. The global Ward identities follow cleanly from Möbius covariance. I found no issue with the central free-field computation.\n\nThe soft spot is Section 2.4. Lemmas 2.5, 2.7 and 2.8 are load-bearing and their proofs are omitted, with a note that they are 'very similar' to existing results. For Lemma 2.8 that is not a routine check. Take i=j and γ²>1/2. The first integrand in (2.15) behaves like |x−y|^{−2γ²−1} near x=y, which is not absolutely integrable. The domain 1/2D × (D\\1/2D) is not symmetric under x↔y, so the usual principal-value cancellation between the antisymmetric kernel and the symmetric correlation function is not obvious. The paper asserts finiteness without proof. This matters: Definitions 3.6, 3.8 and 3.10 rely on it. If the cancellation fails, the W−n descendants are not defined and Theorem 3.11 has no left-hand side.\n\nI also noticed the odd closing sentence in the proof of Theorem 3.14 ('This is the end, of our elaborate plans, the end.'). It looks like a leftover from a draft and should be removed. That is minor.\n\nOverall: the result is significant for probabilistic Toda theory and the free-field computation is solid. The conditional verdict from the reader is fair. The paper deserves a serious referee, but the authors should be asked to provide the proofs of the deferred lemmas, especially Lemma 2.8, or to point to a version where those proofs appear. I would not desk-reject.","headline":"Boundary sl3 Toda Ward identities: new and plausible, but the load-bearing P-class estimates are deferred and one is genuinely non-routine.","tokens_in":41479,"tokens_out":9649,"would_cite":false,"duration_ms":83550,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81T40","60G60","60K35"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that the probabilistically constructed $\\mathfrak{sl}_3$ Toda conformal field theory on the upper half-plane obeys the full expected higher-spin symmetry: local and global Ward identities hold for both the stress-energy…","keywords":["sl3 Toda conformal field theory","higher-spin symmetry","Ward identities","W3 algebra","boundary CFT","descendant fields","Gaussian multiplicative chaos","probabilistic conformal field theory"],"falsifier":"Take a two-point boundary correlation function, choose a weight $\\beta$ close to the Seiberg bound, and check numerically whether $|x-t|^{\\langle\\beta,\\gamma e_i\\rangle/2}\\Psi_i(x)$ stays continuous at $x=t$ as claimed in Lemma 2.5; any discontinuity or unexpected divergence would invalidate the descendant definition on which the Ward identities rest.","tokens_in":40453,"feed_emoji":"📐","tokens_out":8909,"duration_ms":79559,"temperature":0.7,"pith_summary":"This paper establishes that the boundary version of $\\mathfrak{sl}_3$ Toda conformal field theory, built probabilistically from a vector Gaussian free field and Gaussian multiplicative chaos, has higher-spin symmetry. The authors define the descendant fields $L_{-n}V_\\beta$ and $W_{-n}V_\\beta$ on the real boundary and prove that inserting a $W$ descendant into a correlation function is equivalent to a universal sum over the other insertions of lower descendants and the quantum numbers $w(\\alpha_k)$; this is the local higher-spin Ward identity. Together with the conformal Ward identities and the Möbius covariance of the model, this yields global Ward identities for the conserved charges. The result answers a question from the physics literature, where it was not clear whether Toda theory retains $W$-symmetry in the presence of a boundary.","feed_headline":"Boundary sl3 Toda CFT proven to obey W3 Ward identities","feed_subtitle":"The paper shows the extended spin-3 current constrains boundary correlation functions, opening the bootstrap route.","key_machinery":"The argument is carried by an explicit probabilistic definition of the descendant fields. Starting from the expressions of the currents $T$ and $W$ as polynomials in derivatives of the Toda field, the authors regularize the correlation functions and rewrite expectation values of descendant insertions using Gaussian integration by parts. The resulting integrals are split into regular and singular pieces; symmetrization identities such as\n$$\\sum_{i=1}^{n-1}\\frac{1}{(x-t)^i(y-t)^{n-i}}=\\frac{1}{x-y}\\left(\\frac{1}{(y-t)^{n-1}}-\\frac{1}{(x-t)^{n-1}}\\right)$$\nand Stokes' formula convert boundary terms into explicit 'remainder' terms. After subtracting the remainder, the remaining '(P)-class' quantities, meaning quantities whose limits exist and are analytic in the weights, are shown to be convergent. The local Ward identities are the statement that the remainder-subtracted descendant exactly equals the differential operators acting on the other insertion points.","core_discovery":"The paper's central claim, Theorem 1.1, is that for every admissible choice of weights $(\\beta,\\alpha)\\in A_{N,M+1}$, every boundary insertion $t\\in\\mathbb{R}$, $n\\ge 2$ for the Virasoro case and $n\\ge 3$ for the higher-spin case, the correlation functions satisfy\n$$\\langle W_{-n}V_\\$\\beta$(t)V\\rangle =\\sum_{k=1}^{2N+M}\\left(-\\frac{$W^{{(k)}}$_{-2}}{(z_k-t)^{n-2}}+\\frac{(n-2)$W^{{(k)}}$_{-1}}{(z_k-t)^{n-1}}-\\frac{(n-1)(n-2)w(\\alpha_k)}{2(z_k-t)^n}\\right)\\langle V_\\$\\beta$(t)V\\rangle,$$\nin the sense of weak derivatives, with analogous but simpler identities for $L_{-n}$. In other words, a boundary descendant field is not an independent observable; it is determined by the descendants attached to the other vertex operators. The same mechanism produces global Ward identities, Theorem 1.2, expressing the vanishing of certain weighted sums over the insertions, which are the constraints imposed by the spin-2 and spin-3 conserved currents.","pith_inferences":["We infer that the same remainder-subtraction scheme should generalize to Toda theories based on other simply laced Lie algebras, giving W-algebra Ward identities for boundary Toda CFTs in full generality.","If the Ward identities hold for all $n$, the full mode algebra of the $W$-current acts on correlation functions, not just the first few modes; one could test this by computing mixed descendant insertions such as $W_{-m}W_{-n}V_\\beta$ and checking consistency with the operator product expansion.","The free-field part of the proof is purely algebraic and does not use the probabilistic estimates; the same symmetrization identities could be recycled to verify Ward identities in any theory whose OPE has the same leading singularities."],"forward_implications":["The boundary $\\mathfrak{sl}_3$ Toda CFT has a genuine $W_3$-symmetry, so the W-algebra module structure constrains correlation functions exactly as in the closed case.","Local Ward identities imply global Ward identities for the charges generated by $L_{-1}$ and $W_{-2},W_{-1}$, giving linear constraints that hold for every admissible correlation function.","The descendant insertions are defined for all admissible weights and depend analytically on the weights, allowing analytic continuation in the bootstrap procedure.","Combined with the singular vectors of the companion paper, the identities are expected to yield BPZ-type differential equations for correlation functions with degenerate insertions."],"supporting_citations":[{"why":"Constructs the boundary Toda correlation functions and Seiberg bounds used throughout the paper.","marker":"[13]"},{"why":"Supplies the remainder-subtraction method for defining boundary descendants adapted to the present setting.","marker":"[12]"},{"why":"Proves the bulk Ward identities and provides the GFF integration-by-parts framework and fusion estimates used here.","marker":"[10]"},{"why":"Provides the fusion asymptotics for Liouville correlation functions underlying Lemma 2.5.","marker":"[4]"},{"why":"Gives analyticity results for boundary Liouville correlation functions used in the P-class property.","marker":"[3]"},{"why":"Supplies analyticity of $\\mathfrak{sl}_3$ Toda correlation functions used in the P-class estimates.","marker":"[7]"}],"fun_headline_variants":["Spin-3 Ward identities hold in boundary sl3 Toda CFT","Boundary Toda CFT gains W3 symmetry via Ward identities","Higher-spin symmetry proven for sl3 Toda on half-plane","sl3 boundary Toda: spin-3 current constraints proven","Ward identities confirm W3 symmetry in boundary Toda CFT"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"That the regularized correlation functions, after subtracting the explicitly identified remainder terms, converge to finite limits that are analytic in the weights, the so-called P-class property, whose supporting fusion and analyticity estimates are cited from earlier work rather than proved here.","fun_headline_variants_meta":{"raw":{"variants":["Spin-3 Ward identities hold in boundary sl3 Toda CFT","Boundary Toda CFT gains W3 symmetry via Ward identities","Higher-spin symmetry proven for sl3 Toda on half-plane","sl3 boundary Toda: spin-3 current constraints proven","Ward identities confirm W3 symmetry in boundary Toda CFT"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000317,"raw_usage":{"total_tokens":1817,"prompt_tokens":995,"completion_tokens":822,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":611,"completion_tokens_details":{"reasoning_tokens":731}},"tokens_in":611,"tokens_out":822,"duration_ms":6811,"temperature":1.0,"reasoning_tokens":731,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T12:41:31.027820+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a two-point boundary correlation function, choose a weight $\\beta$ close to the Seiberg bound, and check numerically whether $|x-t|^{\\langle\\beta,\\gamma e_i\\rangle/2}\\Psi_i(x)$ stays continuous at $x=t$ as claimed in Lemma 2.5; any discontinuity or unexpected divergence would invalidate the descendant definition on which the Ward identities rest.","supporting_citations":[{"cited_title":"Higher equations of motion for boundary Liouville Conformal Field Theory from the Ward identities","cited_arxiv_id":"2401.13271","evidence_quote":"Supplies the remainder-subtraction method for defining boundary descendants adapted to the present setting."},{"cited_title":"Cercl´ e and Y","cited_arxiv_id":null,"evidence_quote":"Proves the bulk Ward identities and provides the GFF integration-by-parts framework and fusion estimates used here."},{"cited_title":"Three-point correlation functions in the $\\mathfrak{sl}_3$ Toda theory II: the Fateev-Litvinov formula","cited_arxiv_id":"2208.12085","evidence_quote":"Supplies analyticity of $\\mathfrak{sl}_3$ Toda correlation functions used in the P-class estimates."}],"review_version":1}