Irreducible hypergraphs for Hall-type conditions, and arc-minimal digraph expanders (Q2567286)

Suppose that hypergraph \(H\) point-critically satisfies a Hall-type condition of the form \(| \bigcup {\mathcal F}|\geq r| {\mathcal F}|+ \delta.\) If \(\delta\) is rational than the edge size in \(H\) is bounded from above. If, however, \(\delta\) is irrational then there is no upper bound for it. The paper gives full analysis of the results. Generalizations for expander theory are obtained.