English
Related papers

Related papers: Logarithmic bounds for Roth's theorem via almost-p…

200 papers

We prove that the the discrepancy of arithmetic progressions in the $d$-dimensional grid $\{1, \dots, N\}^d$ is within a constant factor depending only on $d$ of $N^{\frac{d}{2d+2}}$. This extends the case $d=1$, which is a celebrated…

Combinatorics · Mathematics 2021-11-01 Jacob Fox , Max Wenqiang Xu , Yunkun Zhou

We consider the periods of the linear congruential and the power generators modulo $n$ and, for fixed choices of initial parameters, give lower bounds that hold for ``most'' $n$ when $n$ ranges over three different sets: the set of primes,…

Number Theory · Mathematics 2015-06-26 P. Kurlberg , C. Pomerance

Our main result states that when A, B, C are subsets of Z/NZ of respective densities \alpha,\beta,\gamma, the sumset A + B + C contains an arithmetic progression of length at least e^{c(\log N)^c} for densities \alpha > (\log N)^{-2 +…

Number Theory · Mathematics 2013-10-10 Kevin Henriot

Correctness proofs for floating point programs are difficult to verify. To simplify the task, a similar, but less complex system, known as logarithmic arithmetic can be used. The Boyer-Moore Theorem Prover, NQTHM, mechanically verified the…

Logic in Computer Science · Computer Science 2024-11-21 Mark G. Arnold , Thomas A. Bailey , John R. Cowles

We examine the behavior of the number of $k$-term arithmetic progressions in a random subset of $\mathbb{Z}/n\mathbb{Z}$. We prove that if a set is chosen by including each element of $\mathbb{Z}/n\mathbb{Z}$ independently with constant…

Combinatorics · Mathematics 2020-04-07 Ross Berkowitz , Ashwin Sah , Mehtaab Sawhney

In this work, we prove a $\tilde{\Omega}(\lg^{3/2} n )$ unconditional lower bound on the maximum of the query time and update time for dynamic data structures supporting reachability queries in $n$-node directed acyclic graphs under edge…

Data Structures and Algorithms · Computer Science 2023-04-19 Kasper Green Larsen , Huacheng Yu

Let $m\ge 2$ be an integer, $K$ an algebraic number field and $\alpha\in K\setminus \{0,-1\}$ with sufficiently small absolute value. In this article, we provide a new lower bound for linear form in…

Number Theory · Mathematics 2019-04-04 Makoto Kawashima

Let $r_k(n)$ denote the maximum cardinality of a set $A \subset \{1,2, \dots, n \}$ such that $A$ does not contain a $k$-term arithmetic progression. In this paper, we give a method of constructing such a set and prove the lower bound…

Combinatorics · Mathematics 2017-11-21 Vladislav Taranchuk

In this note, we are interested in obtaining uniform upper bounds for the number of powerful numbers in short intervals $(x, x + y]$. We obtain unconditional upper bounds $O(\frac{y}{\log y})$ and $O(y^{11/12})$ for all powerful numbers and…

Number Theory · Mathematics 2022-07-20 Tsz Ho Chan

Consider the partially ordered set on $[t]^n:=\{0,\dots,t-1\}^n$ equipped with the natural coordinate-wise ordering. Let $A(t,n)$ denote the number of antichains of this poset. The quantity $A(t,n)$ has a number of combinatorial…

Combinatorics · Mathematics 2023-10-20 Victor Falgas-Ravry , Eero Räty , István Tomon

We prove that, for almost all $r \leq N^{1/2}/\log^{O(1)}N$, for any given $b_1 \mod r$ with $(b_1, r) = 1$, and for almost all $b_2 \mod r$ with $(b_2, r) = 1$, we have that almost all natural numbers $2n \leq N$ with $2n \equiv b_1 + b_2…

Number Theory · Mathematics 2021-06-03 Juho Salmensuu

This paper studies explicit and theoretical bounds for several interesting quantities in number theory, conditionally on the Generalized Riemann Hypothesis. Specifically, we improve the existing explicit bounds for the least quadratic…

Number Theory · Mathematics 2016-12-12 Youness Lamzouri , Xiannan Li , Kannan Soundararajan

Let $G$ be a finite group, and let $r_{3}(G)$ represent the size of the largest subset of $G$ without non-trivial three-term progressions. In a recent breakthrough, Croot, Lev and Pach proved that $r_{3}(C_{4}^{n}) \leqslant (3.61)^{n}$,…

Combinatorics · Mathematics 2018-05-16 Fedor Petrov , Cosmin Pohoata

Buraczewski et al (2023) proved a functional limit theorem (FLT) and a law of the iterated logarithm (LIL) for a random Dirichlet series $\sum_{k\geq 2}(\log k)^\alpha k^{-1/2-s}\eta_k$ as $s\to 0+$, where $\alpha>-1/2$ and $\eta_1$,…

Probability · Mathematics 2024-11-05 Alexander Iksanov , Ruslan Kostohryz

In this short note, we give two proofs of the infinitude of primes via valuation theory and give a new proof of the divergence of the sum of prime reciprocals by Roth's theorem and Euler-Legendre's theorem for arithmetic progressions.

Number Theory · Mathematics 2018-02-13 Shin-ichiro Seki

Suppose that $A \subset \{1,\dots, N\}$ has no two elements differing by a square. Then $|A| \ll N e^{-c\sqrt{\log N}}$.

Number Theory · Mathematics 2025-01-13 Ben Green , Mehtaab Sawhney

Let $r_k(N)$ denote the size of the largest subset of $[N] = \{1,\ldots,N\}$ with no $k$-term arithmetic progression. We show that for $k\ge 5$, there exists $c_k>0$ such that \[r_k(N)\ll N\exp(-(\log\log N)^{c_k}).\] Our proof is a…

Combinatorics · Mathematics 2024-03-01 James Leng , Ashwin Sah , Mehtaab Sawhney

We show that sets of integers lacking the configuration $x$, $x+y$, $x+y^2$ have at most polylogarithmic density.

Number Theory · Mathematics 2023-01-09 Sarah Peluse , Sean Prendiville

We establish functional limit theorems for ergodic sums of observables with power singularities for expanding circle maps. In the regime where the observables have infinite variance, we show that when rescaled by $N^{1/s}(\ln N)^\alpha$,…

Dynamical Systems · Mathematics 2025-09-03 Dmitry Dolgopyat , Sixu Liu

Given a zero-free region and an averaged zero-density estimate over all Dirichlet $L$-functions modulo $q\in\mathbb{N}$, we refine the error terms of the prime number theorem in all and almost all short arithmetic progressions. For example,…

Number Theory · Mathematics 2026-05-20 Michael Harm