{"id":"f37b119c-1a8c-4129-b349-a06d01361ca3","arxiv_id":"2501.06900","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Any conformal line defect satisfies new integrated consistency conditions from shape deformation symmetry, verified against known data and used to predict new OPE coefficients.","lead":"The authors derive new integral constraints that any conformal field theory with a line defect must obey when the line is gently bent. The constraints match existing data and give new predictions for OPE coefficients in the O(N) model and other defect theories.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Unproven single-integral exclusions in d=3 and d=4 (Appendix A.2) leave the universal constraints conditional in exactly the dimensions of the paper's main checks.","rationale":"The reader's verdict is CONDITIONAL, and I agree that the paper is not fully accepted. The reader's weakest_assumption focuses on the second explicit assumption in Section III (absence of operators of dimension Delta_O+1-m with spin differing by one). That is a real spectral-gap assumption, but it is stated in the main theorem and checked in the examples. A more concrete and, in my view, more load-bearing gap is the unproven exclusion of single-integration terms in Appendix A.2 in d=3 and d=4. These terms are not covered by the two main-text assumptions, they are admitted to be unproven in the text itself, and they affect the very dimensions where the paper's headline checks are performed. If either term contributes, the universal constraints (9), (11), (12) are modified, so the central claim is not yet established in those dimensions. I do not think this warrants REJECT: the paper provides substantial evidence from multiple examples, the other parts of the derivation are coherent, and the missing analyses may well be fillable. I also credit the paper for explicitly flagging the 3d assumption and the omitted 4d analysis, which aids scrutiny. The concrete test I propose would settle whether the exclusions hold generically. Since my concern does not change the reader's CONDITIONAL verdict but sharpens the reason for it, I set verdict_should_be to UNCHANGED and agreement_with_reader to partial.","tokens_in":75,"tokens_out":9097,"duration_ms":183743,"concrete_test":"Re-derive the O(v_a v_c) and O(v_c^2) bootstrap equations in d=3 without setting the coefficient of (A17) to zero, using the third-order Ward identity of [10,56] that fixes boundary coefficients (A33). If the coefficient is not forced to vanish by universal data, include its contribution in (11)-(12) and re-check the O(N) epsilon-expansion results in Section IV.A. In parallel, in d=4, reproduce the omitted analysis that rules out (A16): keep the term with a free coefficient in equations (A30)-(A36), derive the modified constraints, and test consistency against the N=4 SYM displacement correlator data in Appendix D.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Appendix A.2 acknowledges that the single-integration decomposition (A3) is incomplete in low spacetime dimensions. In d=4, the term (A16) is allowed by straight-line symmetries, and the paper states it is 'ruled out by our bootstrap' without presenting the analysis. In d=3, the term (A17) is allowed, and the paper explicitly assumes its coefficient vanishes: 'We expected, but did not prove, that it would be fixed to zero.' If either term is nonzero, it contributes at order O(v_a v_c) and O(v_c^2) to the equations that yield the homogeneous and inhomogeneous constraints (9), (11), (12). The authors themselves note that the d=3 term would shift the spin source [Mij]IJ on the right-hand side of (11)-(12). The main text's two stated assumptions in Section III do not exclude these terms, so the derivation has additional hidden spectral or dynamical assumptions. This is load-bearing because the central claim is universality, and the main checks are the N=4 SYM Wilson line in d=4 and the O(N) Wilson-Fisher defect in d=4-epsilon — precisely the dimensions where the unproven exclusions reside. The 2d case is also only summarized with 'we have repeated the derivation' and no details. Until these exclusions are proven or eliminated, the constraints are not established as universal in d=2,3,4.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper derives a new infinite set of integrated constraints for four-point functions on conformal line defects from the non-linearly realized ambient-space conformal symmetry. The constraints are stated in (9), (11), and (12) as homogeneous and inhomogeneous integral identities for subtracted four-point functions. The authors check them against known data for the 1/2-BPS Wilson line in N=4 SYM and ABJM, the O(N) Wilson-Fisher magnetic line defect, and the AdS3 x S3 x T4 mixed-flux defect, and they extract new predictions, including two OPE coefficients in the O(N) model and a relation among bootstrap parameters in the AdS3 case. The derivation is based on expanding a deformed line around the straight line and requiring consistency between two ways of computing the conformal transformation of the defect with insertions.","tokens_in":25760,"tokens_out":8982,"duration_ms":80865,"significance":"If the constraints are valid, they constitute a genuinely new tool for defect CFT: they go beyond SL(2,R) crossing on the straight line and can be converted into OPE sum rules of the form (13). The paper is honest about its assumptions, explicitly lists them in Section III, and provides concrete checks at weak, strong, and finite coupling. The new predictions (26), (27), and the fixing of (E3) are falsifiable and would be valuable even if the universality claim is later restricted. The main weakness is that several load-bearing steps in the derivation are asserted rather than proved, and those steps are exactly what is needed to establish universality in d=2,3,4.","major_comments":[{"comment":"The single-integral decomposition (A3) is incomplete in low spacetime dimensions, and the exclusions needed to obtain the constraints are not proved. The d=4 term (A16) is stated to be 'ruled out by our bootstrap' without the promised analysis; the d=3 term (A17) is explicitly said to be 'expected, but did not prove' to vanish and is then assumed zero; and the d=2 case is dismissed with 'we have repeated the derivation' and no details. These terms contribute at O(v_a v_c) and O(v_c^2) to the equations that yield (9), (11), and (12), and the authors acknowledge that (A17) would shift the spin source [Mij]IJ in (11)-(12). Since the checks in Section IV include N=4 SYM in d=4, ABJM in d=3, and the AdS3/CFT2 defect in d=2, the constraints are not established as universal in exactly the dimensions where the paper tests them. The authors should either provide the missing bootstrap analysis or explicitly restrict the universality claim.","section":"Appendix A.2, Eqs. (A16)-(A18)"},{"comment":"The assumptions stated in the main text are weaker than the 'generic' assumption used in the derivation. Section III assumes only that there is no scalar primary singlet of dimension 3, whereas Appendix A.2 assumes that the only scalar singlet with integer dimension Δ<4 is the identity. The single-integral enumeration that leads to the constraints relies on the stronger, appendix-level assumption. As a result, the constraints are not derived under the hypotheses announced in Section III, and the paper should either prove the constraints under the stated assumptions or list the stronger conditions as additional assumptions.","section":"Section III vs. Appendix A.2"},{"comment":"The second explicit assumption—absence of a non-trivial primary defect operator of dimension Δ_O+1−m with the same charges as O and transverse spin differing by one unit—is a spectral condition on the full DCFT that cannot be verified generically. The paper checks it only in the examples considered, and it is not a consequence of conformal symmetry alone. Because this assumption is needed to justify the transformation property (A1)-(A2), the 'universal' nature of the constraints is conditional on an unproven spectral gap. The authors should either supply evidence that such operators are generically absent (for instance, from unitarity or representation theory) or present the constraints as valid for the class of DCFTs satisfying this gap.","section":"Section III, second assumption"},{"comment":"The new predictions (26) and (27) are obtained by substituting perturbative data into the constraints and using the enhancement mechanism. Since the inhomogeneous constraint (11) is one of the equations that could be modified by the unproven terms (A16)-(A17), the numerical predictions inherit the same caveat. If the coefficient of (A17) is not zero in d=3, the right-hand side of (11) shifts, and (26) would change. The paper should state clearly that the predictions are valid only within the same assumptions under which the constraints are derived.","section":"Section IV.A and Appendix C"}],"minor_comments":[{"comment":"The phrase 'The is no scalar primary defect operator' contains a typo and should read 'There is no scalar primary defect operator.'","section":"Section III, first bullet"},{"comment":"The word 'homophonous constraints' should read 'homogeneous constraints.'","section":"Appendix E"},{"comment":"The entries 'Work in progress' and 'To appear' are incomplete; please update them with arXiv numbers or full author lists if available.","section":"References [54] and [55]"},{"comment":"The subscript (1) is used to indicate the order in ε but is not defined at first use; please define it explicitly.","section":"Equation (19)"},{"comment":"The prescription for subtracting fractional power divergences is stated too briefly; please give the analytic-continuation prescription or a reference.","section":"Footnote 4"}],"recommendation":"major_revision","confidential_remarks":"The paper is a strong candidate for publication in a high-energy theory journal if the authors can supply the missing derivations for the low-dimension exclusions. The self-identified gaps around (A16)-(A17) are not cosmetic; they directly affect the universality claim and the new predictions. I would encourage the editor to request an expanded appendix as part of the revision rather than reject, since the framework and checks are compelling."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe paper deserves a serious read: the integrated constraints (9), (11), (12) are genuinely new and go beyond SL(2,R) crossing, and the authors have tested them in four different settings with success. But the title promise of universality is not yet established. The derivation in Appendix A has explicit, load-bearing holes in d=2,3,4, and the main checks live in exactly those dimensions.\n\nWhat is actually new: the mixed ODDO/DODO constraints are not in the previous literature; the authors correctly note that some special cases reduce to earlier integrated relations. The O(N) predictions (26), (27) and the AdS3 parameter relation are new outputs, not postdictions. I also give credit for the checks: the N=4 Wilson line at weak and strong coupling, ABJM, the O(N) Wilson-Fisher defect, and the AdS3 setup are non-trivial, and all pass. The authors are transparent about the gaps, which is more than many papers do.\n\nThe soft spots are in Appendix A.2, and they are not cosmetic. In d=4, the term (A16) is allowed by straight-line symmetries, and the paper says it is 'ruled out by our bootstrap' without showing the analysis. In d=3, the term (A17) is allowed and the coefficient is assumed to vanish; the authors say they expected it but did not prove it. If either term is nonzero, it modifies the homogeneous or inhomogeneous constraints at the orders that produce (9), (11), (12). The d=3 case would explicitly shift the spin source [Mij]IJ. The 2d case is summarized in one sentence. These are not side remarks; they are the difference between a universal theorem and a derivation that works under additional spectral or dynamical assumptions. The two explicit assumptions in Section III are stated, which is good, but they don't cover the A.2 terms.\n\nThe checks make me believe the constraints are very likely true for the examples considered, and the framework is promising. But the paper's central claim is universality, and the derivation doesn't deliver that yet. A serious referee should ask for the missing exclusions to be proven, or for the claims to be softened to hold under stated assumptions.\n\nI would send it to peer review; it deserves referee time. If the missing analyses don't come through, the paper should be published as conditional constraints with the assumptions explicit, not as universal.","headline":"New integrated constraints for line defects that pass several checks, but the universality claim is undercut by unproven exclusions in Appendix A.2 in d=3,4.","tokens_in":26243,"tokens_out":2793,"would_cite":true,"duration_ms":26351,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81T40"],"pacs":["11.25.Hf"],"model":"deepseek-v4-flash","headline":"Conformal line defects obey a new infinite set of integrated bootstrap constraints beyond SL(2,R) crossing.","keywords":["conformal line defects","displacement operator","conformal bootstrap","integrated constraints","defect CFT","OPE sum rules","Wilson lines","epsilon expansion"],"falsifier":"Compute the displacement four-point function in one specific defect CFT at the first order where an unprotected operator contributes, for example the O(N) Wilson-Fisher magnetic line at O($epsilon^{2}$) from direct Feynman diagrams, substitute it into the homogeneous constraint (9) with the displacement kernel $\\int_0^1 dt\\,(1+t+t^2)F^{DDDD}_{1111}(t)=0$, and check that the result vanishes after the paper's prescribed analytic continuation; a nonzero finite value would falsify the universal claim.","tokens_in":25251,"feed_emoji":"🧵","tokens_out":7147,"duration_ms":67732,"temperature":0.7,"pith_summary":"Conformal field theories contain one-dimensional extended operators, line defects, whose correlation functions must be invariant under arbitrary smooth deformations of the line. This paper argues that this invariance, expanded around a straight line, produces a new infinite tower of integral constraints on four-point functions involving the displacement operator. The constraints are claimed to be universal, holding in any defect CFT that satisfies two mild spectral assumptions, and they go beyond the constraints that follow from SL(2,R) invariance and crossing along a straight line. The paper verifies the constraints against existing weak-, strong-, and finite-coupling data in several theories and uses them to predict new OPE coefficients in the O(N) Wilson-Fisher magnetic line defect.","feed_headline":"Displacement correlators obey new universal sum rules","feed_subtitle":"Four-point functions on any conformal line must satisfy integral identities; checks yield new OPE predictions.","key_machinery":"The load-bearing object is the subtracted four-point function $F = \\hat{F} - F_{\\mathrm{GFF}}$, built from the displacement operator $D$ (dimension two, transverse spin one) and a defect primary $O$ of dimension $\\Delta_O$, with cross-ratio $t = x_{12}x_{34}/(x_{14}x_{23})$. The mechanism is a two-way computation of the second-order variation of a two-point function $\\langle O O\\rangle$ under an arbitrary smooth deformation $v(\\tau)$ of the straight line: conformal covariance gives a source term from dilatation and transverse rotation, while the operator expansion gives integrated insertions of displacement operators; a Mellin transform turns the integrals into algebraic constraints on $F$. Because an infinitesimal conformal deformation is a quadratic polynomial, only three Mellin moments of $v$ contribute, which yields exactly the homogeneous and inhomogeneous identities.","core_discovery":"The central discovery is that the subtracted four-point functions $F = \\hat{F} - F_{\\mathrm{GFF}}$ of the displacement operator, and of a displacement pair with another defect primary $O$, obey the homogeneous identities (9) and the inhomogeneous identities (11), (12), for example $\\int_0^\\infty dt\\,[t^2(F^{\\mathrm{ODDO}}_{JijI}+F^{\\mathrm{DODO}}_{iIjJ})+(1+t)^2 F^{\\mathrm{ODDO}}_{JjiI}]=0$. These identities follow from computing the conformal transformation of a slightly deformed line in two ways: once from conformal covariance of the shape functional, and once by expanding the deformed line as integrals of displacement operators on the straight line. Matching the two at second order in the deformation, after a Mellin transform, eliminates the arbitrary deformation profile and leaves the integral constraints. Under the stated assumptions the constraints hold for every conformal line defect and can be recast as OPE sum rules of the form (13).","pith_inferences":["Editorial inference: because the homogeneous constraints contain no theory-dependent source, a violation of (9) in any candidate defect CFT would signal either missing mixing operators of the excluded type or an error in the correlator; the constraints can therefore serve as sharp consistency checks in numerical bootstrap studies.","Editorial inference: the second assumption is spectral and may fail in theories with degenerate multiplets; in such cases the mixing terms could be included systematically, turning the constraints into equations that solve for the mixing coefficients rather than simply testing them.","Editorial inference: the analogy with soft theorems suggests the constraints should hold non-perturbatively, order by order after the prescribed analytic continuation in operator dimensions; testing them at the next available order in N=4 SYM, beyond two loops, would be a natural target."],"forward_implications":["Any conformal line defect satisfying the two assumptions has its displacement four-point functions subject to the integral constraints, so proposed spectra can be tested by evaluating the kernels in (9), (11), and (12).","The constraints convert into universal OPE sum rules (13), giving linear relations among squared OPE coefficients and operator dimensions that do not depend on the specific theory.","Existing displacement four-point data for the N=4 SYM Wilson line, ABJM theory, AdS3 x S3 x T4 defects, and the O(N) magnetic line all satisfy the constraints; the O(N) case yields new O(epsilon^2) predictions, including C^(2)_{DD phi1} = -pi(29N^2+413N+1610)/(12(N+8)^{5/2}).","The derivation extends to higher-order variations of the line, and the authors argue that even-dimensional curved defects introduce an extra source term from the gravitational anomaly."],"supporting_citations":[{"why":"Supplies the second-order conformal transformation of defect operators adapted to this setup and the bootstrap method.","marker":"[10]"},{"why":"Provide two-loop perturbative data for the N=4 SYM Wilson line displacement correlator used as a check.","marker":"[11, 12]"},{"why":"Provide strong-coupling and finite-coupling OPE data for the same four-point function.","marker":"[13–16]"},{"why":"Gives the ABJM Wilson line data to which the N=4 checks transfer.","marker":"[17]"},{"why":"Supplies the AdS3 x S3 x T4 displacement four-point function used to fix a parameter relation.","marker":"[18]"},{"why":"Give the epsilon-expansion data for the O(N) magnetic line used for the new O(epsilon^2) predictions.","marker":"[19, 20]"},{"why":"Provide the independent integrated-correlator relation that the inhomogeneous constraint reproduces in the N=4 check.","marker":"[27, 51]"},{"why":"Establishes OPE convergence needed to convert the integrated constraints into sum rules.","marker":"[57]"}],"fun_headline_variants":["Integral constraints tie down line defect correlators","New sum rules from deformed conformal lines","Universal OPE identities for conformal defects","Displacement correlators obey integral sum rules","Line defect four-point functions face new identities"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing assumption is that the defect spectrum contains no non-trivial primary operator of dimension $\\Delta_O+1-m$ (for non-negative integer $m$) with the same charges as $O$ and transverse spin differing by one unit; if such an operator exists, mixing at second order in the deformation modifies the constraints.","fun_headline_variants_meta":{"raw":{"variants":["Integral constraints tie down line defect correlators","New sum rules from deformed conformal lines","Universal OPE identities for conformal defects","Displacement correlators obey integral sum rules","Line defect four-point functions face new identities"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000113,"raw_usage":{"total_tokens":986,"prompt_tokens":791,"completion_tokens":195,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":407,"completion_tokens_details":{"reasoning_tokens":128}},"tokens_in":407,"tokens_out":195,"duration_ms":3026,"temperature":1.0,"reasoning_tokens":128,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T20:50:03.645383+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the displacement four-point function in one specific defect CFT at the first order where an unprotected operator contributes, for example the O(N) Wilson-Fisher magnetic line at O($epsilon^{2}$) from direct Feynman diagrams, substitute it into the homogeneous constraint (9) with the displacement kernel $\\int_0^1 dt\\,(1+t+t^2)F^{DDDD}_{1111}(t)=0$, and check that the result vanishes after the paper's prescribed analytic continuation; a nonzero finite value would falsify the universal claim.","supporting_citations":[],"review_version":1}