Resurgence and the Nekrasov-Shatashvili limit: connecting weak and strong coupling in the Mathieu and Lamé systems

The Nekrasov-Shatashvili limit for the low-energy behavior of N=2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N}=2 $$\end{document} and N=2*\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N}={2}^{*} $$\end{document} supersymmetric SU(2) gauge theories is encoded in the spectrum of the Mathieu and Lamé equations, respectively. This correspondence is usually expressed via an all-orders Bohr-Sommerfeld relation, but this neglects non-perturbative effects, the nature of which is very different in the electric, magnetic and dyonic regions. In the gauge theory dyonic region the spectral expansions are divergent, and indeed are not Borel-summable, so they are more properly described by resurgent trans-series in which perturbative and non-perturbative effects are deeply entwined. In the gauge theory electric region the spectral expansions are convergent, but nevertheless there are non-perturbative effects due to poles in the expansion coefficients, and which we associate with worldline instantons. This provides a concrete analog of a phenomenon found recently by Drukker, Mariño and Putrov in the large N expansion of the ABJM matrix model, in which non-perturbative effects are related to complex space-time instantons. In this paper we study how these very different regimes arise from an exact WKB analysis, and join smoothly through the magnetic region. This approach also leads to a simple proof of a resurgence relation found recently by Dunne and Ünsal, showing that for these spectral systems all non-perturbative effects are subtly encoded in perturbation theory, and identifies this with the Picard-Fuchs equation for the quantized elliptic curve.

In this paper we extend this approach to show that there are additional nonperturbative aspects of this relation that reflect the physics of the non-perturbatively small gaps and bands in the Schrödinger spectra. These spectra have three distinct physical regions, and these can be explicitly associated with the three physical regimes, electric, dyonic and magnetic, of the supersymmetric (SUSY) gauge theory. The interplay of perturbation theory and non-perturbative physics is different in each region. The dyonic region is characterized by divergent perturbative expansions described by resurgent transseries [11,12,[46][47][48] that systematically unify perturbative and non-perturbative physics; the electric region has convergent perturbative expansions but there are nevertheless nonperturbative effects associated with poles of the expansion coefficients. (This provides a concrete analog of a phenomenon found recently by Drukker, Mariño and Putrov [49,50] in the large N expansion of the ABJM matrix model, in which non-perturbative effects are related to complex space-time instantons, and which were subsequently related to poles in the 't Hooft expansion coefficients [51,52].) The magnetic region is a cross-over region in which non-perturbative effects are large, and in fact the spectral bands and gaps are of equal width. This correspondence between the Nekrasov-Shatashvili limit and monodromies of spectral problems also provides a simple proof of a surprising resurgence relation found by Dunne andÜnsal in the spectra of certain quantum systems, which shows that all non-perturbative effects are subtly encoded in perturbation theory [11,12].
An elementary but significant observation is that the energy eigenvalue, u, for the Schrödinger systems should be viewed as a function of two variables, the coupling and also the eigenvalue level label N : u = u(N, ). For a uniform analysis valid throughout the entire spectrum, it is natural to define a "'t Hooft parameter", 2 and consider different limits of the two parameters, including a double-scaling limit. The usual analyses of divergent perturbative expansions [11,12,46,47,85], in the → 0 limit, and their associated resurgent trans-series representations, are implicitly restricted to a 2 Note that our N is not Nc. In this paper we are discussing SU(2) gauge theory. The role of Nc (or the N of the matrix model) is played in this context by the level number N . It is also possible to introduce yet another parameter, Nc, from the SU(Nc) Toda system, as in [31,32], but this is not done in the current paper.
JHEP02(2015)160 particular non-uniform limit in which the eigenvalue level number N is small, N 1 , corresponding to states with energy well below the energy barrier. More generally, the perturbative expression for the N th energy eigenvalue has the form 2n−2F n (λ) (1.2) which is analogous to the genus expansion of the free energy for a matrix model or gauge theory system [6]. We show that there are in fact non-perturbative corrections to this expression, of the form e −N/λ for small λ, but of the form e −2N ln λ for large λ (see (2.30)). Moreover, in this large λ regime the perturbative expansions are convergent, but the perturbative coefficients have poles that are responsible for the non-perturbative splittings. This can be compared with recent results concerning non-perturbative contributions to matrix models associated with the ABJM free energy [49][50][51][52][53][54], where in the large N limit there are extra non-perturbative terms of the form e −N/ √ λ [λ is the 't Hooft coupling], and these extra terms are related to poles of the expansion coefficients [51][52][53][54].
We first review some basic facts from the SUSY gauge theory side [16][17][18][19][20][21][22] of the correspondence and set our notation, in order to make the precise identification between the gauge theory quantities and the corresponding spectral quantities. The vacuum expectation values of the scalar field and its dual partner, a 0 (u) and a D 0 (u), correspond to the two independent cycles on the torus given as where Λ is the dynamically generated scale, and γ 1 , γ 2 are integration cycles discussed in detail below, in section 3. In this form a 0 (u) and a D 0 correspond to lowest order WKB cycles for the Mathieu system, hence the subscripts "0" [18]. The information about the BPS states of the theory is also contained in these cycles, where the central charge and mass of a BPS state are given as Z qe,qm (u) = q e a 0 (u) + q m a D 0 (u) , M qe,qm = √ 2 |q e a 0 (u) + q m a D 0 (u)| . (1.5) Here q e and q m are integers that denote the electric and magnetic charge of the state. There are three singular points in the moduli space where one or both of the cycles acquire branch points. They are u → ∞, u = Λ 2 and u = −Λ 2 . Around these points on the moduli space the low energy theory is described by weakly coupled massive Z bosons, almost massless magnetic monopoles and almost massless dyons, respectively. For the rest of the paper we will refer to the local neighborhoods around these points as the electric, magnetic and dyonic regions, respectively. In general, there are two separate sectors in the moduli space with different particle spectra. In one sector, the spectrum of the theory consists of Z bosons and an infinite tower of dyonic tower with charges ±(q e , 1). In the other, it consists of magnetic monopoles with charge ±(0, 1), and dyons JHEP02(2015)160 with ±(1, ±1). These two regions are separated by a closed curve, Im[a D 0 /a 0 ] = 0, called the curve of marginal stability, where the BPS states with higher charges can decay into monopoles and dyons. This curve is approximately an ellipse around u = 0 and contains the points u = ±Λ 2 .
Another important object for the low energy effective theory is the prepotential, F 0 (a 0 ), which is a holomorphic function whose derivatives are .
where θ Y M and g Y M are the theta parameter and the coupling constant (at the scale a 0 ) of the gauge theory. In the electric region where a 0 Λ, the prepotential has the following semiclassical expansion: (1.7) The first two terms in this expansion are the classical and one-loop contributions, and the last term is the sum over non-perturbative k-instanton corrections. 3 The first few terms of the instanton expansion calculated via standard field theory methods agree with the extraction of the coefficients from the Seiberg-Witten solution. For example, for the N = 2 SUSY SU(2) gauge theory, the instanton expansion in (1.7) is However beyond the two-instanton level, the direct quantum field theory methods become computationally very difficult. An alternative way to calculate the instanton sum is through localization [24][25][26][27]. In this approach, a two-parameter generalization of the prepotential, F(a| 1 , 2 ), is introduced. The parameters characterize certain SUSY preserving space-time deformations. The prepotential of the deformed theory is calculable via localization technique and one obtains the Seiberg-Witten prepotential F 0 (a) in the limit (1.9) In this paper we will focus on the Nekrasov-Shatashvili limit [25][26][27], a particular one parameter deformation of the gauge theory with 1 ≡ , and 2 = 0. We denote the 3 A comment here concerning terminology: throughout the paper, we use the word "instanton" to describe two different objects: (i) the BPST instantons that appear in the 4d gauge theory; (ii) the quantum mechanical instantons that appear in the quantum mechanical description of the deformed gauge theory. The distinction should be apparent within the context of the discussion, and for the bulk of the paper it will mostly refer to (ii).

JHEP02(2015)160
prepotential in this limit as (1.10) Continuing the example (1.8) of N = 2 SUSY SU(2) gauge theory, the expansions for the perturbative and instanton contributions are In the Nekrasov-Shatashvili limit, there is a direct correspondence between the gauge theory and integrable models [25][26][27][28], and also with 0+1 dimensional (i.e. quantum mechanical) Sine-Gordon theory for SU(2) N = 2 SUSY gauge theory, and Lamé theory for SU(2) N = 2 * SUSY gauge theory, a model with a massive hypermultiplet in the adjoint representation [30][31][32][33][34][35][36][37][38][39][40][41][42][43][44]. In the limit where the mass of the hypermultiplet, m, is zero, the N = 2 * theory becomes N = 4 theory, while at large mass it reduces back to the N = 2 theory. In particular, the gauge theory moduli parameter, u, is encoded in the energy eigenvalue of the quantum mechanical (QM) system described by the time independent Schrödinger equation where P is the Weierstrass elliptic function. Some minor rescaling is required [as discussed in section 6.2] to have a smooth decoupling limit in which the N = 2 * theory reduces to the N = 2 theory, taking m 2 → ∞ limit, combined with vanishing elliptic parameter k 2 → 0, such that m 2 k 2 is finite. Furthermore, at nonzero , the periods (1.3), (1.4) generalize to the Bohr-Sommerfeld integrals of the QM system [31,32]. They can be expressed formally as all orders WKB expansions: 2n a D n (u) . (1.14)

JHEP02(2015)160
One recovers the Seiberg-Witten solution in the continuum limit obtained from = 0, the leading order WKB approximation to (1.14). However, this is only part of the story, as these Bohr-Sommerfeld expressions (1.14) give only the locations of the bands or gaps.
There is also important spectral information in the non-perturbative widths of bands and gaps. This information is connected to the perturbative information in quite different ways in different parts of the spectrum, corresponding to different semiclassical behavior for the different regions of the 't Hooft parameter λ. Using the direct correspondence, we can associate this with different physical behavior in the corresponding SUSY gauge theory. The relation between the Nekrasov-Shatashvili limit and exact quantization conditions of quantum mechanical systems has also been discussed recently in [43,44], from the perspective of holomorphic β-ensembles and the associated quantum geometry [55,56]. Here we follow a complementary approach, building our analysis on elementary WKB methods, treated uniformly across the entire spectrum. This relation has also been formulated in terms of Whitham dynamics [45] applied to exact quantization conditions for complex quantum mechanical systems. Another recent connection between monodromies and quantum spectral problems arises in the study of the statistical mechanics of Coulomb gases [57]. Indeed, even in simple zero-dimensional models, monodromy and resurgence are important for connecting strong and weak coupling [58].
In this paper we build a unified WKB analysis that spans all regions of the spectrum, using all-orders exact WKB analysis [59][60][61][62][63][64][65][66][67][68]. In section 2 we review basic properties of the Mathieu spectrum, and its relation to the Nekrasov partition function in the Nekrasov-Shatashvili limit. Section 3 contains the uniform all-orders WKB analysis. In section 4 we describe a physical analog of the transition between different spectral regions, in terms of the transition between tunneling and multi-photon pair production in the Schwinger effect [69][70][71][72][73][74][75]. In section 5 we discuss a Picard-Fuchs interpretation that explains the significance of resurgence, and also show that this SUSY gauge theory perspective in terms of the Nekrasov-Shatashvili limit yields a simple proof of the recently found Dunne-Ünsal relation that connects the fluctuations about the perturbative vacuum with the fluctuations about the one-instanton sector, and with all higher multi-instanton sectors [11,12]. The Lamé system is discussed in section 6, by means of a complementary approach to the large λ region, based on the Gelfand-Dikii expansion of the resolvent. We end with a summary and comments about future work. (We use capital letters A and Q, rather than the conventional lower-case ones, as the symbols a and q have special meaning in the gauge theory discussion). We thus make the identifications: We will mostly set the scale Λ = 1 in what follows, re-introducing it where necessary by simple dimensional scaling arguments. We also make explicit comparison with the work of Zinn-Justin and Jentschura [46,47] (see also [11,12]), who used a different scaling: The rescaled eigenvalue E is to be compared with the normalizations in [11,12,46,47]. The transition region between exponentially narrow bands (small ) and exponentially narrow gaps (large ) occurs at the top of the potential, where E = 2/ , as shown as a dotted line. Note that in the vicinity of the barrier top, the bands and gaps are of equal width, and are not exponentially small.
Thus, we identify (note: we flipped the sign of cos(x) by a simple half-period shift) Because of the direct identification of the rescaled eigenvalue u with the SUSY gauge theory scalar condensate, we will describe the Mathieu spectrum in terms of this eigenvalue u, with conversions to A or E made using the above re-scalings (2.2), (2.3), (2.4). The exact Bloch spectral condition, or Floquet analysis [76,78,79], can be expressed in terms of two independent solutions, ψ 1 (z; u, ) and ψ 2 (z; u, ), normalized at z = 0 as: The Bloch boundary condition, ψ(z + π) = e iθ ψ(z), can then be written in compact form in terms of ψ 1 (π; u, ) evaluated one half period away from the normalization point: Equation (2.6) is the "exact quantization condition", implicitly expressing the eigenvalue u in terms of [and therefore E, or A, in terms of g, or Q, using the rescalings (  In gauge theory language, these are the "electric", "magnetic" and "dyonic" regions, respectively, as shown in the figure. θ being an integer multiple of π. However the exact quantization condition (2.6) is of limited practical use unless we have an explicit expression for the normalized Mathieu function ψ 1 . Concrete approximations for the eigenvalues can be obtained from the exact quantization condition by making expansions of the Mathieu functions in terms of other functions, such as trigonometric or Hermite functions [78][79][80]. Different expansions are suitable for different regions in the spectrum, as is familiar from elementary solid state physics. Deep inside the wells, we use the tight-binding approximation in terms of 'atomic' states bound in the wells, while far above the barrier we use the 'neary-free-electron model' [81].
The spectrum of the Mathieu equation consists of an infinite sequence of bands and gaps, as shown in figures 1 and 2. In figures 1 and 2, we see the transition from exponentially narrow bands low in the spectrum, to exponentially narrow gaps higher in the spectrum. The cross-over occurs near the top of the potential, where u ∼ 1. In fact, this transition occurs when N ∼ 8 π , as discussed in section 3.3. In this transition region the bands and gaps are of equal width, and neither is exponentially narrow. In figure 1 we see a transition from narrow bands, with locations approximately linear in N and , to narrow gaps, with locations approximately quadratic in N and . Figure 2 illustrates the same behavior, in terms of the rescaled energy eigenvalue E = (u + 1)/ , which emphasizes the transition from harmonic oscillator behavior at small , to particle-on-a-circle behavior at large .
There are clearly three interesting spectral regimes, which we identify with three interesting physical regions of the gauge theory, as shown in figure 3: • dyonic: deep inside potential wells: u ∼ −1, N 1, exponentially narrow bands In terms of the " 't Hooft coupling" (1.1), λ ≡ N , we can consider the energy eigenvalue as a function of N and , or N and λ: The semiclassical limit, → 0, with λ fixed, requires N → ∞; but we still have three different regions, where λ 1, λ ∼ 1, or λ 1. (In fact, we show later that the cross-over region is at λ ∼ 8 π ). A uniform analysis, valid for all λ, therefore permits access to all regions of the spectrum. For example, the small λ region can be interpreted as → 0, with N fixed, which therefore gives information about the weak-coupling expansion for low-lying energy levels with N 1 . On the other hand, the large λ region gives information about the strong-coupling expansion for low-lying modes, with N fixed and 1 N . There is an interesting inversion of the meaning of strong and weak coupling. In gauge theory language, the electric region is weakly coupled, while the dyonic region is strongly coupled. On the other hand, in quantum mechanical language in the scaling (2.3) of [46,47], in terms of the coupling g, the situation is reversed.
For fixed level number N , with N 1/ , the expansions for E ≡ u+1 are factorially divergent and non-alternating, as series in [11,12,46,47]: These perturbative expansions are therefore non-Borel-summable, and so are incomplete on their own, and should be extended to real, unambiguous trans-series expansions [11, 12, JHEP02(2015)160 46,47]: The trans-series is an expansion in terms of instanton factors, each multiplied by fluctuations, and also by powers of logarithms due to quasi-zero modes coming from instanton/anti-instanton interactions [82][83][84]. Note that these log terms first appear at the 2-instanton level. The trans-series coefficients c nkl (N ) are related to one another in intricate ways, such that all imaginary parts cancel, leaving a real and unambiguous energy [11,12,46,47]. Mathematically speaking, the advantage of the trans-series is that it encodes all information about the function being computed, and is rigorously equivalent to the function wherever the function exists [1,2], in contrast to an asymptotic perturbative expansion such as (2.8).
The resurgent trans-series incorporates non-perturbative contributions at all multiinstanton orders, the lowest of which is the exponentially small band width: This band splitting is a single-instanton effect, and is real and unambiguous. The factor 8 in the exponent is the instanton action: cos(x) + 1 dx = 8. However, the non-Borel-summable perturbative series in (2.8) diverges at a rate associated with the two-instanton sector [more precisely, the instanton/anti-instanton part thereof], and lateral Borel summation produces an ambiguous imaginary non-perturbative term ∼ ±i exp [−16/ ]. This ambiguous imaginary non-perturbative term is in fact cancelled by an identical term coming from an instanton gas analysis of the instanton/antiinstanton interaction [11,12,46,47]. This leading cancellation, at the two-instanton level, is just the tip of the iceberg: the cancellations between imaginary terms produced by lateral Borel summation of perturbation theory, and those coming from the multi-instanton sectors, occur at all orders, and these cancellations are encoded in relations between the coefficients of the resurgent trans-series expansion.
For example [11,12], for the lowest band, the large-order behavior of the perturbative coefficients is: while the fluctuations about the instanton/anti-instanton saddle are given by

JHEP02(2015)160
Note the precise correspondence of the coefficients in these two very different expansions. Equation (2.12) is associated with the fluctuations about the perturbative vacuum saddle point, while Equation (2.13) describes the fluctuations about the nonperturbative instanton/anti-instanton saddle point, the smallest action saddle-point with the same vacuum quantum numbers. This is an explicit example of the relations between coefficients that exist within the trans-series, and a direct manifestation of resurgence. In path integral language, resurgence means that the fluctuations about various different saddle points in the multi-instanton expansion are directly related to one another. Such resurgent relations persist to all orders of the non-perturbative and quasi-zero-mode expansions [11,12]. Zinn-Justin and Jentschura (ZJJ) [46,47] have argued the remarkable result that the entire trans-series can be generated from an exact quantization condition, together with just two functions: B ZJJ (E, g), which describes the perturbative series, and A ZJJ (E, g), which effectively describes the fluctuations around the single-instanton. In fact, the resurgent trans-series structure follows naturally from a uniform WKB analysis, which shows it is an expression of the analytic continuation properties of the parabolic cylinder functions [11,12]. The ZJJ exact quantization condition is written as [46,47] (we rewrite the following expressions in terms of ≡ 16g instead of g): where θ is the Bloch angle, and for the Mathieu potential, the two functions B ZJJ (E, ) and A ZJJ (E, ) are given by: Inverting the expression for B ZJJ (E, ), we obtain [11,12]: The function A ZJJ (B, ) encodes the fluctuations about the single-instanton [11,12]. For example, the single-instanton fluctuation factor is given by in agreement with the fluctuation factor in (2.11). In [11,12], it was shown that this correspondence is directly connected with a simple relation between the two functions A ZJJ (B, ) and E ZJJ (B, ): This implies that the function A ZJJ (B, ), and hence also A ZJJ (E, ), can be deduced immediately from knowledge of the perturbative energy E ZJJ (B, ). Thus, only one of the two functions B ZJJ (E, ) and A ZJJ (E, ) is actually needed to generate the entire trans-series. Therefore, the fluctuations about the single-instanton saddle, and all other non-perturbative saddles, are precisely encoded in the fluctuations about the perturbative vacuum. In other words, the full trans-series is encoded in the perturbative fluctuations around the vacuum, E ZJJ (B, ). This surprising result is in fact consistent with the ambitious goal of resurgence, which claims that the expansion about one saddle contains, in principle, information about the expansions around other saddles, provided one knows how different saddles are connected. This connection is provided by the exact quantization condition (2.6), which is itself a statement of the Bloch boundary condition [11,12]. In section 5 we discuss this further, and use the gauge theory perspective to give a simple proof of this surprising result (2.21).

Electric region: convergent continued-fraction expansions, high above the barrier top
In the λ 1 regime, which is strongly-coupled in the QM sense but weakly-coupled in the gauge theory sense, the behavior is completely different. For small level label N , and large , the strong-coupling expansions for low-lying modes, converted to our notation and with u (±) N denoting the top/bottom of the N th gap, are (http://dlmf.nist.gov/28.6.i): These expressions follow from a straightforward strong-coupling expansion which governs the "fully quantum" regime where the kinetic term dominates over the potential. They are derived by perturbing around the (degenerate) free particle on a circle whose wave function is ∼ exp iθx 2π , where the potential 2 2 cos(x) is treated as a perturbation. Standard degenerate perturbation theory for the gap edge states with even/odd wave-functions, cos N x 2 and sin N x 2 , leads to the above expansions in 1/ 2 [77]. These expansions are in fact convergent, with a radius of convergence that increases quadratically with the level index N . They are conventionally expressed as continued-fraction representations of the eigenvalues, and these continued-fraction expressions are themselves convergent [76][77][78]. Nevertheless, despite these convergence properties, there are also non-perturbative effects, associated with the exponentially small splittings of the spectral gaps in this region of the spectrum, as are clearly seen in figures 1 and 2.
Instead of taking 1 and N fixed, the high spectral region can also be probed with large λ by taking → 0 and N → ∞, with N 1. Then for large level number N 1/ , the continued-fraction expressions for the energy eigenvalues give approximate expressions JHEP02(2015)160 for the energy of the N th gap as (http://dlmf.nist.gov/28.6.E14): This expression is obtained by substituting a Fourier mode ansatz for the Mathieu function, and equating coefficients [76][77][78]. This leads to a set of continued fraction relations that generate the expansion, and the connection to our all-orders WKB approach is discussed further below in section 3.4. Note that each coefficient has poles at integer values of N . In particular, the denominator of the coefficient of 2−4n is proportional to where n denotes the greatest integer less than or equal to n. Because of the poles, the expression (2.23) should be understood as an expansion about N = ∞: for any finite N , one can just use the strong-coupling expansion expressions in (2.22). Now we demonstrate how the energy spectrum (2.23) is identified with the multiinstanton expansion of the prepotential (1.11) in the Nekrasov-Shatashvili limit of the N = 2 SU(2) SUSY gauge theory. First, rewrite (2.23) as: where we have defined the "action" which is half the "'t Hooft coupling" defined previously (1.1). We now compare this with the instanton expansion in (1.11). In order to relate the prepotential to u we use Matone's relation [96][97][98], The second term on the right hand side is due to the perturbative part of the prepotential. Plugging the expansion are different from one another. Second, the dependence of the expansion (2.23) does not match that of (2.22). Physically, this is simply the statement that the perturbation theory Bohr-Sommerfeld expansion (2.23) is only approximate, giving the approximate location of a narrow gap high in the spectrum (see figures 1 and 2) for N 1/ , completely neglecting the non-perturbative splitting for the width of the gap. In fact, for a given N , the splitting of the energy levels occurs at the order 1/ 2N . As the level index N increases, the splitting drifts to higher orders in perturbation theory and becomes exponentially small (http://dlmf.nist.gov/28.6.E15): Since the expansions (2.22) are convergent, the origin of this non-perturbative splitting is quite different from the familiar weak-coupling analysis that associates non-perturbative terms with divergent perturbative series [85][86][87]. It is clear from the continued-fraction expansion (2.23) that the splitting is directly associated with the poles of the expansion coefficients at integer values of N . Physically this indicates the appearance of degenerate perturbation theory for both edges of the gap [77,81]. As mentioned already in the Introduction, this is a concrete analog of the results Drukker, Mariño and Putrov [49,50] concerning the large N expansion of the ABJM matrix model, in which non-perturbative effects are related to complex space-time instantons, and which were subsequently related to poles in the 't Hooft expansion coefficients [51,52]. We show in section 4 that in this regime the gap splitting (2.30) also has a natural non-perturbative interpretation in terms of semiclassical configurations.
To make a sharper analogy with the trans-series (multi-instanton) expansion (2.10) near the bottom of the well, we can reorganize the large expansion (2.22) as where the coefficients α k (N ) are those given in the continued fraction expansion (2.23). However this identification is valid only up to order k = (N − 1)/2, due to the poles in the coefficients of the continued fraction expansion. The gap splitting, encoded in the β k (N ) terms, arises beyond this order, and has leading behavior given in (2.30). So, at finite N the gap splitting terms are missed by the Bohr-Sommerfeld expansion. The gap splitting is a one-instanton effect, proportional to 1 2N , as shown explicitly in section 3.3, and we see from (2.23) that the pole terms arise at the two-instanton level, proportional to 1 4N , as expected from the resurgent structure. In the next section we show how we can actually obtain these non-perturbative gap splittings from an exact all-orders WKB analysis. In section 4 we will further identify this effect with worldline instantons, and make a direct physical analogy with multi-photon ionization in monochromatic time-dependent laser pulses.

All-orders WKB analysis of the Mathieu equation: actions and dual actions
The all-orders WKB expression for the location of bands and gaps can be expressed as [59][60][61][62][63][64][65][66][67][68]: where P is the local momentum and the contours go around the appropriate turning points, as shown in figure 4. Geometrically, for the Mathieu problem there are two independent cycles and they correspond to the generators of the two cycles of the torus. More explicitly, with u denoting the energy eigenvalue, we have [59, 60] With proper analytic continuation, this quantization condition permits smooth transitions and dualities between the various spectral regions, connecting weak and strong coupling, and also the bottom and top of the wells. The distinction between the various regions JHEP02(2015)160 Lgap Lband Figure 5. To determine the location of the bands or gaps, we integrate the WKB integrands along the paths, L band and L gap , shown here. In the deep band case, the width of the band is determined by integrating through the barrier. As the energy goes above the barrier top, the turning points coalesce and move into the complex plane: in the high gap case, the width of the gap is determined by integrating between these complex turning points.
is encoded in the location of the turning points in the complex plane, and the associated Stokes lines [65][66][67]. For energies inside the wells there are real turning points. As the energy approaches the barrier top, the turning points come together and coalesce, and move apart again along the imaginary axis for energy above the barrier top. See figures 4 and 5 .
For example, the leading behavior in (2.8) and (2.23) can be found immediately as follows. For the location of the center of a high gap: For the location of the center of a deep band: The higher terms are discussed below, in the next subsections. Perhaps less well-known is that there are corresponding expressions for the width of a band deep in the spectrum and of a gap high in the spectrum [88,89,[91][92][93][94]. At leading order, the width of a band or a gap is expressed as the product of a density-of-states factor and an exponential: where now the contours are around the dual contoursC b orC g shown in figure 4. Leading order results for bands and gaps in the barrier region are discussed in [90][91][92][93][94], and in more detail below in section 3.3.

JHEP02(2015)160
As discussed in the introduction, the WKB periods associated with the Mathieu and Lamé equations correspond to the vacuum expectation value of the scalar field Φ and its dual partner, and the energy eigenvalue u correspond to the gauge invariant observable Tr Φ 2 . We set our normalization such that classically Φ cl (a) = a 2 σ 3 , where σ 3 is the 3 rd Pauli matrix, and therefore a = √ 2u + . . . , fixing the normalization to

Dyonic region: resurgence from all-orders WKB
For energies below the barrier top, where −1 ≤ u ≤ 1, the leading WKB expression for the band location is given by the usual Bohr-Sommerfeld expression that involves only the real part of the action, while the dual action is associated with under-the-barrier, and so is pure imaginary. 4 In the interval −1 ≤ u ≤ 1, the choice of the contours for the two independent actions a and a D given in (3.7) implies that a has support from both above and below the barrier and is therefore complex valued, whereas a D has support from under the barrier and is pure imaginary. Furthermore since a D is defined between the turning points, Im[a] = −a D . The real action in this spectral region can therefore be expressed as a linear combination: The exact quantization that identifies u with the center of the band is implemented by requiring Re [a(u, )] = 2 N + 1 2 . (3.9) The leading order terms of the actions are expressed in terms of elliptic integrals These expressions are the original Seiberg-Witten solution, which in the quantum mechanical language is identified with the leading order WKB expansion. Note that they satisfy the Picard-Fuchs relation:
Remarkably, the higher-order WKB actions can be obtained by acting on these leading WKB actions with differential operators with respect to the energy u [31,32,[34][35][36]. This follows from the fact that for V = cos(x), the numerators in (3.7), which are given by the derivatives of V , can be re-expressed as polynomials of V . Therefore by differentiating √ u − V with respect to u taking appropriate combinations one can generate the integrands in (3.7) up to total derivatives which vanish after integrating over turning points. For example, at the next two orders: and the same relations hold for a D (u) as well. The general form of the differential operators that relates a n to a 0 is a n (u) = k up to this order are given in appendix B. The first two next-to-leading order actions calculated from (3.15) are

JHEP02(2015)160
The actions can be expanded about the bottom of the wells, u ∼ −1, as: Comparing with (2.15), we recognize these expansions as the highest powers of E, the next-to-highest powers of E, and next-to-next-to-highest powers of E, respectively, for each power of in the function B ZJJ (E, ). Thus we have the following identification with the results of Zinn-Justin and Jentschura [46,47]: 2n Re [a n (−1 + E)] Thus the "exact Bohr-Sommerfeld condition" (3.9) for the location of the energy bands deep inside the wells expresses the perturbative expansion for the location of the N th band. Inverting this Bohr-Sommerfeld condition, to express u = u(N, ) as a function of N and , we arrive at the perturbative expansion (2.8), or in the notation of ZJJ, the expression (2.17) for the energy E(B, ) as an expansion in and B ≡ N + 1 2 . Recall that this expansion (2.17) is non-Borel-summable.
Similarly, the dual actions can be expanded about the bottom of the wells, u ∼ −1, as:  Notice that for n ≥ 1, the a D n (u) diverge as u → −1. The dual action a D (u, ) is related to Zinn-Justin's A ZJJ (E, g) function as follows:

Electric region: convergent expansions and the Nekrasov instanton expansion
In the electric region (i.e. u → ∞) the real period is identified with a(u) and the pure imaginary period is still a D (u). The exact quantization that identifies u with the center of the gap is The actions can be expanded for u 1 as:  Identifying the left-hand-side with N , and inverting, we obtain the expansion (2.26) of the gap energy u(N, ). Thus, the all-orders-WKB action a(u, ) determines the (convergent) expansion of the location of the gap high up in the spectrum. The dual actions can be expanded for u 1 as:

(3.41)
These dual actions determine the exponentially narrow width of the gap, high up in the spectrum, as discussed in the next subsection.

Magnetic region: duality and analytic continuation across the barrier
Across the magnetic region, there is a transition from the divergent perturbative behavior characteristic of the dyonic region, and the convergent perturbative expansions characteristic of the electric region. As is clear from the plots in figures 1 and 2, the transition is smooth, but connecting the regions requires careful interpretation of the various expansions. Of particular interest are the different mechanisms by which non-perturbative terms arise in the different physical regions. For example, the general expression for the exponentially narrow width of a band deep in the dyonic region, and of a gap high in the electric region is [91][92][93][94]: In the dyonic region, The magnetic region near u ∼ 1 is more subtle. In this regime, The latter relation tells us that the exponential behavior becomes of order unity. The first relation gives us the leading scaling between N and : It is clear that the barrier top is in the vicinity of N ∼ 1/ , but the above fixes the nontrivial coefficient to be 8/π. It is instructive to evaluate the energy eigenvalue u(N, ) with this scaling, in both the dyonic and electric regions, using (2.8) and (2.23) respectively: It is remarkable that these two very different expansions coincide at u ∼ 1.
In fact, we can refine further the estimate in (3.51). The edges of the bands/gaps when u = 1 are given by [93,94] as shown in figure 6. We also see that in the immediate vicinity of these points, the dependence of u on Q(≡ 4 2 ) is approximately linear, with a slope depending inversely quadratically on N : This implies that in the vicinity of the barrier top, where u ≈ 1, the bands and gaps are of equal width, and are not exponentially narrow. This can be seen clearly in figure 6, where from a given intersection point at u = 1, we observe equal widths of the band and gap above and below that intersection point. In fact, Another way to understand the smooth transition across the barrier top is to note that in both the dyonic and electric region, we must avoid poles by analytically continuing (or equivalently g) off the positive real axis, which effectively gives a small imaginary part to u. This then avoids the divergences of a n (u) in the region u ∼ 1, in a way that connects smoothly. Since all the actions are expressed in terms of the elliptic functions E and K, this relies on the analytic continuation properties of these functions. More precisely, the analytical continuation properties connect different points in the moduli space as follows where ±1 denotes sign(Im [u]). This is the manifestation of the residual Z 2 symmetry of the broken U(1) R symmetry of the gauge theory [97]. For the subleading terms from (3. 16) we see that a n (−u) a D n (−u) .

JHEP02(2015)160
In particular, for −1 ≤ u ≤ 1, this relation can be used to relate the magnetic regime (u ∼ 1) to the dyonic regime (u ∼ −1). The appearance of sign(Im[u]) reflects the necessity of analytic continuation mentioned above, and is ultimately related with the fact that ∈ R + is a Stokes line for the small expansion. Also, the region with 0 ≤ u ≤ 1, can be related to the 1 ≤ u ≤ ∞ region by invoking the inversion relations for the elliptic functions E and K. These elliptic functions have non-trivial connection formulas, with ambiguous non-perturbative imaginary contributions when evaluated on the real line. See, for example, http://dlmf.nist.gov/19.7.E3 where ± is determined by the sign of Im(k 2 ). 5 With the above connection formulas, the transition across the barrier is smooth.

Connecting strong and weak coupling regimes
In this section we explain the connection between the large and small expansions. These two expansions are very different in nature: the former is convergent and the latter is divergent. Yet the exact WKB methods described in the previous section can be used to relate one to the other. We present an explicit method for generating the small expansion for the low lying modes (i.e. λ 1), which governs the dyonic region, using the knowledge acquired from the "continued fraction expansion" for λ 1, which governs the electric region.
In the electric region, the energy eigenvalue u for high lying states can be obtained from the continued fraction expression as an expansion in Q 2 = 16/ 4 , by making a series ansatz for u and equating both sides of (3.61). This expansion is valid for high lying levels with N 1/ . The first few terms of it are given in (2.23). Next, we substitute a for N by using the relation a = N /2, which is the exact quantization condition (3.34) in the electric region. In the electric region a = λ/2 1 and we reorganize u as a series in 1/a 4 and , as written in (2.26). Having obtained this double series, we invert it and obtain a as a double series in u and , i.e. a(u, ) = √ 2u n,k c n,k 2n u −2k , which is valid for u 1. So far, this is an alternative way of obtaining the large λ expansion (3.38), directly from the continued fraction expression (3.61), complementary to the WKB derivation decribed earlier in this section.

JHEP02(2015)160
However, from the general form of the WKB period a(u, ) given in (3.16), we know that each coefficient of 2n is related to the lowest order coefficient [with n = 0] via a differential operator, with expansion coefficients κ (n) k . Therefore, for any given order 2n , by applying the differential operator in (3.16) to the coefficient of 0 of (3.38), and comparing with the coefficient of 2n , we can solve for κ (n) k s. Once we know these coefficients, κ (n) k , we can construct both a D (u) and a(u) from a D 0 (u) and a 0 (u), for any u! To obtain the small , small N (dyonic) expansion for u, we then expand a and a D around u ∼ −1. In the dyonic region, the exact quantization condition is Re[a] = a + a D = /2(N + 1/2). Then we invert back to obtain u (Re[a], ) which is the perturbative, small expansion. The non-perturbative, instanton induced part of the trans-series can be obtained from a D as described in section 3.1.
Before closing this section, we also would like to point out that the continued fraction expansion of u(a, ) given in (2.23) can alternatively be obtained from the conformal block expansion obtained from the AGT correspondence [29,30] in the 2 → 0 limit. The instanton part of the Nekrasov partition function 6 has a rather simple group theoretical expansion given as [31,32,100]  The higher order terms can be computed in a straightforward way. The AGT correspondence maps the conformal dimension, ∆, and central charge, c, to the gauge theory variables: In the 2 → 0 limit, the prepotential stays finite: Using Matone's relation (2.28) and switching from a to N using the exact quantization we get

Worldline instantons and multi-photon vacuum pair production
As discussed in section 3, despite the fact that the perturbative expansions in the electric region are convergent, there are still non-perturbative instanton effects, leading to narrow gap splittings high in the spectrum. These splittings (3.48) have a very different form from those (3.45) low in the spectrum. This is analogous to the results of Drukker, Mariño and Putrov [49,50] for the large N expansion of the ABJM matrix model, in which nonperturbative effects are related to complex space-time instantons (for other examples of the significance of complex instantons for non-perturbative effects see [3,101,102,105,106]). Here we give an analogous physical identification with worldline instantons [103,104], for this effect in the Mathieu spectrum. Furthermore, we present a simple physical interpretation of the transition between different spectral regions, in terms of the transition from tunneling pair production to multi-photon pair production. This analogy gives a physical example in which a non-perturbative quantity, the pair production probability, turns smoothly into a multi-photon expression of a very different form.
Recall the semiclassical result of Brézin and Itzykson [73], and Popov [74,75], (generalizing Keldysh's work in atomic ionization [69]), that for a monochromatic time dependent electric field, E(t) = E cos(ω t), the usual Schwinger formula [70][71][72] for the vacuum pair production probability in a background electric field becomes Here the dimensionless "Keldysh adiabaticity parameter" is defined as For this monochromatic time-dependent field E(t) = E cos(ω t), one finds for the function g(γ) in (4.1) the expression [72-75, 103, 104]: In the static limit, γ → 0, we recover the familiar Heisenberg-Schwinger result, which is obviously non-perturbative in the strength of the applied field, and has a wellknown interpretation in terms of tunneling from the Dirac sea through the barrier created JHEP02(2015)160 by the constant electric field. In the opposite limit of a high frequency field, where γ 1, the logarithmic beahvior of g(γ), shown in (4.4), implies that the semiclassical result (4.1) in fact produces a perturbative result: The physical interpretation of (4.6) is that 2m/ω is the multi-photon number, the number of photons of energy ω required to excite the virtual pair over the "binding energy" 2mc 2 , by a multi-photon process, rather than by tunneling [69,[73][74][75]. It's a probability, so the power is twice this multi-photon number. The final answer is perturbative, as it is a power of the applied electric field, but it is a very high power in the relevant semiclassical limit where ω m. Thus we see that the semiclassical expression (4.1) has two very different limits, and we show below that this is analogous to the transition from exponentially narrow bands (3.45) low in the Mathieu spectrum, to power-law narrow gaps (3.48) high in the Mathieu spectrum.
First, recall that the above pair production results have a natural interpretation in terms of worldline instantons [103,104], which are finite action periodic solutions to the classical Euclidean equations of motion for the world line of a charged particle in the background electric field:ẍ For such worldline instanton solutions, a semiclassical approximation to the Feynman's world line path integral representation of the QED effective action gives the leading expression for the pair production probability For the cosine electric field, E(t) = E cos(ω t), the classical trajectories are known, and the associated worldline instanton action indeed equals the exponent in (4.1), (4.3) [103,104]. The relation to the Mathieu equation is the following. The pair production probability can alternatively be computed via a Bogoliubov transformation as a quantum mechanical reflection coefficient in the Klein-Gordon equation (we take zero electron/positron momentum, to get the leading effect, and treat scalar QED instead of spinor QED, since this also gives the same exponential behavior) [73][74][75]: written now in Mathieu form. So we identify the Mathieu equation parameters: (4.10)

JHEP02(2015)160
Therefore, we further identify [using the scalings in (2.2) and (2.4)] Further, note that the leading dual action a D 0 in (3.11) can be re-expressed as This implies that 7 (4.15) To see how this works in the various limits, recall that in the semiclassical approach to vacuum pair production, the electron mass sets the dominant scale, so we require E m 2 and ω m. But this still permits arbitrary values of the adiabaticity parameter γ ≡ mω/E. In the static limit, γ 1, this implies u ∼ 1, and which leads to the standard Schwinger formula for pair production in a static electric field. On the other hand, in the multi-photon limit, γ 1, we have m ω E ω 2 (4.17) so we can consistently consider the hierarchy of scales Then defining N ≡ m ω , we see that it corresponds to the gap label index N in the Mathieu spectral problem. Indeed, in this limit

(4.19)
7 Note that the pair production probability is related to a bounce, which is a closed-path instanton/antiinstanton configuration, referred to as a "worldline instanton"; while the Mathieu band or gap splitting is a single-instanton effect. For time-dependent electric fields associated with more realistic laser pulses, there are important quantum interference effects and these are captured by complex instanton trajectories [105,106]. which, up to a multiplicative pre-factor, is the Brézin/Itzykson/Popov multi-photon expression (4.6).

A simple proof of the Dunne-Ünsal relation and its geometric interpretation
In this section we present a proof of the Dunne-Ünsal relation (2.21) from the gauge theory point of view. In terms of quantum mechanics, this relation remarkably links the perturbative fluctuations around the vacuum to the non-perturbative fluctuations around instantons [11,12], as mentioned in section 2.3. In addition to the SUSY inspired proof, we also show that the Dunne-Ünsal relation can be identified as the generalization of the Picard-Fuchs equation for the quantized elliptic curve with nonzero . Physically this identification is an explicit example of the connection between the resurgent trans-series expansion and the geometry of compact Riemann surfaces. Our starting point of the proof is the generalization of Matone's relation for = 0, where as mentioned in section 2.3, the instanton part of the original relation [96] is unchanged and the shift in u is due to the perturbative contribution to F NS (a, ) [45]. The next step is to observe that the the prepotential can be expressed as follows where the we use the symbolˆto denote dimensionless quantities. 8 This follows from rescaling the Schrödinger equation (1.13) and the corresponding periods (3.7). After the rescaling, it follows that Then, by differentiating (5.1) with respect to a and using (5.4) we obtain 2i π ∂u(a, ) ∂a

JHEP02(2015)160
where we used the fact that ∂F/∂a = a D . The final step in order to arrive at the form which relates the instanton expansion to perturbative expansion is to switch to the variables A ZJJ (B, ) (which encodes the fluctuations around instantons) and E ZJJ (B, ) (which encodes the perturbation expansion) where E ZJJ = (u − 1)/ , B = 2a/ , and A ZJJ is defined as in (3.33). In these variables, (5.5) becomes It is also illuminating to switch the independent variables from (a, ) to (u, ). With this change of variables, the terms in (5.5) transform as follows: where the independent variables on the left-hand side are (a, ) and on the right-hand side are (u, ). Then, the Dunne -Ünsal relation takes the form of Picard-Fuchs equation, extended to nonzero : Note that (5.8) is invariant under the SL(2, Z) transformations that act on the pair (a, a D ) as expected. It is further useful to express (5.8) in terms of the expansions (1.14): The second line of this equation shows that all the higher order terms contribute as zero to the Picard-Fuchs equation, and the constant 2i/π on the right hand side does not get any corrections at nonzero . In other words, by using the Riemann bilinear identities on (5.10) and (5.10) we deduce that only the zeroth order periods a 0 , a D 0 contribute to the "total flux" on the torus, whereas the higher order terms do not. However, the cancellation of the flux from higher order terms is a result of rather intricate cancellations that involve contributions from different orders as seen in (5.10).
The identification of the Dunne-Ünsal relation with the Picard-Fuchs equation provides an explicit geometric interpretation of the connection between perturbative series and instanton expansion. The perturbative corrections to the energy eigenvalue are characterized by the quantization of the real period, while the exponentially suppressed instanton corrections are characterized by the dual pure imaginary period. The Picard-Fuchs relation connects these two independent periods. Furthermore, even though the perturbative and non-perturbative expansions take very different forms in different regions of the energy spectrum, this connection holds throughout the spectrum.
It is interesting to note that similar connection formulas between perturbative and non-perturbative physics exist for other QM potentials, such as the double-well and SUSY JHEP02(2015)160 double-well [11,12]. In fact, in general a relation like (2.21) exists whenever the spectrum is such that the associated Riemann surface is described by just the two dual actions, a and a D . For more general cases, where the Riemann surface is of higher genus, the relation will generalize to include multiple pairs of actions whose number is equal to the genus [107].
6 Lamé equation and SU(2) N = 2 * SUSY gauge theory As discussed in section 3 for the Mathieu equation, a formal expansion of the action may be obtained by an all-orders WKB analysis. This can then be expanded in the high or low energy region. Instead of repeating these steps for the Lamé system, we summarize the novel features that arise in the dyonic region in section 6.1, and then use a completely different technique to study the electric region, using the relation between WKB and the KdV hierarchy: see section 6.2.

Resurgent analysis in the dyonic region
The dyonic gauge region of the N = 2 * theory corresponds to the λ 1 spectral region of the Lamé system. Previous analyses [34][35][36] have not taken into account the fact that in this region the spectral expansions are divergent and non-Borel-summable, as for the Mathieu system, and so should be described by a resurgent trans-series. In fact, the associated resurgent structure is even richer than for the Mathieu system, due to the existence of both real and complex instantons [48]. This is ultimately due to the fact that the Lamé potential is doubly-periodic in the complex plane, and even though the quantum mechanical path integral is a sum over real path configurations, the existence of complex saddle paths has a direct influence on the divergent structure of perturbation theory [48].

JHEP02(2015)160
With these identifications, we can express the standard perturbative expansions of the Lamé eigenvalues (http://dlmf.nist.gov/29.7.E1) as: Notice that we recover the Mathieu expression (2.8) in the limit k 2 → 0. For a given N 1/ and k 2 , these expansions are divergent, with factorially growing coefficients. But the large order behavior can be alternating or non-alternating, depending on k 2 . This more intricate structure is due to the existence of both real and complex instantons, and is discussed in detail in [48]. 10 In particular, it means that the leading large-order growth of the perturbative coefficients is not solely governed by the real instanton/antiinstanton action, but also by the complex ('ghost') instanton/anti-instanton action.
Associated with this resurgent divergent structure of the perturbative expansions is the existence of non-perturbative band splittings, for any k 2 . Approximate expressions for these band splittings are given in (http://dlmf.nist.gov/29.7.E5); for details see [108,109]. Translating these results to our notation (6.3), the splitting of the N th band is This band-splitting is a one-instanton effect, as the instanton action for the Lamé potential is [110,111] 1 S inst = 4 k ln 1 + k 1 − k (6.5) Note that this reduces to the Mathieu expression (2.11) as k 2 → 0, recalling that (1 − k) 1/k → 1/e in this limit.

WKB, Gelfand-Dikii expansion, and KdV, in the electric region
As discussed in section 3 for the Mathieu equation, the electric region of the Lamé spectrum can be studied by using a large u expansion of the all-orders WKB actions a(u, ) and a D (u, ). Here we describe a different, complementary, technique to analyze the electric region, using the work of Gelfand and Dikii concerning the high-energy asymptotic JHEP02(2015)160 expansion of the resolvent [112,113]. The coefficients of this expansion are expressed directly in terms of the KdV integrals, evaluated on the QM potential. This observation is particularly interesting for the Lamé equation because the expansion coefficients are simple polynomials, with interesting combinatorial properties, in the scaling parameter that multiplies the elliptic potential [114]. This is described below. For the Schrödinger equation with a periodic potential V (x) of period L, the Gelfand-Dikii expansion [112,113] relates the level number N to the high energy asymptotics as where I j+1 [V ] are functionals of the potential V (x) given by the KdV conserved quantities. These can be generated by simple recursion relations, and the first few are: It is an instructive exercise to compute these KdV integrals for a constant potential, and also for the Mathieu potential, to confirm the all-orders WKB analysis in section 3. For example, for a constant potential, V = V 0 , which is the E → +∞ expansion of the exact result √ E − V 0 . For the Mathieu system, to compare the Mathieu equation (2.1) with the Gelfand-Dikii form (6.6), we identify V ↔ 2 2 cos x, E ↔ 2 2 u, and L ↔ 2π. The KdV integrals are simple to evaluate:

JHEP02(2015)160
Note that the coefficients of the inverse powers of u 1/2 are polynomials in 2 , of increasing order. This expansion (6.14) is a re-arrangement of the all-orders WKB expansion in (3.38). So, inverting (6.14) to express u as a function of and a ≡ N /2, we recover the expansion (2.26) for u in the electric regime where a 1. Turning now to the Lamé system, Grosset and Veselov [114] considered the potential V = 2µP, where P is the Weierstrass P-function (6.2), and µ is a multiplicative scaling parameter to be specified below. Grosset and Veselov showed that the KdV integrals I j+1 [V ] reduce to simple polynomials in µ, with coefficients expressed in terms of the Weierstrass invariants g 2 and g 3 , and η 1 /K, where η 1 ≡ ζ(K) [114]: These polynomials, F j+1 (µ), 11 have interesting combinatorial properties, and were named the elliptic Faulhaber polynomials [114]. 12 Thus, for this Weierstrassian form of the Lamé equation, (6.6) with V (x) = P (x + i K ; K, i K ), the high-energy Gelfand-Dikii expansion (6.7) can be written In order to facilitate the comparison with results in the physics literature concerning the Nekrasov prepotential in N = 2 * theories [39,40,[118][119][120], we rewrite the coefficients of the elliptic Fauhaber polynomials in terms of the Eisenstein series ∂ ∂τ log(η(τ )) , E k (τ ) = 1 2ζ(k) (n,m)∈Z 2 \(0,0) 1 (n + τ m) k , (k > 2). (6.17) where η(τ ) is the Dedekind eta function, and E 2 , E 4 and E 6 can also be written as: Thus, all coefficients of the elliptic Faulhaber polynomials are expressed in terms of just the first few Eisenstein series E 2 , E 4 and E 6 . In our conventions for the periods of the Weierstrass function, the modular parameter τ is identified as For notational simplicity, we suppress the τ (therefore k 2 ) dependence of the Eisenstein series in the following equations. 11 Not to be confused with the prepotential which we denote with the calligraphic letter F. 12 The name derives from a remarkable connection between the classical Faulhaber polynomials of Number Theory and the KdV integrals for soliton-like potentials [115], generalized to elliptic functions associated with periodic arrays of solitons [114]. In this sense, the polynomials in (6.13) could be referred to as trigonometric Faulhaber polynomials.

JHEP02(2015)160
Then the first few elliptic Faulhaber polynomials F j+1 (µ) are Further properties of these elliptic Faulhaber polynomials F j+1 (µ) are discussed in [114]. The Gelfand-Dikii expansion (6.16) can be viewed as a high-energy expansion of an all-orders Bohr-Sommerfeld relation, which can be inverted 13 to yield where the polynomials G j+1 (µ) are simple combinations of the elliptic Faulhaber polynomials F j+1 (µ): It is convenient to define the rescaled and shifted eigenvalue, absorbing the j = 0 term from the sum:ũ Then in terms of the action variable a = N/2, (6.24) becomes a 2j (6.30) 13 It is interesting to note that the Lagrange inversion of series can be naturally expressed in terms of Young tableaux [28,121].

JHEP02(2015)160
It is a non-trivial check that with the scaling of (6.3) and (6.2), we identify 2µ ↔ 16 2 k 2 , and in the k 2 → 0 limit we find that (6.30) does indeed reduce to the Mathieu large period expansion in (2.26).
We can now compare the Bohr-Sommerfeld energy expansion (6.30) with the expansion of the Nekrasov-Shatashvili prepotential for the SU(2) N = 2 * theory [39,40,[116][117][118][119][120]: 14 where H 0 is expressed in terms of the scalar mass, m, and the Nekrasov deformation parameter in the Nekrasov-Shatashvili limit = 1 as The higher coefficients H j are polynomials in H 0 : We thus arrive at the Matone relation for the N = 2 * theory: The shift inũ is just the shift in (6.29), required to have a smooth reduction to the Mathieu eigenvalue, as the N = 2 * theory reduces to the N = 2 theory in the m 2 → ∞ limit, which is combined with k 2 → 0 with m 2 k 2 finite. 15

JHEP02(2015)160
It is interesting to note that when the scalar mass m is related to the Nekrasov deformation parameter 1 ≡ as m = j + 1 2 ⇒ 2µ = j(j + 1) (6.40) then if j is an integer the Lamé system becomes finite gap [122], with the number of gaps equal to j. In this case, much more explicit descriptions of the spectral information can be given [114,122], and there is also a precise strong/weak band/gap duality symmetry [111].
Notably for integer values of j, the associated density of states ρ(E)dE has an algebraic geometric meaning: it is an abelian differential of the second kind over a genus-j Riemann surface. Therefore the quantization condition πN ∼ ρ(E)dE carries a clear geometric interpretation. Thus, in the large action spectral region of the Lamé equation we identify the all-orders WKB Bohr-Sommerfeld expansion with the Gelfand-Dikii expansion, and the eigenvalue is identified with the scalar condensate moduli parameter of the N = 2 * gauge theory. But, as in the Mathieu equation, this Bohr-Sommerfeld expression (6.30) for the energy is only part of the story. Identifying the action a with N /2, the Bohr-Sommerfeld expression gives a (convergent) perturbative expression for the location of the N th gap high in the spectrum. However, physically it is clear that there are also non-perturbatively small gaps in the spectrum, and these are related to instantons. As in the Mathieu case discussed in section 3, these gaps arise due to poles in the expansion coefficients: see the continued fraction expressions at http://dlmf.nist.gov/29.3.iii. Since the structure is quite similar, we do not repeat all the steps here. Further discussion of the Lamé system is deferred to a future publication.

Conclusions
In this paper we have applied resurgence and all-orders exact WKB to provide a complete description of the different spectral regions of the Mathieu and Lamé systems, stressing their close connection with the low energy behavior of N = 2 SUSY SU(2) gauge theories. Defining a 't Hooft parameter, λ = N , where N is the spectral level number, we associate the large λ regime with the gauge electric regime, the small λ regime with the gauge dyonic regime, and the λ ∼ 1 regime with the gauge magnetic regime. We have shown that exact WKB provides a complete description of all regimes, including all non-perturbative effects, and permits direct mappings between these sectors. Previous analyses based on allorders Bohr-Sommerfeld relations described only part of the information, neglecting nonperturbative band or gap splittings. This analysis also shows that the relation between perturbative and non-perturbative contributions is radically different in the different regimes. The familiar relation between divergent perturbative expansions and non-perturbative effects must be generalized to accommodate the large λ regime where perturbative expansions are convergent, and non-perturbative effects are associated with poles of expansion coefficients. This generalizes the resurgent trans-series analysis of [11,12,46,47] to large λ. We provide a physical analogy of this change of non-perturbative behavior, in the transition JHEP02(2015)160 from tunneling pair production to multi-photon pair production in the Schwinger effect in a time-dependent electric field, as the adiabaticity of the field changes. This physics is naturally described by worldline instantons. Since the Nekrasov deformation parameters have the physical interpretation of constant graviphoton fields, the SUSY gauge theory significance of these worldline instantons, and their associated non-perturbative effects, should be further understood.
The reinterpretation of the spectral problem in the language of the Nekrasov partition function leads naturally to a simple proof of a quantum mechanical resurgence relation [11,12] that shows that all non-perturbative information of the trans-series eigenvalues is subtly encoded within perturbation theory, which is an extreme form of resurgence behavior. We also give a geometrical interpretation of this fact in terms of the Riemann bilinear identity and the Picard-Fuchs equation, complementary to work on quantum geometry [31,32,39,40,43,44] and Whitham dynamics [45]. We demonstrate a direct relation between the all-orders Bohr-Sommerfeld relation and the Gelfand-Dikii expansion, based on the KdV invariants, and show explicitly how the N = 2 * theory reduces to the N = 2 system. Future work will develop these ideas further [107].

JHEP02(2015)160
non-Borel-summable and should instead be represented by a trans-series, which has just two exponential terms since Z(g) satisfies a second order differential equation [2]: 16 Z(g) ∼ 1 2π/g e 1 g ∞ n=0 Γ n + 1 2 2 π 2 n n! g n ± i 2π/g e − 1 g ∞ n=0 (−1) n Γ n + 1 2 2 π 2 n n! g n (A.2) where − π 2 +δ ≤ ∓ph g ≤ 3 2 π−δ. This trans-series expression contains all information about the function, including the Stokes phenomenon. In particular, the second sub-dominant part is required in order to be consistent with the analytic continuation connection formula for the Bessel functions: K 0 (e ±iπ z) = K 0 (z) ∓ i π I 0 (z) (A.3) Note that in the large g limit this function has a convergent "strong-coupling" expansion: The dependence on the level number N can be modeled by considering instead where the series is again divergent and non-Borel-summable, with c n (N ) ∼ (−1) N (n−1)! π , at large perturbative order n, as in (A.1). But we can also consider the large N limit with g fixed: which has the same form as the gap splitting (2.30) high in the spectrum where N 1/g. On the other hand, there is also a uniform expansion where N → ∞ and g → 0 such that N g is kept fixed. The uniform expansion valid for all values of the 't Hooft parameter λ ≡ N g is: where U n is a (known) polynomial of degree 3n [http://dlmf.nist.gov/10.41.E3]. This uniform expression interpolates smoothly between the two extreme limits and describes the function in the intermediate region, the analog of the "magnetic region".

B WKB coefficients
In this appendix we list the first five set of coefficients κ (n) k , that enter into the relation a n (u) = n k=0 κ (n) k u k d n+k a 0 (u) du n+k . (B.1) that connects the higher order WKB cycles to the leading order one. n denotes the coefficient of 2n in the WKB expansion. The method for calculating them is explained in section 3.4.