-
Mock modularity at work, or black holes in a forest
Authors:
Sergei Alexandrov
Abstract:
Mock modular forms, first invented by Ramanujan, provide a beautiful generalization of the usual modular forms. In recent years, it was found that they capture generating functions of the number of microstates of BPS black holes appearing in compactifications of string theory with 8 and 16 supercharges. This review describes these results and their applications which range from the actual computat…
▽ More
Mock modular forms, first invented by Ramanujan, provide a beautiful generalization of the usual modular forms. In recent years, it was found that they capture generating functions of the number of microstates of BPS black holes appearing in compactifications of string theory with 8 and 16 supercharges. This review describes these results and their applications which range from the actual computation of these generating functions for both compact and non-compact compactification manifolds (encoding, respectively, Donaldson-Thomas and Vafa-Witten topological invariants) to the construction of new non-commutative structures on moduli spaces of Calabi-Yau threefolds.
△ Less
Submitted 30 June, 2025; v1 submitted 5 May, 2025;
originally announced May 2025.
-
Mock modularity of Calabi-Yau threefolds
Authors:
Sergei Alexandrov,
Khalil Bendriss
Abstract:
Generating functions $h_r(τ)$ of D4-D2-D0 BPS indices, appearing in Calabi-Yau compactifications of type IIA string theory and identical to rank 0 Donaldson-Thomas invariants, are known to be higher depth mock modular forms satisfying a specific modular anomaly equation, with depth determined by the D4-brane charge $r$. We develop a method to solve the anomaly equation for arbitrary charges, in te…
▽ More
Generating functions $h_r(τ)$ of D4-D2-D0 BPS indices, appearing in Calabi-Yau compactifications of type IIA string theory and identical to rank 0 Donaldson-Thomas invariants, are known to be higher depth mock modular forms satisfying a specific modular anomaly equation, with depth determined by the D4-brane charge $r$. We develop a method to solve the anomaly equation for arbitrary charges, in terms of indefinite theta series. This allows us to find the generating functions up to modular forms that can be fixed by computing just a finite number of Fourier coefficients of $h_r$.
△ Less
Submitted 25 January, 2025; v1 submitted 26 November, 2024;
originally announced November 2024.
-
Space-Time Spectral Element Tensor Network Approach for Time Dependent Convection Diffusion Reaction Equation with Variable Coefficients
Authors:
Dibyendu Adak,
Duc P. Truong,
Radoslav Vuchkov,
Saibal De,
Derek DeSantis,
Nathan V. Roberts,
Kim Ø. Rasmussen,
Boian S. Alexandrov
Abstract:
In this paper, we present a new space-time Petrov-Galerkin-like method. This method utilizes a mixed formulation of Tensor Train (TT) and Quantized Tensor Train (QTT), designed for the spectral element discretization (Q1-SEM) of the time-dependent convection-diffusion-reaction (CDR) equation. We reformulate the assembly process of the spectral element discretized CDR to enhance its compatibility w…
▽ More
In this paper, we present a new space-time Petrov-Galerkin-like method. This method utilizes a mixed formulation of Tensor Train (TT) and Quantized Tensor Train (QTT), designed for the spectral element discretization (Q1-SEM) of the time-dependent convection-diffusion-reaction (CDR) equation. We reformulate the assembly process of the spectral element discretized CDR to enhance its compatibility with tensor operations and introduce a low-rank tensor structure for the spectral element operators. Recognizing the banded structure inherent in the spectral element framework's discrete operators, we further exploit the QTT format of the CDR to achieve greater speed and compression. Additionally, we present a comprehensive approach for integrating variable coefficients of CDR into the global discrete operators within the TT/QTT framework. The effectiveness of the proposed method, in terms of memory efficiency and computational complexity, is demonstrated through a series of numerical experiments, including a semi-linear example.
△ Less
Submitted 6 November, 2024;
originally announced November 2024.
-
Modular anomaly of BPS black holes
Authors:
Sergei Alexandrov,
Khalil Bendriss
Abstract:
Generating functions of BPS indices, counting states of D4-D2-D0 black holes in Calabi-Yau compactifications of type IIA string theory and identified with rank 0 Donaldson- Thomas invariants, are examples of mock modular forms. They have a quite complicated modular anomaly expressed as a sum over three different types of trees weighted by generalized error functions and their derivatives. We show…
▽ More
Generating functions of BPS indices, counting states of D4-D2-D0 black holes in Calabi-Yau compactifications of type IIA string theory and identified with rank 0 Donaldson- Thomas invariants, are examples of mock modular forms. They have a quite complicated modular anomaly expressed as a sum over three different types of trees weighted by generalized error functions and their derivatives. We show that this anomaly can be significantly simplified, which in turn simplfies finding the corresponding mock modular generating functions.
△ Less
Submitted 31 October, 2024; v1 submitted 29 August, 2024;
originally announced August 2024.
-
High-order Tensor-Train Finite Volume Method for Shallow Water Equations
Authors:
Mustafa Engin Danis,
Duc P. Truong,
Derek DeSantis,
Mark Petersen,
Kim O. Rasmussen,
Boian S. Alexandrov
Abstract:
In this paper, we introduce a high-order tensor-train (TT) finite volume method for the Shallow Water Equations (SWEs). We present the implementation of the $3^{rd}$ order Upwind and the $5^{th}$ order Upwind and WENO reconstruction schemes in the TT format. It is shown in detail that the linear upwind schemes can be implemented by directly manipulating the TT cores while the WENO scheme requires…
▽ More
In this paper, we introduce a high-order tensor-train (TT) finite volume method for the Shallow Water Equations (SWEs). We present the implementation of the $3^{rd}$ order Upwind and the $5^{th}$ order Upwind and WENO reconstruction schemes in the TT format. It is shown in detail that the linear upwind schemes can be implemented by directly manipulating the TT cores while the WENO scheme requires the use of TT cross interpolation for the nonlinear reconstruction. In the development of numerical fluxes, we directly compute the flux for the linear SWEs without using TT rounding or cross interpolation. For the nonlinear SWEs where the TT reciprocal of the shallow water layer thickness is needed for fluxes, we develop an approximation algorithm using Taylor series to compute the TT reciprocal. The performance of the TT finite volume solver with linear and nonlinear reconstruction options is investigated under a physically relevant set of validation problems. In all test cases, the TT finite volume method maintains the formal high-order accuracy of the corresponding traditional finite volume method. In terms of speed, the TT solver achieves up to 124x acceleration of the traditional full-tensor scheme.
△ Less
Submitted 6 August, 2024;
originally announced August 2024.
-
Tensor Network Space-Time Spectral Collocation Method for Solving the Nonlinear Convection Diffusion Equation
Authors:
Dibyendu Adak,
M. Engin Danis,
Duc P. Truong,
Kim Ø. Rasmussen,
Boian S. Alexandrov
Abstract:
Spectral methods provide highly accurate numerical solutions for partial differential equations, exhibiting exponential convergence with the number of spectral nodes. Traditionally, in addressing time-dependent nonlinear problems, attention has been on low-order finite difference schemes for time discretization and spectral element schemes for spatial variables. However, our recent developments ha…
▽ More
Spectral methods provide highly accurate numerical solutions for partial differential equations, exhibiting exponential convergence with the number of spectral nodes. Traditionally, in addressing time-dependent nonlinear problems, attention has been on low-order finite difference schemes for time discretization and spectral element schemes for spatial variables. However, our recent developments have resulted in the application of spectral methods to both space and time variables, preserving spectral convergence in both domains. Leveraging Tensor Train techniques, our approach tackles the curse of dimensionality inherent in space-time methods. Here, we extend this methodology to the nonlinear time-dependent convection-diffusion equation. Our discretization scheme exhibits a low-rank structure, facilitating translation to tensor-train (TT) format. Nevertheless, controlling the TT-rank across Newton's iterations, needed to deal with the nonlinearity, poses a challenge, leading us to devise the "Step Truncation TT-Newton" method. We demonstrate the exponential convergence of our methods through various benchmark examples. Importantly, our scheme offers significantly reduced memory requirement compared to the full-grid scheme.
△ Less
Submitted 4 June, 2024;
originally announced June 2024.
-
Tensor Network Space-Time Spectral Collocation Method for Time Dependent Convection-Diffusion-Reaction Equations
Authors:
Dibyendu Adak,
Duc P. Truong,
Gianmarco Manzini,
Kim Ø. Rasmussen,
Boian S. Alexandrov
Abstract:
Emerging tensor network techniques for solutions of Partial Differential Equations (PDEs), known for their ability to break the curse of dimensionality, deliver new mathematical methods for ultrafast numerical solutions of high-dimensional problems. Here, we introduce a Tensor Train (TT) Chebyshev spectral collocation method, in both space and time, for solution of the time dependent convection-di…
▽ More
Emerging tensor network techniques for solutions of Partial Differential Equations (PDEs), known for their ability to break the curse of dimensionality, deliver new mathematical methods for ultrafast numerical solutions of high-dimensional problems. Here, we introduce a Tensor Train (TT) Chebyshev spectral collocation method, in both space and time, for solution of the time dependent convection-diffusion-reaction (CDR) equation with inhomogeneous boundary conditions, in Cartesian geometry. Previous methods for numerical solution of time dependent PDEs often use finite difference for time, and a spectral scheme for the spatial dimensions, which leads to slow linear convergence. Spectral collocation space-time methods show exponential convergence, however, for realistic problems they need to solve large four-dimensional systems. We overcome this difficulty by using a TT approach as its complexity only grows linearly with the number of dimensions. We show that our TT space-time Chebyshev spectral collocation method converges exponentially, when the solution of the CDR is smooth, and demonstrate that it leads to very high compression of linear operators from terabytes to kilobytes in TT-format, and tens of thousands times speedup when compared to full grid space-time spectral method. These advantages allow us to obtain the solutions at much higher resolutions.
△ Less
Submitted 28 February, 2024;
originally announced February 2024.
-
Quantum geometry and mock modularity
Authors:
Sergei Alexandrov,
Soheyla Feyzbakhsh,
Albrecht Klemm,
Boris Pioline
Abstract:
In previous work, we used new mathematical relations between Gopakumar-Vafa (GV) invariants and rank 0 Donaldson-Thomas (DT) invariants to determine the first few terms in the generating series of Abelian D4-D2-D0 indices for a class of compact one-parameter Calabi-Yau threefolds. This allowed us to obtain striking checks of S-duality, namely the prediction that these series should be vector-value…
▽ More
In previous work, we used new mathematical relations between Gopakumar-Vafa (GV) invariants and rank 0 Donaldson-Thomas (DT) invariants to determine the first few terms in the generating series of Abelian D4-D2-D0 indices for a class of compact one-parameter Calabi-Yau threefolds. This allowed us to obtain striking checks of S-duality, namely the prediction that these series should be vector-valued weakly holomorphic modular forms under $SL(2,\mathbb{Z})$. In this work, we extend this analysis to the case of D4-D2-D0 indices with two units of D4-brane charge, where S-duality instead predicts that the corresponding generating series should be mock modular with a specific shadow. For the degree 10 hypersurface in weighted projective space $\mathbb{P}_{5,2,1,1,1}$, and the degree 8 hypersurface in $\\mathbb{P}_{4,1,1,1,1}$, where GV invariants can be computed to sufficiently high genus, we find that the first few terms indeed match a unique mock modular form with the required properties, which we determine explicitly. Turning the argument around, we obtain new boundary conditions on the holomorphic ambiguity of the topological string amplitude, which in principle allow to determine it completely up to genus 95 and 112, respectively, i.e. almost twice the maximal genus obtainable using gap and ordinary Castelnuovo vanishing conditions.
△ Less
Submitted 19 December, 2023;
originally announced December 2023.
-
Tensor Networks for Solving Realistic Time-independent Boltzmann Neutron Transport Equation
Authors:
Duc P. Truong,
Mario I. Ortega,
Ismael Boureima,
Gianmarco Manzini,
Kim Ø. Rasmussen,
Boian S. Alexandrov
Abstract:
Tensor network techniques, known for their low-rank approximation ability that breaks the curse of dimensionality, are emerging as a foundation of new mathematical methods for ultra-fast numerical solutions of high-dimensional Partial Differential Equations (PDEs). Here, we present a mixed Tensor Train (TT)/Quantized Tensor Train (QTT) approach for the numerical solution of time-independent Boltzm…
▽ More
Tensor network techniques, known for their low-rank approximation ability that breaks the curse of dimensionality, are emerging as a foundation of new mathematical methods for ultra-fast numerical solutions of high-dimensional Partial Differential Equations (PDEs). Here, we present a mixed Tensor Train (TT)/Quantized Tensor Train (QTT) approach for the numerical solution of time-independent Boltzmann Neutron Transport equations (BNTEs) in Cartesian geometry. Discretizing a realistic three-dimensional (3D) BNTE by (i) diamond differencing, (ii) multigroup-in-energy, and (iii) discrete ordinate collocation leads to huge generalized eigenvalue problems that generally require a matrix-free approach and large computer clusters. Starting from this discretization, we construct a TT representation of the PDE fields and discrete operators, followed by a QTT representation of the TT cores and solving the tensorized generalized eigenvalue problem in a fixed-point scheme with tensor network optimization techniques. We validate our approach by applying it to two realistic examples of 3D neutron transport problems, currently solved by the PARallel TIme-dependent SN (PARTISN) solver. We demonstrate that our TT/QTT method, executed on a standard desktop computer, leads to a yottabyte compression of the memory storage, and more than 7500 times speedup with a discrepancy of less than 1e-5 when compared to the PARTISN solution.
△ Less
Submitted 13 September, 2023; v1 submitted 6 September, 2023;
originally announced September 2023.
-
On ideal vertices of right-angled hyperbolic polyhedra
Authors:
Stepan Alexandrov
Abstract:
In this note, we improve Nikulin's inequality in the case of right-angled hyperbolic polyhedra. The new inequality allows to give much shorter proofs of the known dimension bounds. We also improve Nonaka's lower bound on the number of ideal vertices for right-angled hyperbolic polyhedra.
In this note, we improve Nikulin's inequality in the case of right-angled hyperbolic polyhedra. The new inequality allows to give much shorter proofs of the known dimension bounds. We also improve Nonaka's lower bound on the number of ideal vertices for right-angled hyperbolic polyhedra.
△ Less
Submitted 16 March, 2023;
originally announced March 2023.
-
Quantum geometry, stability and modularity
Authors:
Sergei Alexandrov,
Soheyla Feyzbakhsh,
Albrecht Klemm,
Boris Pioline,
Thorsten Schimannek
Abstract:
By exploiting new mathematical relations between Pandharipande-Thomas (PT) invariants, closely related to Gopakumar-Vafa (GV) invariants, and rank 0 Donaldson-Thomas (DT) invariants counting D4-D2-D0 BPS bound states, we rigorously compute the first few terms in the generating series of Abelian D4-D2-D0 indices for compact one-parameter Calabi-Yau threefolds of hypergeometric type. In all cases wh…
▽ More
By exploiting new mathematical relations between Pandharipande-Thomas (PT) invariants, closely related to Gopakumar-Vafa (GV) invariants, and rank 0 Donaldson-Thomas (DT) invariants counting D4-D2-D0 BPS bound states, we rigorously compute the first few terms in the generating series of Abelian D4-D2-D0 indices for compact one-parameter Calabi-Yau threefolds of hypergeometric type. In all cases where GV invariants can be computed to sufficiently high genus, we find striking confirmation that the generating series is modular, and predict infinite series of Abelian D4-D2-D0 indices. Conversely, we use these results to provide new constraints for the direct integration method, which allows to compute GV invariants (and therefore the topological string partition function) to higher genus than hitherto possible. The triangle of relations between GV/PT/DT invariants is powered by a new explicit formula relating PT and rank 0 DT invariants, which is proven in an Appendix by the second named author. As a corollary, we obtain rigorous Castelnuovo-type bounds for PT and GV invariants for CY threefolds with Picard rank one.
△ Less
Submitted 24 January, 2024; v1 submitted 19 January, 2023;
originally announced January 2023.
-
Modular bootstrap for D4-D2-D0 indices on compact Calabi-Yau threefolds
Authors:
Sergei Alexandrov,
Nava Gaddam,
Jan Manschot,
Boris Pioline
Abstract:
We investigate the modularity constraints on the generating series $h_r(τ)$ of BPS indices counting D4-D2-D0 bound states with fixed D4-brane charge $r$ in type IIA string theory compactified on complete intersection Calabi-Yau threefolds with $b_2 = 1$. For unit D4-brane, $h_1$ transforms as a (vector-valued) modular form under the action of $SL(2,Z)$ and thus is completely determined by its pola…
▽ More
We investigate the modularity constraints on the generating series $h_r(τ)$ of BPS indices counting D4-D2-D0 bound states with fixed D4-brane charge $r$ in type IIA string theory compactified on complete intersection Calabi-Yau threefolds with $b_2 = 1$. For unit D4-brane, $h_1$ transforms as a (vector-valued) modular form under the action of $SL(2,Z)$ and thus is completely determined by its polar terms. We propose an Ansatz for these terms in terms of rank 1 Donaldson-Thomas invariants, which incorporates contributions from a single D6-anti-D6 pair. Using an explicit overcomplete basis of the relevant space of weakly holomorphic modular forms (valid for any $r$), we find that for 10 of the 13 allowed threefolds, the Ansatz leads to a solution for $h_1$ with integer Fourier coefficients, thereby predicting an infinite series of DT invariants.For $r > 1$, $h_r$ is mock modular and determined by its polar part together with its shadow. Restricting to $r = 2$, we use the generating series of Hurwitz class numbers to construct a series $h^{an}_2$ with exactly the same modular anomaly as $h_2$, so that the difference $h_{2}-h^{an}_2$ is an ordinary modular form fixed by its polar terms. For lack of a satisfactory Ansatz, we leave the determination of these polar terms as an open problem.
△ Less
Submitted 30 January, 2024; v1 submitted 5 April, 2022;
originally announced April 2022.
-
Lannér diagrams and combinatorial properties of compact hyperbolic Coxeter polytopes
Authors:
Stepan Alexandrov
Abstract:
In this paper we study $\times_0$-products of Lannér diagrams. We prove that every $\times_0$-product of at least four Lannér diagrams with at least one diagram of order $\ge 3$ is superhyperbolic. As a corollary, we obtain that known classifications exhaust all compact hyperbolic Coxeter polytopes that are combinatorially equivalent to products of simplices.
We also consider compact hyperbolic…
▽ More
In this paper we study $\times_0$-products of Lannér diagrams. We prove that every $\times_0$-product of at least four Lannér diagrams with at least one diagram of order $\ge 3$ is superhyperbolic. As a corollary, we obtain that known classifications exhaust all compact hyperbolic Coxeter polytopes that are combinatorially equivalent to products of simplices.
We also consider compact hyperbolic Coxeter polytopes whose every Lannér subdiagram has order $2$. The second result of this paper slightly improves recent Burcroff's upper bound on the dimension of such polytopes to $12$.
△ Less
Submitted 24 August, 2022; v1 submitted 14 March, 2022;
originally announced March 2022.
-
On volumes of hyperbolic right-angled polyhedra
Authors:
Stepan Alexandrov,
Nikolay Bogachev,
Andrei Egorov,
Andrei Vesnin
Abstract:
In this paper we obtain new upper bounds on volumes of right-angled polyhedra in hyperbolic space $\mathbb{H}^3$ in three different cases: for ideal polyhedra with all vertices on the ideal hyperbolic boundary, for compact polytopes with only finite (or usual) vertices, and for finite volume polyhedra with vertices of both types.
In this paper we obtain new upper bounds on volumes of right-angled polyhedra in hyperbolic space $\mathbb{H}^3$ in three different cases: for ideal polyhedra with all vertices on the ideal hyperbolic boundary, for compact polytopes with only finite (or usual) vertices, and for finite volume polyhedra with vertices of both types.
△ Less
Submitted 4 January, 2022; v1 submitted 16 November, 2021;
originally announced November 2021.
-
Conformal TBA for resolved conifolds
Authors:
Sergei Alexandrov,
Boris Pioline
Abstract:
We revisit the Riemann-Hilbert problem determined by Donaldson-Thomas invariants for the resolved conifold and for other small crepant resolutions. While this problem can be recast as a system of TBA-type equations in the conformal limit, solutions are ill-defined due to divergences in the sum over infinite trajectories in the spectrum of D2-D0-brane bound states. We explore various prescriptions…
▽ More
We revisit the Riemann-Hilbert problem determined by Donaldson-Thomas invariants for the resolved conifold and for other small crepant resolutions. While this problem can be recast as a system of TBA-type equations in the conformal limit, solutions are ill-defined due to divergences in the sum over infinite trajectories in the spectrum of D2-D0-brane bound states. We explore various prescriptions to make the sum well-defined, show that one of them reproduces the existing solution in the literature, and identify an alternative solution which is better behaved in a certain limit. Furthermore, we show that a suitable asymptotic expansion of the $τ$ function reproduces the genus expansion of the topological string partition function for any small crepant resolution. As a by-product, we conjecture new integral representations for the triple sine function, similar to Woronowicz' integral representation for Faddeev's quantum dilogarithm.
△ Less
Submitted 10 November, 2021; v1 submitted 22 June, 2021;
originally announced June 2021.
-
Heavenly metrics, BPS indices and twistors
Authors:
Sergei Alexandrov,
Boris Pioline
Abstract:
Recently T. Bridgeland defined a complex hyperkähler metric on the tangent bundle over the space of stability conditions of a triangulated category, based on a Riemann-Hilbert problem determined by the Donaldson-Thomas invariants. This metric is encoded in a function $W(z,θ)$ satisfying a heavenly equation, or a potential $F(z,θ)$ satisfying an isomonodromy equation. After recasting the RH problem…
▽ More
Recently T. Bridgeland defined a complex hyperkähler metric on the tangent bundle over the space of stability conditions of a triangulated category, based on a Riemann-Hilbert problem determined by the Donaldson-Thomas invariants. This metric is encoded in a function $W(z,θ)$ satisfying a heavenly equation, or a potential $F(z,θ)$ satisfying an isomonodromy equation. After recasting the RH problem into a system of TBA-type equations, we obtain integral expressions for both $W$ and $F$ in terms of solutions of that system. These expressions are recognized as conformal limits of the `instanton generating potential' and `contact potential' appearing in studies of D-instantons and BPS black holes. By solving the TBA equations iteratively, we reproduce Joyce's original construction of $F$ as a formal series in the rational DT invariants. Furthermore, we produce similar solutions to deformed versions of the heavenly and isomonodromy equations involving a non-commutative star-product. In the case of a finite uncoupled BPS structure, we rederive the results previously obtained by Bridgeland and obtain the so-called $τ$ function for arbitrary values of the fiber coordinates $θ$, in terms of a suitable two-variable generalization of Barnes' $G$ function.
△ Less
Submitted 12 August, 2021; v1 submitted 21 April, 2021;
originally announced April 2021.
-
Rank $N$ Vafa-Witten invariants, modularity and blow-up
Authors:
Sergei Alexandrov
Abstract:
We derive explicit expressions for the generating functions of refined Vafa-Witten invariants $Ω(γ,y)$ of $\mathbb{P}^2$ of arbitrary rank $N$ and for their non-holomorphic modular completions. In the course of derivation we also provide: i) a generalization of the recently found generating functions of $Ω(γ,y)$ and their completions for Hirzebruch and del Pezzo surfaces in the canonical chamber o…
▽ More
We derive explicit expressions for the generating functions of refined Vafa-Witten invariants $Ω(γ,y)$ of $\mathbb{P}^2$ of arbitrary rank $N$ and for their non-holomorphic modular completions. In the course of derivation we also provide: i) a generalization of the recently found generating functions of $Ω(γ,y)$ and their completions for Hirzebruch and del Pezzo surfaces in the canonical chamber of the moduli space to a generic chamber; ii) a version of the blow-up formula expressed directly in terms of these generating functions and its reformulation in a manifestly modular form.
△ Less
Submitted 17 June, 2020;
originally announced June 2020.
-
Vafa-Witten invariants from modular anomaly
Authors:
Sergei Alexandrov
Abstract:
Recently, a universal formula for a non-holomorphic modular completion of the generating functions of refined BPS indices in various theories with $N=2$ supersymmetry has been suggested. It expresses the completion through the holomorphic generating functions of lower ranks. Here we show that for $U(N)$ Vafa-Witten theory on Hirzebruch and del Pezzo surfaces this formula can be used to extract the…
▽ More
Recently, a universal formula for a non-holomorphic modular completion of the generating functions of refined BPS indices in various theories with $N=2$ supersymmetry has been suggested. It expresses the completion through the holomorphic generating functions of lower ranks. Here we show that for $U(N)$ Vafa-Witten theory on Hirzebruch and del Pezzo surfaces this formula can be used to extract the holomorphic functions themselves, thereby providing the Betti numbers of instanton moduli spaces on such surfaces. As a result, we derive a closed formula for the generating functions and their completions for all $N$. Besides, our construction reveals in a simple way instances of fiber-base duality, which can be used to derive new non-trivial identities for generalized Appell functions. It also suggests the existence of new invariants, whose meaning however remains obscure.
△ Less
Submitted 11 November, 2020; v1 submitted 7 May, 2020;
originally announced May 2020.
-
S-duality and refined BPS indices
Authors:
Sergei Alexandrov,
Jan Manschot,
Boris Pioline
Abstract:
Whenever available, refined BPS indices provide considerably more information on the spectrum of BPS states than their unrefined version. Extending earlier work on the modularity of generalized Donaldson-Thomas invariants counting D4-D2-D0 brane bound states in type IIA strings on a Calabi-Yau threefold $\mathfrak{Y}$, we construct the modular completion of generating functions of refined BPS indi…
▽ More
Whenever available, refined BPS indices provide considerably more information on the spectrum of BPS states than their unrefined version. Extending earlier work on the modularity of generalized Donaldson-Thomas invariants counting D4-D2-D0 brane bound states in type IIA strings on a Calabi-Yau threefold $\mathfrak{Y}$, we construct the modular completion of generating functions of refined BPS indices supported on a divisor class. Although for compact $\mathfrak{Y}$ the refined indices are not protected, switching on the refinement considerably simplifies the construction of the modular completion. Furthermore, it leads to a non-commutative analogue of the TBA equations, which suggests a quantization of the moduli space consistent with S-duality. In contrast, for a local CY threefold given by the total space of the canonical bundle over a complex surface $S$, refined BPS indices are well-defined, and equal to Vafa-Witten invariants of $S$. Our construction provides a modular completion of the generating function of these refined invariants for arbitrary rank. In cases where all reducible components of the divisor class are collinear (which occurs e.g. when $b_2(\mathfrak{Y})=1$, or in the local case), we show that the holomorphic anomaly equation satisfied by the completed generating function truncates at quadratic order. In the local case, it agrees with an earlier proposal by Minahan et al for unrefined invariants, and extends it to the refined level using the afore-mentioned non-commutative structure. Finally, we show that these general predictions reproduce known results for $U(2)$ and $U(3)$ Vafa-Witten theory on $\mathbb{P}^2$, and make them explicit for $U(4)$.
△ Less
Submitted 4 July, 2020; v1 submitted 7 October, 2019;
originally announced October 2019.
-
Black holes and higher depth mock modular forms
Authors:
Sergei Alexandrov,
Boris Pioline
Abstract:
By enforcing invariance under S-duality in type IIB string theory compactified on a Calabi-Yau threefold, we derive modular properties of the generating function of BPS degeneracies of D4-D2-D0 black holes in type IIA string theory compactified on the same space. Mathematically, these BPS degeneracies are the generalized Donaldson-Thomas invariants counting coherent sheaves with support on a divis…
▽ More
By enforcing invariance under S-duality in type IIB string theory compactified on a Calabi-Yau threefold, we derive modular properties of the generating function of BPS degeneracies of D4-D2-D0 black holes in type IIA string theory compactified on the same space. Mathematically, these BPS degeneracies are the generalized Donaldson-Thomas invariants counting coherent sheaves with support on a divisor $\cal D$, at the large volume attractor point. For $\cal D$ irreducible, this function is closely related to the elliptic genus of the superconformal field theory obtained by wrapping M5-brane on $\cal D$ and is therefore known to be modular. Instead, when $\cal D$ is the sum of $n$ irreducible divisors ${\cal D}_i$, we show that the generating function acquires a modular anomaly. We characterize this anomaly for arbitrary $n$ by providing an explicit expression for a non-holomorphic modular completion in terms of generalized error functions. As a result, the generating function turns out to be a (mixed) mock modular form of depth $n-1$.
△ Less
Submitted 1 October, 2018; v1 submitted 25 August, 2018;
originally announced August 2018.
-
Unsupervised Machine Learning Based on Non-Negative Tensor Factorization for Analyzing Reactive-Mixing
Authors:
V. V. Vesselinov,
M. K. Mudunuru,
S. Karra,
D. O. Malley,
B. S. Alexandrov
Abstract:
Analysis of reactive-diffusion simulations requires a large number of independent model runs. For each high-fidelity simulation, inputs are varied and the predicted mixing behavior is represented by changes in species concentration. It is then required to discern how the model inputs impact the mixing process. This task is challenging and typically involves interpretation of large model outputs. H…
▽ More
Analysis of reactive-diffusion simulations requires a large number of independent model runs. For each high-fidelity simulation, inputs are varied and the predicted mixing behavior is represented by changes in species concentration. It is then required to discern how the model inputs impact the mixing process. This task is challenging and typically involves interpretation of large model outputs. However, the task can be automated and substantially simplified by applying Machine Learning (ML) methods. In this paper, we present an application of an unsupervised ML method (called NTFk) using Non-negative Tensor Factorization (NTF) coupled with a custom clustering procedure based on k-means to reveal hidden features in product concentration. An attractive aspect of the proposed ML method is that it ensures the extracted features are non-negative, which are important to obtain a meaningful deconstruction of the mixing processes. The ML method is applied to a large set of high-resolution FEM simulations representing reaction-diffusion processes in perturbed vortex-based velocity fields. The applied FEM ensures that species concentration are always non-negative. The simulated reaction is a fast irreversible bimolecular reaction. The reactive-diffusion model input parameters that control mixing include properties of velocity field, anisotropic dispersion, and molecular diffusion. We demonstrate the applicability of the ML method to produce a meaningful deconstruction of model outputs to discriminate between different physical processes impacting the reactants, their mixing, and the spatial distribution of the product. The presented ML analysis allowed us to identify additive features that characterize mixing behavior.
△ Less
Submitted 21 February, 2019; v1 submitted 15 May, 2018;
originally announced May 2018.
-
Attractor flow trees, BPS indices and quivers
Authors:
Sergei Alexandrov,
Boris Pioline
Abstract:
Inspired by the split attractor flow conjecture for multi-centered black hole solutions in N=2 supergravity, we propose a formula expressing the BPS index $Ω(γ,z)$ in terms of `attractor indices' $Ω_*(γ_i)$. The latter count BPS states in their respective attractor chamber. This formula expresses the index as a sum over stable flow trees weighted by products of attractor indices. We show how to co…
▽ More
Inspired by the split attractor flow conjecture for multi-centered black hole solutions in N=2 supergravity, we propose a formula expressing the BPS index $Ω(γ,z)$ in terms of `attractor indices' $Ω_*(γ_i)$. The latter count BPS states in their respective attractor chamber. This formula expresses the index as a sum over stable flow trees weighted by products of attractor indices. We show how to compute the contribution of each tree directly in terms of asymptotic data, without having to integrate the attractor flow explicitly. Furthermore, we derive new representations for the index which make it manifest that discontinuities associated to distinct trees cancel in the sum, leaving only the discontinuities consistent with wall-crossing. We apply these results in the context of quiver quantum mechanics, providing a new way of computing the Betti numbers of quiver moduli spaces, and compare them with the Coulomb branch formula, clarifying the relation between attractor and single-centered indices.
△ Less
Submitted 24 December, 2019; v1 submitted 18 April, 2018;
originally announced April 2018.
-
Rigid limit for hypermultiplets and five-dimensional gauge theories
Authors:
Sergei Alexandrov,
Sibasish Banerjee,
Pietro Longhi
Abstract:
We study the rigid limit of a class of hypermultiplet moduli spaces appearing in Calabi-Yau compactifications of type IIB string theory, which is induced by a local limit of the Calabi-Yau. We show that the resulting hyperkahler manifold is obtained by performing a hyperkahler quotient of the Swann bundle over the moduli space, along the isometries arising in the limit. Physically, this manifold a…
▽ More
We study the rigid limit of a class of hypermultiplet moduli spaces appearing in Calabi-Yau compactifications of type IIB string theory, which is induced by a local limit of the Calabi-Yau. We show that the resulting hyperkahler manifold is obtained by performing a hyperkahler quotient of the Swann bundle over the moduli space, along the isometries arising in the limit. Physically, this manifold appears as the target space of the non-linear sigma model obtained by compactification of a five-dimensional gauge theory on a torus. This allows to compute dyonic and stringy instantons of the gauge theory from the known results on D-instantons in string theory. Besides, we formulate a simple condition on the existence of a non-trivial local limit in terms of intersection numbers of the Calabi-Yau, and find an explicit form for the hypermultiplet metric including corrections from all mutually non-local D-instantons, which can be of independent interest.
△ Less
Submitted 13 December, 2017; v1 submitted 29 October, 2017;
originally announced October 2017.
-
Multiple D3-instantons and mock modular forms II
Authors:
Sergei Alexandrov,
Sibasish Banerjee,
Jan Manschot,
Boris Pioline
Abstract:
We analyze the modular properties of D3-brane instanton corrections to the hypermultiplet moduli space in type IIB string theory compactified on a Calabi-Yau threefold. In Part I, we found a necessary condition for the existence of an isometric action of S-duality on this moduli space: the generating function of DT invariants in the large volume attractor chamber must be a vector-valued mock modul…
▽ More
We analyze the modular properties of D3-brane instanton corrections to the hypermultiplet moduli space in type IIB string theory compactified on a Calabi-Yau threefold. In Part I, we found a necessary condition for the existence of an isometric action of S-duality on this moduli space: the generating function of DT invariants in the large volume attractor chamber must be a vector-valued mock modular form with specified modular properties. In this work, we prove that this condition is also sufficient at two-instanton order. This is achieved by producing a holomorphic action of SL(2,Z) on the twistor space which preserves the holomorphic contact structure. The key step is to cancel the anomalous modular variation of the Darboux coordinates by a local holomorphic contact transformation, which is generated by a suitable indefinite theta series. For this purpose we introduce a new family of theta series of signature (2,n-2), find their modular completion, and conjecture sufficient conditions for their convergence, which may be of independent mathematical interest.
△ Less
Submitted 17 February, 2017;
originally announced February 2017.
-
Indefinite theta series and generalized error functions
Authors:
Sergei Alexandrov,
Sibasish Banerjee,
Jan Manschot,
Boris Pioline
Abstract:
Theta series for lattices with indefinite signature $(n_+,n_-)$ arise in many areas of mathematics including representation theory and enumerative algebraic geometry. Their modular properties are well understood in the Lorentzian case ($n_+=1$), but have remained obscure when $n_+\geq 2$. Using a higher-dimensional generalization of the usual (complementary) error function, discovered in an indepe…
▽ More
Theta series for lattices with indefinite signature $(n_+,n_-)$ arise in many areas of mathematics including representation theory and enumerative algebraic geometry. Their modular properties are well understood in the Lorentzian case ($n_+=1$), but have remained obscure when $n_+\geq 2$. Using a higher-dimensional generalization of the usual (complementary) error function, discovered in an independent physics project, we construct the modular completion of a class of `conformal' holomorphic theta series ($n_+=2$). As an application, we determine the modular properties of a generalized Appell-Lerch sum attached to the lattice $A_2$, which arose in the study of rank 3 vector bundles on $\mathbb{P}^2$. The extension of our method to $n_+>2$ is outlined.
△ Less
Submitted 19 November, 2020; v1 submitted 17 June, 2016;
originally announced June 2016.
-
Multiple D3-instantons and mock modular forms I
Authors:
Sergei Alexandrov,
Sibasish Banerjee,
Jan Manschot,
Boris Pioline
Abstract:
We study D3-instanton corrections to the hypermultiplet moduli space in type IIB string theory compactified on a Calabi-Yau threefold. In a previous work, consistency of D3-instantons with S-duality was established at first order in the instanton expansion, using the modular properties of the M5-brane elliptic genus. We extend this analysis to the two-instanton level, where wall-crossing phenomena…
▽ More
We study D3-instanton corrections to the hypermultiplet moduli space in type IIB string theory compactified on a Calabi-Yau threefold. In a previous work, consistency of D3-instantons with S-duality was established at first order in the instanton expansion, using the modular properties of the M5-brane elliptic genus. We extend this analysis to the two-instanton level, where wall-crossing phenomena start playing a role. We focus on the contact potential, an analogue of the Kahler potential which must transform as a modular form under S-duality. We show that it can be expressed in terms of a suitable modification of the partition function of D4-D2-D0 BPS black holes, constructed out of the generating function of MSW invariants (the latter coincide with Donaldson-Thomas invariants in a particular chamber). Modular invariance of the contact potential then requires that, in case where the D3-brane wraps a reducible divisor, the generating function of MSW invariants must transform as a vector-valued mock modular form, with a specific modular completion built from the MSW invariants of the constituents. Physically, this gives a powerful constraint on the degeneracies of BPS black holes. Mathematically, our result gives a universal prediction for the modular properties of Donaldson-Thomas invariants of pure two-dimensional sheaves.
△ Less
Submitted 18 July, 2016; v1 submitted 19 May, 2016;
originally announced May 2016.
-
Theta series, wall-crossing and quantum dilogarithm identities
Authors:
Sergei Alexandrov,
Boris Pioline
Abstract:
Motivated by mathematical structures which arise in string vacua and gauge theories with N=2 supersymmetry, we study the properties of certain generalized theta series which appear as Fourier coefficients of functions on a twisted torus. In Calabi-Yau string vacua, such theta series encode instanton corrections from $k$ Neveu-Schwarz five-branes. The theta series are determined by vector-valued wa…
▽ More
Motivated by mathematical structures which arise in string vacua and gauge theories with N=2 supersymmetry, we study the properties of certain generalized theta series which appear as Fourier coefficients of functions on a twisted torus. In Calabi-Yau string vacua, such theta series encode instanton corrections from $k$ Neveu-Schwarz five-branes. The theta series are determined by vector-valued wave-functions, and in this work we obtain the transformation of these wave-functions induced by Kontsevich-Soibelman symplectomorphisms. This effectively provides a quantum version of these transformations, where the quantization parameter is inversely proportional to the five-brane charge $k$. Consistency with wall-crossing implies a new five-term relation for Faddeev's quantum dilogarithm $Φ_b$ at $b=1$, which we prove. By allowing the torus to be non-commutative, we obtain a more general five-term relation valid for arbitrary $b$ and $k$, which may be relevant for the physics of five-branes at finite chemical potential for angular momentum.
△ Less
Submitted 26 July, 2016; v1 submitted 9 November, 2015;
originally announced November 2015.
-
Hypermultiplet metric and D-instantons
Authors:
Sergei Alexandrov,
Sibasish Banerjee
Abstract:
We use the twistorial construction of D-instantons in Calabi-Yau compactifications of type II string theory to compute an explicit expression for the metric on the hypermultiplet moduli space affected by these non-perturbative corrections. In this way we obtain an exact quaternion-Kahler metric which is a non-trivial deformation of the local c-map. In the four-dimensional case corresponding to the…
▽ More
We use the twistorial construction of D-instantons in Calabi-Yau compactifications of type II string theory to compute an explicit expression for the metric on the hypermultiplet moduli space affected by these non-perturbative corrections. In this way we obtain an exact quaternion-Kahler metric which is a non-trivial deformation of the local c-map. In the four-dimensional case corresponding to the universal hypermultiplet, our metric fits the Tod ansatz and provides an exact solution of the continuous Toda equation. We also analyze the fate of the curvature singularity of the perturbative metric by deriving an S-duality invariant equation which determines the singularity hypersurface after inclusion of the D(-1)-instanton effects.
△ Less
Submitted 8 January, 2015; v1 submitted 28 December, 2014;
originally announced December 2014.
-
Wall-crossing, Rogers dilogarithm, and the QK/HK correspondence
Authors:
Sergei Alexandrov,
Daniel Persson,
Boris Pioline
Abstract:
When formulated in twistor space, the D-instanton corrected hypermultiplet moduli space in N=2 string vacua and the Coulomb branch of rigid N=2 gauge theories on $R^3 \times S^1$ are strikingly similar and, to a large extent, dictated by consistency with wall-crossing. We elucidate this similarity by showing that these two spaces are related under a general duality between, on one hand, quaternion…
▽ More
When formulated in twistor space, the D-instanton corrected hypermultiplet moduli space in N=2 string vacua and the Coulomb branch of rigid N=2 gauge theories on $R^3 \times S^1$ are strikingly similar and, to a large extent, dictated by consistency with wall-crossing. We elucidate this similarity by showing that these two spaces are related under a general duality between, on one hand, quaternion-Kahler manifolds with a quaternionic isometry and, on the other hand, hyperkahler manifolds with a rotational isometry, further equipped with a hyperholomorphic circle bundle with a connection. We show that the transition functions of the hyperholomorphic circle bundle relevant for the hypermultiplet moduli space are given by the Rogers dilogarithm function, and that consistency across walls of marginal stability is ensured by the motivic wall-crossing formula of Kontsevich and Soibelman. We illustrate the construction on some simple examples of wall-crossing related to cluster algebras for rank 2 Dynkin quivers. In an appendix we also provide a detailed discussion on the general relation between wall-crossing and the theory of cluster algebras.
△ Less
Submitted 27 March, 2015; v1 submitted 3 October, 2011;
originally announced October 2011.
-
Self-dual Einstein Spaces, Heavenly Metrics and Twistors
Authors:
Sergei Alexandrov,
Boris Pioline,
Stefan Vandoren
Abstract:
Four-dimensional quaternion-Kahler metrics, or equivalently self-dual Einstein spaces M, are known to be encoded locally into one real function h subject to Przanowski's Heavenly equation. We elucidate the relation between this description and the usual twistor description for quaternion-Kahler spaces. In particular, we show that the same space M can be described by infinitely many different solut…
▽ More
Four-dimensional quaternion-Kahler metrics, or equivalently self-dual Einstein spaces M, are known to be encoded locally into one real function h subject to Przanowski's Heavenly equation. We elucidate the relation between this description and the usual twistor description for quaternion-Kahler spaces. In particular, we show that the same space M can be described by infinitely many different solutions h, associated to different complex (local) submanifolds on the twistor space, and therefore to different (local) integrable complex structures on M. We also study quaternion-Kahler deformations of M and, in the special case where M has a Killing vector field, show that the corresponding variations of h are related to eigenmodes of the conformal Laplacian on M. We exemplify our findings on the four-sphere S^4, the hyperbolic plane H^4 and on the "universal hypermultiplet", i.e. the hypermultiplet moduli space in type IIA string compactified on a rigid Calabi-Yau threefold.
△ Less
Submitted 9 May, 2013; v1 submitted 17 December, 2009;
originally announced December 2009.
-
Linear perturbations of quaternionic metrics
Authors:
Sergei Alexandrov,
Boris Pioline,
Frank Saueressig,
Stefan Vandoren
Abstract:
We extend the twistor methods developed in our earlier work on linear deformations of hyperkahler manifolds [arXiv:0806.4620] to the case of quaternionic-Kahler manifolds. Via Swann's construction, deformations of a 4d-dimensional quaternionic-Kahler manifold $M$ are in one-to-one correspondence with deformations of its $4d+4$-dimensional hyperkahler cone $S$. The latter can be encoded in variat…
▽ More
We extend the twistor methods developed in our earlier work on linear deformations of hyperkahler manifolds [arXiv:0806.4620] to the case of quaternionic-Kahler manifolds. Via Swann's construction, deformations of a 4d-dimensional quaternionic-Kahler manifold $M$ are in one-to-one correspondence with deformations of its $4d+4$-dimensional hyperkahler cone $S$. The latter can be encoded in variations of the complex symplectomorphisms which relate different locally flat patches of the twistor space $Z_S$, with a suitable homogeneity condition that ensures that the hyperkahler cone property is preserved. Equivalently, we show that the deformations of $M$ can be encoded in variations of the complex contact transformations which relate different locally flat patches of the twistor space $Z_M$ of $M$, by-passing the Swann bundle and its twistor space. We specialize these general results to the case of quaternionic-Kahler metrics with $d+1$ commuting isometries, obtainable by the Legendre transform method, and linear deformations thereof. We illustrate our methods for the hypermultiplet moduli space in string theory compactifications at tree- and one-loop level.
△ Less
Submitted 22 December, 2008; v1 submitted 9 October, 2008;
originally announced October 2008.
-
Linear perturbations of Hyperkahler metrics
Authors:
Sergei Alexandrov,
Boris Pioline,
Frank Saueressig,
Stefan Vandoren
Abstract:
We study general linear perturbations of a class of 4d real-dimensional hyperkahler manifolds obtainable by the (generalized) Legendre transform method. Using twistor methods, we show that deformations can be encoded in a set of holomorphic functions of 2d+1 variables, as opposed to the functions of d+1 variables controlling the unperturbed metric. Such deformations generically break all tri-hol…
▽ More
We study general linear perturbations of a class of 4d real-dimensional hyperkahler manifolds obtainable by the (generalized) Legendre transform method. Using twistor methods, we show that deformations can be encoded in a set of holomorphic functions of 2d+1 variables, as opposed to the functions of d+1 variables controlling the unperturbed metric. Such deformations generically break all tri-holomorphic isometries of the unperturbed metric. Geometrically, these functions generate the symplectomorphisms which relate local complex Darboux coordinate systems in different patches of the twistor space. The deformed Kahler potential follows from these data by a Penrose-type transform. As an illustration of our general framework, we determine the leading exponential deviation of the Atiyah-Hitchin manifold away from its negative mass Taub-NUT limit. In a companion paper arXiv:0810.1675, we extend these techniques to quaternionic-Kahler spaces with isometries.
△ Less
Submitted 19 February, 2009; v1 submitted 27 June, 2008;
originally announced June 2008.
