All Questions
Tagged with reference-request nt.number-theory
1,409 questions
5
votes
5
answers
751
views
The diophantine equation $ \sum_{n=1}^{N} \frac{1}{x_{n}} = \prod_{k=1}^{N} \left(1-\frac{1}{x_{k}} \right) $
Background
I wonder if there are any rational numbers such that their Egyptian fraction (sum) representations are equal to their Egyptian product analogue. In other words, I am curious1 about ...
- 4,829
0
votes
0
answers
81
views
Computing elliptic periods from modular form
How are the periods of a modular elliptic curve computed as path integrals of its associated normalized weight 2 cusp form on the modular curve? Please provide specific paths for both periods and cite ...
- 2,907
5
votes
1
answer
228
views
Lifting mod $p$ representations of arithmetic fundamental groups of a non-affine scheme over a finite field of characteristic $p$
Let $X$ be a geometrically irreducible scheme (not necessarily affine) over $\mathbb{F}_{p}$ and let $ \pi_{1}(X) $ be the arithmetic etale fundamental group of $ X $. Let $ \overline{\mathbb{F}}_{p} $...
- 863
2
votes
0
answers
102
views
Division based recurrence with negative coefficients, e.g. $F(n)= -F(\lfloor n/2\rfloor) - F(\lfloor n/3\rfloor)$
A famous problem of Erdos dealt with the division-based recurrence $a_n = a_{\lfloor n/2\rfloor}+a_{\lfloor n/3\rfloor}+a_{\lfloor n/6\rfloor}$ with $a_0=1$ (and was about the limit $\lim_{n\to\infty} ...
- 833
2
votes
0
answers
146
views
Reference for accelerated sum to compute the Meissel-Mertens constant
The Meissel-Mertens constant
$$ B_1 = \lim_{n \to \infty} \left(\sum_{p \leq n} \frac{1}{p} - \log\log n\right) $$
has the series representation
$$
\begin{equation} \tag{1}
B_1 = \gamma + \sum_{n=2}^{...
- 451
3
votes
1
answer
439
views
Chinese remainder theorem for target interval
Given $n$ pairwise coprime natural numbers $m_{1}, \dots, m_{n}$ with remainders $y_{i}$, for all $i \leq n$. Furthermore, we have a target interval $I := \left[ a, b \right]$, with $1 \leq a < b \...
- 33
5
votes
1
answer
187
views
Reference Request: Test vectors for local Rankin-Selberg L-factors in ramified cases
Let $F$ be a global number field, i.e. a finite extension of the field of rational numbers. Let $\sigma$, $\pi$ be automorphic representations of $\mathrm{GL}_n(F)$ and $\mathrm{GL}_{n+1}(F)$ ...
- 639
5
votes
0
answers
174
views
Effective Hecke Equidistribution
In 1918 and 1920 Hecke introduced his L-functions attached to his Grössencharakteren (Hecke characters) and proved they are equidistributed in a sense to made precise momentarily. One can identify ...
- 177
4
votes
2
answers
486
views
Reference request - Pillai-Selberg Theorem
I want to find a proof of the following claim. Let $\Omega(n)$ denote the number of prime factors of an integer $n$ counted with multiplicity. Then $\Omega(n)$ equidistributes over residue classes. ...
user344548
3
votes
1
answer
320
views
Counting points on elliptic curves
Consider the Legendre family of elliptic curves
$$E_a: y^2=x(x-1)(x-a).$$
Let $p$ be an odd prime.
QUESTION. Is the following true? If $p\equiv 3\pmod4$ then number of solutions to $E_2$
over the ...
- 43.2k
42
votes
5
answers
14k
views
The unproved formulas of Ramanujan
Are there any formulas due to Ramanujan that have still not been proved—or disproved?
If so, what are they?
I believe this conjecture is due to Ramanujan and still open: if $x$ is a real number and $2^...
- 22.3k
3
votes
1
answer
459
views
Limit of an infinite series with quadratic arguments
I have encountered a limiting process on some infinite series. So, I would like to ask:
QUESTION. Assume $n$ is an even positive integer. Is this true?
$$\lim_{r\rightarrow1^{-}}\sum_{j=1}^{\infty}\...
- 43.2k
1
vote
0
answers
98
views
Are there known effective bounds on the number of semisimple Galois representations?
In continuation to my question here, are there known effective bounds on the total number of semisimple $p$-adic Galois representations unramified outside a finite set of primes $S$, of dimension $d$, ...
- 2,907
15
votes
4
answers
3k
views
Collecting alternative proofs for the oddity of Catalan
Consider the ubiquitous Catalan numbers $C_n=\frac1{n+1}\binom{2n}n$. In this post, I am looking for your help in my attempt to collect alternative proofs of the following fact: $C_n$ is odd if and ...
- 43.2k
3
votes
3
answers
382
views
Closed formula for number of ones in a proper factor tree
Edit [2023 Dec 7]: One of my specific wonders, along with that of students, is around when a recursive formula might have – or be expected to have – an explicit or closed formula. What is the ...
- 7,831
10
votes
0
answers
598
views
Does the interior of Pascal's triangle contain three consecutive integers?
This question defeated Math SE, so I am posting it here.
Consider the interior of Pascal's triangle: the triangle without numbers of the form $\binom{n}{0},\binom{n}{1},\binom{n}{n-1},\binom{n}{n}$.
...
- 3,577
6
votes
2
answers
685
views
Number of divisors which are at most $n$
I’m interested in the function $\tau_n:\mathbb{N}\to\{1,2,3,\cdots, n\}$ defined by
$$\tau_n(x)=\sum_{k=1}^n \mathbf{1}_{k\mid x},$$
the number of divisors of $x$ which are at most $n$. Question 6 of ...
- 541
13
votes
1
answer
1k
views
Apéry's constant $\zeta(3)$ fastest convergent series
UPDATE Feb.02.2024
The series below, Eq.(3) for computing and Eq.(2) for verifying, were applied by Andrew Sun on Dec.22.2023 to get over $2\cdot10^{12}$ decimal digits and break the number of ...
- 2,836
3
votes
3
answers
756
views
Ordinary partitions vs partitions into odd parts
Let $\mathcal{P}(n)$ be the set of all unrestricted partitions of $n$ while $\mathcal{O}(n)$ stand for the set of all partitions of $n$ into odd parts. We adopt the power notation for partitions $\...
- 43.2k
5
votes
1
answer
738
views
Smallest prime factor of numbers
The literature refers to smooth integers as \begin{equation}\Psi(x,y):=\#\{n\le x:P_1(n)\le y\},\end{equation} where $P_1(n)$ is the largest prime factor of $n$. There are lots of results studying $\...
user344548
3
votes
1
answer
212
views
Isocrystal with no $F$-structure
$\DeclareMathOperator\Isoc{Isoc}$Let $X_k$ be a quasiprojective $k$ scheme, with $k$ finite, and let $X_K$ be the rigid analytic space lifting it to the fraction field of its Witt ring, which I denote ...
- 2,907
2
votes
0
answers
278
views
On $(k,\ell)$-sumfree sets
Call a set $\mathcal S \subset \mathbb N$ to be $(k,\ell)$-sumfree if there are no non-trivial solutions to the equation
$$x_1+\dots +x_k = y_1+\dots +y_\ell$$
in the set (for distinct $x_i$'s and $...
- 791
3
votes
0
answers
164
views
Cardinality of the set $\#\{ 1 \leq n \leq N: \| \alpha n^2/N \| < 1/N \}$
Let $\alpha \in I$ where $I$ is some closed interval that does not contain $0$.
I am interested in upper bound for
$$
M(\alpha) = \#\{ 1 \leq n \leq N: \| \alpha n^2/N \| < 1/N \}
$$
where $N$ ...
- 3,625
6
votes
0
answers
176
views
Fundamental lemma of sieve theory in function fields
Is there any literature concerning the fundamental lemma of sieve theory in $\mathbb{F}_q[T]$?
In integers there are various versions of the lemma (bases on different sieves); I would be happy with ...
- 14.6k
5
votes
3
answers
2k
views
How many digits of $\sqrt{2}$ are known to date?
How many digits of $\sqrt{2}$ are known to date, in base 10 and in base 2? I am trying to produce the largest sequence known to date, and would like to sense if I can do it either alone or with hiring ...
- 3,098
5
votes
2
answers
541
views
When are two elliptic curves with zero j invariant isogenous?
Consider elliptic curves of the form $E_B\colon y^2=x^3+B$ for $B\in\mathbb Q$. These are exactly the elliptic curves with zero $j$-invariant. I would like to know when are two elliptic curves $E_B$ ...
- 89
2
votes
2
answers
293
views
Cohomology of $S$-arithmetic groups with trivial coefficients such as $H^n(\rm{PGL}_2(\mathbb{Z}[1/N]);\mathbb{Z})$
As $\rm{PSL}(2,\mathbb{Z})=(\mathbb{Z}/2\mathbb{Z})*(\mathbb{Z}/3\mathbb{Z})$, its cohomology groups $H^n(\rm{PSL}(2,\mathbb{Z});\mathbb{Z})$ are easy to get.
Let $N$ be a product of distinct primes.
...
- 391
3
votes
1
answer
98
views
Reference Request: Possible generalizations of the stability of $\gamma$-factors
$\DeclareMathOperator\GL{GL}$
Let $F$ be a nonarchimedean local field. Suppose $\pi, \sigma$ are irreducible admissible representations of $\GL_{n}(F)$ and $\GL_{m}(F)$ respectively, with $n \geq m$. ...
- 639
3
votes
0
answers
187
views
Bourgain-Gamburd-like theorems in the non-algebraic case
For $\mu$ a Borel probability measure on the compact group $G=\operatorname{SU}(d)$, Bourgain-Gamburd prove that the spectral radius of the associated operator on $L^2(G)$ is strictly less than one, ...
- 31
6
votes
1
answer
249
views
Syndetic sets and Banach limits: reference request
First of all, let us give a few definitions. Suppose that $A$ is a subset of natural numbers. We say that $A$ is syndetic if there is a constant $M$ such that every set of $M$ consecutive natural ...
- 7,193
4
votes
1
answer
308
views
3 divides coefficents of this $q$-series
Denote $\phi(q):=\prod_{j\geq1}(1-q^j)$ and let $\xi=e^{\frac{2\pi i}3}$ be a cube root of unity.
Define the sequence $u(n)$ by
$$\prod_{n\geq1}\prod_{s=1}^2(1-q^n\xi^{ns})(1-q^{2n}\xi^{ns})
=\sum_{n\...
- 43.2k
1
vote
0
answers
158
views
A question and reference about Bombieri's article continued fraction of algebraic numbers
Above the Comments in the article continued fraction of algebraic numbers, there are some words on the unboundedness/cycle of coefficients of continued fraction of algebraic numbers "Thus, ...
- 3,104
1
vote
0
answers
75
views
automorphisms and mellin transforms
If a real analytic function $f$ is involutive i.e. $f(f(x))=x$ and its Mellin transform can be taken on a section of the real axis, and is analytic for $x>0$, in certain cases can this imply that $\...
- 101
1
vote
0
answers
127
views
Multiplicities of Galois representations in the semisimplification of the reduction of a Tate module
Let $C$ be a smooth proper curve, of genus $g$ over a number field $K$. Let $v$ be a prime of good reduction for $C$ above $p>2$, and let $T_pJ$ denote the $p$-adic Tate module of $J$, the Jacobian ...
- 2,907
6
votes
0
answers
200
views
Empirical bounds on $\left|\frac{\zeta'(1+it)}{\zeta(1+it)}\right|$
It is reasonable to expect that $$\left|\frac{\zeta'(1+it)}{\zeta(1+it)}\right| < 2 \log \log t$$
for all $t\geq 4$ (say): a somewhat stronger bound is known for $t\geq 10^{165}$ or so (Theorem 5 ...
- 20.2k
4
votes
0
answers
335
views
The number of continuously increasing primes gaps in the interval $[2,n]$ is less than $\log n$
A prime gap is the difference between two successive prime numbers. The $n$-th prime gap, denoted $g_n$ or $g(p_n)$ is the difference between the $(n+1)$-st and the $n$-th prime numbers. Using my ...
- 1,776
7
votes
3
answers
611
views
Question on a crucial lemma in Euler's approach to Fermat's Last Theorem for $n=3$
As many of you may know, the illustrious L. Euler put forward a proof of the case $n=3$ of Fermat's Last Theorem via infinite descent. The thing is that, at a certain point, he resorted to the ...
- 8,842
1
vote
1
answer
155
views
Iwahori action on the $p$-ordinary line of a principal series representation
$\DeclareMathOperator\GL{GL}\DeclareMathOperator\diag{diag}\DeclareMathOperator\Ind{Ind}\newcommand\Iw{\mathrm{Iw}}\DeclareMathOperator\ord{ord}$Let $F$ be a $p$-adic local field, i.e. a finite ...
- 639
2
votes
2
answers
432
views
Expositions of the classical approach to local class field theory (Brauer group and Hasse invariant)
I've posted this question already on MSE and didn't get much out of it, so I hope it's OK to repost here.
I'm an undergraduate trying to learn local class field theory from the corresponding chapter ...
- 121
2
votes
0
answers
221
views
Squares whose differences are squares
EDIT. I've just noticed a thread from 2011 in the "Related" column on the right (click me), where a closely related question is being discussed (the main difference seems to be that, in ...
- 10.5k
4
votes
1
answer
630
views
Is $\sum_{n\leq x}{z^{\Omega(n)}} = O(x^{\frac12 + \varepsilon})$ equivalent to the Riemann hypothesis for all roots of unity $z\neq1$?
$\Omega(n)$ is the number of prime divisors of $n$, counted with multiplicity.
For $z=-1$, $z^{\Omega(n)} = \lambda(n)$ is the Liouville function, and it's known that $\sum_{n\leq x}\lambda(n) = O(n^{\...
- 3,319
7
votes
2
answers
1k
views
Selberg class definition and Riemann hypothesis
Looking at the Selberg class definition on Wikipedia, under "Comment on definition", there is this paragraph:
"The condition that the real part of $\mu_i$ be non-negative is because ...
- 1,199
2
votes
0
answers
129
views
Imaginary quadratic fields with prime class number
Let $K$ be an imaginary quadratic field, with class number equal to an odd prime, say $h_K = p$.
In the proof Proposition 2.4 of this paper, Fukuda and Komatsu write,
"Since $h_K = p$, there ...
- 707
2
votes
0
answers
489
views
Are these finite semirings known?
I am trying to prove the properties below, and by doing this, I hope to find a way to speed up the computation of the below defined addition and multiplication. I am also interested if these finite ...
- 3,074
2
votes
1
answer
198
views
Series with the smallest number whose square is divisible by $n$
I was looking into this sequence. And I'm particularly interested in the asymptotic behavior of the following series (which is stated on the site) $$\sum_{k=1}^n \frac{1}{a(k)} \sim \frac{3(\log n)^2}...
14
votes
1
answer
413
views
Product analogue of Egyptian fractions
Background
An Egyptian fraction is a finite sum of distinct unit fractions, in which each denominator is not bigger than the next one. In other words, it is a representation of $a/b$ such that $$\frac{...
- 4,829
22
votes
1
answer
770
views
Writing $3p$ when $p \equiv 1 \pmod{3}$ as a sum of two rational cubes. Is this result new? And what about its converse?
I recently discovered a proof of the following. Let $p$ be a prime that's $1 \bmod {3}$. Suppose that $p$ is not represented by the principal quadratic form $(1,9,81)$ of discriminant $-243$ (The ...
- 5,422
9
votes
1
answer
650
views
Sum of three squares as class numbers and Waldspurger's formula
It is known that the number of ways to express $n \in \mathbb{Z}_{\geq 0}$ as a sum of three squares (let's denote it as $r_3(n)$) can be expressed as Hurwitz-Kronecker class number (certain weighted ...
- 2,215
13
votes
0
answers
328
views
Upper bound on prime powers in interval
I just spent a full day on the brutish and thankless task of proving that the Brun-Titchmarsh bound holds for prime powers (including primes), and not just for primes, in the following senses:
(a) the ...
- 20.2k
11
votes
0
answers
291
views
Color your partitions by parity
Let $a_c(n)$ be the number of ways to partition a positive integer $n$ where each even part comes in $c$ colors. Then, we can supply the generating function
$$\sum_{n\geq0}a_c(n)q^n=\prod_{k\geq1}\...
- 43.2k