The large k-term progression-free sets in ℤ_q^n

Hongze Li

2016-01-01

Abstract:Let k and n be fixed positive integers. For each prime power q⩾ k⩾ 3, we show that any subset A⊆ℤ_q^n free of k-term arithmetic progressions has size |A|⩽ c_k(q)^n with a constant c_k(q) that can be expressed explicitly in terms of k and q. As a consequence, we can take c_k(q)=0.8415q for sufficiently large q and arbitrarily fixed k≥ 3.

What problem does this paper attempt to address?

The Large Progression-Free Sets in Z_q^n

Hongze Li

2016-01-01

Abstract:Let $k$ and $n$ be fixed positive integers. For each prime power $q\geqslant k\geqslant 3$, we show that any subset $A\subseteq \mathbb{Z}_q^n$ free of $k$-term arithmetic progressions has size $|A|\leqslant c_k(q)^n$ with a constant $c_k(q)$ that can be expressed explicitly in terms of $k$ and $q$. As a consequence, we can take $c_k(q)=0.8415q$ for sufficiently large $q$ and arbitrarily fixed $k\geq 3$.
A Note on the Large Progression-Free Sets in Z_q^n

Hongze Li

2016-01-01

Abstract:Let $k$ and $n$ be fixed positive integers. For each prime power $q\geqslant k\geqslant 3$, we show that any subset $A\subseteq \mathbb{Z}_q^n$ free of $k$-term arithmetic progressions has size $|A|\leqslant c_k(q)^n$ with a constant $c_k(q)$ that can be expressed explicitly in terms of $k$ and $q$. As a consequence, we can take $c_k(q)=0.8415q$ for sufficiently large $q$ and arbitrarily fixed $k\geq 3$.
New lower bounds for three-term progression free sets in $\mathbb{F}_p^n$

Christian Elsholtz,Laura Proske,Lisa Sauermann

2024-01-23

Abstract:We prove new lower bounds on the maximum size of sets $A\subseteq \mathbb{F}_p^n$ or $A\subseteq \mathbb{Z}_m^n$ not containing three-term arithmetic progressions (consisting of three distinct points). More specifically, we prove that for any fixed integer $m\ge 2$ and sufficiently large $n$ (in terms of $m$), there exists a three-term progression free subset $A\subseteq \mathbb{Z}_m^n$ of size $|A|\ge (cm)^n$ for some absolute constant $c>1/2$. Such a bound for $c=1/2$ can be obtained with a classical construction of Salem and Spencer from 1942, and improving upon this value of $1/2$ has been a well-known open problem (our proof gives $c= 0.54$).

Combinatorics,Number Theory
More on maximal line-free sets in $\mathbb{F}_p^n$

Jakob Führer

2024-03-27

Abstract:For a prime $p$ we construct a subset of $\mathbb{F}_p^{(k^2-k)/2}$ of size $p^{(k^2-k)/2-1}$ that does not contain progressions of length $k$. More generally, we show that for any prime power $q$ there is a subset of $\mathbb{F}_q^{(k^2-k)/2}$ of size $q^{(k^2-k)/2-1}$ that does not contain $k$ points on a line. This yields the first asympotic lower bounds $c^n$ for the size of $p$-progression-free sets in $\mathbb{F}_p^{n}$ with $c=p-o(1)$, as $p$ tends to infinity.

Mathematics
Arithmetic progressions of Carmichael numbers in a reduced residue class

William D. Banks

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

2020-10-13

Abstract:Fix coprime natural numbers $a,q$. Assuming the Prime $k$-tuple Conjecture, we show that there exist arbitrarily long arithmetic progressions of Carmichael numbers, each of which lies in the reduced residue class $a$ mod $q$ and is a product of three distinct prime numbers.

Number Theory
Small Prime $k$th Power Residues and Nonresidues in Arithmetic Progressions

N. A. Carella

2024-05-22

Abstract:Let $p$ be a large odd prime, let $x=(\log p)^{1+\varepsilon}$ and let $q\ll\log\log p$ be an integer, where $\varepsilon>0$ is a small number. This note proves the existence of small prime quadratic residues and prime quadratic nonresidues in the arithmetic progression $a+qm\ll x$, with relatively prime $1\leq a<q$, unconditionally. The same results are generalized to small prime $k$th power residues and nonresidues, where $k\mid p-1$ and $k\ll\log\log p$.

General Mathematics
Arithmetic Progressions in Abundance by Combinatorial Tools

Mathias Beiglboeck

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

2008-09-10

Abstract:Using the algebraic structure of the Stone-Cech compactification of the integers, Furstenberg and Glasner proved that for arbitrary k, every piecewise syndetic set contains a piecewise syndetic set of k-term arithmetic progressions. We present a purely combinatorial argument which allows to derive this result directly from van der Waerden's Theorem.

Combinatorics
Long Arithmetic Progressions in A+A+A with A a Prime Subset

Zhen Cui,Hongze Li,Boqing Xue

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

IF: 0.679

2012-01-01

Journal of Number Theory

Abstract:If A is a dense subset of the integers, then A+A+A contains long arithmetic progressions. This problem has been studied by many people, but results of sparse sets are hard to obtain. In this paper, we prove that if A is a subset of the primes less than n with cardinality αn/logn, then A+A+A contains a long arithmetic progression of length at least{nc1α2/logα−1if α⩾(1/logloglogn)c0,c2α5(logα−1)−1nc3α4/logα−1if α⩾(1/logn)c0′.
Abundance of arithmetic progressions in $\mathcal{CR}$-sets

Dibyendu De,Pintu Debnath

2024-08-21

Abstract:H.Furstenberg and E.Glasner proved that for an arbitrary $k\in\mathbb{N}$, any piecewise syndetic set of integers contains a $k$-term arithmetic progression and the collection of such progressions is itself piecewise syndetic in $\mathbb{Z}.$ The above result was extended for arbitrary semigroups by V. Bergelson and N. Hindman, using the algebra of the Stone-Čech compactification of discrete semigroups. However, they provided an abundance for various types of large sets. In \cite{DHS}, the first author, Neil Hindman and Dona Strauss introduced two notions of large sets, namely, $J$-set and $C$-set. In \cite{BG}, V. Bergelson and D. Glasscock introduced another notion of largeness, which is analogous to the notion of $J$-set, namely $\mathcal{CR}$- set. All these sets contain arithmetic progressions of arbitrary length. In \cite{DG}, the second author and S. Goswami proved that for any $J$-set, $A\subseteq\mathbb{N}$, the collection $\{(a,b):\,\{a,a+b,a+2b,\ldots,a+lb\}\subset A\}$ is a $J$-set in $(\mathbb{N\times\mathbb{N}},+)$. In this article, we prove the same for $\mathcal{CR}$-sets.

Combinatorics
Some problems on subsets without q-separation

ZHAO Xiao-dong,CAI Tian-xin

2005-01-01

Abstract:Two integers in a line(circle) are called q-separate if their difference is q mod n.First,it is proved that n+q-qkkdenotes the number of k-subsets of the set {1,2,…n} in a line without being less than or equal to q separation.Then,it is proved that the total number of subsets of the set {1,2,…n} in a line without less than or equal to q separation is F~((q))_(n+q+q),where generalized Fibonacci numbers F~((q))_(n+q+1) is defined as F~((q))_1=F~((q))_2=…=F~((q))_(q+1)=1,F~((q))_(j+q+1)=F~((q))_j+F~((q))_(j+q)(j1).In addition,the recurrences relation of the number of k-subsets of the set {1,2,… n} in a line without q_1,q_2 separation,for some small integers q_i,is found.
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
Arithmetic and Geometric Progressions in Productsets over Finite Fields

Igor E. Shparlinski

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

2007-11-12

Number Theory

Abstract:Given two sets $\cA, \cB \subseteq \F_q$ of elements of the finite field $\F_q$ of $q$ elements, we show that the productset $$ \cA\cB = \{ab | a \in \cA, b \in\cB\} $$ contains an arithmetic progression of length $k \ge 3$ provided that $k<p$, where $p$ is the characteristic of $\F_q$, and $# \cA # \cB \ge 3q^{2d-2/k}$. We also consider geometric progressions in a shifted productset $\cA\cB +h$, for $f \in \F_q$, and obtain a similar result.
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
Avoiding secants of given size in finite projective planes

Tamás Héger,Zoltán Lóránt Nagy

2024-09-22

Abstract:Let $q$ be a prime power and $k$ be a natural number. What are the possible cardinalities of point sets ${S}$ in a projective plane of order $q$, which do not intersect any line at exactly $k$ points? This problem and its variants have been investigated before, in relation with blocking sets, untouchable sets or sets of even type, among others. In this paper we show a series of results which point out the existence of all or almost all possible values $m\in [0, q^2+q+1]$ for $|S|=m$, provided that $k$ is not close to the extremal values $0$ or $q+1$. Moreover, using polynomial techniques we show the existence of a point set $S$ with the following property: for every prescribed list of numbers $t_1, \ldots t_{q^2+q+1}$, $|S\cap \ell_i|\neq t_i$ holds for the $i$th line $\ell_i$, $\forall i \in \{1, 2, \ldots, q^2+q+1\}$.

Combinatorics
On the least almost-prime in arithmetic progressions

Liuying Wu

DOI: https://doi.org/10.21136/cmj.2024.0459-23

2024-06-11

Czechoslovak Mathematical Journal

Abstract:Let denote a positive integer with at most 2 prime factors, counted according to multiplicity. For integers a, q such that ( a, q ) = 1, let denote the least in the arithmetic progression . It is proved that for sufficiently large q , we have

mathematics
Positive density for consecutive runs of sums of two squares

Noam Kimmel,Vivian Kuperberg

2024-06-06

Abstract:We study the distribution of consecutive sums of two squares in arithmetic progressions. We show that for any odd squarefree modulus $q$, any two reduced congruence classes $a_1$ and $a_2$ mod $q$, and any $r_1,r_2 \ge 1$, a positive density of sums of two squares begin a chain of $r_1$ consecutive sums of two squares, all of which are $a_1$ mod $q$, followed immediately by a chain of $r_2$ consecutive sums of two squares, all of which are $a_2$ mod $q$. This is an analog of the result of Maynard for the sequence of primes, showing that for any reduced congruence class $a$ mod $q$ and for any $r \ge 1$, a positive density of primes begin a sequence of $r$ consecutive primes, all of which are $a$ mod $q$.

Number Theory
Arithmetic progression in a finite field with prescribed norms

Kaustav Chatterjee,Hariom Sharma,Aastha Shukla,Shailesh Kumar Tiwari

2024-01-07

Abstract:Given a prime power $q$ and a positive integer $n$, let $\mathbb{F}_{q^{n}}$ represents a finite extension of degree $n$ of the finite field ${\mathbb{F}_{q}}$. In this article, we investigate the existence of $m$ elements in arithmetic progression, where every element is primitive and at least one is normal with prescribed norms. Moreover, for $n\geq6,q=3^k,m=2$ we establish that there are only $10$ possible exceptions.

Number Theory
Counting the solutions of λ_1 x_1^k_1+⋯ +λ_t x_t^k_t≡ cn

Songsong Li,Yi Ouyang

2017-01-01

Abstract:Given a polynomial Q(x_1,⋯, x_t)=λ_1 x_1^k_1+⋯ +λ_t x_t^k_t, for every c∈ℤ and n≥ 2, we study the number of solutions N_J(Q;c,n) of the congruence equation Q(x_1,⋯, x_t)≡ cn in (ℤ/nℤ)^t such that x_i∈ (ℤ/nℤ)^× for i∈ J⊆ I= {1,⋯, t}. We deduce formulas and an algorithm to study N_J(Q; c,p^a) for p any prime number and a≥ 1 any integer. As consequences of our main results, we completely solve: the counting problem of Q(x_i)=∑_i∈ Iλ_i x_i for any prime p and any subset J of I; the counting problem of Q(x_i)=∑_i∈ Iλ_i x^2_i in the case t=2 for any p and J, and the case t general for any p and J satisfying min{v_p(λ_i)| i∈ I}=min{v_p(λ_i)| i∈ J}; the counting problem of Q(x_i)=∑_i∈ Iλ_i x^k_i in the case t=2 for any p∤ k and any J, and in the case t general for any p∤ k and J satisfying min{v_p(λ_i)| i∈ I}=min{v_p(λ_i)| i∈ J}.
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
Twins of K-Free Numbers in Arithmetic Progressions

Zaizhao Meng

DOI: https://doi.org/10.1007/s10474-010-0006-x

2010-01-01

Abstract:We give a new upper bound of Barban–Davenport–Halberstam type for twins of k -free numbers in arithmetic progressions.

The large k-term progression-free sets in ℤ_q^n

The Large Progression-Free Sets in Z_q^n

A Note on the Large Progression-Free Sets in Z_q^n

New lower bounds for three-term progression free sets in $\mathbb{F}_p^n$

More on maximal line-free sets in $\mathbb{F}_p^n$

Arithmetic progressions of Carmichael numbers in a reduced residue class

Small Prime $k$th Power Residues and Nonresidues in Arithmetic Progressions

Arithmetic Progressions in Abundance by Combinatorial Tools

Long Arithmetic Progressions in A+A+A with A a Prime Subset

Abundance of arithmetic progressions in $\mathcal{CR}$-sets

Some problems on subsets without q-separation

Improved Bounds for Szemerédi's Theorem

Arithmetic and Geometric Progressions in Productsets over Finite Fields

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

Avoiding secants of given size in finite projective planes

On the least almost-prime in arithmetic progressions

Positive density for consecutive runs of sums of two squares

Arithmetic progression in a finite field with prescribed norms

Counting the solutions of λ_1 x_1^k_1+⋯ +λ_t x_t^k_t≡ cn

Strong Bounds for 3-Progressions

Twins of K-Free Numbers in Arithmetic Progressions