# A complex log inequality

Standard

Let $z$ be a complex number. The power series expansion of $\text{log}(1+z)$ about $z_0=0$ is given by

$\displaystyle{\text{log}(1+z) = \sum_{n=1}^\infty (-1)^{n-1}\frac{z^n}{n} = z-\frac{z^2}{2} + \ldots}$

which has radius of convergence 1. If $|z|<1$ then

$\displaystyle{\left|1-\frac{\log(1+z)}{z}\right|\leq \frac{|z|}{2(1-|z|)}}$

If we further assume $|z|<1/2$ then

$\displaystyle{\left|1-\frac{\log(1+z)}{z}\right|\leq \frac{1}{2}}$

This gives,

$\displaystyle{\frac{|z|}{2}\leq |\log(1+z)|\leq \frac{3|z|}{2}, \quad |z|<\frac{1}{2}}$

I just wanted to see how this inequality will appear graphically, so here are the plots made using SageMath 7.5.1 (by fixing the real part of z to zero and varying the imaginary part till 1/2)

i = CDF.0; p1 = plot(lambda t: abs(log(1+t*i)), 0, 0.5, rgbcolor=(0.8,0,0),legend_label=’ $|log(1+z)|$’, thickness=2); p2 = plot(lambda t: abs((t*i)/2), 0, 0.5, rgbcolor=(0,0.8,0), legend_label=’$|z|/2$’, thickness=2); p3 = plot(lambda t: abs(3*(t*i)/2), 0, 0.5, rgbcolor=(0,0,0.8), legend_label=’ $3|z|/2$’, thickness=2); p1+p2+p3

I tried to get a graph where this inequlaity fails (i.e. the plots intersect), but failed to do so.

# Repelling Numbers

Standard

An important fact in the theory of prime numbers is the Deuring-Heilbronn phenomenon, which roughly says that:

The zeros of L-functions repel each other.

Interestingly, Andrew Granville in his article for The Princeton Companion to Mathematics remarks that:

This phenomenon is akin to the fact that different algebraic numbers repel one another, part of the basis of the subject of Diophantine approximation.

I am amazed by this repelling relation between two different aspects of arithmetic (a.k.a. number theory). Since I have already discussed the post Colourful Complex Functions, wanted to share this picture of the algebraic numbers in the complex plane, made by David Moore based on earlier work by Stephen J. Brooks:

In this picture, the colour of a point indicates the degree of the polynomial of which it’s a root, where red represents the roots of linear polynomials, i.e. rational numbers,  green represents the roots of quadratic polynomials, blue represents the roots of cubic polynomials, yellow represents the roots of quartic polynomials, and so on.  Also, the size of a point decreases exponentially with the complexity of the simplest polynomial with integer coefficient of which it’s a root, where the complexity is the sum of the absolute values of the coefficients of that polynomial.

Moreover,  John Baez comments in his blog post that:

There are many patterns in this picture that call for an explanation! For example, look near the point $i$. Can you describe some of these patterns, formulate some conjectures about them, and prove some theorems? Maybe you can dream up a stronger version of Roth’s theorem, which says roughly that algebraic numbers tend to ‘repel’ rational numbers of low complexity.

To read more about complex plane plots of families of polynomials, see this write-up by John Baez. I will end this post with the following GIF from Reddit (click on it for details):