**1**

vote

**0**answers

75 views

### Bounded discrepancy multiplicative functions

A rather specific question, concerning the second remark of Tao in
...

**3**

votes

**1**answer

133 views

### Fourier Transform of Eisenstein Series - Sum of Divisors or Ramanujan Sums?

I am stuck on this computation of the Fourier coefficients of Eisenstein series. For $\Gamma = SL(2, \mathbb{Z})$ and $\Gamma_\infty = \left\{ \left( \begin{array}{cc} 1 & m \\ 0 & 1 ...

**11**

votes

**0**answers

233 views

### Must the sum of the digits of $n^k$ decrease infinitely often, for $n,k\in\mathbb{N}$ and $n$ not a power of $10$?

This is a (rephrased) repost of a question I asked on MSE about 6 months ago, but didn't receive a definitive answer.
Let $S(n)$ be the sum of the digits of $n$ (in base $10$), is it true that for ...

**0**

votes

**0**answers

55 views

### Finite Ramanujan expansions over a finite field

I'm wondering if we could have an analogy in finite fields. After all, the Discrete Fourier Transform (DFT) has been generalized to finite fields as well (with essentially identical properties as in ...

**12**

votes

**2**answers

461 views

### Infinitely many irreducible polynomials of the form f(X^2) + X mod 3?

Are there infinitely many polynomials $f \in \mathbb{F}_3[X]$ for which $f(X^2) + X$ is irreducible?

**5**

votes

**0**answers

189 views

### Genus of $k(T)$ is $0$ without using Riemann-Roch

Let $F$ be a function field with one variable with total constant field $k$, and let $X$ be the set of all places of $F$. How do I show that the genus of $k(T)$ is $0$ without using Riemann-Roch? Is ...

**2**

votes

**1**answer

248 views

### Best known zero-free region for Dirichlet $L$-functions in the $q$-aspect

It is classical that there is a $c > 0$ such that for all Dirichlet characters $\chi$ except for at most one exception, one has that $L(s,\chi)$ has no zeroes for $\sigma > 1 - \frac{c}{\log{q} ...

**6**

votes

**1**answer

267 views

### Can one define “Ramanujan Summation” over algebraic number fields?

With some trepidation, I ask to "evaluate" badly divergent sums. Generalizing $\sum n = -\tfrac{1}{12}$ what would be the value of this sum over $\mathbb{Z}[i]$?
$$\sum_{m,n \geq 0} (m+in) ...

**0**

votes

**0**answers

100 views

### A (weak?) lower bound on primes in arithmetic progressions in short intervals

I was wondering if the following could be established by the methods that go into e.g. Linnik:
$\textbf{Claim. } \text{Let $\chi$ be a nonprincipal quadratic character of conductor $q$, and (e.g.) $c ...

**1**

vote

**1**answer

98 views

### On the upper Banach density of the set of positive integers whose base-$b$ representation misses at least one prescribed digit

Let $b$ be a fixed integer $\ge 2$ and $A$ a proper subset of $\{0, \ldots, b-1\}$. Then define $X$ to be the set of all positive integers whose base-$b$ representation consists only of digits from ...

**7**

votes

**1**answer

281 views

### Who was/were the first to note that if $\sum_{x \in X} \frac{1}{x} < \infty$ then the natural density of $X$ is zero?

It is a result from additive-theory folklore that the natural density of a set $X$ of positive integers such that $\sum_{x \in X} \frac{1}{x} < \infty$ is zero. This is reproved, e.g., in T. ...

**2**

votes

**2**answers

220 views

### Approximations to the Mertens function

The Mertens function $M(x)$ is the summatory Möbius function i.e.
$$M(x) = \sum_{k=1}^{x} \mu (k)$$
The conjecture that $M(x) = \mathcal{O}\left(x^{\frac{1}{2} + \epsilon}\right)$ was shown to be ...

**1**

vote

**0**answers

115 views

### Continued fractions and modular forms

Let $q=e^{2\pi it}$. If $u(t)$ is Ramanujan's octic continued fraction, is it true that the generator of the octahedral group can be expressed as a continued fraction of the form
$$
...

**3**

votes

**0**answers

164 views

### Ramanujan conjecture and covariance of Kloosterman sums

There has been interest in moments and covariances/correlations of Kloosterman sums $S(m,n,c)=\sum_{ad=1\ (\text{mod}\ c)} e(\frac{ma+nd}{c})$ like
$\sum_{m\in\mathbb F_c} S(m,n,c)^k$, ...

**5**

votes

**0**answers

139 views

### Explicit bounds for exceptional zeros and/or $L(1,\chi)$ for real $\chi$

I would like to have an explicit upper bound (that is, one with explicit constants) for a possible real zero $\beta$ for $L(1,\chi)$ for real Dirichlet characters $\chi$. I need such a bound for real ...

**15**

votes

**1**answer

882 views

### Why is there a $\sqrt{5}$ in Hurwitz's Theorem?

Hurwitz's theorem is an extension of Minkowski's Theorem and deals with rational approximations to irrational numbers. The theorem states:
For every irrational number $\alpha$, there are infinitely ...

**0**

votes

**0**answers

51 views

### lattice basis reduction of the orbit of a rational vector on the torus

LEt $v=(p_1/q,...,p_n/q)$ be a vector of the torus $\mathbb{T}^n$, such that for any $i$, $p_i$ and $q$ are relatively prime. Let $L= \{ kv \mod \mathbb{T}^n , k=0,...,q-1 \}$.
What is the lattice ...

**3**

votes

**1**answer

197 views

### Least prime for which a square-free integer is a non-residue

Suppose $a$ is a square-free integer and $\left(\frac{a}{p}\right)=1$ for the primes $p\leq k$. I'll call $a$ a quasi-square of order $k$. What I am interested in is the maximum value of $k$ in terms ...

**3**

votes

**0**answers

74 views

### Representations of $\mathbb{H}^{\times}$ and $\mathbb{H}^{\times}/\mathbb{R}^{\times}$

In an attempt to recapture Eichler's theta correspondence I have hit a stumbling block.
Let $D$ be a quaternion algebra over $\mathbb{Q}$, ramified at $p,\infty$. Also let $V_j = ...

**4**

votes

**1**answer

121 views

### Relations between modular functions of certain $q$-continued fractions

Given the j-function $j:=j(\tau)$, and $q=e^{2\pi i\tau} = \exp(2\pi i\tau)$ where, for convenience, we set $\tau=\sqrt{-n}$.
I. $\frac{A_2(q)}{A_1(q)} = \text{q-cfrac}:\;$ Icosahedral group
...

**2**

votes

**1**answer

127 views

### Proving inequation with ceilings in Finite Field of characteristic $p$

Take $ui = pt_i +j_i$ where $p$ is a prime number and $u(p-r) \equiv 1 $ $(\mbox{mod p})$ for positive integers $1 \le i, r, j_i\le p-1$ and $t_i \ge 0$. How can I prove that:
\begin{equation}
...

**4**

votes

**0**answers

164 views

### Are these two $q$-continued fractions equivalent?

In this MSE post, Nicco Mnisi defined a particular $q$-continued fraction of order $12$. More generally, define the cfrac found in Ramanujan's Notebooks, Vol III, Chap. 16, page 24, where $|ab|<1$ ...

**2**

votes

**0**answers

194 views

### Does knowing $g, g^r, g^{r^2}, g^{r^3}, \dotsc$ sometimes offer a significant advantage in finding $r$?

Is there a cyclic group $\mathcal G$ with generator $g$ for which the discrete log problem is assumed to be hard, but knowing $g, g^r, g^{r^2}, g^{r^3}, \dotsc$ for random $r$ makes finding $r$ easy?
...

**0**

votes

**0**answers

81 views

### Bound of Chebyshev function and zeros of zeta function

It is an elementary argument (such as in Multiplicative Number Theory, section 18) that, if the Chebyshev's function $f(x) = \sum_{n \le x} \Lambda(x) = x + O(x^\alpha)$ for some $\alpha < 1$, then ...

**9**

votes

**1**answer

419 views

### Uniformly small sums of roots of unity

I have considerable numerical evidence that
for all $0\leq k\leq{{n-1}\over 2}$ ($n$ odd) there exists a subset $
S_k$ of {1,2,...,n} of cardinality $k$
such that the modulus square of ...

**5**

votes

**0**answers

129 views

### Radical of a polynomial values

It has been observed by Langevin and Elkies that the following holds:
Assume that the $ABC$- conjecture is true. Suppose that $f(x)\in\mathbb{Z}[x]$ has no repeated roots. Fix $\varepsilon >0.$ ...

**3**

votes

**1**answer

178 views

### Existence of Hecke operators with distinct eigenvalues?

Consider the space of modular forms $M_k(N)$. Any modular form $f \in M_k(N)$ is determined by a finite number of Fourier coefficients (e.g., Sturm's bound), thus there is a finite set of Hecke ...

**3**

votes

**0**answers

128 views

### Goldbach's problem in algebraic number fields [duplicate]

Are there any results on the representation of numbers in algebraic number fields as the sum of primes in the ring of integers in that field? There are some results for Waring's problem in other ...

**11**

votes

**2**answers

428 views

### Easiest way to see that $\zeta_{\mathbb{Z}[i]}(s) = \zeta(s) L(s, \chi)$?

As the question suggests, what is the easiest way to see that$$\zeta_{\mathbb{Z}[i]}(s) = \zeta(s)L(s, \chi)?$$Here, $\chi$ is the homomorphism $(\mathbb{Z}/4\mathbb{Z})^\times \to \mathbb{C}^\times$ ...

**7**

votes

**2**answers

387 views

### Upper bound for number of prime numbers in a range

Theorem 3.2 in http://arxiv.org/pdf/1405.2593.pdf shows that for any $x$ there are $\gg x\exp(-\sqrt{\log x})$ integers $x_0 \in [x; 2x]$ such that $\pi(x_0 + \log x) - \pi(x_0) \gg \log\log x$.
Is ...

**4**

votes

**1**answer

86 views

### Analogue of Dirichlet $L$-function for $\mathbb{F}_q[T]$, does $L_c(s, \chi)$ necessarily equal $1$?

Consider an analogue of Dirichlet $L$-function for $\mathbb{F}_q[T]$. Let $g \in \mathbb{F}_q[T]$, $g \neq 0$, let $\chi: (\mathbb{F}_q[T]/(g))^\times \to \mathbb{C}^\times$ be a homomorphism, let $c ...

**2**

votes

**0**answers

100 views

### Twisting by a multiplicative Character in Katz, Perversity and Exponential sums

Let $C(x_1,\ldots,x_n)$ be a nonsigular cubic form with integral coefficients.
In his Proof that $C$ fulfills the Hasse-Principle, if $n\geq 9$, Hooley used the following estimate that was provided ...

**6**

votes

**0**answers

95 views

### $F[[T]] \times F[[1/T]]$ fundamental domain, show compactness

Let $p$ be a prime number. What is the easiest way to see that $(\mathbb{F}_p((T)) \times \mathbb{F}_p((1/T)))/\mathbb{F}_p[T, 1/T]$ is compact? Here $\mathbb{F}_p[T, 1/T]$ is embedded in ...

**3**

votes

**1**answer

232 views

### Volume of arithmetic quotients of symmetric spaces

Now let $\textbf{G}$ be some connected semisimple linear algebraic group over a number field $F$. Let $G_{\infty}$ be $\textbf{G}(\mathbb{R}\otimes_{\mathbb{Q}} F)$. Let $K_{\infty}$ be a maximal ...

**19**

votes

**2**answers

1k views

### History of Geometric Analogies in Number Theory

My question, put simply, is: When did mathematicians/number theorists begin viewing questions in number theory through a geometric lens?
For example, was it before Grothendieck introduced schemes to ...

**2**

votes

**2**answers

217 views

### binomial/factorial identity mod p

In trying to determine the spectrum of a well-known ergodic transformation, I came up with the following useful (for me) result.
Let $p$ be a prime and $a$ a positive integer. Then for $M$ a positive ...

**4**

votes

**2**answers

549 views

### Number of prime numbers in a range

Denote by $A_n$ the number of prime numbers between $n$ and $n + \log n$.
Is it true that $A_n < const$?
UPD: Is it true that $A_n > \log \log n$ (or something another) for infinite number ...

**3**

votes

**1**answer

126 views

### gamma-factor of a primitive element of the Selberg class

Suppose $F$ is a primitive element of the Selberg class and $\displaystyle{\prod_{j=1}^{r}\Gamma(\lambda_{j}s+\mu_{j})}$ with $r>1$ the product of Gamma functions appearing in the gamma factor ...

**3**

votes

**1**answer

174 views

### When are the powers of 2 sum-free mod n?

I've encountered the following question in my research:
Let $A$ be a subset of
$\mathbb{Z}/n\mathbb{Z}$. Let me call $A$ "sum-free" if there is no solution to
$x+y=z$ for $x,y,z \in A$ with distinct ...

**1**

vote

**0**answers

88 views

### Bound on $g(n+1)/g(n)$ for Landau's function

I have read that for the Landau function $g(n)$ (http://mathworld.wolfram.com/LandausFunction.html), one knows that
$\lim_{n \rightarrow \infty} g(n+1)/g(n) = 1$
(stated, but not proved in "On ...

**2**

votes

**2**answers

181 views

### Simultaneous lcms

Suppose that we have some finite number of $k$-tuples then we define the lcm of two of these tuples to be the tuple of lcms of the co-ordinates. E.g. $[(9, 10), (5, 18)] = ([9, 5], [10, 18]) = (45, ...

**0**

votes

**1**answer

155 views

### A conjecture on the prime counting function

I was thinking about the Second Hardy-Littlewood conjecture for quite sometime (some of my posts are related to this). In one of my earlier post I conjectured that the inequality ($\pi(x)$ denotes the ...

**2**

votes

**1**answer

141 views

### isogeny clases of CM abelian varieties

Let $A$ be an abelian variety defined over $\overline{\mathbb{Q}}$ and with complex multiplication by a CM field $K$. Looking at the action of $K$ on $H^0(A, \Omega^1_A)$ one gets a CM type of $K$, ...

**1**

vote

**1**answer

81 views

### Differences of consecutive ordered fractional parts

Let $r$ and $h$ be a real numbers and $n>0$. Write the fractional parts $\{k*r+h\}$, for $k = 1,2, . . . n$, in increasing order as $$ a_1 < a_2 < \cdots < a_n.$$ Let $D_n$ be the set of ...

**5**

votes

**2**answers

190 views

### PSL(2,p) as quotient of triangle groups

As a by-product of some Magma computations, I've observed that, for each prime $p$
such that ${\rm PSL}(2,\mathbb{F}_p)$ can be a quotient of the $(3,3,4)$-triangle group
(i.e. $p \equiv \pm 1 ...

**16**

votes

**0**answers

295 views

### Need explicit formula for certain “$q$-numbers” involving gcd's

The question is motivated by yet another possible approach to a combinatorial problem formulated previously in "Special" meanders. I'm not giving details of the connection as I believe the ...

**7**

votes

**2**answers

276 views

### When is a sequence the sum of two Beatty sequences?

In other words, given a sequence $(s_n)$, how can we tell if there exist irrationals $u>1$ and $v>1$ such that
$$s_n = \lfloor un\rfloor + \lfloor vn\rfloor$$
for every positive integer $n$?
...

**10**

votes

**0**answers

427 views

### One-to-one correspondance between zeta zeros and the prime powers? [closed]

This question is highly speculative, but I would really appreciate some insight into the problem. Previously asked on MSE without answer here.
I have noticed an interesting property related to the ...

**4**

votes

**0**answers

344 views

### Fermat's Last Theorem in $\mathbb{Z}/n\mathbb{Z}$

Let $\mathbb{N}$ denote the set of positive integers.
We define a relation $R\subseteq \mathbb{N}^3$ by
$$ R = \{(x,y,z) \in \mathbb{N}^3: \exists n\in \mathbb{N}: 1< n \leq \max\{x,y,z\} \land ...

**3**

votes

**2**answers

167 views

### Transitivity of discriminant for flat algebras

Sorry if the question doesn't feed this site, I'm reposting it from MSE. Nobody answered it there and I couldn't find the proof in general case(whenever it was mentioned the proof was referred to as a ...