Skip to main content
Log in

Regular partitions of gentle graphs

  • Published:
Acta Mathematica Hungarica Aims and scope Submit manuscript

Abstract

Szemerédi's Regularity Lemma is a very useful tool of extremal combinatorics. Recently, several refinements of this seminal result were obtained for special, more structured classes of graphs. We survey these results in their rich combinatorial context. In particular, we stress the link to the theory of (structural) sparsity, which leads to alternative proofs, refinements and solutions of open problems. It is interesting to note that many of these classes present challenging problems. Nevertheless, from the point of view of regularity lemma type statements, they appear as ``gentle'' classes.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. N. Ackerman, C. Freer, and R. Patel, Stable regularity for relational structures, preprint, arXiv:1712.09305 (2017)

  2. Adler, H., Adler, I.: Interpreting nowhere dense graph classes as a classical notion of model theory. European J. Combin. 36, 322–330 (2014)

    Article  MathSciNet  Google Scholar 

  3. N. Alon, J. Balogh, B. Bollobás, and R. Morris, The structure of almost all graphs in a hereditary property, J. Combin. Theory, Series B, 101 (2011), 85–110

  4. Alon, N., Duke, R.A., Lefmann, H., Rödl, V., Yuster, R.: The algorithmic aspects of the regularity lemma. J. Algorithms 16, 80–109 (1994)

    Article  MathSciNet  Google Scholar 

  5. Alon, N., Fischer, E., Newman, I.: Efficient testing of bipartite graphs for forbidden induced subgraphs. SIAM J. Comput. 37, 959–976 (2007)

    Article  MathSciNet  Google Scholar 

  6. N. Alon, J. Pach, R. Pinchasi, R. Radoičić, and M. Sharir, Crossing patterns of semi-algebraic sets, J. Combin. Theory, Series A, 111 (2005), 310–326

  7. Anderson, P.J.: Tree-decomposable theories, Master's thesis. Simon Fraser University, Dept. of Mathematics and Statistics (1990)

    Google Scholar 

  8. A. Aroskar and J. Cummings, Limits, regularity and removal for finite structures, preprint, arXiv:1412.8084 (2014)

  9. Baldwin, J.T., Shelah, S.: Second-order quantifiers and the complexity of theories. Notre Dame J. Form. Log. 26, 229–303 (1985)

    Article  MathSciNet  Google Scholar 

  10. Chase, H., Freitag, J.: Model theory and machine learning. Bull. Symb. Log. 25, 319–332 (2019)

    Article  MathSciNet  Google Scholar 

  11. Chernikov, A., Simon, P.: Externally definable sets and dependent pairs II. Trans. Amer. Math. Soc. 367, 5217–5235 (2015)

    Article  MathSciNet  Google Scholar 

  12. A. Chernikov and S. Starchenko, Regularity lemma for distal structures, preprint, arXiv:1507.01482 (2015)

  13. A. Chernikov and S. Starchenko, Definable regularity lemmas for NIP hypergraphs, preprint, arXiv:1607.07701 (2016)

  14. M. Chudnovsky and S.-i. Oum, Vertex-minors and the Erdős–Hajnal conjecture, Discrete Math., 341 (2018)(12), 3498–3499

  15. T. Colcombet, A combinatorial theorem for trees, in: Automata, Languages and Programming (eds. L. Arge, C. Cachin, T. Jurdziński, and A. Tarlecki), Springer (Berlin, Heidelberg, 2007), pp. 901–912

  16. Conlon, D., Fox, J.: Bounds for graph regularity and removal lemmas. Geom. Funct. Anal. 22, 1191–1256 (2012)

    Article  MathSciNet  Google Scholar 

  17. Dvořák, Z.: Induced subdivisions and bounded expansion. European J. Combin. 69, 143–148 (2018)

    Article  MathSciNet  Google Scholar 

  18. Z. Dvořák, P. Ossona de Mendez, and H. Wu, \(1\)-subdivisions, fractional chromatic number and Hall ratio, Combinatorica (2020), accepted

  19. G. Elek and B. Szegedy, Limits of hypergraphs, removal and regularity lemmas. A non-standard approach, arXiv:0705.2179v1 (2007)

  20. P. Erdős and A. Hajnal, On chromatic number of infinite graphs, in: Theory of Graphs (Proc. Colloq., Tihany, 1966), Academic Press (1968) 83–98

  21. P. Erdős and A. Hajnal, Ramsey-type theorems, Discrete Appl. Math., 25 (1989)), 37–52

  22. Fox, J., Gromov, M., Lafforgue, V., Naor, A., Pach, J.: Overlap properties of geometric expanders. J. Reine Angew. Math. 671, 49–83 (2012)

    MathSciNet  MATH  Google Scholar 

  23. J. Fox and L. M. Lovász, A tight lower bound for Szemerédi's regularity lemma, preprint, arXiv:1403.1768 (2014)

  24. J. Fox and J. Pach, Erdős–Hajnal-type results on intersection patterns of geometric objects, in: Horizons of Combinatorics, Bolyai Soc. Math. Stud., vol. 17, Springer (Berlin, 2008), pp. 79–103

  25. J. Fox, J. Pach, and A. Suk, Density and regularity theorems for semi-algebraic hypergraphs, in: Proceedings of the twenty-sixth annual ACM-SIAM Symposium on Discrete Algorithms, SIAM (2014), pp. 1517–1530

  26. Fox, J., Pach, J., Suk, A.: A polynomial regularity lemma for semialgebraic hypergraphs and its applications in geometry and property testing. SIAM J. Comput. 45, 2199–2223 (2016)

    Article  MathSciNet  Google Scholar 

  27. Fox, J., Pach, J., Suk, A.: Erdős-Hajnal conjecture for graphs with bounded VC-dimension. Discrete Comput. Geom. 61, 809–829 (2019)

    Article  MathSciNet  Google Scholar 

  28. A. Frieze and R. Kannan, The regularity lemma and approximation schemes for dense problems, in: Proceedings of 37th Conference on Foundations of Computer Science, IEEE (1996), pp. 12–20

  29. J. Gajarský, S. Kreutzer, J. Nešetřil, P. Ossona de Mendez, M. Pilipczuk, S. Siebertz, and S. Toruńczyk, First-order interpretations of bounded expansion classes, in: 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018), Leibniz-Zent. Inform. (2018), Art. No. 126, 14 pp

  30. Gambosi, G., Nešetřil, J., Talamo, M.: On locally presented posets. Theoret. Comput. Sci. 70, 251–260 (1990)

    Article  MathSciNet  Google Scholar 

  31. R. Ganian, P. Hliněný, J. Nešetřil, J. Obdržálek, and P. Ossona de Mendez, Shrub-depth: Capturing height of dense graphs, Log. Methods Comput. Sci., 15 (2019), arXiv.org:1707.00359

  32. R. Ganian, P. Hliněný, J. Nešetřil, J. Obdržálek, P. Ossona de Mendez, and R. Ramadurai, When trees grow low: shrubs and fast \(\rm MSO\it _1\), in: International Symposium on Mathematical Foundations of Computer Science, Lecture Notes in Computer Science, vol. 7464, Springer-Verlag (2012,) pp. 419–430

  33. Gerke, S., Steger, A.: The sparse regularity lemma and its applications. Surveys Combin. 327, 227–258 (2005)

    MathSciNet  MATH  Google Scholar 

  34. Giakoumakis, V., Vanherpe, J.-M.: Bi-complement reducible graphs. Adv. Appl. Math. 18, 389–402 (1997)

    Article  MathSciNet  Google Scholar 

  35. Goodall, A.J., Nešetřil, J., Ossona de Mendez, P.: Strongly polynomial sequences as interpretations. J. Applied Logic 18, 129–149 (2016)

    Article  MathSciNet  Google Scholar 

  36. Gowers, W.T.: Lower bounds of tower type for Szemerédi's uniformity lemma. Geom. Funct. Anal. 7, 322–337 (1997)

    Article  MathSciNet  Google Scholar 

  37. Gowers, W.T.: Hypergraph regularity and the multidimensional Szemerédi theorem. Ann. of Math. 166, 897–946 (2007)

    Article  MathSciNet  Google Scholar 

  38. B. Green and T. Tao, An arithmetic regularity lemma, an associated counting lemma, and applications, in: An Irregular Mind, Springer (2010), pp. 261–334

  39. W. Hodges, Model Theory, Cambridge University Press (1993).

  40. Holland, P.W., Laskey, K.B., Leinhardt, S.: Stochastic blockmodels: first steps. Social networks 5, 109–137 (1983)

    Article  MathSciNet  Google Scholar 

  41. Hoory, S., Linial, N., Wigderson, A.: Expander graphs and their applications. Bull. Amer. Math. Soc. 43, 439–561 (2006)

    Article  MathSciNet  Google Scholar 

  42. L.-J. Hung and T. Kloks, \(k\)-cographs are Kruskalian, Chicago J. Theoret. Comput. Sci., 2011 (2011), Article 2, 11 pp

  43. Y. Kohayakawa, Szemerédi's regularity lemma for sparse graphs, in: Foundations of Computational Mathematics, Springer (1997), pp. 216–230

  44. Y. Kohayakawa and V. Rödl, Szemerédi's regularity lemma and quasi-randomness, in: Recent Advances in Algorithms and Combinatorics, Springer (2003), pp. 289–351

  45. J. Komlós and M. Simonovits, Szemerédi's regularity lemma and its applications in graph theory, in: Combinatorics, Paul Erdős is Eighty, vol. 2 (Keszthely, 1993), János Bolyai Math. Soc. (Budapest, 1996), pp. 295–352

  46. T. Kovári, V. Sós, and P. Turán, On a problem of K. Zarankiewicz, Coll. Math., 1 (1954), 50–57

  47. Kühn, D., Osthus, D.: every graph of sufficiently large average degree contains a \(C_4\)-free subgraph of large average degree. Combinatorica 24, 155–162 (2004)

    Article  MathSciNet  Google Scholar 

  48. Kühn, D., Osthus, D.: Induced subdivisions in \(K_{s, s}\)-free graphs of large average degree. Combinatorica 24, 287–304 (2004)

    Article  MathSciNet  Google Scholar 

  49. O.-j. Kwon, M. Pilipczuk, and S. Siebertz, On low rank-width colorings, European J. Combin., 83 (2020), 103002, 17 pp

  50. L. Lovász, J. Nešetřil, and A. Pultr, On a product dimension of graphs, J. Combin. Theory, Series B, 29 (1980), 47–67

  51. Lovász, L., Szegedy, B.: Szemerédi's Lemma for the analyst. Geom. Func. Anal. 17, 252–270 (2007)

    Article  Google Scholar 

  52. L. Lovász and B. Szegedy, Regularity partitions and the topology of graphons, in: An irregular mind (Szemerédi is 70) (eds. I. Bárány and J. Solymosi), Bolyai Society Mathematical Studies, vol. 21, Springer (2010). pp. 415–446

  53. Lubotzky, A., Phillips, R.S., Sarnak, P.: Ramanujan graphs. Combinatorica 8, 261–277 (1988)

    Article  MathSciNet  Google Scholar 

  54. Malliaris, M., Shelah, S.: Regularity lemmas for stable graphs. Trans. Amer. Math. Soc. 366, 1551–1585 (2014)

    Article  MathSciNet  Google Scholar 

  55. Morgenstern, M.: Existence and Explicit Constructions of \(q+1\) Regular Ramanujan Graphs for Every Prime Power \(q\). J. Combinatorial Theory, Series B 62, 44–62 (1994)

    Article  MathSciNet  Google Scholar 

  56. Nešetřil, J., Ossona de Mendez, P.: Tree depth, subgraph coloring and homomorphism bounds. European J. Combin. 27, 1022–1041 (2006)

    Article  MathSciNet  Google Scholar 

  57. J. Nešetřil and P. Ossona de Mendez, Grad and classes with bounded expansion I. Decompositions, European J. Combin., 29 (2008), 760–776

  58. J. Nešetřil and P. Ossona de Mendez, Sparsity: Graphs, Structures, and Algorithms, Springer Science & Business Media, vol 28, Springer (2012).

  59. Nešetřil, J., Ossona de Mendez, P.: On low tree-depth decompositions. Graphs Combin. 31, 1941–1963 (2015)

    Article  MathSciNet  Google Scholar 

  60. J. Nešetřil and P. Ossona de Mendez, Structural sparsity, Uspekhi Matem. Nauk, 71 (2016), 85–116 (in Russian); translated in Russian Math. Surveys, 71 (2016), 79–107.

  61. J. Nešetřil, P. Ossona de Mendez, R. Rabinovich, and S. Siebertz, Linear rankwidth meets stability, in: Proceedings of the 2020 ACM-SIAM Symposium on Discrete Algorithms (ed. S. Chawla) (2020), pp. 1180–1199

  62. J. Nešetřil, P. Ossona de Mendez, R. Rabinovich, and S. Siebertz, Linear rankwidth meets stability, European J. Combin., (2020) (accepted)

  63. J. Nešetřil and P. Pudlák, A note on Boolean dimension of posets, in: Irregularities of Partitions (Fertőd, 1986), Algorithms Combin. Study Res. Texts, vol. 8, Springer (Berlin, 1989), pp. 137–140

  64. S.-i. Oum and P. Seymour, Approximating clique-width and branch-width, J. Combin. Theory, Ser. B, 96 (2006), 514–528

  65. M. Pilipczuk, S. Siebertz, and S. Toruńczyk, On the number of types in sparse graphs, in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, ACM (2018) pp. 799–808

  66. A. Pillay and S. Starchenko, Remarks on Tao's algebraic regularity lemma, preprint, arXiv:1310.7538 (2013)

  67. Podewski, K.-P., Ziegler, M.: Stable graphs. Fund. Math. 100, 101–107 (1978)

    Article  MathSciNet  Google Scholar 

  68. V. Rödl, Quasi-randomness and the regularity method in hypergraphs, in: Proceedings of the International Congress of Mathematicians 2015 (ICM 2015), vol. I (plenary lectures) (2015), pp. 571–599

  69. Rödl, V., Schacht, M.: Regular partitions of hypergraphs: regularity lemmas. Combin. Probab. Comput. 16, 833–885 (2007)

    Article  MathSciNet  Google Scholar 

  70. Scott, A.: Szemerédi's regularity lemma for matrices and sparse graphs. Combin. Probab. Comput. 20, 455–466 (2011)

    Article  MathSciNet  Google Scholar 

  71. Shelah, S.: Stable theories. Israel J. Math. 7, 187–202 (1969)

    Article  MathSciNet  Google Scholar 

  72. Shelah, S.: Classification theory for elementary classes with the dependence property – a modest beginning. Sci. Math. Japon. 59, 265–326 (2004)

    MathSciNet  MATH  Google Scholar 

  73. Simon, P.: Distal and non-distal NIP theories. Ann. Pure Appl. Logic 164, 294–318 (2013)

    Article  MathSciNet  Google Scholar 

  74. P. Simon, A Guide to NIP Theories, Cambridge University Press (2015).

  75. Simon, P.: A note on "Regularity lemma for distal structures". Proc. Amer. Math. Soc. 144, 3573–3578 (2016)

    Article  MathSciNet  Google Scholar 

  76. S. Starchenko, NIP, Keisler measures and combinatorics, Séminaire Bourbaki, vol. 2015/2016, Astérisque, 390 (2017), 303–334

  77. Szemerédi, E.: Regular partitions of graphs. Colloq. Int. CNRS 260, 399–401 (1978)

    MathSciNet  MATH  Google Scholar 

  78. T. Tao, Szemerédi's regularity lemma revisited, preprint, arXiv:math/0504472 (2005)

  79. Tao, T.: Expanding polynomials over finite fields of large characteristic, and a regularity lemma for definable sets. Contrib. Discrete Math. 10, 22–98 (2015)

    MathSciNet  MATH  Google Scholar 

  80. Vapnik, V.N., Červonenkis, A.Y.: On the uniform convergence of relative sequences of events to their probabilities. Theory Probab. Appl. 16, 264–280 (1971)

    Article  Google Scholar 

Download references

Acknowledgement

The authors are indebted to O-joung Kwon, who pointed out an error in an earlier version of this paper.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to J. Nešetřil.

Additional information

Dedicated to Endre Szemerédi on the occasion of his eightieth birthday

This paper is part of a project that has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No. 810115 – Dynasnet).

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Jiang, Y., Nešetřil, J., Ossona de Mendez, P. et al. Regular partitions of gentle graphs. Acta Math. Hungar. 161, 719–755 (2020). https://doi.org/10.1007/s10474-020-01074-x

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10474-020-01074-x

Key words and phrases

Mathematics Subject Classification

Navigation