SciPost Submission Page
Exact multiinstantons in topological string theory
by Jie Gu, Marcos Mariño
This is not the latest submitted version.
This Submission thread is now published as
Submission summary
Authors (as registered SciPost users):  Jie Gu · Marcos Mariño 
Submission information  

Preprint Link:  https://arxiv.org/abs/2211.01403v2 (pdf) 
Date submitted:  20230314 09:28 
Submitted by:  Gu, Jie 
Submitted to:  SciPost Physics 
Ontological classification  

Academic field:  Physics 
Specialties: 

Approach:  Theoretical 
Abstract
Topological string theory has multiinstanton sectors which lead to nonperturbative effects in the string coupling constant and control the large order behavior of the perturbative genus expansion. As proposed by Couso, Edelstein, Schiappa and Vonk, these sectors can be described by a transseries extension of the BCOV holomorphic anomaly equations. In this paper we find exact, closed form solutions for these multiinstanton transseries in the case of local CalabiYau manifolds. The resulting multiinstanton amplitudes turn out to be very similar to the eigenvalue tunneling amplitudes of matrix models. Their form suggests that the flat coordinates of the CalabiYau manifold are naturally quantized in units of the string coupling constant, as postulated in large $N$ dualities. Based on our results we obtain a general picture for the resurgent structure of the topological string in the local case, which we illustrate with explicit calculations in the case of local $\mathbb{P}^2$.
Current status:
Reports on this Submission
Report #3 by Anonymous (Referee 3) on 202398 (Invited Report)
 Cite as: Anonymous, Report on arXiv:2211.01403v2, delivered 20230908, doi: 10.21468/SciPost.Report.7784
Strengths
1. The main results of the paper, that is, exact, closed form multiinstanton solutions for topological strings on local CalabiYau threefolds, are novel and strong. To obtain these results, the authors use a new operator formulation for finding transseries solutions to the holomorphic anomaly equations.
2. The paper is very well written, with a clear exposition. It also provides a nice, concise review of the general idea of finding transseries solutions to the holomorphic anomaly equations.
3. As a byproduct of the solutions found, the paper clarifies that the multiinstanton solutions can be entirely reconstructed from the perturbative free energies, and thus do not appear to contain new enumerative geometric information.
4. Beyond the multiinstanton solutions, the paper proposes a conjecture on the form of alien derivatives, which is part of the resurgent structure of the topological string.
5. The paper provides an explicit example of its main results by studying the topological string on local $\mathbb{P}^2$.
6. The approach used in the paper could be used more generally, beyond the topological string, as it provides a way to find explicit, closed form, transseries solutions to the holomorphic anomaly equations. Thus, it could be used whenever holomorphic anomaly equations apply; for instance, in enumerative geometric problems governed by the topological recursion of EynardOrantin. As such, the paper opens the way for further studies and research directions.
7. The exact solutions found take a very nice form, which resembles eigenvalue tunneling in matrix models. It thus provides a hint towards further studies on the nonperturbative nature of the topological string in relation with results in other areas such as matrix models.
Weaknesses
1. The calculations are fairly technical, but this is expected in this research direction.
2. This relates to Strength #6; the authors could have explored a little further potential applications of their formalism beyond the topological string. But this can certainly be done in further publications, and goes beyond the scope of the present paper.
Report
The main results of the paper are exact, closed form multiinstanton solutions for topological strings on local CalabiYau threefolds. The approach used is to find transseries solutions to the holomorphic anomaly equations. This approach is not new, but the closed form solutions found in this paper are certainly novel, and form strong, interesting new results in this research direction. It required using a new operator formulation for the holomorphic anomaly equations, which is the essential new ingredient.
The solutions found take a very nice form, which resembles eigenvalue tunneling in matrix models. This is striking and certainly deserves further studies.
A byproduct of their results is that the multiinstanton solutions can be entirely reconstructed from the perturbative free energies, which is not obvious a priori. In particular, this implies that the multiinstanton solutions do not appear to contain new enumerative geometric information beyond that already contained in the perturbative solutions.
The authors also propose a conjecture on the form of alien derivatives, which is part of the resurgent structure of the topological string.
The example of local $\mathbb{P}^2$ is studied in detail, to make the results of the paper more explicit.
What is also very interesting with the paper is that the proposed operator approach could potentially be used in a more general setting, beyond the topological string. Indeed, the proposed approach relies on the existence of holomorphic anomaly equations satisfied by the perturbative free energies. Thus, it could potentially be used to find multiinstanton solutions in closed form whenever the holomorphic anomaly equations apply. In particular, this includes all the enumerative geometric problems governed by the EynardOrantin topological recursion. This opens the way to potential new nonperturbative results in many different contexts.
Overall, there is no doubt in my mind that this paper deserves publication in SciPost. It is a strong paper with new and very interesting results, which form a key step towards obtaining a full understanding of the nonperturbative nature of the topological string. It is also very well written, with a clear and concise exposition.
Requested changes
I only have two very minor comments:
1. In eq.(3.88) and (3.96), it may be useful to write an explicit bound for the summation on $k$ (I believe it should be $k \geq 1$?)
2. In eq.(3.139), shouldn't there be an $i$ in front of the summation in the second term on the righthandside? (compare with eq.(3.137) )
Report #2 by Anonymous (Referee 2) on 2023614 (Invited Report)
 Cite as: Anonymous, Report on arXiv:2211.01403v2, delivered 20230614, doi: 10.21468/SciPost.Report.7353
Strengths
1. Work very clearly presented and with main results generally clearly stated.
2. General closedform (exact) results for the multiinstanton sectors of the transseries as solutions of the holomorphic anomaly equations, providing a much more thorough and complete picture of the free energies/partition function than what existed in the literature.
3. The operator approach introduced in this work is evidently powerful and bypasses the difficult resursive computations of previous work. The derivations of the computations have a lot of detail, making a very clear distinction between conjectured and derived results.
4. The examples studied numerically, checking the resurgent nature of the transseries are in clear support of the derived and conjectured results.
Weaknesses
1. Derivations quite technical, although this would be expected given the subject of the work, and the level of detail provided in the derivations.
2. The paper is not completely self contained, as some of the results pertaining to topological string theory and holomorphic anomaly equations are cited but not derived.
Report
This paper presents a very detailed analysis of the full multiinstanton structure of the transseries solution to the free energies and partition function of topological strings on local CalabiYau manifolds with one modulus. The authors reformulate the holomorphic anomaly equations (HAEs) using an operator formalism. This approach allows them to derive full closed form expressions for all the transseries sectors, and it is then shown that in the holomorphic limit the multiinstanton sectors become solely dependent on the perturbative free energies. An asymptotic analysis of the large order behavior of these multiinstanton sectors is also given, in the form of their alien derivatives, with conjectures for the Stokes coefficients.
The authors provide a brief review of the main results pertaining the HAEs in Section 2, finishing there with the master equation for the perturbative free energies. This is then followed in Section 3 by the transseries extension to the HAEs as in previous seminal work (their references [12,13]) and then reformulate the free energy/partition function transseries problem in operator formalism, for which they determine previously unknown closed form solutions for all sectors, and analyze some of their properties. Section 4 follows with an analysis of the perturbative free energies in the Borel plane, for the large radius and conifold frames. These confirm their previously derived results and resurgent properties. A summary and discussion of open problems is then given in Section 5.
The paper is very well presented, very detailed and well referenced, with most of the main results highlighted, followed by their derivations. The technical nature of the derivations is expected given the nature of the work. I can only say that I would have liked the paper to be slightly more selfcontained in the introduction to topological strings and HAEs, but I do realize that this would amount to a much more lengthy paper, which would likely prove to be less readable in the end. Together with its companion paper on quantum periods, the authors have made a very strong case for their novel operator approach to the multiinstanton sectors of free energies.
It is my opinion that this paper meets of even exceeds the expectations and generally all the acceptance criteria, and it should be published in SciPost. I only have some minor comments/suggestions that could improve the overall readability of the paper.
Requested changes
These are the minor changes/suggestions to take into consideration. Note that some of them are suggestions that would have helped me when reading.
1. The authors use the expression F_{g}s to mean the different coefficients F_g. I found this confusing: I would suggest replacing "F_{g}s" by "coefficients F_g". This appears on the top of page 6 and in the caption of Figure 2.
2. Just below equation (3.7), it is mentioned a "transseries part". But the transseries is the whole perturbative and nonperturbative sectors, while if I understood correctly the authors here mean the instanton/nonperturbative part of the transseries.
3. On page 8, just after eq (3.14), the "polar part of (2.3)" is mentioned. The same thing appear on page 28 just before eq (4.16). What does this polar part mean?
4. Just before eq (3.24), instead of "using (2.14)" I would suggest "using the relation between propagators (2.14)".
5. I would suggest adding the final result for the first instanton sector, eq (3.72), when stating the results earlier on. I would first mention (3.72) just below eq (3.42) or around there, so that the result is highlighted instead of buried in the derivation.
6. Is the vanishing of the r.h.s. of (3.48) completely straightforward? I had some trouble obtaining this. It is very possible that I have missed something, but perhaps adding the main equations one would need to use beyond (2.6) could be helpful?
7. On page 15, just after eq (3.81) I would suggest "satisfy (2.22)" be replaced by "satisfy master equation (2.22)".
8. On page 19, after eq (3.124), instead of "behavior (3.18)" I'd suggest "behavior of the boundary condition (3.18)".
9. Are the particular solutions shown on page 20 special, or are they presented because they are the first representatives of the partition function's sectors? Would be worth mentioning why they were chosen.
10. On page 23, just before eq (3.148), a "family of transseries" is mentioned. Why are these transseries and not just specific sectors of the whole transseries?
11. In Figure 1, why wasn't the singularity ell=1 included on the right plot? I believe it would be useful to include it for someone who has little experience on conformal Padé, to see where the different singularities end up appearing.
12. How difficult would it be to determine the next Stokes coefficients in either (4.12) or (4.22), even numerically?
13. Would a generalization to more than one modulus be possible?
 This will be fixed.
 You are correct. This will be corrected.
 The polar part means the part which is a pole. (2.3) is valid for $g\geq 2$, and the polar part simply refers to the order $2g2$ pole given as the first term on the right hand side.
 The suggested rephrasing is better. We will change it.
 This is a good suggestion! We will change accordingly.
 We added two additional equations with the intermediate results that are needed to verify the vanishing of (3.48) (which has now become (3.49)).
 Indeed this is better. We will change it.
 We would rather refrain from making the changes as it will lead to a repetition of the phrase "boundary condition" in one short sentence.
 These are merely the first few partition functions in instanton/antiinstanton sectors.
 In our mind, the concept of transseries is a bit more general. Sums of transseries are transseries, and a component of a transseries which has the form of "$\sum_i e^{A_i/g_s}\times$ power series in $g_s$" or "$e^{A/g_s}\times$ power series in $g_s$" itself is also a transseries. But if it pleases the referee, we would rephrase "family of transseries" to "family of transseries sectors".
 Thanks for the suggestion! We will change that.
 It is a bit challenging, as we need to first subtract contributions from the leading singularities, and there are multiple singularities at the subleading order. But we are working on it.
 The multimoduli generalization is done in our followup paper arXiv:2305.19916.
Report #1 by Sergiu Vacaru (Referee 1) on 2023524 (Contributed Report)
 Cite as: Sergiu Vacaru, Report on arXiv:2211.01403v2, delivered 20230524, doi: 10.21468/SciPost.Report.7247
Strengths
1. Authors found exact/ closed multiinstanton solutions of equations proposed in [12,13]
2. Such solutions were generalized to arbitrary multiinstantons.
3. They stated that the holomorphic limit of these solutions is very simple.
Weaknesses
1. The results consist of the first step in decoding the full resurgent of the structure of the topological string.
2. Further tests are necessary, perhaps, in partner work.
Report
The paper meets the journal's acceptance criteria and I consider that it can be published in this journal.
Author: Jie Gu on 20230911 [id 3973]
(in reply to Report 3 on 20230908)Dear referee,
thank you very much for you very positive report! We will make changes in response to your two requests. 1. We will make the bounds explicit in eqs. (3.88) and (3.96) (which are now eqs. (3.90) and (3.98)). By the way, the summations start from $k=0$, as shown in the example (3.126) (which is now (3.128)). 2. Yes, you are right. We will include an $i$ in eq. (3.139) (which is now (3.141)).