## Prime Obsession

Read Prime Obsession over the last five days (I got a hold of it just in time for vacation). It is a really nicely written book on the history and math behind the Riemann hypothesis. The areas of math involved here are number theory (prime numbers), and complex analysis. The Euler product (shown on the cover) is the beginning of the bridge between the two fields.

Mathematicians are interested in the number of primes less than a given integer and call this . While the function can be calculated for any given , there is no closed form (simple) solution for it. Approximations have been proposed, the first being

and the second being

and the closest approximation coming in the last chapter.

Meanwhile, also of interest are the convergent infinite series of fractions, given by the Riemann zeta function . This function is defined as

The first solution to this I encountered in college for which is amazingly

Euler solved this generally for all even, (and they are all powers of to the ). However, all odd are unsolved, and it was not until 1978 that was even proved to be irrational! This summed series can be converted with regular algebra (and some insight using something like the sieve of Eratosthenes) to a product series. This is the famous **Euler product**

where are all the integers and stands for all prime numbers. (The use of is a convention started by Riemann, and not disturbed by mathematicians over the centuries, it could just as well be ). The Riemann zeta function is continued analytically into the complex plane and gives rise to the Riemann hypothesis,* *

*The Riemann hypothesis – all non-trivial zeros of the zeta function have real part one-half.*

(now the zeta function in the complex plane is linked with primes!)

**Random notes**

In the arithmetic of congruences, .

I thought Derbyshire’s comment on thought process interesting “*mathematical thinking is a deeply unnatural way of thinking, and is probably responsible for repelling so many people*” – pg. 89

A *conditionally convergent *series sums to different limits depending on the order of summation, as opposed to an *absolutely convergent *series.

the primes are a subset of natural numbers.

the *algebraic numbers *are zeros of some polynomial on .

Non-algebraic irrationals are transcendental.

There are infinitely many rationals, and infinitely many irrationals, but these are different infinities and the irrational’s infinity is larger.

Littlewood in 1914 proved changes from – to + and back infinitely many times, violating the “upper-bound” of .

Skewes’ number gives that it crosses at least once by (one of the largest numbers to occur naturally in a math proof!)

The Psychology of Invention in the Mathematical Field – Hademard 1945

The Möbius function has a domain of the natural numbers and is defined by

and is used in the inversion

The Mertens’s function is defined by

The Riemann hypothesis is equivalent to for every , no matter how small.

“We must know, we shall know.” – Hilbert 1930.

A *ring *is a group supporting +, -, x, but not necessarily division. A *field *is a ring supporting division as well. are all fields, are not. I.e. all numbers of the form where is a field that inclues all rationals () and some irrationals. Fields can be finite, and can be contructed from any prime number p, and for powers of primes. E.g.

Rings are named like , and is .

The *characteristic *of a field tells you how many times you have to add one to itself to get 0.

“The great importance of **matrices **is that they can be used to represent, to quantify, certain deeper and more fundamental things. They are **operators**. … That is why the **characteristic polynomial**, the **eigenvalues**, and the **trace **are such key concepts, **they are properties of the underlying operator**, not just of the matrix. an operator can be represented by many matrices.”

The family of NxN matrices is “the general linear group for N” or .

All the eigenvalues of a Hermitian matrix are real. so, all the coeffients of the characteristic polynomial are real.

The Hilbert-Pólya conjecture – the non-trivial zeros of the Riemann zeta function correspond to the eigenvalues of some Hermitian operator.

The *Gaussian Unitary Ensemble *(GUE) is a set of Gaussian-random Hermitian matrices. Eigenvalues of these show unusual spacings described by *pair-correlation function* with a characteristic ratio called its *form factor*. Evidence for this is that the zeta zeros and eigenvalues don’t look random, they look like each other, and both show a repulsion effect. See 1973 – Hugh Montgomery – AMS – spacing of zeta zeros. The Montgomery-Odlyzko Law – distributions are statistically identical.

Riemann (1859) defines

which can be inverted to using the Möbius function,

This is called the *Möbius inversion*.

In chaotic systems perturbation theory cannot hold; small changes in initial conditions lead to large effects.

The Hamilton operator encodes the systems energy. Eigenvalues correspond to energy levels and eigenvectors to the system’s state.

The *p-adic numbers* are mathematical objects, created in 1897 by Kurt Hensel. There is one field of p-adic numbers for any prime. It is built of rings of size The field from 7, , is built from , , , … The field , like , can be used to complete . An *adele* is built from , , , … and , and so is a class of super-numbers that are, each one, embedded with **all **the primes. Alain Connes built an adele to host his Riemann operator.

If the Riemann hypothesis is true (RH), then evaluation of the error term is possible, via

**Explore posts in the same categories:**Books, Math

16 November 2009 at 12:53 am

can you send me lyrics of tom apostol’s song

16 November 2009 at 9:06 am

Perhaps you mean these lyrics?