{"id":"0af45ac0-c1ce-4036-917f-75897ac693a5","arxiv_id":"2505.10232","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"All correlators of a straight mesonic line with the local higher-spin currents in large-N 3d CFTs are bootstrapped, giving tilde-lambda^2 = tan^2(pi Delta).","lead":"The authors calculate, in large-N three-dimensional conformal field theories with slightly broken higher-spin symmetry, the correlation functions between a straight conformal line defect and the conserved spin-0, spin-1, and higher-spin bulk currents. The result also yields a non-perturbative relation between the defect parameter Delta and the bulk coupling tilde-lambda: tilde-lambda^2 = tan^2(pi Delta).","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The infinite-family result (5.1) and the non-perturbative relation (5.28) rest on the unproven conjecture (4.9): it is verified only for spin 2 and merely consistency-checked for spin 3, yet §5.3.4 uses it to close the Ward identities for all higher spins.","rationale":"The reader's weakest-assumption analysis identified the same load-bearing point: Eq. (4.9) is a conjecture that is used to promote the spin-two result to an infinite family and to close the higher-spin Ward identities. I agree that this is the central risk to the paper's strongest claim. The derivation of (5.1) for all spins depends on (4.9), and the relation tilde-lambda^2 = tan^2(pi Delta) depends on the spin-three normalization d_3 through the anomalous dimension calculation in Section 5.3.5. The paper's own text is explicit that spin three was only 'checked for consistency', not proven unique, so the key chain is genuinely conditional. The shape-dependence overstatement in the abstract is real but secondary: Section 6 explicitly works only to second order, so the abstract should be qualified, but this does not threaten the low-spin bootstrap results or the normalization relations in the same way. No ad hominem is intended; the authors are appropriately cautious in the body of the paper, but the abstract and the infinite-family statements go beyond what is established. Since the reader already issued a CONDITIONAL verdict and this concern reinforces rather than redirects it, no change to the verdict is needed.","tokens_in":41358,"tokens_out":4791,"duration_ms":47458,"concrete_test":"Solve the full set of constraints (4.11) for spin three with boundary spins bar-s = s = -1/2: impose transverse translation invariance delta_-, conservation [(2 tilde-s - 1) partial_zeta + zeta square_zeta] . partial_{x_2} = 0, and regularity at u -> 1^- on the general ansatz (4.7), without assuming (4.9). Determine whether the space of solutions is one-dimensional and whether it reproduces the h and k functions encoded in (4.9). If uniqueness fails or the solution differs, then (5.23), (5.1) at spin three, and the derivation of (5.28) require revision. A complementary check would be a one-loop computation of d_3^2 / N_3 in SU(N)_k Chern-Simons fermion theory compared with the value predicted by (5.1).","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 4.2 defines the equal-sign higher-spin correlator by Eq. (4.9) and states that for spin two the bootstrap constraints (4.11) were verified explicitly while for spin three only consistency was checked. Section 5.3.4 then says 'Using our conjecture (4.9)...' to reduce the pseudo-charge Ward identity (5.24) to (5.25)-(5.26), which together with lower-spin relations yields (5.1) for all spins. The spin-three normalization d_3 is therefore fixed by an unproven ansatz. Eq. (5.28), the advertised parameter-free relation tilde-lambda^2 = tan^2(pi Delta), is obtained through (5.29) and the anomalous dimension of J_3, i.e. through d_3/N_3; if the spin-three form of (4.9) is not unique, the Ward identity (5.22) does not force 2 e_{2,3} d_3 = q d_2 and the relation collapses. This is a correctness risk, not merely a matter of presentation: the abstract's 'infinite family' and the title's central claim depend on extending a conjecture beyond its verified range. A secondary overstatement is the shape-dependence claim: Section 6 fixes only second order, with 'no free parameter' asserted at that order, while the abstract says the dependence is fully determined.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper bootstraps correlation functions of a straight conformal line defect (a mesonic line M^{(\\bar{s},s)} with boundary operators) with the single-trace higher-spin currents J_{\\tilde{s}} in three-dimensional large-N CFTs with a slightly broken higher-spin symmetry, in the quasi-fermionic theory. Using SL(2,R)\\times U(1) covariance, transverse translation Ward identities, conservation of J_1 and J_2, and the 1/N non-conservation of J_3 (pseudo-charge Ward identities), the authors fix all correlators with J_0 and J_1 up to a small set of constants, derive the relative normalization condition d_{\\tilde{s}}^2/N_{\\tilde{s}} = const (5.1) for all spins, obtain the non-perturbative relation \\tilde{\\lambda}^2 = \\tan^2(\\pi\\Delta) (5.28), and analyze the dependence of the correlators on smooth deformations of the line to second order (Section 6). The same-sign higher-spin correlators are given by the conjectural formula (4.9), which is verified explicitly for spin 2 and consistency-checked for spin 3; the all-spin results (5.1) and (5.28) use this conjecture beyond its verified range.","tokens_in":41674,"tokens_out":20904,"duration_ms":177406,"significance":"If the conjectural input is established, this is a substantial result: it provides an essentially complete bootstrap determination of the bulk-to-line OPE data for the mesonic line in terms of two parameters (\\Delta and a_2), including an infinite family of correlators and a parameter-free relation between the line parameter and the bulk coupling. The paper's concrete strengths are its very detailed algebraic derivations, the explicit one-loop Feynman-diagram checks in Appendix A, the analytic star-triangle integral evaluations in Appendix E, and the honest labeling of the conjecture status of (4.9) and of the second-order scope of Section 6. The results (5.1), (5.28), (5.33), and (5.37) are falsifiable predictions that can be checked against resummed perturbation theory. The main reservation is that the two headline claims of the abstract — the infinite family of higher-spin results and the complete determination of the shape dependence — are stated more strongly than what the body establishes; in particular, (5.28) inherits the conjectural status of (4.9) through the spin-3 coefficient d_3.","major_comments":[{"comment":"The all-spin relation (5.1) is derived by closing the pseudo-charge Ward identity for \\tilde{s} \\ge 3, which is reduced to (5.25)–(5.26) using the words 'Using our conjecture (4.9)' for arbitrary spin, although §4.2 states that (4.9) was verified explicitly only for spin 2 and consistency-checked for spin 3. Since d_3 is fixed by (5.23) through 2e_{2,3}d_3 = qd_2, evaluated with the spin-3 form of (4.9), and since d_3 enters (5.29) and hence the anomalous-dimension comparison (5.33)–(5.34) that yields \\tilde{\\lambda}^2 = \\tan^2(\\pi\\Delta), the paper's central non-perturbative relation rests on a conjecture that has not been proven beyond spin 2. I request either a proof of uniqueness of the solution to the constraints (4.11) for all spins (or at least for spin 3), or a clear statement in the abstract and conclusions that the higher-spin results and (5.28) are conditional on the ansatz (4.9).","section":"§5.3.4, Eqs. (5.24)–(5.26); §4.2"},{"comment":"The abstract states that 'the dependence of these correlators on the defect's shape is fully determined by our bootstrap constraints,' but Section 6 concludes only that 'at least at the second order we are working at' the correlator is fixed with no free parameter, and Appendix F states that the conformal-symmetry constraint (F.2) was imposed only in the limit r^2 \\to \\infty to order O(r^{-6}). The showcased case is \\bar{s}=-s=1/2, \\tilde{s}=0, no all-order statement for the shape dependence is derived, and higher orders in the deformation are not addressed. The body is appropriately cautious, so the abstract should be reworded to state that the shape dependence is fixed to second order in the deformation.","section":"Section 6 and Abstract"}],"minor_comments":[{"comment":"The author name 'Gwena¨ el Ferrando' contains a broken accented character, and the affiliation markers in 'Amit Severb' and 'Elior Urisman b' are typeset without a separating space; these should be cleaned up.","section":"Title page"},{"comment":"The identity relating (\\zeta\\cdot Q_3)^2 to (\\zeta\\cdot Q_1)^2 and (\\zeta\\cdot Q_2)^2 in the main text has no factor of 1/4, while the embedding-space version in (B.18) carries a factor of 1/4 on each term; the normalization of Q_3 between (4.1) and appendix B should be reconciled.","section":"Eq. (4.8) vs. Eq. (B.18)"},{"comment":"The one-loop check of \\langle M^{(1/2,-1/2)} J_0 \\rangle rests on the conjectured evaluation (A.9) of the integral I_1, which is verified numerically only for a few generic values of the coordinates; the paper should state explicitly which parts of the check are analytic.","section":"Appendix A.1.1"},{"comment":"The perturbative check of (5.1) is at leading order in \\lambda only: the constants N_0, N_1, d_0, and d_1 are given to O(\\lambda^0), and at this order cos^2(\\pi\\Delta) = 1 + O(\\lambda^2), so the \\Delta-dependence of (5.1), in particular the cos^2(\\pi\\Delta) factor, is not tested by this one-loop computation.","section":"Appendix A.3"},{"comment":"The general-S solution for the opposite-sign J_1 correlators is extrapolated from the first few values of S ('By iteratively increasing S we find...'); the paper would benefit from a proof by induction or an explicit statement of the range of S for which the ansatz was verified.","section":"Appendix C.2"},{"comment":"The derivation of (5.28) combines the line-side result (5.33) with the bulk anomalous-dimension result (5.34) imported from [11]; the sentence 'The following derivation does not require any perturbative computation' should clarify that this refers to the authors' own computation and that the bulk input from [11] is an external ingredient.","section":"§5.3.5"}],"recommendation":"major_revision","confidential_remarks":"This is a careful and honest paper: the body explicitly labels the two soft spots (the conjectural formula (4.9) and the second-order scope of Section 6), and the J_0/J_1 core appears solid and well cross-checked by the one-loop computations. My main concern is the mismatch between the body's caveats and the abstract's unconditional 'infinite family' and 'fully determined' claims, together with the fact that the headline relation (5.28) inherits the conjecture's status through d_3. I see no internal inconsistency and no circularity concerns; the fix is either a proof of (4.9) for spin 3 and beyond or a careful re-scoping of the claims. I would be comfortable with publication in JHEP after this is addressed."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nPunchline: this is a serious bootstrap paper with a real core. The J0 and J1 correlators are fixed by symmetry plus conservation, checked against one-loop Chern–Simons matter perturbation theory, and the derivation of tilde-lambda^2 = tan^2(pi Delta) is a clever non-perturbative cross-check between line data and the bulk anomalous dimension. The soft spot is exactly where the abstract is most expansive: the \"infinite family\" and \"fully determined\" claims rest on the unproven conjecture (4.9) for same-sign higher-spin correlators.\n\nWhat is actually new: the mixed correlators themselves, and the method of using the non-conservation of J3 as a pseudo-charge to relate normalisations across spins. The J0/J1 sectors appear internally consistent, and the appendix A one-loop checks are genuine, including a numerical evaluation of the bulk-to-bulk integral. The citation pattern is fine: the self-citations to [7-9] are the prior line-spectrum bootstrap, used appropriately, and the free-field generating functions are credited to [10].\n\nWhere it wobbles: Section 4.2 states plainly that (4.9) is a claim, verified for spin 2 and only consistency-checked for spin 3. Yet Section 5.3.4 uses that conjecture to close the Ward identity for all spins, producing (5.1), and (5.28) is reached through d3. If the spin-3 ansatz is not unique, the relation could collapse. This is load-bearing, and the abstract should flag it. The paper body is more honest than the abstract on this point. Secondary: Section 6 fixes the shape dependence only to second order, while the abstract says \"fully determined.\" The body says \"at least at the second order we are working at,\" so this is an overstatement rather than an error.\n\nWho it is for: anyone working on higher-spin holography, line defects in Chern–Simons matter, or defect bootstrap. It deserves a serious referee. I would send it to review with a request that the authors either prove the spin-3 (and higher) uniqueness or scale back the infinite-family and shape-dependence claims. The low-spin core holds up regardless.\n\nRecommendation: engage with it, but make the abstract match what is actually proven.","headline":"A strong bootstrap calculation for low-spin defect correlators, wrapped in an abstract that overstates the status of the infinite-family and shape-dependence results.","tokens_in":42217,"tokens_out":2419,"would_cite":true,"duration_ms":24695,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["11.15.Pg","11.25.Hf"],"model":"deepseek-v4-flash","headline":"Higher-spin symmetry fixes line-defect correlators in 3D large-N CFTs.","keywords":["conformal field theory","line defect","higher-spin symmetry","conformal bootstrap","large N","Chern-Simons matter","operator product expansion","defect correlator"],"falsifier":"Compute the correlator $\\langle M J_3\\rangle$ with same-sign boundary spins in Chern-Simons-matter theory at one loop. The conjectured formula predicts both its functional dependence and the normalisation $d_3/d_0$; disagreement with the Feynman integral would falsify the infinite-family claim. Separately, carry the smooth-defect expansion of Section 6 to third order: a new free coefficient there would falsify the claim that shape dependence is fully determined.","tokens_in":41121,"feed_emoji":"🧵","tokens_out":12909,"duration_ms":118813,"temperature":0.7,"pith_summary":"The paper argues that, in three-dimensional large-$N$ conformal field theories with a slightly broken higher-spin symmetry, the correlation functions between a straight line defect and the single-trace conserved currents are fixed by the symmetry assumptions alone. Working in the quasi-fermionic version of such theories, where the scalar current has dimension two, the authors obtain every correlator involving the spin-zero and spin-one currents and propose a closed formula for an infinite family of correlators with higher-spin currents. The same constraints determine all relative bulk-to-line operator-product-expansion normalisation constants and recover the relation $\\tilde{\\lambda}^2=\\tan^2(\\pi\\Delta)$ between the bulk three-point parameter and the line's boundary dimension without any perturbative computation. The paper further claims that the dependence of these correlators on the shape of a smooth defect is determined by the same large-$N$ constraints.","feed_headline":"Higher-spin symmetry fixes line-defect correlators in 3D large-N CFTs","feed_subtitle":"All bulk-to-line OPE coefficients follow from one defect dimension and one coupling, with no perturbative input.","key_machinery":"The central objects are the mesonic line $M^{(\\bar s,s)}_{10}=O_{\\bar s}(x_1)W O_s(x_0)$, a straight conformal line ending on a fundamental and an anti-fundamental boundary operator, and the conserved bulk currents $J_{\\tilde s}$. The load-bearing mechanism is the Ward identity of the pseudo-charge $Q^{(3)}_{--}$, obtained by integrating the divergence of the nearly conserved spin-three current; at order $1/N$ that divergence is a dimension-five, spin-two double-trace operator. Acting with the pseudo-charge on the line produces protected tilt operators, while acting on a local current produces finite combinations of higher-spin currents. These identities, together with transverse translation invariance and conservation of $J_1$ and $J_2$, form a closed system that fixes the correlators and all relative normalisations.","core_discovery":"The central claim is that large-$N$ factorisation and the order-$1/N$ non-conservation of the spin-three current close the bootstrap: Ward identities for the pseudo-charge built from $\\partial J_3$ relate correlators of different spins and fix the normalisation constants $d_{\\tilde s}$ through (5.1). When the boundary operators have transverse spins of the same sign, every correlator $\\langle M J_{\\tilde s}\\rangle$ is a combination of derivatives of two master functions $B_1$ and $B_2$, with generating functions identical to those of free fermionic and free bosonic current correlators; interaction information enters only through the defect dimension $\\Delta$. For boundary spins of opposite sign the correlators are genuine functions of the conformal cross-ratio, built from hypergeometric functions, but again fixed up to normalisation. Matching the resulting $J_3$ anomalous dimension to the known large-$N$ formula yields $\\tilde{\\lambda}^2=\\tan^2(\\pi\\Delta)$, a parameter-free relation between bulk and defect data.","pith_inferences":["If the conjectured same-sign formula (4.9) survives for higher spins, the higher-spin sector of the line is as constrained as a free-field current sector: all operator-product-expansion data are governed by the same generating functions, and only $\\Delta$ carries interaction information.","The same bootstrap logic should carry over to the quasi-bosonic theory and to theories with only even-spin currents by simple substitutions, although the paper does not work out those cases.","A direct one-loop computation of $\\langle M J_3\\rangle$ with same-sign boundary spins in an interacting Chern-Simons-matter theory would test the infinite-family formula before any general proof is attempted.","The second-order fixing of shape dependence suggests that the line effective action can be bootstrapped recursively to all orders in the deformation, an extension not performed in the paper."],"forward_implications":["Every bulk-to-line operator-product-expansion coefficient in the mesonic-line sector is fixed by the defect dimension $\\Delta$ and one additional parameter $a_2$; no further free data survive the bootstrap.","The relation $\\tilde{\\lambda}^2=\\tan^2(\\pi\\Delta)$ connects the defect spectrum to the bulk three-point function and implies the existence of two line operators related by $\\Delta\\leftrightarrow 1-\\Delta$.","Correlators with equal-sign boundary spins carry no nontrivial dependence on the conformal cross-ratio, while opposite-sign correlators are nontrivial hypergeometric functions.","For smooth deformations of the line, the correlator is fixed at second order in the deformation with no new free parameters beyond those already determined by the straight-line bootstrap.","In Chern-Simons-matter realisations, the bootstrap results agree with explicit one-loop computations for the correlators with $J_0$ and $J_1$ and with the relative normalisation (5.1)."],"supporting_citations":[{"why":"Supplies the slightly broken higher-spin bootstrap framework and the strategy of using a non-conserved current's divergence to constrain correlators.","marker":"[6]"},{"why":"Fixes the boundary-operator spectrum and the displacement-operator normalisations used throughout the line bootstrap.","marker":"[7]"},{"why":"Provides perturbative and resummed data that identify $\\Delta$ in Chern-Simons-matter theories and supports the normalisation of the displacement operator.","marker":"[8]"},{"why":"Gives the effective-action and regularisation machinery for expanding a smooth defect around a straight line, used in Section 6.","marker":"[9]"},{"why":"Gives the free-fermion and free-boson generating functions that the paper's conjectured higher-spin formula (4.9) reproduces.","marker":"[10]"},{"why":"Supplies the known large-$N$ anomalous dimension of $J_3$ in terms of $\\tilde{\\lambda}$, which the paper equates to its own result to derive (5.28).","marker":"[11]"},{"why":"Fixes the normalisation constant $e_{2,3}=2$ needed to convert the bootstrap ratios into parameter-free relations.","marker":"[12]"},{"why":"Supplies the embedding-space conformal structures for defect correlators used to enumerate the tensor structures of the spinning correlators.","marker":"[18]"}],"fun_headline_variants":["Slightly broken higher-spin symmetry fixes all line-defect correlators","One defect dimension fixes all bulk-defect OPE coefficients in large-N CFT","Parameter-free relation between bulk and defect from higher-spin bootstrap","Line-defect correlators bootstrapped from slightly broken higher-spin symmetry"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The central claim is only as strong as two unproved extensions: the conjectured closed formula for same-sign higher-spin correlators, verified explicitly for spin 2 and consistent for spin 3, and the shape-dependence analysis, which is carried out only to second order in the deformation.","fun_headline_variants_meta":{"raw":{"variants":["Slightly broken higher-spin symmetry fixes all line-defect correlators","One defect dimension fixes all bulk-defect OPE coefficients in large-N CFT","Parameter-free relation between bulk and defect from higher-spin bootstrap","Line-defect correlators bootstrapped from slightly broken higher-spin symmetry"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00024,"raw_usage":{"total_tokens":1491,"prompt_tokens":893,"completion_tokens":598,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":509,"completion_tokens_details":{"reasoning_tokens":518}},"tokens_in":509,"tokens_out":598,"duration_ms":6195,"temperature":1.0,"reasoning_tokens":518,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T21:13:42.246173+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the correlator $\\langle M J_3\\rangle$ with same-sign boundary spins in Chern-Simons-matter theory at one loop. The conjectured formula predicts both its functional dependence and the normalisation $d_3/d_0$; disagreement with the Feynman integral would falsify the infinite-family claim. Separately, carry the smooth-defect expansion of Section 6 to third order: a new free coefficient there would falsify the claim that shape dependence is fully determined.","supporting_citations":[],"review_version":1}