{"id":"c070994a-6178-47a0-b057-4123914ea008","arxiv_id":"1908.03444","paper_version":1,"verdict":"UNVERDICTED","confidence":"MODERATE","novelty_score":1.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A review explains how one-point functions in a D3-D5 defect CFT reduce to integrable spin chain overlaps, expressible as determinant formulas.","lead":"This is a review of exact calculations of one-point functions in defect conformal field theories using integrability. It shows how these quantities become overlaps between Bethe states and a matrix product state, computable via determinant formulas.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The determinant formula (5.25) is proven only for even k; the odd-k and full SO(6) versions are explicitly conjectural, so the review's 'closed formula for all one-point functions' framing overstates the proven support.","rationale":"The reader classified the paper as UNVERDICTED because it is a review, and identified the odd-k conjecture as part of the weakest assumption. I agree that Eq. (5.25) is not a theorem for all k: the paper itself says 'a proof for k = 3 is still an open question' (Section 5.4) and 'A direct proof is still missing' for (5.60) (Section 5.8). That is the load-bearing caveat for the central claim that one-point functions are exactly computable by determinant formulas. I do not think the similarity transformation (5.23) is the fragile step, because for a product of block-lower-triangular matrices the trace receives no contribution from the off-diagonal blocks; the 'irrelevant' entries genuinely drop out of the trace. Thus the concern is narrower: the general-k and full-scalar-sector formulas are partly conjectural, and the review's concluding wording ('we were able to derive a closed formula of determinant type for all one-point functions in the scalar sector') should be read with that qualification. Since the conjectural status is explicitly disclosed in the body, this does not make the review misleading, and it does not change the UNVERDICTED verdict appropriate for a review article. The proposed concrete check—a direct exact evaluation of the k = 3 overlap—would either expose a counterexample or strengthen the empirical basis of the conjecture, but only a proof would fully close the gap.","tokens_in":35178,"tokens_out":9444,"duration_ms":100349,"concrete_test":"Independently evaluate the k = 3 overlap for small Bethe states, e.g. L = 8, M = 2 and L = 10, M = 4 with paired rapidities, using exact rational arithmetic in the coordinate Bethe expansion (5.11) with t_i in the 3-dimensional representation, and compare the result with the right-hand side of (5.25) or the equivalent relation (5.27). A single mismatch would refute the general-k formula; agreement in all tested cases would corroborate the conjecture but would not replace the missing proof for general L and M.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central computational claim—closed determinant formulas for D3-D5 one-point functions—is presented in Eq. (5.25) for general k, but Section 5.4 states that a proof for k = 3 is still an open question, and Section 5.8 states that the full SO(6) formula (5.60) lacks a direct proof, having been checked only for M = 2 and numerically up to length 13. Section 7 repeats that the k = 3 and (5.60) proofs are missing. This is disclosed honestly, so the review is not internally inconsistent; however, the abstract and conclusions say that a closed formula was derived for all one-point functions in the scalar sector, which extends the proven range. Any downstream use that treats (5.25) for odd k, or (5.60), as a theorem is therefore unsupported. The similarity transformation (5.23) is not the real weak point: for block-lower-triangular tau matrices, the trace of the product depends only on the diagonal blocks, so the 'irrelevant non-trivial entries' indeed do not affect the trace; the load-bearing gap is the missing k = 3 proof, not the off-diagonal star entries.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper is a review/lecture-note account of one-point functions in the D3-D5 defect CFT and their computation by integrability. It introduces the mapping from tree-level one-point functions to overlaps between Bethe states and a matrix product state (MPS), reviews the coordinate and algebraic Bethe ansatz for the Heisenberg chain, proves that the D3-D5 MPS is parity-even and integrable, and presents determinant formulas for the overlaps: the SU(2) k=2 formula (5.16), the general-k SU(2) formula (5.25), the SU(3) formula (5.53), the full SO(6) formula (5.60), and a one-loop generalization (6.8). The paper also discusses descendant states, the k-dependence of the results, loop-level computations, and Wilson-loop observables. Several of the formulas are explicitly flagged in the body as conjectural: the odd-k case (k=3) in Section 5.4, the SU(3) formula in Section 5.7, and the SO(6) formula in Section 5.8.","tokens_in":35464,"tokens_out":20050,"duration_ms":189456,"significance":"If the determinant formulas are correct, the paper is a useful pedagogical summary of an active research area, connecting AdS/dCFT one-point functions with integrable quenches and overlap formulas. Its strengths are the self-contained derivation of the Bethe-ansatz machinery, the explicit proof that the D3-D5 MPS is integrable, and the derivation of the k=2 SU(2) formula through the N\\'eel-state mapping. The paper is also honest in disclosing which formulas lack rigorous proofs. However, the advertised central claim that a closed formula has been derived for all one-point functions in the scalar sector goes beyond the proven support, and there is a concrete algebraic inconsistency in the recursion relation used to derive the general-k formula. These issues affect the paper's reliability as a reference review and need to be fixed before publication.","major_comments":[{"comment":"The recursion relation (5.21) appears to be missing a normalization factor. From the local Lax action stated immediately after (5.21), L_{ia}(ik/2) acting on the MPS building block gives a factor [i(k-1)/2] per site. Consequently t(ik/2)|MPS>_k = [i(k-1)/2]^L (|MPS>_{k+2} + ((k+1)/(k-1))^L |MPS>_{k-2}), so solving for |MPS>_{k+2} introduces the coefficient (2/i(k-1))^L, not (k-1)^(-L) as written. As printed, Eq. (5.24) is inconsistent with Eq. (5.25). For the vacuum (M=0), Eq. (5.24) with k=2 gives C_4 = i^L(3^L+1)2^{1-2L}, whereas Eq. (5.25) and the direct trace formula give C_4 = 2^{1-L}(3^L+1). Please correct the prefactor in (5.21) and (5.24), or explicitly state the normalization convention for t(v) used there.","section":"Section 5.4, Eqs. (5.21)-(5.25)"},{"comment":"The abstract and especially Section 7 state that a closed determinant formula has been derived for all one-point functions in the scalar sector. This overstates the support reported in the body. Section 5.4 states that the general-k formula for odd k, in particular k=3, remains an open question; Section 5.7 states that the SU(3) formula (5.53) has been checked numerically up to length 14 but lacks a direct proof; Section 5.8 states that the full SO(6) formula (5.60) is proven only for states with M=2 and checked numerically up to length 13. The conclusions should clearly separate the proven results (k=2 SU(2), the integrability of the MPS, and the k=2 descendant/loop results where proofs or references exist) from the conjectural ones, and the abstract should be adjusted accordingly.","section":"Abstract and Section 7 vs. Sections 5.4, 5.7, 5.8"}],"minor_comments":[{"comment":"The last factor in Eq. (5.46) is (u_m - v_n - i/2)/(u_m - v_n - i/2), which is identically 1; the denominator should presumably be u_m - v_n + i/2. The same typo appears in Eq. (5.48) with the variables w_n.","section":"Section 5.7, Eq. (5.46)"},{"comment":"The numerical checks supporting the conjectural SU(3) and SO(6) formulas are described only as 'perfect agreement' up to some length. Since these checks are the main evidence for formulas that lack proofs, please specify how many states were tested, which root configurations, the numerical precision, and whether the data or code are available, or give precise pointers to the original papers.","section":"Sections 5.7 and 5.8"},{"comment":"There is a typo: 'lake the limit' should be 'take the limit'. Also, the descendant formula (5.36) is described as checked only up to L=18 with no proof; this should be stated more prominently, since Section 5.6's summary says the descendant one-point functions are proportional to primaries without repeating the caveat.","section":"Section 5.6"},{"comment":"There are several small typos and duplications: 'technqiues' in the Introduction, 'satifies' in Section 4.1, 'equivalent equivalent' in Section 5.3, and references [33] and [34] appear to refer to the same arXiv:1812.11094 entry with slightly different titles. These should be cleaned up.","section":"General editorial"}],"recommendation":"major_revision","confidential_remarks":"The paper is a review of the author's own body of work, so self-citation is expected, but the abstract/conclusion framing should make the review status and the proven-versus-conjectural distinction clearer. The missing factor in Section 5.4 is likely a typographical or normalization error, but because it appears in the derivation of the main formula, it must be fixed. I do not see grounds for rejection; the underlying k=2 and integrability results are solid and the conjectural status of the other formulas is disclosed in the body."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read it as a status report, not a research paper. This is a review based on the author's own lecture notes, consolidating the D3-D5 defect CFT one-point function program: mapping one-point functions to overlaps of Bethe states with a matrix product state, then to determinant formulas via integrability. There are no new results, and that is fine—the job here is pedagogy and an honest map of what is proven.\n\nWhat works well. The review is unusually clear about its own proof status. The k=2 formula is put on genuinely solid footing through the map to the Néel state and the condensed-matter determinants of Brockmann et al., and the proof that the MPS satisfies the integrable-quench criterion (Section 5.1) is self-contained. The condensed-matter line (Pozsgay, Piroli, Vernier, etc.) is credited properly, so the heavy self-citation is defensible for a review of one's own program.\n\nSoft spots, in proportion. (1) The abstract and conclusions say a closed formula has been derived for all one-point functions in the scalar sector. That framing overstates the proven range: (5.25) is proven only for even k, k=3 is explicitly left open in Section 5.4, and the SO(6) formula (5.60) is checked only for M=2 and numerically up to length 13, with no direct proof. The body says all of this honestly, so it is a framing mismatch rather than a concealed flaw—but anyone citing (5.25) for odd k as a theorem would be over-reading. (2) The numerical checks are asserted as agreement without data or code, so they are not independently checkable from the text. Minor for a review. (3) The proof of the recursion via the similarity transformation (5.23) is compressed, but the off-diagonal 'irrelevant entries' are not the real gap: for block-triangular matrices the trace of the product only sees diagonal blocks, so that step is sound. The load-bearing gap is genuinely the missing k=3 proof, and the paper says so.\n\nWho this is for: graduate students and researchers from the quantum quench side who want the holographic version of overlap formulas. It deserves a serious referee, mainly to verify the proven-versus-conjectural labeling and the compressed derivations. I would accept it for peer review and ask the author to make the abstract match the body.","headline":"A solid, honest review of the D3-D5 one-point function program: read it as a status report, and keep the k=3 and SO(6) gaps in mind when citing.","tokens_in":35901,"tokens_out":4145,"would_cite":true,"duration_ms":41452,"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":"Tree-level one-point functions in the D3-D5 defect CFT are captured by a single determinant formula.","keywords":["AdS/CFT correspondence","defect conformal field theory","D3-D5 defect","integrability","Bethe ansatz","matrix product states","one-point functions","determinant formulas"],"falsifier":"Compute the exact overlap from the trace definition (3.23) for a $k=3$ defect and a Bethe state with chain length beyond the reported length-8 checks, and compare with (5.25); a single mismatch would refute the odd-$k$ formula. A direct proof or counterexample to the similarity transformation (5.23) would settle the conjecture either way.","tokens_in":34978,"feed_emoji":"📐","tokens_out":10090,"duration_ms":88902,"temperature":0.7,"pith_summary":"This paper argues that tree-level one-point functions in the D3-D5 defect version of N=4 super Yang-Mills theory are exactly computable through integrability. The computation is rephrased as a normalized overlap between a Bethe eigenstate of the Heisenberg spin chain and a matrix product state encoding the defect, and the review derives and assembles determinant formulas for these overlaps. The central result, equation (5.25), expresses the one-point function coefficient $C_k$ in terms of Baxter polynomials, the factorized Gaudin determinant, and a transfer-matrix building block $T_{k-1}(0)$. The $k=2$ case is rigorously proven, even $k$ follows by recursion, while odd $k$ remains a conjecture; the same machinery extends to SU(3) and SO(6) scalar sectors with numerical support. If correct, this turns a set of hard defect-CFT data into closed-form output of the standard Bethe-ansatz solution.","feed_headline":"One determinant formula gives defect-CFT one-point functions","feed_subtitle":"How integrable spin chains turn a hard holographic boundary problem into closed-form data.","key_machinery":"The load-bearing object is the matrix product state $|\\mathrm{MPS}\\rangle = \\mathrm{tr}\\prod_{n=1}^L (t_1\\otimes|\\uparrow\\rangle_n + t_2\\otimes|\\downarrow\\rangle_n)$, where $t_1,t_2,t_3$ form a $k$-dimensional irreducible representation of SU(2); it encodes the classical scalar vev that defines the defect. The argument runs through three steps: the MPS satisfies the integrability condition $\\sigma t(v)\\sigma|\\mathrm{MPS}\\rangle = t(v)|\\mathrm{MPS}\\rangle$, which forces Bethe rapidities to appear in pairs $\\{u_i,-u_i\\}$; the $k=2$ overlap is proven by identifying the MPS with the Néel state and importing Gaudin-type determinant results; and a recursion relation $|\\mathrm{MPS}\\rangle_{k+2} = \\frac{t(ik/2)}{(k-1)^L}|\\mathrm{MPS}\\rangle_k - \\left(\\frac{k+1}{k-1}\\right)^L |\\mathrm{MPS}\\rangle_{k-2}$ builds general $k$ from $k=2$. The final determinant formula (5.25) packages these ingredients: Baxter polynomials carry the Bethe-root data, $G_\\pm$ carry the norm, and $T_{k-1}(0)$ carries the $k$-dependence.","core_discovery":"On its own terms, the central claim is that the overlap $C_k = \\langle \\mathrm{MPS}|u\\rangle/\\sqrt{\\langle u|u\\rangle}$ between the defect's matrix product state and a Bethe state is not a case-by-case quantity but a determinant. For paired rapidities $\\{u_i,-u_i\\}$, the formula reads $C_k = i^L T_{k-1}(0)\\frac{\\sqrt{Q(i/2)Q(0)}}{Q^2(ik/2)}\\sqrt{\\frac{\\det G_+}{\\det G_-}}$, with $Q$ the Baxter polynomial, $G_\\pm$ the factors of the Gaudin norm matrix, and $T_n$ the transfer matrix in the $(n+1)$-dimensional representation. The $k=2$ case is proven by mapping the MPS to the Néel state and using known Gaudin-type overlap determinants; the general-$k$ formula is built by a recursion in $k$ that is proven for even $k$ and conjectured for odd $k$. The same construction is extended to the SU(3) and SO(6) scalar sectors, where the formulas are checked numerically but lack a proof. The net claim is that one-point functions in this holographic defect CFT are controlled by the same integrable structure that determines the spectrum.","pith_inferences":["The paper does not pursue this, but the odd-$k$ conjecture suggests a proof strategy via Q-operators: if $C_3$ is related to $C_2$ by Q-operators rather than a transfer matrix, the same relation may close the missing proof in the SO(6) sector, where the paper notes only states with $M=2$ are proven.","The integrability criterion (4.85) functions implicitly as a classification tool: the paper notes the SU(2) sector of the su(2)⊕su(2) D3-D7 defect violates it and no closed formula is known, so the criterion may mark exactly which defect theories admit determinant overlaps.","Because the overlap problem is identical to quantum-quench overlaps, the holographic one-point formulas could be transferred back to condensed-matter quench calculations, providing explicit data for nested systems where the paper says closed formulas are still under development.","A sharper test than currently available would compare the large-$k$ polynomial form against string-theory computations for non-protected operators, a regime the paper reports has almost no string-side results."],"forward_implications":["Every tree-level one-point function in the SU(2) sector with even $k$ is fixed once the Bethe roots are known; no further dynamical input is needed.","In the large-$k$ limit, one-point functions become polynomials of degree $L-M+1$ in $k$ built from Bernoulli polynomials and conserved charges, the regime where supergravity predictions live.","The odd-$k$ gap is isolated: a proof of the recursion for $k=3$ would promote the conjectured formula (5.25) to a theorem for all $k$, and the proposed relation $C_3 = 2^L Q(0)/Q(i/2)\\, C_2$ points to a Q-operator mechanism.","The same overlap strategy supplies one-point functions in the SU(3) and full scalar SO(6) sectors through formula (5.60), extending the reach beyond the SU(2) subsector.","At one loop the paper proposes an asymptotic version of the formula obtained by replacing Bethe functions and transfer matrices with their Zhukovsky-type quantum counterparts and inserting a flux factor; it matches explicit computations where tested."],"supporting_citations":[{"why":"Introduces the MPS formulation of one-point functions and gives the explicit $k=2$ determinant formula.","marker":"[7]"},{"why":"Provides the similarity transformation and recursion connecting MPS values of different $k$, the load-bearing step for general $k$.","marker":"[8]"},{"why":"Proves integrability of the D3-D5 defect MPS and extends the overlap formulas to the full scalar sector.","marker":"[6]"},{"why":"Defines the integrable-quench criterion that forces Bethe rapidities into pairs $\\{u,-u\\}$, a key structural input.","marker":"[29]"},{"why":"Supplies the Gaudin-type determinant for Néel-state overlaps used to prove the $k=2$ formula.","marker":"[38]"},{"why":"Derives the $k=2$ overlap through an explicit reflection-matrix formulation, an independent route to the determinant.","marker":"[37]"},{"why":"Gives the Slavnov determinant for inner products of on-shell and off-shell Bethe vectors, the basis for the normalization computations.","marker":"[25]"},{"why":"Provides the Gaudin norm formula for Bethe states used as the denominator in the overlap.","marker":"[26]"}],"fun_headline_variants":["Spin-chain determinant tames holographic defect boundary data","One determinant: defect CFT one-point functions from integrability","Overlap formula turns AdS/dCFT one-point functions into closed form","Even k proven, odd k conjectured: overlaps via Gaudin determinants","From Bethe states to MPS: determinant closed form for one-point functions"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the recursion relating matrix product states for neighbouring values of $k$ is valid for every $k$; for odd $k$ this recursion has not been proved, so the closed formula for odd $k$, including $k=3$, is a conjecture.","fun_headline_variants_meta":{"raw":{"variants":["Spin-chain determinant tames holographic defect boundary data","One determinant: defect CFT one-point functions from integrability","Overlap formula turns AdS/dCFT one-point functions into closed form","Even k proven, odd k conjectured: overlaps via Gaudin determinants","From Bethe states to MPS: determinant closed form for one-point functions"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000937,"raw_usage":{"total_tokens":3983,"prompt_tokens":897,"completion_tokens":3086,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":513,"completion_tokens_details":{"reasoning_tokens":2994}},"tokens_in":513,"tokens_out":3086,"duration_ms":21806,"temperature":1.0,"reasoning_tokens":2994,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:12:11.957767+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the exact overlap from the trace definition (3.23) for a $k=3$ defect and a Bethe state with chain length beyond the reported length-8 checks, and compare with (5.25); a single mismatch would refute the odd-$k$ formula. A direct proof or counterexample to the similarity transformation (5.23) would settle the conjecture either way.","supporting_citations":[{"cited_title":"What is an integrable quench?","cited_arxiv_id":null,"evidence_quote":"Defines the integrable-quench criterion that forces Bethe rapidities into pairs $\\{u,-u\\}$, a key structural input."},{"cited_title":"Calculation of scalar products of wave functions and form factors in the framework of the alcebraic Bethe ansatz","cited_arxiv_id":null,"evidence_quote":"Gives the Slavnov determinant for inner products of on-shell and off-shell Bethe vectors, the basis for the normalization computations."},{"cited_title":"Diagonalization of a Class of Spin Hamiltonians","cited_arxiv_id":null,"evidence_quote":"Provides the Gaudin norm formula for Bethe states used as the denominator in the overlap."}],"review_version":1}