Access the full text.
Sign up today, get DeepDyve free for 14 days.
In this paper, we use the multivariate analytic techniques of Pemantle and Wilson to derive asymptotic formulae for the coecients of a broad class of multivariate generat- ing functions with algebraic singularities. Then, we apply these results to a generating function encoding information about the stationary distributions of a graph coloring algorithm studied by Butler, Chung, Cummings, and Graham (2015). Historically, Flajolet and Odlyzko (1990) analyzed the coecients of a class of univariate generat- ing functions with algebraic singularities. These results have been extended to classes of multivariate generating functions by Gao and Richmond (1992) and Hwang (1996, 1998), in both cases by immediately reducing the multivariate case to the univariate case. Pemantle and Wilson (2013) outlined new multivariate analytic techniques and used them to analyze the coecients of rational generating functions. These multivari- ate techniques are used here to analyze functions with algebraic singularities. Keywords: generating functions, coecients, asymptotics, multivariate, singularity analysis, algebraic Supported in part by NSF grant DMS-1344199. c 2017. This manuscript version is made available under the CC-BY-NC-ND 4.0 license http://creativecommons.org/licenses/by-nc-nd/4.0/ arXiv:1604.04642v2 [math.CO] 20 Jun 2017 1 Introduction For several decades, singularity analysis has been used to derive asymptotic formulae for coecients of univariate generating functions. In 1990, for example, Flajolet and Odlyzko found asymptotics for a large class of univariate functions with algebraic singularities in [FO90]. Examining the coecients of multivariate generating functions is notoriously more dicult and technical. Pemantle and Wilson developed techniques to tackle multivariate ra- tional generating functions in [PW13] and previous work, where they rely on the multivariate Cauchy integral, identifying and analyzing critical regions in the domain of integration that contribute to the integral's asymptotics through Morse theory. In this paper, we will look at the coecients of H (x; y) , where H is an analytic function and 62 Z is a real number. Under some assumptions about the zero set of H , we will nd an asymptotic approximation r s for the coecients [x y ]H (x; y) as r and s approach in nity with in a nearly- xed ratio, as described in Theorem 1. Flajolet and Odlyzko's 1990 results relied on using the Cauchy integral formula and explicit contour manipulations. Later in the 1990s, Gao, Richmond, Bender, and Hwang extended these results to classes of bivariate functions by temporarily xing a variable and applying univariate results, which required special restrictions on the bivariate functions. (See Section 2.2 below for more details.) In this paper, we instead rely on the multivariate techniques that Pemantle and Wilson developed, manipulating the multivariate Cauchy in- tegral formula directly. More details of these techniques are in Section 2.1 below. By using a combination of the Pemantle and Wilson techniques and the contour manipulations of the original Flajolet and Odlyzko work, we avoid using Morse theory. The algebraic singular- ities lead to manipulations of the torus on a Riemann surface instead of multidimensional complex space. However, this does not change the main methods of the asymptotic analysis, except requiring careful tracking of the argument of some expressions. In Section 3, we state our main result (Theorem 1), which we prove in subsequent sections. Then, in Section 7, we look at examples of our results, including an application of Theorem 1 to a generating function that encodes properties of the stationary distributions of random colorings on the complete graphs, as found in [BCCG15]. An extended abstract of this paper, [Gre16], appeared in the proceedings of the 28th International Conference on Formal Power Series and Algebraic Combinatorics. 2 Historical Background In this section, we provide some information about previous results in singularity analysis on which this work relies. 2.1 Multivariate Analytic Combinatorics of Rational Functions In [PW13], Pemantle and Wilson outline a program which greatly extends the results of previous work on multivariate generating function analysis. Although many of the technical 2 details of the program are not needed to prove the results in this paper, Pemantle and Wilson's work still lays the foundation for our approach. In the simplest case, Pemantle and Wilson begin with a rational function, F (z) = G(z)=H (z), where G and H are polynomials with real coecients in the variables z ; : : : ; z , and where F (z) is analytic near the origin. 1 d r r r 1 d We write z = (z ; : : : ; z ) and z = z z . Then, F (z) has the series representation: 1 d F (z) = a z : r2N The multivariate Cauchy integral formula tells us for r 2 Z : r r1 [z ] F (z) = F (z)z dz: (1) 2i Here, the torus T = fjz j = c gfjz j = c g is small enough that it does not enclose 1 1 d d n^ r any singularities of F (z). The goal is to approximate z F (z) for some xed unit vector ^ ^ r 2 R as n approaches in nity, or if r has irrational components, to approximate coecients ns [z ]F (z) for large n with s tending towards ^ r. To analyze the Cauchy integral, the torus T can be expanded into a cycle C which gets stuck on some chosen subset of the singularities of F (z) (which are the zeroes of H (z)), and expands beyond them elsewhere. Due to the z term in the integrand, we expect that as r ! 1, the integrand will decay exponentially faster in the regions of C away from the singularities of F , since the magnitude of z is larger in these regions. In this case, we can approximate the integral by analyzing the integrand near the singularities, since the rest of the integral decays too quickly to contribute to the asymptotics. However, the method of expanding T needs to be chosen carefully in order to ensure this works. To expand T successfully, we need to minimize the maximum modulus of z along our contour C. The reason for this is as follows: we want to nd a contour where the integrand attains its maximum modulus over some small interval, and then decays rapidly away from this interval. At a point where the maximum modulus is not minimized, the argument of the z term will oscillate rapidly as r tends to in nity, which leads to cancellation near the singularity. However, when the maximum modulus is minimized, we can approximate the integral in this region by using saddle point methods. To minimize the maximum modulus, we consider the height function, h(z) := ^ r Re log z: Although this excludes the contribution from F (z) in the integrand, F (z) is bounded on compact sets, so h still approximates the log modulus of the integrand as r approaches in nity in the direction of ^ r. With the goal of expanding the torus T until it hits a singularity of F , we consider the values of h on V := fz : H (z) = 0g. On a cycle where the maximum of h is minimized, the points where the maximum of h is attained are saddle points of h. Thus, the critical points of h restricted to V will be candidates for the singularities that will contribute to the asymptotics. To nd the critical points of h, we consider a strati cation of the space V , restricting our attention to critical points within a certain stratum S. When V is a smooth manifold near a critical point, the critical point is called smooth. In this case, the stratum S is of dimension 3 d 1, and we can nd d 1 equations (in addition to H = 0) that characterize the location of the smooth critical points: @H @H @H @H @H @H r z = r z ; r z = r z ; : : : ; r z = r z : 1 2 2 1 1 3 3 1 1 d d 1 @z @z @z @z @z @z 2 1 3 1 d 1 When H is a polynomial, the above critical point equations form a system of polynomial equations. In this case, Gr obner bases can help compute the critical points. In general, it is not necessarily true that all critical points will contribute to the leading term of the Cauchy integral. In this paper, we require that the critical points be minimal (described in Section 3 below), which guarantees that they do. To see examples of identifying minimal critical points, see Section 7 below. After determining which critical points are candidates for contributing to the asymp- totics, we still must expand the torus T into a cycle C which hugs V near these points. Goresky and MacPherson show in [GM88] how Morse theory can lead to an explicit descrip- tion of the domain of integration near a critical point. In the case of generating functions without algebraic singularities, this machinery can be used to evaluate the residues of the in- tegrals near each critical point, quickly leading to asymptotic expansions for the coecients. However, in the case where H has algebraic singularities, we rely on speci c homotopies of the contour, and hence we do not need to use Morse theory to determine the domain of integration. The portion of the contour near a particular critical point is called a quasi-local cycle. The asymptotics of the coecients are thus given by a sum of integrals over these quasi-local cycles. Below, we nd the leading-term asymptotics for the coecients. However, these integral analyses can be used to nd complete asymptotic expansions of coecients, as in Raichev and Wilson's work in [RW08]. 2.2 Asymptotics Involving Algebraic Singularities In their 1990 paper [FO90], Flajolet and Odlyzko described how to compute the asymptotics of a class of univariate generating functions with algebraic singularities. They considered functions of the form, g(z) = K (1 z) (log(1 z)) (log log(1 z)) ; (2) where ; ; ; and K are arbitrary real numbers, along with other related classes of functions. Their results diered from previous results both in the class of generating functions covered, and in their method of proof. Because we will use similar techniques in our proofs later, we take a moment to summarize their proof here. Flajolet and Odlyzko relied on the univariate Cauchy integral formula: 1 dz [z ] g(z) = g(z) : n+1 2i z n n Here, [z ] g(z) represents the coecient of z in the power series expansion of g, and C is any positively-oriented contour around the origin which does not enclose any singularities of g(z). Starting with any function f such that f (z) = O (j1 zj ) as z ! 1, and letting C be a small 4 1 1=n Figure 1: The expanded contour, C , used in Flajolet and Odlyzko's proof. circle around the origin, the authors expanded C in hopes of nding a contour which is easier to analyze. In order to expand C, Flajolet and Odlyzko also require the extra assumption that f is analytic within the expanded contour C . As C expands, it must avoid not only the singularity at 1, but also the branch cut emanating from this point. They expand the contour so it looks like the contour C , as shown in Figure 1. Like a Hankel contour, this contour wraps around the branch cut of g and extends beyond the singularity at 1, although C does not extend to in nity. From here, the contour is broken up into segments, ; ; ; and . 1 2 3 4 n+1 As n approaches in nity, f (z)=z , the integrand in the Cauchy integral formula, decays exponentially faster on than it does on . For this reason, the integral over is negligible 4 1 4 in the asymptotic expansion of [z ] f (z). Likewise, the contribution along most of and 2 3 is negligible, meaning that the asymptotics of [z ] f (z) are controlled by the integrand near z = 1. However, near z = 1, f (z) = O(jz 1j ), which means that f is bounded along the n 1 contours near the critical point, leading to the bound, [z ]f (z) = O(n ). Flajolet and Odlyzko then extended their results to functions g(z) with the form in Equation (2). Before moving on to further developments with algebraic singularities, we highlight the connection between the proof outlined above and the results in this paper. To analyze bivariate generating functions, we deform a torus in two complex dimensions. Let (p; q) be a point contributing to the asymptotics of such a bivariate generating function. Then, in the proof below, one of the circles in the torus is expanded to a circle of radius jqj, while the other circle of the torus is expanded until it wraps around the singularity at p, similarly to how the Flajolet-Odlyzko contour wraps around the singularity in the univariate case. After Flajolet and Odlyzko published their results in 1990, other researchers extended these results to classes of multivariate generating functions. Bender and Richmond, [BR83], had already considered the asymptotics of multivariate generating functions with poles in 1983. In 1992, Gao and Richmond, [GR92], considered classes of bivariate generating func- tions F (z; x) which are of a form they called algebraico-logarithmic, which includes some gen- erating functions with algebraic singularities. These algebraico-logarithmic functions could be reduced to univariate generating functions where the results of Flajolet and Odlyzko can 5 be applied. Then, in his 1996 and 1998 papers, [Hwa96] and [Hwa98], Hwang expanded upon the multivariate results, using a probability framework and deriving large deviation theorems. In 1996, Hwang considered sequences of random variables fX g. Assuming that the moment generating functions of the X were of a particular form, Hwang proved a central limit theorem for fX g. Then, he considered a class of bivariate generating functions P (w; z) such that after approximating [z ] P (w; z) with Flajolet and Odlyzko's univariate results, [z ] P (w; z) satis ed the same conditions he required previously of the moment generating functions of X . Applying his central limit theorem gave asymptotic results for a new class of bivariate generating functions. In 1998, Hwang extended his results by using univariate saddle point methods to approximate integrals. 3 Main Result: Bivariate Analytic Functions with Al- gebraic Singularities In this paper, our goal is to nd the asymptotics of the coecients of H (x; y) , where H is an analytic function with real coecients and 2 R is not a negative integer. Let us summarize notation in a bivariate setting. Let V be the zero set of the analytic function, r s H (x; y), where H (0; 0) 6= 0. We will approximate the coecients [x y ] H (x; y) for a xed 2 R as r and s approach in nity with their ratio approaching a constant, . Critical points r+O(1) in the direction of = (as r and s approach in nity) are de ned by: H = 0; @H @H ry = sx : @y @x The critical points are smooth if the gradient of H does not vanish on V at the critical points. Let D be the domain of convergence of the power series of H that converges around the origin, (0; 0). Then, a critical point (p; q) is called minimal if (p; q) 2 @D. A collection of critical points is called strictly minimal if there are no other zeroes of H on @D. For notational convenience, we will represent partial derivatives with subscripts, so that for @H instance, H = . We will apply heuristics from Section 2.1 to prove the following: @x Theorem 1. Let H be an analytic function with exactly n strictly minimal critical points f(p ; q )g , all of which are smooth and lie on the same torus T . (Hence, jp j = jp j and i i i j i=1 r+O(1) jq j = jq j for all 1 i; j n.) Let 2 R with 62 Z , and let = as r; s ! 1 with i j 0 6 r and s integers. De ne ; ; and M as follows (where and depend on i): 1 2 i 1 2 H (p ; q ) p y i i i = = ; 1;i H (p ; q ) q x i i i = ( H 2 H + H ) ; 2;i xx 1 xy yy 2H (x;y)=(p ;q ) i i 2 1 2;i 1;i M = : 2 2 p p q i i For all i, assume p ; q ; H (p ; q ); and M are nonzero, and assume that the real part of i i x i i i q M is strictly positive. De ne x as the value of x de ned by using a ray from the origin of C as the branch cut of the logarithm. In this de nition, choose any ray such that H (x; y) = H (x; y) in a neighborhood of the origin in C (as de ned by the power series of H ), and such that this ray does not pass through p H (p ; q ) for any i. Let ! be i x i i i the signed number of times the curve H (tp ; tq ) crosses this branch cut in a counterclockwise i i direction as t increases, 0 t < 1. Then, the following expression holds as r; s ! 1: r s (2i! ) X 2 r p q (H (p ; q )p ) e x i i i 3 i i r s P r s [x y ]H (x; y) = p + o r p q : 1 1 ( ) 2q M i=1 Here, the square root in the denominator is taken to be the principal root. Unfortunately, for general H , the formula in Theorem 1 is messy, as we must nd how many times the image of H wraps around the origin along the path connecting (0; 0) to each critical point (p ; q ), and it is dicult to determine the sign of the square root. Luckily, i i in the case where H has only real coecients and there is a single smooth strictly minimal critical point, we can simplify the formula. Corollary 2. Let H be an analytic function with a single smooth strictly minimal critical point (p; q), where p and q are real and positive. Let H have only real coecients in its power series expansion about the origin. Assume H (0; 0) > 0, and consider H for 2 R with 62 Z . Also, de ne H here with the standard branch chosen along the negative real r+O(1) axis, so that H (0; 0) > 0. Let = as r; s ! 1 with r and s integers. De ne the following quantities: H (p; q) p = = ; H (p; q) q = ( H 2 H + H ) ; 2 xx 1 xy yy 2H (x;y)=(p;q) 2 1 M = : 2 2 p p q Assume that H (p; q) and M are nonzero. Then, the following expression holds as r; s ! 1: r s r p q (H (p; q)p) r s [x y ]H (x; y) p : ( ) 2q M In the above expression, H (p; q)p will be a positive real number, and (H (p; q)p) x x will also be a positive real number. Additionally, 2q M is positive, so the positive square root is taken. Unfortunately, even in the simpli ed setting of Corollary 2, it is challenging to verify that a given critical point is strictly minimal. Section 7 below gives a couple examples where the Corollary can be applied. The RAGlib Maple package, [Saf15], can help verify these conditions computationally. Generating functions of the form in the Theorem and the Corollary are expected to appear in several contexts. For example, there are many ways of extending the Catalan numbers to multidimensional arrays, like the Fuss-Catalan numbers. The generating function for the Catalan numbers has a square root, and in multivariate extensions, the generating functions are still algebraic. Another example is in counting RNA secondary structures with various structural features, called motifs. RNA secondary structures can be analyzed using stochastic context free grammars, as in [PH14], where multiple variables can be used to track more than one type of motif in a secondary structure simultaneously. In such a context, the Theorem above would give asymptotics on the number of secondary structures with motifs in a xed ratio, as the number of nucleotides in the sequence approaches in nity. 4 Proof Set-Up To prove Theorem 1, we analyze the multivariate Cauchy integral formula, Equation (1). When reduced to two dimensions, the formula becomes the following: r s r1 s1 [x y ] H (x; y) = H (x; y) x y dx dy: (3) 2i We can immediately reduce to the case where there is only one strictly minimal critical point, which we will label (p ; q ) = (p; q). (Correspondingly, the i in the subscripts of ; ; ! 1 1 1;i 2;i i and M will be dropped.) This reduction is possible because the critical points are discrete, so that the contribution from each critical point (p ; q ) to the asymptotics is given by a i i quasi-local cycle disjoint from the other quasi-local cycles, and thus the contributions can be analyzed independently and then summed. An outline of the analysis is as follows: 1. In Section 4.1, we nd a change of variables into (u; v) coordinates so that the analytic function H (x; y) essentially behaves as a linear function in u, with some minor error terms in v. This change of variables also allows us to choose a simpler quasi-local cycle near the critical point, (p; q), where the u and v components of the contour are independent of each other. 2. In Section 4.2, we describe an appropriate expansion of the torus T in the Cauchy integral formula. Inspired by the contour from the univariate Flajolet-Odlyzko re- sults described above, we choose a contour which similarly wraps around p in the 8 u-coordinate, while passing directly through q in the v-coordinate. The description of the contour is technical to ensure that the contour does not cross over the singularities of H . Next, in Section 4.3, we verify that the region of the contour away from (p; q) does not contribute to the asymptotics. 3. With the set-up complete, we are ready to analyze the Cauchy integral. In Section 5, we apply the change of variables and contour deformations from the previous step, and then justify that the integrand of the Cauchy integral is approximately the product of a function in u and a function in v. This step is by far the most tedious, taking many lemmas to justify, and requiring analyses along each part of the quasi-local cycle. 4. Finally, the Cauchy integral is broken up into the product of two univariate integrals, which are analyzed in Section 6. The u integral is approximately a univariate Cauchy integral, and can be related to binomial coecients. The v integral is a standard Fourier-Laplace type integral. Multiplying the approximations of these integrals gives the nal result. 4.1 A Convenient Change of Variables In order to approximate H (x; y) as a univariate linear function near the critical point (p; q), it turns out it is sucient that the power series expansion of H has no constant term, linear term, nor quadratic term in one of its two input variables. To transform H into this form, we de ne the following change of variables: u = x + (y q) + (y q) ; 1 2 v = y: Here, and are as de ned in Theorem 1 above. Write H as a power series in u and v: 1 2 m n H (x; y) = d (u p) (v q) =: H (u; v): (4) mn m;n0 Since H (p; q) = 0; we have that d = 0. Notice that when (x; y) = (p; q), we also have that (u; v) = (p; q). We can easily verify that d = d = 0 by checking some derivatives of H . 01 02 4.2 Determining the Quasi-Local Cycle For now, assume that there is a unique critical point, (p; q). Recall that the original domain of integration in Equation (3) is a torus T around the origin which encloses no singularities of H (x; y). To decrease the magnitude of the integrand exponentially as r and s approach in nity, we expand the torus T towards the minimal critical point, (p; q). Because (p; q) is a strictly minimal critical point, there cannot be any zeroes between the origin and (p; q) that would otherwise obstruct the deformation. Hence, we can expand the domain of integration through a homotopy until it is near the critical point. 9 C q y jqj Re y 1=r p + G(y) Im y Figure 2: On the left, the y portion of the quasi-local contour. On the right, a close-up of the x portion of the quasi-local contour. Before expanding T , it is the product of a small x circle and a small y circle. Begin the deformation by expanding the y component to the circle, jyj = jqj. The y portion of the quasi-local cycle, C , will be the part of this circle where y = qe for jj , where > 0 y y y is a small constant. Note that q is not necessarily real. This contour is pictured on the left in Figure 2. Now, for each y 2 C , we will expand the x circle until it approaches the zero set of H near p. When y is close to q, we will wrap the x contour around the zero set of H . However, when y is further away from q, we will expand the x contour less, so that it does not come into contact with the zero set of H . More explicitly, since H (p; q) 6= 0 and H is analytic, the implicit function theorem guarantees that we can parameterize the variety V = f(x; y)jH (x; y) = 0g by a smooth function G(y), so that H (p + G(y); y) = 0 for all y 2 C with suciently small. So, for y y y = qe with jj , we choose the x contour appearing on the right in Figure 2. It is not necessarily true that this contour avoids the branch cut of H : to account for this, we can view all of our order-of-magnitude computations as if they are on the Riemann surface of H . Then, we can readjust our arguments accordingly when analyzing the nal form of 10 our Cauchy integral. The equations for the pieces of the contour are as follows: (y) := x : jx p G(y)j = ; arg(p) arg(x p G(y)) arg(p) + 2 ; (y) := x : jx p G(y)j ; arg(x p G(y)) = arg(p) + 2 ; 2 x (y) := x : jx p G(y)j ; arg(x p G(y)) = arg(p) ; 3 x (y) := fx : jx G(y)j = jpj + ; arg(p) arg(x G(y)) arg(p)g ; 4 x x (y) := fx : jx G(y)j = jpj + ; arg(p) arg(x G(y)) arg(p) + g : 5 x x Here, > 0 is a small positive constant. Note that later on, the change of variables into (u; v) coordinates will allow us to drop the corresponding G(y) term in the contour when suciently close to the critical point (p; q). Now, as jj increases with jj , we would like to nd an interpolation of the x quasi-local contour, shrinking it until it no longer wraps i t 1 1 around the zero set of H . To do this, notice that when y = qe for t 2 1; [ ; 1 , 2 2 jp + G(y)j > jpj uniformly, since (p; q) is a strictly minimal critical point of H . Therefore, 1 1 we can nd a > 0 so that jp + G(y)j > jpj + for every t 2 1; [ ; 1 . 2 2 For y = qe with jj > , we linearly interpolate the radius jx G(y)j in and 4 5 from jpj + to jpj + as jj increases from to , while correspondingly adjusting each x y other part of the contour, , to form a closed curve as necessary. This gradually shrinks the quasi-local contour until it no longer wraps around the zero set V . We will show that the integrand is small along all parts of this contour, so the details of how the intersect are not important. This completes the description of a possible quasi-local contour near (p; q), but we will morph it slightly so that it is more convenient. Consider applying the change of variables given in Section 4.1. Since v = y, the v portion of the contour is identical to the y portion of the contour. Then, since u = x + (v q) + (v q) , each contour (y) is translated by 1 2 i (v q) + (v q) , so that it retains its overall shape but is centered at a new location. 1 2 Additionally, the parameterization of the zero set G(y) changes to a new parameterization (v) (discussed below) such that H (p + (v); v) = 0. (v) oscillates slower than G(y) near the critical point. (Here, H (u; v) = H (x; y), as de ned in Equation (4).) This will allow us to approximate our quasi-local cycle as a product contour near the critical point (p; q), because we will show that we can drop (v) from the contour for y close enough to q. In summary, the nal quasi-local cycle C(p; q) (in (u; v)-coordinates) near the critical point (p; q) has three regimes. The contour is an arc in v, and wraps around the zero set of H in u. Let v = qe . When r , the u-contour wraps exactly around the point, p, and this portion of the contour is a product contour. When r , the contour instead wraps around the point p + ~(v) for a suitably chosen interpolation ~. Finally, if , then the u-contour gradually shrinks as increases, until it no longer intersects the zero set of H at all. Here, we discuss the parameterization, (v), and interpolation, ~(v), in more detail. 11 ~ Using the chain rule, we have H (p; q) = H (p; q). Since H (p; q) 6= 0 by assumption, and u x x since H is analytic, the implicit function theorem guarantees that there exists a smooth ~ ~ parameterization (v) of the zero set of H , so that H (p + (v); v) = 0 for v suciently close to q. Investigating (v) a little further, we use the power series expansion of H about (p; q), given in Equation (4), along with the facts that d = d = d = 0, to obtain the following: 00 01 02 2 3 0 = H (p + (v); v) = d (v) + O((v)) + O(v q) : Thus, (v) = O(vq) . However, by comparing (v) to G(y), we nd that G(y) = (y 2 3 q) (y q) + O(y q) . This provides more insight into this change of variables: in addition to allowing us to write H as a nice power series with some vanishing coecients, the change of variables also describes V near (p; q). By converting the contour into (u; v)- coordinates, we are able to stabilize the u contours, slowing down the movement of the zero set of H when it is parameterized by v. We take advantage of this slow-down by morphing our contour slightly, as described in the following paragraph. In order to break the 2-dimensional Cauchy integral into two one-dimensional integrals, we need the quasi-local contour to be a product contour near the critical point, (p; q). To 2 2 5 5 achieve this goal, we will need to break into two cases: when jj r and when jj > r , for v = qe . Let us rst analyze jv qj in these cases: v q = qe q = qi + O() : (5) In the second line, we use the power series expansion for e , which holds uniformly as 2 6 5 5 ! 0. Now, if jj r , then j(v q) j = O r < for r suciently large. Hence, 2 6 5 5 when jj r , j(v)j = O r . Therefore, for r suciently large, the point p + (v) is always within the circle of radius about the point p, and we can morph our u-contour so that it is centered exactly around the point p instead of the point p + (v). Thus, we will drop (v) from the de nitions of all the when r , which means that the u contour no longer depends on v when r . (Note that this corresponds to a similar shift in the original (x; y)-coordinates, which can be computed explicitly to justify that the original torus T can be morphed locally to this new contour.) The portion of the contour where r will yield the dominating contribution to the integral asymptotically. In the other regime, when r , we cannot simply eliminate (v). Instead, let ~(v) be 2 7 5 20 0 when r , let it be (v) when r , and let it linearly interpolate between 0 and 2 7 5 20 (v) when r r . We replace (v) with ~(v) in the de nition of the quasi-local cycle. Note that ~(v) = O(v q) as v tends to q. We will use this condition much later in the proof. This completes the description of the quasi-local cycle. 4.3 Away from the Quasi-Local Cycle Let us justify that the integral over the quasi-local cycle provides the main contribution to the asymptotics of the coecients, and that the remainder of the domain of integration 12 contributes negligibly in comparison. In order to do so, we will nd a way to expand the torus T away from the quasi-local cycle so that the integrand decays exponentially faster here when compared to the quasi-local cycle. To begin, consider the case where there is only one strictly minimal critical point, (p; q). Formally, by strictly minimal, we mean the following: fjxj jpjg\fjyj jqjg\V = (p; q): Here again, V = f(x; y)jH (x; y) = 0g. Consider the torus, T := fx : jxj = jpjgfy : jyj = jqjg. From this torus, remove an (p;q) open neighborhood N of the point (p; q), where N is so small that the angular sectors of the torus that it covers in x and y are smaller than the angular sectors of the torus that C covers in x and y. That is, the y component of N should only consist of y values whose arguments j arg(y) qj < c < for some constant c > 0. Similarly, for each y 2 C, the arguments of the x values in N should not vary from p + G(y) more than the arguments of the x values in C. Now, T nN is a closed set which does not intersect the closed set, V . Thus, there (p;q) are open sets dividing these two sets. This implies that there is a neighborhood of T nN (p;q) which does not intersect V . There is some > 0 such that the x arc of T nN can be (p;q) expanded by without hitting V . Then, at every point of this new cycle away from the critical point (p; q), we have that jxj jpj + . This forces the Cauchy integral to decay exponentially faster away from the critical point than it does near (p; q), proving that the asymptotic contribution to the integral cannot come from T . (p+ ;q) After expanding T to T := fx : jxj = jpj + g fy : jyj = jqjg, notice that (p;q) (p+ ;q) T nN can be connected to the quasi-local cycle C by adding two short lines at the ends (p+ ;q) of the x contours connecting the circle of radius to the ends of and . Because these 4 5 lines are contained entirely within the region near (p; q) where the implicit function theorem holds for G(y), the lines cannot hit any zeroes of H . Also, the magnitude of xy along these lines is always greater than the magnitude of pq because jxj > jpj, which means that these lines also do not contribute to the asymptotics of the integral, and may be ignored. 5 Approximating with a Product Integral With our quasi-local cycle and change of variables de ned, we are ready to begin analyzing the Cauchy integral formula, Equation (3). Writing the quasi-local cycle near (p; q) asC(p; q), we apply the change of variables to the Cauchy integral formula restricted to C(p; q) to obtain the following integral: r1 2 s1 H (u; v) u (v q) (v q) v du dv: (6) 1 2 2i C(p;q) Here, we used the fact that the Jacobian of the transformation is 1. Our goal now is to show that this integral is essentially a product integral. The following lemma describes this 13 precisely. Lemma 3. The integral in Equation (6) is asymptotically equivalent to the following: 2 r1 1 (v q) + (v q) 1 2 r1 s1 [H (p; q) (u p)] u v 1 du dv: 2i p C (p;q) r+O(1) The above estimate holds as r; s ! 1 with = . Here, C (p; q) is the portion of C(p; q) where jj r . Hence, C (p; q) is a product contour. The proof of this lemma involves two types of statements: near the critical point, where ju pj and jv qj are both suciently small, we will argue that the integrands are asymp- totically the same. Away from the critical point, where at least one of ju pj or jv qj is suciently large, we will show that both integrands are small, and hence do not con- tribute asymptotically to either integral. (In the second integral, we need only show that the integrand is small when ju pj is large, since jv qj is always small in C (p; q).) 5.1 When ju pj and jv qj are Small In order to match the two integrands when jv qj and ju pj are small, we rewrite the original: r1 2 s1 H (u; v) u (v q) (v q) v 1 2 r1 (v q) + (v q) 1 2 r1 s1 = [H (p; q) (u p)] u v 1 K (u; v)L(u; v): Here, K and L are correction factors with the following de nitions: ! " # 2 r1 (vq)+ (vq) 1 2 H (u; v) K (u; v) := ; L(u; v) := : (vq)+ (vq) 1 2 H (p; q)(u p) 1 x Thus, our goal is to show that K and L are asymptotically equivalent to 1. We can analyze K and L along each part of the contour where (u p) and (v q) are small, and verify r+O(1) that in every case, they are asymptotically equal to 1 + o(1) as r; s ! 1 with = . Explicitly, we will show this for u in , and for the parts of and suciently close to 1 2 3 the critical point. Recall that C is the v-portion of the quasi-local contour, shown on the left in Figure 2, where v = qe for jj with > 0 a small constant. y y Lemma 4. Assume v 2 C with jj r . Also, assume that either u 2 , or that y 1 !t u 2 [ with u = p + and t r . Then, the following holds uniformly as r; s ! 1 2 3 r+O(1) with = : K (u; v) = 1 + o(1): 14 Proof. We pull aside the numerator of K (u; v): 2 2 (v q) + (v q) (v q) + (v q) 1 1 2 1 2 1 = 1 : u p u 1 1 1 u u For u 2 , ju pj = . Thus, we have 1 = O (r ), and 1 < 1 for r suciently r p p large. Hence, we can expand as a uniformly convergent geometric series for all 1 1 ( ) u 2 . This yields the following: (v q) + (v q) 1 2 " # (v q) + (v q) u u 1 2 = 1 1 + 1 + 1 + : (7) p p p Now, we can replace the numerator in the base of K by the expression in Equation (7) to obtain the following: " # (vq)+ (vq) 1 2 (vq)+ (vq) 2 1 2 1 u u = 1 1 + O 1 : (8) 2 2 (vq)+ (vq) (vq)+ (vq) 1 2 1 2 p p 1 1 p p Equation (8) holds uniformly for jj r and u in the region of the lemma, as r ! 1. Between and the regions of and described in the lemma, 1 = O r . Also, 1 2 3 from Equation (5), jv qj = O r . Plugging these facts into Equation (8) yields the following: (vq)+ (vq) 1 2 = 1 + O r : (vq)+ (vq) 1 2 We replace the base of K with this new expression and use the Taylor series for the natural logarithm to obtain: 11 11 r1 10 10 (r1) ln 1+O r (r1)O r K (u; v) = 1 + O r = e = e = 1 + o(1): Next, we prove the corresponding statement for L(u; v) on and the parts of and 1 2 3 suciently close to p. Lemma 5. Assume v 2 C with jj r . Also, assume either that u 2 , or that y 1 !t u 2 [ with u = p + and t r . Then, the following holds uniformly as r; s ! 1 2 3 r+O(1) with = : L(u; v) = 1 + o(1): 15 ~ Proof. Recall that H (u; v) has a particularly nice power series, given in Equation (4): m n H (u; v) = d (u p) (v q) : mn m;n0 In this series, we have the restrictions, d = d = d = 0. Hence, we can express H in the 00 01 02 following manner: H = d (u p) + f (u; v) + g(u; v) + h(u; v): (9) Here, we choose f; g; and h to be any functions satisfying Equation (9) such that f (u; v) = 2 3 O(u p) ; g(u; v) = O ((u p)(v q)) ; and h(u; v) = O(v q) , each uniformly as (u; v) approaches (p; q). Also, we recall that in the power series expansion of H , d = H (p; q). 10 x We now plug Equation (9) into the de nition of L: " # H (u; v) L(u; v) := H (p; q)(u p) f + g + h = 1 + : (10) H (p; q)(u p) In the region described in this Lemma, we have the restrictions, ju pj r , and jv qj = O r . Thus, we obtain the following expressions: f (u; v) 7 = O(u p) = O r ; H (p; q)(u p) g(u; v) 2 = O(v q) = O r ; H (p; q)(u p) h(u; v) (v q) 2 1 5 5 = O = O r r = O r : H (p; q)(u p) u p Each of these statements holds uniformly over the region in the lemma as r ! 1. Plugging these into Equation (10) above yields the desired result: h i L(u; v) = 1 + O r = 1 + o(1): This completes the proof that our integrand is essentially a product integrand near the critical point. It remains to show that the contributions away from the critical point are negligible. 16 5.2 When (u p) or (v q) is Big In order to nish justifying that the integral in Equation (6) is approximately a product integral, we must show both that the integral in Equation (6) and the product integral in Lemma 3 are small away from the critical point, (p; q). We show this by approximating the magnitude of the integrands on the portion of the contours away from (p; q), and seeing that the contributions to the integral away from the critical point are negligible in comparison to the nal approximation for the coecients of H . We look at the integrals separately. Lemma 6. Let C(p; q) represent the portion of C(p; q) where at least one of the following 2 7 5 10 conditions holds: jj > r or ju qj r . Then, the following holds uniformly as r+O(1) r; s ! 1 with = for some constant d > 0: r1 2 s1 H (u; v) u (v q) (v q) v du dv 1 2 2i C(p;q) r s j j r = O p q r e : Proof. We bound the terms of the integrand separately. First, recall the nice power series, m n ~ ~ H (u; v) = d (u p) (v q) , with the relations, d = d = d = 0 and H (p + mn 00 01 02 m;n0 (v); v) = 0. Recall that (v) is the parameterization of the zero set of H (u; v) near (p; q), and that ~(v) is the interpolation of this parameterization that is zero suciently close to (p; q) and (v) further from (p; q), as described in Section 4.2. De ne u by u = u p ~(v) and v by v = v q. H (p + (v); v) can be represented as follows: 2 3 0 = H (p + (v); v) = d (v) + d (v)v + d (v) + d v + : 10 11 20 03 With this in mind, we plug the point (p + ~(v) +u; v) into the power series of H and extract the portion corresponding to H (p + (v); v): ~ ~ H (p + ~(v) + u; v) = H (p + (v); v) + d [ ~ ](v) + u + O [ ~ ](v) + O(u ) + O [ ~ ](v)u + O (v)[ ~ ](v) + O (v)u + O [ ~ ](v)v + O u v : 7 7 3 3 20 20 Recall that [ ~ ](v) = O (v ) and (v) = O (v ). For jj r ; v = O r by 21 7 20 20 Equation (5), so that [ ~ ](v) = O r . However, for jj r ; ~ is exactly . Thus, [ ~ ](v) = O r for all jj . Additionally, ju j on all parts of C. Therefore, for , , and suciently small, all terms in the expansion of H are negligible except x y x d u . Since ju j and since H is bounded on compact sets, we have the following bound uniformly on C: j j H = O r : (11) 17 r Now, we turn to the remaining part of the integrand. Using the relation, s = + O(1) as r; s ! 1, we have the following: r1 2 s1 u (v q) (v q) v 1 2 r 2 1+O(1) r'(u;v) = p q u (v q) (v q) v e : (12) 1 2 r 2 Here, we also took a factor of p out of (u (v q) (v q) ) and a factor of q q 2 h i 1 2 1 v out of v . ' is de ned by '(u; v) = ln [u (v q) (v q) ] + ln . We 1 2 p q can expand ' as a bivariate power series: 1 M 2 2 3 '(u; v) = (u p) + (v q) + O (u p)(v q) + O(u p) + O(v q) : (13) p 2 This equation holds uniformly as (u; v) approaches (p; q). M is a constant in terms of the derivatives of H , as de ned in the statement of Theorem 1. Rewriting '(u; v) in terms of ; ~ u; and v = qi + O() gives the following as u; v ! 0: '(u; v) = '(p + ~(v) + u; q + cv ) 1 M 2 2 3 = ( ~(v) + u ) + (v ) + O ( ~(v) + u )(v ) + O( ~(v) + u ) + O(v ) p 2 1 M 2 3 = u + (v ) + O(u v ) + O(u ) + O(v ) p 2 1 q M 2 2 3 = u + O(u ) + O(u ) + O() : p 2 r' From here, our goal is to bound e in magnitude. To do so, we will investigate the q M real part of '. Let d = Re , which is a strictly positive number by assumption. We break into cases now. Case 1: Consider the case where u is close to the critical point p, in the sense that either u 2 2 7 2 5 10 5 and jj r , or u 2 or and ju j r but jj r . Either ju j = for u 2 , 2 3 1 which is much smaller than , or u is a strictly positive real number if u 2 [ . In 2 3 either case, u at worst does not increase the real part of ', and we obtain the following: q M dr 2 2 Re ('(u; v)) Re + o() : 2 2 The above inequality holds for r suciently large and for and small enough. x y Thus, we have for r suciently large: r'(u;v) r e e : 18 u ~(v) ~(v) 1 + jpj 1 + jpj Figure 3: must be small when is small. Case 2: Consider the case where u 2 or and ju j r . (This case is only relevant when 2 3 jj is small enough for and to be part of the contour.) For suciently small and 2 3 x , the O(u ) term is dominated by the u term. The remaining terms are dominated by the term, so these terms can only increase the real part of '. Thus, the real part of ' is at least half the u term, and we have the following for r suciently large: 1 3 Re ('(u; v)) r : 2jpj Plugging this into the exponential yields the following: r'(u;v) 2jpj e e : Case 3: Now, consider the case where u 2 or . If jj , then ju ~(v)j = jpj + . 4 5 x Similarly, if jj , then ju ~(v)j jp j + minf; g. Let E = minf; g. Then, 1 1 x x 1 1 E u [ju ~(v)jjpj] : (14) p p jpj Also, for suciently small (depending on and jpj), the following holds: x x jarg(u p ~(v)) arg(p)j : (15) ~(v) This statement should be clear graphically: let = arg 1 , and consider p p Figure 3. Clearly, as tends to zero, approaches zero as well, verifying Equation (15). Combining Equation (14) and Equation (15), we have the following: 1 E E Re u cos (arg(u p ~(v)) arg(p)) : p jpj 2jpj 19 Just like in Case 2, in the expansion of ', the O(u ) term is dominated by the u term, and the remaining terms are dominated by the term, which only adds to the real part of '. Hence, for ; ; and suciently small we have: x x y Re('(u; v)) : 4jpj This yields: r'(u;v) 4jpj e e : This decay is much greater than in the other cases: this is because here, (u; v) is bounded away from (p; q) by a constant amount. In every case, we have the following bound for ; ; ; and suciently small and r x x y suciently large: r'(u;v) r e e : (16) Finally, notice that for , , , and suciently small, x y x 2 1+O(1) 1 1+O(1) u (v q) (v q) v 2 p q : (17) 1 2 Plugging Equation (16) and Equation (17) back into Equation (12) gives the following: 2 r1 s1 r1 s1+O(1) r (u (v q) (v q) ) v 2p q e : (18) 1 2 Recognizing that the entire domain of integration has size bounded by a constant, we combine Equation (11) and Equation (18) to get the desired result: 1 d 2 r1 s1 r s j j r 5 H (u; v) (u (vq) (vq) ) v du dv = O p q r e : 1 2 2i C(p;q) Now, we examine the corresponding statement for the product integral. Lemma 7. Let C represent the portion of C where ju qj r . Then, the following r+O(1) holds uniformly as r; s ! 1 with = for some constant d > 0: 2 r1 1 (v q) + (v q) 1 2 r1 s1 [H (p; q) (u p)] u v 1 du dv 2i p C (p;q) r s j j r 5 = O p q r e : Proof. This statement can be proved by using the same method as in Lemma 6, by rewrit- ing the integrand and examining the analogue of the function '(u; v) in Lemma 6. The corresponding function has exactly the same form as '(u; v) in Equation (13). 20 We have nearly completed the proof of Lemma 3. However, it is not yet clear that the bounds we have found away from the critical point are small compared to the value of the whole integral. It turns out that the exponential term in these bounds, e , will ensure that these bounds are small compared to the integral overall. To show this, it remains to evaluate the asymptotic contribution of the product integral, which will simultaneously show that the contributions to the integral away from the critical point are negligible. 6 Analyzing the Product Integral Lemma 3 has reduced our work to computing the following: 2 r1 1 (v q) + (v q) 1 2 r1 s1 [H (p; q) (u p)] u v 1 du dv: 2i p C (p;q) We break it up into two univariate integrals, to be analyzed separately: r1 [H (p; q) (u p)] u du 2i r1 (v q) + (v q) 1 2 s1 v 1 dv : (19) Above, U is the u-projection of the contour, C , which resembles the x contour in Figure 2, n o but with G(y) = 0. V is likewise the v-projection, which is the set, v : v = qe ;jj r . We analyze each integral in lemmas below. r+O(1) Lemma 8. The following holds uniformly as r; s ! 1 with = : 2i r1 1 r (2i!) 1 r [H (p; q) (u p)] u du = r p (H (p; q)p) e + o r p : x x ( ) Here, ! is de ned to be the signed number of times the curve H (tp; tq) crosses the branch cut in the de nition of the function x , as described in the statement of the Theorem. The main idea behind the proof of this lemma is that the remaining integral is almost a univariate Cauchy integral, but with a shrunken domain of integration. Thus, the integral is approximately equal to the coecients of [H (p; q) (u p)] , which can be estimated using the binomial theorem and Stirling's approximation. To account for the branch cut (2i!) in the original function H (x; y) , we add a term e , where ! counts the number of times the image of H wraps around the origin as the input increases from (0; 0) to (p; q). An example is illustrated in Figure 4. Proof. The contour U is comprised of the segments for 1 i 5 in the case where jv qj r . The endpoints of the contour, at the beginning of and end of , both 4 5 21 have magnitude juj = jpj + . We can attach these endpoints to a portion of the circle fu : juj = jpj + g to form a closed cycle C that wraps around the origin and contains no x u r1 singularities of [H (p; q) (u p)] . Because u is exponentially smaller on the circle fu : juj = jpj + g than it is near the critical point p, we have: r1 r1 [H (p; q) (u p)] u du = (1 + o(1)) [H (p; q) (u p)] u du: x x U C Now, we can use the Cauchy integral formula to evaluate this integral. However, we nally must worry about how the analytic continuation of H is de ned. H (0; 0) is nonzero by assumption, and the values of H are de ned near the origin of C by the generating function itself. Separately from the analytic continuation of H that we have used up to this point, we choose a branch of the logarithm with the following properties: the branch must agree with H on some small neighborhood of the origin, and its branch cut must be a line from the origin that is not the line `(t) = tH (p; q)p for t 0, for any of the critical points (p; q). De ne x as the value of x obtained by using this branch of the logarithm. Consider the curve H (tp; tq) in C, with t 2 [0; 1). This curve may wrap around the origin several times, and in particular, may cross the branch cut described above. Recall the bivariate power series for H (x; y): m n H (x; y) = h (x p) (y q) : mn m;n0 Plugging in our parameterization yields: H (tp; tq) = h (tp p) + h (tq q) + 10 01 = (1 t)(ph qh ) + O(1 t) : 10 01 The above equations are true as t ! 1. Recall the following conditions: H (p; q) 6= 0, and H (p; q) = H (p; q). Plugging this into our computations above yields: y x H (tp; tq) = (1 t)(p(1 + )H (p; q)) + O(1 t) : Thus, as t tends to 1, the curve H (tq; tq) is essentially linear, with quadratic error. As long as the branch cut chosen above is not the line `(t) mentioned above, the curve will only cross the branch cut nitely many times. Let ! be the signed number of times the curve H (tp; tq) crosses the branch cut in the counter-clockwise direction for t 2 [0; 1). That is, every time the curve crosses the branch cut in the counter-clockwise direction, add 1 to !, and every time it crosses in the clockwise direction, subtract 1 from !. If the curve only touches the branch cut without crossing it, leave ! unchanged. As t approaches 1, we have shown that H behaves essentially like H (p; q)(u p), and we have traced how the argument changes as we expand the two-dimensional torus towards the critical point. Now, in order to revert the integral over C back to the appropriate 22 H (tp; tq) H (0; 0) H (p; q) tpH (p; q) Re H branch cut Im H Figure 4: An example with ! = 1. coecient of H (p; q)(up) by using the Cauchy integral formula, we must follow the image of H (p; q)(u p) from u = p back to the origin u = 0. As u follows the line from p to 0, the H (p; q)(u p) will follow the line in C from 0 to pH (p; q), the point whose power we x x are trying to determine. Because this straight line is `(t), it will not cross the branch cut we chose above. Thus, ! already accounts for the total number of times the branch cut is crossed. Figure 4 shows an example of this setup. In this example, ! = 1, because H (tp; tq) crosses the branch cut once in the counter-clockwise direction. In conclusion, we have the following: r1 [H (p; q) (u p)] u du = (1 + o(1))2i [u ] (H (p; q) (u p)) r r (2i!) = (1 + o(1))2i(H (p; q)) (H (p; q)p) e x x 2i 1 r (2i!) 1 r = r p (H (p; q)p) e +o r p : ( ) In the last line, we used Stirling's approximation to complete the proof. We turn our attention to the other integral, and nd its asymptotic contribution. r+O(1) Lemma 9. The following holds uniformly as r; s ! 1 with = : r1 (v q) + (v q) 2 1 2 s1 s s v 1 dv = iq + o q r : p q Mr Here, the square root is taken to be the principal root. This integral is nearly a Fourier-Laplace integral, again with a shrunken domain of inte- gration, and thus can be estimated using standard Fourier-Laplace approximations. 23 r+O(1) Proof. Note that = implies that s = + O(1). We rewrite the integrand: r1 O(1) (v q) + (v q) v 1 2 s1 s1 r (v) v 1 = q e : p q h i (vq)+ (vq) 1 2 1 v Above, we de ne as (v) := log 1 + log . Next, we expand (v) p q as a Taylor series about v = q: 2 3 (v) = (v q) + O(v q) : O(1) Also, since v = qe and jj r , we have that = 1 + o(1). Plugging these expressions into the integral and rewriting it in terms of gives us the following: r1 (v q) + (v q) 1 2 s1 v 1 dv M 2 3 r (vq) +O(vq) s1 [ ] = q e (1 + o(1)) dv q M 2 3 r +O() s 2 i = iq [1 + o(1)] e e d r q M s i = iq [1 + o(1)] e e d: (20) 6 3 3 rO() The last line is true because O() = O r implies that e = 1+o(1). The remaining integral is nearly a Fourier-Laplace integral, but it has a shrinking domain of integration. We justify that this can be replaced by a domain of integration of constant size. Speci cally, we aim to show that for some > 0 small enough, the following holds: 2 2 q M q M 2 2 1 r r d 2 i 2 i r 5 e e d = e e d + O e : (21) To see this, notice that if jj r , then we have: q M d 4 Re r : 2 2 q M Above, as before, we de ne d = Re . Then, we have the following: q M 2 5 e e : 24 This justi es Equation (21). To analyze the remaining integral, we use the standard saddle point approximation, which is proved in Theorem 4.1.1 in [PW13]. The amplitude A() = e q M 2 and the phase () = are both analytic functions near = 0, and Re() 0 on the interval [; ], with equality only at = 0. Thus, we have: q M 2 2 2 i r(0) e e d = (1 + o(1))A(0) e = (1 + o(1)) : (22) 00 2 (0)r q Mr In the above expression, the square root is the principal root. Plugging Equation (22) into the remaining integral in Equation (20) nishes the proof. Plugging the results of Lemma 8 and Lemma 9 into Equation (19) gives us the nal result: 2 r1 1 2 r1 s1 2 [H (p; q) (u p)] u du v 1 (v q) (v q) dv 2i p p U V r s (2i!) r p q (H (p; q)p) e = [1 + o(1)] p : ( ) 2q M Unfortunately, for general H , the formula in the Theorem becomes quite messy, as we must nd how many times the image of H wraps around the origin along the path connecting (0; 0) to each critical point (p; q). Additionally, the sign of the square root in the formula can cause headaches. Luckily, in the case where H has only real coecients and there is a single smooth strictly minimal critical point, we can simplify the formula, as seen in Corollary 2 above. The proof of the Corollary is simple from here. Proof. Since H has real coecients and p and q are positive real numbers, we must have that H (p; q)p is real. The line H (tp; tq) for 0 t 1 is real and can't pass through the origin since (p; q) is minimal. Also, the line from 0 to H (p; q)p is real, and it approximates H (tp; tq) for t near 1, as described in Section 6 and Figure 4 above. This would mean that H (p; q)p is in fact positive. Additionally, the line H (tp; tq) cannot wrap around the origin, which forces ! = 0 in the statement of the original Theorem. As a result, f(H (p; q)p) g x P is positive. With this term positive, the only other term with an unknown sign is 2q M . However, knowing that 2q M is real, in order for the coecients of H to be real at all, 2 2 2q M must be negative. Thus, 2q M is always positive (since the principal root is taken), which forces the whole formula to be positive always. 7 Examples 7.1 A Generating Function with Multinomial Coecients In order to see how Theorem 1 can be applied, we look at an arti cial example where the computations are particularly simple, and where it is easy to verify that there is a strictly 25 r r minimal critical point. Consider the coecients x y of the generating function, F (x; y) = : (1 x y) 1 1 r s 2 2 Using the Multinomial Theorem, we have that the coecient [x y ]F (x; y) = . r s 1 1 2 2 Thus, using Theorem 1, we will nd an approximation for for large r. Here, the r r direction = 1. So, the critical point equations become the following: 1 x y = 0; x = y: The unique solution to these equations is (p; q) = (1=2; 1=2). Because the x partial derivative of 1 x y never vanishes, this point is a smooth critical point. Additionally, it is easy to verify that (1=2; 1=2) must be a strictly minimal critical point: on the zero set of 1 x y, 1 1 we have that y = 1 x, and it is clear that if jxj , then jyj , with equality only 2 2 r r when x = y = . Thus, we can apply Corollary 2 to approximate [x y ]F (x; y). With H (x; y) = 1 x y and = 1, we compute the following: = 1; = 0; H (1=2; 1=2) = 1; M = 8: 1 2 x Plugging these into Corollary 1 with = 1=2 yields: 2r1=2 r r [x y ]F (x; y) : For r = 100, this approximation yields 3:61688 10 , while the actual coecient of F (x; y), 1=2 1=2100 , is approximately 3:61011 10 . 100 100 7.2 Complete Graph Coloring Using Corollary 2 above, we will nd an asymptotic formula for the coecients of the fol- lowing bivariate generating function: 1 x(1 + y) F (x; y) = p : 2 2 1 2x(1 + y) x (1 y) This generating function describes the stationary distributions of a red/blue color-swapping r s algorithm on the complete graphs K , where the coecient of x y is proportional to the probability that s of the vertices of K are blue in the stationary distribution, rescaled by 2r2 a factor proportional to . For more details, see [BCCG15]. Because each y term is attached to an x of equal or greater power, the power series expansion of F will have no terms where the power of y is larger than the power of x. Thus, we will look at the asymptotics 1 s only the case where := = 2 (0; 1). (We switch to so that the range of possible directions is bounded.) The following paragraphs brie y describe how to check the conditions of Corollary 2 computationally. A Maple worksheet providing the code for these computations is available online: 26 https://github.com/TorinGreenwood/JCTA-BivAlg 2 2 To begin, we nd the critical points of the denominator, H (x; y) = 1 2x(1 +y)x (1y) . We can use a Gr obner basis to compute these points in terms of . Here, the rst polynomial in the basis is as follows: 2 2 3 2 2 1 2 + + (4 2 + 6)x + 2x + (2 4 + 3)x : Because this is a degree 3 polynomial in x, we can solve for the three values of x explicitly in terms of . Once the x solutions are found, they can be plugged into the second basis element of the Gr obner basis to compute the corresponding y solutions in terms of . We must check that all of these critical points are smooth, that neither x nor y is zero, and that M is not zero at each critical point where 2 (0; 1). Each of these facts can be veri ed with additional Gr obner bases. Showing that M is nonzero requires a slightly more complicated Gr obner basis, but it is easy to verify via Sturm sequences that M is never zero for 2 (0; 1). Finally, checking the critical points for minimality is computationally dicult, but can be achieved for any particular through quanti er elimination, using Mohab Safey El Din's RAGlib package, [Saf15], which relies on the FGb Maple package, [Fau10]. To see how closely the formula approximates coecients, we look at the case where = . Using the Gr obner bases mentioned above, we easily compute the unique minimal critical point, (p; q) = ; 1 . From here, we compute the following: 1 3 1 3 = ; = ; H ; 1 = 4; M = : 1 2 x 8 64 4 8 r+O(1) Thus, from Corollary 2 above (with = ), we have that as r; s ! 1 with 2 = as 2 s r; s ! 1, 2 4 r s 1=2 4 [x y ] H (x; y) q = p : 1 3 r 3 ( ) 2 4 m n If the numerator of F was a monomial ax y , it would simply shift the terms in the series of F by m in the x variable and n in the y variable, and multiply all the coecients by a. We can break up the numerator of F linearly and compute these shifts separately. Equivalently, to account for the fact that the numerator G(x; y) := 1 x(1 + y) is not a monomial, we multiply our approximation above by G evaluated at the critical point. In this case, since 1 1 G ; 1 = , the nal approximation is: 4 2 r s [x y ]F (x; y) : r 3 39 70 35 When r = 70; this formula gives approximately 3:6592410 . The actual value of [x y ] F (x; y) is approximately 3:59821 10 . The ratio of these values is 1:017, showing that the approx- imation is already quite good for r = 70. 27 8 Future Research Possible future research directions include nding more complete asymptotic expansions for the coecients of H , and also extending to more variables. Finding a more complete asymptotic expansion should be possible by analyzing the Cauchy integral using the same contour, but with more precise error handling. Extending the formula to more variables is challenging because the change of variables needed to approximate a multivariate function by a univariate linear function quickly becomes complicated. Another research direction would be to look at other types of algebraic singularities. For example, one could study the coecients of a function F (x; y) which is known to satisfy some polynomial equation but may not have the form H . One challenge in this case is to identify which singularities closest to the origin contribute to the asymptotics of the coecients. If it is possible to determine the singularities, then the equation F satis es can be used to estimate the behavior of F near the singularities. Assuming F is reasonably well-behaved near its singularities, the results in this paper could be applied like a transfer theorem to compute the asymptotics for the coecients of F . In some cases, it is possible to nd accurate computational estimates for the coecients of F , which may be enough to determine where the contributing critical points for F are located. Combining these results with other asymptotic techniques may yield stronger results and more complete asymptotic expansions, too. For example, creative telescoping methods take the generating function in question and nd a partial dierential equation that the function satis es. By nding a basis of solutions to this dierential equation, one can nd complete asymptotic expansions to the coecients of the generating function. Unfortunately, it is often dicult to nd the correct coecients of the solution to the PDE { this is referred to as the connection problem. However, if the leading-term asymptotics of the solution are known, the connection problem can often be solved. Thus, combining these creative telescoping methods with the rst-order asymptotics results in this paper, one may be able to analyze generating functions without too many technical computations. Acknowledgements The University of Pennsylvania supported this research in part, as I completed my doctoral thesis. This work was also supported in part by NSF grant DMS-1344199. I thank my advisor, Robin Pemantle, for his generous help and guidance. Mohab Safey El Din and Rainer Sinn graciously helped signi cantly with computations in the example. Thank you to the referees for the 28th International Conference on Formal Power Series and Algebraic Combinatorics for their valuable feedback and references, and to the anonymous referees for the Journal of Combinatorial Theory, Series A, for numerous very helpful suggestions. 28 References [BCCG15] S. Butler, F. Chung, J. Cummings, and R. Graham. Edge ipping in the complete graph. Preprint. Available online: http://www.math.ucsd.edu/ ronspubs/ pre_flipping.pdf [BR83] E.A. Bender and L.B. Richmond. Central and local limit theorems applied to asymptotic enumeration. II. Multivariate generating functions. In J. Combin. Theory Ser. A, vol 34 (1983) pp. 255-265. [Fau10] J.-C. Faug ere. FGb: A Library for Computing Gr obner Bases. In Komei Fukuda, Joris Hoeven, Michael Joswig, and Nobuki Takayama, editors, Mathematical Software ICMS 2010, vol 6327 of Lecture Notes in Computer Science, pp. 84- 87, Berlin, Heidelberg, September 2010. Available online: http://www-polsys. lip6.fr/ jcf/FGb/FGb/index.html [FO90] P. Flajolet and A. M. Odlyzko. Singularity analysis of generating functions. In SIAM J. Discrete Math., vol 3 (1990) pp. 216-240. Available online: http:// algo.inria.fr/flajolet/Publications/FlOd90b.pdf [GR92] Z. Gao and L.B. Richmond. Central and local limit theorems applied to asymptotic enumeration. IV. Multivariate generating functions. In J. Comput. Appl. Math., vol 41 (1992) pp. 177-186. [GM88] M. Goresky and R. MacPherson. Strati ed Morse Theory, Springer-Verlag, Berlin Heidelberg, 1988. Available online: http://www.math.ias.edu/ goresky/ MathPubl.html [Gre16] T. Greenwood. Asymptotics of Bivariate Analytic Functions with Algebraic Singularities. Extended abstract. In DMTCS proc., BC (2016) pp. 599-610. Available online: https://fpsac2016.sciencesconf.org/browse/author? authorid=413143 [Hwa96] Hwang, H.-K. Large deviations for combinatorial distributions. I. Central limit theorems. In Ann. Appl. Probab., vol 6 (1996) pp. 297-319. Available online: http://projecteuclid.org/download/pdf_1/euclid.aoap/1034968075 [Hwa98] Hwang, H.-K. Large deviations for combinatorial distributions. II. Local limit theorems. In Ann. Appl. Probab., vol 8 (1998) pp. 163-181. Available online: http://projecteuclid.org/download/pdf_1/euclid.aoap/1027961038 [PH14] S. Poznanovi c and C.E. Heitsch. Asymptotic distribution of motifs in a stochastic context-free grammar model of RNA folding. In J Math Biol., Dec 2014 pp. 1743- 72. Available online: https://www.ncbi.nlm.nih.gov/pubmed/24384698 29 [PW13] R. Pemantle and M. Wilson. Analytic Combinatorics in Several Variables, Cam- bridge University Press, New York, 2013. Available online: http://www.math. upenn.edu/ pemantle/ACSV.pdf [RW08] A. Raichev and M. Wilson. Asymptotics of Coecients of Multivariate Gener- ating Functions: Improvements for Smooth Points. In Electron. J. Combin., vol 15 (2008). Available online: http://www.combinatorics.org/ojs/index.php/ eljc/article/view/v15i1r89/pdf [Saf15] M. Safey El Din. RAGlib, a Maple package dedicated to real solutions of poly- nomial systems, March 2015. Available online: http://www-polsys.lip6.fr/ safey/RAGLib/
Mathematics – arXiv (Cornell University)
Published: Apr 15, 2016
You can share this free article with as many people as you like with the url below! We hope you enjoy this feature!
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.