×

Some additive applications of the isoperimetric approach. (English) Zbl 1173.05019

Summary: Let \(G\) be a group and let \(X\) be a finite subset. The isoperimetric method investigates the objective function \(|(XB)\setminus X|\), defined on the subsets \(X\) with \(|X|\geq k\) and \(|G\setminus (XB)|\geq k\), where \(XB\) is the product of \(X\) by \(B\). In this paper we present all the basic facts about the isoperimetric method. We improve some of our previous results and obtain generalizations and short proofs for several known results. We also give some new applications. Some of the results obtained here will be used in coming papers to improve Kempermann structure Theory.

MSC:

05C25 Graphs and abstract algebra (groups, rings, fields, etc.)
20D60 Arithmetic and combinatorial problems involving abstract finite groups
11B75 Other combinatorial number theory
PDFBibTeX XMLCite
Full Text: DOI arXiv Numdam EuDML

References:

[1] Arad, Z.; Muzychuk, M., Order evaluation of products of subsets in finite groups and its applications. II., Trans. Amer. Math. Soc., 349, 11, 4401-4414 (1997) · Zbl 0895.20022 · doi:10.1090/S0002-9947-97-01866-7
[2] Balandraud, E., Un nouveau point de vue isopérimétrique appliqué au théorème de Kneser (2005)
[3] Brailowski, L. V.; Freiman, G. A., On a product of finite subsets in a torsion free group, J. Algebra, 130, 462-476 (1990) · Zbl 0697.20019 · doi:10.1016/0021-8693(90)90093-4
[4] Cauchy, A., Recherches sur les nombres, J. École polytechnique, 9, 99-116 (1813)
[5] Chowla, S., A theorem on the addition of residue classes: applications to the number \(\Gamma (k)\) in Waring’s problem, Proc. Indian Acad. Sc., 2, 242-243 (1935) · Zbl 0012.24701
[6] Davenport, H., On the addition of residue classes, J. London Math. Soc., 10, 30-32 (1935) · JFM 61.0149.02 · doi:10.1112/jlms/s1-10.37.30
[7] Deshouillers, J. M.; Freiman, G. A., A step beyond Kneser’s Theorem, Proc. London Math. Soc., 86, 3, 1-28 (2003) · Zbl 1032.11009 · doi:10.1112/S0024611502013709
[8] Diderrich, G. T., On Kneser’s addition theorem in groups, Proc. Amer. Math. Soc., 443-451 (1973) · Zbl 0266.20041
[9] Dirac, G. A., Extensions of Menger’s theorem, J. Lond. Math. Soc., 38 (1963) · Zbl 0112.38606 · doi:10.1112/jlms/s1-38.1.148
[10] Dixmier, J., Proof of a conjecture by Erdös, Graham concerning the problem of Frobenius, J. number Theory, 34, 198-209 (1990) · Zbl 0695.10012 · doi:10.1016/0022-314X(90)90150-P
[11] Dyson, F. J., A theorem on the densities of sets of integers, J. London Math. Soc., 20, 8-14 (1945) · Zbl 0061.07408 · doi:10.1112/jlms/s1-20.1.8
[12] Erdős, P.; Heilbronn, H., On the Addition of residue classes mod \(p\), Acta Arith., 9, 149-159 (1964) · Zbl 0156.04801
[13] Green, B.; Ruzsa, I. Z., Sets with small sumset and rectification, Bull. London Math. Soc., 38, 1, 43-52 (2006) · Zbl 1155.11307 · doi:10.1112/S0024609305018102
[14] Hamidoune, Y. O., Beyond Kemperman’s Structure Theory: The isoperimetric approach
[15] Hamidoune, Y. O., Sur les atomes d’un graphe orienté, C.R. Acad. Sc. Paris A, 284, 1253-1256 (1977) · Zbl 0352.05035
[16] Hamidoune, Y. O., An application of connectivity theory in graphs to factorizations of elements in groups, Europ. J. of Combinatorics, 2, 349-355 (1981) · Zbl 0473.05032
[17] Hamidoune, Y. O., Quelques problèmes de connexité dans les graphes orientés, J. Comb. Theory, B 30, 1-10 (1981) · Zbl 0475.05039
[18] Hamidoune, Y. O., On the connectivity of Cayley digraphs, Europ. J. Combinatorics, 5, 309-312 (1984) · Zbl 0561.05028
[19] Hamidoune, Y. O., On a subgroup contained in words with a bounded length, Discrete Math., 103, 171-176 (1992) · Zbl 0773.20004 · doi:10.1016/0012-365X(92)90267-J
[20] Hamidoune, Y. O., An isoperimetric method in additive theory, J. Algebra, 179, 2, 622-630 (1996) · Zbl 0842.20029 · doi:10.1006/jabr.1996.0028
[21] Hamidoune, Y. O., On subsets with a small sum in abelian groups I: The Vosper property, Europ. J. of Combinatorics, 18, 541-556 (1997) · Zbl 0883.05065 · doi:10.1006/eujc.1995.0113
[22] Hamidoune, Y. O., On small subset product in a group. Structure Theory of set-addition, Astérisque, 258, 281-308 (1999) · Zbl 0945.20011
[23] Hamidoune, Y. O., Some results in Additive number Theory I: The critical pair Theory, Acta Arith., 96, 2, 97-119 (2000) · Zbl 0985.11011 · doi:10.4064/aa96-2-1
[24] Hamidoune, Y. O., Hyper-atoms and the Kemperman’s critical pair Theory (2007)
[25] Hamidoune, Y. O.; Rødseth, Ø. J., On bases for \(\sigma \)-finite groups, Math. Sc., 78, 2, 246-254 (1996) · Zbl 0877.11007
[26] Hamidoune, Y. O.; Rødseth, Ø. J., An inverse theorem modulo \(p\), Acta Arithmetica, 92, 251-262 (2000) · Zbl 0945.11003
[27] Hamidoune, Y. O.; Serra, O.; Zémor, G., On the critical pair theory in Abelian groups: Beyond Chowla’s Theorem (2006) · Zbl 1192.11071
[28] Hamidoune, Y. O.; Serra, O.; Zémor, G., On the critical pair theory in \(\mathbb{Z}/p\mathbb{Z} \), Acta Arith., 121, 2, 99-115 (2006) · Zbl 1147.11060 · doi:10.4064/aa121-2-1
[29] Hegyvári, N., On iterated difference sets in groups, Period. Math. Hungar., 43, 1-2, 105-110 (2001) · Zbl 0980.11016
[30] Jin, R., Solution to the inverse problem for upper asymptotic density, J. Reine Angew. Math., 595, 121-165 (2006) · Zbl 1138.11045 · doi:10.1515/CRELLE.2006.046
[31] Jungić, V.; Licht, J.; Mahdian, M.; Nešetřil, J.; Jaroslav, R.; Radoičić, R., Rainbow arithmetic progressions and anti-Ramsey results. Special issue on Ramsey theory, Combin. Probab. Comput., 12, 5-6, 599-620 (2003) · Zbl 1128.11305 · doi:10.1017/S096354830300587X
[32] Károlyi, G., Cauchy-Davenport theorem in group extensions, Enseign. Math., (2)51, 3-4, 239-254 (2005) · Zbl 1111.20026
[33] Kemperman, J. H. B., On complexes in a semigroup, Nederl. Akad. Wetensch. Proc. Ser. A, 59, 18, 247-254 (1956) · Zbl 0072.25605
[34] Kemperman, J. H. B., On small sumsets in Abelian groups, Acta Math., 103, 66-88 (1960) · Zbl 0108.25704 · doi:10.1007/BF02546525
[35] Kneser, M., Abschätzung der asymptotischen Dichte von Summenmengen, Math. Z., 58, 459-484 (1953) · Zbl 0051.28104 · doi:10.1007/BF01174162
[36] Kneser, M., Summenmengen in lokalkompakten abelesche Gruppen, Math. Zeit., 66, 88-110 (1956) · Zbl 0073.01702 · doi:10.1007/BF01186598
[37] Mann, H. B., An addition theorem for sets of elements of an Abelian group, Proc. Amer. Math. Soc., 4 (1953) · Zbl 0050.25703
[38] Mann, H. B., Addition Theorems (1976) · Zbl 0189.29701
[39] Menger, K., Zur allgemeinen Kurventhoerie, Fund. Math., 10 Karl, 96-115 (1927) · JFM 53.0561.01
[40] Nathanson, M. B.; Springer, Additive Number Theory. Inverse problems and the geometry of sumsets, Grad. Texts in Math., 165 (1996) · Zbl 0859.11003
[41] Nikolov, N.; Segal, D., On finitely generated profinite groups. I. Strong completeness and uniform bounds, Ann. of Math., (2) 165, 1, 171-238 (2007) · Zbl 1126.20018 · doi:10.4007/annals.2007.165.171
[42] Nikolov, N.; Segal, D., On finitely generated profinite groups. II. Products in quasisimple groups, Ann. of Math., (2) 165, 1, 239-273 (2007) · Zbl 1126.20018 · doi:10.4007/annals.2007.165.239
[43] Olson, J. E., Sums of sets of group elements, Acta Arith., 28, 2, 147-156 (197576) · Zbl 0318.10035
[44] Olson, J. E., On the sum of two sets in a group, J. Number Theory, 18, 110-120 (1984) · Zbl 0524.10043 · doi:10.1016/0022-314X(84)90047-7
[45] Olson, J. E., On the symmetric difference of two sets in a group, Europ. J. Combinatorics, 43-54 (1986) · Zbl 0597.05012
[46] Plagne, A., \((k,l)\)-free sets in \(\mathbb{Z}/p\mathbb{Z}\) are arithmetic progressions, Bull. Austral. Math. Soc., 65, 1, 137-144 (2002) · Zbl 1034.11057 · doi:10.1017/S0004972700020153
[47] Pyber, L., Bounded generation and subgroup growth, Bull. London Math. Soc., 34, 1, 55-60 (2002) · Zbl 1041.20016 · doi:10.1112/S0024609301008657
[48] Rødseth, Ø. J., Two remarks on linear forms in non-negative integers, Math. Scand., 51, 193-198 (1982) · Zbl 0503.10035
[49] Ruzsa, I., An application of graph theory to additive number theory, Scientia, Ser. A, 3 (1989) · Zbl 0743.05052
[50] Serra, O., Surveys in combinatorics, 327, 119-152 (2005) · Zbl 1155.11309
[51] Serra, O.; Zémor, G., On a generalization of a theorem by Vosper, Integers (2000) · Zbl 0953.11031
[52] Shepherdson, J. C., On the addition of elements of a sequence, J. London Math Soc., 22, 85-88 (1947) · Zbl 0029.34402 · doi:10.1112/jlms/s1-22.2.85
[53] Szemerédi, E., On a conjecture of Erdös and Heilbronn, Acta Arithmetica, 17, 227-229 (1970) · Zbl 0222.10055
[54] Tao, T.; Vu, V. H., Cambridge Studies in Advanced Mathematics, 105 (2006) · Zbl 1127.11002
[55] Vosper, G., Addendum to: The critical pairs of subsets of a group of prime order, J. London Math. Soc., 31, 280-282 (1956) · Zbl 0072.03402 · doi:10.1112/jlms/s1-31.3.280
[56] Vosper, G., The critical pairs of subsets of a group of prime order, J. London Math. Soc., 31, 200-205 (1956) · Zbl 0072.03402 · doi:10.1112/jlms/s1-31.2.200
[57] Zémor, G., On positive and negative atoms of Cayley digraphs, Discrete Appl. Math., 23, 2, 193-195 (1989) · Zbl 0674.05032 · doi:10.1016/0166-218X(89)90027-9
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.