# Tagged Questions

**3**

votes

**1**answer

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

**1**answer

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

**3**answers

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

**2**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**3**answers

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

**4**answers

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

**1**answer

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

**2**answers

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

**1**answer

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

**3**answers

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

**1**answer

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

**0**answers

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

**2**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**5**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**2**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**2**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**3**answers

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

**1**answer

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

**0**answers

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

**1**answer

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 ...