text:
# 1 Introduction

## 1 Introduction

One of the most crucial open problems regarding vacuum string field theory (VSFT)  is that while ratios of tensions of various D-branes can be reproduced , the tension of a single D25-brane has not yet been obtained correctly. Another important problem is that we do not completely understand how to describe open string states around D-branes in the framework of VSFT. The goal of this paper is to provide a resolution to these two problems.

Actually, these two problems are closely related. Since the D25-brane tension $`T_{25}`$ is related to the on-shell three-tachyon coupling $`g_T`$ through the relation 111 Since this relation plays an important role in this paper, we verify it using the notation of  in Appendix A. We use the convention that $`\alpha ^{}=1`$ except in the introduction and Appendix A.

$$T_{25}=\frac{1}{2\pi ^2\alpha ^3g_T^2},$$
(1.1)
the energy density $`_c`$ of the classical solution corresponding to a single D25-brane must satisfy

$$\frac{_c}{T_{25}}=2\pi ^2\alpha ^3g_T^2_c=1.$$
(1.2)
However, the on-shell three-tachyon coupling $`g_T`$ based on the earlier proposal for the tachyon state  failed to reproduce the relation (1.1) , and the ratio $`_c/T_{25}`$ turned out to be

$$\frac{_c}{T_{25}}=\frac{\pi ^2}{3}\left(\frac{16}{27\mathrm{ln}2}\right)^32.0558.$$
(1.3)
This is regarded as the most crucial problem with the earlier proposal for the tachyon state . If we assume the universality of the ghost part of solutions in VSFT , the calculation of the ratio $`_c/T_{25}`$ involves only the matter sector of VSFT. The matter part of the classical solution representing a D25-brane is assumed to be described by the sliver state , which is one of the basic assumptions in VSFT. It is generally believed that the wrong ratio (1.3) is not due to the identification of the sliver state as a D25-brane, but originated in the incorrect identification of the tachyon state.

Is there any canonical way to identify open string states around a D-brane solution in VSFT? Let us recall the situation in ordinary field theories. Given a classical solution breaking translational invariance, there must be a massless Goldstone mode around the solution. This massless mode can be identified by infinitesimal deformation of the collective coordinate. If we apply the same logic to a lower-dimensional D-brane solution in VSFT, the massless scalar field on the D-brane should be identified as the associated Goldstone mode. Since a lower-dimensional D-brane is described by a sliver state with a Dirichlet boundary condition , infinitesimal deformation of the collective coordinate of the D-brane corresponds to infinitesimal deformation of the Dirichlet boundary condition. As is familiar in the open string sigma model, this is realized by an insertion of the vertex operator of the massless scalar integrated over the boundary of the sliver state.

This is easily generalized to other open string states. In general, an open string state on a D-brane is described by a sliver state where the corresponding vertex operator of the open string state is integrated along the boundary with the boundary condition of the D-brane. Actually, this idea has already been discussed to some extent in , but little progress has been made thereafter. We emphasize, however, that it is crucial for this identification to work for the consistency of a series of assumptions regarding VSFT. We will therefore revisit and explore this idea, and show that the open string mass spectrum and the D-brane tension are in fact correctly reproduced.

Interestingly, the resulting description of open string states turns out to be rather close to that of boundary string field theory (BSFT) or background-independent open string field theory . In fact, our results are effectively reproduced by a BSFT-like action. We discuss some aspects of this reformulation in this paper.

The organization of this paper is as follows. In Section 2 we propose a description of open string fields on a D25-brane in VSFT. We then consider linearized equations of motion for the open string states in Section 3 and explain how physical state conditions such as the on-shell condition are imposed. In Section 4 we express the string field theory action in terms of the open string fields on a D25-brane. We show that the kinetic terms of the open string fields vanish when the fields satisfy the physical state conditions despite some subtleties. We then calculate the normalization of the tachyon kinetic term and the on-shell three-tachyon interaction to identify the coupling constant $`g_T`$, and show that it is correctly related to the D25-brane tension $`T_{25}`$ through (1.1). Section 5 is devoted to discussions of some problematic issues in our formulation, a BSFT-like reformulation of our description, and future directions.

## 2 Open string states in vacuum string field theory

The action of VSFT is given by

$$S=\frac{1}{2}\mathrm{\Psi }|𝒬|\mathrm{\Psi }\frac{1}{3}\mathrm{\Psi }|\mathrm{\Psi }\mathrm{\Psi },$$
(2.1)
where $`|\mathrm{\Psi }`$ is the string field represented by a state with ghost number one in the boundary conformal field theory (BCFT), and where the definitions of the BPZ inner product $`A|B`$ and the star product $`|\mathrm{\Psi }\mathrm{\Psi }`$ are standard ones . It is conjectured that the state $`|\mathrm{\Psi }=0`$ corresponds to the tachyon vacuum, and the operator $`𝒬`$ with ghost number one is made purely of ghost fields. We defined $`|\mathrm{\Psi }`$ and $`𝒬`$ to absorb an overall normalization factor including the open string coupling constant. We take the matter part of the BCFT to be the one describing a D25-brane.

Classical solutions corresponding to various D-branes are assumed to take the factorized form,

$$|\mathrm{\Psi }=|\mathrm{\Psi }_g|\mathrm{\Psi }_m,$$
(2.2)
so that the equation of motion factorizes into

$$𝒬|\mathrm{\Psi }_g+|\mathrm{\Psi }_g\mathrm{\Psi }_g=0,$$
(2.3)
and

$$|\mathrm{\Psi }_m=|\mathrm{\Psi }_m\mathrm{\Psi }_m.$$
(2.4)
It is further assumed that all D-brane solutions have the same ghost part. On the other hand, the matter part is given by the sliver state with the boundary condition corresponding to the D-brane .

For example, a D25-brane is described by the matter part of the sliver state $`|\mathrm{\Xi }_m`$ with the Neumann boundary condition defined by a limit of the matter part of wedge states $`|n`$ ,

$$|\mathrm{\Xi }_m=\underset{n\mathrm{}}{lim}|n.$$
(2.5)
The matter part of the wedge states $`|n`$ is defined by

$$n|\varphi =𝒩f_n\varphi (0)_{\mathrm{UHP}},$$
(2.6)
for any state in the matter Fock space $`|\varphi `$. In (2.6), the conformal transformation $`f_n(\xi )`$ is given by

$$f_n(\xi )=\frac{n}{2}\mathrm{tan}\left(\frac{2}{n}\mathrm{tan}^1\xi \right),$$
(2.7)
the correlation function is evaluated on the upper-half plane, and $`𝒩`$ is an appropriate normalization factor. Here the combination of the conformal transformation $`f_n(\xi )`$ and the upper-half plane can be replaced by any combination of a conformal transformation $`h_n(\xi )`$ and Riemann surface $`\mathrm{\Sigma }_n`$ as long as the combination is conformally equivalent to that of $`f_n(\xi )`$ and the upper-half plane.

For lower-dimensional D$`p`$-branes, the Neumann sliver state is replaced by the sliver state with the Dirichlet boundary condition for each of the $`25p`$ transverse directions. It is similarly defined as in (2.6) by a limit of wedge states with the following boundary condition for the string coordinate $`X^i(z)`$ on the real axis $`t`$ of the upper-half plane:222 For a more complete description, an appropriate regularization is necessary. See  for details.

$`X^i(t)=\overline{}X^i(t)`$ $`\mathrm{for}{\displaystyle \frac{n}{2}}\mathrm{tan}{\displaystyle \frac{\pi }{2n}}t{\displaystyle \frac{n}{2}}\mathrm{tan}{\displaystyle \frac{\pi }{2n}},`$ (2.8)
$`X^i(t)=a^i`$ $`\mathrm{for}t<{\displaystyle \frac{n}{2}}\mathrm{tan}{\displaystyle \frac{\pi }{2n}},t>{\displaystyle \frac{n}{2}}\mathrm{tan}{\displaystyle \frac{\pi }{2n}},`$
where $`a^i`$ is the position of the D-brane in space-time. It is shown in  that ratios of tensions of various D-branes are correctly reproduced based on this description.

As we mentioned in the introduction, it is important to identify open string states around D-brane solutions correctly. A proposal for the tachyon state around a D25-brane in VSFT was put forward in the operator formulation  by Hata and Kawano . Its conformal field theory (CFT) description  was found to be the sliver state with the tachyon vertex operator333 The normal ordering for vertex operators is implicit throughout the paper.  $`e^{ikX}`$ inserted at the midpoint of the boundary of the sliver state , which corresponds to $`t=\mathrm{}`$ in our notation. It turned out, however, that the D25-brane tension is not correctly reproduced with this proposal . Since it seems difficult to find the correct description of the tachyon by trial and error, let us take the approach suggested in the introduction.444 For other approaches along the line of the CFT description  of the Hata-Kawano tachyon state , see . Possibilities of identifying D-branes as classical solutions other than sliver-type configurations were studied in .

The massless scalar fields on a D-brane describing its fluctuation in the transverse directions are Goldstone modes associated with the broken translational symmetries, and should be identified with infinitesimal deformations of the collective coordinates. Since the collective coordinates are encoded as Dirichlet boundary conditions $`X^i=a^i`$ in (2.8), the massless scalar fields must be identified with infinitesimal deformations of the boundary condition. It is well-known in the open string sigma model that such a deformation is realized by an insertion of an integral of the vertex operator $`_{}X^ie^{ikX}`$ of the scalar field, where $`_{}`$ is the derivative normal to the boundary. Therefore, the massless scalar field should be described by the sliver state where the integral of the vertex operator is inserted along the boundary with the Dirichlet boundary condition.

This identification of the scalar fields is generalized to other open string states using the relation between the deformation of the boundary condition and the insertion of an integrated vertex operator. For example, the tachyon field $`T(k)`$ on a D25-brane represented by the sliver state $`|\mathrm{\Xi }_m`$ (2.5) should be described at the linear order of $`T(k)`$ as follows:

$$|\mathrm{\Psi }_m=|\mathrm{\Xi }_md^{26}kT(k)|\chi _T(k),$$
(2.9)
where $`|\chi _T(k)`$ is defined for any state in the matter Fock space $`|\varphi `$ by

$`\chi _T(k)|\varphi =\underset{n\mathrm{}}{lim}𝒩{\displaystyle 𝑑te^{ikX(t)}h_n\varphi (0)}_{\mathrm{\Sigma }_n}.`$ (2.10)
Here a combination of a conformal transformation $`h_n(\xi )`$ and Riemann surface $`\mathrm{\Sigma }_n`$ should be conformally equivalent to that of $`f_n(\xi )`$ and the upper-half plane, and the integral of the tachyon vertex operator $`e^{ikX(t)}`$ is taken along the boundary of the wedge state from $`h_n(1)`$ to $`h_n(1)`$.555 In the case of the upper-half plane, for example, the integral is taken along
$$_{f_n(1)}^{\mathrm{}}𝑑t+_{\mathrm{}}^{f_n(1)}𝑑t=_{\frac{n}{2}\mathrm{tan}\frac{\pi }{2n}}^{\mathrm{}}𝑑t+_{\mathrm{}}^{\frac{n}{2}\mathrm{tan}\frac{\pi }{2n}}𝑑t.$$
Since the integrated vertex operator is not generically conformally invariant, the definition of the tachyon state depends on the choice of ($`h_n(\xi )`$, $`\mathrm{\Sigma }_n`$). Note, however, that this ambiguity is absent if the tachyon is on shell, $`k^2=1`$, because the integral of the vertex operator becomes conformally invariant. Therefore, the ambiguity coming from the choice of ($`h_n(\xi )`$, $`\mathrm{\Sigma }_n`$) can be regarded as that of field redefinition of the tachyon field.

This ambiguity can also be described as follows. We can make a conformal transformation such that the Riemann surface $`\mathrm{\Sigma }_n`$, where the off-shell tachyon field is defined in (2.10), is mapped to a cone subtending an angle $`n\pi `$ at the origin. Its boundary is parametrized as $`e^{i\theta }`$ with $`n\pi /2\theta n\pi /2`$, and we choose the region of the integral of the vertex operator to be $`(n1)\pi /2\theta (n1)\pi /2`$. 666 In other words, the boundary of the local coordinate $`\xi `$ , which is $`1\xi 1`$ on the real axis, is mapped to the sum of the two regions $`(n1)\pi /2\theta n\pi /2`$ and $`n\pi /2\theta (n1)\pi /2`$.  The inserted operator now takes the form

$$_{(n1)\pi /2}^{(n1)\pi /2}𝑑\theta _0(\theta )^{k^21}e^{ikX(e^{i\theta })},$$
(2.11)
where the additional factor $`_0(\theta )^{k^21}`$ comes from the conformal transformation from $`\mathrm{\Sigma }_n`$ to the cone. The ambiguity of the off-shell definition of the tachyon is now encoded in this factor. We will frequently use this representation of off-shell tachyon configurations in the rest of the paper and refer to this as the cone representation.

So far we have considered infinitesimal deformations of the BCFT. It is easily generalized to finite deformations as follows:

$$\{\phi _i\}|\varphi =\underset{n\mathrm{}}{lim}𝒩\mathrm{exp}\left[𝑑td^{26}k\underset{i}{}\phi _i(k)𝒪_{\phi _i(k)}(t)\right]h_n\varphi (0)_{\mathrm{\Sigma }_n},$$
(2.12)
where $`\{\phi _i\}`$ denotes the open string fields on a D25-brane such as the tachyon $`T(k)`$ or the massless gauge field $`A_\mu (k)`$ collectively, $`𝒪_{\phi _i(k)}`$ is the vertex operator corresponding to the field $`\phi _i(k)`$, and the integral over $`t`$ is taken along the boundary as before. This is a formal definition because we need to regularize divergences which appear when some of the operators $`𝒪_{\phi _i(k)}`$ coincide. We will come back to this point later in Sections 4 and 5. There would also be some ambiguity when we assign vertex operators $`𝒪_{\phi _i(k)}`$ to fields $`\phi _i(k)`$ when they are off shell. It would be natural, however, to associate $`e^{ikX}`$ with the tachyon because it is primary even when the momentum $`k`$ is off shell.

## 3 Equations of motion for open string states

Let us consider the linearized equations of motion for the open string fields $`\{\phi _i\}`$ to see if our identification of the open string states on a single D25-brane works:

$$|\chi _{\phi _i}(k)=|\chi _{\phi _i}(k)\mathrm{\Xi }_m+|\mathrm{\Xi }_m\chi _{\phi _i}(k),$$
(3.1)
where

$`\chi _{\phi _i}(k)|\varphi =\underset{n\mathrm{}}{lim}𝒩{\displaystyle 𝑑t𝒪_{\phi _i}(t)h_n\varphi (0)}_{\mathrm{\Sigma }_n},`$ (3.2)
for any state in the matter Fock space $`|\varphi `$ and the integral over $`t`$ is the same as (2.10).

As we will see in more detail shortly, the sum of the two integrals of the vertex operator on the right-hand side of (3.1) gives the integral on the left-hand side in the large $`n`$ limit. Therefore, it is easily understood that the equation of motion (3.1) can be satisfied. What is less obvious is how the physical state conditions are imposed. For example, the on-shell condition $`k^2=1`$ must be imposed for the tachyon, and the massless condition $`k^2=0`$ and the transversality condition must be imposed for the gauge field. Let us take a closer look at the large $`n`$ limit by considering the following inner products $`𝒜_L`$ and $`𝒜_R`$ defined by

$$𝒜_L=\varphi |\chi _{\phi _i}(k)_n,𝒜_R=\varphi |(|\chi _{\phi _i}(k)_n|n+|n|\chi _{\phi _i}(k)_n),$$
(3.3)
where $`|\varphi `$ is an arbitrary state in the matter Fock space and the large $`n`$ limit is not taken for the open string state $`|\chi _{\phi _i}(k)_n`$ as is indicated by the subscript $`n`$. The equation of motion (3.1) contracted with $`\varphi |`$ is given by

$$\underset{n\mathrm{}}{lim}𝒜_L=\underset{n\mathrm{}}{lim}𝒜_R.$$
(3.4)
Let us first consider the case without the integral of the vertex operator along the boundary. The inner products $`𝒜_L`$ and $`𝒜_R`$ then reduce to

$$𝒜_L\varphi |n,𝒜_R2\varphi |nn=2\varphi |2n1,$$
(3.5)
where we used the famous star algebra of wedge states :

$$|n|m=|n+m1.$$
(3.6)
What is important here is that the two conformal transformations $`f_n(\xi )`$ and $`f_{2n1}(\xi )`$ used in defining $`|n`$ and $`|2n1`$, respectively, have the same large $`n`$ limit:

$$\underset{n\mathrm{}}{lim}f_n(\xi )=\underset{n\mathrm{}}{lim}f_{2n1}(\xi )=\mathrm{tan}^1\xi .$$
(3.7)
This was essential for the sliver state to solve the matter equation of motion of VSFT .

Now consider the effect of the integrated vertex operator. Let us take the case of the tachyon as an example. The inner product $`𝒜_L`$ is given by

$`𝒜_L=\varphi |\chi _T(k)_n=𝒩{\displaystyle _C}𝑑te^{ikX(t)}_L(t)^{k^21}f_n\varphi (0)_{\mathrm{UHP}},`$ (3.8)
where the contour $`C`$ is given by

$$_C𝑑t=_{f_n(1)}^{\mathrm{}}𝑑t+_{\mathrm{}}^{f_n(1)}𝑑t=_{\frac{n}{2}\mathrm{tan}\frac{\pi }{2n}}^{\mathrm{}}𝑑t+_{\mathrm{}}^{\frac{n}{2}\mathrm{tan}\frac{\pi }{2n}}𝑑t.$$
(3.9)
Note that we inserted a factor $`_L(t)^{k^21}`$ which comes from a conformal transformation from the Riemann surface $`\mathrm{\Sigma }_n`$, where the off-shell tachyon is defined, to the upper-half plane. In constructing the states $`|\chi _T(k)_n|n`$ and $`|n|\chi _T(k)_n`$, the vertex operator undergoes a further conformal transformation. The contour $`C`$ (3.9) is mapped to

$$_{C_R}𝑑t=_{f_{2n1}(1)}^{\mathrm{}}𝑑t=_{\frac{2n1}{2}\mathrm{tan}\frac{\pi }{2(2n1)}}^{\mathrm{}}𝑑t$$
(3.10)
for $`|\chi _T(k)_n|n`$, and to

$$_{C_L}𝑑t=_{\mathrm{}}^{f_{2n1}(1)}𝑑t=_{\mathrm{}}^{\frac{2n1}{2}\mathrm{tan}\frac{\pi }{2(2n1)}}𝑑t$$
(3.11)
for $`|n|\chi _T(k)_n`$. The inner product $`𝒜_R`$ is then given by

$`𝒜_R`$ $`=`$ $`\varphi |(|\chi _T(k)_n|n+|n|\chi _T(k)_n)`$ (3.12)
$`=`$ $`𝒩{\displaystyle _C^{}}𝑑te^{ikX(t)}_R(t)^{k^21}f_{2n1}\varphi (0)_{\mathrm{UHP}},`$
where the contour $`C^{}`$ is the sum of $`C_R`$ (3.10) and $`C_L`$ (3.11). Note that the factor $`_R(t)^{k^21}`$ in $`𝒜_R`$ is different from the one $`_L(t)^{k^21}`$ in $`𝒜_L`$ because of the additional conformal transformations. Therefore, although $`f_n(\xi )`$ and $`f_{2n1}(\xi )`$ have the same large $`n`$ limit and the contours $`C`$ and $`C^{}`$ become the same in the large $`n`$ limit, the large $`n`$ limit of $`𝒜_L`$ and that of $`𝒜_R`$ do not coincide because of the difference between $`_L(t)^{k^21}`$ and $`_R(t)^{k^21}`$ unless the condition $`k^2=1`$ is satisfied. This shows that the tachyon state $`|\chi _T(k)`$ satisfies the equation of motion only when $`k^2=1`$, which is the correct on-shell condition for the tachyon.

The origin of the condition $`k^2=1`$ is obvious: it is the condition that the integral of the vertex operator $`e^{ikX}`$ is conformally invariant. In other words, the vertex operator must be a primary field with conformal dimension one, which is nothing but the physical state condition for the vertex operator in string theory. The same argument applies to all other open string states: the equation of motion is satisfied when the vertex operator $`𝒪_{\phi _i(k)}`$ is a primary field with conformal dimension one. For the gauge field, this imposes the transversality condition as well as the on-shell condition. The vertex operator for the gauge field $`\zeta _\mu _tX^\mu e^{ikX}`$ does not transform as a tensor unless the transversality condition $`\zeta k=0`$ is satisfied. The non-tensor property would result in different expressions for $`𝒜_L`$ and $`𝒜_R`$ which violate the equation of motion as in the case of an off-shell momentum.

## 4 String field theory action in terms of open string fields

Based on our proposal for the description of the open string fields $`|\{\phi _i\}`$ (2.12), we can rewrite the VSFT action in terms of the open string fields $`\{\phi _i\}`$ as follows:

$$S\left[\{\phi _i\}\right]=\mathrm{\Psi }_g|𝒬|\mathrm{\Psi }_g\left[\frac{1}{2}\{\phi _i\}|\{\phi _i\}\frac{1}{3}\{\phi _i\}|\{\phi _i\}\{\phi _i\}\right].$$
(4.1)
The kinetic terms of the open string fields might be expected to be reproduced correctly in view of the argument presented in the previous section. However, it is not automatic. We have shown that the states $`|\chi _{\phi _i}(k)`$ satisfy the equations of motion (3.1) when contracted with any state in the matter Fock space $`|\varphi `$. The proof can be generalized to cases where the equations of motion (3.1) are contracted with a larger class of states such as wedge states with some operators inserted as long as the size of the wedge stays finite while we take the large $`n`$ limit for $`|\chi _{\phi _i}(k)`$ and $`|\mathrm{\Xi }_m`$. When we evaluate the kinetic terms of the fields $`\{\phi _i\}`$ in (4.1), however, we have to handle the following combination of inner products:

$$\chi _{\phi _i}(k)|\chi _{\phi _i}(k)\chi _{\phi _i}(k)|\chi _{\phi _i}(k)\mathrm{\Xi }_m\chi _{\phi _i}(k)|\mathrm{\Xi }_m\chi _{\phi _i}(k).$$
(4.2)
This takes the form of the equation of motion (3.1) contracted with $`\chi _{\phi _i}(k)|`$, but we cannot apply the argument in the previous section to this case because of two subtleties. First, the expression contains divergences when two vertex operators coincide. Secondly, we have to take the large $`n`$ limit for $`\chi _{\phi _i}(k)|`$ as well so that the state $`\chi _{\phi _i}(k)|`$ does not belong to the class of states we just mentioned. Therefore, it is important to verify whether the correct kinetic terms are reproduced for the consistency of our proposal. In fact, it was argued in  that this is where the earlier proposal  for the tachyon state failed. In Subsection 4.1 we will show that the kinetic terms of the fields $`\{\phi _i\}`$ in (4.1) vanish when they satisfy the physical state conditions.

As we mentioned in the introduction, we are particularly interested in the on-shell three-tachyon coupling $`g_T`$ which is related to the D25-brane tension through (1.1). We will calculate the normalization of the tachyon kinetic term in Subsection 4.2 and the on-shell three-tachyon interaction in Subsection 4.3 to show that the correct D25-brane tension is actually reproduced from (4.1).

### 4.1 Open string mass spectrum

Let us begin with the tachyon and set other fields to zero in $`|\{\phi _i\}`$ (2.12) for simplicity. If we denote the resulting state representing tachyon field configurations by $`|e^T`$,

$$e^T|\varphi =\underset{n\mathrm{}}{lim}𝒩\mathrm{exp}\left[𝑑td^{26}kT(k)e^{ikX}(t)\right]h_n\varphi (0)_{\mathrm{\Sigma }_n},$$
(4.3)
the action for the tachyon field is given by

$$S\left[T(k)\right]=\mathrm{\Psi }_g|𝒬|\mathrm{\Psi }_g\left[\frac{1}{2}e^T|e^T\frac{1}{3}e^T|e^Te^T\right].$$
(4.4)
The state $`|e^T`$ has nonlinear dependence on the tachyon field $`T(k)`$. If we expand it in powers of $`T(k)`$, we have

$$|e^T=|\mathit{0}+|\mathit{1}+|\mathit{2}+|\mathit{3}+\mathrm{},$$
(4.5)
where777 These states with italic numbers, $`|\mathit{0},|\mathit{1},|\mathit{2},\mathrm{}`$, should not be confused with wedge states $`|0,|1,|2,\mathrm{}`$.

$`|\mathit{0}=|\mathrm{\Xi }_m,|\mathit{1}={\displaystyle d^{26}kT(k)|\chi _T(k)},\mathrm{}.`$ (4.6)
The tachyon kinetic term is given by

$$S^{(2)}=\mathrm{\Psi }_g|𝒬|\mathrm{\Psi }_g\left[\frac{1}{2}\mathit{1}|\mathit{1}+\mathit{2}|\mathit{0}\mathit{1}|\mathit{1}\mathit{0}\mathit{2}|\mathit{0}\mathit{0}\right].$$
(4.7)
This takes the following form:

$$S^{(2)}=\frac{𝒦}{2}(2\pi )^{26}d^{26}kK(k^2)T(k)T(k),$$
(4.8)
where we denote the density of $`\mathrm{\Xi }_m|\mathrm{\Xi }_m\mathrm{\Psi }_g|𝒬|\mathrm{\Psi }_g`$ by $`𝒦`$, namely,

$$\mathrm{\Xi }_m|\mathrm{\Xi }_m\mathrm{\Psi }_g|𝒬|\mathrm{\Psi }_g=d^{26}x𝒦,$$
(4.9)
and $`K(k^2)`$ consists of contributions from $`\mathit{1}|\mathit{1}`$, $`\mathit{2}|\mathit{0}`$, $`\mathit{1}|\mathit{1}\mathit{0}`$, and $`\mathit{2}|\mathit{0}\mathit{0}`$,

$$\frac{1}{2}K(k^2)=\frac{1}{2}K_{11}(k^2)+K_{20}(k^2)K_{110}(k^2)K_{200}(k^2).$$
(4.10)
It is naively expected that $`\mathit{2}|\mathit{0}\mathit{2}|\mathit{0}\mathit{0}`$ vanishes because of the equation of motion for the sliver state, $`|\mathit{0}\mathit{0}=|\mathit{0}`$, and the remaining combination of terms,

$$\frac{1}{2}\mathit{1}|\mathit{1}\mathit{1}|\mathit{1}\mathit{0}=\frac{1}{2}\left[\mathit{1}|\mathit{1}\mathit{1}|\mathit{1}\mathit{0}\mathit{1}|\mathit{0}\mathit{1}\right],$$
(4.11)
vanishes when the tachyon is on shell because of the equation of motion for $`|\chi _T(k)`$. However, it turns out that the story is more complicated because of the subtleties we mentioned at the beginning of this section.

Let us begin with the calculations of $`\mathit{1}|\mathit{1}`$ and $`\mathit{1}|\mathit{1}\mathit{0}`$. To avoid the singularity which arises when the two vertex operators coincide, we regularize the state $`|\mathit{1}`$. We use the cone representation of $`|\mathit{1}`$ explained in the paragraph containing (2.11) and regularize the integral of the vertex operator as follows:

$$_{(n1)\pi /2+ϵ_0/2}^{(n1)\pi /2ϵ_0/2}𝑑\theta _0(\theta )^{k^21}e^{ikX(e^{i\theta })}.$$
(4.12)
The inner product $`\varphi |\mathit{1}`$ is expressed on a cone with an angle $`n\pi `$. To construct the inner product $`\mathit{1}|\mathit{1}`$, we cut off the region of the cone where the local coordinate is mapped, which leaves a sector of an angle $`(n1)\pi `$. By gluing two such sectors together, $`\mathit{1}|\mathit{1}`$ is expressed on a cone with an angle $`2(n1)\pi `$. We can map it to the unit disk by the conformal transformation $`z^{1/(n1)}`$. Using the propagator on the unit disk,

$$e^{ikX(e^{i\theta _1})}e^{ik^{}X(e^{i\theta _2})}_{\mathrm{disk}}=(2\pi )^{26}\delta (k+k^{})\left|2\mathrm{sin}\frac{\theta _2\theta _1}{2}\right|^{2kk^{}},$$
(4.13)
$`K_{11}(k^2)`$ is given by

$`K_{11}(k^2)={\displaystyle _{\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _\pi ^{\pi /2ϵ/2}}𝑑\theta _1(\theta _1+\pi )^{k^21}(\theta _2)^{k^21}\left|2\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{2}}\right|^{2k^2}`$
$`+{\displaystyle _{\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _{\pi /2+ϵ/2}^\pi }𝑑\theta _1(\theta _1\pi )^{k^21}(\theta _2)^{k^21}\left|2\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{2}}\right|^{2k^2},`$ (4.14)
where

$$ϵ=\frac{ϵ_0}{n1},(\theta )=\frac{1}{n1}_0((n1)\theta ).$$
(4.15)
The difference between $`_0`$ and $``$ comes from the conformal transformation $`z^{1/(n1)}`$. Since $`ϵ`$ goes to zero when we take the large $`n`$ limit, we do not need to take the limit $`ϵ_00`$ as in the case of the similar regularizations discussed in .

The construction of $`\mathit{1}|\mathit{1}\mathit{0}`$ can be done in a similar way. By gluing together three sectors with an angle $`(n1)\pi `$ coming from two $`|\mathit{1}`$’s and one $`|\mathit{0}`$, $`\mathit{1}|\mathit{1}\mathit{0}`$ is expressed on a cone with an angle $`3(n1)\pi `$. We can make a conformal transformation so that the cone is mapped to the unit disk. However, it is more convenient to make the same conformal transformation $`z^{1/(n1)}`$ as the case of $`\mathit{1}|\mathit{1}`$, which maps the cone with an angle $`3(n1)\pi `$ to a cone with an angle $`3\pi `$. The propagator on this cone is given by

$$e^{ikX(e^{i\theta _1})}e^{ik^{}X(e^{i\theta _2})}_{3\pi }=(2\pi )^{26}\delta (k+k^{})\left|3\mathrm{sin}\frac{\theta _2\theta _1}{3}\right|^{2kk^{}},$$
(4.16)
which respects the periodicity $`\theta _i=\theta _i+3\pi `$, and $`K_{110}(k^2)`$ is given by

$$K_{110}(k^2)=_{\pi /2+ϵ/2}^{\pi /2ϵ/2}𝑑\theta _2_{3\pi /2+ϵ/2}^{\pi /2ϵ/2}𝑑\theta _1(\theta _1+\pi )^{k^21}(\theta _2)^{k^21}\left|3\mathrm{sin}\frac{\theta _2\theta _1}{3}\right|^{2k^2}.$$
(4.17)
Let us calculate $`K_{11}(k^2)/2K_{110}(k^2)`$ when the tachyon is on shell, $`k^2=1`$, to see if it actually vanishes as naively expected. The expressions for $`K_{11}(k^2)`$ and $`K_{110}(k^2)`$ simplify when $`k^2=1`$ so that the integrals in $`K_{11}(1)`$ and $`K_{110}(1)`$ are easily performed to give

$`{\displaystyle \frac{1}{2}}K_{11}(1)={\displaystyle \frac{1}{2}}{\displaystyle _{\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _\pi ^{\pi /2ϵ/2}}𝑑\theta _1\left|2\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{2}}\right|^2`$
$`+{\displaystyle \frac{1}{2}}{\displaystyle _{\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _{\pi /2+ϵ/2}^\pi }𝑑\theta _1\left|2\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{2}}\right|^2`$
$`=\mathrm{ln}\mathrm{sin}{\displaystyle \frac{ϵ}{2}}=\mathrm{ln}ϵ+\mathrm{ln}2+O(ϵ^2),`$ (4.18)
and

$`K_{110}(1)={\displaystyle _{\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _{3\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _1\left|3\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{3}}\right|^2`$
$`=\mathrm{ln}\mathrm{sin}{\displaystyle \frac{ϵ}{3}}+2\mathrm{ln}\mathrm{sin}{\displaystyle \frac{\pi }{3}}\mathrm{ln}\mathrm{sin}\left({\displaystyle \frac{\pi }{3}}+{\displaystyle \frac{ϵ}{3}}\right)`$
$`=\mathrm{ln}ϵ+\mathrm{ln}{\displaystyle \frac{3\sqrt{3}}{2}}+O(ϵ).`$ (4.19)
Therefore, the divergent part in $`K_{11}(1)/2K_{110}(1)`$ vanishes, but the finite part remains:

$$\frac{1}{2}K_{11}(1)K_{110}(1)=\mathrm{ln}\frac{3\sqrt{3}}{4}+O(ϵ).$$
(4.20)
Does this imply the breakdown of the tachyon equation of motion?

Recall, however, that there are other contributions to the tachyon kinetic term, namely, $`K_{20}(k^2)`$ and $`K_{200}(k^2)`$ in (4.10). Let us calculate them. The state $`|\mathit{2}`$ needs to be regularized. We regularize the integrals of the inserted vertex operators in the cone representation as follows:

$$_{(n1)\pi /2+3ϵ_0/2}^{(n1)\pi /2ϵ_0/2}𝑑\theta _2_{(n1)\pi /2+ϵ_0/2}^{\theta _2ϵ_0}𝑑\theta _1_0(\theta _1)^{k^21}e^{ikX(e^{i\theta _1})}_0(\theta _2)^{k^21}e^{ikX(e^{i\theta _2})}.$$
(4.21)
The inner products $`\mathit{2}|\mathit{0}`$ and $`\mathit{2}|\mathit{0}\mathit{0}`$ are constructed similarly as in the cases of $`\mathit{1}|\mathit{1}`$ and $`\mathit{1}|\mathit{1}\mathit{0}`$. The resulting expressions for $`K_{20}(k^2)`$ and $`K_{200}(k^2)`$ are given by

$$K_{20}(k^2)=_{\pi /2+3ϵ/2}^{\pi /2ϵ/2}𝑑\theta _2_{\pi /2+ϵ/2}^{\theta _2ϵ}𝑑\theta _1(\theta _1)^{k^21}(\theta _2)^{k^21}\left|2\mathrm{sin}\frac{\theta _2\theta _1}{2}\right|^{2k^2},$$
(4.22)
and

$$K_{200}(k^2)=_{\pi /2+3ϵ/2}^{\pi /2ϵ/2}𝑑\theta _2_{\pi /2+ϵ/2}^{\theta _2ϵ}𝑑\theta _1(\theta _1)^{k^21}(\theta _2)^{k^21}\left|3\mathrm{sin}\frac{\theta _2\theta _1}{3}\right|^{2k^2}.$$
(4.23)
Their on-shell values, $`K_{20}(1)`$ and $`K_{200}(1)`$, are again easily calculated. Since

$`{\displaystyle _{\pi /2+3ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _{\pi /2+ϵ/2}^{\theta _2ϵ}}𝑑\theta _1\left|2n\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{2n}}\right|^2`$
$`={\displaystyle \frac{\pi 2ϵ}{2n}}\mathrm{cot}{\displaystyle \frac{ϵ}{2n}}+\mathrm{ln}\mathrm{sin}{\displaystyle \frac{ϵ}{2n}}\mathrm{ln}\mathrm{sin}\left({\displaystyle \frac{\pi }{2n}}{\displaystyle \frac{ϵ}{2n}}\right)`$
$`={\displaystyle \frac{\pi }{ϵ}}+\mathrm{ln}ϵ\mathrm{ln}\left(2n\mathrm{sin}{\displaystyle \frac{\pi }{2n}}\right)2+O(ϵ),`$ (4.24)
for $`n1`$, we have

$`K_{20}(1)`$ $`=`$ $`{\displaystyle \frac{\pi }{ϵ}}+\mathrm{ln}ϵ\mathrm{ln}22+O(ϵ),`$ (4.25)
$`K_{200}(1)`$ $`=`$ $`{\displaystyle \frac{\pi }{ϵ}}+\mathrm{ln}ϵ\mathrm{ln}{\displaystyle \frac{3\sqrt{3}}{2}}2+O(ϵ).`$ (4.26)
The divergent part in $`K_{20}(1)K_{200}(1)`$ vanishes, but the finite part again remains:

$$K_{20}(1)K_{200}(1)=\mathrm{ln}\frac{3\sqrt{3}}{4}+O(ϵ).$$
(4.27)
However, this precisely cancels $`K_{11}(1)/2K_{110}(1)`$ in the limit $`ϵ0`$. Therefore, the tachyon kinetic term vanishes when $`k^2=1`$ in the large $`n`$ limit,

$$\frac{1}{2}K(1)=\frac{1}{2}K_{11}(1)+K_{20}(1)K_{110}(1)K_{200}(1)=O(ϵ),$$
(4.28)
which is the property we expect for the correct tachyon kinetic term.

The cancellation of the finite terms in $`K_{11}(1)/2K_{110}(1)`$ and $`K_{20}(1)K_{200}(1)`$ may seem rather accidental and, apparently, it seems to have nothing to do with the argument for the mass spectrum in Section 3 based on the conformal invariance of the integrated vertex operator. However, the cancellation can be regarded as a consequence of the conformal property of the vertex operators, as we will show in Appendix C using some results from Appendix B. Note also that the finite term in (4.27) does not depend on details of the regularization of the state $`|\mathit{2}`$. We obtain the same result if we regularize the integrals in (4.22) and (4.23) as

$$_{\pi /2+ϵ+\eta }^{\pi /2\eta }𝑑\theta _2_{\pi /2+\eta }^{\theta _2ϵ}𝑑\theta _1$$
(4.29)
as long as $`ϵ`$ and $`\eta `$ go to zero in the limit.

Next consider open string fields other than the tachyon. The calculation for the tachyon depends only on the two-point functions (4.13) and (4.16), and two-point functions of primary fields are uniquely determined by their conformal dimensions. Therefore, we conclude that the kinetic terms of the open string fields $`\{\phi _i\}`$ vanish when the corresponding vertex operator $`𝒪_{\phi _i(k)}`$ is primary and has conformal dimension one. This condition is nothing but the familiar physical state condition in string theory so that the result in this subsection provides strong evidence that the correct mass spectrum of open string states can be obtained in VSFT based on our description of the open string fields $`\{\phi _i\}`$.

Note that conditions other than the on-shell condition for a vertex operator to be physical, such as the transversality condition for the massless vector field, are also imposed as we discussed at the end of Section 3. The argument so far, however, does not guarantee that the kinetic terms of the open string fields $`\{\phi _i\}`$ are correctly reproduced. For example, it is not obvious that the kinetic term for the massless gauge field takes a gauge-invariant form. Any kinetic term of the form

$$A_\mu (k)[a(k^2)\eta ^{\mu \nu }k^2+b(k^2)k^\mu k^\nu ]A_\nu (k)$$
(4.30)
vanishes when $`k^2=0`$ and $`kA(k)=0`$ for any pair of functions $`a(k^2)`$ and $`b(k^2)`$. Gauge invariance requires that $`b(k^2)=a(k^2)`$. It would be interesting to see if the gauge invariance of the string field theory guarantees the gauge invariance of the open string fields $`\{\phi _i\}`$.888We can confirm, for example, that $`|\chi _{A_\mu (k)+k_\mu }`$ and $`|\chi _{A_\mu (k)}`$ are gauge equivalent when $`k^2=0`$ and $`kA=0`$ in the framework of Section 3, namely, as far as we consider inner products with wedge states which remain finite in the large $`n`$ limit. However, it is not clear if it holds in the framework of the present section.

There are other issues we have to address regarding the argument in this subsection, which we will discuss in the next section.

### 4.2 Tachyon kinetic term

In order to read off the on-shell three-tachyon coupling from the cubic interaction, we need to normalize the tachyon field canonically. We have to calculate the coefficient in front of $`k^21`$ in $`K(k^2)`$, but the calculation is much more complicated than that of $`K(1)`$ because of the conformal factor $`(\theta )^{k^21}`$ and the $`k`$-dependence in the propagator. We present details of the calculation in Appendix B, and explain an outline of the derivation in this subsection.

If we could set $`ϵ=0`$, the integrals of the vertex operators would be over the whole boundary for each term in $`S[T(k)]`$ (4.4). In that case, $`K(k^2)`$ is given by

$`K(k^2)|_{ϵ=0}`$ $`=`$ $`{\displaystyle \frac{1}{2}}{\displaystyle _0^{2\pi }}𝑑\theta _2{\displaystyle _0^{2\pi }}𝑑\theta _1(\theta _1)^{k^21}(\theta _2)^{k^21}\left|2\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{2}}\right|^{2k^2}`$ (4.31)
$`{\displaystyle \frac{1}{3}}{\displaystyle _0^{3\pi }}𝑑\theta _2{\displaystyle _0^{3\pi }}𝑑\theta _1(\theta _1)^{k^21}(\theta _2)^{k^21}\left|3\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{3}}\right|^{2k^2},`$
where we have extended the definition of $`(\theta )`$ from $`\pi /2\theta \pi /2`$ to all $`\theta `$ through $`(\theta +\pi )=(\theta )`$. If we define $`K(n,k^2)`$ by

$$K(n,k^2)\frac{1}{2n}_0^{2n\pi }𝑑\theta _2_0^{2n\pi }𝑑\theta _1(\theta _1)^{k^21}(\theta _2)^{k^21}\left|2n\mathrm{sin}\frac{\theta _2\theta _1}{2n}\right|^{2k^2},$$
(4.32)
$`K(k^2)`$ is given by

$$K(k^2)|_{ϵ=0}=K(1,k^2)K(3/2,k^2).$$
(4.33)
Let us calculate $`K(n,k^2)`$. Since we are interested in the region $`k^21`$, we expand the conformal factors around $`k^2=1`$ to find

$`K(n,k^2)={\displaystyle \frac{1}{2n}}{\displaystyle _0^{2n\pi }}𝑑\theta _2{\displaystyle _0^{2n\pi }}𝑑\theta _1\left|2n\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{2n}}\right|^{2k^2}`$
$`\times \left\{1+(k^21)\mathrm{ln}(\theta _1)+(k^21)\mathrm{ln}(\theta _2)+O((k^21)^2)\right\}`$
$`={\displaystyle \frac{1}{2n}}{\displaystyle _0^{2n\pi }}𝑑\theta _2{\displaystyle _0^{2n\pi }}𝑑\theta _1\left|2n\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{2n}}\right|^{2k^2}`$
$`\times \left\{1+2(k^21)\mathrm{ln}(\theta _2)+O((k^21)^2)\right\}`$
$`={\displaystyle \frac{1}{2n}}{\displaystyle _0^{2n\pi }}𝑑\theta \left|2n\mathrm{sin}{\displaystyle \frac{\theta }{2n}}\right|^{2k^2}{\displaystyle _0^{2n\pi }}𝑑\theta ^{}\left\{1+2(k^21)\mathrm{ln}(\theta ^{})\right\}+O((k^21)^2)`$
$`={\displaystyle _0^{2n\pi }}𝑑\theta \left|2n\mathrm{sin}{\displaystyle \frac{\theta }{2n}}\right|^{2k^2}{\displaystyle _{\pi /2}^{\pi /2}}𝑑\theta ^{}\left\{1+2(k^21)\mathrm{ln}(\theta ^{})\right\}+O((k^21)^2),`$
where we used the periodicity of $`(\theta )`$ in the last step. Note that the two integrals factorize in the last line and the integral over $`\theta ^{}`$ is independent of $`n`$. The integral over $`\theta `$ does not converge near the on-shell point $`k^21`$. That is why we needed to introduce the regularization $`ϵ`$. In the momentum region $`k^21`$, the divergence is coming only from the most singular part of the propagator which is independent of details of the Riemann surface and thus independent of $`n`$. Therefore, the divergent part cancels when we compute $`K(k^2)`$ through (4.33). Since the divergent part can be taken to be analytic in $`k^2`$, the finite part can be obtained by analytic continuation from the region $`\mathrm{}(k^2)<1/2`$ where the integral converges.999 I would like to thank Takuya Okuda for the discussion on this point. The explicit form of the singular part when we use point-splitting regularization is given in terms of the incomplete beta function in (B.16). It can be expressed in terms of the beta function as we see in (B.16) and vanishes when $`k^2=1`$:

$`{\displaystyle _0^{2n\pi }}𝑑\theta \left|2n\mathrm{sin}{\displaystyle \frac{\theta }{2n}}\right|^{2k^2}`$ $`=`$ $`(2n)^{2k^2+1}B({\displaystyle \frac{1}{2}}k^2,{\displaystyle \frac{1}{2}})`$ (4.35)
$`=`$ $`{\displaystyle \frac{\pi }{n}}(k^21)+O((k^21)^2).`$
Therefore, $`K(n,k^2)`$ is given by

$$K(n,k^2)=\frac{\pi ^2}{n}(k^21)+O((k^21)^2),$$
(4.36)
and $`K(k^2)`$ is

$$K(k^2)=\frac{\pi ^2}{3}(k^21)+O((k^21)^2).$$
(4.37)
A more careful calculation using point-splitting regularization given in Appendix B reproduces the same result (4.37) in the limit $`ϵ0`$ if $`(\theta )`$ is not too singular. Note that the coefficient in front of $`k^21`$ is independent of the conformal factor $`(\theta )`$. This is important for the consistency: since the on-shell cubic interaction does not depend on $`(\theta )`$, the on-shell three-tachyon coupling would depend on $`(\theta )`$ if this coefficient depended on $`(\theta )`$. The tachyon field is therefore canonically normalized as follows:

$$\widehat{T}(k)=\left(\frac{𝒦\pi ^2}{3}\right)^{1/2}T(k).$$
(4.38)
### 4.3 Three-tachyon coupling and the D-brane tension

The tachyon cubic term is given by

$`S^{(3)}=\mathrm{\Psi }_g|𝒬|\mathrm{\Psi }_g[\mathit{3}|\mathit{0}+\mathit{2}|\mathit{1}`$
$`\mathit{3}|\mathit{0}\mathit{0}\mathit{2}|\mathit{1}\mathit{0}\mathit{2}|\mathit{0}\mathit{1}{\displaystyle \frac{1}{3}}\mathit{1}|\mathit{1}\mathit{1}].`$ (4.39)
This takes the following form:

$`S^{(3)}={\displaystyle \frac{𝒦}{3}}(2\pi )^{26}{\displaystyle d^{26}k_1d^{26}k_2d^{26}k_3\delta (k_1+k_2+k_3)T(k_1)T(k_2)T(k_3)}`$
$`\times V(k_1,k_2,k_3).`$ (4.40)
We denote the on-shell value of $`V(k_1,k_2,k_3)`$ by $`V`$, which consists of the contributions from $`\mathit{3}|\mathit{0}`$, $`\mathit{2}|\mathit{1}`$, $`\mathit{3}|\mathit{0}\mathit{0}`$, $`\mathit{2}|\mathit{1}\mathit{0}`$, $`\mathit{2}|\mathit{0}\mathit{1}`$, and $`\mathit{1}|\mathit{1}\mathit{1}`$:

$$\frac{1}{3}V=\frac{1}{3}V(k_1,k_2,k_3)|_{k_1^2=k_2^2=k_3^2=1}=V_{30}+V_{21}V_{300}V_{210}V_{201}\frac{1}{3}V_{111}.$$
(4.41)
The contributions from $`\mathit{3}|\mathit{0}\mathit{3}|\mathit{0}\mathit{0}`$ and $`\mathit{2}|\mathit{1}\mathit{2}|\mathit{1}\mathit{0}\mathit{2}|\mathit{0}\mathit{1}`$ might be expected to vanish if we naively use the equations of motion for $`|\mathrm{\Xi }_m`$ and $`|\chi _T(k)`$. As can be anticipated from our experience in Subsection 4.1, however, the calculations using point-splitting regularization presented in Appendix D show that they do not vanish in the large $`n`$ limit:

$$V_{30}V_{300}0,V_{21}V_{210}V_{201}0.$$
(4.42)
We find, however, a surprising cancellation between the two expressions so that the sum turns out to vanish in the large $`n`$ limit:

$$V_{30}+V_{21}V_{300}V_{210}V_{201}=o(ϵ),$$
(4.43)
where we denote terms which vanish in the limit $`ϵ0`$ by $`o(ϵ)`$. We will use this notation throughout the rest of the paper.101010 We distinguish $`o(ϵ)`$ from $`O(ϵ)`$. The latter denotes terms of order $`ϵ`$.  Therefore, only $`V_{111}`$ contributes to $`V`$:

$$\frac{1}{3}V=\frac{1}{3}V_{111}+o(ϵ).$$
(4.44)
Let us calculate $`V_{111}`$. Since

$$k_1k_2=\frac{1}{2}(k_1+k_2)^2\frac{1}{2}k_1^2\frac{1}{2}k_2^2=\frac{1}{2},$$
(4.45)
when $`k_1^2=k_2^2=k_3^2=1`$ and $`k_1+k_2+k_3=0`$, and similarly $`k_2k_3=k_3k_1=1/2`$, $`V_{111}`$ is given by

$`V_{111}={\displaystyle _{\pi /2+ϵ/2}^{3\pi /2ϵ/2}}𝑑\theta _3{\displaystyle _{\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _{3\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _1`$
$`\times \left|3\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{3}}\right|^1\left|3\mathrm{sin}{\displaystyle \frac{\theta _3\theta _1}{3}}\right|^1\left|3\mathrm{sin}{\displaystyle \frac{\theta _3\theta _2}{3}}\right|^1.`$ (4.46)
It turns out that $`V_{111}`$ is finite in the limit $`ϵ0`$ so that we can set $`ϵ`$ to zero. We present the calculation of the resulting integral in Appendix E and the result is

$$_{\pi /2}^{3\pi /2}𝑑\theta _3_{\pi /2}^{\pi /2}𝑑\theta _2_{3\pi /2}^{\pi /2}𝑑\theta _1\left|3\mathrm{sin}\frac{\theta _2\theta _1}{3}\right|^1\left|3\mathrm{sin}\frac{\theta _3\theta _1}{3}\right|^1\left|3\mathrm{sin}\frac{\theta _3\theta _2}{3}\right|^1=\frac{\pi ^2}{3}.$$
(4.47)
Therefore, we have

$$V=\frac{\pi ^2}{3}+o(ϵ).$$
(4.48)
The on-shell three-tachyon coupling $`g_T`$ is defined by the on-shell value of the cubic interaction when we express $`S^{(3)}`$ in terms of the canonically normalized tachyon $`\widehat{T}(k)`$. Namely, $`g_T`$ is given by

$$g_T=\widehat{V}(k_1,k_2,k_3)|_{k_1^2=k_2^2=k_3^2=1},$$
(4.49)
where $`\widehat{V}(k_1,k_2,k_3)`$ is defined by

$`S^{(3)}={\displaystyle \frac{1}{3}}(2\pi )^{26}{\displaystyle d^{26}k_1d^{26}k_2d^{26}k_3\delta (k_1+k_2+k_3)\widehat{T}(k_1)\widehat{T}(k_2)\widehat{T}(k_3)}`$
$`\times \widehat{V}(k_1,k_2,k_3).`$ (4.50)
From the relation (4.38) between $`T(k)`$ and $`\widehat{T}(k)`$, and the on-shell cubic interaction (4.48), $`g_T`$ is given by

$$g_T=\left(\frac{𝒦\pi ^2}{3}\right)^{1/2}.$$
(4.51)
The tension of a single D25-brane $`T_{25}`$ predicted by the three-tachyon coupling $`g_T`$ through (1.1) is given by

$$T_{25}=\frac{1}{2\pi ^2g_T^2}=\frac{𝒦}{6}.$$
(4.52)
On the other hand, the energy density $`_c`$ of the classical solution $`|\mathrm{\Xi }_m|\mathrm{\Psi }_g`$ is given by

$`{\displaystyle d^{26}x_c}`$ $`=`$ $`{\displaystyle \frac{1}{2}}\mathrm{\Xi }_m|\mathrm{\Xi }_m\mathrm{\Psi }_g|𝒬|\mathrm{\Psi }_g+{\displaystyle \frac{1}{3}}\mathrm{\Xi }_m|\mathrm{\Xi }_m\mathrm{\Xi }_m\mathrm{\Psi }_g|\mathrm{\Psi }_g\mathrm{\Psi }_g`$ (4.53)
$`=`$ $`{\displaystyle \frac{1}{6}}\mathrm{\Xi }_m|\mathrm{\Xi }_m\mathrm{\Psi }_g|𝒬|\mathrm{\Psi }_g={\displaystyle d^{26}x\frac{𝒦}{6}}.`$
This is in perfect agreement with the interpretation that the configuration $`|\mathrm{\Xi }_m|\mathrm{\Psi }_g`$ describes a single D25-brane:

$$T_{25}=_c.$$
(4.54)
This is our main result in this paper.

The calculations in Appendix D are so complicated that it would be difficult to confirm that the cancellation (4.43) does not depend on details of the regularization. We will give a calculation in Subsection 5.4 which might be regarded as a piece of evidence that the result (4.48) is not sensitive to details of the regularization.

## 5 Discussion

In this section we discuss some problematic issues of our formulation. We then discuss a reformulation of our description which is rather close to BSFT, and end with future directions.

### 5.1 Is the sliver state a classical solution?

We found in Subsections 4.1 and 4.3 that the sliver state $`|\mathrm{\Xi }_m`$ and the linearized on-shell open string states $`|\chi _{\phi _i}(k)`$ do not satisfy their equations of motion when they are contracted with the class of states $`|\{\phi _i\}`$ (2.12),

$`\{\phi _i\}|\mathrm{\Xi }_m`$ $``$ $`\{\phi _i\}|\mathrm{\Xi }_m\mathrm{\Xi }_m,`$
$`\{\phi _i\}|\chi _{\phi _i}(k)`$ $``$ $`\{\phi _i\}|\chi _{\phi _i}(k)\mathrm{\Xi }_m+\{\phi _i\}|\mathrm{\Xi }_m\chi _{\phi _i}(k),`$ (5.1)
while they satisfy their equations of motion when contracted with an arbitrary state in the matter Fock space $`|\varphi `$,

$`\varphi |\mathrm{\Xi }_m`$ $`=`$ $`\varphi |\mathrm{\Xi }_m\mathrm{\Xi }_m,`$
$`\varphi |\chi _{\phi _i}(k)`$ $`=`$ $`\varphi |\chi _{\phi _i}(k)\mathrm{\Xi }_m+\varphi |\mathrm{\Xi }_m\chi _{\phi _i}(k).`$ (5.2)
Does this mean that the sliver state is not a classical solution of VSFT and that we are expanding the action around an inappropriate configuration?

Let us see if the linear terms of the open string fields $`\{\phi _i\}`$ vanish when we express the VSFT action in terms of them. The part of the VSFT action which is linear in $`\{\phi _i\}`$ is given by

$$S^{(1)}=\mathrm{\Psi }_g|𝒬|\mathrm{\Psi }_gd^{26}k\phi _i(k)\left[\chi _{\phi _i}(k)|\mathrm{\Xi }_m\chi _{\phi _i}(k)|\mathrm{\Xi }_m\mathrm{\Xi }_m\right].$$
(5.3)
The inner products $`\chi _{\phi _i}(k)|\mathrm{\Xi }_m`$ and $`\chi _{\phi _i}(k)|\mathrm{\Xi }_m\mathrm{\Xi }_m`$ are expressed in terms of one-point functions of the vertex operator $`𝒪_{\phi _i(k)}`$. It is obvious from momentum conservation that the one-point functions vanish for a nonzero momentum. The vertex operators for zero-momentum open string fields other than the tachyon have a nonzero conformal dimension so that their one-point functions vanish. Therefore, the tachyon is the only dangerous field which may have a nonvanishing linear term.

Let us therefore calculate the tachyon potential $`V(T)`$ in our description of the tachyon field $`|e^T`$. For a constant tachyon field $`T(x)=T`$, the factor inserted in $`|e^T`$ in the cone representation is given by

$$\mathrm{exp}\left[T_{(n1)\pi /2}^{(n1)\pi /2}𝑑\theta _0(\theta )^1\right]=e^{aT},$$
(5.4)
where the value of a constant $`a`$,

$$a=_{(n1)\pi /2}^{(n1)\pi /2}𝑑\theta _0(\theta )^1,$$
(5.5)
depends on the choice of the Riemann surface $`\mathrm{\Sigma }_n`$ where the off-shell tachyon is defined. The tachyon potential $`V(T)`$ is easily calculated from (4.4) and the result is

$$V(T)=𝒦\left(\frac{1}{2}e^{2aT}\frac{1}{3}e^{3aT}\right)=3T_{25}e^{2aT}2T_{25}e^{3aT},$$
(5.6)
where we used (4.52). The shape of $`V(T)`$ is given in Figure 1.

The linear term vanishes at $`T=0`$,

$$\frac{dV(T)}{dT}|_{T=0}=0.$$
(5.7)
The tachyon vacuum corresponds to $`T=\mathrm{}`$ where $`V(T)=0`$, and the potential height at $`T=0`$ is exactly the same as the D25-brane tension as we calculated in Subsection 4.3:

$$V(0)V(\mathrm{})=T_{25}.$$
(5.8)
To summarize, the linear terms of the open string fields, including the tachyon, vanish at the configuration where $`\phi _i=0`$, which corresponds to the sliver state:

$$\frac{\delta S[\{\phi _i\}]}{\delta \phi _i}|_{\phi _i=0}=0.$$
(5.9)
In this sense, we can regard the sliver state as a classical solution. However, we do not completely understand whether the breakdown of the equations of motion in the form of (5.1) is problematic or not.

### 5.2 The large $`n`$ limit and renormalization

The primary goal of the present paper was to study if VSFT describes the ordinary perturbative dynamics of open strings based on our proposal. For this purpose, we calculated the kinetic term of the tachyon near its mass shell and the on-shell three-tachyon coupling in Section 4. We found that all the divergences we encountered in these calculations canceled and these quantities stay finite in the large $`n`$ limit. However, the tachyon state $`|e^T`$ itself, or more general states $`|\{\phi _i\}`$, do not seem to have the large $`n`$ limit.

As we have seen in Section 4, singularities in the large $`n`$ limit become short-distance singularities such as $`1/ϵ`$ or $`\mathrm{ln}ϵ`$ when we calculate correlation functions on the unit disk or the cone with an angle $`3\pi `$. The open string fields $`\{\phi _i\}`$ correspond to bare coupling constants in the open string sigma model and we may need to renormalize them appropriately in the large $`n`$ limit to make our description more well-defined.

It might be useful to notice that there were two different types of divergences in the calculations in Section 4. Take $`\mathit{2}|\mathit{0}`$ as an example. The $`1/ϵ`$ divergence of $`K_{20}(1)`$ in (4.25) comes from the contribution where the two vertex operators become close in the bulk of the integration region. On the other hand, the $`\mathrm{ln}ϵ`$ divergence of $`K_{20}(1)`$ in (4.25) can be regarded as a boundary effect of the integration region. To understand this, the following analogy might be helpful. The inner product $`\mathit{2}|\mathit{0}`$ is the quadratic part of $`\{\phi _i\}|\mathrm{\Xi }_m`$ in the expansion of $`T(k)`$ when we turn on only the tachyon field. The boundary interaction

$$\mathrm{exp}\left[𝑑td^{26}k\underset{i}{}\phi _i(k)𝒪_{\phi _i(k)}(t)\right]$$
(5.10)
in (2.12) is introduced only on a part of the boundary in $`\{\phi _i\}|\mathrm{\Xi }_m`$. The inner product $`\{\phi _i\}|\mathrm{\Xi }_m`$ is therefore analogous to an open Wilson line in ordinary gauge theory in this respect. On the other hand, the boundary interaction is introduced on the whole boundary in the inner products $`\{\phi _i\}|\{\phi _i\}`$ and $`\{\phi _i\}|\{\phi _i\}\{\phi _i\}`$ appearing in the VSFT action (4.1). These inner products are analogous to closed Wilson loops. When we expand the Wilson-loop-like inner products $`\{\phi _i\}|\{\phi _i\}`$ and $`\{\phi _i\}|\{\phi _i\}\{\phi _i\}`$ as we did in (4.7), the combinations $`\mathit{1}|\mathit{1}/2+\mathit{2}|\mathit{0}`$ and $`\mathit{1}|\mathit{1}\mathit{0}+\mathit{2}|\mathit{0}\mathit{0}`$ appear, and the $`\mathrm{ln}ϵ`$ divergence is absent from $`K_{11}(1)/2+K_{20}(1)`$ and $`K_{110}(1)+K_{200}(1)`$ corresponding to these combinations of inner products.111111The absence of the $`\mathrm{ln}ϵ`$ divergence is more transparent in the calculations of $`\stackrel{~}{K}_{11}/2+\stackrel{~}{K}_{20}`$ and $`\stackrel{~}{K}_{110}+\stackrel{~}{K}_{200}`$ in Appendix C. We can generally expect that the divergence coming from the boundary of the boundary interaction cancels in calculations of Wilson-loop-like quantities such as the VSFT action.

The other type of divergence such as $`1/ϵ`$ in $`K_{20}(1)`$ is familiar in the open string sigma model. We will be able to handle such divergences by a conventional renormalization procedure, at least for renormalizable boundary interactions, and the situation is similar to that of BSFT. Note also that a multiplicative renormalization of the tachyon field will not change the on-shell three-tachyon coupling constant $`g_T`$ we calculated in Section 4.

On the other hand, we do not know how to handle the divergence coming from the boundary of the boundary interaction. If this class of divergence remains in a physically relevant calculation, it can be a problem of our formulation, although we have not encountered such situations so far and we do not expect such problems in the calculation of the VSFT action as we mentioned before. Incidentally, inner products of general states with a state in the matter Fock space, $`\{\phi _i\}|\varphi `$, become Wilson-loop-like in the large $`n`$ limit. It seems therefore possible to make them well-defined by a conventional renormalization procedure for renormalizable interactions, although it is not clear if the inner products $`\{\phi _i\}|\varphi `$ are really physically relevant in VSFT.

### 5.3 Off-shell definitions

In Section 2 we mentioned an ambiguity in our off-shell definition of open string fields. If we need to renormalize the open string fields as we discussed in the previous subsection, the choice of the renormalization scheme will be another source of off-shell ambiguity.121212These two ambiguities might not be independent. The conformal factor $`_0(\theta )^{k^21}`$ in (2.11) has an implicit dependence on $`n`$ through the choice of the Riemann surface $`\mathrm{\Sigma }_n`$, and the $`\theta `$-independent part of this factor looks similar to a multiplicative renormalization of $`T(k)`$. It is important for the consistency of our formulation that such off-shell ambiguity does not affect physically relevant quantities. We found, for example, that the relation between the D25-brane tension $`T_{25}`$ and the on-shell three-tachyon coupling constant $`g_T`$ derived in Section 4 was independent of the ambiguity coming from $`_0(\theta )`$ in (2.11). If the physics is really independent of the off-shell ambiguity, we can in principle choose any off-shell definition. However, an inappropriate choice might cause a singular behavior of the off-shell fields.

If we take the Riemann surface $`\mathrm{\Sigma }_n`$ to be a cone with an angle $`n\pi `$, which corresponds to $`_0(\theta )=1`$ in (2.11) for the tachyon, the tachyon kinetic term can be calculated exactly for $`\mathrm{}(k^2)<1/2`$. From the calculation in Subsection 4.2, it is given by

$`{\displaystyle \frac{1}{2}}K(k^2)`$ $`=`$ $`{\displaystyle \frac{\pi }{2}}\left({\displaystyle \frac{1}{n1}}\right)^{2k^22}(2^{2k^2+1}3^{2k^2+1})B({\displaystyle \frac{1}{2}}k^2,{\displaystyle \frac{1}{2}})`$ (5.11)
$`=`$ $`{\displaystyle \frac{\pi }{2}}\left({\displaystyle \frac{1}{n1}}\right)^{2k^22}(2^{2k^2+1}3^{2k^2+1}){\displaystyle \frac{\sqrt{\pi }\mathrm{\Gamma }\left(\frac{1}{2}k^2\right)}{\mathrm{\Gamma }(1k^2)}}.`$
We may renormalize the tachyon field to absorb the $`n`$-dependent factor in (5.11) coming from (4.15), which is not relevant to the present discussion. If we assume the analyticity in $`k^2`$, we can define $`K(k^2)`$ for all $`k^2`$ by analytic continuation. We then note that the kinetic term (5.11) vanishes not only at $`k^2=1`$ but also at any positive integer $`k^2=1,2,3,\mathrm{}`$. The kinetic term is also singular at $`k^2=3/2,5/2,\mathrm{},`$ where it diverges. If this implies the existence of an infinite number of tachyons, the theory will definitely be pathological, and it can be a problem of our formulation.

We have argued that it is universal that the tachyon kinetic term vanishes when $`k^2=1`$, but it is not clear if other zeros of (5.11) at $`k^2=2,3,\mathrm{}`$ are also universal. The singular behavior of (5.11) for higher $`k^2`$ might be an artifact of an inappropriate off-shell definition. In fact, when we increase the momentum $`k`$ in the calculation of $`K(k^2)`$ using point-splitting regularization, the next-to-leading singularity in (B.18) becomes divergent at $`k^2=3/2`$, and it is $`n`$-dependent. The divergence in $`K(k^2)`$ will no longer cancel and the tachyon field beyond $`k^2=3/2`$ seems to depend strongly on the off-shell ambiguity. It is not clear if the tachyon kinetic term universally vanishes at $`k^2=2,3,\mathrm{}`$. We cannot claim anything definite about this issue for now, but we hope that the expression (5.11) corresponds to a singular definition of the tachyon and there is a better class of off-shell definitions.

### 5.4 BSFT-like reformulation

So far we have found that when we express the VSFT action in terms of the open string fields $`\{\phi _i\}`$ based on our proposal (2.12),

1. the linear terms vanish,
2. the kinetic terms vanish when the fields $`\{\phi _i\}`$ satisfy the physical state conditions,
3. and the relation between the D25-brane tension $`T_{25}`$ and the on-shell three-tachyon coupling $`g_T`$ given by (1.1) is correctly reproduced.

Although we started from VSFT, most of the calculations in the present paper are reminiscent of those of boundary string field theory (BSFT) 131313 In particular, similar calculations can be found in Appendix A of . Related calculations can also be found in a different context in . . Furthermore, the problems we discussed in Subsections 5.1 and 5.2 seem to suggest a BSFT-like reformulation of our description. In fact, all the results we just mentioned are effectively reproduced by the following BSFT-like action:

$`S[\{\phi _i\}]`$ $`=`$ $`3T_{25}\mathrm{exp}\left[{\displaystyle d^{26}k\underset{i}{}\phi _i(k)_0^{2\pi }𝑑\theta 𝒪_{\phi _i(k)}(e^{i\theta })}\right]_{\mathrm{disk}}`$ (5.12)
$`+2T_{25}\mathrm{exp}\left[{\displaystyle d^{26}k\underset{i}{}\phi _i(k)_0^{3\pi }𝑑\theta 𝒪_{\phi _i(k)}(e^{i\theta })}\right]_{3\pi },`$
where the correlation functions are normalized as

$$1_{\mathrm{disk}}=d^{26}x,1_{3\pi }=d^{26}x,$$
(5.13)
and we assume an appropriate regularization and renormalization scheme. As we have discussed, the off-shell definition for $`\{\phi _i\}`$ is not unique. For example, we can define off-shell tachyon field taking the ambiguity into account as follows:

$`S[T(k)]`$ $`=`$ $`3T_{25}\mathrm{exp}\left[{\displaystyle d^{26}kT(k)_0^{2\pi }𝑑\theta (\theta )^{k^21}e^{ikX}(e^{i\theta })}\right]_{\mathrm{disk}}`$ (5.14)
$`+2T_{25}\mathrm{exp}\left[{\displaystyle d^{26}kT(k)_0^{3\pi }𝑑\theta (\theta )^{k^21}e^{ikX}(e^{i\theta })}\right]_{3\pi },`$
where we extended the definition of $`(\theta )`$ from $`\pi /2\theta \pi /2`$ to all $`\theta `$ through $`(\theta +\pi )=(\theta )`$ as we did in Subsection 4.2. We can easily see that the linear terms of $`\{\phi _i\}`$ vanish in the action (5.12) and the tachyon potential is given by (5.6). If we use point-splitting regularization, we can also show that the kinetic terms for $`\{\phi _i\}`$ vanish when $`𝒪_{\phi _i(k)}`$ is primary with conformal dimension one, and the calculations for the tachyon kinetic term near its mass shell are simpler than those in Subsection 4.2 and Appendix B, and give the same result.

The calculation for the on-shell three-tachyon coupling is remarkably simpler than the VSFT calculation of Appendices D and E. Before regularizing it, the on-shell cubic interaction $`V`$ defined by (4.41) can be written as follows:

$$\frac{1}{3}V=V(1)V(3/2),$$
(5.15)
where $`V(n)`$ is defined by

$`V(n){\displaystyle \frac{1}{2n}}{\displaystyle \frac{1}{3!}}{\displaystyle _0^{2n\pi }}𝑑\theta _3{\displaystyle _0^{2n\pi }}𝑑\theta _2{\displaystyle _0^{2n\pi }}𝑑\theta _1`$
$`\times \left|2n\mathrm{sin}{\displaystyle \frac{\theta _1\theta _2}{2n}}\right|^1\left|2n\mathrm{sin}{\displaystyle \frac{\theta _2\theta _3}{2n}}\right|^1\left|2n\mathrm{sin}{\displaystyle \frac{\theta _3\theta _1}{2n}}\right|^1`$
$`={\displaystyle \frac{\pi }{6}}{\displaystyle _0^{2n\pi }}𝑑\theta _2{\displaystyle _0^{2n\pi }}𝑑\theta _1\left|2n\mathrm{sin}{\displaystyle \frac{\theta _1\theta _2}{2n}}\right|^1\left|2n\mathrm{sin}{\displaystyle \frac{\theta _1}{2n}}\right|^1\left|2n\mathrm{sin}{\displaystyle \frac{\theta _2}{2n}}\right|^1.`$ (5.16)
If we use point-splitting regularization, $`V(n)`$ is regularized and calculated in the following way:

$`V(n)={\displaystyle \frac{\pi }{3}}{\displaystyle _{2ϵ}^{2n\pi ϵ}}𝑑\theta _2{\displaystyle _ϵ^{\theta _2ϵ}}𝑑\theta _1\left(2n\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{2n}}\right)^1\left(2n\mathrm{sin}{\displaystyle \frac{\theta _1}{2n}}\right)^1\left(2n\mathrm{sin}{\displaystyle \frac{\theta _2}{2n}}\right)^1`$
$`={\displaystyle \frac{2\pi }{3(2n)^2}}{\displaystyle _{2ϵ}^{2n\pi ϵ}}𝑑\theta _2\left(\mathrm{sin}{\displaystyle \frac{\theta _2}{2n}}\right)^2\mathrm{ln}{\displaystyle \frac{\mathrm{sin}\frac{\theta _2ϵ}{2n}}{\mathrm{sin}\frac{ϵ}{2n}}}={\displaystyle \frac{\pi ^2}{3n}}\left(1{\displaystyle \frac{3ϵ}{2n\pi }}\right)+{\displaystyle \frac{\pi }{n}}\mathrm{cot}{\displaystyle \frac{ϵ}{2n}}\mathrm{ln}{\displaystyle \frac{\mathrm{sin}\frac{ϵ}{n}}{\mathrm{sin}\frac{ϵ}{2n}}}`$
$`={\displaystyle \frac{2\pi \mathrm{ln}2}{ϵ}}{\displaystyle \frac{\pi ^2}{3n}}+O(ϵ).`$ (5.17)
Therefore, $`V`$ is given by

$$\frac{1}{3}V=\frac{\pi ^2}{9}+O(ϵ).$$
(5.18)
This coincides with the result (4.48), and therefore gives the relation between $`T_{25}`$ and $`g_T`$ (1.1) correctly. This calculation seems to indicate that the complication in the calculations of Appendix D is due to the existence of the boundary of the boundary interaction and the final result for $`V`$, (4.48), is not sensitive to details of the regularization.

Since this BSFT-like formulation is simpler than VSFT for this kind of calculation, it might be useful to test if other aspects of string perturbation theory are correctly reproduced. It would also be interesting to explore if the action (5.12) itself defines a new string field theory. The problem regarding nonrenormalizable boundary interactions would be taken over from that of ordinary BSFT. However, we expect some cancelation of the divergences between the two terms in (5.12) as we have seen in Section 4 and Appendices B and D. It would be important to understand the structure of the divergences in (5.12), or in (4.1).

Interestingly, the results we listed at the beginning of this subsection are also reproduced by a class of BSFT-like actions141414 I would like to thank Takuya Okuda for suggesting this possibility.  such as

$`S_{n,m}[\{\phi _i\}]`$ $`=`$ $`{\displaystyle \frac{𝒦}{2n}}\mathrm{exp}\left[{\displaystyle d^{26}k\underset{i}{}\phi _i(k)_0^{2n\pi }𝑑\theta 𝒪_{\phi _i(k)}(e^{i\theta })}\right]_{2n\pi }`$ (5.19)
$`+{\displaystyle \frac{𝒦}{2m}}\mathrm{exp}\left[{\displaystyle d^{26}k\underset{i}{}\phi _i(k)_0^{2m\pi }𝑑\theta 𝒪_{\phi _i(k)}(e^{i\theta })}\right]_{2m\pi },`$
with $`n<m`$,151515 The ratio $`n/m`$ must be rational if we want to incorporate the off-shell ambiguity we mentioned in Section 2.  or a linear combination of $`S_{n,m}`$’s. The action (5.12) corresponds to the case where $`n/m=2/3`$. It would be important to understand whether this value, which is inherited from Witten’s open string field theory , has any special meaning or not.

If we take the large $`m`$ limit while $`n`$ is kept finite ($`n/m0`$) after point-splitting regularization, the second term in (5.19) just subtracts the divergences and does not contribute to the finite terms as far as the calculations we have done so far are concerned. In this limit, the action may be related to the (renormalized) partition function with the boundary interaction .161616 See also a recent work .  The tachyon potential, however, becomes singular in this limit.

If we choose $`m=n+a`$ and take $`n`$ to be large while $`a`$ is kept finite ($`n/m1`$), the two terms in (5.19) become almost the same. A conformal transformation which maps one Riemann surface to the other becomes infinitesimal so that the resulting action may be related to the BSFT  where the anticommutator of the BRST charge with the vertex operator is inserted. Let us calculate the tachyon potential in this limit. Under an appropriate normalization for the constant tachyon field $`T`$, it is given by

$$V(T)=\frac{𝒦}{2n}e^{nT}\frac{𝒦}{2(n+a)}e^{(n+a)T}.$$
(5.20)
Since the D25-brane tension $`T_{25}`$ is given by

$$T_{25}=\frac{𝒦}{2n}\frac{𝒦}{2(n+a)}=\frac{𝒦a}{2n(n+a)},$$
(5.21)
the tachyon potential is normalized as follows:

$$\frac{V(T)}{T_{25}}=\frac{n+a}{a}e^{nT}\frac{n}{a}e^{(n+a)T}.$$
(5.22)
We can take the large $`n`$ limit if we redefine the tachyon as $`TT/n`$ and the resulting potential is given by

$$\frac{V(T)}{T_{25}}=(T+1)e^T.$$
(5.23)
This coincides with the tachyon potential in BSFT . It would be interesting to learn more about the relation between the action (5.19) and BSFT.

### 5.5 Ghost solution

We have concentrated on the matter part of VSFT assuming the existence of the universal solution in the ghost part. Actually, we implicitly assume more about the ghost solution.

In the CFT formulation of string field theory , we implicitly use the generalized gluing and resmoothing theorem . As is emphasized in , the theorem holds only when the total central charge vanishes. Furthermore, we have to make the same conformal transformation for both matter and ghost sectors. Otherwise a conformal anomaly effectively occurs even when the total central charge vanishes.

Since all the states we considered in this paper were defined as the large $`n`$ limit of wedge states with some operator insertions, the universal ghost solution also has to share this property. Namely, we assume the existence of a series of purely ghost operators $`𝒬(n)`$ and ghost states $`|\mathrm{\Psi }_g(n)`$ labeled by $`n`$ satisfying the following conditions:

1. the ghost operators $`𝒬(n)`$ have vanishing cohomology, at least in the large $`n`$ limit,
2. the ghost states $`|\mathrm{\Psi }_g(n)`$ take the form of wedge states labeled by $`n`$ with some ghost insertions,
3. they solve the ghost equation of motion in the large $`n`$ limit:

$$\underset{n\mathrm{}}{lim}\mathrm{\Psi }_g(n)|𝒬(n)|\mathrm{\Psi }_g(n)+\underset{n\mathrm{}}{lim}\mathrm{\Psi }_g(n)|\mathrm{\Psi }_g(n)\mathrm{\Psi }_g(n)=0,$$
(5.24)
4. and they give a finite D-brane tension:

$$\underset{n\mathrm{}}{lim}n|n\mathrm{\Psi }_g(n)|𝒬(n)|\mathrm{\Psi }_g(n)=d^{26}x𝒦,$$
(5.25)
where $`𝒦`$ is finite.

Can we find such operators $`𝒬(n)`$ and states $`|\mathrm{\Psi }_g(n)`$? The ghost solution found by Hata and Kawano  turned out to be described as the sliver state of the twisted ghost CFT . Unfortunately, the total central charge does not vanish when we twist the ghost CFT. However, we can show that a class of wedge states in the twisted ghost CFT are described by wedge states in the untwisted ghost CFT with some operator insertions . We assume that such ghost states satisfy the conditions (5.24) and (5.25) under an appropriate regularization. We hope to report on this issue in a future work .

### 5.6 Future directions

In this paper we used the CFT formulation  of string field theory. In the development of VSFT the interplay among various formulations has played an important role. The D25-brane solution in VSFT was first studied in the operator formalism . The technology in the operator formalism of string field theory  is developing rapidly based on the spectroscopy of the Neumann coefficient matrices . It is used for analytical proofs of conjectured equivalence between results from the CFT descriptions and corresponding ones in the operator formalism . The half-string or split-string picture  is particularly useful when we consider systems of multiple D-branes. It is further related to a recent reformulation in terms of noncommutative field theory . It would be important to study relations of our description to these other formulations for future investigations on generalizations to non-Abelian cases, the role of the gauge invariance, and so on. An approach to non-Abelian structures from the viewpoint of BSFT such as  may also be useful.

We used wedge states to formulate our description of the open string fields on a D25-brane by making use of their simple star algebra . On the other hand, other star algebra projectors such as the butterfly state were also found and studied . It would be interesting to consider the description of open string fields for other surface states and see if the results such as the ones we listed at the beginning of Subsection 5.4 are independent of the choice of the surfaces.

Finally, it would be very important to understand relations of our formulation to Witten’s cubic string field theory  as well as further relations to BSFT . Witten’s cubic string field theory is based on the BRST quantization while our formulation is reminiscent of the old covariant quantization. We hope that our formulation will give some insights into dictionaries between Witten’s cubic string field theory, BSFT, and VSFT.

## Acknowledgements

I would like to thank Teruhiko Kawano and Takuya Okuda for collaborative discussions throughout the work and Hirosi Ooguri for useful discussions. I also thank Martin Schnabl for his help in the analytic evaluation of the integral $`I_{3/2}`$ in Appendix D. This work was supported in part by the DOE grant DE-FG03-92ER40701 and by a McCone Fellowship in Theoretical Physics from California Institute of Technology.

## Appendix A. The relation between $`T_{25}`$ and $`g_T`$

The inverse of the D25-brane tension $`T_{25}`$ and the square of the on-shell three-tachyon coupling constant $`g_T`$ are both proportional to the string coupling constant. The dimensionless quantity $`\alpha ^3T_{25}g_T^2`$ is therefore independent of the string coupling constant. Let us calculate it following the convention of .

The effective action for the tachyon is given in (6.5.16) of  by

$$S=\frac{1}{g_{o}^{}{}_{}{}^{2}}d^{26}x\left[\frac{1}{2}_\mu T(x)^\mu T(x)+\frac{1}{2\alpha ^{}}T(x)^2+\frac{1}{3}\sqrt{\frac{2}{\alpha ^{}}}T(x)^3\right].$$
(A.1)
The tension of a D$`p`$-brane $`T_p`$ is given in (8.7.26) of  by

$$T_p^2=\frac{\pi }{256\kappa ^2}(4\pi ^2\alpha ^{})^{11p}.$$
(A.2)
The relation between $`g_o^{}`$ and $`\kappa `$ is given in (8.7.28) of  by

$$\frac{4\pi \alpha ^{}g_{o}^{}{}_{}{}^{2}}{\kappa }=2^{18}\pi ^{25/2}\alpha ^6.$$
(A.3)
Therefore, the D25-brane tension $`T_{25}`$ is expressed in terms of $`g_o^{}`$ by

$$T_{25}=\frac{1}{4\pi ^2\alpha ^2g_{o}^{}{}_{}{}^{2}}.$$
(A.4)
The on-shell three-tachyon coupling $`g_T`$ is defined by171717 The normalized tachyon $`\widehat{T}(x)`$ here is related to $`\widehat{T}(k)`$ in Subsection 4.2 as
$$\widehat{T}_{\mathrm{Polchinski}}(x)=\widehat{T}_{\mathrm{ours}}(x)$$
with
$$\widehat{T}_{\mathrm{ours}}(x)=d^{26}k\widehat{T}(k)e^{ikX}.$$

$$S=d^{26}x\left[\frac{1}{2}_\mu \widehat{T}(x)^\mu \widehat{T}(x)+\frac{1}{2\alpha ^{}}\widehat{T}(x)^2+\frac{1}{3}g_T\widehat{T}(x)^3\right].$$
(A.5)
Since the normalized tachyon field $`\widehat{T}`$ is related to $`T`$ in (A.1) as

$$\widehat{T}(x)=\frac{T(x)}{g_o^{}},$$
(A.6)
the relation between $`g_T`$ and $`g_o^{}`$ is given by

$$g_T=g_o^{}\sqrt{\frac{2}{\alpha ^{}}}.$$
(A.7)
The D25-brane tension $`T_{25}`$ is therefore expressed in terms of $`g_T`$ as

$$T_{25}=\frac{1}{2\pi ^2\alpha ^3g_T^2}.$$
(A.8)
## Appendix B. $`K(k^2)`$

We calculate $`K(k^2)`$ in (4.10) when $`k^2`$ is nearly on shell $`k^21`$ to show (4.37) in this appendix. Let us begin with $`K_{20}(k^2)`$ (4.22) and $`K_{200}(k^2)`$ (4.23). Both take the following form:

$$K_{20/200}(n,k^2)=_{\pi /2+3ϵ/2}^{\pi /2ϵ/2}𝑑\theta _2_{\pi /2+ϵ/2}^{\theta _2ϵ}𝑑\theta _1(\theta _1)^{k^21}(\theta _2)^{k^21}\left|2n\mathrm{sin}\frac{\theta _2\theta _1}{2n}\right|^{2k^2},$$
(B.1)
with $`n=1`$ for $`K_{20}`$ and $`n=3/2`$ for $`K_{200}`$. Using the formula

$$_{\pi /2+3ϵ/2}^{\pi /2ϵ/2}𝑑\theta _2_{\pi /2+ϵ/2}^{\theta _2ϵ}𝑑\theta _1f(\theta _1,\theta _2)=_{\pi /2+ϵ/2}^{\pi /23ϵ/2}𝑑\theta _2_{\theta _2+ϵ}^{\pi /2ϵ/2}𝑑\theta _1f(\theta _2,\theta _1)$$
(B.2)
for any function $`f`$ with two variables, $`K_{20/200}(n,k^2)`$ is rewritten in the following way:

$`K_{20/200}(n,k^2)`$ (B.3)
$`=`$ $`{\displaystyle \frac{1}{2}}{\displaystyle _{\pi /2+3ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _{\pi /2+ϵ/2}^{\theta _2ϵ}}𝑑\theta _1(\theta _1)^{k^21}(\theta _2)^{k^21}\left|2n\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{2n}}\right|^{2k^2}`$
$`+{\displaystyle \frac{1}{2}}{\displaystyle _{\pi /2+ϵ/2}^{\pi /23ϵ/2}}𝑑\theta _2{\displaystyle _{\theta _2+ϵ}^{\pi /2ϵ/2}}𝑑\theta _1(\theta _1)^{k^21}(\theta _2)^{k^21}\left|2n\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{2n}}\right|^{2k^2}`$
$`=`$ $`{\displaystyle \frac{1}{2}}{\displaystyle _{\pi /2+3ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _{\pi /2+ϵ/2}^{\theta _2ϵ}}𝑑\theta _1\left|2n\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{2n}}\right|^{2k^2}`$
$`\times \left\{1+(k^21)\mathrm{ln}(\theta _1)+(k^21)\mathrm{ln}(\theta _2)+O((k^21)^2)\right\}`$
$`+{\displaystyle \frac{1}{2}}{\displaystyle _{\pi /2+ϵ/2}^{\pi /23ϵ/2}}𝑑\theta _2{\displaystyle _{\theta _2+ϵ}^{\pi /2ϵ/2}}𝑑\theta _1\left|2n\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{2n}}\right|^{2k^2}`$
$`\times \left\{1+(k^21)\mathrm{ln}(\theta _1)+(k^21)\mathrm{ln}(\theta _2)+O((k^21)^2)\right\}`$
$`=`$ $`{\displaystyle \frac{1}{2}}{\displaystyle _{\pi /2+3ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _{\pi /2+ϵ/2}^{\theta _2ϵ}}𝑑\theta _1\left|2n\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{2n}}\right|^{2k^2}`$
$`\times \left\{1+2(k^21)\mathrm{ln}(\theta _2)+O((k^21)^2)\right\}`$
$`+{\displaystyle \frac{1}{2}}{\displaystyle _{\pi /2+ϵ/2}^{\pi /23ϵ/2}}𝑑\theta _2{\displaystyle _{\theta _2+ϵ}^{\pi /2ϵ/2}}𝑑\theta _1\left|2n\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{2n}}\right|^{2k^2}`$
$`\times \left\{1+2(k^21)\mathrm{ln}(\theta _2)+O((k^21)^2)\right\}.`$
Next we rewrite $`K_{11}(k^2)`$ (4.14) and $`K_{110}(k^2)(\text{4.17})`$ similarly:

$`K_{11}(k^2)`$ $`=`$ $`{\displaystyle _{\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _\pi ^{\pi /2ϵ/2}}𝑑\theta _1\left|2\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{2}}\right|^{2k^2}`$ (B.4)
$`\times \left\{1+(k^21)\mathrm{ln}(\theta _1+\pi )+(k^21)\mathrm{ln}(\theta _2)+O((k^21)^2)\right\}`$
$`+{\displaystyle _{\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _{\pi /2+ϵ/2}^\pi }𝑑\theta _1\left|2\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{2}}\right|^{2k^2},`$
$`\times \left\{1+(k^21)\mathrm{ln}(\theta _1\pi )+(k^21)\mathrm{ln}(\theta _2)+O((k^21)^2)\right\}`$
$`=`$ $`{\displaystyle _{\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _\pi ^{\pi /2ϵ/2}}𝑑\theta _1\left|2\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{2}}\right|^{2k^2}`$
$`\times \left\{1+2(k^21)\mathrm{ln}(\theta _2)+O((k^21)^2)\right\}`$
$`+{\displaystyle _{\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _{\pi /2+ϵ/2}^\pi }𝑑\theta _1\left|2\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{2}}\right|^{2k^2}`$
$`\times \left\{1+2(k^21)\mathrm{ln}(\theta _2)+O((k^21)^2)\right\},`$
and

$`K_{110}(k^2)`$ $`=`$ $`{\displaystyle _{\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _{3\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _1(\theta _1+\pi )^{k^21}(\theta _2)^{k^21}\left|3\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{3}}\right|^{2k^2}`$ (B.5)
$`=`$ $`{\displaystyle \frac{1}{2}}{\displaystyle _{\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _{3\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _1(\theta _1+\pi )^{k^21}(\theta _2)^{k^21}\left|3\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{3}}\right|^{2k^2}`$
$`+{\displaystyle \frac{1}{2}}{\displaystyle _{\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _{\pi /2+ϵ/2}^{3\pi /2ϵ/2}}𝑑\theta _1(\theta _1\pi )^{k^21}(\theta _2)^{k^21}\left|3\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{3}}\right|^{2k^2}`$
$`=`$ $`{\displaystyle \frac{1}{2}}{\displaystyle _{\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _{3\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _1\left|3\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{3}}\right|^{2k^2}`$
$`\times \left\{1+(k^21)\mathrm{ln}(\theta _1+\pi )+(k^21)\mathrm{ln}(\theta _2)+O((k^21)^2)\right\}`$
$`+{\displaystyle \frac{1}{2}}{\displaystyle _{\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _{\pi /2+ϵ/2}^{3\pi /2ϵ/2}}𝑑\theta _1\left|3\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{3}}\right|^{2k^2}`$
$`\times \left\{1+(k^21)\mathrm{ln}(\theta _1\pi )+(k^21)\mathrm{ln}(\theta _2)+O((k^21)^2)\right\}`$
$`=`$ $`{\displaystyle \frac{1}{2}}{\displaystyle _{\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _{3\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _1\left|3\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{3}}\right|^{2k^2}`$
$`\times \left\{1+2(k^21)\mathrm{ln}(\theta _2)+O((k^21)^2)\right\}`$
$`+{\displaystyle \frac{1}{2}}{\displaystyle _{\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _{\pi /2+ϵ/2}^{3\pi /2ϵ/2}}𝑑\theta _1\left|3\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{3}}\right|^{2k^2}`$
$`\times \left\{1+2(k^21)\mathrm{ln}(\theta _2)+O((k^21)^2)\right\}.`$
It is convenient to define

$`K_{11/110}(n,k^2)`$ $``$ $`{\displaystyle \frac{1}{2}}{\displaystyle _{\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _{n\pi +\alpha (n)}^{\pi /2ϵ/2}}𝑑\theta _1\left|2n\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{2n}}\right|^{2k^2}`$ (B.6)
$`\times \left\{1+2(k^21)\mathrm{ln}(\theta _2)+O((k^21)^2)\right\}`$
$`+{\displaystyle \frac{1}{2}}{\displaystyle _{\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _{\pi /2+ϵ/2}^{n\pi \alpha (n)}}𝑑\theta _1\left|2n\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{2n}}\right|^{2k^2}`$
$`\times \left\{1+2(k^21)\mathrm{ln}(\theta _2)+O((k^21)^2)\right\},`$
where $`\alpha (n)=(n1)ϵ`$. Since $`K_{11/110}(n,k^2)`$ is related to $`K_{11}(k^2)`$ and $`K_{110}(k^2)`$ by

$$K_{11/110}(1,k^2)=\frac{1}{2}K_{11}(k^2),K_{11/110}(3/2,k^2)=K_{110}(k^2),$$
(B.7)
$`K(k^2)`$ is given by

$$\frac{1}{2}K(k^2)=K_{11/110}(1,k^2)+K_{20/200}(1,k^2)K_{11/110}(3/2,k^2)K_{20/200}(3/2,k^2).$$
(B.8)
Note that $`n`$-independent terms in $`K_{11/110}(n,k^2)`$ and $`K_{20/200}(n,k^2)`$ do not contribute to $`K(k^2)/2`$.

As we did in Subsection 4.2, $`K_{11/110}(n,k^2)+K_{20/200}(n,k^2)`$ can be rewritten in the following factorized form if we could neglect the divergence and set $`ϵ=0`$:

$`K_{11/110}(n,k^2)|_{ϵ=0}+K_{20/200}(n,k^2)|_{ϵ=0}`$
$`={\displaystyle \frac{1}{2}}{\displaystyle _{\pi /2}^{\pi /2}}𝑑\theta _2{\displaystyle _{n\pi }^{n\pi }}𝑑\theta _1\left|2n\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{2n}}\right|^{2k^2}`$
$`\times \left\{1+2(k^21)\mathrm{ln}(\theta _2)+O((k^21)^2)\right\}`$
$`={\displaystyle \frac{1}{2}}{\displaystyle _{n\pi }^{n\pi }}𝑑\theta \left|2n\mathrm{sin}{\displaystyle \frac{\theta }{2n}}\right|^{2k^2}`$
$`\times {\displaystyle _{\pi /2}^{\pi /2}}d\theta ^{}\{1+2(k^21)\mathrm{ln}(\theta ^{})\}+O((k^21)^2).`$ (B.9)
Let us go back to the real case with a finite $`ϵ`$ and try to bring the region of the integrals in $`K_{11/110}(n,k^2)+K_{20/200}(n,k^2)`$ to a form which is close to that of (B.9). One such form is given by

$`{\displaystyle _{\pi /2+3ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _{\pi /2+ϵ/2}^{\theta _2ϵ}}𝑑\theta _1+{\displaystyle _{\pi /2+ϵ/2}^{\pi /23ϵ/2}}𝑑\theta _2{\displaystyle _{\theta _2+ϵ}^{\pi /2ϵ/2}}𝑑\theta _1`$ (B.10)
$`+{\displaystyle _{\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _{n\pi +\alpha (n)}^{\pi /2ϵ/2}}𝑑\theta _1+{\displaystyle _{\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _{\pi /2+ϵ/2}^{n\pi \alpha (n)}}𝑑\theta _1`$
$`=`$ $`{\displaystyle _{\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2\left\{{\displaystyle _{n\pi }^{\theta _2ϵ}}𝑑\theta _1+{\displaystyle _{\theta _2+ϵ}^{n\pi }}𝑑\theta _1\right\}`$
$`{\displaystyle _{\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2\left\{{\displaystyle _{n\pi }^{n\pi +\alpha (n)}}𝑑\theta _1+{\displaystyle _{n\pi \alpha (n)}^{n\pi }}𝑑\theta _1\right\}`$
$`{\displaystyle _{\pi /2+ϵ/2}^{\pi /23ϵ/2}}𝑑\theta _2{\displaystyle _{\pi /2ϵ/2}^{\pi /2+ϵ/2}}𝑑\theta _1{\displaystyle _{\pi /23ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _{\theta _2+ϵ}^{\pi /2+ϵ/2}}𝑑\theta _1`$
$`{\displaystyle _{\pi /2+3ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _{\pi /2ϵ/2}^{\pi /2+ϵ/2}}𝑑\theta _1{\displaystyle _{\pi /2+ϵ/2}^{\pi /2+3ϵ/2}}𝑑\theta _2{\displaystyle _{\pi /2ϵ/2}^{\theta _2ϵ}}𝑑\theta _1.`$
The first term on the right-hand side of (B.10) corresponds to the region of the integrals in (B.9) and the remaining regions vanish in the limit $`ϵ0`$.

We divide $`K_{11/110}(n,k^2)+K_{20/200}(n,k^2)`$ into six parts $`K_a(n,k^2)`$, $`K_b(n,k^2)`$, $`K_c(n,k^2)`$, $`K_d(n,k^2)`$, $`K_e(n,k^2)`$, and $`K_f(n,k^2)`$ according to the six terms in (B.10):

$`K_{11/110}(n,k^2)+K_{20/200}(n,k^2)`$
$`=K_a(n,k^2)+K_b(n,k^2)+K_c(n,k^2)+K_d(n,k^2)+K_e(n,k^2)+K_f(n,k^2).`$
(B.11)
For example, $`K_a(n,k^2)`$ is defined by

$`K_a(n,k^2)`$ $`=`$ $`{\displaystyle \frac{1}{2}}{\displaystyle _{\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _{n\pi }^{\theta _2ϵ}}𝑑\theta _1\left|2n\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{2n}}\right|^{2k^2}`$ (B.12)
$`\times \left\{1+2(k^21)\mathrm{ln}(\theta _2)+O((k^21)^2)\right\}`$
$`+{\displaystyle \frac{1}{2}}{\displaystyle _{\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _{\theta _2+ϵ}^{n\pi }}𝑑\theta _1\left|2n\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{2n}}\right|^{2k^2}`$
$`\times \left\{1+2(k^21)\mathrm{ln}(\theta _2)+O((k^21)^2)\right\}.`$
In terms of these six terms, $`K(k^2)/2`$ is given by

$`K(k^2)/2`$
$`=\left[K_a(n,k^2)+K_b(n,k^2)+K_c(n,k^2)+K_d(n,k^2)+K_e(n,k^2)+K_f(n,k^2)\right]_{n=1}`$
$`\left[K_a(n,k^2)+K_b(n,k^2)+K_c(n,k^2)+K_d(n,k^2)+K_e(n,k^2)+K_f(n,k^2)\right]_{n=\frac{3}{2}}.`$
Let us calculate each of the six terms on the right-hand side of (B.11).

$`𝑲_𝒂\mathbf{(}𝒏\mathbf{,}𝒌^\mathrm{𝟐}\mathbf{)}`$

This is most important and factorizes as in the case of (B.9):

$`K_a(n,k^2)={\displaystyle \frac{1}{2}}{\displaystyle _ϵ^{2n\pi ϵ}}𝑑\theta \left|2n\mathrm{sin}{\displaystyle \frac{\theta }{2n}}\right|^{2k^2}`$
$`\times {\displaystyle _{\pi /2+ϵ/2}^{\pi /2ϵ/2}}d\theta ^{}\{1+2(k^21)\mathrm{ln}(\theta ^{})\}+O((k^21)^2).`$ (B.14)
The integral over $`\theta `$ reduces to the incomplete beta function by the change of variables:

$$y=\mathrm{sin}^2\frac{\theta }{2n}.$$
(B.15)
The result is

$`{\displaystyle _ϵ^{2n\pi ϵ}}𝑑\theta \left|2n\mathrm{sin}{\displaystyle \frac{\theta }{2n}}\right|^{2k^2}=(2n)^{2k^2+1}{\displaystyle _{\mathrm{sin}^2\frac{ϵ}{2n}}^1}𝑑yy^{\frac{1}{2}k^2}(1y)^{\frac{1}{2}}`$
$`=(2n)^{2k^2+1}\left[B({\displaystyle \frac{1}{2}}k^2,{\displaystyle \frac{1}{2}})B_{\mathrm{sin}^2\frac{ϵ}{2n}}({\displaystyle \frac{1}{2}}k^2,{\displaystyle \frac{1}{2}})\right],`$ (B.16)
where $`B_z(p,q)`$ is defined by and expressed in terms of the hypergeometric function $`{}_{2}{}^{}F_{1}^{}`$ by

$$B_z(p,q)=_0^z𝑑tt^{p1}(1t)^{q1}=\frac{z^p}{p}{}_{2}{}^{}F_{1}^{}(p,1q;p+1;z)$$
(B.17)
for $`0<\mathrm{}(z)<1`$. What is crucial in (B.16) is that its divergent part when $`k^21`$ is independent of $`n`$:

$$(2n)^{2k^2+1}B_{\mathrm{sin}^2\frac{ϵ}{2n}}(\frac{1}{2}k^2,\frac{1}{2})=\frac{2}{12k^2}ϵ^{12k^2}\left[1+O(ϵ^2)\right].$$
(B.18)
This is easily verified using the expression of $`B_z(p,q)`$ in terms of the hypergeometric function. Therefore, unless the integral over $`\theta ^{}`$ becomes too singular in the limit $`ϵ0`$, the divergent part of $`K_a(n,k^2)`$ cancels in $`K_a(1,k^2)K_a(3/2,k^2)`$, and we find the following finite contribution:

$`K_a(1,k^2)K_a(3/2,k^2)={\displaystyle \frac{1}{2}}(2^{2k^2+1}3^{2k^2+1})B({\displaystyle \frac{1}{2}}k^2,{\displaystyle \frac{1}{2}})`$
$`\times {\displaystyle _{\pi /2+ϵ/2}^{\pi /2ϵ/2}}d\theta ^{}\{1+2(k^21)\mathrm{ln}(\theta ^{})\}+O((k^21)^2)+o(ϵ),`$ (B.19)
where $`o(ϵ)`$ denotes terms which vanish in the limit $`ϵ0`$ as we defined in Subsection 4.3. Since

$$B(\frac{1}{2}k^2,\frac{1}{2})=2\pi (k^21)+O((k^21)^2),$$
(B.20)
we have

$$K_a(1,k^2)K_a(3/2,k^2)=\frac{\pi ^2}{6}(k^21)+O((k^21)^2)+o(ϵ).$$
(B.21)
$`𝑲_𝒃\mathbf{(}𝒏\mathbf{,}𝒌^\mathrm{𝟐}\mathbf{)}`$

Since $`K_b(1,k^2)`$ vanishes because of $`\alpha (1)=0`$, consider $`K_b(3/2,k^2)`$ given by

$`K_b(3/2,k^2)`$ $`=`$ $`{\displaystyle \frac{1}{2}}{\displaystyle _{\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _{3\pi /2}^{3\pi /2+ϵ/2}}𝑑\theta _1\left|3\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{3}}\right|^{2k^2}`$ (B.22)
$`\times \left\{1+2(k^21)\mathrm{ln}(\theta _2)+O((k^21)^2)\right\}`$
$`{\displaystyle \frac{1}{2}}{\displaystyle _{\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _{3\pi /2ϵ/2}^{3\pi /2}}𝑑\theta _1\left|3\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{3}}\right|^{2k^2}`$
$`\times \left\{1+2(k^21)\mathrm{ln}(\theta _2)+O((k^21)^2)\right\}.`$
Since

$$\frac{\pi }{3}\left|\frac{\theta _2\theta _1}{3}\right|<\frac{2\pi }{3},$$
(B.23)
there is no singularity coming from the propagator. The integral over $`\theta _1`$ is of order $`ϵ`$ so that $`K_b(3/2,k^2)`$ vanishes unless a compensating factor emerges from the integral over $`\theta _2`$.

$`𝑲_𝒄\mathbf{(}𝒏\mathbf{,}𝒌^\mathrm{𝟐}\mathbf{)}`$ and $`𝑲_𝒅\mathbf{(}𝒏\mathbf{,}𝒌^\mathrm{𝟐}\mathbf{)}`$

Let us first consider $`K_c(n,k^2)`$ which is defined by

$`K_c(n,k^2)`$ $`=`$ $`{\displaystyle \frac{1}{2}}{\displaystyle _{\pi /2+ϵ/2}^{\pi /23ϵ/2}}𝑑\theta _2{\displaystyle _{\pi /2ϵ/2}^{\pi /2+ϵ/2}}𝑑\theta _1\left|2n\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{2n}}\right|^{2k^2}`$ (B.24)
$`\times \left\{1+2(k^21)\mathrm{ln}(\theta _2)+O((k^21)^2)\right\}.`$
The integral over $`\theta _1`$ can be written in terms of the incomplete beta function by the change of variables (B.15):

$`K_c(n,k^2)={\displaystyle \frac{1}{4}}(2n)^{2k^2+1}{\displaystyle _{\pi /2+ϵ/2}^{\pi /23ϵ/2}}𝑑\theta _2\left\{1+2(k^21)\mathrm{ln}(\theta _2)\right\}`$
$`\times \left[B_{\mathrm{sin}^2\left(\frac{\pi }{4n}+\frac{ϵ}{4n}\frac{\theta _2}{2n}\right)}({\displaystyle \frac{1}{2}}k^2,{\displaystyle \frac{1}{2}})B_{\mathrm{sin}^2\left(\frac{\pi }{4n}\frac{ϵ}{4n}\frac{\theta _2}{2n}\right)}({\displaystyle \frac{1}{2}}k^2,{\displaystyle \frac{1}{2}})\right]`$
$`+O((k^21)^2)`$
$`={\displaystyle \frac{1}{4}}(2n)^{2k^2+1}{\displaystyle _{\pi /2+ϵ/2}^{\pi /23ϵ/2}}𝑑\theta _2\left\{1+2(k^21)\mathrm{ln}(\theta _2)\right\}`$
$`\times B_{\mathrm{sin}^2\left(\frac{\pi }{4n}+\frac{ϵ}{4n}\frac{\theta _2}{2n}\right)}({\displaystyle \frac{1}{2}}k^2,{\displaystyle \frac{1}{2}})`$
$`+{\displaystyle \frac{1}{4}}(2n)^{2k^2+1}{\displaystyle _{\pi /2+3ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2\left\{1+2(k^21)\mathrm{ln}(\theta _2ϵ)\right\}`$
$`\times B_{\mathrm{sin}^2\left(\frac{\pi }{4n}+\frac{ϵ}{4n}\frac{\theta _2}{2n}\right)}({\displaystyle \frac{1}{2}}k^2,{\displaystyle \frac{1}{2}})+O((k^21)^2).`$ (B.25)
The calculation of $`K_d(n,k^2)`$,

$`K_d(n,k^2)`$ $`=`$ $`{\displaystyle \frac{1}{2}}{\displaystyle _{\pi /23ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _{\theta _2+ϵ}^{\pi /2+ϵ/2}}𝑑\theta _1\left|2n\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{2n}}\right|^{2k^2}`$ (B.26)
$`\times \left\{1+2(k^21)\mathrm{ln}(\theta _2)+O((k^21)^2)\right\},`$
is almost the same as that of $`K_c(n,k^2)`$. The result is

$`K_d(n,k^2)={\displaystyle \frac{1}{4}}(2n)^{2k^2+1}{\displaystyle _{\pi /23ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2\left\{1+2(k^21)\mathrm{ln}(\theta _2)\right\}`$
$`\times \left[B_{\mathrm{sin}^2\left(\frac{\pi }{4n}+\frac{ϵ}{4n}\frac{\theta _2}{2n}\right)}({\displaystyle \frac{1}{2}}k^2,{\displaystyle \frac{1}{2}})B_{\mathrm{sin}^2\frac{ϵ}{2n}}({\displaystyle \frac{1}{2}}k^2,{\displaystyle \frac{1}{2}})\right]+O((k^21)^2)`$
$`={\displaystyle \frac{1}{4}}(2n)^{2k^2+1}{\displaystyle _{\pi /23ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2\left\{1+2(k^21)\mathrm{ln}(\theta _2)\right\}B_{\mathrm{sin}^2\left(\frac{\pi }{4n}+\frac{ϵ}{4n}\frac{\theta _2}{2n}\right)}({\displaystyle \frac{1}{2}}k^2,{\displaystyle \frac{1}{2}})`$
$`+{\displaystyle \frac{1}{4}}(2n)^{2k^2+1}B_{\mathrm{sin}^2\frac{ϵ}{2n}}({\displaystyle \frac{1}{2}}k^2,{\displaystyle \frac{1}{2}}){\displaystyle _{\pi /23ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2\left\{1+2(k^21)\mathrm{ln}(\theta _2)\right\}`$
$`+O((k^21)^2).`$ (B.27)
The sum of $`K_c(n,k^2)`$ and $`K_d(n,k^2)`$ is given by

$`K_c(n,k^2)+K_d(n,k^2)`$
$`={\displaystyle \frac{1}{4}}(2n)^{2k^2+1}{\displaystyle _{\pi /23ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2\left\{1+2(k^21)\mathrm{ln}(\theta _2)\right\}`$
$`\times B_{\mathrm{sin}^2\left(\frac{\theta _2}{2n}+\frac{\pi }{4n}+\frac{ϵ}{4n}\right)}({\displaystyle \frac{1}{2}}k^2,{\displaystyle \frac{1}{2}})`$
$`{\displaystyle \frac{1}{4}}(2n)^{2k^2+1}{\displaystyle _{\pi /2+ϵ/2}^{\pi /23ϵ/2}}𝑑\theta _2\left\{2(k^21)\mathrm{ln}{\displaystyle \frac{(\theta _2)}{(\theta _2ϵ)}}\right\}`$
$`\times B_{\mathrm{sin}^2\left(\frac{\theta _2}{2n}+\frac{\pi }{4n}+\frac{ϵ}{4n}\right)}({\displaystyle \frac{1}{2}}k^2,{\displaystyle \frac{1}{2}})`$
$`+{\displaystyle \frac{1}{4}}(2n)^{2k^2+1}B_{\mathrm{sin}^2\frac{ϵ}{2n}}({\displaystyle \frac{1}{2}}k^2,{\displaystyle \frac{1}{2}})`$
$`\times {\displaystyle _{\pi /23ϵ/2}^{\pi /2ϵ/2}}d\theta _2\{1+2(k^21)\mathrm{ln}(\theta _2)\}+O((k^21)^2),`$ (B.28)
where we redefined $`\theta _2`$ as $`\theta _2`$ in the first two terms on the right-hand side for later convenience.

$`𝑲_𝒆\mathbf{(}𝒏\mathbf{,}𝒌^\mathrm{𝟐}\mathbf{)}`$ and $`𝑲_𝒇\mathbf{(}𝒏\mathbf{,}𝒌^\mathrm{𝟐}\mathbf{)}`$

The calculations of $`K_e(n,k^2)`$ and $`K_f(n,k^2)`$ defined by

$`K_e(n,k^2)`$ $`=`$ $`{\displaystyle \frac{1}{2}}{\displaystyle _{\pi /2+3ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _{\pi /2ϵ/2}^{\pi /2+ϵ/2}}𝑑\theta _1\left|2n\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{2n}}\right|^{2k^2}`$ (B.29)
$`\times \left\{1+2(k^21)\mathrm{ln}(\theta _2)+O((k^21)^2)\right\},`$
and

$`K_f(n,k^2)`$ $`=`$ $`{\displaystyle \frac{1}{2}}{\displaystyle _{\pi /2+ϵ/2}^{\pi /2+3ϵ/2}}𝑑\theta _2{\displaystyle _{\pi /2ϵ/2}^{\theta _2ϵ}}𝑑\theta _1\left|2n\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{2n}}\right|^{2k^2}`$ (B.30)
$`\times \left\{1+2(k^21)\mathrm{ln}(\theta _2)+O((k^21)^2)\right\},`$
respectively, are completely parallel to those of $`K_c(n,k^2)`$ and $`K_d(n,k^2)`$. The sum of $`K_e(n,k^2)`$ and $`K_f(n,k^2)`$ is given by

$`K_e(n,k^2)+K_f(n,k^2)`$
$`={\displaystyle \frac{1}{4}}(2n)^{2k^2+1}{\displaystyle _{\pi /23ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2\left\{1+2(k^21)\mathrm{ln}(\theta _2)\right\}`$
$`\times B_{\mathrm{sin}^2\left(\frac{\theta _2}{2n}+\frac{\pi }{4n}+\frac{ϵ}{4n}\right)}({\displaystyle \frac{1}{2}}k^2,{\displaystyle \frac{1}{2}})`$
$`{\displaystyle \frac{1}{4}}(2n)^{2k^2+1}{\displaystyle _{\pi /2+ϵ/2}^{\pi /23ϵ/2}}𝑑\theta _2\left\{2(k^21)\mathrm{ln}{\displaystyle \frac{(\theta _2)}{(\theta _2+ϵ)}}\right\}`$
$`\times B_{\mathrm{sin}^2\left(\frac{\theta _2}{2n}+\frac{\pi }{4n}+\frac{ϵ}{4n}\right)}({\displaystyle \frac{1}{2}}k^2,{\displaystyle \frac{1}{2}})`$
$`+{\displaystyle \frac{1}{4}}(2n)^{2k^2+1}B_{\mathrm{sin}^2\frac{ϵ}{2n}}({\displaystyle \frac{1}{2}}k^2,{\displaystyle \frac{1}{2}})`$
$`\times {\displaystyle _{\pi /2+ϵ/2}^{\pi /2+3ϵ/2}}d\theta _2\{1+2(k^21)\mathrm{ln}(\theta _2)\}+O((k^21)^2).`$ (B.31)
Let us summarize the results. If $`\mathrm{ln}(\theta )`$ is not too singular in the limit $`ϵ0`$, $`K_a(1,k^2)K_a(3/2,k^2)`$ is given by (B.21) and $`K_b(n,k^2)`$ vanishes. The remaining four terms are combined to give

$`K_c(n,k^2)+K_d(n,k^2)+K_e(n,k^2)+K_f(n,k^2)`$
$`={\displaystyle \frac{1}{2}}(2n)^{2k^2+1}{\displaystyle _{\pi /23ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2B_{\mathrm{sin}^2\left(\frac{\theta _2}{2n}+\frac{\pi }{4n}+\frac{ϵ}{4n}\right)}({\displaystyle \frac{1}{2}}k^2,{\displaystyle \frac{1}{2}})`$
$`\times \left\{1+(k^21)\mathrm{ln}\left[(\theta _2)(\theta _2)\right]\right\}`$
$`{\displaystyle \frac{1}{2}}(2n)^{2k^2+1}{\displaystyle _{\pi /2+ϵ/2}^{\pi /23ϵ/2}}𝑑\theta _2B_{\mathrm{sin}^2\left(\frac{\theta _2}{2n}+\frac{\pi }{4n}+\frac{ϵ}{4n}\right)}({\displaystyle \frac{1}{2}}k^2,{\displaystyle \frac{1}{2}})`$
$`\times (k^21)\mathrm{ln}\left[{\displaystyle \frac{(\theta _2)}{(\theta _2+ϵ)}}{\displaystyle \frac{(\theta _2)}{(\theta _2ϵ)}}\right]`$
$`+{\displaystyle \frac{1}{4}}(2n)^{2k^2+1}B_{\mathrm{sin}^2\frac{ϵ}{2n}}({\displaystyle \frac{1}{2}}k^2,{\displaystyle \frac{1}{2}})`$
$`\times {\displaystyle _{\pi /2+ϵ/2}^{\pi /2+3ϵ/2}}d\theta _2\{1+2(k^21)\mathrm{ln}(\theta _2)\}`$
$`+{\displaystyle \frac{1}{4}}(2n)^{2k^2+1}B_{\mathrm{sin}^2\frac{ϵ}{2n}}({\displaystyle \frac{1}{2}}k^2,{\displaystyle \frac{1}{2}})`$
$`\times {\displaystyle _{\pi /23ϵ/2}^{\pi /2ϵ/2}}d\theta _2\{1+2(k^21)\mathrm{ln}(\theta _2)\}+O((k^21)^2).`$ (B.32)
The incomplete beta function in the first term on the right-hand side does not become singular as $`\theta _2\pi /2`$ so that this term vanishes in the limit $`ϵ0`$ unless $`\mathrm{ln}(\theta _2)`$ becomes too singular as $`\theta _2\pm \pi /2`$. If $`\mathrm{ln}(\theta _2)`$ becomes too singular as $`\theta _2\pm \pi /2`$, however, point-splitting regularization we are using will not be appropriate in the first place.

The second term on the right-hand side of (B.32) also vanishes in the limit $`ϵ0`$ because

$$\mathrm{ln}\left[\frac{(\theta _2)}{(\theta _2+ϵ)}\frac{(\theta _2)}{(\theta _2ϵ)}\right]=\left\{\frac{^{}(\theta _2)}{(\theta _2)}\frac{^{}(\theta _2)}{(\theta _2)}\right\}ϵ+O(ϵ^2).$$
(B.33)
The incomplete beta function becomes singular as $`\theta _2\pi /2`$, but it is not sufficient to compensate the factor (B.33) unless $`\mathrm{ln}(\theta _2)`$ becomes too singular as $`\theta _2\pm \pi /2`$.

As for the third and fourth terms on the right-hand side of (B.32), their leading terms in the limit $`ϵ0`$ are independent of $`n`$ because of (B.18) so that they do not contribute to $`K(k^2)/2`$. It would be more difficult for the integrals over $`\theta _2`$ to provide compensating singular contributions than the case of $`K_a(n,k^2)`$.

Therefore, only $`K_a(1,k^2)K_a(3/2,k^2)`$ contributes to $`K(k^2)/2`$ in the limit $`ϵ0`$, and $`K(k^2)`$ is given by

$`K(k^2)`$ $`=`$ $`2K_a(1,k^2)2K_a(3/2,k^2)+o(ϵ)`$ (B.34)
$`=`$ $`{\displaystyle \frac{\pi ^2}{3}}(k^21)+O((k^21)^2)+o(ϵ),`$
when $`\mathrm{ln}(\theta )`$ is not too singular.

Since the $`ϵ`$-dependence in $`(\theta )`$ depends on the choice of the Riemann surface $`\mathrm{\Sigma }_n`$ where the off-shell tachyon is defined, it would be difficult to evaluate possible singularity of $`\mathrm{ln}(\theta )`$ in general. We can easily verify, however, that the $`\mathrm{ln}ϵ`$ singularity in $`\mathrm{ln}(\theta )`$ coming from the conformal transformation $`z^{1/(n1)}`$,

$$\mathrm{ln}(\theta )=\mathrm{ln}ϵ+\mathrm{ln}\frac{_0(ϵ_0\theta /ϵ)}{ϵ_0},$$
(B.35)
which follows from (4.15), does not change the result.

## Appendix C. Another derivation of (4.28)

We found in Subsection 4.1 that the kinetic terms of the open string fields $`\{\phi _i\}`$ vanish when the fields satisfy the physical state conditions by explicit calculations. In this appendix, we show this using the conformal property of physical vertex operators.

For any pair of $`𝒪`$ and $`𝒪^{}`$ which are primary with conformal dimension one, let us define $`\stackrel{~}{K}`$ by

$$\frac{1}{2}\stackrel{~}{K}=\frac{1}{2}\stackrel{~}{K}_{11}+\stackrel{~}{K}_{20}\stackrel{~}{K}_{110}\stackrel{~}{K}_{200},$$
(C.1)
where

$`{\displaystyle \frac{1}{2}}\stackrel{~}{K}_{11}`$ $`=`$ $`{\displaystyle \frac{1}{2}}{\displaystyle _{\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _\pi ^{\pi /2ϵ/2}}𝑑\theta _1𝒪(e^{i\theta _1})𝒪^{}(e^{i\theta _2})_{\mathrm{disk}}`$ (C.2)
$`+{\displaystyle \frac{1}{2}}{\displaystyle _{\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _{\pi /2+ϵ/2}^\pi }𝑑\theta _1𝒪(e^{i\theta _1})𝒪^{}(e^{i\theta _2})_{\mathrm{disk}},`$
$`\stackrel{~}{K}_{20}`$ $`=`$ $`{\displaystyle \frac{1}{2}}{\displaystyle _{\pi /2+3ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _{\pi /2+ϵ/2}^{\theta _2ϵ}}𝑑\theta _1𝒪(e^{i\theta _1})𝒪^{}(e^{i\theta _2})_{\mathrm{disk}}`$ (C.3)
$`+{\displaystyle \frac{1}{2}}{\displaystyle _{\pi /2+ϵ/2}^{\pi /23ϵ/2}}𝑑\theta _2{\displaystyle _{\theta _2+ϵ}^{\pi /2ϵ/2}}𝑑\theta _1𝒪(e^{i\theta _1})𝒪^{}(e^{i\theta _2})_{\mathrm{disk}},`$
$`\stackrel{~}{K}_{110}`$ $`=`$ $`{\displaystyle \frac{1}{2}}{\displaystyle _{\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _{3\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _1𝒪(e^{i\theta _1})𝒪^{}(e^{i\theta _2})_{3\pi }`$ (C.4)
$`+{\displaystyle \frac{1}{2}}{\displaystyle _{\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _{\pi /2+ϵ/2}^{3\pi /2ϵ/2}}𝑑\theta _1𝒪(e^{i\theta _1})𝒪^{}(e^{i\theta _2})_{3\pi },`$
$`\stackrel{~}{K}_{200}`$ $`=`$ $`{\displaystyle \frac{1}{2}}{\displaystyle _{\pi /2+3ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _{\pi /2+ϵ/2}^{\theta _2ϵ}}𝑑\theta _1𝒪(e^{i\theta _1})𝒪^{}(e^{i\theta _2})_{3\pi }`$ (C.5)
$`+{\displaystyle \frac{1}{2}}{\displaystyle _{\pi /2+ϵ/2}^{\pi /23ϵ/2}}𝑑\theta _2{\displaystyle _{\theta _2+ϵ}^{\pi /2ϵ/2}}𝑑\theta _1𝒪(e^{i\theta _1})𝒪^{}(e^{i\theta _2})_{3\pi }.`$
These definitions are obvious generalizations of $`K(1)`$, $`K_{11}(1)`$, $`K_{20}(1)`$, $`K_{110}(1)`$, and $`K_{200}(1)`$ we studied in Subsection 4.1 and Appendix B. Using (B.10) and the argument in Appendix B showing that $`K_b(n,k^2)`$, $`K_c(n,k^2)`$, $`K_d(n,k^2)`$, $`K_e(n,k^2)`$, and $`K_f(n,k^2)`$ vanish in the limit $`ϵ0`$, we can show that $`\stackrel{~}{K}_{11}/2+\stackrel{~}{K}_{20}`$ can be written as

$`{\displaystyle \frac{1}{2}}\stackrel{~}{K}_{11}+\stackrel{~}{K}_{20}`$ $`=`$ $`{\displaystyle \frac{1}{2}}{\displaystyle _{\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _\pi ^{\theta _2ϵ}}𝑑\theta _1𝒪(e^{i\theta _1})𝒪^{}(e^{i\theta _2})_{\mathrm{disk}}`$ (C.6)
$`+{\displaystyle \frac{1}{2}}{\displaystyle _{\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _{\theta _2+ϵ}^\pi }𝑑\theta _1𝒪(e^{i\theta _1})𝒪^{}(e^{i\theta _2})_{\mathrm{disk}}+o(ϵ)`$
$`=`$ $`{\displaystyle \frac{1}{2}}{\displaystyle _{\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _{\theta _2+ϵ}^{\theta _2+2\pi ϵ}}𝑑\theta _1𝒪(e^{i\theta _1})𝒪^{}(e^{i\theta _2})_{\mathrm{disk}}+o(ϵ)`$
$`=`$ $`{\displaystyle \frac{\pi ϵ}{2}}{\displaystyle _ϵ^{2\pi ϵ}}𝑑\theta 𝒪(e^{i\theta })𝒪^{}(1)_{\mathrm{disk}}+o(ϵ),`$
where we used

$$𝒪(e^{i\theta _1})𝒪^{}(e^{i\theta _2})_{\mathrm{disk}}=𝒪(e^{i(\theta _1\theta _2)})𝒪^{}(1)_{\mathrm{disk}}.$$
(C.7)
Similarly for $`\stackrel{~}{K}_{110}+\stackrel{~}{K}_{200}`$, we have

$`\stackrel{~}{K}_{110}+\stackrel{~}{K}_{200}`$ $`=`$ $`{\displaystyle \frac{1}{2}}{\displaystyle _{\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _{3\pi /2}^{\theta _2ϵ}}𝑑\theta _1𝒪(e^{i\theta _1})𝒪^{}(e^{i\theta _2})_{3\pi }`$ (C.8)
$`+{\displaystyle \frac{1}{2}}{\displaystyle _{\pi /2+ϵ/2}^{\pi /2ϵ/2}}𝑑\theta _2{\displaystyle _{\theta _2+ϵ}^{3\pi /2}}𝑑\theta _1𝒪(e^{i\theta _1})𝒪^{}(e^{i\theta _2})_{3\pi }+o(ϵ).`$
Let us make the conformal transformation $`z^{2/3}`$ for $`\stackrel{~}{K}_{110}+\stackrel{~}{K}_{200}`$. Since $`𝒪`$ and $`𝒪^{}`$ are conformal primary with dimension one, $`\stackrel{~}{K}_{110}+\stackrel{~}{K}_{200}`$ is transformed as

$`\stackrel{~}{K}_{110}+\stackrel{~}{K}_{200}`$ $`=`$ $`{\displaystyle \frac{1}{2}}{\displaystyle _{\pi /3+ϵ/3}^{\pi /3ϵ/3}}𝑑\theta _2{\displaystyle _\pi ^{\theta _22ϵ/3}}𝑑\theta _1𝒪(e^{i\theta _1})𝒪^{}(e^{i\theta _2})_{\mathrm{disk}}`$ (C.9)
$`+{\displaystyle \frac{1}{2}}{\displaystyle _{\pi /3+ϵ/3}^{\pi /3ϵ/3}}𝑑\theta _2{\displaystyle _{\theta _2+2ϵ/3}^\pi }𝑑\theta _1𝒪(e^{i\theta _1})𝒪^{}(e^{i\theta _2})_{\mathrm{disk}}+o(ϵ)`$
$`=`$ $`{\displaystyle \frac{1}{2}}{\displaystyle _{\pi /3+ϵ/3}^{\pi /3ϵ/3}}𝑑\theta _2{\displaystyle _{\theta _2+2ϵ/3}^{\theta _2+2\pi 2ϵ/3}}𝑑\theta _1𝒪(e^{i\theta _1})𝒪^{}(e^{i\theta _2})_{\mathrm{disk}}+o(ϵ)`$
$`=`$ $`{\displaystyle \frac{\pi ϵ}{3}}{\displaystyle _{2ϵ/3}^{2\pi 2ϵ/3}}𝑑\theta 𝒪(e^{i\theta })𝒪^{}(1)_{\mathrm{disk}}+o(ϵ).`$
Let us make a further conformal transformation to (C.9) such that the integral is from $`ϵ`$ to $`2\pi ϵ`$. Consider a class of conformal transformations parametrized by a real, positive constant $`a`$,

$$f(z)=\frac{(1+a)z+1a}{(1a)z+1+a},\frac{df(z)}{dz}|_{z=1}=a,$$
(C.10)
which maps the unit disk to itself:

$$|f(e^{i\theta })|=1,|f(0)|<1.$$
(C.11)
The constant $`a`$ is determined as

$$a=\frac{\mathrm{tan}\frac{ϵ}{2}}{\mathrm{tan}\frac{ϵ}{3}}$$
(C.12)
by the condition that

$$f(e^{\pm 2iϵ/3})=e^{\pm iϵ}.$$
(C.13)
While the integral of $`𝒪(e^{i\theta })`$ over $`\theta `$ remains invariant, the operator $`𝒪^{}(1)`$ is transformed as

$$𝒪^{}(1)\frac{\mathrm{tan}\frac{ϵ}{2}}{\mathrm{tan}\frac{ϵ}{3}}𝒪^{}(1).$$
(C.14)
By this conformal transformation, the last line of (C.9) is transformed as

$$\stackrel{~}{K}_{110}+\stackrel{~}{K}_{200}=\frac{\pi ϵ}{3}\frac{\mathrm{tan}\frac{ϵ}{2}}{\mathrm{tan}\frac{ϵ}{3}}_ϵ^{2\pi ϵ}𝑑\theta 𝒪(e^{i\theta })𝒪^{}(1)_{\mathrm{disk}}+o(ϵ).$$
(C.15)
Therefore, $`\stackrel{~}{K}/2`$ is given by

$$\frac{1}{2}\stackrel{~}{K}=\frac{\pi ϵ}{2}\left(1\frac{2}{3}\frac{\mathrm{tan}\frac{ϵ}{2}}{\mathrm{tan}\frac{ϵ}{3}}\right)_ϵ^{2\pi ϵ}𝑑\theta 𝒪(e^{i\theta })𝒪^{}(1)_{\mathrm{disk}}+o(ϵ).$$
(C.16)
Since $`𝒪`$ and $`𝒪^{}`$ are primary with conformal dimension one, the singularity of the propagator is

$$𝒪(e^{i\theta _1})𝒪^{}(e^{i\theta _2})_{\mathrm{disk}}\frac{1}{(\theta _1\theta _2)^2}$$
(C.17)
when $`\theta _1\theta _2`$ so that

$$_ϵ^{2\pi ϵ}𝑑\theta 𝒪(e^{i\theta })𝒪^{}(1)_{\mathrm{disk}}=O\left(\frac{1}{ϵ}\right).$$
(C.18)
On the other hand, the factor in front of the integral scales in the limit $`ϵ0`$ as

$$1\frac{2}{3}\frac{\mathrm{tan}\frac{ϵ}{2}}{\mathrm{tan}\frac{ϵ}{3}}=O(ϵ^2),$$
(C.19)
therefore

$$\frac{1}{2}\stackrel{~}{K}=o(ϵ).$$
(C.20)
This explains that the cancellation of the finite terms between (4.20) and (4.27) in Subsection 4.1 is not accidental but a consequence of the conformal property of the physical vertex operators.

## Appendix D. $`V_{30}+V_{21}V_{300}V_{210}V_{201}`$

We calculate $`V_{30}`$, $`V_{300}`$, $`V_{21}`$, $`V_{210}`$, and $`V_{201}`$ defined in Subsection 4.3 to show that $`V_{30}+V_{21}V_{300}V_{210}V_{201}`$ vanishes in the limit $`ϵ0`$.

Definitions

We regularize the state $`|\mathit{3}`$ by regularizing the integrals of the inserted vertex operators in the cone representation as follows:

$`{\displaystyle _{(n1)\pi /2+5ϵ_0/2}^{(n1)\pi /2ϵ_0/2}}𝑑\theta _3{\displaystyle _{(n1)\pi /2+3ϵ_0/2}^{\theta _3ϵ_0}}𝑑\theta _2{\displaystyle _{(n1)\pi /2+ϵ_0/2}^{\theta _2ϵ_0}}𝑑\theta _1`$
$`\times _0(\theta _1)^{k^21}e^{ikX(e^{i\theta _1})}_0(\theta _2)^{k^21}e^{ikX(e^{i\theta _2})}_0(\theta _3)^{k^21}e^{ikX(e^{i\theta _3})}.`$ (D.1)
The propagators in $`V_{30}`$ and $`V_{300}`$ are given in a similar way as in the case of $`V_{111}`$ in (4.46). It is convenient to define $`V_{30/300}(n)`$ by

$`V_{30/300}(n){\displaystyle _{5ϵ/2}^{\pi ϵ/2}}𝑑\theta _3{\displaystyle _{3ϵ/2}^{\theta _3ϵ}}𝑑\theta _2{\displaystyle _{ϵ/2}^{\theta _2ϵ}}𝑑\theta _1`$
$`\times \left(2n\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{2n}}\right)^1\left(2n\mathrm{sin}{\displaystyle \frac{\theta _3\theta _1}{2n}}\right)^1\left(2n\mathrm{sin}{\displaystyle \frac{\theta _3\theta _2}{2n}}\right)^1.`$ (D.2)
This is related to $`V_{30}`$ and $`V_{300}`$ as

$$V_{30}=V_{30/300}(1),V_{300}=V_{30/300}(3/2).$$
(D.3)
As for $`V_{21}`$, $`V_{210}`$, and $`V_{201}`$, we define $`V_{21/210+201}(n)`$ by

$`V_{21/210+201}(n){\displaystyle _{C_n}}𝑑\theta _3{\displaystyle _{\pi +3ϵ/2}^{ϵ/2}}𝑑\theta _2{\displaystyle _{\pi +ϵ/2}^{\theta _2ϵ}}𝑑\theta _1`$
$`\times \left(2n\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{2n}}\right)^1\left(2n\mathrm{sin}{\displaystyle \frac{\theta _3\theta _1}{2n}}\right)^1\left(2n\mathrm{sin}{\displaystyle \frac{\theta _3\theta _2}{2n}}\right)^1,`$ (D.4)
where

$$_{C_1}𝑑\theta _3=_{ϵ/2}^{\pi ϵ/2},_{C_{3/2}}𝑑\theta _3=_{ϵ/2}^{\pi ϵ/2}+_{\pi +ϵ/2}^{2\pi ϵ/2}.$$
(D.5)
This is related to $`V_{21}`$ and $`V_{210}+V_{201}`$ as

$$V_{21}=V_{21/210+201}(1),V_{210}+V_{201}=V_{21/210+201}(3/2).$$
(D.6)
The contour $`C_n`$ can also be written as

$$_{C_n}𝑑\theta _3=_{ϵ/2}^{(2n1)\pi ϵ/2}𝑑\theta _3+_{\stackrel{~}{C}_n}𝑑\theta _3,$$
(D.7)
where

$$_{\stackrel{~}{C}_1}𝑑\theta _3=0,_{\stackrel{~}{C}_{3/2}}𝑑\theta _3=_{\pi +ϵ/2}^{\pi ϵ/2}𝑑\theta _3.$$
(D.8)
As we will see, integrals along $`\stackrel{~}{C}_n`$ are unimportant in most cases.

Using $`V_{30/300}(n)`$ and $`V_{21/210+201}(n)`$, $`V_{30}+V_{21}V_{300}V_{210}V_{201}`$ is expressed as

$`V_{30}+V_{21}V_{300}V_{210}V_{201}`$ (D.9)
$`=`$ $`V_{30/300}(1)+V_{21/210+201}(1)V_{30/300}(3/2)V_{21/210+201}(3/2).`$
Let us calculate $`V_{30/300}(n)`$ and $`V_{21/210+201}(n)`$.

$`𝑽_{\mathrm{𝟑𝟎}\mathbf{/}\mathrm{𝟑𝟎𝟎}}\mathbf{(}𝒏\mathbf{)}`$

The calculations of the integrals over $`\theta _1`$ and $`\theta _2`$ are tedious but straightforward:

$`V_{30/300}(n)`$
$`={\displaystyle \frac{1}{(2n)^2}}{\displaystyle _{5ϵ/2}^{\pi ϵ/2}}𝑑\theta _3{\displaystyle _{3ϵ/2}^{\theta _3ϵ}}𝑑\theta _2\left(\mathrm{sin}{\displaystyle \frac{\theta _3\theta _2}{2n}}\right)^2\mathrm{ln}\left({\displaystyle \frac{\mathrm{sin}\frac{\theta _3\theta _2+ϵ}{2n}}{\mathrm{sin}\frac{ϵ}{2n}}}{\displaystyle \frac{\mathrm{sin}\frac{\theta _2ϵ/2}{2n}}{\mathrm{sin}\frac{\theta _3ϵ/2}{2n}}}\right)`$
$`={\displaystyle \frac{1}{n}}{\displaystyle _{5ϵ/2}^{\pi ϵ/2}}d\theta _3\{{\displaystyle \frac{\theta _35ϵ/2}{2n}}+\mathrm{cot}{\displaystyle \frac{\theta _3ϵ/2}{2n}}\mathrm{ln}{\displaystyle \frac{\mathrm{sin}\frac{ϵ}{2n}}{\mathrm{sin}\frac{\theta _33ϵ/2}{2n}}}`$
$`+\mathrm{cot}{\displaystyle \frac{ϵ}{2n}}\mathrm{ln}\left({\displaystyle \frac{\mathrm{sin}\frac{ϵ}{n}}{\mathrm{sin}\frac{ϵ}{2n}}}{\displaystyle \frac{\mathrm{sin}\frac{\theta _33ϵ/2}{2n}}{\mathrm{sin}\frac{\theta _3ϵ/2}{2n}}}\right)\}.`$ (D.10)
We divide this expression into the following six terms:

$`V_{30/300}(n)={\displaystyle \frac{1}{n}}{\displaystyle _{5ϵ/2}^{\pi ϵ/2}}𝑑\theta _3{\displaystyle \frac{\theta _35ϵ/2}{2n}}+{\displaystyle \frac{1}{n}}{\displaystyle _{5ϵ/2}^{\pi ϵ/2}}𝑑\theta _3\mathrm{cot}{\displaystyle \frac{\theta _3ϵ/2}{2n}}\mathrm{ln}\mathrm{sin}{\displaystyle \frac{ϵ}{2n}}`$
$`{\displaystyle \frac{1}{n}}{\displaystyle _{5ϵ/2}^{\pi ϵ/2}}𝑑\theta _3\mathrm{cot}{\displaystyle \frac{\theta _3ϵ/2}{2n}}\mathrm{ln}{\displaystyle \frac{\mathrm{sin}\frac{\theta _33ϵ/2}{2n}}{\mathrm{sin}\frac{\theta _3ϵ/2}{2n}}}`$
$`{\displaystyle \frac{1}{n}}{\displaystyle _{5ϵ/2}^{\pi ϵ/2}}𝑑\theta _3\mathrm{cot}{\displaystyle \frac{\theta _3ϵ/2}{2n}}\mathrm{ln}\mathrm{sin}{\displaystyle \frac{\theta _3ϵ/2}{2n}}`$
$`+{\displaystyle \frac{1}{n}}{\displaystyle _{5ϵ/2}^{\pi ϵ/2}}𝑑\theta _3\mathrm{cot}{\displaystyle \frac{ϵ}{2n}}\mathrm{ln}{\displaystyle \frac{\mathrm{sin}\frac{ϵ}{n}}{\mathrm{sin}\frac{ϵ}{2n}}}+{\displaystyle \frac{1}{n}}{\displaystyle _{5ϵ/2}^{\pi ϵ/2}}𝑑\theta _3\mathrm{cot}{\displaystyle \frac{ϵ}{2n}}\mathrm{ln}{\displaystyle \frac{\mathrm{sin}\frac{\theta _33ϵ/2}{2n}}{\mathrm{sin}\frac{\theta _3ϵ/2}{2n}}}.`$ (D.11)
The first, second, fourth, and fifth integrals are easily carried out to give

$`{\displaystyle \frac{1}{n}}{\displaystyle _{5ϵ/2}^{\pi ϵ/2}}𝑑\theta _3{\displaystyle \frac{\theta _35ϵ/2}{2n}}={\displaystyle \frac{\pi ^2}{(2n)^2}}+o(ϵ),`$
$`{\displaystyle \frac{1}{n}}{\displaystyle _{5ϵ/2}^{\pi ϵ/2}}𝑑\theta _3\mathrm{cot}{\displaystyle \frac{\theta _3ϵ/2}{2n}}\mathrm{ln}\mathrm{sin}{\displaystyle \frac{ϵ}{2n}}=2\mathrm{ln}\mathrm{sin}{\displaystyle \frac{ϵ}{2n}}\mathrm{ln}{\displaystyle \frac{\mathrm{sin}\frac{\pi }{2n}}{\mathrm{sin}\frac{ϵ}{n}}}+o(ϵ),`$
$`{\displaystyle \frac{1}{n}}{\displaystyle _{5ϵ/2}^{\pi ϵ/2}}𝑑\theta _3\mathrm{cot}{\displaystyle \frac{\theta _3ϵ/2}{2n}}\mathrm{ln}\mathrm{sin}{\displaystyle \frac{\theta _3ϵ/2}{2n}}=\left(\mathrm{ln}\mathrm{sin}{\displaystyle \frac{ϵ}{n}}\right)^2\left(\mathrm{ln}\mathrm{sin}{\displaystyle \frac{\pi }{2n}}\right)^2+o(ϵ),`$
$`{\displaystyle \frac{1}{n}}{\displaystyle _{5ϵ/2}^{\pi ϵ/2}}𝑑\theta _3\mathrm{cot}{\displaystyle \frac{ϵ}{2n}}\mathrm{ln}{\displaystyle \frac{\mathrm{sin}\frac{ϵ}{n}}{\mathrm{sin}\frac{ϵ}{2n}}}={\displaystyle \frac{2\pi \mathrm{ln}2}{ϵ}}6\mathrm{ln}2+o(ϵ).`$ (D.12)
The third integral in (D.11) is finite and independent of $`n`$ in the limit $`ϵ0`$. This can be seen by the following change of variables:

$`{\displaystyle \frac{1}{n}}{\displaystyle _{5ϵ/2}^{\pi ϵ/2}}𝑑\theta _3\mathrm{cot}{\displaystyle \frac{\theta _3ϵ/2}{2n}}\mathrm{ln}{\displaystyle \frac{\mathrm{sin}\frac{\theta _33ϵ/2}{2n}}{\mathrm{sin}\frac{\theta _3ϵ/2}{2n}}}=2{\displaystyle _{\frac{2nϵ}{\pi ϵ}}^n}𝑑x{\displaystyle \frac{ϵ}{x^2}}\mathrm{cot}{\displaystyle \frac{ϵ}{x}}\mathrm{ln}{\displaystyle \frac{\mathrm{sin}\left(\frac{ϵ}{x}\frac{ϵ}{2n}\right)}{\mathrm{sin}\frac{ϵ}{x}}}.`$
We can take the limit $`ϵ0`$ to find

$`2{\displaystyle _0^n}{\displaystyle \frac{dx}{x}}\mathrm{ln}{\displaystyle \frac{\frac{1}{x}\frac{1}{2n}}{\frac{1}{x}}}+o(ϵ)=2{\displaystyle _0^1}{\displaystyle \frac{dx}{x}}\mathrm{ln}\left(1{\displaystyle \frac{x}{2}}\right)+o(ϵ)`$ (D.14)
$`=`$ $`2\mathrm{Li}_2\left({\displaystyle \frac{1}{2}}\right)+o(ϵ)={\displaystyle \frac{\pi ^2}{6}}(\mathrm{ln}2)^2+o(ϵ),`$
where the polylogarithm $`\mathrm{Li}_2(z)`$ is defined by

$$\mathrm{Li}_2(z)=_0^z𝑑t\frac{\mathrm{ln}(1t)}{t}.$$
(D.15)
The finite value in (D.14) is not important because it is independent of $`n`$. Finally, we rewrite the last integral in (D.11) as follows:

$`{\displaystyle \frac{1}{n}}{\displaystyle _{5ϵ/2}^{\pi ϵ/2}}𝑑\theta _3\mathrm{cot}{\displaystyle \frac{ϵ}{2n}}\mathrm{ln}{\displaystyle \frac{\mathrm{sin}\frac{\theta _33ϵ/2}{2n}}{\mathrm{sin}\frac{\theta _3ϵ/2}{2n}}}`$
$`={\displaystyle \frac{1}{n}}\mathrm{cot}{\displaystyle \frac{ϵ}{2n}}\left\{{\displaystyle _ϵ^{2ϵ}}𝑑\theta \mathrm{ln}\mathrm{sin}{\displaystyle \frac{\theta }{2n}}{\displaystyle _{\pi 2ϵ}^{\pi ϵ}}𝑑\theta \mathrm{ln}\mathrm{sin}{\displaystyle \frac{\theta }{2n}}\right\}`$
$`={\displaystyle \frac{1}{n}}\mathrm{cot}{\displaystyle \frac{ϵ}{2n}}{\displaystyle _ϵ^{2ϵ}}𝑑\theta \mathrm{ln}\mathrm{sin}{\displaystyle \frac{\theta }{2n}}2\mathrm{ln}\mathrm{sin}{\displaystyle \frac{\pi }{2n}}+o(ϵ).`$ (D.16)
The final result for $`V_{30/300}(n)`$ is given by

$`V_{30/300}(n)`$ $`=`$ $`{\displaystyle \frac{\pi ^2}{(2n)^2}}+2\mathrm{ln}\mathrm{sin}{\displaystyle \frac{ϵ}{2n}}\mathrm{ln}{\displaystyle \frac{\mathrm{sin}\frac{\pi }{2n}}{\mathrm{sin}\frac{ϵ}{n}}}`$ (D.17)
$`+{\displaystyle \frac{\pi ^2}{6}}(\mathrm{ln}2)^2+\left(\mathrm{ln}\mathrm{sin}{\displaystyle \frac{ϵ}{n}}\right)^2\left(\mathrm{ln}\mathrm{sin}{\displaystyle \frac{\pi }{2n}}\right)^2+{\displaystyle \frac{2\pi \mathrm{ln}2}{ϵ}}6\mathrm{ln}2`$
$`+{\displaystyle \frac{1}{n}}\mathrm{cot}{\displaystyle \frac{ϵ}{2n}}{\displaystyle _ϵ^{2ϵ}}𝑑\theta \mathrm{ln}\mathrm{sin}{\displaystyle \frac{\theta }{2n}}2\mathrm{ln}\mathrm{sin}{\displaystyle \frac{\pi }{2n}}+o(ϵ).`$
$`𝑽_{\mathrm{𝟐𝟏}\mathbf{/}\mathrm{𝟐𝟏𝟎}\mathbf{+}\mathrm{𝟐𝟎𝟏}}\mathbf{(}𝒏\mathbf{)}`$

Let us move on to $`V_{21/210+201}(n)`$. The calculations of the integrals over $`\theta _1`$ and $`\theta _2`$ are again tedious but straightforward:

$`V_{21/210+201}(n)`$
$`={\displaystyle \frac{1}{(2n)^2}}{\displaystyle _{C_n}}𝑑\theta _3{\displaystyle _{\pi +3ϵ/2}^{ϵ/2}}𝑑\theta _2\left(\mathrm{sin}{\displaystyle \frac{\theta _3\theta _2}{2n}}\right)^2\mathrm{ln}\left({\displaystyle \frac{\mathrm{sin}\frac{\theta _3\theta _2+ϵ}{2n}}{\mathrm{sin}\frac{ϵ}{2n}}}{\displaystyle \frac{\mathrm{sin}\frac{\theta _2+\pi ϵ/2}{2n}}{\mathrm{sin}\frac{\theta _3+\pi ϵ/2}{2n}}}\right)`$
$`={\displaystyle \frac{1}{n}}{\displaystyle _{C_n}}d\theta _3\{{\displaystyle \frac{\pi 2ϵ}{2n}}+\mathrm{cot}{\displaystyle \frac{\theta _3+ϵ/2}{2n}}\mathrm{ln}\left({\displaystyle \frac{\mathrm{sin}\frac{\pi ϵ}{2n}}{\mathrm{sin}\frac{ϵ}{2n}}}{\displaystyle \frac{\mathrm{sin}\frac{\theta _3+3ϵ/2}{2n}}{\mathrm{sin}\frac{\theta _3+\pi ϵ/2}{2n}}}\right)`$
$`+\mathrm{cot}{\displaystyle \frac{ϵ}{2n}}\mathrm{ln}{\displaystyle \frac{\mathrm{sin}\frac{\theta _3+3ϵ/2}{2n}}{\mathrm{sin}\frac{\theta _3+ϵ/2}{2n}}}\}.`$ (D.18)
We divide this expression into the following six terms:

$`V_{21/210+201}(n)={\displaystyle \frac{1}{n}}{\displaystyle _{C_n}}𝑑\theta _3{\displaystyle \frac{\pi 2ϵ}{2n}}+{\displaystyle \frac{1}{n}}{\displaystyle _{C_n}}𝑑\theta _3\mathrm{cot}{\displaystyle \frac{\theta _3+ϵ/2}{2n}}\mathrm{ln}{\displaystyle \frac{\mathrm{sin}\frac{\pi ϵ}{2n}}{\mathrm{sin}\frac{ϵ}{2n}}}`$
$`+{\displaystyle \frac{1}{n}}{\displaystyle _{C_n}}𝑑\theta _3\mathrm{cot}{\displaystyle \frac{\theta _3+ϵ/2}{2n}}\mathrm{ln}{\displaystyle \frac{\mathrm{sin}\frac{\theta _3+3ϵ/2}{2n}}{\mathrm{sin}\frac{\theta _3+ϵ/2}{2n}}}+{\displaystyle \frac{1}{n}}{\displaystyle _{C_n}}𝑑\theta _3\mathrm{cot}{\displaystyle \frac{\theta _3+ϵ/2}{2n}}\mathrm{ln}\mathrm{sin}{\displaystyle \frac{\theta _3+ϵ/2}{2n}}`$
$`{\displaystyle \frac{1}{n}}{\displaystyle _{C_n}}𝑑\theta _3\mathrm{cot}{\displaystyle \frac{\theta _3+ϵ/2}{2n}}\mathrm{ln}\mathrm{sin}{\displaystyle \frac{\theta _3+\pi ϵ/2}{2n}}`$
$`+{\displaystyle \frac{1}{n}}{\displaystyle _{C_n}}𝑑\theta _3\mathrm{cot}{\displaystyle \frac{ϵ}{2n}}\mathrm{ln}{\displaystyle \frac{\mathrm{sin}\frac{\theta _3+3ϵ/2}{2n}}{\mathrm{sin}\frac{\theta _3+ϵ/2}{2n}}}.`$ (D.19)
The first, second, and fourth integrals in (D.19) are easily carried out. The contributions from the contour $`\stackrel{~}{C}_n`$ defined by (D.8) to these integrals vanish in the limit $`ϵ0`$ so that we can replace the contour $`C_n`$ by the first term on the right-hand side of (D.7). The three integrals are carried out as follows:

$`{\displaystyle \frac{1}{n}}{\displaystyle _{ϵ/2}^{(2n1)\pi ϵ/2}}𝑑\theta _3{\displaystyle \frac{\pi 2ϵ}{2n}}={\displaystyle \frac{(2n1)\pi ^2}{2n^2}}+o(ϵ),`$
$`{\displaystyle \frac{1}{n}}{\displaystyle _{ϵ/2}^{(2n1)\pi ϵ/2}}𝑑\theta _3\mathrm{cot}{\displaystyle \frac{\theta _3+ϵ/2}{2n}}\mathrm{ln}{\displaystyle \frac{\mathrm{sin}\frac{\pi ϵ}{2n}}{\mathrm{sin}\frac{ϵ}{2n}}}=2\left(\mathrm{ln}{\displaystyle \frac{\mathrm{sin}\frac{\pi }{2n}}{\mathrm{sin}\frac{ϵ}{2n}}}\right)^2+o(ϵ),`$
$`{\displaystyle \frac{1}{n}}{\displaystyle _{ϵ/2}^{(2n1)\pi ϵ/2}}𝑑\theta _3\mathrm{cot}{\displaystyle \frac{\theta _3+ϵ/2}{2n}}\mathrm{ln}\mathrm{sin}{\displaystyle \frac{\theta _3+ϵ/2}{2n}}=\left(\mathrm{ln}\mathrm{sin}{\displaystyle \frac{\pi }{2n}}\right)^2\left(\mathrm{ln}\mathrm{sin}{\displaystyle \frac{ϵ}{2n}}\right)^2.`$
The third integral in (D.19) is finite and independent of $`n`$. We can show this in a similar way as in the case of the third integral in (D.11). The contribution from the contour $`\stackrel{~}{C}_n`$ vanishes in the limit $`ϵ0`$, and the remaining part gives

$`{\displaystyle \frac{1}{n}}{\displaystyle _{ϵ/2}^{(2n1)\pi ϵ/2}}𝑑\theta _3\mathrm{cot}{\displaystyle \frac{\theta _3+ϵ/2}{2n}}\mathrm{ln}{\displaystyle \frac{\mathrm{sin}\frac{\theta _3+3ϵ/2}{2n}}{\mathrm{sin}\frac{\theta _3+ϵ/2}{2n}}}`$
$`=2{\displaystyle _{\frac{2nϵ}{(2n1)\pi }}^{2n}}𝑑x{\displaystyle \frac{ϵ}{x^2}}\mathrm{cot}{\displaystyle \frac{ϵ}{x}}\mathrm{ln}{\displaystyle \frac{\mathrm{sin}\left(\frac{ϵ}{x}+\frac{ϵ}{2n}\right)}{\mathrm{sin}\frac{ϵ}{x}}}`$
$`=2{\displaystyle _0^2}{\displaystyle \frac{dx}{x}}\mathrm{ln}\left(1+{\displaystyle \frac{x}{2}}\right)+o(ϵ)=2\mathrm{Li}_2(1)+o(ϵ)={\displaystyle \frac{\pi ^2}{6}}+o(ϵ).`$ (D.21)
The $`n`$-independent finite value here is again unimportant.

For the fifth integral in (D.19), we could not calculate it for a generic value of $`n`$. In the case of $`n=1`$, the integral is finite in the limit $`ϵ0`$ and given by

$`{\displaystyle _{ϵ/2}^{\pi ϵ/2}}𝑑\theta _3\mathrm{cot}{\displaystyle \frac{\theta _3+ϵ/2}{2}}\mathrm{ln}\mathrm{sin}{\displaystyle \frac{\theta _3+\pi ϵ/2}{2}}={\displaystyle _0^\pi }𝑑\theta _3\mathrm{cot}{\displaystyle \frac{\theta _3}{2}}\mathrm{ln}\mathrm{cos}{\displaystyle \frac{\theta _3}{2}}+o(ϵ)`$
$`=2{\displaystyle _0^1}{\displaystyle \frac{dx}{x}}\mathrm{ln}\sqrt{1x^2}+o(ϵ)=\mathrm{Li}_2(1)+\mathrm{Li}_2(1)+o(ϵ)={\displaystyle \frac{\pi ^2}{12}}+o(ϵ),`$ (D.22)
where we changed the variable as $`x=\mathrm{sin}(\theta /2)`$. For $`n=3/2`$, we have

$`{\displaystyle \frac{2}{3}}{\displaystyle _{ϵ/2}^{\pi ϵ/2}}𝑑\theta _3\mathrm{cot}{\displaystyle \frac{\theta _3+ϵ/2}{3}}\mathrm{ln}\mathrm{sin}{\displaystyle \frac{\theta _3+\pi ϵ/2}{3}}`$
$`{\displaystyle \frac{2}{3}}{\displaystyle _{\pi +ϵ/2}^{2\pi ϵ/2}}𝑑\theta _3\mathrm{cot}{\displaystyle \frac{\theta _3+ϵ/2}{3}}\mathrm{ln}\mathrm{sin}{\displaystyle \frac{\theta _3+\pi ϵ/2}{3}}`$
$`=\left[2\mathrm{ln}\mathrm{sin}{\displaystyle \frac{\theta _3+ϵ/2}{3}}\mathrm{ln}\mathrm{sin}{\displaystyle \frac{\theta _3+\pi ϵ/2}{3}}\right]_{\theta _3=ϵ/2}^{\theta _3=\pi ϵ/2}`$
$`+{\displaystyle \frac{2}{3}}{\displaystyle _{ϵ/2}^{\pi ϵ/2}}𝑑\theta _3\mathrm{ln}\mathrm{sin}{\displaystyle \frac{\theta _3+ϵ/2}{3}}\mathrm{cot}{\displaystyle \frac{\theta _3+\pi ϵ/2}{3}}`$
$`{\displaystyle \frac{2}{3}}{\displaystyle _{\pi +ϵ/2}^{2\pi ϵ/2}}𝑑\theta _3\mathrm{cot}{\displaystyle \frac{\theta _3+ϵ/2}{3}}\mathrm{ln}\mathrm{sin}{\displaystyle \frac{\theta _3+\pi ϵ/2}{3}}`$
$`=2\mathrm{ln}\mathrm{sin}{\displaystyle \frac{\pi ϵ}{3}}\mathrm{ln}\mathrm{sin}{\displaystyle \frac{2\pi ϵ}{3}}+2\mathrm{ln}\mathrm{sin}{\displaystyle \frac{ϵ}{3}}\mathrm{ln}\mathrm{sin}{\displaystyle \frac{\pi }{3}}`$
$`+{\displaystyle \frac{4}{3}}{\displaystyle _{ϵ/2}^{\pi ϵ/2}}𝑑\theta _3\mathrm{ln}\mathrm{sin}{\displaystyle \frac{\theta _3+ϵ/2}{3}}\mathrm{cot}{\displaystyle \frac{\theta _3+\pi ϵ/2}{3}}`$
$`=2\left(\mathrm{ln}\mathrm{sin}{\displaystyle \frac{\pi }{3}}\right)^2+2\mathrm{ln}\mathrm{sin}{\displaystyle \frac{ϵ}{3}}\mathrm{ln}\mathrm{sin}{\displaystyle \frac{\pi }{3}}+{\displaystyle \frac{4}{3}}{\displaystyle _0^\pi }𝑑\theta \mathrm{cot}{\displaystyle \frac{\theta +\pi }{3}}\mathrm{ln}\mathrm{sin}{\displaystyle \frac{\theta }{3}}+o(ϵ).`$
The calculation of the integral in the last line is slightly complicated so that we postpone it and finish the remaining part of $`V_{21/210+201}(n)`$.

For the last integral in (D.19), we divide it into two parts according to (D.7). For the first contour, we have

$`{\displaystyle \frac{1}{n}}{\displaystyle _{ϵ/2}^{(2n1)\pi ϵ/2}}𝑑\theta _3\mathrm{cot}{\displaystyle \frac{ϵ}{2n}}\mathrm{ln}{\displaystyle \frac{\mathrm{sin}\frac{\theta _3+3ϵ/2}{2n}}{\mathrm{sin}\frac{\theta _3+ϵ/2}{2n}}}`$
$`={\displaystyle \frac{1}{n}}\mathrm{cot}{\displaystyle \frac{ϵ}{2n}}\left\{{\displaystyle _ϵ^{2ϵ}}𝑑\theta \mathrm{ln}\mathrm{sin}{\displaystyle \frac{\theta }{2n}}+{\displaystyle _{(2n1)\pi }^{(2n1)\pi +ϵ}}𝑑\theta \mathrm{ln}\mathrm{sin}{\displaystyle \frac{\theta }{2n}}\right\}`$
$`={\displaystyle \frac{1}{n}}\mathrm{cot}{\displaystyle \frac{ϵ}{2n}}{\displaystyle _ϵ^{2ϵ}}𝑑\theta \mathrm{ln}\mathrm{sin}{\displaystyle \frac{\theta }{2n}}+2\mathrm{ln}\mathrm{sin}{\displaystyle \frac{\pi }{2n}}+o(ϵ).`$ (D.24)
The integral over $`\stackrel{~}{C}_n`$ does vanish in the limit $`ϵ0`$, but in a slightly subtle way:

$`{\displaystyle \frac{2}{3}}{\displaystyle _{\pi +ϵ/2}^{\pi ϵ/2}}𝑑\theta _3\mathrm{cot}{\displaystyle \frac{ϵ}{3}}\mathrm{ln}{\displaystyle \frac{\mathrm{sin}\frac{\theta _3+3ϵ/2}{3}}{\mathrm{sin}\frac{\theta _3+ϵ/2}{3}}}`$
$`={\displaystyle \frac{2}{3}}\mathrm{cot}{\displaystyle \frac{ϵ}{3}}\left\{{\displaystyle _{\pi +2ϵ}^{\pi +ϵ}}𝑑\theta \mathrm{ln}\mathrm{sin}{\displaystyle \frac{\theta }{3}}{\displaystyle _{\pi +ϵ}^\pi }𝑑\theta \mathrm{ln}\mathrm{sin}{\displaystyle \frac{\theta }{3}}\right\}`$
$`=2\left(\mathrm{ln}\mathrm{sin}{\displaystyle \frac{\pi }{3}}\mathrm{ln}\mathrm{sin}{\displaystyle \frac{\pi +ϵ}{3}}\right)+o(ϵ)=o(ϵ).`$ (D.25)
The final result for $`V_{21/210+201}(n)`$ is given by

$`V_{21/210+201}(n)`$ $`=`$ $`{\displaystyle \frac{(2n1)\pi ^2}{2n^2}}+2\left(\mathrm{ln}{\displaystyle \frac{\mathrm{sin}\frac{\pi }{2n}}{\mathrm{sin}\frac{ϵ}{2n}}}\right)^2+{\displaystyle \frac{\pi ^2}{6}}`$ (D.26)
$`\left(\mathrm{ln}\mathrm{sin}{\displaystyle \frac{ϵ}{2n}}\right)^2\left(\mathrm{ln}\mathrm{sin}{\displaystyle \frac{\pi }{2n}}\right)^2+2\mathrm{ln}\mathrm{sin}{\displaystyle \frac{ϵ}{2n}}\mathrm{ln}\mathrm{sin}{\displaystyle \frac{\pi }{2n}}+I_n`$
$`{\displaystyle \frac{1}{n}}\mathrm{cot}{\displaystyle \frac{ϵ}{2n}}{\displaystyle _ϵ^{2ϵ}}𝑑\theta \mathrm{ln}\mathrm{sin}{\displaystyle \frac{\theta }{2n}}+2\mathrm{ln}\mathrm{sin}{\displaystyle \frac{\pi }{2n}}+o(ϵ),`$
where

$$I_1=\frac{\pi ^2}{12},I_{3/2}=\frac{4}{3}_0^\pi 𝑑\theta \mathrm{cot}\frac{\theta +\pi }{3}\mathrm{ln}\mathrm{sin}\frac{\theta }{3}.$$
(D.27)
Calculation of $`I_{\mathrm{𝟑}\mathbf{/}\mathrm{𝟐}}`$

Let us calculate the integral $`I_{3/2}`$ in (D.27). It can be transformed to the following form by change of variables:

$`I_{3/2}`$ $`=`$ $`{\displaystyle \frac{4}{3}}{\displaystyle _{\pi /2}^{\pi /2}}𝑑\theta \mathrm{tan}{\displaystyle \frac{\theta }{3}}\mathrm{ln}\mathrm{sin}\left({\displaystyle \frac{\theta }{3}}+{\displaystyle \frac{\pi }{6}}\right)`$ (D.28)
$`=`$ $`{\displaystyle \frac{2}{3}}{\displaystyle _{\pi /2}^{\pi /2}}𝑑\theta \mathrm{tan}{\displaystyle \frac{\theta }{3}}\left[\mathrm{ln}\mathrm{sin}\left({\displaystyle \frac{\pi }{6}}+{\displaystyle \frac{\theta }{3}}\right)\mathrm{ln}\mathrm{sin}\left({\displaystyle \frac{\pi }{6}}{\displaystyle \frac{\theta }{3}}\right)\right]`$
$`=`$ $`2{\displaystyle _{1/\sqrt{3}}^{1/\sqrt{3}}}𝑑y{\displaystyle \frac{y}{1+y^2}}\mathrm{ln}{\displaystyle \frac{1+\sqrt{3}y}{1\sqrt{3}y}},`$
where $`y`$ in the last line is related to $`\theta `$ in the previous line by $`y=\mathrm{tan}(\theta /3)`$. The integral can be expressed in terms of polylogarithms. We find

$`I_{3/2}`$ $`=`$ $`i{\displaystyle _{1/\sqrt{3}}^{1/\sqrt{3}}}𝑑y\left({\displaystyle \frac{1}{1iy}}{\displaystyle \frac{1}{1+iy}}\right)\mathrm{ln}{\displaystyle \frac{1+\sqrt{3}y}{1\sqrt{3}y}}`$ (D.29)
$`=`$ $`2i{\displaystyle _{1/\sqrt{3}}^{1/\sqrt{3}}}𝑑y{\displaystyle \frac{1}{1iy}}\mathrm{ln}{\displaystyle \frac{1+\sqrt{3}y}{1\sqrt{3}y}}`$
$`=`$ $`2{\displaystyle _{i1/\sqrt{3}}^{i+1/\sqrt{3}}}𝑑y{\displaystyle \frac{1}{y}}\left\{\mathrm{ln}{\displaystyle \frac{1\sqrt{3}i}{1+\sqrt{3}i}}+\mathrm{ln}\left(1+{\displaystyle \frac{\sqrt{3}y}{1\sqrt{3}i}}\right)\mathrm{ln}\left(1{\displaystyle \frac{\sqrt{3}y}{1+\sqrt{3}i}}\right)\right\}`$
$`=`$ $`{\displaystyle \frac{4\pi ^2}{9}}2{\displaystyle _1^{1/2\sqrt{3}i/2}}𝑑y{\displaystyle \frac{1}{y}}\mathrm{ln}(1y)+2{\displaystyle _{1/2+\sqrt{3}i/2}^1}𝑑y{\displaystyle \frac{1}{y}}\mathrm{ln}(1y)`$
$`=`$ $`{\displaystyle \frac{4\pi ^2}{9}}4\mathrm{Li}_2(1)+2\mathrm{Li}_2(e^{\pi i/3})+2\mathrm{Li}_2(e^{\pi i/3})`$
$`=`$ $`{\displaystyle \frac{2\pi ^2}{9}}+2\mathrm{Li}_2(e^{\pi i/3})+2\mathrm{Li}_2(e^{\pi i/3}).`$
Using the formula181818 This formula can be found, for example, at
http://functions.wolfram.com/ZetaFunctionsandPolylogarithms/PolyLog2/03/01/

$$\mathrm{Li}_2(e^{2\pi ip/q})=\frac{1}{q^2}\underset{k=1}{\overset{q1}{}}e^{2\pi ikp/q}\psi ^{(1)}\left(\frac{k}{q}\right)+\frac{\pi ^2}{6q^2},$$
(D.30)
where $`p`$ and $`q(0<pq)`$ are integers, we can express $`\mathrm{Li}_2(e^{\pi i/3})+\mathrm{Li}_2(e^{\pi i/3})`$ as follows:

$`\mathrm{Li}_2(e^{\pi i/3})+\mathrm{Li}_2(e^{\pi i/3})={\displaystyle \frac{\pi ^2}{108}}{\displaystyle \frac{1}{18}}\psi ^{(1)}\left({\displaystyle \frac{1}{2}}\right)+{\displaystyle \frac{1}{36}}\left\{\psi ^{(1)}\left({\displaystyle \frac{1}{6}}\right)+\psi ^{(1)}\left({\displaystyle \frac{5}{6}}\right)\right\}`$
$`{\displaystyle \frac{1}{36}}\left\{\psi ^{(1)}\left({\displaystyle \frac{1}{3}}\right)+\psi ^{(1)}\left({\displaystyle \frac{2}{3}}\right)\right\},`$ (D.31)
where $`\psi ^{(1)}(z)`$ is defined by

$$\psi ^{(1)}(z)=\frac{d^2}{dz^2}\mathrm{ln}\mathrm{\Gamma }(z).$$
(D.32)
Since

$$\psi ^{(1)}(z)+\psi ^{(1)}(1z)=\frac{\pi ^2}{\mathrm{sin}^2\pi z},$$
(D.33)
which follows from

$$\mathrm{\Gamma }(z)\mathrm{\Gamma }(1z)=\frac{\pi }{\mathrm{sin}\pi z},$$
(D.34)
we have

$$\mathrm{Li}_2(e^{\pi i/3})+\mathrm{Li}_2(e^{\pi i/3})=\frac{\pi ^2}{18}.$$
(D.35)
Therefore, the integral $`I_{3/2}`$ is given by

$$I_{3/2}=\frac{\pi ^2}{9}.$$
(D.36)
$`𝑽_{\mathrm{𝟑𝟎}}\mathbf{+}𝑽_{\mathrm{𝟐𝟏}}\mathbf{}𝑽_{\mathrm{𝟑𝟎𝟎}}\mathbf{}𝑽_{\mathrm{𝟐𝟏𝟎}}\mathbf{}𝑽_{\mathrm{𝟐𝟎𝟏}}`$

Having finished all the preparations, we obtain the following expression for the sum of $`V_{30/300}(n)`$ and $`V_{21/210+201}(n)`$:

$`V_{30/300}(n)+V_{21/210+201}(n)`$ (D.37)
$`=`$ $`{\displaystyle \frac{2\pi \mathrm{ln}2}{ϵ}}6\mathrm{ln}2+{\displaystyle \frac{\pi ^2}{3}}(\mathrm{ln}2)^2+{\displaystyle \frac{(14n)\pi ^2}{(2n)^2}}+I_n+\left(\mathrm{ln}{\displaystyle \frac{\mathrm{sin}\frac{ϵ}{2n}}{\mathrm{sin}\frac{ϵ}{n}}}\right)^2+o(ϵ)`$
$`=`$ $`{\displaystyle \frac{2\pi \mathrm{ln}2}{ϵ}}6\mathrm{ln}2+{\displaystyle \frac{\pi ^2}{3}}+{\displaystyle \frac{(14n)\pi ^2}{(2n)^2}}+I_n+o(ϵ).`$
From (D.9), (D.27), and (D.36), $`V_{30}+V_{21}V_{300}V_{210}V_{201}`$ is given by

$$V_{30}+V_{21}V_{300}V_{210}V_{201}=\frac{7\pi ^2}{36}+I_1I_{3/2}+o(ϵ)=o(ϵ).$$
(D.38)
## Appendix E. $`V_{111}`$

We calculate the integral

$$_{\pi /2}^{3\pi /2}𝑑\theta _3_{\pi /2}^{\pi /2}𝑑\theta _2_{3\pi /2}^{\pi /2}𝑑\theta _1\left|3\mathrm{sin}\frac{\theta _2\theta _1}{3}\right|^1\left|3\mathrm{sin}\frac{\theta _3\theta _1}{3}\right|^1\left|3\mathrm{sin}\frac{\theta _3\theta _2}{3}\right|^1,$$
(E.1)
which is the value of $`V_{111}`$ (4.46) in the limit $`ϵ0`$. The integral simplifies under the change of variables,

$$t_i=\sqrt{3}\mathrm{tan}\frac{\theta _i}{3}(i=1,2,3),$$
(E.2)
which corresponds to a conformal transformation to the upper-half plane:

$`{\displaystyle _{\pi /2}^{3\pi /2}}𝑑\theta _3{\displaystyle _{\pi /2}^{\pi /2}}𝑑\theta _2{\displaystyle _{3\pi /2}^{\pi /2}}𝑑\theta _1\left|3\mathrm{sin}{\displaystyle \frac{\theta _2\theta _1}{3}}\right|^1\left|3\mathrm{sin}{\displaystyle \frac{\theta _3\theta _1}{3}}\right|^1\left|3\mathrm{sin}{\displaystyle \frac{\theta _3\theta _2}{3}}\right|^1`$
$`={\displaystyle _1^{\mathrm{}}}𝑑t_3{\displaystyle _1^1}𝑑t_2{\displaystyle _{\mathrm{}}^1}𝑑t_1{\displaystyle \frac{1}{(t_2t_1)(t_3t_2)(t_3t_1)}}.`$ (E.3)
The integrals with respect to $`t_1`$ and $`t_2`$ are easily carried out:

$`{\displaystyle _1^{\mathrm{}}}𝑑t_3{\displaystyle _1^1}𝑑t_2{\displaystyle _{\mathrm{}}^1}𝑑t_1{\displaystyle \frac{1}{(t_2t_1)(t_3t_2)(t_3t_1)}}`$ (E.4)
$`=`$ $`{\displaystyle _1^{\mathrm{}}}𝑑t_3{\displaystyle _1^1}𝑑t_2{\displaystyle \frac{1}{(t_3t_2)^2}}\mathrm{ln}{\displaystyle \frac{t_3+1}{t_2+1}}`$
$`=`$ $`{\displaystyle _1^{\mathrm{}}}𝑑t_3\left({\displaystyle \frac{1}{t_31}}\mathrm{ln}{\displaystyle \frac{t_3+1}{2}}{\displaystyle \frac{1}{t_3+1}}\mathrm{ln}{\displaystyle \frac{t_31}{2}}\right).`$
The integral over $`t_3`$ can be expressed in terms of the polylogarithm $`\mathrm{Li}_2(z)`$:191919 The definition of the polylogarithm $`\mathrm{Li}_2(z)`$ is given in (D.15).

$`{\displaystyle _1^{\mathrm{}}}𝑑t_3\left({\displaystyle \frac{1}{t_31}}\mathrm{ln}{\displaystyle \frac{t_3+1}{2}}{\displaystyle \frac{1}{t_3+1}}\mathrm{ln}{\displaystyle \frac{t_31}{2}}\right)`$ (E.5)
$`=`$ $`\left[2\mathrm{Li}_2\left({\displaystyle \frac{1t_3}{2}}\right)\mathrm{ln}{\displaystyle \frac{t_31}{2}}\mathrm{ln}{\displaystyle \frac{t_3+1}{2}}\right]_{t_3=1}^{t_3=\mathrm{}}`$
$`=`$ $`\underset{t_3\mathrm{}}{lim}\left\{2\mathrm{Li}_2\left({\displaystyle \frac{1t_3}{2}}\right)\mathrm{ln}{\displaystyle \frac{t_31}{2}}\mathrm{ln}{\displaystyle \frac{t_3+1}{2}}\right\}.`$
Using the formula202020 This formula can be found, for example, at
http://functions.wolfram.com/ZetaFunctionsandPolylogarithms/PolyLog2/06/01/03/

$$\mathrm{Li}_2(x)=\frac{1}{2}\mathrm{ln}^2(x)\frac{\pi ^2}{6}+O\left(\frac{1}{x}\right)\mathrm{for}x>1,$$
(E.6)
we can calculate the limit:

$$\underset{t_3\mathrm{}}{lim}\left\{2\mathrm{Li}_2\left(\frac{1t_3}{2}\right)\mathrm{ln}\frac{t_31}{2}\mathrm{ln}\frac{t_3+1}{2}\right\}=\frac{\pi ^2}{3}.$$
(E.7)
Therefore, we have

$$_{\pi /2}^{3\pi /2}𝑑\theta _3_{\pi /2}^{\pi /2}𝑑\theta _2_{3\pi /2}^{\pi /2}𝑑\theta _1\left|3\mathrm{sin}\frac{\theta _2\theta _1}{3}\right|^1\left|3\mathrm{sin}\frac{\theta _3\theta _1}{3}\right|^1\left|3\mathrm{sin}\frac{\theta _3\theta _2}{3}\right|^1=\frac{\pi ^2}{3}.$$
(E.8)