Search NASA⌕ Search

Engineering topics

Gukov, Sergei

Publications and source records attributed to Gukov, Sergei.

At least 19 records
All sourcesNASA NTRSDOE OSTI
DOE OSTI2024

Machine learning BPS spectra and the gap conjecture

We explore statistical properties of Bogomol’nyi-Prasad-Sommerfield q-series for strongly coupled supersymmetric theories that correspond to a particular family of three-manifolds. We discover that gaps between exponents in the -series are statistically more significant at the beginning of the -series compared to gaps that appear in higher powers of. Our observations are obtained by calculating saliencies of -series features used as input data for principal component analysis, which is a standard example of an explainable machine learning technique that allows for a direct calculation and a better analysis of feature saliencies.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2024

3-Manifolds and VOA Characters

Abstract By studying the properties ofq-series$$\widehat{Z}$$ Z ^ -invariants, we develop a dictionary between 3-manifolds and vertex algebras. In particular, we generalize previously known entries in this dictionary to Lie groups of higher rank, to 3-manifolds with toral boundaries, and to BPS partition functions with line operators. This provides a new physical realization of logarithmic vertex algebras in the framework of the 3d-3d correspondence and opens new avenues for their future study. For example, we illustrate how invoking a knot-quiver correspondence for$$\widehat{Z}$$ Z ^ -invariants leads to many infinite families of new fermionic formulae for VOA characters.

Physics↗
DOE OSTI2023

Non-Semisimple TQFT's and BPS q -Series

We propose and in some cases prove a precise relation between 3-manifold invariants associated with quantum groups at roots of unity and at generic q. Both types of invariants are labeled by extra data which plays an important role in the proposed relation. Bridging the two sides - which until recently were developed independently, using very different methods - opens many new avenues. In one direction, it allows to study (and perhaps even to formulate) q-series invariants labeled by spin c structures in terms of non-semisimple invariants. In the opposite direction, it offers new insights and perspectives on various elements of non-semisimple TQFT's, bringing the latter into one unifying framework with other invariants of knots and 3-manifolds that recently found realization in quantum field theory and in string theory.

3-manifold invariants↗
DOE OSTI2023

Special Lagrangian Cycles and Calabi-Yau Transitions

Here, we construct special Lagrangian 3-spheres in non-Kähler compact threefolds equipped with the Fu–Li–Yau geometry. These non-Kähler geometries emerge from topological transitions of compact Calabi-Yau threefolds. From this point of view, a conifold transition exchanges holomorphic 2-cycles for special Lagrangian 3-cycles.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2022

Branches, quivers, and ideals for knot complements

We generalize the F K invariant, i.e. Z^ for the complement of a knot K in the 3-sphere, the knots-quivers correspondence, and A-polynomials of knots, and find several interconnections between them. We associate an F K invariant to any branch of the A-polynomial of K and we work out explicit expressions for several simple knots. We show that these F K invariants can be written in the form of a quiver generating series, in analogy with the knots-quivers correspondence. We discuss various methods to obtain such quiver representations, among others using R-matrices. We generalize the quantum a-deformed A-polynomial to an ideal that contains the recursion relation in the group rank, i.e. in the parameter a, and describe its classical limit in terms of the Coulomb branch of a 3d-5d theory. We also provide t-deformed versions. Furthermore, we study how the quiver formulation for closed 3-manifolds obtained by surgery leads to the superpotential of 3d N = 2 theory T[M 3 ] and to the data of the associated modular tensor category MTC[M 3 ].

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2021

Rozansky-Witten geometry of Coulomb branches and logarithmic knot invariants

By studying Rozansky-Witten theory with non-compact target spaces we find new connections with knot invariants whose physical interpretation was not known. Furthermore, this opens up several new avenues, which include a new formulation of q-series invariants of 3-manifolds in terms of affine Grassmannians and a generalization of Akutsu-Deguchi-Ohtsuki knot invariants.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2021

4-manifolds and topological modular forms

We build a connection between topology of smooth 4-manifolds and the theory of topological modular forms by considering topologically twisted compactification of 6d (1, 0) theories on 4-manifolds with flavor symmetry backgrounds. The effective 2d theory has (0, 1) supersymmetry and, possibly, a residual flavor symmetry. The equivariant topological Witten genus of this 2d theory then produces a new invariant of the 4-manifold equipped with a principle bundle, valued in the ring of equivariant weakly holomorphic (topological) modular forms. We describe basic properties of this map and present a few simple examples. As a byproduct, we obtain some new results on ’t Hooft anomalies of 6d (1, 0) theories and a better understanding of the relation between 2d (0, 1) theories and TMF spectra.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2021

Generalized global symmetries of T[ M ] theories. Part I

We study reductions of 6d theories on a d-dimensional manifold Md, focusing on the interplay between symmetries, anomalies, and dynamics of the resulting (6 – d)-dimensional theory T[M d ]. We refine and generalize the notion of “polarization” to polarization on Md, which serves to fix the spectrum of local and extended operators in T[M d ]. Another important feature of theories T[M d ] is that they often possess higher-group symmetries, such as 2-group and 3-group symmetries. We study the origin of such symmetries as well as physical implications including symmetry breaking and symmetry enhancement in the renormalization group flow. To better probe the IR physics, we also investigate the ’t Hooft anomaly of 5d Chern-Simons matter theories. The present paper focuses on developing the general framework as well as the special case of d = 0 and 1, while an upcoming paper will discuss the case of d = 2, 3 and 4.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2021

Learning to Unknot

We introduce natural language processing into the study of knot theory, as made natural by the braid word representation of knots. We study the UNKNOT problem of determining whether or not a given knot is the unknot. After describing an algorithm to randomly generate N-crossing braids and their knot closures and discussing the induced prior on the distribution of knots, we apply binary classification to the UNKNOT decision problem. We find that the Reformer and shared-QK Transformer network architectures outperform fully-connected networks, though all perform at 95% accuracy. Perhaps surprisingly, we find that accuracy increases with the length of the braid word, and that the networks learn a direct correlation between the confidence of their predictions and the degree of the Jones polynomial. Finally, we utilize reinforcement learning (RL) to find sequences of Markov moves and braid relations that simplify knots and can identify unknots by explicitly giving the sequence of unknotting actions. Trust region policy optimization (TRPO) performs consistently well, reducing 80% of the unknots with up to 96 crossings we tested to the empty braid word, and thoroughly outperformed other RL algorithms and random walkers. Studying these actions, we find that braid relations are more useful in simplifying to the unknot than one of the Markov moves.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2020

“Lagrangian disks” in M-theory

While the study of bordered (pseudo-)holomorphic curves with boundary on Lagrangian submanifolds has a long history, a similar problem that involves (special) Lagrangian submanifolds with boundary on complex surfaces appears to be largely overlooked in both physics and math literature. We relate this problem to geometry of coassociative submanifolds in G 2 holonomy spaces and to Spin(7) metrics on 8-manifolds with T 2 fibrations. As an application to physics, we propose a large class of brane models in type IIA string theory that generalize brane brick models on the one hand and 2d theories T[M 4 ] on the other.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2020

3d TQFTs from Argyres–Douglas theories

We construct a new class of three-dimensional topological quantum field theories (3d TQFTs) by considering generalized Argyres–Douglas theories on S 1 × M 3 with a non-trivial holonomy of a discrete global symmetry along the S 1 . For the minimal choice of the holonomy, the resulting 3d TQFTs are non-unitary and semisimple, thus distinguishing themselves from theories of Chern–Simons and Rozansky–Witten types respectively. Changing the holonomy performs a Galois transformation on the TQFT, which can sometimes give rise to more familiar unitary theories such as the ${\left({G}_{2}\right)}_{1}$ and ${\left({F}_{4}\right)}_{1}$ Chern–Simons theories. Our construction is based on an intriguing relation between topologically twisted partition functions, wild Hitchin characters, and chiral algebras which, when combined together, relate Coulomb branch and Higgs branch data of the same 4d $\mathcal{N}=2$ theory. Finally, we test our proposal by applying localization techniques to the conjectural $\mathcal{N}=1$ UV Lagrangian descriptions of the (A 1 , A 2 ), (A 1 , A 3 ) and (A 1 , D 3 ) theories.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2020

3d-3d correspondence for mapping tori

One of the main challenges in 3d-3d correspondence is that no existent approach offers a complete description of 3d N = 2 SCFT T [ M 3 ] — or, rather, a “collection of SCFTs” as we refer to it in the paper — for all types of 3-manifolds that include, for example, a 3-torus, Brieskorn spheres, and hyperbolic surgeries on knots. The goal of this paper is to overcome this challenge by a more systematic study of 3d-3d correspondence that, first of all, does not rely heavily on any geometric structure on M 3 and, secondly, is not limited to a particular supersymmetric partition function of T [ M 3 ]. In particular, we propose to describe such “collection of SCFTs” in terms of 3d N = 2 gauge theories with “non-linear matter” fields valued in complex group manifolds. As a result, we are able to recover familiar 3-manifold invariants, such as Turaev torsion and WRT invariants, from twisted indices and half-indices of T [ M 3 ], and propose new tools to compute more recent q -series invariants Z * ( M 3 ) in the case of manifolds with b 1 > 0. Although we use genus-1 mapping tori as our “case study,” many results and techniques readily apply to more general 3-manifolds, as we illustrate throughout the paper.

Topological Field Theories↗
DOE OSTI2020

Trialities of minimally supersymmetric 2d gauge theories

We study dynamics of two-dimensional N = (0, 1) supersymmetric gauge theories. In particular, we propose that there is an infrared triality between certain triples of theories with orthogonal and symplectic gauge groups. The proposal is supported by matching of anomalies and elliptic genera. This triality can be viewed as a (0, 1) counterpart of the (0, 2) triality proposed earlier by two of the authors and A. Gadde. We also describe the relation between global anomalies in gauge theoretic and sigma-model descriptions, filling in a gap in the present literature.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2020

BPS spectra and 3-manifold invariants

We provide a physical definition of new homological invariants H a (M 3 ) of 3-manifolds (possibly, with knots) labeled by abelian flat connections. The physical system in question involves a 6d fivebrane theory on M 3 times a 2-disk, D 2 , whose Hilbert space of BPS states plays the role of a basic building block in categorification of various partition functions of 3d N = 2 theory T[M 3 ]: D 2 × S 1 half-index, S 2 × S 1 superconformal index, and S 2 × S 1 topologically twisted index. The first partition function is labeled by a choice of boundary condition and provides a refinement of Chern–Simons (WRT) invariant. A linear combination of them in the unrefined limit gives the analytically continued WRT invariant of M 3 . The last two can be factorized into the product of half-indices. Here, we show how this works explicitly for many examples, including Lens spaces, circle fibrations over Riemann surfaces, and plumbed 3-manifolds.

3-manifold↗