Abstract
For integers m and n, we study the problem of finding good lower bounds for the size of progression-free sets in \((\mathbb {Z}_{m}^{n},+)\). Let \(r_{k}(\mathbb {Z}_{m}^{n})\) denote the maximal size of a subset of \(\mathbb {Z}_{m}^{n}\) without arithmetic progressions of length k and let \(P^{-}(m)\) denote the least prime factor of m. We construct explicit progression-free sets and obtain the following improved lower bounds for \(r_{k}(\mathbb {Z}_{m}^{n})\):
-
If \(k\ge 5\) is odd and \(P^{-}(m)\ge (k+2)/2\), then
$$\begin{aligned} r_k(\mathbb {Z}_m^n) \gg _{m,k} \frac{\bigl \lfloor \frac{k-1}{k+1}m +1\bigr \rfloor ^{n}}{n^{\lfloor \frac{k-1}{k+1}m \rfloor /2}}. \end{aligned}$$ -
If \(k\ge 4\) is even, \(P^{-}(m) \ge k\) and \(m \equiv -1 \bmod k\), then
$$\begin{aligned} r_{k}(\mathbb {Z}_{m}^{n}) \gg _{m,k} \frac{\bigl \lfloor \frac{k-2}{k}m + 2\bigr \rfloor ^{n}}{n^{\lfloor \frac{k-2}{k}m + 1\rfloor /2}}. \end{aligned}$$
Moreover, we give some further improved lower bounds on \(r_k(\mathbb {Z}_p^n)\) for primes \(p \le 31\) and progression lengths \(4 \le k \le 8\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and main result
In additive combinatorics, it has been of great interest to find large subsets of \(\mathbb {Z}_m^n {:}{=}(\mathbb {Z}/m\mathbb {Z})^n\) without arithmetic progressions of a given length k. We let \(r_{k}(\mathbb {Z}_{m}^{n})\) denote the maximal size of a subset of \(\mathbb {Z}_{m}^{n}\) without arithmetic progressions of length k and \(P^{-}(m)\) the least prime factor of m. The case \(n=1\) and \(k=3\) is closely related to progression-free sets in the integers; see the results by Behrend [1], Roth [8] and Szemerédi [9]. The case \(k=3\) and m prime is strongly connected to the well-studied case of capsets [2,3,4]. Nevertheless, there is not much literature on lower bounds on these progression-free sets, not even for primes m and general progression length k. For \(k=3\) the best lower bound is due to Elsholtz and Pach [5] who adapted Behrend’s method to higher dimensions, showing that there is a positive constant \(C_{m}\) such that
For \(k \ge 4\), the best lower bound is due to Lin and Wolf [7], who showed that if p is a prime and \(k\le p\), then we have
In this paper, we adapt and extend the method of Elsholtz and Pach [5] to improve the lower bound of Lin and Wolf. We prove the following results.
Theorem 1.1
Let m be an integer and let \(k \ge 5\) be an odd integer. Let \(P^{-}(m)\) denote the least prime factor of m. If \(P^{-}(m)\ge (k+2)/2\), then the following estimate holds:
Theorem 1.2
Let \(k \ge 4\) be an even integer. Let \(m \equiv -1 \bmod k\) and assume that \(P^{-}(m) \ge k\), then we have
Note that when \(m = p > k\) is a prime, then Theorems 1.1 and 1.2 improve the base \(p^{(k-1)/k}\) of Lin and Wolf [7] to \(\alpha _{k}p\) for some \(\alpha _{k}>0\).
Moreover, our main concern in the above two theorems has been to increase the exponential numerator. It seems possible that the methods of [4, 5] could also improve the polynomial denominator.
2 Construction of large sets without arithmetic progressions
The work of Elsholtz and Pach [5] suggests that for the construction of large subsets of \(\mathbb {Z}_{m}^{n}\) without arithmetic progressions of length k, it is a good idea to consider vectors whose entries only take values from a prescribed set of digits. To be more precise, we consider the following sets.
Definition 2.1
Let \(D = \{d_1, \ldots , d_{|D|}\} \subseteq \mathbb {Z}_m\) be a set of digits and let n be an integer with \(|D| \mid n\). Then we define
Thus, S(D, n) is the set of n-dimensional vectors for which every digit of D occurs the same number of times. The task is then to construct “good” sets \(D \subseteq \mathbb {Z}_{m}\) such that the set S(D, n) does not contain an arithmetic progression of a given length. If S(D, n) does not contain an arithmetic progression, then we say that D is admissible.
By Stirling’s formula, one can give the asymptotic lower bound
as \(n\rightarrow \infty \).
It remains to find large digit sets D such that S(D, n) is progression-free. In [5] it has been shown that one can take \(D=\{0, \ldots , (p-1)/2\}\) of size \(|D|=(p+1)/2\), without having an arithmetic progression of length 3 in S(D, n). For odd \(k \ge 5\) we shall see that we can extend this interval without having arithmetic progressions in S(D, n) of length k.
Theorem 2.2
Let m be an integer and let the progression length \(k\ge 5\) be odd. If \(P^{-}(m) \ge (k+2)/2\) and n is an integer divisible by \(\lfloor \frac{k-1}{k+1}m \rfloor +1\), then the set S(D, n) with
does not contain any arithmetic progression of length k.
For \(k=2\ell \ge 4\) even and \(m \equiv -1 \bmod k\) with \(P^{-}(m) \ge (k+1)/2\), we can extend the set D found in the case \(k=2\ell -1\) by one element.
Theorem 2.3
Let \(k \ge 4\) be an even integer and let m be an integer with \(m \equiv -1 \bmod k\). If \(P^{-}(m) \ge k\) and n is an integer divisible by \(\lfloor \frac{k-2}{k}m \rfloor + 2\), then the set S(D, n) with
does not contain any arithmetic progression of length k.
From our computations (see Appendix B) it seems likely that it should also be possible to extend the construction from Theorem 2.2 to integers with \(m \not \equiv -1 \bmod k\). In particular, based on experiments with small primes, we have the following conjecture.
Conjecture 2.4
Let \(p \ge 13\) be a prime with \(p \equiv 1 \bmod 4\) and let n be an integer divisible by \(\frac{p+3}{2}\). Then the set
does not yield any arithmetic progression of length 4 in S(D, n).
Finally, Table 1 provides explicit results for some values of p respectively k. As the computational effort of finding large admissible digit sets grows for increasing p and k (see Sect. 4), the values of p and k given here are rather small. In particular, we list the size of the largest admissible digit set for each pair (p, k), or a lower bound for it if the existence of larger digit sets cannot be excluded.
As an example we give a detailed discussion of the case \(p=11\) and \(k=3\) in Appendix A. A corresponding admissible digit set of maximal cardinality as well as the number of maximal admissible digit sets for each pair (p, k) can be found in Appendix B.
3 Proofs
Proof of Theorem 2.2
Assume for the sake of a contradiction that S(D, n) contains a non-constant arithmetic progression \(\textbf{v}_{1},\textbf{v}_{2}\), ..., \(\textbf{v}_{k}\). Denote the jth coordinate of \(\textbf{v}_{i}\) by \(\textbf{v}_{i}^{(j)}\), i.e., \(\textbf{v}_{i}=(\textbf{v}_{i}^{(1)},\textbf{v}_{i}^{(2)}, \dots , \textbf{v}_{i}^{(k)})\). Notice that for every \(1 \le j \le n\) the elements \(\textbf{v}_{1}^{(j)},\textbf{v}_{2}^{(j)},\dots , \textbf{v}_{k}^{(j)}\) form an arithmetic progressions in \(\mathbb {Z}_{m}\).
Let \(d \le \frac{m(k-1)}{k+1}\) be the largest integer such that d occurs in a non-trivial progression \((\textbf{v}_{i}^{(j_{0})})_{1 \le i \le k}\). As d occurs equally often in every vector \(\textbf{v}_{i}\), we may choose \(j=j_{0}\) such that \((\textbf{v}_{i}^{(j_{0})})_{1 \le i \le k}\) is non-constant and \(\textbf{v}_{\ell +1}^{(j_{0})}=d\) with \(\ell =(k-1)/2\).
By writing \(\textbf{v}_{i}^{(j_{0})} = \textbf{v}_{1}^{(j_{0})}+(i-1)c\) for some non-zero element \(c \in \mathbb {Z}_{m}\) we see that the elements \(\textbf{v}_{i}^{(j_{0})}\) with \(1 \le i \le \ell +1\) are pairwise distinct since \(P^{-}(m) > \ell \). By the maximality of d we have \(((\textbf{v}_{i}^{(j_{0})})_{1 \le i \le k}) \subset [0,d]\). Thus, by the pigeonhole principle there exist indices \(1 \le i,i' \le \ell +1\) such that
where the last inequality is strict since \(P^{-}(m)>\ell +1\).
However, this implies that \(\textbf{v}_{\ell +i-i'}^{(j_{0})} \in \{d+1,\ldots ,m-1 \}\), a contradiction.\(\square \)
Proof of Theorem 2.3
By Theorem 2.2 it suffices to show that a non-trivial arithmetic progression in D cannot have \(h:=\frac{(k-1)m-1}{k}\) in the first position. Assume that there is such a progression \(v_{1},v_{2},\dots , v_{k}\) with \(v_{1} = h\). Again, as \(P^{-}(m) \ge k\) all elements \(v_{1},v_{2},\dots , v_{k}\) are pairwise different. Note that the nearest elements in D to h, namely the residue classes of m (which is 0) and \(\lfloor \frac{(k-2)m}{k} \rfloor \), both have distance
to h.
The elements \(v_{2}\), \(v_{3}\), ..., \(v_{k}\) are all different from h and must therefore all lie in the interval \([0,\lfloor \frac{(k-2)m}{k} \rfloor ]\). Thus, by the pigeon hole principle there are two elements \(v_{i}\) and \(v_{j}\) with \(k \ge j>i \ge 2\) and distance \(|v_{i}-v_{j}|<\frac{m}{k}\). But this would mean that also \(|v_{1}-v_{j-i+1}|<\frac{m}{k}\), contradicting the minimal distance from h to another element given in (3.1). Thus, there can be no such progression.\(\square \)
Proof of Theorem 1.1
By Theorem 2.2 we can find a digit set D of size at least \(m(k-1)/(k+1)\) such that there is no arithmetic progression of length k in S(D, n) for \(n\in \mathbb {N}\) with \(|D|\mid n\). By (2.1) we find
If \(|D| \not \mid n\), say \(n = |D|q+r\) and \(1 \le r < |D|\), we can embed the set \(S(D,n-r)\) into \(\mathbb {Z}_{m}^{n}\) by simply putting zeroes in the last r coordinates. The image does not contain any arithmetic progressions and is also of size
as claimed.\(\square \)
Theorem 1.2 can be proven analogously, as a conclusion of Theorem 2.3.
4 Finding admissible digit sets
In this section, we present approaches to find admissible digit sets. In general, we are not able to strengthen the bounds given in Theorems 1.1 and 1.2. However, we can improve the bounds for small primes by using computer power and applying the following method. See also Table 1.
Most of the ideas given in this section can also be found in [4], where the authors use similar techniques for capset constructions.
4.1 Modelling the problem
As already seen in the previous section, the described construction relies on finding large digit sets \(D\subseteq \mathbb {Z}_p\) such that S(D, n) does not contain arithmetic progressions for all dimensions \(n\in \mathbb {N}\) with \(|D|\mid n\). For this purpose, let \(k\ge 3\) be the progression length and let p be a prime. Moreover, let \(P_k(D)\subseteq D^k\) be the set of non-trivial k-term arithmetic progressions in D. Assume that there are k points in S(D, n) which form an arithmetic progression for some \(n\in \mathbb {N}\). For each progression \(v = (v_1,\ldots ,v_k)\in P_k(D)\), let \(x_{v}\) be a variable which counts the occurrences of v in the components of these k points. Due to the fact that each digit \(d\in D\) has to occur the same number of time in each of the k points, the equation
has to hold for each digit \(d\in D\) and for any pair (i, j) with \(1\le i < j \le k\).
It is easy to check that the non-existence of a non-negative non-trivial integral solution \((x_{v}\mid v\in P_k(D))\) of the system of equations given in (4.1) is equivalent to the non-existence of a k-term arithmetic progression in S(D, n). Hence, if we want to prove the admissibility of some digit set D, we have to ensure that the set \(\mathcal {P}(D) = \{x\in \mathbb {Z}_{\ge 0}^{\ell }\,\vert \,\mathopen {}Ax=0\}\) only contains the zero vector, where the system of linear equations \(Ax = 0\) describes the equations stated in (4.1). If we want to show that a digit set is not admissible, on the other hand, then we have to find a non-negative non-trivial solution of \(Ax = 0\). This solution directly corresponds to a k-term arithmetic progression in S(D, n), for infinitely many dimensions n.
Both can be achieved by methods of integer linear programming. Unfortunately, the problem of deciding if a polyhedron contains an integral point is computationally hard and in general NP-complete [6]. This indicates that checking this condition for all possible digit sets modulo p can only be done for small p—and has been done for primes \(5 \le p \le 31\) and progression length \(3\le k \le 8\), as Table 1 indicates.
4.2 Reducibility as a sufficient condition
Next, we briefly describe a technique which allows showing admissibility in a computationally simple and comprehensible way. For some fixed digit set D and the corresponding constraint matrix A as mentioned above, let B be a fixed matrix which is equivalent to A in the sense that there exists an invertible matrix T such that \(TA = B\). This certainly implies \(\{x\in \mathbb {Z}_{\ge 0}^{\ell }\,\vert \,\mathopen {}Ax=0\} = \mathcal {P}(D) = \{x\in \mathbb {Z}_{\ge 0}^{\ell }\,\vert \,\mathopen {}Bx=0\}\).
Remember that we want to show the emptiness of \(\mathcal {P}(D)\). Therefore, if some non-zero row i of B only contains non-negative or non-positive entries, then it clearly follows that the variables corresponding to non-zero entries of this row have to be zero. This is because we are looking for non-negative solutions x of \(B x = 0\), and if the said variables were non-zero, then the equation corresponding to row i of B would not have such a solution.
Consequently, we remove those columns of B which belong to these variables, i.e., columns of B with non-zero entry in row i, and then proceed with the remaining matrix and the next non-negative or non-positive row. The deletion of columns possibly brings out new non-negative or non-positive rows. The process determines if no non-negative or non-positive non-zero row is left in the matrix. If at the end all columns of B are deleted—which means that all variables \(x_i\) have to be zero and that this is the only non-negative integral solution—, then the digit set D is admissible.
Two very natural choicesFootnote 1 for the initial matrix B are \(B = A\) and \(B = A_{\textrm{ech}}\), where \(A_{\textrm{ech}}\) denotes the reduced row echelon form of A. It turns out that these choices are not only intuitive but also very successful and good enough for our purpose: We were able to verify 50 of the 54 bounds given in Table 1 using them; see Appendix B. One comprehensible example with a different choice of B can be found in Appendix A.
Data availability
All datasets which are generated and analysed during the current study and which are not included in this work are available from the corresponding author on reasonable request.
References
Behrend F.A.: On sets of integers which contain no three terms in arithmetical progression. Proc. Natl Acad. Sci. U.S.A. 32, 331–332 (1946). https://doi.org/10.1073/pnas.32.12.331.
Edel Y.: Extensions of generalized product caps. Des. Codes Cryptogr. 31(1), 5–14 (2004). https://doi.org/10.1023/A:1027365901231.
Ellenberg J.S., Gijswijt D.: On large subsets of \({\mathbb{F} }^n_q\) with no three-term arithmetic progression. Ann. Math. (2) 185(1), 339–343 (2017). https://doi.org/10.4007/annals.2017.185.1.8.
Elsholtz C., Lipnik G.F.: Exponentially larger affine and projective caps, submitted (2020).
Elsholtz C., Pach P.P.: Caps and progression-free sets in \(\mathbb{Z} _m^n\). Des. Codes Cryptogr. 88, 2133–2170 (2020). https://doi.org/10.1007/s10623-020-00769-0.
Garey M.R., Johnson D.S.: Computers and Intractability. W. H. Freeman and Co., San Francisco (1979) (A Guide to the Theory of NP-Completeness. A Series of Books in the Mathematical Sciences).
Lin Y., Wolf J.: On subsets of \({\mathbb{F} }^n_q\) containing no \(k\)-term progressions. Eur. J. Combin. 31(5), 1398–1403 (2010). https://doi.org/10.1016/j.ejc.2009.12.001.
Roth K.F.: On certain sets of integers. J. Lond. Math. Soc. 28, 104–109 (1953). https://doi.org/10.1112/jlms/s1-28.1.104.
Szemerédi E.: On sets of integers containing no \(k\) elements in arithmetic progression. Acta Arithm. 27, 199–245 (1975). https://doi.org/10.4064/aa-27-1-199-245.
Acknowledgements
The authors acknowledge the support of the Austrian Science Fund (FWF): W 1230 and I 4945-N. Moreover, the authors thank the referees for their helpful comments.
Funding
Open access funding provided by Austrian Science Fund (FWF).
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by J. Bierbrauer.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A: Illustration of reducibility
In the following, we exemplary illustrate the concept of reducibility. For this purpose, let us have a look at the modulus \(p= 11\) and the progression length \(k=3\).
We show that the digit set \(D_1 = \{0, 1, 2, 3, 4, 5\}\) is admissible (even though this is already known from [5]) by deducing its reducibility with reduced row echelon form as initial matrix. The set \(P_3(D_1)\) of non-trivial 3-term arithmetic progressions in \(D_1\) is given by
and thus, the constraint matrix A is given by
where the first six rows represent equations which arise from the first and second position in the vectors of \(P_3(D_1)\) (i.e., \(i=1\) and \(j=2\) in (4.1)), and the latter six rows represent the constraints for the positions one and three in the vectors of \(P_3(D_1)\) (i.e., \(i=1\) and \(j=3\) in (4.1)). Moreover, its reduced row echelon form is given by
The described matrix reduction is given as follows, where the non-negative respectively non-positive rows as well as the columns which have to be deleted in the next step are marked:
The last step trivially follows. As a consequence, the only non-negative vector x that solves \(Ax = 0\) is the zero vector. This implies that \(D_1\) is reducible and thus, also admissible.
Appendix B: Admissible digit sets (verification of Table 1)
In the following, we list one maximal admissible set for each pair (p, k) with \(5 \le p \le 31\) and \(3 \le k \le 8\). Admissibility was checked via reducibility as presented in Sect. 4; we list the lexicographically first admissible digit set which is reducible with initial matrix A or \(A_{\textrm{ech}}\), where this is possible. We also give the initial matrices with which we have established reducibility of the corresponding digit sets.
Moreover, for small primes we also give the number of maximal admissible digit sets. This result was obtained by the computational integer programming approach. Note that many admissible digit sets are in some sense symmetric to each other. We have refrained from filtering out such patterns because the given number should only convey a sense for its range. To keep the following Tables 2, 3, 4, 5, 6, and 7 concise, we use the usual notation for discrete intervals, i.e.,
for integers a and b with \(0\le a \le b <p\), and we consider these sets to be subsets of \(\mathbb {Z}_p\).
The admissibility of the four digit sets marked with a star (*) has been checked by using the integer programming approach which is described in Sect. 4.2, because no reducible digit set has been found of the same size, neither with initial matrix A nor with initial matrix \(A_\textrm{ech}\). (Numerous digit sets with one element less are reducible with initial matrix A respectively \(A_\textrm{ech}\), though.)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Elsholtz, C., Klahn, B. & Lipnik, G.F. Large subsets of \(\mathbb {Z}_m^n\) without arithmetic progressions. Des. Codes Cryptogr. 91, 1443–1452 (2023). https://doi.org/10.1007/s10623-022-01145-w
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10623-022-01145-w