# Zeros of harmonic polynomials, critical lemniscates, and caustics

- Dmitry Khavinson
^{1}, - Seung-Yeop Lee
^{1}Email authorView ORCID ID profile and - Andres Saez
^{1}

**4**:2

https://doi.org/10.1186/s40627-018-0012-2

© The Author(s) 2018

**Received: **6 October 2017

**Accepted: **24 February 2018

**Published: **7 March 2018

## Abstract

In this paper, we sharpen significantly several known estimates on the maximal number of zeros of complex harmonic polynomials. We also study the relation between the curvature of critical lemniscates and its impact on geometry of caustics and the number of zeros of harmonic polynomials.

## 1 Introduction

*harmonic polynomials*, i.e., polynomials which admit a decomposition

*n*and

*m*, respectively. An interesting open question is, for given

*n*and

*m*, to find the maximal number of solutions to the equation \(h(z)=0\), i.e., extending the Fundamental Theorem of Algebra to harmonic polynomials, see [9] and references therein. Throughout the paper, we assume \(n>m\), for the case \(n=m\) could give an infinite solution set.

Wilmshurst [20, 21], in his doctoral thesis, proved the following:

###
**Theorem**

(Wilmshurst)* The equation* \(h(z) = 0\)* has at most* \(n^2\)* solutions.*

The proof of this result readily follows from Bezout’s theorem [4].

Seeking to improve on this bound, Wilmshurst conjectured that the equation \(h(z) = 0\) has at most \(3n-2 + m(m-1)\) solutions. Khavinson and Swia̧tek [8] confirmed Wilmshurst’s conjecture when \(m=1\) using complex dynamics, and the bound was shown to be sharp by Geyer [6]. However, as was shown by Lee et al. [10], the conjecture is not true in general, for example, when \(m=n-3\). Also see [7] for many more counterexamples.

Our first theorem bounds the number of roots off the coordinate axes for the harmonic polynomials \(h=p_n+\overline{q_m}\), where \(n>m\), with real coefficients.

###
**Theorem 1**

*For a harmonic polynomial*
\(h(z) = p_n(z) + \overline{q_m(z)}\)
* with real coefficients, the equation*
\(h(z) = 0\)
* has at most*
\(n^2 - n\)
* solutions that satisfy*
\((\mathrm{Re}\,z) (\mathrm{Im} z)\ne 0.\)

Our next two theorems provide lower bounds on the maximal number of roots.

###
**Theorem 2**

*For all*
\(n>m\)
*, there exists a harmonic polynomial*
\(h(z) = p_n(z) + \overline{q_m(z)}\)
* with at least*
\(3n-2\)
* roots.*

###
**Theorem 3**

*For all*
\(n>m\)
*, there exists a harmonic polynomial*
\(h(z) = p_n(z) + \overline{q_m(z)}\)
* with at least*
\(m^2+m+n\)
* roots.*

The above three theorems will be proved in Sect. 2.

###
*Remark*

- (i)
The reason why in Theorem 1 we only consider roots off the coordinate axes is the following. Consider \(p(z)=z^n + (z-1)^n\) and \(q(z)=z^n - (z-1)^n\). Then \(h(z)=p(z)+\overline{q(z)}\) has \(n^2\) number of roots including the root at 0 with the multiplicity

*n*. In fact, this is the polynomial that Wilmshurst used (with a slight perturbation to split the multiple root at the origin) to show that the maximal bound \(n^2\) is sharp. This example shows that Theorem 1 is sharp. Theorem 1 also yields that the harmonic polynomial with real coefficients and with the maximal (\(n^2\)) number of roots should have at least*n*roots on the coordinate axes as in the above example. - (ii)
Theorems 2 and 3 complement each other. Theorem 2 is stronger than Theorem 3 when \(m^2+m+2<2n\) and Theorem 3 is stronger than Theorem 2 when \(m^2+m+2>2n\). In addition, Theorem 2 is not at all trivial, since the argument principle for harmonic functions [5, 17, 19] only yields that

*h*has at least*n*zeroes (see Fact 1 in Sect. 2.2). - (iii)
Note that, compared to Wilmshurst’s conjecture, Theorem 3 undercounts the number of roots by \(2(n-m-1)\). See Sect. 2.4 for the in-depth discussion.

Theorem 3 allows the following important corollary.

###
**Corollary 1**

*Let*\(Z_{n,m}\)

*denote the maximal possible number of zeros of*\(h=p_n+\overline{q_m}.\)

*Then, for any fixed integer*\(a\ge 1\)

*, we have*

*More generally, if*\(m= \alpha n + o(n)\)

*with*\(0\le \alpha \le 1\)

*, we have*

###
*Proof*

From Theorem 3, we have \(Z_{n,m}\ge n^2+2(1-a) n + a(a-1)\) for the first case, and \(Z_{n,m}\ge \alpha ^2 n^2+o(n^2)\) for the second case. \(\square\)

We note that the first asymptotic statement about the case when \(m = n-a\) follows from Theorem 2 in [7]. This corollary yields that the maximal number of roots is asymptotically given by Wilmshurst’s theorem. This answers a question posed by the first author more than a decade ago. In addition, this corollary complements the estimates on the expected number of zeros of Gaussian random harmonic polynomials obtained by Li and Wei in [13] and, more recently, by Lerario and Lundberg in [11]. For example, for \(m=\alpha n\), \(\alpha <1\), the expected number of zeros is \(\sim n\) [13] for the Gaussian harmonic polynomials and \(\sim c_\alpha n^{3/2}\) [11] for the truncated Gaussian harmonic polynomials. Yet, Corollary 1 yields that among all harmonic polynomials, the maximal number \(\sim \alpha n^2\) of zeros occurs with positive probability, thus expanding further the results in [3] for \(m=1\).

*h*is

*sense-preserving*at a point

*z*if the Jacobian of

*h:*

*sense-reversing*at

*z*if the Jacobian is negative at

*z*. Otherwise, we say that

*h*is

*singular*at

*z*. Note that the mapping \(z\mapsto h(z)\) is

*sense-reversing*precisely on \(\Omega\). The boundary \(\partial \Omega\) is the

*lemniscate*\(\{z:|f(z)|=1\}\).

Each connected component of \(\Omega\) must contain at least one critical point of \(p_n\). Indeed, if there is a connected component *without* a critical point, by applying the maximum modulus principle to *f*(*z*) and 1/*f*(*z*) with \(|f(z)|=1\) on the boundary of that component, we have that *f* is a unimodular constant, a contradiction.

This implies that there are at most \(\deg p_n'=n-1\) connected components of \(\Omega\).

For \(m=1\) (when Wilmshurst’s conjecture was proven to hold [8]), Wilmshurst guessed ([20], p. 73) that the following might be true: “*In each component of* \(\Omega\) *where* \(h(z)=p_n(z)+\overline{z}\) *is sense-reversing, the behavior of* *h* *will be essentially determined by the* \(\overline{z}\) *term so there will only be one zero of h*”. From that the maximal number of roots (i.e., \(3n-2\) for \(m=1\)) may be obtained by the argument principle when each connected component of \(\Omega\) contains a zero.

The statement above is true when the component of \(\Omega\) is *convex* according to the following result (see [20], p. 75).

###
**Theorem**

(Sheil-Small) *If g**(z) is an analytic function in a convex domain* *D and *\(|g'(z)|<1\)* in D, then* \(\overline{z}+g(z)\) *is injective on D.*

Note that the theorem relates the geometry of critical lemniscates with the number of zeros, because *D* can have at most one zero of the function \(\overline{z}+g(z)\) if the latter is injective. In a *non-convex* component of \(\Omega\), it is possible to have more than one zero of *h*(*z*). In [20], an example is given where a non-convex component of \(\Omega\) contains *two* critical points of \(p_n\) and *two* zeros of \(h(z)=p_n(z)+\overline{z}\). This is not surprising, because each component of \(\Omega\) can have a zero of *h* and, therefore, one can have two zeros in a component by merging two components into one. The resulting component then has two critical points of \(p_n\). It was, however, not clear whether a connected component containing a single critical point of \(p_n\) could possibly have more than one zero of *h*.

Here, we show that it *is, indeed, * possible and, also, present a necessary and sufficient condition for having more than one zero of *h* in a connected component of \(\Omega\) that contains a *single* critical point of \(p_n\). The theorem holds for general *m* and *n*.

###
**Theorem 4**

*Let*\(n>m\)

*. Let*

*D be a connected component of*\(\Omega\) [

*defined by*(1)]

*containing exactly one zero of*\(p'_n\)

*, counting multiplicity. On a smooth part of the curve*\(q_m(\partial D)\) (

*the image of*\(\partial D\)

*under*\(q_m\))

*let*\(\kappa\)

*be the curvature of*\(q_m(\partial D)\)

*with respect to the counterclockwise arclength parametrization of*\(\partial D\)

*. Then, the following are equivalent:*

- (i)
*Let*\(f(z)=p_n'(z)/q_m'(z)\)*. There exists*\(z\in \partial D,\)*such that*$$\begin{aligned} \frac{\kappa (z)}{|f'(z)|}<-\frac{1}{2}. \end{aligned}$$ - (ii)
*There exists*\(\theta \in {\mathbb R}\)*and*\(A\in {\mathbb C},\)*such that*$$\begin{aligned} \widetilde{p}_n(z)-\overline{q_m(z)} \end{aligned}$$*has at least two zeros in D, where*\(\widetilde{p}_n(z)= e^{i\theta } p_n(z)+A.\)

###
*Remark*

- (a)
Note that \(\kappa\) is the curvature of \(\partial D\) when \(q_m(z)=z\). In this case, the theorem tells us exactly how “non-convex” the domain

*D*needs to be to have multiple zeros of*h*, improving upon Sheil-Small’s theorem. - (b)
In statement (ii) of Theorem 4, we note that \(|\widetilde{p}'_n(z)|=| p'_n(z)|\). The corresponding lemniscate, \(\{z:|\widetilde{p}_n'(z)/q'_m(z)|=1\}\), is, therefore, the same for all \(\theta\) and

*A*.

*h*, see Fig. 1. Note that the roots appear where \(\Omega\) is (slightly) concave. The example is produced based on the discussion following our final Proposition 1 in Appendix A regarding the shapes of critical lemniscates.

## 2 Proofs of Theorems 1, 2 and 3

### 2.1 Proof of Theorem 1

*P*defined by the following:

*Newton polygon*\({\mathcal N}_P\) of

*P*is the convex hull of \(N_P\subset {\mathbb R}^2\) where \(N_P= \left\{ (i,j) : a_{ij}\ne 0\right\}\).

*P*and

*Q*with Newton polygons \(\mathcal {N}_P\) and \(\mathcal {N}_Q\), let \(\mathcal {M}_{P,Q}\) be the

*Minkowski sum*of \(\mathcal {N}_P\) and \(\mathcal {N}_Q\), defined by the following:

*X*] denote the area of a set \(X \subset \mathbb {R}^2\). We then define the

*mixed area*of

*P*and

*Q*as \([\mathcal {M}_{P,Q}] - [\mathcal {N}_P] - [\mathcal {N}_Q]\).

###
**Theorem**

(D. Bernstein; cf. [18], or the original articles [2, 16])* The number of solutions to the system of polynomial equations* \(p(x,y)=q(x,y)=0\)* satisfying* \(x y \ne 0\) *does not exceed the mixed area of p and q.*

*n*,

*m*, respectively, we have

*A*and

*B*are polynomials with real coefficients. Let \(\mathcal {N}_A\) be the Newton polygon of

*A*(

*x*,

*y*) and \(\mathcal {N}_B\) be the Newton polygon of

*B*(

*x*,

*y*). As we will see below, the polynomials \(p_n\) and \(q_n\) having real coefficients lead to a certain structure of \({\mathcal N}_A\) and \({\mathcal N}_B\).

###
**Lemma 1**

*Given a generic h**(z) with only real coefficients let* \({\mathcal N}_A\)* and* \({\mathcal N}_B\)* be defined as above. If* *n is even,* \({\mathcal N}_A\)* is the isosceles triangle with vertex set* \(\{(0,0),(0,n),(n,0)\}\)* and* \({\mathcal N}_B\)* is the trapezoid with vertex set* \(\{(0,1),(0,n-1),(1,n-1),(n-1,1)\}\)*. If n is odd,* \({\mathcal N}_A\)* is the trapezoid with vertex set* \(\{(0,0),(0,n-1),(1,n-1),(n,0)\}\)* and* \({\mathcal N}_B\)* is the isosceles triangle with vertex set* \(\{(0,1),(0,n),(n-1,1)\}\) (*see Fig.* 2).

###
*Proof*

*k*to be even or odd comes from \(p_n\) and \(q_m\) having real coefficients. Note that in the expansion of \(p_n(x+iy)\) or, of \(q_m(x+iy)\), the “

*i*” comes only together with

*y*—for a term of the form \(x^j y^k\), the power of “

*i*” is given by

*k*, the power of

*y*.

*x*, due to the presence of the terms, \(x^n\), \(x^{n-1}y,\) and \(x y^{n-1}\) in \(h(x+iy),\) respectively. Therefore, there exists \(x_0\in \mathbb {R},\) such that, when \(x=x_0\), none of the above three polynomials vanishes. Defining

*h*. Moreover, the coefficients at the extreme points are all nonvanishing, because

*a*, when

*n*is odd, and for

*b*, when

*n*is even. \(\square\)

Now, we prove Theorem 1. We divide the proof into two cases.

*Case 1*Let

*n*be even. From Lemma 1, \(\mathcal {A}\) is an isosceles triangle with vertex set \(\{(0,0), (0,n),(n,0)\}\) and \(\mathcal {B}\) is the trapezoid with vertex set \(\{(0,1),(0,n-1),(1,n-1),(n-1,1)\}\). Now, the Minkowski sum \(\mathcal {M}\) of \(\mathcal {A}\) and \(\mathcal {B}\) is a trapezoid with vertex set \(\{(0,1), (0,2n-1), (1,2n-1),(2n-1,1)\}\). The mixed area is then

*Case 2*Let

*n*be odd. From the lemma, \(\mathcal {A}\) is the trapezoid with vertex set \(\{(0,0),(0,n-1),(1,n-1),(n,0)\}\) and \(\mathcal {B}\) is the isosceles triangle with vertex set \(\{(0,1),(0,n),(n-1,1)\}\). The Minkowski sum \(\mathcal {M}\) of \(\mathcal {A}\) and \(\mathcal {B}\) is then the trapezoid with vertex set \(\{(0,1),(0,2n-1),(1,2n-1),(2n-1,1)\}\). The mixed area is

### 2.2 Proof of Theorem 2

For an oriented, closed curve \(\Gamma ,\) such that a continuous function *F* does not vanish on \(\Gamma\), we denote by \(\Delta _{\Gamma }\arg F(z)\) the increment in the argument of *F* along \(\Gamma\). The following is well known.

###
**Theorem**

(The argument principle for harmonic functions [5, 17]) *Let H be a harmonic function in a Jordan domain D with boundary *\(\Gamma\)*. Suppose that H is continuous in* \(\overline{D}\)* and* \(H\ne 0\)* on* \(\Gamma\)*. Suppose that H has no singular zeros in D, and let* \(N=N_+ - N_-\)*, where* \(N_+\)* and* \(N_-\) *are the number of sense-preserving zeros and sense-reversing zeros of H in D, respectively. Then, *\(\Delta _{\Gamma }\arg H(z)=2\pi N.\)

We also say that *h* is *regular* if all the zeros of *h* are either sense-reversing, or sense-preserving. The next fact [8] follows then by applying the argument principle to a circle of a sufficiently large radius, where \(|p_n|\gg |q_m|.\)

###
**Fact 1**

*Let*\(h=p_n+\overline{q_m}\)

*be regular. Let*\(N_+\)

*be the number of sense-preserving zeros of h and*\(N_-\)

*be the number of sense-reversing zeros. Then,*

An elegant proof (due to Donald Sarason) of the following lemma can be found in [8].

###
**Lemma 2**

*If p(z) is a polynomial of degree greater than 1, then the set of complex numbers c for which*
\(p(z) +\overline{q(z)} - c\)
* is regular is open and dense in*
\(\mathbb {C}.\)

For \(m=1\), more is known about the space of regular polynomials. Bleher et al. [3] proved that in the space \(\mathbb {C}^{n+1}\) of harmonic polynomials \(p_n(z)+\overline{z}\) of degree \(n\ge 2,\) the set of “simple polynomials”, i.e., regular polynomials with *k* zeros, is a non-empty open subset of \(\mathbb {C}^{n+1}\) if and only if \(k = n,n+2,\ldots , 3n-4,3n-2\), and that the non-simple polynomials are contained in a real algebraic subset of \(\mathbb {C}^{n+1}.\)

The following fact is noted in [14], Theorem 3.1. Here, we provide a slightly different proof.

###
**Lemma 3**

*If the function*
\(h(z) = p_n(z) + \overline{z}\)
* has*
\(3n-2\)
*zeros, then h(z) is regular.*

###
*Proof*

*h*is not regular and has exactly \(3n-2\) roots. The number of roots that are not sense-preserving is at most \(n-1,\) because each of those roots attracts a critical point of \(p_n\) under the iteration of \(z\mapsto p_n(z)\), cf. Proposition 1 in [8]. Therefore, the number of sense-preserving roots must be at least \(2n-1\). For all non-singular roots \(z_j\)’s, there exists \(\epsilon >0,\) such that the disks, \(B_{\epsilon }(z_j) = \{ z : |z - z_j |< \epsilon \}\), do not intersect each other, do not intersect the singular set \(\{z : |p'(z)|=1\}\), and \(\Delta _{\partial B_\epsilon (z_j)}\arg h =\pm \, 2\pi\). Defining

*h*. Since \(h(z_0) = 0\) and

*h*is continuous near \(z_0\), there is an \(\eta >0,\) such that \(B_{\eta }(z_0)\) does not intersect any \(B_\epsilon (z_j)\) and

*n*sense-preserving zeros. By Lemma 2, we can choose \(\zeta ,\) such that \(h(z)-h(\zeta )\) is a regular polynomial, which contradicts the result of Khavinson and Swia̧tek [8] that the regular polynomial can have at most \(2n-1\) sense-preserving roots. \(\square\)

We now complete the proof of Theorem 2.

###
*Proof*

*h*. One can find a circle, \(\Gamma\), centered at \(z_0\) with radius \(\epsilon ,\) such that

*h*does not vanish on \(\Gamma\) and \(\Delta _{\Gamma }\arg h=\pm\,2\pi.\) As in a standard proof of Rouché’s theorem, taking \(\delta ,\) such that

*h*, we can choose \(\delta ,\) such that \(h(z)+\delta \overline{z}^m\) has (at least) \(3n-2\) zeros. Setting now \(q_m(z)=\delta z^m+z\) completes the proof. \(\square\)

###
*Remark*

This proof suggests that if the equation \(p_n(z) + \overline{q_{m-1}(z)}=0\) has at least *k* solutions, then there exists a harmonic polynomial \(p_n(z) + \overline{q_m(z)}\) with *k* zeros. However, a proof of this, following the above argument, would require that \(p_n(z) + \overline{q_{m-1}(z)}\) be regular.

### 2.3 Proof of Theorem 3

Let us sketch the procedure (similar to [7, 10]) that allows creating examples of harmonic polynomials with a large number of roots (cf. Fig. 3).

*n*and \(m<n.\) Let

*T*(

*z*) are uniquely determined by the condition that \(S(z) -T(z)\) is a polynomial of degree

*m*. Then, we choose \(a\in {\mathbb C}\) and \(b\in {\mathbb C}\) by hand to maximize the number of intersections between the two sets:

Theorem 3 can be stated equivalently as follows:

###
**Theorem**

*For a generic choice of*
\(b\in {\mathbb C}\)
*, the equation*
\(p_n+\overline{q_m}=0\)
*defined in terms of S and T (as above) has at least*
\(m^2+m+n\)
* roots.*

###
*Proof*

Let \(\Gamma _S\) be the set of rays emanating from the origin and extending to the infinity, i.e., \(\Gamma _S=\{ z{:} \mathrm{arg\,} z = (\frac{1}{2}+k)\pi /n,k=0,1,\ldots ,2n-1\}\). Note that \(\Gamma _T\) has \(2m+2\) curved rays emanating from *b* where every ray asymptotically approaches the infinity towards \(\{z{:}\arg z=l\pi /n\}_{l\in N_{2m+2}},\) such that: (i) different rays correspond to different values of *l*, and (ii) *l* is chosen in a subset, that we will denote by \(N_{2m+2}\), containing \(2m+2\) numbers from \(\{0,1,\ldots ,2n-1\}\). We assume that \(b\notin \Gamma _S\). We first assume that none of the rays in \(\Gamma _{T}\) hit any critical point of *T*(*z*) except at \(z=b,\) so that those rays do not intersect each other away from *b*.

*z*| goes to \(\infty\). A simple geometric consideration tells us that the number of intersections between \(\Gamma _S\) and a curved ray starts from \(b\in W_{l_1}\) and continues into \(W_{l_2}\) without passing through the origin, is at least

*b*) approaches the infinity in \(2n-2m-2\) different sectors \(W_l\), that are not already taken by the rays from

*b*. Assuming that there are no critical points of

*T*in \(\Gamma _T\) except the one at

*b*, each curve in the “remaining part of \(\Gamma _T\)” must connect two sectors from the \(2n-2m-2\) sectors, such that, around \(\infty\), each sector is “hit” by one curve only. Since there is at least one intersection between each curve and \(\Gamma _S\), the minimal number of intersections between the “remaining part of \(\Gamma _T\)” and \(\Gamma _S\) is \(n-m-1\) and the minimal number of intersections between \(\Gamma _T\) and \(\Gamma _S\) is given by \((m+1)^2+n-m-1=m^2+m+n\).

When \(\Gamma _{T}\) hit a critical point of *T*(*z*) outside \(z=b\), and if \(\Gamma _S\) does not intersect the same critical point, all the arguments in the proof can be carried through by considering a proper deformation of \(\Gamma _T\) near the critical point.

This leaves us with the case when both \(\Gamma _T\) and \(\Gamma _S\) hits a critical point of *T*(*z*) outside \(z=b\). Then, one may add a small (imaginary) constant to *T*(*z*), so that \(\Gamma _T\) avoids that critical point, and hence, this case is not generic. This ends the proof.

The referee has kindly suggested a different, shorter, route to the proof of the theorem, that is worth sketching here. Let \(p_{m+1}\) and \(q_m\) be the polynomials of degree \(m+1\) and *m*, respectively, so that Eq. \(p_{m+1}(z) + \overline{q_{m}(z)} = 0\) has \((m + 1)^2\) many solutions. Such examples exist from Wilmshursts original construction [20, 21], and the solutions are regular. By the argument principle, one checks that the number of sense-reversing zeros is \(m(m + 1)/2\). One can consider a perturbation to the original equation, \(\epsilon z^n +p_{m+1}(z) + \overline{q_{m}(z)}=0,\) such that it keeps the same number of sense-reversing zeros for a small \(\epsilon\). However, now, the winding number on large circles is *n*. This forces \(n-m-1\) new (sense-preserving) zeros to appear, so that the total number of zeros is \(m^2 + m + n\). We also note that this simpler construction has exactly this many zeros, whereas the former construction potentially has additional zeros. \(\square\)

### 2.4 A remark on Wilmshurst’s conjecture

*b*and

*a*(cf. Fig. 4). The numerics suggests that the \(2m+1\) regions in between these curves have, respectively:

*m*components; the shaded part in Fig. 4) and, therefore, the total number of roots must be at least

Since there can be at most \(n-1\) components in \(\Omega\), there can be \(n-m-1\) extra components in the sense-reversing region, and these components are not connected to the point *b*. Wilmshurst’s count is obtained *when each of these components has exactly one root*. This increases the total number of *sense-reversing roots* by \(n-m-1\) and, hence, increases the total number of roots by \(2(n-m-1)\), cf. (3), which is precisely Wilmshurst’s count, cf. (2).

The various counterexamples studied in [7, 10] indicate that the \(n-m-1\) “extra components” of \(\Omega\) (that are not connected to *b*) can have more than one root in each component. For example, Fig. 4 shows that there are two roots inside the component of \(\Omega\) that is not connected to *b*.

*a*and

*b*, and the excessive zeros are twice the number of zeros found in the component of \(\Omega\) that is not connected to

*b*. Choosing \(b=e^{i\pi /(2n)}+\epsilon\) (\(\epsilon \ne 0\) is needed, so that the origin is not a root), we found that the number of “excessive zeros”, i.e., (the total number of zeros) \(-\,(m^2+m+n)\), increases by 4 whenever

*n*hits the numbers:

###
**Conjecture**

*When*\(m=n-2\)

*, the maximal number of roots of*\(h=p_n+\overline{q_m}\)

*is given by*

*as*

*n*

*grows to*\(\infty\) (

*which is larger than Wilmshurst’s count of*\(n^2-2n+4\)).

###
*Remark*

While this paper was under review, two of the authors proved in the recent publication [12] that the maximal number of roots in the above conjecture is bounded below by \(n^2 - C n + {\mathcal O}(1)\) with a constant \(C\approx 1.47052\).

## 3 Geometry of caustics: Proof of Theorem 4

*D*be a connected component of \(\Omega\) with exactly

*k*(counting the multiplicities) zeros of

*f*in

*D*. It is well known (cf. [1]) that \(f{:} D\rightarrow {\mathbb D}\), where \({\mathbb D}\) is the unit disk, is a branched covering of degree

*k*of

*D*onto \({\mathbb D}\).

*D*contains exactly one critical point of \(p_n\), \(f:D\rightarrow {\mathbb D}\) is a univalent map. In this case, let \(\eta{:}[0,2\pi )\rightarrow \partial D\) be the parametrization of \(\partial D\) given by

*D*(normalized by the factor \(2\pi\)) with respect to the pole at the zero of

*f*, that is

*k*zeros of

*f*in

*D*. In this case, the same Eq. (4) defines the parametrization, \(\eta :[0,2\pi k)\rightarrow \partial D\), by the harmonic measure of

*k*-sheeted disk.

*v*(

*z*) be the tangent vector of the curve \(\partial D\) at \(z\in \partial D\) given by

*h*. For each \(z\in \partial D\) with \(f'(z)\ne 0\) we obtain a tangent vector of the curve \(h(\partial D)\) at

*h*(

*z*) as follows (

*v*is the tangent vector to \(\partial D\), cf. (5), \(|f|=1\) on \(\partial D\)):

###
**Definition**

The image of the critical lemniscate \(h(\partial \Omega )\) is called the caustic.

The following lemma is essentially Lemma 2.3 in [15].

###
**Lemma 4**

*Let D be a component of*\(\Omega\)

*with exactly k zeros*(

*counting multiplicity*)

*of f and*\(\partial D\)

*is parametrized by*\(\eta :[0,2\pi k)\rightarrow \partial D,\)

*such that*\({\rm d} \arg f(\eta (\theta )) ={\rm d}\theta.\)

*At*\(z=\eta (\theta )\in \partial D\)

*where*\(f'(z)\ne 0\)

*and*\(\mathrm{Re}\big (v(z) q'_m(z) \sqrt{f(z)}\big )\ne 0\)

*, we have*

In other words, the caustic, away from the possible singularities, has constant curvature with respect to the special parametrization defined above.

###
**Lemma 5**

*The only singularities of the curve*\(h(\partial D)\)

*are cusps. When*\(z_0\in \partial D\)

*is not in the branch cut of*\(\sqrt{f},\)

*there is a cusp at*\(h(z_0)\)

*if and only if the mapping from*\(\partial D\)

*to*\({\mathbb R}\)

*given by*

*changes sign across*\(z_0\)

*. When*\(z_0\)

*is on the branch cut of*\(\sqrt{f}\)

*, the cusp occurs at*\(h(z_0)\)

*if and only if the mapping,*

*changes sign across*\(z_0.\)

The proof of the Lemma can be found in [15]. This lemma characterizes the “possible singularities” of the caustic. According to [15], they correspond to the “critical points of the 1st kind” generically. In fact, that paper contains the comprehensive description of the singularities that can happen in the so-called “light harmonic mappings” in the author’s terminology. The latter include all the harmonic polynomial mappings considered in our paper.

If \(f'(z_0)=0\) for \(z_0\in \partial D\), multiple components of \(\Omega\) merge together at \(z_0\). They are called “The critical points of the third kind” in [15]. It turns out that the image of \(\partial \Omega\) under *h* has an interesting structure, as we will see below.

###
*Remark*

*k*curved rays meeting at \(z_0\) and it divides the plane into 2

*k*wedge-shaped sections with the angle \(\pi /k\) at \(z_0\). Among them, total

*k*sections, equally spaced, are included in \(\Omega\). To be more precise, taking a sufficiently small disk

*B*centered at \(z_0\), \(B\cap \Omega\) has exactly

*k*components, such that \(B\cap \partial \Omega\) consists of 2

*k*curves emanating from \(z_0\) with the angular directions given by

*k*is even (respectively, odd), there can be at most two (respectively, one) values of \(\ell\)’s that do

*not*satisfy the above condition. It means that for those values of \(\ell\)’s, \(h(\partial D_\ell )\) has a smooth boundary at \(h(z_0)\), and for the other values of \(\ell\)’s, \(h(\partial D_\ell )\) has a cusp at \(h(z_0)\). In Fig. 5, the middle picture shows a caustic where the critical point \(z_0=0\) corresponds to the three cusps at the origin, and the last picture shows a caustic, where one component (red) of the lemniscate maps \(z_0\) to a regular point of the caustic.

###
**Lemma 6**

*Let D be a simply connected component of *
\(\Omega\)
*with exactly k zeros of*
\(q'_m\cdot p'_n\)
* counting multiplicity. The number of cusps in*
\(h(\partial D)\)
*is odd (resp. even) when k is odd (resp. even) and, moreover, is*
\(\ge 2+k.\)

###
*Proof*

*k*equals \(\#(p'_n)-\#(q'_m)\) where \(\#(A)\) is the number of zeros of the polynomial

*A*in

*D*. The second term, \(\arg q'_m\), is a continuous function and \(\Delta \arg q'_m=2\pi \#(q'_m)\). Finally, the first term, \(\arg v\), is a piecewise continuous function with \(\Delta \arg v = 2\pi\) where the only discontinuities are at the critical points of the lemniscate (i.e., where \(f'(\eta (\theta ))=0\)). Summing up, the total increment of \(\Psi\) over \([0,2k\pi )\) is \((2+k+2\#(q'_m))\pi =(2+\#(p'_n)+\#(q'_m))\pi\) and, therefore, there are at least \(\#(p'_n)+\#(q'_m)+2\) points (and exactly \(\#(p'_n)+\#(q'_m)+2\) if \(\Psi\) is monotone) where the condition (9) holds.

*k*is odd (respectively, even). \(\square\)

###
**Lemma 7**

*Let D be a component of*
\(\Omega\)
*with a single zero of f. If*
\(h(\partial D)\)
* has only three cusps, then it is a Jordan curve. There are more than three cusps in*
\(h(\partial D)\)
* (hence, five or more according to Lemma*
6
* (if and only if there exists a point relative to which the winding number of*
\(h(\partial D)\)
* is larger than one, i.e., there exists *
\(p\in \mathbb {C},\)
* such that *
\(\Delta _{\partial D}\arg (h(\cdot )-p)> 2\pi.\)

###
*Proof*

To prove the first statement of the lemma, it suffices to show that the three smooth (open) arcs between the three cusps do not intersect each other. Choosing any two arcs, there exists a cusp where the two arcs meet. Since the tangent vector rotates at most by \(\pi\) over a smooth part of the curve (cf. Lemma 4), the two arcs can only get farther from each other as one moves along the arcs starting from the common cusp. Note, however, that, if the constant curvature is bigger than 1/2, \(h(\partial D)\) can self-intersect.

Therefore, \(\Gamma\) cannot be a (smooth) Jordan curve and \(h(\partial D)\) must have a self-intersection (that cannot be removed by a small perturbation, such as the one in the right picture of Fig. 6).

Let us define the orientation on \(h(\partial D)\) by the orientation inherited from \(\partial D\). For each point \(p\notin h(\partial D)\), one can consider the winding number of \(h(\partial D)\) around *p*. The winding number of \(h(\partial D)\) on the left side (with respect to the orientation) is bigger than the one on the right side by \(+1\). Then, in a neighborhood of a self-intersection, there must be a pair of regions where the winding numbers differ by 2, see the right picture in Fig. 6. \(\square\)

###
*Proof of Theorem 4*

*D*. This ends the proof of Theorem 4. \(\square\)

## Declarations

### Authors’ contributions

DK, SL and AS carried out the research, participated in the group discussion and drafted the manuscript. All authors read and approved the final manuscript.

### Acknowledgements

This work resulted from an REU group discussions that also included Prof. Catherine Bénéteau and Brian Jackson. The second author was supported by Simons Collaboration Grants for Mathematicians. The first and third authors were supported by the USF Proposal Enhancement Grant No. 18326 (2015), PIs: D. Khavinson and R. Teodorescu. The authors would like to thank the anonymous referee for careful reading of the paper and suggesting an alternative proof to Theorem 3.

### Competing interests

The authors declare that they have no competing interests.

### Ethics approval and consent to participate

Not applicable.

### Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

## Authors’ Affiliations

## References

- Ahlfors, L.V., Sario, L.: Riemann surfaces. Princeton Press, Princeton (1960)View ArticleMATHGoogle Scholar
- Bernstein, D.N.: The number of roots of a system of equations (Russian). Funkcional. Anal. i Priložen
**9**, 1–4 (1975)View ArticleGoogle Scholar - Bleher, P.M., Homma, Y., Ji, L.L., Roeder, R.K.W.: Counting zeroes of harmonic rational functions and its application to gravitational lensing. Int. Math. Res. Notices
**2014**(8), 2245–2264 (2014)View ArticleMATHGoogle Scholar - Coolidge, J.L.: A treatise on algebraic plane curves, p. 10. Dover Corporation, Dover (1959)Google Scholar
- Duren, P., Hengartner, W., Laugesen, R.S.: The argument principle for harmonic functions. Amer. Math. Monthly
**103**, 411–415 (1996)MathSciNetView ArticleMATHGoogle Scholar - Geyer, L.: Sharp bounds for the valence of certain harmonic polynomials. Proc. AMS
**136**, 549–555 (2008)MathSciNetView ArticleMATHGoogle Scholar - Hauenstein, J.D., Lerario, A., Lundberg, E., Mehta, D.: Experiments on the zeros of harmonic polynomials using certified counting. Exp. Math.
**24**, 133–41 (2015)MathSciNetView ArticleMATHGoogle Scholar - Khavinson, D., Swia̧tek, G.: On a maximal number of zeros of certain harmonic polynomials. Proc. Amer. Math. Soc.
**131**, 409–414 (2003)MathSciNetView ArticleGoogle Scholar - Khavinson, D., Newmann, G.: From the fundamental theorem of algebra to astrophysics: a “harmonious” path. Notices Amer. Math. Soc.
**55**(6), 666–675 (2008)MathSciNetMATHGoogle Scholar - Lee, S.-Y., Lerario, A., Lundberg, E.: Remarks on Wilmshurst’s theorem. Indiana Univ. Math. J.
**64**(4), 1153–1167 (2015)MathSciNetView ArticleMATHGoogle Scholar - Lerario, A., Lundberg, E.: On the zeros of random harmonic polynomials: the truncated model, preprint (2015), arXiv:1507.01041
- Lee, S.Y., Saez, A.: A new lower bound for the maximal valence of harmonic polynomials. Comput. Methods Funct. Theory
**17**, 139 (2017). https://doi.org/10.1007/s40315-016-0175-x MathSciNetView ArticleMATHGoogle Scholar - Li, W.V., Wei, A.: On the expected number of zeros of a random harmonic polynomial. Proc. AMS
**137**(1), 195–204 (2009)MathSciNetView ArticleMATHGoogle Scholar - Luce, R., Sète, O., Liese, J.: A note on the maximum number of zeros of \(r(z) - {z}\). Comput. Methods Funct. Theory
**15**, 1617–9447 (2014)MathSciNetGoogle Scholar - Lyzzaik, A.: Local properties of light harmonic mappings. Can. J. Math.
**44**(1), 135–153 (1992)MathSciNetView ArticleMATHGoogle Scholar - Minding, F.: Ueber die Bestimmung des Gradeseinerdurch elimination hervorgehenden Gleichung. J. Reine Angew. Math.
**22**, 178–183 (1841)MathSciNetView ArticleGoogle Scholar - Sheil-Small, T.: Complex polynomials, Cambridge studies in advanced mathematics. Cambridge University Press, Cambridge (2002)View ArticleMATHGoogle Scholar
- Sturmfels, B.: Solving systems of polynomial equations. In: CBMS Regional Conference Series in Mathematics, 97, 152 (2002)Google Scholar
- Suffridge, T.J., Thompson, J.W.: Local behavior of harmonic mappings. In: Complex Variables Theory Appl. 41, 63–80 (2000). MR 2001a:30019Google Scholar
- Wilmshurst, A.S.: Complex harmonic mappings and the valence of harmonic polynomials, D. Phil. thesis. University of York, York (1994)Google Scholar
- Wilmshurst, A.S.: The valence of harmonic polynomials. In: Proceedings of American Mathematics Society. 126, 2077–2081 (1998). MR 98h:30029Google Scholar