arxiv: v1 [math.co] 25 Apr 2016
|
|
- Jerome Weaver
- 6 years ago
- Views:
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.
arxiv: v2 [math.co] 12 Jul 2009
A Proof of the Molecular Conjecture Naoki Katoh and Shin-ichi Tanigawa arxi:0902.02362 [math.co] 12 Jul 2009 Department of Architecture and Architectural Engineering, Kyoto Uniersity, Kyoto Daigaku Katsura,
More informationThe Evolution of Grötzsch s Theorem
The Eolution of Grötzsch s Theorem Lauren DeDieu September 26, 2011 A thesis submitted in partial fulfillment of the requirements for MATH 490, in the department of Mathematics, Physics and Geology, Cape
More informationUnit 11: Vectors in the Plane
135 Unit 11: Vectors in the Plane Vectors in the Plane The term ector is used to indicate a quantity (such as force or elocity) that has both length and direction. For instance, suppose a particle moes
More informationThe adjacent vertex-distinguishing total chromatic number of 1-tree
The adjacent ertex-distinguishing total chromatic number of 1-tree Haiying Wang The School of Information Engineering China Uniersity of Geosciences(Beijing) Beijing 100083, P.R.China Abstract Let G =
More informationAn Explicit Lower Bound of 5n o(n) for Boolean Circuits
An Eplicit Lower Bound of 5n o(n) for Boolean Circuits Kazuo Iwama, Oded Lachish, Hiroki Morizumi, and Ran Raz Graduate School of Informatics, Kyoto Uniersity, Kyoto, JAPAN {iwama, morizumi}@kuis.kyoto-u.ac.jp
More informationThe Random Edge Rule on Three-Dimensional Linear Programs 1 (extended abstract)
arxi:math/03010761 [math.co] 9 Jan 2003 The Random Edge Rule on Three-Dimensional Linear Programs 1 (extended abstract) Volker Kaibel 2 Rafael Mechtel 2 Micha Sharir 3 Günter M. Ziegler 2 October 10, 2017
More informationOptimization Problems in Multiple Subtree Graphs
Optimization Problems in Multiple Subtree Graphs Danny Hermelin Dror Rawitz February 28, 2010 Abstract We study arious optimization problems in t-subtree graphs, the intersection graphs of t- subtrees,
More informationA Note on Smaller Fractional Helly Numbers
A Note on Smaller Fractional Helly Numbers Rom Pinchasi October 4, 204 Abstract Let F be a family of geometric objects in R d such that the complexity (number of faces of all dimensions on the boundary
More informationThe optimal pebbling number of the complete m-ary tree
Discrete Mathematics 222 (2000) 89 00 www.elseier.com/locate/disc The optimal pebbling number of the complete m-ary tree Hung-Lin Fu, Chin-Lin Shiue Department of Applied Mathematics, National Chiao Tung
More informationarxiv: v3 [math.co] 20 Sep 2016
PLANAR GRAPHS ARE 9/-COLORABLE DANIEL W. CRANSTON AND LANDON RABERN arxi:0.7 [math.co] 0 Sep 06 Abstract. We show that eery planar graph G has a -fold 9-coloring. In particular, this implies that G has
More informationLecture 1. 1 Overview. 2 Maximum Flow. COMPSCI 532: Design and Analysis of Algorithms August 26, 2015
COMPSCI 532: Design and Analysis of Algorithms August 26, 205 Lecture Lecturer: Debmalya Panigrahi Scribe: Allen Xiao Oeriew In this lecture, we will define the maximum flow problem and discuss two algorithms
More informationDECOMPOSING 4-REGULAR GRAPHS INTO TRIANGLE-FREE 2-FACTORS
SIAMJ.DISCRETE MATH. c 1997 Society for Industrial and Applied Mathematics Vol. 10, No. 2, pp. 309 317, May 1997 011 DECOMPOSING 4-REGULAR GRAPHS INTO TRIANGLE-FREE 2-FACTORS EDWARD BERTRAM AND PETER HORÁK
More informationLecture J. 10 Counting subgraphs Kirchhoff s Matrix-Tree Theorem.
Lecture J jacques@ucsd.edu Notation: Let [n] [n] := [n] 2. A weighted digraph is a function W : [n] 2 R. An arborescence is, loosely speaking, a digraph which consists in orienting eery edge of a rooted
More informationACYCLIC WEAK CONVEX DOMINATION IN GRAPHS
International Journal of Mathematics & Engineering with Computers Vol 2, No -2, pp 65-72, January-December 20 ACYCLIC WEAK CONVEX DOMINATION IN GRAPHS TN Janakiraman, and PJA Alphonse ABSTRACT: In a graph
More informationarxiv: v1 [math.gt] 2 Nov 2010
CONSTRUCTING UNIVERSAL ABELIAN COVERS OF GRAPH MANIFOLDS HELGE MØLLER PEDERSEN arxi:101105551 [mathgt] 2 No 2010 Abstract To a rational homology sphere graph manifold one can associate a weighted tree
More informationTHE MINIMUM MATCHING ENERGY OF BICYCLIC GRAPHS WITH GIVEN GIRTH
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 46, Number 4, 2016 THE MINIMUM MATCHING ENERGY OF BICYCLIC GRAPHS WITH GIVEN GIRTH HONG-HAI LI AND LI ZOU ABSTRACT. The matching energy of a graph was introduced
More informationSampling Binary Contingency Tables with a Greedy Start
Sampling Binary Contingency Tables with a Greedy Start Iona Bezákoá Nayantara Bhatnagar Eric Vigoda Abstract We study the problem of counting and randomly sampling binary contingency tables. For gien row
More informationScalar multiplication and algebraic direction of a vector
Roberto s Notes on Linear Algebra Chapter 1: Geometric ectors Section 5 Scalar multiplication and algebraic direction of a ector What you need to know already: of a geometric ectors. Length and geometric
More informationarxiv: v1 [cs.dm] 21 Oct 2017
Eliminating Odd Cycles by Remoing a Matching Carlos V.G.C. Lima 1,, Dieter Rautenbach 2,, Uéerton S. Souza 3,, and Jayme L. Szwarcfiter 4 1 Departament of Coputer Science, Federal Uniersity of Minas Gerais,
More informationTwo Proofs for Sylvester s Problem Using an Allowable Sequence of Permutations
Combinatorial and Computational Geometry MSRI Publications Volume 52, 2005 Two Proofs for Sylvester s Problem Using an Allowable Sequence of Permutations HAGIT LAST Abstract. The famous Sylvester s problem
More informationNew Upper Bounds for the Heights of Some Light Subgraphs in 1-Planar Graphs with High Minimum Degree
New Upper Bounds for the Heights of Some Light Subgraphs in 1-Planar Graphs with High Minimum Degree Xin Zhang, Jian-Liang Wu, Guizhen Liu To cite this ersion: Xin Zhang, Jian-Liang Wu, Guizhen Liu. New
More informationRapidly mixing Markov chains
Randomized and Approximation Algorithms Leonard Schulman Scribe: Rajneesh Hegde Georgia Tech, Fall 997 Dec., 997 Rapidly mixing Marko chains Goal: To sample from interesting probability distributions.
More informationDistributed Weighted Vertex Cover via Maximal Matchings
839 Distributed Weighted Vertex Coer ia Maximal Matchings Fabrizio Grandoni 1, Jochen Könemann 2, and Alessandro Panconesi 1 1 Dipartimento di Informatica, Uniersità di Roma La Sapienza Via Salaria 113,
More informationThe Riemann-Roch Theorem: a Proof, an Extension, and an Application MATH 780, Spring 2019
The Riemann-Roch Theorem: a Proof, an Extension, and an Application MATH 780, Spring 2019 This handout continues the notational conentions of the preious one on the Riemann-Roch Theorem, with one slight
More informationPyramidal Sum Labeling In Graphs
ISSN : 48-96, Vol 8, Issue 4, ( Part -I) April 8, pp-9 RESEARCH ARTICLE Pyramidal Sum Labeling In Graphs OPEN ACCESS HVelet Getzimah, D S T Ramesh ( department Of Mathematics, Pope s College, Sayerpuram-68,Ms
More informationThe Simplex Algorithm in Dimension Three 1
The Simplex Algorithm in Dimension Three 1 Volker Kaibel 2 Rafael Mechtel 3 Micha Sharir 4 Günter M. Ziegler 3 Abstract We inestigate the worst-case behaior of the simplex algorithm on linear programs
More informationarxiv: v1 [math.co] 10 Jun 2018
Some Mixed Graphs Determined by arxi:1806.036341 [math.co] 10 Jun 2018 Their Spectrum S. Akbari a, A. Ghafari a, M. Nahi b and M.A. Nematollahi a a Department of Mathematical Sciences, Sharif Uniersity
More informationOn diamond-free subposets of the Boolean lattice
On diamond-free subposets of the Boolean lattice Lucas Kramer, Ryan R Martin, Michael Young 2 Department of Mathematics, Iowa State Uniersity, Ames, Iowa 500 Abstract The Boolean lattice of dimension two,
More informationarxiv: v1 [math.pr] 25 Jun 2015
Random walks colliding before getting trapped Louigi Addario-Berry Roberto I. Olieira Yual Peres Perla Sousi ari:156.78451 math.pr 25 Jun 215 Abstract Let P be the transition matrix of a finite, irreducible
More informationTheory of Network Communication
Theory of Network Communication Dr. Christian Scheideler Johns Hopkins Uniersity, Sept. 9 2002 Introduction The goal of this lecture is to gie an introduction to the state of the art in the theory of network
More informationOn Lines and Joints. August 17, Abstract
On Lines and Joints Haim Kaplan Micha Sharir Eugenii Shustin August 17, 2009 Abstract Let L be a set of n lines in R d, for d 3. A joint of L is a point incident to at least d lines of L, not all in a
More informationOn the Linear Threshold Model for Diffusion of Innovations in Multiplex Social Networks
On the Linear Threshold Model for Diffusion of Innoations in Multiplex Social Networks Yaofeng Desmond Zhong 1, Vaibha Sriastaa 2 and Naomi Ehrich Leonard 1 Abstract Diffusion of innoations in social networks
More informationComputing Laboratory A GAME-BASED ABSTRACTION-REFINEMENT FRAMEWORK FOR MARKOV DECISION PROCESSES
Computing Laboratory A GAME-BASED ABSTRACTION-REFINEMENT FRAMEWORK FOR MARKOV DECISION PROCESSES Mark Kattenbelt Marta Kwiatkowska Gethin Norman Daid Parker CL-RR-08-06 Oxford Uniersity Computing Laboratory
More informationBc. Dominik Lachman. Bruhat-Tits buildings
MASTER THESIS Bc. Dominik Lachman Bruhat-Tits buildings Department of Algebra Superisor of the master thesis: Study programme: Study branch: Mgr. Vítězsla Kala, Ph.D. Mathematics Mathematical structure
More informationMeasure and Conquer: A Simple O( n ) Independent Set Algorithm
Measure and Conquer: A Simple O(2 0.288n ) Independent Set Algorithm Fedor V. Fomin 1, Fabrizio Grandoni 2, and Dieter Kratsch 3 1 Department of Informatics, Uniersity of Bergen, N-5020 Bergen, Norway,
More informationCHARACTERISING VERTEX-STAR TRANSITIVE AND EDGE-STAR TRANSITIVE GRAPHS
CHARACTERISING VERTEX-STAR TRANSITIVE AND EDGE-STAR TRANSITIVE GRAPHS MICHAEL GIUDICI, CAI HENG LI, ÁKOS SERESS, AND ANNE THOMAS Dedicated to our friend, colleague and coauthor Ákos Seress who passed away
More informationOn Regular Vertices of the Union of Planar Convex Objects
On Regular Vertices of the Union of Planar Convex Objects Esther Ezra János Pach Micha Sharir Abstract Let C be a collection of n compact convex sets in the plane, such that the boundaries of any pair
More informationChords in Graphs. Department of Mathematics Texas State University-San Marcos San Marcos, TX Haidong Wu
AUSTRALASIAN JOURNAL OF COMBINATORICS Volme 32 (2005), Pages 117 124 Chords in Graphs Weizhen G Xingde Jia Department of Mathematics Texas State Uniersity-San Marcos San Marcos, TX 78666 Haidong W Department
More information6.1.1 Angle between Two Lines Intersection of Two lines Shortest Distance from a Point to a Line
CHAPTER 6 : VECTORS 6. Lines in Space 6.. Angle between Two Lines 6.. Intersection of Two lines 6..3 Shortest Distance from a Point to a Line 6. Planes in Space 6.. Intersection of Two Planes 6.. Angle
More informationHölder-type inequalities and their applications to concentration and correlation bounds
Hölder-type inequalities and their applications to concentration and correlation bounds Christos Pelekis * Jan Ramon Yuyi Wang Noember 29, 2016 Abstract Let Y, V, be real-alued random ariables haing a
More informationA spectral Turán theorem
A spectral Turán theorem Fan Chung Abstract If all nonzero eigenalues of the (normalized) Laplacian of a graph G are close to, then G is t-turán in the sense that any subgraph of G containing no K t+ contains
More informationBalanced Partitions of Vector Sequences
Balanced Partitions of Vector Sequences Imre Bárány Benjamin Doerr December 20, 2004 Abstract Let d,r N and be any norm on R d. Let B denote the unit ball with respect to this norm. We show that any sequence
More informationOn Some Distance-Based Indices of Trees With a Given Matching Number
Applied Mathematical Sciences, Vol. 8, 204, no. 22, 6093-602 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/0.2988/ams.204.48656 On Some Distance-Based Indices of Trees With a Gien Matching Number Shu
More informationOn (a, d)-vertex-antimagic total labeling of Harary graphs
On (a, d)-ertex-antimagic total labeling of Harary graphs M. Hussain 1, Kashif Ali 1, M. T. Rahim, Edy Tri Baskoro 3 1 COMSATS Institute of Information Technology, Lahore Campus, Pakistan {muhammad.hussain,kashif.ali}@ciitlahore.edu.pk
More informationInternational Journal of Scientific & Engineering Research, Volume 7, Issue 11, November-2016 ISSN Nullity of Expanded Smith graphs
85 Nullity of Expanded Smith graphs Usha Sharma and Renu Naresh Department of Mathematics and Statistics, Banasthali Uniersity, Banasthali Rajasthan : usha.sharma94@yahoo.com, : renunaresh@gmail.com Abstract
More informationImproved Bounds on the L(2, 1)-Number of Direct and Strong Products of Graphs
IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I: REGULAR AERS VOL. ***, NO. ***, *** 2007 Improed Bounds on the L(2, )-Number of Direct and Strong roducts of Graphs Zhendong Shao, Sandi Klažar, Daid Zhang,
More informationNP and NP-Completeness
0/2/206 Algorithms NP-Completeness 7- Algorithms NP-Completeness 7-2 Efficient Certification NP and NP-Completeness By a solution of a decision problem X we understand a certificate witnessing that an
More informationIncidence theorems for pseudoflats
Incidence theorems for pseudoflats Izabella Laba and József Solymosi May 25, 2005 Abstract We prove Pach-Sharir type incidence theorems for a class of curves in R n and surfaces in R 3, which we call pseudoflats.
More informationSpace Coordinates and Vectors in Space. Coordinates in Space
0_110.qd 11//0 : PM Page 77 SECTION 11. Space Coordinates and Vectors in Space 77 -plane Section 11. -plane -plane The three-dimensional coordinate sstem Figure 11.1 Space Coordinates and Vectors in Space
More informationFinal Exam (Solution) Economics 501b Microeconomic Theory
Dirk Bergemann and Johannes Hoerner Department of Economics Yale Uniersity Final Exam (Solution) Economics 5b Microeconomic Theory May This is a closed-book exam. The exam lasts for 8 minutes. Please write
More informationCovering a Chessboard with Staircase Walks
Covering a Chessboard with Staircase Walks Eyal Ackerman Rom Pinchasi July 22, 2013 Abstract An ascending (resp., descending) staircase walk on a chessboard is a rook s path that goes either right or up
More informationPolynomial-Solvability of N P-class Problems
Polynomial-Solability of N P-class Problems Anatoly Panyuko paniukoa@susu.ru arxi:1409.03755 [cs.cc] 24 Aug 2018 Abstract LetHamiltoniancomplement ofthegraphg = (V(G), E(G))betheminimal cardinality set
More informationThe Geometry and Topology of Groups
The Geometry and Topology of Groups Brent Eeritt ersion March 3, 2005 Contents 1. Clockwork topology. 2. From 2-complexes to groups. 3. From 2-complexes to groups: more adanced features. 4. Presentations.
More informationAlgorithms and Data Structures 2014 Exercises and Solutions Week 14
lgorithms and ata tructures 0 xercises and s Week Linear programming. onsider the following linear program. maximize x y 0 x + y 7 x x 0 y 0 x + 3y Plot the feasible region and identify the optimal solution.
More informationThe 9 th Romanian Master of Mathematics Competition
The 9 th Romanian Master of Mathematics Competition Day 1 Solutions Problem 1. (a) Proe that eery positie integer n can be written uniquely in the form 2k+1 n = ( 1) j 1 2 m j, j=1 where k 0 and 0 m 1
More informationLaplacian Energy of Graphs
Laplacian Energy of Graphs Sigma Xi Research Exhibition Claire T. Carney Library Uniersity of Massachusetts Dartmouth April 28 th & 29 th, 2009 Leanne R. Silia & Gary E. Dais Department of Mathematics
More informationChromatic characterization of biclique cover. Denis Cornaz. Jean Fonlupt. Equipe Combinatoire, UFR 921, Universite Pierre et Marie Curie, 4 place
Chromatic characterization of biclique coer Denis Cornaz France Telecom R&D, 38-40 rue du General Leclerc, Issy-les-Moulineaux 92794 Jean Fonlupt Equipe Combinatoire, UFR 921, Uniersite Pierre et Marie
More informationGraphs and Networks Lecture 5. PageRank. Lecturer: Daniel A. Spielman September 20, 2007
Graphs and Networks Lectre 5 PageRank Lectrer: Daniel A. Spielman September 20, 2007 5.1 Intro to PageRank PageRank, the algorithm reportedly sed by Google, assigns a nmerical rank to eery web page. More
More informationbe ye transformed by the renewing of your mind Romans 12:2
Lecture 12: Coordinate Free Formulas for Affine and rojectie Transformations be ye transformed by the reing of your mind Romans 12:2 1. Transformations for 3-Dimensional Computer Graphics Computer Graphics
More informationSzemerédi-Trotter theorem and applications
Szemerédi-Trotter theorem and applications M. Rudnev December 6, 2004 The theorem Abstract These notes cover the material of two Applied post-graduate lectures in Bristol, 2004. Szemerédi-Trotter theorem
More informationOn Empty Convex Polygons in a Planar Point Set
On Empty Convex Polygons in a Planar Point Set Rom Pinchasi Radoš Radoičić Micha Sharir March 21, 2005 Abstract Let P be a set of n points in general position in the plane. Let X k (P) denote the number
More informationOn empty convex polygons in a planar point set
Journal of Combinatorial Theory, Series A 113 (006 385 419 www.elsevier.com/locate/jcta On empty convex polygons in a planar point set Rom Pinchasi a,1, Radoš Radoičić a, Micha Sharir b,c a Department
More informationOn the tree cover number and the positive semidefinite maximum nullity of a graph
arxi:1810.09781 [math.co] Oct 018 On the tree coer number and the positie semidefinite maximum nullity of a graph Chassidy Bozeman Abstract For a simple graph G = (V,E), let S + (G) denote the set of real
More informationarxiv: v1 [cs.cg] 16 May 2011
Collinearities in Kinetic Point Sets arxiv:1105.3078v1 [cs.cg] 16 May 2011 Ben D. Lund George B. Purdy Justin W. Smith Csaba D. Tóth August 24, 2018 Abstract Let P be a set of n points in the plane, each
More informationLECTURE 2: CROSS PRODUCTS, MULTILINEARITY, AND AREAS OF PARALLELOGRAMS
LECTURE : CROSS PRODUCTS, MULTILINEARITY, AND AREAS OF PARALLELOGRAMS MA1111: LINEAR ALGEBRA I, MICHAELMAS 016 1. Finishing up dot products Last time we stated the following theorem, for which I owe you
More informationA possible mechanism to explain wave-particle duality L D HOWE No current affiliation PACS Numbers: r, w, k
A possible mechanism to explain wae-particle duality L D HOWE No current affiliation PACS Numbers: 0.50.-r, 03.65.-w, 05.60.-k Abstract The relationship between light speed energy and the kinetic energy
More informationPREPERIODIC POINTS OF POLYNOMIALS OVER GLOBAL FIELDS
PREPERIODIC POITS OF POLYOMIALS OVER GLOBAL FIELDS ROBERT L. BEEDETTO Abstract. Gien a global field K and a polynomial φ defined oer K of degree at least two, Morton and Silerman conjectured in 1994 that
More informationMath 144 Activity #9 Introduction to Vectors
144 p 1 Math 144 ctiity #9 Introduction to Vectors Often times you hear people use the words speed and elocity. Is there a difference between the two? If so, what is the difference? Discuss this with your
More informationADJACENT VERTEX DISTINGUISHING TOTAL COLORING OF GRAPHS WITH LOWER AVERAGE DEGREE. Weifan Wang and Yiqiao Wang
TAIWANESE JOURNAL OF MATHEMATICS Vol. 12, No. 4, pp. 979-990, July 2008 This paper is available online at http://www.tjm.nsysu.edu.tw/ ADJACENT VERTEX DISTINGUISHING TOTAL COLORING OF GRAPHS WITH LOWER
More informationSeparation by Convex Pseudo-Circles
Discrete and Computational Geometry manuscript No. (will be inserted by the editor) Separation by Convex Pseudo-Circles Nicolas Chevallier Augustin Fruchard Dominique Schmitt Jean-Claude Spehner Received:
More informationVoronoi Diagrams for Oriented Spheres
Voronoi Diagrams for Oriented Spheres F. Aurenhammer J. Wallner University of Technology Graz, Austria auren@igi.tugraz.at j.wallner@tugraz.at M. Peternell H. Pottmann University of Technology Vienna,
More informationMath 730 Homework 6. Austin Mohr. October 14, 2009
Math 730 Homework 6 Austin Mohr October 14, 2009 1 Problem 3A2 Proposition 1.1. If A X, then the family τ of all subsets of X which contain A, together with the empty set φ, is a topology on X. Proof.
More informationFinding Paths in Grids with Forbidden Transitions
Finding Paths in Grids with Forbidden Transitions M. M. Kanté 1, F. Z. Moataz 2,3, B. Momège 2,3, and N. Nisse 3,2 1 Uni. Blaise Pascal, LIMOS, CNRS, Clermont-Ferrand, France 2 Uni. Nice Sophia Antipolis,
More informationLecture 9: Random sampling, ɛ-approximation and ɛ-nets
CPS296.2 Geometric Optimization February 13, 2007 Lecture 9: Random sampling, -approximation and -nets Lecturer: Pankaj K. Agarwal Scribe: Shashidhara K. Ganjugunte In the next few lectures we will be
More informationNeighborly families of boxes and bipartite coverings
Neighborly families of boxes and bipartite coverings Noga Alon Dedicated to Professor Paul Erdős on the occasion of his 80 th birthday Abstract A bipartite covering of order k of the complete graph K n
More informationIN this paper we consider simple, finite, connected and
INTERNATIONAL JOURNAL OF MATHEMATICS AND SCIENTIFIC COMPUTING (ISSN: -5), VOL., NO., -Eqitable Labeling for Some Star and Bistar Related Graphs S.K. Vaidya and N.H. Shah Abstract In this paper we proe
More informationEnumeration of polyominoes with fixed perimeter defect. Andrei Asinowski. Gill Barequet, Yufei Zheng
Enumeration of polyominoes with fixed perimeter defect Andrei Asinowski (Vienna University of Technology) Gill Barequet, Yufei Zheng (Technion Israel Institute of Technology) A polyomino is a set of unit
More informationREGULI AND APPLICATIONS, ZARANKIEWICZ PROBLEM
REGULI AN APPLICATIONS, ZARANKIEWICZ PROBLEM One of our long-term goals is to pursue some questions of incidence geometry in R 3. We recall one question to direct our focus during this lecture. Question
More informationDynamic Vehicle Routing with Moving Demands Part II: High speed demands or low arrival rates
Dynamic Vehicle Routing with Moing Demands Part II: High speed demands or low arrial rates Stephen L. Smith Shaunak D. Bopardikar Francesco Bullo João P. Hespanha Abstract In the companion paper we introduced
More informationAlgorithms Demands and Bounds. Demands and Bounds. Design and Analysis of Algorithms Andrei Bulatov
Algorithms Demands and Bounds Demands and Bounds Design and Analysis of Algorithms Andrei Bulato Algorithms Demands and Bounds 1- Demands In our flow network model there is only 1 source and sink Can we
More informationXihe Li, Ligong Wang and Shangyuan Zhang
Indian J. Pre Appl. Math., 49(1): 113-127, March 2018 c Indian National Science Academy DOI: 10.1007/s13226-018-0257-8 THE SIGNLESS LAPLACIAN SPECTRAL RADIUS OF SOME STRONGLY CONNECTED DIGRAPHS 1 Xihe
More informationOn non-hamiltonian circulant digraphs of outdegree three
On non-hamiltonian circulant digraphs of outdegree three Stephen C. Locke DEPARTMENT OF MATHEMATICAL SCIENCES, FLORIDA ATLANTIC UNIVERSITY, BOCA RATON, FL 33431 Dave Witte DEPARTMENT OF MATHEMATICS, OKLAHOMA
More informationThe Overlay of Lower Envelopes and its Applications. March 16, Abstract
The Overlay of Lower Envelopes and its Applications Pankaj K. Agarwal y Otfried Schwarzkopf z Micha Sharir x March 16, 1996 Abstract Let F and G be two collections of a total of n (possibly partially-dened)
More informationOPTIMAL RESOLVABLE DESIGNS WITH MINIMUM PV ABERRATION
Statistica Sinica 0 (010), 715-73 OPTIMAL RESOLVABLE DESIGNS WITH MINIMUM PV ABERRATION J. P. Morgan Virginia Tech Abstract: Amongst resolable incomplete block designs, affine resolable designs are optimal
More information4. A Physical Model for an Electron with Angular Momentum. An Electron in a Bohr Orbit. The Quantum Magnet Resulting from Orbital Motion.
4. A Physical Model for an Electron with Angular Momentum. An Electron in a Bohr Orbit. The Quantum Magnet Resulting from Orbital Motion. We now hae deeloped a ector model that allows the ready isualization
More informationThe Brauer Manin obstruction
The Braer Manin obstrction Martin Bright 17 April 2008 1 Definitions Let X be a smooth, geometrically irredcible ariety oer a field k. Recall that the defining property of an Azmaya algebra A is that,
More informationThe Overlay of Lower Envelopes and its Applications Pankaj K. Agarwal y Otfried Schwarzkopf z Micha Sharir x September 1, 1994 Abstract Let F and G be
CS-1994-18 The Overlay of Lower Envelopes and its Applications Pankaj K. Agarwal Otfried Schwarzkopf Micha Sharir Department of Computer Science Duke University Durham, North Carolina 27708{0129 September
More informationIsoperimetric problems
CHAPTER 2 Isoperimetric problems 2.1. History One of the earliest problems in geometry was the isoperimetric problem, which was considered by the ancient Greeks. The problem is to find, among all closed
More informationInterval minors of complete bipartite graphs
Interval minors of complete bipartite graphs Bojan Mohar Department of Mathematics Simon Fraser University Burnaby, BC, Canada mohar@sfu.ca Arash Rafiey Department of Mathematics Simon Fraser University
More informationTowards Universal Cover Decoding
International Symposium on Information Theory and its Applications, ISITA2008 Auckland, New Zealand, 7-10, December, 2008 Towards Uniersal Coer Decoding Nathan Axig, Deanna Dreher, Katherine Morrison,
More informationOn resilience of distributed routing in networks under cascade dynamics
On resilience of distributed routing in networks under cascade dynamics Ketan Sala Giacomo Como Munther A. Dahleh Emilio Frazzoli Abstract We consider network flow oer graphs between a single origin-destination
More informationarxiv: v2 [math.co] 27 Aug 2016
On the Erdős-Szekeres convex polygon problem Andrew Suk arxiv:1604.08657v2 [math.co] 27 Aug 26 Abstract Let ES(n) be the smallest integer such that any set of ES(n) points in the plane in general position
More informationErdős-Szekeres without induction
Erdős-Szekeres without induction arxiv:1509.03332v1 [math.co] 10 Sep 2015 Sergey Norin Yelena Yuditsky October 1, 2018 Abstract Let ES(n) be the minimal integer such that any set of ES(n) points in the
More informationOnline Companion to Pricing Services Subject to Congestion: Charge Per-Use Fees or Sell Subscriptions?
Online Companion to Pricing Serices Subject to Congestion: Charge Per-Use Fees or Sell Subscriptions? Gérard P. Cachon Pnina Feldman Operations and Information Management, The Wharton School, Uniersity
More informationLong Monochromatic Cycles in Edge-Colored Complete Graphs
Long Monochromatic Cycles in Edge-Colored Complete Graphs Linda Lesniak lindalesniak@gmail.com Drew Uniersity and Western Michigan Uniersity May 2012 L. Lesniak (Drew, WMU) Long Monochromatic Cycles May
More informationSection 6: PRISMATIC BEAMS. Beam Theory
Beam Theory There are two types of beam theory aailable to craft beam element formulations from. They are Bernoulli-Euler beam theory Timoshenko beam theory One learns the details of Bernoulli-Euler beam
More information5. Biconnected Components of A Graph
5. Biconnected Components of A Graph If one city s airport is closed by bad eather, can you still fly beteen any other pair of cities? If one computer in a netork goes don, can a message be sent beteen
More informationDistinct Distances in Three and Higher Dimensions
Distinct Distances in Three and Higher Dimensions Boris Aronov János Pach Micha Sharir Gábor Tardos Abstract Improving an old result of Clarkson et al., we show that the number of distinct distances determined
More informationDynamic Vehicle Routing with Moving Demands Part II: High speed demands or low arrival rates
ACC 9, Submitted St. Louis, MO Dynamic Vehicle Routing with Moing Demands Part II: High speed demands or low arrial rates Stephen L. Smith Shaunak D. Bopardikar Francesco Bullo João P. Hespanha Abstract
More informationGeometric Incidences and related problems. Shakhar Smorodinsky. (Ben-Gurion University)
Geometric Incidences and related problems Shakhar Smorodinsky (Ben-Gurion University) Note: good & bad news Good news: Last Talk Bad news: Pick your favorite one. The K-set problem (Definition) S = n pts
More information