**18**

votes

**1**answer

4k views

### About Goldbach's conjecture

let's consider a composite natural number $n$ greater or equal to $4$. Goldbach's conjecture is equivalent to the following statement: "there is at least one natural number $r$ such as $(n-r)$ and ...

**33**

votes

**5**answers

3k views

### Is the Riemann Hypothesis equivalent to a $\Pi_1$ sentence?

1) Can the Riemann Hypothesis (RH) be expressed as a $\Pi_1$ sentence?
More formally,
2) Is there a $\Pi_1$ sentence which is provably equivalent to RH in PA?
(This is mentioned in P. ...

**4**

votes

**3**answers

593 views

### Bound the error in estimating a relative totient function

Let $n=p_1^{e_1}\cdots p_k^{e_k}$ be an integer with $k$ prime factors. We know that the number of integers less than $n$ and coprime to it is
$$\Phi(n)=n-\sum_i\frac n{p_i}\+\sum_{i \lt j}\frac ...

**84**

votes

**3**answers

8k views

### Convergence of $\sum(n^3\sin^2n)^{-1}$

I saw a while ago in a book by Clifford Pickover, that whether $\displaystyle \sum_{n=1}^\infty\frac1{n^3\sin^2 n}$ converges is open.
I would think that the question of its convergence is really ...

**58**

votes

**4**answers

7k views

### How small can a sum of a few roots of unity be?

Let $n$ be a large natural number, and let $z_1, \ldots, z_{10}$ be (say) ten $n^{th}$ roots of unity: $z_1^n = \ldots = z_{10}^n = 1$. Suppose that the sum $S = z_1+\ldots+z_{10}$ is non-zero. How ...

**29**

votes

**4**answers

2k views

### Cliques, Paley graphs and quadratic residues

A question I've thought about, on and off for a long time, is how to improve the best bounds that (seem to be) known for the clique numbers of Paley graphs.
If p=1 mod 4 is a prime, we can define the ...

**22**

votes

**4**answers

2k views

### Which number fields are monogenic? and related questions

A number field $K$ is said to be monogenic when $\mathcal{O}_K=\mathbb{Z}[\alpha]$ for some $\alpha\in\mathcal{O}_K$. What is currently known about which $K$ are monogenic? Which are not? From ...

**25**

votes

**2**answers

2k views

### Number of elements in the set $\{1,\cdots,n\}\times\{1,\cdots,n\}$

Let $A_n=\{a\cdot b : a,b \in \mathbb{N}, a,b\leq n\}$. Are there any estimates for $|A_n|$? Will it be $o(n^2)$?

**19**

votes

**2**answers

1k views

### Are most curves over Q pointless?

Fresh out of the arXiv press is the remarkable result of Manjul Bhargava saying that most hyperelliptic curves over $\mathbf{Q}$ have no rational points. Don Zagier suggests the paraphrase : Most ...

**13**

votes

**1**answer

2k views

### Distinct numbers in multiplication table

Consider multiplication table for numbers $1,2,\cdots, n$. How many different numbers are there? That is how many different numbers of the form $ij$ with $1 \le i, j \le n$ are there?
I'm interested ...

**0**

votes

**1**answer

426 views

### A possible consequence of Dirichlet's theorem about primes in arithmetic progression

EDIT : I copy-paste the beginning of a previous question since Gerry Myerson suggested this question should be self-contained.
"let's consider a composite natural number $n$ greater or equal to $4$. ...

**174**

votes

**7**answers

85k views

### Philosophy behind Mochizuki's work on the ABC conjecture

Mochizuki has recently announced a proof of the ABC conjecture. It is far too early to judge its correctness, but it builds on many years of work by him. Can someone briefly explain the philosophy ...

**40**

votes

**9**answers

5k views

### Learning Class Field Theory: Local or Global First?

I've noticed that there seem to be two approaches to learning class field theory. The first is to first learn about local fields and local class field theory, and then prove the basic theorems about ...

**58**

votes

**9**answers

6k views

### Why should I believe the Mordell Conjecture?

It was Faltings who first proved in 1983 the Mordell conjecture, that a curve of genus 2 or more over a number field has only finitely many rational points.
I am interested to know why Mordell and ...

**32**

votes

**6**answers

3k views

### Geometric / physical / probabilistic interpretations of Riemann zeta(n>1)?

What are some physical, geometric, or probabilistic interpretations of the values of the Riemann zeta function at the positive integers greater than one?
I've found some examples:
1) In MO-Q111339 ...

**47**

votes

**3**answers

4k views

### What is the status of the Gauss Circle Problem?

For $r > 0$, let $L(r) = \# \{ (x,y) \in \mathbb{Z}^2 \ | \ x^2 + y^2 \leq r^2\}$ be the number of lattice points lying on or inside the standard circle of radius $r$. It is easy to see that $L(r) ...

**37**

votes

**7**answers

2k views

### How would one even begin to try to prove that a simple number-theoretic statement is undecidable?

This question is closely related to this one: Knuth's intuition that Goldbach might be unprovable. It stems from my ignorance about non-standard models of arithmetic. In a comment on the other ...

**29**

votes

**4**answers

3k views

### Is there an “elementary” proof of the infinitude of completely split primes?

Let K be a Galois extension of the rationals with degree n. The Chebotarev Density Theorem guarantees that the rational primes that split completely in K have density 1/n and thus there are infinitely ...

**41**

votes

**6**answers

3k views

### Algebraic Attacks on the Odd Perfect Number Problem

The odd perfect number problem likely needs no introduction. Recent progress (where by recent I mean roughly the last two centuries) seems to have focused on providing restrictions on an odd perfect ...

**29**

votes

**4**answers

1k views

### Are most cubic plane curves over the rationals elliptic?

%This is a new version of the original question modified in the light of the answers and comments.
The word 'most' in the title is ambiguous. The following is one way of making it precise.
...

**11**

votes

**4**answers

3k views

### Is there a simple way to compute the number of ways to write a positive integer as the sum of three squares?

It's a standard theorem that the number of ways to write a positive integer N as the sum of two squares is given by four times the difference between its number of divisors which are congruent to 1 ...

**10**

votes

**5**answers

2k views

### Rational points on a sphere in $\mathbb{R}^d$

Call a point of $\mathbb{R}^d$ rational if all its $d$ coordinates are rational numbers.
Q1.
Is the unit sphere $S :\; x_1^2 +\cdots+ x_d^2 = 1$ dense in rational points, i.e. does $S$ include a ...

**17**

votes

**3**answers

7k views

### Proof of the weak Goldbach Conjecture

What are the main ideas of Harald Helfgott's proof that all odd $n \geq 5$ is the sum of 3 primes?

**16**

votes

**5**answers

1k views

### Are the 'semi' trivial zeros of $\zeta(s) \pm \zeta(1-s)$ all on the critical line?

The proof that $\Gamma(z)\pm \Gamma(1-z)$ only has zeros for $z \in \mathbb{R}$ or $z= \frac12 +i \mathbb{R}$ has been given here:
Are all zeros of $\Gamma(s) \pm \Gamma(1-s)$ on a line with real ...

**5**

votes

**1**answer

459 views

### Is there a connection between the closed forms of these two infinite products?

Take the following two infinite products that have closed forms.
Assume: $\gamma_n > 0 \in \mathbb{R};s,a,x \in \mathbb{C}; x \ne 0,a \pm ix\gamma_n \ne 0$
The first product:
$$\displaystyle ...

**13**

votes

**3**answers

1k views

### Does this infinite sum provide a new analytic continuation for $\zeta(s)$?

It is well known that the infinite sum:
$$\displaystyle \zeta(s) = \sum_{n=1}^\infty \frac{1}{n^s}$$
only converges for $\Re(s)>1$.
The Dirichlet 'alternating' sum:
$$\displaystyle \zeta(s) = ...

**11**

votes

**2**answers

580 views

### Odd-bit primes ratio

Say that a number is an odd-bit number if
the count of 1-bits in its binary representation is odd.
Define an even-bit number analogously.
Thus $541 = 1000011101_2$ is an odd-bit number,
and $523 = ...

**8**

votes

**0**answers

698 views

### Would the following conjectures imply $\lim\inf_{n\to\infty}p_{n+k}-p_{n}=O(k\log k)$?

Assume Goldbach's conjecture. Then for every $n\ge 2$ there exists at least one non-negative integer $r\le n-2$ such that both $n+r$ and $n-r$ are primes. Let's write $r_{0}(n):=\inf\{r\le n-2, ...

**8**

votes

**2**answers

1k views

### What is the best known upper bound for the number of twin primes?

A quantitative form of the twin prime conjecture asserts that the the number of twin primes less than $n$ is asymptotically equal to $2\, C\, n/ \ln^2(n)$ where $C$ is the so-called twin prime ...

**54**

votes

**21**answers

13k views

### What's the “best” proof of quadratic reciprocity?

For my purposes, you may want to interpret "best" as "clearest and easiest to understand for undergrads in a first number theory course," but don't feel too constrained.

**43**

votes

**28**answers

20k views

### Applications of the Chinese remainder theorem

As the title suggests I am interested in CRT applications. Wikipedia article on CRT lists some of the well known applications (e.g. used in the RSA algorithm, used to construct an elegant Gödel ...

**46**

votes

**14**answers

4k views

### What is the high-concept explanation on why real numbers are useful in number theory?

The utopian situation in mathematics would be that the statement and the proof of every result would live "in the same world", at the same level of mathematical complexity (in a broad sense), unless ...

**37**

votes

**3**answers

7k views

### Proof that pi is transcendental that doesn't use the infinitude of primes

I just taught the classical impossible constructions for the first time, and in finding my class a reference for the transcendence of pi, I found a dearth of distinct proofs. In particular, those ...

**53**

votes

**4**answers

2k views

### What is the limit of gcd(1! + 2! + … + (n-1)! , n!) ?

Let $s_n = \sum_{i=1}^{n-1} i!$ and let $g_n = \gcd (s_n, n!)$. Then it is easy to see that $g_n$ divides $g_{n+1}$. The first few values of $g_n$, starting at $n=2$ are $1, 3, 3, 3, 9, 9, 9, 9, 9, ...

**42**

votes

**6**answers

2k views

### Are all zeros of $\Gamma(s) \pm \Gamma(1-s)$ on a line with real part = $\frac12$ ?

The function $\Gamma(s)$ does not have zeros, but $\Gamma(s)\pm \Gamma(1-s)$ does.
Ignoring the real solutions for now and assuming $s \in \mathbb{C}$ then:
$\Gamma(s)-\Gamma(1-s)$ yields zeros at:
...

**40**

votes

**2**answers

5k views

### Walsh Fourier Transform of the Möbius function

This question is related to this previous question where I asked about ordinary Fourier coefficients.
Special case: is Möbius nearly Orthogonal to Morse
!
Harold Calvin Marston Morse (24 March ...

**30**

votes

**3**answers

2k views

### From Zeta Functions to Curves

Let $C$ be a nonsingular projective curve of genus $g \geq 0$ over a finite field $\mathbb{F}_q$ with $q$ elements. From this curve, we define the zeta function
$$Z_{C/{\mathbb{F}}_q}(u) = ...

**13**

votes

**1**answer

2k views

### What is the knot associated to a prime?

I can't help but ask this question, having found out about arithmetic topology here on MO. There is a concise description of the MKR dictionary central to this philosophy here. This dictionary is used ...

**64**

votes

**6**answers

7k views

### Does Zhang's theorem generalize to $3$ or more primes in an interval of fixed length?

Let $p_n$ be the $n$-th prime number, as usual:
$p_1 = 2$, $p_2 = 3$, $p_3 = 5$, $p_4 = 7$, etc.
For $k=1,2,3,\ldots$, define
$$
g_k = \liminf_{n \rightarrow \infty} (p_{n+k} - p_n).
$$
Thus the twin ...

**24**

votes

**4**answers

4k views

### Are nontrivial integer solutions known for $x^3+y^3+z^3=3$?

The Diophantine equation
$$x^3+y^3+z^3=3$$
has four easy integer solutions: $(1,1,1)$ and the three permutations of $(4,4,-5)$. Elsenhans and Jahnel wrote in 2007 that these were all the solutions ...

**35**

votes

**6**answers

2k views

### Placing numbers $1,2,\ldots,n^3$ in a cube so that numbers of any two adjacent unit subcube are coprime

This is a question first I asked in SE but since there was no suggestion or solution, I decide to put it here.
Consider an $n\times n \times n$ Cube containing $n^3$ unit cubes. Is it possible to ...

**22**

votes

**5**answers

2k views

### Global fields: What exactly is the analogy between number fields and function fields?

Note: This comes up as a byproduct of Qiaochu's question "What are examples of good toy models in mathematics?"
There seems to be a general philosophy that problems over function fields are easier to ...

**35**

votes

**3**answers

1k views

### What fraction of the integer lattice can be seen from the origin?

Consider the integer lattice points in the positive quadrant $Q$ of $\mathbb{Z}^2$.
Say that a point $(x,y)$ of $Q$ is visible from the origin if the
segment from $(0,0)$ to $(x,y) \in Q$ passes ...

**30**

votes

**1**answer

6k views

### Mochizuki's proof and Siegel zeros

Granville and Stark (Invent. Math. 139 (2000), 509-523) proved that a uniform version of the abc conjecture for number fields eliminates Siegel zeros for $L$-functions associated with quadratic ...

**30**

votes

**7**answers

5k views

### Are some numbers more irrational than others?

Some irrational numbers are transcendental, which makes them in some sense "more irrational" than algebraic numbers. There are also numbers, such as the golden ratio $\varphi$, which are poorly ...

**27**

votes

**4**answers

3k views

### Can the difference of two distinct Fibonacci numbers be a square infinitely often?

Can the difference of two distinct Fibonacci numbers be a square infinitely often?
There are few solutions with indices $<10^{4}$ the largest two being $F_{14}-F_{13}=12^2$ and ...

**15**

votes

**1**answer

1k views

### On a Conjecture of Schinzel and Sierpinski

Melvyn Nathanson, in his book Elementary Methods in Number Theory (Chapter 8: Prime Numbers) states the following:
A conjecture of Schinzel and Sierpinski asserts that every positive rational number ...

**19**

votes

**7**answers

2k views

### Asymptotic density of k-almost primes

Let $\pi_k(x)=|\{n\le x:n=p_1p_2\cdots p_k\}|$ be the counting function for the k-almost primes, generalizing $\pi(x)=\pi_1(x)$. A result of Landau is
$$\pi_k(x)\sim\frac{x(\log\log ...

**39**

votes

**4**answers

3k views

### Has Fermat's Last Theorem per se been used?

There is a long tradition of mathematicians remarking that FLT in itself is a rather isolated claim, attractive only because of its simplicity. And people often note a great thing about current ...

**9**

votes

**4**answers

3k views

### One point in the post of Terence Tao on Ax-Grothendieck theorem

I was trying to understand completely the post of Terrence Tao on Ax-Grothendieck theorem.
http://terrytao.wordpress.com/2009/03/07/infinite-fields-finite-fields-and-the-ax-grothendieck-theorem/
...