arXiv subjects

Sh. Shakirov

Publications and source records attributed to Sh. Shakirov.

At least 37 records · Page 2Linked to original sources

arXiv2010

Towards a proof of AGT conjecture by methods of matrix models

A matrix model approach to proof of the AGT relation is briefly reviewed. It starts from the substitution of conformal blocks by the Dotsenko-Fateev beta-ensemble averages and Nekrasov functions by a double deformation of the exponentiated Seiberg-Witten prepotential in beta \neq 1 and g_s \neq 0 directions. Establishing the equality of these two quantities is a typical matrix model problem, and it presumably can be ascertained by investigation of integrability properties and developing an associated Harer-Zagier technique for evaluation of the exact resolvent.

hep-th↗

arXiv2010

On "Dotsenko-Fateev" representation of the toric conformal blocks

We demonstrate that the recent ansatz of arXiv:1009.5553, inspired by the original remark due to R.Dijkgraaf and C.Vafa, reproduces the toric conformal blocks in the same sense that the spherical blocks are given by the integral representation of arXiv:1001.0563 with a peculiar choice of open integration contours for screening insertions. In other words, we provide some evidence that the toric conformal blocks are reproduced by appropriate beta-ensembles not only in the large-N limit, but also at finite N. The check is explicitly performed at the first two levels for the 1-point toric functions. Generalizations to higher genera are briefly discussed.

hep-th↗

arXiv2010

From Brezin-Hikami to Harer-Zagier formulas for Gaussian correlators

Brezin-Hikami contour-integral representation of exponential multidensities in finite N Hermitian matrix model is a remarkable implication of the old Hermitian-Kontsevich duality. It is also a simplified version of Okounkov's formulas for the same multidensities in the cubic Kontsevich model and of Nekrasov calculus for LMNS integrals, a central piece of the modern studies of AGT relations. In this paper we use Brezin-Hikami representation to derive explicit expressions for the Harer-Zagier multidensities (from arXiv:0906.0036): the only known exhaustive generating functions of all-genera Gaussian correlators which are fully calculable and expressed in terms of elementary functions. Using the Brezin-Hikami contour integrals, we rederive the 1-point function of Harer and Zagier and the 2-point arctangent function of arXiv:0906.0036. We also present (without a proof) the explicit expression for the 3-point function in terms of arctangents. Derivation of the 3-point and higher Harer-Zagier functions remains a challenging problem.

hep-th↗

arXiv2010

The matrix model version of AGT conjecture and CIV-DV prepotential

Recently exact formulas were provided for partition function of conformal (multi-Penner) beta-ensemble in the Dijkgraaf-Vafa phase, which, if interpreted as Dotsenko-Fateev correlator of screenings and analytically continued in the number of screening insertions, represents generic Virasoro conformal blocks. Actually these formulas describe the lowest terms of the q_a-expansion, where q_a parameterize the shape of the Penner potential, and are exact in the filling numbers N_a. At the same time, the older theory of CIV-DV prepotential, straightforwardly extended to arbitrary beta and to non-polynomial potentials, provides an alternative expansion: in powers of N_a and exact in q_a. We check that the two expansions coincide in the overlapping region, i.e. for the lowest terms of expansions in both q_a and N_a. This coincidence is somewhat non-trivial, since the two methods use different integration contours: integrals in one case are of the B-function (Euler-Selberg) type, while in the other case they are Gaussian integrals.

hep-th↗

arXiv2010

Conformal blocks as Dotsenko-Fateev Integral Discriminants

As anticipated in [1], elaborated in [2-4], and explicitly formulated in [5], the Dotsenko-Fateev integral discriminant coincides with conformal blocks, thus providing an elegant approach to the AGT conjecture, without any reference to an auxiliary subject of Nekrasov functions. Internal dimensions of conformal blocks in this identification are associated with the choice of contours: parameters of the DV phase of the corresponding matrix models. In this paper we provide further evidence in support of this identity for the 6-parametric family of the 4-point spherical conformal blocks, up to level 3 and for arbitrary values of external dimensions and central charges. We also extend this result to multi-point spherical functions and comment on a similar description of the 1-point function on a torus.

hep-th↗

arXiv2009

Exact solution for mean energy of 2d Dyson gas at beta = 1

Mean Coulomb energy of 2d Dyson gas in quadratic potential is examined from combinatorial viewpoint. For beta = 1, we find a recursive relation on mean energy and obtain its exact (finite N) solution in closed form in terms of the hypergeometric function 3F2. Using this exact solution, we derive the large-N asymptotic expansion of mean energy and show, that this expansion contains half-integer powers of N.

math-ph↗

arXiv2009

Matrix Model Conjecture for Exact BS Periods and Nekrasov Functions

We give a concise summary of the impressive recent development unifying a number of different fundamental subjects. The quiver Nekrasov functions (generalized hypergeometric series) form a full basis for all conformal blocks of the Virasoro algebra and are sufficient to provide the same for some (special) conformal blocks of W-algebras. They can be described in terms of Seiberg-Witten theory, with the SW differential given by the 1-point resolvent in the DV phase of the quiver (discrete or conformal) matrix model (β-ensemble), dS = ydz + O(ε^2) = \sum_p ε^{2p} ρ_β^{(p|1)}(z), where εand βare related to the LNS parameters ε_1 and ε_2. This provides explicit formulas for conformal blocks in terms of analytically continued contour integrals and resolves the old puzzle of the free-field description of generic conformal blocks through the Dotsenko-Fateev integrals. Most important, this completes the GKMMM description of SW theory in terms of integrability theory with the help of exact BS integrals, and provides an extended manifestation of the basic principle which states that the effective actions are the tau-functions of integrable hierarchies.

hep-th↗

arXiv2009

Resultant as Determinant of Koszul Complex

A linear map between two vector spaces has a very important characteristic: a determinant. In modern theory two generalizations of linear maps are intensively used: to linear complexes (the nilpotent chains of linear maps) and to non-linear mappings. Accordingly, determinant of a linear map has two generalizations: to determinants of complexes and to resultants. These quantities are in fact related: resultant of a non-linear map is determinant of the corresponding Koszul complex. We give an elementary introduction into these notions and interrelations, which will definitely play a role in the future development of theoretical physics.

math-ph↗

arXiv2009

New and Old Results in Resultant Theory

Resultants are getting increasingly important in modern theoretical physics: they appear whenever one deals with non-linear (polynomial) equations, with non-quadratic forms or with non-Gaussian integrals. Being a subject of more than three-hundred-year research, resultants are of course rather well studied: a lot of explicit formulas, beautiful properties and intriguing relationships are known in this field. We present a brief overview of these results, including both recent and already classical. Emphasis is made on explicit formulas for resultants, which could be practically useful in a future physics research.

math-ph↗

arXiv2009

Discriminants of Symmetric Polynomials

A homogeneous polynomial S(x_1, ..., x_n) of degree r in n variables posesses a discriminant D_{n|r}(S), which vanishes if and only if the system of equations dS/dx_i = 0 has non-trivial solutions. We give an explicit formula for discriminants of symmetric (under permutations of x_1, ..., x_n) homogeneous polynomials of degree r in n >= r variables. This formula is division free and quite effective from the computational point of view: symbolic computer calculations with the help of this formula take seconds even for n ~ 20. We work out in detail the cases r = 2,3,4 which will be probably important in applications. We also consider the case of completely antisymmetric polynomials.

math.AG↗

arXiv2009

On Equivalence of two Hurwitz Matrix Models

In arXiv:0902.2627 a matrix model representation was found for the simplest Hurwitz partition function, which has Lambert curve phi e^{-phi} = psi as a classical equation of motion. We demonstrate that Fourier-Laplace transform in the logarithm of external field Psi converts it into a more sophisticated form, recently suggested in arXiv:0906.1206.

hep-th↗

arXiv2009

Exact 2-point function in Hermitian matrix model

J. Harer and D. Zagier have found a strikingly simple generating function for exact (all-genera) 1-point correlators in the Gaussian Hermitian matrix model. In this paper we generalize their result to 2-point correlators, using Toda integrability of the model. Remarkably, this exact 2-point correlation function turns out to be an elementary function - arctangent. Relation to the standard 2-point resolvents is pointed out. Some attempts of generalization to 3-point and higher functions are described.

hep-th↗

arXiv2009

Introduction to Integral Discriminants

The simplest partition function, associated with homogeneous symmetric forms S of degree r in n variables, is integral discriminant J_{n|r}(S) = \int e^{-S(x_1 ... x_n)} dx_1 ... dx_n. Actually, S-dependence remains the same if e^{-S} in the integrand is substituted by arbitrary function f(S), i.e. integral discriminant is a characteristic of the form S itself, and not of the averaging procedure. The aim of the present paper is to calculate J_{n|r} in a number of non-Gaussian cases. Using Ward identities -- linear differential equations, satisfied by integral discriminants -- we calculate J_{2|3}, J_{2|4}, J_{2|5} and J_{3|3}. In all these examples, integral discriminant appears to be a generalized hypergeometric function. It depends on several SL(n) invariants of S, with essential singularities controlled by the ordinary algebraic discriminant of S.

math-ph↗

arXiv2009

Generation of Matrix Models by W-operators

We show that partition functions of various matrix models can be obtained by acting on elementary functions with exponents of W-operators. A number of illustrations is given, including the Gaussian Hermitian matrix model, Hermitian model in external field and the Hurwitz-Kontsevitch model, for which we suggest an elegant matrix-model representation. In all these examples, the relevant W-operators belong to the W_3-algebra.

hep-th↗

arXiv2008

Gluing of Surfaces with Polygonal Boundaries

By pairwise gluing of edges of a polygon, one produces two-dimensional surfaces with handles and boundaries. In this paper, we count the number ${\cal N}_{g,L}(n_1, n_2, ..., n_L)$ of different ways to produce a surface of given genus $g$ with $L$ polygonal boundaries with given numbers of edges $n_1, n_2, >..., n_L$. Using combinatorial relations between graphs on real two-dimensional surfaces, we derive recursive relations between ${\cal N}_{g,L}$. We show that Harer-Zagier numbers appear as a particular case of ${\cal N}_{g,L}$ and derive a new explicit expression for them.

math.CO↗

arXiv2008

Resultants and Contour Integrals

Resultants are important special functions used in description of non-linear phenomena. Resultant $R_{r_1, ..., r_n}$ defines a condition of solvability for a system of $n$ homogeneous polynomials of degrees $r_1, ..., r_n$ in $n$ variables, just in the same way as determinant does for a system of linear equations. Unfortunately, there is a lack of convenient formulas for resultants when the number of variables is large. In this paper we use Cauchy contour integrals to obtain a polynomial formula for resultants, which is expected to be useful in applications.

math.AG↗

arXiv2008

Analogue of the identity Log Det = Trace Log for resultants

Resultant $R_{r_1, ..., r_n}$ defines a condition of solvability for a system of $n$ homogeneous polynomials of degrees $r_1, ..., r_n$ in $n$ variables, just in the same way as determinant does for a system of linear equations. Because of this, resultants are important special functions of upcoming non-linear physics and begin to play a role in various topics related to string theory. Unfortunately, there is a lack of convenient formulas for resultants when the number of variables is large. To cure this problem, we generalize the well-known identity Log Det = Trace Log from determinants to resultants. The generalized identity allows to obtain explicit polynomial formulas for multidimensional resultants: for any number of variables, resultant is given by a Schur polynomial. We also give several integral representations for resultants, as well as a sum-over-paths representation.

math-ph↗

arXiv2007

Higher discriminants of polynomials

We propose a method for constructing systems of polynomial equations that define submanifolds of degenerate binary forms of an arbitrary degeneracy degree. It is appropriate to call these systems of equations "higher discriminants".

math.AG↗