×

Edge-decompositions of graphs with high minimum degree. (English) Zbl 1328.05145

Summary: A fundamental theorem of Wilson states that, for every graph \(F\), every sufficiently large \(F\)-divisible clique has an \(F\)-decomposition. Here a graph \(G\) is \(F\)-divisible if \(e(F)\) divides \(e(G)\) and the greatest common divisor of the degrees of \(F\) divides the greatest common divisor of the degrees of \(G\), and \(G\) has an \(F\)-decomposition if the edges of \(G\) can be covered by edge-disjoint copies of \(F\). We extend this result to graphs \(G\) which are allowed to be far from complete. In particular, together with a result of F. Dross [SIAM J. Discrete Math. 30, No. 1, 36–42 (2016; Zbl 1329.05244)], our results imply that every sufficiently large \(K_3\)-divisible graph of minimum degree at least \(9 n / 10 + o(n)\) has a \(K_3\)-decomposition. This significantly improves previous results towards the long-standing conjecture of Nash-Williams that every sufficiently large \(K_3\)-divisible graph with minimum degree at least \(3 n / 4\) has a \(K_3\)-decomposition. We also obtain the asymptotically correct minimum degree thresholds of \(2 n / 3 + o(n)\) for the existence of a \(C_4\)-decomposition, and of \(n / 2 + o(n)\) for the existence of a \(C_{2 \ell}\)-decomposition, where \(\ell \geq 3\). Our main contribution is a general ’iterative absorption’ method which turns an approximate or fractional decomposition into an exact one. In particular, our results imply that in order to prove an asymptotic version of Nash-Williams’ conjecture, it suffices to show that every \(K_3\)-divisible graph with minimum degree at least \(3 n / 4 + o(n)\) has an approximate \(K_3\)-decomposition.

MSC:

05C70 Edge subsets with special properties (factorization, matching, partitioning, covering and packing, etc.)
05C07 Vertex degrees
05C35 Extremal problems in graph theory

Citations:

Zbl 1329.05244

References:

[1] Alon, N.; Yuster, R., \(H\)-factors in dense graphs, J. Combin. Theory Ser. B, 66, 2, 269-282 (1996) · Zbl 0855.05085
[2] Barber, B.; Kühn, D.; Lo, A.; Montgomery, R.; Osthus, D., Fractional clique decompositions of dense graphs and hypergraphs (2015)
[4] Bryant, D.; Cavenagh, N., Decomposing graphs of high minimum degree into 4-cycles, J. Graph Theory, 79, 167-177 (2015) · Zbl 1317.05146
[5] Dor, D.; Tarsi, M., Graph decomposition is NP-complete: a complete proof of Holyer’s conjecture, SIAM J. Comput., 26, 1166-1187 (1997) · Zbl 0884.05071
[6] Dross, F., Fractional triangle decompositions in graphs with large minimum degree (2015)
[7] Dukes, P., Rational decomposition of dense hypergraphs and some related eigenvalue estimates, Linear Algebra Appl., 436, 9, 3736-3746 (2012) · Zbl 1241.05113
[8] Dukes, P., Corrigendum to “Rational decomposition of dense hypergraphs and some related eigenvalue estimates” [Linear Algebra Appl. 436 (9) (2012) 3736-3746], Linear Algebra Appl., 467, 267-269 (2015) · Zbl 1303.05151
[10] Erdős, P., On some new inequalities concerning extremal properties of graphs, (Theory of Graphs, Proc. Colloq.. Theory of Graphs, Proc. Colloq., Tihany, 1966 (1968), Academic Press: Academic Press New York), 77-81 · Zbl 0161.43306
[11] Erdős, P.; Simonovits, M., A limit theorem in graph theory, Studia Sci. Math. Hungar., 1, 51-57 (1966) · Zbl 0178.27301
[12] Erdős, P.; Stone, A. H., On the structure of linear graphs, Bull. Amer. Math. Soc., 52, 1087-1091 (1946) · Zbl 0063.01277
[13] Garaschuk, K., Linear methods for rational triangle decompositions (2014), Univ. of Victoria, PhD thesis
[14] Gustavsson, T., Decompositions of large graphs and digraphs with high minimum degree (1991), Univ. of Stockholm, PhD thesis
[15] Hajnal, A.; Szemerédi, E., Proof of a conjecture of P. Erdős, (Combinatorial Theory and Its Applications, II, Proc. Colloq.. Combinatorial Theory and Its Applications, II, Proc. Colloq., Balatonfüred, 1969 (1970), North-Holland: North-Holland Amsterdam), 601-623 · Zbl 0217.02601
[16] Haxell, P. E.; Rödl, V., Integer and fractional packings in dense graphs, Combinatorica, 21, 1, 13-38 (2001) · Zbl 1107.05304
[17] Janson, S.; Łuczak, T.; Ruciński, A., Random Graphs, Wiley-Intersci. Ser. Discrete Math. Optim. (2000), Wiley-Interscience: Wiley-Interscience New York · Zbl 0968.05003
[18] Keevash, P., The existence of designs (2014)
[19] Kierstead, H. A.; Kostochka, A. V.; Mydlarz, M.; Szemerédi, E., A fast algorithm for equitable coloring, Combinatorica, 30, 2, 217-224 (2010) · Zbl 1224.05176
[20] Kirkman, T. P., On a problem in combinations, Cambridge Dublin Math. J., 2, 191-204 (1847)
[21] Krivelevich, M., Triangle factors in random graphs, Combin. Probab. Comput., 6, 3, 337-347 (1997) · Zbl 0886.05101
[22] Kühn, D.; Osthus, D., Hamilton decompositions of regular expanders: a proof of Kelly’s conjecture for large tournaments, Adv. Math., 237, 62-146 (2013) · Zbl 1261.05053
[24] Nash-Williams, C. St. J.A., An unsolved problem concerning decomposition of graphs into triangles, (Combinatorial Theory and Its Applications III (1970), North-Holland), 1179-1183
[25] Raman, R., The power of collision: randomized parallel algorithms for chaining and integer sorting, (Foundations of Software Technology and Theoretical Computer Science. Foundations of Software Technology and Theoretical Computer Science, Bangalore, 1990. Foundations of Software Technology and Theoretical Computer Science. Foundations of Software Technology and Theoretical Computer Science, Bangalore, 1990, Lecture Notes in Comput. Sci., vol. 472 (1990), Springer: Springer Berlin), 161-175 · Zbl 0734.68031
[26] Rödl, V.; Ruciński, A.; Szemerédi, E., A Dirac-type theorem for 3-uniform hypergraphs, Combin. Probab. Comput., 15, 1-2, 229-251 (2006) · Zbl 1082.05057
[27] Schlund, M., Graph decompositions, Latin squares, and games (2011), Technische Universität München, Diploma thesis
[28] Simonovits, M., A method for solving extremal problems in graph theory, stability problems, (Theory of Graphs, Proc. Colloq.. Theory of Graphs, Proc. Colloq., Tihany, 1966 (1968), Academic Press: Academic Press New York), 279-319 · Zbl 0164.24604
[30] Wilson, R. M., An existence theory for pairwise balanced designs. I. Composition theorems and morphisms, J. Combin. Theory Ser. A, 13, 220-245 (1972) · Zbl 0263.05014
[31] Wilson, R. M., An existence theory for pairwise balanced designs. II. The structure of PBD-closed sets and the existence conjectures, J. Combin. Theory Ser. A, 13, 246-273 (1972) · Zbl 0263.05015
[32] Wilson, R. M., An existence theory for pairwise balanced designs. III. Proof of the existence conjectures, J. Combin. Theory Ser. A, 18, 71-79 (1975) · Zbl 0295.05002
[33] Wilson, R. M., Decompositions of complete graphs into subgraphs isomorphic to a given graph, (Proceedings of the Fifth British Combinatorial Conference. Proceedings of the Fifth British Combinatorial Conference, Univ. Aberdeen, Aberdeen, 1975. Proceedings of the Fifth British Combinatorial Conference. Proceedings of the Fifth British Combinatorial Conference, Univ. Aberdeen, Aberdeen, 1975, Congr. Numer., vol. XV (1976), Utilitas Math.: Utilitas Math. Winnipeg, Man.), 647-659 · Zbl 0322.05116
[34] Yuster, R., The decomposition threshold for bipartite graphs with minimum degree one, Random Structures Algorithms, 21, 2, 121-134 (2002) · Zbl 1018.05090
[35] Yuster, R., Asymptotically optimal \(K_k\)-packings of dense graphs via fractional \(K_k\)-decompositions, J. Combin. Theory Ser. B, 95, 1, 1-11 (2005) · Zbl 1070.05071
[36] Yuster, R., Integer and fractional packing of families of graphs, Random Structures Algorithms, 26, 1-2, 110-118 (2005) · Zbl 1061.05076
[37] Yuster, R., Combinatorial and computational aspects of graph packing and graph decomposition, Comput. Sci. Rev., 1, 1, 12-26 (2007) · Zbl 1302.05149
[38] Yuster, R., \(H\)-packing of \(k\)-chromatic graphs, Mosc. J. Comb. Number Theory, 2, 1, 73-88 (2012) · Zbl 1267.05149
[39] Yuster, R., Edge-disjoint cliques in graphs with high minimum degree, SIAM J. Combin., 28, 2, 893-910 (2014) · Zbl 1301.05192
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.