Effective bounds for Roth's theorem with shifted square common difference

Sarah Peluse,Ashwin Sah,Mehtaab Sawhney

2023-09-15

Abstract:Let $S$ be a subset of $\{1,\ldots,N\}$ avoiding the nontrivial progressions $x, x+y^2-1, x+ 2(y^2-1)$. We prove that $|S|\ll N/\log_m{N}$, where $\log_m $ is the $m$-fold iterated logarithm and $m\in\mathbf{N}$ is an absolute constant. This answers a question of Green.

Number Theory,Combinatorics

What problem does this paper attempt to address?

Improved Bounds for Szemerédi's Theorem

James Leng,Ashwin Sah,Mehtaab Sawhney

2024-02-28

Abstract: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 consequence of recent quasipolynomial bounds on the inverse theorem for the Gowers $U^k$-norm as well as the density increment strategy of Heath-Brown and Szemer\'{e}di as reformulated by Green and Tao.

Combinatorics,Number Theory
Bounds in a popular multidimensional nonlinear Roth theorem

Sarah Peluse,Sean Prendiville,Xuancheng Shao

2024-07-11

Abstract:A nonlinear version of Roth's theorem states that dense sets of integers contain configurations of the form $x$, $x+d$, $x+d^2$. We obtain a multidimensional version of this result, which can be regarded as a first step towards effectivising those cases of the multidimensional polynomial Szemerédi theorem involving polynomials with distinct degrees. In addition, we prove an effective ``popular'' version of this result, showing that every dense set has some non-zero $d$ such that the number of configurations with difference parameter $d$ is almost optimal. Perhaps surprisingly, the quantitative dependence in this result is exponential, compared to the tower-type bounds encountered in the popular linear Roth theorem.

Number Theory,Combinatorics
Improved bounds for five-term arithmetic progressions

James Leng,Ashwin Sah,Mehtaab Sawhney

2024-04-10

Abstract:Let $r_5(N)$ be the largest cardinality of a set in $\{1,\ldots,N\}$ which does not contain $5$ elements in arithmetic progression. Then there exists a constant $c\in (0,1)$ such that \[r_5(N)\ll \frac{N}{\exp((\log\log N)^{c})}.\] Our work is a consequence of recent improved bounds on the $U^4$-inverse theorem of the first author and the fact that $3$-step nilsequences may be approximated by locally cubic functions on shifted Bohr sets. This combined with the density increment strategy of Heath-Brown and Szemer{é}di, codified by Green and Tao, gives the desired result.

Number Theory,Combinatorics
Improved bounds for the Furstenberg-Sárközy theorem

Ben Green,Mehtaab Sawhney

2024-11-26

Abstract:Suppose that $A \subset \{1,\dots, N\}$ has no two elements differing by a square. Then $|A| \ll N e^{-(\log N)^c}$ for any $c < \frac{1}{4}$.

Number Theory
Quantitative bounds in the nonlinear Roth theorem

Sarah Peluse,Sean Prendiville

DOI: https://doi.org/10.1007/s00222-024-01293-x

IF: 3.128

2024-10-08

Inventiones mathematicae

Abstract:We show that there exists such that any subset of of density at least contains a nontrivial progression of the form , , . This is the first quantitatively effective version of the Bergelson–Leibman polynomial Szemerédi theorem for a progression involving polynomials of differing degrees. Our key innovation is an inverse theorem characterising sets for which the number of configurations , , deviates substantially from the expected value. In proving this, we develop the first effective instance of a concatenation theorem of Tao and Ziegler, with polynomial bounds.

mathematics
Optimizing the CGMS upper bound on Ramsey numbers

Parth Gupta,Ndiame Ndiaye,Sergey Norin,Louis Wei

2024-07-27

Abstract:In a recent breakthrough Campos, Griffiths, Morris and Sahasrabudhe obtained the first exponential improvement of the upper bound on the diagonal Ramsey numbers since 1935. We shorten their proof, replacing the underlying book algorithm with a simple inductive statement. This modification allows us - to give a very short proof of an improved upper bound on the off-diagonal Ramsey numbers, which extends to the multicolor setting, and - to clarify the dependence of the bounds on underlying parameters and optimize these parameters, obtaining, in particular, an upper bound $$R(k,k) \leq (3.8)^{k+o(k)}$$ on the diagonal Ramsey numbers.

Combinatorics
Strong Bounds for 3-Progressions

Zander Kelley,Raghu Meka

2024-01-05

Abstract:We show that for some constant $\beta > 0$, any subset $A$ of integers $\{1,\ldots,N\}$ of size at least $2^{-O((\log N)^\beta)} \cdot N$ contains a non-trivial three-term arithmetic progression. Previously, three-term arithmetic progressions were known to exist only for sets of size at least $N/(\log N)^{1 + c}$ for a constant $c > 0$. Our approach is first to develop new analytic techniques for addressing some related questions in the finite-field setting and then to apply some analogous variants of these same techniques, suitably adapted for the more complicated setting of integers.

Number Theory,Combinatorics
Greatest common divisors with moving targets and consequences for linear recurrence sequences

Nathan Grieve,Julie Tzu-Yueh Wang,Julie Wang

DOI: https://doi.org/10.1090/tran/8220

IF: 1.3529

2020-08-28

Transactions of the American Mathematical Society

Abstract:We establish consequences of the moving form of Schmidt’s Subspace Theorem. Indeed, we obtain inequalities that bound the logarithmic greatest common divisor of moving multivariable polynomials evaluated at moving S S -unit arguments. In doing so, we complement recent work of Levin. As an additional application, we obtain results that pertain to the greatest common divisor problem for algebraic linear recurrence sequences. These observations are motivated by previous related works of Corvaja-Zannier, Levin, and others.

mathematics
Effective Bounds for Restricted $3$-Arithmetic Progressions in $\mathbb{F}_p^n$

Amey Bhangale,Subhash Khot,Dor Minzer

2023-08-12

Abstract:For a prime $p$, a restricted arithmetic progression in $\mathbb{F}_p^n$ is a triplet of vectors $x, x+a, x+2a$ in which the common difference $a$ is a non-zero element from $\{0,1,2\}^n$. What is the size of the largest $A\subseteq \mathbb{F}_p^n$ that is free of restricted arithmetic progressions? We show that the density of any such set is at most $\frac{C}{(\log\log\log n)^c}$, where $c,C>0$ depend only on $p$, giving the first reasonable bounds for the density of such sets. Previously, the best known bound was $O(1/\log^{*} n)$, which follows from the density Hales-Jewett theorem.

Combinatorics,Discrete Mathematics
PR ] 1 7 O ct 2 00 6 Precise Asymptotics in Chung ’ s law of the iterated logarithm ∗

ZHANG Li-Xin

2021-01-01

Abstract:Let X, X1, X2, . . . be i.i.d. random variables with mean zero and positive, finite variance σ2, and set Sn = X1 + . . . +Xn, n ≥ 1. We prove that, if EX2I{|X| ≥ t} = o((log log t)−1) as t→ ∞, then for any a > −1 and b > −1, lim ǫր1/ √ 1+a ( 1 √ 1+a − ǫ)b+1 ∞n=1 (logn)a(log logn)b n P { maxk≤n |Sk| ≤ √ σ2π2n 8 log logn(ǫ+ an) } = 4 π ( 1 2(1+a)3/2 )b+1Γ(b+ 1), whenever an = o(1/ log log n).
A Quantitative Bound For Szemerédi's Theorem for a Complexity One Polynomial Progression over $\mathbb{Z}/N\mathbb{Z}$

James Leng

2024-05-21

Abstract:Let $N$ be a large prime and $P, Q \in \mathbb{Z}[x]$ two linearly independent polynomials with $P(0) = Q(0) = 0$. We show that if a subset $A$ of $\mathbb{Z}/N\mathbb{Z}$ lacks a progression of the form $(x, x + P(y), x + Q(y), x + P(y) + Q(y))$, then $$|A| \le O\left(\frac{N}{\log_{(O(1))}(N)}\right)$$ where $\log_{C}(N)$ is an iterated logarithm of order $C$ (e.g., $\log_{2}(N) = \log\log(N)$). To establish this bound, we adapt Peluse's (2018) degree lowering argument to the quadratic Fourier analysis setting to obtain quantitative bounds on the true complexity of the above progression. Our method also shows that for a large class of polynomial progressions, if one can establish polynomial-type bounds on the true complexity of those progressions, then one can establish polynomial-type bounds on Szemerédi's theorem for that type of polynomial progression.

Number Theory,Classical Analysis and ODEs,Combinatorics
Bounds on the Threshold Gap in Secret Sharing and Its Applications

Ignacio Cascudo,Ronald Cramer,Chaoping Xing

DOI: https://doi.org/10.1109/tit.2013.2264504

IF: 2.5

2013-01-01

IEEE Transactions on Information Theory

Abstract:We consider the class of secret sharing schemes where there is no a priori bound on the number of players n but where each of the n share-spaces has fixed cardinality q. We show two fundamental lower bounds on the threshold gap of such schemes. The threshold gap g is defined as r-t, where r is minimal and t is maximal such that the following holds: for a secret with arbitrary a priori distribution, each r-subset of players can reconstruct this secret from their joint shares without error ( r-reconstruction) and the information gain about the secret is nil for each t-subset of players jointly ( t-privacy). Our first bound, which is completely general, implies that if , then g ≥ [( n-t+1)/q] independently of the cardinality of the secret-space. Our second bound pertains to \BBF q-linear schemes with secret-space \BBF qk ( k ≥ 2). It improves the first bound when k is large enough. Concretely, it implies that g ≥ [( n-t+1)/ q]+f(q,k,t,n), for some function f that is strictly positive when k is large enough. Moreover, also in the \BBF q-linear case, bounds on the threshold gap independent of t or r are obtained by additionally employing a dualization argument. As an application of our results, we answer an open question about the asymptotics of arithmetic secret sharing schemes and prove that the asymptotic optimal corruption tolerance rate is strictly smaller than 1.
New lower bounds for $r_3(N)$

Zach Hunter

2024-07-02

Abstract:We develop recent ideas of Elsholtz, Proske, and Sauermann to construct denser subsets of $\{1,\dots,N\}$ that lack arithmetic progressions of length $3$. This gives the first quasipolynomial improvement since the original construction of Behrend.

Combinatorics,Number Theory
A lower bound for the variance in arithmetic progressions of some multiplicative functions close to $1$

Daniele Mastrostefano

DOI: https://doi.org/10.48550/arXiv.2102.10589

2021-02-21

Abstract:We investigate lower bounds for the variance in arithmetic progressions of certain multiplicative functions "close" to $1$. Specifically, we consider $\alpha_N$-fold divisor functions, when $\alpha_N$ is a sequence of positive real numbers approaching $1$ in a suitable way or $\alpha_N=1$, and the indicator of $y$-smooth numbers, for suitably large parameters $y$. As a corollary, we will strengthen a previous author's result on the first subject and obtain matching lower bounds to some Barban-Davenport-Halberstam type theorems for $y$-smooth numbers. Incidentally, we will also find a lower bound for the variance in arithmetic progressions of the prime factors counting functions $\omega(n)$ and $\Omega(n)$.

Number Theory
Generalized divisor functions in arithmetic progressions: I

David T. Nguyen

DOI: https://doi.org/10.1016/j.jnt.2021.03.021

2023-08-14

Abstract:We prove some distribution results for the $k$-fold divisor function in arithmetic progressions to moduli that exceed the square-root of length $X$ of the sum, with appropriate constrains and averaging on the moduli, saving a power of $X$ from the trivial bound. On assuming the Generalized Riemann Hypothesis, we obtain uniform power saving error terms that are independent of $k$. We follow and specialize Y.T. Zhang's method on bounded gaps between primes to our setting. Our arguments are essentially self-contained, with the exception on the use of Deligne's work on the Riemann Hypothesis for varieties over finite fields. In particular, we avoid the reliance on Siegel's theorem, leading to some effective estimates.

Number Theory
Improved bounds for the Erdős-Rogers $(s,s+2)$-problem

Oliver Janzer,Benny Sudakov

2024-02-05

Abstract:For $2\leq s<t$, the Erdős-Rogers function $f_{s,t}(n)$ measures how large a $K_s$-free induced subgraph there must be in a $K_t$-free graph on $n$ vertices. There has been an extensive amount of work towards estimating this function, but until very recently only the case $t=s+1$ was well understood. A recent breakthrough of Mattheus and Verstraëte on the Ramsey number $r(4,k)$ states that $f_{2,4}(n)\leq n^{1/3+o(1)}$, which matches the known lower bound up to the $o(1)$ term. In this paper we build on their approach and generalize this result by proving that $f_{s,s+2}(n)\leq n^{\frac{2s-3}{4s-5}+o(1)}$ holds for every $s\geq 2$. This comes close to the best known lower bound, improves a substantial body of work and is the best that any construction of similar kind can give.

Combinatorics
Improving Behrend's construction: Sets without arithmetic progressions in integers and over finite fields

Christian Elsholtz,Zach Hunter,Laura Proske,Lisa Sauermann

2024-06-18

Abstract:We prove new lower bounds on the maximum size of subsets $A\subseteq \{1,\dots,N\}$ or $A\subseteq \mathbb{F}_p^n$ not containing three-term arithmetic progressions. In the setting of $\{1,\dots,N\}$, this is the first improvement upon a classical construction of Behrend from 1946 beyond lower-order factors (in particular, it is the first quasipolynomial improvement). In the setting of $\mathbb{F}_p^n$ for a fixed prime $p$ and large $n$, we prove a lower bound of $(cp)^n$ for some absolute constant $c>1/2$ (for $c = 1/2$, such a bound can be obtained via classical constructions from the 1940s, but improving upon this has been a well-known open problem).

Number Theory,Combinatorics
On Sárközy's theorem for shifted primes

Ben Green

2023-08-23

Abstract:Suppose that $A \subset \{1,\dots, N\}$ has no two elements differing by $p-1$, $p$ prime. Then $|A| \ll N^{1 - c}$.

Number Theory,Combinatorics
Distribution of sums of square roots modulo $1$

Siddharth Iyer

2024-04-01

Abstract:We improve upon a result of Steinerberger (2024) by demonstrating that for any fixed $k \in \mathbb{N}$ and sufficiently large $n$, there exist integers $1 \leq a_1, \dots, a_k \leq n$ satisfying: \begin{align*} 0 < \left\| \sum_{j=1}^{k} \sqrt{a_j} \right\| = O(n^{-k/2}). \end{align*} The exponent $k/2$ improves upon the previous exponent of $c k^{1/3}$ of Steinerberger (2024), where $c>0$ is an absolute constant. We also show that for $\alpha \in \mathbb{R}$, there exist integers $1 \leq b_1, \dots, b_k \leq n$ such that: \begin{align*} \left\| \sum_{j=1}^k \sqrt{b_j} - \alpha \right\| = O(n^{-\gamma_k}), \end{align*} where $\gamma_k \geq \frac{k-1}{4}$ and $\gamma_k = k/2$ when $k=2^m - 1$, $m=1,2,\dots$. Importantly, our approach avoids the use of exponential sums.

Number Theory
Discrepancy of arithmetic progressions in grids

Jacob Fox,Max Wenqiang Xu,Yunkun Zhou

DOI: https://doi.org/10.1112/mtk.12237

2024-01-04

Mathematika

Abstract:We prove that the discrepancy of arithmetic progressions in the d‐dimensional grid {1,⋯,N}d is within a constant factor depending only on d of Nd2d+2 . This extends the case d=1 , which is a celebrated result of Roth and of Matoušek and Spencer, and removes the polylogarithmic factor from the previous upper bound of Valkó from about two decades ago. We further prove similarly tight bounds for grids of differing side lengths in many cases.

mathematics, applied

Effective bounds for Roth's theorem with shifted square common difference

Improved Bounds for Szemerédi's Theorem

Bounds in a popular multidimensional nonlinear Roth theorem

Improved bounds for five-term arithmetic progressions

Improved bounds for the Furstenberg-Sárközy theorem

Quantitative bounds in the nonlinear Roth theorem

Optimizing the CGMS upper bound on Ramsey numbers

Strong Bounds for 3-Progressions

Greatest common divisors with moving targets and consequences for linear recurrence sequences

Effective Bounds for Restricted $3$-Arithmetic Progressions in $\mathbb{F}_p^n$

PR ] 1 7 O ct 2 00 6 Precise Asymptotics in Chung ’ s law of the iterated logarithm ∗

A Quantitative Bound For Szemerédi's Theorem for a Complexity One Polynomial Progression over $\mathbb{Z}/N\mathbb{Z}$

Bounds on the Threshold Gap in Secret Sharing and Its Applications

New lower bounds for $r_3(N)$

A lower bound for the variance in arithmetic progressions of some multiplicative functions close to $1$

Generalized divisor functions in arithmetic progressions: I

Improved bounds for the Erdős-Rogers $(s,s+2)$-problem

Improving Behrend's construction: Sets without arithmetic progressions in integers and over finite fields

On Sárközy's theorem for shifted primes

Distribution of sums of square roots modulo $1$

Discrepancy of arithmetic progressions in grids