Bootstrapping holographic defect correlators in N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N} $$\end{document} = 4 super Yang-Mills

We study two-point functions of single-trace half-BPS operators in the presence of a supersymmetric Wilson line in N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N} $$\end{document} = 4 SYM. We use modern analytic bootstrap in the form of an inversion formula, that reconstructs the CFT data starting from a single discontinuity of the correlator. In the planar strong coupling limit only a finite number of conformal blocks contributes to the discontinuity, which allows us to obtain elegant closed-form expressions for two-point functions of single-trace operators O\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{O} $$\end{document}J of weight J = 2, 3, 4. Our bootstrap approach guarantees that the correlator satisfies all the expected properties: it has the correct discontinuity, it satisfies the superconformal Ward identities, and it has a sensible expansion in both defect and bulk OPEs. The result is also consistent with available results coming from localization. The method is completely algorithmic and can be implemented to calculate correlators of arbitrary weight.


Introduction
The analytic conformal bootstrap is a powerful tool that has seen significant progress in recent years. The basic proposal made in the original papers [1,2], is that singular terms in a CFT correlator imply the existence of families of operators at large spin. This observation was later systematized and allowed the calculation of CFT data as a series expansion in inverse powers of the spin variable [3]. This line of thinking led to the Lorentzian inversion formula, that neatly captures the dependence of the CFT data as an analytic function of the spin variable [4]. This formula is a fully non-perturbative result valid for any CFT in any dimension.
Apart from giving us an improved understanding of the structure of CFT, the inversion formula is also a powerful calculational tool. Its power lies on the fact that correlators can be reconstructed from a certain discontinuity, which is in general a simpler object. Inversion formula technology is particularly useful for planar theories at strong coupling, where the discontinuity is captured by only a finite number of conformal blocks, simplifying computations considerably. This approach was carried out successfully for four-point functions of half-BPS operators in N = 4 SYM [5,6], and confirmed a previous conjecture made in Mellin space [7,8].
Because the presence of a defect does not change the local physics, the main properties that enable the bootstrap for strong coupling correlators are still present if we add a line defect to the configuration. More precisely, in this paper we consider correlators between single trace half-BPS operators and a supersymmetric Wilson line. These are canonical examples of local and non-local operators in N = 4 SYM. One point-function of half-BPS operators in the presence of a line are fixed by kinematics and the overall coefficient can be calculated exactly using matrix-model techniques [9][10][11][12]. Less work has been done on twopoint correlators in the presence of a line. This is the first case in which correlators depend non-trivially on conformal invariants and therefore capture an infinite amount of CFT data. The only results on the literature so far are an explicit weak-coupling calculation [13], the extreme strong coupling limit where the correlator becomes the square of a one-point function [14,15], and special kinematical points where the correlator does not depend on invariants and can be calculated using localization [14,16]. The goal of this paper is to calculate the full two-point correlator as a function of its cross-ratios, to the first non-trivial order at strong coupling, relying only on analytical bootstrap techniques.
The outline of the paper is as follows. In section 2 we review the basic kinematics of our two-point functions, including an interpretation of our bootstrap problem in terms of Witten diagrams. In section 3 we compute the two-point function for the stress-tensor multiplet, which is the half-BPS operator of weight J = 2, using Lorentzian inversion technology, and present an elegant closed-form expression for the full correlator. In section 4 we generalize the analysis for operators of higher weight and present explicit solutions for the cases J = 3, 4 as a demonstration of our method. Possible future directions are discussed in section 5, while in appendixes B and A we give the bulk and defect conformal blocks needed for the computations.

JHEP04(2022)093 2 Preliminaries
In this section we review the basic properties of the setup under study, before jumping into the technicalities of the computation in section 3.

Setup
Consider N = 4 SYM theory with gauge group U(N ) in the planar N → ∞ limit. The most important local operators in our discussion are single-trace chiral-primary operators: Here u is a six-component null polarization vector u · u = 0, such that O J (x, u) transforms in a symmetric-traceless representation of the R-symmetry group. These are protected operators that preserve half of the supercharges of the theory. The other important observable in our analysis is the supersymmetric Wilson line (sometimes called the Maldacena-Wilson line): This extended operator also preserves half of the supercharges, and has been studied extensively in the literature. Here θ is a unit-normalized six-component vector θ · θ = 1 that parametrizes a direction in R-symmetry space.
In this work we study correlators of local operators in the presence of the supersymmetric Wilson line: 1 Even though our configuration breaks some of the PSU(2, 2|4) symmetry of N = 4 SYM, these correlation functions are still restricted by the remaining defect (super)conformal symmetry. It is well understood that in defect CFT one-point functions are kinematically fixed, see for example [17]. The simplest observables in which the coordinate dependence is dynamical and not fixed by symmetry are two-point functions of bulk operators. The case J 1 = J 2 = 2 was studied recently at weak 't Hooft coupling [13] using standard Feynman diagrams. Here we consider instead a perturbative expansion at large 't Hooft coupling: To be more precise, our correlator admits a double expansion in powers of λ N 2 and 1 √ λ of the form where . . . stands for terms starting at λ 2 N 4 . As we will discuss shortly, the first two terms in the expansion are somewhat trivial. Our goal then is to use modern bootstrap methods to calculate the O J O J (2) contribution. The above perturbative expansion has a natural interpretation in terms of the holographic dual of N = 4 SYM, to which we now turn.

Supergravity interpretation
Thanks to the AdS/CFT correspondence [18][19][20], the strong coupling limit of N = 4 SYM admits a description in terms of classical IIB supergravity on AdS 5 × S 5 . Although we do not use this description to carry out our calculations, it is useful to understand the structure of perturbation theory. 2 The dual of a supersymmetric Wilson loop is a string worldsheet extending inside AdS 5 , whose boundary corresponds to the path of the loop [21,22]. Graphically Here the black circle is the boundary of AdS 5 , where the CFT lives, and the blue line corresponds to the string worldsheet. The expectation value of the Wilson loop has been the subject of intense study [23][24][25], but here we concentrate on the straight geometry. We are interested on the interplay between the supersymmetric Wilson line and half-BPS single-trace operators O J . In the holographic description, O J are dual to certain KK modes arising from the compactification of the IIB action on S 5 . One of these modes can be sourced at the boundary of AdS 5 , propagate through the bulk and be absorbed by the string worldsheet. This process is dual to the one-point function of O J in the presence of the Wilson line. Graphically The precise constant a J has been determined at strong 't Hooft coupling using holography [11,26], and is consistent with the exact result coming from the matrix-model description. The result is of order a J ∼ O( √ λ N ), as can also be seen by simple power counting arguments.
The focus of the present work is on two-point functions at strong coupling. The leading order contribution corresponds to a disconnected diagram, where the two operators in the boundary of AdS 5 interact through the bulk "ignoring" the string worldsheet: (2.8) Following the usual convention in CFT, we normalize this diagram to unity. This corresponds to O J O J (0) in equation (2.5). The next contribution at strong coupling corresponds to a factorized diagram, where the operators do not interact in the bulk:

JHEP04(2022)093
From the scaling of the one-point coefficients a J , it is clear this diagram contributes at order λ N 2 , so it corresponds to the term O J O J (1) . The first non-trivial correction to the two-point function contains an interaction vertex in the bulk [14]. In the exchanged line one sums over all KK modes that can couple to two O J 's. Schematically we have This is the diagram we calculate in the present work. 3 Instead of an explicit calculation using the effective action in AdS 5 × S 5 , we will bootstrap the result using the bulk-to-defect inversion formula obtained in [27]. The inversion formula reconstructs a correlator from its singular part, which is mathematically captured by a discontinuity: The crucial property of holographic CFT's is that the discontinuity is dramatically simpler than the correlator. In particular, we show below that the discontinuity receives corrections only from a finite number of single-trace operators exchanged in the bulk. Each of these contributions is schematically a product of a tree-level one-point function and a three-point function: The one-and three-point functions are known from localization, so all is left is to compute a certain integral and sum over finitely many single-trace contributions. In the rest of the paper, we translate this pictorial representation into a concrete bootstrap algorithm, that fully fixes two-point correlators with minimal external input.

Superconformal kinematics
The defect CFT associated with the Wilson line (2.2) preserves an OSp(4 * |4) subgroup of the full PSU(2, 2|4) symmetry. From the spacetime perspective, the defect preserves an SO(2, 1) ⊂ SO(4, 2) subgroup of the full conformal algebra. Furthermore, the presence of a preferred direction θ preserves only SO(5) R ⊂ SO(6) R of the R-symmetry. The kinematics of non-supersymmetric defects have been thoroughly studied in [17]. Below we only give a brief review, highlighting the new features due to supersymmetry, such as superconformal Ward identities and superconformal blocks. 3 In the case of holographic four-point functions, there exist contact Witten diagrams which are correctly reconstructed from the inversion formula [5,6]. If such diagrams are present in the defect case, our bootstrap result should capture them. We defer a more detailed study of the explicit holographic calculation for future work.

Two-point function and cross-ratios
A two-point function in a defect CFT depends on two spacetime cross-ratios, while in our setup there is an extra R-symmetry cross-ratio σ: (2.13) For the spacetime part, we use the cross-ratios z,z defined in [27] z +z 2 (2.14) Geometrically z,z are coordinates in a plane orthogonal to the defect. Indeed, placing the first operator at x 1 = (1, 0, 0, 0) and the second one in a xy-plane x 2 = (x, y, 0, 0), then z = x + iy andz = x − iy. In Lorentzian signature, one would instead find that z andz are real and independent. On the other hand, the R-symmetry cross-ratio is defined as The correlator F (J) (z,z, σ) is a polynomial of order J in the σ cross-ratio. This reflects the number of different ways to contract u 1 , u 2 with each other and with θ, the polarization of the Wilson-line defect. Before moving on, let us point out that one can also consider operators restricted to the line and study the corresponding 1d CFT, this configuration has been studied recently by a variety of means [28][29][30][31][32][33]. 4 In this work we consider bulk operators outside the line, which probes the interplay between local physics and the defect.

Structure of the correlator
As discussed above, the leading contributions at strong coupling to O J O J take the simple form (2.8) and (2.9). Comparing with the form of the two-point function (2.13) we find Our goal is to compute the correlation function at the next order O( √ λ N 2 ). For simplicity we decompose the correlator at this order in powers of the R-symmetry cross-ratio σ: 5 Below we use bootstrap methods to reconstruct the functions F 4 Similar setups have also been considered for 3d ABJM theories [34][35][36]. 5 Note that the definition of F (J) j in this decomposition is slightly different to the one used in [13]: here the terms are ordered in terms of powers of σ and not Ω. Furthermore, here we keep outside the definition the two leading contributions which are trivial.

Superconformal Ward identities
An important property of our correlator is that it satisfies superconformal Ward identities. These were studied in detail for half-BPS boundaries in [37], where it was observed that with a suitable identification of the cross-ratios, they also apply to the half-BPS line defect. 6 In our conventions the Ward identities read where the natural variable to use is ω, defined by It is not hard to check that the two leading terms (2.16) satisfy these equations. Note that the above Ward identities take a form very similar to other setups in the literature [38][39][40].
In the case of N = 4 SYM without defects, the Ward identities admit a simple closed-form solution in which the different R-symmetry channels are related by algebraic relations. This drastically simplifies the analysis because in the end one can just work with the independent channels. Sadly, the defect setup of this paper is closer to the Ward identities in three dimensions, where such an algebraic relation does no exist [38]. It is possible however to relate the different R-symmetry channels by the action of a non-local operator. This is obviously more cumbersome, but one can still implement it in order to focus only on the independent portions of the correlator [41]. In this paper we work explicitly with all the R-symmetry channels, however finding a better parameterization for our correlators is an interesting problem that should be studied in more detail.

Crossing equation
The last important ingredient for our calculation are the defect CFT crossing equations.
Here we only summarize them, and refer the reader to [17] for further details. In any CFT it is possible to fuse two bulk local operators as a sum of bulk operators. This bulk OPE is denoted schematically as On the other hand, the defect OPE expands a bulk operator as a sum of defect operators O J ∼ Ô b JÔÔ . Note that for a bulk one-point function O ∼ a O , the defect OPE implies a O = b O1 where1 is the defect identity operator. These two expansions can be inserted in a two-point function, resulting in a crossing equation: It is important to keep in mind that operators in superconformal theories belong to superconformal multiplets. For example, in the crossing equation, O refers to the superconformal primary operator of a PSU(2, 2|4) representation, which is labeled by the dimension ∆, the JHEP04(2022)093 spin , and an SO(6) R label K. Similarly,Ô is the superconformal primary of an OSp(4 * |4) representation labeled by the defect dimension∆, the transverse-spin s, and an SO(5) R labelK. 7 Supersymmetry fixes the contributions of superdescendant operators, so the expansion (2.20) is organized in superconformal blocks. These are linear combination of non-supersymmetric conformal blocks:

Topological subsector
An important property of our correlators is that they contain a topological subsector. In terms of the cross-ratios, the topological subsector can be obtained by setting z =z = ω. This projects out all the non-protected operators from the bulk and defect OPE and only half-BPS protected operators remain. This topological subsector goes beyond our twopoint correlators, and it actually describes a closed-subsector of the operator spectrum of the theory. The CFT data of the topological subsector can be obtained by solving Gaussian multi-matrix models [11,14,29,45]. Some of the explicit results that we present below are necessary to fix overall coefficients in our bootstrap analysis, while others provide non-trivial consistency checks of our calculation.
We start by looking at bulk single-trace half-BPS operators O J defined in (2.1). We follow the usual normalization conventions such that their two-point function is unit normalized, and the dynamical information is captured by three-point functions. In our conventions were originally computed in [46], and they are independent of the coupling: Detailed analysis of the representation theory of these supergroups can be found in the literature [42][43][44].

JHEP04(2022)093
As already discussed, one-point functions of single-trace operators in the presence of the supersymmetric Wilson line are kinematically fixed: Since the normalization of O J is determined by the two point function, the coefficient a J contains dynamical information about the defect CFT. 8 The precise value can be obtained from a perturbative calculation [9] or from a matrix-model calculation [10][11][12] Note that it is also possible to construct half-BPS multi-trace operators. For example, the OPE between the two single-trace operators O J ×O J must contain the following doubletrace operator: The prefactor is chosen to have a unit normalized two-point function. By using the localization techniques of [11,12,16], we derived the one-point function of O (J,J) and its three-point function with single-trace operators. Their product reads This is all the information we need about bulk protected operators.
The topological sector also captures information involving protected operators localized on the defect. There is a large degeneracy of protected defect operators which has been discussed in [45]. For our purposes, there are two defect operators that play an important role. On the one hand, there are defect operators inserted inside the path-ordering of the Wilson line, which we write asÔK (2.28) These operators are in symmetric traceless representations of the SO(5) R symmetry preserved by the defect. Therefore,û is a null polarization vector orthogonal to the Wilson line polarizationû · θ =û ·û = 0. On the other hand, it is possible to define a similar operator which lives outside the path-orderinĝ For both of these operators, one should choose a normalization such that their defect twopoint functions are unit normalized. The non-trivial dynamical information is then encoded

JHEP04(2022)093
in the bulk-defect two-point function: For operators of the first typeÔK, the bulk-defect coefficient has been calculated at strong coupling in the planar limit [45] b JK = λ On the other hand, the coefficients b J(K) have not appeared in the literature. An interesting outcome of our analysis is a prediction for the value of b J(Ĵ) . However, let us stress that our correlators also contain information about infinitely many non-protected operators that are not captured by the topological subsector. Note that the crossing equation given in (2.20) truncate on both sides in the topological sector [37]. This is known as microbootstrap, and in some cases the system of equations can be solved exactly [48].

O 2 O 2 at strong coupling
In this section we compute the correlator O 2 O 2 in the strong coupling limit. As explained in section 2.2, the two leading contributions are somewhat trivial and take the form given in equations (2.8) and (2.9). As in equation (2.17), we decompose the next correction into three R-symmetry channels: For compactness, here and for the rest of this section we drop the superscripts in the functions F In what follows we derive this correlator using the Lorentzian inversion formula presented in [27].

Lorentzian inversion formula
The idea of the Lorentzian inversion formula is that the discontinuity of the correlator is sufficient to extract the full defect CFT data, which in turn can be used for reconstructing the full correlator. For now we consider general single-trace operators O J (x, u), and later we focus on the J = 2 case. For a codimension-three defect, such as a Wilson line in four dimensions, the inversion formula reads

JHEP04(2022)093
where the discontinuity is computed around the branch cut inz ∈ [1, ∞): The inversion formula is bosonic and thus it should be applied to each R-symmetry channel F j (z,z) independently. The defect conformal dimensions are encoded in the poles of b j (∆, s), while the residues are OPE coefficients: The coefficients (b j ) n,s capture the normalization of the bulk-defect two-point function O JÔn,s , where the exchanged operatorsÔ n,s have dimension∆ n,s = J + s + 2n + γ n,s and transverse-spin s. 9 In the case where (small) anomalous dimensions are relevant, second-order poles are also present in the formula when Taylor expanding: Once the OPE coefficients and the anomalous dimensions have been obtained, the correlator can be expanded in defect spacetime blocks: Note that we have introduced the notationF j instead of F j , since the inversion formula might miss contributions from low spins s < s * [27]. In that case, we must add extra terms with spins s = 0, 1, . . . , s * toF j in order to recover the full correlator F j . This procedure will be described in detail in section 3.4. Except for these subtleties, equations (3.2)-(3.6) reconstruct the function F j using only information in its discontinuity Disc F j .

Computation of the discontinuity
The first step in order to apply the inversion formula (3.2) is to compute the discontinuity.
As we now show, the discontinuity can be computed even though the full correlator is not known. The idea is to expand the correlation functions in the bulk channel. The conformal blocks in (A.1) can be written as where the functionf ∆, (z,z) has an expansion around z,z = 1 in positive integer powers. As a result, only the prefactor can have non-vanishing discontinuity. Therefore, the contribution of a single bulk operator O to the discontinuity is There are two situations when this discontinuity does not vanish: JHEP04(2022)093 1. If ∆ is non-integer. This corresponds to O having an anomalous dimension correcting its tree-level dimension ∆ = 2J + + 2n + γ.
2. If ∆ is integer but ∆ < 2J + . This corresponds to O being a protected singletrace operator, whose dimension is below the double-trace threshold. Note that even though Disc(1 −z) −n naively vanishes, for n > 0 the singularity atz = 1 gives a finite contribution to the inversion formula. 10 In our setup the discontinuity only receives contributions of the second type. This claim can be proved by studying the superconformal bulk OPE in detail. From now on we focus on the J = 2 case. It was shown in [37] that in the presence of the line defect the OPE O 2 × O 2 truncates in the following way: which means anomalous dimensions do not contribute at the order in perturbation theory we are working. This implies all the operators in the bulk OPE (3.8) do not have anomalous dimensions at this order, so the correlator must admit an expansion in integer powers in the limit z,z → 1.
The main consequence of these observations is that only the superblock G [0,2,0] corresponding to B [0,2,0] has non-vanishing discontinuity: (3.10) In the rest of this section we reconstruct the full correlator from the single superblock G [0,2,0] .

Inversion of B [0,2,0]
We now invert the superblock G [0,2,0] in order to extract the defect CFT data, and by resumming the defect expansions, we obtain the correlators given in (3.23), (3.25) and (3.26). The superblocks G [0,K,0] are known and given in equation (4.4). For K = 2 they take the form

JHEP04(2022)093
where h K (σ) and f ∆, (z,z) correspond respectively to R-symmetry and spacetime conformal blocks, which can be found in appendixes B and A. We see that we need to invert two bosonic blocks, namely a scalar block f 2,0 as well as the stress-tensor block f 4,2 . Using the definition (B.3) for the R-symmetry blocks, we can extract the discontinuities in the three channels: It is convenient to express the blocks using the following variable: As discussed in the previous section, only negative powers ofȳ are relevant for the discontinuity. Since a factorȳ −2 comes from the prefactor in (3.12), we have to expand the bulk blocks to order O(ȳ) asȳ → 0. Using the methods in appendix A we find (3.14) Let us now invert an arbitrary powerȳ −p . In this section we only need the p = 1 case, but the case p ≥ 2 is relevant for section 4. For arbitrary powers ofȳ the discontinuity (3.3) results in: In principle now we should compute the inversion integral (3.2). In practice this is too hard, so we expand the integrand as z → 0. 11 Each new power of z will give information of a new defect family with higher transverse-twist∆ − s. In the z → 0 limit the integral overz is standard and gives the following result: (3.16) Although for integer p > 0 the discontinuity (3.15) naively vanishes, note that the final result is perfectly finite. This is expected, because the correlator is singular atz → 1, and the inversion formula reconstructs the CFT data from this singularity. Note that for p = 1 then B 1 (β) = 1, which simplifies our calculations below. In general the integral over z has the following structure: .
(3.17) 11 As a side effect, the expansion as z → 0 makes the inversion integral convergent order by order in z.

JHEP04(2022)093
This has to be compared to equation (3.5) in order to obtain the OPE coefficients as well as the product of anomalous dimensions with tree-level OPE coefficients. The presence of logs in equation (3.14) reveals that the scaling dimensions of the defect operators receive anomalous corrections at this order. In principle the results above are sufficient for extracting the defect CFT data in an algorithmic way and for resumming the correlator using equation (3.6). However, for the p = 1 case we can derive a closed-form formula for the defect CFT data corresponding to the bosonic blocks of equation (3.11). In the following we denote by b f ∆, (∆, s) the result of the inversion formula performed for individual bosonic spacetime blocks f ∆, . We begin with the scalar block f 2,0 . Using the inversion formula as well as the integrals (3.16) and (3.17) we find The calculation of the stress-tensor block proceeds in an analogous way. Using the integrals given above we obtain b (0,n)  Putting everything together, with the relative coefficients given by equation (3.12), the bosonic CFT data forF 0 (z,z) reads

JHEP04(2022)093
This can be used for resumming the correlator as in equation (3.6). The result takes a very simple form:F (3.23) The same analysis can be performed forF 1 (z,z), for which we find the following bosonic CFT data and the resummation gives a compact expression: . (3.25) Finally, since the discontinuity of F 2 (z,z) vanishes (3.12), we simply find

Supersymmetrization of the correlator
The correlation function obtained in the previous section is not supersymmetric, i.e. the three R-symmetry channels given in (3.23), (3.25) and (3.26) do not respect the Ward identities given in (2.18). This happens because the inversion formula misses contributions from low-lying spins s ≤ s * as anticipated in section 3.1. 12 The value of s * is related to the behavior of the two-point function in the Regge limit z/z → 0 [27], and in principle s * can be determined by careful analysis of the corresponding Witten diagrams. Instead, in the present work we use the heuristic that s * should take the minimal value that generates a supersymmetric correlator. As we show below, the resulting correlators make predictions which are in perfect agreement with the expectations from the topological sector.
As we just argued, in order to obtain a supersymmetric correlator, we add defect families with operators of dimensions∆ = 0, 1, 2, . . . and low spin s ≤ s * . The OPE coefficients of these operators are unknowns that we fix by imposing the Ward identities (2.18). We have found experimentally that the minimal ansatz consists on taking s * = 0 forF 1 (z,z) and s * = 1 forF 2 (z,z). To be precise, we define the final correlators F j (z,z) as k nfn,0 (z,z) + p n ∂∆f n,0 (z,z) , q n,sfn+s,s (z,z) + r n,s ∂∆f n+s,s (z,z) .

(3.27)
12 Such a phenomenon has already been observed for bulk correlators. For example, in the bootstrap of the Wilson-Fisher fixed point there is an ambiguity captured by a single = 0 block [50,51]. In supersymmetric theories, one expects the inversion formula to converge better than in non-supersymmetric ones, see [52] for a recent discussion.

JHEP04(2022)093
As mentioned before, the free coefficients k n , p n , q n,s and r n,s , can be fixed by requiring that the Ward identities are satisfied. In fact this fixes all the coefficients in terms of q 0,0 and k 1 . Note that q 0,0 corresponds to the ambiguity f 0,0 (z,z) = 1, i.e. the defect identity. However, we know from the Witten diagrams analysis of section 2.2 that the defect identity is given by the constant contribution a 2 2 , and thus . (3.28) On the other hand, the unknown k 1 can be determined by demanding a bulk expansion that is consistent with the observations made in section 3.2, i.e. there should not appear anomalous dimensions for bulk operators. This means that the expansion of (3.27) in the limit z,z → 1 should take the form of a power series, without spurious log(1 −z) terms.
Since the defect expansion (3.27) is natural around z,z ∼ 0, this is only possible after fixing the free coefficients and resumming the correlator. We were able to do so, and the remaining spurious term reads: This fixes the coefficient k 1 to be: (3.30)

Final result and comparison to localization
We will now present the final result for the correlator O 2 O 2 using the input of localization for the two remaining free coefficients, namely a 2 2 and λ 222 a 2 . We can then obtain OPE coefficients of other protected operators which in turn can be checked against the localization data.
The constant contribution a 2 2 from the defect identity can be fixed using equation (2.25): while for the OPE coefficient λ 222 a 2 we use the localization results given in equation (2.23) and (2.25): We thus obtain a correlator without any free coefficient left:

JHEP04(2022)093
Comparing to (B.6), this correlator predicts the OPE coefficient of the double-trace operator O (2,2) (3.34) which matches the localization results given in equation (2.27). We can also extract the defect CFT data for the protected operators: The OPE coefficient b 2 21 can be compared to the direct computation (see equation (2.31)), and we find a perfect match. The OPE coefficient b 2 2(2) corresponds to the operatorÔ (2) introduced in equation (2.29) and is a prediction from our result. 13 Moreover, using the superblocks described in [13,37], the correlator above can also be used for extracting the supersymmetric CFT data for unprotected operators. The resulting CFT data has to be interpreted as a sum over degenerate operators, and one would need to solve a mixing problem similar to the case of N = 4 SYM without defects [6,[53][54][55]. Below we provide a few examples, while we postpone the full analysis of the CFT data and the mixing problem to future work. In particular, the product of tree-level coefficients and anomalous dimensions for the unprotected operators at lowest twist∆ = s + 2 readŝ Note that here we use the notation of [13]. It is also possible to obtain a closed form for the OPE coefficients of the semishort operators (B, 1) [1,s] : The Mathematica notebook provided as supplementary material extracts the CFT data in the bulk and defect channel.

JHEP04(2022)093 4 General identical operators
In this section we extend the analysis of the previous section for general identical operators O J O J . The calculation of O 2 O 2 carries through almost unchanged, as will be described shortly. As a concrete application we obtain closed-form expressions for the J = 3, 4 correlators, which can also be found in the Mathematica notebook provided as supplementary material.

General discussion
As discussed in section 2, the correlator of interest has the form where we used the leading-order result for the one-point function (2.25). Here we give a general prescription to obtain the functions F (J) j (z,z) that contribute at order √ λ N 2 . The central idea is to reconstruct these functions using the Lorentzian inversion formula (3.2). It was discussed in section 3.2 that only operators with single-trace dimension can contribute to the discontinuity of the correlator. The bulk OPE of O J takes the form [37] where . . . contains unprotected multiplets that do not contribute to the discontinuity. Furthermore, B [0,2J,0] has double-twist dimension and does not contribute. From this it follows that, at the order we are working, the discontinuity of the correlator reads The superconformal blocks capture the information of half-BPS operators exchanged in the bulk OPE O J × O J . They were obtained in [13], and we reproduce them here for simplicity: k nfn,0 (z,z) + p n ∂∆f n,0 (z,z) , q n,sfn+s,s (z,z) + r n,s ∂∆f n+s,s (z,z) .  1 (z,z). Using the Ward identities (2.18), it is possible to fix all the free coefficients k n , p n , q n,s , r n,s except for q 0,0 and k 1 . As discussed around equation (3.28), q 0,0 can be identified with the defect identity a 2 J and is therefore fixed from localization. Furthermore, if one keeps the bulk OPE coefficients λ JJK a K arbitrary, the Ward identities also fix their relative values. For example, the Ward identities together with (4.5) imply These results are in perfect agreement with the known values (2.25) at leading order at large λ. This provides evidence that (4.5) is the correct prescription for the low-spin additions. At this point, it is possible to resum the series expansion representations for F (J) j . These resummed correlators can be expanded in a series around z,z = 1, which corresponds to the bulk conformal block decomposition. The expansion contains spurious log(1 −z) terms, which would imply that bulk operators get anomalous dimensions. These anomalous dimensions should not be present at the order we are working, so canceling the spurious logarithms fixes the remaining free parameter k 1 .
Summarizing, we need two inputs to compute O J O J Inputs: a 2 J and λ JJ2 a 2 .

Example 1: O 3 O 3
Let us turn our attention to the case of O 3 O 3 . The purpose of this example is to illustrate the general formalism that we just discussed. Furthermore, we present concrete intermediate results to help the readers interested in reproducing our results.

Inversion of single traces
The first step is to obtain the discontinuity of the correlator, by combining (4.3) and (4.4) with (A.2). For concreteness we look at the coefficient of σ 3 , or equivalently we focus on the F 0 (z,z) correlator: (4.9) Similar expressions can be easily obtained for the other F j (z,z). The next step is to insert the discontinuity in the inversion formula (3.2), and carry out the inversion order by order as z → 0. Each power z p induces a defect family with blocksf 2p+s+2n,s (z,z) and OPE coefficients given by the poles of b(∆, s). Similarly, each power z p log z induces defect anomalous dimensions ∂∆f 2p+s+2n,s (z,z) given by the double poles of b(∆, s). All the integrals that are needed are of the form (3.16) with p = 1, 2. The resulting defect expansion for the lowest-lying operators is Once again, the expansions for otherF (3) j (z,z) are obtained in an identical manner. Unlike in the O 2 O 2 case, we were not able to express the defect CFT data in closed forms. However, the previous calculation can be automatized with a computer, and the expansion can be generated efficiently up to high orders.

Supersymmetrization of the correlator
As for the O 2 O 2 case, theF (3) j (z,z) do not give a supersymmetric correlator because the Lorentzian inversion formula can miss low transverse-spin contributions. In order for F (3) j (z,z) to satisfy the Ward identities (2.18), we add the following s = 0, 1 contributions to our correlators 3 (z,z) =F  After this addition, the functions F j (z,z) should satisfy the Ward identities (2.18), which are highly constraining. In fact, the only coefficients that remain unfixed are λ 332 a 2 , k 1 and JHEP04(2022)093 q 0,0 . In particular, notice that the precise relation between single-trace OPE coefficients is fixed: . (4.12) Reassuringly, this relation is consistent with localization (2.25). Again, we believe this is strong evidence for the ansatz (4.11) for low transverse-spin ambiguities to be correct. In the case of O 4 O 4 we find a similar result involving K = 4, 6, and for general J we expect equation (4.6) to hold.

Fixing free parameters and final result
At this point, we have a supersymmetric correlator depending on three free parameters.
Using the series representation of the correlator (4.10) it is possible to find a closed form expression in terms of rational functions and logarithms. In particular, we find where . . . stand for terms which have an expansion around z,z = 1 involving only integer powers. On the other hand, tanh −1 √ zz has an expansion with log(1 −z) terms. These logarithms correspond to anomalous dimensions in the bulk, which should be absent by our assumptions. We thus conclude (4.14) In order to fix the last two coefficients we use input from the localization results of the topological sector. Indeed, from (2.25) we have that As discussed around equation (3.28), the coefficient q 0,0 has a natural interpretation as the defect identity contribution given by a 2 3 . We thus conclude q 0,0 = − 3 √ λ 4N 2 . The final result with no free parameters takes a reasonably simple form: (4. 16) In principle, this correlation function contains information of infinitely many unprotected operators, but as for the O 2 O 2 case we leave a detailed analysis of the OPE for future work. Instead, we focus on the CFT data captured by the topological sector. Comparing the full correlator (4.1) to equation (B.6) gives the bulk data   [45] apply to the defect operatorÔ 3 , while our result applies to the defect operatorÔ (3) , see the discussion in footnote 13.

Example 2: O 4 O 4
Let us finally consider the O 4 O 4 two-point function. Since the calculation is essentially identical to the previous one, we skip most of the details. However, it is important to note that the following input from localization is necessary: Following all the steps, which can be automatized with the help of a computer, we obtain the correlation function × + 2(z +z)(zz + 1) 8z 2z2 − 91zz + 8 + 2zz 43z 2z2 + 214zz + 43 + (zz + 1)(z 4z4 + 14z 3z3 + 270z 2z2 + 14zz + 1) log zz 1 − zz 6 (4.20) Once again, let us compare the predictions of this correlator with the topological sector. We find the bulk data while the defect data is given by These results are in perfect agreement with the literature, except for b 4(4) , which is a new prediction from our calculation.

A conjecture
In the three examples considered in the present paper, the function F (J) 0 (z,z) is very simple: (4.23) It is tempting to conjecture that this relation also holds for J > 4. From our bootstrap calculation, (4.23) is a result of a precise combination of the spacetime bulk blocks (A.2), the superblocks (4.4) and the OPE coefficients in the topological sector (2.25). Perhaps from the point of view of the explicit holographic calculation the origin of (4.23) will be more transparent.

JHEP04(2022)093
Let us also note the similarity between F 1 (z,z) and F (4) 1 (z,z) (4.24) We do not have enough data points to propose a full analytic formula for any J, however our current results look promising. In the discussions below we speculate on what might be the best possible strategy for the future.

Conclusions
In this work we have studied the structure of two-point functions of single-trace half-BPS operators in the presence of a supersymmetric Wilson line in N = 4 SYM theory. We used analytical bootstrap techniques in order to reconstruct the correlator at strong coupling. For operators of weight J = 2, 3, 4 we obtained fairly simple results presented in (3.33), (4.16), (4.20) which only involve logarithms and rational functions of the cross-ratios. A natural continuation of our work is the analysis of two-point functions for arbitrary weight O J 1 O J 2 . One obvious approach is to keep pushing the algorithm presented in this paper to higher values of J. However there might be better strategies. In N = 4 SYM without defects, explicit closed form expressions for half-BPS operators take a particularly simple form in Mellin space [7,8,56,57]. It would be interesting to transform the explicit formulas presented in this paper to Mellin variables. The Mellin space approach for defect CFT was explored in [58], the hope being that this might be the natural language to write the most general correlator O J 1 O J 2 . A better understanding of the implications of the Ward identities (2.18) might be necessary in order to achieve this goal. For example, in this work we considered R-symmetry channels individually, which is notably cumbersome. By solving the WI efficiently, one could write a supersymmetric inversion formula and significantly reduce the number of channels.
Another interesting line of research is to reproduce our results by an explicit holographic calculation using Witten diagrams. Some observables in holographic defect CFTs have been studied perturbatively at strong coupling, for example bulk onepoint functions [11,26], bulk-defect correlators [45] and correlators localized on the defect [28,29,36,59,60]. The two-point function of bulk operators was studied to order O( λ N 2 ) in [14], and the next order will involve the calculation of the Witten diagram (2.10). The structural understanding presented in this work might give valuable input for this type of calculation.
The idea of reconstructing correlators starting from their discontinuity is powerful. In defect CFT it seems to be as powerful as in the case for homogeneous CFTs. For monodromy defects in the ε-expansion this method was already used to fully bootstrap two-point correlators of chiral fields [61]. In this work we developed an algorithm that in JHEP04(2022)093 principle can be used to bootstrap an infinite family of half-BPS correlators. We expect that the same method also works in related N = 4 SYM setups, such as the non-supersymmetric Wilson line [59], Wilson lines in more general representations of the gauge group [60], or even higher codimension defects. Furthermore, many half-BPS defects are known to exist in maximally supersymmetric theories in d = 3, 4, 6, and all of them might be prime targets for the analytical bootstrap techniques used here.

JHEP04(2022)093
This is the contribution of a single half-BPS operator O K (x, u) to the bulk OPE, and we suppress terms subleading as x 2 12 → 0. In order to deal with the R-symmetry polarization, we use the SO(r) Todorov operator One can insert the bulk OPE (B.4) combined with the one-point function (2.24) in the two-point function. Keeping only the leading term as z,z → 1 gives This is the leading contribution of a protected half-BPS operator to the bulk OPE, and it is equally valid for single-and multi-trace operators. It is reassuring that the contribution is proportional to the R-symmetry block (B.3). This result also justifies our choice of the overall normalization for the bulk superblock (4.4).
The story for the defect OPE works in an identical way. The form of the correlators (2.30) fixes uniquely the bulk-defect expansion As before, we focus on the contribution of a protected defect operator and keep only the leading-order term as x ⊥ → 0. Since the defect operator transforms as an SO(5) symmetric traceless tensor, we use the r = 5 version of (B.5). Inserting the defect OPE in the twopoint function gives This is the leading contribution as z,z → 0 of a protected defect operator to the defect OPE.
Open Access. This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.