All Questions
Tagged with reference-request nt.number-theory
388 questions with no upvoted or accepted answers
1
vote
0
answers
127
views
an eigenvalue problem for Jacobi Forms
Assume $G(q,z)$ is a Jacobi form of a certain index k. It is known that $G$ can be expanded in a Taylor series with coefficients in the ring of quasi-modular forms (generators $E_2, E_4$ and $E_6$).
$\...
- 43.2k
1
vote
0
answers
109
views
PDE coupled with the pronic numbers (related to triangular numbers)
I am studying the linear PDE:
$$ t^2\frac{\partial^3}{\partial t^3}\sum_{n=1}^\infty \Psi_n(t,s)=s^2\frac{\partial}{\partial s}\sum_{n=1}^\infty \Psi_n(t,s)+\sum_{n=2}^\infty b(n)\frac{\partial}{\...
- 383
1
vote
0
answers
98
views
Existence of countable dense normal subgroups of global Galois group
Let $K$ be a number field, $S$ a finite set of primes of $K$ and $ G_{K,S} $ the Galois group of the maximal extension of $ K $ (inside a fixed algebraic closure of $K$) unramified outside $ S $. In ...
- 863
1
vote
0
answers
158
views
Hankel transform of certain $\pm1$ sequences
The present discussion finds its motivation in the comments by Ira Gessel to my earlier MO question. More specifically,
$$\prod_{i\geq0}(1-x^{2^i})=\sum_{k\geq0}(-1)^{s_2(k)}x^k$$
where $s_2(k)$ is ...
- 43.2k
1
vote
0
answers
132
views
Are the binary digits of the sequence of the prime numbers correlated?
Let $p_n\geq 3$ be the $n$th prime number with the binary expansion $p_n = \sum_{k=0}^{\infty} b_{nk}2^k$ ($b_{nk}\in\{0,1\}$). Let's write $q_{nk} = 1-2b_{nk}$.
Question: Is it true that for $k,l\...
- 2,605
1
vote
0
answers
98
views
Reference request for a result in additive combinatorics
Let $p$ be a prime number and $[p-1]=\{1, 2, \ldots, p-1\}$.
The following proposition is proved: (but I cannot find out where)
Proposition: The non-empty subset sums of $[p-1]$ are equally ...
- 3,866
1
vote
0
answers
87
views
Doubly log-concave or doubly log-convex
Suppose $(a_k)_{k\geq0}$ is a sequence of real numbers. Consider the operator $\mathcal{L}a_k=a_k^2-a_{k-1}a_{k+1}$.
We say $(a_k)_k$ is log-concave (resp. log-convex) provided $\mathcal{L}a_k\geq0$ (...
- 43.2k
1
vote
0
answers
174
views
Books about number theory and operator algebras
Does anyone know books that covers both operator algebras and number theory. Actually, a number theory books that has operator algebraic approaches.
- 581
1
vote
0
answers
192
views
Uniform distribution mod $1$ vs independence of random variables
Let $a_1, \cdots, a_k \in [0, 1)$ be real numbers such that $1, a_1, \cdots, a_k$ are independent over the rational numbers. By the Weyl equidistribution criterion in $k$-dimensions, we know that the ...
- 739
1
vote
0
answers
229
views
A sum involving the Jacobi symbols
Let $n>1$ be an odd integer and let $(\frac{\cdot}{n})$ be the Jacobi symbol. For an integer $a$, define
$$S_a=\sum_{x=0}^{n-1}\left(\frac{x^2-a^2}{n}\right).$$
Are there any results on the ...
- 87
1
vote
0
answers
84
views
Sum of fractional parts over coprime residues
Let $q$ be a positive integer and $\theta$ a real number with $0 \leq \theta < 1$. Consider the two sums
$$
S_\theta^\pm(q)=\sum_{\substack{r=1\\ (r,q)=1}}^{q-1} \left\{\theta\pm\frac{r}{q} \right\}...
- 1,990
1
vote
0
answers
159
views
A follow up on Bergeron's conjecture and a question
We say two polynomials satisfy $P(x)\geq Q(x)$ iff $P(x)-Q(x)$ has non-negative coefficients. Recall $(n)_q!=\prod_{j=1}^n(1-q^j)$ and the Gaussian polynomials $\binom{n}k_q=\frac{(n)_q!}{(k)_q!(n-k)...
- 43.2k
1
vote
0
answers
203
views
Generalizing "partition into odd parts=partition into distinct parts"?
The number of partitions into distinct parts is known to agree with the number of partitions with odd parts. For instance, this follows from
$$\prod_{k=1}^{\infty}(1+q^k)=\prod_{n=1}^{\infty}\frac1{1-...
- 43.2k
1
vote
0
answers
255
views
Globalization of a local field
I am reading the paper ''Endoscopic classification of representations of quasi-split unitary groups'' by Chung Pang Mok, and cannot come up with the proof of theorem 7.2.1.
Here is the statement.
...
user163485
1
vote
0
answers
139
views
Alternative Mersenne numbers
Let $\ b\in\mathbb Z,\ $ and $\ |b|>1.\ $ Call
$$ M_b(n)\ :=\ \frac{b^n-1}{b-1} $$
to be $n$-th Mersenne number mod $b$. The necessary condition for $\ M_b(n)\ $ to be a prime is that $\ n\ $ is a ...
- 4,786
1
vote
0
answers
52
views
Two types of the Germain prime siblings
Let $\ p\ $ and $\ q:=2\cdot p+1\ $ be primes — they are called Germain prime siblings. Such a pair belongs to the first type
$\ \Leftarrow:\Rightarrow\ \frac{q^2-1}8\equiv\pm1\mod8,\ $ and to the ...
- 4,786
1
vote
0
answers
85
views
Reference request for "Divisibility of certain arithmetic functions" by Serre
The paper mentioned in the title can be found here. My problem is that it is in french and my French is only as good as Google Translate. Is there any english translations out there or is there any ...
- 589
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
1
vote
0
answers
253
views
Who formulated the conjecture that the set of real parts of zeros of the Riemann zeta function is dense in $[0,1]$?
Does anyone know who formulated this conjecture related to Riemann's zeta function?
Conjecture. The set $$\{ x : \exists y \space \space \zeta (x+iy) = 0\}$$ is dense in $[0, 1]$.
In ...
1
vote
0
answers
37
views
Raggedness measure of a sequence
This surely has been done, maybe I googled the wrong adjective...
Define a raggedness measure $r$ of a sequence $S$ in this way:
Two members $S_i,S_j$ of the sequence (who don't have to be adjacent!) ...
- 4,829
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
1
vote
0
answers
188
views
I'm looking for a proof of Polya-Bertrandias Theorem
I'm looking for a proof of Polya-Bertrandias rationality criterion in english (not the one from Amice).
- 11
1
vote
0
answers
69
views
Need help to check a quote from Hecke's "Lectures on Dirichlet Series, Modular Functions and Quadratic Forms"
I'd like to check the accuracy of a reference to Hecke's 1938 "Lectures on Dirichlet Series, Modular Functions and Quadratic Forms" implicit in eq. 4.8 on p. 50 of J. G. Leo's dissertation, which is ...
- 11
1
vote
0
answers
77
views
Digit summation of squared numbers
In olympiad teaching period, we have a session that students must try to design a good problem for others. Many times we arrive to good questions but sometimes there are some challenges. In one of our ...
- 4,784
1
vote
0
answers
212
views
Generate algorithmically an elliptic curve with its exact class group structure?
Is it possible to generate an elliptic curve $E$ (randomly), together with knowing its class group $\mathrm{Cl}(\mathcal{O})$ structure? where $\mathcal{O}$ is its endomorphism rings $\mathsf{End}(E)$ ...
- 181
1
vote
0
answers
234
views
Why is the $\mathbb{Z}_p$-corank of $\operatorname{Sel}_{p^\infty}(E/\mathbb{Q})$ finite?
I'm interested on the Mordell-Weil rank of an elliptic curve over $\mathbb{Q}$. I read that the $\mathbb{Z}_p$-corank of the $p^\infty$-Selmer group $\operatorname{Sel}_{p^\infty}(E)\doteq\...
user105226
1
vote
0
answers
112
views
The $p$-adic valuation of powers of consecutive integers
Let $n > 0, K > 0$ integers and, for $i \in \{1,...,n\}$, let $k_i$ and $l_i$ be integers such that $k_i + l_i = K$. Assume that for some $i,j \in \{1,...,n\}$ we have $k_i \neq k_j$.
Claim: ...
- 365
1
vote
0
answers
73
views
Reference request ( Conductor of Galois representation associated to Dirichlet character)
(Sorry for my poor english...)
Let $\chi$ be a Dirichlet character modulo $N$ and $\Psi_{\chi}$ be an one dimensional Galois representation such that
\begin{equation}
\Psi_{\chi}: \text{Gal}(\...
- 661
1
vote
0
answers
57
views
On divisibility conditions implying local coprimality conditions
This question is inspired by Bernardo Recaman's question Strings of consecutive integers divisible by 1, 2, 3, ..., N on intervals of $n$ integers being divisible by the integers $1$ through $n$. The ...
- 13k
1
vote
0
answers
274
views
On Primes in Arithmetic Progressions
I was wondering if the following approach is being attempted to prove the twin-prime conjecture.
Tao and Green proved in their paper (2006), that there are arbitrarily long arithmetic progressions ...
- 11
1
vote
0
answers
174
views
Reference to a particular result of Scholl and Faltings
Let $f=\sum_{n\geq 1} a_n q^n$ be a normalized eigenform which is supersingular and crystalline at a prime $p$ and let $V_f$ be the associated crystalline representation, then it follows from the work ...
user130124
1
vote
0
answers
156
views
Fejer-Jackson-like inequality with divisor sum
A question was recently asked about a generalization of the Fejer-Jackson inequality $$\sum_{k=1}^n \frac{\sin kx}{k}\gt 0 \quad \forall\: n\in\mathbb{Z}^+\: \text{and}\: 0\lt x\lt\pi$$
to ...
- 105
1
vote
0
answers
115
views
Properties of the function $\chi_{s,k}$
Let $\chi_{s,k}$ be the characteristic function of integers $n$ which are expressed as sum of $s$ positive $k$-th powers i.e $\chi_{s,k}(n)=1$ if and only if $n=a_1^k+\cdots+a_s^k.$ Examples of this ...
- 1,257
1
vote
0
answers
148
views
Estimating the sum of Dirichlet character $\sum_{0 \leq x < q} \chi(F(x))$ where $F(x)$ is a polynomial
Let $q \in \mathbb{N}$ and $\chi$ a Dirichlet character mod $q$. Let $F(x)$ be a polynomial with integer coefficients. I was wondering if a bound for the following sum was available or not:
$$
\sum_{0 ...
- 3,625
1
vote
0
answers
165
views
Reference request: Bounding exponential sum $\sum_{x \in [0,X]} \Lambda(x) e(\beta_d x^d + \ldots + \beta_1 x )$
Let $1 \leq i \leq d$, $q \in \mathbb{N}$, and $0 \leq a_{i} < q$. Let
$$
\mathfrak{M}^{(i)}_{a_{ i}, q} (C) =\{ \beta_{i} \in [0,1) : | \beta_{i} - a_{i}/q | \leq (\log X)^{C} X^{-i} \} .
$$
We ...
- 3,625
1
vote
0
answers
70
views
A non-surjective coboundary map induced by a central extension
Let $k$ be a number field and
$$ 1\to A \to B \to C \to 1$$ be a central extension of finite groups over $\mathcal{O}_k$ (the ring of integers of $k$), with $B$ non-commutative. Consider the induced ...
- 11
1
vote
0
answers
82
views
Reference request: Structure of $H^1({{\mathbf{Q}}_{q}},{{{{E}}_{{p}^{\infty}}}})$
I need reference on the structure of ${H}^{1}({{\mathbf{Q}}_{q}},{{E}_{{{p}^{\infty}}}})$, in particular when:
(1.) $q=p$
and/or
(2.) $E$ has multiplicative reduction at $q$.
Here, $E$ is an ...
- 1,805
1
vote
0
answers
140
views
Primes of the form $2^{m_0}p_1^{m_1}\ldots p_r^{m_r}+1$
Is it known any example of a set of primes $\{p_1,\ldots,p_r\}$ with the following property: there are infinitely many $(m_0,\ldots,m_r)\in\mathbb N^{r+1}$ such that $2^{m_0}p_1^{m_1}\ldots p_r^{m_r}+...
- 509
1
vote
0
answers
405
views
Generalized Ramanujan's identity with hyperbolic cotangent
Three weeks ago I derived an identity, which generalizes Ramanujan's identity with hyperbolic cotangent. Don't you know is it original or not?
$$
\sum_{n=1}^\infty \frac{\coth(\pi n)}{n^3}=\frac{7\pi^...
- 237
1
vote
0
answers
122
views
Statements generalizing representability of integers by binary quadratic forms to $n$-variable higher homogeneous forms?
Representing integers through the theory of binary quadratic forms is a well studied topic. We know that given $a,b,c\in\Bbb N$, based on discrimant $b^2-4ac$, we can study the representability of ...
user76479
1
vote
0
answers
463
views
A question on (odd) perfect numbers
I have asked this question in MSE a few weeks back, but did not receive any responses. I have cross-posted it to MO, hoping that it is appropriate for this site.
Let $\sigma(x)$ be the (classical) ...
1
vote
0
answers
165
views
Square-free sieve over number fields
I am trying to work on extending various methods to study square-free values of polynomials (or more generally, $k$-free values) over general rings of integers, and a literature review has yielded ...
- 26.9k
1
vote
0
answers
74
views
Equivalent of Lauricella $F_D$ on an elliptic curve?
Lauricella's hypergeometric function $F_D$ is related to (weighted) configurations of points on $\mathbb{P}^1$. I am looking for generalizations to weighted point configurations on an elliptic curve. ...
- 111
1
vote
0
answers
285
views
Davenport's proof that almost all integers are the sum of 4 cubes
Where can I find a pdf that describes Davenport's proof that almost all integers are the sum of $4$ cubes?
- 1,890
1
vote
0
answers
192
views
Ideals with norm in arithmetic progression
Let K/Q be a number field extention. Is there an asymptotic formular for the numer of ideals $\sum\limits_{\substack{N(A)\leq x\\N(A)\equiv k(q)}}1$,where $(k,q)=1$ and $A$ runs over ideals in $O_K$. ...
- 21
1
vote
0
answers
262
views
$\mathfrak{q}$-ideal class bound
Let $K$ be a number field, $\mathcal{O}_K$ be its ring of integers. Let $\mathfrak{q}$ be a nonzero ideal in $\mathcal{O}_K$.
The $\mathfrak{q}$-ideal class group consists of equivalence classes of ...
- 3,320
1
vote
0
answers
207
views
Proofs for almost prime limits
A number $n$ with prime factorization $$n=\prod_{i=1}^rp_i^{a_i}$$
is a k-almost prime if it has a sum of exponents $$\sum_{i=1}^{r}a_i=k$$ i.e., when the prime factor (multiprimality) function $\...
- 1,903
1
vote
0
answers
272
views
Possible counterexample to the strong three exponentials conjecture
There is something wrong possibly either with me or with Wikipedia.
Wikipedia's article on the strong three exponentials conjecture
defines $L^\ast$ as the set of all complex numbers of the form
$$\...
- 25.4k
1
vote
0
answers
86
views
Classification of involutions of the lattice $H\oplus H(k)^{\oplus2}$ for $k=5,6$?
Let $H$ denote the hyperbolic lattice (rank 2 lattice generated by $e,f$ such that $e^2=f^2=e.f-2=0$). Let $k >0$ be an integer. Is it possible to classify involutions $\iota$ of the lattice
$$
L:=...
- 1,663
1
vote
0
answers
280
views
Would a proof of both (G)RH and Montgomery's pair correlation conjecture imply SOC?
Would a proof of both (G)RH and Montgomery's pair correlation conjecture imply SOC?
It seems, judging by the abstract of a 2002 paper of Ram Murty and a possibly Romanian co-author published on www....
- 6,984