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)

5
votes
0answers
104 views

Number of points on an affine hypersurface

I am curious to know the following and I would appreciate any help! Let $k$ be a finite field of $q$ elements. Let $X \subseteq \mathbb{A}^{n+1}_k $ be the affine hypersurface defined by $f = \sum_{i=...
5
votes
0answers
133 views

Prime number theorem for Dedekind domains

Let $\mathscr P\subseteq \mathbb N$ be the set of prime numbers. The prime number theorem tells us that if $\pi(x)=|\{p\in\mathscr P\colon p\leq x\}|$ then $\pi(x)\sim \frac{x}{\log x}$. Now one could ...
5
votes
0answers
125 views

Are $ut + 1$ and $ut + t + 1$ both prime for some t for any $u$?

Conjecture : For any natural number $u$, there is a natural number $t$ such that $ut + 1$ and $ut + t + 1$ are both prime. So we get a solution of the equation $$au - b(u+1) = -1$$ with prime ...
5
votes
0answers
137 views

Role of the discrete subgroups of Lie groups

This is a question I don't believe is too vague to admit a sensible answer: In what directions can the structure theory of the discrete subgroups of real and p-adic Lie groups applied? What ...
5
votes
0answers
212 views

Ramification index and residue class degree under completion

I've got a problem in proving something written at page 111 of the book "Algebraic Number Theory" by A. Fröhlich and M. J. Taylor. This is the setting. Let $\mathfrak{o}$ be a Dedekind domain with ...
5
votes
0answers
386 views

Can $\sigma_4(n)$ be a square number?

Denote $\sigma_k(n)=\sum_{d\mid n}d^k,$ then $$\sigma_1(3)=2^2,\sigma_2(42)=50^2,\sigma_3(2)=3^2,$$ and both $\sigma_1(345)$ and $\sigma_3(345)$ are square numbers: $$\sigma_1(345)=24^2,\sigma_3(345)=...
5
votes
0answers
109 views

Pairwise sums are equal

The distinct positive integers $a_1,a_2,...,a_n,b_1,b_2,...,b_n$ with $n\ge2$ have the property that the $\binom{n}2$ sums $a_i+a_j$ are the same as the $\binom{n}2$ sums $b_i+b_j$ (in some order). ...
5
votes
0answers
353 views

Which unordered partition of $n$ gives rise to the largest number of ordered partitions?

A quick look at the wikipedia article on partitions of $n \in \mathbb{N}$ shows that the number of ordered partitions is $2^{n-1}$, and the number of unordered partitions is asymptotically $ \sim \...
5
votes
0answers
181 views

How to partition $S$ in this way?

Assume: $$ P =\{p_1,p_2,\cdots,p_K\}\subset \{1,2,\dots,N\},\quad |P| = K, \qquad x \in \mathbb{R}_+^K , \qquad w = e^{-j\frac{2\pi}N} $$ and, $$ f(l) = \sum_{i=1}^K \sum_{j=1}^K x_i x_j w^{(p_i-p_j)...
5
votes
0answers
83 views

Constructing pairs of units $(x,y)$ which solve $x^2 + y^2 \equiv -1 \pmod{N}$

A classic result on the way to the Lagrange Four Squares theorem — for instance proven by Theorem 87 of Hardy & Wright, as noted by this remark on the Four Squares theorem — is that ...
5
votes
0answers
117 views

Relative density of images of diophantine polynomials

My current research project involves sampling a sequence along non-constant polynomials with non-negative integer coefficients defined over the natural numbers, and I'd like to be able to say when two ...
5
votes
0answers
77 views

Matrix representation of field automorphism

Let $K$ be the degree $n$ field extension of the field $k$, and let $\alpha_1,\dots,\alpha_n\in K$ be a basis of $K$ over $k$ (as a vector space). I read somewhere that the following matrix $$ M= \...
5
votes
0answers
204 views

Understanding Newman's proof of the prime number theorem

I am trying to understand D.J. Newman's proof of the prime number theorem, as presented by D. Zagier. I am not too familiar with analysis, and so there are some things I don't understand. In (III), ...
5
votes
0answers
388 views

Maximum length of sequence of non-coprimes of $N$ - least upper bound for Jacobsthal's function

I am looking at the length of the longest sequences of adjacent integers that are not coprime to $N$ for very large $N$. Let $F_N$ be the set of integers less than $N$ which are not coprime with $N$: ...
5
votes
0answers
132 views

Inverting the Riemann zeta function in $s>1$

Let $s>1$ be a positive real and the Riemann zeta fucntion be defined for $s>1$ as $$ \zeta(s) = \sum_{n=1}^{\infty}\frac{1}{n^s}. $$ I am looking for an inversion formula for the zeta ...
5
votes
0answers
148 views

Best upper bound on the number of divisors of $n$ that are larger than $N$.

I am looking for the best upper bound on $$\sum_{\substack{d | n\\ d \geq N}} 1.$$ I know that $$ d(n) = \sum_{\substack{d | n}} 1 \leq e^{O(\frac{\log n}{\log \log n})}. $$ For my application, I ...
5
votes
0answers
159 views

Each new member from the second divides the sum of all previous

All integers from $1$ to $13$ are recorded in a sequence such that each number (from the second onwards) divides the sum of all previous numbers. What numbers can be in the third place and why? I ...
5
votes
0answers
427 views

The divergence of the series of reciprocals of primes (proof check):

I just wanted to check my attempt at a proof for the divergence of: $$\sum_{n=1}^{\infty} \frac{1}{p_n} \tag{ $\star$ }$$ We begin with assuming that $(\star)$ converges. If $(\star)$ converges,...
5
votes
0answers
138 views

A formula by R.L.Graham,AMM(1995)

I see this formula in a book, it comes from R.L.Graham,AMM(1995) : $$\frac{1}{3}=\frac{1}{2^2}+\frac{1}{4^2}+\frac{1}{7^2}+\frac{1}{54^2}+\frac{1}{112^2}+\frac{1}{640^2}+\frac{1}{4032^2}+\frac{1}{...
5
votes
0answers
157 views

Primes of the form $\frac{n^2-n+4}{2}$ satisfy Hardy-Littlewood analogue?

Let $n,a,b$ be positive integers with $a<b$. Consider primes of the form $f(n)=\dfrac{n^2-n+4}{2}$. Let $C(a,b)$ denote the amount of primes of the form $f(n)$ between (and including) $f(a)$ and $f(...
5
votes
0answers
237 views

Given an integer, how can I detect the nearest integer perfect power efficiently?

If you give me an integer N, how can I detect the nearest integer perfect power, larger or smaller than N? In other words, the perfect power the distance between N and which is less than the ...
5
votes
0answers
115 views

What is the smallest integer $n$ for which $\theta(n) > n$?

What is the smallest integer $n$ for which $\theta(n) > n$? Here $\theta(x) = \sum_{p \leq x} \log p$. I googled around, checked some likely textbooks, and ran a program for $n \leq 10^7$, but ...
5
votes
0answers
277 views

Estimation for logarithm of Riemann zeta function

Let $\sigma >1-\dfrac{c}{2\log(|t|+3)},|t|>7/8,$ where $c$ is constant from Theorem about region without zeros of Riemann zeta function. Using the fact that $$\log \zeta(s) - \log \zeta(s_1) = \...
5
votes
0answers
133 views

Solutions to simultaneous excluded congruences

I'm interested in the smallest solution to a family of "excluded congruences." To be precise, let $p_1 < \ldots< p_k$ be a sequence of primes and consider the constraints $$ x \not\equiv a_1 \...
5
votes
0answers
184 views

Fastest Primality test using $N-1$ Factorization?

If $N-1$ could be factored easily with several small prime factors, then what is the fastest way to check $N$ for primality? Updated I'm aware of Pocklington primility test which is not good for ...
5
votes
0answers
160 views

Extensions of Mixed Hodge Structures

The analogy on the front page of this paper by Bloch and Kriz seems like it's going to be lovely, but I don't get it, because I don't know how to view a torsor for $\mathbb{Q}(1)$ as an extension of ...
5
votes
0answers
149 views

Has the $\Gamma$-like function $f_p(n) = 1^{\ln(1)^p} \cdot 2^{\ln(2)^p} \cdot \ldots \cdot n^{\ln(n)^p} $ been discussed anywhere?

In an older fiddling with the gamma-function (expanding on the idea of sums of consecutive like-powers of logarithms, similarly as the bernoulli-polynomials for the sums of like powers of consecutive ...
5
votes
0answers
117 views

Approach to elliptic curve $y^2=x^3+1/4+p/a^2$

While taking a brute-force look at this question I discovered that it seems that almost every prime (I'll conjecture every prime larger than 20627) can be written as $p=w^2+wc+d$ for $w,c,d\in \mathbb{...
5
votes
0answers
262 views

Weak Dirichlet's theorem for powers of primes

Let $p$ be a prime, and let $m$ be an integer coprime to $p$. Then fix a natural number $k>0$. Is there any result that is simpler than the full Dirichlet's theorem that proves the existence of ...
5
votes
0answers
190 views

Show that : $2, 5, 13, 17, 29, 421, 401, 53, 281,…,\rightarrow \infty$? $a_{n+1}=\operatorname{ GPF}(qa_n+p)$

I denote by $\operatorname{ GPF}(n)$ the greatest prime factor of $n$, eg. $\operatorname{ GPF}(17)=17$, $\operatorname{ GPF}(18)=3$. Is there a way to prove that the sequence $a_{n+1}=\operatorname{ ...
5
votes
0answers
349 views

Sum of the primitive roots

It is well known that the sum of the primitive roots modulo $p$ is congruent to $\mu(p − 1) \bmod{p}$. But I can't see why this result is interesting or useful. Can someone please enlighten me?
5
votes
0answers
164 views

Proof of infinitude of primes whose reversal in base 10 is also prime

Is there any proof of infinitude of http://oeis.org/A007500 primes. If you want to generate them here is trivial and naive python program. ...
5
votes
0answers
618 views

Sum of odd prime and odd semiprime as sum of two odd primes?

How to prove that each sum of odd prime and odd semiprime can be written as sum of two odd primes $(p_1+p_2p_3=p_4+p_5)$ ? Since we know that each prime number greater than $3$ is of the form $6k\pm ...
5
votes
0answers
176 views

Solutions to equation in matrix form

Suppose $x=[x_1, x_2, \cdots, x_n]^t$, $b=[b_1,b_2,\cdots,b_n]^t$ with $b_i\in K$ and $A\in M_n(K)$, where $K$ is a field. There are well known criteria for the system of equations $Ax=b$, by ...
5
votes
0answers
300 views

Prime zeta definition, multiplication by zero

Wikipedia has a page about the prime zeta function which is defined as follows: $$P(s)=\sum_{p\;\text{prime}} \frac1{p^s}$$ I entered this additional definition: Define a sequence: $$a_n=\prod_{d\...
5
votes
0answers
148 views

Shintani cone zeta function

Is there a procedure/algorithm for calculating sums of the form $$ \sum_{n_1,\ldots,n_r >0} \frac1{L_1(n_1,\ldots,n_r)^{m_1} \ldots L_r(n_1,\ldots,n_r)^{m_r}} $$ where $$ L_i(n_1,\ldots, n_r) :...
5
votes
0answers
195 views

A subtle relationship from class field theory

Recently, I consider a problem: Let $E/F$ is a Galois extension of number field, denote the idele group of $E$ (resp $F$) by $I_E$ (resp $I_F$). There is a homomorphism induced by norm map $N_{E/F}$: ...
4
votes
0answers
73 views

$\{\{(2^n+3^m)\alpha\}:n,m\in\mathbb{N}\}$ is dense in [0,1]??

Let $\alpha$ be an irrational real number. I wonder whether $\{\{(2^n+3^m)\alpha\}:n,m\in\mathbb{N}\}$ is dense in [0,1] in which $\{x\}$ means the fractional part of x. This is equivalent to the ...
4
votes
0answers
34 views

Prove that there are only finitely many rational numbers $p/q$ satisfying $|\frac{p}{q}-\sqrt[d]{b}|\leq \frac{C}{q^3}$.

This is a problem from Silverman & Tate's Rational Points on Elliptic Curves. The following is the Diophantine Approximation theorem by Thue which is proved in Chapter 5: Theorem. Let $b$ be a ...
4
votes
0answers
65 views

Sorting prime numbers on two sets of equals weights

Lets denote $(p_n)$ the sequence of all prime numbers $(p_1=2, p_2=3,\ldots)$. The conjecture is the following. For infinitely many $n\in \mathbb N_{\geq 1}$ $$\exists I \subset \{1,\ldots n\...
4
votes
0answers
151 views

Are they twin primes?

Let $n$ be a positive integer and let $p_1, p_2,...,p_n$ be first n primes. And let $m$ be the smallest integer $m\ge\,p_n$ such that $m$ and $m+2$ are coprime to $p_1,p_2,..., p_n$. Are $m$ and $m+2$...
4
votes
0answers
190 views

Alice and Bob make all numbers to zero game

Alice and Bob are playing a number game in which they write $N$ positive integers. Then the players take turns, Alice took first turn. In a turn : A player selects one of the integers, divides it ...
4
votes
0answers
72 views

Prime numbers and arithmetic progressions

Whether there exist a polynomial $f$ such that for every $n$ there exist prime numbers $p_1, \ldots, p_n$, and an integer $b$ such that every $p_i$ and $b$ are less than $f(n)$ and $p_1×\ldots×p_n×b + ...
4
votes
0answers
35 views

Number of iterations of an “integer-logarithm”

Let us consider the function $\sigma:\mathbb{N}\to\mathbb{N}$ defined as: If $\prod_{i=1}^{r}p_i^{\alpha_i}$ is the prime-factorization of $n$, then $$ \sigma(n)=\sum_{i=1}^{r}\alpha_ip_i $$ So in ...
4
votes
0answers
180 views

What is the middle digit of $9^{99}$?

Find the total number of digits and the digit in the middle of $9^{99}$, $\it{without}$ actually calculating any other digit of the number. PS: according to defuse.ca/big-number-calculator.htm, the ...
4
votes
0answers
73 views

Structure Sheaves of Rigid Analytic Spaces: What is the right Value Category?

Let $K$ be a complete non-archimedean field and let $X$ be an affinoid $K$-space. Then the structure sheaf $\mathcal O_X$ of $X$ is defined first on the "weak Grothendieck topology", ie on affinoid ...
4
votes
0answers
79 views

Sum of powers of consecutive integers

The equation $k^2 + (k+1)^2 + (k+2)^2 = (k+3)^2 + (k+4)^2$ has unique positive integer solution $k = 10$. For which integers $n > 2$, if any, does $k^n + (k+1)^n + (k+2)^n = (k+3)^n + (k+4)^n$ ...
4
votes
0answers
29 views

Are there infinitely many primes in any sequence determined by a $k$ that is not a Sierpinski number?

Consider the sequence of numbers ranging over $n$ of the form $k\cdot a^n + 1$ for a fixed, odd natural number $k$. The number $k$ is considered a Sierpinski number if the sequence determined by that ...
4
votes
0answers
60 views

if $x^k-x\in\mathbb{Z}$ and $x^l-x\in\mathbb{Z}$, then $x\in\mathbb{Z}$?

is it true that for any $k,l\in\{2,3,4,\dots\}$, $k\neq l$, if $x\in\mathbb{R}$ satisfies $x^k-x\in\mathbb{Z}$ and $x^l-x\in\mathbb{Z}$, then $x\in\mathbb{Z}$? This is a generalisation of if $x^3-x\...
4
votes
0answers
42 views

Interesting properties of a mathematical number theory game

The game, which is purely recreational, goes as follows: Starting out with 1, you can employ any of two different generation rules: You can multiply by 3 You can divide by two, rounding up (e.g. 3 ...