Generalized q-deformed Correlation Functions as Spectral Functions of Hyperbolic Geometry

We analyse the role of vertex operator algebra and 2d amplitudes from the point of view of the representation theory of infinite dimensional Lie algebras, MacMahon and Ruelle functions. A p-dimensional MacMahon function is the generating function of p-dimensional partitions of integers. These functions can be represented as amplitudes of a two-dimensional c=1 CFT. In this paper we show that p-dimensional MacMahon functions can be rewritten in terms of Ruelle spectral functions, whose spectrum is encoded in the Patterson-Selberg function of three dimensional hyperbolic geometry.


Introduction
This paper, whose main focus is the relation between MacMahon and Ruelle functions, is motivated by the steady, if not growing, interest in the application of symmetric functions, in particular of the two dimensional MacMahon function and its higher dimensional generalizations to physical systems. This occurs in many areas of statistical physics [1,2,3] and topological string theory [4,5,6], BPS black holes, model of branes wrapping collapsed cycles in Calabi-Yau orbifolds, and quiver gauge theories [7,8,9]. Generalized MacMahon functions are used, in particular, in computation of amplitudes of A-model topological string [10,11,12,13], more specifically to the so-called topological vertex.
A p-dimensional MacMahon function is the generating function of p-dimensional partition of integers, which is the number of different ways in which we can split an integer using distinct pdimensional arrays of other nonnegative integers. As we shall see these functions can be represented as amplitudes of a two-dimensional CFT. It is not clear whether the dimension p of the partition can be assigned any physical meaning. But we will show in this paper that p-dimensional MacMahon functions can be rewritten in terms of Ruelle spectral functions, whose spectrum is encoded in the Patterson-Selberg function of three dimensional hyperbolic geometry. This may lead to an interpretation of the above results in terms of ADS/CFT correspondence, an attractive possibility which we leave for future investigation.
There is also another side of our work we would like to recall. We have remarked elsewhere the important connection between quantum generating functions in physics and formal power series associated with dimensions of chains and homologies of suitable infinite dimensional Lie algebras. MacMahon and symmetric functions play an important role in the homological aspects of this connection; its application to partition functions of minimal three-dimensional gravities in the space-time asymptotic to AdS 3 , which also describe the three-dimensional Euclidean black holes, pure supergravity, elliptic genera and associated q-series were studied in [14,15]. On the other hand special applications of symmetric functions appear in the representation theory of infinite dimensional Lie algebras [16,17,14,15]. The utility of symmetric function techniques can be demonstrated in providing concrete realizations of the (quantum) affine algebra, for instance in calculating the trace of products of currents of this algebra. These functions are respectively the appropriate character ch R of the basic representations of the sl(∞) and the affine algebra sl(∞) at large central charge c [18]. Note that all simple (twisted and untwisted) Kac-Moody algebras can be embedded in the sl(∞) algebra of infinite matrices with a finite number of non-zero entries, which has a realization in terms of generators of a Clifford algebra. It has been observed that in the limit c → ∞ the basic representation of sl(∞) is related to the partition function of a three dimensional field theory [7,19].
Needless to say, although these links are suggestive, the general panorama looks still inarticulate, and more models and examples are needed to accommodate them into a precise scheme. One of the purposes of the present paper is to better understand the role of vertex algebra and 2d amplitudes from the point of view of the representation theory of infinite dimensional Lie algebras, MacMahon and Ruelle functions. In this regard a particular importance the correspondence between Ruelle spectral functions and Poincaré q-series associated with conformal structure in two dimensions.
The organization of the paper is as follows. In Sect. 2 we introduce the algebra of q-deformed vertex operators (of the c = 1 2d-conformal model) and consider their generalizations and properties essential for the next sections. In Sect. 3 we reformulate the generalized MacMahon functions in terms of the Ruelle spectral functions of hyperbolic geometry. We also broach and briefly discuss the topic of higher-dimensional partitions, as such, originally introduced by MacMahon. We analyze correlation functions of vertex operators, the MacMahon's conjecture (Eq. (3.15) and their possible interpretation as p-dimensional partition functions.
In Sect. 4 we consider multipartite (vector valued) generating functions and utilize well-known formulas for Bell polynomials. We derive the infinite hierarchy of q-deformed vertex operators and factorized partition functions and represent them by means of spectral functions.
Finally in Sect. 5 we conclude with summarize the main results accompanied with discussions and suggestions.
In the Appendix we give a few formulas involving Ruelle and Patterson-Selberg spectral functions of hyperbolic three-geometry.

Algebra of vertex operators
In this section we introduce the notation and quote some earlier results we need. To this end we follow mostly [12] and, in particular, the subsequent elaboration by [20]. Let us consider the hierarchy of generalized local q-deformed vertex operators Γ (p) The Heisenberg algebra is [J n , J m ] = nδ n+m,0 , J † n = J −n and J n |0 = 0 for n ≥ 1. The commuting mode J 0 is disregarded.
With the mathematical tools just introduced we can proceed to higher dimensional generalizations. For example, one can rewrite Γ (2) ± (z, q) as follows: The products −1 t=−∞ (− −) in these equations are taken over diagonal slices of the 3d partitions. They are reminiscent of the transfer matrix method where a 3d partition is thought of as an amplitude between the slice at t = −∞ (in-state) and the slice at t = ∞ (out-state). The algebra of these vertex operators takes the following form We can replicate recursively this construction. This leads us to the following hierarchy of composite vertex operators A similar expression can be written down for Γ − (z, q) (p ≥ 1) acting on the vacuum is given by

MacMahon, partitions, and Ruelle spectral functions revised
In this section, using the formulas in Appendix, we transcribe the MacMahon partition functions in terms of spectral functions of hyperbolic geometry.
The 1d-and 2d-MacMahon function can be interpreted as the two-point correlation of the vertex operators Γ + (1) and Γ − (q) In the previous section we have introduced hierarchy of level p vertex operators Γ (p) ± . In perfect analogy with Z 1d and Z 2d we can introduce and compute Z 3d : When obtaining the second line in Eq. (3.3) we split q L 0 as q L 0 /2 q L 0 /2 and commute each of the operators q L 0 /2 to the left and the other to the right. The last product in Eq. (3.3) is precisely the usual form of the 3d-MacMahon function, which, again, can be rewrite in terms of the spectral Ruelle functions: p-dimensional partition functions. The structure of the p-dimensional partition function Z pd can be analyzed in terms of the vertex operators Γ (p) ± (z, q) introduced before. As we have seen above, (2.9), the latter can be interpreted as the level p generalization of Γ − (z), they obey the relations Γ We can rewrite these partition functions in terms of Ruelle spectral function. Indeed, commuting Γ (p) − (z, q) to the left of Γ + (1, q) for p ≥ 2, one can get by induction (see for detail [20]) that Plane partitions. So far we have called Z pd a p-dimensional partition function without any comment. Here we would like to motivate this term. It comes from the fact that correlation functions of the corresponding vertex operators admit a presentation that can be associated with higher-dimensional partitions. Recall that higher-dimensional partitions of n is an array of numbers whose sum is n: n = j 1 ,...,jr≥0 n j 1 j 2 ...jr , where n j 1 j 2 ...jr ≥ n k 1 k 2 ...kr (3.8) whenever j 1 ≥ k 1 , j 2 ≥ k 2 , . . . , j r ≥ k r , and all n j 1 j 2 ...jr nonnegative integers. Let us introduce also plane partitions: these are two-dimensional arrays of nonnegative integers subject to a nonincreasing condition along rows and columns. It is worth recalling that Young tableaux with strict decrease along columns are essentially equivalent to plane partitions. They were originally used by Alfred Young in his work on invariant theory. Young tableaux have played an important role in the representation theory of the symmetric group; they also occur in algebraic geometry and in many combinatorial problems.
Let us denote π r (n 1 , n 2 , . . . , n k ; q) the generating function for plane partitions with at most r columns, at most k rows, and with n i the first entry in the ith row. The functions π r (n 1 , n 2 , . . . , n k ; q) are completely determined by the following recurrence and initial condition π r+1 (n 1 , n 2 , . . . , n k ; q) = q k j=1 (n j ) π 1 (n 1 , n 2 , . . . , n k ; q) = q k j=1 (n j ) .
(3.10) π r+1 (n 1 , n 2 , . . . , n k ; q) can be represent as a determinant (see for detail [21]): Define the number of plane partitions of m, p k,r (m, n), with at most r columns, at most k rows, and with each entry ≤ n, and let π k,r (n; q) := ∞ m=0 p k,r (m, n)q m . Then one can observe that π k,r (n; q) by Eq. (3.9) ======= n k ≤···≤n 1 ≤n π r (n 1 , n 2 , . . . , n k ; q) = q −kn π r+1 (n 1 , n 2 , . . . , n k ; q) by Eq. (3.11) As a result MacMahon's formulas for the generating function of k-rowed plane partitions π k,∞ (∞; q) (3.14) Let µ k (j) be the number of k-dimensional partitions of j, then due to the MacMahon's conjecture MacMahon eventually came to doubt the truth of (3.15) in general; in fact, its falsehood in general was established in the late 1960's, [21] . However this conjecture is certainly true for k = 1 and 2. It is remarkable that Comparing (3.15) and (3.6), (3.7) we get the relations C(n, k = 1) = C(n, p = 2), C(n, k = 2) = C(n, p = 3). The MacMahon's conjecture for the case k > 2 can be corrected by using of the comparison between C(n, k) and the power C(n, p) in the q-expansion of p-dimensional partition function Z pd .
Let us call C (u,ℓ) − (u; k 1 , k 2 , · · · , k ℓ ) the number of such multipartitions, and introduce in addition the symbol C (u,ℓ) + (k) = C (ℓ) + (u; k 1 , k 2 , · · · , k ℓ ). Their generating functions are defined by Finally, It is known that the Bell polynomials are very useful in many problems in combinatorics. We would like to note their application in multipartite partition problem [21]. The Bell polynomials technique can be used for the calculation C Useful expressions for the recurrence relation of the Bell polynomial Y n (g 1 , g 2 , . . . , g n ) and generating function B(u) have the forms [21]: Y n+1 (g 1 , g 2 , . . . , g n+1 ) = n k=0 n k Y n−k (g 1 , g 2 , . . . , g n−k )g k+1 , (4.9) g n u n n! . (4.10) To verify the second formula in (4.10) we need to differentiate with respect to u and observe that a comparison of the coefficients of u n in the resulting equation produces an identity equivalent to (4.9). From Eq. (4.9) one can obtain the following explicit formula for the Bell polynomials (it is known as Faa di Bruno's formula) (4.11) Let β r (m) := r j=1 (1 − x m j ) −1 ; the following result holds (see for detail [21]): As an example, let us calculate P 2 coefficient. Using the recurrence relation (4.9) we obtain: The infinite hierarchy. Let us consider again the hierarchy Γ is precisely the generalized p-dimensional MacMahon function. The general relation is the following with z ℓ /z 1 = q k 0 . In the case x 1 = x 2 = · · · = x ℓ = q we get These formulas could be interpreted as the ℓ copies of free CFT 2 representations. Indeed, setting uq k 1 +...+k ℓ = Q k q k 0 with Q k = q k 1 +...+k l (k = (k 1 , . . . , k ℓ )) we get Therefore the right hand side of Eq. (4.14) can be factorized as k≥0 Z 2 (Q k , q) . We can treat this factorization as a product of infinite copies, each of them is Z 2 (Q k , q) and corresponds to a free CFT 2 .

Conclusions
We have shown above that all p-dimensional partition functions that have been considered in this paper can be written in terms of Ruelle functions, a spectral function related to hyperbolic geometry in three dimensions (see the Appendix). Thus they can not only be interpreted as correlators in a 2d CFT, but suggest a possible interpretation in terms of three dimensional physics. This relation is however still unveiled. In this last section we would like nevertheless to recall that in some specific cases the interpretation in terms three dimensional physics has been possible.
For the benefit of the reader, let us start explaining the connection between highest weight repre- where W j is the partition function [16]. The latter can be rewritten in the form The series Tr M q L 0 is called the formal character of the Vir-module M .
For three-dimensional gravity in a real hyperbolic space the partition function admits a factorization: it is a product of holomorphic and antiholomorphic functions W 0, The holomorphic contribution in (5.2) corresponds to the formal character of the Vir-module.
On the other hand the modulus of a Riemann surface Σ of genus one (the conformal boundary of AdS 3 ) is defined up to γ ·τ = (aτ +b)/(cτ +d) with γ ∈ SL(2, Z). Therefore the generating function as the sum of known contributions of states of left-and right-moving modes in the conformal field theory takes the form c,d W c,d (τ, τ ) = c,d W 0,1 ((aτ + b)/(cτ + d), τ ) . The generating function, represented as the sum over geometries, becomes, [14], This is an example of the fact that the Ruelle function represents a bridge between two-dimensional CFT and three dimensional physics. This might be the meaning also of the formulas we have derived in the previous sections.
In this light it is important to recall that a particular example of MacMahon function, Z 3d , is directly linked to the topological vertex, [10], in topological string theory. This is an open topological amplitude in a Calabi-Yau background. Analysis of this vertex, C λµν , and open string partition function leads to a relation Z 3d ∼ C λµν , [12,20,13,23]. This can be achieved as ν t |O + (λ)O − (λ t )|µ where the operators O + and O − play role of composite local vertex operators of two dimensional c = 1 conformal theory, and λ, µ, ν represent boundary states described by 2d-Young diagrams.
Applications of the topological vertex, see [24], suggest a connection with Chern-Simons theory. This may be the clue for our future investigation.
6 Appendix: Spectral functions of hyperbolic three-geometry In this section we recall some results on the Ruelle (Patterson-Selberg type) spectral functions. For details we refer the reader to [25,26,27] where spectral functions of hyperbolic three-geometry were considered in connection with three-dimensional Euclidean black holes, pure supergravity, and string amplitudes.