Construction techniques for some thin sets in duals of compact abelian groups

Hajela, D. J.

Annales de l'Institut Fourier, Tome 36 (1986) no. 3, pp. 137-166.

Diverses techniques sont présentées pour la construction d’ensembles $\Delta \left(p\right)$ que ne sont pas $\Lambda (p+\epsilon )$ quel que soit $\epsilon >0$. Il en résulte essentiellement qu’il existe un ensemble $\Lambda \left(4\right)$ dans le dual de tout groupe abélien compact qui n’est pas $\Lambda (4+\epsilon )$ quel que soit $\epsilon >0$. Au cours de la démonstration de nouvelles constructions sont données en groupes duaux dans lesquels des constructions d’ensembles $\Lambda \left(p\right)$ et non $\Lambda (p+\epsilon )$ étaient déjà connues, pour certaines valeurs de $p$. Les principales nouvelles constructions en groupes duaux sont :

– il existe un ensemble $\Lambda \left(2k\right)$ qui n’est pas $\Lambda (2k+\epsilon )$ en $\mathbf{Z}\left(2\right)\oplus \mathbf{Z}\left(2\right)\oplus \cdots$ quel que soit $2\le k$, $k\in \mathbf{N}$ et $\epsilon >0$ ainsi que dans $\mathbf{Z}\left(p\right)\oplus \mathbf{Z}\left(p\right)\oplus \cdots$ ($p$ étant un nombre premier, $p>2$) pour $2\le k<p$, $k\in \mathbf{N}$ et $\epsilon >0$ (pour répondre à une question posée dans J. Lopez and K. Ross, Marcel Dekker, 1975),

– il existe un ensemble $\Lambda \left(2k\right)$ qui n’est pas $\Lambda (4k-4+\epsilon )$ dans $\mathbf{Z}\left(p^{\infty }\right)$ pour $2\le k$, $k\in \mathbf{N}$ et tout $\epsilon >0$.

Il est également démontré que des suites aléatoires illimitées en entiers sont $\Lambda \left(2k\right)$ et non pas $\Lambda (2k+\epsilon )$ pour $2\le k$, $k\in \mathbf{N}$ et $\epsilon >0$.

Various techniques are presented for constructing $\Lambda$ (p) sets which are not $\Lambda (p+ϵ)$ for all $ϵ>0$. The main result is that there is a $\Lambda$ (4) set in the dual of any compact abelian group which is not $\Lambda (4+ϵ)$ for all $ϵ>0$. Along the way to proving this, new constructions are given in dual groups in which constructions were already known of $\Lambda$ (p) not $\Lambda (p+ϵ)$ sets, for certain values of $p$. The main new constructions in specific dual groups are:

– there is a $\Lambda$ (2k) set which is not $\Lambda (2k+\epsilon )$ in $\mathbf{Z}\left(2\right)\oplus \mathbf{Z}\left(2\right)\oplus \cdots$ for all $2\le k$, $k\in \mathbf{N}$ and $\epsilon >0$, and in $\mathbf{Z}\left(p\right)\oplus \mathbf{Z}\left(p\right)\oplus \cdots$ ($p$ a prime, $p>2$) for $2\le k<p$, $k\in \mathbf{N}$ and $\epsilon >0$ (answering a question in J. Lopez and K. Ross, Marcel Dekker, 1975),

– there is a $\Lambda$ (2k) set which is not $\Lambda (4k-4+\epsilon )$ in $\mathbf{Z}\left(p^{\infty }\right)$ for $2\le k$, $k\in \mathbf{N}$ and all $ϵ>0.$

It is also shown that random infinite integer sequences are $\Lambda$ (2k) but not $\Lambda (2k+ϵ)$ for $2\le k$, $k\in \mathbf{N}$ and $ϵ>0$.

[1] G. Bachelis and S. Ebenstein, On Λ(p) sets, Pacific. J. Math., 54 (1974), 35-38. | MR | Zbl

[2] G. Benke, An Example in the Theory of Λ(p) Sets, Bollettino U.M.I., (5) 14-A (1977), 506-507. | MR | Zbl

[3] B. Bollobas, Graph Theory, An Introductory Course, Graduate Texts in Math., Vol. 63 (1979). | MR | Zbl

[4] A. Bonami, Etude des Coefficients de Fourier des fonctions de Lp(G), Ann. Inst. Fourier, Grenoble, 20, fasc. 2 (1970), 335-402. | Numdam | MR | Zbl

[5] R. Bose and S. Chowla, Theorems In The Additive Theory of Numbers, Comment. Math. Helv., 37 (1962/1963), 141-147. | MR | Zbl

[6] R. Edwards, E. Hewitt and K. Ross, Lacunarity for Compact Groups I, Indiana University Math. Journal, 21 (1972), 787-806. | MR | Zbl

[7] P. Erdos, Problems and Results in Additive Number Theory, Colloque sur la Théorie des Nombres, Bruxelles (1955), 127-137. | Zbl

[8] P. Erdos and A. Renyi, Additive Properties of Random Sequences of Positive Integers, Acta. Arith., 6 (1960), 83-110. | MR | Zbl

[9] P. Erdos and J. Spencer, Probabilistic Methods in Combinatorics, Academic Press, 1974. | MR | Zbl

[10] T. Figiel, J. Lindenstrauss and V. Milman, The dimension of Almost Spherical Sections of Convex Bodies, Acta. Math., 139 (1977), 53-94. | MR | Zbl

[11] C. Graham and O.C. Mcgehee, Essays in Commutative Harmonic Analysis, Springer-Verlag, 1979. | MR | Zbl

[12] R. Graham, B. Rothschild and J. Spencer, Ramsey Theory, Wiley Interscience, 1980. | MR | Zbl

[13] H. Halberstam and K. Roth, Sequences, Oxford University Press, 1966. | MR | Zbl

[14] G. Hardy, Ramanujan, Chelsea, 1959. | Zbl

[15] G. Hardy and E. Wright, An Introduction to the Theory of Numbers, Oxford, 1938. | JFM | Zbl

[16] S. Kakutani, On the Equivalence of Infinite Product Measures, Ann. of Math., 49 (1948), 214-224. | MR | Zbl

[17] J. Kolmos, M. Sulyok and E. Szemeredi, Linear Problems in Combinatorial Number Theory, Acta. Math. Sci. Hungar., 26 (1975), 113-121. | MR | Zbl

[18] J. Lindenstrauss and L. Tzafriri, Classical Banach Spaces I, Springer-Verlag, 1977. | MR | Zbl

[19] J. Lopez and K. Ross, Sidon Sets, Marcel Dekker, 1975. | MR | Zbl

[20] D. Mumford, Introduction to Algebraic Geometry, Harvard Lecture Notes, 1967.

[21] J. Rotman, The Theory of Groups, Allyn - Bacon, 1973. | Zbl

[22] W. Rudin, Fourier Analysis on Groups, Interscience Publishers, 1962. | MR | Zbl

[23] W. Rudin, Trigonometric Series With Gaps, J. Math. Mech., 9 (1960), 203-227. | MR | Zbl

[24] H. Ryser, Combinatorial Mathematics, Carus Mathematical Monographs 14, Mathematical Association of America, 1963. | MR | Zbl

[25] B.L. Van Der Waerden, Modern Algebra, Ungar, 1953.

[26] J.H. Van Lint, Introduction to Coding Theory, Graduate Texts in Mathematics, 86, Springer-Verlag, 1980.

[27] A. Zygmund, Trigonometric Series, Cambridge University Press, 1959. | Zbl