Caps and progression-free sets in Z_m^n

Abstract: We study progression-free sets in the abelian groups

G = (m a t h b b Z_{m}^{n}, +)

. Let

r_{k} (m a t h b b Z_{m}^{n})

denote the maximal size of a set

S s u b s e t m a t h b b Z_{m}^{n}

that does not contain a proper arithmetic progression of length

k

. We give lower bound constructions, which e.g. include that

r_{3} (m a t h b b Z_{m}^{n}) g e q C_{m} f r a c ((m + 2) / 2)^{n} s q r t n

, when

m

is even. When

m = 4

this is of order at least

3^{n} / s q r t n g g v e r t G v e r t^{0.7924}

. Moreover, if the progression-free set

S s u b s e t m a t h b b Z_{4}^{n}

satisfies a technical condition, which dominates the problem at least in low dimension, then

| S | l e q 3^{n}

holds. We present a number of new methods which cover lower bounds for several infinite families of parameters

m, k, n

, which includes for example:

r_{6} (m a t h b b Z_{125}^{n}) g e q (85 - o (1))^{n}

. For

r_{3} (m a t h b b Z_{4}^{n})

we determine the exact values, when

n l e q 5

, e.g.

r_{3} (m a t h b b Z_{4}^{5}) = 124

, and for

r_{4} (m a t h b b Z_{4}^{n})

we determine the exact values, when

n l e q 4

, e.g.

r_{4} (m a t h b b Z_{4}^{4}) = 128

.

Recommendations

Cites work

Cited in

(10)

This page was built for publication: Caps and progression-free sets in \(\mathbb{Z}_m^n\)