Prime numbers, Diophantine equations, analytic number theory, algebraic number theory, arithmetic geometry, Galois theory, transcendental number theory, continued fractions

learn more… | top users | synonyms (1)

3
votes
1answer
139 views

Normality property of powers of integers?

Inspired by this question, is there some conjecture stating that $$ \limsup_{n \to \infty} \frac{d_j(2^n)}{dc(2^n)} = \frac{1}{10} $$ where $d_j(m)$ counts the number of $j$s in the digits of $m$, and ...
11
votes
1answer
235 views

Cantor set intersecting a geometric sequence

I was working on a problem involving finding all points in the intersection of the Cantor set $C$ and the geometric sequence $\{ (2/3)^i \}_{i=1}^\infty$. The only points I have in this intersection ...
30
votes
3answers
2k views

Fixed points of $x\mapsto 2^{2^{2^{2^x}}} \mod p$

Let $p$ be a prime. For how many elements $x$ of $\{0,1,\dotsc,p-1\}$ can it be the case that $$2^{2^{2^{2^x}}} = x \mod p?$$ In particular, can you find a simple proof (or, even better, several ...
5
votes
2answers
216 views

Absolutely irreducible p-adic representation of the absolute Galois group of Q_p

Let $p$ be a prime number, $\mathbb{Q}_p$ the field of $p$-adic numbers, $G_p$ the absolute Galois group of $\mathbb{Q}_p$ and $V$ a finite dimensional vector space over $\mathbb{Q}_p$. Assume we are ...
9
votes
1answer
303 views

Primes dividing $2^a+2^b-1$

From Fermat's little theorem we know that every odd prime $p$ divides $2^a-1$ with $a=p-1$. Is it possible to prove that there are infinitely many primes not dividing $2^a+2^b-1$? (With ...
0
votes
0answers
74 views

Mellin transform of time-shifted function

The Mellin transform of a function $f(x)$ can be written as $$ \mathcal M[f(x);z]=\int_0^\infty f(x)x^{z-1} dx $$ Is there a simple expression for the Mellin transform of the function $f(x-x_0)$? ...
5
votes
1answer
301 views

Easiest way to distinguish $E_8 \oplus E_8$ from $E_{16}$

For $n$ an integer divisible by $8$, let me denote by $E_n$ the "usual" even non-degenerate positive definite integral symmetric bilinear form over $\mathbf Z^n$. It is well known that in dimension ...
5
votes
0answers
207 views

On simple normality to co-prime bases

Question : Do there exist infinitely many rational numbers $0\lt p\lt 1$ which are simply normal to two co-prime bases? How about three or more co-prime bases? Remark : This question has been ...
-4
votes
1answer
151 views

A general question on nonnegative integer sequence [closed]

Let $A=\{x\ |\ x\in\mathbb Z_{\ge 0},\ x\ $ with some conditions$\ \}$. Let $B=\mathbb Z_{\ge 0}-A$. Define $\ 2A= \{a+b : a \in A,\ b \in A\}$. Define $\ 2B=\{a+b : a \in B,\ b \in B\}$. Then the set ...
7
votes
1answer
257 views

Fast quadratic norm algorithms

Given rational numbers $a$ and $b$, what is the fastest way to determine whether there are any rational solutions to $a=x^2+by^2$? I am interested in the case where the numerator and denominator of ...
4
votes
3answers
384 views

Class number for binary quadratic forms discriminant $\Delta$ to class number $\mathbb Q(\sqrt \Delta)$

Jyrki Lahtonen has suggested I write a blog post relating binary quadratic forms to quadratic field class numbers, ...
7
votes
4answers
1k views

Arbitrarily long arithmetic progressions

Are there arbitrarily long arithmetic progressions in which all the prime factors of all the terms are at most $N$, for some $N$? Assume all the terms are positive and the sequence of terms is ...
1
vote
1answer
150 views

The Chebotarev Density Theorem and the representation of infinitely many numbers by forms

Let $ax^{2}+bxy+cy^{2}$ be a primitive positive definite quadratic form of discriminant $\Delta<0$. It is well known that $ax^{2}+bxy+cy^{2}$ represents infinitely many prime numbers. One of the ...
5
votes
2answers
173 views

Relationship of Euler product to coprimality densities for arbitrary sets of primes

Continuing the curiosity of my last couple questions: Is it the case that for every set of primes $F$, the asymptotic density of the integers coprime to all of $F$ is $\displaystyle \prod_{p \in F} (1 ...
2
votes
1answer
310 views

Finding a suitable number

Let $n,m$ be two positive integers. By $r_n$ we denote the largest prime not exceeding $n$. If $r_n\leq m\leq n$ and $q$ is the largest prime factor of $n!/m!$ such that $q\geq 17$ and $q\geq n-m+3$, ...
18
votes
3answers
598 views

Number of primitive $n$th roots with positive versus negative real parts

Does anyone know a reference to the following results, which I can prove, but I suspect may be known. Let $R(n)$ denote the number of primitive $n$th roots of unity with positive real part, and $L(n)$ ...
0
votes
1answer
107 views

Number of products of distinct primes lying in an interval

Let $X, Y$ be positive real numbers, and let $p_1, ... p_n$ be the primes less than $Y$. How many subsets $S$ of the integers from 1 to $n$ are there such that the product of the $p_i$'s with $i$ in ...
2
votes
0answers
155 views

Arithmetical properties of certain recurrence relations

Consider the following recurrence relation: $$(4i+6j+1)(2i+3j)a_{i,j}=3j a_{i+1,j-1}-2i a_{i-1,j}+32i(i-1) a_{i-2,j+1}, i\ge0, j\ge0,$$ $$a_{0,0}=1.$$ This equation appeared in the article ...
1
vote
2answers
212 views

Consecutive primes versus prime twins

First a warm-up. Let $\ V\ $ be an arbitrary set of odd natural numbers. Let $\ S(V)\ $ be the generated multiplicative semi-group. What are the necessary and/or sufficient conditions on $\ V\ $ for ...
1
vote
0answers
107 views

Order of individual Fourier coefficient of a Maass form

Let $D$ be a definite quaternion division algebra over $\mathbb{Q}$ and $\mathcal{O}$ be an Eichler order of $D$. Let $F$ be a Maass form in $L^2(PGL_2(\mathcal{O})\backslash ...
1
vote
0answers
153 views

Unique factorization in a quadratic extension of $Z_p$ [closed]

Let $\mathbf{Z}_{(p)}$ denote the ring of all rational numbers whose denominators in lowest terms are not divisible by the integer prime $p$. (This is normally described as the localization at $p$.) ...
24
votes
0answers
324 views

Degree 17 number fields ramified only at 2

The number $17$ is the smallest odd number that occurs as the degree of a number field $K/\mathbb{Q}$ for which the only finite prime that ramifies is $2$. The non-existence for $n < 17$ follows ...
6
votes
5answers
1k views

Optical methods for number theory?

I found a paper: 'A New Method of Finding the Distribution of Prime Number', saying We stack discs and annuluses with certain rules then turn on the light to illuminate. The projection of ...
8
votes
1answer
216 views

Overconvergent cohomology and overconvergent modular forms

I've been reading a preprint by David Hansen (with appendix by James Newton) called Universal eigenvarieties, trianguline Galois representations and p-adic Langlands functoriality. In it he talks ...
15
votes
0answers
284 views

$\zeta(n)$ as a mixed Tate motive

I am trying to understand why there exists, for each $n \geq 2$, a mixed Tate motive $M$ over $\mathbb{Q}$ such that $M \in Ext^1_{MT(\mathbb{Q})}(\mathbb{Q}(0), \mathbb{Q}(n))$ and $\zeta(n)$, ...
10
votes
1answer
240 views

Probability that $n$ is coprime to both $m$ and $m+1$

It is well known that the set $\{(n,m) \in \Bbb N^2 : \gcd(n,m) = 1\}$ of coprime integers has a natural density of $\zeta(2)^{-1}$ in $\Bbb N^2$. It seems reasonable to think that the density of the ...
22
votes
1answer
797 views

Is the following sum irrational?

Is the following sum irrational? $$S = \displaystyle \sum_{n \text{ squarefree}, n \geq 1} \frac{1}{n^3}$$ The sum clearly converges, so it is bounded above by $\zeta(3) = \displaystyle \sum_{n \geq ...
0
votes
1answer
277 views

What is a well-known formula of the generalized Hardy Z-function?

Q: What is a well-known formula of the generalized Hardy Z-function?? $\arg_0(z)=\frac{\log(z)-\log(\overline{z})}{2i}$ $a_{k,j}=\frac{1-\chi_{k,j}(-1)}{2}$ ...
6
votes
1answer
342 views

Elliptic curve and Galois representation

For an elliptic curve $E$ over ${\Bbb{Q}}$, let us consider Serre's mod $l$ representation by $\rho_{E,l} \colon {\mathrm{Gal}}({\overline{\Bbb{Q}}}/{\Bbb{Q}}) \to {\mathrm{Aut}}(\phantom{}_lE) = ...
4
votes
1answer
170 views

looking for reference on dihedral, tetrahedral, or octahedral forms

I am looking for a reference on dihedral, tetrahedral, or octahedral forms. As far as I read, they are some cuspidal automorphic forms on $GL(2)$ induced from $GL(1)$. Dihedral is from $GL(1)/K$ to ...
13
votes
2answers
460 views

Are there any simple, interesting consequences to motivate the local Langlands correspondence?

Let's pretend that we know local Langlands at a fairly high level of generality... i.e. we know something along the lines of: Let $G=\mathbf{G}(F)$ be the group of $F$-points of a connected ...
2
votes
0answers
189 views

vanishing of étale cohomology of affine surface

Let $U$ be an affine smooth surface over an algebraic closure of a finite field. Let $\mathscr{A}/U$ be an Abelian scheme and $\ell \neq \mathrm{char}(k)$ be prime. Are there vanishing results for ...
14
votes
0answers
648 views

Is there an infinite field of characteristic 2 whose multiplicative group is torsion free and (direct-sum) indecomposable?

Let $F$ be a infinite field of characteristic 2 whose multiplicative group $F^*$ is torsion free. I would like to conclude that $F^*$ is decomposable or find an example where $F^*$ is indecomposable. ...
5
votes
1answer
153 views

Rank four quadratic Form with non trivial discriminant in I(k)

Im sure this is a beginners question. Let $k$ be a field and $I(k)$ the fundamental ideal in the Witt-ring W(k). The Arason-Pfister-Hauptsatz states: "If $\varphi$ is any anisotropic class in ...
4
votes
1answer
144 views

Log weight removal in general (weaker) prime number theorem

Let $a_n$ be a sequence of non-negative numbers. Assume that $$\limsup _{X\to \infty}\frac{\sum_{p\leq X} a_p\log p}{X}\leq 1.$$ Can we prove that $$\limsup _{X\to \infty}\frac{\sum_{p\leq X} ...
3
votes
1answer
189 views

How does associativity get twisted by elements of $H^3(G)$?

In Braided Monoidal Categories by Joyal and Street, §6 a monoidal category is $V =T(G,M,h)$ built using a recipe: objects are are elements of $G$ ✓ $V_0(x,y) = M$ if $( x=y)$ or else ...
2
votes
2answers
182 views

quadratic residue difference set

Let $N=pq$ where $p$ and $q$ are primes of the form $4k+1$. Let $\mathbb{Z}_N$ be the set of integers modulo $N$ and $\mathbb{Z}_N^*$ be the units in $\mathbb{Z}_N$. Let $QR$ be the quadratic ...
3
votes
1answer
123 views

A question on the big-O value of the complex integral especially in the number theory

My question is quite simple and elementary. Let $A(x)=\sum_{1}^{x}a(n)$ and $\alpha(s)=\sum_{1}^{\infty}a(n)n^{-s}$. Then, as we know, $$ A(x)= ...
3
votes
1answer
238 views

Is there a nice way to write the generating function obtained by taking the quadratic coefficients of another one?

Suppose that you have a generating function $$ f(q) = \sum_{k=0}^\infty a_k q^k $$ It's not too hard to obtain the generating function $$ f_{n,m}(q) = \sum_{k=0}^\infty a_{nk + m}q^k $$ by taking a ...
4
votes
1answer
164 views

Prime residua races and two views on primes

Let $\ a>1\ \ r\ \ k\ $ be arbitrary natural numbers such that $\ a\ r\ $ are relatively prime. The natural conjecture below, is it known?, is probably true in full generality: Q1. There exists a ...
4
votes
1answer
456 views

Hyperrectangles with integer diagonals

What is the largest value of $n$ for which there exists $n$ (not necessarily distinct) complete squares of natural numbers such that the sum of every subset of it is also a complete square? ( For ...
2
votes
1answer
230 views

How does this sequence grow

Let $a(n)$ be the number of solutions of the equation $a^2+b^2\equiv -1 \pmod {p_n}$, where $p_n$ is the n-th prime and $0\le a \le b \le \frac{p_n-1}2$. Is the sequence $a(1),a(2),a(3),\dots$ ...
23
votes
1answer
514 views

integers which are sums of binomial coefficients: $\sum_i {n \choose k_i}$

Let $n$ be an integer. For $S$ a subset of $\{0,\dots,n\}$, define $$m(S) = \sum_{k \in S} {n \choose k}.$$ Let $M_n$ be the set of integers of the form $m(S)$ for all sets $S \subset \{0,\dots,n\}$. ...
11
votes
1answer
392 views

On the order of finite simple groups

About the order of finite simple groups there exists a very interesting result which stated as follows: Let $G$ be an non-solvable simple group of order $g$. If $p\mid g$, where $p>g^{1\over 3}$ ...
7
votes
0answers
147 views

In which orders can the numbers of prime factors of consecutive integers be?

Let $\omega(m)$ be the number of distinct prime divisors of a positive integer $m>1$. I am interested in the relative orders in which the numbers $\omega(n+1),...,\omega(n+k)$ can occur. Given ...
2
votes
0answers
142 views

Can the affine sieve be used to sieve for $k$-free values?

The affine sieve, developed initially by Bourgain-Gamburd-Sarnak in the paper "Affine linear sieve, expanders, and sum-product" published in Inventiones Mathematicae in 2010, deals generally with the ...
10
votes
3answers
554 views

Can we get good rational approximations in all residue classes?

The classic Hurwitz theorem for rational approximations (in simplest form; the constant can of course be improved) gives infinitely many approximations $\frac mn$ to an irrational $\alpha$ with ...
7
votes
1answer
237 views

Is the adjoint L-function on GL(m) holomorphic?

Let $\pi$ be an automorphic representation on GL($m$)/$\mathbb{Q}$. Define $$L(s,\pi,Ad):=\frac{L(s,\pi\times\overline{\pi})}{\zeta(s)}.$$ This is an L-function with euler products of degree $m^2-1$. ...
5
votes
0answers
206 views

On the sum of consecutive primes and product of first and last

Lets consider the sequence of consecutive prime numbers $p_1=2 , p_2=3 ,p_4=5 , \cdots$ . $(p_n,p_{j})$ is to be called good prime pair if $$\sum_{i =n }^{j}p_i= p_n p_{j}$$ Meaning the sum of set of ...
4
votes
1answer
429 views

A weak version of Bass' conjecture

Let $A$ be a finitely generated $\mathbb{Z}$-algebra which is a UFD. Then (a special case of) the Bass conjecture states that $K_0(A)$ is a finitely generated abelian group. As far as I am aware, this ...