arXiv:1101.4114v3 [math.AG] 13 Jun 2013 with iial,the Similarly, mapping eeisy[] e lotesres[]o 1] steiaeo h variet the of image the is [17]) or [9] surveys the also see [3], Zelevinsky n r eoe h rueto ope ubr(e 1,1,13 12, [11, (see number complex a of argument the denotes arg and da eeae yapolynomial a by generated ideal iua eti pca lse faobs(.. w-iesoa am two-dimensional (e.g., amoebas of classes special certain ticular utmr n sflt osdrtelgrtmcvrino an absolute of its version logarithmic of) the logarithm consider (the to to useful mapped and customary is coordinate complex each programming. tdigcmuainlqetoso mea a eniiitdi [2 in initiated been has amoebas of questions computational Studying o nideal an For e od n phrases. and words Key eerhspotdb F rn H13/- n fis author (first and 1333/2-1 TH grant DFG by supported Research 2010 C ∗ ahmtc ujc Classification. Subject Mathematics e oncin ewe c-aobs eileri n conve and coamoeba semialgebraic programming. semidefinite and (co-)amoebas, and respectiv amoebas between arg-map, on connections the problems new under computational varieties for algebraic techniques of images the and ain faobsbsdo h uso qae approach. squares of sums the result, on prov theoretical we based main Moreover, the amoebas certificates. As of polynomial tations coamoeba. the or on amoeba bounds an degree in techniq certificates point squares as a of identities of polynomial sums yields by method problem Our the Usin programming. tackle problem. to feasibility allows algebraic this real lensatz, suitable a as coamoebas) tively Abstract. := u prahi ae nfruaigtemmesi rbe namoe in problem membership the formulating on based is approach Our C PRXMTN MEA N COAMOEBAS AND AMOEBAS APPROXIMATING { \ coamoeba I 0 ( } z mea n omea r h oaihi mgso leri varie algebraic of images logarithmic the are coamoebas and Amoebas ⊂ n ednt the denote we and , 1 A z , . . . , C I HRTNTEBL N IOD WOLFF DE TIMO AND THEOBALD THORSTEN [ Z = C mea,sm fsurs elNlselnaz omea,sem coamoebas, Nullstellensatz, real squares, of sums Amoebas, 1 I Z , . . . , n U { ) sdfie as defined is I (log 7→ YSM FSQUARES OF SUMS BY = (arg( | n f z naob itoue yGel by (introduced amoeba an ] { 1 esotywrite shortly we , ( 1. | , . . . , | z z 1 1 Introduction 41,1Q0 90C22. 14Q10, 14P10, | ) , . . . , no amoeba unlog , . . . , C log I =Arg( := 1 | | arg( z z n n | | : ) : ) z n )) V z z A ( V ∈ V ∈ ∈ I by f ) T := ∩ ( ( n yteA .Humboldt-Foundation. v. A. the by ) I I ( =( := ) ) A C } ∩ ∗ h . f ) d oeata compu- actual some ide ( i n R C amoeba leri geometry algebraic x ,weeAgdntsthe denotes Arg where ), n analogously and l.W rsn new present We ely. / e n semidefinite and ues ∗ ,tu establishing thus s, fnon-containment of 4) If 14]). , 2 ) h elNullstel- real the g eetbihsome establish we π n ′ ad arnv and Kapranov, fand, } Z ) ea,aobsof amoebas oebas, n a (respec- bas au.I soften is It value. ] hr npar- in where 6], I y saprincipal a is V ties ( I U where ) idefinite f , C f . 2 THORSTEN THEOBALD AND TIMO DE WOLFF
Grassmannians) were studied. One of the natural and fundamental computational ques- tions is the membership problem, which asks for a given point (λ1,...,λn) whether this point is contained in an (unlog) amoeba respectively coamoeba. In [20] Purbhoo provided a characterization for the points in the complement of a hypersurface amoeba which can be used to numerically approximate the amoeba. His lopsidedness criterion provides an inequality-based certificate for non-containment of a point in an amoeba, but does not provide an algebraic certificate (in the sense of a polynomial identity certifying the non-containment). The certificates are given by iterated resultants. With this technique the amoeba can be approximated by a limit process. The computational efforts of computing the resultants are growing quite fast, and the convergence is slow. A different approach to tackle computational problems on amoebas is to apply suitable Nullstellen- or Positivstellens¨atze from real algebraic geometry or complex geometry. For some natural problems a direct approach via the Nullstellensatz (applied on a realification of the problem) is possible. Using a degree truncation approach, this allows to find sum- of-squares-based polynomial identities which certify that a certain point is located outside of an amoeba or coamoeba. In particular, it is well known from recent lines of research in computational semialgebraic geometry (see, e.g., [4, 5, 15]) that these certificates can be computed via semidefinite programming (SDP). In this paper, we discuss theoretical foundations as well as some practical issues of such an approach, thus establishing new connections between amoebas, semialgebraic and convex algebraic geometry and semidefinite programming. Firstly, we present various Nullstellensatz-type formulations (a standard approach in Statement 3.2 and a monomial approach in Statement 3.7) and compare their properties to a recent toric Nullstellensatz of Niculescu and Putinar [10]. Using a degree truncation approach this yields a sequence of supersets of the amoeba f , which converges to f (Theorem 3.11). For every fixed superset in this sequence, theA membership problemA can be solved by semidefinite pro- gramming. The main theoretical contribution is contained in Section 4. For one of our approaches, we can provide some degree bounds for the certificates (Corollary 4.5). It is remark- able and even somewhat surprising that these degree bounds are derived from Purbhoo’s lopsidedness criterion (which is not at all sum-of-squares-based). We also show that in certain cases (such as for the Grassmannian of lines) the degree bounds can be reduced to simpler amoebas (Theorem 4.7). In Section 5 we provide some actual computations on this symbolic-numerical approach. Besides providing some results on the membership problem itself, we will also consider more sophisticated versions (such as bounding the diameter of a complement component for certain classes). Finally, in Section 6 we give an outlook on further questions on the approach initiated in the current paper. APPROXIMATING AMOEBAS AND COAMOEBAS 3
Figure 1. The amoeba of f = Z2Z + Z Z2 4Z Z + 1. 1 2 1 2 − 1 2
2. Preliminaries
In the following, let C[Z] = C[Z1,...,Zn] denote the polynomial ring over C in n α C Nn variables. For f = α∈A cαZ [Z], the Newton polytope New(f) = conv α 0 : α supp(f) of f is the convex∈ hull of the exponent vectors, where supp(f) denotes{ ∈ the support∈ of f}. P
2.1. Amoebas and coamoebas. We recall some basic statements about amoebas (see [2, 9, 17]). For any ideal I C[Z], the amoeba is a closed set. For a polynomial ⊂ AI f C[Z], the complement of the hypersurface amoeba f consists of finitely many convex∈ regions, and these regions are in bijective correspondencA e with the different Laurent expansions of the rational function 1/f. See Figure 1 for an example. The order ν of a point w in the complement Rn is given by \Af 1 zj∂jf(z) dz1 dzn νj = n ··· , 1 j n , (2πi) 1 f(z) z z ≤ ≤ ZLog− (w) 1 ··· n where Log(z) is defined as Log(z) = (log z1 ,..., log zn ). The order mapping induces an injective map from the set of complement| components| | into| New(f) Zn. The complement components corresponding to the vertices of New(f) do always exist∩ [2]. n Similarly, for f C[Z] any connected component of the coamoeba complement T f ∈ n \ C is a convex set (see Figure 2). If f denotes the closure of f in the torus T , then the C n C number of connected components of T f is bounded by n! vol New(f) (Nisse [14, Thm. 5.19]), where vol denotes the volume. \ C For technical reasons (see Theorem 3.6) it will be often convenient to consider in the definition of a coamoeba also those points z (I) which have a zero-component. Namely, ∈V if a zero z of I has a zero-component zj = 0 then we associate this component to any phase. Call this modified version of a coamoeba ′ , i.e., CI ′ := φ Tn : z (I) : arg(z )= φ or z =0 for 1 j n . CI { ∈ ∃ ∈V j j j ≤ ≤ } 4 THORSTEN THEOBALD AND TIMO DE WOLFF
2 2 Figure 2. The coamoeba of f = Z1 Z2 + Z1Z2 4Z1Z2 + 1 in two different views of T2, namely [ π, π)2 versus [0, 2π)2. − − Note that for principal ideals I = f the difference between and ′ solely may occur h i CI CI at points which are contained in the closure of I . The set-theoretic difference of I and ′ Rn C ′ C I is a lower-dimensional subset of (since in each environment of a point in I I we haveC a coamoeba point). C \ C 2.2. The situation at . It is well-known that the geometry of amoebas at infinity (i.e., the “tentacles”) can∞ be characterized in terms of logarithmic limit sets and tropical geometry, and thus amoebas form one of the building blocks of tropical geometry (for general background on tropical geometry we refer to [8, 9, 22]). (R) (R) 1 Sn−1 Sn−1 For (large) R> 0 let denote the scaled version I := R I , where denotes the (n 1)-dimensionalA unit sphere. ExtendingA this definition,A ∩ the logarithmic (∞) − Sn−1 (R) limit set I is the set of points v such that there exists a sequence vR I A ∈ α C ∈ A with limR→∞ vR = v. For a polynomial f = α cαZ [Z] denote by trop f := α1 αn ∈ 0 Z1 Zn its tropicalization (with respect to the trivial valuation) over the tropical⊙ semiring⊙···⊙ (R, , ) := (R , max, +).P Then (see [8, 24]): L ⊕ ⊙ ∪ {−∞} Proposition 2.1. A vector w Rn 0 is contained in the tropical variety of I if and ∈ \{ } only if the corresponding unit vector 1 w is contained in (∞). Thus the tropical variety ||w|| AI of I coincides with the cone over the logarithmic limit set (∞). AI 3. Approximations based on the real Nullstellensatz We study certificates of points in the complement of the amoeba based on the real Nullstellensatz and compare them to existing statements in the literature (such as the toric Nullstellensatz of Niculescu and Putinar). By imposing degree truncations this will then yield a hierarchy of certificates of bounded degree. We use the following real Nullstellensatz (see, e.g., [1, 19]):
Proposition 3.1. For polynomials g1,...,gr R[X] and I := g1,...,gr R[X] the following statements are equivalent: ∈ h i ⊂ APPROXIMATING AMOEBAS AND COAMOEBAS 5
The real variety R(I) is empty. • There exist a polynomialV G I and a sum of squares polynomial H with • ∈ G + H +1 = 0 .
n Given λ (0, ) , the question if λ is contained in the unlog amoeba I can be phrased as the∈ real∞ solvability of a real system of polynomial equations. For a polynomialU re im f C[Z] = C[Z1,...,Zn] let f , f R[X,Y ] = R[X1,...,Xn,Y1,...,Yn] be its real and∈ imaginary parts, i.e., ∈ f(Z) = f(X + iY ) = f re(X,Y )+ i f im(X,Y ) . · We consider the ideal I′ R[X,Y ] generated by the polynomials ⊂ (3.1) f re, f im : 1 j r X2 + Y 2 λ2 : 1 k n . { j j ≤ ≤ } ∪ k k − k ≤ ≤ n Corollary 3.2. Let I = f1,...,fr , and λ (0, ) . Either the point λ is contained h i ′ ∈ ∞ in I , or there exist a polynomial G I R[X,Y ] and a sum of squares polynomial H U R[X,Y ] with ∈ ⊂ ∈ (3.2) G + H +1 = 0 . Proof. For any polynomial f C[Z] it suffices to observe that a point z = x + iy is ∈ re im contained in (f) if and only if (x, y) R(f ) R(f ), and that zk = λk if and only V2 2 2 ∈V ∩V | | (x, y) R(X + Y λ ). Then the statement follows from Proposition 3.1. ∈V − k Corollary 3.2 states that for any point λ there exists a certificate 6∈ UI r r n (3.3) p f re + p′ f im + q (X2 + Y 2 λ2)+ H +1 = 0 j j j j k k k − k j=1 j=1 X X Xk=1 ′ with polynomials pj,pj, qk and a sum of squares H. We refer to these certificates as certificates in the standard approach. We say that a certificate of the form (3.3) is of degree at most d if the (total) degree of each summand in (3.3) is at most d. Remark 3.3. By the following fact (which is easy to check), the sum of squares condi- tion 3.2 can also be stated shortly as 1 is a sum of squares in the quotient ring R[X,Y ]/I′ . −
Fact 3.4. (Parrilo [16].) Let I = g1,...,gr R[X] and f R[X]. There exist p ,...,p R[X] such that h i ⊂ ∈ 1 r ∈
f + pigi is a sum of squares in R[X] i X if and only if f is a sum of squares in R[X]/I. 6 THORSTEN THEOBALD AND TIMO DE WOLFF
Any two of these equivalent conditions in Fact 3.4 is a certificate for the nonnegativity of f on the variety I. Before stating a coamoeba version, we note the following normalization properties. Whenever it is needed for amoebas, we can assume that the point λ in the amoeba membership problem is the all-1-vector 1 Rn. Similarly, for the coamoeba membership problem we can assume that the investigated∈ point is the origin 0 Tn. ∈ Lemma 3.5. Let I = f ,...,f . h 1 ri (1) A point (λ ,...,λ ) (0, )n is contained in if and only if 1 , where 1 n ∈ ∞ UI ∈ Uhg1,...,gri g (Z ,...,Z ) := f (λ Z ,...,λ Z ) , 1 j r . j 1 n j 1 1 n n ≤ ≤ (2) A point (z ,...,z ) is contained in (I) with arg z = µ if and only if the (non- 1 n V j j negative) real vector y with y := z e−iµj is contained in (g ,...,g ) where j j V 1 r g (Z ,...,Z ) := f (Z eiµ1 ,...,Z eiµn ) , 1 j r . j 1 n j 1 n ≤ ≤ Proof. A point (z ,...,z ) is contained in (I) with z = λ if and only if the vector y 1 n V | j| j defined by yj := zj/λj is contained in (g1,...,gr) with yj = 1. The second statement follows similarly. V | |
Theorem 3.6. Let I = f1,...,fr . The point (0,..., 0) is contained in the complement of the coamoeba ′ if andh only if therei exists a polynomial identity CI r r n (3.4) c f (X2,Y )re + c′ f (X2,Y )im + d Y + H +1 = 0 j · j j · j k · k j=1 j=1 X X Xk=1 ′ R 2 with polynomials cj,cj,dk [X,Y ] and a sum of squares H. Here, fj(X ,Y ) abbreviates 2 2 ∈ fj(X1 ,...,Xn,Y1,...,Yn). Proof. Note that the statement 0 ′ is equivalent to z = x + iy Cn : z ∈ CI { ∈ ∈ (I) and xk 0, yk = 0, 1 k n = . Moreover, observe that the condition xk 0 V ≥ ≤ ≤ 2 } 6 ∅ ≥ can be replaced by considering Xk in the arguments of f1,...,fr. Hence, by Proposi- ′ tion 3.1 the statement 0 I is equivalent to the existence of a polynomial identity of the form (3.4). 6∈ C ′ Observe that in the proof the use of I (rather than I ) allowed to use the basic Nullstellensatz (rather than a Positivstellensatz,C which wouldC have introduced several sum of squares polynomials). The following variant of the Nullstellensatz approach will allow to obtain degree bounds Nn C∗ (see Section 4). For vectors α(1),...,α(d) 0 and coefficients b1,...,bd let d ∈ ∈ f = b Zα(j) C[Z]. For any given values of λ ,...,λ set j=1 j · ∈ 1 n P µ := λα(j) = λα(j)1 λα(j)n , 1 j d . j 1 ··· n ≤ ≤ If the rank of the matrix with columns α(1),...,α(d) is n (i.e., the vectors α(1),...,α(d) span Rn) then the λ-values can be reconstructed uniquely from the µ-values. We come up with the following variant of a Nullstellensatz. APPROXIMATING AMOEBAS AND COAMOEBAS 7
Here, let I := f ,...,f such that f is of the form di b Zα(i,j) with α(i, j) Nn. h 1 ri i j=1 ij ∈ 0 α(i,j) α(i,j)1 α(i,j)n ∗ Let mij be the monomial mij = Z = Z1 Zn P . We consider the ideal I R[X,Y ] generated by the polynomials ··· ⊂ (3.5) f re, f im : 1 i r (mre)2 +(mim)2 µ2 : 1 j d , 1 i r , { i i ≤ ≤ } ∪ ij ij − ij ≤ ≤ i ≤ ≤ α(i,j) where µij = λ .
r di Corollary 3.7. Let I := f1,...,fr , and assume that the set i=1 j=1 α(i, j) spans n h n i { } ∗ R . Either a point λ (0, ) is contained in I , or there exist polynomials G I R[X,Y ] and a sum of∈ squares∞ polynomial H RU[X,Y ] with S S ∈ ⊂ ∈ (3.6) G + H +1 = 0 . We refer to these certificates as certificates in the monomial approach.
For hypersurface amoebas of real polynomials, the membership problem relates to the following statement of Niculescu and Putinar [10]. Let p = p(X,Y ) R[X ,...,X , ∈ 1 n Y1,...,Yn] be a real polynomial. Then p can be written as a complex polynomial p(X,Y )=
P (Z, Z) with P C[Z1 ...,Zn, Z¯1,..., Z¯n] and P (Z, Z)= P (Z, Z¯). Note that there exists a polynomial Q ∈ C[Z ,...,Z ] with ∈ 1 n p(x, y)2 = P (z, z¯) 2 = Q(z) 2 for z T n , | | | | ∈ where T := z C : z =1 . The following{ ∈ statement| | can} be obtained by applying the Nullstellensatz on the set 2 2 2 z = (x, y): q(z) =1, z1 = 1,..., zn = 1 , then applying Putinar’s Theorem [21] on{ the multiplier| polynomial| | | of q(Z) 2 |(see| [10]).} | | n Proposition 3.8. Let q C[Z1,...,Zn]. Then q(z) = 0 for all z T if and only if there are complex polynomials∈ p ,...,p ,r ,...,r C[6Z ,...,Z ] with∈ 1 k 1 l ∈ 1 n (3.7) 1 + p (z) 2 + + p (z) 2 = q(z) 2( r (z) 2 + + r (z) 2) , z T n . | 1 | ··· | k | | | | 1 | ··· | l | ∈ Note that the statement is not an identity of polynomials, but an identity for all z in the n-torus T n. While Proposition 3.8 provides a nice structural result, due to the following reasons we prefer Corollary 3.2 for actual computations. In representation (3.7), two sums of squares polynomials (rather than just one as in (3.2)) are needed in the representation, and the degree is increased (by the squaring process). Moreover, the theorem is not really a representation theorem (in terms of an identity of polynomials), but an identity over T n; therefore in order to express this computationally, the polynomials hidden in this equivalence (i.e., the polynomials 1 Z 2,..., 1 Z 2) have to be additionally used. −| 1| −| n| SOS-based approximations. By putting degree truncations on the certificates, we can transform the theoretic statements into effective algorithmic procedures for constructing certificates. The idea of degree truncations in polynomial identities follows the same prin- ciples of the degree truncations with various types of Nullstellen- and Positivstellens¨atze in [4, 6, 15]. It is instructive to have a look at two simple examples first. 8 THORSTEN THEOBALD AND TIMO DE WOLFF
Example 3.9. Let f be the polynomial f = Z +z0 with a complex constant z0 = x0 +iy0. The ideal I′ of interest is defined by re h1 := f = X + x0 , im h2 := f = Y + y0 , h := X2 + Y 2 λ2 . 3 − For values of λ 0 which correspond to points outside the amoeba (i.e., λ2 = x2 + y2), we ≥ 6 0 0 have C(I)= and thus the Gr¨obner basis G of h , h , h is G = 1 . The corresponding V ∅ h 1 2 3i { } multiplier polynomials pj to represent 1 as a linear combination j pjhj are
X + x0 Y + y0 P 1 p = − , p = − , p = . 1 x2 + y2 λ2 2 x2 + y2 λ2 3 x2 + y2 λ2 0 0 − 0 0 − 0 0 − Hence, in particular, 1 can be written as a sum of squares in the quotient ring R[X]/I′. The necessary degree− with regard to equation (3.2) is just 2. 2 2 2 For λ = x0 + y0, the Gr¨obner basis (w.r.t. a lexicographic variable ordering with X Y ) is ≻ X + x0,Y + y0 . ′ The point ( x0, y0) is contained in R(I ); thus in this case there does not exist a Nullstellen-type− certificate.− V
Example 3.10. Consider the polynomial f = Z1 + Z2 + 5 with Zj = Xj + iYj. The ideal I′ of interest is defined by h := X + X +5 , h := Y + Y , h := X2 + Y 2 λ2 , h := X2 + Y 2 λ2 . 1 1 2 2 1 2 3 1 1 − 1 4 2 2 − 2 Consider λ1 = 2, λ2 = 3. Using a lexicographic ordering with X1 X2 Y1 Y2, a Gr¨obner basis is ≻ ≻ ≻ 2 Y2 ,Y1 + Y2 , X2 +3 , X1 +2 .
The standard monomials are 1 and Y2. It is easy to see that 1 is not a sum of squares in the quotient ring, which reflects the fact that (2, 3) . − ∈ UI Consider now the choice λ1 = 1 and λ2 = 2. Using lexicographic ordering again, the Gr¨obner basis is 2 25Y2 + 96 ,Y1 + Y2 , 5X2 + 14 , 5X1 + 11 . Hence, 25Y 2 96 mod I′, which gives the sum of squares identity 2 ≡ − 5 2 Y 1 mod I′ , √ 2 ≡ − 96 and thus shows (1, 2) / . ∈ UI Using the degree truncation approach for sums of squares we can for a given ideal I = f ,...,f define h 1 ri C := λ (0, )n : there exists a certificate of the form (3.3) t { ∈ ∞ \ UI for λ of degree 2t . ≤ } APPROXIMATING AMOEBAS AND COAMOEBAS 9
Similarly, for coamoebas I let Dt be the subsets of its complement obtained by the degree truncation. These sequencesC are the basis of the effective implementation (see Section 5). Theorem 3.11. Let I = f ,...,f and t := max deg f /2 . The sequence (C ) h 1 ri 0 j⌈ j ⌉ t t≥t0 converges pointwise to the complement of the unlog amoeba I , and it is monotone in- creasing in the set-theoretic sense, i.e. C C for t t . U t ⊂ t+1 ≥ 0 Similarly, the sequence (Dt)t≥t0 converges pointwise to the complement of the coamoeba , and it is monotone increasing in the set-theoretic sense, i.e. D D for t t . CI t ⊂ t+1 ≥ 0 Proof. For any given point z in the complement of the amoeba there exists a certificate of minimal degree, say d. For t< d/2 the point z is not contained in C and for t d/2 ⌈ ⌉ t ≥ ⌈ ⌉ the point z is contained in Ct. In particular, the relaxation process is monotone increasing. And analogously for coamoebas. Remark 3.12. A similar result holds for the monomial approach. Namely, for a given ∗ ideal I = f1,...,fr , t0 := maxj deg fj/2 , and I generated by the polynomials (3.5), the sets h i ⌈ ⌉ C∗ := λ (0, )n : there exists a certificate of the form G + H +1=0 t { ∈ ∞ \ UI with G I∗ and H SOS for λ of degree 2t ∈ ≤ } (t t0) converge pointwise to the complement of I , and, set-theoretically, this sequence is monotone≥ increasing. U It is well-known (and at the heart of current developments in optimization of polynomial functions, see [4, 15] or the survey [5]) that SOS conditions with degree constraints of the form (3.3) can be phrased as semidefinite programs. Finding an (optimal) positive semi- definite matrix within an affine linear variety is known as semidefinite programming (see e.g. [28] for a comprehensive treatment). Semidefinite programs can be solved efficiently both in theory and in practice. Precisely, any sum-of-squares polynomial H can be expressed as MQM T , where Q is a symmetric positive semidefinite matrix (abbreviated Q 0) and M is a vector of monomials. Similarly, by the degree restriction the linear combination in (3.2) or (3.6) can be integrated into the semidefinite formulation by a comparison of coefficients.
4. Special certificates For a certain class of amoebas, we can provide some explicit classes of Nullstellensatz- type certificates. As a first warmup-example, we illustrate some ideas for constructing special certificates systematically for linear amoebas in the standard approach. Then we show how to construct special certificates for the monomial-based approach. In this section we concentrate on the case of hypersurface amoebas.
Linear amoebas in the standard approach. Let f = aZ1 +bZ2 +c be a general linear polynomial in two variables with real coefficients a, b, c R. We consider certificates of ∈ 10 THORSTEN THEOBALD AND TIMO DE WOLFF
the form (3.2) based on the third binomial formula (α + β)(α β)= α2 β2, and we use the sums of squares (X X )2 and (Y Y )2. For simplicity− assume a,b− > 0. Setting 1 − 2 1 − 2 G := (aX + bX c)(aX + bX + c)+(aY + bY )(aY + bY ) 1 1 2 − 1 2 1 2 1 2 (a2 + ab)(X2 + Y 2 λ2) (b2 + ab)(X2 + Y 2 λ2) , − 1 1 − 1 − 2 2 − 2 H := ab(X X )2 + ab(Y Y )2 1 1 − 2 1 − 2 the sum G1 + H1 simplifies via elementary cancellation to (4.1) γ := (a2 + ab)λ2 +(b2 + ab)λ2 c2 . 1 1 2 − Assume that the point (λ1,λ2) is not contained in the unlog amoeba f . In order to obtain the desired polynomial identity (3.2) certifying containment in theU complement of , we require γ to be negative. In that case we have Uf 1 1 (G + H )+1 = 0 , γ 1 1 | 1| which gives the polynomial identity (3.2). Analogously, we obtain for G := ( aX + bX + c)(aX + bX + c)+( aY + bY )(aY + bY ) 2 − 1 2 1 2 − 1 2 1 2 a2(X2 + Y 2 λ2) (b2 + bc)(X2 + Y 2 λ2) , 1 1 − 1 − 2 2 − 2 H := bc(X 1)2 + bcY 2 2 2 − 2 via elementary cancellation γ := G + H = (b2 + bc)λ2 + c2 + bc a2λ2 , 2 2 2 2 − 1 and, symmetrically, γ := (a2 + ac)λ2 + c2 + ac b2λ2 . 3 1 − 2 Example 4.1. Let a = 1, b = 2, c = 5. The curve (in λ1,λ2) given by (4.1) has a logarithmic image that is shown in Figure 3. Analogous special certificates can be obtained within the two other complement components.
2
1
–3 –2 –1 1 2 3 4
–1
–2
Figure 3. The boundary of an amoeba of a linear polynomial (blue) and R2 2 2 the logarithmic image of the boundary of R1 = λ : (a + ab)λ1 + 2 2 2 { ∈ (b + ab)λ2 c < 0 , for which the special certificates of degree 2 exist (red). − } APPROXIMATING AMOEBAS AND COAMOEBAS 11
Since (by homogenizing the polynomial) there is a symmetry, we obtain similarly an approximation of the other two complement components. Hence we have: Lemma 4.2. Let f = aZ + bZ + c with a, b, c R, and set 1 2 ∈ R = λ R2 : (a2 + ab)λ2 +(b2 + ab)λ2 c2 < 0 , 1 { ∈ 1 2 − } R = λ R2 : (b2 + bc)λ2 + c2 + bc a2λ2 < 0 , 2 { ∈ 2 − 1 } R = λ R2 : (a2 + ac)λ2 + c2 + ac b2λ2 < 0 . 3 { ∈ 1 − 2 } Then Rj f = for 1 j 3, and for any λ R1 R2 R3 there exists a certificate (3.3) of degree∩ U at∅ most two.≤ ≤ ∈ ∪ ∪ The monomial-based approach. For the monomial-based approach based on Corol- lary 3.7 we can provide special certificates for a much more general class. Our point of departure is Purbhoo’s lopsidedness criterion [20] which guarantees that a point belongs to the complement of an amoeba f . In particular, we can provide degree bounds for these certificates. A In the following let α(1),...,α(d) Nn span Rn and f = d b Zα(j) C[Z] with ∈ 0 j=1 j ∈ α(j) α(j)1 α(j)n n monomials m := Z = Z Zn . For any point v R define f v as the j 1 ··· P∈ { } following sequence of numbers in R>0, f v := b m (Log−1(v)) ,..., b m (Log−1(v)) . { } | 1 1 | | d d | A list of positive real numbers is called lopsided if one of the numbers is greater than the sum of all the others. We call a point v Rn lopsided, if the sequence f v is lopsided. Furthermore set ∈ { } (f) := v Rn : f v is not lopsided . LA { ∈ { } } It is easy to see that f (f) with f = (f) in general. In the following way the amoeba can be approximatedA ⊂ LA basedA on6 theLA lopsidedness concept. For r 1 let Af ≥ r−1 r−1 f˜ (Z) := f e2πik1/rZ ,...,e2πikn/rZ r ··· 1 n k1=0 kn=0 Y Y = Res Res ... Res(f(U Z ,...,U Z ), U r 1),...,U r 1 , U r 1 , 1 1 n n 1 − n−1 − n − where Res denotes the resultant of two (univariate) polynomials. Then the following theorem holds. Theorem 4.3. (Purbhoo [20, Theorem 1]) (a) For r the family (f˜ ) converges uniformly to . There exists an integer →∞ LA r Af N such that to compute f within ε > 0, it suffices to compute (f˜r) for any r N. Moreover, N dependsA only on ε and the Newton polytope (orLA degree) of f and≥ can be computed explicitly from these data. n (b) For an ideal I C[Z] a point v R is in the amoeba I if and only if g v is not lopsided for⊂ every g I. ∈ A { } ∈ 12 THORSTEN THEOBALD AND TIMO DE WOLFF
Based on Theorem 4.3 one can devise a converging sequence of approximations for the amoeba. Note, however, that the lopsidedness criterion is not a Nullstellensatz in a strict sense since it does not provide a polynomial identity certifying membership in the complement of the amoeba. The aim of this section is to figure out how our SOS approximation is related to the lopsidedness and transform the lopsidedness certificate into a certificate for the Nullstel- lens¨atze presented in Section 3. By Lemma 3.5 we can assume that the point λ, whose membership to an unlog amoeba shall be decided, is the all-1-vector 1. In this situation lopsidedness means that there Uf is an index j 1,...,d with bj > i6=j bi . If the lopsidedness condition is satisfied in v, then the following∈{ statement} | provides| a| certificate| of the form G + H + 1 and bounded degree. P ∗ Corresponding to the definition of I in (3.5), let the polynomials s1,...,sd+2 be defined by re 2 im 2 b re b im s = i Zα(i) + i Zα(i) 1 , 1 i d , i b · b · − ≤ ≤ i i re | | im | | and sd+1 = f , sd+2 = f . Theorem 4.4. If the point λ = 1 is contained in the complement of with f 0 being Uf { } lopsided with dominating element m1(1) , then there exists a certificate of (total) degree 2 deg(f) which is given by | | · d+2
(4.2) sigi + H +1 = 0 , i=1 X where d g = b 2 , g = b b , 2 i d , 1 | 1| i −| i|· | k| ≤ ≤ Xk=2 d re d im g = b Zα(1) + b Zα(i) , g = b Zα(1) + b Zα(i) , d+1 − 1 · i · d+2 − 1 · i · i=2 ! i=2 ! X X re re 2 bi α(i) re bj α(j) re H = bi bj Z Z | |·| |· bi · − bj · 2≤i