R. Fabila-Monroy, C. Hidalgo-Toscano, D. Perz, B. Vogtenhuber
{"title":"没有空三角形的选择 Lemma","authors":"R. Fabila-Monroy, C. Hidalgo-Toscano, D. Perz, B. Vogtenhuber","doi":"10.1007/s10474-024-01431-0","DOIUrl":null,"url":null,"abstract":"<div><p>\nLet <i>P</i> be a set of <i>n</i> points in general position in the plane. \nThe Second Selection Lemma states that for any family of <span>\\(\\Theta(n^3)\\)</span> triangles spanned by <i>P</i>, there exists a point of the plane that lies in a constant fraction of them.\nFor families of <span>\\(\\Theta(n^{3-\\alpha})\\)</span> triangles, with <span>\\(0\\le \\alpha \\le 1\\)</span>, there might not be a point in more than <span>\\(\\Theta(n^{3-2\\alpha})\\)</span> of those triangles.\nAn empty triangle of <i>P</i> is a triangle spanned by <i>P</i>\nnot containing any point of <i>P</i> in its interior. Bárány conjectured that there exists an edge\nspanned by <i>P</i> that is incident to a super-constant number of empty triangles of <i>P</i>. The number of empty triangles\nof <i>P</i> might be as low as <span>\\(\\Theta(n^2)\\)</span>; in such a case, on average, every edge spanned by <i>P</i> is incident to a constant number\nof empty triangles. The conjecture of Bárány suggests that for the class of empty triangles the above upper bound\nmight not hold. In this paper we show that, somewhat surprisingly,\nthe above upper bound does in fact hold for empty triangles. \nSpecifically, we show that for any integer <i>n</i> and real number <span>\\(0\\leq \\alpha \\leq 1\\)</span> there exists a point set of size <i>n</i> with <span>\\(\\Theta(n^{3-\\alpha})\\)</span> empty triangles such that any point of the plane is only in <span>\\(O(n^{3-2\\alpha})\\)</span> empty triangles.\n</p></div>","PeriodicalId":50894,"journal":{"name":"Acta Mathematica Hungarica","volume":"173 1","pages":"52 - 73"},"PeriodicalIF":0.6000,"publicationDate":"2024-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10474-024-01431-0.pdf","citationCount":"0","resultStr":"{\"title\":\"No selection lemma for empty triangles\",\"authors\":\"R. Fabila-Monroy, C. Hidalgo-Toscano, D. Perz, B. Vogtenhuber\",\"doi\":\"10.1007/s10474-024-01431-0\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>\\nLet <i>P</i> be a set of <i>n</i> points in general position in the plane. \\nThe Second Selection Lemma states that for any family of <span>\\\\(\\\\Theta(n^3)\\\\)</span> triangles spanned by <i>P</i>, there exists a point of the plane that lies in a constant fraction of them.\\nFor families of <span>\\\\(\\\\Theta(n^{3-\\\\alpha})\\\\)</span> triangles, with <span>\\\\(0\\\\le \\\\alpha \\\\le 1\\\\)</span>, there might not be a point in more than <span>\\\\(\\\\Theta(n^{3-2\\\\alpha})\\\\)</span> of those triangles.\\nAn empty triangle of <i>P</i> is a triangle spanned by <i>P</i>\\nnot containing any point of <i>P</i> in its interior. Bárány conjectured that there exists an edge\\nspanned by <i>P</i> that is incident to a super-constant number of empty triangles of <i>P</i>. The number of empty triangles\\nof <i>P</i> might be as low as <span>\\\\(\\\\Theta(n^2)\\\\)</span>; in such a case, on average, every edge spanned by <i>P</i> is incident to a constant number\\nof empty triangles. The conjecture of Bárány suggests that for the class of empty triangles the above upper bound\\nmight not hold. In this paper we show that, somewhat surprisingly,\\nthe above upper bound does in fact hold for empty triangles. \\nSpecifically, we show that for any integer <i>n</i> and real number <span>\\\\(0\\\\leq \\\\alpha \\\\leq 1\\\\)</span> there exists a point set of size <i>n</i> with <span>\\\\(\\\\Theta(n^{3-\\\\alpha})\\\\)</span> empty triangles such that any point of the plane is only in <span>\\\\(O(n^{3-2\\\\alpha})\\\\)</span> empty triangles.\\n</p></div>\",\"PeriodicalId\":50894,\"journal\":{\"name\":\"Acta Mathematica Hungarica\",\"volume\":\"173 1\",\"pages\":\"52 - 73\"},\"PeriodicalIF\":0.6000,\"publicationDate\":\"2024-05-23\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://link.springer.com/content/pdf/10.1007/s10474-024-01431-0.pdf\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Acta Mathematica Hungarica\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://link.springer.com/article/10.1007/s10474-024-01431-0\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Acta Mathematica Hungarica","FirstCategoryId":"100","ListUrlMain":"https://link.springer.com/article/10.1007/s10474-024-01431-0","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
摘要
设 P 是平面上一般位置的 n 个点的集合。第二选择定理指出,对于 P 所跨的\(\Theta(n^3)\)三角形族,存在一个位于其中恒定分数内的平面点。对于 \(\Theta(n^{3-\alpha})\) 三角形的族,有 \(0\le \alpha \le 1\), 可能没有一个点位于这些三角形中超过 \(\Theta(n^{3-2\alpha})\) 的三角形中。P 的空三角形是由 P 所跨的三角形,其内部不包含 P 的任何一点。巴拉尼猜想,存在一条由 P 所跨的边,它与 P 的空三角形的数量超恒定。P 的空三角形的数量可能低至 \(\θ(n^2)\);在这种情况下,平均而言,P 所跨的每条边都与空三角形的数量恒定。巴拉尼(Bárány)的猜想表明,对于空三角形类,上述上界可能不成立。在本文中,我们出人意料地证明了上述上界对于空三角形确实成立。具体地说,我们证明了对于任意整数 n 和实数 \(0\leq \alpha \leq 1\) 存在一个大小为 n 的点集,其中有 \(θ(n^{3-\alpha})\) 个空三角形,这样平面上的任意点都只在\(O(n^{3-2\alpha})\) 个空三角形中。
Let P be a set of n points in general position in the plane.
The Second Selection Lemma states that for any family of \(\Theta(n^3)\) triangles spanned by P, there exists a point of the plane that lies in a constant fraction of them.
For families of \(\Theta(n^{3-\alpha})\) triangles, with \(0\le \alpha \le 1\), there might not be a point in more than \(\Theta(n^{3-2\alpha})\) of those triangles.
An empty triangle of P is a triangle spanned by P
not containing any point of P in its interior. Bárány conjectured that there exists an edge
spanned by P that is incident to a super-constant number of empty triangles of P. The number of empty triangles
of P might be as low as \(\Theta(n^2)\); in such a case, on average, every edge spanned by P is incident to a constant number
of empty triangles. The conjecture of Bárány suggests that for the class of empty triangles the above upper bound
might not hold. In this paper we show that, somewhat surprisingly,
the above upper bound does in fact hold for empty triangles.
Specifically, we show that for any integer n and real number \(0\leq \alpha \leq 1\) there exists a point set of size n with \(\Theta(n^{3-\alpha})\) empty triangles such that any point of the plane is only in \(O(n^{3-2\alpha})\) empty triangles.
期刊介绍:
Acta Mathematica Hungarica is devoted to publishing research articles of top quality in all areas of pure and applied mathematics as well as in theoretical computer science. The journal is published yearly in three volumes (two issues per volume, in total 6 issues) in both print and electronic formats. Acta Mathematica Hungarica (formerly Acta Mathematica Academiae Scientiarum Hungaricae) was founded in 1950 by the Hungarian Academy of Sciences.