Bootstrapping the 3d Ising twist defect

Recent numerical results point to the existence of a conformally invariant twist defect in the critical 3d Ising model. In this note we show that this fact is supported by both epsilon expansion and conformal bootstrap calculations. We find that our results are in good agreement with the numerical data. We also make new predictions for operator dimensions and OPE coefficients from the bootstrap approach. In the process we derive universal bounds on one-dimensional conformal field theories and conformal line defects.


Introduction
Conformal field theories (CFTs) play an important role in many aspects of theoretical physics, from the concrete study of physical systems at criticality to abstract problems in mathematical physics. Although some CFTs can be given a weakly coupled description, the most interesting and commonly occurring CFTs are strongly coupled, and in three or more dimensions few analytic tool are available to study them. In supersymmetric or lowerdimensional examples, conformal invariant defects have played a useful role in probing the structure of CFTs. A conformal defect is a non-local observable, a modification of the theory which is localized on a lower-dimensional manifold and preserves an appropriate subgroup of the conformal group. It is natural to attempt to define and study defects JHEP03(2014)100 in non-supersymmetric, commonly occurring CFTs. The 3d Ising model at criticality is a natural candidate: it is in a sense the simplest non-trivial 3d CFT and has been the subject of an intensive and rather successful analysis by a variety of theoretical and numerical tools [1] such as the -expansion and Monte Carlo simulations. More recently, interesting constraints on the Ising model [2] and other CFTs have been derived using the methods of the conformal bootstrap [3][4][5][6][7][8][9][10][11][12][13][14][15][16][17][18][19][20][21].
The simplest possible conformal defect in a CFT is a boundary condition. Boundary conditions in the 3d Ising model have been the subject of some theoretical [22,23] and numerical study [24]. More recently, there have been attempts to "bootstrap" such boundary conditions [12], by looking at two-point functions of bulk operators in the presence of the boundary. Another interesting example is a monodromy, or twist defect. The global Z 2 flavor symmetry of the Ising model allows for a natural definition of codimension two twist defects: under a rotation around the defect, local operators pick up a phase factor according to their Z 2 quantum numbers. Due to their topological nature, such defects are essentially guaranteed to flow to scale invariant defects in the IR and possibly to conformal defects.
Recently the authors of reference [25] have used Monte Carlo simulations to provide numerical evidence for the existence of a twist defect in the 3d Ising model. In this note, we aim to present further evidence for this from different points of view. We shall take a two-pronged approach: direct analytic calculations using -expansion techniques; and the numerical methods of the conformal bootstrap. In both cases not only do we find excellent agreement with existent data, but we are also able to make new predictions that may be verified in the near future. As such, our work is a nice example of the interplay between theory, Monte Carlo simulations and the numerical bootstrap.
The -expansion, introduced by Wilson and Fisher [26], provides a framework to study the critical O(N ) models in a perturbative setting. A drawback of this method is its disregard of the conformal symmetry, and another is that high accuracy requires computations to high loop orders and Borel resummation due to the asymptotic nature of the perturbative expansion [27]. Nevertheless, the -expansion has been used to determine basic critical exponents in 3d rather precisely. The numerical bootstrap recently provided compelling evidence for the consistency of this method by identifying a family of solutions to crossing symmetry, interpolating between the 2d and 3d Ising model, and the 4d free scalar [11]. It is thus natural to use the -expansion as a source of data on the twist defect in the 3d Ising model. Concretely, we will start with the twist defect in the free theory, add a φ 4 coupling in the bulk and study correlation functions in the IR. The theory is expected to flow to the twist defect of the 3d Ising model. Performing one-loop computations, and setting = 1, we find good agreement with the Monte Carlo data. The one-loop deviation from the 3d free theory is always in the right direction, and often surprisingly close to the measured value. Note that defect scaling dimensions have been studied for Wilson lines in 3d U(1) gauge theory with matter in [28].
As was mentioned before, boundary conditions have been previously considered in the context of the conformal bootstrap. The main obstacle in such program is the lack of guaranteed positivity/unitarity constraints in the intermediate channel where the two JHEP03(2014)100 bulk operators are fused together. Here we shall take a different approach, by considering directly correlators of defect operators. This guarantees positivity, but the price to pay is that it uses very little information about the bulk CFT itself, as the bulk operators do not appear in any fusion channel. The only properties of the bulk theory which affect directly the four-point functions on the defect are its symmetries. The 3d Ising model should be a reasonable candidate for such an analysis, because it is strongly constrained by its symmetries: in a sense, it is the simplest 3d CFT with a Z 2 flavor symmetry. It would be interesting to investigate if such a strategy may be successful in the study of boundary conditions (codimension one defects). In this paper, we focus on the codimension two twist line defects, and thus consider the conformal bootstrap in the one-dimensional world volume of the defect.
The spectrum of operators on the defect contains operators of various U(1) 'spin' (corresponding to rotations around the defect), which can be integer of half-integer according to the Z 2 charge of the operator. Further, the spectrum should contain a protected "displacement operator" D, of spin 1 and dimension 2. This is the operator one would add to the defect Lagrangian to deform the defect away from a straight line. We shall consider four-point functions of the simplest local operator ψ on the defect, the leading spin-1/2 operator, which occurs in the defect OPE of the Z 2 -odd bulk field σ (the Ising model spin field). However, in one dimension one must take care because a four-point function can be decomposed only into two crossing symmetry channels. There are therefore two crossing equations: in the four-point function ψψψψ both fusion channels have spin 0; but the correlator ψψψψ has both spin 0 and spin 1 fusion channels.
We shall explore the constraints following from the crossing equations, deriving universal bounds on one-dimension unitary CFTs. By forcing the spectrum to contain the displacement operator, we can derive a bound on the dimension of the leading parity-even spin-0 operator. In the extremal case where the bound is saturated, we can reconstruct a unique solution to crossing symmetry [6], and we find that for a certain value of the OPE coefficient of D the spectrum seems to match that of the defect, found both numerically and via -expansion. We also obtain a number of other operator dimensions and OPE coefficients which can be thought of as specific predictions for future numerical tests.
Here is a brief outline of this note. In section 2, we review the twist defect introduced in [25]. We work in the continuum limit, describing the expected symmetries, low-lying operators and the form of the operator product expansion. Section 3 is concerned with -expansion calculations. In section 4 we turn to the methods of the modern conformal bootstrap and conclude in section 5 together with suggestions for further research.
2 The Z 2 twist defect Let us recall [25] that the twist line defect in the 3d Ising model can be constructed on the lattice by flipping the Ising coupling on a semi-infinite half-plane ending on a line of the dual lattice. Such semi-infinite surface is a topological defect, since physics is invariant under its arbitrary deformations fixing the boundary line, provided we also flip the spins in between the original and deformed surface. The boundary of such topological surface JHEP03(2014)100 defect is precisely a twist line defect. In the continuum limit, correlation functions become discontinuous (antiperiodic) across the surface. Presumably the same twist line defect lies at the IR end of the renormalization group flow from the free theory with a Z 2 twist defect generated by φ 4 coupling in the bulk.
The global spacetime symmetry group of a D-dimensional Euclidean parity-invariant CFT is O + (1, D + 1), where parity or sphere inversion switches between the two connected components. A conformal Z 2 twist line defect thus breaks the bulk symmetry is a double cover of the group of rotations and reflections fixing the defect, such that the rotation by 2π is identified with the nonidentity element of Z 2 . The dihedral symmetry D 8 of motions of the cubic lattice fixing the defect, discussed in [25], is a subgroup of O (2). O + (1, 2) is the spacetime symmetry group of the defect. At the level of Lie algebras, we have so(1, 2) = sl(2, R), and the connected components of O + (1, 2) are switched by the reflection in a plane orthogonal to the defect or the sphere inversion centered on the defect. Following [25], we call the former the S-parity.
In this note, we will be concerned with local operators living on the twist defect. In the Ising model, these correspond to local modifications of the lattice model in close proximity of the defect line. Applying radial quantization centered at a point on the defect, the defect local operators are seen to correspond to the states of the CFT quantized on a two-punctured sphere, with each puncture inducing the Z 2 action on the bulk fields. The local operators fall into representations of the group O + (1, 2) × O (2). The 1D conformal algebra sl(2, R) is generated by operators P, D, K (respectively translations, dilations and special conformal transformations) satisfying the commutation relations The counterpart of unitarity in the Euclidean signature has been called 'reflectionpositivity'. In our setting, this property means that any correlation function of a configuration of real operators which is invariant under the S-parity is positive. Real operators in the Ising model are those appearing in the real operator algebra generated by the spin field. Reflection-positivity of the 3d Ising model is not spoiled by the defect line since the lattice transfer matrix in a plane perpendicular to the defect is unchanged with respect to the bulk theory. This leads us to define the (Euclidean) conjugate C(O(x)) ≡Ō(x) as complex conjugate composed with S-parity, so that Ō (x)O(y) ≥ 0. C is an antilinear map on the algebra of local operators which reverses the O(2) spin and commutes with the other quantum numbers.
The commutativity properties of the symmetry algebra enable us to find a basis of defect primaries with well-defined S-parity, and O(2) spin s, which is (half)integer for primaries even (odd) under the global Z 2 . Each s = 0 representation moreover carries O(2)-parity, denoted B. We are free to choose the phase of the s = 0 primaries so that JHEP03(2014)100 C acts on them as the identity. The basis of |s| > 0 primaries can be chosen so that B(O) = b OŌ . From BC = CB and B 2 = 1, we get b O = e iθ . Redefining O → e −iθ/2 O, we cancel the phase and get BO =Ō, so that |s| > 0 do not carry any O(2)-parity.
Exactly as in higher dimensions, conformal invariance fixes the form of two and three point functions. The difference in 1d is that the three point function coefficient c O 1 O 2 O 3 may depend on the cyclic order of the operators (signature of the permutation), since this order is invariant under the connected component of identity in the conformal group. In particular, note that for x < y < z Arbitrary cyclic permutations are generated by P + K. The sign in (2.3) will play an important role in one of our bootstrap equations. Primary operators on the defect satisfy the usual operator product expansion where the sum runs over defect primaries and is fixed by conformal symmetry. Moreover, bulk operators can be expanded in terms of the defect operators in the so-called bulk-defect OPE [23,29] , which for a scalar primary in the bulk takes the form where we use complex coordinates z,z for the transverse directions, the sum is over defect primaries, and s O denotes the O(2) spin of O. Conformal symmetry in the presence of the defect fixes φ(x, z,z)Ō(y) up to an overall constant C φ O , and consequently determines Notice that in particular, the boundary OPE coefficient C φ 1 gives the expectation value of φ, Applying a 2π rotation to (2.6), we see that the defect expansion of a bulk operator φ even (odd) under the global Z 2 contains only defect primaries with integer (half-integer) spins.

JHEP03(2014)100
Typically, the bulk-defect OPE will contain an infinite tower of defect primaries at each allowed spin. An exception is the bulk free field, studied below, which only features one defect primary at each spin. The defect spectrum always contains the displacement operator D(x) which, when added to the Lagrangian, generates deformations of the defect. Its dimension and quantum numbers are fixed by the Ward identity expressing the breaking of transverse translational symmetry by the defect ∂ a T ai (x, z,z) = D i (x)δ 2 (z,z), (2.9) where i label the transverse coordinates. Hence ∆ D = 2, s D = 1, and D is even under S-parity. Let us illustrate the above in the simplest setting -the theory of the free massless real scalar φ in three dimensions, with twist defect for the global Z 2 . Applying the bulk equations of motion to the bulk-defect OPE of φ, we find that the scale dimension of the defect primary of (half-integer) spin s appearing in the OPE is ∆ s = |s| + 1/2. We will denote this tower of operators by ψ s . The field φ (and consequently each ψ s ) is even under S-parity. Reality of φ implies ψ −s =ψ s . The lowest-lying non-identity defect primary is ψ ≡ ψ 1/2 with scale dimension ∆ ψ = 1. Since the scale dimension of the bulk spin field in the 3d Ising model is close to the free-field value, we expect the lowest-lying operator in the Ising defect spectrum to have dimension close to 1 and share the other quantum numbers with the free-theory ψ. Going back to the free theory, theψψ OPE contains primary operators of schematic form O n =ψ∂ n ψ, n ≥ 0. We have ∆ On = n + 2, s On = 0, and the S-parity, as well as O(2)-parity of O n is (−1) n . The ψψ OPE features primaries with schematic form S n = ψ∂ 2n ψ for n ≥ 0. This time, we obtain ∆ Sn = 2n+2, s Sn = 1, and the operators are even under S-parity. S 0 is the only candidate for the displacement operator, since forming further OPEs will only create operators with dimensions greater than 2. In the next section, we will compute the first-order corrections to the scale dimensions of some of these operators, as well as their three point function constants at the Wilson-Fisher fixed point in 4 − dimensions. In particular, we will check that D ≡ S 0 is indeed protected at this order.

Epsilon expansion
In order to study the properties of the twist defect at the Wilson-Fischer fixed point in 4− dimensions, we start with the D = 2 − dimensional twist defect in the free theory and add a bulk φ 4 interaction at the critical coupling. Since renormalization is a local property, the bulk flow is unaffected by the presence of the defect, and so the critical coupling is the usual g = (4π) 2 /3 + O( 2 ). Correlation functions of local bulk operators interpolate between two regimes -when the typical distances between the insertions are much smaller than the distance from the defect, the correlation functions become those of the Wilson-Fisher fixed point with no defect. In the opposite case, the correlation functions are controlled by the CFT data of the defect. In the latter regime, the distance from the defect acts as a UV cutoff.

JHEP03(2014)100
In this section, we use bulk perturbation theory to study bulk correlation functions in the defect regime and thus determine the data associated to some important defect operators to the first order in . The reader uninterested in the details may skip directly to the results which are displayed in table 1.

The two-point function in the free theory
First, we will need the two-point function in the free theory alias the propagator. It is anti-periodic around the defect and satisfies where we chose the normalization standard in CFT literature, resulting in the asymptotics Let x denote coordinates in the whole space and y those along the defect. The propagator can be easily found in momentum space where the Fourier transform is over the coordinates along the defect, θ is the angle around the defect, r − = min(r 1 , r 2 ), r + = max(r 1 , r 2 ) and I s , K s are the modified Bessel functions. The contribution from spin s can be integrated to give where ∆ = |s| + D/2 is the scaling dimension of the primary field ψ s of spin s induced on the defect by φ in the bulk, and is one of the two conformal cross-ratios, the other being the relative angle. The computation can be simplified by using conformal invariance -it is enough to evaluate the spin-s propagator at r 1 = r 2 since this fixes the dependence on ξ. ξ 1, ∆θ 1 is the regime controlled by the bulk CFT and ξ 1 the regime controlled by the defect data. Defect channel scalar conformal blocks for equal external dimensions can be read off from (3.4), since these depend only on the internal dimension ∆ and space-time dimension. To compute the properties of ψ s , we will need the spin-s two-point function in four dimensions, where (3.4) reduces to We can check that the infinite sum over spins produces the correct short distance singularity. Indeed, the full free two-point function can be resummed for When ξ 1, this reduces to the expected (3.2). For completeness, let us note that the full two-point function can be found explicitly in D = 2 by summing (3.6)

Leading defect operators of half-integer spin
In this subsection, we will compute the scaling dimensions of the operators ψ s of spin s = n + 1/2, n ∈ Z ≥0 , induced by σ on the defect, as well as the bulk-defect OPE coefficient C σ ψs to the first order in . If nothing too dramatic happens along the RG flow from the free massless scalar, these should be the leading operators of half-integer spin. We will consider the spin-s component of the bulk two-point function when the two insertions are taken close to the defect. Let us place both points at radius r and distance y along the defect, relative angle θ and denote λ = r/y = 1/ √ 4ξ. From the bulk-defect OPE, we expect the spin-s component of the two-point function to have the following leading behaviour as λ → 0 The dependence of ∆ ψs and C σ ψs on at one loop comes from two sources -the change of the free theory result with space-time dimension and the one-loop self-energy diagram (see figure 1). Using (3.4), one finds the free theory result

JHEP03(2014)100
Expanding the Gamma functions, we obtain the free theory CFT data of ψ s to the first order in where ψ(z) = (log Γ(z)) . The one-loop self-energy diagram should be evaluated in D = 2 since the coupling constant is itself proportional to . Taking care of the normalization and symmetry factor, the diagram's contribution is equal to We need a regularized expression for the full free two-point function between coincident points G 0 (x 0 , x 0 ) in D = 2. Starting either from (3.3) and evaluating the sum over spins for D < 0 (so in dimensional regularization), or taking the finite piece of (3.7), we find (3.14) Using g = (4π) 2 /3, and the free D = 2, spin-s propagator (3.6), and performing the trivial integration over the angle, the one-loop diagram becomes When λ → 0, the integral is proportional to λ 2(s+1) log λ, which is giving precisely the anomalous dimension of ψ s . The asymptotic expansion (see appendix A.1) reveals that as λ → 0. It follows that the one-loop contribution to ∆ ψs is − /24s and that to |C σ ψs | vanishes. The CFT data at the Wilson-Fisher fixed point to the first order in are therefore The inverse power-law dependence of the anomalous dimension on spin is in agreement with the results of [7,9]. The comparison to Monte Carlo data on ψ = ψ 1/2 and ψ 3/2 presented in [25]

Energy operator
In this subsection, we will consider the two-point function in the bulk limit ξ 1 in order to find the one-point function of the energy operator in the presence of the defect at one loop. Put the two insertions at the same θ, same radius r and distance y along the defect, so that λ = r/y 1. Bulk OPE and conformal invariance of the one-point function dictates that where the o-notation now refers to the limit λ → ∞. Expanding the free-theory result (3.7) around ξ = ∞ yields which gives the following free-theory predictions for the CFT data associated to The one-loop self-energy can be evaluated using the full 4D propagator (3.8). Rather than starting directly from (3.8), it is more convenient to sum (3.15) over the spins, setting θ = 0 Asymptotic expansion of this integral as λ → ∞ shows (see appendix A.2) We checked this result agrees with the computation which uses the full propagator (3.8).
Combining the tree-level and one-loop result, we find the following properties of at one JHEP03(2014)100 The formula for ∆ is in agreement with the standard result obtained using perturbation theory without the defect. We reproduce the computation in appendix B in order to find the OPE coefficient . It follows that the one-point function coefficient of energy is As shown in table 1, the first order result is again in a good agreement with Monte Carlo data.

Leading defect operators of positive integer spin
Operators on the defect of integer spin can be found in the ψ s 1 ψ s 2 OPEs. The most important of these is the displacement operator of spin one and protected dimension D + 1 = 3 − . In the free theory, the normal ordered product ψ s 1 ψ s 2 has scaling dimension where we ignored the possible corrections sub-leading in y 12 . Denoting δ s the minimal eigenvalue of ∆ s mn , the lowest dimension at spin s ∈ Z >0 is, to the first order in In particular, if the displacement D = O 1,1 is protected, we should have δ 1 = ∆ 1 11 = 0. In the following, we will find the matrix ∆ s mn by studying the various spin components of the four-point function of φ when all four insertions are at the same radius r with |y 12 | = |y 34 | = r/λ and |y 13 | = r/(λµ) such that λ 1, µ 1. Using first the bulk-defect OPE, and then OPE on the defect, we find the leading piece of the four-point function for where O s,m is the normalized product ψ s 1 ψ s 2 andŌ s,n is the normalized product ψ s 3 ψ s 4 . Recall that to O( 0 ), we have C σ ψs j = 1 and from Wick's theorem (3.31) In bulk perturbation theory, the contributions to the four-point function at the first order come from the diagrams with two disconnected loop-corrected propagators, and the contact four point interaction (see figure 2). The former give the leading contribution while the contact interaction leads to the integral (following from (3.6)) Asymptotic expansion gives the following leading piece (see appendix A.3) The first thing to notice is that ∆ 1 11 = 0, so the displacement operator is indeed protected at the first order in . The next simplest case is s = 2, with a single operator t + = ψψ 3 2 of free-theory dimension 4 − and anomalous dimension /9. Numerical results for the lowest eigenvalue of ∆ s mn are shown in figure 3. The leading anomalous dimension converges to −1/12 as s → ∞, which can be understood be noting that in this limit, (e j ) n = δ nj becomes an eigenvector of ∆ s mn with eigenvalue .
It would be interesting to understand the asymptotic properties of the spectrum along the lines of [7,9]. Unfortunately, the Monte Carlo data on higher-spin operators are not yet precise enough to provide a test of our results. Computation of the next-to-leading order in µ of the contact interaction diagram (3.35) provides the first order correction to the OPE coefficients c ψs 1 ψs 2 Os,m . The disconnected diagrams contribute only to C σ ψs j . The computation is included in appendix A.4, the result being from which it follows that

The leading defect scalar and pseudoscalar
The above discussion was concerned only with operators of positive integer spin, but it is a simple matter to use the same method to find the dimension of the leading defect (nonidentity) scalar. In the free theory, it is the operator s =ψψ of dimension 3 − . Now we can repeat the steps above with s 1 = −s 2 = −s 3 = s 4 = 1/2 and find that the computation is almost identical to that for the displacement operator, the only difference being in the JHEP03(2014)100 free-theory OPE coefficients (c ψψD = √ 2, c ψψs = 1). In both cases, the contribution from the disconnected diagrams is − /6 (twice the anomalous dimension of ψ). The contact interaction diagram contributes /6 to the displacement, but /3 to the scalar since in the former case, it is reduced by |c ψψD | 2 =2. Hence the dimension of s is (3.40) Table 1 indicates that already the first order provides a considerable improvement towards the Monte Carlo results with respect to the free theory. We can also use the constant piece of (3.38) to conclude that The leading free-theory defect operator with spin zero and negative S-parity is p 0 = ψ ← → ∂ ψ/2 = [(∂ψ)ψ −ψ(∂ψ)]/2. We wish to study it using the φ( where the derivatives act along the defect. We put all four points at the same distance from the defect and focus on the correct spin component of the fourpoint function. The contact interaction diagram for φ(x 1 )φ(x 2 )φ(x 3 )φ(x 4 ) is completely symmetric under any permutation of the four points. The antisymmetric derivative acting on x 3 , x 4 thus makes the diagram vanish in the limit x 3 → x 4 . Hence the properties of p 0 to the first order are determined solely by the renormalization of ψ. We find

JHEP03(2014)100
The generalized free theory gives for the three point function constant We will be able to compare these predictions with data from conformal bootstrap in the following section.

Bootstrapping the twist defect
In this section we will apply the methods of the numerical conformal bootstrap to the one-dimensional defect directly. As outlined in the introduction, there are two distinct but related crossing equations which are relevant for our problem. Analysis of the first leads to an operator dimension bound in one dimension, similar to those derived between 2 and 4 dimensions in references [2,11,18,19]. The bound appears to be saturated by the generalized free fermion. Adding an extra equation and demanding the existence of a displacement operator leads to more interesting bounds, and we are able to reconstruct the twist defect spectrum.

The bootstrap equations
The bootstrap equations that we use result from expanding four-point functions of ψ,ψ in different OPE channels. Four points on a line have only one invariant under the SL(2, R) action. We take it to be z = x 12 x 34 x 13 x 24 . (4.1) We fix the order of the insertions to x 1 < x 2 < x 3 < x 4 , which results in the constraint 0 < z < 1. The four-point function of defect primaries O i of equal scale dimension d can be written as where g(z) is an analytic function for z ∈ (0, 1). Colliding x 1 and x 2 leads to the series expansion in conformal blocks where the sum runs over defect primaries, and G ∆ (z) is the 1d conformal block for equal external dimensions and internal dimension ∆. The conformal blocks are given by [30] G ∆ (z) = z ∆ 2 F 1 (∆, ∆; 2∆; z) .

JHEP03(2014)100
U(1) symmetry requires that a nonzero four-point function of ψ andψ must contain two of each. There are two nonequivalent orders to consider: ψ ψψψ and ψ ψψψ . Focusing on the first case, the exchanged operators come from theψψ OPE, so they have U(1) spin zero. Moreover, their S-parity equals the O(2) parity since the two symmetries require in turn We have seen this correlation between the parities in theψψ OPE in the free theory example of section 2. Of course, theψψ OPE starts with the identity. The coefficients of the conformal block expansion in the (12)(34) channel are cψ ψO cŌψ ψ . Using the Hilbert space formalism, this equals The (23)(41) contains the same set of spin-0 operators and the corresponding coefficients are |c ψψO | 2 . But c ψψO = ±cψ ψO thanks to the parity symmetries, so that the first bootstrap equation can be written as We have thus obtained a conventional crossing equation with positive and equal coefficients on both sides, directly analogous to those used in higher dimensions [2,11]. The equation resulting from the crossing symmetry of the ψ ψψψ correlation function is less standard. The (12)(34) channel still consists of primaries from theψψ OPE, but this time, the coefficient is The resulting bootstrap equation thus takes the form where the first, second sum on the l.h.s. runs over parity-even, odd scalars respectively, and the sum on the r.h.s. runs over spin-1 primaries. We expect the lowest operator in the ψψ OPE to be the displacement. Note that the difference in sign between the two bootstrap equations goes hand in hand with the fact that the crossed channel in (4.8) starts with the JHEP03(2014)100 identity, while in (4.11), it starts at ∆ > 0. In the former case, the scalars and pseudoscalars together produce the strong singularity of the identity in the crossed channel, but in the later, their effect must cancel to leave a weaker singularity corresponding to the first spin-1 primary. Since the singularity in the crossed channel is produced by the tail of the set of primaries, it follows that there are infinitely many scalars as well as infinitely many pseudoscalars.
There is a family of simple solutions of the two bootstrap equations corresponding to a generalized free complex scalar in 1d. In this case, Wick's theorem implies ( (4.13) The first term in each bracket is the contribution of the identity, and the rest can be expanded in 1d conformal blocks as so that theψψ OPE contains scalars of dimensions 2d + 2n, n ≥ 0, and pseudoscalars of dimensions 2d + 2n + 1, n ≥ 0. (4.13) in the crossed channel becomes with conformal block expansion so that the spin-1 sector consists of dimensions 2d + 2m, m ≥ 0. Unless we put constraints on the spin-1 spectrum, any solution of (4.8) can be extended to a solution of both (4.8) and (4.11). Indeed, let be a solution of the first equation and take the ∆ > 0 spectrum in the even and odd scalar sectors identical, with |cψ ψO + is automatically satisfied and in (4.11), the nonidentity scalars and pseudoscalars cancel out. Moreover, (4.14) guarantees that we can use a tower of spin-1 operators of dimensions 2d + n, n ≥ 0 to cancel the contribution of the identity.

JHEP03(2014)100
Let us comment on the domain of applicability of our bootstrap equations. (4.8) by itself does not know in any way about the bulk theory and merely expresses the constraints of crossing and unitarity for a 1d CFT. It is (4.11) together with the assumption that the ψψ OPE starts with the displacement that identifies the line as a codimension two object. Indeed, the structure of the OPE suggests a displacement operator which carries charge 1 under a transverse SO(2) rotation symmetry, and a bosonic operator ψ of half-integral rotation quantum number. 1

Constraints from the first crossing equation
As a warm-up, let us consider first the constraints that follow from the first bootstrap equation (4.8). This kind of equation has been previously analyzed in the literature, though not in one dimension. The major difference is that here there are no spin-L representations other than L = 0. Operators are labeled only by their conformal dimensions, along with discrete quantum numbers. The method for deriving constraints from equation (4.8) has been explained in detail elsewhere, so here we will content ourselves with a brief summary. We first expand it in derivatives around z = 1/2 up to some finite order. By setting each individual Taylor coefficient to zero, we are left with a system of linear equations with constraints, namely that the OPE coefficients should be positive and that at least one of them (that of the identity operator) is strictly non-zero. This is a linear programming problem, which can be solved with standard algorithms, such as the simplex method. Alternatively, we can try to disprove that such an equation can hold, by finding a linear functional which is non-negative on all possible vectors (namely, for any ∆). We will follow the former route, using our own numerical implementation of the simplex algorithm. This has the advantage that the output is automatically a solution to the crossing symmetry constraintsa spectrum, made up of operator dimensions and OPE coefficients, which solve the crossing equations -as opposed to the linear functional method, where a spectrum has to be extracted by examining the zeros of the functional [6].
Our approach is to fix d, the dimension of ψ,ψ and ask for the maximum allowed dimension of the first scalar appearing in the ψψ OPE. We do this by excluding from the sum rule (4.8) all vectors with dimension below some value ∆ s (apart from the identity). We then increase this gap until no solution can be found. The result is shown in figure 4.
The result is a relatively boring straight line, which seems to very nearly coincide with the curve corresponding to the 1d generalized free fermion. 2 This amounts to the four-point function  with conformal block expansion so that the minimal exchanged primary above the identity has ∆ s = 2d + 1. We can find solutions to crossing at any point below our bound curve. In the extremal case where we sit directly on the bound itself, the solution is generically unique [6]. In this case we expect this solution to closely match the generalized free fermion. On the same figure on the right-hand side we compare the OPE coefficient of the leading scalar obtained with the bootstrap with that of the generalized free fermion -namely |c ψψO | 2 = 2d. Overall the agreement is quite good for small d and gradually gets worse as d increases. As we increase the accuracy in our numerical procedure, by augmenting the total number of derivatives (here we have used 50), the agreement gets better and better for larger and larger values of d. As for the twist defect CFT, it lies well inside the bound, and as such, through bounds alone we cannot reach it, at least not with a single equation. This is unlike the situation described in [11], where the Ising model lies on an interesting point (a kink) in the dimension bound. Here we are not as lucky and must work a bit harder to obtain an interesting result.

Constraints from both crossing equations
We now turn to deriving constraints by using both crossing equations. We use the conformal dimension to label operators, and define With this notation, it follows that we can write (4.8) and (4.11) in vector form.
where all coefficients appearing in the above are explicitly positive. The procedure now is the same as in the single equation case. We evaluate the sum rule and its derivatives at z = 1/2 (up to 40) and attempt to find a solution imposing various constraints. Since the spectrum is now split into three different sectors, we have more freedom in setting up the problem. Since we are looking for the twist defect, we are interested in solutions to crossing where the first spin-1 operator is the displacement, which has dimension 2. Therefore we shall impose a gap, by disallowing any spin-1 operators with dimension below 2 in the sum rule above. Figure 5 shows the bound derived by scanning over the dimension d of ψ while imposing the same gap on the dimension of the parity odd and parity even scalars. The bound is clearly more restrictive up to some value of d, beyond which it returns to the original single equation result. This can be understood by recalling that a solution of the first equation can be extended to a solution of both as long as the gap imposed in the spin-1 sector does not exceed 2d. We can see this directly by examining the spectra of the solutions to crossing living at the boundary of the bound. In figure 6 we show the odd and even scalar spectra corresponding to these solutions. It is clear that for high enough d the spectra become identical in these two channels, as we expect. A detailed examination of the OPE coefficients shows that this occurs precisely at d = 1.
As it is clear, this approach is unfortunately still not sufficient to find the twist defect. Odd and even scalar OPE coefficients Figure 6. Spectra corresponding to the extremal solutions in figure 5. In black (red) the parity even (odd) scalars. On the left the operator dimensions, and their OPE coefficients on the right. The correspondence between both is reversed: larger OPE coefficients correspond to lower dimension operators. d 0.9187, which is allowed, but not saturated by our bound. Hence we consider a different strategy. Since we know that the defect must contain a spin-1 operator with dimension 2 in its spectrum, we shall impose this directly on the sum rule. More concretely, we fix the OPE coefficient of the D operator in the sum rule to some value, and we determine the maximum gap in the parity even sector consistent with crossing symmetry. We can do this for various values of d, but we will be interested in the experimentally relevant d = 0.9187. Figure 7 shows the resulting bound. We see that the bound is saturated by a solution to crossing including a parity even scalar of dimension 2.27 for an OPE squared value of about 1.8. Notice that this is consistent with the results of the -expansion, which indicate that the OPE coefficient square should be 1.9. We can determine the spectrum of this solution, and this is shown in figure 8. Remarkably, we find a parity odd scalar of dimension 2.    and assuming the defect spectrum lies on the bound of figure 7, we have been able to determine the OPE coefficient of D in the ψψ operator product. Further, we have checked the existence of an odd scalar of dimension 2.9 and its OPE coefficient, and predict a further six operator dimensions and OPE coefficients. We could have gone further by doing more intensive calculations, but we are limited by the relatively large error in the dimension of s determined from the lattice. As it stands, our confidence that we are finding the correct solution to crossing hinges on obtaining the correct operator dimension for p o and an OPE coefficient for the displacement operator consistent with the -expansion. It would be very interesting to further test this by extending the epsilon-expansion calculations or doing further lattice simulations.

Conclusions
We have offered new points of view on the twist line defect in the 3d Ising model -the -expansion and the conformal bootstrap of the defect four-point functions. Both methods give results consistent with the Monte Carlo study of the defect and also lead to predictions for quantities not measured on the lattice so far. We used the -expansion at one loop to derive the spectrum of low-lying primary operators on the defect as well as several bulkdefect OPE coefficients, and found very good agreement especially for the relevant Z 2 -odd operator. See table 1 for the full comparison to the lattice data. The identification of the defect spectrum using conformal bootstrap turns out to be not as straightforward as in the case of the bulk theory [2]. We use two inequivalent crossing equations and implement the presence of the displacement operator with protected scale dimension, analoguous to the stress tensor, found in the spectrum of any conformal defect. In order to further cut down the parameter space explored using the conformal bootstrap, we use the lattice prediction for the scale dimensions of the relevant Z 2 -odd operator ψ and the leading scalar s, and find bound on the scale dimension of the leading pseudoscalar p close to the measured value, as well as predictions for the higher-lying spectrum and OPE coefficients in the spin-zero and spin-one sectors. These new predictions of the conformal bootstrap are in good agreement with the results of -expansion, but with the exception of the scale dimension of p, they have not been measured on the lattice (see tables 2, 3).
Several extensions of our work offer themselves. The O(N ) models allow twist line defects for arbitrary R ∈ O(N ), and it should be straightforward to generalize the -JHEP03(2014)100 expansion calculation at least in the case when R = −I. Although our bootstrap bounds apply to this defect for any N by taking ψ to be a fixed component of a spin-1/2 O(N ) vector, it may be worth repeating the analysis for ψ i ψ jψk ψ l , ψ i ψ j ψ kψl while separating the exchanged primaries according to their O(N ) representations, as in [10]. Large-N computations for the defect should also be possible. Note that O(N ) can also be interpreted as the spacetime symmetry of the transverse directions, so that conformal bootstrap on the line can be used to constrain higher-dimensional CFTs. It may also be interesting to see how the bootstrap bound evolves for the 2 − dimensional defect in the Wilson-Fisher CFT.
Conformal field theories in one dimension can also serve as simple test cases for analytical understanding of the conformal bootstrap. In particular, the coincidence of the single equation bound with the generalized free fermion begs for an analytical explanation. Note that the techniques of [7] and [9] are not directly applicable since they require the presence of two cross-ratios. Also for this reason, the study of crossing of the bulk two-point function in the presence of a defect may be a fruitful direction of research.

A.1 Half-integer spin operators
The one-loop properties of ψ s are encoded in the asymptotic properties of the integral (3.15) as λ → 0. To find these asymptotics, we start by the substitution y 0 = ya, z 0 = yb, r 0 = yc, which leads to

JHEP03(2014)100
and where we extended the domain of integration to the full R 3 , which is admissible since 2s − 1 is even. Let us denote As λ → 0, the integral is logarithmically divergent around (a, b, c) = (±1/2, 0, 0), with λ acting as a point-splitting regulator. We expect I(λ) = α log λ + β + o(1) and our goal is to determine α and β. Our general strategy will be to introduce an auxiliary parameter N and split the integration domain into two parts. In this case, denote I 1 (λ, N ) the integral above restricted to the union of the two spheres of radii λN surrounding the two singularities, and denote I 2 (λ, N ) the integral over the rest of R 3 so that I(λ) = I 1 (λ, N )+I 2 (λ, N ). I 1,2 (λ, N ) simplify in the limit N → ∞, N λ → 0 if we do not care about terms which vanish as λ → 0. Working first with I 1 (λ, N ), and focusing on the sphere surrounding (a, b, c) = (1/2, 0, 0), note that in the limit λN → 0, we can replace e ± = 1. Making further the substitution a = 1/2 + λx, b = λy, c = λz, we find that λ-dependence disappears The integrals over x and y can be done explicitly, leaving us with (A.5) It is now a matter of a simple calculation to show that Let us consider I 2 (λ, N ), denoting D = {(a, b, c) ∈ R 3 |(a ± 1/2) 2 + b 2 + c 2 ≥ (λN ) 2 } the domain of integration. As N → ∞, we can write d + = d − , e + = e − up to terms of O(N −1 ), so that Let us perform the inversion around (1/2, 0, 0), so that D is mapped to the region D between the sphere of radius λN + O((λN ) 2 ) centered around (−1/2, 0, 0) and sphere of radius 1/(λN ) centered around (1/2, 0, 0). The integral simplifies considerably

JHEP03(2014)100
Working up to terms vanishing as λN → 0, we can modify D by making the inner sphere have radius exactly λN , and shifting the outer sphere so that it is also centered around (−1/2, 0, 0). After these modifications, the integral becomes almost trivial, the result being Combining I 1 and I 2 , the dependence on N drops out as expected and we find so that α = −1/(12s) and β = 0.

A.4 c ψψD OPE coefficient
In order to find the one-loop-corrected OPE coefficients c ψs 1 ψs 2 Os , we would need to work much harder, repeating the analysis involving the auxiliary parameter N on the complicated integral (A. 22), and finding the eigenvectors of the first-order dilatation operator. Here we content ourselves with the analysis in the one-dimensional case s 1 = s 2 = 1/2, which gives the correction to the OPE coefficient c ψψD . Our goal is thus to find the constant piece of (A.23) when |s j | = 1/2, s = 1 As in the previous sections, we introduce parameter N , and split the integration domain into the union of the two half-spheres of radii µN centered at (±1/2, 0, 0) and the rest of the 3D half-space, denoting the two resulting integrals K 1 (µ, N ), K 2 (µ, N ) respectively.

JHEP03(2014)100
K 2 (µ, N ) can be dealt with easily by applying the previously used methods. As µN → 0, we can write d 1 = d 2 = (a − 1/2) 2 + b 2 + c 2 , d 3 = d 4 = (a + 1/2) 2 + b 2 + c 2 . Then, applying inversion centered at (1/2, 0, 0) and shifting the outer half-sphere to become concentric with the inner one, we arrive at the simple integral where S 2 + denotes the upper half of S 2 , i.e. θ ∈ [0, π/2]. It follows that K 2 does not contribute to the constant term Moving on to K 1 (µ, N ), let us focus on the half-sphere centered at (1/2, 0, 0) and write a = 1/2 + µx, b = µy, c = µz, so that 2 (x + 1 2 ) 2 + y 2 + z 2 where D = {(x, y, z) ∈ R 3 |z ≥ 0, x 2 + y 2 + z 2 ≤ N 2 }. The integral over z can be done with the result (dropping sub-leading terms) The first term of (A.30) trivially integrates to 4/3, and we will denote the remaining integral L(N ). Scaling the variables by N , we find L(N ) = − 4 3π x 2 +y 2 <1 dxdy   1 + x 2 + y 2 x + 1 wheren is a unit vector in a fixed direction. As µ → 0, the integral develops logarithmic singularities at y = ±n/2. We can compute the logarithmic and constant piece exactly as JHEP03(2014)100 before, splitting H(µ) = H 1 (µ, N )+H 2 (µ, N ), where H 1 (µ, N ) is the integral over the union of the two spheres of radii µN , centered at ±n/2, and H 2 (µ, N ) over their complement in R 4 . Again, we work in the limit N → ∞, µN → 0. Working with H 1 and focusing on the sphere centered atn/2, we can set the distances to the far singularities equal to one, and upon rescaling the variables by µ, we obtain Moving on to H 2 (µ, N ), we can set µ = 0 in the integrand, and use our usual trick of doing the inversion centered atn/2, after which the integration domain becomes the region between the sphere of radius µN + O((µN ) 2 ) centered at −n/2 and the sphere of radius 1/(µN ) centered atn/2. Ignoring terms vanishing as µN → 0, we can make the former radius exactly µN and make the spheres concentric, so that