Covering Spheres with Spheres
|
|
- Rebecca Harmon
- 5 years ago
- Views:
Transcription
1 Discrete Comput Geom 2007) 38: DOI /s Covering Spheres with Spheres Ilya Dumer Received: 1 June 2006 / Revised: 14 July 2007 / Published online: 2 September 2007 Springer Science+Business Media, LLC 2007 Abstract Given a sphere of any radius r in an n-dimensional Euclidean space, we study the coverings of this sphere with solid spheres of radius one. Our goal is to design a covering of the lowest covering density, which defines the average number of solid spheres covering a point in a bigger sphere. For growing dimension n, we design a covering that gives the covering density of order n ln n)/2 for a sphere of any radius r>1 and a complete Euclidean space. This new upper bound reduces two times the order n ln n established in the classic Rogers bound. 1 Introduction Spherical coverings. Let Br n x) be a ball solid sphere) of radius r centered at some point x = x 1,...,x n ) of an n-dimensional Euclidean space R n : { Br n def n x) = z R n z i x i ) 2 r }. 2 i=1 We also use a simpler notation Br n if a ball is centered at the origin x = 0. For any subset A R n, we say that a subset CovA, ε) R n forms an ε-covering an ε-net) of A if A is contained in the union of the balls of radius ε centered at points x CovA, ε). In this case, we use notation CovA, ε) : A Bε n x). x CovA,ε) By changing the scale in R n, we can always consider the rescaled set A/ε and the new covering CovA/ε, 1) with unit balls B1 n x). Without loss of generality, below I. Dumer ) University of California, Riverside, USA dumer@ee.ucr.edu
2 666 Discrete Comput Geom 2007) 38: we consider these unit) coverings. One of the classical problems is to obtain tight bounds on the covering size CovBr n, 1) for any ball Bn r of radius r and dimension n. Another related covering problem arises for a sphere S n r { def n+1 = z R n+1 zi }. 2 = r2 Then a unit ball B n+1 1 x) intersects this sphere with a spherical cap i=1 C n r ρ, y) = Sn r Bn+1 1 x), which has some center y Sr n, half-chord ρ 1, and the corresponding half-angle α = arcsin ρ/r. The biggest possible cap Cr n 1, y) is obtained if the center x of the corresponding ball B n+1 1 x) is centered at the distance x = r 2 1 1) from the origin. To obtain a minimal covering, we shall consider the biggest caps Cr n 1, y) assuming that all the centers x satisfy 1). Covering density. Given a set A R n,let A denote n-dimensional volume Lebesque measure) of A. We then consider any unit covering CovA, 1) and define minimum covering density ϑa)= min CovA,1) x CovA,1) B n 1 x) A. A Minimal coverings have been long studied for the spheres S n r and the balls Bn r.the celebrated Coxeter Few Rogers lower bound [1] shows that for a sufficiently large ball B n r, ϑsr n ) c 0n. 2) Here and below c i denote some universal constants. A similar result also holds for any sphere Sr n of radius r n see Example 6.3 in [4]). Various upper bounds on the minimum covering density are obtained for Br n and Sr n by Rogers in the classic papers [2] and [3]. In particular, it follows from these papers that for a sufficiently large radius r, a ball Br n and a sphere Sn r can be covered with density ln ln n ϑ 1 + ln n + 5 ) n ln n. 3) ln n Despite recent improvements obtained in [4] and [5], respectively, for spheres Sr n and balls Br n of a relatively small radius r, the Rogers bound 3) is still the best asymptotic bound known for sufficiently large spheres, balls, and complete spaces R n of growing dimension n.
3 Discrete Comput Geom 2007) 38: For a sphere Sr n of any dimension n 3 and an arbitrary radius r>1, the best universal upper bound known to date is obtained in [4] see Corollary 1.2 and Remark 5.1): ϑsr n ) ) ) ln ln n e 1 + ln n ln n + n ln n. 4) n ln n Our main result is presented in Theorem 1, which reduces about two times the present upper bounds 3) and 4) forn. Theorem 1 Unit balls can cover a sphere Sr n of any radius r>1and any dimension n 3 with density 1 ϑsr n ) 2 + 2lnlnn + 5 ) n ln n. 5) ln n ln n For n, there exists o1) 0 such that ϑs n r ) o1) ) ln ln n ln n ) n ln n. 6) The following corollary to Theorem 1 see also [8]) shows that the Rogers bound can also be reduced about two times for the coverings of complete Euclidean spaces R n. Corollary 2 For n, unit balls can cover the entire Euclidean space R n with density ) 1 ϑr n ) 2 + o1) n ln n. 7) 2 Preliminaries: Embedded Coverings In this section, we obtain the estimates on ϑsr n ) that are similar to 3) and 4). However, we will introduce here a slightly different technique of embedded coverings that will be substantially extended in Section 3 to improve the former bounds 3) and 4). We will also employ most of our calculations performed in this section. Consider a sphere Sr n of some dimension n 3 and radius r>1. We use notation Cρ,y) for a cap Cr n ρ, y) whenever parameters n and r are fixed; we also use a shorter notation Cρ) when a specific center y is of no importance. In this case, Covρ) will denote any covering of Sr n with spherical caps Cρ). By definition, a covering Covρ) has covering density ϑ ρ = Ω ρ Covρ) where Ω ρ is the fraction of the surface of the sphere S n r covered by a cap Cρ), Ω ρ = Cρ) S n r.
4 668 Discrete Comput Geom 2007) 38: For any τ<ρ 1, we extensively use inequality see Corollary 3.2 ii) in [4]): Ω τ Ω ρ τ ρ ) n 8) and its particular version Ω τ Ω 1 τ n obtained for ρ = 1. We begin with two preliminary lemmas, which will simplify our calculations. Let f 1 x) and f 2 x) be two positive differentiable functions. We say that f 1 x) moderates f 2 x) for x a if for all x a, f 1 x) f 1 x) f 2 x) f 2 x). Lemma 3 Consider m functions f i x) such that f 1 x) moderates each function f i x), i 2, for x a. Then inequality f 1 x) holds for any x a if it is valid for x = a. m f i x) i=2 Proof Note that f i x) = f i a) exp{s i x)}, where x s i x) def f i = t) a f i t) dt. Also, s i x) s 1 x) for all i 2. Therefore, m m m f 1 x) f i a) exp{s 1 x)} f i a) exp{s i x)}= f i x), i=2 i=2 i=2 which completes the proof. Lemma 4 For any n 4, 1 1 ) n < 1 + 1/ln n + 1/ln 2 n. 9) n ln n Proof For n = 4,...,7, the above inequality is verified numerically. Let t = 1 ln n.we take the logarithm of the left part of 9) and use power series. This gives the following inequalities n ln 1 t ) = n i=1 t i n i 1 <t+ t2 i ) 1 i t + t2 2n ) Here we observe that t< 1 2 for n 8, and replace the left-hand side of the first inequality with geometric series in its right-hand side, which in turn is bounded by i=1
5 Discrete Comput Geom 2007) 38: taking n = 8. We also note that for any n 8, t + t2 15 < ) For any z< 1 2 we can also use inequality e z = i=1 z i i! 1 + z + 2z ) By combining 10) and 12), we obtain the required estimate 1 1 ) n ) < 1 + t + t2 + 2 ) 2 t + t2 < 1 + t + t 2. n ln n The latter inequality can be verified for any t<1/2directly, or by applying Lemma 3 for t = 1 z and z 2. An embedded algorithm. We employ the following parameters ε = 1, ρ = 1 ε, 13) n ln n ln ln n λ = 1 + ln n + 2 n. 14) To design a covering Cov1), we also use another covering Covε) : Sr n Cε,u) u Covε) with smaller caps Cε,u). In our first step, we randomly choose N points y Sr n, where λn ln n λn ln n 1 <N. 15) Ω ρ Ω ρ Consider the set {Cρ,y)} of N caps. In the second step, we take all centers u Covε) that are left uncovered by the set {Cρ,y)} and form the extended set {x}={y} {u }. This set {x} covers the entire set Covε) and therefore forms a unit covering, if the caps Cρ,x) are expanded to the caps C1, x), Cov1) : Sr n C1, x). x {x} Lemma 5 For any n 8, covering {x} has density ln ln n ϑ 1 + ln n + 3 ) n ln n. 16) ln n
6 670 Discrete Comput Geom 2007) 38: Proof Any point u is covered by some cap Cρ,y) with probability Ω ρ. Our goal is to estimate the expected number N of centers u left uncovered after N trials. Here N = 1 Ω ρ ) N Covε). Note that 1 Ω ρ e Ω ρ1+ω ρ /2). Also, according to estimate 15), NΩ ρ >λnln n Ω ρ. Thus, 1 Ω ρ ) N e λn ln n Ω ρ)1+ω ρ /2) e λn ln n. 17) Here the second inequality holds since Ω ρ <Ω 1 < 1/2, whereas λn ln n>16. Next, we estimate the covering size Covε). Let this covering have some density ϑ ε. Then inequality 8) gives the estimates Covε) =ϑ ε /Ω ε n ln n) n ϑ ε /Ω 1, N e λn ln n n ln n) n ϑ ε /Ω 1 ϑ ε /n 2 Ω 1 ). According to our design, there exists a covering {x} with caps C1, x) that has size at most N + N. Next, we combine last inequality with 15), and estimate the covering density of {x}: ϑ 1 = Ω 1 N + N ) λn ln n)ω 1 /Ω ρ + ϑ ε /n 2. 18) Finally, we estimate Ω 1 /Ω ρ using inequalities 8) and 9): Thus, we can rewrite our estimate ϑ 1 as using notation Ω 1 /Ω ρ 1 ε) n 1 + 1/ln n + 1/ln 2 n. 19) ϑ 1 ϑ 1 1/n 2 ) + ϑ ε /n 2 20) ϑ = λn ln n 1 + 1/ln n + 1/ln2 n 1 1/n 2. 21) For any given n, bound 20) only depends on the density ϑ ε. Now let us assume that ϑ 1 meets some known upper bound ϑ 1 valid for all or sufficiently large) radii r. For example, we can use 4) or any weaker estimate. Next, we can change the scale in R n+1 and replace a covering Cov1) of a sphere Sr/ε n with the covering Covε) of the sphere Sr n. This rescaling shows that we can replace ϑ ε in 20) with any known upper bound ϑ 1. In turn, inequality 20) shows that the bound ϑ 1 will be further reduced by this replacement as long as ϑ 1 >ϑ. Thus, this iteration process yields the upper bound ϑ 1 ϑ. Our final step is to verify that the upper bound ϑ of 21) also satisfies inequality 16). Here we use Lemma 3. Then straightforward calculations show that the right-hand side of 16) exceeds the right-hand side of 21)forn = 8 and moderates it for n 8, due to the bigger remaining term 3/ ln n in 16).
7 Discrete Comput Geom 2007) 38: Remark More detailed arguments show that 16) holds for n 3, whereas for n 8, ln ln n ϑ 1 + ln n + 2 ) n ln n. ln n 3 New Covering Algorithm for a Sphere S n r Covering design. In this section, we obtain a covering of the sphere Sr n with asymptotic density n ln n)/2. The new design will use both the former covering Covε) with slightly different parameters) and another covering Covμ) with a larger radius μ that has asymptotic order of n 1/2. Namely, we use parameters ε = 1 2n ln n, ρ = 1 ε, β = 1 ln n + 2ln 2 ln n, 22) λ = β ln n, μ = n β 2 3, d = 1 2ε μ 2 and proceed as follows. A. Let a sphere Sr n be covered with two different coverings Covμ) and Covε): Covμ) : Sr n Cμ,z), Covε) : S n r z Covμ) u Covε) Cε,u). We assume that both coverings have the former density ϑ of 16) or less. B. Randomly choose N points y Sr n and consider the corresponding spherical caps Cρ,y), where λn ln n Ω d 1 <N λn ln n Ω d. 23) C. Let Cμ, z) be any cap in Covμ) that contains at least one center u Covε) not covered by the ρ-caps. We consider all such centers z and form the joint set {x}={y} { z}. This set covers Covε) with ρ-caps and therefore forms the required covering Cov1) : Sr n C1, x). x {x} We now proceed with preliminary discussion, which outlines the main steps of the proof.
8 672 Discrete Comput Geom 2007) 38: Outline of the proof. Let us first assume that we keep the design of Section 2 but apply it to the new covering Covμ) instead of Covε). This will require taking ρ = 1 μ to cover the centers of the caps Cμ,z) and then expanding ρ to 1 to cover the whole μ-caps. Contrary to our former choice of ρ = 1 ε in 19), this expansion will exponentially increase the covering density. Namely, straightforward calculations show that Ω 1 /Ω 1 ε 1, Ω 1 /Ω 1 μ = exp{n 1/2 }, n. To circumvent this problem, we keep ρ = 1 ε in 22) but change our design as follows. 1. Given any cap Cμ,z), we say that a cap Cρ,y) is d-close if y falls within distance d<ρto z. In our proof, we refine the selection of the caps Cρ,y) and count only d-close caps, instead of the ρ-close caps considered in Section 2. Itis easy to verify that distance d of 22) is so close to ρ that Ω ρ /Ω d 1, n. 24) For this reason, counting only d-close caps instead of the former ρ-close caps will carry no overhead to the covering size 23). 2. On the other hand, we will show in Lemma 6 that the μ-cap becomes almost completely covered by a cap Cρ,y) when the latter becomes d-close instead of ρ-close. Namely, only a vanishing fraction ω exp 3 2 ln2 n) of a μ-cap is left uncovered in this case. 3. We shall also use the fact that a typical μ-cap is covered by multiple d-close caps. According to 23), the average number Ω d N of these caps has the exact order of λn ln n: λn ln n Ω d <Ω d N λn ln n. 25) In our proof, we first define insufficiently covered μ-caps. Namely, we call a cap Cμ,z ) non-saturated if it has only s or fewer d-close caps, where s = n/q, q = 3lnlnn. 26) This choice of s will achieve two goals. 4. We prove in Lemma 7 that non-saturated caps typically form a very small fraction of order exp[ λn ln n] among all μ-caps. On the other hand, it is easy to see that the quantity Covμ) ϑ /Ω μ exceeds N by the exponential factor Ω d /Ω μ exp[βnln n] or less. Then our choice of λ and β in 22) gives the expected number N = on) of non-saturated caps. Thus, non-saturated caps typically form a vanishing fraction of not only μ-caps but also ρ-caps. 5. Next, we proceed with saturated μ-caps and count all those centers u Covε) that are left uncovered by random ρ-caps. All caps Cμ,z ) that contain uncovered centers u are called porous. For a given s, we show in Lemma 8 that
9 Discrete Comput Geom 2007) 38: Fig. 1 Two intersecting caps Cμ,Z) and Cρ,Y) with bases PQRSA and PMRTB the set {u } forms a very small portion of Covε), with expected fraction of ω s+1 exp[ 3 2n ln n]. Note that the quantity Covε) ϑ /Ω ε exceeds N by the exponential factor Ω d /Ω ε exp[n ln n] or less. Therefore, the expected size of {u } is N = on). 6. Finally, the centers of all non-saturated and porous caps are combined into the set z ={z, z }. Then the set {x} ={y, z} completely covers the set Covε) with the caps Cρ,x). Therefore, {x} also covers Sr n with unit caps. Main proofs. To prove Theorem 1, we first observe by numerical comparison) that the existing bound 16) is tighter for n 100 than bound 5) of Theorem 1 or even its refined version 39) considered below. Thus, Theorem 1 holds for n 100. For this reason, we shall only consider dimensions n 100. In the end of the proof, we also address the asymptotic case n, wherein the calculations are more straightforward. The proof is based on three lemmas. Consider two caps Cμ,Z) and Cρ,Y) with centers Y and Z, which are d-close. These caps are represented in Fig. 1. Here the origin O is the center of Sr n. Lemma 6 For any cap Cμ,Z), a randomly chosen d-close cap Cρ,Y) fails to cover any given point x of Cμ,Z) with probability px) ω, where ω = ) n 1 2 4lnn n ln2 n 1 4lnn exp 3 ) 2 ln2 n. 27) Proof The caps Cμ,Z) and Cρ,Y) have bases PQRSA and PMRTB, which form the balls Bμ na) and Bn ρ B). Below we consider the boundary PQRS of Cμ,Z), which forms the sphere Sμ n 1 A). The bigger cap Cρ,Y) covers this boundary, with the exception of the cap PQR centered at Q. We first consider the case, when x is a boundary point and belongs to PQRS. Then the probability px) is the fraction Ω of the entire boundary contained in uncovered cap PQR. We first estimate the half-angle α = PAQ formed by the cap PQR.
10 674 Discrete Comput Geom 2007) 38: Let dh, G) denote the distance between any two points H and G. Also, let σh) be the distance from a point H to the line OBY that connects the origin O with the center B of the bigger base Bρ n B) and with the center Y of the cap Cρ,Y). Weuse inequalities σa) σz) dz, Y) d. On the other hand, consider the base PNR of the uncovered cap PQR. Here N denotes the center of this base. Then both lines AN and BN are orthogonal to this base. Also, db, P) = ρ, and dn, P) da, P) = μ. Thus, db, N) = d 2 B, P) d 2 N, P) ρ 2 μ 2 ρ μ 2. 28) The latter inequality follows from the trivial inequality 2ρ 1 μ 2. Finally, the center line OBY is orthogonal to the entire base PMRTB and its line BN. Then db, N) = σn) and da, N) σn) σa) ρ μ 2 d ε. 29) Now we consider the right triangle ANP and deduce that 3 cos α = da, N)/dA, P) ε/μ = ln n. 30) n Note that the latter expression exceeds 1 for n<42, which simply implies that a d-close cap entirely covers μ-cap for small n.) Given α, we can estimate the fraction Ω of the boundary sphere Sμ n 1 A) contained in the uncovered cap PQR. This fraction can be defined as see [4]) { Ω<{2πn 1)} 1/2 sinn 1 α cos α < 6π n 1 } 1/2 sin n 1 α < sinn 1 α n ln n 4lnn. The last inequality follows from the fact that 6π1 n 1 )>16. Now we use 30) and approximation 1 x e x x2 /2. This gives inequalities sin n 1 α 1 3 ) n 1 { 2 n ln2 n exp 3 2 ln2 n 9 exp 3 ) 2 ln2 n, Ω 1 4lnn exp 3 ) 2 ln2 n. ) 4n ln4 n 1 1 n Finally, consider the second case, when a point x does not belong to the boundary PQRS. Therefore, x is taken from a smaller cap Cμ, Z) Cμ,Z) with the same center Z and a half-chord μ <μ. Similarly to the first case, we define the boundary S n 1 μ A ) of Cμ, Z), where A is some center on the line AZ. Again,px) is the fraction Ω of this boundary left uncovered by the bigger cap Cρ,Y). To obtain the )}
11 Discrete Comput Geom 2007) 38: upper bound on Ω, we only need to replace μ with a smaller μ in 30). This gives the smaller angle α arccosε/μ ), which is reduced to 0 if ε μ. In particular, the center Z of the cap is always covered by any d-close cap. Thus, we see that any internal layer S n 1 μ A ) of the cap Cμ,Z) has a smaller uncovered fraction Ω Ω. This gives the required condition px) Ω Ω<ω for any point x and proves our lemma. Remark Our choice of d in 22) is central to the above proof, and even a marginal increase in d will completely change our setting. Namely, it can be proven that about half the base of the μ-cap is uncovered if a ρ-cap is d + ε)-close. Our next goal is to estimate the expected number N of non-saturated caps Cμ,z ) left after N trials. Lemma 7 For n 100, the expected number N of non-saturated caps Cμ,z ) is N < 2 n/4 N. 31) Proof Given any center z, a randomly chosen center y is d-close to z with the probability Ω d. Then the probability to obtain s or fewer such caps is Note that for any i s, P = s ) N Ωd i 1 Ω d) N i. i=0 i 1 Ω d ) N i exp{ Ω d + Ωd 2 /2)N i)}. Now we use inequality Ω d 1/2 and the lower bound NΩ d >λnln n Ω d of 25). Then Ω d + Ωd 2 /2)N i) = NΩ d 1 + Ω ) d iω d 1 + Ω ) d 2 2 λn ln n Ω d ) + Ω d 2 [λn ln n Ω d s2 + Ω d )] λn ln n. Here last inequality follows from the fact that s2 + Ω d ) 5n/6lnlnn) and therefore λn ln n Ω d s2 + Ω d ) 2. Then s λn ln n P e i=0 Ω d N) i i! s λn ln n e i=0 λn ln n) i. 32) i!
12 676 Discrete Comput Geom 2007) 38: Note that consecutive summands in 32) differ at least λn ln n)/s λq ln n times. Therefore s λn ln n) i i=0 i! λn ln n)s s! λq ln n) i i=0 λn ln n)s λn ln n)s 2 s! s/e) s eλq ln n) n/q. Here the sum of the geometric series λq ln n) i was first bounded from above by c n <c 100 < 2. Then we used the Sterling formula in the form s! >2πs) 1/2 s/e) s and removed for simplicity) the vanishing term 22πs) 1/2. Finally, the last inequality follows from the fact that its left-hand side increases in s for any s<λnln n. Summarizing, these substitutions give where h n = P exp{nh n λn ln n}, lneλq ln n) q = lneλq). q Next, we recalculate ϑ of 16) using parameter λ of 22) and the lower bound of 25). It is easy to verify that for any n, ϑ 2λn ln n 1/2) 2Ω d N. Now we estimate the size of Covμ) using 8) and 22) as follows Covμ) ϑ /Ω μ 2NΩ d /Ω μ 2Nμ n 2N exp{n[β ln n + ln12)/2]}. 33) Thus, the expected number of non-saturated caps is N Covμ) P 2N exp{n[h n λ β)ln n + ln12)/2]} 2N exp{n[h n 5 ln 12)/2]}. 34) Now we see that the quantity Ψ n in the brackets of 34) consists of the declining positive function h n and the negative constant. Thus, Ψ n is a declining function of n. Direct calculation shows that Ψ 100 < Therefore estimate 31) holds. Consider now the saturated caps Cμ,z) and the centers u Covε) inside them. Lemma 8 For any n 100, the number of centers u Covε) left uncovered in all saturated caps Cμ,z) has expectation N < 2 n/2 N. Proof We first estimate the total number Covε) of centers u. Similarly to 33), Covε) ϑ /Ω ε 2NΩ d /Ω ε 2N2n ln n) n.
13 Discrete Comput Geom 2007) 38: Any cap Cμ,z) intersects with at least s + 1 randomly chosen caps Cρ,y). According to Lemma 6, any single ρ-cap fails to cover any given point x Cμ,z) with probability ω or less. Therefore any point u Cμ,z) is not covered with probability ω s+1 or less. Note that ω s+1 <ω n/q where q = 3lnlnn. Then we use the upper bound 27)forω and deduce that N Covε) ω n/q 2N exp{ nφ n }, 35) where ln 2 n Φ n = 2lnlnn + ln 4 ) ln n ln ln n ln lnlnn 3. 36) Direct calculation shows that Φ 100 > It is also easy to see that the first term of Φ n in parentheses) moderates both terms ln n and ln ln n. Thus, Φ n > 0.71 for all n 100, and the lemma is proved. Proof of Theorem 1 Consider any cap Cμ, z) that contains at least one uncovered center u Covε). Such a cap is either non-saturated or porous and therefore { z}={z } {z }. Equivalently, we can directly consider the set {z } {u }.) Then, according to Lemmas 7 and 8, { z} has expected size N N + N < 2 1 n/4 N. Thus, there exist N randomly chosen centers y that leave at most 2 1 n/4 N centers z. The extended set {x} ={y} { z} forms a unit covering of Sr n. This covering has density ϑ Ω 1 N + N) Ω 1 N n/4 ) λn ln n n/4 )Ω 1 /Ω d. Similarly to inequality 9), we now verify that for n 100, Ω 1 /Ω d 1 1 ) n n ln n n 2β < ln n + 1 ln 2 n. 37) Indeed, replace parameter t = ln 1 n used in the proof of Lemma 4 with the new value t = 1 ln n + n1 2β = 1 ln n + 1 ln 4 n. This new t also satisfies inequality 11) forn 100, which in turn proves inequality 37). As a secondary remark, note that 37) also proves asymptotic equality 24). Finally, we take λ of 9) and combine the last inequalities for ϑ and Ω 1 /Ω d as follows ϑ 1 n ln n 2 + 2lnlnn + 5 ) ln n 2lnn ln n + 1 ) ln n/4 ) n < lnlnn ln n + 5 ln n.
14 678 Discrete Comput Geom 2007) 38: Here we again used Lemma 3. Namely, we verify numerically that the last expression exceeds the previous one at n = 100 and moderates it for larger n, due to its bigger remaining term 5/ ln n. This completes the non-asymptotic case n 3. To complete the proof of Theorem 1, we now present similar estimates for n. We take any constant b>3/2 and redefine the parameters in 22) and 26) as follows: β = 1 ln ln n + b 2 ln n, λ = β ln n, μ = 1 2 n ln b n, q = ln 2 ln n. First, bounds 30) and 27) can be replaced with cos α ε/μ 1 n ln b 1 n, ω 1 1 ) n 1 2 n ln2b 2 n exp 1 ) 2 ln2b 2 n. 38) Second, bound 34) can be rewritten as { lneλq ln n) N 2N exp n + ln 2 3 )}. q 4 Note that the first term lneλq ln n)/q vanishes for n, and N declines exponentially in n.thus,lemma7 holds. Finally, bound 35) is replaced with { [ N 2N exp n ln2n ln n) 1 2 ln 2b 2 n ln 2 ln n which vanishes faster than exponent in n) for any given b>3/2. Thus, Lemma 8 also holds. Then we proceed similarly to 37). In this case, for sufficiently large n, we obtain the density ϑ n ln n 1 ln ln n + b 2 ln n ]}, ) ln n ln n + 1 ) ln 2 1 ln ln n + b n 2 which proves 6). This completes the proof of Theorem 1. ln n ln n, For finite n, we can slightly refine bounds 28 29), and also use exact expression for ω in 27). However, these refinements only marginally improve the main bound 5), which is replaced with ϑ n ln n lnlnn + 4lnlnn ln n ln n. 39)
15 Discrete Comput Geom 2007) 38: Finally, note that Theorem 1 directly leads to Corollary 2. Indeed, here we can use the well known fact ϑr n 1 ) = lim r ϑsn r ) see a sketch of the proof in [6] or Theorem.1 in[7], where a similar proof is detailed for packings of R n ). Concluding remarks In summary, we prove in this paper that the classic Rogers bound 3) on covering density of a sphere Sr n or the Euclidean space R n can be reduced about two times for large dimensions n. The main open problem is to further reduce the gap between this bound and its lower counterpart 2), which is linear in n. In this regard, note that our design holds if we employ any constant parameter β>1/2 introduced in 22). However, it can be verified that choosing a smaller constant β<1/2will first increase parameter μ = n β and then reduce parameter d of 22) to the order of 1 μ 2 /2. The latter reduction will exponentially increase the covering size, by a factor of Ω ρ /Ω d exp{1 2β}. Therefore, our conjecture is that a completely new design is needed for further asymptotic reductions. Another important problem is to extend the above results to the balls Br n of an arbitrary radius r. Our conjecture is that ϑbr n) o1))n ln n for any r and n. Acknowledgements The author is grateful to an anonymous referee for many helpful comments and remarks. This research was supported in part by NSF grants CCF and CCF References 1. Coxeter, H.S.M., Few, L., Rogers, C.A.: Covering space with equal spheres. Mathematika 6, ) 2. Rogers, C.A.: A note on coverings. Mathematika 4, ) 3. Rogers, C.A.: Covering a sphere with spheres. Mathematika 10, ) 4. Böröczky, K. Jr., Wintsche, G.: Covering the sphere with equal spherical balls. In: Aronov, B., Bazú, S., Sharir, M., Pach, J. eds.) Discrete Computational Geometry The Goldman Pollack Festschrift, pp Springer, Berlin 2003) 5. Verger-Gaugry, J.-L.: Covering a ball with smaller equal balls in R n. Discrete Comput. Geom. 33, ) 6. Conway, J.H., Sloane, N.J.A.: Sphere Packings, Lattices and Groups. Springer, New York 1988) 7. Levenstein, V.I.: Bounds on packings of metric spaces and some of their applications. Vopr. Kibern. 40, ) in Russian) 8. Dumer, I.: Covering spheres and balls with smaller balls. In: 2006 IEEE International Symposium Information Theory, Seattle, WA, July , pp )
arxiv:math/ v1 [math.mg] 31 May 2006
Covering spheres with spheres arxiv:math/060600v1 [math.mg] 31 May 006 Ilya Dumer College of Engineering, University of California at Riverside, Riverside, CA 951, USA dumer@ee.ucr.edu Abstract Given a
More informationCovering a sphere with caps: Rogers bound revisited
Covering a sphere with caps: Rogers bound revisited Ilya Dumer Abstract We consider coverings of a sphere S n r of radius r with the balls of radius one in an n-dimensional Euclidean space R n. Our goal
More informationCovering an ellipsoid with equal balls
Journal of Combinatorial Theory, Series A 113 (2006) 1667 1676 www.elsevier.com/locate/jcta Covering an ellipsoid with equal balls Ilya Dumer College of Engineering, University of California, Riverside,
More information4488 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 54, NO. 10, OCTOBER /$ IEEE
4488 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 54, NO. 10, OCTOBER 2008 List Decoding of Biorthogonal Codes the Hadamard Transform With Linear Complexity Ilya Dumer, Fellow, IEEE, Grigory Kabatiansky,
More informationTHIS paper is aimed at designing efficient decoding algorithms
IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 45, NO. 7, NOVEMBER 1999 2333 Sort-and-Match Algorithm for Soft-Decision Decoding Ilya Dumer, Member, IEEE Abstract Let a q-ary linear (n; k)-code C be used
More informationCourse 212: Academic Year Section 1: Metric Spaces
Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........
More informationMATH 31BH Homework 1 Solutions
MATH 3BH Homework Solutions January 0, 04 Problem.5. (a) (x, y)-plane in R 3 is closed and not open. To see that this plane is not open, notice that any ball around the origin (0, 0, 0) will contain points
More informationA proof of the existence of good nested lattices
A proof of the existence of good nested lattices Dinesh Krithivasan and S. Sandeep Pradhan July 24, 2007 1 Introduction We show the existence of a sequence of nested lattices (Λ (n) 1, Λ(n) ) with Λ (n)
More informationThe 123 Theorem and its extensions
The 123 Theorem and its extensions Noga Alon and Raphael Yuster Department of Mathematics Raymond and Beverly Sackler Faculty of Exact Sciences Tel Aviv University, Tel Aviv, Israel Abstract It is shown
More informationSoft-Decision Decoding Using Punctured Codes
IEEE TRANSACTIONS ON INFORMATION THEORY, VOL 47, NO 1, JANUARY 2001 59 Soft-Decision Decoding Using Punctured Codes Ilya Dumer, Member, IEEE Abstract Let a -ary linear ( )-code be used over a memoryless
More informationUniversal convex coverings
Bull. London Math. Soc. 41 (2009) 987 992 C 2009 London Mathematical Society doi:10.1112/blms/bdp076 Universal convex coverings Roland Bacher Abstract In every dimension d 1, we establish the existence
More informationLaplace s Equation. Chapter Mean Value Formulas
Chapter 1 Laplace s Equation Let be an open set in R n. A function u C 2 () is called harmonic in if it satisfies Laplace s equation n (1.1) u := D ii u = 0 in. i=1 A function u C 2 () is called subharmonic
More informationEXACT INTERPOLATION, SPURIOUS POLES, AND UNIFORM CONVERGENCE OF MULTIPOINT PADÉ APPROXIMANTS
EXACT INTERPOLATION, SPURIOUS POLES, AND UNIFORM CONVERGENCE OF MULTIPOINT PADÉ APPROXIMANTS D S LUBINSKY A We introduce the concept of an exact interpolation index n associated with a function f and open
More informationOn non-antipodal binary completely regular codes
On non-antipodal binary completely regular codes J. Borges, J. Rifà Department of Information and Communications Engineering, Universitat Autònoma de Barcelona, 08193-Bellaterra, Spain. V.A. Zinoviev Institute
More informationEfficient packing of unit squares in a square
Loughborough University Institutional Repository Efficient packing of unit squares in a square This item was submitted to Loughborough University's Institutional Repository by the/an author. Additional
More informationApproximately Gaussian marginals and the hyperplane conjecture
Approximately Gaussian marginals and the hyperplane conjecture Tel-Aviv University Conference on Asymptotic Geometric Analysis, Euler Institute, St. Petersburg, July 2010 Lecture based on a joint work
More informationKrzysztof Burdzy Wendelin Werner
A COUNTEREXAMPLE TO THE HOT SPOTS CONJECTURE Krzysztof Burdzy Wendelin Werner Abstract. We construct a counterexample to the hot spots conjecture; there exists a bounded connected planar domain (with two
More informationSeries of Error Terms for Rational Approximations of Irrational Numbers
2 3 47 6 23 Journal of Integer Sequences, Vol. 4 20, Article..4 Series of Error Terms for Rational Approximations of Irrational Numbers Carsten Elsner Fachhochschule für die Wirtschaft Hannover Freundallee
More informationl(y j ) = 0 for all y j (1)
Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that
More informationCombinatorial Generalizations of Jung s Theorem
Discrete Comput Geom (013) 49:478 484 DOI 10.1007/s00454-013-9491-3 Combinatorial Generalizations of Jung s Theorem Arseniy V. Akopyan Received: 15 October 011 / Revised: 11 February 013 / Accepted: 11
More informationAn Inverse Problem for Gibbs Fields with Hard Core Potential
An Inverse Problem for Gibbs Fields with Hard Core Potential Leonid Koralov Department of Mathematics University of Maryland College Park, MD 20742-4015 koralov@math.umd.edu Abstract It is well known that
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 information1 + lim. n n+1. f(x) = x + 1, x 1. and we check that f is increasing, instead. Using the quotient rule, we easily find that. 1 (x + 1) 1 x (x + 1) 2 =
Chapter 5 Sequences and series 5. Sequences Definition 5. (Sequence). A sequence is a function which is defined on the set N of natural numbers. Since such a function is uniquely determined by its values
More informationUC Riverside UC Riverside Previously Published Works
UC Riverside UC Riverside Previously Published Works Title Soft-decision decoding of Reed-Muller codes: A simplied algorithm Permalink https://escholarship.org/uc/item/5v71z6zr Journal IEEE Transactions
More informationOn the optimal order of worst case complexity of direct search
On the optimal order of worst case complexity of direct search M. Dodangeh L. N. Vicente Z. Zhang May 14, 2015 Abstract The worst case complexity of direct-search methods has been recently analyzed when
More informationBMO Round 2 Problem 3 Generalisation and Bounds
BMO 2007 2008 Round 2 Problem 3 Generalisation and Bounds Joseph Myers February 2008 1 Introduction Problem 3 (by Paul Jefferys) is: 3. Adrian has drawn a circle in the xy-plane whose radius is a positive
More informationElectromagnetism Answers to Problem Set 9 Spring 2006
Electromagnetism 70006 Answers to Problem et 9 pring 006. Jackson Prob. 5.: Reformulate the Biot-avart law in terms of the solid angle subtended at the point of observation by the current-carrying circuit.
More informationA Note on Interference in Random Networks
CCCG 2012, Charlottetown, P.E.I., August 8 10, 2012 A Note on Interference in Random Networks Luc Devroye Pat Morin Abstract The (maximum receiver-centric) interference of a geometric graph (von Rickenbach
More information1 Introduction and statements of results
CONSTANT MEAN CURVATURE SURFACES WITH BOUNDARY IN EUCLIDEAN THREE-SPACE Rafael López 1 1 Introduction and statements of results The study of the structure of the space of constant mean curvature compact
More informationDISTANCE SETS OF WELL-DISTRIBUTED PLANAR POINT SETS. A. Iosevich and I. Laba. December 12, 2002 (revised version) Introduction
DISTANCE SETS OF WELL-DISTRIBUTED PLANAR POINT SETS A. Iosevich and I. Laba December 12, 2002 (revised version) Abstract. We prove that a well-distributed subset of R 2 can have a distance set with #(
More informationLecture 18: March 15
CS71 Randomness & Computation Spring 018 Instructor: Alistair Sinclair Lecture 18: March 15 Disclaimer: These notes have not been subjected to the usual scrutiny accorded to formal publications. They may
More information4 Inverse function theorem
Tel Aviv University, 2014/15 Analysis-III,IV 71 4 Inverse function theorem 4a What is the problem................ 71 4b Simple observations before the theorem..... 72 4c The theorem.....................
More informationA. Iosevich and I. Laba January 9, Introduction
K-DISTANCE SETS, FALCONER CONJECTURE, AND DISCRETE ANALOGS A. Iosevich and I. Laba January 9, 004 Abstract. In this paper we prove a series of results on the size of distance sets corresponding to sets
More informationCovering the Plane with Translates of a Triangle
Discrete Comput Geom (2010) 43: 167 178 DOI 10.1007/s00454-009-9203-1 Covering the Plane with Translates of a Triangle Janusz Januszewski Received: 20 December 2007 / Revised: 22 May 2009 / Accepted: 10
More informationSolving a linear equation in a set of integers II
ACTA ARITHMETICA LXXII.4 (1995) Solving a linear equation in a set of integers II by Imre Z. Ruzsa (Budapest) 1. Introduction. We continue the study of linear equations started in Part I of this paper.
More informationFractals and Dimension
Chapter 7 Fractals and Dimension Dimension We say that a smooth curve has dimension 1, a plane has dimension 2 and so on, but it is not so obvious at first what dimension we should ascribe to the Sierpinski
More informationGeometric Series and the Ratio and Root Test
Geometric Series and the Ratio and Root Test James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University September 5, 2017 Outline Geometric Series The
More informationYale University Department of Computer Science. The VC Dimension of k-fold Union
Yale University Department of Computer Science The VC Dimension of k-fold Union David Eisenstat Dana Angluin YALEU/DCS/TR-1360 June 2006, revised October 2006 The VC Dimension of k-fold Union David Eisenstat
More informationChapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries
Chapter 1 Measure Spaces 1.1 Algebras and σ algebras of sets 1.1.1 Notation and preliminaries We shall denote by X a nonempty set, by P(X) the set of all parts (i.e., subsets) of X, and by the empty set.
More informationAnalogs of Steiner s porism and Soddy s hexlet in higher dimensions via spherical codes
Analogs of Steiner s porism and Soddy s hexlet in higher dimensions via spherical codes Oleg R. Musin arxiv:1801.08278v2 [math.mg] 2 Feb 2018 Abstract In this paper we consider generalizations to higher
More informationQuasi-conformal maps and Beltrami equation
Chapter 7 Quasi-conformal maps and Beltrami equation 7. Linear distortion Assume that f(x + iy) =u(x + iy)+iv(x + iy) be a (real) linear map from C C that is orientation preserving. Let z = x + iy and
More informationA Note on the Distribution of the Distance from a Lattice
Discrete Comput Geom (009) 4: 6 76 DOI 0007/s00454-008-93-5 A Note on the Distribution of the Distance from a Lattice Ishay Haviv Vadim Lyubashevsky Oded Regev Received: 30 March 007 / Revised: 30 May
More informationThe Knaster problem and the geometry of high-dimensional cubes
The Knaster problem and the geometry of high-dimensional cubes B. S. Kashin (Moscow) S. J. Szarek (Paris & Cleveland) Abstract We study questions of the following type: Given positive semi-definite matrix
More informationPacking-Dimension Profiles and Fractional Brownian Motion
Under consideration for publication in Math. Proc. Camb. Phil. Soc. 1 Packing-Dimension Profiles and Fractional Brownian Motion By DAVAR KHOSHNEVISAN Department of Mathematics, 155 S. 1400 E., JWB 233,
More informationTHE SMALLEST SINGULAR VALUE OF A RANDOM RECTANGULAR MATRIX
THE SMALLEST SINGULAR VALUE OF A RANDOM RECTANGULAR MATRIX MARK RUDELSON AND ROMAN VERSHYNIN Abstract. We prove an optimal estimate on the smallest singular value of a random subgaussian matrix, valid
More informationSpectral Gap and Concentration for Some Spherically Symmetric Probability Measures
Spectral Gap and Concentration for Some Spherically Symmetric Probability Measures S.G. Bobkov School of Mathematics, University of Minnesota, 127 Vincent Hall, 26 Church St. S.E., Minneapolis, MN 55455,
More informationSolutions to Laplace s Equations- II
Solutions to Laplace s Equations- II Lecture 15: Electromagnetic Theory Professor D. K. Ghosh, Physics Department, I.I.T., Bombay Laplace s Equation in Spherical Coordinates : In spherical coordinates
More informationarxiv: v2 [math.co] 10 May 2016
The asymptotic behavior of the correspondence chromatic number arxiv:602.00347v2 [math.co] 0 May 206 Anton Bernshteyn University of Illinois at Urbana-Champaign Abstract Alon [] proved that for any graph
More informationA Pair in a Crowd of Unit Balls
Europ. J. Combinatorics (2001) 22, 1083 1092 doi:10.1006/eujc.2001.0547 Available online at http://www.idealibrary.com on A Pair in a Crowd of Unit Balls K. HOSONO, H. MAEHARA AND K. MATSUDA Let F be a
More informationNumerical Sequences and Series
Numerical Sequences and Series Written by Men-Gen Tsai email: b89902089@ntu.edu.tw. Prove that the convergence of {s n } implies convergence of { s n }. Is the converse true? Solution: Since {s n } is
More informationLARGE DEVIATIONS OF TYPICAL LINEAR FUNCTIONALS ON A CONVEX BODY WITH UNCONDITIONAL BASIS. S. G. Bobkov and F. L. Nazarov. September 25, 2011
LARGE DEVIATIONS OF TYPICAL LINEAR FUNCTIONALS ON A CONVEX BODY WITH UNCONDITIONAL BASIS S. G. Bobkov and F. L. Nazarov September 25, 20 Abstract We study large deviations of linear functionals on an isotropic
More informationThe best expert versus the smartest algorithm
Theoretical Computer Science 34 004 361 380 www.elsevier.com/locate/tcs The best expert versus the smartest algorithm Peter Chen a, Guoli Ding b; a Department of Computer Science, Louisiana State University,
More information18.409: Topics in TCS: Embeddings of Finite Metric Spaces. Lecture 6
Massachusetts Institute of Technology Lecturer: Michel X. Goemans 8.409: Topics in TCS: Embeddings of Finite Metric Spaces September 7, 006 Scribe: Benjamin Rossman Lecture 6 Today we loo at dimension
More informationASYMPTOTIC DIOPHANTINE APPROXIMATION: THE MULTIPLICATIVE CASE
ASYMPTOTIC DIOPHANTINE APPROXIMATION: THE MULTIPLICATIVE CASE MARTIN WIDMER ABSTRACT Let α and β be irrational real numbers and 0 < ε < 1/30 We prove a precise estimate for the number of positive integers
More informationEntropy and Ergodic Theory Lecture 15: A first look at concentration
Entropy and Ergodic Theory Lecture 15: A first look at concentration 1 Introduction to concentration Let X 1, X 2,... be i.i.d. R-valued RVs with common distribution µ, and suppose for simplicity that
More informationApproximating Covering and Minimum Enclosing Balls in Hyperbolic Geometry
Approximating Covering and Minimum Enclosing Balls in Hyperbolic Geometry Frank Nielsen 1 and Gaëtan Hadjeres 1 École Polytechnique, France/Sony Computer Science Laboratories, Japan Frank.Nielsen@acm.org
More informationJoshua N. Cooper Department of Mathematics, Courant Institute of Mathematics, New York University, New York, NY 10012, USA.
CONTINUED FRACTIONS WITH PARTIAL QUOTIENTS BOUNDED IN AVERAGE Joshua N. Cooper Department of Mathematics, Courant Institute of Mathematics, New York University, New York, NY 10012, USA cooper@cims.nyu.edu
More informationEECS 750. Hypothesis Testing with Communication Constraints
EECS 750 Hypothesis Testing with Communication Constraints Name: Dinesh Krithivasan Abstract In this report, we study a modification of the classical statistical problem of bivariate hypothesis testing.
More informationOne-parameter families of functions in the Pick class
arxiv:0704.1716v1 [math.ds] 13 Apr 2007 One-parameter families of functions in the Pick class Waldemar Pa luba Institute of Mathematics Warsaw University Banacha 2 02-097 Warsaw, Poland e-mail: paluba@mimuw.edu.pl
More informationAnother Low-Technology Estimate in Convex Geometry
Convex Geometric Analysis MSRI Publications Volume 34, 1998 Another Low-Technology Estimate in Convex Geometry GREG KUPERBERG Abstract. We give a short argument that for some C > 0, every n- dimensional
More informationON THE PRODUCT OF SEPARABLE METRIC SPACES
Georgian Mathematical Journal Volume 8 (2001), Number 4, 785 790 ON THE PRODUCT OF SEPARABLE METRIC SPACES D. KIGHURADZE Abstract. Some properties of the dimension function dim on the class of separable
More informationCourse 214 Section 2: Infinite Series Second Semester 2008
Course 214 Section 2: Infinite Series Second Semester 2008 David R. Wilkins Copyright c David R. Wilkins 1989 2008 Contents 2 Infinite Series 25 2.1 The Comparison Test and Ratio Test.............. 26
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 informationAngle contraction between geodesics
Angle contraction between geodesics arxiv:0902.0315v1 [math.ds] 2 Feb 2009 Nikolai A. Krylov and Edwin L. Rogers Abstract We consider here a generalization of a well known discrete dynamical system produced
More informationHarmonic Analysis Homework 5
Harmonic Analysis Homework 5 Bruno Poggi Department of Mathematics, University of Minnesota November 4, 6 Notation Throughout, B, r is the ball of radius r with center in the understood metric space usually
More informationRigidity and Non-rigidity Results on the Sphere
Rigidity and Non-rigidity Results on the Sphere Fengbo Hang Xiaodong Wang Department of Mathematics Michigan State University Oct., 00 1 Introduction It is a simple consequence of the maximum principle
More informationIntroduction to Real Analysis Alternative Chapter 1
Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces
More informationParabolas infiltrating the Ford circles
Bull. Math. Soc. Sci. Math. Roumanie Tome 59(07) No. 2, 206, 75 85 Parabolas infiltrating the Ford circles by S. Corinne Hutchinson and Alexandru Zaharescu Abstract We define and study a new family of
More informationCHAPTER 7. Connectedness
CHAPTER 7 Connectedness 7.1. Connected topological spaces Definition 7.1. A topological space (X, T X ) is said to be connected if there is no continuous surjection f : X {0, 1} where the two point set
More informationTHE SMALLEST SINGULAR VALUE OF A RANDOM RECTANGULAR MATRIX
THE SMALLEST SINGULAR VALUE OF A RANDOM RECTANGULAR MATRIX MARK RUDELSON AND ROMAN VERSHYNIN Abstract. We prove an optimal estimate of the smallest singular value of a random subgaussian matrix, valid
More informationDelay, feedback, and the price of ignorance
Delay, feedback, and the price of ignorance Anant Sahai based in part on joint work with students: Tunc Simsek Cheng Chang Wireless Foundations Department of Electrical Engineering and Computer Sciences
More informationDeviation Measures and Normals of Convex Bodies
Beiträge zur Algebra und Geometrie Contributions to Algebra Geometry Volume 45 (2004), No. 1, 155-167. Deviation Measures Normals of Convex Bodies Dedicated to Professor August Florian on the occasion
More informationFourth Week: Lectures 10-12
Fourth Week: Lectures 10-12 Lecture 10 The fact that a power series p of positive radius of convergence defines a function inside its disc of convergence via substitution is something that we cannot ignore
More informationCorrelation dimension for self-similar Cantor sets with overlaps
F U N D A M E N T A MATHEMATICAE 155 (1998) Correlation dimension for self-similar Cantor sets with overlaps by Károly S i m o n (Miskolc) and Boris S o l o m y a k (Seattle, Wash.) Abstract. We consider
More informationBOUNDS FOR SOLID ANGLES OF LATTICES OF RANK THREE
BOUNDS FOR SOLID ANGLES OF LATTICES OF RANK THREE LENNY FUKSHANSKY AND SINAI ROBINS Abstract. We find sharp absolute consts C and C with the following property: every well-rounded lattice of rank 3 in
More informationTopological properties of Z p and Q p and Euclidean models
Topological properties of Z p and Q p and Euclidean models Samuel Trautwein, Esther Röder, Giorgio Barozzi November 3, 20 Topology of Q p vs Topology of R Both R and Q p are normed fields and complete
More informationOn the stirling expansion into negative powers of a triangular number
MATHEMATICAL COMMUNICATIONS 359 Math. Commun., Vol. 5, No. 2, pp. 359-364 200) On the stirling expansion into negative powers of a triangular number Cristinel Mortici, Department of Mathematics, Valahia
More informationNonarchimedean Cantor set and string
J fixed point theory appl Online First c 2008 Birkhäuser Verlag Basel/Switzerland DOI 101007/s11784-008-0062-9 Journal of Fixed Point Theory and Applications Nonarchimedean Cantor set and string Michel
More informationGeometric Series and the Ratio and Root Test
Geometric Series and the Ratio and Root Test James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University September 5, 2018 Outline 1 Geometric Series
More informationNote: Each problem is worth 14 points except numbers 5 and 6 which are 15 points. = 3 2
Math Prelim II Solutions Spring Note: Each problem is worth points except numbers 5 and 6 which are 5 points. x. Compute x da where is the region in the second quadrant between the + y circles x + y and
More informationProduct measures, Tonelli s and Fubini s theorems For use in MAT4410, autumn 2017 Nadia S. Larsen. 17 November 2017.
Product measures, Tonelli s and Fubini s theorems For use in MAT4410, autumn 017 Nadia S. Larsen 17 November 017. 1. Construction of the product measure The purpose of these notes is to prove the main
More informationAEA 2007 Extended Solutions
AEA 7 Extended Solutions These extended solutions for Advanced Extension Awards in Mathematics are intended to supplement the original mark schemes, which are available on the Edexcel website.. (a The
More informationChapter 8. P-adic numbers. 8.1 Absolute values
Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.
More informationMany Collinear k-tuples with no k + 1 Collinear Points
Discrete Comput Geom (013) 50:811 80 DOI 10.1007/s00454-013-956-9 Many Collinear k-tuples with no k + 1 Collinear Points József Solymosi Miloš Stojaković Received: 5 February 013 / Revised: 1 June 013
More informationContents. MATH 32B-2 (18W) (L) G. Liu / (TA) A. Zhou Calculus of Several Variables. 1 Multiple Integrals 3. 2 Vector Fields 9
MATH 32B-2 (8W) (L) G. Liu / (TA) A. Zhou Calculus of Several Variables Contents Multiple Integrals 3 2 Vector Fields 9 3 Line and Surface Integrals 5 4 The Classical Integral Theorems 9 MATH 32B-2 (8W)
More informationHOW OFTEN IS EULER S TOTIENT A PERFECT POWER? 1. Introduction
HOW OFTEN IS EULER S TOTIENT A PERFECT POWER? PAUL POLLACK Abstract. Fix an integer k 2. We investigate the number of n x for which ϕn) is a perfect kth power. If we assume plausible conjectures on the
More informationEfficient Bounded Distance Decoders for Barnes-Wall Lattices
Efficient Bounded Distance Decoders for Barnes-Wall Lattices Daniele Micciancio Antonio Nicolosi April 30, 2008 Abstract We describe a new family of parallelizable bounded distance decoding algorithms
More information9 Radon-Nikodym theorem and conditioning
Tel Aviv University, 2015 Functions of real variables 93 9 Radon-Nikodym theorem and conditioning 9a Borel-Kolmogorov paradox............. 93 9b Radon-Nikodym theorem.............. 94 9c Conditioning.....................
More informationThe Densest Packing of 13 Congruent Circles in a Circle
Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 44 (003), No., 431-440. The Densest Packing of 13 Congruent Circles in a Circle Ferenc Fodor Feherviz u. 6, IV/13 H-000 Szentendre,
More informationA strongly polynomial algorithm for linear systems having a binary solution
A strongly polynomial algorithm for linear systems having a binary solution Sergei Chubanov Institute of Information Systems at the University of Siegen, Germany e-mail: sergei.chubanov@uni-siegen.de 7th
More informationComparing continuous and discrete versions of Hilbert s thirteenth problem
Comparing continuous and discrete versions of Hilbert s thirteenth problem Lynnelle Ye 1 Introduction Hilbert s thirteenth problem is the following conjecture: a solution to the equation t 7 +xt + yt 2
More informationMOMENTS OF HYPERGEOMETRIC HURWITZ ZETA FUNCTIONS
MOMENTS OF HYPERGEOMETRIC HURWITZ ZETA FUNCTIONS ABDUL HASSEN AND HIEU D. NGUYEN Abstract. This paper investigates a generalization the classical Hurwitz zeta function. It is shown that many of the properties
More informationarxiv: v1 [math.mg] 15 Jul 2013
INVERSE BERNSTEIN INEQUALITIES AND MIN-MAX-MIN PROBLEMS ON THE UNIT CIRCLE arxiv:1307.4056v1 [math.mg] 15 Jul 013 TAMÁS ERDÉLYI, DOUGLAS P. HARDIN, AND EDWARD B. SAFF Abstract. We give a short and elementary
More informationSections of Convex Bodies via the Combinatorial Dimension
Sections of Convex Bodies via the Combinatorial Dimension (Rough notes - no proofs) These notes are centered at one abstract result in combinatorial geometry, which gives a coordinate approach to several
More informationColoring translates and homothets of a convex body
Coloring translates and homothets of a convex body Adrian Dumitrescu Minghui Jiang August 7, 2010 Abstract We obtain improved upper bounds and new lower bounds on the chromatic number as a linear function
More informationGLOBAL, GEOMETRICAL COORDINATES ON FALBEL S CROSS-RATIO VARIETY
GLOBAL GEOMETRICAL COORDINATES ON FALBEL S CROSS-RATIO VARIETY JOHN R. PARKER & IOANNIS D. PLATIS Abstract. Falbel has shown that four pairwise distinct points on the boundary of complex hyperbolic -space
More informationCORRIGENDUM: THE SYMPLECTIC SUM FORMULA FOR GROMOV-WITTEN INVARIANTS
CORRIGENDUM: THE SYMPLECTIC SUM FORMULA FOR GROMOV-WITTEN INVARIANTS ELENY-NICOLETA IONEL AND THOMAS H. PARKER Abstract. We correct an error and an oversight in [IP]. The sign of the curvature in (8.7)
More informationM435: INTRODUCTION TO DIFFERENTIAL GEOMETRY
M435: INTODUCTION TO DIFFNTIAL GOMTY MAK POWLL Contents 7. The Gauss-Bonnet Theorem 1 7.1. Statement of local Gauss-Bonnet theorem 1 7.2. Area of geodesic triangles 2 7.3. Special case of the plane 2 7.4.
More informationOn rational approximation of algebraic functions. Julius Borcea. Rikard Bøgvad & Boris Shapiro
On rational approximation of algebraic functions http://arxiv.org/abs/math.ca/0409353 Julius Borcea joint work with Rikard Bøgvad & Boris Shapiro 1. Padé approximation: short overview 2. A scheme of rational
More informationSupplement. The Extended Complex Plane
The Extended Complex Plane 1 Supplement. The Extended Complex Plane Note. In section I.6, The Extended Plane and Its Spherical Representation, we introduced the extended complex plane, C = C { }. We defined
More information