Abstract
In this short note we identify a family of partition functions recently introduced by Wang, Liu, Zhang, and Zhao with certain specializations of the generating function for dessins d’enfant. This provides a new W-description for orbifold strongly monotone Hurwitz numbers and new examples of superintegrability in matrix models.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Recently Wang, Liu, Zhang, and Zhao [1] described a family of the W-operators with a relatively simple action on the Schur functions. These operators generate the partition functions with nice Schur function expansions.
In this short note we identify these partition functions with specifications of the partition function for double strictly monotone Hurwitz numbers (or, equivalently, dessins d’enfant). This identification allows us to construct a double matrix integral representation for these partition functions. Moreover, this family provides a new example of the superintegrability phenomenon in matrix models (actually, two examples associated with two different types of matrix models). Therefore, for the considered family of tau-functions we explicitly describe a set of complimentary descriptions, which include matrix models, superintegrability, W-operators, and enumerative geometry interpretation.
The \(\beta \)-deformed case is a straightforward generalization and will be considered elsewhere.
2 W-operators
Let us describe a family of the partition functions recently introduced by Wang, Liu, Zhang, and Zhao [1]. These partition functions are described by the operators \(\widehat{W}_{-n}\), constructed recursively.
Consider
an N-deformation of the cut-and-join operator for the simple Hurwitz numbers. With the operator
we construct
and
The operators \(\widehat{W}_n\) for negative \(n<-2\) are defined recursively
Operators \(\widehat{W}_{-n}\) are homogeneous with \(\deg \widehat{W}_{-n}=n\) if one puts \(\deg t_k=-\deg \frac{\partial }{\partial t_k}=k\). Let us stress that all these operators belong to \({{\,\mathrm{\mathfrak {gl}}\,}}(\infty )\) algebra of symmetries of the KP hierarchy because \(\widehat{W}_{0}\) and \(\widehat{E}_{0}\) obviously do. With these operators we associate the partition functions
The action of the operators \(\widehat{W}_{-n}\) on the Schur functions was investigated in [1]. This allowed the authors to show that the generating functions \(Z_{-n}\) have a very simple Schur function expansion, namely for \(n\ge 2\)
Here we denote \(s_\lambda (\delta _{k,n})=s_\lambda (\textbf{t})\Big |_{t_k=\delta _{k,n}/n}\) and \(s_\lambda (\textbf{1})=s_\lambda (\textbf{t})\Big |_{t_k=N/k}\), so that
For \(n=2\) the function (6) coincides with the partition function of the Gaussian Hermitian matrix model, and the description in terms of the operator \(\widehat{W}_{-2}\) is equivalent to the description originally obtained by Morozov and Shakirov [2]. In the next section we will describe matrix models for all \(Z_{-n}\).
3 Matrix model and superintegrability
Let us consider a partition function, parametrized by two infinite sets of variables, \(t_k\) and \(s_k\),
It belongs the hypergeometric family of 2-component KP tau-functions, which can be easily deformed to a family of hypergeometric tau-functions of the 2d Toda lattice hierarchy [3, 4]. This family has a very interesting enumerative geometry interpretation, namely, the hypergeometric tau-functions of 2-component KP hierarchy are the generating functions of the weighted Hurwitz numbers [5, 6]. The tau-function (9) is the generating function for the dessins d’enfant (or double strictly monotone Hurwitz numbers, or hypermaps, or bipartite maps) and is well studied.
All partition functions \(Z_{-n}\) for \(n\ge 2\) are given by the specializations of this partition function
These specifications of the partition function (9) generate strictly monotone orbifold Hurwitz numbers, see e.g. [7] and references therein. Therefore, formula (6) provides a W-representation for the strictly monotone orbifold Hurwitz numbers. Moreover, these W-operators belongs to the \({{\,\mathrm{\mathfrak {gl}}\,}}(\infty )\) algebra, so these formulas describe the \({{\,\textrm{GL}\,}}(\infty )\) group elements for these Hurwitz numbers. Thus, the recursion relations (5) allows one to describe the point of the Sato Grassmannian and the Kac–Schwarz operators, associated with the tau-functions \(Z_{-n}\). The quantum spectral curves for this family were derived in [8], their semi-classical limit coincides with the classical spectral curves, recently discussed by Mironov and Morozov [9].
The tau-function (9) can be described by the two-matrix model (see, e.g., [10]):
Here one integrates over the space of Hermitian (to be precise, normal matrices with properly chosen contours) \(N\times N\) matrices with the properly normalized flat measures.
Therefore, we arrive at the matrix model
We expect that the W-description (6) can be derived from the Virasoro and W-constraints for this matrix integral.
For any function f(X) of \(N\times N\) matrix let us denote
Then from the comparison of (9) and (11) and application of the Cauchy formula we conclude
This provides us a new example of superintegrability, a nice property of matrix models recently found to be surprisingly universal [11].
For particular specifications, associated with the partition functions (6), we have
where
For \(n=2\) the integral with respect to \(\Phi _2\) is Gaussian and can be taken explicitly. This way one arrives at the Gaussian Hermitian matrix model description of \(Z_2\), obtained in [1],
For \(n>2\) integral over \(\Phi _2\) can also be taken explicitly with the result given in terms of the higher Airy functions.
Another matrix model description for the partition function (9) was derived by Ambjørn and Chekhov [12]. Namely, for any function \(f(\textbf{t})\) we consider the Miwa parametrization
where \(\Lambda =\textrm{diag}\,(\lambda _1,\dots ,\lambda _M)\) is a diagonal matrix. Then [12]
Here the size of the integration matrix M is independent of the parameter N and one integrates over the space of positive defined Hermitian matrices.
Again, from the comparison with the expansion (9) we have the following superintegrability property
Using other matrix models for the families of hypergeometric tau-functions, investigated in particular in [10, 13], one can describe more examples of superintegrability in multi-matrix models associated with Hurwitz numbers.
Data Availability
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This is a theoretical work, no data is available.]
References
R. Wang, F. Liu, C.-H. Zhang, W.-Z. Zhao, Superintegrability for (\(\beta \)-deformed) partition function hierarchies with W-representations. Eur. Phys. J. C 82(10), 902 (2022)
A. Morozov, S. Shakirov, Generation of matrix models by W-operators. JHEP 04, 064 (2009)
S. Kharchev, A. Marshakov, A. Mironov, A. Morozov, Generalized Kazakov–Migdal–Kontsevich model: group theory aspects. Int. J. Mod. Phys. A 10, 2015–2052 (1995)
A.Y. Orlov, D.M. Shcherbin, Hypergeometric solutions of soliton equations. Teoret. Mat. Fiz. 128(1), 84–108 (2001)
A. Alexandrov, A. Mironov, A. Morozov, S. Natanzon, Integrability of Hurwitz partition functions. I. Summary. J. Phys. A 45, 045209 (2012)
M. Guay-Paquet, J. Harnad, Generating functions for weighted Hurwitz numbers. J. Math. Phys. 58(8), 083503 (2017)
A. Alexandrov, D. Lewanski, S. Shadrin, Ramifications of Hurwitz theory. KP integrability and quantum curves. JHEP 05, 124 (2016)
N. Do, D. Manescu, Quantum curves for the enumeration of ribbon graphs and hypermaps. Commun. Number Theory Phys. 8, 677–701 (2014)
A. Mironov, A. Morozov, Spectral curves and \(W\)-representations of matrix models. 10 (2022)
A. Alexandrov, A. Mironov, A. Morozov, S. Natanzon, On KP-integrable Hurwitz functions. JHEP 11, 080 (2014)
A. Mironov, A. Morozov, Superintegrability summary. Phys. Lett. B 835, 137573 (2022)
J. Ambjørn, L. Chekhov, The matrix model for dessins d’enfants. Ann. Inst. H. Poincare D Combin. Phys. Interact. 1(3), 337–361 (2014)
A. Alexandrov, Matrix models for random partitions. Nucl. Phys. B 851, 620–650 (2011)
Acknowledgements
This work was supported by the Institute for Basic Science (IBS-R003-D1).
Author information
Authors and Affiliations
Corresponding author
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/.
Funded by SCOAP3. SCOAP3 supports the goals of the International Year of Basic Sciences for Sustainable Development.
About this article
Cite this article
Alexandrov, A. On W-operators and superintegrability for dessins d’enfant. Eur. Phys. J. C 83, 147 (2023). https://doi.org/10.1140/epjc/s10052-023-11308-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-023-11308-1