Note on T ¯ T deformed matrix models and JT supergravity duals

In this work we calculate the partition functions of N = 1 type 0A and 0B JT supergravity (SJT) on 2D surfaces of arbitrary genus with multiple ﬁnite cut-off boundaries, based on the T ¯ T deformed super-Schwarzian theories. In terms of SJT/matrix model duality, we compute the corresponding correlation functions in the T ¯ T deformed matrix model side by using topological recursion relations as well as the transformation properties of topological recursion relations under T ¯ T deformation. We check that the partition functions ﬁnite cut-off 0A and 0B SJT on generic 2D surfaces match the associated correlation functions in T ¯ T deformed matrix models respectively.


Introduction
In recent years, a particular kind of irrelevant deformation of field theory referred to as T T deformation [1][2][3] has received much research attention.The T T deformation possesses a number of remarkable properties, e.g.integrable and solvable [2,4,5], helping us gain a better understanding of twodimensional deformed quantum field theory [6][7][8].These properties make the deformed theories tractable though the deformation is irrelevant.Another aspect that makes T T deformation so compelling is that in the context of holographic duality [9,10], the T T deformed CFT was proposed to be dual to finite cut-off AdS 3 with positive deformation parameter [9].Nevertheless, the cut-off picture was shown valid only for pure AdS 3 gravity, while in the general case with the matter, the deformed CFT is dual to AdS 3 gravity with mixed boundary conditions [11][12][13].Interestingly, the two dual pictures were consistent with each other in pure gravity.A natural question to ask is what is dual of the finite cut-off AdS gravity in other dimensions, and whether one can define the analog T T deformation in other dimensions providing such a duality.For higher-dimensional cases, it has been explored in [14].For lower dimension, i.e., the one-dimensional case or ordinary quantum mechanic system, which is the main interest of present work, the T T deformation was first introduced in [15,16], see also recent developments [17][18][19][20][21][22][23][24].One way to define T T deformation in 1D is through the dimensional reduction of T T operator in 2D [15,16], which is Here t is the deformation parameter, and one works with Hamiltonian H instead of Lagrangian formalism as in 2D.It was shown that such deformation shares many crucial properties with that of 2D theory.The deformed spectrum can be 0123456789().:V,-vol 123 worked out explicitly which agrees with the energy of 2D black hole with a finite cut-off, and the eigenvectors remain unchanged under deformation.In this sense, the deformation is solvable.Furthermore, such deformation will preserve the supersymmetry of seed theory, which is in the same situation as in 2D cases [25][26][27][28][29].In addition, the partition function and correlation functions were also investigated in the deformed theory.Especially, similar to the Nambu-Goto action corresponding to the deformation of the 2D boson, the deformation of 1D QM will be a world line action.As concrete examples [15,16], the deformed Schwarzian and SYK model were discussed.Among other things, a remarkable feature is the holographic dual of 1D deformed theory.The dual gravity with mixed boundary conditions at infinity can be interpreted as a finite cut-off with the Dirichlet boundary condition.The 2D JT gravity on a disk was proposed to be dual to Schwarzian theory, which was regarded as a particular example of AdS 2 /CFT 1 [30].Since then a substantial amount of work has been focused on many aspects of JT gravity.In [31], JT gravity was shown to be dual to a double scaled Hermitian random matrix model.From such a perspective, the dual of JT gravity on higher genus Riemann surface beyond disk can be explored, which is an example of ensemble average in the lower dimensional holography [32].The JT gravity can be viewed as a limit of a minimal string theories [33] which is known to possess random matrix description [34][35][36][37][38].The JT/matrix model duality has been extended in many directions.A general classification of such kind of duality was investigated in [39], including both JT and JT supergravity (SJT) cases.Furthermore, the deformed JT gravity with a generic dilaton potential also admits matrix model description [40][41][42][43].Interestingly, there are applications on page curves with island formula [44] and average ensemble holography.For other related recent developments, please refer to [45][46][47][48][49].In the present work, we are interested in the JT and SJT/ matrix model duality with T T deformation [19,[50][51][52][53][54][55][56][57].
In [51], the partition function of JT gravity with finite cutoff boundaries was in good agreement with the partition function and correlation functions of T T deformed Schwarzian theory.Subsequently, the finite cut-off JT gravity, defined based on T T deformed Schwarzian theory, was re-visited in [52].The disk and trumpet partition functions were computed by the resurgence method.The result was consistent with [51].Meanwhile, the deformed partition functions for JT gravity with higher genus and multiple boundaries are dual to correlation functions in the matrix model, which can be derived from the Eynard-Orantin topological recursion relation in the matrix model.It is a natural question to check the finite cut-off SJT/matrix model duality.The random matrix theory dual of SJT was introduced in [39].Since fermions are present in supersymmetric theory, there are two different ways to sum over the spin structure for fermion fields.It fol-lows that there exist two types of SJT called type 0A and type 0B.They are dual to complex and Hermitian matrix models respectively.In the literature, the duality between SJT with certain defects and the matrix model is investigated in [43].
Inspired by the above progress, we focus on investigating the duality between the N = 1 JT supergravity (SJT) with finite cut-off and the corresponding matrix model.One can define the finite cut-off of SJT as the holographic dual of T T deformed super-Schwarzian theory.The deformed disk and trumpet partition function can be worked out by applying the techniques developed in [52] as well as the method in [51].
For SJT with higher genus and multiple boundaries, the partition functions can be computed using the gluing procedure systematically.In the matrix model side, the quantities dual to gravity partition functions are the correlation functions of, for example, the resolvents, which can be computed by using topological recursion relation.The results obtained in the matrix model match the gravity side computation in the 0A case.For 0B SJT with finite cut-off, to match the gravity side, we make use of the covariant properties of topological recursion relation under the transformation induced by T T deformation.
The structure of this paper is organized as follows.In Sect.2, we review some aspects of N = 1 JT supergravity, as well as the matrix model duality for type 0A and 0B SJT respectively.In Sect.3, we investigate the finite cut-off deformed SJT and the corresponding T T deformed matrix models.The partition functions on the gravity side and the dual correlation functions on matrix model side are computed in this section.Conclusions and discussions are given in the final section.In the appendix, we list some relevant derivations in our analysis.

Basic facts
In this section, we firstly review some aspects of N = 1 JT supergravity, and the matrix model to set the notations.We mainly follow the discussions in [31,39,43].The action of SJT can be written in terms of superfields [58,59], see also [60][61][62] ( Here is the dilaton superfield including the dilaton field φ and the scalar curvature R of the 2D manifold is contained Besides the field φ and R, all other fields are fermions or auxiliary fields, whose precise definition can be found in [58].The second term is the Gibbons-Hawking-like term, and (u, ϑ) is the boundary superspace.The field contents in the bosonic part include metric and dilaton, and the supersymmetric partners consist of gravitino and dilatino.Integrating over auxiliary fields and turning off the fermions, the action of I SJT (with proper boundary term added) reduces to the action of JT gravity An important kind of quantities in SJT relevant later is the partition functions, i.e, the path integral of N = 1 SJT on a two-dimensional surface M with n boundaries, which can be written as [43] with Here (β 1 , ..., β n ) are related to boundary conditions: the i-th boundary length = β i , φ| ∂M = 1 2 .The fermions are denoted collectively as .χ(M) = 2 − 2g − n is the Euler characteristic of the manifold M if it has g handles and n boundaries.We denote such manifold as M g,n .The appearance of the Euler characteristic implies that the gravity path integral admits a topological expansion in the limit e −S 0 1 where Z SJT g,n (β 1 , ..., β n ) is understood as the gravity path integral on the manifold M g,n .The SJT on disk reduces to N = 1 super-Schwarzian theory containing a bosonic field and an anti-periodic (on disk) fermionic field with global OSp(2|1) symmetry [63].It turns out that the disk partition function Z SJT 0,1 can be computed by the path integral of super-Schwarzian theory which is 1-loop exact [39,63,64] Beyond the disk case, the higher topological partition function can be obtained by gluing method which will be discussed in the subsequent section.In this method, we need to know the partition function on the trumpet, which similar to the disk case, results from the super-Schwarzian theory Here the trumpet contains two boundaries, i.e, the geodesic and asymptotic boundaries, b(β) is related to the length of the geodesic (asymptotic) boundary.From partition functions, one can get the corresponding spectral densities defined by as Since SJT contains fermions which could be periodic (R) or anti-periodic (NS) for general topology, one should sum over different spin structures.One can defined the parity (−1) ζ for spin structures, where (−1) ζ = 1 for NS spin structure, and (−1) ζ = −1 for Ramond.Then two types of SJT could be defined [43].The first one is denoted as type 0B SJT whose partition function is defined by summing over different spin structures, while the second one called type 0A SJT is defined by summing over different spin structures weighted by the parity (−1) ζ .Note for disk and trumpet, there is a unique spin structure, thus the disk and trumpet partition function is the same for both types of SJT.
In the next step, let us move on to the matrix model side.The SJT dual to an ensemble of supersymmetric quantum mechanics (QM) [39].For SUSY QM the supercharge is related to Hamiltonian by H = Q 2 .There are two different matrix ensembles dual to two types of SJT respectively.For type 0A SJT including (−1) ζ in the summation of spin structure, there is an additional (−1) F symmetry in dual ensemble [39].Then the Hilbert space can be decomposed into two blocks with where I N is N × N identity matrix, M is N × N complex matrix.This implies that type 0A SJT dual to random complex matrix ensemble.The dictionary is [39] with We will use Z SJT,± (β 1 , ..., β n ) to represent Z SJT (β 1 , ..., β n ) in (8) for type 0B and 0A SJT respectively.Note the the gravity path integral on the LHS of ( 14) on connected manifold M g,n , and the average on the RHS is connected part of the following matrix integral [43] Z (16) where V (H ) is a function of H that defines the matrix model.It is convenient to work with the Hermitian matrix H = M M † [39,43], and the corresponding spectral density and resolvent defined with respect to M M † are 1 For type 0B SJT, there is no (−1) F symmetry.It follows that the dual matrix model is the ensemble for supercharge Q, which is a random Hermitian matrix.Similar to the type 0A case, the dictionary for this duality [39] with and The corresponding spectral density and resolvent are then defined in terms of Q For later convenience, we use the notation and define the resolvent for 1 In the study of matrix models, one is usually interested in the quantities called resolvent and spectral density In general, for a random matrix A with eigenvalues λ i , the resolvent, spectral density are defined as They related to each other and the quantity Tre −β A through integral transformations Let us focus on the correlation functions of matrix model, i.e., the RHS of ( 14) and (20).In large N expansion as indicated by perturbation theory of matrix integral [31] Here g is the genus of the double-line diagram in the matrix perturbation theory.Strictly speaking, equalities ( 14) and (20) hold only in the so-called double -scaled limit.In this limit, the 1/N is replaced by e −S 0 [31] in (25). 2 This expansion is the matrix model version of (8).It follows that we have the relation for 0A and 0B SJT in (8) respectively).In the matrix model, usually Z ± g,n could be computed by the so-called topological recursion relation as we will discuss in detail in the next section.

T T of SJT
In this section, we will study the finite cut-off SJT and the dual T T deformed matrix models.The partition functions of SJT on general topologies are computed, which are shown to match the results obtained from the dual matrix model side.

Gravity side
As remarked above, by performing super-Schwarzian path integrals, the corresponding partition function can be obtained as [39].Firstly, let us consider the disk and trumpet topologies, since there is only one boundary condition for fermions in this geometry, the corresponding partition functions are the same for both type 0A and 0B SJT.The results are presented in ( 9) and (10).Comparing these results with the disk and trumpet partition functions in JT gravity [31,63,68] 2 To match the gravity results, one should take the continuum limit of matrix models.Naively, one takes N → ∞ limit, however, in this limit, all the terms except the leading term (25) would vanish.To enhance the higher-order terms to keep all the terms in the expansion, one can take a second limit simultaneously, i.e., taking a particular coupling constant near its critical value.The critical value is determined by the configuration of spectral density in the matrix model [43].This is called double scaling limit [36,[65][66][67].Note the two limits are not independent of each other.
the corresponding spectrum densities A key observation is that Z SJT,T equals to Z JT,T up to a numerical factor and moreover Z SJT,D can be reproduced by analytically continuing of b in Z JT,T , i.e. and The corresponding spectral density again is related to the trumpet density of the JT case as For higher topologies, the partition functions can be computed by the gluing procedure as did in [39].More recently, this was generalized with defect deformation of SJT [43].So far we have discussed the undeformed SJT gravity.When taking T T deformation into account, The deformed partition function for disk and trumpet are and These results can be obtained through two different approaches.In fact, utilizing the definition of T T deformation (1), we can derive ( 31) and ( 32) by employing the resurgence method, as demonstrated in [52], without relying on the relations between the partition functions of JT and SJT.We provide the detailed calculations in Appendix A. Alternatively, the deformed SJT partition functions can also be produced by the integral kernel method proposed in [51].In this method, the deformed partition function is [51] with the integral kernel This method is only well-defined for t < 0. For t > 0 which is related to finite cut-off geometry, one can analytically continue from t < 0. Now apply the above method to the SJT disk partition function ( 9), the deformed one is then Using and keeping only the real part [51], one can also obtain (31).Interestingly, we can compare the partition functions of SJT with those of the JT case, and remarkably, the relations ( 28) and ( 29) continue to hold after deformation, i.e., where I 1 , I 2 are modified Bessel functions.It should be emphasized that the first equality (31) and ( 32) are computed from the deformed spectrum in both resurgence and integral kernel methods and are not simply an extrapolation of undeformed relation (28) and (29) to the deformed case.
In parallel with the JT case, the SJT disk partition function (31) can be written as an integral over a contour C surrounding interval (− E plane, noting this interval corresponds to branch cut in deformed spectrum (39) below where we follow the notation in [52] with u = 2β, and ) (rewriting of (39) below).Furthermore, (38) can be expressed in a form where both branches of deformed spectral density are included.To see this let us recall that the T T deformation defined in (1), would lead to two branches deformed eigenvalues Notice that when t > 0, the spectrum would be complex for when E > 1/t.In addition, the undeformed eigenvalues can be recovered for the solution E + (t) as t → 0. It seems that only the E + (t) makes sense as the deformed spectral.However, Ref. [52] shows that by employing the resurgence method both branches should be included.Moreover, when both branches are taken into consideration, the T T flow equation will be satisfied and the complex spectrum problem mentioned above will disappear [51]. 3 Explicitly, Z SJT,D (β, t) in terms of two branches spectrum is where . From the last line the deformed spectral density of SJT can be read off, which is This spectral density has support on (0, 4 t ) and reproduces the undeformed one when t = 0. Notice that ρ SJT,D (E, t) is negative in the range ( 2 t , 4 t ), which is similar with JT case [52].
Along the same line, we can obtain the deformed spectral density for trumpet in SJT Next, let us move on to consider other topologies with g > 0 or n > 1 in SJT.In this case, we should distinguish between two different types of SJT.The partition functions can be computed by the gluing procedure, i.e. gluing the basic building block, the trumpet partition function Z SJT,T (β i , b) for each boundary, to the supervolume V ± g,n (b 1 , ..., b n ), "±" to denote type 0B and 0A supervolume respectively [39].
The latter is volume of moduli 3 One problem is that the resulting deformed spectral density contains a negative part.For JT case is [52] ρ which is negative in the range (4/t, 2/t).
of space of hyperbolic Riemann surfaces of genus g with n geodesic boundary of length b 1 , ..., b n [39] Here we assume that under T T deformation the gluing procedure still works as finite cut-off JT/SJT case [38]. 4 And only the boundary condition is affected by the deformation, while the geodesic boundary remains the same, the super volumes would not change, thus the gluing takes the above form.Intuitively, this can be understood as follows, the T T deformation will lead to a finite cut-off in the bulk as what happens in higher dimensions [9].Therefore only the boundary conditions will be changed, which is relevant to Z SJT,D(T) but not V ± g,n .For type 0A it takes the form as × (2π) 4 (n + 4)(42n and While for the case of type 0B, all V + g,n vanish except (g, n) = (0, 2).For both case V ± 0,1 (b 1 ) is undefined, and by definition In the subsequent section, we will need the correlation functions of the resolvent, which following (18) 4 There is a subtlety in the finite cut-off JT picture.For example, consider the partition function of a cylinder with two Dirichlet boundaries of lengths β 1 /t and β 2 /t.This partition function can be obtained by gluing two trumpets together.
Here, Z JT,T (β, b, t) is defined in (37).In [51], Z SJT,T (β, b, t) is referred to as non-perturbative (eq.(94) therein) due to the inclusion of both branches of the deformed spectrum, similar to the discussion in (41).However, including both branches in Z JT,T (β, b, t) prevents it from having a geometric interpretation [51].An issue arises when the Dirichlet boundary β i /t of the cylinder is finite, allowing it to extend into the bulk and intersect with the geodesic of length b inside the bulk.In such cases, the cylinder cannot be simply glued together by two trumpets.It remains unclear whether this geometry can be taken into consideration in (45), as Z JT,T (β, b, t) lacks a geometric interpretation.We expect that a similar issue arises in the case of SJT as well. is To evaluate this integral, at the first step, by substituting into (44), we should compute the following integral which is essentially computed in the JT case, since Z SJT,T is proportional to Z JT,T .The result is [52] T In the second step, Noticing that the supervolumes are polynomial in the power of b 2 i , the integral (48) decomposes into the following integrals [52] Rn (E, t) Similarly, the integral (44) for deformed correlation functions of Z (β) can be decomposed into Now we are ready to compute the deformed correlation functions of resolvent and Z (β) from the gravity side.Using (46), ( 47) and (48), for the cylinder geometry which reduces to undeformed result when t = 0.And then from (52) which reproduces the undeformed result 2 π √ β 1 β 2 β 1 +β 2 at t = 0. Note that for cylinder geometry, the correlators of type 0A and type 0B share the same form as presented in above.
In what following, we turn to consider more general topologies except the cylinder and disk.For type 0B theory, all the correlators R SJT+ g,n (E 1 , ..., E n , t) and Z + g,n (β 1 , ..., β n , t) vanish except the case (g, n) = (0, 2) since corresponding V + g,n = 0.For type 0A, we list some examples (g ≤ 3) for the correlation functions of resolvent below (2π) 4 (n + 4)(42n + 185) In the next section, we will show some examples that the correlators computed in (56) will match the results obtained from the dual matrix model.

Matrix model side
Before delving into specific models, such as the T T deformed matrix model dual to type 0A and 0B SJT, let us first review some general characteristics of T T deformation in the context of supersymmetric undeformed quantum mechanical systems [15].In light of (1), the defining property of T T deformation indicates that the deformed Hamiltonian H (t) is a function of the undeformed Hamiltonian H 0 , i.e., H (t) = f (H 0 ).Consequently, if a conserved charge Q in the undeformed theory satisfies [Q, H 0 ] = 0, it remains conserved in the deformed theory, as [Q, f (H 0 )] = 0.For a supersymmetric quantum mechanical system, the conserved charge Q can be identified as the supercharge, satisfying H 0 = Q 2 in accordance with the supersymmetry algebra.As discussed earlier, under deformation, Q remains conserved.However, in order to preserve the supersymmetry algebra, we may introduce the deformed charge Q(t) defined by H (t) = Q(t) 2 .Consequently, we have [Q(t), H (t)] = 0, indicating that the system retains its supersymmetry even after deformation.

Type 0A
In this case, as reviewed in Sect.2, the dual random matrix is a complex matrix ensemble.It follows from (15) that the spectral density of the dual matrix model is half of that of SJT ( 12) Under T T deformation, using (42), the deformed spectral density reads For general topological with (g, n), it follows from ( 15) that one has Here R − g,n (E 1 , ..., E n , t) is related to Z − g,n (E 1 , ..., E n , t) defined in (25) by integral transformation. 5To compute R − g,n (E 1 , ..., E n , t) in matrix model, one can employ a power tool called topological recursion relation [69,70].This recursion relation can be derived from loop equation which play the role of Ward identity in matrix model.For matrix model dual to SJT without T T deformation, the topological recursion relation have been considered in [39,43].Below we will consider the case when T T deformation presents.The input of topological recursion relations are the deformed spectral density (or spectral curve) and R − 0,2 (E 1 , E 2 , t).To be more concrete, we first define the uniformizing parameter z by E(z) = −z 2 as in T T JT case [52].In terms of z, the recursion relation is 5 It is interesting to note that R − 0,2 (E 1 , E 2 , t) takes the same form for both JT and SJT cases.This is follows from where the prime in the summation indicate terms containing W 0,1 are excluded.Here J = {z 2 , ..., z n }.For g = 0, n = 1 the quantities W g,n is related to spectral density For general (g, n), W g,n are determined by R − g,n as As mentioned before R − 0,2 (E(z 1 ), E(z 2 ), t) in SJT takes the same form as in JT case, therefore W 0,2 (z 1 , z 2 , t) also equals to JT case, which is [52] The last quantities that remain to explain are the kernel With the initial data W 0,1 and W 0,2 in hand, we are ready to evaluate higher topological cases via the topological recursion relations.Below we consider several examples.
• W 1,1 Applying the topological recursion relation ( 60), one have 6 6 Here we used The result from SJT in ( 56) is From ( 59), we see that the result from the matrix model is in good agreement with the one obtained on gravity side • W 0,3 The relevant topological recursion relation for W 0,3 is which also matches the SJT result since V − 0,3 = 0.
where we need to use the result (69) derived before.Note this result matches the SJT computation • W 2,1 The relevant topological recursion relation for W 2,1 is where W 1,2 , W 1,1 have been obtained before.The gravity result is Thus they match each other as Note that in the above examples, the deformed W g,n are related to the undeformed one by transformation with the coordinate transformation induced by T T deformation [52] Here W g,n (z 1 , ..., z n ) is undeformed one and W g,n (ẑ 1 , ..., ẑ2 , t) is deformed one.Note that formally (77) is the same as the T T deformed spectral as (39).According to [52], topological recursion relations formulated in terms of differentials is covariant and takes the same form under coordinate transformation, for example, like in (78).

Type 0B
The dual matrix model is a random Hermitian matrix for supercharge Q.And according to the dual dictionary (22), we have where (24).
Let us recall the undeformed case where x is eigenvalue of Hermitian matrix Q, while x 2 is the eigenvalue of system Hamiltonian H .According to (11) and ( 12), ρ H (E) is The leading spectral density for matrix ensemble Q is Note that the spectral density has support on the whole real axis, in other words, it means the branch-cut of resolvent is the real axis.
In one-cut Hermitian matrix model, in general, the leading 2-point function R Q 0,2 depends only on the position of spectral edges.For Q ensemble considered here one obtain the follow relation for 2-pt function Substituting into (84), one obtains ) is dual to SJT partition function on cylinder, [39] showed that this is indeed the case.Now let us add T T deformation.The deformed spectral density is, using ( 42) and (81) Next, let us consider the leading 2pt function under deformation.According to (80), one has where the LHS is computed in (53) and RHS is related to 86).Thus we have One simplification of above equation can be made by using the fact This could result from the fact that the deformed spectral ρ Q (x, t) in ( 87) is an even function in x.For more details please see the Appendix (B).Note that for the undeformed R Q 0,2 (x 1 , x 2 ) (84), this is indeed the case. 7One possible solution for R Q 0,2 (x 1 , x 2 , t) of (89) can be obtained by assuming there exist a coordinate transformation between deformed and undeformed topological recursion relation.The result is presented as follows.We leave the detailed procedure for obtaining the result in Appendix C where R Q− 0,2 (x 1 , x 2 , t) is defined in Appendix C. It ready to check this expression reduces to undeformed case (84) when t = 0 and indeed satisfies the equation (89).
Next consider the deformed higher topologies quantites R Q g,n (E 1 , ..., E n , t) in Q ensemble.A simplification comes from the gravity side.As discussed in previous section, the supervolumes V + g,n vanish except for the case (g, n) = (0, 2), which leads to R SJT+ g,n with (g, n) = (0, 2) vanishing.Thus the dual R H g,n is expected to equal zero.From (85), then R Q g,n = 0 with (g, n) = (0, 2).Note this results valid whether or not the T T deformation presents, since the supervolume is unchanged under T T deformation.
In principle, the topological recursion relation would be a possible way to investigate R Q g,n (E 1 , ..., E n , t), since Q is a random Hermitian ensemble.However the initial data for topological recursion relation, i.e., R Q 0,2 (E 1 , E 2 , t), takes very complicated form as presented in the appendix.We will adopt another way, by making use of the transformation properties of topological recursion relation under T T deformation.At the end of subsection (3.2.1), the deformed and undeformed topological recursion relations are related to each other by the coordinate transformation 7 Also (90) holds for usual one-cut Hermitian matrix model, if the support of spectral density is a symmetric interval (−a, a.In this case the 2-pt function R 0,2 (x 1 , x 2 ) is (see (3.3.38) of [70]) Motivated by this fact, similarly, if there exists a that there exists a coordinate transformation relates deformed and undeformed correlators in Q ensemble for type 0B theory. 8 It follows by using (76) the deformed W g,n would vanish since the undeformed W g,n vanish, which is consistent with the prediction of the gravity side (55), i.e., R SJT+ g,n = 0 when (g, n) = (0, 2).

Conclusions and discussions
In the work, we study the partition functions of type 0A and 0B SJT on higher genus g 2D surfaces with n finite cut-off boundaries, and the dual correlation functions in the T T deformed matrix models.The disk and trumpet partition function in SJT with finite cut-off are the same for both type 0A and 0B SJT.For other topologies except for disk and cylinder, the deformed partition functions can be computed by the gluing procedure, which are non-zero for 0A SJT and vanish for 0B SJT.The latter case is due to the fact that the vanishing super-volume V + g,n for 0B except (g, n) = (0, 2).In the dual matrix side, the deformed partition functions of SJT with multiple finite cut-off boundaries are corresponding to the correlation functions R g,n (E 1 , ..., E n , t) which can be computed by employing the topological recursion relations.In the 0A SJT, we compute several R g,n (E 1 , ..., E n , t) (or, more precisely, the quantities W g,n ) in the dual matrix model.The results from the gravity (56) and matrix model (65)−(73) match each other.In addition, there is a transformation (77) rule between the deformed and undeformed topological recursion relations.
For the case of type 0B SJT, the dual matrix model is unusual.In the undeformed matrix model, i.e.Q ensemble, the spectral is supported on the whole real axis.After taking T T into account, the deformed density in Q ensemble can be worked out.Applying the covariant property of W g,n and topological recursion relation in a generic Hermitian matrix model, we compute the matrix model counterparts of correlation functions in 0B SJT on surfaces with finite cutoff boundaries.In particular, as for leading 2-point function R Q 0,2 , we give one possible solution that satisfies the constraint (89) imposed by matching the SJT result.This solution is obtained by transformation properties of R Q 0,2 under T T deformation, as presented in appendix C. For other R Q g,n , to match the gravity results, as the R Q 0,2 case we assume that the deformed topological recursion relations for Q ensemble 8 The T T deformation of SUSY QM system was considered in [15], where the supercharge Q deforms as which induced from (93) and H = Q 2 .
123 exist, and there exists a transformation between the deformed and un-deformed topological recursion relations.With such assumptions, we can obtain results consistent with the gravity side.
In addition, one problem is how to explain the negative spectral density of the deformed matrix model and the finite cut-off SJT, which should not occur in the standard matrix model.This is an open question as pointed out in [52], which is also presented in the finite cut-off JT case.Recently, a relevant discussion on the negative spectral density appeared in [43].This question may be related to how to define T T deformation for the matrix model.[50] treated the T T deformation of the matrix model in the framework of the standard matrix model.However, the results there don't match the gravity side.Interestingly, recently, another definition of T T deformed matrix model was proposed in [19].The T T flow equation could be satisfied in this definition.A further study on such problems would be an important direction.
It would be interesting to apply the deformed 2D gravity/matrix model duality to Liouville gravity, or minimal string theory.It has been shown in [37] that the partition function of such theories can be calculated by the gluing procedure and they also admit dual matrix description.Therefore one may consider the T T deformation of the corresponding matrix model.
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made.The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material.If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.To view a copy of this licence, visit http://creativecomm ons.org/licenses/by/4.0/.Funded by SCOAP 3 .SCOAP 3 supports the goals of the International Year of Basic Sciences for Sustainable Development.

Appendix A: Deformed disk and trumpet partition functions
In this appendix we review the resurgence method used in computing deformed disk and trumpet partition functions in the JT case [52], and we employ this method to compute the deformed disk and trumpet partition functions (31) and (32) in SJT.
The density for disk and trumpet in JT is while for type 0B SJT [39] ρ The deformed partition function is The exponent in the integrand can be written as  Here Z ∝ h 1 ...h N is a normalization factor.From the last line of (B3), (B2) follows since P r (x) have definite parity.Note in the first line we omit the term proportional to δ(E 1 − E 2 ), which obviously does not effect the equality (B2).
Appendix C: R Q 0,2 In this appendix, we describe the procedure to obtain (92).The undeformed R Q 0,2 (x 1 , x 2 ) is supported on (−a, a) with a → ∞.R Q 0,2 (x 1 , x 2 ) has a cut along (−a, a) according to (3.3.37) in [70]. 11Transforming to uniformized coordinate z i by the map ((3.3.15) of that paper a = −b) where z is double cover of x (similar to the map x = −z 2 appeared in the JT case).Note R Q 0,2 (x 1 , x 2 ) is not covariant.And the quantities being covariant in topological recursion relation is [70] where there are two choices of signature since the square root is double-valued, "-" is chosen when x 1 , x 2 are in the same sheet, and "+" when x 1 , x 2 locate in different sheets.
To account for T T deformation we assume the coordinate transformation between deformed and undeformed topological relations is z = z(ẑ), then W 0,2 transforms as where the RHS is known by (C2).The LHS is related to deformed R Q 0,2 like in undeformed case (C2) (we treat (assume) the deformed 0B as a one-cut matrix model) (C5) From the above equations, we can obtain the deformed (C6) Here x( x) is the eigenvalue of the supersymmetry charge.The coordinate transformation between x and x, if it exists, is expected to be is (94) (see (76)) Page 11 of 16 885 )where L n+1 n−1 (x) are generalized Laguerre polynomials.One can expand the deformed partiton function in power of the deformed parameter tZ SJT,D (u, t) cosh (2π s) e −us 2 /2 A n (s, u) used cosh(2π s) = ∞ j=0 (2π s) 2 j (2 j)! , (A8)odd of x.The 2pt correlator for spectral density for N × N random matrix is