Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Covering the Plane by a Sequence of Circular Disks with a Constraint

Covering the Plane by a Sequence of Circular Disks with a Constraint We are interested in the following problem of covering the plane by a se- quence of congruent circular disks with a constraint on the distance between consecutive disks. Let (D ) be a sequence of closed unit circular disks n n∈N such that ∪ D = R with the condition that for n ≥ 2, the center of n∈N n the disk D lies in D . What is a “most economical” or an optimal way n n−1 of placing D for all n ∈ N? We answer this question in the case where no “sharp” turn is allowed, i.e. if C is the center of the disk D , then for all n n n ≥ 2, ∠C C C is not very small. n−1 n n+1 We also consider a related problem. We wish to find out an optimal way to cover the plane with unit circular disks with the constraint that each disk contains the centers of at least two other disks. We find out the answer in the case when the centers of the disks form a two-dimensional lattice. Mathematics Subject Classifications: 05B40, 52C05, 52C15, 11H31 1 Introduction 2 2 2 Let D denote the (closed) unit circular disk {(x, y) ∈ R : x + y ≤ 1} and I denote the square [−1, 1] × [−1, 1] in R . If F = {D : n ∈ N} is a family of unit circular disks in R (i.e. for all n ∈ N, D is a congruent copy of D) such that 2 2 ∪ D = R , then we say the family of disks F covers R and F is a covering of n∈N n R by unit circular disks. If (D ) is a sequence of closed unit circular disks such n n∈N 2 2 that ∪ D = R , then we say (D ) is a sequence covering of the plane (or R ) n∈N n n n∈N by unit circular disks. Similarly, if X is a bounded subset of R and (D , . . . ,D ) 1 N is a finite sequence of closed unit circular disks such that X ⊂ ∪ D , then we n=1 say (D , . . . ,D ) is a finite sequence covering of X. 1 N Present affiliation: The Institute of Mathematical Sciences, HBNI, Chennai, India. Email: anupamm @ imsc.res.in arXiv:1810.01255v3 [math.MG] 17 Jun 2020 2 For X ⊂ R and a positive real number λ, by λX we mean the set {λ · x : x ∈ X}. We use Int(X) and a(X) to denote the interior and area of set X (the Lebesgue measure of X, whenever it exists), respectively. Let N denote the cardinality of the subfamily of F consisting of only the N ·a(D) disks that intersect Int(λI) and γ(λ,F ) denote the ratio . We define a(λI) the lower density and density of the covering F to be lim inf γ(λ,F ) and λ→∞ lim γ(λ,F ), respectively, if the limits exist. The optimal lower density of λ→∞ covering the plane by unit circular disks is denoted by γ(D) and is defined as γ(D) = inf lim inf γ(λ,F ). F λ→∞ We note that in the definitions of N and γ(λ,F ), the square I can be sub- stituted by any convex bounded set in R which contains the origin as the set can be arbitrarily approximated by the union of a sequence of squares. We refer to [9, Chapters 2–4] and [14] for background and basic concepts. 2π Kershner proved in [8] that γ(D) ≥ and this bound can be achieved when centers of the circles are arranged in a regular hexagonal lattice (see Figure 1). Later L. Fejes T´oth provided a far-reaching generalization of this result and its Figure 1: An optimum covering of the plane by circular disks where centers of the disks are arranged in a regular hexagonal lattice counterpart for optimal circle packing in the plane, originally proved by Thue in 1892 [10] and again in 1910 [11] (as cited in [9]), for arbitrary convex, compact sets in R with non-empty interiors. We say two closed bounded convex sets S and T in R intersect simply (refer to [1]) or do not cross each other if they satisfy one of the conditions: (i) Int(S) ∩ Int(T ) = ∅; (ii) S ⊂ T or vice versa; 2 (iii) the boundary of S ∩ T can be split up into two non-overlapping connected curves, one belonging to the boundary of S and the other to that of T . We observe that S and T intersect simply if and only if both S − T and T − S are connected. Also two congruent copies of a circular disk always intersect each other simply. Theorem 1.1. [4] If K is a convex hexagon completely covered by n congruent copies of a convex, compact set C (with a non-empty interior) such that every pair a(K) of sets intersect each other simply, then n ≥ , where P denotes a hexagon of a(P ) maximum area inscribed in C. This theorem leads to the following corollary, which, in turn, proves the bound on γ(D) as found by Kershner. Corollary 1.2. The optimal lower density of covering the plane by congruent copies of the convex, compact set C with a non-empty interior, such that every pair of sets intersect each other simply, is at least the ratio of the area of C and the a(C) area of a hexagon of maximum area inscribed in C, i.e. γ(C) ≥ . a(P ) We are interested in the following problem of finding an optimal covering of the plane by a sequence of unit circular disks with a given constraint on the distance between the centers of consecutive disks . Problem 1.3. What is the optimal lower density of covering the plane by a se- quence of unit circular disks with the constraint that each disk contains the center of the next disk? Does there exist a sequence covering with the given constraint attaining the optimal lower density? We answer this question and prove Theorem 1.4 using ideas by Fejes T´oth in the case where the following restriction holds: if (D ) is a sequence covering of n n∈N the plane by unit circular disks with constraint mentioned in Problem 1.3 and for all n ≥ 1, C is the center of the disk D , then for all n ≥ 2, measure of (smaller n n 2π of the angles) ∠C C C is at least . By ∠C C C we always mean the n−1 n n+1 n−1 n n+1 smaller (i.e. the one with measure less than π) of the two angles (or either, if measure of ∠C C C is π). Also abusing the notation, we use ∠C C C n−1 n n+1 n−1 n n+1 to mean both the angle and also measure of the angle depending on the context. Problem 1.3 is motivated by a practical problem of robotic exploration with discrete and limited visibility discussed in [5, 6]. The problem of robotic exploration asks for a cost-effective strategy for a point robot to completely explore an unknown planar region avoiding obstacles. Due to mechanical limitations the robot can only scan a ball of finite and fixed radius around it at a given instance. Also it is not feasible to perform the scanning process continuously, i.e. the robot must take a break between two scans. Along with that after performing the first scan, the robot must stay inside the region that is scanned by that time (i.e. the region known to the robot at that instance). 3 ∗ Theorem 1.4. If γ (D) is the optimal lower density of covering the plane by a sequence (D ) of unit circular disks (with C being the center of the disk D n n∈N n n 2π for all n ∈ N) such that for n ≥ 2, C lies in D and ∠C C C ≥ , then n n−1 n−1 n n+1 2π γ (D) ≥ √ . 2 + 3 This bound can also be achieved. As discussed in detail in Section 4, it seems that the restriction on ∠C C C n−1 n n+1 is only due to the limitations of the proof-techniques used in this article and the bound on the optimal lower density mentioned in Theorem 1.4 would hold true even after removing the restriction on ∠C C C . We propose the following n−1 n n+1 conjecture. Conjecture 1.5. If γ (D) is the optimal (lower) density of covering the plane by a sequence of unit circular disks such that each disk in the sequence contains the center of the next disk, then 2π γ (D) ≥ √ ≈ 1.68357. 2 + 3 In Section 3 we consider the following problem closely related to Problem 1.3. Problem 1.6. What is the optimal lower density of covering the plane by closed unit circular disks with the constraint that each disk contains the centers of at least two other disks? Does there exist a covering with the aforementioned constraint attaining the optimal lower density? We prove the following result in case of lattice coverings (i.e. when centers of the disks form a lattice in R ). Theorem 1.7. The optimal lower density of covering of the plane by closed unit circular disks with the constraint that the centers of the disks form a lattice in R 2π and each disk contains the centers of at least two other disks is . The optimal 2+ 3 lower density can be achieved by a suitable lattice covering with given constraint. We note that the constraint mentioned in Problem 1.6 is comparable to the constraint in Problem 1.3. In Problem 1.3, (second disk onward) each disk in the sequence covering contains the centers of both the previous and the next disk. We also observe that the optimal density for lattice covering of the plane with the constraint mentioned in Problem 1.6 (as per Theorem 1.7) coincides with the optimal lower density mentioned in Conjecture 1.5. This observation strengthens the case for Conjecture 1.5. 4 2 Covering the plane by sequence of disks each having center in the previous one In this section we prove Theorem 1.4. First we prove that for a given covering of the plane by unit circular disks, we can partition the plane into convex bounded polygonal regions in such a way that each disk contains exactly one of the polygons. Lemma 2.1. Let Π be a convex polygon in R and (D , . . . ,D ) be a finite sequence 1 N covering of Π by unit circular disks. If D 6= D for n 6= m, then there is a finite n m sequence of convex polygons (P , . . . ,P ) such that 1 N (i) for all n ∈ {1, . . . , N}, P ⊂ D ; n n (ii) Π = P ; n=1 (iii) for all n, m ∈ {1, . . . , N} and n 6= m, Int(P ) ∩ Int(P ) = ∅. n m (Note that P is allowed to be the empty set for some n ∈ {1, . . . N}.) Proof. We construct a Voronoi diagram [13] by setting the boundary of Π as the boundary of the diagram and the centers of the circular disks as the prescribed points (known as seeds or generators). Suppose that for all n ∈ {1, . . . , N}, C is the center of the disk D and for all x ∈ Π, d (x) denotes the Euclidean distance n n between x and C . For all n ∈ {1, . . . , N}, we define a set P ⊂ Π (called the n n Voronoi cell associated to the seed C ) as follows P = {x ∈ Π : d (x) = min{d (x), . . . , d (x)}} . n n 1 N We refer to Figure 2 for an illustration. We note that P may be the empty set for some n (only if C lies outside Π) n n and we also replace P by the empty set if P contains no interior points of Π. n n From the properties of Voronoi cells (in a finite dimensional Euclidean space), it follows that each P is a convex polygon (or the empty set). Also ∪ P = Π n n n=1 and for n, m ∈ {1, . . . , N} with n 6= m, Int(P ) ∩ Int(P ) = ∅. n m Let D and D be two distinct disks whose interiors intersect. It follows that P n m n is contained in one of the two closed half-planes induced by the line corresponding to the common chord of D and D and P is contained in the other closed half- n m m plane. This implies, since {D , . . . ,D } covers Π, P ⊂ D for all n ∈ {1, . . . , N}. 1 N n n We now consider a convex subset of a closed unit circular disk, whose boundary consists of (i) any pair of chords of the unit circle (boundary of the circular disk), of length 3 each, sharing a common endpoint and (ii) the minor arc of the unit circle between the other two endpoints (i.e. other than the common endpoint) of the aforementioned two chords. 5 Figure 2: Eight circular disks covering a convex octagon and the Voronoi cells associated to the centers of the disks We denote the compact, convex subset of the closed unit disk as described above by M (up to congruence). For an illustration, we refer to Figure 3. Let A B and 0 0 A B be any two chords of the unit circle (on the left) of length 3 each. M is the convex, compact set whose boundary consists of the chords A B and A B 0 0 0 and the (minor) arc B B of the circle. Next we consider a convex subset of a closed unit circular disk, whose boundary consists of (i) any two chords of the unit circle, of length 3 each, that do not cross each other (they may at most meet at a point on the circle), where the angle subtended by the line segment joining the centers of the two chords from the center of the disk is θ; (ii) the (minor) arc between an “alternative-pair” of endpoints (i.e. one endpoint from each chord) such that the distance between the pair is the least among all possible alternative-pairs (note that the arc may be of length 0, possible if and only if the chords meet at a point); (iii) the (minor) arc between the other two endpoints (i.e. other than the closest alternative-pairs as mentioned in (ii)) of the aforementioned two chords. We denote the compact, convex subset of the unit disk as described above by M (up to congruence). For an illustration, we again refer to Figure 3. Let AB and ′ ′ A B be any two non-crossing chords of the unit circle (on the right) of length 3 each and C be the center of the circle. If D and D are the midpoints of the chords ′ ′ ′ ′ AB and A B respectively, then we have θ = ∠DCD . M is the convex, compact ′ ′ ′ set whose boundary consists of the chords AB and A B and the (minor) arcs AA and BB of the circle. 6 ′ B ′ 0 B Figure 3: Convex, compact sets M and M Since the pair of chords which are parts of the boundary of M don’t cross 2π ′ 2π each other, we have ≤ θ ≤ π. Also we have M = M and for ≤ θ ≤ π, 2π 3 3 a(M ) = a(M). Observation 2.2. Let us consider the convex, compact set M for an arbitrary 2π ′ ′ ′ θ ∈ , π . Let M be bounded by the chords AB and A B and the (minor) arcs ′ ′ AA and BB as illustrated in Figure 3 and P be a proper ν-gon of the largest area inscribed in M . We have the following. ′ ′ (i) P has vertices on both the line segments AB and A B . ′ ′ (ii) If P has two vertices on the line segment AB (or A B ), then the points A ′ ′ and B (A and B ) are the two vertices of P on AB. ′ ′ (iii) If P has exactly one vertex Q on the line segment AB (or A B ), then there ′ ′ ′ exists a proper ν-gon P with the same area inscribed in M such that P has exactly one of A or B as its vertex. Let P and R be the neighbors of Q (considering the ν-gon P as a cycle graph), then △PQR, taking PR to be the base, attains the maximum height (and hence maximum area) when Q is one of the endpoints on AB, unless PR is parallel to AB. In that case, we replace the vertex Q of P by any of the points A or B to obtain P . ′ ′ ′ (iv) If P has at least two vertices on the arc AA (or BB ), then A and A (B and B ) are two vertices of P. Otherwise let A not be a vertex of P and Q and R (with Q 6= A) be the “first” two vertices of P on the arc AA in a cyclic order (from A toward A ) of the vertices P. Also let P (with P 6= A) be the vertex “preceding” Q in the same cyclic order. From (i) – (iii) it follows that P is the only vertex of P on AB and we may replace the vertex P of P by ′ ′ the point B to obtain a proper ν-gon P with the same area inscribed in M . We note that △BQR, taking BR to be the base, attains its maximum height 7 (and hence maximum area) when Q coincides with A. Thus by replacing the ′ ′′ vertex Q of P by the point A, we obtain another proper ν-gon P inscribed ′ ′′ ′ in M with a(P ) > a(P ) = a(P). This leads to a contradiction to the assumption that P is a largest ν-gon inscribed in M . Observation 2.3. From Observation 2.2 it follows that the largest ν-gon inscribed ′ ′ in M, where M is bounded by the chords A B and A B and the (minor) arc 0 0 0 0 ′ ′ B B as illustrated in Figure 3, is the convex ν-gon with vertices A , B , B and 0 0 0 0 0 ′ ′ ν − 3 points on the arc B B (other than B and B ) that divide the arc into ν − 2 0 0 0 0 pieces of equal length. Over the next two lemmata we show that a polygonal cell constructed in the proof of Lemma 2.1, when the disks abide by the constraints mentioned in Theo- rem 1.4, is always smaller than the largest polygon with same number of vertices inscribed in M. First we show that even when a largest ν-gon inscribed in M , 2π for an arbitrary θ ∈ , π , doesn’t fit inside M, we may break the ν-gon into triangular pieces and rearrange them appropriately to obtain a ν-gon (of the same area) that fits inside M. Lemma 2.4. If P is a proper ν-gon of the largest area inscribed in M for an 2π ∗ arbitrary θ ∈ , π , then there is a proper ν-gon P contained in M such that a(P) ≤ a(P ). ′ ′ ′ Proof. Let the boundary of M consist of the line segments AB and A B and the ′ ′ arcs of the unit circle (with the center C) AA and BB as illustrated in Figure 3. ′ ′ Case 1: P has both AB and A B as two of its sides. In this case we can construct a ν-gon P which can be inscribed in M having the same area as of P by removing all but one vertices of P from one of the arcs and repositioning them along the boundary of the unit circle in an appropriate manner. ′ ′ Let A = P , P , . . . , P = A be the proper vertices of P on the arc AA in cyclic 0 1 k ′ ′ order (from A toward A ). We remove the points P , . . . , P = A from the arc 1 k ′ ′ ′ AA ; place them along the (minor) arc B A of the unit circle in cyclic order (from ′ ′ ∗ ∗ ′ ∗ B toward A ) and label them as P , . . . , P , respectively such that ∠B CP = 1 k 1 ∗ ∗ ∠P CP = ∠ACP and ∠P CP = ∠P CP for all i ∈ {1, . . . , k − 1} (as 0 1 1 i i+1 i i+1 illustrated for k = 2 in Figure 4). Hence, if P is the convex proper ν-gon whose set of proper vertices is ∗ ∗ ′ {all proper vertices of P} ∪ {P , . . . , P } − {P , . . . , P = A }, 1 k 1 k ∗ ∗ then a(P ) = a(P). Also we note that P can be inscribed in M as the compact, convex set whose boundary consists of the line segments AB and AP , ′ ∗ and the arc BB P is M (up to congruence). ′ ′ Case 2: At least one of AB and A B is not a side of P. We note that, by Observation 2.2, in this case P has only one vertex, say P , on ′ ′ ′ one of the arcs AA and BB , without loss of generality, say on AA . It also follows from Observation 2.2 that the neighbors of P (considering the proper ν-gon P as a cycle graph) are B and B . We observe that P itself can be inscribed in M. 8 ′ B ′ B B C C A = P 1 P = A Figure 4: Construction of P from P P is a subset of the compact, convex set whose boundary consists of the pair of chords of length 3 with a common endpoint in P (as illustrated by dashed line segments in Figure 5) and the (minor) arc joining the other two endpoints of these two chords and this set, up to congruence, is M. Figure 5: P is bounded between chords of length 3 that meet at P (dashed lines) Let Π be any convex polygon in R and (D , . . . ,D ) be a finite sequence 1 N covering of Π by closed unit circular disks such that for all n ∈ {1, . . . , N}, C is the center of the disk D . Also suppose that for all n ∈ {2, . . . , N}, C ∈ D n n n−1 2π and for all n ∈ {2, . . . , N − 1}, ∠C C C ≥ . n−1 n n+1 Let P , for n ∈ {1, . . . , N}, be the Voronoi cell (a convex polygon) associated to C obtained from the Voronoi diagram with the boundary of Π as the boundary 9 of the diagram and C , . . . , C as the generators (refer to Lemma 2.1). Suppose 1 N that for all n ∈ {1, . . . , N}, the P has ν proper vertices. n n From the notion of Voronoi cells, we note that the cell P (⊂ D ) is bounded n n between the common chord of D and D , and the common chord of D and n−1 n n ′ 2π D . This, in turn, implies P can be fit inside M for some θ ∈ , π (in fact, n+1 n θ = ∠C C C in this case). Then by using Lemma 2.4, we have the following n−1 n n+1 bound on a(P ). Lemma 2.5. If, for all n ∈ {2, . . . , N − 1}, P is the ν -gon with the largest area νn inscribed in M, then a(P ) ≤ a(P ). Proof. From the construction of the convex ν -gon P that lies inside D (for n n n n ∈ {2, . . . , N − 1}) in the proof of Lemma 2.1, it follows that P is bounded between the common chord of D and D , and the common chord of D and n−1 n n D (as illustrated by solid line segments in Figure 6). Since, C , the center of n+1 n D , lies in D , the length of the common chord of D and D is at least 3 n n−1 n−1 n (and the same is true for the common chord of D and D ). Now we consider n n+1 the following pair of chords of D of length 3 each: (i) one that is parallel to the common chord of D and D and that lies in the n−1 n minor segment of D induced by the common chord of D and D ; n n−1 n (ii) one that is parallel to the common chord of D and D and that lies in the n n+1 minor segment of D induced by the common chord of D and D . n n n+1 (these two chords are illustrated by the dash-dotted line segments in Figure 6). C C n−1 n n+1 Figure 6: Common chord of D and D , common chord of D and D (solid), n−1 n n n+1 and the chords of D of length 3 (dash-dotted) parallel to the common chords It follows that P is bounded between the aforementioned pair of chords of 2π length 3 each. We also note that as ∠C C C ≥ , these two of chords n−1 n n+1 of length 3 don’t cross each other (they can at most meet at a point on the 10 boundary of D ). Hence, the ν -gon P can be fit inside the convex, compact set n n n M , where θ = ∠C C C . This is because the aforementioned pair of chords n−1 n n+1 of length 3 each of D along with a pair of suitable (minor) arcs describe the boundary of M (up to congruence). Thus, for all n ∈ {2, . . . , N − 1}, the area of the ν -gon P is less than or equal n n to the area of a largest ν -gon inscribed in M . Hence, from Lemma 2.4, it follows that a(P ) ≤ a(P ). Let Π be any convex hexagon in R and (D , . . . ,D ) be a finite sequence 1 N covering of Π by closed unit circular disks. Suppose that for n ∈ {1, . . . , N}, P is the Voronoi cell (a convex polygon) corresponding to the disk D (in reference to Lemma 2.1). We have the following bound on the average number of (proper) vertices of these polygons. Lemma 2.6. If, for all n ∈ {1, . . . , N}, the Voronoi cell P has ν proper vertices, n n then ν ≤ 6N. n=1 Proof. We provide a proof of the lemma following the proof of a similar result by Bambah and Rogers in their proof of L. Fejes T´oth’s Theorem in [1]. First ′ ′ ′ we form augmented polygons P ,P , . . . ,P from Π,P , . . . ,P respectively by 1 N 0 1 regarding a point x on the boundary of one of Π,P , . . . ,P as a vertex of the 1 N ′ ′ ′ corresponding polygon P ,P , . . . ,P if it is a proper vertex of at least one of the 0 1 N ′ ′ polygons Π,P , . . . ,P . Suppose that for all i ∈ {0, . . . , N}, P has ν sides. Let 1 N i i n , n , and n be the number of vertices, sides and regions respectively comprising 0 1 2 ′ ′ the system of polygons P , . . . ,P . It follows that n = N. Let α , . . . , α be the 2 1 n 1 N 0 number of sides meeting at the different vertices of the configuration. We observe that for all i ∈ {1, . . . , n }, α is at least 3, except perhaps for those vertices which 0 i are proper vertices of Π (for such a vertex, α is at least 2). Since Π is a hexagon, we have α ≥ 3n − 6. i 0 i=1 But counting the incident pairs of a vertex and a side in two ways we have α = 2n . i 1 i=1 By Descartes-Euler polyhedral formula [12], viz. V −E +F = 2, we have n −n + 0 1 (n + 1) = 2 (we note that number of faces (regions), F is n + 1 = N + 1 here, as 2 2 the complement of Π in R contributes 1), which implies 3n − 6 = 3n − 3N − 3. 0 1 Thus we get 2n ≥ 3n − 3N − 3, i.e. n ≤ 3N + 3. Now counting the incident 1 1 1 pairs of a polygon and a side in two ways we have ν = 2n . i=0 11 Hence, N N X X ν ≤ ν − 6 = 2n − 6 ≤ 6N. i 1 i=1 i=0 We now use the following theorem by Dowker to conclude that if, for all n ≥ 3, ∗ ∗ a (n) denotes the area of the largest n-gon inscribed in M, then a (n) is bigger ∗ ∗ than the average of a (n − 1) and a (n + 1). Theorem 2.7. [2] Given a convex, compact set C in R with a non-empty interior, if, for n ≥ 3, Q denotes an n-gon of the largest area inscribed in C, then a(Q ) + a(Q ) n−1 n+1 a(Q ) ≥ , for every n ≥ 4. Corollary 2.8. If, for all n ≥ 3, a (n) denotes the area of the largest n-gon inscribed in M, then for every n ≥ 4, ∗ ∗ a (n − 1) + a (n + 1) a (n) ≥ . Proof. Follows from Theorem 2.7 as M is a convex, compact set in R with a non-empty interior. Remark 2.9. From Observation 2.3 it follows that if, for all n ≥ 3, a (n) denotes the area of the largest n-gon inscribed in M, then 3 n − 2 2π a (n) = + sin . 2 2 3(n − 2) We now extend the function a to all real numbers bigger than or equal to 3 as the linear interpolation on the set of data points {(n, a (n)) : n ∈ N, n ≥ 3}. From Corollary 2.8 it follows that a is a concave function. We have the following result for a real concave function. Theorem 2.10 (Jensen’s inequality for concave functions, 1906). If f is a real concave function and x , . . . , x are real numbers in its domain, then 1 n P P f(x ) x i i i=1 i=1 ≤ f . n n Equality holds if and only if x = ··· = x or f is linear. 1 n Now we proceed to prove the lower bound mentioned in Theorem 1.4. 12 ∗ Theorem 2.11. If γ (D) is the optimal lower density of covering the plane by a sequence of unit circular disks (D , . . . ,D , . . .) (with C being the center of the disk 1 n n 2π D for all n ∈ N) such that for n ≥ 2, C lies in D and ∠C C C ≥ , n n n−1 n−1 n n+1 then 2π γ (D) ≥ . 2 + 3 Proof. Let Π be a convex hexagon containing the center of D . Since Π is a compact set, it follows that there is a least N ∈ N such that {D , . . . ,D } covers 1 N Π. If multiple disks from the finite sequence D , . . . ,D coincide, we throw away 1 N all but one. Let P , . . . ,P be the polygons (Voronoi cells) corresponding to the 1 N disks D , . . . ,D , respectively as constructed in the proof of Lemma 2.1 (with 1 N P = ∅ for a “thrown away” disk D ). Also suppose that for n ∈ {1, . . . , N},P n n n is a proper ν -gon. From Lemma 2.1, we have a(Π) = a(P ). n n n=1 From Lemma 2.5 we have, for n ∈ {2, . . . , N −1}, a(P ) ≤ a (ν ). Also we can n n ∗ ∗ choose a positive number c such that a(P ) ≤ a (ν ) + c and a(P ) ≤ a (ν ) + c. 1 1 N N Thus P P N N a(P ) a (ν ) + 2c n n n=1 n=1 N N a (ν ) 2c n=1 ≤ + N N ν 2c n=1 ≤ a + (by Jensen’s inequality (Theorem 2.10)). N N As a is an increasing function, from Lemma 2.6 it follows that a(P ) 2c n=1 ∗ ≤ a (6) + . N N Thus we have a(D ) Nπ π n=1 = ≥ . N 2c a(Π) a (6) + a(P ) n=1 We note that if we replace Π by λΠ (λ ≥ 1) in the inequality above, the integer N depends on λ (i.e. N = N(λ)) and N(λ) → ∞ as λ → ∞, but the positive number c can be chosen in such a way that it is independent of λ (for example, we may set c = π). Thus N(λ) a(D ) π n=1 2c a(λΠ) a (6) + N(λ) and hence N(λ) a(D ) π π n=1 lim inf ≥ = . λ→∞ a(λΠ) a (6) 1 + Therefore, 2π γ (D) ≥ √ . 2 + 3 13 Now we produce a sequence covering of the plane by closed unit circular disks that attains this bound. Suppose that for all j ∈ N, Π denotes the regular convex dodecagon (12-gon) whose vertices (in polar coordinates, taking the origin as the pole and the x-axis as the polar axis) are the elements of the set ( ! ) (1 + 3) · j π · i √ , : i ∈ {0, . . . , 11} . Remark 2.12. For all j ∈ N, the length of each side of the convex regular do- decagon Π as defined above is j and hence a(Π ) = 3 2 + 3 j . j j Now for all j ∈ N we place unit circular disks with centers at each vertex of Π and at any point on a side of Π such that the point is an integral distance j j away from the end-vertices of the side. We note that in this way for all j ∈ N, we place 12j unit circular disks along the boundary of Π . For all j ∈ N, we call the collection of these 12j unit disks the “j-th layer” of disks. We also call the unit disk centered at the origin the “0-th layer” of disks (see Figure 7). We may verify that the collection of all the disks belonging to all the j-th layer of disks (including the 0-th layer of disks) covers R . More importantly, for each j, the 12j disks belonging in the j-th layer of disks may be ordered in such a way that from the second disk onward, each disk in the layer has its center on the boundary of the previous disk. We can do that by walking in the clockwise (or anti-clockwise) direction along the boundary of Π starting with the center of any arbitrary disk in the j-th layer and picking up the next disks in order as we approach their centers. We can also jump from the “last” disk in the j-th layer to the “first” disk in the (j + 1)-th layer with only finitely many disks in-between which respect both the 2π “disk having its center inside the previous disk” and “no sharp turn beyond ” criteria. As demonstrated in the Figure 8, three circular disks (all lie within the (j − 1)-th and j-th layers) are enough to jump from the last disk of the (j − 1)-th layer to the first disk of the j-th layer for a large enough j (say j ≥ 5) and also for a smaller j, we can jump to the next layer of disks using finitely many extra disks. Thus there is a c ∈ N, c being independent of j, such that we can jump from the (j − 1)-th layer to the j-th layer using at most c extra disks for all j ∈ N. Combining all the appropriate orderings among the disks in the j-th layer and orderings of the disks required to jump from the j-th layer to the j + 1-th layer in a suitable way we get an infinite sequence of unit circular disks on R , say (D ) n n∈N starting with the unit circular disk centered at the origin. We observe that the family of disks S = {D : n ∈ N} covers R . Also this sequence of disks (D ) has n n the property that the second disk onward, each disk has its center in the previous disk and the smaller angle formed at the center by the line segments joining it with 2π the centers of the previous and the next disks is at least . We assert that the (lower) density of this sequence of unit circular disks is at 2π least even though this sequence contains many redundant disks. 2+ 3 14 Figure 7: Dodecagons Π , Π , and Π (smaller to bigger) and 0-th, first, second, 1 2 3 and third layer of disks (j + 1)-th layer j-th layer Figure 8: Jumping from j-th layer to (j + 1)-th layer of disks (dotted ones) using three circles (solid) for a large enough j We note that the collection of disks belonging in the j-th layer for all j ∈ {0, . . . , k} covers the dodecagon Π and (the interior of) Π doesn’t intersect with k k 15 any of the disks belonging in the j-th layer for all j > k. Also for a large enough k, Π doesn’t intersect with any of the disks required to jump from the j-th layer to the j + 1-th layer for all j > k either. Thus the number of disks that intersect the dodecagon Π , say N , is at most the sum of the total number of disks in the k k 0-th to k-th layers and total number of disks required to jump from the j-th layer to the next layer with j ≤ k, i.e. N ≤ 1 + 12j + c(k + 1) j=1 = 1 + 6k(k + 1) + c(k + 1) = 6k + (c + 6)k + c + 1. Therefore, the (lower) density of the covering S is less than or equal to N · π (6k + (c + 6)k + c + 1) · π lim ≤ lim √ k→∞ k→∞ a(Π ) k 3 2 + 3 k 6π = √ 3 2 + 3 2π = √ . 2 + 3 3 Covering the plane by disks each containing centers of at least two other disks In this section we prove Theorem 1.7. Let {D : n ∈ N} be a covering of R by unit circular disks such that the centers of the disks form a lattice Λ in R . Let {v , v } be a set of generators of Λ, i.e. Λ = {αv + βv : (α, β) ∈ Z }. Thus every 1 2 1 2 lattice point p can be represented as a pair (a, b) ∈ Z , where p = av + bv . The 1 2 “fundamental parallelogram” corresponding to the lattice Λ is given by {xv + yv : (x, y) ∈ [0, 1] × [0, 1]}. 1 2 Area of the fundamental parallelogram is equal to the “determinant of the lattice” (det(Λ)), i.e. det(Λ) = |det[v , v ]|. 1 2 Now if we generate a Voronoi diagram by setting the lattice points belonging to Λ (i.e. centers of the dics) as the generators, the Voronoi cells corresponding to the lattice points are congruent to each other and they tile the plane. We can also show that area of each Voronoi cell equals det(Λ). From the definition of covering density and its relation with the area of the Voronoi cells as discussed in the previous section, it follows that the (lower) density of the covering corresponding to the lattice Λ equals 16 a(D) π = . area of Voronoi cells corresponding to the lattice points det(Λ) Now we need to maximize det(Λ) with the constraint that each disk contains the centers of at least two other disks. Proposition 3.1. If the lattice Λ corresponds to a lattice covering of the plane by unit circular disks with the constraint that each disk contains the centers of at least two other disks, then det(Λ) ≤ 1 + . Proof. Let v be the position vector of the center of a disk closest to (but not centered at) the origin. From the constraint it follows that length of v is at most 1. Since the centers form the two dimensional lattice Λ, there is a center (of a disk) with the position vector v such that v and v generate Λ. 2 1 2 Let, without loss of generality, v = (2α, 0), where α ∈ 0, . Let us consider the point P = α, 1 − α + ǫ where ǫ > 0. This point is not covered by any disk whose center lies on the lattice points on the x-axis. Let the position vector of the center of a disk that covers P be w = (β , β ) (see Figure 9). 1 2 Figure 9: Point P = α, 1 − α + ǫ and the disk centered at (β , β ) = w 1 2 containing P We want to find an upper-bound on the area of the parallelogram, say P, formed by the vectors v and w. We note that a(P) = 2α·|β |. Since the unit disk 1 2 centered at (β , β ) contains the point P , we get |β | ≤ 1 − α + ǫ + 1. This 1 2 2 implies a(P) ≤ 2α · 1 − α + 1 + ǫ . The function f(α) = 2α · 1 − α + 1 + ǫ 1 1 is increasing on 0, and hence attains its maximum at α = . Also, since ǫ is 2 2 arbitrary, we get a(P) ≤ 1 + . Since the vectors v and v generate the lattice Λ, a(P) is a positive integral 1 2 multiple of the area of the parallelogram formed by v and v , viz. det(Λ). Thus 1 2 det(Λ) ≤ a(P) ≤ 1 + . 1 3 The lattice generated by the vectors v = (1, 0) and v = , 1 + as shown 1 2 2 2 in Figure 10 corresponds to a lattice covering of the plane by unit circular disks such that each disk contains the centers of two other disks and the lattice determinant equals 1+ . This shows it is an optimal lattice covering with the given constraint π 2π √ √ and has the (lower) covering density = . This proves Theorem 1.7. 2+ 3 1+ Figure 10: Covering corresponding to the lattice generated by the vectors v = 1 3 (1, 0) and v = , 1 + 2 2 4 Conclusions Problem 1.3 can be generalized as follows. Let (D ) be a sequence of unit n n∈N circular disks that covers R in such a way that for all n ≥ 2, distance between the centers of the disks D and D is at most a positive real number ρ. What is n−1 n the optimal lower density of covering the plane by a sequence of unit circular disks with the aforementioned constraint? Can the optimal lower density be achieved by a suitable sequence covering? If ρ is large enough (for example when ρ is close to 2), then the problem can be reduced to the problem of covering the plane with unit circular disks without any constraints. We considered the case ρ = 1 in Section 2 and established a bound on the optimal lower density with a restriction on the “turning angles”. We can use the techniques used in Section 2 to find out a bound for lower covering density for any ρ with an analogous restriction on the turning angles depending on ρ. In Section 2 we have also constructed a sequence of disks which attains the established lower bound. The same idea may be useful for constructing a sequence of disks covering the plane with the optimal density for a given ρ and the corresponding restriction on the turning angles. We also observe that for a sequence of disks covering the plane admitting the restriction in Problem 1.3, second disk onward, new area (i.e. not already covered 18 by the previous disks) that can be covered by each disk is at most the area of the shaded crescent, say C in Figure 11. (n + 1)-th disk n-th disk Figure 11: Shaded crescent C, maximum “new” area that can be covered by the (n + 1)-th disk 2π π We note that a(C) = sin + . Therefore, if γ (D) is the optimal (lower) 3 3 density of covering the plane by a sequence of unit circular disks in such a way that each disk (excluding the first one) contains the center of the previous one, then a(D) π γ (D) ≥ = ≈ 1.64204. 2π π a(C) sin + 3 3 We also note that the lower bound obtained in this way is a very crude one; this bound is not achievable here as it can only be achieved by a covering which is “almost like a tiling” (by the crescent shape). For example an analogical crude lower bound on the optimal (lower) density of covering by congruent circular disks without any constraints is 1 whereas the actual achievable lower bound as shown 2π by Kershner is ≈ 1.20920. From this observation and the results in Section 2 and Section 3 it seems that the restriction on the turning angles is only due to the limitations of the proof- techniques used. We observe that if we get rid of the angle restriction, i.e. if, for 2π some n ∈ N, ∠C C C < (we refer to Figure 12 for an example), then n−1 n n+1 the corresponding ν -gon P constructed as in the proof of Lemma 2.1 would be n n 2π contained in a convex, compact set larger than M for ≤ θ ≤ π or in particular larger than M (for example, P would be contained in the convex, compact set bounded by solid lines in Figure 12). In fact when ν is large enough (for example bigger than 6), in specific cases the inequality a(P ) ≤ a(P ) (conclusion of Lemma 2.5) will no longer hold. But 2π we also observe that if ∠C C C < , then it induces a larger intersection n−1 n n+1 of D and D which would potentially reduce these two disks’ “contributions” n−1 n+1 in the covering. Also for the ν -gon P , larger ν is, more congested the neigh- n n n boring disks of D are. This again would potentially reduce the contributions of the neighboring disks of D . Thus it seems we would never gain any significant advantage globally by allowing sharper turns. We may also note that this proof-technique provides a bound on optimal density of covering the plane by congruent copies of a convex, compact set in R with a non- empty interior with the restriction that no two sets cross each other (Corollary 1.2). But it is not necessary for a covering to be “crossing-free” in order to be an optimal 19 C n−1 n+1 2π Figure 12: Example of three disks in a sequence with ∠C C C < n−1 n n+1 covering. For a “fat” ellipse (i.e. sufficiently close to a circle) the lower bound on the density of covering the plane with congruent copies of the ellipse obtained from L. Fejes T´oth’s theorem (Corollary 1.2) holds true [7], and thus the optimal lattice covering density is the most economical. But it is not known whether an optimal lattice covering is an optimal covering for an elongated ellipse. Moreover, G. Fejes T´oth and W. Kuperberg pointed out in [3] that it is very likely that in higher- dimensional spaces the most economical coverings with sufficiently long ellipsoids is not crossing-free. All these motivate us to propose Conjecture 1.5. Acknowledgements We are grateful to the anonymous referees who reviewed the journal version of the article for their valuable remarks and suggestions which substantially improved the presentation of this article. We are also thankful to Mainak Ghosh of School of Mathematics, Tata Institute of Fundamental Research for kindly proofreading an initial draft of the manuscript and providing feedback. References [1] R. P. Bambah and C. A. Rogers. Covering the plane with convex sets. Journal of the London Mathematical Society, s1-27(3):304–314, 07 1952. [2] C. H. Dowker. On minimum circumscribed polygons. Bull. Amer. Math. Soc., 50(2):120–122, 02 1944. [3] G. Fejes T´oth and W. Kuperberg. Thin non-lattice covering with an affine image of a strictly convex body. Mathematika, 42(2):239250, 1995. [4] L. Fejes T´oth. Some packing and covering theorems. Acta Sci. Math. (Szeged), 12:62–67, 1950. 20 [5] S. K. Ghosh and J. W. Burdick. An on-line algorithm for exploring an un- known polygonal environment by a point robot. In Proc. 9th Canadian Conf. Computational Geometry pp., pages 100–105, 1997. [6] S. K. Ghosh, J. W. Burdick, A. Bhattacharya, and S. Sarkar. Online algo- rithms with discrete visibility – exploring unknown polygonal environments. IEEE Robot. Autom. Mag. pp., 15(2):67–76, 2008. [7] A. Heppes. Covering the plane with fat ellipses without non-crossing assump- tion. Discrete & Computational Geometry, 29(3):477–481, Feb 2003. [8] R. Kershner. The number of circles covering a set. American Journal of Mathematics, 61(3):665–671, 1939. [9] J. Pach and P. K. Agarwal. Combinatorial geometry. John Wiley & Sons, Inc., New York, 1995. [10] Axel Thue. Om nogle geometrisk-taltheoretiske theoremer.. Forh. Ved de skandinaviske naturforskeres, pages 352–353, 1892. [11] Axel Thue. Uber die dichteste Zusammenstellung von kongruenten Kreisen in einer Ebene. na, 1910. [12] E. W. Weisstein. “polyhedral formula.” From MathWorld–A Wolfram Web Resource. http://mathworld.wolfram.com/PolyhedralFormula.html. [13] E. W. Weisstein. “voronoi diagram.” From MathWorld–A Wolfram Web Re- source. http://mathworld.wolfram.com/VoronoiDiagram.html. [14] C. Zong. Packing, covering and tiling in two-dimensional spaces. Expositiones Mathematicae, 32(4):297 – 364, 2014. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Mathematics arXiv (Cornell University)

Covering the Plane by a Sequence of Circular Disks with a Constraint

Bhattacharya, Amitava; Mondal, Anupam
Mathematics , Volume 2020 (1810) – Sep 28, 2018
Download PDF
21 pages

Loading next page...
 
/lp/arxiv-cornell-university/covering-the-plane-by-a-sequence-of-circular-disks-with-a-constraint-eTP7720ZS0

References (16)

ISSN
0925-7721
eISSN
ARCH-3343
DOI
10.1016/j.comgeo.2020.101680
Publisher site
See Article on Publisher Site

Abstract

We are interested in the following problem of covering the plane by a se- quence of congruent circular disks with a constraint on the distance between consecutive disks. Let (D ) be a sequence of closed unit circular disks n n∈N such that ∪ D = R with the condition that for n ≥ 2, the center of n∈N n the disk D lies in D . What is a “most economical” or an optimal way n n−1 of placing D for all n ∈ N? We answer this question in the case where no “sharp” turn is allowed, i.e. if C is the center of the disk D , then for all n n n ≥ 2, ∠C C C is not very small. n−1 n n+1 We also consider a related problem. We wish to find out an optimal way to cover the plane with unit circular disks with the constraint that each disk contains the centers of at least two other disks. We find out the answer in the case when the centers of the disks form a two-dimensional lattice. Mathematics Subject Classifications: 05B40, 52C05, 52C15, 11H31 1 Introduction 2 2 2 Let D denote the (closed) unit circular disk {(x, y) ∈ R : x + y ≤ 1} and I denote the square [−1, 1] × [−1, 1] in R . If F = {D : n ∈ N} is a family of unit circular disks in R (i.e. for all n ∈ N, D is a congruent copy of D) such that 2 2 ∪ D = R , then we say the family of disks F covers R and F is a covering of n∈N n R by unit circular disks. If (D ) is a sequence of closed unit circular disks such n n∈N 2 2 that ∪ D = R , then we say (D ) is a sequence covering of the plane (or R ) n∈N n n n∈N by unit circular disks. Similarly, if X is a bounded subset of R and (D , . . . ,D ) 1 N is a finite sequence of closed unit circular disks such that X ⊂ ∪ D , then we n=1 say (D , . . . ,D ) is a finite sequence covering of X. 1 N Present affiliation: The Institute of Mathematical Sciences, HBNI, Chennai, India. Email: anupamm @ imsc.res.in arXiv:1810.01255v3 [math.MG] 17 Jun 2020 2 For X ⊂ R and a positive real number λ, by λX we mean the set {λ · x : x ∈ X}. We use Int(X) and a(X) to denote the interior and area of set X (the Lebesgue measure of X, whenever it exists), respectively. Let N denote the cardinality of the subfamily of F consisting of only the N ·a(D) disks that intersect Int(λI) and γ(λ,F ) denote the ratio . We define a(λI) the lower density and density of the covering F to be lim inf γ(λ,F ) and λ→∞ lim γ(λ,F ), respectively, if the limits exist. The optimal lower density of λ→∞ covering the plane by unit circular disks is denoted by γ(D) and is defined as γ(D) = inf lim inf γ(λ,F ). F λ→∞ We note that in the definitions of N and γ(λ,F ), the square I can be sub- stituted by any convex bounded set in R which contains the origin as the set can be arbitrarily approximated by the union of a sequence of squares. We refer to [9, Chapters 2–4] and [14] for background and basic concepts. 2π Kershner proved in [8] that γ(D) ≥ and this bound can be achieved when centers of the circles are arranged in a regular hexagonal lattice (see Figure 1). Later L. Fejes T´oth provided a far-reaching generalization of this result and its Figure 1: An optimum covering of the plane by circular disks where centers of the disks are arranged in a regular hexagonal lattice counterpart for optimal circle packing in the plane, originally proved by Thue in 1892 [10] and again in 1910 [11] (as cited in [9]), for arbitrary convex, compact sets in R with non-empty interiors. We say two closed bounded convex sets S and T in R intersect simply (refer to [1]) or do not cross each other if they satisfy one of the conditions: (i) Int(S) ∩ Int(T ) = ∅; (ii) S ⊂ T or vice versa; 2 (iii) the boundary of S ∩ T can be split up into two non-overlapping connected curves, one belonging to the boundary of S and the other to that of T . We observe that S and T intersect simply if and only if both S − T and T − S are connected. Also two congruent copies of a circular disk always intersect each other simply. Theorem 1.1. [4] If K is a convex hexagon completely covered by n congruent copies of a convex, compact set C (with a non-empty interior) such that every pair a(K) of sets intersect each other simply, then n ≥ , where P denotes a hexagon of a(P ) maximum area inscribed in C. This theorem leads to the following corollary, which, in turn, proves the bound on γ(D) as found by Kershner. Corollary 1.2. The optimal lower density of covering the plane by congruent copies of the convex, compact set C with a non-empty interior, such that every pair of sets intersect each other simply, is at least the ratio of the area of C and the a(C) area of a hexagon of maximum area inscribed in C, i.e. γ(C) ≥ . a(P ) We are interested in the following problem of finding an optimal covering of the plane by a sequence of unit circular disks with a given constraint on the distance between the centers of consecutive disks . Problem 1.3. What is the optimal lower density of covering the plane by a se- quence of unit circular disks with the constraint that each disk contains the center of the next disk? Does there exist a sequence covering with the given constraint attaining the optimal lower density? We answer this question and prove Theorem 1.4 using ideas by Fejes T´oth in the case where the following restriction holds: if (D ) is a sequence covering of n n∈N the plane by unit circular disks with constraint mentioned in Problem 1.3 and for all n ≥ 1, C is the center of the disk D , then for all n ≥ 2, measure of (smaller n n 2π of the angles) ∠C C C is at least . By ∠C C C we always mean the n−1 n n+1 n−1 n n+1 smaller (i.e. the one with measure less than π) of the two angles (or either, if measure of ∠C C C is π). Also abusing the notation, we use ∠C C C n−1 n n+1 n−1 n n+1 to mean both the angle and also measure of the angle depending on the context. Problem 1.3 is motivated by a practical problem of robotic exploration with discrete and limited visibility discussed in [5, 6]. The problem of robotic exploration asks for a cost-effective strategy for a point robot to completely explore an unknown planar region avoiding obstacles. Due to mechanical limitations the robot can only scan a ball of finite and fixed radius around it at a given instance. Also it is not feasible to perform the scanning process continuously, i.e. the robot must take a break between two scans. Along with that after performing the first scan, the robot must stay inside the region that is scanned by that time (i.e. the region known to the robot at that instance). 3 ∗ Theorem 1.4. If γ (D) is the optimal lower density of covering the plane by a sequence (D ) of unit circular disks (with C being the center of the disk D n n∈N n n 2π for all n ∈ N) such that for n ≥ 2, C lies in D and ∠C C C ≥ , then n n−1 n−1 n n+1 2π γ (D) ≥ √ . 2 + 3 This bound can also be achieved. As discussed in detail in Section 4, it seems that the restriction on ∠C C C n−1 n n+1 is only due to the limitations of the proof-techniques used in this article and the bound on the optimal lower density mentioned in Theorem 1.4 would hold true even after removing the restriction on ∠C C C . We propose the following n−1 n n+1 conjecture. Conjecture 1.5. If γ (D) is the optimal (lower) density of covering the plane by a sequence of unit circular disks such that each disk in the sequence contains the center of the next disk, then 2π γ (D) ≥ √ ≈ 1.68357. 2 + 3 In Section 3 we consider the following problem closely related to Problem 1.3. Problem 1.6. What is the optimal lower density of covering the plane by closed unit circular disks with the constraint that each disk contains the centers of at least two other disks? Does there exist a covering with the aforementioned constraint attaining the optimal lower density? We prove the following result in case of lattice coverings (i.e. when centers of the disks form a lattice in R ). Theorem 1.7. The optimal lower density of covering of the plane by closed unit circular disks with the constraint that the centers of the disks form a lattice in R 2π and each disk contains the centers of at least two other disks is . The optimal 2+ 3 lower density can be achieved by a suitable lattice covering with given constraint. We note that the constraint mentioned in Problem 1.6 is comparable to the constraint in Problem 1.3. In Problem 1.3, (second disk onward) each disk in the sequence covering contains the centers of both the previous and the next disk. We also observe that the optimal density for lattice covering of the plane with the constraint mentioned in Problem 1.6 (as per Theorem 1.7) coincides with the optimal lower density mentioned in Conjecture 1.5. This observation strengthens the case for Conjecture 1.5. 4 2 Covering the plane by sequence of disks each having center in the previous one In this section we prove Theorem 1.4. First we prove that for a given covering of the plane by unit circular disks, we can partition the plane into convex bounded polygonal regions in such a way that each disk contains exactly one of the polygons. Lemma 2.1. Let Π be a convex polygon in R and (D , . . . ,D ) be a finite sequence 1 N covering of Π by unit circular disks. If D 6= D for n 6= m, then there is a finite n m sequence of convex polygons (P , . . . ,P ) such that 1 N (i) for all n ∈ {1, . . . , N}, P ⊂ D ; n n (ii) Π = P ; n=1 (iii) for all n, m ∈ {1, . . . , N} and n 6= m, Int(P ) ∩ Int(P ) = ∅. n m (Note that P is allowed to be the empty set for some n ∈ {1, . . . N}.) Proof. We construct a Voronoi diagram [13] by setting the boundary of Π as the boundary of the diagram and the centers of the circular disks as the prescribed points (known as seeds or generators). Suppose that for all n ∈ {1, . . . , N}, C is the center of the disk D and for all x ∈ Π, d (x) denotes the Euclidean distance n n between x and C . For all n ∈ {1, . . . , N}, we define a set P ⊂ Π (called the n n Voronoi cell associated to the seed C ) as follows P = {x ∈ Π : d (x) = min{d (x), . . . , d (x)}} . n n 1 N We refer to Figure 2 for an illustration. We note that P may be the empty set for some n (only if C lies outside Π) n n and we also replace P by the empty set if P contains no interior points of Π. n n From the properties of Voronoi cells (in a finite dimensional Euclidean space), it follows that each P is a convex polygon (or the empty set). Also ∪ P = Π n n n=1 and for n, m ∈ {1, . . . , N} with n 6= m, Int(P ) ∩ Int(P ) = ∅. n m Let D and D be two distinct disks whose interiors intersect. It follows that P n m n is contained in one of the two closed half-planes induced by the line corresponding to the common chord of D and D and P is contained in the other closed half- n m m plane. This implies, since {D , . . . ,D } covers Π, P ⊂ D for all n ∈ {1, . . . , N}. 1 N n n We now consider a convex subset of a closed unit circular disk, whose boundary consists of (i) any pair of chords of the unit circle (boundary of the circular disk), of length 3 each, sharing a common endpoint and (ii) the minor arc of the unit circle between the other two endpoints (i.e. other than the common endpoint) of the aforementioned two chords. 5 Figure 2: Eight circular disks covering a convex octagon and the Voronoi cells associated to the centers of the disks We denote the compact, convex subset of the closed unit disk as described above by M (up to congruence). For an illustration, we refer to Figure 3. Let A B and 0 0 A B be any two chords of the unit circle (on the left) of length 3 each. M is the convex, compact set whose boundary consists of the chords A B and A B 0 0 0 and the (minor) arc B B of the circle. Next we consider a convex subset of a closed unit circular disk, whose boundary consists of (i) any two chords of the unit circle, of length 3 each, that do not cross each other (they may at most meet at a point on the circle), where the angle subtended by the line segment joining the centers of the two chords from the center of the disk is θ; (ii) the (minor) arc between an “alternative-pair” of endpoints (i.e. one endpoint from each chord) such that the distance between the pair is the least among all possible alternative-pairs (note that the arc may be of length 0, possible if and only if the chords meet at a point); (iii) the (minor) arc between the other two endpoints (i.e. other than the closest alternative-pairs as mentioned in (ii)) of the aforementioned two chords. We denote the compact, convex subset of the unit disk as described above by M (up to congruence). For an illustration, we again refer to Figure 3. Let AB and ′ ′ A B be any two non-crossing chords of the unit circle (on the right) of length 3 each and C be the center of the circle. If D and D are the midpoints of the chords ′ ′ ′ ′ AB and A B respectively, then we have θ = ∠DCD . M is the convex, compact ′ ′ ′ set whose boundary consists of the chords AB and A B and the (minor) arcs AA and BB of the circle. 6 ′ B ′ 0 B Figure 3: Convex, compact sets M and M Since the pair of chords which are parts of the boundary of M don’t cross 2π ′ 2π each other, we have ≤ θ ≤ π. Also we have M = M and for ≤ θ ≤ π, 2π 3 3 a(M ) = a(M). Observation 2.2. Let us consider the convex, compact set M for an arbitrary 2π ′ ′ ′ θ ∈ , π . Let M be bounded by the chords AB and A B and the (minor) arcs ′ ′ AA and BB as illustrated in Figure 3 and P be a proper ν-gon of the largest area inscribed in M . We have the following. ′ ′ (i) P has vertices on both the line segments AB and A B . ′ ′ (ii) If P has two vertices on the line segment AB (or A B ), then the points A ′ ′ and B (A and B ) are the two vertices of P on AB. ′ ′ (iii) If P has exactly one vertex Q on the line segment AB (or A B ), then there ′ ′ ′ exists a proper ν-gon P with the same area inscribed in M such that P has exactly one of A or B as its vertex. Let P and R be the neighbors of Q (considering the ν-gon P as a cycle graph), then △PQR, taking PR to be the base, attains the maximum height (and hence maximum area) when Q is one of the endpoints on AB, unless PR is parallel to AB. In that case, we replace the vertex Q of P by any of the points A or B to obtain P . ′ ′ ′ (iv) If P has at least two vertices on the arc AA (or BB ), then A and A (B and B ) are two vertices of P. Otherwise let A not be a vertex of P and Q and R (with Q 6= A) be the “first” two vertices of P on the arc AA in a cyclic order (from A toward A ) of the vertices P. Also let P (with P 6= A) be the vertex “preceding” Q in the same cyclic order. From (i) – (iii) it follows that P is the only vertex of P on AB and we may replace the vertex P of P by ′ ′ the point B to obtain a proper ν-gon P with the same area inscribed in M . We note that △BQR, taking BR to be the base, attains its maximum height 7 (and hence maximum area) when Q coincides with A. Thus by replacing the ′ ′′ vertex Q of P by the point A, we obtain another proper ν-gon P inscribed ′ ′′ ′ in M with a(P ) > a(P ) = a(P). This leads to a contradiction to the assumption that P is a largest ν-gon inscribed in M . Observation 2.3. From Observation 2.2 it follows that the largest ν-gon inscribed ′ ′ in M, where M is bounded by the chords A B and A B and the (minor) arc 0 0 0 0 ′ ′ B B as illustrated in Figure 3, is the convex ν-gon with vertices A , B , B and 0 0 0 0 0 ′ ′ ν − 3 points on the arc B B (other than B and B ) that divide the arc into ν − 2 0 0 0 0 pieces of equal length. Over the next two lemmata we show that a polygonal cell constructed in the proof of Lemma 2.1, when the disks abide by the constraints mentioned in Theo- rem 1.4, is always smaller than the largest polygon with same number of vertices inscribed in M. First we show that even when a largest ν-gon inscribed in M , 2π for an arbitrary θ ∈ , π , doesn’t fit inside M, we may break the ν-gon into triangular pieces and rearrange them appropriately to obtain a ν-gon (of the same area) that fits inside M. Lemma 2.4. If P is a proper ν-gon of the largest area inscribed in M for an 2π ∗ arbitrary θ ∈ , π , then there is a proper ν-gon P contained in M such that a(P) ≤ a(P ). ′ ′ ′ Proof. Let the boundary of M consist of the line segments AB and A B and the ′ ′ arcs of the unit circle (with the center C) AA and BB as illustrated in Figure 3. ′ ′ Case 1: P has both AB and A B as two of its sides. In this case we can construct a ν-gon P which can be inscribed in M having the same area as of P by removing all but one vertices of P from one of the arcs and repositioning them along the boundary of the unit circle in an appropriate manner. ′ ′ Let A = P , P , . . . , P = A be the proper vertices of P on the arc AA in cyclic 0 1 k ′ ′ order (from A toward A ). We remove the points P , . . . , P = A from the arc 1 k ′ ′ ′ AA ; place them along the (minor) arc B A of the unit circle in cyclic order (from ′ ′ ∗ ∗ ′ ∗ B toward A ) and label them as P , . . . , P , respectively such that ∠B CP = 1 k 1 ∗ ∗ ∠P CP = ∠ACP and ∠P CP = ∠P CP for all i ∈ {1, . . . , k − 1} (as 0 1 1 i i+1 i i+1 illustrated for k = 2 in Figure 4). Hence, if P is the convex proper ν-gon whose set of proper vertices is ∗ ∗ ′ {all proper vertices of P} ∪ {P , . . . , P } − {P , . . . , P = A }, 1 k 1 k ∗ ∗ then a(P ) = a(P). Also we note that P can be inscribed in M as the compact, convex set whose boundary consists of the line segments AB and AP , ′ ∗ and the arc BB P is M (up to congruence). ′ ′ Case 2: At least one of AB and A B is not a side of P. We note that, by Observation 2.2, in this case P has only one vertex, say P , on ′ ′ ′ one of the arcs AA and BB , without loss of generality, say on AA . It also follows from Observation 2.2 that the neighbors of P (considering the proper ν-gon P as a cycle graph) are B and B . We observe that P itself can be inscribed in M. 8 ′ B ′ B B C C A = P 1 P = A Figure 4: Construction of P from P P is a subset of the compact, convex set whose boundary consists of the pair of chords of length 3 with a common endpoint in P (as illustrated by dashed line segments in Figure 5) and the (minor) arc joining the other two endpoints of these two chords and this set, up to congruence, is M. Figure 5: P is bounded between chords of length 3 that meet at P (dashed lines) Let Π be any convex polygon in R and (D , . . . ,D ) be a finite sequence 1 N covering of Π by closed unit circular disks such that for all n ∈ {1, . . . , N}, C is the center of the disk D . Also suppose that for all n ∈ {2, . . . , N}, C ∈ D n n n−1 2π and for all n ∈ {2, . . . , N − 1}, ∠C C C ≥ . n−1 n n+1 Let P , for n ∈ {1, . . . , N}, be the Voronoi cell (a convex polygon) associated to C obtained from the Voronoi diagram with the boundary of Π as the boundary 9 of the diagram and C , . . . , C as the generators (refer to Lemma 2.1). Suppose 1 N that for all n ∈ {1, . . . , N}, the P has ν proper vertices. n n From the notion of Voronoi cells, we note that the cell P (⊂ D ) is bounded n n between the common chord of D and D , and the common chord of D and n−1 n n ′ 2π D . This, in turn, implies P can be fit inside M for some θ ∈ , π (in fact, n+1 n θ = ∠C C C in this case). Then by using Lemma 2.4, we have the following n−1 n n+1 bound on a(P ). Lemma 2.5. If, for all n ∈ {2, . . . , N − 1}, P is the ν -gon with the largest area νn inscribed in M, then a(P ) ≤ a(P ). Proof. From the construction of the convex ν -gon P that lies inside D (for n n n n ∈ {2, . . . , N − 1}) in the proof of Lemma 2.1, it follows that P is bounded between the common chord of D and D , and the common chord of D and n−1 n n D (as illustrated by solid line segments in Figure 6). Since, C , the center of n+1 n D , lies in D , the length of the common chord of D and D is at least 3 n n−1 n−1 n (and the same is true for the common chord of D and D ). Now we consider n n+1 the following pair of chords of D of length 3 each: (i) one that is parallel to the common chord of D and D and that lies in the n−1 n minor segment of D induced by the common chord of D and D ; n n−1 n (ii) one that is parallel to the common chord of D and D and that lies in the n n+1 minor segment of D induced by the common chord of D and D . n n n+1 (these two chords are illustrated by the dash-dotted line segments in Figure 6). C C n−1 n n+1 Figure 6: Common chord of D and D , common chord of D and D (solid), n−1 n n n+1 and the chords of D of length 3 (dash-dotted) parallel to the common chords It follows that P is bounded between the aforementioned pair of chords of 2π length 3 each. We also note that as ∠C C C ≥ , these two of chords n−1 n n+1 of length 3 don’t cross each other (they can at most meet at a point on the 10 boundary of D ). Hence, the ν -gon P can be fit inside the convex, compact set n n n M , where θ = ∠C C C . This is because the aforementioned pair of chords n−1 n n+1 of length 3 each of D along with a pair of suitable (minor) arcs describe the boundary of M (up to congruence). Thus, for all n ∈ {2, . . . , N − 1}, the area of the ν -gon P is less than or equal n n to the area of a largest ν -gon inscribed in M . Hence, from Lemma 2.4, it follows that a(P ) ≤ a(P ). Let Π be any convex hexagon in R and (D , . . . ,D ) be a finite sequence 1 N covering of Π by closed unit circular disks. Suppose that for n ∈ {1, . . . , N}, P is the Voronoi cell (a convex polygon) corresponding to the disk D (in reference to Lemma 2.1). We have the following bound on the average number of (proper) vertices of these polygons. Lemma 2.6. If, for all n ∈ {1, . . . , N}, the Voronoi cell P has ν proper vertices, n n then ν ≤ 6N. n=1 Proof. We provide a proof of the lemma following the proof of a similar result by Bambah and Rogers in their proof of L. Fejes T´oth’s Theorem in [1]. First ′ ′ ′ we form augmented polygons P ,P , . . . ,P from Π,P , . . . ,P respectively by 1 N 0 1 regarding a point x on the boundary of one of Π,P , . . . ,P as a vertex of the 1 N ′ ′ ′ corresponding polygon P ,P , . . . ,P if it is a proper vertex of at least one of the 0 1 N ′ ′ polygons Π,P , . . . ,P . Suppose that for all i ∈ {0, . . . , N}, P has ν sides. Let 1 N i i n , n , and n be the number of vertices, sides and regions respectively comprising 0 1 2 ′ ′ the system of polygons P , . . . ,P . It follows that n = N. Let α , . . . , α be the 2 1 n 1 N 0 number of sides meeting at the different vertices of the configuration. We observe that for all i ∈ {1, . . . , n }, α is at least 3, except perhaps for those vertices which 0 i are proper vertices of Π (for such a vertex, α is at least 2). Since Π is a hexagon, we have α ≥ 3n − 6. i 0 i=1 But counting the incident pairs of a vertex and a side in two ways we have α = 2n . i 1 i=1 By Descartes-Euler polyhedral formula [12], viz. V −E +F = 2, we have n −n + 0 1 (n + 1) = 2 (we note that number of faces (regions), F is n + 1 = N + 1 here, as 2 2 the complement of Π in R contributes 1), which implies 3n − 6 = 3n − 3N − 3. 0 1 Thus we get 2n ≥ 3n − 3N − 3, i.e. n ≤ 3N + 3. Now counting the incident 1 1 1 pairs of a polygon and a side in two ways we have ν = 2n . i=0 11 Hence, N N X X ν ≤ ν − 6 = 2n − 6 ≤ 6N. i 1 i=1 i=0 We now use the following theorem by Dowker to conclude that if, for all n ≥ 3, ∗ ∗ a (n) denotes the area of the largest n-gon inscribed in M, then a (n) is bigger ∗ ∗ than the average of a (n − 1) and a (n + 1). Theorem 2.7. [2] Given a convex, compact set C in R with a non-empty interior, if, for n ≥ 3, Q denotes an n-gon of the largest area inscribed in C, then a(Q ) + a(Q ) n−1 n+1 a(Q ) ≥ , for every n ≥ 4. Corollary 2.8. If, for all n ≥ 3, a (n) denotes the area of the largest n-gon inscribed in M, then for every n ≥ 4, ∗ ∗ a (n − 1) + a (n + 1) a (n) ≥ . Proof. Follows from Theorem 2.7 as M is a convex, compact set in R with a non-empty interior. Remark 2.9. From Observation 2.3 it follows that if, for all n ≥ 3, a (n) denotes the area of the largest n-gon inscribed in M, then 3 n − 2 2π a (n) = + sin . 2 2 3(n − 2) We now extend the function a to all real numbers bigger than or equal to 3 as the linear interpolation on the set of data points {(n, a (n)) : n ∈ N, n ≥ 3}. From Corollary 2.8 it follows that a is a concave function. We have the following result for a real concave function. Theorem 2.10 (Jensen’s inequality for concave functions, 1906). If f is a real concave function and x , . . . , x are real numbers in its domain, then 1 n P P f(x ) x i i i=1 i=1 ≤ f . n n Equality holds if and only if x = ··· = x or f is linear. 1 n Now we proceed to prove the lower bound mentioned in Theorem 1.4. 12 ∗ Theorem 2.11. If γ (D) is the optimal lower density of covering the plane by a sequence of unit circular disks (D , . . . ,D , . . .) (with C being the center of the disk 1 n n 2π D for all n ∈ N) such that for n ≥ 2, C lies in D and ∠C C C ≥ , n n n−1 n−1 n n+1 then 2π γ (D) ≥ . 2 + 3 Proof. Let Π be a convex hexagon containing the center of D . Since Π is a compact set, it follows that there is a least N ∈ N such that {D , . . . ,D } covers 1 N Π. If multiple disks from the finite sequence D , . . . ,D coincide, we throw away 1 N all but one. Let P , . . . ,P be the polygons (Voronoi cells) corresponding to the 1 N disks D , . . . ,D , respectively as constructed in the proof of Lemma 2.1 (with 1 N P = ∅ for a “thrown away” disk D ). Also suppose that for n ∈ {1, . . . , N},P n n n is a proper ν -gon. From Lemma 2.1, we have a(Π) = a(P ). n n n=1 From Lemma 2.5 we have, for n ∈ {2, . . . , N −1}, a(P ) ≤ a (ν ). Also we can n n ∗ ∗ choose a positive number c such that a(P ) ≤ a (ν ) + c and a(P ) ≤ a (ν ) + c. 1 1 N N Thus P P N N a(P ) a (ν ) + 2c n n n=1 n=1 N N a (ν ) 2c n=1 ≤ + N N ν 2c n=1 ≤ a + (by Jensen’s inequality (Theorem 2.10)). N N As a is an increasing function, from Lemma 2.6 it follows that a(P ) 2c n=1 ∗ ≤ a (6) + . N N Thus we have a(D ) Nπ π n=1 = ≥ . N 2c a(Π) a (6) + a(P ) n=1 We note that if we replace Π by λΠ (λ ≥ 1) in the inequality above, the integer N depends on λ (i.e. N = N(λ)) and N(λ) → ∞ as λ → ∞, but the positive number c can be chosen in such a way that it is independent of λ (for example, we may set c = π). Thus N(λ) a(D ) π n=1 2c a(λΠ) a (6) + N(λ) and hence N(λ) a(D ) π π n=1 lim inf ≥ = . λ→∞ a(λΠ) a (6) 1 + Therefore, 2π γ (D) ≥ √ . 2 + 3 13 Now we produce a sequence covering of the plane by closed unit circular disks that attains this bound. Suppose that for all j ∈ N, Π denotes the regular convex dodecagon (12-gon) whose vertices (in polar coordinates, taking the origin as the pole and the x-axis as the polar axis) are the elements of the set ( ! ) (1 + 3) · j π · i √ , : i ∈ {0, . . . , 11} . Remark 2.12. For all j ∈ N, the length of each side of the convex regular do- decagon Π as defined above is j and hence a(Π ) = 3 2 + 3 j . j j Now for all j ∈ N we place unit circular disks with centers at each vertex of Π and at any point on a side of Π such that the point is an integral distance j j away from the end-vertices of the side. We note that in this way for all j ∈ N, we place 12j unit circular disks along the boundary of Π . For all j ∈ N, we call the collection of these 12j unit disks the “j-th layer” of disks. We also call the unit disk centered at the origin the “0-th layer” of disks (see Figure 7). We may verify that the collection of all the disks belonging to all the j-th layer of disks (including the 0-th layer of disks) covers R . More importantly, for each j, the 12j disks belonging in the j-th layer of disks may be ordered in such a way that from the second disk onward, each disk in the layer has its center on the boundary of the previous disk. We can do that by walking in the clockwise (or anti-clockwise) direction along the boundary of Π starting with the center of any arbitrary disk in the j-th layer and picking up the next disks in order as we approach their centers. We can also jump from the “last” disk in the j-th layer to the “first” disk in the (j + 1)-th layer with only finitely many disks in-between which respect both the 2π “disk having its center inside the previous disk” and “no sharp turn beyond ” criteria. As demonstrated in the Figure 8, three circular disks (all lie within the (j − 1)-th and j-th layers) are enough to jump from the last disk of the (j − 1)-th layer to the first disk of the j-th layer for a large enough j (say j ≥ 5) and also for a smaller j, we can jump to the next layer of disks using finitely many extra disks. Thus there is a c ∈ N, c being independent of j, such that we can jump from the (j − 1)-th layer to the j-th layer using at most c extra disks for all j ∈ N. Combining all the appropriate orderings among the disks in the j-th layer and orderings of the disks required to jump from the j-th layer to the j + 1-th layer in a suitable way we get an infinite sequence of unit circular disks on R , say (D ) n n∈N starting with the unit circular disk centered at the origin. We observe that the family of disks S = {D : n ∈ N} covers R . Also this sequence of disks (D ) has n n the property that the second disk onward, each disk has its center in the previous disk and the smaller angle formed at the center by the line segments joining it with 2π the centers of the previous and the next disks is at least . We assert that the (lower) density of this sequence of unit circular disks is at 2π least even though this sequence contains many redundant disks. 2+ 3 14 Figure 7: Dodecagons Π , Π , and Π (smaller to bigger) and 0-th, first, second, 1 2 3 and third layer of disks (j + 1)-th layer j-th layer Figure 8: Jumping from j-th layer to (j + 1)-th layer of disks (dotted ones) using three circles (solid) for a large enough j We note that the collection of disks belonging in the j-th layer for all j ∈ {0, . . . , k} covers the dodecagon Π and (the interior of) Π doesn’t intersect with k k 15 any of the disks belonging in the j-th layer for all j > k. Also for a large enough k, Π doesn’t intersect with any of the disks required to jump from the j-th layer to the j + 1-th layer for all j > k either. Thus the number of disks that intersect the dodecagon Π , say N , is at most the sum of the total number of disks in the k k 0-th to k-th layers and total number of disks required to jump from the j-th layer to the next layer with j ≤ k, i.e. N ≤ 1 + 12j + c(k + 1) j=1 = 1 + 6k(k + 1) + c(k + 1) = 6k + (c + 6)k + c + 1. Therefore, the (lower) density of the covering S is less than or equal to N · π (6k + (c + 6)k + c + 1) · π lim ≤ lim √ k→∞ k→∞ a(Π ) k 3 2 + 3 k 6π = √ 3 2 + 3 2π = √ . 2 + 3 3 Covering the plane by disks each containing centers of at least two other disks In this section we prove Theorem 1.7. Let {D : n ∈ N} be a covering of R by unit circular disks such that the centers of the disks form a lattice Λ in R . Let {v , v } be a set of generators of Λ, i.e. Λ = {αv + βv : (α, β) ∈ Z }. Thus every 1 2 1 2 lattice point p can be represented as a pair (a, b) ∈ Z , where p = av + bv . The 1 2 “fundamental parallelogram” corresponding to the lattice Λ is given by {xv + yv : (x, y) ∈ [0, 1] × [0, 1]}. 1 2 Area of the fundamental parallelogram is equal to the “determinant of the lattice” (det(Λ)), i.e. det(Λ) = |det[v , v ]|. 1 2 Now if we generate a Voronoi diagram by setting the lattice points belonging to Λ (i.e. centers of the dics) as the generators, the Voronoi cells corresponding to the lattice points are congruent to each other and they tile the plane. We can also show that area of each Voronoi cell equals det(Λ). From the definition of covering density and its relation with the area of the Voronoi cells as discussed in the previous section, it follows that the (lower) density of the covering corresponding to the lattice Λ equals 16 a(D) π = . area of Voronoi cells corresponding to the lattice points det(Λ) Now we need to maximize det(Λ) with the constraint that each disk contains the centers of at least two other disks. Proposition 3.1. If the lattice Λ corresponds to a lattice covering of the plane by unit circular disks with the constraint that each disk contains the centers of at least two other disks, then det(Λ) ≤ 1 + . Proof. Let v be the position vector of the center of a disk closest to (but not centered at) the origin. From the constraint it follows that length of v is at most 1. Since the centers form the two dimensional lattice Λ, there is a center (of a disk) with the position vector v such that v and v generate Λ. 2 1 2 Let, without loss of generality, v = (2α, 0), where α ∈ 0, . Let us consider the point P = α, 1 − α + ǫ where ǫ > 0. This point is not covered by any disk whose center lies on the lattice points on the x-axis. Let the position vector of the center of a disk that covers P be w = (β , β ) (see Figure 9). 1 2 Figure 9: Point P = α, 1 − α + ǫ and the disk centered at (β , β ) = w 1 2 containing P We want to find an upper-bound on the area of the parallelogram, say P, formed by the vectors v and w. We note that a(P) = 2α·|β |. Since the unit disk 1 2 centered at (β , β ) contains the point P , we get |β | ≤ 1 − α + ǫ + 1. This 1 2 2 implies a(P) ≤ 2α · 1 − α + 1 + ǫ . The function f(α) = 2α · 1 − α + 1 + ǫ 1 1 is increasing on 0, and hence attains its maximum at α = . Also, since ǫ is 2 2 arbitrary, we get a(P) ≤ 1 + . Since the vectors v and v generate the lattice Λ, a(P) is a positive integral 1 2 multiple of the area of the parallelogram formed by v and v , viz. det(Λ). Thus 1 2 det(Λ) ≤ a(P) ≤ 1 + . 1 3 The lattice generated by the vectors v = (1, 0) and v = , 1 + as shown 1 2 2 2 in Figure 10 corresponds to a lattice covering of the plane by unit circular disks such that each disk contains the centers of two other disks and the lattice determinant equals 1+ . This shows it is an optimal lattice covering with the given constraint π 2π √ √ and has the (lower) covering density = . This proves Theorem 1.7. 2+ 3 1+ Figure 10: Covering corresponding to the lattice generated by the vectors v = 1 3 (1, 0) and v = , 1 + 2 2 4 Conclusions Problem 1.3 can be generalized as follows. Let (D ) be a sequence of unit n n∈N circular disks that covers R in such a way that for all n ≥ 2, distance between the centers of the disks D and D is at most a positive real number ρ. What is n−1 n the optimal lower density of covering the plane by a sequence of unit circular disks with the aforementioned constraint? Can the optimal lower density be achieved by a suitable sequence covering? If ρ is large enough (for example when ρ is close to 2), then the problem can be reduced to the problem of covering the plane with unit circular disks without any constraints. We considered the case ρ = 1 in Section 2 and established a bound on the optimal lower density with a restriction on the “turning angles”. We can use the techniques used in Section 2 to find out a bound for lower covering density for any ρ with an analogous restriction on the turning angles depending on ρ. In Section 2 we have also constructed a sequence of disks which attains the established lower bound. The same idea may be useful for constructing a sequence of disks covering the plane with the optimal density for a given ρ and the corresponding restriction on the turning angles. We also observe that for a sequence of disks covering the plane admitting the restriction in Problem 1.3, second disk onward, new area (i.e. not already covered 18 by the previous disks) that can be covered by each disk is at most the area of the shaded crescent, say C in Figure 11. (n + 1)-th disk n-th disk Figure 11: Shaded crescent C, maximum “new” area that can be covered by the (n + 1)-th disk 2π π We note that a(C) = sin + . Therefore, if γ (D) is the optimal (lower) 3 3 density of covering the plane by a sequence of unit circular disks in such a way that each disk (excluding the first one) contains the center of the previous one, then a(D) π γ (D) ≥ = ≈ 1.64204. 2π π a(C) sin + 3 3 We also note that the lower bound obtained in this way is a very crude one; this bound is not achievable here as it can only be achieved by a covering which is “almost like a tiling” (by the crescent shape). For example an analogical crude lower bound on the optimal (lower) density of covering by congruent circular disks without any constraints is 1 whereas the actual achievable lower bound as shown 2π by Kershner is ≈ 1.20920. From this observation and the results in Section 2 and Section 3 it seems that the restriction on the turning angles is only due to the limitations of the proof- techniques used. We observe that if we get rid of the angle restriction, i.e. if, for 2π some n ∈ N, ∠C C C < (we refer to Figure 12 for an example), then n−1 n n+1 the corresponding ν -gon P constructed as in the proof of Lemma 2.1 would be n n 2π contained in a convex, compact set larger than M for ≤ θ ≤ π or in particular larger than M (for example, P would be contained in the convex, compact set bounded by solid lines in Figure 12). In fact when ν is large enough (for example bigger than 6), in specific cases the inequality a(P ) ≤ a(P ) (conclusion of Lemma 2.5) will no longer hold. But 2π we also observe that if ∠C C C < , then it induces a larger intersection n−1 n n+1 of D and D which would potentially reduce these two disks’ “contributions” n−1 n+1 in the covering. Also for the ν -gon P , larger ν is, more congested the neigh- n n n boring disks of D are. This again would potentially reduce the contributions of the neighboring disks of D . Thus it seems we would never gain any significant advantage globally by allowing sharper turns. We may also note that this proof-technique provides a bound on optimal density of covering the plane by congruent copies of a convex, compact set in R with a non- empty interior with the restriction that no two sets cross each other (Corollary 1.2). But it is not necessary for a covering to be “crossing-free” in order to be an optimal 19 C n−1 n+1 2π Figure 12: Example of three disks in a sequence with ∠C C C < n−1 n n+1 covering. For a “fat” ellipse (i.e. sufficiently close to a circle) the lower bound on the density of covering the plane with congruent copies of the ellipse obtained from L. Fejes T´oth’s theorem (Corollary 1.2) holds true [7], and thus the optimal lattice covering density is the most economical. But it is not known whether an optimal lattice covering is an optimal covering for an elongated ellipse. Moreover, G. Fejes T´oth and W. Kuperberg pointed out in [3] that it is very likely that in higher- dimensional spaces the most economical coverings with sufficiently long ellipsoids is not crossing-free. All these motivate us to propose Conjecture 1.5. Acknowledgements We are grateful to the anonymous referees who reviewed the journal version of the article for their valuable remarks and suggestions which substantially improved the presentation of this article. We are also thankful to Mainak Ghosh of School of Mathematics, Tata Institute of Fundamental Research for kindly proofreading an initial draft of the manuscript and providing feedback. References [1] R. P. Bambah and C. A. Rogers. Covering the plane with convex sets. Journal of the London Mathematical Society, s1-27(3):304–314, 07 1952. [2] C. H. Dowker. On minimum circumscribed polygons. Bull. Amer. Math. Soc., 50(2):120–122, 02 1944. [3] G. Fejes T´oth and W. Kuperberg. Thin non-lattice covering with an affine image of a strictly convex body. Mathematika, 42(2):239250, 1995. [4] L. Fejes T´oth. Some packing and covering theorems. Acta Sci. Math. (Szeged), 12:62–67, 1950. 20 [5] S. K. Ghosh and J. W. Burdick. An on-line algorithm for exploring an un- known polygonal environment by a point robot. In Proc. 9th Canadian Conf. Computational Geometry pp., pages 100–105, 1997. [6] S. K. Ghosh, J. W. Burdick, A. Bhattacharya, and S. Sarkar. Online algo- rithms with discrete visibility – exploring unknown polygonal environments. IEEE Robot. Autom. Mag. pp., 15(2):67–76, 2008. [7] A. Heppes. Covering the plane with fat ellipses without non-crossing assump- tion. Discrete & Computational Geometry, 29(3):477–481, Feb 2003. [8] R. Kershner. The number of circles covering a set. American Journal of Mathematics, 61(3):665–671, 1939. [9] J. Pach and P. K. Agarwal. Combinatorial geometry. John Wiley & Sons, Inc., New York, 1995. [10] Axel Thue. Om nogle geometrisk-taltheoretiske theoremer.. Forh. Ved de skandinaviske naturforskeres, pages 352–353, 1892. [11] Axel Thue. Uber die dichteste Zusammenstellung von kongruenten Kreisen in einer Ebene. na, 1910. [12] E. W. Weisstein. “polyhedral formula.” From MathWorld–A Wolfram Web Resource. http://mathworld.wolfram.com/PolyhedralFormula.html. [13] E. W. Weisstein. “voronoi diagram.” From MathWorld–A Wolfram Web Re- source. http://mathworld.wolfram.com/VoronoiDiagram.html. [14] C. Zong. Packing, covering and tiling in two-dimensional spaces. Expositiones Mathematicae, 32(4):297 – 364, 2014.

Journal

Mathematics – arXiv (Cornell University)

Published: Sep 28, 2018

There are no references for this article.