Ramsey-type theorems for sets satisfying a geometric regularity condition (Q342924): Difference between revisions

The authors consider Ramsey-type problems associated to collections of sets in \(\mathbb R^n\) satisfying a standard geometric regularity condition: let \(\{R_j\}_{j=1}^N\) be a collection of measurable sets in \(\mathbb R^n\) such that every \(R_j\) is contained in a cube \(Q_j\) whose sides are parallel to the axes and such that \(|R_j|/|Q_j| \geq \rho >0\). Moreover, suppose that there exists \(0< \gamma< \infty\) such that \(|R_j|/|R_k| \leq \gamma\) for every \(j, k\). Then, the authors show that there exists a subcollection of \(\{R_j\}_{j=1}^N\) consisting of at least \(R(N)\) sets that either have a point of common intersection or that are pairwise disjoint, where \(R(N) \geq \left(\frac{N\rho}{(1+2\gamma^{1/n})^n}\right)^{1/2}\). If the sets in the collection are in addition convex, then the estimate can be improved to \(R(N) \geq \left(3^{-n}\rho N\right)^{1/2}\) and further to \(2^{-n/2}N^{1/2}\) if the sets are axis parallel cubes. The authors also add a discussion on relation with weak type bounds of geometric maximal operators. They apply the aforementioned results and they propose numerous conjectures.