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)

45
votes
0answers
814 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 ...
22
votes
0answers
584 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 ...
22
votes
0answers
454 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
356 views

Meromorphic functions on $U^2 = T^3 + 1$, cokernel of $O_S \to F_\infty/O_\infty$.

Let $k$ be a field of characteristic $\neq 2$, and consider the quadratic extension $F$ of $k(T)$ generated by $\sqrt{T^3 + 1}$. I guess to avoid confusion, I'm asking the new question: what is the ...
20
votes
0answers
608 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 ...
20
votes
0answers
730 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 ...
18
votes
0answers
403 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
281 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 ...
17
votes
0answers
279 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 ...
16
votes
0answers
355 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 ...
14
votes
0answers
287 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
370 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
81 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
524 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
177 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 ...
13
votes
0answers
361 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 ...
13
votes
0answers
597 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
65 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, ...
12
votes
0answers
176 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 ...
12
votes
0answers
626 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
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
88 views

Congruence properties of $x_1^6+x_2^6+x_3^6+x_4^6+x_5^6 = z^6$?

It is known that given primitive (co-prime) integer solutions to, $$x_1^4+x_2^4+x_3^4+x_4^4 = z^4$$ then there is one $x_i$ such that $z^4-x_i^4$ is divisible by $d_4=5^4$. Additionally, Ward ...
11
votes
0answers
120 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 ...
11
votes
0answers
184 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 ...
11
votes
0answers
135 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$ ...
10
votes
0answers
109 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 ...
10
votes
0answers
139 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
367 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
189 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
205 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
170 views

Maximum integer not in $\{ ax+by : \gcd(a,b) = 1 \land a,b \ge 0 \}$

Ryan asked about a variation of the coin problem, which was whether for any coprime natural numbers $x,y$ every sufficiently large natural number is $ax+by$ for some coprime natural numbers $a,b$. ...
9
votes
0answers
208 views

Showing that the Prime Number Theorem is Plausible.

I have started to work through the course notes titled "Integers, Polynomials and Finite Fields" by Kenneth Davidson to keep me busy this summer, and there is a question in here This is an ...
9
votes
0answers
95 views

Generalizing the Pell equation $x^2-61y^2 = 1$

In a table of fundamental solutions $f_1(x,y)$ to Pell equations, $$x^2-dy^2=1\tag1$$ with $d<110$, two will stand out, $$(U_{61})^6 = \big(\tfrac{39+5\sqrt{61}}{2}\big)^6 = x+y\sqrt{61} ...
9
votes
0answers
98 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
177 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
242 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 ...
9
votes
0answers
203 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
442 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
230 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
75 views

Is there any known application for normal numbers?

Background: I am writing a master thesis on the complexity of the expansions of algebraic numbers in some complex basis $\beta$ with $|\beta| > 1$. This is a very small step towards proving the ...
8
votes
0answers
99 views

number of factorizations of distinct factors

Let $n = p_1^{e_1} p_2^{e_2} \cdots p_k^{e_k}$ an integer with $p_i$ prime and $e_i \in \mathbb N$. The prime factorization can assumed to be known, i.e. we already know $p_1,\ldots,p_k$ and $e_1 , ...
8
votes
0answers
129 views

Whether a functor is exact?

I am stuck with exercise $1$ of section $3$ of chapter $1$ in the book Cohomology of number fields by Neukirch. The exercise is to show that the functor from $A \rightarrow C^n(G,A)$ is exact, where ...
8
votes
0answers
44 views

Is it possible to systematize the method behind Zagier's proof that $p = 4k+1$ is the sum of two squares?

Zagier's proof (or perhaps the main idea should be attributed to Heath-Brown) works as follows: Consider the set $S := \{(x, y, z) \in \mathbb{N}^3 \; | \; x^2 + 4 y z = p \}$. $S$ an involution ...
8
votes
0answers
81 views

Genus of $k(T)$?

Let $F$ be a function field in one variable with total constant field $k$, let $X$ be the set of all places $F$, and let $S$ be a nonempty finite subset of $X$. Then the genus of $F$ is equal to the ...
8
votes
0answers
95 views

Remainder of dividing $3^n$ by $2^n$.

I'd like to find the remainder of dividing $3^n$ by $2^n$, that is, I'd like to find value of $r$ in the expression $$3^n=q2^n+r,$$ where $q\in\mathbb{Z}$ and $0<r<2^n$. I know that it can be ...
8
votes
0answers
200 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
200 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 ...
8
votes
0answers
184 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
160 views

Solution of $\large\binom{x}{n}+\binom{y}{n}=\binom{z}{n}$ with $n\geq 3$

I found this question in an old problem set. There's no hint or solution mentioned. For $n \geq 3$, prove or disprove the existence of $(x,y,z) \in \mathbb N^3, ...
8
votes
0answers
124 views

Proving that $\sigma_7(n) = \sigma_3(n) + 120 \sum_{m=1}^{n-1} \sigma_3(m)\sigma_3(n-m)$ without using modular forms?

This problem appears as a (starred!) exercise in D. Zagier's notes on modular forms. I have to admit that I have no idea how to do it. Here, $\sigma_k(n) =\sum_{d\mid n} d^k$, as usual. This ...