Abstract
We propose formulas for the large N expansion of the generating function of connected correlators of the \(\beta \)-deformed Gaussian and Wishart–Laguerre matrix models. We show that our proposal satisfies the known transformation properties under the exchange of \(\beta \) with \(1/\beta \) and, using Virasoro constraints, we derive a recursion formula for the coefficients of the expansion. In the undeformed limit \(\beta =1\), these coefficients are integers and they have the combinatorial interpretation of generalized Catalan numbers. For generic \(\beta \), we define the higher genus Catalan polynomials \(C_{g,\nu }(\beta )\) whose coefficients are integer numbers.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
It is by now a well-known fact that the generating functions of connected correlators of matrix models often admit a topological expansion [1] which contains information about some enumerative geometric problems, such as map enumeration, Hurwitz theory, intersection theory on moduli spaces and Gromov–Witten theory [2,3,4,5].
On the other hand, matrix models satisfy Virasoro (or W-algebra) constraints associated to reparametrization invariance of the integrals under certain infinitesimal deformations [5]. Such constraints arise as Ward identities for the correlations functions and can be recast in the form of linear differential equations for the formal generating function of all correlation functions. The generating function of connected correlators of the matrix model, being the logarithm of the generating function of all correlators, satisfies a related set of non-linear equations which follow directly from Virasoro constraints.
In this article, we will be studying the interplay between these two aspects of the theory of random matrix models; namely, we will be interested in exploiting Virasoro constraints to derive the topological expansion of the generating function of connected correlators. By a slight abuse of notation, we will refer to this generating function as the time-dependent free energy which is a formal power series in higher times.
More specifically, we consider \(\beta \)-deformed ensembles of random Hermitian matrices with polynomial potentials,
where \(V(x)=\frac{N}{m\lambda }x^m\) and \(\beta \) is an arbitrary complex deformation parameter which allows to interpolate between the various types of standard ensembles such as orthogonal (\(\beta =1/2\)), unitary (\(\beta =1\)) and symplectic (\(\beta =2\)) [7,8,9]. This generating function provides an highest weight representation of the Virasoro algebra whose generators are represented by differential operators in the higher times variables \(\textbf{u}=\{u_1,u_2,\dots \}\), such that (1.1) is annihilated by a parabolic subalgebra,
for certain operators \(L_n\) defined as in (3.2). In the case of \(m=1,2\), the constraints admit a unique solution which can be recast either in the form of exponentials of W-operators [10, 11] or in the form of superintegrability formulas for Jack polynomials [11,12,13,14].
We restrict ourselves to considering these two cases, which correspond to the Gaussian \(\beta \)-ensemble (G\(\beta \)E) for \(m=2\) and the Wishart–Laguerre \(\beta \)-ensemble (WL\(\beta \)E) for \(m=1\). In order to derive the topological expansion of the time-dependent free energy, we make use of the following key ingredients:
-
nonlinear Virasoro constraints for the generating function
$$\begin{aligned} F(N,\beta ,\lambda ,\textbf{u}):=\log \frac{Z(N,\beta ,\lambda ,\textbf{u})}{Z(N,\beta ,\lambda ,0)}\,; \end{aligned}$$ -
superintegrability formulas for the average of characters [12], i.e., the property of some matrix models that
$$\begin{aligned} \langle \textrm{Jack}_\lambda \rangle \sim \textrm{Jack}_\lambda \,; \end{aligned}$$ -
symmetries of the constraint equations under the involution that sends \(\beta \) to \(1/\beta \).
Combining these properties of the matrix model, we are led to the following ansatz for the time-dependent free energy,
where the sum over half-integers g is interpreted as a genus expansion. Correspondingly, the coefficients \(C_{g,[k_1,\dots ,k_\ell ]}^{(i_1,i_2)}\) take the role of enumerative invariants associated to the \(\beta \)-deformed model. By analogy with the undeformed case, we define the sum
to be the Catalan polynomial of genus g associated to the tuple \([k_1,\dots ,k_\ell ]\). Plugging the ansatz into the Virasoro constraint equations gives a set of (cut-and-join) recursion relations for the polynomials \(C_{g,[k_1,\dots ,k_\ell ]}(\beta )\) which can be solved uniquely. Remarkably, the coefficients \(C_{g,[k_1,\dots ,k_\ell ]}^{(i_1,i_2)}\) are all integer numbers and they provide a refinement of the ordinary higher genus Catalan numbers described in [15, 16].
The organization of the article is as follows.
-
In Sects. 2 to 7 we give the definition of the generating function of (connected) correlators of the G\(\beta \)E as a function of higher times, the rank N, the coupling \(\lambda \) and the deformation parameter \(\beta \). We derive the Virasoro constraints satisfied by the time-dependent free energy, and we observe the symmetry of these objects under the involution that exchanges \(\beta \) and \(1/\beta \). Making use of these properties, we then derive an ansatz for the 1/N expansion of the time-dependent free energy, and we identify the coefficients \(C_{g,\nu }(\beta )\) as \(\beta \)-deformations of the higher genus Catalan numbers that appear in the topological expansion of the ordinary Gaussian matrix model. We show that the \(\beta \)-dependence of the Catalan polynomials \(C_{g,\nu }(\beta )\) can be reabsorbed into Schur polynomials of two variables \(s_\lambda (1,-\beta )\) and this leads to the definition of a secondary set of integer invariants, the \(n_{\nu ,\lambda }\). A cut-and-join recursion formula for the Catalan polynomials is then obtained from Virasoro constraints and the undeformed limit \(\beta \rightarrow 1\) is discussed.
-
In Sect. 8 we repeat the analysis for the case of linear potential, i.e., the WL\(\beta \)E matrix model, and we obtain similar formulas for the genus expansion and the recursion relations.
-
In Sect. 9 we comment on our results and identify some of the open questions that deserve further investigation.
Finally, in Appendix A we collect some useful facts about Schur polynomials in two variables, in Appendix B we provide a formula to relate the Catalan polynomials of the G\(\beta \)E to the marginal b-polynomials that appear in the b-conjectures of Goulden and Jackson, and in Appendix C we tabulate some of the polynomials \(C_{g,\nu }(\beta )\) and integer invariants \(n_{\nu ,\lambda }\) obtained by solving the recursion up to finite order in the genus and in higher times.
2 The \(\beta \)-deformed Gaussian ensemble
Recall that the classical Gaussian unitary ensemble (GUE) is defined by the matrix integral
where the integration is over the space of Hermitian \(N\times N\) matrices and the parameter N is the rank. Here we consider a quadratic potential with coupling constant \(\lambda \) such that \(\Re (\lambda )>0\).
The measure and the potential are invariant under the adjoint action of the group U(N); therefore, it is possible to rewrite this matrix integral as an integral over eigenvalues \(x_i\) as
where \(\prod _{i<j}(x_i-x_j)\) is the Vandermonde determinant. The \(\beta \)-deformation of the GUE is defined as a 1-parameter deformation of the eigenvalue integral by substituting the Vandermonde determinant with its \(\beta \) power. This is a very natural and well-studied deformation which is known to have a matrix integral representation via tridiagonal matrices as shown in [17]. We refer to this matrix model as the Gaussian \(\beta \)-deformed ensemble.
The generating function of all polynomial expectation values is defined by the formal power series in higher times \(\textbf{u}=\{u_1,u_2,\dots \}\) as
This is the main object that we will study in the following. Its logarithm is the generating function of all connected correlation functions and is known as the time-dependent free energy of the matrix model. We denote this function as
where we normalized the time-dependent free energy so that \(F(N,\beta ,\lambda ,0)=0\).
It is a well-known fact that the time-dependent free energy of a matrix model admits a simultaneous expansion in the parameter N and higher times \(u_k\) which can be interpreted as a genus expansion, i.e., a sum over contributions coming from surfaces of arbitrary genus g and punctures. In Sect. 5 we show that a similar expansion also exists after the \(\beta \)-deformation.
We conclude this section by observing that the dependence on the coupling parameter \(\lambda \) is quite simple, and it can be easily reabsorbed via a rescaling of times, as we show in the following lemma.
Lemma 2.1
The function \(F(N,\beta ,\lambda ,\textbf{u})\) satisfies the following homogeneity equation
with the dilation operator defined as
Proof
This follows from the change of variables \(x_i=\lambda ^{\frac{1}{2}}y_i\) in the integral (2.2). \(\square \)
3 Virasoro constraints
The generating function of a matrix model satisfies an infinite set of differential equations known as Virasoro constraints [6] which encode all the linear relations among the correlation functions. These constraints are a consequence of invariance of the integral under infinitesimal reparametrizations generated by the vector fields \(\sum _i x_i^{n+1} \frac{\partial }{\partial x_i}\) for \(n\in {\mathbb {Z}}\) which provide a representation of the Virasoro algebra.
In the case of the \(\beta \)-ensemble in (2.3), the constraints can be written explicitly as
with the Virasoro generators \(L_n\) defined as
While these constraints are linear for the function \(Z(N,\beta ,\lambda ,\textbf{u})\), they are nonlinear and non-homogeneous for \(F(N,\beta ,\lambda ,\textbf{u})\); in fact, we have
Later, we will use these equations to derive a recursion relation for the coefficients of the series expansion of \(F(N,\beta ,\lambda ,\textbf{u})\).
Remark 3.1
The rank N of a matrix model, even \(\beta \)-deformed, is by definition the number of eigenvalues (integration variables) and therefore it is a positive integer number. We remark, however, that the Virasoro constraint Eq. (3.3) make sense not just for positive integer rank but can be analytically continued to arbitrary complex values. The corresponding solutions will then interpolate between actual matrix models and more general functions that can be interpreted as analytic continuations away from integer rank N. From now on, we will therefore assume that N is just another complex variable on which the coefficients of the generating function \(F(N,\beta ,\lambda ,\textbf{u})\) depend analytically.
4 Symmetries of the G\(\beta \)E
Before discussing the dependence of \(F(N,\beta ,\lambda ,\textbf{u})\) on the parameter N as a power series, we pause to observe that the \(\beta \)-ensemble has a non-trivial symmetry under the exchange of \(\beta \) and \(\beta ^{-1}\), [17]. This is not a symmetry which is manifest at the level of the integral representation of the model, and in fact, it is better understood as a non-perturbative duality known as Langlands duality [17]. Namely, one notices that the Virasoro constraints (3.1) are invariant under the duality transformation
together with the rescalings
Since the solution of the constraints is unique (up to normalization), it must follow that the (normalized) generating function is invariant under this symmetry. This produces the identity
for the time-dependent free energy. We will use this identity to constrain the form of \(F(N,\beta ,\lambda ,\textbf{u})\) as a power series in N.
In addition to the inversion symmetry of \(\beta \), the G\(\beta \)E just like the GUE is symmetric under the transformation \(x_i\mapsto -x_i\). Then it is well-known that there is a corresponding Ward identity that sets all odd correlation functions to zero, namely
when \(k_1+\dots +k_n\) is odd. Correspondingly, \(F(N,\beta ,\lambda ,\textbf{u})\) must be a formal power series in times such that each monomial is even w.r.t. the degree induced by the dilation operator \(D_{\textbf{u}}\) in (2.6).
5 Large N behavior and genus expansion
The Virasoro constraints of the G\(\beta \)E induce a recursion for the correlation functions, and this recursion is known to have a unique solution [18] up to normalization. Using the superintegrability formula for averages of Jack polynomials [10, 12, 13, 17],
together with Cauchy’s identity for Jack polynomials
we can rewrite the generating function as follows
This implies that \(Z(N,\beta ,\lambda ,\textbf{u})\) admits a Taylor series expansion in N around \(\infty \) and, after taking the logarithm, the same is also true of \(F(N,\beta ,\lambda ,\textbf{u})\), so that we can write the series expansion
The Virasoro constraints for the coefficients \(F_s(\beta ,\lambda ,\textbf{u})\) read
Let us assume we know the functions \(F_0(\beta ,\lambda ,\textbf{u}),\dots ,F_{s-1}(\beta ,\lambda ,\textbf{u})\) and we want to solve the constraints with respect to \(F_s(\beta ,\lambda ,\textbf{u})\). Then (5.5) gives the following
where \(B_{s,n}(\beta ,\lambda ,\textbf{u})\) is given by
Observe that (5.6) as an equation for \(F_s(\beta ,\lambda ,\textbf{u})\) is now non-homogeneous but linear (for \(s>0\)). This fact now allows us to solve the Virasoro constraints in a fashion similar to that of [20] in the case of matrix models with boundaries. A formal solution can be derived as follows. We multiply (5.6) by \((n+2)u_{n+2}\) and sum over \(n=-1,0,\dots \), to get
with
and \(D_{\textbf{u}}\) is the dilation operator in (2.6). Since both \(F_s(\beta ,\lambda ,\textbf{u})\) and the function in the r.h.s. have no constant terms in \(\textbf{u}\), we can invert the operator \(D_{\textbf{u}}\) to get
With enough computational power, this formula allows to derive recursively all the functions \(F_s(\beta ,\lambda ,\textbf{u})\) by repeatedly applying the operators W and \(D_{\textbf{u}}^{-1}\). Unfortunately, we do not know how to use (5.10) to give a closed formula for the solution of the constraints. In the next sections, however, we will make use of this formal expression to argue some properties about the polynomial dependence on the times \(\textbf{u}\). In fact, equation (5.10) is instrumental in the proof of proposition 5.1.
5.1 Order zero
The order-zero term \(F_0(\beta ,\lambda ,\textbf{u})\) can be easily computed by solving Virasoro constraints in that limit. The constraints (5.5) for \(s=0\) yield the relations
In order to solve this equation, we first come up with an ansatz for the function \(F_0(\beta ,\lambda ,\textbf{u})\) and we plug it in the constraint. If we can fix the parameters of the ansatz so that the constraints are satisfied, then it must follow that the ansatz is correct, since we know that the solution is unique. Let us consider the ansatz
with \(F_{0,[k]}(\beta )\) some coefficients to be determined. From the Virasoro constraints, we get the recursion relation
which admits the unique solution
for \(k\ge 1\). We then have that, at order zero, the coefficients \(F_{0,[k]}(\beta )\) are constant that do not depend on the deformation parameter \(\beta \).
Observe that naively it would appear that \(F_0(\beta ,\lambda ,\textbf{u})\) is not polynomial in \(\beta \) because of the fractional power in the term \((\beta \lambda )^{\frac{k}{2}}\). However, by explicitly solving the recursion (5.13), we obtain that \(F_{0,[k]}(\beta )=0\) if k is odd, so that \(F_0(\textbf{u})\) is indeed polynomial in \(\beta \) (at each order in the expansion in times \(\textbf{u}\)). It then follows that the numbers \(F_{0,[2k]}(\beta )\) coincide with the ordinary Catalan numbers.
5.2 Order one
The order-one term \(F_1(\beta ,\lambda ,\textbf{u})\) satisfies the constraints
which also involve the order-zero function \(F_0(\beta ,\lambda ,\textbf{u})\). In this case we consider the following ansatz
with \(F_{1,[k]}(\beta )\) some polynomial function of \(\beta \). Then from the Virasoro constraints, we get the recursion relation
which admits the unique solution
for \(k\ge 1\). As in the previous case, the ansatz allows to solve the recursion uniquely, and therefore, it is the correct formula for the function \(F_1(\beta ,\lambda ,\textbf{u})\).
It would appear at this point that \(F_s(\beta ,\lambda ,\textbf{u})\) is always a polynomial of degree 1 in the times (w.r.t. the grading operator \(\sum _{k\ge 1} u_k\frac{\partial }{\partial u_k}\)); however, this is not true for \(s\ge 2\), as we will show in the next section.
5.3 Higher orders
Next, we want to compute all higher-order terms in the 1/N expansion. While the constraint equations for the leading order are self-contained and can be solved independently of other orders, the constraints for higher-order functions \(F_s(\beta ,\lambda ,\textbf{u})\) do depend explicitly on lower orders as well. Nevertheless, we would like to use the same strategy to solve the constraints at all orders. Namely, we come up with an ansatz for the full time-dependent free energy, and we use the constraints to fix the coefficients. If a solution exists, then it must follow that the ansatz gives the correct answer for \(F(N,\beta ,\lambda ,\textbf{u})\). Moreover, the Virasoro constraints will give a recursive definition of the coefficients. By analogy with the order-zero case, we name these coefficients \(\beta \)-deformed generalized Catalan numbers. This is in fact compatible with the definition of (undeformed) generalized Catalan numbers of [15, 16] when \(\beta =1\).
We first want to fix the polynomial dependence on times of the functions \(F_s(\beta ,\lambda ,\textbf{u})\). Making use of the formal solution (5.10), we obtain the following.
Proposition 5.1
The function \(F_s(\beta ,\lambda ,\textbf{u})\) is polynomial in the time variables \(\textbf{u}\) of degree at most \(\lfloor s/2\rfloor +1\) w.r.t. the grading operator \(\sum _{k>0} u_k \frac{\partial }{\partial u_k}\).
Proof
The proposition can be proven by induction on s. The functions \(F_0(\beta ,\lambda ,\textbf{u})\) and \(F_1(\beta ,\lambda ,\textbf{u})\) are both of degree 1 in times as shown in the previous sections; hence, they satisfy the statement of the proposition. For \(s\ge 2\), we assume that \(F_r(\beta ,\lambda ,\textbf{u})\) is of degree at most \(\lfloor r/2\rfloor +1\) for \(0\le r < s\); then, from (5.7) one observes that the function
is of degree at most \(\lfloor s/2\rfloor +1\).Footnote 1 Since the operator \(D_{\textbf{u}}\) is degree 0 and W is the sum of a degree 0 and a degree -1 operator, it follows from (5.10) that \(F_s(\beta ,\lambda ,\textbf{u})\) is a polynomial of degree at most \(\lfloor s/2\rfloor +1\). \(\square \)
Next, we want to fix the \(\lambda \) and \(\beta \) dependence. The former is dictated by the homogeneity property in lemma 2.1, while the latter follows from the fact that \(F_s(\beta ,\lambda ,\textbf{u})\) is polynomial in \(\beta \) at every order in times. We can then write an explicit formula for \(F_s(\beta ,\lambda ,\textbf{u})\),
where the coefficients \(F_{s,[k_1,\dots ,k_\ell ]}(\beta )\) and the exponent \(m(s,\ell )\) are yet to be determined (via the constraints). Our analysis now indicates that the coefficients \(F_{s,[k_1,\dots ,k_\ell ]}(\beta )\) are polynomial functions of \(\beta \). Moreover, the exponent \(m(s,\ell )\) is an integer-valued function of \(s,\ell \) such that \(m(s,\ell )\ge 0\) if \(F_{s,[k_1,\dots ,k_\ell ]}(\beta )\ne 0\)Footnote 2.
At this point of our derivation, we would like to find a concrete formula for \(m(s,\ell )\). As this is not fully specified by just polynomiality or symmetry arguments, we propose the following ansatz.
Ansatz 5.1
The integer function \(m(s,\ell )\) is given by
A proof that this ansatz is indeed the correct choice for the function \(m(s,\ell )\) will follow from the recursion relations that the Virasoro constraint impose on the functions \(F_{s,[k_1,\dots ,k_\ell ]}(\beta )\).
Let us make sure that our formulas satisfy the symmetry discussed in Sect. 4. In the new variables, the symmetry acts trivially on the times \(\textbf{u}\), while it transforms the coupling as
so that from (4.3) it must follow that
This can be checked explicitly for \(s=0,1\) from (5.12) and (5.16). More generally, we get the non-trivial relation
Let \(\deg F_{s,[k_1,\dots ,k_\ell ]}(\beta )\) denote the polynomial degree in \(\beta \), then we can write
for some constant coefficients \(F_{s,[k_1,\dots ,k_\ell ],i}\). Then the symmetry constraint (5.24) implies the following:
where the second equation can be equally stated as saying that \(F_{s,[k_1,\dots ,k_\ell ]}(\beta )\) is a palindromic polynomial in \(-\beta \).
Remark 5.1
Observe that any polynomial \(P(x,y) = \sum _{i=0}^r P_i x^i y^{r-i}\) such that the coefficients are palindromic (i.e., \(P_{r-i}=P_i\)), is symmetric in the exchange of x and y, and therefore can be written as a linear combination of homogeneous degree-r symmetric polynomials in two variables. The space of such symmetric functions has a special linear basis consisting of Schur polynomials \(s_\lambda (x,y)\) associated to partitions \(\lambda \) with r boxes (see appendix A). If the coefficients \(P_i\) are integers, then the coefficients in the expansion of P(x, y) over the Schur basis are also integer numbers. The polynomial functions \(F_{s,[k_1,\dots ,k_\ell ]}(\beta )\) can be regarded as special cases of polynomials P(x, y) where \(x=-\beta \), \(y=1\) and \(r=2-2\ell +s\).
Lemma 5.1
If s is odd, the polynomial \(F_{s,[k_1,\dots ,k_\ell ]}(\beta )\) has a zero at \(\beta =1\).
Proof
Let us use the symbol \(\nu \) to indicate the tuple \([k_1,\dots ,k_\ell ]\). If s is odd, we can assume that there is an integer h such that \(2-2\ell +s=2h+1\). Then we can use the identity (5.27) to write
where \(\frac{1-\beta ^{1+2(h-i)}}{1-\beta }=1+\beta +\dots +\beta ^{2(h-i)}\) is a polynomial for all i s.t. \(0\le i\le h\). \(\square \)
Putting everything together, we get the expansion
5.4 Genus expansion
Recall that for any function \(f(s,\ell )\) we have the identity
which is just a reorganization of the sum on the left. Hence, we can rewrite the time-dependent free energy as
where, by analogy with the undeformed case, we regard the sum over the half-integer g as the genus expansion of the time-dependent free energy.
Definition 5.1
Let \(\nu \) be an integer partition. We define the genus-g Catalan polynomial associated to \(\nu \) as
where \(\ell (\nu )\) is the length of the partition and the polynomial in the r.h.s. is defined as in eq. (5.20). Moreover, from (5.24) it follows that
and we can use this symmetry to write
with coefficients \(C_{g,\nu }^{(i_1,i_2)}\) symmetric in \(i_1,i_2\).
In the next section, we will argue that Catalan polynomials satisfy the two crucial properties:
-
the coefficients of \(C_{g,\nu }(\beta )\) are integers;
-
the polynomials \(C_{g,\nu }(\beta )\) evaluate to the generalized Catalan numbers of [15] at \(\beta =1\).
Observe that the summation label g in (5.31) can now be interpreted as the genus of some surface. Remarkably, the sum over g ranges over both integer and half-integer (positive) numbers, which suggests that the combinatorial interpretation of the time-dependent free energy is not as simple as in the undeformed case. Namely, the fact that the genus is allowed to take half-integer values is an indication that what the G\(\beta \)E is counting are not just orientable maps but more generally all locally orientableFootnote 3 maps as already recognized in works of Goulden and Jackson (see [23, 24]). We provide a more in-depth discussion of the combinatorial interpretation of our results in Appendix B.
In order to solve for the coefficients \(C_{g,\nu }(\beta )\), we will now simplify the genus expansion of the time-dependent free energy as much as possible. To this end, we consider the change of time variablesFootnote 4
which leads to the following expression
where \(p_\nu (\textbf{v})=\prod _{k\in \nu }v_k\) are power-sum polynomials in times \(\textbf{v}\), and we used the combinatorial identity
with \(|\textrm{Aut}(\nu )|=p_\nu (\{\frac{\partial }{\partial v_k}\}) p_\nu (\textbf{v})\) being the order of the automorphism group of the partition \(\nu \).
Let us define the function
then we have that
is the generating function of all Catalan polynomials, with \(z\) being the genus counting variable. The Virasoro constraints for the function \(G(z,\beta ,\textbf{v})\) become
and expanding in powers of \(z\), we get
Remark 5.2
Let us consider the case when \(\beta =-\frac{\epsilon _2}{\epsilon _1}\). Then, we can write
which is a homogeneous degree-2g symmetric polynomial in \(\epsilon _1,\epsilon _2\), due to the property (5.33). Since any such symmetric polynomial can be expressed as an integer linear combination of Schur polynomials \(s_\lambda (\epsilon _1,\epsilon _2)\) for \(|\lambda |=2g\) (see appendix A), we can rewrite (5.42) as
where \(n_{\nu ,\lambda }\in {\mathbb {Z}}\). Then we can define the generating function of all \(n_{\nu ,\lambda }\) as
or, equivalently, we can write \(G(z,\beta ,\textbf{v})=n(z,-\beta z,\textbf{v})\). The constraints for the function \(n(\epsilon _1,\epsilon _2,\textbf{v})\) are
Observe that Schur functions of two variables vanish identically for \(\ell (\lambda )>2\); therefore, the sum over \(\lambda \) collapses to a sum over partitions of the form \(\lambda =[h+d,d]\) for \(h,d\ge 0\). We then have
where we used the combinatorial identity
together with (A.4). The genus in the formula for \(n(\epsilon _1,\epsilon _2,\textbf{v})\) is given by half of the monomial degree in the \(\epsilon _i\)’s, i.e., the eigenvalue of the operator \(\frac{1}{2}(\epsilon _1\frac{\partial }{\partial \epsilon _1}+\epsilon _2\frac{\partial }{\partial \epsilon _2})\). We have the relation of coefficients
which suggests that the integers \(n_{\nu ,\lambda }\) might have a more fundamental role than the coefficients of the Catalan polynomials \(C_{g,\nu }(\beta )\). Moreover, explicit computations of some of the \(n_{\nu ,\lambda }\) indicate that these coefficients are always positive integers, see Table 2. While this is strong evidence that these numbers are the solution to some counting problem, we are not aware of possible combinatorial or enumerative geometric interpretations of the integers \(n_{\nu ,\lambda }\). It would be interesting to investigate this further.
6 Recursion formula
Having fixed the general form of the series expansion of the time-dependent free energy, and the closely related function \(G(z,\beta ,\textbf{v})\), we now need to fix the coefficients of \(C_{g,[k_1,\dots ,k_\ell ]}(\beta )\). To this end, we make use again of the Virasoro constraints as written in (5.41). By plugging the formula for the generating function \(G(z,\beta ,\textbf{v})\) into the constraint equations, we get non-linear relations between the coefficients. Provided we fix some appropriate initial conditions, these relations determine a recursion on the Catalan polynomials, which can be solved uniquely. This recursion formula is completely equivalent to the Virasoro constraints themselves, and it is in fact also interpreted as a topological recursion formula for the genus expansion of the time-dependent free energy. Similar topological recursion formulas for the G\(\beta \)E were already considered in [21].
6.1 Initial conditions
We consider first the constraint equations following from the Virasoro constraints for \(n=-1\) and \(n=0\) as they allow to define the initial conditions for the recursion.
For \(n=-1\) we have the differential equation
which translates to the following recursion relation for the Catalan polynomials
Similarly, for \(n=0\) we have the differential equation
which translates to
Observe that both equations only contain contributions \(G_r(\beta ,\textbf{v})\) for a fixed r, which means that these relations are independent of all other genera (differently from what happens for \(n\ge 1\)).
6.2 Recursion for \(n\ge 1\)
In general, we can write the recursion relation for an arbitrary polynomial \(C_{g,[k_1,\dots ,k_\ell ]}(\beta )\) by expanding (5.41) in all possible monomials in times \(\textbf{v}\). For \(n\ge 1\), the equation corresponding to the monomial \(p_{[k_1,\dots ,k_\ell ]}(\textbf{v})=v_{k_1}\cdots v_{k_\ell }\) gives the recursion
where it is understood that the polynomials \(C_{g,[k_1,\dots ,k_\ell ]}(\beta )\) are identically zero whenever one or more of the labels \(k_j\) are \(\le 0\). This recursion relation is sometimes also known as cut-and-join recursion, and it corresponds to the \(\beta \)-deformed version of the recursion in [15, (6)]. Observe that symmetry of the equation (6.5) under \(\beta \mapsto 1/\beta \) is a straightforward consequence of (5.33).
Expanding further in powers of \(\beta \), we get
One can check explicitly that this recursion admits a unique solution and, moreover, that the coefficients \(C_{g,\nu }^{(i,2g-i)}\) that solve the recursion are integer numbers. Solving the equations for the first few Catalan polynomials gives Table 1.
7 The undeformed limit
In the limit \(\beta \rightarrow 1\), the polynomials \(C_{g,[k_1,\dots ,k_\ell ]}(\beta )\) reduce to alternating sums of coefficients \(C_{g,[k_1,\dots ,k_\ell ]}^{(a,b)}\) as follows
where \(C^\textrm{CLPS}_{g,[k_1,\dots ,k_\ell ]}\) are the coefficients of [16].
Observe also that, in the limit \(\beta \rightarrow 1\) (i.e., \(\epsilon _1+\epsilon _2=0\)), the Schur polynomials \(s_\lambda (\epsilon _1,\epsilon _2)\) evaluate to either 0 or \(\pm 1\) (see A.4):
This implies that
which means that the genus expansion of \(G(z,1,\textbf{v})\) only contains integer genera contributions.
Similarly, the time-dependent free energy simplifies to
so that
Observe that from Lemma 5.1 we have that the sum in (7.1) vanishes identically when 2g is odd. The sum over the genus g then collapses to a sum over only positive integers, and we recover the known genus expansion of the time-dependent free energy of the GUE as described in [15].
8 Wishart–Laguerre \(\beta \)-ensemble
There is another example of \(\beta \)-deformed ensemble that has the property that Virasoro constraints admit a unique solution. This is the Wishart–Laguerre \(\beta \)-ensemble which corresponds to the deformation of the matrix model with linear potential \(V(x)=\frac{N}{\lambda }x\). Differently from the case of the Gaussian matrix model, one can additionally introduce a logarithmic term in the potential without spoiling the solvability of Virasoro constraints [11]. We will denote as \(\alpha \) the coupling corresponding to such logarithmic interaction. After exponentiation of the potential, this gives rise to a determinant insertion of the form \(\prod _{i=1}^N x_i^\alpha \). The generating function of all polynomial expectation values can then be defined as
Convergence of the integral imposes that the contour be restricted to the positive orthant in real N-dimensional space, together with the conditions \(\Re (\alpha )>-1\) and \(\Re (\lambda ^{-1})>0\).
8.1 Symmetries
The time-dependent free energy of the WL\(\beta \)E satisfies the following symmetry properties. First, both the normalized generating function and its logarithm are invariant under the involution
For later convenience, we introduce a new parameter \(\phi \) defined by the equation
which implies \(\phi =1+\frac{\alpha }{1-\beta }\). Observe that under the symmetry (8.2), the new parameter \(\phi \) is trivially mapped to itself. We then have
Second, we observe the homogeneity equation
which follows from the change of variables \(x_i=\lambda y_i\) in the integral (8.1). This is analogous to the equation (2.1) in the Gaussian case, with the caveat that the homogeneity degree of the time-dependent free energy is different in the two cases.
8.2 Superintegrability
Similarly to the Gaussian case, the WL\(\beta \)E is a matrix model that exhibits superintegrability for the averages of characters; namely, it can be shown [11, 14, 28] that the ensemble average of Jack polynomials satisfies
This formula then can be used to define the generating function of the matrix model
and can be used to argue for the polynomiality of the time-dependent free energy in the parameters \(\beta \) and \(\phi \).
8.3 Virasoro constraints
By analogy with the G\(\beta \)E, we are led to consider the change of time variables
where the power of \((\beta \lambda )\) has no factors of \(\frac{1}{2}\) due to the different dependence on the coupling \(\lambda \) as observed in (8.5).
A similar analysis to that of Sect. 5 then suggests that one should consider the function
for which the Virasoro constraintsFootnote 5 become
with \(n\ge 0\).
The function \(G(z,\beta ,\phi ,\textbf{v})\) then admits the following genus expansion in \(z\),
where \(C_{g,\nu }(\beta ,\phi )\) are polynomial functions in \(\beta \) and \(\phi \),
with coefficients \(C_{g,\nu ,j}^{(i,2g-i)}\) to be fixed by the constraints. We shall call \(C_{g,\nu }(\beta ,\phi )\) the Catalan polynomials in genus g. The symmetry in (8.2) imposes that \(C_{g,\nu }(\beta ,\phi )\) be palindromic polynomials in \((-\beta )\); however, there does not seem to be such a symmetry w.r.t. the variable \(\phi \).
The equations in (8.10) then can be expanded in powers of \(z\) and monomials in times \(\textbf{v}\), to obtain a recursion on the Catalan polynomials \(C_{g,\nu }(\beta ,\phi )\). Namely, we have
for \(n\ge 0\). We recall that the \(n=-1\) constraint is not well-defined in the WL\(\beta \)E case; however, the recursion for non-negative n can still be solved uniquely.
These recursion relations imply that the coefficients of \(C_{g,[k_1,\dots ,k_\ell ]}(\beta ,\phi )\) are integer numbers. Equivalently, we have that \(n_{\nu ,\lambda }(\phi )\) are polynomials in \(\phi \) of degree \(2g=|\lambda |\) and coefficients in \({\mathbb {Z}}\). Explicit computations of these integer numbers by means of the recursion suggest that they are always positive; however, we do not have a proof of this claim. See Tables 4 and 5 for lists of some of these coefficients for arbitrary \(\phi \) and for \(\phi =1\), respectively.
9 Outlook
In this article we have analyzed the dependence of the free energy (logarithm of the generating function of correlators) of the G\(\beta \)E and WL\(\beta \)E on the parameters of the matrix model, most importantly the rank N and the deformation parameter \(\beta \).
We exploited Virasoro constraints for the (time-dependent) free energy to derive an ansatz for the genus expansion (5.31) with coefficients defined as \(\beta \)-deformations of generalized higher genus Catalan numbers. The ansatz is motivated both by symmetry arguments and by showing that it leads to a (topological) recursion relation on the coefficients, whose solution is unique.
Upon suitable change of time variables, we have been able to also define the function \(G(z,\beta ,\textbf{v})\) which naturally admits a genus expansion in the variable \(z\), with coefficients given by the higher genus Catalan polynomials \(C_{g,\nu }(\beta )\). This led us to reformulate the genus expansion in terms of more fundamental integer invariants \(n_{\nu ,\lambda }\) and their generating function \(n(\epsilon _1,\epsilon _2,\textbf{v})\), which is manifestly symmetric in the exchange of \(\epsilon _1\) and \(\epsilon _2\), equivalent to the involution sending \(\beta \) to \(1/\beta \). Quite remarkably, all the invariants \(n_{\nu ,\lambda }\) that we have been able to compute turn out to be positive integers, strongly suggesting that they should have a specific combinatorial interpretation.
As a last comment, we observe that our results hold for arbitrary values of the deformation parameter \(\beta \), and that, by specializing to the values \(\beta =\tfrac{1}{2},1\) and 2 we immediately obtain the case of the orthogonal, unitary and symplectic ensembles, respectively. This implies that the \(C_{g,\nu }(\beta )\) provide an analytic continuation of higher genus Catalan numbers for all those classical matrix ensembles.
A number of question arise naturally from our discussion.
-
While integrality of the \(n_{\nu ,\lambda }\) follows from the cut-and-join recursion relations, their positivity is not immediately obvious; however, Tables 2 and 5 give strong evidence for this claim. A possible explanation of this fact could follow from some combinatorial interpretation of the positive integers \(n_{\nu ,\lambda }\) as dimensions of certain vector spaces. Comparison with the results of [23, 24, 29] would suggest that they should be related to counts of locally orientable maps as discussed in appendix B; however, the precise details of the identification remain unclear. Another possible connection is with the theory of monotone Hurwitz numbers, as in recent works of [30, 31].
-
Can one use similar techniques to derive a genus expansion for the time-dependent free energy of q, t-deformed matrix models as those considered in [11, 32, 33]? What kind of topological recursion relation can one obtain from q-Virasoro constraints? What is the combinatorial meaning of the coefficients of the corresponding genus expansion?
-
It would appear from our analysis that one could come up with an ansatz for the time-dependent free energy of any \(\beta \)-deformed matrix model with polynomial potential \(V(x)=\frac{N}{m\lambda }x^m\). The natural generalization of the ansatz for the genus expansion would be
$$\begin{aligned} F(N,\beta ,\lambda ,\textbf{u})= & {} \sum _{\ell =1}^\infty \sum _{g\in \frac{1}{2}{\mathbb {N}}} \frac{N^{2-2g-2\ell } \beta ^{1-\ell -2g}}{\ell !} \sum _{k_1,\dots ,k_\ell =1}^\infty (\beta \lambda )^{\sum _{j=1}^\ell \frac{k_j}{m}} \nonumber \\{} & {} \times \sum _{i_1+i_2=2g}(-\beta )^{i_1} C_{g,[k_1,\dots ,k_\ell ]}^{(i_1,i_2)} \prod _{j=1}^\ell u_{k_j} \end{aligned}$$(9.1)for some appropriate coefficients \(C_{g,[k_1,\dots ,k_\ell ]}^{(i_1,i_2)}\). However, it is known from [10, 11, 20] for example, that Virasoro constraints for \(m\ge 3\) do not admit a unique solution. For this reason, the polynomials \(C_{g,[k_1,\dots ,k_\ell ]}(\beta )\) are not well-defined in this case, and we cannot guarantee that the ansatz (9.1) gives the correct genus expansion of the time-dependent free energy. It would be interesting to study this case further, as it seems to require different techniques from those used in this article.
-
In the case of the G\(\beta \)E, we are able to give an explicit identification between Catalan polynomials and marginal b-polynomials as discussed in appendix B. It is not known to us whether marginal b-polynomials can be defined also in the case of the WL\(\beta \)E or not. Nevertheless, an analogue of the rooted map series (B.5) can be defined as
$$\begin{aligned} \begin{aligned} M(N,b,\phi ,\textbf{y}) :=&H(\{x_k=N\},\textbf{y},\{z_k=N+b\phi \};b) \\ =&\sum _{\mu ,\nu ,\lambda } c_{\mu ,\nu ,\lambda }(b) N^{\ell (\mu )} (N+b\phi )^{\ell (\lambda )} p_\nu (\textbf{y}) \end{aligned} \end{aligned}$$(9.2)by using superintegrability (8.7). The obvious question now is: what is the function \(M(N,b,\phi ,\textbf{y})\) counting? Moreover, what is the combinatorial meaning of the parameter \(\phi \)? The answer might be related to a \(\beta \)-deformed version of the analysis in [34, 35] which relates moments of the WL\(\beta \)E at \(\beta = 1\) and double monotone Hurwitz numbers.
-
Superintegrability of averages of Jack polynomials gives a closed formula for the character expansion of the generating function \(Z(N,\beta ,\lambda ,\textbf{u})\). Is there an equivalent reformulation of superintegrability for the function \(F(N,\beta ,\lambda ,\textbf{u})\)? The existence of such a formula would give a closed form expression for all Catalan polynomials \(C_{g,\nu }(\beta )\) and integer invariants \(n_{\nu ,\lambda }\). A possible way to relate superintegrability to the topological expansion could be via the W-representation of the matrix model as discussed in [36].
We leave the investigation of these and other questions to future research.
Data availability
There are no data associated to this paper.
Notes
To see this, we need to use the inequality \(\lfloor i/2 \rfloor +\lfloor j/2 \rfloor \le \lfloor s/2 \rfloor \) for all \(0<i,j<s\) such that \(i+j=s\).
This positivity constraint on \(m(s,\ell )\) follows from the requirement that \(F_s(\beta ,\lambda ,\textbf{u})\) must be polynomial in \(\beta \).
Observe that the genus of an orientable surface with Euler characteristic \(\chi \) is defined as \(g=\frac{1}{2}(2-\chi )\) where \(\chi \) is always an even integer. For a non-orientable surface, however, the Euler number \(\chi \) can be odd, therefore \(\frac{1}{2}(2-\chi )\) can be half-integer.
Under the inversion symmetry \(\beta \mapsto 1/\beta \), the new times \(\textbf{v}\) transform trivially, as the combinations of parameters \(\beta N^2\) and \(\beta \lambda \) are both invariant.
See [11] for a derivation of the constraints for the generating function \(Z(N,\beta ,\lambda ,\phi ,\textbf{u})\) of the WL\(\beta \)E.
References
G. Borot and A. Guionnet, “Asymptotic Expansion of \(\beta \) Matrix Models in the One-cut Regime,”Comm. Math. Phys. 317 (2013) 447–83, arXiv:1107.1167 [math.PR]. [p. 2]
T. Ekedahl, S. Lando, M. Shapiro, and A. Vainshtein, “Hurwitz numbers and intersections on moduli spaces of curves,” Invent. Math. 146 no. 2, (2001) 297–327, arXiv:math/0004096. [p. 2]
A. Okounkov and R. Pandharipande, “Gromov-Witten theory, Hurwitz numbers, and matrix models. 1.,” arXiv:math/0101147. [p. 2]
A. Okounkov and R. Pandharipande, “Gromov-Witten theory, Hurwitz theory, and completed cycles,” Ann. Math. 163 (2006) 517–560, arXiv:math/0204305. [p. 2]
B. Eynard, Counting Surfaces, vol. 70 of Progress in Mathematical Physics. Springer, 2016. [p. 2]
A. Mironov and A. Morozov, “On the origin of Virasoro constraints in matrix model: Lagrangian approach,” Phys. Lett. B 252 no. 1, (1990) 47–52. [p. 2, 6]
M. L. Mehta, Random Matrices. Academic Press, 1991. [p. 3]
P. J. Forrester, Log-Gases and Random Matrices (LMS-34). Princeton University Press, Princeton, 2010. [p. 3]
G. Akemann, J. Baik, and P. Di Francesco, The Oxford Handbook of Random Matrix Theory. Oxford University Press, 09, 2015. [p. 3]
A. Morozov and S. Shakirov, “Generation of Matrix Models by W-operators,” JHEP 04 (2009) 064, arXiv:0902.2627 [hep-th]. [p. 3, 8, 24]
L. Cassia, R. Lodin, and M. Zabzine, “On matrix models and their q-deformations,” JHEP 10 (2020) 126, arXiv:2007.10354 [hep-th]. [p. 3, 8, 20, 21, 22, 24]
A. Mironov and A. Morozov, “Superintegrability summary,” Phys. Lett. B 835 (2022) 137573, arXiv:2201.12917 [hep-th]. [p. 3]
V. Mishnyakov and A. Oreshina, “Superintegrability in \(\beta \)-deformed Gaussian Hermitian matrix model from W-operators,”Eur. Phys. J. C 82 no. 6, (2022) 548, arXiv:2203.15675 [hep-th]. [p. 3, 8]
Walsh, T., Lehman, A.: Counting rooted maps by genus. i. J. Comb. Theory Ser. B 13(3), 192–218 (1972). https://doi.org/10.1016/0095-8956(72)90056-1
T. Walsh and A. Lehman, “Counting rooted maps by Genus. I,” J. Comb. Theory, Ser. B 13 no. 3, (1972) 192–218. [p. 4, 11, 15, 19, 20]
G. Carlet, J. van de Leur, H. Posthuma, and S. Shadrin, “Higher genera Catalan numbers and Hirota equations for extended nonlinear Schrödinger hierarchy,” Lett. Math. Phys. 111 no. 3, (2021) 63, arXiv:2012.03239 [math-ph]. [p. 4, 11, 19]
I. Dumitriu and A. Edelman, “Matrix models for beta ensembles,” J. Math. Phys. 43 no. 11, (10, 2002) 5830–5847, arXiv:math-ph/0206043 [math-ph]. [p. 5]
I. Dumitriu and A. Edelman, “Global spectrum fluctuations for the \(\beta \)-Hermite and \(\beta \)-Laguerre ensembles via matrix models,”J. Math. Phys. 47 no. 6, (2006) 063302, arXiv:math-ph/0510043 [math-ph]. [p. 7]
I. Dumitriu and E. Paquette, “Global Fluctuations for Linear Statistics of \(\beta \)-Jacobi Ensembles,” Random Matrices: Theory and Applications 01 no. 04, (2012) 1250013, arXiv:1203.6103 [math.PR]. [p. 7]
L. Cassia, R. Lodin, and M. Zabzine, “Virasoro Constraints Revisited,” Commun. Math. Phys. 387 no. 3, (2021) 1729–1755, arXiv:2102.05682 [hep-th]. [p. 7, 8, 9, 24]
P. J. Forrester, “High-low temperature dualities for the classical \(\beta \)-ensembles,”Random Matrices: Theory and Applications 11 no. 04, (2022) 2250035, arXiv:2103.11250 [math-ph]. [p. 7]
A. Morozov, “On W-representations of \(\beta \)- and q, t-deformed matrix models,”Phys. Lett. B 792 (2019) 205–13, arXiv:1901.02811 [hep-th]. [p. 8]
I. P. Goulden and D. M. Jackson, “Connection coefficients, matchings, maps and combinatorial conjectures for Jack symmetric functions,” Trans. Am. Math. Soc. 348 (1996) 873–892. [p. 15, 24, 26]
M. A. La Croix, The combinatorics of the Jack parameter and the genus series for topological maps. PhD thesis, University of Waterloo, 2009. https://uwspace.uwaterloo.ca/bitstream/handle/10012/4561/LaCroix_Michael.pdf. [p. 15, 24, 26, 27]
A. Brini, M. Marino, and S. Stevan, “The uses of the refined matrix model recursion,” J. Math. Phys. 52 (2011) 052305, arXiv:1010.1210 [hep-th]. [p. 18]
N. S. Witte and P. J. Forrester, “Moments of the Gaussian \(\beta \) Ensembles and the large-N expansion of the densities,”J. Math. Phys. 55 (2014) 083302, arXiv:1310.8498 [math.CA]. [p. 18]
P. J. Forrester, A. A. Rahman, and N. S. Witte, “Large N expansions for the Laguerre and Jacobi \(\beta \) ensembles from the loop equations,”J. Math. Phys. 58 no. 11, (2017) 113303, arXiv:1707.04842 [math-ph]. [p. 21]
F. Mezzadri, A. K. Reynolds, and B. Winn, “Moments of the eigenvalue densities and of the secular coefficients of \(\beta \)-ensembles,” Nonlinearity 30 no. 3, (2017) 1034, arXiv:1510.02390 [math-ph]. [p. 21]
I. P. Goulden and D. M. Jackson, “Maps in Locally Orientable Surfaces, the Double Coset Algebra, and Zonal Polynomials,” Can. J. Math. 48 no. 3, (1996) 569–584. [p. 24, 26]
G. Chapuy and M. Dołȩga, “Non-orientable branched coverings, b-Hurwitz numbers, and positivity for multiparametric Jack expansions,” Adv. Math. 409 (2022) 108645, arXiv:2004.07824 [math.CO]. [p. 24]
V. Bonzom, G. Chapuy, and M. Dołȩga, “b-Monotone Hurwitz Numbers: Virasoro Constraints, BKP Hierarchy, and O(N)-BGW Integral,” Int. Math. Res. Not. 2023 no. 14, (07, 2022) 12172–12230, arXiv:2109.01499 [math.CO]. [p. 24]
A. Morozov, A. Popolitov, and S. Shakirov, “On (q,t)-deformation of Gaussian matrix model,” Phys. Lett. B 784 (2018) 342–344, arXiv:1803.11401 [hep-th]. [p. 24]
L. Cassia and M. Zabzine, “On refined Chern-Simons and refined ABJ matrix models,” Lett. Math. Phys. 112 no. 2, (2022) 21, arXiv:2107.07525 [hep-th]. [p. 24]
F. D. Cunden, A. Dahlqvist, and N. O’Connell, “Integer moments of complex Wishart matrices and Hurwitz numbers,” Ann. Inst. Henri Poincaré Comb. Phys. Interact. 8 no. 2, (2021) 243–268, arXiv:1809.10033 [math-ph]. [p. 25]
M. Gisonni, T. Grava, and G. Ruzza, “Laguerre Ensemble: Correlators, Hurwitz Numbers and Hodge Integrals,” Ann. Henri Poincaré 21 no. 10, (2020) 3285–3339, arXiv:1912.00525 [math-ph]. [p. 25]
A. Mironov and A. Morozov, “Spectral curves and W-representations of matrix models,” JHEP 03 (2023) 116, arXiv:2210.09993 [hep-th]. [p. 25]
I. G. Macdonald, Symmetric Functions and Hall Polynomials. Oxford Mathematical Monographs. Oxford University Press, 2 ed., 1995. [p. 25]
Acknowledgements
We are grateful to P.J. Forrester, A. A. Rahman and M. A. Hahn for useful comments on an earlier draft of this manuscript. L.C. was supported by the ARC Discovery Grant DP210103081. V.P. has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (Grant Agreement 101088193). M.Z. was supported by the VR excellence center grant “Geometry and Physics” 2022-06593.
Funding
Open Access funding enabled and organized by CAUL and its Member Institutions.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all authors, the corresponding author states that there is no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
A Schur polynomials in two variables
We recall some properties of Schur symmetric polynomials in two variables. See [37] for a thorough discussion on symmetric functions.
Schur polynomials constitute a linear basis of the space of symmetric functions in n variables. They are labeled by integer partitions \(\lambda \), which correspond to irreducible representations of \(gl_n\). Whenever the length of the partition \(\lambda \) is greater than the number of variables n, the corresponding Schur polynomial \(s_\lambda \) vanishes identically. In the case \(n=2\), the only nonzero Schur polynomials are those associated to partitions of length at most two. Any such partition can be represented by an ordered set of two nonnegative integers, \([\lambda _1,\lambda _2]\) with \(\lambda _1\ge \lambda _2\ge 0\). We parametrize such partitions as \(\lambda =[h+d,d]\) for \(h,d\in {\mathbb {N}}\).
Let \(\epsilon _1,\epsilon _2\) be the two arguments of the Schur polynomial. Then one of the Pieri rule can be stated as
where
This implies that knowing \(s_{[h]}(\epsilon _1,\epsilon _2)\) for any h is enough to determine uniquely all other Schur polynomials. Using the coproduct rule
we obtain the closed formula
As a corollary, we observe that
where the r.h.s. is a symmetric polynomial in \(\epsilon _1,\epsilon _2\) for all values of \(d,h\in {\mathbb {N}}\). In other words, \(s_{[1]}(\epsilon _1,\epsilon _2)\) always divides \(s_{[2h+1+d,d]}(\epsilon _1,\epsilon _2)\). This implies that if \(|\lambda |\) is odd and \(\epsilon _1+\epsilon _2=0\), then \(s_\lambda (\epsilon _1,\epsilon _2)=0\).
B Hypermap counts and the b-conjecture
In this section, we review some known results regarding counting hypermaps and the so-called b-conjecture [23, 29]. Our reference on the subject will be [24]. After introducing the rooted hypermap series H, rooted map series M and the marginal b-polynomials \(d_{\ell ,\nu }(b)\), we will give a formula to relate the polynomials \(d_{\ell ,\nu }(b)\) to the Catalan polynomials \(C_{g,\nu }(\beta )\) that we have defined in Sect. 5.
Throughout this section, we adopt the notations of [24], with the understanding that the parameters b and \(\beta \) are related by the equation
Let us introduce the series
for three independent sets of times \(\textbf{x}=\{x_1,x_2,\dots \}\), \(\textbf{y}=\{y_1,y_2,\dots \}\) and \(\textbf{z}=\{z_1,z_2,\dots \}\).
Definition B.1
The rooted Hypermap series is defined as
with \(D_{\textbf{y}} = \sum _{k>0} k y_k\frac{\partial }{\partial y_k}\) being the degree operator in the \(\textbf{y}\) times.
Then we can express \(H(\textbf{x},\textbf{y},\textbf{z};b)\) in the power-sum basis
with coefficients \(c_{\mu ,\nu ,\lambda }(b)\) being the b-polynomials implicitly defined by this expansion. Here, \(p_\mu (\textbf{x})=\prod _{k\in \mu }x_k\) and similarly for \(p_\nu (\textbf{y})\), \(p_\lambda (\textbf{z})\).
Definition B.2
The rooted map series \(M(N,b,\textbf{y})\) is defined as a specialization of \(H(\textbf{x},\textbf{y},\textbf{z};b)\),
where the coefficients
are the marginal b-polynomials.
The marginal b-conjecture (proven in [24, Corollary 4.17]) states the following.
Theorem B.1
(La Croix) The \(d_{\ell ,\nu }(b)\) are polynomials with non-negative integer coefficients. Moreover, the coefficient of \(b^k\) in \(d_{\ell ,\nu }(b)\) is the number of rooted maps with \(\ell \) vertices, face-degree partition \(\nu \), and a total of k twisted edges.
We now claim that marginal polynomials \(d_{\ell ,\nu }(b)\) and Catalan polynomials \(C_{g,\nu }(\beta )\) are related (up to overall combinatorial factors) by an appropriate identification of labels and variables as in (B.1). In order to show this, we first identify the corresponding generating functions. From (5.3), we can identify the time-dependent free energy of the G\(\beta \)E with a specialization of the logarithm of \(\Phi (\textbf{x},\textbf{y},\textbf{z};\beta )\),
which, together with (5.38), implies
Expanding both sides as power series as in (5.39) and (B.5), we can identify the coefficients to finally obtain the relation
This identification of polynomials is evidence of an underlying relation between the invariants \(n_{\nu ,\lambda }\) with the counting of locally orientable maps; however, the precise nature of this relation is unclear to us.
C Tables of Catalan polynomials
1.1 C.1 The G\(\beta \)E case
1.2 C.2 The WL\(\beta \)E case
Rights and permissions
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://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Cassia, L., Posch, V. & Zabzine, M. \(\beta \)-Ensembles and higher genera Catalan numbers. Lett Math Phys 114, 26 (2024). https://doi.org/10.1007/s11005-023-01764-x
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11005-023-01764-x