{"id":"c5bbebce-1553-47c1-a5a0-8b4daae6b70a","arxiv_id":"2506.01766","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"In the 3D Janus background, defect operator dimensions shift by O(c_J^2), and BOPE coefficients are read off as residues of Heun connection coefficients.","lead":"This paper computes two-point functions of a massive probe scalar in a three-dimensional Janus holographic background, using Heun's equation and its connection formulas. It extracts the corrected spectrum of defect operators and the bulk-boundary OPE coefficients to second order in the Janus deformation parameter.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Pole-location claim in the BOPE extraction needs a check: the s-integral is closed on contours that cross branch cuts from the connection coefficients, and the shift equation (5.28) is applied at complex s where the small-cJ expansion (4.16) has not been justified.","rationale":"The reader correctly identified the unproven interchange and residue-truncation step in Section 5.2 as the weakest point. I agree that the paper's analytic results are otherwise internally consistent: the cJ=0 limit reproduces the standard AdS3 two-point functions, the connection coefficients are cited from independent literature (Trieste and Schäfke-Schmidt), and the BOPE coefficients satisfy the stated product relation. The main result, however, depends on a contour-closing and pole-selection procedure that is not justified: the integrands after (5.22)-(5.26) contain σ-dependent gamma functions that become non-polynomial functions of s once (4.16) is substituted, and the paper treats the poles as if they were located at the unperturbed positions σ_n. The proposed numerical check is concrete and would settle whether the residue prescription reproduces the exact integral. Since the concern is about a missing justification rather than a demonstrated contradiction, a conditional-acceptance verdict is appropriate, with the numerical test as a reasonable path to strengthen the claim.","tokens_in":20974,"tokens_out":1829,"duration_ms":17137,"concrete_test":"Numerically evaluate the exact spectral integral (5.20) (with connection coefficients from the O(1/t^2) Trieste formula) for fixed cJ=0.1, generic Δ-, and a few values of n=0,1,2. For each n, compute the ratio ⟨O O⟩_{RR,ξ} ξ^{1/2} at large ξ (e.g. ξ=10^4, 10^5, 10^6), fit the subleading ξ-dependence, and compare the extracted pole position and residue to (5.28) and (5.31). If the fitted Δ̂n differs by more than the O(cJ^3) error estimate from (5.28), the claimed spectrum is not established.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central result, Δ̂n = 1/2 + i sn with (5.28), follows by evaluating (5.23)-(5.26) by residues at poles of Γ(3/2-Δ-±σ). Three analytic steps are load-bearing and unproven. First, after (5.21), the paper uses the ξ→∞ hypergeometric asymptotics (5.22)/(5.25) and then extends the s-integral to -∞<s<∞. This extension is a contour deformation that must cross branch cuts of the connection-coefficient factors (Γ(3/2-Δ-±σ), cos(πσ), e^{-∂θW(t)}), whose imaginary parts are functions of s; the paper does not show the integrand is analytic in the needed strip. Second, closing the contour in the lower half-plane assumes the only contributions are the two first-order gamma-function pole families of Γ(3/2-Δ--σ); but after substituting the σ(s) series, Γ(3/2-Δ--σ) becomes a nontrivial function of s whose pole set must be recomputed. The paper instead inverts (4.16) perturbatively at the unperturbed pole positions σn^0, which is legitimate only if the cJ^2 coefficient in (4.16) remains small at |Im s| ~ n and if no other poles (e.g. from Γ(3/2-Δ-+σ) after extension, or from e^{-∂θW}) enter the contour. Third, the residue evaluation (5.31)-(5.33) uses (5.34) and evaluates W and ∂θW at s=sn, but W(t) is itself a function of σ(s) and t(cJ); the O(cJ^2) spectrum requires the O(t^{-2}) terms of W, and no consistency check (e.g. comparing with numerical evaluation of the original integral (5.20) for small cJ) is given.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper computes two-point correlation functions of a massive probe scalar in the three-dimensional Janus background by mapping the scalar equation of motion to Heun's equation and using the recently derived Trieste connection formula. The authors obtain integral representations for the same-side and cross-side correlators in terms of the H2 spectral parameter s, verify that the cJ=0 limit reproduces the exact AdS3 two-point function, and then extract the defect operator spectrum and bulk-boundary OPE (BOPE) coefficients at order cJ^2 by evaluating the spectral integrals through a residue calculation. The main results are the shifted defect dimensions Δ̂_n = 1/2 + i s_n with s_n given in (5.28) and the BOPE coefficients (5.31)-(5.33).","tokens_in":21430,"tokens_out":10272,"duration_ms":110529,"significance":"If the derivation is correct, the paper gives a new holographic application of Heun connection formulae and provides the first explicit BOPE data for a scalar probe in the Janus interface, including a nontrivial order-cJ^2 shift of the boundary operator dimensions. The paper has several genuine strengths: the connection coefficients are imported from independent literature rather than fitted; the cJ=0 limit is checked exactly against the known AdS3 two-point function; the BOPE coefficients satisfy the internal consistency relation (5.31)x(5.32) = (5.33)^2; and Appendix E checks the Trieste formula against the Schäfke-Schmidt formula to first order. The central limitation is that the residue extraction in Section 5.2 rests on unproven analytic-continuation and small-cJ interchange steps, and the cJ=0 check does not exercise those steps because it uses a different evaluation method.","major_comments":[{"comment":"The evaluation of the ξ→∞ limit by residues requires several analytic-continuation steps that are not justified. The paper replaces the integral over s∈[0,∞) in (5.20) with the integrals (5.23)-(5.26) over the full real line and then closes the contour in the lower half-plane. This contour deformation must cross the branch cuts and pole loci of the full integrand, including the factors cos(πσ), e^{-∂θW}, Γ(3/2-Δ-±σ), and the Γ(-2is) prefactor introduced by the hypergeometric transformation (5.22). The assertion after (5.26) that only the Γ(3/2-Δ-±σ) poles contribute is nontrivial, especially because Γ(-2is) has its own poles in the lower half-plane. No uniform estimate for the ξ→∞ limit or demonstration that all other pole/branch-cut contributions cancel is given. Since the cJ=0 check in §5.1 is performed with Kontorovich-Lebedev integrals rather than the residue method, it does not validate this step, and the central result (5.28)-(5.29) is therefore not established as it stands.","section":"§5.2, Eqs. (5.20)-(5.26)"},{"comment":"The inversion of the relation (4.16) to obtain the shifted pole locations (5.28) assumes that the small-cJ expansion of σ(s) remains valid at the complex pole positions s_n = -i(3/2+n-Δ-) + O(cJ^2), where |Im s| grows with n, and that after substituting the full σ(s) no additional solutions of σ(s)=3/2-Δ-+n enter the chosen contour. No remainder estimate for (4.16) is provided, and the expansion is derived for real s in the original spectral integral. A numerical evaluation of the original integral (5.20) for small cJ would provide a concrete check of (5.28); in the absence of such a check or an analytic error bound, the claimed spectral shift is not fully supported.","section":"§5.2, Eqs. (4.16) and (5.27)-(5.28)"},{"comment":"The residue evaluation leading to the BOPE coefficients is only sketched. For a pole of Γ(3/2-Δ--σ) at a shifted location, the residue involves (dσ/ds)^{-1} evaluated at s=s_n, but this derivative is not displayed. In addition, W(t) and its θ-derivatives in (5.31)-(5.33) are functions of σ(s) and t(cJ), and the paper does not show that the truncation of W to order 1/t^2 together with the σ expansion is sufficient for the claimed O(cJ^2) accuracy of the BOPE coefficients. While the product relation among (5.31)-(5.33) is a useful internal consistency check, it does not test whether the omitted residue contributions or truncation errors are absent.","section":"§5.2, Eqs. (5.31)-(5.33)"}],"minor_comments":[{"comment":"The text says the sum is over boundary operators labeled by positive integers n, but the pole family (5.27) starts at n=0; the range should be stated as n=0,1,2,... or the labeling adjusted.","section":"§5.2, after Eq. (5.30)"},{"comment":"The phrase 'can by computed' is a typo and should read 'can be computed'.","section":"§5.1, after Eq. (5.16)"},{"comment":"The statement that the eigenvalues lie in '[-∞, -1/4]' should be written as '(-∞, -1/4]' or '≤ -1/4' to avoid the misleading inclusion of -∞.","section":"Appendix A.1"},{"comment":"The symbol W is used both for the classical Virasoro block in (4.10) and for the Wronskian in (B.1); this overloading is confusing and should be resolved, for example by using a different symbol for the Wronskian.","section":"§4 and Appendix B"},{"comment":"The sentence introducing (4.16) says the expansion is 'to second order in cJ,' but the expression contains no O(cJ) term; it would be clearer to state explicitly that the first correction is O(cJ^2).","section":"§4.2, Eq. (4.16)"}],"recommendation":"major_revision","confidential_remarks":"The paper is within the scope of hep-th and the central idea is attractive. The main technical gap is the unproven residue extraction in Section 5.2, which is exactly the kind of issue that could be fixed by adding a justification of the contour deformation or by providing a numerical check of (5.28) against the original integral (5.20). I do not see grounds for rejection, but the manuscript needs a substantive revision before the central claim can be accepted. The citation pattern appears appropriate, including the authors' own earlier Janus papers for the background solution."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a real calculation, not a repackaging. The authors produce the first two-point functions for a massive probe scalar in the 3D Janus background, write the equation of motion as Heun's equation, and use the Trieste connection formula to obtain explicit O(cJ²) shifts in defect operator dimensions and BOPE coefficients. The cJ→0 limit reproduces the exact AdS3 two-point function in H2 slicing, and the BOPE coefficients satisfy the product relation (5.31)-(5.32) against (5.33). Those are two independent cross-checks, and they hold. Connection coefficients are imported from independent literature (Bonelli et al., Lisovyy-Naidiuk), with an explicit first-order check against the Schäfke-Schmidt formula in Appendix E, so the circularity burden is low.\n\nThe soft spot is the BOPE extraction in Section 5.2. The exact integral (5.20) is transformed using the ξ→∞ hypergeometric asymptotics, the s-integral is extended to the whole real line, and then evaluated by closing in the lower half-plane at poles of Γ(3/2−Δ−−σ). That move assumes the contour deformation does not cross branch cuts from the connection-coefficient factors, assumes only the first-order gamma-function poles contribute, and applies the small-cJ expansion of σ(s) at complex pole positions where its validity is not shown. The stress-test note is right that this is load-bearing. It is probably correct—the cJ=0 limit works and the pole structure is physically natural—but it is not proven. The paper should either justify the analytic continuation or flag it as an assumption. A numerical evaluation of (5.20) at small cJ would settle it quickly.\n\nThe citation pattern is fair: the Janus background is the authors' own earlier work, but that is appropriate, and the new input, the Heun connection formula, is credited to the original derivations. No fitted quantities are promoted to predictions. The paper is clearly written, the appendices are useful, and the machinery is reproducible.\n\nVerdict: this is a solid subfield paper. The BOPE data for the Janus interface are new and usable as benchmarks. I would want the contour step addressed before relying on the O(cJ²) numbers, but I would not desk-reject. Send it to a serious referee.","headline":"New analytic BOPE data for the Janus interface, built on a solid Heun-equation calculation; the residue extraction at large ξ involves an unproven contour step that should be tightened before the O(cJ²) spectrum is taken as settled.","tokens_in":21879,"tokens_out":2515,"would_cite":true,"duration_ms":25877,"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":"The paper shows that a probe scalar in the three-dimensional Janus interface is governed by Heun's equation, and uses its connection coefficients to extract the defect operator spectrum and BOPE coefficients to second order in the Janus…","keywords":["Janus solution","Heun's equation","AdS/CFT correspondence","interface CFT","bulk-boundary operator product expansion","connection coefficients","probe scalar","defect operator spectrum"],"falsifier":"Evaluate the exact spectral integral (5.23) numerically at finite $c_J$ and large but finite $\\xi$, and compare it term-by-term with the BOPE sum (5.30) using $\\hat{\\Delta}_n$ and residues from (5.28)--(5.33); a mismatch at order $c_J^2$ would show the pole extraction is wrong.","tokens_in":20782,"feed_emoji":"🌀","tokens_out":11748,"duration_ms":106386,"temperature":0.7,"pith_summary":"This paper computes the two-point correlation functions of a massive probe scalar moving in the three-dimensional Janus solution, a holographic model of a conformal interface between two CFTs. It shows that the scalar's equation of motion is exactly Heun's equation, and uses recently derived connection coefficients for Heun functions to write the correlators as spectral integrals over the AdS$_2$ Laplacian. From these integrals the paper extracts the dimensions of the boundary operators that appear in the bulk-boundary operator product expansion and the associated BOPE coefficients, to second order in the Janus deformation parameter $c_J$. The result gives a direct route from a solved ODE to the interface data of a holographic defect.","feed_headline":"Heun equation yields defect operator spectrum in Janus interface","feed_subtitle":"Exact spectral integrals give boundary operator dimensions and BOPE coefficients for a probe scalar in a holographic interface.","key_machinery":"The central object is Heun's equation in normal form, $\\rho''_s(y)+T(y)\\rho_s(y)=0$, a second-order Fuchsian ODE with four regular singular points at $y=0,1,\\infty,t$, obtained from the probe scalar equation of motion through the rescaling (4.1). The connection coefficients $C_{\\epsilon\\epsilon'}$ relating the Frobenius solutions at the two AdS boundaries are computed from the semiclassical Virasoro conformal blocks via formula (4.15), with the internal momentum $\\sigma$ fixed by the accessory-parameter relation (4.12). These coefficients do the load-bearing work: ratios of $C$'s enter the Wronskian-constructed bulk-boundary propagator, and the poles of the gamma functions in the $s$-plane of the connection formula become the boundary operator dimensions, while their residues become the BOPE coefficients.","core_discovery":"On the paper's own terms, the central discovery is that the two-point functions of the probe scalar in the Janus background admit exact integral representations in terms of the connection coefficients of Heun's equation, and that the large-$\\xi$ (operators near the defect) limit of these integrals is captured by a bulk-boundary OPE. The pole positions of the integrand give the defect operator spectrum $\\hat{\\Delta}_n = \\frac{1}{2} + i s_n$, where $s_n$ is shifted from its undeformed value by a term of order $c_J^2$ (equation (5.28)); the residues give the BOPE coefficients in (5.31)--(5.33). For $c_J=0$ the integral representations reduce to the standard AdS$_3$ two-point function of a primary of weight $\\Delta_+$, which serves as a consistency check.","pith_inferences":["The same Heun-connection machinery should apply to other $H_2$-sliced interface geometries in gauged supergravity, as long as the linearized probe equation remains of Heun type; the paper notes that extra couplings could change the equation.","For wormholes formed by quotienting $H_2$ by a Fuchsian group, the spectral integrals would become discrete sums over the Laplacian spectrum, giving defect data as sums over that spectrum; this path is mentioned but not developed.","The exact integral representations could be used to test interface-CFT inequalities, such as reflection/transmission or effective central charge bounds, by probing correlators away from the BOPE limit; this is an extension the paper leaves open."],"forward_implications":["The two-point functions (5.23)--(5.26) give exact spectral integral representations for all same-side and cross-side probe correlators in the Janus interface, not just a perturbative expansion.","The defect operator spectrum is $\\hat{\\Delta}_n = \\frac{1}{2} + i s_n$ with $s_n$ given by (5.28), so the leading correction from the Janus deformation is quadratic in $c_J$ and depends on the probe mass through $\\Delta_-$.","The BOPE coefficients satisfy the consistency relation $(b^{OL}_{O\\hat{O}_n})^2\\,(b^{OR}_{O\\hat{O}_n})^2 = \\bigl(b^{OL}_{O\\hat{O}_n} b^{OR}_{O\\hat{O}_n}\\bigr)^2$, so the same-side and cross-side data are not independent.","Setting $c_J=0$ reproduces the pure AdS$_3$ two-point function in the $H_2$ slicing, confirming the method on the trivial defect.","Higher-order corrections in $c_J$ are in principle accessible from higher-order terms of the semiclassical conformal block expansion, though the paper does not present them because the expressions become unwieldy."],"supporting_citations":[{"why":"Supplies the semiclassical connection formula for Heun functions used to relate left and right boundary solutions.","marker":"[25]"},{"why":"Provides the perturbative connection formula that the paper uses to expand in $c_J$; agreement with [25] is verified.","marker":"[26]"},{"why":"Gives the s-channel Virasoro block framework and connection coefficients, including logarithmic cases.","marker":"[17]"},{"why":"Introduces the Janus solution that is the background geometry of the calculation.","marker":"[30]"},{"why":"Gives the three-dimensional massless-scalar Janus solution whose metric is (2.3).","marker":"[45]"},{"why":"Supplies the Kontorovich--Lebedev transform identities used to evaluate the $c_J=0$ correlators.","marker":"[62]"},{"why":"Supplies the cosine transform of products of modified Bessel functions used to pass to cross-ratio variables.","marker":"[63]"},{"why":"Provides the bulk-boundary OPE block in (3.12) used to identify the defect operator spectrum and BOPE coefficients.","marker":"[55]"}],"fun_headline_variants":["Heun connection coefficients unlock Janus correlators","Janus probe scalar solved via Heun equation","Exact Janus two-point functions from Heun's equation","Heun's equation gives defect spectrum in Janus","Janus interface correlators via Heun connection"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The result assumes that, when the operators are brought close to the defect, the exact integral over the spectral parameter can be evaluated by keeping only a specific set of poles, and that the small-$c_J$ expansion used for the pole positions remains valid there.","fun_headline_variants_meta":{"raw":{"variants":["Heun connection coefficients unlock Janus correlators","Janus probe scalar solved via Heun equation","Exact Janus two-point functions from Heun's equation","Heun's equation gives defect spectrum in Janus","Janus interface correlators via Heun connection"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000161,"raw_usage":{"total_tokens":1159,"prompt_tokens":789,"completion_tokens":370,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":405,"completion_tokens_details":{"reasoning_tokens":295}},"tokens_in":405,"tokens_out":370,"duration_ms":3694,"temperature":1.0,"reasoning_tokens":295,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T11:34:26.063480+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evaluate the exact spectral integral (5.23) numerically at finite $c_J$ and large but finite $\\xi$, and compare it term-by-term with the BOPE sum (5.30) using $\\hat{\\Delta}_n$ and residues from (5.28)--(5.33); a mismatch at order $c_J^2$ would show the pole extraction is wrong.","supporting_citations":[{"cited_title":"Bateman,Tables of integral transforms, vol","cited_arxiv_id":null,"evidence_quote":"Supplies the Kontorovich--Lebedev transform identities used to evaluate the $c_J=0$ correlators."},{"cited_title":"Bateman,Tables of integral transforms, vol","cited_arxiv_id":null,"evidence_quote":"Supplies the cosine transform of products of modified Bessel functions used to pass to cross-ratio variables."}],"review_version":1}