Questions tagged [nt.number-theory]
Prime numbers, diophantine equations, diophantine approximations, analytic or algebraic number theory, arithmetic geometry, Galois theory, transcendental number theory, continued fractions
26 questions from the last 7 days
2
votes
0
answers
116
views
Is there a closed formula for factorial?
Is there a closed formula for n! that does not use the factorial notation or integrals?
This question has been asked several times on math.SE but none of the answers there provides a real answer.
I ...
- 18.7k
0
votes
0
answers
34
views
A system of nonlinear Diophantine equations whose positive solutions are not coprime
Consider the following system of Diophantine equations:
$$v_1k_1=k_1^3-k_2^3+k_3^3 \\
v_2k_2=k_1^3+k_2^3-k_3^3 \\
v_3k_3=-k_1^3+k_2^3+k_3^3 \tag{1}$$
where $v_1,v_2,v_3$ and $k_1,k_2,k_3$ are integer-...
- 303
1
vote
0
answers
37
views
What upper bounds are known, for the number of divisors of Mersenne numbers?
Short version. What upper bounds are known, for the number of divisors of Mersenne numbers?
Long version.
Studying the structure of the factors of $M_n = 2^n - 1$ appears to be an active and difficult ...
- 1,424
3
votes
0
answers
127
views
Lemma in Roth's Theorem for Primes
I am reading Ben Green's paper Roth's Theorem in the Primes and I don't follow the proof of Lemma 6.1. I am not sure where the fact there are no more than $n^{3/4}$ elements $x\in A_0$ with $x\leq n^{...
- 261
4
votes
1
answer
506
views
Is decomposability of integer polynomials over the rational numbers an undecidable problem?
By a decomposition of a polynomial $F(x)$ over a field $K$ we mean writing $F(x)$ as
$$
F(x)=G(H(x)) \quad(G(x), H(x) \in K[x]),
$$
which is nontrivial if $\operatorname{deg} G(x)>1$ and $\...
- 280
0
votes
0
answers
62
views
Hasse principle for Brauer groups of fields of transcendence degree 2
In his paper "A Hasse principle for function fields over PAC fields" (DOI link), Ido Efrat proves the following result: Let $F$ be an extension of a perfect PAC field $K$ of relative ...
- 31
2
votes
0
answers
95
views
Uncertainty principle: minimize $\int_{-\infty}^\infty |t| |\widehat{f}(t)|^2 dt$ for $f$ of compact support
This is a question of uncertainty-principle type stemming from Eigenvalue of a convolution and a restriction?
Let $f:\mathbb{R}\to \mathbb{R}$ be even, absolutely continuous and supported in $[-\frac{...
- 20.2k
7
votes
0
answers
102
views
Langlands correspondence of coverings of $\mathrm{SL}_2(\mathbb R)$ and modular forms with fractional weights
$\DeclareMathOperator\SL{SL}$Let $G \to \SL_2(\mathbb R)$ be a finite covering of degree $d \geq 2$. Then $G$ is a connected Lie group with semisimple Lie algebra $\mathfrak{g}=\mathfrak{sl}_2$ and ...
- 6,622
0
votes
1
answer
100
views
Rational functions on elliptic curves over global fields with given support
Let $E$ be an elliptic curve over a global field $k$. Let $x_1, \dots, x_r$ be a set of generators of $E(k) / E(k)_{tor}$ (or more generally, a $\mathbb Q$-basis of $E(k)_{\mathbb Q}$), and let $x_0$ ...
- 67
2
votes
0
answers
57
views
Wieferich primes and identities for the Euler quotients of $2^n+1$ and $\frac{2^n+1}{3}$
Let $n>1$ be odd integer.
Define the Euler quotient $a(n)=\frac{2^{\varphi(n)}-1 \bmod n^2}{n}$.
Number $n$ with $a(n)=0$ is Wieferich number and if it is prime
it is Wieferich prime.
It is open ...
- 25.4k
1
vote
0
answers
100
views
The value of the Hauptmodul at CM point
Let $J$ be a classical normalized $j$-invariant (that is, J=j-744).
Then, it is a classical result that $J(\tau)$ is an algebraic integer if $\tau$ is an imaginary quadratic number (that is, $a\tau^2+...
- 111
6
votes
1
answer
2k
views
Difficulty with "A new elementary proof of the Prime Number Theorem" by Richter
I'm studying Richter's "A new elementary proof of the Prime Number Theorem" paper, and I'm finding some problems understanding some parts of it. For example, I don't see how to get, in Lemma ...
- 63
3
votes
0
answers
130
views
Galois cohomology and Levi subgroups
Let $F$ a field and $G$ a smooth connected reductive group with a Levi subgroup $M$. Under what assumptions is $H^1(F, M) \to H^1(F, G)$ injective? In the case $F$ is nonarchimedean local I believe ...
- 605
0
votes
0
answers
99
views
On the form of algebraic numbers belonging to a specific field extension
Let $m>1$ be an integer and set $\theta=10^{-1/m}$. For a $\gamma\in \mathbb{Q}(\theta)$, there exists $a_0,\ldots,a_{m-1}\in \mathbb{Q}$ such that
$$
\gamma=a_0+a_1\theta+\cdots+a_{m-1}\theta^{m-1}...
- 515
1
vote
0
answers
100
views
Curious congruences modulo $4$ involving primes
We define
$$S(n)=\sum_{a=2+(n\pmod 2)}^{n-2}
\sharp(\{j,1\leq j<n \pmod{a},(a,j)=1\})\ .$$
(Searching the OEIS yielded no results.)
For $n>2$ we have the following experimental observations (...
- 17.9k
2
votes
0
answers
76
views
Function that is (essentially) a self-convolution but not a multiple of a self-convolution
Call a function $F:\mathbb{R}\to C$ nice if it is of the form $F = f\ast \tilde{f}$, where $\tilde{f}(x) = \overline{f(-x)}$. (Of course nice functions are precisely those whose Fourier transform is ...
- 20.2k
1
vote
0
answers
111
views
Whether or not the root number of GL$_3\times$GL$_2$ $L$-function $L(s, F \otimes g)$ contains the coefficients $\lambda_g(n)$ of $g$?
$\DeclareMathOperator\GL{GL}\DeclareMathOperator\SL{SL}$Let $p$ and $q$ be two distinct primes. Let $$\Gamma_0(p)= \left\{ g\in \GL_3(\mathbb{Z}):g \equiv \left(\begin{matrix} \ast &\ast&\...
- 41
-3
votes
0
answers
70
views
Is the upper bound on $H_{1}$ a decreasing function of the proportion of critical zeros of Zeta?
This question stems from https://arxiv.org/abs/2411.19762 and the numerical observation that the best unconditional upper bound for $H_{1}:=\lim\inf_{n\to\infty}p_{n+1}-p_{n}$, namely $H_{1}^{\flat}=...
- 6,974
2
votes
0
answers
119
views
Polynomial discriminant equation
This is a fairly straightforward question, and I am hoping a definitive answer exists.
Does there exist a quadratic form $A \in \mathbb{C}[x_1, x_2, x_3, x_4]$ and a cubic form $B \in \mathbb{C}[x_1, ...
- 26.9k
1
vote
0
answers
67
views
About ratio $\frac{\Omega (n)}{\omega (n)}$
What is the asymptotic estimate of $\sharp\left\{n\leq x,\frac{\Omega (n)}{\omega (n)}> 1+\varepsilon \right\}$, with fixed $\varepsilon > 0$, where $ n=s\cdot q$ ; $s$-a powerfull part of $n$ ...
- 471
1
vote
1
answer
176
views
+50
On a probabilistic integer factorization algorithm given bounds for one prime factor
We got a probabilistic integer factorization algorithm and experimental evidence with large
integers given bounds for one factor.
Let $D \ge 2$ be real number and let $p,q$ be primes and $N=pq$.
...
- 25.4k
0
votes
0
answers
92
views
The ratio $\Omega(n)/\omega(n)$ for a special set of integers
It is known that every positive integer can be expressed as $n=s\cdot q $, where $s$ is a powerful number and $q$ a squarefree number, with
$(s,q)=1$. It is also known that the set of integers such ...
- 471
2
votes
0
answers
119
views
Generalized identity with Stirling numbers of the second kind and falling factorials
It is known that Striling numbers of the second kind satisfy the relation
$$
\sum\limits_{k=0}^{n}{n \brace k}(x)_k = x^n.
$$
where $(x)_n$ is the falling factorials such that
$$
(x)_n = x(x-1)(x-2)\...
- 4,938
-3
votes
0
answers
140
views
Divisors of n and n + 1
Suppose $a$ is a proper divisor of $n$ (where $n$ is a positive integer), and $b$ a proper divisor of $n + 1$.
Is there a general criterion (or general property of $n$) which enables one to conclude ...
- 4,547
5
votes
1
answer
469
views
Is the set of generalized Fermat triples computable?
Is $\;\big\{(a,b,c)\in\mathbb{N}^3: \big(\exists m,n,\ell \in (\mathbb{N}\setminus\{0,1,2\})\big): a^m + b^n= c^\ell\big\}\;$ computable?
- 48.9k
2
votes
0
answers
93
views
Galois representations attached to discrete automorphic representations
Let $F$ be a totally real field. Let $G$ be a (split) connected reductive group over $F$. Let $\pi$ be an irreducible automorphic representation of $G$.
Recall in the work of Buzzard and Gee "The ...
- 6,622