arxiv: v1 [math.co] 25 Apr 2016

Transcription

1 On the zone complexity of a ertex Shira Zerbib arxi: [math.co] 25 Apr 206 April 26, 206 Abstract Let L be a set of n lines in the real projectie plane in general position. We show that there exists a ertex AL such that is positioned in a face of size at most 5 in the arrangement obtained by remoing the two lines passing through. Introduction Let L be a set of n lines in the real projectie plane in general position i.e., no three of which pass through the same point, and let AL be the planar arrangement of ertices, edges and faces determined by L. The zone Zl of a line l L is defined as the collection of faces supported by l. The complexity Cl of the zone of l is the sum of the sizes of all the faces in AL\{l} which contain a segment of l. The zone theorem asserts that Cl 5.5n + O, and that this bound is tight [2]. This was an improement of the upper bound of 6n gien in [] and [4]. A natural and interesting question that arises is whether the bound gien by the zone theorem can be improed on aerage. Namely, we ask: Question. Let L be a set of n lines in the real projectie plane in general position. Is it true that n l LCl cn, where c is a positie constant strictly smaller than 5.5? Looking for supporting eidence to a positie answer to Question, we were naturally led to define the notion of the zone complexity of a ertex. For a ertex AL, let l,l 2 be the two lines passing through. We define the zone Z of as the collection of four faces containing. The complexity C of the zone of is defined as the size of the face in the arrangement AL\{l,l 2 } which contains the position of in the plane. Let CL denote the minimal ertex zone complexity in AL. An easy consequence of the zone theorem is that eery line l L passes through a ertex with C 7 see Section 2 for a proof of this claim. This shows in particular that CL 7 for any arrangement L. Now, if the answer to Question is positie, it will similarly indicate that there must be a ertex AL such that C < 7, i.e., CL < 7. Our main result shows that this is indeed the case, namely we proe the following: Theorem. For eery set L of n lines in the real projectie plane in general position, CL 5. Department of Mathematics, Technion Israel Institute of Technology, Haifa 2000, Israel. zgshira@tx.technion.ac.il.

2 Recall the standard representation of the real projectie plane as a quotient space of the sphere, where any two antipodal points are identified. In this model, lines are represented by great circles on the sphere, and the crossing point of two lines is the pair of antipodal points at which the two respectie great circles meet. The notions of the zone of a ertex and its complexity are translated on the sphere in an obious way. Thus for a set L of n great circles on the sphere in general position we can define the minimal ertex complexity CL as aboe. Translating Theorem, we can state our main result in the following equialent way: Theorem 2. For eery set L of n great circles on the sphere in general position, CL 5. Theorem 2 is proed in Section. Moreoer, in Section 4 we gie an example of a set of lines L in the real projectie plane for which eery ertex AL has C 5, which shows that the bound gien in Theorem is tight. Note that since the zone theorem gies a tight upper bound on the line zone complexity, the upper bound gien in Theorem cannot be achieed using the zone theorem by considering each line indiidually. Therefore Theorem may suggest that the answer to Question is positie. 2 An upper bound on CL using the zone theorem The notion of the zone complexity of a ertex is closely related to that of the zone complexity of a line. In fact, the zone complexity Cl of a line l can be expressed in terms of the zone complexities of the ertices that lie on l. In the following proposition we calculate this relation and proe, using the zone theorem, that CL 7. Proposition. For eery set L of n lines in the real projectie plane in general position, CL 7. Proof. We write l if lies on l that is, if l passes through, and let f be the size of a face f. The relation between the sizes of the faces in Zl and the sizes of the faces in the zones of the ertices that lie on l is gien in the following equation: f = 2 f. l f Z Obsere that for eery ertex AL, f Z f Zl f = C+2. 2 Indeed, since contributes 4 to f Z f and each of the 4 ertices adjacent to contributes 2 to f Z f, and its neighbors contribute 2. Now, since the number of ertices that lie on l is n, 2 implies f = C+2n. l l f Z On the other hand, it is easy to see that f Zl f = Cl+4n. 4 2

3 Therefore, combining, and 4 we get the following relation between the zone complexity of a line l and the zone complexities of the ertices that lie on it: Cl = C+2n. 5 2 Finally, set rl := min l C. From 5 and the zone theorem we get that l n rl+2n Cl 5.5n +O. 6 2 Since the constant O in the zone theorem is actually negatie it equals ; see the proof of Theorem in [2], it follows from 6 that rl 7 for all n. Hence eery line in L passes through a ertex with C 7, and in particular CL 7, as claimed. Proof of Theorem 2 Throughout the proof we use the term 4-multiset to describe a multiset of cardinality 4. We begin by proing an elementary technical lemma which will play a crucial role in the sequel. Lemma. Let K = {k,k 2,k,k 4 } be a 4-multiset of integers with the following properties:. k i for i =,2,,4. 2. At most two of the elements in K equal.. 4 i= k i 8. Then 4 i= k i k i < if and only if K is one of the following 4-multisets: {,,4,8}, {,,4,9}, {,,4,0}, {,,4,}, {,,5,7}. Proof. Let K = {k,k 2,k,k 4 } be a 4-multiset with the aboe properties. Then 4 i= k i k i < if and only if 4 i= k i >. Change the order in K such that k k 2 k k 4. It follows from Property 2 that k 4. Moreoer, k 4 6 or k 5, since otherwise 4 i= k i = 7 in contradiction to Property. If k 2 4 we hae 4 i= k i =. Thus 4 i= k i > implies k = k 2 =. It is now straightforward to erify that there are only 5 possibilities for {k,k 4 }: {4,8}, {4,9}, {4,0}, {4,} or {5,7}, as claimed. Let L be a set of n great circles in general position on the sphere. In order to proe that CL 5 we need to show that there exists a ertex AL such that C 5. Assume to the contrary that eery ertex AL has C 6. By 2, this assumption is equialent to f 8 7 f Z

4 for eery. Denote by V the number of ertices, by E the number of edges, and by F the number of faces in the planar arrangement AL. By Euler s formula, we hae V E+F = 2. For eery k denote by f k the number of faces in AL of size k. We obsere that 4V = 2E = kf k and F = f k. Therefore, 6 = V +E +2E F = V +2V + kf k f k = V + k f k. 8 We are going now to use the discharging method. The discharging method is a technique often used to proe statements in structural graph theory, and is commonly applied in the context of planer graphs for a reiew on the discharging method and some of its applications see [5], []. Our plan is to assign to eery face and ertex of the arrangement AL an initial charge, such that the sum of all assigned charges is negatie. Then we redistribute discharge the charges in two steps, such that after these two steps eery face and ertex in AL will hae a nonnegatie charge. It will thus follow that the total initial charge is nonnegatie, which is a contradiction. Step [initial charging]: We begin by assigning a charge w to the faces and ertices of the arrangement AL: The charge of a face of size k is k, while the charge of each ertex is. It follows from 8 that the oerall charge is 6. of Step 2 [discharging the faces]: For eery k, eery face f of size k contributes a charge w f k = k k to each of its k ertices. After this step the charge of each face is 0. Denote by w 2 the charge of the ertices after Step 2. For a ertex AL denote by K the 4-multiset of the sizes of the faces in Z. Proposition 2. Let be a ertex in AL. Then w 2 < 0 if and only if K is one of the following: {,,4,8}, {,,4,9}, {,,4,0}, {,,4,} or {,,5,7}. Proof. If we exclude the case n for which Theorem 2 is triial, two faces of size cannot share an edge. Hence there are at most two faces of size in Z. In addition, by 7, f Z f 8. Therefore the 4-multiset K satisfies the conditions of Lemma. We deduce that f f Z f < if and only if K is one of the fie 4-multisets listed in the proposition. The result follows now since w 2 = + f Z f. f We say that two ertices and u are neighbors if {,u} is an edge in AL. For a ertex u AL such that w 2 u 0, denote by V u the set of all ertices in AL with the following two properties:. w 2 < 0, and 2. and u are neighbors, or and u are opposite ertices in a face of size 4. 4

5 Step [discharging ertices with positie charge]: A ertex u L such that w 2 u 0 and Vu φ contributes a charge of w 2u to each one of the ertices in Vu. Denote by w the V u charge of the ertices after Step. The next proposition completes the proof of Theorem 2: Proposition. For eery ertex AL, w 0. Proof. Clearly, w 2 0 implies w 0. We show that w 0 also in the case w 2 < 0. Let AL be a ertex such that w 2 < 0. By Proposition 2, K is one of the following: {,,4,8}, {,,4,9}, {,,4,0}, {,,4,} or {,,5,7}. We split into two cases: Case. K = {,,4,k} for some 8 k. In this case w = 8. k 7 k u 5 k 2 4 u 2 k u u 4 k 4 8 k 8 k 6 Figure : The local neighborhood of in Case. Figure illustrates the local neighborhood of, i.e., k i i =,...,8 denote the sizes of the faces f i in this neighborhood, and u i i =,...,5 denote the ertices. Note that k 4 and k 4 4 because f and f 4 share an edge with a face of size. Moreoer, k 4. Indeed, if k = then f is supported by the antipodal ertex of u 4, hence L contains only 4 great circles which is a contradiction to k 8 8 see Figure 2. A symmetric argument yields k 2 4. Therefore, by Proposition 2, w 2 0, w 2 u 2 0 and w 2 u 5 0, as the zone of each contains at most one face of size. Obsere that,u 2,u,u 4 are neighbors of, and that u 5 and are opposite ertices in a face of size 4. Therefore, for eery i 5, if w 2 u i 0 then V u i. We shell now consider separately 4 possible subcases: Subcase.. w 2 u < 0 and w 2 u 4 < 0. By Proposition 2, = k 6 = and k = k 4 = 4. Hence, by 7, we hae k 7 and k 2 7. Therefore, w 2 u = 28. We claim that V u 5. Indeed, since V u 5 we hae to show that there are at most two more ertices in V u 5. We hae w 2,w 2 u 2 0, and hence,u 2 / V u 5. Moreoer, k,k 2 7, 5

6 k 7 u 4 k = u 5 k 2 4 u 2 k u 8 k 8 u 4 k 4 k 6 Figure 2: If k = the antipodal ertex of u 4 supports f. so k,k 2 4, and thus none of the ertices in f and f 2 is an opposite ertex to u 5 in a face of size 4. There are three options: If k 7 = then at most two ertices of f are in V u 5 the two neighbors of u 5, and if k 7 = 4 then at most one ertex of f is in V u 5 the opposite ertex to u 5. In both cases the neighbors of u 5 hae a positie weight by Proposition 2, and hence they are not in V u 5. Finally, if k 7 5 none of the ertices of f is in V u 5, and the claim is proed see Figure. Since V u 5, we hae w w 2 + w 2u 5 V u = 68 > 0, as claimed. Subcase.2. w 2 u < 0 and w 2 u 4 0. By Proposition 2, = and k = 4, and hence by 7, k 7. Similar arguments to those in Subcase. yield Vu, Vu 2 2, Vu 4 and Vu 5. Since Vu Vu 2 Vu 4 Vu 5, we hae w = w 2 + w 2 Vu + w 2u 2 Vu + w 2u 4 2 Vu k 4 + = k2 6 k 2 k 4 + k 6 + k 6 k6 + k 4 k w 2u 5 V u k 2 k 2 + k 4 k k 2 k 6 k 2 + k 7 k 7 + k 7 k 7. 9 By 7 k 2 + k 4. Therefore the right hand side of 9 is minimal when k 6 = k 7 = and {k 2,k 4 } = {4,7}. We conclude that as claimed. w = 7 42 > 0, 6

7 k 7 = k 7 = 4 k 7 u 5 k 2 7 k 7 u 5 k 2 7 k = 4 4 u 2 k 4 = 4 k = 4 4 u 2 k 4 = 4 8 k 8 = k 6 = a 8 k 8 = k 6 = b k 7 5 k 7 u 5 k 2 7 k = 4 4 u 2 k 4 = 4 8 k 8 = k 6 = c Figure : Three different possible scenarios in Subcase., in which V u 5. Vertices with w 2 0 are marked by empty circles, while ertices which might hae w 2 < 0 are marked by full black circles. Subcase.. w 2 u 0 and w 2 u 4 < 0. This subcase is symmetric to Subcase.2. Subcase.4. w 2 u 0 and w 2 u 4 0. Here V 2, V u 2 2, V u, V u 4, and 7

8 V u 5. Since 5 i= V u i, we hae w = w 2 + w 2 V w 2u 2 V u 2 + w 2u V u k + k k k k k w 2u 4 V k + k 2 + k 7 k k 2 k 7 = k + k 2 + k + k k k 2 k k 4 Consider the expression k k + k 2 k 2 u 4 + w 2u 5 V u k 2 + k 4 k 2 k k 4 + k 6 k 4 k 6 + k k k5 + k 6 k 6 + k 7 k k 4 k 4. Recall that from 7, k + k and k 2 + k 4, and that k i 4 for i =,2,,4. Thus, if at least one of, k 6, k 7 is greater than or equal to 4, attains its minimum when {k,k } = {k 2,k 4 } = {4,7}. Therefore, in 0, w = 68 > 0, as claimed. Now, assume = k 6 = k 7 =. As w 2 u 0 and w 2 u 4 0, we hae that k 5 and k 4 5 by Proposition 2. Moreoer, since k 7 =, 7 implies also that k +k 2. Thus, {k,k 2,k,k 4 } has to be one of the following: {k 4,k 2 7,k 7,k 4 5}, {k 5,k 2 6,k 6,k 4 5}, {k 6,k 2 5,k 5,k 4 6}, {k 6,k 2 6,k 5,k 4 5}, or {k 7,k 2 4,k 5,k 4 7}. A direct calculation shows that in each one of these options is strictly greater than 20. Therefore, in 0, as claimed. This completes the proof in Case. Case 2. K = {,,5,7}. In this case w > = 0, w 2 = = 5. Figure 4 illustrates the local neighborhood of, i.e., k i i =,...,6 denote the sizes of the faces f i in this neighborhood, and u i i =,...,4 denote the ertices. Obsere that,u 2,u,u 4 are neighbors of. Therefore, for eery i 4, if w 2 u i 0 then V u i. We shell show that the charge that receies in Step from the neighbors to its left and/or u is greater than 70. Symmetric arguments will show that also receies such a charge from the ertices to its right u 2 and/or u 4. Therefore, we shell get that w > w = = 0, 8

9 k k 2 5 u 2 k k 4 u 7 u 4 k 6 Figure 4: The local neighborhood of in Case 2. as required. To this end we consider possible subcases: Subcase 2.. w 2 < 0 and w 2 u 0. By Proposition 2, k = and k = 7. Hence, w 2 u = 7. Moreoer, Vu 4 and Vu. Therefore in Step the charge that u contributes to is w 2 u V u 4 7 = 28 > 70. Subcase 2.2. w 2 0 and w 2 u < 0. By Proposition 2, k = 5 and =, hence 7 implies k 5. Thus, w = 5. Obsere that V 4 and that V. Therefore in Step contributes to a charge of w 2 V 4 5 = 20 > 70, as well. Subcase 2.. w 2 0 and w 2 u 0. We first claim that Vu. Indeed, since Vu we hae to show that there are at most two more ertices in Vu. We hae w 2 u 0, thus u / Vu. Consider three options: If k = then by 7 and Proposition 2, k 8, and therefore there are at most two more ertices in Vu the two neighbors of that belong to f. If k = 4 then by Proposition 2, k 6, and hence there is at most one more ertex in Vu the opposite ertex to in f. Finally, consider the option k 5. Note that k 4 since f shares an edge with a face of size. Therefore f does not contribute any ertex to Vu. Thus, there is at most one more ertex in Vu the opposite ertex to in f, in case k 4 = 4. This proes the claim, and similar arguments yield Vu, as well see Figure 5. 9

10 k = k 8 u a 5 7 k 6 k = 4 u 5 7 b k 5 k 5 k = 4 u 5 7 k 5 u 5 7 c d Figure 5: Four different possible scenarios in Subcase 2., in which V. Vertices with w 2 0 are marked by empty circles, while ertices which might hae w 2 < 0 are marked by full black circles. of Next, we hae V V u, and therefore in Step and u contribute to an oerall charge w 2 V + w 2u V u k = k k k + + k + k k k k + k + Let us show that the right hand side of 2 is greater than 70. Note that k 4, since f shares an edge with a face of size. There are 4 possible options:. If k = 4 then by 7, k 6 and 4. Therefore the right hand side of 2 is at least = > If k = 5 then 7 implies k 5 and by Proposition 2, 4. Thus, the right hand side of 2 is at least = >

11 . If k = 6, we hae from 7 that k 4. Here the right hand side of 2 is at least = 420 > Finally, if k 7, the right hand side of 2 is at least = 4 05 > 70. To complete the proof in Case 2, note that the subcase where both w 2 < 0 and w 2 u < 0 is not possible, since by Proposition 2 it yields 5 = k = 7, which is absurd. This concludes the proof of Theorem 2. 4 The upper bound of 5 on CL is tight In Figure 6 we gie an example of a set L of 0 lines in the real projectie plane in general position, such that eery ertex AL has C 5. The planar arrangement AL has 45 ertices, 0 faces of size, 6 faces of size 5 and 0 faces of size 6. There are two types of ertices in AL: 0 ertices with K = {,,5,6} for which C = 5, and 5 ertices with K = {,,6,6} for which C = 6. This example shows that the upper bound of 5 on CL gien in Theorem 2 is tight. Remark. The example in Figure 6 is the only example we found of an arrangement L with CL = 5. It would be interesting to know whether there are general such examples, or that the upper bound gien in Theorem can actually be improed for large enough n. Acknowledgments. The author is grateful to Rom Pinchasi for many aluable discussions. References [] E. Ackerman, K. Buchin, C. Knauer, R. Pinchasi, and G. Rote, There are not too many Magic Configurations, Disc. and Comp. Geom. 9, 2008, 6. [2] M. Bern, D. Eppstein, P. Plassmann and F. Yao, Horizon theorems for lines and polygons, in Discrete and Computational Geometry: Papers from the DIMACS Special Year J. E. Goodman, R. Pollack and W. L. Steiger, editors, AMS, Proidence, RI, 99, pp [] B. Chazelle, L. Guibas and D. T. Lee, The power of geometric duality, BIT 25, 985, pp [4] H. Edelsbrunner, J. O Rourke and R. Seidel, Constructing arrangements of lines and hyperplanes with applications, in SIAM J. Comput. 5, 986, pp [5] R. Radoičić, G. Tóth, The discharging method in combinatorial geometry and its application to Pach-Sharir conjecture on intersection graphs, in: J.E. Goodman, J. Pach, J. Pollack Eds., Proceedings of the Joint Summer Research Conference on Discrete

12 and Computational Geometry, Contemporary Mathematics, AMS, Proidence, 2008, pp

13 Figure 6: A set L of 0 lines such that eery ertex AL has C 5.