On characterizing hypergraph regularity

  • Authors:

  • Y. Dementieva;P. E. Haxell;B. Nagle;V. Rödl

  • Affiliations:

  • Division of Mathematics and Applied Science, Marshall University, Huntington, West Virginia;Department of Combinatorics and Optimization, University of Waterloo, Waterloo, Ontario, Canada;School of Mathematics, Georgia Institute of Technology, Atlanta, Georgia and Department of Mathematics, University of Nevada, Reno, Nevada;Department of Mathematics and Computer Science, Emory University, Atlanta, Georgia

  • Venue:
  • Random Structures & Algorithms - Special issue: Proceedings of the tenth international conference "Random structures and algorithms"
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

Szemerédi's Regularity Lemma is a well-known and powerful tool in modern graph theory. This result led to a number of interesting applications, particularly in extremal graph theory. A regularity lemma for 3-uniform hypergraphs developed by Frankl and Rödl [8] allows some of the Szemerédi Regularity Lemma graph applications to be extended to hypergraphs. An important development regarding Szemerédi's Lemma showed the equivalence between the property of ε-regularity of a bipartite graph G and an easily verifiable property concerning the neighborhoods of its vertices (Alon et al. [1]; cf. [6]). This characterization of ε-regularity led to an algorithmic version of Szemerédi's lemma [1]. Similar problems were also considered for hypergraphs. In [2], [9], [13], and [18], various descriptions of quasi-randomness of k-uniform hypergraphs were given. As in [1], the goal of this paper is to find easily verifiable conditions for the hypergraph regularity provided by [8]. The hypergraph regularity of [8] renders quasi-random "blocks of hyperedges" which are very sparse. This situation leads to technical difficulties in its application. Moreover, as we show in this paper, some easily verifiable conditions analogous to those considered in [2] and [18] fail to be true in the setting of [8]. However, we are able to find some necessary and sufficient conditions for this hypergraph regularity. These conditions enable us to design an algorithmic version of a hypergraph regularity lemma in [8]. This algorithmic version is presented by the authors in [5].