Discrete Mathematics ( IF 0.8 ) Pub Date : 2021-03-01 , DOI: 10.1016/j.disc.2021.112354 Micha Sharir , Chen Ziv
A classical open problem in combinatorial geometry is to obtain tight asymptotic bounds on the maximum number of -level vertices in an arrangement of hyperplanes in (vertices with exactly of the hyperplanes passing below them). This is essentially a dual version of the -set problem, which, in a primal setting, seeks bounds for the maximum number of -sets determined by points in , where a -set is a subset of size that can be separated from its complement by a hyperplane. The -set problem is still wide open even in the plane. In three dimensions, the best known upper and lower bounds are, respectively, (Sharir et al., 2001) and (Tóth, 2001).
In its dual version, the problem can be generalized by replacing hyperplanes by other families of surfaces (or curves in the planes). Reasonably sharp bounds have been obtained for curves in the plane (Sharir and Zahl, 2017 [20]; Tamaki and Tokuyama, 2003), but the known upper bounds are rather weak for more general surfaces, already in three dimensions, except for the case of triangles (Agarwal et al., 1998). The best known general bound, due to Chan (2012) [6], is , for families of surfaces that satisfy certain (fairly weak) properties.
In this paper we consider the case of pseudoplanes in (defined in detail in the introduction), and establish the upper bound for the number of -level vertices in an arrangement of pseudoplanes. The bound is obtained by establishing suitable (and nontrivial) extensions of dual versions of classical tools that have been used in studying the primal -set problem, such as the Lovász Lemma and the Crossing Lemma.
中文翻译:
关于复杂性 平面在伪平面上的排列
组合几何学中的经典开放问题是获得最大个数上的紧渐近界 -以以下方式排列的水平顶点 超飞机 (顶点与 在它们下面通过的超平面的数量)。这本质上是-问题集,在原始情况下,它寻求最大数量的界限-套由下式确定 点入 ,其中 -set是大小的子集 可以通过超平面将其与其补体分开。这设置问题即使在飞机上也仍然敞开。在三个维度上,最知名的上限和下限分别是 (Sharir et al。,2001)和 (2001年,托特)。
在其双重版本中,可以通过用其他系列的曲面(或平面中的曲线)替换超平面来推广该问题。在平面上的曲线上已经获得了合理的尖锐边界(Sharir和Zahl,2017 [20]; Tamaki和Tokuyama,2003),但是对于更一般的曲面,已知的上限已经很弱了,除了三维外,已经存在三个维度三角形(Agarwal et al。,1998)。由于Chan(2012)[6],最著名的一般界是,用于满足某些(相当弱)特性的表面族。
在本文中,我们考虑的情况下pseudoplanes在 (在引言中详细定义),并确定上限 对于的数量 顶点的排列 伪平面。通过建立用于研究原始模型的经典工具的双重版本的适当(且不平凡的)扩展来获得边界问题,例如Lovász引理和Crossing Lemma。