Jun11

Bye

Posted on June 11, 2019 by math

I won’t be writing new blog posts here anymore.

All the past blog posts and static pages will be available in read-only format (i.e. no new comments can be made on this website).

Dec28

Richert Theorem

Posted on December 28, 2018 by math

Standard

In 1852, Chebyshev proved the Bertrand’s postulate:

For any integer $n>1$ , there always exists at least one prime number $p$ with $n < p < 2n$ .

You can find Erdős’ elementary proof here. In this post I would like to discuss an application of this fantastic result, discovered by Hans-Egon Richert in 1948:

Every integer $n\geq 7$ can be expressed as a sum of distinct primes.

There are several proofs available in literature, but we will follow the short proof given by Richert himself (english translation has been taken from here and here):

Consider the set of prime integers $\{p_1, p_2,p_3,\ldots\}$ where $p_1=2, p_2=3, p_3=5,\ldots$ . By Bertrand’s postulate we know that $\boxed{p_i < p_{i+1} < 2p_i }$ .

Next, we observe that, any integer between 7 and 19 can be written as a sum of distinct first 5 prime integers $\{2,3,5,7,11\}$ :

7 = 5+2; 8 = 5+3; 9 = 7+2; 10 = 5+3+2; 11 = 11; 12 = 7+5; 13 = 11+2; 14 = 7+5+2; 15 = 7+5+3; 16 = 11+5; 17 = 7+5+3+2; 18 = 11+7; 19 = 11+5+3

Hence we fix $a=7-1=6$ , $b=19-a=13$ , and $k=5$ to conclude that $\boxed{b \geq p_{k+1}}$ .

Let, $S_i = \{a+1,a+2,\ldots, a+p_{i+1}\}=\{7,8,\ldots, 6+p_{i+1}\}$ . Then by the above observation we know that the elements of $S_k = S_5 = \{7,8,\ldots, 19\}$ are the sum of distinct first $k=5$ prime integers.
Moreover, if the elements of $S_i$ can be written as the sum of distinct first $i$ prime integers, then the elements of $S_{i+1}$ can also be written as the sum of distinct first $i+1$ prime integers since

$S_{i+1}\subset S_i \cup \{m + p_{i+1}: m\in S_{i}\}$

as a consequence of $2p_{i+1} \geq p_{i+2}$ .

Hence inductively the result follows by considering $\bigcup_{i\ge k} S_i$ , which contains all integers greater than $a=6$ , and contains only elements which are distinct sums of primes.

Exercise: Use Bertrand’s postulate to generalize the statement proved earlier: If $n>1$ and $k$ are natural numbers , then the sum

$\displaystyle{\frac{1}{n}+ \frac{1}{n+1} + \ldots + \frac{1}{n+k}}$

cannot be an integer.

[HINT: Look at the comment by Dan in the earlier post.]

References:
[0] Turner, C. (2015) A theorem of Richert. Math.SE profile: https://math.stackexchange.com/users/37268/sharkos

[1] Richert, H. E. (1950). Über Zerfällungen in ungleiche Primzahlen. (German). Mathematische Zeitschrift 52, pp. 342-343. https://doi.org/10.1007/BF02230699

[2] Sierpiński,W. (1988). Elementary theory of numbers. North-Holland Mathematical Library 31, pp. 137-153.

Dec20

Riemann zeta function

Posted on December 20, 2018 by math

Standard

About 2.5 years ago I had promised Joseph Nebus that I will write about the interplay between Bernoulli numbers and Riemann zeta function. In this post I will discuss a problem about finite harmonic sums which will illustrate the interplay.

Consider the Problem 1.37 from The Math Problems Notebook:

Let $\{a_1, a_2, \ldots, a_n\}$ be a set of natural numbers such that $\text{gcd}(a_i,a_j)=1$ , and $a_i$ are not prime numbers. Show that $\displaystyle{\frac{1}{a_1}+\frac{1}{a_2}+ \ldots + \frac{1}{a_n} < 2}$

Since each $a_i$ is a composite number, we have $a_i = p_i q_i s_i$ for some, not necessarily distinct, primes $p_i$ and $q_i$ . Next, $\text{gcd}(a_i,a_j)=1$ implies that $p_i,q_i \neq p_j, q_j$ . Therefore we have:

$\displaystyle{\sum_{i=1}^n \frac{1}{a_i} \leq \sum_{i=1}^n \frac{1}{p_i q_i} \leq \sum_{i=1}^n \frac{1}{(\text{min}(p_i,q_i))^2} < \sum_{k=1}^\infty \frac{1}{k^2}}$

Though it’s easy to show that $\sum_{k=1}^\infty \frac{1}{k^2} < \infty$ , we desire to find the exact value of this sum. This is where it’s convinient to recognize that $\boxed{\sum_{k=1}^\infty \frac{1}{k^2} = \zeta(2)}$ . Since we know what are Bernoulli numbers, we can use the following formula for Riemann zeta-function:

$\displaystyle{\zeta(2n) = (-1)^{n+1}\frac{B_{2n}(2\pi)^{2n}}{2(2n)!}}$

There are many ways of proving this formula, but none of them is elementary.

Recall that $B_2 = 1/6$ , so for $n=1$ we have $\zeta(2) = \pi^2/6\approx 1.6 < 2$ . Hence completing the proof

$\displaystyle{\sum_{i=1}^n \frac{1}{a_i} <\zeta(2) < 2}$

Remark: One can directly caculate the value of $\sum_{k=1}^\infty \frac{1}{k^2}$ as done by Euler while solving the Basel problem (though at that time the notion of convergence itself was not well defined):

Dec6

Thank you, Dr. Majumder

Posted on December 6, 2018 by math

Standard

Dr. Jaydeep Majumder (07 June 1972 – 22 July 2009)

Recently I finished the first part of my master’s thesis related to (complex) algebraic geometry. There are not many (useful) books available on this topic, and most of them are very costly. In fact, my college library couldn’t buy enough copies of books in this topic. However, fortunately, Dr. Jaydeep Majumder‘s books were donated to the library and they will make my thesis possible:

Principles of Algebraic Geometry by Joseph Harris and Phillip Griffiths

Algebraic Curves and Riemann Surfaces by Rick Miranda

Hodge Theory ans Complex Algebraic Geometry – I by Claire Voisin

While reading the books, I assumed that that these books were donated after the death of some old geometer. But I was wrong. He was a young physicist, who barely spent a month at NISER. A heart breaking reason for the books essential for my thesis to exist in the college library.

https://stringsamachar.blogspot.com/2009/07/rip-jaydeep-majumder-1972-2009.html?m=1

Dr. Majumder was a theoretical high energy physicist who did research in String Theory. He obtained his Ph.D. under the supervision of Prof. Ashoke Sen at HRI. He joined NISER as Reader-F in June 2009, and was palnning to teach quantum mechanics during the coming semester. Unfortunately, on 22 July 2009 at the young age of 37 he suffered an untimely death due to brain tumor.

https://sites.google.com/site/jaydeepmajumder2/

I just wanted to say that Dr. Majumder has been of great help even after his death. The knowldege and good deeds never die. I really wish he was still alive and we could discuss the amazing mathematics written in these books.

Dec2

Confusing terms in topology

Posted on December 2, 2018 by math

Standard

Following are some of the terms used in topology which have similar definition or literal English meanings:

Convex set: A subset $U$ of $\mathbb{R}^n$ is called convex¹ , if it contains, along with any pair of its points $x,y$ , also the entire line segement joining the points.

Star-convex set: A subset $U$ of $\mathbb{R}^n$ is called star-convex if there exists a point $p\in U$ such that for each $x\in U$ , the line segment joining $x$ to $p$ lies in $U$ .

Simply connected: A topological space $X$ is called simply connected if it is path-connected² and any loop in $X$ defined by $f : S^1 \to X$ can be contracted³ to a point.

Deformation retract: Let $U$ be a subspace of $X$ . We say is a $X$ deformation retracts to $U$ if there exists a retraction⁴ $r : X \to U$ a retraction such that its composition with the inclusion is homotopic⁵ to the identity map on $X$ .

Various examples to illustrate the interdependence of these terms. Shown here are pentagon, star, sphere, and annulus.

A stronger version of Jordan Curve Theorem, known as Jordan–Schoenflies theorem, implies that the interior of a simple polygon is always a simply-connected subset of the Euclidean plane. This statement becomes false in higher dimensions.

The n-dimensional sphere $S^n$ is simply connected if and only if $n \geq 2$ . Every star-convex subset of $\mathbb{R}^n$ is simply connected. A torus, the (elliptic) cylinder, the Möbius strip, the projective plane and the Klein bottle are NOT simply connected.

The boundary of the n-dimensional ball $S^n$ , that is, the $(n-1)$ -sphere, is not a retract of the ball. Using this we can prove the Brouwer fixed-point theorem. However, $\mathbb{R}^n-0$ deformation retracts to a sphere $S^{n-1}$ . Hence, though the sphere shown above doesn’t deformation retract to a point, it is a deformation retraction of $\mathbb{R}^3-0$ .

Footnotes

In general, a convex set is defined for vector spaces. It’s the set of elements from the vector space such that all the points on the straight line line between any two points of the set are also contained in the set. If $a$ and $b$ are points in the vector space, the points on the straight line between $a$ and $b$ are given by $x = \lambda a + (1-\lambda)b$ for all $\lambda$ from 0 to 1.
A path from a point $x$ to a point $y$ in a topological space $X$ is a continuous function $f$ from the unit interval $[0,1]$ to $X$ with $f(0) = x$ and $f(1) = y$ . The space $X$ is said to be path-connected if there is a path joining any two points in $X$ .
There exists a continuous map $F : D^2 \to X$ such that $F$ restricted to $S^1$ is $f$ . Here, $S^1$ and $D^2$ denotes the unit circle and closed unit disk in the Euclidean plane respectively. In general, a space $X$ is contractible if it has the homotopy-type of a point. Intuitively, two spaces $X$ and $Y$ are homotopy equivalent if they can be transformed into one another by bending, shrinking and expanding operations.
Then a continuous map $r: X\to U$ is a retraction if the restriction of $r$ to $U$ is the identity map on $U$ .
A homotopy between two continuous functions $f$ and $g$ from a topological space $X$ to a topological space $Y$ is defined to be a continuous function $H : X \times [0,1] \to Y$ such that, if $x \in X$ then $H(x,0) = f(x)$ and $H(x,1) = g(x)$ . Deformation retraction is a special type of homotopy equivalence, i.e. a deformation retraction is a mapping which captures the idea of continuously shrinking a space into a subspace.

Jul29

FLT for rational functions

Posted on July 29, 2018 by math

Standard

Following is the problem 2.16 in The Math Problems Notebook:

Prove that if $n>2$ , then we do not have any nontrivial solutions of the equation $F^n + G^n = H^n$ where $F,G,H$ are rational functions. Solutions of the form $F = aJ, G=bJ, H=cJ$ where $J$ is a rational function and $a,b,c$ are complex numbers satisfying $a^n + b^n = c^n$ , are called trivial.

This problem is analogous to the Fermat’s Last Theorem (FLT) which states that for $n> 2$ , $x^n + y^n = z^n$ has no nontrivial integer solutions.

The solution of this problem involves proof by contradiction:

Since any rational solution yields a complex polynomial solution, by clearing the denominators, it is sufficient to assume that $(f,g,h)$ is a polynomial solution such that $r=\max(\deg(f),\deg(g),\deg(h))$ is minimal among all polynomial solutions, where $r>0$ .

Assume also that $f,g,h$ are relatively prime. Hence we have $f^n+g^n = h^n$ , i.e. $f^n-h^n = g^n$ . Now using the simple factorization identity involving the roots of unity, we get:

$\displaystyle{\prod_{\ell = 0}^{n-1}\left(f-\zeta^\ell h\right) = g^n}$

where $\zeta = e^{\frac{2\pi i}{n}}$ with $i = \sqrt{-1}$ .

Since $\gcd(f,g) = \gcd(f,h) = 1$ , we have $\gcd(f-\zeta^\ell h, f-\zeta^k h)=1$ for $\ell\neq k$ . Since the ring of complex polynomials has unique facotrization property, we must have $g = g_1\cdots g_{n-1}$ , where $g_j$ are polynomials satisfying $\boxed{g_\ell^n = f-\zeta^\ell h}$ .

Now consider the factors $f-h, f-\zeta h, f-\zeta^2 h$ . Note that, since $n>2$ , these elements belong to the 2-dimensional vector space generated by $f,h$ over $\mathbb{C}$ . Hence these three elements are linearly dependent, i.e. there exists a vanishing linear combination with complex coefficients (not all zero) in these three elements. Thus there exist $a_\ell\in\mathbb{C}$ so that $a_0g_0^n + a_1g_1^n = a_2g_2^n$ . We then set $h_\ell = \sqrt[n]{a_\ell}g_\ell$ , and observe that $\boxed{h_0^n+h_1^n = h_2^n}$ .

Moreover, the polynomials $\gcd(h_\ell,h_k)=1$ for $\ell \neq k$ and $\max_{\ell}(h_\ell) = \max_{\ell} (g_\ell) < r$ since $g_\ell^n \mid f^n-h^n$ . Thus contradicting the minimality of $r$ , i.e. the minimal (degree) solution $f,g,h$ didn’t exist. Hence no solution exists.

The above argument fails for proving the non-existence of integer solutions since two coprime integers don’t form a 2-dimensional vector space over $\mathbb{C}$ .

Jun20

Hyperreal and Surreal Numbers

Posted on June 20, 2018 by math

Standard

These are the two lesser known number systems, with confusing names.

Hyperreal numbers originated from what we now call “non-standard analysis”. The system of hyperreal numbers is a way of treating infinite and infinitesimal quantities. The term “hyper-real” was introduced by Edwin Hewitt in 1948. In non-standard analysis the concept of continuity and differentiation is defined using infinitesimals, instead of the epsilon-delta methods. In 1960, Abraham Robinson showed that infinitesimals are precise, clear, and meaningful.

$math-se$

source: https://math.stackexchange.com/a/51460/214604

Following is a relevant Numberphile video:

Surreal numbers, on the other hand, is a fully developed number system which is more powerful than our real number system. They share many properties with the real numbers, including the usual arithmetic operations (addition, subtraction, multiplication, and division); as such, they also form an ordered field. The modern definition and construction of surreal numbers was given by John Horton Conway in 1970. The inspiration for these numbers came from the combinatorial game theory. Conway’s construction was introduced in Donald Knuth‘s 1974 book Surreal Numbers: How Two Ex-Students Turned on to Pure Mathematics and Found Total Happiness.

sss

In his book, which takes the form of a dialogue, Knuth coined the term surreal numbers for what Conway had called simply numbers. This is the best source to learn about their construction. But the construction, though logical, is non-trivial. Conway later adopted Knuth’s term, and used surreals for analyzing games in his 1976 book On Numbers and Games.

Following is a relevant Numberphile video:

Many nice videos on similar topics can be found on PBS Infinite Series YouTube channel.

Jun15

Rational input, integer output

Posted on June 15, 2018 by math

Standard

Consider the following polynomial equation [source: Berkeley Problems in Mathematics, problem 6.13.10]:

$f(t) = 3t^3 + 10t^2 - 3t$

Let’s try to figure out the rational values of $t$ for which $f(t)$ is an integer. Clearly, if $t\in\mathbb{Z}$ then $f(t)$ is an integer. So let’s consider the case when $t=m/n$ where $\gcd(m,n)=1$ and $m\neq \pm 1$ . Substituting this value of $t$ we get:

$\displaystyle{f\left(\frac{m}{n}\right) = \frac{3m^3}{n^3} + \frac{10m^2}{n^2} - \frac{3m}{n}= \frac{m(3m^2+10mn-3n^2)}{n^3}=k \in \mathbb{Z}}$

Since, $n^3\mid (3m^2+10mn-3n^2)$ we conclude that $n\mid 3$ . Also it’s clear that $m\mid k$ . Hence, $n=\pm 3$ and we just need to find the possible values of $m$ .

For $n=3$ we get:

$\displaystyle{f\left(\frac{m}{3}\right) = \frac{m(m^2+10m-9)}{9}=k \in \mathbb{Z}}$

Hence we have $9\mid (m^2+10m)$ . Since $\gcd(m,n)=\gcd(m,3)=1$ , we have $9\mid (m+10)$ , that is, $m\equiv 8\pmod 9$ .

Similarly, for $m=-3$ we get $n\equiv 1 \pmod 9$ . Hence we conclude that the non-integer values of $t$ which lead to integer output are:

$\displaystyle{t = 3\ell+ \frac{8}{3}, -3\ell-\frac{1}{3}}$ for all $\ell\in\mathbb{Z}$

May22

Number Theory

Posted on May 22, 2018 by math

Standard

I read the term “number theory” for the first time in 2010, in this book (for RMO preparation):

This term didn’t make any sense to me then. More confusing was the entry in footer “Number of Theory”. At that time I didn’t have much access to internet to clarify the term, hence never read this chapter. I still like the term “arithmetic” rather than “number theory” (though both mean the same).

Yesterday, following article in newspaper caught my attention:

article: HT – How a Congress-BSP pact can be a game changer in MP, Rajasthan, Chhattisgarh

The usage of this term makes sense here!

May18

Rooms and reflections

Posted on May 18, 2018 by math

Standard

Consider the following entry from my notebook (16-Feb-2014):

The Art Gallery Problem: An art gallery has the shape of a simple n-gon. Find the minimum number of watchmen needed to survey the building, no matter how complicated its shape. [Source: problem 25, chapter 2, Problem Solving Strategies, Arthur Engel]

Hint: Use triangulation and colouring. Not an easy problem, and in fact there is a book dedicated to the theme of this problem: Art Gallery Theorems and Algorithms by Joseph O’Rourke (see chapter one for detailed solution). No reflection involved.

Then we have a bit harder problem when we allow reflection (28-Feb-2017, Numberphile – Prof. Howard Masur):

The Illumination Problem: Can any room (need not be a polygon) with mirrored walls be always illuminated by a single point light source, allowing for the repeated reflection of light off the mirrored walls?

The answer is NO. Next obvious question is “What kind of dark regions are possible?”. This question has been answered for rational polygons.

This reminds me of the much simpler theorem from my notebook (13-Jan-2014):

The Carpets Theorem: Suppose that the floor of a room is completely covered by a collection of non-overlapping carpets. If we move one of the carpets, then the overlapping area is equal to the uncovered area of the floor. [Source: §2.6, Mathematical Olympiad Treasures, Titu Andreescu & Bogdan Enescu]

Why I mentioned this theorem? The animation of Numberphile video reminded me of carpets covering the floor.

And following is the problem which motivated me write this blog post (17-May-2018, PBS Infinite Series – Tai-Danae):

Secure Polygon Problem: Consider a n-gon with mirrored walls, with two points: a source point S and a target point T. If it is possible to place a third point B in the polygon such that any ray from the source S passes through this point B before hitting the target T, then the polygon is said to be secure. Is square a secure polygon?

The answer is YES. Moreover, the solution is amazing. Reminding me of the cross diagonal cover problem.

Gaurish4Math

For the love of Mathematics

Bye

Richert Theorem

Riemann zeta function

Thank you, Dr. Majumder

Confusing terms in topology

Footnotes

FLT for rational functions

Hyperreal and Surreal Numbers

Rational input, integer output

Number Theory

Rooms and reflections