Search

We extend our consideration of commutative subalgebras (rays) in different representations of the $W_{1+\infty}$ algebra to the elliptic Hall algebra (or, equivalently, to the Ding-Iohara-Miki (DIM) algebra $U_{q,t}(\widehat{\widehat{\mathfrak{gl}}}_1)$). Its advantage is that it possesses the Miki automorphism, which makes all commutative rays equivalent. Integrable systems associated with these rays become finite-difference and, apart from the trigonometric Ruijsenaars system not too much familiar. We concentrate on the simplest many-body and Fock representations, and derive explicit formulas for all generators of the elliptic Hall algebra $e_{n,m}$. In the one-body representation, they differ just by normalization from $z^nq^{m\hat D}$ of the $W_{1+\infty}$ Lie algebra, and, in the $N$-body case, they are non-trivially generalized to monomials of the Cherednik operators with action restricted to symmetric polynomials. In the Fock representation, the resulting operators are expressed through auxiliary polynomials of $n$ variables, which define weights in the residues formulas. We also discuss $q,t$-deformation of matrix models associated with constructed commutative subalgebras., Comment: 51 pages, LaTeX

Recently, we performed a two $\beta$-ensemble realization of the series of $\beta$-deformed WLZZ matrix models involving $\beta$-deformed Harish-Chandra-Itzykson-Zuber integrals. The realization was derived and studied by using Ward identities, which do not allow one to fix integration contours, these latter were chosen to be real axis for one $\beta$-ensemble and imaginary axis for the other one basing on some particular checks. Here, we evaluate the $\beta$-ensemble integrals directly using a conjecture by I.G. Macdonald, and explain that another choice of integration contours is also possible., Comment: 6 pages, LaTeX

We consider a two $\beta$-ensemble realization of the series of $\beta$-deformed WLZZ matrix models. We demonstrate that such a realization involves $\beta$-deformed Harish-Chandra-Itzykson-Zuber integrals, one of them providing a coupling to the external field. We also construct Ward identities in the corresponding two $\beta$-ensemble model, which requires a set of identities for partition function of the one $\beta$-ensemble in the external field, and a set of identities for the $\beta$-deformed Itzykson-Zuber integral. These both sets of identities are formulated in terms of the Dunkl operators., Comment: 18 pages

We consider an arbitrary deformation of the Gaussian matrix model parameterized by Miwa variables $z_a$. One can look at it as a mixture of the Gaussian and logarithmic (Selberg) potentials, which are both superintegrable. The mixture is not, still one can find an explicit expression for an arbitrary Schur average as a linear transform of a {\it finite degree} polynomial made from the values of skew Schur functions at the Gaussian locus $p_k=\delta_{k,2}$. This linear operation includes multiplication with an exponential $ e^{z_a^2/2}$ and a kind of Borel transform of the resulting product, which we call multiple and enhanced. The existence of such remarkable formulas appears intimately related to the theory of auxiliary $K$-polynomials, which appeared in {\it bilinear} superintegrable correlators at the Gaussian point (strict superintegrability). We also consider in the very detail the generating function of correlators $<(\Tr X)^k>$ in this model, and discuss its integrable determinant representation. At last, we describe deformation of all results to the Gaussian $\beta$-ensemble., Comment: 21 pages. arXiv admin note: text overlap with arXiv:2401.14392

We work out explicit formulas for correlators in the Gaussian matrix model perturbed by a logarithmic potential, i.e. by inserting Miwa variables. In this paper, we concentrate on the example of a single Miwa variable. The ordinary Gaussian model is superintegrable, i.e. the average of the Schur functions $S_Q$ is an explicit function of the Young diagram $Q$. The question is what happens to this property after perturbation. We show that the entire perturbation series can be nicely summed up into a kind of Borel transform of a universal exponential function, while the dependence on $R$ enters through a polynomial factor in front of this exponential. Moreover, these polynomials can be described explicitly through a single additional structure, which we call ``truncation'' of the Young diagram $Q$. It is unclear if one can call this an extended superintegrability, but at least it is a tremendously simple deformation of it. Moreover, the vanishing Gaussian correlators remain vanishing and, hence, are not deformed at all., Comment: 15 pages + Appendix (7 pages)

It was demonstrated recently that the $W_{1+\infty}$ algebra contains commutative subalgebras associated with all integer slope rays (including the vertical one). In this paper, we realize that every element of such a ray is associated with a generalized $\widetilde W$ algebra. In particular, the simplest commutative subalgebra associated with the rational Calogero Hamiltonians is associated with the $\widetilde W$ algebras studied earlier. We suggest a definition of the generalized $\widetilde W$ algebra as differential operators in variables $p_k$ basing on the matrix realization of the $W_{1+\infty}$ algebra, and also suggest an unambiguous recursive definition, which, however, involves more elements of the $W_{1+\infty}$ algebra than is contained in its commutative subalgebras. The positive integer rays are associated with $\widetilde W$ algebras that form sets of Ward identities for the WLZZ matrix models, while the vertical ray associated with the trigonometric Calogero-Sutherland model describes the hypergeometric $\tau$-functions corresponding to the completed cycles., Comment: 11 pages, 1 figure

We argue that the recently discovered bilinear superintegrability arXiv:2206.02045 generalizes, in a non-trivial way, to monomial matrix models in pure phase. The structure is much richer: for the trivial core Schur functions required modifications are minor, and the only new ingredient is a certain (contour-dependent) permutation matrix; for non-trivial-core Schur functions, in both bi-linear and tri-linear averages the deformation is more complicated: averages acquire extra N-dependent factors and selection rule is less straightforward to imply.

We demonstrate that commutativity of numerous one-dimensional subalgebras in $W_{1+\infty}$ algebra, i.e. the existence of many non-trivial integrable systems described in recent arXiv:2303.05273 follows from the subset of relations in algebra known as Serre relations. No other relations are needed for commutativity. The Serre relations survive the deformation to the affine Yangian $Y(\hat{\mathfrak{gl}}_1)$, hence the commutative subalgebras do as well. A special case of the Yangian parameters corresponds to the $\beta$-deformation. The preservation of Serre relations can be thought of a selection rule for proper systems of commuting $\beta$-deformed Hamiltonians. On the contrary, commutativity in the extended family associated with ``rational (non-integer) rays" is {\it not} reduced to the Serre relations, and uses also other relations in the $W_{1+\infty}$ algebra. Thus their $\beta$-deformation is less straightforward., Comment: 13 pages

We explain that the set of new integrable systems generalizing the Calogero family and implied by the study of WLZZ models, which was described in arXiv:2303.05273, is only the tip of the iceberg. We provide its wide generalization and explain that it is related to commutative subalgebras (Hamiltonians) of the $W_{1+\infty}$ algebra. We construct many such subalgebras and explain how they look in various representations. We start from the even simpler $w_\infty$ contraction, then proceed to the one-body representation in terms of differential operators on a circle, further generalizing to matrices and in their eigenvalues, in finally to the bosonic representation in terms of time-variables. Moreover, we explain that some of the subalgebras survive the $\beta$-deformation, an intermediate step from $W_{1+\infty}$ to the affine Yangian. The very explicit formulas for the corresponding Hamiltonians in these cases are provided. Integrable many-body systems generalizing the rational Calogero model arise in the representation in terms of eigenvalues. Each element of $W_{1+\infty}$ algebra gives rise to KP/Toda $\tau$-functions. The hidden symmetry given by the families of commuting Hamiltonians is in charge of the special, (skew) hypergeometric $\tau$-functions among these., Comment: 43 pages

We follow the general recipe for constructing commutative families of $W$-operators, which provides Hurwitz-like expansions in symmetric functions (Macdonald polynomials), in order to obtain a difference operator example that gives rise to a $(q,t)$-deformation of the earlier studied models. As before, a key role is played by an appropriate deformation of the cut-and-join rotation operator. We outline its expression both in terms of generators of the quantum toroidal algebra and in terms of the Macdonald difference operators., Comment: 16 pages

In this letter we continue the development of $W$-representations. We propose several generalizations of the known models, such as the hypergeometric Hurwitz $\tau$-functions. We construct $W$-representations for multi-character expansions, which involve a generic number of sets of time variables. We propose integral representations for such kind of partition functions which are given by tensor models and multi-matrix models with multi-trace couplings. We further propose the $\beta$-deformation of the discussed $W$-representation for the Hurwitz case for two sets of times as well as for the multi-character case., Comment: 10 pages

We extend the old formalism of cut-and-join operators in the theory of Hurwitz $\tau$-functions to description of a wide family of KP-integrable {\it skew} Hurwitz $\tau$-functions, which include, in particular, the newly discovered interpolating WLZZ models. Recently, the simplest of them was related to a superintegrable two-matrix model with two potentials and one external matrix field. Now we provide detailed proofs, and a generalization to a multi-matrix representation, and propose the $\beta$ deformation of the matrix model as well. The general interpolating WLZZ model is generated by a $W$-representation given by a sum of operators from a one-parametric commutative sub-family (a commutative subalgebra of $w_\infty$). Different commutative families are related by cut-and-join rotations. Two of these sub-families (`vertical' and `45-degree') turn out to be nothing but the trigonometric and rational Calogero-Sutherland Hamiltonians, the `horizontal' family is represented by simple derivatives. Other families require an additional analysis., Comment: 13 pages, LaTeX

We suggest a two-matrix model depending on three (infinite) sets of parameters which interpolates between all the models proposed in arXiv:2206.13038, and defined there through $W$-representations. We also discuss further generalizations of these WLZZ models realized by $W$-representations associated with infinite commutative families of generators of $w_\infty$-algebra which are presumably related to more sophisticated multi-matrix models. Integrable properties of these generalizations are described by what we call the skew hypergeometric $\tau$-functions., Comment: 11 pages

We introduce an alternative stratification of knots: by the size of lattice on which a knot can be first met. Using this classification, we find ratio of unknots and knots with more than 10 minimal crossings inside different lattices and answer the question which knots can be realized inside $3\times 3$ and $5\times 5$ lattices. In accordance with previous research, the ratio of unknots decreases exponentially with the growth of the lattice size. Our computational results are approved with theoretical estimates for amounts of knots with fixed crossing number lying inside lattices of given size., Comment: 12 pages

We find that superintegrability (character expansion) property persists in the exotic sector of the monomial non-Gaussian matrix model, with potential $\Tr X^r$, in pure phase, where the naive partition function $\langle 1 \rangle$ vanishes. The role of the (anomaly-corrected) partition function is played by $\left\langle\chi_\rho\right\rangle$ -- the Schur average of the suitably chosen \textit{square} partiton $\rho$; such partitions are well-known to correspond to singular vectors of the Virasoro algebra. Further, non-zero are only Schur averages $\left\langle \chi_\mu\right\rangle$ for such $\mu$ that have $\rho$ as their $r$-core, and superintegrability formula features the value of the \textit{skew} Schur function $\chi_{\mu/\rho}$ at special point. The associated topological recursion and Harer-Zagier formula generalizations so far remain obscure.

Machine learning (ML) in its current form implies that an answer to any problem can be well approximated by a function of a very peculiar form: a specially adjusted iteration of Heavyside theta-functions. It is natural to ask if the answers to the questions, which we already know, can be naturally represented in this form. We provide elementary, still non-evident examples that this is indeed possible, and suggest to look for a systematic reformulation of existing knowledge in a ML-consistent way. Success or a failure of these attempts can shed light on a variety of problems, both scientific and epistemological.

The wonderful formulas by I.Dumitriu and A.Edelman rewrite $\beta$-ensemble, with eigenvalue integrals containing Vandermonde factors in the power $2\beta$, through integrals over tridiagonal matrices, where $\beta$-dependent are the powers of individual matrix elements, not their differences. These potentially useful formulas are usually deduced from rather complicated and non-transparent combinatorics and are not as widely known as they deserve. We explain that the superintegrability property, i.e. a simple expression of the Gaussian averages of arbitrary Jack polynomials through the same Jack polynomials, is immediately consistent with this tridiagonal representation, which may serve as a clue to its simple and transparent interpretation. For a formal non-perturbative proof, we use the Virasoro constraints, which themselves acquire an interesting structure in the tridiagonal realization. We also attract attention to the surprising spontaneous breakdown of discrete invariance by the tridiagonal measure, which may signal a new interesting anomaly at the elementary level of the basic eigenvalue matrix model., Comment: 15 pages

For ordinary matrix models, the eigenvalue probability density decays rapidly as one goes to infinity, in other words, has "short tails". This ensures that all the multiple trace correlators (multipoint moments) are convergent and well-defined. Still, many critical phenomena are associated with an enhanced probability of seemingly rare effects, and one expects that they are better described by the "long tail" models. In absence of the exponential fall-off, the integrals for high moments diverge, and this could imply a loss of (super)integrability properties pertinent to matrix and eigenvalue models and, presumably, to the non-perturbative (exact) treatment of more general quantum systems. In this paper, we explain that this danger to modern understanding could be exaggerated. We consider a simple family of long-tail matrix models, which preserve the crucial feature of superintegrability: exact factorized expressions for a full set of basic averages. It turns out that superintegrability can survive after an appropriate (natural and obvious) analytical continuation even in the presence of divergencies, which opens new perspectives for the study of the long-tail matrix models., Comment: 7 pages

We compute explicitly the Khovanov polynomials (using the computer program from katlas.org) for the two simplest families of the satellite knots, which are the twisted Whitehead doubles and the two-strand cables. We find that a quantum group decomposition for the HOMFLY polynomial of a satellite knot can be extended to the Khovanov polynomial, whose quantum group properties are not manifest. Namely, the Khovanov polynomial of a twisted Whitehead double or two-strand cable (the two simplest satellite families) can be presented as a naively deformed linear combination of the pattern and companion invariants. For a given companion, the satellite polynomial "smoothly" depends on the pattern but for the "jump" at one critical point defined by the s-invariant of the companion knot. A similar phenomenon is known for the knot Floer homology and tau-invariant for the same kind of satellites.

Knot matrix models are defined so that the averages of characters are equal to knot polynomials. From this definition one can extract single trace averages and generation functions for them in the group rank - which generalize the celebrated Harer-Zagier formulas for Hermitian matrix model. We describe the outcome of this program for HOMFLY-PT polynomials of various knots. In particular, we claim that the Harer-Zagier formulas for torus knots factorize nicely, but this does not happen for other knots. This fact is mysteriously parallel to existence of explicit beta = 1 eigenvalue model construction for torus knots only, and can be responsible for problems with construction of a similar model for other knots.

Following Natanzon-Zabrodin, we explore the Kadomtsev-Petviashvili hierarchy as an infinite system of mutually consistent relations on the second derivatives of the free energy with some universal coefficients. From this point of view, various combinatorial properties of these coefficients naturally highlight certain non-trivial properties of the KP hierarchy. Furthermore, this approach allows us to suggest several interesting directions of the KP deformation via a deformation of these coefficients. We also construct an eigenvalue matrix model, whose correlators fully describe the universal KP coefficients, which allows us to further study their properties and generalizations., Comment: 17 pages, no figures

We prove that topological recursion applied to the spectral curve of colored HOMFLY-PT polynomials of torus knots reproduces the n-point functions of a particular partition function called the extended Ooguri-Vafa partition function. This generalizes and refines the results of Brini-Eynard-Marino and Borot-Eynard-Orantin. We also discuss how the statement of spectral curve topological recursion in this case fits into the program of Alexandrov-Chapuy-Eynard-Harnad of establishing the topological recursion for general weighted double Hurwitz numbers partition functions (a.k.a. KP tau-functions of hypergeometric type).

We derive the analogues of the Harer-Zagier formulas for single- and double-trace correlators in the q-deformed Hermitian Gaussian matrix model. This fully describes single-trace correlators and opens a road to $q$-deformations of important matrix models properties, such as genus expansion and Wick theorem.

We study $\hbar$ expansion of the KP hierarchy following Takasaki-Takebe arXiv:hep-th/9405096 considering several examples of matrix model $\tau$-functions with natural genus expansion. Among the examples there are solutions of KP equations of special interest, such as generating function for simple Hurwitz numbers, Hermitian matrix model, Kontsevich model and Brezin-Gross-Witten model. We show that all these models with parameter $\hbar$ are $\tau$-functions of the $\hbar$-KP hierarchy and the expansion in $\hbar$ for the $\hbar$-KP coincides with the genus expansion for these models. Furthermore, we show a connection of recent papers considering the $\hbar$-formulation of the KP hierarchy arXiv:1509.04472, arXiv:1512.07172 with original Takasaki-Takebe approach. We find that in this approach the recovery of enumerative geometric meaning of $\tau$-functions is straightforward and algorithmic., Comment: 26 pages, no figures

Using the ideas from the BPS/CFT correspondence, we give an explicit recursive formula for computing supersymmetric Wilson loop averages in 3d $\mathcal{N}=2$ Yang-Mills-Chern-Simons $U(N)$ theory on the squashed sphere $S^3_b$ with one adjoint chiral and two antichiral fundamental multiplets, for specific values of Chern-Simons level $\kappa_2$ and Fayet-Illiopoulos parameter $\kappa_1$. For these values of $\kappa_1$ and $\kappa_2$ the north and south pole turn out to be completely independent, and therefore Wilson loop averages factorize into answers for the two constituent $D^2 \times S^1$ theories. In particular, our formula provides results for the theory on the round sphere when the squashing is removed., Comment: 30 pages, 1 figure; v2: typos fixed, JHEP version

We prove the conjecture of Do and Karev that the monotone orbifold Hurwitz numbers satisfy the Chekhov-Eynard-Orantin topological recursion., Comment: 11 pages. V2: Updated grant acknowledgments of A.P. and mail address of R.K. V3: Improved exposition

We prove the 2006 Zvonkine conjecture that expresses Hurwitz numbers with completed cycles in terms of intersection numbers with the Chiodo classes via the so-called $r$-ELSV formula, as well as its orbifold generalization, the $qr$-ELSV formula, proposed recently in [KLPS17]., Comment: 22 pages. Version 4: improved exposition of the proof

We conjecture explicit evolution formulas for Khovanov polynomials for pretzel knots in some regions in the windings space. Our description is exhaustive for genera 1 and 2. As previously observed, evolution at T != -1 is not fully smooth: it switches abruptly at the boundaries between different regions. We reveal that this happens also at the boundary between thin and thick knots, moreover, the thick-knot domain is further stratified. For thin knots evolution is governed by the standard T-deformation lambda of the eigenvalues of the R-matrix. Emerging in the thick knots regions are additional Lyapunov exponents, which are multiples of the naive ones. Such frequency doubling is typical for non-linear dynamics, and our observation can signal about a hidden non-linearity of superpolynomial evolution. Since evolution with eigenvalues lambda^2, ..., lambda^g is "faster" than the one with lambda in the thin-knot region, we name it "nimble., Comment: 16 pages

We look at how evolution method deforms, when one considers Khovanov polynomials instead of Jones polynomials. We do this for the figure-eight-like knots (also known as 'double braid' knots, see arXiv:1306.3197) -- a two-parametric family of knots which "grows" from the figure-eight knot and contains both two-strand torus knots and twist knots. We prove that parameter space splits into four chambers, each with its own evolution, and two isolated points. Remarkably, the evolution in the Khovanov case features an extra eigenvalue, which drops out in the Jones (t -> -1) limit., Comment: 9 pages, add some missing references

We show how q-Virasoro constraints can be derived for a large class of (q,t)-deformed eigenvalue matrix models by an elementary trick of inserting certain q-difference operators under the integral, in complete analogy with full-derivative insertions for beta-ensembles. From free-field point of view the models considered have zero momentum of the highest weight, which leads to an extra constraint T_{-1} Z = 0. We then show how to solve these q-Virasoro constraints recursively and comment on the possible applications for gauge theories, for instance calculation of (supersymmetric) Wilson loop averages in gauge theories on D^2 \cross S^1 and S^3., Comment: 31 page

We give a new proof of the cut-and-join equation for the monotone Hurwitz numbers, derived first by Goulden, Guay-Paquet, and Novak. Our proof in particular uses a combinatorial technique developed by Han. The main interest in this particular equation is its close relation to the quadratic loop equation in the theory of spectral curve topological recursion, and we recall this motivation giving a new proof of the topological recursion for monotone Hurwitz numbers, obtained first by Do, Dyer, and Mathews., Comment: 7 pages. v2: Added a second proof of lemma 2.3, using Jucys-Murphy elements, and expanded motivation

The recently discovered general formulas for perturbative correlators in basic matrix models can be interpreted as the Schur-preservation property of Gaussian measures. Then substitution of Schur by, say, Macdonald polynomials, defines a q,t-deformation of the matrix model. Eigenvalue integral representations and Virasoro-like constraints are immediate consequences., Comment: 4 pages

We rewrite the (extended) Ooguri-Vafa partition function for colored HOMFLY-PT polynomials for torus knots in terms of the free-fermion (semi-infinite wedge) formalism, making it very similar to the generating function for double Hurwitz numbers. This allows us to conjecture the combinatorial meaning of full expansion of the correlation differentials obtained via the topological recursion on the Brini-Eynard-Mari\~no spectral curve for the colored HOMFLY-PT polynomials of torus knots. This correspondence suggests a structural combinatorial result for the extended Ooguri-Vafa partition function. Namely, its coefficients should have a quasi-polynomial behavior, where non-polynomial factors are given by the Jacobi polynomials. We prove this quasi-polynomiality in a purely combinatorial way. In addition to that, we show that the (0,1)- and (0,2)-functions on the corresponding spectral curve are in agreement with the extension of the colored HOMFLY-PT polynomials data., Comment: 40 pages; section 10 addressing the quantum curve was added, as well as some remarks regarding Meixner polynomials thanks to T.Koornwinder

We prove the orbifold version of Zvonkine's $r$-ELSV formula in two special cases: the case of $r=2$ (complete $3$-cycles) for any genus $g\geq 0$ and the case of any $r\geq 1$ for genus $g=0$., Comment: 20 pages

We perform a key step towards the proof of Zvonkine's conjectural $r$-ELSV formula that relates Hurwitz numbers with completed $(r+1)$-cycles to the geometry of the moduli spaces of the $r$-spin structures on curves: we prove the quasi-polynomiality property prescribed by Zvonkine's conjecture. Moreover, we propose an orbifold generalization of Zvonkine's conjecture and prove the quasi-polynomiality property in this case as well. In addition to that, we study the $(0,1)$- and $(0,2)$-functions in this generalized case and we show that these unstable cases are correctly reproduced by the spectral curve initial data., Comment: 20 pages

We find an exact solution to strongly-coupled matrix models with a single-trace monomial potential. Our solution yields closed form expressions for the partition function as well as averages of Schur functions. The results are fully factorized into a product of terms linear in the rank of the matrix and the parameters of the model. We extend our formulas to include both logarthmic and finite-difference deformations, thereby generalizing the celebrated Selberg and Kadell integrals. We conjecture a formula for correlators of two Schur functions in these models, and explain how our results follow from a general orbifold-like procedure that can be applied to any one-matrix model with a single-trace potential., Comment: 52 pages, 7 figures

Hurwitz spaces parameterizing covers of the Riemann sphere can be equipped with a Frobenius structure. In this review, we recall the construction of such Hurwitz Frobenius manifolds as well as the correspondence between semisimple Frobenius manifolds and the topological recursion formalism. We then apply this correspondence to Hurwitz Frobenius manifolds by explaining that the corresponding primary invariants can be obtained as periods of multidifferentials globally defined on a compact Riemann surface by topological recursion. Finally, we use this construction to reply to the following question in a large class of cases: given a compact Riemann surface, what does the topological recursion compute?, Comment: 25 pages, reorganisation of some parts of paper, updated references

Free-field formalism for quantum groups provides a special choice of coordinates on a quantum group. In these coordinates the construction of associated integrable system is especially simple. This choice also fits into general framework of cluster varieties -- natural changes of coordinates are cluster mutations., Comment: 3 pages, to appear in JETP Letters

We claim that HOMFLY polynomials for virtual knots, defined with the help of the matrix-model recursion relations, contain more parameters, than just the usual $q$ and $A = q^N$. These parameters preserve topological invariance and do not show up in the case of ordinary (non-virtual) knots and links. They are most conveniently observed in the hypercube formalism: then they substitute $q$-dimensions of certain fat graphs, which are not constrained by recursion and can be chosen arbitrarily. The number of these new topological invariants seems to grow fast with the number of non-virtual crossings: 0, 1, 1, 5, 15, 91, 784, 9160, ... This number can be decreased by imposing the factorization requirement for composites, in addition to topological invariance -- still freedom remains. None of these new parameters, however, appear in HOMFLY for Kishino unknot, which thus remains unseparated from the ordinary unknots even by this enriched set of knot invariants., Comment: 17 pages

We apply the spectral curve topological recursion to Dubrovin's universal Landau-Ginzburg superpotential associated to a semi-simple point of any conformal Frobenius manifold. We show that under some conditions the expansion of the correlation differentials reproduces the cohomological field theory associated with the same point of the initial Frobenius manifold.

In hypercube approach to correlation functions in Chern-Simons theory (knot polynomials) the central role is played by the numbers of cycles, in which the link diagram is decomposed under different resolutions. Certain functions of these numbers are further interpreted as dimensions of graded spaces, associated with hypercube vertices. Finding these functions is, however, a somewhat non-trivial problem. In arXiv:1506.07516 it was suggested to solve it with the help of the matrix model technique, in the spirit of AMM/EO topological recursion. In this paper we further elaborate on this idea and provide a vast collection of non-trivial examples, related both to ordinary and virtual links and knots. Remarkably, most powerful versions of the formalism freely convert ordinary knots/links to virtual and back -- moreover, go beyond the knot-related set of the (2,2)-valent graphs., Comment: 37 pages

Wilson-loop averages in Chern-Simons theory (HOMFLY polynomials) can be evaluated in different ways -- the most difficult, but most interesting of them is the hypercube calculus, the only one applicable to virtual knots and used also for categorification (higher-dimensional extension) of the theory. We continue the study of quantum dimensions, associated with hypercube vertices, in the drastically simplified version of this approach to knot polynomials. At $q=1$ the problem is reformulated in terms of fat (ribbon) graphs, where Seifert cycles play the role of vertices. Ward identities in associated matrix model provide a set of recursions between classical dimensions. For $q \neq 1$ most of these relations are broken (i.e. deformed in a still uncontrollable way), and only few are protected by Reidemeister invariance of Chern-Simons theory. Still they are helpful for systematic evaluation of entire series of quantum dimensions, including negative ones, which are relevant for virtual link diagrams. To illustrate the effectiveness of developed formalism we derive explicit expressions for the 2-cabled HOMFLY of virtual trefoil and virtual 3.2 knot, which involve respectively 12 and 14 intersections -- far beyond any dreams with alternative methods. As a more conceptual application, we describe a relation between the genus of fat graph and Turaev genus of original link diagram, which is currently the most effective tool for the search of thin knots., Comment: 19 pages

In this paper we present an example of a derivation of an ELSV-type formula using the methods of topological recursion. Namely, for orbifold Hurwitz numbers we give a new proof of the spectral curve topological recursion, in the sense of Chekhov, Eynard, and Orantin, where the main new step compared to the existing proofs is a direct combinatorial proof of their quasi-polynomiality. Spectral curve topological recursion leads to a formula for the orbifold Hurwitz numbers in terms of the intersection theory of the moduli space of curves, which, in this case, appears to coincide with a special case of the Johnson-Pandharipande-Tseng formula., Comment: 23 pages

We analyze Chiodo's formulas for the Chern classes related to the r-th roots of the suitably twisted integer powers of the canonical class on the moduli space of curves. The intersection numbers of these classes with psi-classes are reproduced via the Chekhov-Eynard-Orantin topological recursion. As an application, we prove that the Johnson-Pandharipande-Tseng formula for the orbifold Hurwitz numbers is equivalent to the topological recursion for the orbifold Hurwitz numbers. In particular, this gives a new proof of the topological recursion for the orbifold Hurwitz numbers., Comment: 19 pages, some corrections

We prove, in a purely combinatorial way, the spectral curve topological recursion for the problem of enumeration of bi-colored maps, which are dual objects to dessins d'enfant. Furthermore, we give a proof of the quantum spectral curve equation for this problem. Then we consider the generalized case of 4-colored maps and outline the idea of the proof of the corresponding spectral curve topological recursion., Comment: 23 pages; clarifications added

Using the well-known free-field formalism for quantum groups, we demonstrate in case of $A(n)_q$, that quantum group is naturally also a cluster variety. Widely used formulae for mutations are direct consequence of independence of group element on the order of simple roots. Usual formulae for $2 n$ Poisson leaf emerge in classical limit, if all but few ($2n$) coordinates vanish.

We construct the quantum curve for the Gromov-Witten theory of the complex projective line., Comment: 33 pages

One of the general problems in algebraic geometry is to determine algorithmically whether or not a given geometric object, defined by explicit polynomial equations (e.g. a curve or a surface), satisfies a given property (e.g. has singularities or other distinctive features of interest). A classical example of such a problem, described by A.Cayley and G.Salmon in 1852, is to determine whether or not a given plane curve of degree r > 3 has undulation points -- the points where the tangent line meets the curve with multiplicity four. They proved that there exists an invariant of degree 6(r - 3)(3 r - 2) that vanishes if and only if the curve has undulation points. In this paper we give explicit formulae for this invariant in the case of quartics (r=4) and quintics (r=5), expressing it as the determinant of a matrix with polynomial entries, of sizes 21 times 21 and 36 times 36 respectively., Comment: 22 pages, 8 figures

The exact free energy of matrix model always obeys the Seiberg-Witten (SW) equations on a complex curve defined by singularities of the quasiclassical resolvent. The role of SW differential is played by the exact one-point resolvent. We show that these properties are preserved in generalization of matrix models to beta-ensembles. However, since the integrability and Harer-Zagier topological recursion are still unavailable for beta-ensembles, we need to rely upon the ordinary AMM/EO recursion to evaluate the first terms of the genus expansion. Consideration in this paper is restricted to the Gaussian model., Comment: 15 pages

We suggest a general method of computation of the homology of certain smooth covers $\hat{\mathcal{M}}_{g,1}(\mathbb{C})$ of moduli spaces $\mathcal{M}_{g,1}\br{\mathbb{C}}$ of pointed curves of genus $g$. Namely, we consider moduli spaces of algebraic curves with level $m$ structures. The method is based on the lifting of the Strebel-Penner stratification $\mathcal{M}_{g,1}\br{\mathbb{C}}$. We apply this method for $g\leq 2$ and obtain Betti numbers; these results are consistent with Penner and Harer-Zagier results on Euler characteristics., Comment: 15 pages, 12 figures; proof added, corrections