From minimal gravity to open intersection theory

We investigated the relation between the two-dimensional minimal gravity (Lee-Yang series) with boundaries and open intersection theory. It is noted that the minimal gravity with boundaries is defined in terms of boundary cosmological constant $\mu_B$ and the open intersection theory in terms of boundary marked point generating parameter $s$. Based on the conjecture that the two different descriptions of the generating functions are related by the Laplace transform, we derive the compact expressions for the generating function of the intersection theory from that of the minimal gravity on a disk and on a cylinder.


Introduction
The interplay of the KdV hierarchy between two-dimensional quantum gravity and intersection theory (IT) for the moduli spaces of closed Riemann surfaces was proposed in [1]. The conjecture of Witten for the IT was proved in [2] by finding the generating function (GF), also known as free energy, of the one-matrix Airy function. Later, the KdV hierarchy was also checked for 2d minimal gravity of Lee-Yang series (MG) by constructing the effective GF on genera up to 3 in [3] using the one-matrix model polynomials.
Similar interplay is noted for the models on the Riemann surfaces with boundaries [4,5]. The GF of the MG with boundaries (BMG) satisfies the relations, similar to the ones known for the open intersection theory (OIT) [6]. These relations include the boundary version of the KdV hierarchy and the string equation, which encode the generalized Virasoro constraints, the analogue of the constraints on the closed Riemann surfaces [7,8].
In this paper we continue the investigation of the interplay between the two-dimensional gravity and intersection theory on the moduli spaces of Riemann surfaces with boundaries.
While the GF of IT and that of MG satisfy essentially the same equations, including the KdV hierarchy and the Virasoro constraints, they have perturbative expansions with drastically different properties. The reason is that they belong to different classes of the solutions with different types of analytical properties, which can be related with each other by different types of analytical continuation. It should be noted that the set of KdV parameters in two theories plays a different role. On the closed Riemann surfaces, the bulk cosmological constant µ provides the gravitational scaling dimension (GSD) and plays a major role for MG. In addition the GF is non-analytic in µ and therefore, one cannot turn off µ in MG. On the other hand, t 0 in IT provides the scaling dimension (SD), which, in general, has nothing to do with µ. As a result, even though both GF are solutions of the same KdV hierarchy, they are different.
Similar analysis holds for the open KdV hierarchy. BMG needs the boundary cosmological constant µ B and its open KdV hierarchy is given in terms of µ B . On the other hand, OIT and its open KdV are described by the boundary parameter s. As a result, the open KdV hierarchy of BMG differs from that of OIT. Nevertheless, the two different KdV hierarchies turn out to be closely related each other: Exponentials of the GF of two theories are related through the Laplace transform [5].
As a result of the comparison between two representations, we obtain the elegant formulas for the generating functions on the disk and the cylinder. They are given in terms of the variables, which are known to be convenient for the description of the matrix models [9,10].
The paper is organized as follows. In section 2, description of IT and MG in terms of the KdV hierarchy and Virasoro constraints are summarized and clarified: Section 2.1 is for the closed Riemann surfaces and section 2.2 is for the Riemann surfaces with boundaries (open Riemann surfaces). In section 3, GF of BMG with µ B -parameter is analyzed in terms of open KdV hierarchy with Euler characteristic expansion. In section 4, we find GF of OIT in s-space using the Laplace transform from GF of BMG in µ B -space. In this process, one has to find a way to choose the right solution of string equation. We check explicitly that the transformed GF in s-space coincides with the known GF of OIT on a fluctuating disk. In addition we provide the GF on a fluctuating cylinder. Section 5 is the summary and discussion.

Riemann surfaces without boundary
Minimal quantum gravity of Lee-Yang series M (2, 2p + 1) on the closed Riemann surface is described either by the Liouville field theory coupled to conformal matter [11] or by the scaling limit of one-matrix model [12,13]. Its generating function (free energy) has natural genus expansion where λ is the genus expansion parameter. Two approaches led to the different expressions for the GF, which are believed to be related to each other by the so-called resonance transformations [14,15]. Below we will work with the matrix model description, which has a much clearer relation to the integrable hierarchies. The GF F c depends on the multiple KdV parameters τ 0 , τ 1 , · · · , τ p−1 , and it is convenient to introduce the function 2) The matrix model formulation allows us to construct the GF, F c , dependent on the infinitely many descendent variables. However, we do not consider this opportunity below. The flow equations of u along the KdV parameter directions constitute the KdV hierarchy [16][17][18][19]. The KdV hierarchy and the string equation satisfied by the GF of MG can be represented as where τ p+1 = 1 and τ k = 0 for k > p + 1. On a fluctuating sphere, the flows are described by the dispersionless limit of the KdV hierarchy (2.3), which has the simple form Here F c (0) is the GF on the sphere, and it is best described in terms of A 1 Frobenius manifold [20,21] (see also [22,23] for a dual description in terms of A 2p ) whose coordinate is identified with the second derivative of the GF: The string equation can be reduced to the polynomial form: This equation can be obtained if one takes the second derivative of (2.4) with respect to τ 0 , uses the dispersionlees KdV hierarchy (2.5) and integrates the result over τ 0 . It is noted that GF of MG is constructed on the fluctuating sphere in [24] for the Lee-Yang model using both of the results of Liouville field theory and matrix model. This result is extended in [15] to the Lee-Yang series where P(v) is the string polynomial and w is a proper solution of the string equation of the polynomial form (2.7). One can check easily that F c (0) satisfies the KdV hierarchy and the string equation. GF of MG is further constructed up to genus 3 in [3], and these contributions are also found to satisfy the KdV hierarchy.
In [1] it was conjectured that two-dimensional gravity is related to the intersection theory on the moduli space of Riemann surfaces. The GF of IT depends on the infinitely many parameters, t = (t 0 , t 1 , · · · ), playing the role of the coupling constants of the gravitational descendants in topological gravity. From this physical identification of different two-dimensional gravity models Witten concluded that the all genera GF of IT, F c , also satisfies the KdV hierarchy and the string equation: (2.10) Here and from now on, we distinguish the notation of GF, F for MG and F for IT. The conjecture was proved in [2] by identifying of the GF of IT with the matrix integral over N × N hermitian matrix X with the cubic potential with the condition F c (t = 0) = 0. For this Kontsevich matrix integral representation the set of KdV parameters is given by the Miwa variables 12) assuming N is sufficiently large. It is known that the KdV hierarchy and string equation imply the Virasoro constraints [7,8]: L n e F c = 0 for n ≥ −1. (2.13) The Virasoro generators are 14) and for n > 0 The Virasoro constraints can also be derived from the Kontsevich matrix integral [25][26][27]. From the comparison of the KdV hierarchy and the string equation of MG (2.3)-(2.4) and those of IT (2.9)-(2.10) one can conclude, that they coincide after an identification of all variables τ n with t n except for n = 1. Namely, t 1 is identified with τ 1 shifted by a constant, t 1 = τ 1 + 1. This is a well-known dilaton shift. Let us stress that, while the equation satisfied by the GF of IT and that of MG are almost the same, the solutions do not coincide. In particular, the role of KdV parameters in two models differs dramatically. First, τ n in MG couples to the gravitation primary operator of Lee-Yang series. On the other hand, t n for n > 0 in IT couples to gravitational descendant operator.
Second, more important is the role of τ p−1 of MG and t 0 of IT. In MG approach the cosmological constant µ should be present and all the physical quantities in MG are equipped with the gravitational scaling dimension (GSD), which counts the power of µ [11]. It is known [14,24] that τ p−1 plays the role of µ. Other KdV parameters τ n (n < p − 1) are considered as deformation parameters. Before the deformation, the string equation of the polynomial form (2.7), has a non-trivial solution v ∝ √ µ and namely this solution describes MG. This shows that, in general, GF of MG is non-analytic in τ p−1 , as GF is given in powers of v (see for example, (2.8)) and GSD is given by a fractional number. It can be shown that the GF of MG is scale-free. Note that in (2.7) the coefficient of the term v p+1 is assumed to be scale-free and can be normalized to 1. Since GSD of v is 1/2, GSD of P(τ, v) is (p + 1)/2 and GSD of the deformation parameters τ k is (p + 1 − k)/2. According to (2.8), GSD of GF on sphere is (2p + 3)/2. In addition, the genus expansion parameter λ 2 in (2.1) has non-vanishing GSD, namely, (2p + 3)/2.
To compare the IT with the MG we can put t n = 0 (n ≥ p) in the GF, which restricts to the subspace with the finite number of KdV parameters t = (t 0 , t 1 , · · · t p−1 ). Then, the string polynomial for IT is obtained from (2.7) by the above described between τ and t, where the linear power of v is added due to the t 1 shift. In this case, t 0 becomes the basic parameter and the others are treated as deformation parameters, so that the undeformed solution is v = t 0 . One can show that the string polynomial (2.18) is consistent with the KdV hierarchy (2.9) and the string equation (2.10) to the lowest order in λ.
The solution of this string equation, corresponding to IT is completely perturbative in t k 's. Namely, it is a power series of all the KdV parameters t k so it has a regular limit when all of them, including t 0 , go to zero. In a certain sense, the GF of IT can be considered as a "universal" GF for the whole Lee-Yang series, starting from M (2, 1) model, adding proper number of variables and allowing analytic continuation on the solution space [3].
Like in MG, one can introduce the scaling dimension (SD) to IT: In (2.18), t 1 is assumed to be a scale-free parameter. Therefore, it is natural to define SD as the power of t 0 , the basic scale parameter. This shows that SD of v is 1 and therefore, SD of P (t, v) is assigned to be 1 and SD of the deformation parameters t k is 1 − k. Note that v = t 0 before deformation, and that SD of GF on sphere is 3 (from the definition v = ∂ 2 F c (0) /∂t 2 0 ), so is the SD of the genus expansion parameter λ 2 .

Riemann surfaces with boundaries
Recently the intersection theory on the moduli spaces of the Riemann surfaces with boundaries was developed by Pandharipande, Solomon and Tessler [6], see also [28,29]. They have described the GF F o for the open intersection numbers given by the integrals of the products of the first Chern classes ψ i of the cotangent line bundles over the compactification Mḡ ,k,l of the moduli space of Riemann surfaces with boundaries. They also constructed explicitly the leading contribution to this GF, given by the disk geometry, and explained how to make the naive description (2.19) precise for the higher geometries. The integral is non-vanishing only if dimension of Mḡ ,k,l , coincides with the degree of the integrand: and the stability condition 2ḡ − 2 + k + 2l > 0 is satisfied. The GF, which depends on the KdV parameters t k and an additional parameter s, associated with the insertion of the marked points on the boundary, has a natural topological expansion Hereḡ is the genus of the doubled Riemann surface. This expansion can be interpreted as the Euler characteristic expansion: where χ = 2 − 2g − k is given in terms of the number of handles (g ≥ 0) and the number of boundaries (k ≥ 1) of the Riemann surface with boundaries, and is related toḡ asḡ = 1−χ.
Hereafter, we call the Euler characteristics expansion theḡ-expansion. The authors of [6] also suggested a generalization of the Virasoro constraints (2.13) for the open case: where B n = L n + λ n s ∂ n+1 ∂s n+1 + 3n + 3 4 λ n ∂ n ∂s n . (2.25) In particular, for n = −1 with the help of the string equation (2.10), the equation (2.24) reduces to the open string equation An open version of the KdV hierarchy, satisfied by the open GF, was also introduced in [6] 2n + 1 2 While the relation of the open KdV equations to the integrable hierarchies remains unclear, it was proven by Buryak in [30], that the open KdV hierarchy has a unique solution with the given initial conditions, and this solution satisfies the open Virasoro constraints (2.24). Buryak also found an additional s-flow equation, which is consistent with the open KdV hierarchy: Having in mind the connection between IT and MG in the closed case, outlined in section 2.1, it is natural to expect a similar connection for the case with boundaries. The GF of BMG has theḡ-expansion (2.22): However, the description of the OIT looks completely different from that of the BMG. Namely, boundary effects in BMG are described by the boundary cosmological constant µ B , whose nature essentially differs from that of the boundary marked point insertion parameter s of the OIT. A clue to the relation between two pictures can be seen from the comparison of the equations, satisfied by the leading terms of theḡ expansion, that is GF's on the disk. For the BMG on the disk, F o (0) , one has [14] F Here v(x) is a function of x, which is governed by the string equation of the polynomial form (2.7), with τ 0 substituted by x. The GF in (2.30) satisfies the following equation [4]: This observation allows us to conjecture, that the s and µ B pictures are related by the Laplace (or Fourier) transform [5] with the inverse transform To avoid confusion we indicate explicitly the variable s or µ B . Here we continue to use the notation F after the Laplace transform and, depending on the context, we assume it to depend on the KdV variables τ or t. The reason is that we expect this relation still to be valid beyond the proper parameter range of the OIT of [6]. As we will show in the following section, to get the GF of OIT one has to choose very particular F o (µ B ), which corresponds to a certain topological branch of BMG. and which allows to express µ b in terms of s and t or τ and vice versa. Thus, the disk amplitudes are related by the Legendre transform The next orders of theḡ-expansion can be obtained by computation of the Gaussian integral with perturbation, in particular where the expression for µ B in (2.35) is used.
Another, but essentially equivalent, version of the Laplace transform of GF of OIT was considered in [28]. It was shown that after the Laplace transform the GF of OIT coincides with the Baker-Akhiezer function of the Kontsevich-Witten tau-function of the KdV hierarchy: where z is to be identified with i √ 2µ B . In appendix B we compare the first term of this identity with our simplest result in section 4.1. The same relation between the GF of open and closed versions of MG, which is probably the simplest example of the more fundamental relation between open and closed theories, was obtained in [31]. This demonstrates, that the Laplace transform (2.33) indeed provides a correct way to introduce the boundary cosmological constant into the OIT. Below, we describe explicit computations, which also support this claim. The conjectural relation through the Laplace transform allows us to translate the properties of the GF from s to µ B pictures and back. In particular, the Virasoro constraints where [5] The open string equation becomes In addition, the s-flow equation (2.28) has a new form in the µ B -space: 3 Generating function of minimal gravity with boundaries

Generating function on a disk
According to one-matrix model approach, the continuum limit of the matrix variable is described by a differential operatorQ 2 = −∂ 2 x + u(x), where u is given by (2.2) [16,17], and the GF of BMG can be expressed in terms of u, obtained from GF of MG without boundary. For the GF on a disk one may use the dispersionless limit (neglecting derivatives) ofQ 2 , the second order polynomial in y; Q 2 = y 2 + v(x).
The GF on a disk has the integral representation (2.30) with the proper normalization [14]: and is given symbolically by Tr log(µ B + Q 2 ) , which is straightforwardly extendable to incorporate multiple boundaries and to impose boundary conditions [34]. In is also satisfied if one notes that where w = v(τ 0 ) denotes the relevant solution of P(τ, v) = 0.
To simplify the expression one can change the integration variable x into v if the string polynomial equation for P(τ, v) in (2.7) is used: (3.4) Here P (1) (τ, v) = dP/dv plays the role of the Jacobian factor dx/dv = −dP/dv. It should be emphasized that the integration variable v is independent of τ n . After the integration by parts in v, one gets where we use P(τ, w) = 0. Therefore, one has where, due to P(τ, w) = 0, we have an identity (2k + 1) n! a n,k P k (η), (3.9) where a n,k = 1 2 (n−k)/2 ((n − k)/2)!(n + k + 1)!! . (3.10) Then the integration over η is given as the modified Bessel function of the second kind K n : Furthermore, the integration over l is performed (after analytic continuation if necessary) to give Here we put µ B = w cosh(θ). As a result, (3.7) is given in terms of the Chebyshev polynomial T n (cosh(x)) = cosh(nx): k=n,n−2,···≥0 a n,k T 2k+1 (cosh( θ/2)).

(3.13)
It is noted that O n disk in general depends on the KdV parameters since w and θ are functions of KdV parameters. However, on-shell w and θ reduce to certain constant values, w ∝ √ µ and cosh(θ) ∝ µ B / √ µ.

Higherḡ-expansion
The open KdV hierarchy (2.41) and the open string equation (2.42) allow one to further evaluate the higherḡ ≥ 1 contributions using theḡ-expansion: Here and below the term F c ((ḡ−1)/2) is present only whenḡ is odd. In addition BCE (2.43) shows that higherḡ ≥ 1 equation becomes linear in F o (ḡ) : Theḡ-expansion shows that higherḡ contribution, more precisely, its first derivatives, is given in terms of lowerḡ solution. Therefore, GF for eachḡ can be obtained from F o (0) (τ, µ B ), which satisfies the lowest order non-linear equation (3.2).
One can obtain the GF forḡ = 1 if one uses the BCE (3.16) which simplifies forḡ = 1 as the following: The solution has the form where τ 0 -independent but τ n>0 -dependent contribution turns out to vanish except the trivial constant [5]. This solution can be compared with the GF of BMG from the matrix model com- , where the subscript c denotes the connected part and M is the hermitian matrix. In the continuum limit, one has to replace M by Q 2 to have the form [17]: where the integration range of x 1 does not overlap with that of x 2 because of the connected part. In addition, v(x) in Q 2 is replaced by w because derivative of v does not contribute to the cylindrical contribution [14]. One may evaluate the integral easily, by inserting the identity 1 = ∞ −∞ dp a |p a p a |, with p a |x i = e ipax i , and performing the p a -integral (Gaussian integral), the matrix element is evaluated as This shows that [14]  To regularize this divergent integral we take a derivative with respect to τ n : Integrating over τ n again gives where a is the integration constant independent of τ n . If the constant a is fixed as The solution is unique [35].
In this section, we will find the GF of OIT in a different way. Namely, we demonstrate that the Laplace transform (2.32) converts the GF of a particular topological solution of the BMG in µ B -space into the GF of OIT in s-space: If the GF obeys the open KdV hierarchy and the GF on a disk (ḡ = 0 contribution) satisfies the initial condition (4.1), then, higherḡ > 0 contribution should also work due to the uniqueness of the solution.

Generating function on a disk
Note that the Laplace transform (4.2) reduces to the Legendre transform forḡ = 0 [5]: and the boundary parameters, s and µ B , are related through To get the GF of OIT we have to take a particular GF on the µ B side, F o (0) (t, µ B ). We claim that it is given by the disk GF (2.30) where τ 0 substituted by t 0 , and v is the solution of the polynomial string equation (2.18) as p tends to infinity. So GF of OIT is represented by (3.4) but with replacing the string polynomial P(τ, v) with P (t, v) in (2.18): (4.5) Here w corresponds to the solution of P (t, v) = 0, regarding the terms with the parameter set {t k } is treated as a perturbation. Let us check if this OIT solution coincides with the GF in s-space. We use the Legendre transform with the conjugate variable s (4.6) To get some idea about how to find the explicit form of F o (0) (t, s), we start with p = 1 case and move on to p = 2, 3 and p = 4, and then extract generic features. Of course, for any p the case with p − 1 can be obtained if one puts t p−1 = 0. p = 1 case: In this case only t 0 is present, P (1) = −1 and w = t 0 . Thus (4.5) has the simple form: (4.7) Note that this integral depends only on the sum µ B + w. This integral is divergent as l → 0 and needs regularization to be finite. We note the differentiation which makes the integral finite: After integration over µ B once, we have discarding µ B independent term. Likewise, one more integration gives We provide another derivation from (2.38) in appendix B.
After the Legendre transformation, we have GF of OIT: which is exactly the same as the initial condition (4.1). p = 2 case: In the presence of two variables t 0 and t 1 , one has P (1) (t, v) = t 1 − 1, which we also denote by −ξ 1 , and w = t 0 /(1 − t 1 ). As in the p = 1 case, we can evaluate (4.5) after regularization: The Legendre transform results in GF which is in the agreement with the results of [6]. As the number of KdV parameters increases, the evaluation becomes not easy to carry out. To simplify it, we note that the open string equation (2.26) atḡ = 0 has the form of differential equation: The inhomogeneous solution to the equation (4.15) is sw. This can be seen as follows.
Since w is the solution of the string polynomial equation P (t, v) = 0, its derivative ∂P (t, w(t))/∂t 0 = 0 satisfies an identity: Thus sw satisfies (4.15). In addition, there exist solutions of the corresponding homogeneous equation. A homogeneous solution f can be put as a function of s and a convenient set of parameters ξ 1 , · · · , ξ p−1 : One may easily show that D ξ n = 0. Therefore, we may put GF atḡ = 0 as the following form: with the homogeneous solution f . This structure of GF is already seen in p = 1 and 2 cases. The variables ξ n are well known in the matrix models [9,10]. These variable are extremely convenient for investigation of the GF and correlation functions for the resolvents for the closed case. As the GF of the BMG can be related to the correlation function of the local operators in MG [14,17], it is not very surprising that they also show up in the theory with boundary. (4.20) One finds where (assuming t 1 < 1) Integrating over µ B , one has Noting that ∂ξ 1 /∂t 0 = ξ 2 /ξ 1 , one can check that F o (0) satisfies the BCE equation (3.2). To find GF in s-space, we put µ B in powers of s by solving (4.21): ∞ n=0 a n z n 1 ; a n = (−1) n n + 1 3n + 1 n , (4.25) with z 1 = s 2 ξ 2 /(3ξ 3 1 ). Then, using the second relation in (4.4), one can easily find GF directly by integrating over s: which has the expected structure of (4.19). p = 4 case: For the case p = 4 we have We note that (4.27) is a polynomial equation of the form where h 0 = −2ξ 2 1 (µ B + w)/s 2 , z 1 = s 2 ξ 2 /(3ξ 3 1 ) and z 2 = s 4 ξ 3 /(15ξ 5 1 ). One can find h 0 as a series in z i 's: a n,m z n 1 z m 2 ; a n,m = 2 (−1) n+m (3n + 5m + 1)! n! m! (2n + 4m + 2)! , where a n,0 = a n in (4.25), so that the solution (4.29) reduces to the one in (4.25) when z 2 → 0. This shows that a n,m z n 1 z m 2 . (4.30) Using the second relation in (4.4) one integrates µ B over s to find GF of the form Arbitrary p: In general, (4.6) provides the relation between µ B and s as follows: Similar to (4.28), we rewrite (4.32) in the following form to find µ B in power series of s where h 0 is the same in (4.28): h 0 = −2ξ 2 1 (µ B + w)/s 2 . Then h 0 is given in a power series of z k 's: h 0 = n k ≥0 a n 1 ,··· ,n p−2 z n 1 1 · · · z n p−2 where the coefficient a n 1 ,··· ,n p−2 has the form a n 1 ,n 2 ,...,n p−2 = 2 (−1) n 1 +n 2 +···+n p−2 (1 + 3n 1 + 5n 2 + · · · + (2p − 3)n p−2 )! n 1 ! n 2 ! . . . n p−2 ! (2 + 2n 1 + 4n 2 + · · · + 2(p − 2) n p−2 )! . (4.36) By noting one has GF in power series of z k 's by integrating over s following the second relation in (4.4): To get the complete GF of OIT one should tend p to infinity. This GF (4.38) is consistent with the theorem provided by Pandharipande et. al. [6] which uses the limit t 0 → 0. In this limit, one has w → 0, ξ 1 → 1 − t 1 , ξ i → −t i (i ≥ 2) and GF has the following form: · · · s 3+2n 1 +4n 2 +... (1 − t 1 ) 2+3n 1 +5n 2 +... .

(4.39)
This provides the correlation numbers Here we note that the number k of marked points on the boundary is specified by the set {α i }: k = 3 + ℓ i=1 2(α i − 1), which is clearly seen in (4.39).

Higherḡ-expansion
Universal formula for the GF on the cylinder (ḡ = 1) in the µ B picture F o (1) (t, µ B ), was obtained in section 3.2, (3.23): We expect that this relation as well as the disk GF (4.33) and higherḡ contributions can be also extracted from the λ-expansion of the wave function formula (2.38).
For the cylinder the relation between the GF in s and µ B pictures is given by (2.37): which, with the help of (4.33), reduces to where c is a constant. This expression has the power series expansion in z i 's if one uses the expression for µ B in (4.37).
To find the constant c we consider the case with t k = 0 for k > 2. The disk amplitude for this case is given by (4.14), so the cylinder GF (4.43) is From this expression we can conclude, in particular, that c = 0. For p = 3 F o (1) (s) gives, up to logarithmic term, the power series expansion in z 1 where D is defined by (4.16). Therefore, GF withḡ ≥ 1 is represented in terms of ξ i , the solutions of the homogeneous equation: In addition, the s-flow equation (2.28) inḡ-expansion has the form It is to be noted that F o (ḡ) has an important parity property in s The parity property is already seen in (4.38) of section 4.2 where GF F o (0) (t, s) is odd in s. The general proof can be done using the dimension of the moduli space given in (2.21): g + k must always be odd [36]. Since k denotes the power of s in GF, one concludes (4.38). The parity property is also consistent with the SD considered in IT. Since F o is scale-free as seen in (2.24), each term inḡ-expansion is also scale-free. Noting that SD of λ is 3/2, one has SD of F o (0) is 3/2, which is obvious in (4.38). (SD of s and w are 1/2 and 1, respectively and SD of ξ i and z i are 0). Therefore, theḡ-expansion of F o shows that SD of F o (ḡ) is 3(ḡ + 1)/2. This shows that SD of GF withḡ even is a half-odd integer. Since SD of KdV parameter t n is an integer, the only way to have the half odd integer SD is the quantity proportional to odd power of s which is reflected in the parity (4.51).
Let us provide a few simple checks of the GF expression (4.43). .
The solution is given as given by solves the s-flow equation, coincides with (4.46), and its expansion in a power series in t i and s gives reproducing the result provided explicitly by [37] under an appropriate identification of the parameters.

Summary and discussion
We investigated the relation between the two-dimensional minimal gravity We use the conjecture that the generating function of the minimal gravity with µ B and that of the intersection theory with s is related by the Laplace transform. The generating function on a disk corresponds to the leading contribution to the Laplace transform, which reduces to the Legendre transform. We obtain the generating function of the intersection theory from that of the minimal gravity using the Legendre transform and confirm that the generating function of each theory belong to a different solution sector of the open KdV hierarchy and string equation. Based on this, we provide a systematic way to find the generating function inḡ-expansion,ḡ = 0 representing the disk. (ḡ denotes the genus of the doubled Riemann surfaces, equivalent to the Euler characteristic expansion). As a non-trivial example of the Laplace transform, we further provide an explicit generating function of open intersection theory on a cylinder (ḡ = 1), from that of the minimal gravity through the Laplace transform.
Higherḡ-expansion is a more challenging problem. It will be interesting to find the generating function of the intersection theory through the Laplace transform and compare it with the combinatoric expression in s-space for the all-genera generating function [29]. It is to be noted that a given term of theḡ-expansion contains contributions from the several topologically distinct surfaces. For example,ḡ = 2 contains two different geometries: pants and kettle. For the open intersection theory, the contributions of different types of surfaces can be traced by the extension of the generating function [36,38]. However, the computations of the generating function of the minimal gravity with boundaries with topological structure different form the sphere with arbitrary number of boundaries is still not known, but can be extracted from the relation in terms of the closed GF [31,32] or the matrix model computations [14,17].
It is clear that the correlation functions in µ B -space presents the non-analytic behavior (square root branch), which is useful to describe the correlation numbers of primary operators. On the other hand, the correlation functions of the intersection theory in s-space shows the polynomial behavior and are suited to describe the correlation numbers of the descendants. It is interesting to note that the very different role of the two theory spaces when related with the Laplace transform was used in [39] to solve the cosmological problem using the cosmological constant and its conjugate variable.
Another interesting problem is the description of the boundary gravitational descendants in open intersection theory introduced in [30,35] and further investigated in [36][37][38]40]. This extended theory has a nice Kontsevich-Penner matrix model description. This identification immediately leads to the integrability of the deformed model, which is shown to be the tau-function of the KP hierarchy. It would be interesting to find the minimal gravity counterpart of this deformed model. From the point of minimal gravity, this should correspond to consideration of the gravitating operators on boundaries and different types of the boundary conditions. The meaning of the Laplace transform from the point of view of the matrix integrals is not clear at the moment.
Finally, one may expect that the idea of this paper can be extended to the case of the so-called r-spin open intersection numbers [41]. One may relate this theory with M (q, p) series of minimal gravity in terms of the A q−1 Frobenius manifolds [22,23,[42][43][44]. It would be interesting to apply the Laplace transform to investigation of the open p − q duality.
We are going to come back to these topics in the future publications.
One may use the string equation (2.5) to get In addition, the rest term has the form i √ 2π

B Another derivation of generating function on a disk
Here we demonstrate how (2.38) gives the GF of BMG on a disk for the simplest case (4.10), where all the KdV parameters are turned off t i>0 = 0, except t 0 . Extracting the leading term in a series expansion in λ of the logarithm of (2.38), one finds Recalling that