Questions on more advanced topics of number theory, such as quadratic residues, primitive roots, prime numbers, non-linear Diophantine equations, etc.. Consider first if (elementary-number-theory) might be a more appropriate tag before adding this tag.

learn more… | top users | synonyms (1)

42
votes
0answers
2k views

Is this similarity to the Fourier transform of the von Mangoldt function real?

Mathematica knows that the logarithm of $n$ is: $$\log(n) = \lim\limits_{s \rightarrow 1} \zeta(s)\left(1 - \frac{1}{n^{(s - 1)}}\right)$$ The von Mangoldt function should then be: ...
41
votes
0answers
725 views

Gross-Zagier formulae outside of number theory

(Edit: I have asked this question on MO.) The Gross-Zagier formula and various variations of it form the starting point in most of the existing results towards the Birch and Swinnerton-Dyer ...
24
votes
0answers
590 views

On Shanks' quartic approximation $\pi \approx \frac{6}{\sqrt{3502}}\ln(2u)$

In Mathworld's "Pi Approximations", (line 58), Weisstein mentions one by the mathematician Daniel Shanks that differs by a mere $10^{-82}$, $$\pi \approx ...
22
votes
0answers
431 views

Dedekind Sum Congruences

For $a,b,c \in \mathbb{N}$, let $a^{\prime} = \gcd(b,c)$, $b^{\prime} = \gcd(a,c)$, $c^{\prime} = \gcd(a,b)$ and $d = a^{\prime} b^{\prime} c^{\prime}$. Define $\mathfrak{S}(a,b,c) = a^{\prime} ...
21
votes
0answers
554 views

Definitive source about Dirichlet finally proving the Unit Theorem in the Sistine Chapel

There is a remark one can find in various books or survey articles (e.g., page 49 of Helmut Koch's "Number Theory: Algebraic Numbers and Algebraic Functions") saying Dirichlet figured out a proof of ...
19
votes
0answers
505 views

On the problem of polynomial bijection from $\mathbb Q\times\mathbb Q$ to $\mathbb Q$

The question titled "Polynomial bijection from $\mathbb Q\times\mathbb Q$ to $\mathbb Q$" which was posed on MathOverflow attracted quite a lot of attention (and may be the question with most wrong ...
18
votes
0answers
382 views

If $\beta=0.{a_1}^{k}{a_2}^{k}{a_3}^{k}\cdots\in\mathbb Q$, then $\alpha=0.a_1a_2a_3\cdots\in\mathbb Q$?

Question : For every even $k\ge 4$, is the following $(\star)$ true? $$\begin{align}\text{If $\beta=0.{a_1}^{k}{a_2}^{k}{a_3}^{k}\cdots\in\mathbb Q$, then $\alpha=0.a_1a_2a_3\cdots\in\mathbb ...
18
votes
0answers
638 views

$f(x)=\sum_{t}{x \choose t}{n-x \choose k-t}$ - even or odd?

The following function popped in my research: $$f(x)=\sum_{\array{0\le t\le k \\ t\equiv_p a}}{x \choose t}{n-x \choose k-t}$$ Where: n,k are natural numbers and $k\le n$. t is taken over all ...
16
votes
0answers
248 views

What is Spec of the Adeles?

Let $K$ be a global field and $A_K$ the ring of adeles. What are the prime ideals of $A_K$? I have been told that a full proof of this is quite subtle, but have been unable to find a reference ...
14
votes
0answers
225 views

Numbers $n$ such that the digit sum of $n^2$ is a square

Let $S(n)$ be the digit sum of $n\in\mathbb N$ in the decimal system. About a month ago, a friend of mine taught me the followings : $$S\left(9\color{red}{^2}\right)=S(81)=8+1=3\color{red}{^2}$$ ...
14
votes
0answers
345 views

Using the Brun Sieve to show very weak approximation to twin prime conjecture

I recently stumbled across MIT OCW for analytic number theory. As a budding number theorist, my ears perked up and I looked through some of the material haphazardly. I don't really know much about ...
13
votes
0answers
64 views

What other prime numbers have been ruled out as counterexamples to the Feit-Thompson conjecture?

Given distinct primes $p$ and $q$, $$\frac{p^q - 1}{p - 1}$$ is never a divisor of $$\frac{q^p - 1}{q - 1}.$$ Or so we believe. If $p = 2$, then it's clear that no odd prime $q$ can make a ...
13
votes
0answers
192 views

Are there infinitely many $N^3$ (especially for prime $N$) that cannot be expressed as a sum of three positive cubes?"

Well few days ago i asked a question on perfect numbers and Tito Piezas III answered the question in a very intriguing way which has helped me to get a lead on it.But his answer and perfect numbers ...
13
votes
0answers
505 views

Conjecture---Identity for Sieve of Eratosthenes collisions.

Let $$\beta(n,k) = \max_{d \leq k}(d|n)$$ $$S(k)= \sum_{n=1}^{k!} \beta(n,k),$$ $\hspace{20mm}$and $$T(k)=\# \{ ~i\cdot j~~\big|_{i=1}^k \big|_{j=1}^{k!} \}$$ Does $$S(k)=T(k)?$$ See OEIS ...
13
votes
0answers
312 views

Which harmonic numbers have prime numerators?

Let $$1+\frac12+\frac13+\cdots+\frac1n=\frac{q}{p}$$ with $(p,q)=1$ and $q$ is a prime number. (I) Prove or disprove that the quantity of $n$ is limited (II) Find all of the $n$ I use the matlab ...
12
votes
0answers
100 views

Is $\{ \sin n^m \mid n \in \mathbb{N} \}$ dense in $[-1,1]$ for every natural number $m$?

Is $\{\sin n^m \mid n \in \mathbb{N}\}$ dense in $[-1,1]$ for every natural number $m$? Progress For $m=1$, I can prove this using the fact that $\sin$ is continuous and $a+b\pi$ is dense in the ...
12
votes
0answers
150 views

Algorithm to find primes up to $n$ in $O\left(\frac{n}{\log n}\right)$?

Consider the problem of given an integer $n$, generating a list of the primes not greater than $n$. An optimized version of the Sieve of Eratosthenes can do such task in $O(n)$, while the more modern ...
12
votes
0answers
616 views

Are there unique solutions for $n=\sum_{j=1}^{g(k)} a_j^k$?

Edward Waring, asks whether for every natural number $n$ there exists an associated positive integer s such that every natural number is the sum of at most $s$ $k$th powers of natural numbers ...
12
votes
0answers
541 views

The radical solution of a solvable 17th degree equation

(The question is at the bottom of the post.) Here's a "natural" solvable 17-th deg eqn with small coefficients: $$\begin{align*} x^{17}-6 x^{16}&-24 x^{15}-42 x^{14}-31 x^{13}-23 x^{12}-7 ...
12
votes
0answers
1k views

Proof of Legendre's theorem on the ternary quadratic form

Theorem (Legendre): Let $a,b,c$ coprime positive integers, then $ax^2 + by^2 = cz^2$ has a nontrivial solution in rationals $x,y,z$ iff ...
11
votes
0answers
33 views

Analogue of Dirichlet $L$-function for $\mathbb{F}_q[T]$.

We consider an analogue of the Dirichlet $L$-function in $\mathbb{F}_q[T]$. Let $g \in \mathbb{F}_q[T]$, $g \neq 0$, let $\chi: (\mathbb{F}_q[T]/(g))^\times \to \mathbb{C}^\times$ be a homomorphism, ...
11
votes
0answers
122 views

Biggest powers NOT containing all digits.

Let $m>1$ be a natural number with $m \not\equiv 0 \pmod{10}$ Consider the powers $m^n$ , for which there is at least one digit not occurring in the decimal representation. Is there a largest $n$ ...
11
votes
0answers
334 views

Two questions about weakly convergent series related to $\sin(n^2)$ and Weyl's inequality

By using partial summation and Weyl's inequality, it is not hard to show that the series $\sum_{n\geq 1}\frac{\sin(n^2)}{n}$ is convergent. Is is true that ...
11
votes
0answers
168 views

CFT via Brauer groups vs via ideles

I am interested in the relationship between the following two versions of CFT: Version 1: (Brauer Group Version) Let $K$ be a number field. One constructs, for every finite place $v$ of $K$, a map ...
10
votes
0answers
98 views

Product of primes mod n

Let $n$ be an odd composite number. I'm trying to compute $$ f(n)=\prod_{n/2<p<n}p\pmod n $$ where $p$ ranges over the primes in the indicated region. Can this be done (significantly) faster ...
10
votes
0answers
116 views

Curious representation of primes

I found the following problem on the internet, and my initial intuition turned out to be entirely incorrect. The question asked what is the smallest prime $r$ that does not have a representation of ...
10
votes
0answers
122 views

A sequence that avoids both arithmetic and geometric progressions

Sequences that avoid arithmetic progressions have been studied, e.g., "Sequences Containing No 3-Term Arithmetic Progressions," Janusz Dybizbański, 2012, journal link. I started to explore sequences ...
10
votes
0answers
335 views

Cramér's Model - “The Prime Numbers and Their Distribution” - Part 1

I was reading "The Prime Numbers and Their Distribution" by Gérald Tenenbaum and Michel Mendès France, the section about Cramér's Model, and I couldn't prove a couple of results. I would like to start ...
10
votes
0answers
175 views

Continued fraction with prime reciprocal entries

We know that the reciprocals of the primes form a divergent series. We also know that a necessary and sufficient condition for a continued fraction to converge is that its entries diverge as a series. ...
10
votes
0answers
201 views

Curves and Sums-of-Powers Representations

Jacobi first noticed the connection between the functions that bear his name and counting the representations of sums-of-squares, \begin{eqnarray} \theta_{3}^{n}(q) = \left( \sum_{k \in \mathbb{Z}} ...
9
votes
0answers
92 views

Did Landau prove that there is a prime on $(x,(1+1/5)x)?$

Was Landau the first to prove that there is a prime on $(x,\frac{6}{5}x )?$ In his Handbuch $^1$ discussing the limit $$\lim_{n\to\infty} (\pi((1+\epsilon)x)-\pi(x))=\infty $$ he seems to say that ...
9
votes
0answers
158 views

Relationship between intersection and compositum of fields

This issue came up in a number theory lecture today. Let $K$ be a number field and let $L/K$ be an abelian (finite Galois) extension. Then there exists a primitive $m$th root of unity $\zeta_m$ so ...
9
votes
0answers
195 views

What numbers are integrally represented by $4 x^2 + 2 x y + 7 y^2 - z^3$

EDIT: a selection of material relevant to this problem is available at INHOMOGENEOUS In December 2010 my question appeared in the M.A.A. Monthly, show that $4 x^2 + 2 x y + 7 y^2 - z^3 \neq \pm 2 ...
9
votes
0answers
436 views

Why does this identity equal the number of primes?

Can someone explain why this identity gives the number of primes? I don't understand it. $D_{0,a}(n) = 1$ $D_{k,a}(n) = \displaystyle\sum_{j=1}^{k} \binom{k}{j}\sum_{m=a+1}^{\lfloor ...
9
votes
0answers
235 views

On Grunwald-Wang theorem

Consider (roughtly speaking) the following statements (the Grunwald-Wang theorem) Theorem 1 (see here for details Wiki): Let $K$ be a number field and $x \in K$. Then under some conditions : $x$ is ...
9
votes
0answers
224 views

Equidistribution of roots of prime cyclotomic polynomials to prime moduli

Here is a relevant - and longstanding, I'm told - conjecture. Let $f \in \mathbb{Z}[x]$ be irreducible and of degree > 1. Set $E_p = \{x/p \: | \: 0 \leq x < p, f(x) \equiv 0 \: (p) \}$ = { ...
8
votes
0answers
191 views

Are these known telescoping series for $\zeta\left(\frac12\right)$?

There are many known telescoping series for $\zeta(s)$ and I was playing with the following two: $$\displaystyle \zeta(s) = \frac{1}{(s-1)} \left(\sum _{n=1}^{\infty } \left( {\frac {n}{(n+1)^{s}}} - ...
8
votes
0answers
103 views

Motivation for Weil pairing

The Weil pairing $$e_\phi:E[\phi]\times E'[\hat{\phi}]\to \mu_n$$ for an elliptic curve is defined as follows. Let $\phi:E\to E'$ be an isogeny of degree $n$ and $\hat\phi:E'\to E$ be the dual ...
8
votes
0answers
196 views

If $p$, $q$ are naturals, solve $p^3-q^5=(p+q)^2$.

In If $p,q$ are prime, solve $p^3-q^5=(p+q)^2$., the author asks to solve the equation $x^3-y^5=(x+y)^2$ for primes $p$ and $q$. A proof is given that $p=7, q=3$ is the only solution. In this ...
8
votes
0answers
104 views

Asymptotics of the lower approximation of a pair of natural numbers by a coprime pair

When we are working, for instance, in combinatorics or graph theory, sometimes we can have the following situation. For each number $m$ from an infinite set $\mathbb M\subset\mathbb N$ we can ...
8
votes
0answers
219 views

When does a modular form satisfy a differential equation with rational coefficients?

Given a modular form $f$ of weight $k$ for a congruence subgroup $\Gamma$, and a modular function $t$ for $\Gamma$ with $t(i\infty)=0$, we can form a function $F$ such that $F(t(z))=f(z)$ (at least ...
8
votes
0answers
221 views

Numbers represented by a cubic form

EDIT, April 11, 2013: See answer at http://mathoverflow.net/questions/127160/numbers-integrally-represented-by-a-ternary-cubic-form/127295#127295 This is part 2 ( of 25 discriminants of class number ...
8
votes
0answers
287 views

Asymptotic FLT $\implies$FLT using ABC Conjecture

Edit: I'm beginning to suspect I either misread the sources or perhaps something wasn't stated, but it's my guess now that there is no nontrivial way of showing the ABC conjecture implies Fermat's ...
8
votes
0answers
176 views

Is there some exact form of $n$ for the number of $(i,j,k)$ satisfying $ijk = (n-i)(n-j)(n-k)$

For any positive integer $n$, $i,j,k$ are also positive integers, and $0 <i,j,k < n$. How many solutions of the form $(i,j,k)$ are there for the equation $ijk = (n-i)(n-j)(n-k)$?
8
votes
0answers
219 views

Weak version of Fortune's conjecture

Let $p\#=2\cdot3\cdot5\cdots p$ denote the primorial and $N(x)$ the smallest prime greater than or equal to $x$. Then Fortune's conjecture is that $N(p\#+2)-p\#$ is prime for all $p$. (Heuristic: to ...
7
votes
0answers
67 views

Proving that the number of integer solutions of $x^2-Ny^2=1$ is infinite

I am trying to prove that the number of integer solutions of $x^2-Ny^2=1$ is infinite whenever N is a squarefree integer. For this I define norm of $a+b\sqrt N=a^2-Nb^2$. Now I prove that $a+b \sqrt ...
7
votes
0answers
49 views

A comment in the Disquisitiones Arithmeticae

Gauss proves that if $t\equiv\pm 3\mod 8$, then $2$ is a non-(quadratic)-residue modulo $t$ as follows: Assume $t\equiv\pm 3\mod 8$ is the smallest counter-example, and say $a^2\equiv 2\mod t$, ...
7
votes
0answers
95 views

Let $p$=prime and $\sqrt{x}+\sqrt{y}<\sqrt{2p}$

Let $p$ be a fixed odd prime. Let $x,y\in \mathbb{Z}_+$ such that $\sqrt{x}+\sqrt{y}<\sqrt{2p}$. Prove that $$\sqrt{x}+\sqrt{y}\le \sqrt{\frac{p-1}{2}}+\sqrt{\frac{p+1}{2}}.$$ Any ideas at all? ...
7
votes
0answers
177 views

Irreducibility of cyclotomic polynomials via schemes

A few months ago, someone told me there existed a scheme theoretic proof of the irreducibility of cyclotomic polynomials. I've tried coming up with a proof, and when that didn't really yield anything ...
7
votes
0answers
142 views

Is it true that $\gamma_{\lfloor\log\Gamma(x)\rfloor}\sim 2\pi x$?

I realise that Gram points can approximate the imaginary part on the $x$th zeta zero $(\gamma_x)$ accurately, and indeed, Guilherme França, André LeClair give another formula, namely ...