arxiv: v2 [math.co] 2 Dec 2008
|
|
- Andra Phelps
- 5 years ago
- Views:
Transcription
1 FOURIER ANALYSIS, LINEAR PROGRAMMING, AND DENSITIES OF DISTANCE AVOIDING SETS IN R n arxiv: v2 [math.co] 2 Dec 2008 FERNANDO MÁRIO DE OLIVEIRA FILHO AND FRANK VALLENTIN Abstract. In this paper we derive new upper bounds for the densities of measurable sets in R n which avoid a finite set of prescribed distances. The new bounds come from the solution of a linear programming problem. We apply this method to obtain new upper bounds for measurable sets which avoid the unit distance in dimensions 2,...,24. This gives new lower bounds for the measurable chromatic number in dimensions 3,..., 24. We apply it to get a short proof of a variant of a recent result of Bukh which in turn generalizes theorems of Furstenberg, Katznelson, and Weiss and Bourgain and Falconer about sets avoiding many distances.. Introduction Let d,..., d N be positive real numbers. We say that a subset A of the n- dimensional Euclidean space R n avoids the distances d,..., d N if the distance between any two points in A is never d,..., d N. We define the upper density of a Lebesgue measurable set A R n as δ(a) = limsup T vol(a [ T,T] n ) vol[ T,T] n. In this expression [ T,T] n denotes the regular cube in R n with side 2T centered at the origin. We denote the extreme density which a measurable set in R n that avoids the distances d,..., d N can have by m d,...,d N (R n ) = sup{δ(a) : A R n is measurable and avoids distances d,..., d N }. In this paper we derive upper bounds for this extreme density from the solution of a linear programming problem. To formulate our main theorem we consider the function Ω n given by ( n )( 2 2 () Ω n (t) = Γ 2 t) (n 2) J (n 2)(t), for t > 0, Ω n(0) =, 2 where J 2 (n 2) is the Bessel function of the first kind with parameter (n 2)/2. To fix ideas we plotted the graph of the function Ω 4 in Figure.. Date: November 9, Mathematics Subject Classification. 42B05, 52C0, 52C7, 90C05. Key words and phrases. Nelson-Hadwiger problem, measurable chromatic number, linear programming, almost periodic functions, autocorrelation function. The first author was partially supported by CAPES/Brazil under grant BEX 242/04-6. The second author was partially supported by the Deutsche Forschungsgemeinschaft (DFG) under grant SCHU 503/4. The second author thanks the Hausdorff Research Institute for Mathematics (Bonn) for its hospitality and support.
2 2 F.M. de Oliveira Filho, F. Vallentin Ω 4 (t) t Figure.. Graph of the function Ω 4 (t) = 2 t J (t) Theorem.. Let d,..., d N be positive real numbers. Let A R n be a measurable set which avoids the distances d,..., d N. Suppose there are real numbers z 0, z,..., z N which sum up to at least one and which satisfy z 0 +z Ω n (td )+z 2 Ω n (td 2 )+ +z N Ω n (td N ) 0 for all t 0. Then, the upper density of A is at most z 0. In Section 2 we provide a proof where we make essential use of basic harmonic analysis, which we briefly recall. In the sections that follow we apply the main theorem in a variety of situations: sets avoiding one distance, sets avoiding two distances, and sets avoiding many distances. For the history of these Euclidean distance problems we refer to the surveys by Székely [9] and Székely and Wormald [8] and the references therein. Sets avoiding one distance have been studied by combinatorialists because of their relation to the measurable chromatic number of the Euclidean space. This is the minimum number of colors one needs to color all points in R n so that any two points at distance receive different colors and so that points receiving the same color form Lebesgue measurable sets; it will be denoted by χ m (R n ). Since every color class of a coloring provides a measurable set which avoids the distance, we have the inequality (2) m (R n ) χ m (R n ). For the plane it is only known that 5 χ m (R 2 ) 7, where the lower bound is due to Falconer [0] and the upper bound comes e.g. from a coloring one constructs using a tiling by regular hexagons with circumradius slightly less than. Erdős conjectured that m (R 2 ) < /4 so that (2) would yield an alternative proof of Falconer s result. So far the best known results on m (R 2 ) are the lower bound m (R 2 ) by Croft [7] and the upper bound m (R 2 ) 2/ by
3 Fourier analysis, linear programming, and densities of distance avoiding sets 3 Székely[8]. In Section 3 we compute new upper bounds for m (R n ) for dimensions n = 2,..., 24 based on a strengthening of our main theorem by extra inequalities. These new upper bounds for m (R n ) imply by (2) new lower bounds for χ m (R n ) in dimensions 3,..., 24. If one considers sets which avoid more than one distance one can ask how N distances can be chosen so that the extreme density becomes as small as possible: What is the value of inf{m d,...,d N (R n ) : d,..., d N > 0} for fixed N? For planar sets avoidingtwo distances Székely[8] showed that inf{m d,d 2 (R 2 ) : d,d 2 > 0} m, 3 (R 2 ) 2/ In Section 4 we improve his result and show that inf{m d,d 2 (R 2 ) : d,d 2 > 0} Recently, Bukh [5], using harmonic analysis and ideas resembling Szémeredi s regularity lemma, showed that inf{m d,...,d N (R n ) : d,..., d N > 0} drops to zero exponentially in N: He shows that there is a number r, strictly greater than, which depends only on N and n so that if d 2 /d > r, d 3 /d 2 > r,..., d N /d N > r, then m d,...,d N (R n ) (m (R n )) N. This implies a theorem of Furstenberg, Katznelson, and Weiss [3] that for every subset A in the plane which has positive upper density there is a constant d so that A does not avoid distances larger than d. Their original proof used tools from ergodic theory and measure theory. Alternative proofs have been proposed by Bourgain [4] using elementary harmonic analysis and by Falconer and Mastrand [2] using geometric measure theory. Bukh s result also implies that m d,...,d N (R n ) becomes arbitrarily small if the distances d, d 2,..., d N become arbitrarily small. This is originally due to Bourgain [4] and Falconer []. In Section 5 we give a short proof of a variant of Bukh s result using our main theorem, where we replace (m (R n )) N by the weaker estimate 2 N. We could improve this considerably, but we cannot get (m (R n )) N. Still our estimate is strong enough to give all the implications mentioned. Furthermore, our proof has the additional advantage that it easily provides quantitative estimates about the spacing r between the distances. The idea of linear programming bounds for packing problems of discrete point sets in compact metric spaces goes back to Delsarte [9] and it has been successfully applied to a variety of situations. Cohn and Elkies [6] were the first who were able to set up a linear programming bound for packing problems in non-compact spaces; by then no less than 30 years since Delsarte s fundamental contribution had gone by. Our main theorem can be viewed as a continuous analogue to their linear programming bound. 2. Proof of the main theorem For the proof of our main theorem elementary notions from harmonic analysis will be important. We recall these here. For details we refer to, e.g., the book by Katznelson [4]. A measurable, complex valued function f: R n C is called periodic if it is invariantunderann-dimensionaldiscretesubgroupofr n or,inotherwords,ifthere is a basis b,..., b n of R n so that for all α,..., α n Z we have f(x+ n i= α ib i ) = f(x). The set L = { n i= α ib i : α i Z} is called the period lattice of f and L = {u R n : x u Z for all x L} is called the dual lattice of L.
4 4 F.M. de Oliveira Filho, F. Vallentin The mean value of a periodic function f is given by M(f) = lim T vol[ T,T] n f(x)dx. [ T,T] n For two periodic functions f and g we write f,g = M(fg). We say that f is square-integrable if f,f <. By f = f,f we denote its norm. If f and g are both square-integrable, then f,g exists. For u R n we define the Fourier coefficient f(u) = f,e iu x. Here, x y denotes the standard inner product on R n. Notice that the support of f is a discrete set, namely it lies in the dual lattice of the period lattice of f, scaled by 2π. If we let f y (x) = f(y + x) for a vector y R n, then f y (u) = f(u)e iu y. For square-integrable, periodic functions f and g Parseval s formula f,g = u R n f(u)ĝ(u) holds. By writing the latter sum we mean that we sum over the intersection of the supports of f and ĝ. Proof of Theorem.. Let A be a measurable subset of R n that avoids distances d,..., d N. By A we denote its characteristic function A : R n {0,} whose support is precisely A. Without loss of generality we can assume that A is a periodic function; in this case we say that A is periodic. Indeed, from any measurable set A which avoids distances d,..., d N we can construct a periodic set which avoids distances d,..., d N and with upper density arbitrarily close to the one of A. To do this we intersect A with a regular cube of side 2T so that vol(a [ T,T] n )/vol[ T,T] n is close to the upper density δ(a) and so that vol([ T +d,t d] n )/vol[ T,T] n, with d = max{d,...,d N }, differs from only negligibly. Then we construct the new periodic set by tiling R n with copies of A [ T +d,t d] n centered at the points of the lattice 2TZ n. Notice that, for a periodic set A, one may replace the limsup in the definition of δ(a) by a simple limit. By A y we denote the translation of the set A by the vector y R n so that its characteristic function satisfies A y (x) = A (x+y) = ( A ) y (x). The following two properties are crucial: (3) (4) A, = δ(a), A y, A = δ(a (A y)), for all y R n. In particular, we have A, A = δ(a) and A y, A = 0 for all vectors y of Euclideannormd,...,d N. Notice A, = A (0). ByapplyingParseval sformula to (4), we can express it in terms of the Fourier coefficients of A, thus obtaining u R n A (u) 2 e iu y Now we consider the function (5) ϕ(y) = A (0) = δ(a), = δ(a (A y)) for all y R n. u R n A (u) 2 e iu y = δ(a (A y)),
5 Fourier analysis, linear programming, and densities of distance avoiding sets 5 which is called the autocorrelation function (or two-point correlation function) of A. By taking spherical averages we construct from it a radial function f whose values only depend on the norm of the vectors. In other words, we set f(y) = ω n S n ϕ( y ξ)dω(ξ). Here ω denotes the standard surface measure on the unit sphere S n = {ξ R n : ξ ξ = } and ω n = ω(s n ) = (2π n/2 )/Γ(n/2). Clearly, f(0) = δ(a), and f(y) = 0 whenever y {d,...,d N }. Because of the formula (cf. Schoenberg [7, (.6)], see () for an explicit expression for Ω n ) e iu ξ dω(ξ) = Ω n ( u ) ω n S n we can represent f in the form f(y) = t 0α(t)Ω n (t y ), where α(t) is the sum of A (u) 2 for vectors u having norm t, so the α(t) s are real and nonnegative. Furthermore, α(0) = A (0) 2 = δ(a) 2 and t 0α(t) = f(0) = δ(a). So the following linear program in the variables α(t) gives an upper bound for the upper density of any measurable set which avoids the distances d,..., d N : (6) sup { α(0) : α(t) 0 for all t 0, α(t) =, t 0 α(t)ω n (td k ) = 0 for k =,..., N }. t 0 Above, all but a countable subset of the α(t) s are zero. Note moreover that we used the normalization t 0α(t) =. This linear program has infinitely many variables α(t) but only N + equality constraints. A dual of it is (7) inf { z 0 : z 0 +z +z 2 + +z N, z 0 +z Ω n (td )+z 2 Ω n (td 2 )+ +z N Ω n (td N ) 0 for all t > 0 }, which has N + variables z 0,z,z 2,...,z N and infinitely many constraints. As usual, weak duality holds between the pair of linear programs (6) and (7): If α(t) satisfies the conditions in (6) and if (z 0,z,...,z N ) satisfies the conditions in (7), then α(0) t 0α(t)(z 0 +z Ω n (td )+z 2 Ω n (td 2 )+ +z N Ω n (td N )) = z 0, which finishes the proof of our main theorem.
6 6 F.M. de Oliveira Filho, F. Vallentin 3. Sets avoiding one distance It is notable that the linear programming bounds for the extreme density of sets avoiding exactly one distance allow for an analytic optimal solution. Since this problem is scaling invariant we can assume that we consider sets avoiding the unit distance d =. Let j α,k be the k-th positive zero of the Bessel function J α. It is known that the absolute minimum of the function Ω n is attained at j n/2, (see Askey, Andrews, Roy [, (4.6.2)], and Watson [2, Chapter 5, 3]). So, the point (z 0,z ) which is determined by the equations z 0 +z = z 0 +z Ω n (j n/2, ) = 0 provides the optimal solution for the linear program in Theorem.. Hence, (8) z 0 = Ω n (j n/2, )/(Ω n (j n/2, ) ) m (R n ), and this gives by (2) a lower bound for the measurable chromatic number, namely χ m (R n ) /Ω n (j n/2, ). It is interesting to notice that this lower bound coincides with the one provided by Bachoc, Nebe, Oliveira, and Vallentin [2, Corollary 8.2], albeit by a shift of one dimension. This shift of one dimension is due to the fact that Bachoc, Nebe, Oliveira, and Vallentin [2] study the problem of sets avoiding one distance on the (n )-dimensional unit sphere S n R n and the lower bound for the measurable chromatic number χ m (R n ) was obtained by upper bounding the density of sets in the unit sphere which avoid the distance d where d goes to zero. So, we see now that this limit process gives a lower bound for the measurable chromatic number of R n and not only for the one of R n. 3.. Adding extra inequalities. It is possible to strengthen the main theorem and the resulting bound (8) by introducing extra inequalities. Consider a regular simplex in R n with edge length having vertices v,...,v n+. A set A R n which avoids the unit distance can only contain one vertex of this regular simplex. So we have for the autocorrelation function ϕ of the characteristic function A defined in (5) that (9) ϕ(v )+ +ϕ(v n+ ) = δ(a (A v ))+ +δ(a (A v n+ )) δ(a) = ϕ(0). Let O(R n ) be the n-dimensional orthogonal group, that is, the set of all n n real matrices Z such that Z t Z = I. Let µ denote the Haar measure over O(R n ) normalized by µ(o(r n )) =. Taking spherical averages of ϕ is the same as symmetrizing ϕ with respect to the orthogonal group, i.e., for all y R n, f(y) = ω n ϕ( y ξ)dω(ξ) = S n O(R n ) ϕ(zy) dµ(z) (this follows, e.g., from Theorem 3.7 in the book by Mattila [5]). Let f be, as above, the radial function obtained by the symmetrization of ϕ. For a nonnegative real number t, we write f(t) for the common value of f for vectors of length t. Then, by symmetrizing both sides of (9) with respect to the orthogonal group, and since distances are preserved by the action of O(R n ), we conclude that the inequality (0) f( v )+ +f( v n+ )
7 Fourier analysis, linear programming, and densities of distance avoiding sets 7 can be used to strengthen our original linear program. Here, observe that we already took into account the normalization f(0) =, introduced in (6). If we center a regular simplex at the origin, the above inequality specializes to (n+)f( /2 /(2n+2)), which gives the following strengthening of the dual formulation (7) { inf z 0 +z c : z c 0, z 0 +z +z c (n+), z 0 +z Ω n (t)+z c (n+)ω n (t /2 /(2n+2)) 0 } for all t 0. In Table 3. we give the new upper bounds on m (R n ) we get for n = 4,...,24 by solving the linear program on a computer (we discuss numerical issues at the end of this section) which are improvements over the values which Székely and Wormald give in [20]. This in turn gives new lower bounds for the measurable chromatic number for n = 4,...,24. n best upper bound new upper best lower bound new lower for m (R n ) bound for for χ m (R n ) bound for previously known m (R n ) previously known χ m (R n ) [8] [0] [20] [0] [20] [20] [20] [20] [20] [20] [20] [20] [20] [20] [20] [20] [20] [2] [20] [2] [20] [2] [20] [2] [20] [2] [20] [2] [20] [2] [20] [2] [20] [2] [20] [2] [20] [2] [20] [2] [20] [2] [20] [2] [20] [2] 206 Table 3.. Upper bounds for m (R n ) and lower bounds for χ m (R n ).
8 8 F.M. de Oliveira Filho, F. Vallentin However, in dimension 2 we only get an upper bound of To improve Székely s bound of 2/ in the plane, we replace the regular triangle centered at the origin by more triangles. We use the following three triples of squarednorms( v 2, v 2 2, v 3 2 ) for(0): (2.4,2.4, ),(3.,3., ) (3.7,3.7,7.474),where the last coordinate of (a,b,c) is a root of 3(a 2 +b 2 +c 2 + ) (a+b+c+) 2. This condition assures that the determinant of the positive semidefinite Gram matrix a 2 (a+b ) 2 (a+c ) 2 (a+b ) b 2 (b+c ) 2 (a+c ) 2 (b+c ) c of the points v,v 2,v 3 of a corresponding regular simplex vanishes. Solving the corresponding linear program yields the new upper bound of We found thethreetriplesbyconsideringalltriples(a,b,c)with a,b = 0.j with j = 0,...,40. In dimension 3 we use three quadruples ( v 2, v 2 2, v 3 2, v 4 2 ) of squared norms for (0): (0.3, 0.4, 0.4, ), (.9,.9,.9, ), (2, 2, 2, ), where the last coordinate of (a,b,c,d) is a root of 3(a 2 +b 2 +c 2 +d 2 +) 2(ab+ ac+ad+bc+bd+cd) 2(a+b+c+d). Solving the corresponding linear programming problem yields the new upper bound of We found the three quadruples by considering all triples (a,b,c,d) with a,b,c = 0.j with j = 0,..., Numerical calculations. A few technical remarks concerning the numerical calculations are in order. For solving the linear programs we use the software lpsolve [3] and we generate the input using the program GP/PARI [6]. We discretize the conditions of the form z 0 +z Ω n (t)+z c (n+)ω n (t /2 /(2n+2)) 0 for all t 0 by discretizing the interval [0, 20] into steps of size Now we demonstrate in the case n = 4 how we turn the numerical calculations into a rigorous mathematical proof: The linear program has the optimal numerical solution z 0 = , z = , z c = A lower bound of the minimum of the function z(t) = z 0 +z Ω 4 (t)+5z c Ω 4 ( 2/5t) in t [0,20] is The function z(t) is positive for t 20 because there Ω 4 (t) 0.02 and Ω 4 ( 2/5t) 0.04 holds. Thus by adding to z 0 we make sure that the new function z(t) is nonnegative. This only slightly effects the value of the bound. 4. Planar sets avoiding two distances In this section we quickly report on the problem of finding the smallest extreme density a measurable set in the plane can have which avoids exactly two distances, i.e., inf{m d,d 2 (R 2 ) : d,d 2 > 0}. Székely [8] showed that this number is at most 2/ by giving an upper bound for m, 3 (R 2 ). By solving the corresponding linear program on the computer we improve his bound to m, 3 (R 2 ) By adjusting the distances we can improve this further: m,j,2/j, (R 2 ) where j, and j,2 are the first two positive zeros of the Bessel function J.
9 Fourier analysis, linear programming, and densities of distance avoiding sets 9 By combining Bukh s result, which we explained in the introduction, with our new bound on m (R 2 ) from the previous section we can improve on this even further: inf{m d,d 2 (R 2 ) : d,d 2 > 0} ( m (R 2 ) ) Sets avoiding many distances In this section we give a proof of a variant of Bukh s result [5, Theorem ] about densities of sets avoiding many distances. His proof is based on a so-called zooming out lemma which resembles Szemerédi s regularity lemma for dense graphs, whereas our proof is an easy consequence of Theorem. and simple properties of the function Ω n. Theorem 5.. For every positive integer N there is a number r = r(n) strictly greater than such that for distances d,..., d N with () d 2 /d > r, d 3 /d 2 > r,..., d N /d N > r we have m d,...,d N (R n ) 2 N. In the proof of Theorem 5. some facts about the function Ω n will be useful. First, we have (2) J 0 (t), and J α (t) / 2 for all α > 0 and t 0 (cf. (4.9.3) in Andrews, Askey, and Roy []). From this, it follows at once that lim t Ω n (t) = 0 for n > 2. For n = 2 the same follows, e.g., from the asymptotic expansion for J α (cf. (4.8.5) in Andrews, Askey, and Roy []). Moreover, (3) Ω n (t) /2, for all n 2 and t 0. To see this, set α = (n 2)/2. It is known that for α > /2 we have J α (t)+j α+ (t) = 2α t J α(t) (cf. Andrews, Askey, and Roy [, (4.6.5)]). Combining this identity with () we obtain ( 2 ) α t Ω n (t) = Γ(α+) t 2α (J α (t)+j α+ (t)) (4) ( 2 ) α Jα+ = Ω n 2 (t)+γ(α) (t). t Now, recall that the globalminimum ofω n is attained at j α+,, the first positive zero of J α+ (cf. Section 3). From (4), we have that Ω n (j α+, ) = Ω n 2 (j α+, ). It follows that the minimum of Ω n is at least the minimum of Ω n 2. To finish the proof of (3) we have to check Ω 2 and Ω 3, what can be easily accomplished. Proof of Theorem 5.. Given N > 0, set ε = /(N2 N+ ). Since Ω n (0) = and since Ω n is continuous, there is a number t 0 > 0 such that Ω n (t) > ε for t t 0. Likewise, since lim t Ω n (t) = 0, there is a number t > t 0 such that Ω n (t) < ε for t t.
10 0 F.M. de Oliveira Filho, F. Vallentin Set r = r(n) = t /t 0 and let distances d,..., d N be given such that () is satisfied. With this we claim that, for j N, N 2 N i+ Ω n(td i ) (N j)ε. 2N j+2 i=j Before we prove the claim, we show how to apply it. By taking j = in the claim, and since by our choice of ε we have (N )ε /2 N+, it follows that N i= 2 N i+ Ω n(td i ) 2 N. Now we may set z 0 = /2 N and z i = /2 N i+ for i =,..., N and apply Theorem., proving our result. To finish, we prove the claim by induction. For j = N, the statement follows immediately from (3). Now, suppose the statement is true for some < j N. We show that the statement is also true for j by distinguishing two cases. First, for t t 0 /d j, we have from the choice of t 0 that Ω n (td j ) > ε. Using this and the induction hypothesis, we then have that N i=j 2 N i+ Ω n(td i ) = 2 N j+2 Ω n(td j )+ N i=j 2 N i+ Ω n(td i ) ε 2 N j+2 (N j)ε 2N j+2 (N j +)ε. 2N j+3 Now suppose t t 0 /d j. Observe that, for j i N, we have td i t 0 d i /d j t 0 r = t, hence Ω n (td i ) < ε. So, by using (3), we have N i=j 2 N i+ Ω n(td i ) = 2 N j+2 Ω n(td j )+ (N j +)ε, 2N j+3 finishing the proof of the claim. Acknowledgements N i=j 2 N i+ Ω n(td i ) We thank Christine Bachoc for helpful discussions, Noam D. Elkies for enlightening comments, and Boris Bukh and Lex Schrijver for their valuable suggestions on our manuscript. References [] G.E. Andrews, R. Askey, R. Roy, Special functions, Cambridge University Press, 999. [2] C. Bachoc, G. Nebe, F.M. de Oliveira Filho, F. Vallentin, Lower bounds for measurable chromatic numbers, arxiv: v2 [math.co], 8 pages, to appear in Geom. Funct. Anal. [3] M. Berkelaar, K. Eikland, P. Notebaert, lpsolve version 5.5, available from the web site [4] J. Bourgain, A Szemerédi type theorem for sets of positive density in R k, Israel J. Math. 54 (986),
11 Fourier analysis, linear programming, and densities of distance avoiding sets [5] B. Bukh, Measurable sets with excluded distances, arxiv:math/ v2 [math.co], 23 pages, to appear in Geom. Funct. Anal. [6] H. Cohn, N.D. Elkies, New upper bounds on sphere packings I, Ann. of Math. 57 (2003), [7] H.T. Croft, Incidence incidents, Eureka (Cambridge) 30 (967), [8] H.T. Croft, K.J. Falconer, R.K. Guy, Unsolved problems in geometry, Springer, 99. [9] P. Delsarte, An algebraic approach to the association schemes of coding theory, Philips Res. Rep. Suppl. (973), vi+97. [0] K.J. Falconer, The realization of distances in measurable subsets covering R n, J. Combin. Theory Ser. A 3 (98), [] K.J. Falconer, The realization of small distances in plane sets of positive measure, Bull. London Math. Soc. 8 (986), [2] K.J. Falconer, J.M. Marstrand, Plane sets with positive density at infinity contain all large distances, Bull. London Math. Soc. 8 (986), [3] H. Furstenberg, Y. Katznelson, B. Weiss, Ergodic theory and configurations in sets of positive density, p in Mathematics of Ramsey theory (J. Nešetřil, V. Rödl ed.), Springer, 989. [4] Y. Katznelson, An introduction to harmonic analysis, Dover Publications, 976. [5] P. Mattila, Geometry of Sets and Measures in Euclidean Spaces: Fractals and rectifiability, Cambridge University Press, 995. [6] The PARI-group, PARI/GP version 2.3.3, Bordeaux 2006, available from the web site [7] I.J. Schoenberg, Metric spaces and completely monotone functions, Ann. of Math. 39(938), [8] L.A. Székely, Measurable chromatic number of geometric graphs and sets without some distances in Euclidean space, Combinatorica 4 (984), [9] L.A. Székely, Erdős on unit distances and the Szemerédi-Trotter theorems, p in Paul Erdős and his mathematics (G. Halász, L. Lovász, M. Simonovits, V.T. Sós ed.), Springer, [20] L.A. Székely, N.C. Wormald, Bounds on the measurable chromatic number of R n, Discrete Math. 75 (989), [2] G.N. Watson, A treatise on the theory of Bessel function, Cambridge Mathematical Library, 995. F.M. de Oliveira Filho, Centrum voor Wiskunde en Informatica (CWI), Kruislaan 43, 098 SJ Amsterdam, The Netherlands address: f.m.de.oliveira.filho@cwi.nl F. Vallentin, Centrum voor Wiskunde en Informatica (CWI), Kruislaan 43, 098 SJ Amsterdam, The Netherlands address: f.vallentin@cwi.nl
δ(a) = limsup T (n 2) J 1 2 t (n 2)(t), for t > 0, Ω n(0) = 1,
FOURIER ANALYSIS, LINEAR PROGRAMMING, AND DENSITIES OF DISTANCE AVOIDING SETS IN R n arxiv:0808.8v [math.co] 3 Aug 008 FERNANDO MÁRIO DE OLIVEIRA FILHO AND FRANK VALLENTIN Abstract. In this paper we derive
More informationLOWER BOUNDS FOR MEASURABLE CHROMATIC NUMBERS
LOWER BOUNDS FOR MEASURABLE CHROMATIC NUMBERS CHRISTINE BACHOC, GABRIELE NEBE, FERNANDO MÁRIO DE OLIVEIRA FILHO, AND FRANK VALLENTIN ABSTRACT. The Lovász theta function provides a lower bound for the chromatic
More informationSets avoiding norm 1 in R n
Sets avoiding norm 1 in R n Christine Bachoc Université de Bordeaux, IMB Computation and Optimization of Energy, Packing, and Covering ICERM, Brown University, April 9-13, 2018 Christine Bachoc (Université
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 informationSzemerédi-Trotter type theorem and sum-product estimate in finite fields
Szemerédi-Trotter type theorem and sum-product estimate in finite fields arxiv:0711.4427v1 [math.co] 28 Nov 2007 Le Anh Vinh Mathematics Department Harvard University Cambridge, MA 02138, US vinh@math.harvard.edu
More informationPacking, coding, and ground states From information theory to physics. Lecture III. Packing and energy minimization bounds in compact spaces
Packing, coding, and ground states From information theory to physics Lecture III. Packing and energy minimization bounds in compact spaces Henry Cohn Microsoft Research New England Pair correlations For
More informationFOURIER ANALYSIS AND GEOMETRIC COMBINATORICS
FOURIER ANALYSIS AND GEOMETRIC COMBINATORICS Alex Iosevich Department of Mathematics University of Missouri-Columbia Columbia, MO 65211 USA iosevich@math.missouri.edu Abstract This article is based on
More informationJeong-Hyun Kang Department of Mathematics, University of West Georgia, Carrollton, GA
#A33 INTEGERS 10 (2010), 379-392 DISTANCE GRAPHS FROM P -ADIC NORMS Jeong-Hyun Kang Department of Mathematics, University of West Georgia, Carrollton, GA 30118 jkang@westga.edu Hiren Maharaj Department
More informationDaniel M. Oberlin Department of Mathematics, Florida State University. January 2005
PACKING SPHERES AND FRACTAL STRICHARTZ ESTIMATES IN R d FOR d 3 Daniel M. Oberlin Department of Mathematics, Florida State University January 005 Fix a dimension d and for x R d and r > 0, let Sx, r) stand
More informationarxiv:math/ v3 [math.co] 15 Oct 2006
arxiv:math/060946v3 [math.co] 15 Oct 006 and SUM-PRODUCT ESTIMATES IN FINITE FIELDS VIA KLOOSTERMAN SUMS DERRICK HART, ALEX IOSEVICH, AND JOZSEF SOLYMOSI Abstract. We establish improved sum-product bounds
More informationGAUSSIAN MEASURE OF SECTIONS OF DILATES AND TRANSLATIONS OF CONVEX BODIES. 2π) n
GAUSSIAN MEASURE OF SECTIONS OF DILATES AND TRANSLATIONS OF CONVEX BODIES. A. ZVAVITCH Abstract. In this paper we give a solution for the Gaussian version of the Busemann-Petty problem with additional
More informationTHE UNIT DISTANCE PROBLEM ON SPHERES
THE UNIT DISTANCE PROBLEM ON SPHERES KONRAD J. SWANEPOEL AND PAVEL VALTR Abstract. For any D > 1 and for any n 2 we construct a set of n points on a sphere in R 3 of diameter D determining at least cn
More informationSzemerédi s Lemma for the Analyst
Szemerédi s Lemma for the Analyst László Lovász and Balázs Szegedy Microsoft Research April 25 Microsoft Research Technical Report # MSR-TR-25-9 Abstract Szemerédi s Regularity Lemma is a fundamental tool
More informationTHEOREMS, ETC., FOR MATH 515
THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every
More informationMonochromatic simplices of any volume
Monochromatic simplices of any volume Adrian Dumitrescu Department of Computer Science University of Wisconsin Milwaukee WI 53201-0784, USA Email: ad@cs.uwm.edu Minghui Jiang Department of Computer Science
More informationValuations on Polytopes containing the Origin in their Interiors
Valuations on Polytopes containing the Origin in their Interiors Monika Ludwig Abteilung für Analysis, Technische Universität Wien Wiedner Hauptstraße 8-10/1142, 1040 Wien, Austria E-mail: monika.ludwig@tuwien.ac.at
More informationGaussian Measure of Sections of convex bodies
Gaussian Measure of Sections of convex bodies A. Zvavitch Department of Mathematics, University of Missouri, Columbia, MO 652, USA Abstract In this paper we study properties of sections of convex bodies
More informationP-adic Functions - Part 1
P-adic Functions - Part 1 Nicolae Ciocan 22.11.2011 1 Locally constant functions Motivation: Another big difference between p-adic analysis and real analysis is the existence of nontrivial locally constant
More informationDistinct distances between points and lines in F 2 q
Distinct distances between points and lines in F 2 q Thang Pham Nguyen Duy Phuong Nguyen Minh Sang Claudiu Valculescu Le Anh Vinh Abstract In this paper we give a result on the number of distinct distances
More information3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable
More informationOff-diagonal hypergraph Ramsey numbers
Off-diagonal hypergraph Ramsey numbers Dhruv Mubayi Andrew Suk Abstract The Ramsey number r k (s, n) is the minimum such that every red-blue coloring of the k- subsets of {1,..., } contains a red set of
More informationStrange Combinatorial Connections. Tom Trotter
Strange Combinatorial Connections Tom Trotter Georgia Institute of Technology trotter@math.gatech.edu February 13, 2003 Proper Graph Colorings Definition. A proper r- coloring of a graph G is a map φ from
More informationSummary of Real Analysis by Royden
Summary of Real Analysis by Royden Dan Hathaway May 2010 This document is a summary of the theorems and definitions and theorems from Part 1 of the book Real Analysis by Royden. In some areas, such as
More informationThe isomorphism problem of Hausdorff measures and Hölder restrictions of functions
The isomorphism problem of Hausdorff measures and Hölder restrictions of functions Theses of the doctoral thesis András Máthé PhD School of Mathematics Pure Mathematics Program School Leader: Prof. Miklós
More informationPACKING-DIMENSION PROFILES AND FRACTIONAL BROWNIAN MOTION
PACKING-DIMENSION PROFILES AND FRACTIONAL BROWNIAN MOTION DAVAR KHOSHNEVISAN AND YIMIN XIAO Abstract. In order to compute the packing dimension of orthogonal projections Falconer and Howroyd 997) introduced
More informationLOWER BOUNDS FOR MEASURABLE CHROMATIC NUMBERS. Christine Bachoc, Gabriele Nebe, Fernando Mário de Oliveira Filho and Frank Vallentin
Geom. Funct. Anal. Vol. 19 2009) 645 661 DOI 10.1007/s00039-009-0013-7 Published online August 4, 2009 GAFA Geometric And Functional Analysis 2009 The Authors). This article is published with open access
More informationGeneralized incidence theorems, homogeneous forms and sum-product estimates in finite fields arxiv: v2 [math.
Generalized incidence theorems, homogeneous forms and sum-product estimates in finite fields arxiv:0801.0728v2 [math.co] 31 Mar 2008 David Covert, Derrick Hart, Alex Iosevich, Doowon Koh, and Misha Rudnev
More informationCycle lengths in sparse graphs
Cycle lengths in sparse graphs Benny Sudakov Jacques Verstraëte Abstract Let C(G) denote the set of lengths of cycles in a graph G. In the first part of this paper, we study the minimum possible value
More informationRamsey Theory. May 24, 2015
Ramsey Theory May 24, 2015 1 König s Lemma König s Lemma is a basic tool to move between finite and infinite combinatorics. To be concise, we use the notation [k] = {1, 2,..., k}, and [X] r will denote
More informationRecall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm
Chapter 13 Radon Measures Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm (13.1) f = sup x X f(x). We want to identify
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 informationA DECOMPOSITION THEOREM FOR FRAMES AND THE FEICHTINGER CONJECTURE
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 A DECOMPOSITION THEOREM FOR FRAMES AND THE FEICHTINGER CONJECTURE PETER G. CASAZZA, GITTA KUTYNIOK,
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 informationNote on the chromatic number of the space
Note on the chromatic number of the space Radoš Radoičić Géza Tóth Abstract The chromatic number of the space is the minimum number of colors needed to color the points of the space so that every two points
More informationAxiom of choice and chromatic number of R n
Journal of Combinatorial Theory, Series A 110 (2005) 169 173 www.elsevier.com/locate/jcta Note Axiom of choice and chromatic number of R n Alexander Soifer a,b,1 a Princeton University, Mathematics, DIMACS,
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 informationarxiv: v1 [math.co] 2 Dec 2013
What is Ramsey-equivalent to a clique? Jacob Fox Andrey Grinshpun Anita Liebenau Yury Person Tibor Szabó arxiv:1312.0299v1 [math.co] 2 Dec 2013 November 4, 2018 Abstract A graph G is Ramsey for H if every
More informationSUM-PRODUCT ESTIMATES IN FINITE FIELDS VIA KLOOSTERMAN SUMS
SUM-PRODUCT ESTIMATES IN FINITE FIELDS VIA KLOOSTERMAN SUMS DERRICK HART, ALEX IOSEVICH, AND JOZSEF SOLYMOSI Abstract. We establish improved sum-product bounds in finite fields using incidence theorems
More informationOn a Generalization of the Busemann Petty Problem
Convex Geometric Analysis MSRI Publications Volume 34, 1998 On a Generalization of the Busemann Petty Problem JEAN BOURGAIN AND GAOYONG ZHANG Abstract. The generalized Busemann Petty problem asks: If K
More informationOn the chromatic number and independence number of hypergraph products
On the chromatic number and independence number of hypergraph products Dhruv Mubayi Vojtĕch Rödl January 10, 2004 Abstract The hypergraph product G H has vertex set V (G) V (H), and edge set {e f : e E(G),
More informationKernel Method: Data Analysis with Positive Definite Kernels
Kernel Method: Data Analysis with Positive Definite Kernels 2. Positive Definite Kernel and Reproducing Kernel Hilbert Space Kenji Fukumizu The Institute of Statistical Mathematics. Graduate University
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 information(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define
Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that
More informationLebesgue Measure on R n
CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets
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 informationInduced subgraphs with many repeated degrees
Induced subgraphs with many repeated degrees Yair Caro Raphael Yuster arxiv:1811.071v1 [math.co] 17 Nov 018 Abstract Erdős, Fajtlowicz and Staton asked for the least integer f(k such that every graph with
More informationarxiv: v3 [math.co] 23 Jun 2008
BOUNDING MULTIPLICATIVE ENERGY BY THE SUMSET arxiv:0806.1040v3 [math.co] 23 Jun 2008 Abstract. We prove that the sumset or the productset of any finite set of real numbers, A, is at least A 4/3 ε, improving
More informationLebesgue Integration on R n
Lebesgue Integration on R n The treatment here is based loosely on that of Jones, Lebesgue Integration on Euclidean Space We give an overview from the perspective of a user of the theory Riemann integration
More informationTWO GEOMETRIC COMBINATORIAL PROBLEMS IN VECTOR SPACES OVER FINITE FIELDS
TWO GEOMETRIC COMBINATORIAL PROBLEMS IN VECTOR SPACES OVER FINITE FIELDS EMMETT WYMAN Abstract. First, we show that the number of ordered right triangles with vertices in a subset E of the vector space
More informationTools from Lebesgue integration
Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given
More informationEstimates for probabilities of independent events and infinite series
Estimates for probabilities of independent events and infinite series Jürgen Grahl and Shahar evo September 9, 06 arxiv:609.0894v [math.pr] 8 Sep 06 Abstract This paper deals with finite or infinite sequences
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 informationII - REAL ANALYSIS. This property gives us a way to extend the notion of content to finite unions of rectangles: we define
1 Measures 1.1 Jordan content in R N II - REAL ANALYSIS Let I be an interval in R. Then its 1-content is defined as c 1 (I) := b a if I is bounded with endpoints a, b. If I is unbounded, we define c 1
More informationFinite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product
Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )
More informationTHE MATTILA INTEGRAL ASSOCIATED WITH SIGN INDEFINITE MEASURES. Alex Iosevich and Misha Rudnev. August 3, Introduction
THE MATTILA INTEGRAL ASSOCIATED WITH SIGN INDEFINITE MEASURES Alex Iosevich and Misha Rudnev August 3, 005 Abstract. In order to quantitatively illustrate the role of positivity in the Falconer distance
More informationDot product representations of planar graphs
Dot product representations of planar graphs Ross J. Kang Durham University ross.kang@gmail.com Tobias Müller Centrum Wiskunde & Informatica tobias@cwi.nl October 23, 2010 Abstract A graph G on n vertices
More informationUNIFORMLY DISTRIBUTED MEASURES IN EUCLIDEAN SPACES
MATH. SCAND. 90 (2002), 152 160 UNIFORMLY DISTRIBUTED MEASURES IN EUCLIDEAN SPACES BERND KIRCHHEIM and DAVID PREISS For every complete metric space X there is, up to a constant multiple, at most one Borel
More informationThe small ball property in Banach spaces (quantitative results)
The small ball property in Banach spaces (quantitative results) Ehrhard Behrends Abstract A metric space (M, d) is said to have the small ball property (sbp) if for every ε 0 > 0 there exists a sequence
More informationColoring the Voronoi tessellation of lattices
Coloring the Voronoi tessellation of lattices Frank Vallentin University of Cologne, Germany based on joint work with: M. Dutour-Sikirić, D. Madore A talk in honour of Thomas C. Hales on the occasion of
More informationarxiv:math/ v2 [math.ca] 18 Dec 1999
Illinois J. Math., to appear Non-symmetric convex domains have no basis of exponentials Mihail N. Kolountzakis 13 December 1998; revised October 1999 arxiv:math/9904064v [math.ca] 18 Dec 1999 Abstract
More informationAPPROXIMATE WEAK AMENABILITY OF ABSTRACT SEGAL ALGEBRAS
MATH. SCAND. 106 (2010), 243 249 APPROXIMATE WEAK AMENABILITY OF ABSTRACT SEGAL ALGEBRAS H. SAMEA Abstract In this paper the approximate weak amenability of abstract Segal algebras is investigated. Applications
More informationInvariant Semidefinite Programs
Invariant Semidefinite Programs Christine Bachoc Université Bordeaux I, IMB Modern trends in Optimization and its Application, IPAM Optimization Tutorials, september 14-17, 2010 Outline of Part I Invariant
More informationarxiv: v1 [math.ca] 25 Jul 2017
SETS WITH ARBITRARILY SLOW FAVARD LENGTH DECAY BOBBY WILSON arxiv:1707.08137v1 [math.ca] 25 Jul 2017 Abstract. In this article, we consider the concept of the decay of the Favard length of ε-neighborhoods
More informationA note on a construction of J. F. Feinstein
STUDIA MATHEMATICA 169 (1) (2005) A note on a construction of J. F. Feinstein by M. J. Heath (Nottingham) Abstract. In [6] J. F. Feinstein constructed a compact plane set X such that R(X), the uniform
More informationMONOCHROMATIC FORESTS OF FINITE SUBSETS OF N
MONOCHROMATIC FORESTS OF FINITE SUBSETS OF N Tom C. Brown Department of Mathematics and Statistics, Simon Fraser University, Burnaby, BC Canada V5A 1S6 tbrown@sfu.ca Received: 2/3/00, Revised: 2/29/00,
More informationDISTANCE GRAPHS AND SETS OF POSITIVE UPPER DENSITY IN R d. 1. Introduction
DISTANCE GRAPHS AND SETS OF POSITIVE UPPER DENSITY IN R d NEIL LYALL ÁKOS MAGYAR Abstract. We present a refinement and sharp extension of a result of Bourgain on finding configurations of k + 1 points
More informationMATH MEASURE THEORY AND FOURIER ANALYSIS. Contents
MATH 3969 - MEASURE THEORY AND FOURIER ANALYSIS ANDREW TULLOCH Contents 1. Measure Theory 2 1.1. Properties of Measures 3 1.2. Constructing σ-algebras and measures 3 1.3. Properties of the Lebesgue measure
More informationCIRCULAR CHROMATIC NUMBER AND GRAPH MINORS. Xuding Zhu 1. INTRODUCTION
TAIWANESE JOURNAL OF MATHEMATICS Vol. 4, No. 4, pp. 643-660, December 2000 CIRCULAR CHROMATIC NUMBER AND GRAPH MINORS Xuding Zhu Abstract. This paper proves that for any integer n 4 and any rational number
More informationarxiv: v1 [math.co] 28 Jan 2019
THE BROWN-ERDŐS-SÓS CONJECTURE IN FINITE ABELIAN GROUPS arxiv:191.9871v1 [math.co] 28 Jan 219 JÓZSEF SOLYMOSI AND CHING WONG Abstract. The Brown-Erdős-Sós conjecture, one of the central conjectures in
More informationarxiv: v2 [math.fa] 27 Sep 2016
Decomposition of Integral Self-Affine Multi-Tiles Xiaoye Fu and Jean-Pierre Gabardo arxiv:43.335v2 [math.fa] 27 Sep 26 Abstract. In this paper we propose a method to decompose an integral self-affine Z
More information2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due 9/5). Prove that every countable set A is measurable and µ(a) = 0. 2 (Bonus). Let A consist of points (x, y) such that either x or y is
More informationAround two theorems and a lemma by Lucio Russo
Around two theorems and a lemma by Lucio Russo Itai Benjamini and Gil Kalai 1 Introduction We did not meet Lucio Russo in person but his mathematical work greatly influenced our own and his wide horizons
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 informationPERIODS IMPLYING ALMOST ALL PERIODS FOR TREE MAPS. A. M. Blokh. Department of Mathematics, Wesleyan University Middletown, CT , USA
PERIODS IMPLYING ALMOST ALL PERIODS FOR TREE MAPS A. M. Blokh Department of Mathematics, Wesleyan University Middletown, CT 06459-0128, USA August 1991, revised May 1992 Abstract. Let X be a compact tree,
More informationNAKAJIMA S PROBLEM: CONVEX BODIES OF CONSTANT WIDTH AND CONSTANT BRIGHTNESS
NAKAJIMA S PROBLEM: CONVEX BODIES OF CONSTANT WIDTH AND CONSTANT BRIGHTNESS RALPH HOWARD AND DANIEL HUG Dedicated to Rolf Schneider on the occasion of his 65th birthday ABSTRACT. For a convex body K R
More informationON THE REGULARITY OF SAMPLE PATHS OF SUB-ELLIPTIC DIFFUSIONS ON MANIFOLDS
Bendikov, A. and Saloff-Coste, L. Osaka J. Math. 4 (5), 677 7 ON THE REGULARITY OF SAMPLE PATHS OF SUB-ELLIPTIC DIFFUSIONS ON MANIFOLDS ALEXANDER BENDIKOV and LAURENT SALOFF-COSTE (Received March 4, 4)
More informationApollonian Circle Packings: Number Theory II. Spherical and Hyperbolic Packings
Apollonian Circle Packings: Number Theory II. Spherical and Hyperbolic Packings Nicholas Eriksson University of California at Berkeley Berkeley, CA 942 Jeffrey C. Lagarias University of Michigan Ann Arbor,
More informationSPACES ENDOWED WITH A GRAPH AND APPLICATIONS. Mina Dinarvand. 1. Introduction
MATEMATIČKI VESNIK MATEMATIQKI VESNIK 69, 1 (2017), 23 38 March 2017 research paper originalni nauqni rad FIXED POINT RESULTS FOR (ϕ, ψ)-contractions IN METRIC SPACES ENDOWED WITH A GRAPH AND APPLICATIONS
More informationCONSTRAINED PERCOLATION ON Z 2
CONSTRAINED PERCOLATION ON Z 2 ZHONGYANG LI Abstract. We study a constrained percolation process on Z 2, and prove the almost sure nonexistence of infinite clusters and contours for a large class of probability
More informationLebesgue Measure on R n
8 CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets
More informationChapter 6 Orthogonal representations II: Minimal dimension
Chapter 6 Orthogonal representations II: Minimal dimension Nachdiplomvorlesung by László Lovász ETH Zürich, Spring 2014 1 Minimum dimension Perhaps the most natural way to be economic in constructing an
More informationTHE DAUGAVETIAN INDEX OF A BANACH SPACE 1. INTRODUCTION
THE DAUGAVETIAN INDEX OF A BANACH SPACE MIGUEL MARTÍN ABSTRACT. Given an infinite-dimensional Banach space X, we introduce the daugavetian index of X, daug(x), as the greatest constant m 0 such that Id
More informationThe Brownian graph is not round
The Brownian graph is not round Tuomas Sahlsten The Open University, Milton Keynes, 16.4.2013 joint work with Jonathan Fraser and Tuomas Orponen Fourier analysis and Hausdorff dimension Fourier analysis
More information#A28 INTEGERS 13 (2013) ADDITIVE ENERGY AND THE FALCONER DISTANCE PROBLEM IN FINITE FIELDS
#A28 INTEGERS 13 (2013) ADDITIVE ENERGY AND THE FALCONER DISTANCE PROBLEM IN FINITE FIELDS Doowon Koh Department of Mathematics, Chungbuk National University, Cheongju city, Chungbuk-Do, Korea koh131@chungbuk.ac.kr
More informationUNIFORM EMBEDDINGS OF BOUNDED GEOMETRY SPACES INTO REFLEXIVE BANACH SPACE
UNIFORM EMBEDDINGS OF BOUNDED GEOMETRY SPACES INTO REFLEXIVE BANACH SPACE NATHANIAL BROWN AND ERIK GUENTNER ABSTRACT. We show that every metric space with bounded geometry uniformly embeds into a direct
More informationA combinatorial algorithm minimizing submodular functions in strongly polynomial time
A combinatorial algorithm minimizing submodular functions in strongly polynomial time Alexander Schrijver 1 Abstract We give a strongly polynomial-time algorithm minimizing a submodular function f given
More informationPACKING DIMENSIONS, TRANSVERSAL MAPPINGS AND GEODESIC FLOWS
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 29, 2004, 489 500 PACKING DIMENSIONS, TRANSVERSAL MAPPINGS AND GEODESIC FLOWS Mika Leikas University of Jyväskylä, Department of Mathematics and
More informationThe Hopf argument. Yves Coudene. IRMAR, Université Rennes 1, campus beaulieu, bat Rennes cedex, France
The Hopf argument Yves Coudene IRMAR, Université Rennes, campus beaulieu, bat.23 35042 Rennes cedex, France yves.coudene@univ-rennes.fr slightly updated from the published version in Journal of Modern
More informationNECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES
NECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES JUHA LEHRBÄCK Abstract. We establish necessary conditions for domains Ω R n which admit the pointwise (p, β)-hardy inequality u(x) Cd Ω(x)
More informations P = f(ξ n )(x i x i 1 ). i=1
Compactness and total boundedness via nets The aim of this chapter is to define the notion of a net (generalized sequence) and to characterize compactness and total boundedness by this important topological
More informationarxiv: v1 [math.fa] 13 Apr 2010
A COMPACT UNIVERSAL DIFFERENTIABILITY SET WITH HAUSDORFF DIMENSION ONE arxiv:1004.2151v1 [math.fa] 13 Apr 2010 MICHAEL DORÉ AND OLGA MALEVA Abstract. We give a short proof that any non-zero Euclidean space
More informationApplications of semidefinite programming in Algebraic Combinatorics
Applications of semidefinite programming in Algebraic Combinatorics Tohoku University The 23rd RAMP Symposium October 24, 2011 We often want to 1 Bound the value of a numerical parameter of certain combinatorial
More informationCompact orbit spaces in Hilbert spaces and limits of edge-colouring models
Compact orbit spaces in Hilbert spaces and limits of edge-colouring models Guus Regts 1 and Alexander Schrijver 2 Abstract. Let G be a group of orthogonal transformations of a real Hilbert space H. Let
More informationarxiv: v1 [math.oc] 21 Mar 2015
Convex KKM maps, monotone operators and Minty variational inequalities arxiv:1503.06363v1 [math.oc] 21 Mar 2015 Marc Lassonde Université des Antilles, 97159 Pointe à Pitre, France E-mail: marc.lassonde@univ-ag.fr
More informationA lattice point problem and additive number theory
A lattice point problem and additive number theory Noga Alon and Moshe Dubiner Department of Mathematics Raymond and Beverly Sackler Faculty of Exact Sciences Tel Aviv University, Tel Aviv, Israel Abstract
More informationTHE STONE-WEIERSTRASS THEOREM AND ITS APPLICATIONS TO L 2 SPACES
THE STONE-WEIERSTRASS THEOREM AND ITS APPLICATIONS TO L 2 SPACES PHILIP GADDY Abstract. Throughout the course of this paper, we will first prove the Stone- Weierstrass Theroem, after providing some initial
More informationJensen s inequality for multivariate medians
Jensen s inequality for multivariate medians Milan Merkle University of Belgrade, Serbia emerkle@etf.rs Given a probability measure µ on Borel sigma-field of R d, and a function f : R d R, the main issue
More informationHilbert Spaces. Contents
Hilbert Spaces Contents 1 Introducing Hilbert Spaces 1 1.1 Basic definitions........................... 1 1.2 Results about norms and inner products.............. 3 1.3 Banach and Hilbert spaces......................
More informationIntroduction. Chapter 1. Contents. EECS 600 Function Space Methods in System Theory Lecture Notes J. Fessler 1.1
Chapter 1 Introduction Contents Motivation........................................................ 1.2 Applications (of optimization).............................................. 1.2 Main principles.....................................................
More informationarxiv: v2 [math.co] 20 Jun 2018
ON ORDERED RAMSEY NUMBERS OF BOUNDED-DEGREE GRAPHS MARTIN BALKO, VÍT JELÍNEK, AND PAVEL VALTR arxiv:1606.0568v [math.co] 0 Jun 018 Abstract. An ordered graph is a pair G = G, ) where G is a graph and is
More information