Search

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.

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 $β$-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 $τ$-functions. The hidden symmetry given by the families of commuting Hamiltonians is in charge of the special, (skew) hypergeometric $τ$-functions among these., 43 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 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., 16 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.

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

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 β=1 eigenvalue model construction for torus knots only, and can be responsible for problems with construction of a similar model for other knots.

In this paper, 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 [Formula: see text]-invariant of the companion knot. A similar phenomenon is known for the knot Floer homology and [Formula: see text]-invariant for the same kind of satellites.

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

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., 17 pages, no figures

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

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., 7 pages

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 prove that topological recursion applied to the spectral curve of colored HOMFLY-PT polynomials of torus knots reproduces the -point functions of a particular partition function called the extended Ooguri–Vafa partition function. This generalizes and refines the results of Brini–Eynard–Mariño 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).

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 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., 9 pages, add some missing references

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., 4 pages

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 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

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

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 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., 17 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., 19 pages

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

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

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.

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., 22 pages, 8 figures

We investigate the duality between the Nekrasov function and the quantized Seiberg-Witten prepotential, first guessed in [1] and further elaborated in [2] and [3]. We concentrate on providing more thorough checks than the ones presented in [3] and do not discuss the motivation and historical context of this duality. The check of the conjecture up to $o (\hbar^6, \ln (\Lambda))$ is done by hands for arbitrary $N$ (explicit formulas are presented). Moreover, details of the calculation that are essential for the computerization of the check are worked out. This allows us to test the conjecture up to $\hbar^6$ and up to higher powers of $\Lambda$ for $N = 2,3,4$. Only the case of pure SU(N) gauge theory is considered., Comment: 12 pages

For the $��$-model and Nambu-Goto actions, values of the Alday-Maldacena-regularized actions are calculated on solutions of the equations of motion with constant non-regularized Lagrangian. It turns out that these values coincide up to a factor, independent of boundary conditions., 3 pages, submitted to JETP Letters, corrected some misprints and missing factors in formulas (10) and (11)