BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Sh. Shakirov appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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.
Quantum $\mathcal{R}$-matrices are the building blocks for the colored HOMFLY polynomials. In the case of three-strand braids with an identical finite-dimensional irreducible representation $T$ of $SU_q(N)$ associated with each strand one needs two matrices: $\mathcal{R}_1$ and $\mathcal{R}_2$. They are related by the Racah matrices $\mathcal{R}_2 = \mathcal{U} \mathcal{R}_1 \mathcal{U}^{\dagger}$. Since we can always choose the basis so that $\mathcal{R}_1$ is diagonal, the problem is reduced to evaluation of $\mathcal{R}_2$-matrices. This paper is one more step on the road to simplification of such calculations. We found out and proved for some cases that $\mathcal{R}_2$-matrices could be transformed into a block-diagonal ones. The essential condition is that there is a pair of accidentally coinciding eigenvalues among eigenvalues of $\mathcal{R}_1$-matrix. The angle of the rotation in the sectors corresponding to accidentally coinciding eigenvalues from the basis defined by the Racah matrix to the basis in which $\mathcal{R}_2$ is block-diagonal is $\pm \fracπ{4}$.
The amplitudes of refined Chern-Simons (CS) theory, colored by antisymmetric (or symmetric) representations, conjecturally generate the Lambda^r- (or S^r-) colored triply graded homology of (n,m) torus knots. This paper is devoted to the generalization of Rosso-Jones formula to refined amplitudes, that involves non-trivial Gamma-factors -- expansion coefficients in the Macdonald basis. We derive from refined CS theory a linear recursion w.r.t. transformations (n,m) -> (n, n+m) and (n,m) -> (m,-n) that fully determines these factors. Applying this recursion to (n,nk+1) torus knots colored by antisymmetric representations [1^r] we prove that their amplitudes are rectangular [n^r] Hall-Littlewood polynomials under k units of framing (a.k.a. the Bergeron-Garsia nabla) operator. For symmetric representations [r], we find the dual -- q-Whittaker -- polynomials. These results confirm and give a colored extension of the observation of arXiv:1201.3339 that triply graded homology of many torus knots has a strikingly simple description in terms of Hall-Littlewood polynomials.
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.
In arXiv:1106.4305 extended superpolynomials were introduced for the torus links T[m,mk+r], which are functions on the entire space of time variables and, at expense of reducing the topological invariance, possess additional algebraic properties, resembling those of the matrix model partition functions and the KP/Toda tau-functions. Not surprisingly, being a suitable extension it actually allows one to calculate the superpolynomials. These functions are defined as expansions into MacDonald polynomials, and their dependence on k is entirely captured by the action of the cut-and-join operator, like in the HOMFLY case. We suggest a simple description of the coefficients in these character expansions, by expanding the initial (at k=0) conditions for the k-evolution into the new auxiliary basis, this time provided by the Hall-Littlewood polynomials, which, hence, play a role in the description of the dual m-evolution. For illustration we list manifest expressions for a few first series, mk\pm 1, mk\pm 2, mk\pm 3, mk\pm 4. Actually all formulas were explicitly tested up to m=17 strands in the braid.
We show that the HOMFLY polynomials for torus knots T[m,n] in all fundamental representations are equal to the Hall-Littlewood polynomials in representation which depends on m, and with quantum parameter, which depends on n. This makes the long-anticipated interpretation of Wilson averages in 3d Chern-Simons theory as characters precise, at least for the torus knots, and calls for further studies in this direction. This fact is deeply related to Hall-Littlewood-MacDonald duality of character expansion of superpolynomials found in arXiv:1201.3339. In fact, the relation continues to hold for extended polynomials, but the symmetry between m and n is broken, then m is the number of strands in the braid. Besides the HOMFLY case with q=t, the torus superpolynomials are reduced to the single Hall-Littlewood characters in the two other distinguished cases: q=0 and t=0.
We extend the proof from arXiv:1012.3137, which interprets the AGT relation as the Hubbard-Stratonovich duality relation to the case of 5d gauge theories. This involves an additional q-deformation. Not surprisingly, the extension turns out to be trivial: it is enough to substitute all relevant numbers by q-numbers in all the formulas, Dotsenko-Fateev integrals by the Jackson sums and the Jack polynomials by the MacDonald ones. The problem with extra poles in individual Nekrasov functions continues to exist, therefore, such a proof works only for β= 1, i.e. for q=t in MacDonald's notation. For β\ne 1 the conformal blocks are related in this way to a non-Nekrasov decomposition of the LMNS partition function into a double sum over Young diagrams.
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.
The AGT conjecture claims an equivalence of conformal blocks in 2d CFT and sums of Nekrasov functions (instantonic sums in 4d SUSY gauge theory). The conformal blocks can be presented as Dotsenko-Fateev beta-ensembles, hence, the AGT conjecture implies the equality between Dotsenko-Fateev beta-ensembles and the Nekrasov functions. In this paper, we prove it in a particular case of beta=1 (which corresponds to c = 1 at the conformal side and to epsilon_1 + epsilon_2 = 0 at the gauge theory side) in a very direct way. The central role is played by representation of the Nekrasov functions through correlators of characters (Schur polynomials) in the Selberg matrix models. We mostly concentrate on the case of SU(2) with 4 fundamentals, the extension to other cases being straightforward. The most obscure part is extending to an arbitrary beta: for beta \neq 1, the Selberg integrals that we use do not reproduce single Nekrasov functions, but only sums of them.
The AGT relation identifies the Nekrasov functions for various N=2 SUSY gauge theories with the 2d conformal blocks, which possess explicit Dotsenko-Fateev matrix model (beta-ensemble) representations the latter being polylinear combinations of Selberg integrals. The "pure gauge" limit of these matrix models is, however, a non-trivial multiscaling large-N limit, which requires a separate investigation. We show that in this pure gauge limit the Selberg integrals turn into averages in a Brezin-Gross-Witten (BGW) model. Thus, the Nekrasov function for pure SU(2) theory acquires a form very much reminiscent of the AMM decomposition formula for some model X into a pair of the BGW models. At the same time, X, which still has to be found, is the pure gauge limit of the elliptic Selberg integral. Presumably, it is again a BGW model, only in the Dijkgraaf-Vafa double cut phase.
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.
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.
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.
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.
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.
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.
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.
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.
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.