BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Vasily Pestun

Vasily Pestun appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
hep-thmath.RTLogic in Computer ScienceMachine Learningmath-phmath.AGmath.MPmath.PRmath.QAProgramming Languages

Catalog footprint

What is connected

12works
10topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

12 published item(s)

preprint2022arXiv

Formalization of a Stochastic Approximation Theorem

Stochastic approximation algorithms are iterative procedures which are used to approximate a target value in an environment where the target is unknown and direct observations are corrupted by noise. These algorithms are useful, for instance, for root-finding and function minimization when the target function or model is not directly known. Originally introduced in a 1951 paper by Robbins and Monro, the field of Stochastic approximation has grown enormously and has come to influence application domains from adaptive signal processing to artificial intelligence. As an example, the Stochastic Gradient Descent algorithm which is ubiquitous in various subdomains of Machine Learning is based on stochastic approximation theory. In this paper, we give a formal proof (in the Coq proof assistant) of a general convergence theorem due to Aryeh Dvoretzky, which implies the convergence of important classical methods such as the Robbins-Monro and the Kiefer-Wolfowitz algorithms. In the process, we build a comprehensive Coq library of measure-theoretic probability theory and stochastic processes.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Lax matrices from antidominantly shifted Yangians and quantum affine algebras: A-type

We construct a family of $GL_n$ rational and trigonometric Lax matrices $T_D(z)$ parametrized by $Λ^+$-valued divisors $D$ on $\mathbb{P}^1$. To this end, we study the shifted Drinfeld Yangians $Y_μ(\mathfrak{gl}_n)$ and quantum affine algebras $U_{μ^+,μ^-}(L\mathfrak{gl}_n)$, which slightly generalize their $\mathfrak{sl}_n$-counterparts. Our key observation is that both algebras admit the RTT type realization when $μ$ (respectively, $μ^+$ and $μ^-$) are antidominant coweights. We prove that $T_D(z)$ are polynomial in $z$ (up to a rational factor) and obtain explicit simple formulas for those linear in $z$. This generalizes the recent construction by the first two authors of linear rational Lax matrices in both trigonometric and higher $z$-degree directions. Furthermore, we show that all $T_D(z)$ are normalized limits of those parametrized by $D$ supported away from $\{\infty\}$ (in the rational case) or $\{0,\infty\}$ (in the trigonometric case). The RTT approach provides conceptual and elementary proofs for the construction of the coproduct homomorphisms on shifted Yangians and quantum affine algebras of $\mathfrak{sl}_n$, previously established via rather tedious computations. Finally, we establish a close relation between a certain collection of explicit linear Lax matrices and the well-known parabolic Gelfand-Tsetlin formulas.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Quantum geometry and quiver gauge theories

We study macroscopically two dimensional $\mathcal{N}=(2,2)$ supersymmetric gauge theories constructed by compactifying the quiver gauge theories with eight supercharges on a product $\mathbb{T}^{d} \times \mathbb{R}^{2}_ε$ of a $d$-dimensional torus and a two dimensional cigar with $Ω$-deformation. We compute the universal part of the effective twisted superpotential. In doing so we establish the correspondence between the gauge theories, quantization of the moduli spaces of instantons on $\mathbb{R}^{2-d} \times \mathbb{T}^{2+d}$ and singular monopoles on $\mathbb{R}^{2-d} \times \mathbb{T}^{1+d}$, for $d=0,1,2$, and the Yangian $\mathbf{Y}_ε(\mathfrak{g}_Γ)$, quantum affine algebra $\mathbf{U}^{\mathrm{aff}}_q(\mathfrak{g}_Γ)$, or the quantum elliptic algebra $\mathbf{U}^{\mathrm{ell}}_{q,p}(\mathfrak{g}_Γ)$ associated to Kac-Moody algebra $\mathfrak{g}_Γ$ for quiver $Γ$.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Correlators of Wilson loops and local operators from multi-matrix models and strings in AdS

We study correlation functions of Wilson loops and local operators in a subsector of N=4 SYM which preserves two supercharges. Localization arguments allow to map the problem to a calculation in bosonic two-dimensional Yang-Mills theory. In turn, this can be reduced to computing correlators in certain Gaussian multi-matrix models. We focus on the correlation function of a Wilson loop and two local operators, and solve the corresponding three-matrix model exactly in the planar limit. We compare the strong coupling behavior to string theory in AdS_5xS^5, finding precise agreement. We pay particular attention to the case in which the local operators have large R-charge J \sim sqrt{lambda} at strong coupling.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Localization of gauge theory on a four-sphere and supersymmetric Wilson loops

We prove conjecture due to Erickson-Semenoff-Zarembo and Drukker-Gross which relates supersymmetric circular Wilson loop operators in the N=4 supersymmetric Yang-Mills theory with a Gaussian matrix model. We also compute the partition function and give a new matrix model formula for the expectation value of a supersymmetric circular Wilson loop operator for the pure N=2 and the N=2* supersymmetric Yang-Mills theory on a four-sphere. A four-dimensional N=2 superconformal gauge theory is treated similarly.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Localization of the four-dimensional N=4 SYM to a two-sphere and 1/8 BPS Wilson loops

We localize the four-dimensional N=4 super Yang-Mills theory on a four-sphere to the two-dimensional constrained Hitchin/Higgs-Yang-Mills (cHYM) theory on a two-sphere S^2. We show that expectation values of certain 1/8 BPS supersymmetric Wilson loops on S^2 in the 4d N=4 SYM is captured by the 2d cHYM theory. We further argue that expectation values of Wilson loops in the cHYM theory agree with the prescription "two-dimensional bosonic Yang-Mills excluding instanton contributions". Hence, we support the recent conjecture by Drukker, Giombi, Ricci and Trancanelli on the 1/8 BPS Wilson loops on S^2 in the 4d N=4 SYM.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Exact Results for 't Hooft Loops in Gauge Theories on S^4

The path integral of a general N=2 supersymmetric gauge theory on S^4 is exactly evaluated in the presence of a supersymmetric 't Hooft loop operator. The result we find - obtained using localization techniques - captures all perturbative quantum corrections as well as non-perturbative effects due to instantons and monopoles, which are supported at the north pole, south pole and equator of S^4. As a by-product, our gauge theory calculations successfully confirm the predictions made for 't Hooft loops obtained from the calculation of topological defect correlators in Liouville/Toda conformal field theory.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

On the instantons and the hypermultiplet mass of N=2* super Yang-Mills on S^4

We show that the physical N=4 super Yang-Mills theory on a four-sphere with an arbitrary gauge group receives no instanton contributions, by clarifying the relation between the hypermultiplet mass and the equivariant parameters of the mass-deformed theory preserving N=2 supersymmetry. The correct relation also implies that N=4 superconformal Yang-Mills theory with gauge group SU(2) corresponds to Liouville theory on a torus with the insertion of a non-trivial operator, rather than the identity as have been claimed in the literature.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Correlators of local operators and 1/8 BPS Wilson loops on S^2 from 2d YM and matrix models

We propose that, in N=4 Super Yang-Mills theory, correlation functions of certain 1/8 BPS Wilson loops and local operators inserted on a S^2 in space-time may be computed in terms of analogous observables in the "zero-instanton" sector of 2d Yang-Mills theory. The Wilson loops are mapped to the standard Wilson loops of the 2d theory, as recently conjectured, while the local operators are mapped to powers of the 2d field strength. We give several perturbative checks of the correspondence, and derive from 2d Yang-Mills a two-matrix model for the correlator of a local operator and a Wilson loop of arbitrary shape. We show that the strong coupling planar limit of the two-matrix model precisely agrees with a string theory calculation in AdS_5 x S^5.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Notes on supersymmetric Wilson loops on a two-sphere

We study a recently discovered family of 1/8-BPS supersymmetric Wilson loops in N=4 super Yang-Mills theory and their string theory duals. The operators are defined for arbitrary contours on a two-sphere in space-time, and they were conjectured to be captured perturbatively by 2d bosonic Yang-Mills theory. In the AdS dual, they are described by pseudo-holomorphic string surfaces living on a certain submanifold of AdS_5 x S^5. We show that the regularized area of these string surfaces is invariant under area preserving diffeomorphisms of the boundary loop, in agreement with the conjecture. Further, we find a connection between the pseudo-holomorphicity equations and an auxiliary sigma-model on S^3, which may help to construct new 1/8-BPS string solutions. We also show that the conjectured relation to 2d Yang-Mills implies that a connected correlator of two Wilson loops is computed by a Hermitian Gaussian two-matrix model. On the AdS dual side, we argue that the connected correlator is described by two disconnected disks interacting through the exchange of supergravity modes, and we show that this agrees with the strong coupling planar limit of the two-matrix model.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Supersymmetric Wilson loops in N=4 SYM and pure spinors

We study supersymmetric Wilson loop operators in four-dimensional N=4 super Yang-Mills theory. We show that the contour of a supersymmetric Wilson loop is either an orbit of some conformal transformation of the space-time (case I), or an arbitrary contour in the subspace where local superalgebra generator is a pure spinor (case II). In the more interesting case II we find and classify all pairs (Q,W) of the supercharges and the corresponding operators modulo the action of the global symmetry group.

0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv

The Hitchin functionals and the topological B-model at one loop

The quantization in quadratic order of the Hitchin functional, which defines by critical points a Calabi-Yau structure on a six-dimensional manifold, is performed. The conjectured relation between the topological B-model and the Hitchin functional is studied at one loop. It is found that the genus one free energy of the topological B-model disagrees with the one-loop free energy of the minimal Hitchin functional. However, the topological B-model does agree at one-loop order with the extended Hitchin functional, which also defines by critical points a generalized Calabi-Yau structure. The dependence of the one-loop result on a background metric is studied, and a gravitational anomaly is found for both the B-model and the extended Hitchin model. The anomaly reduces to a volume-dependent factor if one computes for only Ricci-flat Kahler metrics.

0 citations0 reviewsNo code linkedOpen access