Questions on more advanced topics of number theory. 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
150 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
148 views

Carmichael number factoring

The task I'm faced with is to implement a poly-time algorithm that finds a nontrivial factor of a Carmichael number. Many resources on the web state that this is easy, however without further ...
5
votes
0answers
130 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
65 views

Statement about Woodal primes.

A Woodal number is an integer of the form $n 2^{n}-1$. A Woodal prime is an integer that is both a prime and a Woodal number. Let $p$ be a prime of the form 1 mod 4. Then $p 2^{p} -1$ is never a ( ...
5
votes
0answers
192 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
265 views

Taxicab numbers.

I think most people know these numbers. Find $x,\ y,\ z,\ w$ such that $x^3 + y^3 = z^3 + w^3$ and $x,\ y,\ z,\ w$ are not equal to each other. The first is $1729$. I'm trying to figure out if ...
5
votes
0answers
127 views

Density of products of a certain set of primes

I have an infinite set S of prime numbers with relative density 0 (that is, $\lim_ns_n/p_n=\infty$ with $S=\{s_1,s_2,\ldots\}$ and $s_1 < s_2< \cdots$). I would like to find the size (in some ...
5
votes
0answers
162 views

$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
91 views

$X^A \equiv B \pmod{2K + 1}$

I recently found this problem which asks you to find an algorithm to find all $X$ such that $X^A \equiv B \pmod{2K + 1}$. Is there something special about the modulus being odd that allows us to ...
5
votes
0answers
131 views

Polynomial equations in $p$ and $q$ with $p,q$ primes

Is there a non zero polynomial $R \in \mathbb{Z}[X,Y]$ such that there exists an infinite number of pair $(p,q)$ with $p$ and $q$ primes, $p \neq q$ and $R(p,q)=0$ ? I know the curve must be of genus ...
5
votes
0answers
115 views

Number of primefactors in $ f(n,W) = \prod_{k=1}^W (p_k^n -1) \text{ where } p_k=Prime(k) $

I'm reviving an old fiddling, although I do not yet really see its benefit. Beginning with the eulerproduct for the zeta-function in the representation $\small \zeta(n)=\prod {1\over 1-p^{-n} } = ...
5
votes
0answers
145 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
178 views

Sums of Dirichlet-Characters over prime numbers (part 2)

This is kind of related to my previous question that was poorly stated because of misreading my own notes that I have taken on the papers I am currently reading, so no surprise that it eventually ...
5
votes
0answers
156 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
175 views

An exact sequence in Arakelov theory(A proposition in Algebraic Number Theory by Neukirch)

The following proposition is from Algebraic Number Theory by Neukirch (Proposition 1.11, Chapter 3, p.191), but I doubt that exat sequence. Let $K$ be a number field, $O$ be the ring of integers. And ...
5
votes
0answers
344 views

Is this a relation between the Riemann zeta function and the Prime zeta function?

I am partly repeating myself here again. Is this a correct relation between the Riemann zeta function and the Prime zeta function? $$ \zeta (s) = \sum\limits_{n=1}^{\infty}\frac{1}{n^{s}}$$ ...
5
votes
0answers
120 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
167 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
53 views
+50

Applications of generating functions to number theory

I am familiar (at least at a cursory level) with the extensive role generating functions play in the theory of partitions. What are some other prominent applications of generating functions to number ...
4
votes
0answers
97 views

Prime factors of $2^{2^2}+3^{3^3}+5^{5^5}+7^{7^7}$

Are there any useful restrictions to the prime factors of the number $$2^{2^2}+3^{3^3}+5^{5^5}+7^{7^7}$$ The two smallest are 6771419 and 72153167 , which I found by trial division. The number is ...
4
votes
0answers
51 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 ...
4
votes
0answers
53 views

Closest Pair between 2 sets of powers

Assume $a$ and $b$ are natural numbers, $A=\{a,a^2,a^3,\cdots\}$ and $B=\{b,b^2,b^3,\cdots\}$, find $\min\left|a_i-b_j\right|$ where $a_i\in A$ and $b_j\in B$. For example, if $a=3$, $b=10$, then ...
4
votes
0answers
96 views

start studying advanced topics in number theory

I am a first year undergrad and have had elementary course in Number Theory which includes only basic introductory topics like: divisibility,gcd-lcm,primes,congruences, number theoretic functions etc. ...
4
votes
0answers
83 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 ...
4
votes
0answers
86 views

How find this equation all pairs of integers $(m,n)$ such that $m^6 = n^{n+1} + n -1$

Find all pairs of integers $(m,n)$ such that $m^6 = n^{n+1} + n -1$ My try: If $n>1$ is odd, then note $$\left(n^{\frac{n+1}{2}}\right)^2<n^{n+1}+n-1<\left(n^{\frac{n+1}{2}}+1\right)^2$$ so ...
4
votes
0answers
70 views

Algorithm for comparing the size of extremely large numbers

Is there a simple algorithm to decide which of the numbers $$a \uparrow ^b c \text{ and } d \uparrow ^e f$$ is the bigger one ? Using the hyperoperation, the numbers can be denoted with ...
4
votes
0answers
47 views

Automorphism group of an L-function

I define the notion of Galois class of L-functions as follows: $A$ is a Galois class of L-functions if and only if the following conditions simultaneously hold true: 1) $A$ is a subset of the ...
4
votes
0answers
47 views

List of Primes in UFD

Are there websites/databases containing lists ordered by norm of prime/irreducible elements in domains like $\mathbb{Z}[\sqrt{-2}]$ and $\mathbb{Z}\left[\frac{-1+\sqrt{-3}}{2}\right]$ for easy ...
4
votes
0answers
137 views

Was Fermat's last theorem proved based on Peano's postulates?

Is the proof of Fermat's last theorem solely based on the Peano's postulates $+$ first order logic? Or it contains other axiomatic systems as well? What does it mean from foundations of math ...
4
votes
0answers
84 views

References request: Ramanujan's tau function.

References request: Ramanujan's tau function. Let $\Delta(z)=q\prod_{n=1}^{\infty} (1-q^n)^{24}=\sum_{n=1}^{\infty} \tau(n)q^n$, $q=e^{2\pi i z}$. How can one show the following using representation ...
4
votes
0answers
62 views

Intersection between OEIS-A050808 and OEIS-A080053

Is there any result on the intersection between A050808 and A080053: OEIS-A080053 = 1, 2, 4, 5, 6, 10,... (Exp(n) is further from an integer than any previous exp(k)) OEIS-A050808 = 1, 2, 18, ...
4
votes
0answers
144 views

Double harmonic summation

I am interested in determining an asymptotic formula for the double summation of $1/(ab)$, where $a$ is an odd integer ranging between 1 and $k/\sqrt{j}$, $b$ is an odd integer ranging between $a$ and ...
4
votes
0answers
114 views

How is graph theory used to solve problems in number theory?

What are some applications of graph theory in number theory? How can a graph theory approach be useful to solving number theory problems? In general, is graph theory ever useful in making number ...
4
votes
0answers
77 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 ...
4
votes
0answers
96 views

On odd perfect numbers $N$ given in the Eulerian form $N = {q^k}{n^2}$

Note: This question was cross-posted from MO. Preamble: I apologize in advance if this particular MSE post would appear to be a bit of a polymath approach, I just had to put down all the details to ...
4
votes
0answers
49 views

Is there always a prime number in the form of $4k+1$ between $[n, 2n]$ for every large enough $n$?

Is there always a prime number in the form of $4k+1$ between $[n, 2n]$ for every large enough $n$? I guess it is known as a classical result. Is there any reference for it? Thanks!
4
votes
0answers
64 views

Solve $f(x)\mid g^2(x)+1$ in $\mathbb Z[x]$

We know that if $p\in \mathbb P$ and $p\equiv 1\bmod 4$ then we can find $t\in\mathbb Z$ such that $p\mid t^2+1.$ For what polynomial $f(x)\in \mathbb Z[x]$, we can find $g(x)\in \mathbb Z[x]$ ...
4
votes
0answers
63 views

Can we say anything about the structure of the semigroup of non-coprime pairs after this?

Let $S = \{(a,b) : \ a, b \in \Bbb{Z} \wedge \gcd(a,b) \neq 1 \}$. Then it forms a semigroup under componentwise multiplication and if we add an exception, that even though $\gcd(1,1) = 1$, we ...
4
votes
0answers
306 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: ...
4
votes
0answers
114 views

Prove That $1/\sin(i \pi/n)+1/\sin(j \pi/n) \ne 2$ When $n$ is Odd

The original problem is: Prove that $1/\sin(i \pi/n)+1/\sin(j \pi/n) \ne 2$ when $n$ is odd. I tried, and found that although everything looks similar, I actually know nothing about this kind of ...
4
votes
0answers
136 views

Proof of $\pi$ not being a quadratic irrational number.

Does someone know a proof (books , articles) that $\pi$ is not a quadratic irrational? The proof should not use that $\pi$ is transcendental. Any hints would be appreciated.
4
votes
0answers
77 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). ...
4
votes
0answers
102 views

Adelic lattices

Let $\mathbb{A} = \widehat{\mathbb{Z}} \otimes \mathbb{Q} \times \mathbb{R}$ be the adeles over $\mathbb{Q}$. In Deligne's article "Formes modulaires et representations de GL(2)" he states without ...
4
votes
0answers
89 views

Modular Functions with Rational Fourier Expansions

I have been reading the paper of Cox, McKay and Stevenhagen "Principal Moduli and Class Fields", http://arxiv.org/pdf/math/0311202v1.pdf, and I have a question regarding the nature of the function ...
4
votes
0answers
102 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 ...
4
votes
0answers
377 views

The greatest prime factor of $6n+1$

Let $p(n)$ be the greatest prime factor of $n$. Denote $a_1(n)=p(6n+1),a_{k+1}(n)=p(6a_k(n)+1)).$ Is it true that for $\forall n\in \mathbb N,$ $\exists c,t \in \mathbb N^{+}:k>c\implies ...
4
votes
0answers
75 views

Surjective map in Galois cohomology?

Let $p$ be a prime number, $\mathbb{F}_p$ the field with $p$ element and $\omega$ the mod $p$ cyclotomic character. Let $K$ be a finite extension of $\mathbb{Q}_p$ (the field of $p$-adic numbers) and ...
4
votes
0answers
91 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 ...
4
votes
0answers
146 views

How Ramanujan find this formula

I have seen this formula from Ramanujan $\sum_n \frac{a^{n+1}-b^{n+1}}{a-b}\frac{c^{n+1}-d^{n+1}}{c-d}T^n=\frac{1-abcdT^2}{(1-abT)(1-acT)(1-bcT)(1-bdT)}$. I know how to prove it via geometric ...
4
votes
0answers
72 views

Linear independence of $\cos(n\theta)$

I was trying to see if the cosines of the (certain) integer multiples of a certain angle were linearly independent over $\mathbf{Q}$. In particular I was looking at when $\theta = ...