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.
Similar content being viewed by others
References
N. Ackerman, C. Freer, and R. Patel, Stable regularity for relational structures, preprint, arXiv:1712.09305 (2017)
Adler, H., Adler, I.: Interpreting nowhere dense graph classes as a classical notion of model theory. European J. Combin. 36, 322–330 (2014)
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
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)
Alon, N., Fischer, E., Newman, I.: Efficient testing of bipartite graphs for forbidden induced subgraphs. SIAM J. Comput. 37, 959–976 (2007)
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
Anderson, P.J.: Tree-decomposable theories, Master's thesis. Simon Fraser University, Dept. of Mathematics and Statistics (1990)
A. Aroskar and J. Cummings, Limits, regularity and removal for finite structures, preprint, arXiv:1412.8084 (2014)
Baldwin, J.T., Shelah, S.: Second-order quantifiers and the complexity of theories. Notre Dame J. Form. Log. 26, 229–303 (1985)
Chase, H., Freitag, J.: Model theory and machine learning. Bull. Symb. Log. 25, 319–332 (2019)
Chernikov, A., Simon, P.: Externally definable sets and dependent pairs II. Trans. Amer. Math. Soc. 367, 5217–5235 (2015)
A. Chernikov and S. Starchenko, Regularity lemma for distal structures, preprint, arXiv:1507.01482 (2015)
A. Chernikov and S. Starchenko, Definable regularity lemmas for NIP hypergraphs, preprint, arXiv:1607.07701 (2016)
M. Chudnovsky and S.-i. Oum, Vertex-minors and the Erdős–Hajnal conjecture, Discrete Math., 341 (2018)(12), 3498–3499
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
Conlon, D., Fox, J.: Bounds for graph regularity and removal lemmas. Geom. Funct. Anal. 22, 1191–1256 (2012)
Dvořák, Z.: Induced subdivisions and bounded expansion. European J. Combin. 69, 143–148 (2018)
Z. Dvořák, P. Ossona de Mendez, and H. Wu, \(1\)-subdivisions, fractional chromatic number and Hall ratio, Combinatorica (2020), accepted
G. Elek and B. Szegedy, Limits of hypergraphs, removal and regularity lemmas. A non-standard approach, arXiv:0705.2179v1 (2007)
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
P. Erdős and A. Hajnal, Ramsey-type theorems, Discrete Appl. Math., 25 (1989)), 37–52
Fox, J., Gromov, M., Lafforgue, V., Naor, A., Pach, J.: Overlap properties of geometric expanders. J. Reine Angew. Math. 671, 49–83 (2012)
J. Fox and L. M. Lovász, A tight lower bound for Szemerédi's regularity lemma, preprint, arXiv:1403.1768 (2014)
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
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
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)
Fox, J., Pach, J., Suk, A.: Erdős-Hajnal conjecture for graphs with bounded VC-dimension. Discrete Comput. Geom. 61, 809–829 (2019)
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
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
Gambosi, G., Nešetřil, J., Talamo, M.: On locally presented posets. Theoret. Comput. Sci. 70, 251–260 (1990)
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
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
Gerke, S., Steger, A.: The sparse regularity lemma and its applications. Surveys Combin. 327, 227–258 (2005)
Giakoumakis, V., Vanherpe, J.-M.: Bi-complement reducible graphs. Adv. Appl. Math. 18, 389–402 (1997)
Goodall, A.J., Nešetřil, J., Ossona de Mendez, P.: Strongly polynomial sequences as interpretations. J. Applied Logic 18, 129–149 (2016)
Gowers, W.T.: Lower bounds of tower type for Szemerédi's uniformity lemma. Geom. Funct. Anal. 7, 322–337 (1997)
Gowers, W.T.: Hypergraph regularity and the multidimensional Szemerédi theorem. Ann. of Math. 166, 897–946 (2007)
B. Green and T. Tao, An arithmetic regularity lemma, an associated counting lemma, and applications, in: An Irregular Mind, Springer (2010), pp. 261–334
W. Hodges, Model Theory, Cambridge University Press (1993).
Holland, P.W., Laskey, K.B., Leinhardt, S.: Stochastic blockmodels: first steps. Social networks 5, 109–137 (1983)
Hoory, S., Linial, N., Wigderson, A.: Expander graphs and their applications. Bull. Amer. Math. Soc. 43, 439–561 (2006)
L.-J. Hung and T. Kloks, \(k\)-cographs are Kruskalian, Chicago J. Theoret. Comput. Sci., 2011 (2011), Article 2, 11 pp
Y. Kohayakawa, Szemerédi's regularity lemma for sparse graphs, in: Foundations of Computational Mathematics, Springer (1997), pp. 216–230
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
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
T. Kovári, V. Sós, and P. Turán, On a problem of K. Zarankiewicz, Coll. Math., 1 (1954), 50–57
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)
Kühn, D., Osthus, D.: Induced subdivisions in \(K_{s, s}\)-free graphs of large average degree. Combinatorica 24, 287–304 (2004)
O.-j. Kwon, M. Pilipczuk, and S. Siebertz, On low rank-width colorings, European J. Combin., 83 (2020), 103002, 17 pp
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
Lovász, L., Szegedy, B.: Szemerédi's Lemma for the analyst. Geom. Func. Anal. 17, 252–270 (2007)
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
Lubotzky, A., Phillips, R.S., Sarnak, P.: Ramanujan graphs. Combinatorica 8, 261–277 (1988)
Malliaris, M., Shelah, S.: Regularity lemmas for stable graphs. Trans. Amer. Math. Soc. 366, 1551–1585 (2014)
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)
Nešetřil, J., Ossona de Mendez, P.: Tree depth, subgraph coloring and homomorphism bounds. European J. Combin. 27, 1022–1041 (2006)
J. Nešetřil and P. Ossona de Mendez, Grad and classes with bounded expansion I. Decompositions, European J. Combin., 29 (2008), 760–776
J. Nešetřil and P. Ossona de Mendez, Sparsity: Graphs, Structures, and Algorithms, Springer Science & Business Media, vol 28, Springer (2012).
Nešetřil, J., Ossona de Mendez, P.: On low tree-depth decompositions. Graphs Combin. 31, 1941–1963 (2015)
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.
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
J. Nešetřil, P. Ossona de Mendez, R. Rabinovich, and S. Siebertz, Linear rankwidth meets stability, European J. Combin., (2020) (accepted)
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
S.-i. Oum and P. Seymour, Approximating clique-width and branch-width, J. Combin. Theory, Ser. B, 96 (2006), 514–528
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
A. Pillay and S. Starchenko, Remarks on Tao's algebraic regularity lemma, preprint, arXiv:1310.7538 (2013)
Podewski, K.-P., Ziegler, M.: Stable graphs. Fund. Math. 100, 101–107 (1978)
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
Rödl, V., Schacht, M.: Regular partitions of hypergraphs: regularity lemmas. Combin. Probab. Comput. 16, 833–885 (2007)
Scott, A.: Szemerédi's regularity lemma for matrices and sparse graphs. Combin. Probab. Comput. 20, 455–466 (2011)
Shelah, S.: Stable theories. Israel J. Math. 7, 187–202 (1969)
Shelah, S.: Classification theory for elementary classes with the dependence property – a modest beginning. Sci. Math. Japon. 59, 265–326 (2004)
Simon, P.: Distal and non-distal NIP theories. Ann. Pure Appl. Logic 164, 294–318 (2013)
P. Simon, A Guide to NIP Theories, Cambridge University Press (2015).
Simon, P.: A note on "Regularity lemma for distal structures". Proc. Amer. Math. Soc. 144, 3573–3578 (2016)
S. Starchenko, NIP, Keisler measures and combinatorics, Séminaire Bourbaki, vol. 2015/2016, Astérisque, 390 (2017), 303–334
Szemerédi, E.: Regular partitions of graphs. Colloq. Int. CNRS 260, 399–401 (1978)
T. Tao, Szemerédi's regularity lemma revisited, preprint, arXiv:math/0504472 (2005)
Tao, T.: Expanding polynomials over finite fields of large characteristic, and a regularity lemma for definable sets. Contrib. Discrete Math. 10, 22–98 (2015)
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)
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
Corresponding author
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
About this article
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
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10474-020-01074-x