THE LARGEST ()-SUM-FREE SETS IN COMPACT ABELIAN GROUPS arxiv:90.03233v [math.co] 0 Jan 209 NOAH KRAVITZ Abstract. A subset A of a finite abelian group is called ()-sum-free if ka la =. In thie paper, we extend this concept to compact abelian groups and study the question of how large a measurable ()-sum-free set can be. For integers k < l and a compact abelian group G, let λ (G) = sup{µ(a) : ka la = } be the maximum possible size of a ()-sum-free subset of G. We prove that if G = I M is the direct product of the identity component of G and a finite group, then max { λ (M),λ (I) } λ (G) max { λ (M), }. Moreover, the upper bound is an equality if G admits a surjective measurable homomorphism onto the circle group T. Finally, we discuss how this problem motivates a new framework for studying (k, l)-sum-free sets in finite groups.. Introduction The Minkowski sum of two subsets A,B of an additive abelian group G is A+B = {a+b : a A,b B}. When G is finite, a natural question is how large a subset A G can be sum-free, i.e., can satisfy (A+A) A =. In other words, A is sum-free if x+y = z has no solutions for x,y,z A. Early progress on this question for cyclic groups appears in the work of Diananda and Yap [4] and Wallis, Street, and Wallis [0]. In 2005, Green and Ruzsa [6] completely solved this problem for abelian groups. Let λ,2 (G) denote the maximum density of a sum-free subset of G. Theorem. (Green and Ruzsa 2005). For any finite abelian group G with exponent exp(g), we have { d λ,2 (G) = max }. d exp(g) 3 d In particular, 2 7 λ,2(g) 2, both bounds of which are sharp. Other statistics on sum-free sets have been the object of considerable study (see, e.g., [5, 9] and the references therein). 200 Mathematics Subject Classification. B3, 22A05. Key words and phrases. Sum-free set, compact abelian group, Kneser s Theorem, additive combinatorics.
2 This problem has more recently been generalized to (k, l)-sum-free sets. For a positive integer k, let ka = A+ +A denote the k-fold Minkowski sum of A }{{} k with itself (NOT the k-fold dilation of A). Then, for a finite abelian group G, let A λ (G) = max G : ka la = denote the maximum density of a ()-sum-free subset of G. Trivially, λ (G) = 0 when k = l, so by convention we take k < l. Most work has focused on (k, l)-sum-free sets in cyclic groups; the general abelian case remains far from understood. Important results are due to Bier and Chin [3] and Hamidoune and Plagne [7], whose approaches relied on Vosper s Theorem and Kneser s Theorem. In 208, Bajnok and Matzke [2] found a general expression for λ (Z n ) by analyzing ()-sum-free arithmetic progressions. Theorem.2 (Bajnok and Matzke 208). For any integers k < l and n, we have { d δd +r d λ (Z n ) = max }, d n d where δ d = gcd(d,l k) and r d is the remainder of k d δd modulo δ d. For further background, see the excellent exposition in []. One might wonder about the analogousproblem on the circle group T = R/Z (with the Eucliean topology) and the d-dimensional torus T d. In this paper, we generalize the study of (k, l)-sum-free sets to compact abelian groups. For a compact abelian group G, let µ be the probability Haar measure (normalized so that µ(g) = ). We then define λ (G) = sup{µ(a) : ka la = }, where the supremum runs over all measurable subsets A G. Note that when G is finite, this definition coincides with the definition above. The main result of this paper is the following set of bounds on λ (G) for compact abelian groups with a finite number of connected components. We write such a group as G = I M, where I is the identity component of G and M is finite. Theorem.3 (Main Theorem). For any integers k < l and any compact abelian group G = I M, we have max{λ (M),λ (I)} λ (G) max λ (M),. In particular, if G admits a surjective measurable homomorphism onto T (with the Euclidean topology), then λ (G) = max λ (M), is an equality. A few remarks:
3 () When G is connected, M is the trivial group (with λ (M) = 0) and λ (I) λ (G). In particular, λ (T d ) = answers our original question about the d-dimensional torus. (2) Note that any positive-dimensional { compact } abelian Lie group G has I = T d, so that λ (G) = max λ (M),. (3) It is easy to see that the upper bound is not tight in general for finite groups. For instance, λ,2 (Z 7 ) = 2 7 (using Theorem.2) is smaller than 3. In Section 2, we prove the Main Theorem. We will make use of the following deep classical result of Kneser [8]. Here, µ denotes the inner Haar probability measure. (Even on T, the Minkowski sum of two measurable sets need not be measurable.) Theorem.4 (Kneser 956). Let G be a compact abelian group with Haar probability measure µ, and let A and B be nonempty measurable subsets of G. Then µ (A+B) min{µ(a)+µ(b),}, unless the stabilizer H = Stab(A+B) is an open subgroup of G, in which case µ (A+B) µ(a)+µ(b) µ(h). In Section 3, we discuss some consequences of our results and possible future lines of inquiry. In particular, the compact case inspires a curious new framework for investigating (k, l)-sum-free sets in the finite context. 2. proofs We begin by recording a few general observations. Lemma 2.. Let A and B be (not necessarily measurable) subsets of a compact abelian group G, with µ (A)+µ (B) >. Then A+B = G. Proof. ThereexistclosedsubsetsA Aand B B satisfyingµ(a )+µ(b ) >. Assume (for the sake of contradiction) that there exists some g G\(A+B). Then g / A + B, so A and {g} B are disjoint. But µ(a ) + µ({g} B ) = µ(a )+µ(b ) yields a contradiction. Lemma 2.2. Let G = I M be a compact abelian group. Then any open subgroup H of G is of the form H = I N, where N is a subgroup of M. Proof. The set U = I H is open in I (in the subgroup topology) and nonempty (since it contains the identity of G). Then U and its cosets are an open partition of I. Since I is connected, U = I. Finally, noting that H/I is a subgroup of G/I = M completes the proof. Lemma 2.3. Let A be a nonempty measurable subset of a compact abelian group G. Then for any integers i < j, we have Stab(iA) Stab(jA) as an inclusion of subgroups. Proof. For any h Stab(iA), we have {h}+ja = ({h}+ia) +(j i)a = ia+ (j i)a = ja, so h Stab(jA). We now prove the upper bound of the Main Theorem.
4 Theorem 2.4. For any integers k < l and any compact abelian group G = I M, we have λ (G) max λ (M),. Proof. Assume (for the sake of contradiction) that there exists a (k, l)-sum-free set A G of measure strictly greater than both λ (M) and. Consider H = Stab(lA), and recall from Lemma 2.3 that Stab(kA) H. Theorem.4 tells us that if H is NOT an open subgroup of G, then µ (ka) min{kµ(a),} and µ (l( A)) = µ (la) min{lµ(a),}. Then, since µ (ka)+µ (la) > k + l =, Lemma 2. gives ka+l( A) = G, and, in particular, 0 ka+l( A). So there exist a,...,a A satisfying a + +a k = a k+ + +a, which contradicts A being (k, l)-sum-free. Next, consider the case where H is an open subgroup of G. By Lemma 2.2, we have H = I N for some subgroup N M. In particular, I H. Thus, la is a union of cosets of I: if g (m+i) (la), then I+{g} = m+i H +(la) = la. Let P = {p M : (p+i) A } bethesetoftheelementsofm whosecorrespondingcomponentsofghavenonempty intersection with A. Since P M µ(a) > λ (M), we have kp lp. Then there exist p,...,p P and m M such that p + +p k = p k+ + +p = m. So there also exist a,...,a A with each a i p i +I. Then a k+ + +a (m + I) (la), and we conclude that m + I la. Similarly, a + + a k (m + I) (ka), which contradicts A being (k, l)-sum-free. This completes the proof. We now establish lower bounds through specific constructions of large (k, l)-sumfree sets. The following lemma generalizes a common tool in the study of ()- sum-free sets in finite groups. Lemma 2.5. Fix any positive integers k < l and any compact abelian group G. If G admits a surjective measurable homomorphism φ onto the toppological group H, then λ (H) λ (G). Proof. Let S H be a ()-sum-free set of density µ. Then A = φ (S) G is a (k, l)-sum-free set (φ(ka) and φ(la) are disjoint in H) with the same density. The lower bounds of the Main Theorem now follow from the obvious choices for H. Theorem 2.6. For any positive integers k < l and any compact abelian group G = I M, we have max{λ (M),λ (I)} λ (G). Moreover, if G admits a surjective measurable homomorphism onto T (with the Euclidean toplogy), then max λ (M), λ (G).
5 Proof. Applying Lemma 2.5 with H = M and H = I gives the first lower bound. Now, consider the case where G (or, equivalently, I) admits a surjective measurable homomorphism onto T. Setting H = T in Lemma 2.5 gives λ (T) λ (I). Finally, the set S = ( k l 2 k 2, ( is()-sum-free(withmeasure ): ks = are disjoint in T. 3. Discussion ) l l 2 k 2 T k 2 kl l 2 k, 2 ( l 2 k )andls = 2 ) kl l l 2 k, 2 2 l 2 k 2 The Main Theorem bounds λ (G) in terms of the largest possible ()-sum-free sets of its connected and discrete factors. Note that the lower bound is an equality whenever any of the following holds: λ (M). There is a surjective measurable homomorphism from G onto T. G is finite. We conjecture that the lower bound of the Main Theorem is always an equality. Conjecture 3.. For any positive integers k < l and any compact abelian group G = I M, we have λ (G) = max{λ (M),λ (I)}. The constructions of Theorem 2.6 show that the supremum in the definition of λ (G) is attained in many cases and, moreover, that some such maximal subset is open. We conjecture that this property holds for all compact abelian groups. Conjecture 3.2. For any positive integers k < l and any compact abelian group G, there exists an open ()-sum-free set S G with measure µ(s) = λ (G). This discussion motivates a set of related questions for finite abelian groups. Consider the maps φ n : T Z n via { ( i A i Z n : n, i+ ) } A. n The fact ( i n, ) ( i+ n + j n, j+ ) ( n = i+j n, i+j+2 ) n implies that for any sets A,B T, {0,}+φ n (A)+φ n (B) φ n (A+B), with equality when (but not only when) A and B are the unions of open intervals of the form ( i n, ) i+ n. (For instance, any open sets can be arbitrarily well approximated from the inside in this manner for large enough n.) This motivates the following set of definitions. Let A,B,C be subsets of a finite abelian group G. For lack of better notation, let A C B = C +A+B and k C A = A C C A = ka +(k )C. We can }{{} k
6 investigate (k, l)-sum-free sets under this operation (i.e., with respect to fixed C) by defining A λ C (G) = max G : (k C A) (l C A) =. Of course, λ {0} (G) = λ (G) recovers the ordinary definition of the maximum size of a (k, l)-sum-free set. When G = Z n and C = {0,}, wesee that λ {0,} (Z n ) reflects the problemoffinding open ()-sum-free subsets of T. The Main Theorem for G = T gives λ {0,} (Z n ). (This bound also follows from Kneser s Theorem for finite groups.) Note that equality is achieved at least whenever n is a multiple of l 2 k 2 (Theorem 2.6). This group invariant seems an interesting object of study. Question 3.3. What can we say about λ {0,} (Z n )? Which values of n satisfy λ {0,} (Z n ) =? For fixed k < l, which n minimizes λ{0,} (Z n )? Other compact abelian groups of the form T d M (with M finite) analogously give risetothe moregeneralproblemofcomputing λ C (G) with G = Z n Z nd M and C = {(ε,ε 2,...,ε d,0) : ε i {0,}}. Finally, we propose that other choices of C could lead to questions of future interest. 4. Acknowledgments The author is grateful to Milo Brandt and Stefan Steinerberger for reading drafts of this paper. References [] B. Bajnok, On the maximumsize of a ()-sum-freesubset of an abelian group, Int. J. Number Theory 5(6) (2009), 953-97. [2] B. Bajnok and R. Matzke, The Maximum Size of (k, l)-sum-free Sets in Cyclic Groups, preprint arxiv:809.0767v (208). [3] T. Bier and A. Y. Chin, On ()-sets in cyclic groups of odd prime order, Bull. Austral. Math. Soc. 63 (200), 5-2. [4] P. H. Diananda and H. P. Yap, Maximal sum-free sets of elements of finite groups, Proc. Japan Acad. 45 (969), I-V. [5] B. Green, The Cameron-Erdős Conjecture, Bull. London Math. Soc. 36(6) (2004), 769-778. [6] B. Green and I. Ruzsa, Sum-free sets in abelian groups, Israel J. Math. 47 (2005), 57-88. [7] Y. o. Hamidoune and A. Plagne, A new critical pair theorem applied to sum-free sets in Abelian groups, Comment. Math. Helv. 79 (2004), 83-207. [8] M. Kneser, Summenmengen in lokalkompakten abelschen Gruppen, Math. Z. 66 (956), 88-0. [9] T. Tao and V. Vu, Sum-avoiding sets in groups, Discrete Anal. 5 (206). [0] W. D. Wallis, A. P. Street, and J. S. Wallis, Combinatorics: Room squares, sum-free sets, Hadamard matrices, Lecture Notes in Mathematics 292 (2006), Springer (New York). Grace Hopper College, Yale University, New Haven, CT 0650, USA E-mail address: noah.kravitz@yale.edu