The main purpose of this paper is to present the explicit formulas of q-polynomials which admit a presentation in terms of the Patterson-Selberg (or Ruelle-type) spectral functions. It has been shown that equivariant methods also can be used to define and analyze (twisted) K-theory   . Applying techniques from the equivariant K-theory, one can construct a Chern character and K-theory Euler class. This is manifested by the fact that the q-series elliptic genera can be expressed in terms of q-analogs of the classical special functions, in particular the spectral Patterson-Selberg and Ruelle functions . In the present paper we would like to call attention to this connection by discussing some mathematical aspects associated with it.
One of the aims of the present paper is the application of the analytic Patterson-Selberg function and the symmetric functions (S-functions) in Analysis and Theoretical Physics. and S-functions not only provide beautiful formulas in analysis but also promote interesting results in theoretical physics. We mention below some results which will be explored along this manuscript.
Symmetric functions. Symmetric functions are directly connected with the Quantum Hall effect.
Finite-dimensional algebras. These algebras have wide variety of applications in Physics in the so-called quantum group which can be regarded as a deformation, depending on a parameter q, of the universal enveloping algebra of a semi-simple Lie algebra. Therefore, this is not finite-dimensional algebras but they are finitely generated. Their representation theory for q not a root of unity was found to be similar to the corresponding semi-simple Lie algebra.
Quantum groups. Quantum groups are an example of quasi-triangular Hopf algebras and, as such, for each quantum group there exists a universal R-matrix which intertwines with the action of the coproduct. By considering q-deformations of simple Lie superalgebras, one comes across to the concept of quantum supergroups.
Infinite-dimensional algebras. Of central importance in many diverse areas, Mathematics and Theoretical Physics are a particular class of infinite-dimensional algebras called (affine) Kac-Moody algebras. Unlike the finite-dimensional case, where the simple Lie algebras can be realized in terms of a finite number of fermionic/bosonic modes, simple Kac-Moody algebras have various vertex operator realizations. As an example, in terms of a finite number of bosonic free fields, the modes of which generate a Heisenberg algebra.
This paper is organized as follows. In Section 2 we consider the twisted symmetric products, the Euler characteristic . Then in Section 3 we analyse the Hirzebruch genera and calculate it in the orbifold cycle case. In Section 4 we calculate the orbifold symmetric product. In Section 5 we present the so-called Patterson-Selberg functions and discuss their applications. Finally, we summarize our key results in the Conclusion.
2. The Twisted Symmetric Product
Let G be a finite group and X be a G-space, on which a normal subgroup A acts trivially. The G-equivariant K-theory of X can be decomposed as a direct sum of twisted equivariant K-theories of X parametrized by the orbits of the conjugation action of G on the irreducible representations of A  (theorems 3.2 and 3.4).
Now we turn to the symmetric group and denote by the symmetric group on n symbols. As before, we denote the non-trivial class of G by . Using the decomposition formula (theorem 3.4 of  ), one can calculate , where the group acts on the n-fold product of a manifold X by permutation of coordinates. At last, formula for the twisted symmetric products takes the form
In Equation (1), is the Euler characteristic of X and (*) implies the conjugacy of the K function. We can easily rewrite Equation (1) in terms of spectral functions and we will present it in section 5.
It is known that if X is any compact, connected manifold, then . By means of Atiyah-Singer formula one can calculate index of an elliptic operator and express it (i.e. express the signature of a manifold) in terms of Pontrjagin classes. As before, we denote the non-trivial class of G by .
3. The Analysis of the Hirzebruch Genera
Let M be a smooth manifold and G is a finite group of diffeomorphisms. Note that there are two kinds of interesting cohomology theories for the orbifold M/G.
· The orbifold de Rham cohomology . We easily have isomorphism
· Next cohomology is the delocalized equivariant cohomology
Equations (3) have been introduced for the study of the equivariant K-theory. In this equations denotes the set of conjugacy classes of G, denotes the centralizer of g. For this cohomology theory, one can define an Euler number, denoted by and respectively.
Here is the group generated by g and h, the sum is taken over commutating pairs
Note that as defined in (2) is the Euler number of or equivalently . Therefore, one can easily show that
it is a classical analogue of the Lefschitz formula. Indeed:
Interesting classes of examples are provided by the symmetric products . The following formulas have been proved by various authors:
Again, we will present in Section 5, Equation (18), the result
Analysis for cycles. Let are the Chern roots of .
If then notice , is isomorphic to the direct sum of n copies of X and acts on it by cycling the factors j. The eigenvalues of n cycles on are for each with multiplicity 1. . Then with Appendix, Equation (18), we obtain
4. The Orbifold Symmetric Product
We will analyze the Poincaré polynomial of orbispace , whose category objects aren-tuples of points in X. In addition, the arrows are elements of the form , where . has its source as , while its target as . 1
The Poincaré q-polynomials. Let X be a topological space, denoted by its Poincaré polynomial, . Here is the j-th Betti number of X. The following formula has been proved by Macdonald 
For , Equation (12) reduces to the formula for the Euler characteristic of the symmetric product , which is valid for the topological space X whose cohomology is finitely generated for each . Using the -equivariant K-theory of , one can arrive at the following formula for generation functions : . In terms of the spectral functions , Equation (12) takes the form
The Poincaré orbifold polynomial can be defined as follows 
where is the j-th orbifold Betti number.
Remark 4.1 For any arbitrary (fixed) positive integers the following equality holds
For the symmetric product, viewed as an orbifold groupoid , it follows that
Using Equation (15) for calculating the orbifold Poincaré polynomial, we obtain
For these formulas the cohomology of X must be finitely generated at each n. The first line in (17) is similar to the equality (2.32) of . As before is the j-th Betti number of X.
5. The Ruelle-Type Spectral Functions
Let us introduce the Ruelle-type spectral function of a hyperbolic geometry . The function is an alternating product of more complicated factors, each one being the so-called Patterson-Selberg function,
where , , , a is a real number, , . The readers can find explicit formula for and its analytic properties in the reference .
The Bailey’s Transform and Infinite Hierarchy of the Bailey’s Chain
Let us begin with notations: , and . Bailey made the following observation  (see also  ), which is known as Bailey’s transform.
Theorem 5.1 (lectures , Theorem 3.1) Let for a suitable convergence conditions,
Important application of the Bailey’s transform and Bailey’s Lemma can be found in , Section 4
We apply Bailey’s transform
Using Equations (29) and (31) we have:
In addition (see  ),
Important special cases of Bailey’s Lemma and iterated of these results where found in . Note that a pair of sequences is called a Bailey pair. Thus if is a Bailey pair, then is a new pair which is given by (34) and (35).
Bailey’s Chain. Using Bailey initial pair we can create a new pair by applying Bailey’s Lemma. Continuing this process we create a sequence of Baley pairs, Bailey’s chain:
Let us assume , then this allows to extend the Bailey chain (36) to the left :
A Bailey pair is uniquely determined given either sequence or . Let a sequence be given, then sequence can be found. Equation (24) and Equation (25) can be inverted, and the result is :
Finally, we obtain
The main purpose of this paper is to present an explicit formula of q-polynomials which admit presentation in terms of the Patterson-Selberg (or Ruelle-type) spectral functions. Equivariant methods also can be used to define and analyze (twisted) K-theory. Applying techniques from the equivariant K-theory, one can construct a Chern character and K-theory Euler class. This is manifested by the fact that the q-series elliptic genera can be expressed in terms of q-analogs of the classical special functions, in particular the spectral Patterson-Selberg and Ruelle functions . Our main results were presented in Section 5 and they were applied them in some interesting problems in theoretical physics.
The author would like to thank Prof. A. A. Bytsenko for fruitful discussions during the preparation of this manuscript.
1The mentioned category is a groupoid for the inverse of , which is . This is the reason why we can consider as an orbispace.
 Wang, W. (2003) Equivariant K-theory, Generalized Symmetric Products and Twisted Heisenberg Algebra. Communications in Mathematical Physics, 234, 101-127.
 Bonora, L. and Bytsenko, A. A. (2011) Partition Functions for Quantum Gravity, Black Holes, Elliptic Genera and Lie Algebra Homologies. Nuclear Physics B, 852, 508-537.
 Gómez, J.M. and Uribe, B. (2007) A Decomposition of Equivariant K-Theory in Twisted Equivariant K-Theories. International Journal of Mathematics, 28, Article ID: 1750016.
 Andrews, G.E. (1985) q-Series: Their Development and Application in Analysis, Number Theory, Combinatorics, Physics, and Computer Algebra. Regional Conference in Mathematics, vol. 66, Published by the American Mathematical Society, Providence, Rhode Island.