dc.contributor.author | Conlon, David | |
dc.contributor.author | Fox, Jacob | |
dc.contributor.author | Pach, Janos | |
dc.contributor.author | Sudakov, Benny | |
dc.contributor.author | Suk, Andrew | |
dc.date.accessioned | 2015-01-14T14:32:13Z | |
dc.date.available | 2015-01-14T14:32:13Z | |
dc.date.issued | 2013-06 | |
dc.identifier.isbn | 9781450320313 | |
dc.identifier.uri | http://hdl.handle.net/1721.1/92848 | |
dc.description.abstract | For natural numbers d and t there exists a positive C such that if F is a family of n[superscript C] semi-algebraic sets in R[superscript d] of description complexity at most t, then there is a subset F' of F of size $n$ such that either every pair of elements in F' intersect or the elements of F' are pairwise disjoint. This result, which also holds if the intersection relation is replaced by any semi-algebraic relation of bounded description complexity, was proved by Alon, Pach, Pinchasi, Radoicic, and Sharir and improves on a bound of 4[superscript n] for the family F which follows from a straightforward application of Ramsey's theorem. We extend this semi-algebraic version of Ramsey's theorem to k-ary relations and give matching upper and lower bounds for the corresponding Ramsey function, showing that it grows as a tower of height k-1. This improves on a direct application of Ramsey's theorem by one exponential. We apply this result to obtain new estimates for some geometric Ramsey-type problems relating to order types and one-sided sets of hyperplanes. We also study the off-diagonal case, achieving some partial results. | en_US |
dc.description.sponsorship | Simons Foundation (Fellowship) | en_US |
dc.description.sponsorship | National Science Foundation (U.S.) (Grant DMS 1069197) | en_US |
dc.description.sponsorship | NEC Corporation (MIT Award) | en_US |
dc.description.sponsorship | National Science Foundation (U.S.) (Postdoctoral Fellowship) | en_US |
dc.description.sponsorship | Swiss National Science Foundation (Grant 200021-125287/1) | en_US |
dc.language.iso | en_US | |
dc.publisher | Association for Computing Machinery (ACM) | en_US |
dc.relation.isversionof | http://dx.doi.org/10.1145/2462356.2462399 | en_US |
dc.rights | Creative Commons Attribution-Noncommercial-Share Alike | en_US |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-sa/4.0/ | en_US |
dc.source | arXiv | en_US |
dc.title | Ramsey-type results for semi-algebraic relations | en_US |
dc.type | Article | en_US |
dc.identifier.citation | David Conlon, Jacob Fox, Janos Pach, Benny Sudakov, and Andrew Suk. 2013. Ramsey-type results for semi-algebraic relations. In Proceedings of the twenty-ninth annual symposium on Computational geometry (SoCG '13). ACM, New York, NY, USA, 309-318. | en_US |
dc.contributor.department | Massachusetts Institute of Technology. Department of Mathematics | en_US |
dc.contributor.mitauthor | Fox, Jacob | en_US |
dc.contributor.mitauthor | Suk, Andrew | en_US |
dc.relation.journal | Proceedings of the 29th annual symposium on Symposuim on computational geometry (SoCG '13) | en_US |
dc.eprint.version | Original manuscript | en_US |
dc.type.uri | http://purl.org/eprint/type/JournalArticle | en_US |
eprint.status | http://purl.org/eprint/status/NonPeerReviewed | en_US |
dspace.orderedauthors | Conlon, David; Fox, Jacob; Pach, Janos; Sudakov, Benny; Suk, Andrew | en_US |
mit.license | OPEN_ACCESS_POLICY | en_US |
mit.metadata.status | Complete | |