Skip to main content

All Questions

Filter by
Sorted by
Tagged with
3 votes
0 answers
127 views

Lemma in Roth's Theorem for Primes

I am reading Ben Green's paper Roth's Theorem in the Primes and I don't follow the proof of Lemma 6.1. I am not sure where the fact there are no more than $n^{3/4}$ elements $x\in A_0$ with $x\leq n^{...
Laurence PW's user avatar
2 votes
0 answers
95 views

Uncertainty principle: minimize $\int_{-\infty}^\infty |t| |\widehat{f}(t)|^2 dt$ for $f$ of compact support

This is a question of uncertainty-principle type stemming from Eigenvalue of a convolution and a restriction? Let $f:\mathbb{R}\to \mathbb{R}$ be even, absolutely continuous and supported in $[-\frac{...
H A Helfgott's user avatar
  • 20.2k
6 votes
1 answer
2k views

Difficulty with "A new elementary proof of the Prime Number Theorem" by Richter

I'm studying Richter's "A new elementary proof of the Prime Number Theorem" paper, and I'm finding some problems understanding some parts of it. For example, I don't see how to get, in Lemma ...
rr_math's user avatar
  • 63
1 vote
0 answers
111 views

Whether or not the root number of GL$_3\times$GL$_2$ $L$-function $L(s, F \otimes g)$ contains the coefficients $\lambda_g(n)$ of $g$?

$\DeclareMathOperator\GL{GL}\DeclareMathOperator\SL{SL}$Let $p$ and $q$ be two distinct primes. Let $$\Gamma_0(p)= \left\{ g\in \GL_3(\mathbb{Z}):g \equiv \left(\begin{matrix} \ast &\ast&\...
hofnumber's user avatar
-3 votes
0 answers
70 views

Is the upper bound on $H_{1}$ a decreasing function of the proportion of critical zeros of Zeta?

This question stems from https://arxiv.org/abs/2411.19762 and the numerical observation that the best unconditional upper bound for $H_{1}:=\lim\inf_{n\to\infty}p_{n+1}-p_{n}$, namely $H_{1}^{\flat}=...
Sylvain JULIEN's user avatar
3 votes
0 answers
239 views

Multiplicative functions and Dirichlet characters

I am studying Dirichlet characters and modular functions as part of my research, specifically working through concepts found in the paper "An explicit hybrid estimate for $L(1/2 + it)$" by ...
Fatima Majeed's user avatar
1 vote
1 answer
186 views

Existence of Finite Amicable Groups

I'm interested in exploring the concept of "amicable groups" as follows: Definition. Two finite groups $G$ and $H$ are called amicable groups if: $G$ is the direct sum of proper subgroups ...
Maziar Esfahanian's user avatar
4 votes
0 answers
513 views

Deriving inequality (8.9) from (8.8), in Iwaniec–Kowalski “Analytic Number Theory”

I am working through the problem presented in Chapter 8 of Iwaniec and Kowalski’s Analytic Number Theory (specifically inequalities (8.8) and (8.9)) and I am struggling with the transition between ...
Fatima Majeed's user avatar
3 votes
0 answers
190 views

Voronoi formula on $\mathrm{GL}_4$ in the level aspect with ramification

$\DeclareMathOperator\GL{GL}$Let $f$ be an automorphic form on $\GL_3$ for $\Gamma_0(p)$ with $p$ being a prime (see Bump or Goldfeld's books for definitions). Recall that, in this paper-"The ...
hofnumber's user avatar
-3 votes
1 answer
194 views

Bounding a number-theoretic integral

Find a good upper bound on $$\int_1^T\frac{\zeta'(s)}{\zeta(s)\zeta(1-s)}X^sdt,$$ where $s=c+it$ for a constant $c>1$ and $X>0$ is a parameter. If needed, we can assume RH. My attempt here is ...
charlie_beck's user avatar
2 votes
0 answers
187 views

Three optimization problems of uncertainty principle/Paley-Wiener type

Let $\phi:\mathbb{R}\to\mathbb{R}$ be an even function with support on $[-1,1]$. Assume that it is in $L^1\cap L^2$ and that its Fourier transform is also in $L^1\cap L^2$. Assume as well that $|\phi|...
H A Helfgott's user avatar
  • 20.2k
3 votes
2 answers
359 views

Largest prime factors of integer polynomials

I have a question in analytic number theory which is closely related to the open problem (Bunyakovsky conjecture and more generally, Schinzel's hypothesis H) that asks you if, any irreducible ...
James Moriarty's user avatar
1 vote
2 answers
225 views

Bounds of zeta function near $\Re(s)=1$

Richert proved in https://link.springer.com/article/10.1007/BF01399533 that $$ \zeta(s) =O\left( |\Im(s)|^{100(1-\Re(s))^{3/2}} (\log |\Im(s)|)^{2/3}\right)$$ uniformly in the region $\Re(s)\in [1/2,1]...
Dr. Pi's user avatar
  • 3,062
3 votes
1 answer
596 views

Primes which are safe and Sophie Germain

If $p$ is a Sophie Germain prime then $2p+1$ is safe prime. If $2p+1$ is safe prime then $p$ is Sophie Germain prime. What is their conjectured distribution of primes $p$ which are both Sophie ...
Turbo's user avatar
  • 13.9k
3 votes
0 answers
192 views

What smoothing to use for PNT-like results?

Consider a Dirichlet series $\sum_n a_n n^{-s}$ with desirable analytic properties (e.g., analytic extension to $\Re s>0$); one example would be $a_n=\mu(n)$. Say we want to estimate $\sum_{n\leq x}...
H A Helfgott's user avatar
  • 20.2k
4 votes
0 answers
151 views

Identities to go from $\sum_{n\leq x} \mu(n) \log \frac{x}{n}$ to $M(x) = \sum_{n\leq x} \mu(n)$?

Let $\mu$ be the Möbius function. Say we have a bound on $\check{M}(x) = \sum_{n\leq x} \mu(n) \log \frac{x}{n}$ of the form $|\check{M}(x)|\leq \epsilon x$ for all $x\geq x_0$. It is then easy to ...
H A Helfgott's user avatar
  • 20.2k
4 votes
1 answer
255 views

First occurrence of formula for $\sum_{n\leq x} \mu(n) \log n$ in terms of $\psi(y)-\lfloor y\rfloor$?

The identity contained in the last two displayed equations in the following passage (from page 110 in Ayoub's An Introduction to the Analytic Theory of Numbers, 1963) gives us right away a simple ...
H A Helfgott's user avatar
  • 20.2k
1 vote
1 answer
229 views

Conjectured error term when counting square-free integers

It is well know that the density of positive square-free integers up to $x$ is asymptotically $x/\zeta(2)$. The error term $$ E(x)=\sum_{1\leq n \leq x } \mu(n)^2 -\frac{x}{\zeta(2)} $$ can easily ...
Dr. Pi's user avatar
  • 3,062
1 vote
1 answer
171 views

Are all integers up to $x$ but possibly $O_{\varepsilon}(x^{\varepsilon})$ the sum of $a$ squares and $b$ primes with $a+b\leq 3$?

This question is related to https://math.stackexchange.com/questions/3710032/conjecture-all-but-21-non-square-integers-are-the-sum-of-a-square-and-a-prime. We know since Lagrange that every natural ...
Sylvain JULIEN's user avatar
5 votes
2 answers
237 views

Residue of Dirichlet series at $s = 1$

Let $(a_n)_{n \ge 1}$ be a sequence of complex numbers, and suppose that the sequence has a well-defined "average", in the sense that $$ \lim_{N \to \infty} \frac{1}{N}\sum_{i = 1}^N a_i = R$...
David Loeffler's user avatar
3 votes
1 answer
177 views

Mellin transform at $0$

Let $f$ be a smooth complex valued function with support on $[0,2]$ and with Mellin transform $\tilde{f}$. Recall that the Mellin transform is defined as $$\tilde{f}(w)=\int_0^{\infty}f(x)x^{w-1}dx.$$ ...
user avatar
6 votes
1 answer
292 views

Prime number theorem via large sieve type sums

We know that the prime number theorem is equivalent to the statement $$ M(x)=\sum_{n\le x}\mu(n)=o(x). $$ By using Ramanujan sums, we can write $M(x)$ as $$ M(x)=\sum_{q\le x}\sum_{\substack{0\lt a\le ...
Itachi's user avatar
  • 178
4 votes
1 answer
213 views

Asymptotic behavior of weighted sums involving the fractional part function

Currently, I am studying the asymptotic behavior of sums of the form \begin{equation}\label{eq1}\tag{1} \sum_{k=1}^{n-1} f(n-k) \left\{ \frac{n}{k} \right\} \end{equation} In this context, based on ...
 Babar's user avatar
  • 611
0 votes
2 answers
223 views

What is the definition of Tr in the context of Hilbert modular forms?

I am currently reading Garrett's book "Holomorphic Hilbert Modular Forms". But I meet trouble at the starting line. Let $F = \mathbb{Q}(\sqrt D)$ be a real quadratic field, $u= a + b\sqrt{D}\...
Misaka 16559's user avatar
4 votes
0 answers
130 views

Gap results for squares times cubes

In studying the distribution of squarefree numbers in short intervals, Filaseta and Trifonov used some ingenious techniques to obtain various upper bounds for the size of the set $$ S(X) = \left\{u\in(...
Joshua Stucky's user avatar
0 votes
0 answers
92 views

Arithmetic properties of exceptional moduli

For a fundamental discriminant $d$, let $\chi_d = \left(\frac{d}{\cdot} \right)$ be the quadratic character associated with the field $\mathbb{Q}(\sqrt{d})$. Consider the associated Dirichlet $L$-...
Stanley Yao Xiao's user avatar
8 votes
1 answer
867 views

Brauer–Siegel's Theorem and application

$\newcommand\underto[1]{\xrightarrow[#1]{}}$Brauer–Siegel's Theorem says that if we consider an infinite sequence of number fields $K_i/\mathbb{Q}$ such that $$\frac{[K_i:\mathbb{Q}]}{\log{|D_i|}}\...
Alphaone's user avatar
  • 103
8 votes
1 answer
366 views

Why do we have fewer distinct Gauss sums over a field of characteristic $2$?

Let $p$ be a prime number and $q$ be a power of $p$. Fix a non-trivial additive character $\psi\colon \mathbb{F}_q\to \mathbb{C}^\times$ and, for each non-trivial multiplicative character $\chi\colon \...
Gabriel's user avatar
  • 711
1 vote
0 answers
107 views

Circle Method applications only for Quadratic & Cubic Form

So I have studied multiple applications of Circle Method. 1- Initially I read about the Classical Hardy Littlewood circle method, where they use generating functions, and determine hte coefficent ...
roasted_cashews's user avatar
2 votes
1 answer
354 views

Problem in Uchida's Theorem

I m studying relative class number of CM fields and i found a very interesting theorem from Kόji Uchida's article: class numbers of imaginary abelian fields (1970) but one argument of the ...
Alphaone's user avatar
  • 103
1 vote
0 answers
108 views

Asymptotics for sums of two sets of positive integers

Assume that $A$ and $B$ are subsets of $\mathbb N$, with counting functions verifying $A(x)\gg x^\alpha$ and $B(x)\gg x^\beta$, with $\alpha+\beta<1$. Let $C=A+B$ and $C(x)$ its counting function. ...
G. Melfi's user avatar
  • 433
1 vote
1 answer
199 views

Weights in the proof of Chen's theorem in Nathanson's "Additive Number Theory The Classical Bases"

I was reading Professor Nathanson's graduate texts in mathematics 164: "Additive Number Theory The Classical Bases" (http://www.alefenu.com/libri/nathansonbases.pdf), and I was wondering if ...
Rick's user avatar
  • 13
6 votes
1 answer
431 views

Asymptotic behavior of partial sums of Dirichlet series

Consider the Dirichlet series: $$\sum_{n \geq 1} \frac{a_n}{n^s} = \frac{\zeta(s+1/3)}{\zeta(s)}$$ where $\zeta(s)$ is the Riemann zeta function. Question: Assuming the Riemann Hypothesis (RH), how ...
 Babar's user avatar
  • 611
3 votes
1 answer
189 views

Brun-Titchmarsh for sum over square divisors

Let $f(n)$ be a nonnegative arithmetic function satisfying $f(p^l) \leq A_1^l$ for all primes $p$, integers $l\geq 1$, and some constant $A_1$; $f(n) \leq A_2 n^\varepsilon$ for all $\varepsilon > ...
Joshua Stucky's user avatar
4 votes
0 answers
266 views

How dense are quotients of smooth numbers?

As usual, call a positive integer $y$-smooth if it has no prime factors greater than $y$. Write $S(x,y)$ for the set of $y$-smooth integers $\leq x$. Write $R(x,y)$ for the set of quotients $\{a/b: a,...
H A Helfgott's user avatar
  • 20.2k
1 vote
0 answers
127 views

Some property of the greatest prime factor

Let $n$ be a positive integer $\geq 2$ et denote by $ P^{+}(n)$ the greatest prime factor of $n$ my question is as follows: If $a$ and $b$ are two numbers, is there any method to express or to bound $...
Khadija Mbarki's user avatar
7 votes
0 answers
270 views

How dense are (very but not extremely) smooth numbers? Can they be found in most (not very) short intervals?

An integer is said to be $y$-smooth if it has no prime factors $>y$. Let $y$ be "medium sized", meaning $(\log x)^{1+\epsilon} < y < \exp((\log x)^{2/3})$ or so. (Why this range of ...
H A Helfgott's user avatar
  • 20.2k
1 vote
1 answer
373 views

$\{ x/p\} $ on average

This is a vague question: Lemma 2.2 of Friedlander and Lagarias' "On the distribution in short intervals of integers having no large prime factor" says that $$\sum _{p\leq w}\left (\{ x/p\} -...
tomos's user avatar
  • 1,381
0 votes
0 answers
81 views

Replacing the sequence in Chowla's conjecture and positiveness of the entropy

For any fixed integer $m>0$ and not-all-even $(a_1,\ldots,a_m)\in\mathbb N^m$, one version of Chowla's conjecture states that $$ \lim_{x\rightarrow\infty}\frac{1}{x}\sum_{n\leq x}\mu(n+1)^{a_1}\...
taylor's user avatar
  • 457
2 votes
1 answer
192 views

Why is $\sum_{n=1}^\infty \frac{\sigma_a(pn)}{n^s}=(1+p^a-p^{a-s}) \zeta(s) \zeta(s-a)$ only when $p$ is a prime number?

I tried to find the summation for $a,b\in N$ and $s>a+1$ $$ \Omega_a(b,s)=\sum_{n=1}^\infty \frac{\sigma_a(bn)}{n^s}$$ where $\sigma_a(n)$ is sum of positive divisors function which defined by $$ \...
Faoler's user avatar
  • 513
11 votes
3 answers
765 views

Uniform distribution of sequence mod 1

Is it known whether "for most $r$" the sequence $$r \cdot 2^k \bmod 1, \qquad k \in \mathbb N $$ is uniformly disributed in $[0,1]$?
Castoro Moro's user avatar
1 vote
0 answers
128 views

On Zudilin's linear forms in $1,\zeta(5)$ and $\zeta(7)$

I am reading an article "Well-poised hypergeometric service for diophantine problems of zeta values" by W. Zudilin. Consider the quantities defined here in pg. $617$ $$\tilde{F_n}:= \frac{1}{...
Max's user avatar
  • 11
1 vote
1 answer
222 views

Sum over three squares

Let $x$ be a sufficiently large number. Is there an explicit or asymptotic formula for the following sum $$\sum_{\substack{n\leq x\\ n=a^2+b^2+c^2}} 1.$$ Any reference would be helpful.
Khadija Mbarki's user avatar
4 votes
1 answer
214 views

Explicit expression for a function in number theory

In their paper "Moyenne de certains fonctions arithmétiques sur les entiers friables", Tenenbaum and Wu proved that for the case of the function $\beta$ which is the indicator function of ...
Khadija Mbarki's user avatar
2 votes
2 answers
362 views

Size of $\zeta'(s)$ at its zeros

How large can the derivative of the Riemann zeta function be at its zeros? More specifically, let $\rho$ be a zero of the zeta function with $\Im(\rho)\in (0,T]$. What can we say about $|\zeta'(\rho)|...
user avatar
6 votes
2 answers
425 views

Average of gcd of sum of two $k$th powers

I am interested bounding the following quantity. Given fixed $k \in \mathbb{N}$, $a,b \in \mathbb{Z}$, $\sigma \in [0,1)$, and intervals $I_1,I_2 \subset \mathbb{Z}$ can we establish the bound $$S = \...
Daniel Flores's user avatar
3 votes
1 answer
203 views

Chowla's theorem on class number of real quadratic field

Let $p\equiv1\bmod 4$ be a prime number and $h$ the class number of real quadratic field $\mathbb Q(\sqrt{p})$, $\epsilon=\frac{t+u\sqrt{p}}{2}$ its fundamental unit. In this paper https://www.pnas....
HGF's user avatar
  • 287
3 votes
0 answers
108 views

The error term of ternary-Goldbach problem

Are there some results give the $X$ power saving of the error term in Ternary Goldbach problem, not just the $\log$ power saving?
Adiel Hsueh's user avatar
2 votes
1 answer
226 views

Sieve Method works for variant question?

There are multiple results on the sieve method, and I wanted to ask about the following variant (to know if it is trivial by one of the current versions of the sieve method, or seems a challenging ...
Stijn Cambie's user avatar
0 votes
1 answer
117 views

Validity of approximation method for von Mangoldt function

I'm working on a problem involving the pointwise almost everywhere convergence of multilinear ergodic averages with the von Mangoldt function inspired by this paper. Specifically, I'm looking at ...
Brendan Thorne's user avatar

1
2 3 4 5
51