Interactions of irregular Gaiotto states in Liouville theory

Abstract

We compute the correlation functions of irregular Gaiotto states appearing in the colliding limit of the Liouville theory by using “regularizing” conformal transformations mapping the irregular (coherent) states to regular vertex operators in the Liouville theory. The N-point correlation functions of the irregular vertex operators of arbitrary ranks are expressed in terms of N-point correlators of primary fields times the factor that involves regularized higher-rank Schwarzians of the above conformal transformation. In particular, in the case of three-point functions the general answer is expressed in terms of DOZZ (Dorn-Otto-Zamolodchikov-Zamolodchikov) structure constants times exponents of regularized higher-derivative Schwarzians. The explicit examples of the regularization are given for the ranks one and two.

1 Introduction

Irregular (coherent) Gaiotto states emerge in Liouville field theory in the colliding limit, relevant to extensions of the AGT conjecture to Argyres-Douglas type of gauge theories with asymptotic freedom [1, 3, 6,7,8, 14, 19]. The irregular states of rank N are the simultaneous eigenstates of $N+1$ Virasoro generators:

$$\begin{aligned} L_n |U_N \rangle= & {} \rho _N(n)|U_N \rangle \nonumber \\&N\le {n}\le {2N} \end{aligned}$$

(1)

and are annihilated by higher positive Virasoro generators ($n>2N$). This generalizes the definition of primary fields (which technically have rank zero). Just as the regular vertex operators for primary (rank zero) fields in Liouville theory can be expressed as $V_\alpha =:e^{\alpha _0\phi }:$ (where $\alpha _0$ can be regarded as “electric” charge), the irregular vertex operators for rank N coherent states can be constructed as

$$\begin{aligned}&|U_N \rangle =U_N|0 \rangle \nonumber \\ U_N=: & {} e^{\sum _{n=0}^N\alpha _n\partial ^n\phi }: \end{aligned}$$

(2)

where $\alpha _1,\alpha _2\ldots$ correspond to coefficients of the multipole expansion and are related to the geometry of the region where the colliding operators are located (e.g. with $\alpha _1$ being a characteristic size of the region). These coefficients are related to Virasoro eigenvalues $\rho _n(N)$ according to

$$\begin{aligned} \rho _n(N)={1\over 2}\sum _{n=0}^{N}\alpha _n\alpha _{N-n} \end{aligned}$$

(3)

Computing correlation functions describing interactions of the irregular states in Liouville theory is known to be a hard and tedious problem, especially beyond two-point functions and rank one case [5, 6, 9, 14, 15]. These correlation functions are important objects as they define the correlators in Argyres-Douglas gauge theories; namely, the N-point correlators of Argyres-Douglas theories are idenfied with the M-point colliding limit of 2d CFT so that $M=M_1+ M_2 + \cdots + M_N$. Presumably, the correlators of the irregular states are also related to instanton expansions in these asymptotically-free theories, although our understanding of this correspondence is not yet complete.

In this work we address this problem by using the conformal transformations that maps operators for coherent states into regular vertex operators, expressing the interactions of the irregular states in terms of regular correlators in Liouville theory. In particular, since the structure constants of the Liouville theory are known, this conformal transformation makes it possible to express the cubic interactions of the irregular states of arbitrary rank in terms of Dorn-Zamolodchikov correlators in Liouville theory. The final formula for the correlators, however, is complicated, since it involves the generalized higher-derivative Schwarzians of the conformal transformation that are singular at the insertion points of the correlators and have to be regularized in a rather tedious way. In our work, we limit ourselves performing this regularization for the case of 3-point functions of the rank two irregular vertex operators. The rest of this paper is organized as follows. In the Sect. 2, we study the behavior of correlators under the conformal transformation mapping the irregular blocks into regular and derive the general result expressing N-point correlators of irregular vertices of arbitrary ranks in terms of regular conformal blocks. The answer involves the higher-derivative generalized Schwarzians of this conformal transformation that need to be regularized. In the Appendix section we explicitly perform such a regularization for three-point correlators of the rank two states. In the concluding section we discuss the implications of our results.

2 Conformal map: irregular to regular states

Consider a rank p irregular vertex operator:

$$\begin{aligned} W_p(\alpha _0,\alpha _1,...,\alpha _p|\xi )=:e^{\sum _{n=0}^p\alpha _n\partial ^n\phi }:(\xi ) \end{aligned}$$

(4)

where $\phi$ is Liouville field and the N-point correlators

$$\begin{aligned} A_N=\left\langle \prod _{j=1}^{N}W_{p_j}(\alpha _0^{(j)},...,\alpha _{p_j}^{(j)}|\xi _j) \right\rangle \end{aligned}$$

(5)

Consider conformal transformation:

$$\begin{aligned} f(z)=e^{-i\sum _{j=1}^N(z-\xi _j-i\epsilon )^{-1}} \end{aligned}$$

(6)

with the small $\epsilon$ parameter introduced in order to control regularizations. This transformations maps the half-plane to compact Riemann surface with all the the points $\xi _1,...\xi _N$ (originally located on the real line) are glued together at zero for $\epsilon =0$ (and are infinitely close to each other if $\epsilon$ is nonzero). Gluing points together is the trick that will be used below to compare correlation functions before and after conformal transformations. First of all, let us check how the conformal transformation (6) acts on individual irregular vertices. It is straightforward to check that the transformation (6) maps irregular vertex operators (4) into regular. To see this, first consider the infinitezimal transformations of $W_p$. We have

$$\begin{aligned} \delta _\epsilon {W_p}(\xi )= & {} {1\over 2}\left[ \oint {{dz}\over {2i\pi }}\epsilon (z):\partial \phi \partial \phi :(z); W_p(\xi )\right] \nonumber \\= & {} \sum _{n=0}^p\alpha _n\partial ^n(\epsilon \partial \phi )W_p(\xi )\nonumber \\&+{1\over 2}\sum _{n_1,n_2=0}^p{{n_1!n_2!}\over {(n_1+n_2+1)!}}\alpha _{n_1}\alpha _{n_2}\partial ^{n_1+n_2+1}\epsilon {W_p}(\xi )\nonumber \\ \end{aligned}$$

(7)

This infinitezimal relation is straightforward to integrate (e.g. by imposing a composition constraint). The integrated form of (7) for finite conformal transformations $z\rightarrow {f(z)}$ is then given by

$$\begin{aligned} W_p(z)\rightarrow {\tilde{W_p}}(f(z))= & {} \mathrm {exp} \bigg \{\alpha _0\phi +\sum _{n=1}^p\sum _{q=1}^nB_{n|q}(f(z);z)\alpha _n\partial ^q\phi (f(z))\nonumber \\&+\sum _{n_1,n_2=0}^{p}n_1! n_2! \, \alpha _{n_1} \alpha _{n_2} S_{n_1|n_2}(f(z);z) \bigg \} \end{aligned}$$

(8)

Here

$$\begin{aligned} B_{n|q}(f(z);z)=\sum _{n|n_1...n_q}{{\partial ^{n_1}\phi ...\partial ^{n_q}\phi }\over {n_1!...n_q!r(n_1)!...r(n_q)!}} \end{aligned}$$

(9)

are the restricted length q Bell polynomials in derivatives of f, with the sum taken over the ordered length q partitions of $n=n_1+...+n_q$; with $0<n_1\le {n_2}....\le {n_q}$ anq $r(n_i)$ is multiplicity of element $n_i$ in the partition (e.g. for $8=2+3+3$ $q(1)=0,q(2)=1$ and $q(3)=2$). Next, $S_{n_1|n_2}$ are the generalized rank $(n_1,n_2)$ Schwarzians of the conformal transformation f(z), defined according to [23]:

$$\begin{aligned} S_{n_1|n_2}(f;z)= & {} {1\over {n_1!n_2!}}\sum _{k_1=1}^{n_1}\sum _{k_2=1}^{n_2}\sum _{m_1\ge {0}}\sum _{m_2\ge {0}}\sum _{p\ge {0}}\sum _{q=1}^p(-1)^{k_1+m_2+q}2^{-m_1-m_2}(k_1+k_2-1)!\nonumber \\&\times {{\partial ^{m_1}B_{n_1|k_1}(f(z);z)\partial ^{m_2}B_{n_2|k_2}(f(z);z)B_{p|q}(g_1,...,g_{p-q+1})}\over {m_1!m_2!p!(f^\prime (z))^{k_1+k_2}}}\nonumber \\&\times g_s=2^{-s-1}(1+(-1)^s){{{{d^{s+1}f}\over {dz^{s+1}}}}\over {(s+1)f^\prime (z)}};s=1,...,p-q+1 \end{aligned}$$

(10)

for $n_1,n_2\ne {0}$ with the sum over the non-negative numbers $m_1,m_2$ and p taken over all the combinations satisfying

$$\begin{aligned} m_1+m_2+p=k_1+k_2 \end{aligned}$$

Also, $S_{0|0}(f;z)=ln(f^\prime (z))$ , $S_{1|0}=S_{0|1}={{f^{\prime \prime }(z)}\over {2f^\prime (z)}}$ and $S_{1|1}$ is a usual Schwarzian derivative (up to conventional factor of ${1\over 6}$). As $z\rightarrow {\xi _j}$, the coefficients in front of derivatives $\partial ^q\phi$ ($q\ne {0}$) in the exponent of ${\tilde{W}}_p(f(z))$, determined by the length q Bell polynomials in f, are damped exponentially as $\sim {e^{-{q\over {\epsilon }}}}$, so only the regular part $\sim {\alpha _0\phi }$ survives and the operators become regular in new coordinates. On the other hand, the price paid for the regularity is the appearance of the generalized Schwarzians $S_{n_1|n_2}(f;z)$ in the transformation law for the irregular vertices. All of these Schwarzians have inverse power behavior in $\epsilon$ and must be regularized as $\epsilon \rightarrow {0}$. The final step is to compute the overlap deformation resulting from contractions of $T(z)={1\over {2}}:\partial \phi \partial \phi :$ with different vertex operators (i.e. each of $\partial \phi$’s contracting with different vertex) and to integrate it. This altogether is equivalent to integrating the Ward identities and, in the limit $\epsilon \rightarrow {0}$, the integrated overlap deformation determines the difference between the correlators computed on the half-plane and on the Riemann surface defined by the conformal map f(z), with the transformation laws (8) for the vertex operators. The relevant infinitezimal overlap transformation of the N-point correlator is given by

$$\begin{aligned}&\delta _{overlap}A_N(\xi _1,...\xi _N)=A_N(\xi _1,...\xi _N)\nonumber \\&\quad \sum _{j=1}^{N-1}\sum _{k=j+1}^N\sum _{n_j=1}^{p_j}\sum _{n_k=1}^{p_k}\alpha _{n_j}^{(j)}\alpha _{n_k}^{(k)}\nonumber \\&\quad \times \left( n_k!\partial ^{n_j}_{\xi _j}{{\epsilon (\xi _j)}\over {(\xi _j-\xi _k)^{n_k+1}}}+n_j!\partial ^{n_k}_{\xi _k}{{\epsilon (\xi _k)}\over {(\xi _k-\xi _j)^{n_j+1}}}\right) \end{aligned}$$

(11)

It is straightforward to integrate it to obtain the contribution of the overlap to the deformation of $A_N$ under the finite conformal transformation $z\rightarrow {f(z)}$. The result is

$$\begin{aligned}&A_N(\xi _1,...,\xi _N)\rightarrow A_N(f(\xi _1),...,f(\xi _N))exp \left\{ \sum _{j=1}^{N-1}\sum _{k=j+1}^N\sum _{n_j=1}^{p_j}\sum _{n_k=1}^{p_k}\alpha _{n_j}^{(j)}\alpha _{n_k}^{(k)}\right. \nonumber \\&\quad \left. \times \left( \sum _{{p_j}=0}^{n_j-1}\sum _{{p_k}=0}^{n_k}\left( {{B_{n_j|n_j-p_j}(f(\xi _j);\xi _j)B_{n_k|n_k-p_k}(f(\xi _j);\xi _j)}\over {(f(\xi _j)-f(\xi _k))^{n_j+n_k-p_j-p_k}}}-{1\over {(\xi _j-\xi _k)^{n_j+n_k-p_j-p_k}}}\right) \right) \right\} \end{aligned}$$

(12)

The relation between the correlators of the irregular and regular states is given by the transformation law (8) divided by the overlap deformation (12). Thus for N-point correlator of irregular states of arbitrary rank one has:

$$\begin{aligned}&A_N(\xi _1,...,\xi _N)=S_N(\xi _1,...,\xi _N) \times exp \left\{ {1\over 2}\sum _{j=1}^N\sum _{{k=1}^{p_j}}\sum _{l=1}^{p_j}\alpha _k^{(j)}\alpha _l^{(j)}S_{k|l}(f(z);z)|_{z=\xi _j}\right. -\sum _{j=1}^{N-1}\sum _{k=j+1}^N\sum _{n_j=1}^{p_j} \sum _{n_k=1}^{p_k}\alpha _{n_j}^{(j)}\alpha _{n_k}^{(k)}\nonumber \\&\quad \left. \times \left( \sum _{{p_j}=0}^{n_j-1}\sum _{{p_k}=0}^{n_k}\left( {{B_{n_j|n_j-p_j}(f(\xi _j);\xi _j)B_{n_k|n_k-p_k}(f(\xi _j);\xi _j)}\over {(f(\xi _j)-f(\xi _k))^{n_j+n_k-p_j-p_k}}}-{1\over {(\xi _j-\xi _k)^{n_j+n_k-p_j-p_k}}}\right) \right) \right\} \end{aligned}$$

(13)

where $S_N$ is the N-point correlator of regular Liouville primaries:

$$\begin{aligned} S_N(\xi _1,...,\xi _N)= \big \langle e^{\alpha _0^{(1)}\phi }(\xi _1)...e^{\alpha _0^{(N)}\phi }(\xi _N) \big \rangle \end{aligned}$$

(14)

This reduces the problem of describing the interactions of irregular states of arbitrary rank in terms of those of the regular states.

In particular, for $N=3$, $S_3$ is well-known and related to the regular Liouville S-matrix [21, 22]. However, the Schwarzians and overlap factors (involving sums over the restricted Bell polynomials of the conformal transformation (6)) are singular at the insertion points of the irregular vertex operators and need to be regularized. In the Appendix section, we show how to perform such a regularization explicitly for the rank two irregular states ($p_1=p_2=p_3=2$) and for $N=3$. It already turns to be quite cumbersome. It is straightforward to show, in particular, that in a particularly simple case of two-point function of the rank 1 irregular states, this regularization procedure reproduces the inner product calculated at [9, 13]. To obtain this product, one has to take the limit $\xi _1=0$, $\xi _2\rightarrow \infty$ in (5) ($N=2;p_1=p_2=1$). In this limit, the overlap factor vanishes, and all the contributions stem from the regularizations of the Schwarzians at $\xi _1$ and $\xi _2$:

$$\begin{aligned}&A_2(w_1,w_2)|_{w_1=0,w_2\rightarrow \infty }\\&=e^{{1\over 2}\beta _1^2S_{1|1}(f;\xi _1)+{1\over 2}\beta _2^2S_{1|1}(f;\xi _2)+\alpha _1\beta _1S_{0|1}(f;\xi _1)+\alpha _2\beta _2S_{0|1}(f,\xi _2)}S_2 \end{aligned}$$

where

$$\begin{aligned} S_{0|1}(f;z)= & {} {{f^{\prime \prime }(z)}\over {f^\prime (z)}}\nonumber \\ S_{1|1}(f;z)= & {} {1\over 6}({{f^{\prime \prime \prime }}\over {f^{\prime }}})-{1\over 4}({{f^{\prime \prime }}\over {f^\prime }})^2\nonumber \\ f(z)= & {} e^{-{{i}\over {z-\xi _1}}-{{i}\over {z-\xi _2}}} \end{aligned}$$

(15)

are the generalized Schwarzians that need to be regularized and $S_2$ is the inner product for the Liouville primaries. Using the regularization relations (18) in the Appendix along with (3), one easily recovers the inner product [9, 13]. The generalizations of this regularization procedure for higher number of points and for higher ranks are in principle straightforward but require far more tedious calculations.

3 Conclusions

In this work, we analyzed interactions of the irregular states in Liouville theory by using conformal transformations that map the irregular vertex operators into regular. In particular, this allows to express three-point functions of irregulars of arbitrary rank in terms of Liouville structure constants given by DOZZ (Dorn-Otto-Zamolodchikov-Zamolodchikov) formula. The price one pays is the appearance of the objects, such as higher-derivative Schwarzians and overlap factors (sums over restricted Bell polynomials), in the transformation law for the vertices. They are singular at the insertion points and need to be regularized by a rather cumbersome procedure. Interestingly, all these objects appear in the solution of the well-known number theory problem of finding the closed analytic expressions for numbers of restricted partitions [23]. In the current paper, we restrict ourselves to the maximum rank two and the three-point function. In our future work (currently in progress), we hope to be able to develop the algorithm which simplifies the regularization scheme and can be applied to analyze the higher-rank interactions. Irregular states, apart from being relevant to AGT conjecture (extended to Argyres-Douglas class of gauge theories) also appear in the interplay between open string field theory and higher-spin gauge theories, as the irregular vertex operators can be understood as generating wavefunctions for higher-spin vertex operators in bosonic string theory. Given certain constraints on $\alpha _n^{(m)}$, the irregular vertices of the lower ranks (1 and 2) form non-trivial solutions of open string field theory (OSFT) equations of motions, describing certain special limits of collective higher-spin configurations. Using the formalism developed in this paper we hope to extend these particular solutions to arbitrary ranks in order to describe the OSFT solutions describing general collective higher-spin vacua in string theory. These solutions, in general, are parametrized by nontrivial number theory identities, particularly involving higher-order Schwarzians and Bell polynomials. We hope that classifying these solutions may be useful to elucidate deep underlying relations, existing between number theory, bosonic strings and higher spin gauge theories.

Appendices

4. Appendix

In this section, we perform explicit regularizations of the higher-derivative Schwarzians and the overlap factors, for the case of rank 2 irregular states. We limit ourselves to 3-point functions.

4a. Transformation

For each irregular vertex operator of rank 2, the conformal transformation law is

$$\begin{aligned}&e^{\alpha _0 \phi +\alpha _1 \partial \phi +\alpha _2 \partial ^2 \phi }{\mathop {\longrightarrow }\limits ^{z \rightarrow f(z)}}\nonumber \\&\mathrm {exp} \left[ \alpha _0 \phi +\alpha _1 B_{1|1} \partial \phi +\alpha _2\left( B_{2|1} \partial \phi +B_{2|2} \partial ^2 \phi \right) +\frac{1}{2} \alpha _0^2 S_{0|0}\right. \nonumber \\&\quad \left. +\alpha _0 \alpha _1 S_{1|0}+2 \alpha _0 \alpha _2 S_{2|0}+\frac{1}{2} \alpha _1^2 S_{1|1}+2 \alpha _1 \alpha _2 S_{2|1}+2\alpha _2^2 S_{2|2}\right] \nonumber \\ \end{aligned}$$

(16)

where

$$\begin{aligned}&S_{0|0}=\log f', \quad S_{1|0}=\frac{1}{2} \frac{f''}{f'}, \quad S_{1|1}=\frac{1}{6} \left( \frac{f''}{f'} \right) '-\frac{1}{12} \left( \frac{f''}{f'} \right) ^2,\\ S_{2|0}= & {} \frac{1}{6}\frac{f'''}{f'}-\frac{1}{8} \left( \frac{f''}{f'} \right) ^2, \quad S_{2|1}=\frac{1}{8}\left( \frac{f''}{f'} \right) ^3-\frac{1}{6} \frac{f'' \, f'''}{(f')^2}\\&\quad +\frac{1}{24} \frac{f^{(4)}}{f'},\\ S_{2|2}= & {} \frac{1}{120}\frac{f^{(5)}}{f'} -\frac{1}{24}\frac{f^{(4)} \, f''}{(f')^2}-\frac{1}{24}\left( \frac{f'''}{f'} \right) ^2\\&\quad +\frac{1}{6} \frac{(f'')^2 f'''}{(f')^3}-\frac{3}{32} \left( \frac{f''}{f'} \right) ^4 \end{aligned}$$

Next, consider the overlap transformation to the 3-point correlator. The overlap contribution between $(V(\xi _1),V(\xi _2))$ is given below, the overlaps between $V(\xi _1),V(\xi _2)$ and $V(\xi _2),V(\xi _3)$ are obtained similarly, by replacing variables $\alpha ,\beta ,\xi$ accordingly. Denote $f_1=f(\xi _1)$ and $f_2=f(\xi _2)$. We have:

$$\begin{aligned}&\mathrm {overlap}\left( e^{\alpha _0 \phi +\alpha _1 \partial \phi +\alpha _2 \partial ^2 \phi }(\xi _1)e^{\beta _0 \phi +\beta _1 \partial \phi +\beta _2 \partial ^2 \phi } (\xi _2) \right) \nonumber \\&\quad {\mathop {\longrightarrow }\limits ^{z \rightarrow f(z)}}\mathrm {exp} \Bigg [ -\alpha _0 \beta _0 \log (f_1-f_2)-\alpha _1 \beta _0 \frac{f_1'}{f_1-f_2}\nonumber \\&\quad +\alpha _0 \beta _1 \frac{f_2'}{f_1-f_2}-\alpha _1 \beta _1 \frac{f_1' \, f_2'}{(f_1-f_2)^2}\nonumber \\&\quad -\alpha _2 \beta _0 \left( \frac{f_1''}{f_1-f_2}-\left( \frac{f_1'}{f_1-f_2}\right) ^2 \right) \nonumber \\&\quad +\alpha _0 \beta _2 \left( \frac{f_2''}{f_1-f_2}+\left( \frac{f_2'}{f_1-f_2}\right) ^2 \right) \nonumber \\&\quad -\alpha _2 \beta _1 \left( \frac{f_1'' \, f_2'}{(f_1-f_2)^2}-\frac{2(f_1')^2 f_2'}{(f_1-f_2)^3} \right) \nonumber \\&\quad -\alpha _1 \beta _2 \left( \frac{f_1' \, f_2''}{(f_1-f_2)^2}+\frac{2f_1' (f_2')^2}{(f_1-f_2)^3} \right) \nonumber \\&\quad -\alpha _2 \beta _2 \left( \frac{f_1'' \, f_2''}{(f_1-f_2)^2}-\frac{2(f_1')^2 f_2''}{(f_1-f_2)^3}\right. \nonumber \\&\quad \left. +\frac{2f_1'' (f_2')^2}{(f_1-f_2)^3}-\frac{6 (f_1')^2 (f_2')^2}{ (f_1-f_2)^4} \right) \nonumber \\&\quad +\, \alpha _0 \beta _0 \log (\xi _1-\xi _2) +\frac{\alpha _1 \beta _0}{\xi _1-\xi _2}\nonumber \\&\quad -\frac{\alpha _0 \beta _1}{\xi _1-\xi _2}+\frac{\alpha _1 \beta _1}{(\xi _1-\xi _2)^2}-\frac{\alpha _2 \beta _0}{(\xi _1-\xi _2)^2}\nonumber \\&\quad -\frac{\alpha _0 \beta _2}{(\xi _1-\xi _2)^2}-\frac{2 \alpha _2 \beta _1}{(\xi _1-\xi _2)^3}+\frac{2\alpha _1 \beta _2}{(\xi _1-\xi _2)^3}-\frac{6 \alpha _2 \beta _2}{(\xi _1-\xi _2)^4}\Bigg ]\nonumber \\ \end{aligned}$$

(17)

4b. Regularization: 2-point function

We start by regularilizing the 2-point function first. We have:

$$\begin{aligned}&A_2=\left\langle e^{\alpha _0 \phi +\alpha _1 \partial \phi +\alpha _2 \partial ^2 \phi }(\xi _1) e^{\beta _0 \phi +\beta _1 \partial \phi +\beta _2 \partial ^2 \phi } (\xi _2) \right\rangle ,\nonumber \\&\quad f(z)=e^{-i \left( \frac{1}{z-\xi _1}+\frac{1}{z-\xi _2}\right) } \end{aligned}$$

(18)

1.1 Regularizing generalized Schwarzians:

For $e^{\alpha _0 \phi +\alpha _1 \partial \phi +\alpha _2 \partial ^2 \phi }(\xi _1)$,

$$\begin{aligned}&S_{0|0} \sim \log \left( i e^{-i/\xi _{}} \right) ,\quad S_{1|0} \sim \frac{i}{2 \xi _{}^2},\quad S_{1|1} \sim \frac{7}{12\xi _{}^4}+\frac{1}{\xi _{}^2},\nonumber \\&S_{2|0} \sim -\frac{7}{24 \xi _{}^4}-\frac{i}{2\xi _{}^3},\quad S_{2|1} \sim -\frac{1}{4 \xi _{}^5}-\frac{1}{\xi _{12}^3},\nonumber \\&\quad S_{2|2} \sim -\frac{323}{480 \xi _{}^8}-\frac{19}{12 \xi _{}^6}+\frac{1}{2\xi _{}^4} \end{aligned}$$

(19)

For $e^{\beta _0 \phi +\beta _1 \partial \phi +\beta _2 \partial ^2 \phi }(\xi _2)$, $\xi _{12} \rightarrow -\xi _{12}$.

1.2 Regularizing the overlap part:

Denote $X_k\equiv 1/\xi _{12}^k$ and $F_1\equiv e^{-i X_1}$. Here we omit the free correlator part. Below, one by one, we present the regularized coefficients in front of $\alpha _i\beta _j;i,j=0,1,2$ in the exponential. $\alpha _0 \beta _0$

$$\begin{aligned} -\log \left( F_1-\frac{1}{F_1}\right) \end{aligned}$$

(20)

$\alpha _1 \beta _0$

$$\begin{aligned} -\frac{i F_1^2 \left( \left( F_1^2-1\right) X_2+2 i X_3\right) }{\left( F_1^2-1\right) ^2} \end{aligned}$$

(21)

$\alpha _0 \beta _1$

$$\begin{aligned} \frac{i \left( \left( F_1^2-1\right) X_2+2 i F_1^2 X_3\right) }{\left( F_1^2-1\right) ^2} \end{aligned}$$

(22)

$\alpha _1 \beta _1$

$$\begin{aligned}&\frac{F_1^2}{\left( F_1^2-1\right) ^4}\bigg (4 i \left( F_1^4-1\right) X_2 X_3+\left( F_1^2-1\right) ^2 X_2^2\nonumber \\&\quad -2 \left( -i \left( F_1^4-1\right) X_5-3 \left( F_1^2-1\right) ^2\right. \nonumber \\&\quad \left. \times X_4+\left( F_1^4+4 F_1^2+1\right) X_3^2\right) \bigg ) \end{aligned}$$

(23)

$\alpha _2 \beta _0$

$$\begin{aligned}&-\frac{F_1^2}{\left( F_1^2-1\right) ^4}\bigg (4 i \left( F_1^4-1\right) \nonumber \\&\quad \times X_2 X_3+\left( F_1^2-1\right) ^2 X_2^2-2 \Big (-i \left( F_1^4-1\right) X_5\nonumber \\&\quad +i \left( F_1^2-1\right) ^3 X_3-3 \left( F_1^2-1\right) ^2\nonumber \\&\quad \times X_4+\left( F_1^4+4 F_1^2+1\right) X_3^2\Big )\bigg ) \end{aligned}$$

(24)

$\alpha _0 \beta _2$

$$\begin{aligned}&-\frac{1}{\left( F_1^2-1\right) ^4}\bigg (4 i \left( F_1^4-1\right) F_1^2 X_2 X_3 + \left( F_1^2-1\right) ^2\nonumber \\&\quad \times F_1^2 X_2^2-2 \Big (-i \left( F_1^4-1\right) F_1^2 X_5\nonumber \\&\quad + i \left( F_1^2-1\right) ^3 X_3-3 \left( F_1^2-1\right) ^2 F_1^2\nonumber \\&\quad \times X_4+ \left( F_1^4+4 F_1^2+F_1\right) F_1^2 X_3^2 \Big ) \bigg ) \end{aligned}$$

(25)

$\alpha _2 \beta _1$

$$\begin{aligned}&-\frac{F_1^2}{3 \left( F_1^2-1\right) ^6} \Bigg [3 i \left( F_1^2+1\right) \left( F_1^2-1\right) ^3\nonumber \\&\quad \times X_2^3+24 i \left( F_1^2+1\right) \left( F_1^2-1\right) ^3 X_3^2\nonumber \\&\quad -18 \left( F_1^4+4 F_1^2+1\right) \left( F_1^2-1\right) ^2 X_2^2 X_3\nonumber \\&\quad +3 \left( F_1^2-1\right) ^2 \Big (15 i \left( F_1^4-1\right) X_6+20 \left( F_1^2-1\right) ^2 X_5\nonumber \\&\quad -2 \left( F_1^4+4 F_1^2+1\right) X_7\Big )+6 \left( F_1^2-1\right) X_2 \Big (\left( F_1^2-1\right) ^3\nonumber \\&\quad \times X_3+3 i \left( F_1^2-1\right) \big (3 \left( F_1^4-1\right) X_4\nonumber \\&\quad +i \left( F_1^4+4 F_1^2+1\right) X_5\big )\nonumber \\&\quad -3 i \left( F_1^6+11 F_1^4+11 F_1^2+1\right) X_3^2\Big )\nonumber \\&\quad -6 \left( F_1^2-1\right) X_3 \left( 9 \left( F_1^6+3 F_1^4-3 F_1^2-1\right) \right. \nonumber \\&\quad \left. \times X_4+2 i \left( F_1^6+11 F_1^4+11 F_1^2+1\right) X_5\right) \nonumber \\&\quad +\, 4 \left( F_1^8+26 F_1^6+66 F_1^4+26 F_1^2+1\right) X_3^3\Bigg ] \end{aligned}$$

(26)

$\alpha _1 \beta _2$

$$\begin{aligned}&-\frac{F_1^2}{3 \left( F_1^2-1\right) ^6}\Bigg [-3 i \left( F_1^2+1\right) \left( F_1^2-1\right) ^3\nonumber \\&\quad \times X_2^3-24 i \left( F_1^2+1\right) \left( F_1^2-1\right) ^3 X_3^2\nonumber \\&\quad +\, 18 \left( F_1^4+4 F_1^2+1\right) \left( F_1^2-1\right) ^2\nonumber \\&\quad \times X_2^2 X_3-3 \left( F_1^2-1\right) ^2 \Big (15 i \left( F_1^4-1\right) \nonumber \\&\quad \times X_6+20 \left( F_1^2-1\right) ^2 X_5\nonumber \\&\quad -2 \left( F_1^4+4 F_1^2+1\right) X_7\Big )+6 \left( F_1^2-1\right) \nonumber \\&\quad \times X_2\Big (-\left( F_1^2-1\right) ^3 X_3+3 \left( F_1^2-1\right) \big (-3 i \left( F_1^4-1\right) X_4\nonumber \\&\quad +\left( F_1^4+4 F_1^2+1\right) X_5\big )\nonumber \\&\quad +3 i \left( F_1^6+11 F_1^4+11 F_1^2+1\right) X_3^2\Big )\nonumber \\&\quad +6 \left( F_1^2-1\right) X_3 \left( 9 \left( F_1^6+3 F_1^4-3 F_1^2-1\right) \right. \nonumber \\&\quad \left. \times X_4+2 i \left( F_1^6+11 F_1^4+11 F_1^2+1\right) X_5\right) \nonumber \\&\quad -4 \left( F_1^8+26 F_1^6+66 F_1^4+26 F_1^2+1\right) X_3^3\Bigg ] \end{aligned}$$

(27)

$\alpha _2 \beta _2$

$$\begin{aligned}&-\frac{F_1^2}{3 \left( F_1^2-1\right) ^8}\Bigg [-3 \left( F_1^2-1\right) ^4 \left( F_1^4+4 F_1^2+1\right) \nonumber \\&\quad \times X_2^4-24 i \left( F_1^2-1\right) ^3 \left( F_1^6+11 F_1^4+11 F_1^2+1\right) X_2^3 X_3\nonumber \\&\quad +12 \left( F_1^2-1\right) ^2 X_2^2 \Big (i \left( F_1^2+1\right) \left( F_1^2-1\right) ^3\nonumber \\&\quad \times X_3-3 \left( F_1^2-1\right) \big (3 \left( F_1^6+3 F_1^4-3 F_1^2-1\right) X_4\nonumber \\&\quad +i \left( F_1^6+11 F_1^4+11 F_1^2+1\right) X_5\big )\nonumber \\&\quad +3 \left( F_1^8+26 F_1^6+66 F_1^4+26 F_1^2+1\right) X_3^2\Big )\nonumber \\&\quad +4 i X_2 \bigg (24 i \left( F_1^4+4 F_1^2+1\right) \left( F_1^2-1\right) ^4\nonumber \\&\quad \times X_3^2+3 \left( F_1^2-1\right) ^3 \big (20 \left( F_1^2+1\right) \left( F_1^2-1\right) ^2 X_5\nonumber \\&\quad +i \left( 15 \left( F_1^6+3 F_1^4-3 F_1^2-1\right) \right. \nonumber \\&\quad \left. \times X_6+2 i \left( F_1^6+11 F_1^4+11 F_1^2+1\right) X_7\right) \big )\nonumber \\&\quad -6 \left( F_1^2-1\right) ^2 X_3 \left( 9 \left( F_1^8+10 F_1^6-10 F_1^2-1\right) \right. \nonumber \\&\quad \left. \times X_4+2 i \left( F_1^8+26 F_1^6+66 F_1^4+26 F_1^2+1\right) X_5\right) \nonumber \\&\quad +4 \left( F_1^{12}+56 F_1^{10}+245 F_1^8-245 F_1^4-56 F_1^2-1\right) X_3^3\bigg )\nonumber \\&\quad -2 \Bigg (28 i \left( F_1^2-1\right) ^3 \big (F_1^6+11 F_1^4\nonumber \\&\quad +11 F_1^2+1\big ) X_3^3+6 \left( F_1^2-1\right) ^2 \end{aligned}$$

$$\begin{aligned}&\quad \times X_3 \Big (10 i F_1^8 X_6-F_1^8 X_7+100 i F_1^6 X_6-26 F_1^6 X_7-66 F_1^4 X_7\nonumber \\&\quad -18 i \left( F_1^2-1\right) ^3 \left( F_1^2+1\right) X_4-100 i F_1^2 X_6-26 F_1^2 X_7\nonumber \\&\quad +26 \left( F_1^2-1\right) ^2 \left( F_1^4+4 F_1^2+1\right) X_5\nonumber \\&\quad -10 i X_6-X_7\Big )+3 \left( F_1^2-1\right) ^2\nonumber \\&\quad \times \bigg (27 \left( F_1^2-1\right) ^2 \left( F_1^4+4 F_1^2+1\right) X_4^2\nonumber \\&\quad +12 i \left( F_1^8+10 F_1^6-10 F_1^2-1\right) X_4\nonumber \\&\quad \times X_5-\left( F_1^2-1\right) \Big (40 \left( F_1^2-1\right) ^3\nonumber \\&\quad \times X_6+i \big (50 \left( F_1^2+1\right) \left( F_1^2-1\right) ^2 X_7\nonumber \\&\quad +i \left( 14 \left( F_1^6+3 F_1^4-3 F_1^2-1\right) \right. \nonumber \\&\quad \left. \times X_8+i \left( F_1^6+11 F_1^4+11 F_1^2+1\right) X_9\right) \big )\Big )\nonumber \\&\quad -\left( F_1^8+26 F_1^6+66 F_1^4+26 F_1^2+1\right) X_5^2\bigg )\nonumber \\&\quad -6 \left( F_1^2-1\right) X_3^2 \Big (F_1^{10} (6 X_4+i X_5+1)\nonumber \\&\quad +F_1^8 (150 X_4+57 i X_5-5)+2 F_1^6 (120 X_4\nonumber \\&\quad +151 i X_5+5)-2 F_1^4 (120 X_4-151 i X_5+5)\nonumber \\&\quad +F_1^2 (-150 X_4+57 i X_5+5)-6 X_4+i X_5-1\Big )\nonumber \\&\quad +\big (F_1^{12}+120 F_1^{10}+1191 F_1^8\nonumber \\&\quad +2416 F_1^6+1191 F_1^4+120 F_1^2+1\big ) X_3^4\Bigg )\Bigg ] \end{aligned}$$

(28)

4c. Regularization: 3-point function

Now we generalize the regularization, performed above, to the case of the 3-point forrelator of rank 2 operators. The correlator and the conformal transformation, in the limit $\epsilon \rightarrow {0}$, are given by:

$$\begin{aligned}&\left\langle e^{\alpha _0 \phi +\alpha _1 \partial \phi +\alpha _2 \partial ^2 \phi }(\xi _1) e^{\beta _0 \phi +\beta _1 \partial \phi +\beta _2 \partial ^2 \phi }\right. \nonumber \\&\quad \left. \times (\xi _2) e^{\gamma _0 \phi +\gamma _1 \partial \phi +\gamma _2 \partial ^2 \phi } (\xi _3) \right\rangle ,\end{aligned}$$

(29)

$$\begin{aligned}&f(z)=e^{-i \left( \frac{1}{z-\xi _1}+\frac{1}{z-\xi _2}+\frac{1}{z-\xi _3}\right) } \end{aligned}$$

(30)

1.1 Regularization of the generalized Schwarzians

Denoting $\xi _{ab} \equiv \xi _a-\xi _b$ and

$$\begin{aligned} X_k \equiv \frac{1}{\xi _{12}^k}+\frac{1}{\xi _{13}^k}, \quad Y_k \equiv \frac{1}{\xi _{21}^k}+\frac{1}{\xi _{23}^k}, \quad Z_k \equiv \frac{1}{\xi _{31}^k}+\frac{1}{\xi _{32}^k}\nonumber \\ \end{aligned}$$

(31)

For $e^{\alpha _0 \phi +\alpha _1 \partial \phi +\alpha _2 \partial ^2 \phi }(\xi _1)$,

$$\begin{aligned}&S_{0|0} \sim \log \left( i e^{-i X_1} \right) ,\quad S_{1|0} \sim \frac{i}{2} X_2,\nonumber \\&\quad S_{1|1} \sim \frac{X_4}{2}+\frac{X_2^2}{12}+X_2,\nonumber \\&S_{2|0} \sim -\frac{1}{2} \left( \frac{X_4}{2}+\frac{X_2^2}{12}+i X_3\right) ,\nonumber \\&\quad S_{2|1} \sim -\frac{X_5}{6}-\frac{X_2 X_3}{12}-X_3,\nonumber \\ S_{2|2}\sim & {} \frac{146 X_8}{480}-\frac{23 X_2 X_6}{60}-\frac{2 X_3 X_5}{5}\nonumber \\&-\frac{31 X_4^2}{160}-\frac{20 X_6}{12}+\frac{X_3^2}{12}+X_4 -\frac{X_2^2}{2} \end{aligned}$$

(32)

For $e^{\beta _0 \phi +\beta _1 \partial \phi +\beta _2 \partial ^2 \phi }(\xi _2)$ and $e^{\gamma _0 \phi +\gamma _1 \partial \phi +\gamma _2 \partial ^2 \phi } (\xi _3)$, replace $X_k$ with $Y_k$ and $Z_k$, repectively.

1.2 Regularization of the overlap part

We show explicitly in the following the overlap contributions between the irregular vertex operators at $\xi _1$ and $\xi _2$. The other contributions are given by simply replacing $X_k$, $Y_k$ with $X_k$, $Z_k$ for $\xi _1$, $\xi _3$ and with $Y_k$, $Z_k$ for $\xi _2$, $\xi _3$.

Denote $D_k \equiv X_k-Y_k$ and $R \equiv e^{i D_1}$. Again, free correlators are omitted.

1.2.1 $\alpha _0 \beta _0$ regularization

$$\begin{aligned} -\log \left( e^{-i X_1} -e^{-i Y_1} \right) \end{aligned}$$

(33)

1.2.2 $\alpha _0 \beta _1$ regularization

$$\begin{aligned} \frac{R}{(1-R)^3} \Bigg [ i (R-1)^2 Y_2-\frac{1}{2} i D_2^2 (R+1)+D_3 (R-1) \Bigg ]\nonumber \\ \end{aligned}$$

(34)

For $\alpha _1 \beta _0$ regularization, interchange $X_k \leftrightarrow Y_k$.

1.2.3 $\alpha _1 \beta _1$ regularization

$$\begin{aligned}&\frac{R^3}{(1-R)^6} \Bigg [\frac{11 D_2^4}{4}-3 D_2^3+6 D_2^2 X_2\nonumber \\&\quad +\frac{1}{R^2}\bigg (\frac{D_2^4}{24}+\frac{D_2^3}{2}+D_2^2 \left( -X_2-\frac{1}{2} (i D_3)\right) \nonumber \\&\quad +D_2 (-3 i D_3-D_4-X_2+4 i X_3)-\frac{D_3^2}{2}\nonumber \\&\quad +2 i D_3 X_2-3 D_4+i D_5+X_2^2+6 X_4\bigg ) \nonumber \\&\quad +R^2 \bigg (\frac{D_2^4}{24}+\frac{D_2^3}{2}+\frac{1}{2} i D_2^2 (D_3+2 i X_2)\nonumber \\&\quad +D_2 (3 i D_3-D_4-X_2-4 i X_3)-\frac{D_3^2}{2} \nonumber \\&\quad -2 i D_3 X_2-3 D_4-i D_5+X_2^2+6 X_4\bigg )\nonumber \\&\quad +R \bigg (\frac{13 D_2^4}{12}+D_2^3+D_2^2 (-2 X_2+5 i D_3) \nonumber \\&\quad +D_2 (-6 i D_3-2 D_4+4 X_2+8 i X_3)\nonumber \\&\quad -D_3^2+4 i D_3 X_2+12 D_4+2 i D_5-4 X_2^2-24 X_4\bigg ) \nonumber \\&\quad +\frac{1}{R}\bigg (\frac{13 D_2^4}{12}+D_2^3+D_2^2 (-2 X_2-5 i D_3)\nonumber \\&\quad +D_2 (6 i D_3-2 D_4+4 X_2-8 i X_3)-D_3^2 \nonumber \\&\quad -4 i D_3 X_2+12 D_4-2 i D_5-4 X_2^2-24 X_4\bigg )\nonumber \\&\quad +6 D_2 (D_4-X_2) \nonumber \\&\quad +3 \left( D_3^2+2 \left( -3 D_4+X_2^2+6 X_4\right) \right) \Bigg ] \end{aligned}$$

(35)

1.2.4 $\alpha _2 \beta _1$ regularization

$$\begin{aligned}&-\frac{R}{(1-R)^9}\Bigg [i (R+1) X_2^3 (R-1)^6+12 i (R+1)\nonumber \\&\quad \times X_3^2 (R-1)^6+15 i (R+1) X_6 (R-1)^6\nonumber \\&\quad +4 \left( 3 D_2 \left( R^2+4 R+1\right) -(R-1)^2\right) \nonumber \\&\quad \times X_5 (R-1)^5-\frac{1}{2} i \Big (3 \left( R^3+11 R^2+11 R+1\right) D_2^2\nonumber \\&\quad +2 (R-1)^2 (R+1) D_2\nonumber \\&\quad +6 D_3 i \left( R^3+3 R^2-3 R-1\right) \Big ) X_2^2 (R-1)^4\nonumber \\&\quad -\frac{3}{2} i \Big (3 \left( R^3+11 R^2+11 R+1\right) \nonumber \\&\quad \times D_2^2+4 (R-1)^2 (R+1) D_2\nonumber \\&\quad +6 D_3 i \left( R^3+3 R^2-3 R-1\right) \Big ) X_4 (R-1)^4\nonumber \\&\quad -\Big (\left( R^4+26 R^3+66 R^2+26 R+1\right) D_2^3\nonumber \\&\quad +5 (R-1)^2 \left( R^2+4 R+1\right) D_2^2+2 (R-1)\nonumber \\&\quad \times \left( 3 i D_3 \left( R^3+11 R^2+11 R+1\right) -(R-1)^3\right) D_2\nonumber \\&\quad +2 i (R-1)^2 \left( 5 D_3 \left( R^2-1\right) \right. \nonumber \\&\quad \left. +3 D_4 i \left( R^2+4 R+1\right) \right) \Big ) X_3 (R-1)^3\nonumber \\&\quad +\frac{1}{720} \bigg [-i \left( R^7+247 R^6+4293 R^5+15619 R^4\right. \nonumber \\&\quad \left. +15619 R^3+4293 R^2+247 R+1\right) D_2^6\nonumber \\&\quad -42 i (R-1)^2 \left( R^5+57 R^4\right. \nonumber \\&\quad \left. +302 R^3+302 R^2+57 R+1\right) D_2^5\nonumber \\&\quad +30 (R-1) \left( D_3 \left( R^6+120 R^5+1191 R^4\right. \right. \nonumber \\&\quad \left. \left. +2416 R^3+1191 R^2+120 R+1\right) \right. \nonumber \\&\left. \quad -8 i (R-1)^3 \left( R^3+11 R^2+11 R+1\right) \right) \nonumber \\&\quad \times D_2^4+120 (R-1)^2 \left( 7 D_3 \big (R^5+25 R^4+40 R^3\right. \nonumber \\&\quad -40 R^2-25 R-1\big )+D_4 i \left( R^5+57 R^4+302 R^3\right. \nonumber \\&\quad \left. \left. +302 R^2+57 R+1\right) \right) D_2^3\nonumber \\&\quad +180 (R-1)^2 \left( 16 D_3 \left( R^2+4 R+1\right) (R-1)^3\right. \nonumber \\&\quad \left. +2 i\big (7 D_4 \left( R^4+10 R^3-10 R-1\right) \right. \nonumber \\&\left. \quad +D_5 i \left( R^4+26 R^3+66 R^2+26 R+1\right) \right) (R-1)\nonumber \\&\quad +D_3^2 i \big (R^5+57 R^4+302 R^3+302 R^2 \end{aligned}$$

$$\begin{aligned}&\quad +57 R+1\big )\Big ) D_2^2+360 i (R-1)^3\nonumber \\&\quad \times \Big (7 \left( R^4+10 R^3-10 R-1\right) D_3^2\nonumber \\&\quad +2 D_4 i \left( R^4+26 R^3+66 R^2+26 R+1\right) \nonumber \\&\quad \times D_3+2 (R-1) \big (8 D_4 (R+1) (R-1)^2\nonumber \\&\quad +i \left( 7 D_5 \left( R^3+3 R^2-3 R-1\right) \right. \nonumber \\&\quad \left. +D_6 i \left( R^3+11 R^2+11 R+1\right) \right) \big )\Big ) D_2\nonumber \\&\quad -120 (R-1)^3 \bigg (\left( R^4+26 R^3+66 R^2+26 R+1\right) \nonumber \\&\quad \times D_3^3-24 i (R-1)^3 (R+1) D_3^2\nonumber \\&\quad +6 (R-1) \left( 7 D_4 \left( R^3+3 R^2-3 R-1\right) \right. \nonumber \\&\quad \left. +D_5 i \left( R^3+11 R^2+11 R+1\right) \right) D_3\nonumber \\&\quad +3 (R-1) \Big (i \left( R^3+11 R^2+11 R+1\right) \nonumber \\&\quad \times D_4^2+2 (R-1) \big (8 D_5 (R-1)^2+7 D_6 i \left( R^2-1\right) \nonumber \\&\quad -D_7 \left( R^2+4 R+1\right) \big )\Big )\bigg )\bigg ]\nonumber \\&\quad +X_2 \bigg [18 i (R+1) X_4 (R-1)^6+2 \Big (6 D_2 \left( R^2+4 R+1\right) \nonumber \\&\quad -(R-1)^2\Big ) X_3 (R-1)^5\nonumber \\&\quad +\frac{1}{24} i \bigg (3 \left( R^5+57 R^4+302 R^3+302 R^2+57 R+1\right) D_2^4\nonumber \\&\quad +32 (R-1)^2 \left( R^3+11 R^2+11 R+1\right) \nonumber \\&\quad \times D_2^3+36 D_3 i \big (R^5+25 R^4+40 R^3-40 R^2\nonumber \\&\quad -25 R-1\big ) D_2^2+24 i (R-1)^2 \Big (8 D_3 \left( R^3+3 R^2-3 R-1\right) \nonumber \\&\quad +3 D_4 i \left( R^3+11 R^2+11 R+1\right) \Big ) D_2\nonumber \\&\quad -12 (R-1)^2 \Big (3 \left( R^3+11 R^2+11 R+1\right) D_3^2\nonumber \\&\quad +2 (R-1) \left( 8 D_4 \left( R^2-1\right) \right. \nonumber \\&\quad \left. +3 D_5 i \left( R^2+4 R+1\right) \right) \Big )\bigg ) (R-1)^2\bigg ] \Bigg ] \end{aligned}$$

(36)

For $\alpha _1 \beta _2$ regularization, interchange $X_k \leftrightarrow Y_k$.

1.2.5 $\alpha _2 \beta _2$ regularization

$$\begin{aligned}&-\frac{R}{40320 (1-R)^{12}} \left[ -\big (R^{10}+2036 R^9+152637 R^8\right. \nonumber \\&\quad +2203488 R^7+9738114 R^6+15724248 R^5 \nonumber \\&\quad +9738114 R^4+2203488 R^3+152637 R^2+2036 R+1\big )\nonumber \\&\quad \times D_2^8 -112 (R-1)^2 \big (R^8+502 R^7 \nonumber \\&\quad +14608 R^6+88234 R^5+156190 R^4+88234 R^3\nonumber \\&\quad +14608 R^2+502 R+1\big ) D_2^7 \nonumber \\&\quad +56 (R-1) \Big (2 (R-1) \big ((2 X_2-25) R^8\nonumber \\&\quad + 2 (502 X_2-1475) R^7+8 (3652 X_2-2975) R^6 \nonumber \\&\quad +2 (88234 X_2-1925) R^5+10 (31238 X_2+6125) R^4\nonumber \\&\quad +2 (88234 X_2-1925) R^3 \nonumber \\&\quad +8 (3652 X_2-2975) R^2+2 (502 X_2-1475) R\nonumber \\&\quad +2 X_2-25\big )-i D_3 \big (R^9+1013 R^8+47840 R^7 \nonumber \\&\quad +455192 R^6+1310354 R^5+1310354 R^4\nonumber \\&\quad +455192 R^3+47840 R^2+1013 R+1\big )\Big ) D_2^6 \nonumber \\&\quad +336 (R-1)^2 \Big (-14 D_3 i \left( R^8+246 R^7+4046 R^6\right. \nonumber \\&\quad \left. +11326 R^5-11326 R^3-4046 R^2-246 R-1\right) \nonumber \\&\quad +D_4 \left( R^8+502 R^7+14608 R^6+88234 R^5\right. \nonumber \\&\quad \left. +156190 R^4+88234 R^3+14608 R^2+502 R+1\right) \nonumber \\&\quad +2 (R-1) \big ((15 X_2+4 i X_3-20) R^7\nonumber \\&\quad +(1785 X_2+988 i X_3-460) R^6 \nonumber \\&\quad +9 (1785 X_2+1908 i X_3+20) R^5\nonumber \\&\quad +(18375 X_2+62476 i X_3+1900) R^4 \nonumber \\&\quad +(-18375 X_2+62476 i X_3-1900) R^3 \end{aligned}$$

$$\begin{aligned}&\quad -9 (1785 X_2-1908 i X_3+20) R^2 \nonumber \\&\quad +(-1785 X_2+988 i X_3+460)\nonumber \\&\quad \times R-15 X_2+4 i X_3+20\big )\Big ) D_2^5 \nonumber \\&\quad +840 (R-1)^2 \bigg (\big (R^8+502 R^7 +14608 R^6\nonumber \\&\quad +88234 R^5+156190 R^4 +88234 R^3+14608 R^2 \nonumber \\&\quad +502 R+1\big ) D_3^2+4 i \left( R^2-1\right) \big ((2 X_2-25) R^6\nonumber \\&\quad +6 (82 X_2-225) R^5+(8094 X_2-3375) R^4 \nonumber \\&\quad +4 (5786 X_2+2375) R^3+(8094 X_2-3375) R^2\nonumber \\&\quad +6 (82 X_2-225) R+2 X_2-25\big ) D_3 \nonumber \\&\quad +2 (R-1) \Big (14 D_4 \left( R^7+119 R^6+1071 R^5\right. \nonumber \\&\quad \left. +1225 R^4-1225 R^3-1071 R^2-119 R-1\right) \nonumber \\&\quad +D_5 i \left( R^7+247 R^6+4293 R^5+15619 R^4\right. \nonumber \\&\quad \left. +15619 R^3+4293 R^2+247 R+1\right) \nonumber \\&\quad -2 (R-1) \big (-20 \left( R^4+26 R^3+66 R^2+26 R+1\right) \nonumber \\&\quad \times X_2 (R-1)^2+3 \big (R^6+120 R^5+1191 R^4 \nonumber \\&\quad +2416 R^3+1191 R^2+120 R+1\big ) X_2^2+6\nonumber \\&\quad \times \big ((R^6+120 R^5+1191 R^4+2416 R^3+1191 R^2 \nonumber \\&\quad +120 R+1) X_4-4 i \left( R^6+56 R^5+245 R^4\right. \nonumber \\&\quad \left. -245 R^2-56 R-1\right) X_3\big )\big )\Big )\bigg ) D_2^4 \nonumber \\&\quad +6720 (R-1)^3 \bigg (7 \left( R^7+119 R^6+1071 R^5\right. \nonumber \\&\quad \left. +1225 R^4-1225 R^3-1071 R^2-119 R-1\right) D_3^2 \nonumber \\&\quad +i \Big (D_4 \left( R^7+247 R^6+4293 R^5+15619 R^4\right. \nonumber \\&\quad \left. +15619 R^3+4293 R^2+247 R+1\right) \nonumber \\&\quad +2 (R-1) \big ((15 X_2+4 i X_3-20) R^6\nonumber \\&\quad +40 (21 X_2+12 i X_3-4) R^5 \nonumber \\&\quad +(3675 X_2+4764 i X_3+380) R^4+9664 i X_3 R^3\nonumber \\&\quad +(-3675 X_2+4764 i X_3-380) R^2 \nonumber \\&\quad -40 (21 X_2-12 i X_3-4) R-15 X_2+4 i X_3+20\big )\Big )\nonumber \\&\quad \times D_3-(R-1) \Big (18 X_2^2 R^6+D_6 R^6 \nonumber \\&\quad -44 i X_3 R^6+24 i X_2 X_3 R^6+54 X_4 R^6+16 i X_5 R^6\nonumber \\ \end{aligned}$$

$$\begin{aligned}&\quad +432 X_2^2 R^5+120 D_6 R^5-352 i X_3 R^5 \nonumber \\&\quad +1344 i X_2 X_3 R^5+1296 X_4 R^5+896 i X_5 R^5\nonumber \\&\quad +270 X_2^2 R^4+1191 D_6 R^4+836 i X_3 R^4 \nonumber \\&\quad +5880 i X_2 X_3 R^4+810 X_4 R^4+3920 i X_5 R^4\nonumber \\&\quad -1440 X_2^2 R^3+2416 D_6 R^3-4320 X_4 R^3 \nonumber \\&\quad +270 X_2^2 R^2+1191 D_6 R^2-836 i X_3 R^2\nonumber \\&\quad -5880 i X_2 X_3 R^2+810 X_4 R^2-3920 i X_5 R^2 \nonumber \\&\quad +432 X_2^2 R+120 D_6 R+352 i X_3 R-1344 i X_2 X_3 R\nonumber \\&\quad +1296 X_4 R-896 i X_5 R+18 X_2^2+D_6 \nonumber \\&\quad -14 i D_5 \left( R^6+56 R^5+245 R^4-245 R^2-56 R-1\right) \nonumber \\&\quad +2 D_4 \big ((2 X_2-25) R^6+120 (2 X_2-5) R^5 \nonumber \\&\quad +3 (794 X_2-125) R^4+16 (302 X_2+125) R^3\nonumber \\&\quad +3 (794 X_2-125) R^2+120 (2 X_2-5) R \nonumber \\&\quad +2 X_2-25\big )+44 i X_3-24 i X_2 X_3+54 X_4-16 i X_5\Big )\bigg )\nonumber \\&\quad \times D_2^3+3360 (R-1)^3 \bigg (i (R^7+247 R^6 \nonumber \\&\quad +4293 R^5+15619 R^4+15619 R^3+4293 R^2\nonumber \\&\quad +247 R+1) D_3^3-6 (R-1) \big ((2 X_2-25) R^6 \nonumber \\ \end{aligned}$$

$$\begin{aligned}&\quad +120 (2 X_2-5) R^5+3 (794 X_2-125) R^4\nonumber \\&\quad +16 (302 X_2+125) R^3+3 (794 X_2-125) R^2 \nonumber \\&\quad +120 (2 X_2-5) R+2 X_2-25\big ) D_3^2+6 i (R-1)\nonumber \\&\quad \times \Big (14 D_4 (R^6+56 R^5+245 R^4-245 R^2 \nonumber \\&\quad -56 R-1)+D_5 i \left( R^6+120 R^5+1191 R^4\right. \nonumber \\&\quad \left. +2416 R^3+1191 R^2+120 R+1\right) \nonumber \\&\quad -2 (R-1) \big (-20 \left( R^3+11 R^2+11 R+1\right) \nonumber \\&\quad X_2 (R-1)^2+3 (R^5+57 R^4+302 R^3+302 R^2 \nonumber \\&\quad +57 R+1) X_2^2-6 i \big (4 \left( R^5+25 R^4+40 R^3\right. \nonumber \\&\quad \left. -40 R^2-25 R-1\right) X_3+i (R^5+57 R^4+302 R^3 \nonumber \\&\quad +302 R^2+57 R+1) X_4\big )\big )\Big ) D_3-3 (R-1)\nonumber \\&\quad \times \Big ((R^6+120 R^5+1191 R^4+2416 R^3+1191 R^2 \nonumber \\&\quad +120 R+1) D_4^2+4 (R-1) \big ((15 X_2+4 i X_3-20) R^5\nonumber \\&\quad +(375 X_2+228 i X_3-20) R^4 \nonumber \\&\quad +8 (75 X_2+151 i X_3+20) R^3\nonumber \\&\quad -8 (75 X_2-151 i X_3+20) R^2\nonumber \\&\quad +(-375 X_2+228 i X_3+20) R \nonumber \\&\quad -15 X_2+4 i X_3+20\big ) D_4+2 (R-1) \big (-4 X_2^3 R^5 \nonumber \\&\quad + 2 X_2^2 R^5-24 X_3^2 R^5+D_7 i R^5+4 i X_3 R^5 \nonumber \\&\quad +48 i X_2 X_3 R^5-36 X_2 X_4 R^5+36 X_4 R^5\nonumber \\&\quad +48 i X_5 R^5-20 X_6 R^5-100 X_2^3 R^4+2 X_2^2 R^4 \nonumber \\&\quad -600 X_3^2 R^4+57 D_7 i R^4-12 i X_3 R^4\nonumber \\&\quad +432 i X_2 X_3 R^4-900 X_2 X_4 R^4+36 X_4 R^4+432 i X_5 R^4 \nonumber \\&\quad -500 X_6 R^4-160 X_2^3 R^3-16 X_2^2 R^3\nonumber \\&\quad -960 X_3^2 R^3+302 D_7 i R^3+8 i X_3 R^3-480 i X_2 X_3 R^3 \nonumber \\&\quad -1440 X_2 X_4 R^3-288 X_4 R^3-480 i X_5 R^3\nonumber \\&\quad -800 X_6 R^3+160 X_2^3 R^2+16 X_2^2 R^2+960 X_3^2 R^2 \nonumber \\&\quad +302 D_7 i R^2+8 i X_3 R^2-480 i X_2 X_3 R^2\nonumber \\&\quad +1440 X_2 X_4 R^2+288 X_4 R^2-480 i X_5 R^2+800 X_6 R^2 \end{aligned}$$

$$\begin{aligned}&\quad +100 X_2^3 R-2 X_2^2 R+600 X_3^2 R+57 D_7 i\nonumber \\&\quad \times R-12 i X_3 R+432 i X_2 X_3 R+900 X_2 X_4 R-36 X_4 R \nonumber \\&\quad +432 i X_5 R+500 X_6 R+4 X_2^3-2 X_2^2+24 X_3^2\nonumber \\&\quad +D_7 i+14 D_6 (R^5+25 R^4+40 R^3-40 R^2 \nonumber \\&\quad -25 R-1)+2 D_5 i (R+1) \big ((2 X_2-25) R^4\nonumber \\&\quad +8 (14 X_2-25) R^3+6 (82 X_2+75) R^2 \nonumber \\&\quad +8 (14 X_2-25) R+2 X_2-25\big )+4 i X_3\nonumber \\&\quad +48 i X_2 X_3+36 X_2 X_4-36 X_4 +48 i X_5+20 X_6\big )\Big )\bigg ) D_2^2 \nonumber \\&\quad +6720 (R-1)^4 \bigg (14 i \left( R^6+56 R^5+245 R^4\right. \nonumber \\&\quad \left. -245 R^2-56 R-1\right) D_3^3-3 \Big (D_4 (R^6+120 R^5 \nonumber \\&\quad +1191 R^4+2416 R^3+1191 R^2+120 R+1)\nonumber \\&\quad +2 (R-1) \big ((15 X_2+4 i X_3-20) R^5 \nonumber \\&\quad +(375 X_2+228 i X_3-20) R^4+8 (75 X_2\nonumber \\&\quad +151 i X_3+20) R^3-8 (75 X_2-151 i X_3+20) R^2 \nonumber \\&\quad +(-375 X_2+228 i X_3+20) R-15 X_2\nonumber \\&\quad +4 i X_3+20\big )\Big ) D_3^2-6 i (R-1) \Big (2 D_4 (R+1) \big ((2 X_2 \nonumber \\&\quad -25) R^4+8 (14 X_2-25) R^3+6 (82 X_2+75) R^2\nonumber \\&\quad +8 (14 X_2-25) R+2 X_2-25\big ) \nonumber \\&\quad -i \big (14 D_5 \left( R^5+25 R^4+40 R^3-40 R^2-25 R-1\right) \nonumber \\&\quad +D_6 i (R^5+57 R^4+302 R^3+302 R^2 \nonumber \\&\quad +57 R+1)+2 (R-1) (27 i X_4 R^4-8 X_5 R^4\nonumber \\&\quad +270 i X_4 R^3-208 X_5 R^3-528 X_5 R^2 \nonumber \\&\quad -270 i X_4 R-208 X_5 R+9 i \left( R^4+10 R^3-10 R-1\right) \nonumber \\&\quad \times X_2^2+22 (R-1)^2 \left( R^2+4 R+1\right) X_3 \nonumber \\&\quad -12 \left( R^4+26 R^3+66 R^2+26 R+1\right) X_2 X_3\nonumber \\&\quad -27 i X_4-8 X_5)\big )\Big ) D_3 \nonumber \\&\quad -6 (R-1) \Big (7 \left( R^5+25 R^4+40 R^3-40 R^2-25 R-1\right) \nonumber \\&\quad \times D_4^2+\big (i D_5 (R^5+57 R^4+302 R^3 \nonumber \\&\quad +302 R^2+57 R+1)-2 (R-1) (-20 \left( R^2+4 R+1\right) \nonumber \\&\quad \times X_2 (R-1)^2 +3 (R^4+26 R^3 \end{aligned}$$

$$\begin{aligned}&\quad +66 R^2+26 R+1) X_2^2+6 ((R^4+26 R^3+66 R^2\nonumber \\&\quad +26 R+1) X_4 \nonumber \\&\quad -4 i (R^4+10 R^3-10 R-1) X_3))\big ) D_4+i (R-1)\nonumber \\&\quad \times \big (D_5 ((30 X_2+8 i X_3-40) R^4 \nonumber \\&\quad +4 (75 X_2+52 i X_3+20) R^3+528 i X_3 R^2\nonumber \\&\quad -4 (75 X_2-52 i X_3+20) R-30 X_2+8 i X_3+40) \nonumber \\&\quad +i \big (2 X_2^3 R^4+24 X_3^2 R^4+D_8 R^4+24 i X_2^2 X_3 R^4\nonumber \\&\quad +4 i X_2 X_3 R^4+36 X_2 X_4 R^4+72 i X_3 X_4 R^4 \nonumber \\&\quad -40 i X_5 R^4+48 i X_2 X_5 R^4+30 X_6 R^4+24 i X_7 R^4\nonumber \\&\quad +4 X_2^3 R^3+48 X_3^2 R^3+26 D_8 R^3 \nonumber \\&\quad +240 i X_2^2 X_3 R^3-8 i X_2 X_3 R^3+72 X_2 X_4 R^3\nonumber \\&\quad +720 i X_3 X_4 R^3+80 i X_5 R^3+480 i X_2 X_5 R^3 \nonumber \\&\quad +60 X_6 R^3+240 i X_7 R^3-12 X_2^3 R^2-144 X_3^2 R^2\nonumber \\&\quad +66 D_8 R^2-216 X_2 X_4 R^2-180 X_6 R^2 \nonumber \\&\quad +4 X_2^3 R+48 X_3^2 R+26 D_8 R-240 i X_2^2 X_3 R\nonumber \\&\quad +8 i X_2 X_3 R+72 X_2 X_4 R-720 i X_3 X_4 R \nonumber \\&\quad -80 i X_5 R-480 i X_2 X_5 R+60 X_6 R-240 i X_7\nonumber \\&\quad \times R+2 X_2^3+24 X_3^2+D_8 \nonumber \\&\quad -14 i D_7 \left( R^4+10 R^3-10 R-1\right) +2 D_6 ((2 X_2-25)\nonumber \\&\quad R^4+(52 X_2-50) R^3+6 (22 X_2+25) R^2 \nonumber \\&\quad +(52 X_2-50) R+2 X_2-25)-24 i X_2^2 X_3-4 i X_2 X_3\nonumber \\&\quad +36 X_2 X_4-72 i X_3 X_4+40 i X_5 \nonumber \\&\quad -48 i X_2 X_5+30 X_6-24 i X_7\big )\big )\Big )\bigg ) D_2-1680 (R-1)^4\nonumber \\&\quad \times \bigg ((R^6+120 R^5+1191 R^4+2416 R^3 \nonumber \\&\quad +1191 R^2+120 R+1) D_3^4+8 i \left( R^2-1\right) \nonumber \\&\quad \times \big ((2 X_2-25) R^4+8 (14 X_2-25) R^3 \nonumber \\&\quad +6 (82 X_2+75) R^2+8 (14 X_2-25) R+2 X_2-25\big )\nonumber \\&\quad \times D_3^3+12 (R-1) \Big (14 D_4 (R^5+25 R^4 \nonumber \\&\quad +40 R^3-40 R^2-25 R-1)+\nonumber \\&\quad \times D_5 i \left( R^5+57 R^4+302 R^3+302 R^2+57 R+1\right) \nonumber \\&\quad -2 (R-1) \big (-20 \left( R^2+4 R+1\right) X_2 (R-1)^2\nonumber \\&\quad +3 \left( R^4+26 R^3+66 R^2+26 R+1\right) X_2^2\\&\quad +6 \left( \left( R^4+26 R^3+66 R^2+26 R+1\right) X_4\right. \nonumber \\&\quad \left. -4 i \left( R^4+10 R^3-10 R-1\right) X_3\right) \big )\Big ) D_3^2\\&\quad +12 i (R-1) \Big (\left( R^5+57 R^4+302 R^3+302 R^2\right. \nonumber \\&\quad \left. +57 R+1\right) D_4^2 +4 (R-1) ((15 X_2+4 i X_3 \end{aligned}$$

$$\begin{aligned}&\quad -20) R^4+2 (75 X_2+52 i X_3+20) R^3+264 i X_3\nonumber \\&\quad \times R^2-2 (75 X_2-52 i X_3+20) R-15 X_2 \nonumber \\&\quad +4 i X_3+20) D_4+2 i (R-1) \big (2 D_5 ((2 X_2-25)\nonumber \\&\quad \times R^4+(52 X_2-50) R^3+6 (22 X_2+25) R^2 \nonumber \\&\quad +(52 X_2-50) R+2 X_2-25)\nonumber \\&\quad -i \big (14 D_6 \left( R^4+10 R^3-10 R-1\right) \nonumber \\&\quad +D_7 i (R^4+26 R^3+66 R^2 \nonumber \\&\quad +26 R+1)-2 (R-1) (2 \left( R^3+11 R^2+11 R+1\right) \nonumber \\&\quad \times X_2^3-(R-1)^2 (R+1) X_2^2 \nonumber \\&\quad +6 \left( 3 \left( R^3+11 R^2+11 R+1\right) \right. \nonumber \\&\quad \left. \times X_4-4 i \left( R^3+3 R^2-3 R-1\right) X_3\right) \nonumber \\&\quad \times X_2+2 (-i X_3 (R-1)^3 \nonumber \\&\quad -9 (R+1) X_4 (R-1)^2\nonumber \\&\quad +6 \left( R^3+11 R^2+11 R+1\right) X_3^2-12\nonumber \\&\quad \times i R^3 X_5-36 i R^2 X_5+12 i X_5 \nonumber \\&\quad +36 i R X_5+5 R^3 X_6+55 R^2 X_6+55 R X_6+5 X_6))\big )\big )\Big )\nonumber \\&\quad \times D_3-12 (R-1)^2 \Big (2 ((2 X_2-25) R^4 \nonumber \\&\quad +(52 X_2-50) R^3+6 (22 X_2+25) R^2\nonumber \\&\quad +(52 X_2-50) R+2 X_2-25) D_4^2 \nonumber \\&\quad +2 \big (-14 D_5 i \left( R^4+10 R^3-10 R-1\right) \nonumber \\&\quad +D_6 \left( R^4+26 R^3+66 R^2+26 R+1\right) \nonumber \\&\quad +2 (R-1) (27 X_4 R^3+8 i X_5 R^3+81 X_4 R^2\nonumber \\&\quad +88 i X_5 R^2-81 X_4 R+88 i X_5 R \nonumber \\&\quad +9 \left( R^3+3 R^2-3 R-1\right) X_2^2-22 i (R-1)^2\nonumber \\&\quad \times (R+1) X_3+12 i \left( R^3+11 R^2+11 R+1\right) X_2 X_3 \nonumber \\&\quad -27 X_4+8 i X_5)\big ) D_4\nonumber \\&\quad +D_5^2 \left( R^4+26 R^3+66 R^2+26 R+1\right) \\&\quad +4 D_5 i (R-1) \left( -20 (R+1) X_2 (R-1)^2\right. \nonumber \\&\quad +3 \left( R^3+11 R^2+11 R+1\right) X_2^2 \nonumber \\&\quad +6 \left( \left( R^3+11 R^2+11 R+1\right) \right. \nonumber \\&\quad \left. \left. \times X_4-4 i \left( R^3+3 R^2-3 R-1\right) X_3\right) \right) \nonumber \\&\quad +2 (R-1) \big (-R^3 X_2^4-3 R^2 X_2^4+3 R X_2^4\nonumber \\&\quad +X_2^4-36 R^3 X_4 X_2^2-108 R^2 X_4 X_2^2+108 R X_4 X_2^2 \nonumber \\&\quad +36 X_4 X_2^2-48 R^3 X_3^2 X_2-144 R^2 X_3^2 X_2\nonumber \\&\quad +144 R X_3^2 X_2+48 X_3^2 X_2-60 R^3 X_6 X_2 \nonumber \\&\quad -180 R^2 X_6 X_2+180 R X_6 X_2+60 X_6 X_2\nonumber \\&\quad +14 D_8 R^3+D_9 i R^3+42 D_8 R^2+11 D_9 i R^2 \end{aligned}$$

$$\begin{aligned}&\quad -4 R^3 X_3^2+12 R^2 X_3^2-12 R X_3^2+4 X_3^2-54 R^3 X_4^2\nonumber \\&\quad -162 R^2 X_4^2+162 R X_4^2\nonumber \\&\quad +54 X_4^2-14 D_8 \nonumber \\&\quad +D_9 i-42 D_8 R+11 D_9 i R+2 D_7 i (R+1)\nonumber \\&\quad \left( (2 X_2-25) R^2+10 (2 X_2+5) R+2 X_2-25\right) \nonumber \\&\quad +2 D_6 ((15 X_2\!+\!4 i X_3-20) R^3{+}(45 X_2{+}44 i X_3+60)R^2\nonumber \\&\quad +(-45 X_2+44 i X_3-60) R \nonumber \\&\quad -15 X_2+4 i X_3+20)-96 R^3 X_3 X_5-288 R^2 X_3 X_5\nonumber \\&\quad +288 R X_3 X_5+96 X_3 X_5+80 R^3 X_6 \nonumber \\&\quad -240 R^2 X_6+240 R X_6-80 X_6-28 R^3 X_8\nonumber \\&\quad \left. -84 R^2 X_8+84 R X_8+28 X_8\big )\Big )\bigg ) \right] \end{aligned}$$

(37)