1: \section{Integral Transform}
2: \label{Itransf}
3: We define the integral transform to be the following linear transformation
4: \be
5: I(\l^s \bar{\l}^{\bar{s}})(\rho,\bar{\rho}) =
6: \frac{\Gamma(\bar{s}+1)}{\Gamma(-s)}
7: (-\bar{\rho})^{-\bar{s}-1}({\rho})^{-{s}-1},
8: \ee
9: with $s-\bar{s}$ restricted to be an integer. Under this condition
10: this expression is symmetric in the exchange of $s$ with $\bar{s}$.
11: One can check that it satisfies the following properties
12: \bea\label{intid}
13: I(e^{ \bar{a} \bar{\l}}(\l \bar{\l})^s)(\rho,\bar{\rho}) &=&
14: I((\l \bar{\l})^s)(\rho ,\bar{\rho} +\bar{a})\\
15: I((\l+a)^s \bar{\l}^{\bar{s}})(\rho) &=& e^{-\rho a}I(\l^s \bar{\l}^{\bar{s}})(\rho)\\
16: I\circ I((\l^s \bar{\l}^{\bar{s}})(\rho)&=& -(-1)^{s-\bar{s}} \rho^s \bar{\rho}^{\bar{s}}
17: \eea
18: the first two identities express the fact that $I$ represent the integral transform
19: \be
20: I(f)(\rho,\bar{\rho})= \frac{-1}{\pi} \int d^2\l |e^{\rho \l}|^2 f(\l,\bar{\l})
21: \ee
22: where the normalization has been fixed by
23: computing the integral transform of $e^{\lambda \bar{\lambda}}$.
24:
25: In order to prove these equalities we need to use the following identities
26: \bea \label{int+}
27: e^{-z} &=&\sum_n \frac{(-1)^n}{\Gamma(n+1)} z^{n}, \\
28: (z+w)^{s}&=& \sum_n \frac{(-1)^n \Gamma(n-s)}{\Gamma(n+1)\Gamma(-s)} z^n w^{n-x}
29: %&=& \sum_n \frac{\Gamma(s+1)}{\Gamma(n+1) \Gamma(s+1 -n)} z^n w^{n-x}
30: \eea
31: when $z<w$.
32: Let us prove for instance the first identity \eqr{intid}
33: \bea
34: I(e^{ \bar{a} \bar{\l}}(\l \bar{\l})^s)(\rho,\bar{\rho})
35: &=&\sum_n \displaystyle\frac{\bar{a}^n}{\Gamma(n+1)} I( \l^n \bar{\l}^{n+s}) \nn
36: &=&\sum_n \displaystyle\frac{\Gamma(n+s+1)}{\Gamma(n+1) \Gamma(-s)} \bar{a}^n \rho^{-s-1} (-\bar{\rho})^{-n-s-1} \nn
37: &=&\displaystyle\frac{\Gamma(s+1)}{\Gamma(-s)} (-\bar{\rho}\rho)^{-s-1}
38: \sum_n \frac{\Gamma(n+s+1)}{\Gamma(n+1)\Gamma(s+1)} \left(-\frac{\bar{a}}{\bar{\rho}}\right)^n \nn
39: &=&\displaystyle\frac{\Gamma(s+1)}{\Gamma(-s)}(-\rho (\bar{\rho}+\bar{a}))^{-s-1}
40: \eea
41: which is the RHS of \eqr{intid}.
42: The main result of this section consists in showing the following identity
43: \be\label{mainres}
44: I\left( \frac{(A\bar{\l}\l +\bar{B} \l +B \bar{\l} +C)^s}{\Gamma(s+1)}\right)(\rho,\bar{\rho})
45: = -\left|e^{-\rho \frac{B}{A}}\right|^2 \frac{ A^s}{(-|\rho|^2)^{s+1}}
46: \left(\frac{\cal{D}}{2}\right)^{s+1} I_{-s-1}({\cal{D}})
47: \ee
48: where we have introduced
49: \be
50: \frac{\cal{D}}{2} = |\rho| \frac{\sqrt{B\bar{B} -AC}}{A},
51: \ee
52: and $I_\nu(z)$ is the modified Bessel function of the first kind.
53:
54: Here is the proof: first we complete the square
55: \be
56: (A\bar{\l}\l +\bar{B} \l +B \bar{\l} +C)
57: = A \left( \left|\l + \frac{B}{A}\right|^2 + \frac{AC-B \bar{B}}{A^2}\right)
58: \ee
59: then use the identity \eqr{int+} to express the LHS of (\ref{mainres}) as
60: \be
61: \sum_n \frac{(-1)^n \Gamma(n -s)}{\Gamma(n+1) \Gamma(-s)\Gamma(s+1)} A^s
62: I\left(\left|\l + \frac{B}{A}\right|^{2(s-n)}\right)(\rho) \left(\frac{AC-B \bar{B}}{A^2}\right)^{n}.
63: \ee
64: after evaluation of the integral transform one get
65: \be
66: \left|e^{-\rho \frac{B}{A}}\right|^2 \frac{A^s}{(-|\rho|^2)^{s+1}}\frac{\sin\pi(s+1)}{\pi}
67: \sum_n \frac{(-1)^n\Gamma(s+1 -n)}{\Gamma(n+1)}
68: \left(-|\rho|^2 \frac{AC-B \bar{B}}{A^2}\right)^{n}.
69: \ee
70: To finish the proof one need to use the identity
71: \be
72: \sum_n \frac{(-1)^n \Gamma(\nu-n)}{\Gamma(n+1) } \left(\frac{z}{2}\right)^{2n}
73: =-\frac{\pi}{\sin\pi\nu}\left(\frac{z}{2}\right)^{\nu} I_{-\nu}(z)
74: \ee
75:
76: \section{Chiral Splitting of Integrals}
77: \label{app:split}
78:
79: In this section we prove the chiral splitting property of the integral
80: \be \label{split}
81: I(f,\bar{g})= \int d^2w \, f(w) \, \bar{g}(\bar w)
82: \ee
83: where
84: $f,\bar{g}$ are analytic functions having branch points at $z_1,\cdots, z_n$. The monodromy around the point $z_i$ is given by $e^{2i\pi p_i}$.
85: For example we can have $ f(w)= \prod_i(w-z_i)^{p_i}$.
86: The main point we want to stress here is that such surface integrals can be written in terms of contour integrals.
87: Suppose for simplicity that all $z_i$ are real and ordered as $ z_1< z_2<...<z_n$.
88: We then have
89: \be
90: \int d^2w ~f(w) \, \bar{g}(w)
91: = \sum_{i=1}^{n-1} \oint_{a_i} f(w) \, dw \, {\int_{z_i}^{z_{i+1}} \bar{g}(\bar w) d\bar w}~,
92: \ee
93: where $a_i$ is the contour of integration starting at $-\infty$ going around~$z_1,\cdots,z_i$
94: in a clockwise direction and going back to $-\infty $ below the real axis.
95: The proof of this statement is obtained by writing the integral over $w=x+iy$
96: as an integral over $x$ and $y$ and then rotating the contour of integration of $iy$ along the real axis.
97: A careful analysis similar to the one done in \cite{Kawai:1985xq} leads to the results stated above.
98:
99:
100: We can now specify this result when there are three finite branch points
101: $0,z,1$ with $0<z<1$.
102: Let us introduce the following notation
103: $ I_1(f) =\int_{-\infty}^0 |f(w)|dw $, $ I_2(f) =\int_0^z |f(w)|dw $, $I_3(f) =\int_{z}^1 |f(w)|dw $,
104: $I_4(f) =\int_{1}^\infty |f(w)|dw $.
105: These integrals are not all independent. Consider the contour of integration $C$
106: starting from $+\infty$ going around $0,z,1$ in a clockwise manner and going back to $\infty$.
107: The integral of $f$ along this contour is zero; and it can be decomposed as integrals $I_i$.
108: Namely
109: \be\label{id1}
110: 0= \oint_C f = \sin{\pi p_1} I_2 + \sin{\pi(p_1 +p_2)} I_3 +\sin\pi(p_1+p_2+p_3)I_4
111: \ee
112: If we now take a contour which starts at $-\infty$, goes around $0,z$ in a clockwise direction, comes back at
113: $-\infty$ and then another contour which starts off at $+\infty$ and goes around 1 in a counterclockwise direction, we get another identity
114: \be\label{id2}
115: 0=\sin{\pi (p_1+p_2)} I_1 + \sin{\pi p_2} I_2 - \sin\pi p_3 I_4.
116: \ee
117: The integrals along the contours $a_1,a_2$ can also be expressed in terms of $I_i$
118: \bea
119: \oint_{a_1} \frac{d^2\lambda}{\pi} f = - \sin\pi p_1 I_1(f) \\
120: \oint_{a_2} \frac{d^2\lambda}{\pi} f = - \sin\pi p_3 I_4(f).
121: \eea
122: The measure in the above integrals are fixed by
123: computing the integral transform of $e^{\lambda \bar{\lambda}}$.
124: Altogether the total integral can be written as
125: \be
126: - \sin\pi p_1 I_1(f)\bar{I}_2(g)- \sin\pi p_3 I_4(f) \bar{I}_3(g),
127: \ee
128: Using \eqr{id1} and \eqr{id2} we can eliminate $I_1(f)$ and $\bar{I}_3(g)$ respectively.
129: This finally gives the identity
130: \be\label{finalchirsplit}
131: I(f,\bar{g})=\frac{\sin\pi p_1 \sin\pi p_2}{\sin \pi (p_1 +p_2)}I_2(f)\bar{I}_2(g)
132: +\frac{\sin\pi p_3 \sin\pi (p_1+p_2+p_3)}{\sin \pi (p_1 +p_2)} I_4(f)\bar{I}_4(g)~.
133: \ee
134: