All Questions
Tagged with reference-request nt.number-theory
1,409 questions
3
votes
1
answer
369
views
Is there a clear criterion or rule about when one can use the heuristic given by Cramér random model for prime numbers?
I don't know if I have misunderstood the information from the section about the heuristic related to Cramér's conjecture and the known facts about Maier's theorem, from the Wikipedia Cramér's ...
8
votes
1
answer
812
views
Primes of the form $x^2 + y^2 + 1$
There are infinitely many primes of the form $x^2+y^2+1$, as proved by Bredihin. Motohashi improved the result by showing that there were $\gg x/\log^2 x$ such primes up to $x$. But we expect $\Theta(...
- 9,114
13
votes
1
answer
358
views
Cartography of the duals of GL, PGL, SL, etc
A short version of this question could be
What are the duals of $PGL(2,\mathbf{Q}_p)$, $PGL(2,\mathbf{R})$ and $PGL(2,\mathbf{C})$?
I should obviously add some precisions.
there are different ...
- 5,424
19
votes
1
answer
2k
views
Has anything ever been done with the set $\{1,2,3,4,\ldots\}$ equipped with the operation $a \oplus b = a+b-1$ and the usual notion of multiplication?
Definition. $$\mathbb{J} = \{1,2,3,\ldots\}.$$
We can refer to the elements of $\mathbb{J}$ as "joiners."
The product of joiners is inherited from $\mathbb{Z}$.
The sum of joiners will be ...
- 3,793
4
votes
1
answer
244
views
The function $\sum_{n=0}^\infty\frac{(-1)^n\mu(2n+1)}{(2n+1)^s}$: reference request or particular values at integers and abscissa of convergence
We denote for integers $m\geq 1$ the Möbius function as $\mu(m)$. With the help of a CAS, Wolfram Alpha online calculator, I was calculating certain values of $$\sum_{n=0}^\infty\frac{(-1)^n\mu(2n+1)}{...
27
votes
3
answers
2k
views
Kasteleyn's formula for domino tilings generalized?
It seems a marvel when a bunch of irrational numbers "conspire" to become rational, even better an integer. An elementary example is $\prod_{j=1}^n4\cos^2\left(\pi j/(2n+1)\right)=1$.
Kasteleyn's ...
- 43.2k
2
votes
0
answers
145
views
On some rational points on an elliptic curve over finite field
Let $p\equiv3\pmod4$ be a prime. We consider the elliptic curve $E$ over the finite field $\mathbb{F}_p$
(in affine coordinates) defined by
$$y^2=x^3+x.$$
Clearly the discriminant of $E$ is $-2^6$. ...
user125345
0
votes
1
answer
204
views
On $(\prod_{\substack{1\leq s\leq X\\s\text{ semiprime}}}s)(\sum_{\substack{1\leq s\leq X\\s\text{ semiprime}}}\frac{1}{s})$ as $X\to\infty$
Few weeks ago an user from Mathematics Stack Exchange answered my question On an inequality that involves products and sums related to the sequence of semiprimes (asked May 26). It seems that for ...
4
votes
1
answer
463
views
Density of twin square-free numbers
It is well-known how to compute the density of square-free numbers, to get
$$ \lim_{N\to\infty} \frac{\#\{ n \leq N : n \text{ square-free}\}}{N} = \frac{6}{\pi^2}.$$
What is the density of numbers ...
- 2,175
3
votes
1
answer
316
views
On the convergence of $\sum_{n=1}^{\infty} \frac{\lambda(n)}{n}$ and the Prime Number Theorem
Let $\lambda$ be the Lioville function of number theory.
I've heard several times that if $L=\sum_{n=1}^{\infty} \frac{\lambda(n)}{n} =O(1)$ then $L=0$ (the Prime Number Theorem). How can this be ...
- 1,019
4
votes
1
answer
332
views
Estimating certain short Kloosterman sums
Recall that for the classical Kloosterman sum
$$ K(a,b,p^t):= \sum_{x \in (\mathbb{Z}/ p^t \mathbb{Z})^* } \psi \left(\frac{ax+bx^{-1}}{p^t} \right),$$
where $\psi(x)=e^{2\pi ix}$, $a,b,t$ are natural ...
- 421
4
votes
2
answers
730
views
Looking for paper: Weil's original 1952 "Sur les formules explicites de la théorie des nombres premiers"
I am looking for a source (preferably online) for Weil's original 1952 paper on the explicit formula. I am aware of an english translation available here, but would like to have access to the original ...
- 3,799
3
votes
0
answers
152
views
Finiteness of points over the cyclotomic extension for modular forms
Let $\rho(f):G_\mathbb{Q} \rightarrow GL_2(K_f)$ be the Galois representation attached to some cuspidal modular form $f$ where $K_f$ is a finite extension of $\mathbb{Q}_p$.
Let $V_f$ be the vector ...
- 313
2
votes
1
answer
297
views
Papers on distribution of high order elements over $\mathbb{F}_p$
I am interested in knowing about the distribution of exponentially high order elements in $\mathbb{F}_p$. To be precise let $s$ be of the order $\frac{p}{\log^{k}(p)}$ for some fixed $k$ and integer. ...
- 335
3
votes
1
answer
340
views
Proof of continued fraction identity of subfactorial
This question is part of a wider conjecture I have formed with someone which has its roots in Raayoni et al. (2019). The subfactorial function can be written as $$!n=\frac{n!}e+\frac{(-1)^n}{n+2-\...
- 1,459
1
vote
1
answer
334
views
A paper by W. Ljunggren
I am looking for the following paper by Ljunggren, Wilhelm: "Zur Theorie der Gleichung $x^2 + 1 = Dy^4$", Avh. Norske Vid. Akad. Oslo. I., 1942 (5): 27
The main result of this paper which I am ...
- 2,404
19
votes
3
answers
2k
views
Cyclotomic polynomials: $\Phi_n(p)$ is like $p^{\phi(n)}$ for big enough $p$, right?
Apologies in advance if this turns out to be simple. So far I haven't found a proof or a reference.
Although I like $p$ to be a prime, I can ask the following for positive integers $n$ and $p$, ...
- 3,209
17
votes
5
answers
4k
views
Fermat numbers and the infinitude of primes
Wonder whether any of you guys know why it is that the proof of the infinitude of primes that is based on the coprimality of any pair of (distinct) Fermat numbers is commonly attributed to Pólya.
In ...
- 8,842
7
votes
3
answers
551
views
Minkowski's theorem for non-0-symmetric sets
Let $\Lambda \subseteq \mathbb{R}^n$ be a full-rank lattice, i.e. $\Lambda = A \mathbb{Z}^n$ for some $A \in \mathrm{GL}_n (\mathbb{R})$, and let $C \subseteq \mathbb{R}^n$ be a $0$-symmetric convex ...
user92170
1
vote
0
answers
213
views
Attempts to prove the Cohen - Lenstra heuristics based conjecture
In the well known Cohen - Lenstra paper published in 1983, the authors present an experimentally well-supported conjecture on computing certain asymptotics of class groups of real abelian and complex ...
- 577
2
votes
0
answers
314
views
On the Chowla and twin prime conjectures
I'm reading https://terrytao.wordpress.com/tag/chowlas-conjecture/ and at some point it is mentioned that, the twin prime conjecture is a variant of Chowla's conjecture that $\sum_{n\leq x} \lambda(n)\...
- 1,019
6
votes
0
answers
347
views
When did the main conjecture in Vinogradov's mean value theorem first appear in literature?
Recently I was asked about the history of Vinogradov's mean value theorem that I was hoping someone here could clarify. Let me first start with some terminology. Let $J_{s, k}(X)$ be the number of $2s$...
- 71
4
votes
1
answer
729
views
Is there a error/typo in the proof related to Goormaghtigh equation in Yann Bugeaud's paper?
I found the following theorem in a paper by Yann Bugeaud (page 12) ,
the theorem was not written in detail, to be specific,following two lines on page 13 were not understandable-
I think this ...
- 267
5
votes
1
answer
456
views
Number defined by a recursive binary sequence
In a math column in Scientific American many years ago, I encountered a peculiar binary sequence I describe below. Unfortunately I can't find a reference on this, so I would be grateful for any ...
- 48.9k
7
votes
1
answer
652
views
Fermat-quotient of "order" 3: I found $68^{112} \equiv 1 \pmod {113^3}$ - are there bigger examples known?
(I've taken this from MSE, it seems to be more appropriate here)
I'm rereading an older text on fermat-quotients (see wikipedia) from which I have now the
Question for
$$ b^{p-1} \equiv 1 \pmod{ ...
- 5,342
7
votes
3
answers
927
views
Lefschetz fixed-point theorem for the Frobenius map
Where can one find a proof of Lefschetz fixed-point theorem for the Frobenius map on elliptic curves over algebraic closures of $F_{p}$ ?
This could immediately follow if their coholomogies (for the ...
- 305
2
votes
0
answers
110
views
Spectral decomposition of idele class group $L^2(\mathbb{I}_F/ F^{\times})$
Let $F$ be a number field. Let $\mathbb{A}_F$ be the ring of adeles. The group of units of $\mathbb{A}_F$ is called the group of ideles $\mathbb{I}_F=\mathbb{A}_F^{\times}= GL_1(\mathbb{A}_F)$. The ...
- 421
3
votes
1
answer
309
views
How to estimate the sum $\sum_{n\le x} \frac{n}{\tau(n)}$?
Let $\tau(n)$ be the number of positive divisors of $n\in \mathbb{N}$.
Is it possible to get some good estimate for the sum $\sum_{n\le x} \frac{n}{\tau(n)}$?
I know that the sum is $\mathcal O(x^2)$...
- 3,866
17
votes
0
answers
367
views
Average value of j-invariant at infinity
Let $\xi\in\mathbb{R}$ and consider the average value (with respect to hyperbolic length) of the $j$-invariant ($j(z)=q^{-1}+744+196884q+\ldots$, $q=e^{2\pi iz}$) along a geodesic aimed at $\xi$:
$$
\...
- 609
3
votes
1
answer
280
views
Reference request for Euler products in positive characteristic
Let $K$ be a global field with ring of integers $O$, and let $f$ some integer valued function whose domain is the set of ideals of $O$ (e.g. $f(I)=|O:I|$). Extending the ordinary definition from the ...
- 993
3
votes
1
answer
412
views
Primes of the form $4p+1$, with $p$ prime
I am working on some problems related to primes $q$ of the form $q = 4p+1$ where $p$ is also prime. The infinitude of such primes is still open. But recently I found that If I were to count the number ...
8
votes
1
answer
728
views
Criteria for ghost-Witt vectors: looking for history and references
I am looking for references (both of the readable and of the historical kind!) for the following result (which I formulate in one of its least general forms, so as not to complicate the discussion). I ...
- 33.8k
1
vote
1
answer
177
views
Arithmetic progressions, given a prime
I have recently become interested in reading a little more on certain directions regarding primes in arithmetic progressions (AP). I would appreciate specific paper references (with the journal and ...
user137748
2
votes
1
answer
162
views
On a transcendental number defined as a variation involving the Lambert $W$ function in the nested square root representation of the golden ratio
Define the real number $\xi$ satisfying
$$\xi=\sqrt{1+W\left(1+\sqrt{1+W(1+\ldots)}\right)}\tag{1}$$
where $W(x)$ denotes the main branch of the Lambert $W$ function, as reference I add that Wikipedia ...
2
votes
1
answer
627
views
Particular case of Beal's Conjecture
Is it known that there exist no coprime positive integers $A$, $B$ and $C$ such that $A^3+B^4=C^3$? This is a particular case of Beal's Conjecture.
- 1,547
9
votes
0
answers
887
views
How many ways are there to teach class field theory?
I will soon have to teach class field theory (I do not know whether it will be local or global yet:)) to postgraduate students. I wonder, which approaches to this subject(s) exist now.
I definitely ...
- 16.9k
2
votes
0
answers
98
views
Sublattices in the standard integral symplectic lattice
Let $V$ denote $\mathbb{Z}^{2g}$ with its standard integral symplectic form $\omega = \sum_{i=0}^{g-1}dx_{2i} \wedge dx_{2i+1}$ (or, the homology lattice of a genus $g$ surface with its intersection ...
- 427
4
votes
1
answer
208
views
Stationary phase method for $\varphi''(x_0)= 0$
Stationary phase method (in the usual setup) gives asymptotic for
$$
I(\lambda)=\int_{a}^{b} f(t) e^{i \lambda \varphi(t)} d t,
$$
when at any stationary point $x_0$ ($\varphi'(x_0)=0$) second ...
- 12.3k
14
votes
1
answer
495
views
powered partition function generator: 1/2 of them are zeros?
Ramanujan delivered his famous congruences
$$p(5n+4)\equiv_50, \qquad p(7n+5)\equiv_70, \qquad p(11n+6)\equiv_{11}0$$
for the integer partitions with generating function $F(x)=\prod_{k=0}^{\infty}\...
- 43.2k
5
votes
1
answer
472
views
Is the following weak version of second Hardy-Littlewood conjecture already known?
Very recently I was going through my previous MSE posts and I stumbled upon some of them regarding the Second Hardy-Littlewood Conjecture which states that,
For all $x,y\ge 2$ we have, $$\pi(x)+\...
user57432
10
votes
2
answers
2k
views
Consequences of Legendre's conjecture
I am looking for a list/reference which explores the consequences of Legendre's conjecture, which states that one can always find a prime number between $n^2$ and $(n+1)^2$.
- 215
14
votes
1
answer
1k
views
Transcendence of $\Gamma(1/3), \Gamma(1/4)$
This is a re-post from MSE as I did not get even a single comment there.
Wikipedia mentions that the transcendence of $\Gamma(1/3), \Gamma(1/4)$ was proved by G. V. Chudnovsky. Does anyone have a ...
- 2,259
5
votes
0
answers
354
views
Modern reference for Andre Weil's 'Sur les courbes algébriques et les variétés qui s'en déduisent'
I'm currently interested in the cardinality of the set of values of a polynomial over a finite field.
I found a paper
Saburo Uchiyama, Sur le Nombre des Valeurs Distinctes d'un Polynome a ...
- 1,013
8
votes
3
answers
1k
views
English or French translation of Gauss' "Summatio Quarumdam Serierum Singularium"
I'm interested in looking at the details of Gauss' method of determining the sign of the Gauss sum in his "Summatio Quarumdam Serierum Singularium", and I was wondering if anyone knew if there was an ...
- 315
11
votes
1
answer
1k
views
Extending an assignment property from Q to R (or C)
Property of any odd number of nonnegative integers:
Given $x_1 \leq \cdots \leq x_{2n + 1}$ with each $x_i \in \mathbb{Z}_{\geq 0}$, suppose that for any $x_i$ we remove, the remaining numbers can be ...
- 7,831
11
votes
3
answers
2k
views
Is every group an ideal class group of a number field?
The inverse Galois problem asks whether every finite group appears as the Galois group of some finite extension of $\mathbb Q$. I was wondering to what extent the analogous problem for ideal class ...
- 28.2k
9
votes
1
answer
472
views
Products of Catalan numbers
Let $c(n)=\frac{1}{n+1}\binom{2n}{n}$ be the Catalan number. It seems that a product $\prod_{n\in I} c(n)$, where $I\subset\mathbb N_{>1}$, is never a Catalan number. Is this a (known) fact?
- 5,822
3
votes
1
answer
510
views
Yet another question on sums of the reciprocals of the primes
I recall reading once that the sum $$\sum_{p \,\, \small{\mbox{is a known prime}}} \frac{1}{p}$$
is less than $4$.
Does anybody here know what the ultimate source of this claim is?
Please, let me ...
- 8,842
13
votes
5
answers
4k
views
Brief Introduction to Modular Forms
What are the best introductory texts on modular forms that are suited for a brief six week course intended for advanced undergraduates? The students will be quite sharp and as far as prerequisites go, ...
1
vote
0
answers
108
views
Question related to sequence of recurrence relation $a_k=\operatorname{rad}(a_{k-1}+a_{k-2})$ for $k\ge 2$ where $a_0=0,a_1=1$
Define radical of an integer Wiki
$$\displaystyle{\mathrm{rad}}(n)=\prod_{{\scriptstyle p\mid n\atop p\:{\text{prime}}}}p$$
Example $n=504=2^3\cdot3^2\cdot7$ therefore ${\displaystyle \operatorname{...
- 599