LARGE DEVIATIONS OF TYPICAL LINEAR FUNCTIONALS ON A CONVEX BODY WITH UNCONDITIONAL BASIS. S. G. Bobkov and F. L. Nazarov. September 25, 2011

Size: px
Start display at page:

Download "LARGE DEVIATIONS OF TYPICAL LINEAR FUNCTIONALS ON A CONVEX BODY WITH UNCONDITIONAL BASIS. S. G. Bobkov and F. L. Nazarov. September 25, 2011"

Transcription

1 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 convex set with unconditional basis. It is shown that suitably normalized l -balls play the role of extremal bodies. Introduction Let K be a convex body in R n with the properties: ) vol n (K) =, where vol n stands for the Lebesgue measure; 2) given x K, y R n such that y j x j, for all j n, we have y K; 3) the integrals x 2 j dx = L 2 K K do not depend on j n. By the assumption 2), the set K is centrally symmetric, and moreover, the canonical basis in R n is unconditional for the norm associated to K. Under 2), the normalizing assumption 3) defines K as an isotropic body. This means, that linear functionals f θ (x) = θ x θ n x n, x R n, parameterized by unit vectors θ = (θ,..., θ n ) have L 2 (K)-norm equal to L K. Due to the hypotheses ) 3) on K, the quantity L K satisfies c L K c 2, for some absolute constants c, c 2 > 0 (cf. [Bou]). Moreover, according to Borell s lemma ([Bor], Lemma 3.), L p (K)-norms of f θ are at most Cp, for all p and Key words: Convex bodies, unconditional basis, Gaussian tails, comparison theorem Supported in part by NSF grants

2 2 some numerical constant C. This can be written in terms of the Young function ψ (t) = e t and the corresponding Orlicz norm on K as one inequality f θ ψ C. A natural general question in this direction (regarding of the unconditionality assumption) is how to determine whether or not, for some unit vector θ, or moreover, for most of them, we have a stronger inequality f θ ψ2 C 2 (.) with respect to the Young function ψ 2 (t) = e t 2. The inequality (.) is equivalent to the property that f θ admits a gaussian bound on the distribution of tails, vol n {x K : f θ (x) t} 2 e t2 /C, t 0 (with C proportional to C 2 ). The study of this question was initiated by J. Bourgain [Bou2] who related it to the slicing problem in Convex Geometry. While for this problem it is important to know how to control sup θ f θ ψ2 as a quantity depending on K, it turns out non-trivial to see in general whether the inequality (.) holds true for at least one vector θ with a universal C 2 (a question posed and propagandized over the years by V. D. Milman). Recently, G. Paouris studied the problem for several families of isotropic bodies including zonoids and those that are contained in the Euclidean ball of radius of order n. See [P] where one can also find further references and comments on the relationship to the slicing problem. In [B-N], it is shown that, under the hypotheses ) 3), the inequality (.) holds always true for the main direction, that is, for the functional f(x) = x x n n, x R n. In this paper we suggest another approach to this result which allows one to involve into consideration arbitrary linear functionals f θ and thus to study their possible behavior on average. Theorem.. For every vector θ R n, f θ ψ2 4 θ 3n. (.2) Here, θ = max j n θ j. The inequality (.2) may be applied to f itself which yields (.) with a dimension free constant. Up to an absolute factor, the right hand in (.2) cannot be improved. This can be shown on the example of the normalized l -balls, see Proposition 2. below. On the other hand, the average value of θ n with respect to the uniform measure

3 3 σ n on the unit sphere S n is about log n. Therefore, one cannot hope that (.) will hold for most of the unit vectors in the sense of σ n, so other norms or rates for distribution tails have to be examined in order to describe the (worst) typical behavior of linear functionals on K. Theorem.2. There exist positive numerical constants c, c 2 and t 0 with the following property. For all θ S n except possibly for a set of σ n -measure at most n c, { vol n {x K : f θ (x) t} exp c 2 t 2 }, t t 0. (.3) log t Moreover, c can be chosen arbitrarily large at the expense of suitable c 2 and t 0. Thus, in the worst case, the tails of f θ are almost Gaussian. In particular, for most unit vectors, we have a weakened version of (.), f θ ψα C α, which is fulfilled for all α [, 2) with respect to the Young functions ψ α (t) = e t α (with C α depending on α, only). Introduce the unit ball of the space l n, B = {x R n : x x n }. It is known that the basic assumptions ) 3) imply a set inclusion K CnB, for some numerical C. This fact itself may inspire an idea that a number of essential properties of K could be inherited from the dilated l n -ball. One comparison claim of this kind is discussed in section 3, where we also complete the proof of Theorem. and.2. The case of l n -ball has to be treated separately and is considered in section 2. 2 Linear functionals on l n ball Given a probability space (Ω, µ) and a Young function ψ on the real line R (i.e., a convex, even function such that ψ(0) = 0, ψ(t) > 0 for t 0), one defines the corresponding Orlicz norm by f ψ = f Lψ (µ) = inf { λ > 0 : } ψ(f/λ) dµ, where f is an arbitrary measurable function on Ω. If ψ(t) = t p (p ), we arrive at the usual Lebesgue space norm f p = f L p (µ). It is well-known and easy to see f that for ψ = ψ 2, the Orlicz norm f ψ2 is equivalent to sup p p p. So, in order to

4 4 get information on large deviations of f and, in particular, to bound its ψ 2 -norm, it suffices to study the rate of growth of L p -norms of f. We equip Ω = B, the unit ball of the space l n, with the uniform distribution µ n. This probability measure has density dµ n (x) dx = n! 2 n B (x), x R n. For any positive real numbers p,..., p n, one has a well-known identity n x p... x pn n dx... dx n = Γ(p )... Γ(p ) Γ(p p n + ), where the integration is performed over n = {x R n + : x +...+x n }, the part of B in the positive octant R n + = [0, + ) n. Together with the polynomial formula, this identity implies that, for any positive even integer p = 2q, f θ (x) 2q dµ n (x) = n! (2q)! (n + 2q)! q +...+q n=q θ 2q... θ 2qn n, (2.) where the summation is performed over all non-negative integers q,..., q n such that q q n = q. One easily derives from this: Proposition 2.. For every θ R n, c θ n f θ Lψ2 (µ n) c 2 θ n, (2.2) where c and c 2 are absolute positive constants. One can take c = 6, c 2 = 2 2. In the sequel, we use notation Cm k = m! for usual binomial coefficients (where k!(m k)! k = 0,,... m). Proof. From (2.), setting α = n θ, and recalling that the sum therein contains C n n+q terms, we get f θ 2q dµ n = n! (2q)! (n + 2q)! (n + q )! (n )! q! α 2q n C q 2q q! α 2q (n + 2q)... (n + q) n q Therefore, by Taylor s expansion, for all λ < 2α, e (λnf θ) 2 dµ n = + q= λ 2q q! n q (2.3) 4q q! α 2q n 2q. f θ 2q dµ n + 4 q λ 2q α 2q = q= 4λ 2 α 2.

5 5 The last expression is equal to 2 for λ = 2, so n f 2α θ Lψ2 (µ n) 2 2 α. This gives the upper estimate in (2.2) with c 2 = 2 2. For the lower estimate, we may assume θ j 0, for all j n. It follows from (2.) that all L 2q -norms θ f θ 2q as functions of θ and therefore the function θ f θ ψ2 are coordinatewise increasing on R n +. Consequently, f θ ψ2 θ f ψ2 where f (x) = x. To bound from below f ψ2, note that, given a random variable ξ with ξ ψ2 =, we always have 2 = E e ξ2 E q! ξ2q, so E ξ 2q 2q! for all integers q. Therefore, by homogeneity of the norm, E ξ 2q 2q! ξ 2q ψ 2 in general. Applying this to ξ = f and q = n, and recalling (2.), we find that f 2n ψ 2 2n! f (x) 2n dµ n (x) = 2n! n! (2n)! (3n)! = 2 (2n + )... (3n) 2 (3n). n Hence, f ψ2 6n. This yields the lower bound in (2.2) with c = / 6. Now, we will try to sharpen the bound (2.3) on L 2q -norms. θ S n, n 2, put n C n (θ) = θ log n. Given a vector Thus, C n (θ) = log n for the main direction θ j = n. However, this quantity is of order for a typical θ, that is, when this vector is randomly selected with respect to the uniform distribution σ n on the unit sphere S n. Proposition 2.2. On (B, µ n ), for all θ S n and every real p, { p, } n f θ p C max Cn (θ) p log p, (2.4) where C is an absolute constant. One can take C = 4.8. The inequality (2.4) implies the upper estimate of Proposition 2.. Indeed, if p n, we get { p, } n f θ p C max Cn (θ) p log n = C θ np, where we also applied θ n (due to the normalization assumption θ = ). Thus, f θ p C θ n p, p n. The latter easily yields the right hand side of (2.2). Introduce the full homogeneous polynomial of degree q, P q (a) = a q... a qn n, a R n, (2.5) q +...+q n=q

6 6 where the summation is performed over all non-negative integers q,..., q n such that q q n = q. According to the exact formula (2.), we need a more accurate estimate on P q (a) (with a i = θ 2 i ) in comparison with what was used for the proof of Proposition 2. on the basis of the trivial bound a i a. Lemma 2.3. For any q integer and every a R n such that n i= a i =, ( { }) q P q (a) 2e max q, a. Proof. We may assume a i 0. First we drop the condition a = n i= a i = but assume a i, for all i n. Then 2 a i e 2a i and, performing the summation in (2.5) over all integers q i 0, we get P q (a) q i 0 a q... a qn n = ( a )... ( a n ) e2 a. Applying this estimate to the vector ta instead of a and assuming a =, we thus obtain that P q (a) e2t t, whenever 0 t. q 2 a Optimization over all admissible t leads to ( 2e q P q (a) )q, if a, q (2 a ) q exp { } a, if a. q It remains to apply exp{ a } e q in the second case a q. Proof of Proposition 2.2. Applying Lemma 2.3 and (2.) with a i = θi 2, we obtain that, for every integer q, ( { }) q f θ 2q n! (2q)! 2q 2e max (n + 2q)! q, a. Using (n + 2q)! n! n 2q and (2q)! (2q) 2q, we thus get n f θ 2q 2q 2e max { q, a } = 2 2e max{ q, q θ }. (2.6) Now, starting from a real number p 2, take the least integer q such that p 2q. Then, q p and n f θ p n f θ 2q 2 2e max{ q, q θ }

7 7 Assume p n. The function log x x If 2 p e, we have anyway log n log 9 n log 8 2 2e max{ p, p θ } = 2 log n 2e max p, Cn (θ) p n. is decreasing in x e, so log n log p in case p e. n p. Thus, in the range 2 p n, log p p n f θ p 2 { p, } 2e max.03 Cn (θ) p log p. For p n, this inequality is immediate since then n f θ p n f θ = n θ C n (θ) p log p. It remains to note that 2 2e.03 < 4.8 and that the case p 2 follows from the estimate n f θ p n f θ 2 < 2. Proposition 2.2 has been proved. Corollary 2.4. For all θ S n and every real p 2, n f θ p 7 max{, C n (θ)} p log p. (2.7) 3 The general case Now, let us return to the general case of a body K in R n satisfying the basic properties ) 3). As we already mentioned, within the class of such bodies, a suitably normalized l n -ball is the largest set. More precisely, we have K V Cn B, for some universal constant C. As shown in [B-N], one may always take C = 6, and moreover C =, if additionally K is symmetric under permutations of coordinates. Note that the sets K and V have similar volume radii of order n. Our nearest goal will be to sharpen this property in terms of distributions of certain increasing functionals with respect to the uniform distributions on these bodies which we denote by µ K and µ V, respectively. Denote by F n the family of all functions F on R n that are symmetric about coordinate axes and representable on R n + as F (x) = π ([0, x ]... [0, x n ]), x R n +, (3.)

8 8 for some positive Borel measure π (finite on all compact subsets). If π is absolutely continuous, the second assumption on F is equivalent to the representation F (x) = x 0 xn... q(t) dt, x R n +, 0 for some non-negative measurable function q. Of a special interest will be the functions of the form F (x) = x p... x n pn with p,..., p n 0. With these assumptions, we have: Proposition 3.. If F F n, for all t 0, µ K {x R n : F (x) t} µ V {x R n : F (x) t}, (3.2) where the constant C defining V may be taken to be 6 (and one may take C = in case K is symmetric under permutations of coordinates). In particular, F (x) dµ K (x) F (x) dµ V (x). (3.3) Proof. Consider u(α,..., α n ) = µ K {x K : x α,..., x n α n }, α j 0. By the Brunn-Minkowski inequality and since K is symmetric about coordinate axes, the function u /n is concave on the convex set K + = K R n +. In addition, u(0) =. Without loss in generality, assume that u is continuously differentiable α=0 = vol n (K j ), where K j are the sections of K by the coordinate hyperspaces {x R n : x j = 0}. As known (cf. eg. [B-N]), for every hyperspace H in R n, vol n (K H) c in K +. Note that u(α) α j with c = 6. Moreover, for all coordinate hyperspaces, one has a sharper estimate vol n (K j ), provided that K is invariant under permutations of coordinates. Consequently, u(α) α j α=0 c. By concavity, partial derivatives of u /n are coordinatewise non-increasing, so, for all points α in K +, u /n (α) α j u/n (α) α j = α=0 n u(α) α j c α=0 n. Thus, necessarily u /n (α) u /n (0) c n (α α n ), that is, µ K { x α,..., x n α n } ( c (α ) n α n ). (3.4) n

9 9 Note that on the complement R n + \ K + the left hand side of (3.4) is zero, so this inequality extends automatically from K + to the whole octant R n +. Now, it is useful to observe that, whenever α α n Cn, α j 0, µ V { x α,..., x n α n } = vol n{x V : x α,..., x n α n } vol n (V ) = vol ( n ((Cn α... α n ) B ) = α ) α n n. vol n (CnB ) Cn Thus, (3.4) is exactly the desired inequality (3.2) with C = for the characteristic c function F α (x) = { x α,..., x n α n}. In the representation (3.), this function corresponds to the measure π that assigns unit mass to the point α. To get (3.) for all other F s, it remains to take into account an obvious fact that the functions F α form a collection of all extremal points for the cone F n. Proposition 3. follows. As a basic example, we apply (3.3) to compare the absolute mixed moments of the measures µ K and µ V : for all p,..., p n 0, x p... x n pn dµ K (x) x p... x n pn dµ V (x). (3.5) As in case of the l n unit ball B, such moments are involved through the polynomial formula in the representation f θ 2q dµ = (2q)! θ 2q... θn 2qn (2q )!... (2q )! x 2q... x 2qn n dµ(x), where q is a natural number, and where µ may be an arbitrary probability measure on R n symmetric about the coordinate axes (as before, the summation performed over all non-negative integers q,..., q n such that q +...+q n = q). In view of (3.5), we thus get: Corollary 3.2. For every θ R n, and for all integers q 0, f θ 2q dµ K f θ 2q dµ V. (3.6) To complete the proof of Theorem., it remains to note that, with Taylor s expansion for e (λf θ) 2, (3.6) readily implies an analogous inequality for ψ 2 -norm, f θ Lψ2 (µ K ) f θ Lψ2 (µ V ). Since V = CnB, the right hand side in terms of the uniform measure µ n on B is just Cn f θ Lψ2 (µ n). Thus, by Proposition 2., f θ Lψ2 (µ K ) 2 2 C θ n.

10 0 The constant 2 2 C does not exceed 4 3, as it is claimed in (.2), and does not exceed 2 2 in case K is symmetric under permutations of the coordinates. This proves Theorem.. Now, combining (3.6) with the moment estimate (2.6) on B, we obtain f θ L 2q (µ K ) 2C 2e max{ q, q θ }. Moreover, with the same argument leading from (2.6) to (2.7) in the proof of Proposition of 2.2, the above estimate implies a precise anologue of Corollary 2.4, i.e., the inequality f θ L p (µ K ) 7C max{, C n (θ)} p log p, (3.7) which holds true for every real p 2 and for all θ S n with C n (θ) = θ n log n. Also recall that we may take C = 6. To reach the statement of Theorem.2, one needs to transform (3.7) into an appropriate deviation inequality. Lemma 3.3. Given a measurable function ξ on some probability space (Ω, P), assume that its L p -norms satisfy, for all p 2 and some constant A /2, ξ p A p log p. (3.8) Then, for all t 2Ae, P{ ξ t} exp { t 2 8A 2 e log t }. (3.9) Proof. Put η = ξ 2 and write the assumption (3.8) as η q dp (Bq log(2q)) q, q, where B = 2A 2. Hence, by Chebyshev s inequality, for any x > 0, ( ) q B q log(2q) P{η x} x q η q dp. x Apply it to q of the form Assume cx e. Since the function fulfilled and, in addition, log cx, c > 0, to get log(cx) P{η x} Bc log 2cx log(cx) 2cx log(cx) cx log(cx) log(cx). z increases in z e, the requirement q is log z log(2cx) 2 log(cx). Thus, we may simplify the above estimate as P{η x} (2Bc) cx log(cx). Choosing c = 2Be { } P{η x} exp cx log(cx), provided that x 2Be 2., we obtain that

11 Equivalently, replacing x with t 2, P{ ξ t} exp{ ct2 }, for all t 2Ae. Since log(ct 2 ) c =, we have 4A 2 e log(ct2 ) log(t 2 ), so { } P{ ξ t} exp ct2, t 2Ae, 2 log t which is the desired inequality (3.9). Proof of Theorem.2. According to (3.7), for any θ S n, the linear functional ξ = f θ on (Ω, P) = (K, µ K ) satisfies the assumption of Lemma 3.3 with constant A(θ) = 7 6 max{, C n (θ)}. As a function of θ, this constant has relatively small deviations with respect to the uniform measure σ n on the sphere S n. Indeed, consider the function g(θ) = max j n θ j. Since it has Lipschitz seminorm, by a concentration inequality on the sphere (cf. e.g. [M-S], [L]), for all h > 0, σ n {g m + h} e nh2 /2, (3.0) where m is σ n -meadian for g. As is known, the median does not exceed α log n, n for some numerical α > 0. Taking h proportional to m in (3.0), we obtain that σ n { g β log n n σ n {C n (θ) β} n (β α)2 /2, so, } n (β α)2 /2, for every β > α. Equivalently, in terms of C n (θ), σ n {A(θ) 7 6 β} n (β α)2 /2. Thus, starting with a constant c > 0, take β > α such that (β α) 2 /2 = c. Then, with A = 7 6 β, we get, by Lemma 3.3, { } µ K { f θ t} exp t 2 8A 2 e log t, t t 0 2Ae. This inequality holds true for all θ in S n except for a set on the sphere of measure at most n c. References [B-N] Bobkov, S. G., Nazarov, F. L. On convex bodies and log-concave probability measures with unconditional basis. Geom. Aspects of Func. Anal., Lect. Notes in Math., to appear. [Bou] Bourgain, J. On high-dimensional maximal functions associated to convex bodies. Amer. J. Math., 08 (986), No.6, [Bou2] Bourgain, J. On the distribution of polynomials on high dimensional convex sets. Geom. Aspects of Func. Anal., Lect. Notes in Math., 469 (99),

12 2 [Bor] Borell, C. Convex measures on locally convex spaces. Ark. Math., 2 (974), [L] Ledoux, M. The concentration of measure phenomenon. Math. Surveys and Monographs, vol. 89, 200, AMS. [M-P] Milman, V. D., Schechtman, G. Asymptotic theory of finite dimensional normed spaces. Lecture Notes in Math., 200 (986), Springer-Verlag. [P] Paouris, G. Ψ 2 -estimates for linear functionals on zonoids. Geom. Aspects of Func. Anal., Lect. Notes in Math., to apper. S.G.B.: School of Mathematics F.L.N: Department of Mathematics University of Minnesota Michigan State University Minneapolis, MN East Lansing, MI bobkov@math.umn.edu fedja@math.msu.edu

Spectral Gap and Concentration for Some Spherically Symmetric Probability Measures

Spectral 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 information

Large Deviations of Typical Linear Functionals on a Convex Body with Unconditional Basis

Large Deviations of Typical Linear Functionals on a Convex Body with Unconditional Basis Progress in Probability, Vol. 56, 3-13 2003 Birkhauser Verlag Basel/Switzerland Large Deviations of Typical Linear Functionals on a Convex Body with Unconditional Basis Sergey G. Bobkov and Fedor L. Nazarov

More information

On isotropicity with respect to a measure

On isotropicity with respect to a measure On isotropicity with respect to a measure Liran Rotem Abstract A body is said to be isoptropic with respect to a measure µ if the function θ x, θ dµ(x) is constant on the unit sphere. In this note, we

More information

High-dimensional distributions with convexity properties

High-dimensional distributions with convexity properties High-dimensional distributions with convexity properties Bo az Klartag Tel-Aviv University A conference in honor of Charles Fefferman, Princeton, May 2009 High-Dimensional Distributions We are concerned

More information

Convex inequalities, isoperimetry and spectral gap III

Convex inequalities, isoperimetry and spectral gap III Convex inequalities, isoperimetry and spectral gap III Jesús Bastero (Universidad de Zaragoza) CIDAMA Antequera, September 11, 2014 Part III. K-L-S spectral gap conjecture KLS estimate, through Milman's

More information

Weak and strong moments of l r -norms of log-concave vectors

Weak and strong moments of l r -norms of log-concave vectors Weak and strong moments of l r -norms of log-concave vectors Rafał Latała based on the joint work with Marta Strzelecka) University of Warsaw Minneapolis, April 14 2015 Log-concave measures/vectors A measure

More information

On the distribution of the ψ 2 -norm of linear functionals on isotropic convex bodies

On the distribution of the ψ 2 -norm of linear functionals on isotropic convex bodies On the distribution of the ψ 2 -norm of linear functionals on isotropic convex bodies Joint work with G. Paouris and P. Valettas Cortona 2011 June 16, 2011 (Cortona 2011) Distribution of the ψ 2 -norm

More information

Concentration Properties of Restricted Measures with Applications to Non-Lipschitz Functions

Concentration Properties of Restricted Measures with Applications to Non-Lipschitz Functions Concentration Properties of Restricted Measures with Applications to Non-Lipschitz Functions S G Bobkov, P Nayar, and P Tetali April 4, 6 Mathematics Subject Classification Primary 6Gxx Keywords and phrases

More information

Dimensional behaviour of entropy and information

Dimensional behaviour of entropy and information Dimensional behaviour of entropy and information Sergey Bobkov and Mokshay Madiman Note: A slightly condensed version of this paper is in press and will appear in the Comptes Rendus de l Académies des

More information

Local semiconvexity of Kantorovich potentials on non-compact manifolds

Local semiconvexity of Kantorovich potentials on non-compact manifolds Local semiconvexity of Kantorovich potentials on non-compact manifolds Alessio Figalli, Nicola Gigli Abstract We prove that any Kantorovich potential for the cost function c = d / on a Riemannian manifold

More information

GAUSSIAN MEASURE OF SECTIONS OF DILATES AND TRANSLATIONS OF CONVEX BODIES. 2π) n

GAUSSIAN 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 information

KLS-TYPE ISOPERIMETRIC BOUNDS FOR LOG-CONCAVE PROBABILITY MEASURES. December, 2014

KLS-TYPE ISOPERIMETRIC BOUNDS FOR LOG-CONCAVE PROBABILITY MEASURES. December, 2014 KLS-TYPE ISOPERIMETRIC BOUNDS FOR LOG-CONCAVE PROBABILITY MEASURES Sergey G. Bobkov and Dario Cordero-Erausquin December, 04 Abstract The paper considers geometric lower bounds on the isoperimetric constant

More information

Super-Gaussian directions of random vectors

Super-Gaussian directions of random vectors Super-Gaussian directions of random vectors Bo az Klartag Abstract We establish the following universality property in high dimensions: Let be a random vector with density in R n. The density function

More information

A note on the convex infimum convolution inequality

A note on the convex infimum convolution inequality A note on the convex infimum convolution inequality Naomi Feldheim, Arnaud Marsiglietti, Piotr Nayar, Jing Wang Abstract We characterize the symmetric measures which satisfy the one dimensional convex

More information

Approximately Gaussian marginals and the hyperplane conjecture

Approximately 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 information

arxiv:math/ v1 [math.fa] 30 Sep 2004

arxiv:math/ v1 [math.fa] 30 Sep 2004 arxiv:math/04000v [math.fa] 30 Sep 2004 Small ball probability and Dvoretzy Theorem B. Klartag, R. Vershynin Abstract Large deviation estimates are by now a standard tool in the Asymptotic Convex Geometry,

More information

PERTURBATION THEORY FOR NONLINEAR DIRICHLET PROBLEMS

PERTURBATION THEORY FOR NONLINEAR DIRICHLET PROBLEMS Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 28, 2003, 207 222 PERTURBATION THEORY FOR NONLINEAR DIRICHLET PROBLEMS Fumi-Yuki Maeda and Takayori Ono Hiroshima Institute of Technology, Miyake,

More information

Estimates for probabilities of independent events and infinite series

Estimates 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 information

Banach Spaces V: A Closer Look at the w- and the w -Topologies

Banach Spaces V: A Closer Look at the w- and the w -Topologies BS V c Gabriel Nagy Banach Spaces V: A Closer Look at the w- and the w -Topologies Notes from the Functional Analysis Course (Fall 07 - Spring 08) In this section we discuss two important, but highly non-trivial,

More information

Geometry of log-concave Ensembles of random matrices

Geometry of log-concave Ensembles of random matrices Geometry of log-concave Ensembles of random matrices Nicole Tomczak-Jaegermann Joint work with Radosław Adamczak, Rafał Latała, Alexander Litvak, Alain Pajor Cortona, June 2011 Nicole Tomczak-Jaegermann

More information

On Z p -norms of random vectors

On Z p -norms of random vectors On Z -norms of random vectors Rafa l Lata la Abstract To any n-dimensional random vector X we may associate its L -centroid body Z X and the corresonding norm. We formulate a conjecture concerning the

More information

Geometry of isotropic convex bodies and the slicing problem

Geometry of isotropic convex bodies and the slicing problem Geometry of isotropic convex bodies and the slicing problem Apostolos Giannopoulos Abstract Lecture notes for the introductory worshop of the program Geometric Functional Analysis and Applications at the

More information

ALEXANDER KOLDOBSKY AND ALAIN PAJOR. Abstract. We prove that there exists an absolute constant C so that µ(k) C p max. ξ S n 1 µ(k ξ ) K 1/n

ALEXANDER KOLDOBSKY AND ALAIN PAJOR. Abstract. We prove that there exists an absolute constant C so that µ(k) C p max. ξ S n 1 µ(k ξ ) K 1/n A REMARK ON MEASURES OF SECTIONS OF L p -BALLS arxiv:1601.02441v1 [math.mg] 11 Jan 2016 ALEXANDER KOLDOBSKY AND ALAIN PAJOR Abstract. We prove that there exists an absolute constant C so that µ(k) C p

More information

Daniel M. Oberlin Department of Mathematics, Florida State University. January 2005

Daniel 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 information

A Banach space with a symmetric basis which is of weak cotype 2 but not of cotype 2

A Banach space with a symmetric basis which is of weak cotype 2 but not of cotype 2 A Banach space with a symmetric basis which is of weak cotype but not of cotype Peter G. Casazza Niels J. Nielsen Abstract We prove that the symmetric convexified Tsirelson space is of weak cotype but

More information

Course 212: Academic Year Section 1: Metric Spaces

Course 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 information

Lecture I: Asymptotics for large GUE random matrices

Lecture I: Asymptotics for large GUE random matrices Lecture I: Asymptotics for large GUE random matrices Steen Thorbjørnsen, University of Aarhus andom Matrices Definition. Let (Ω, F, P) be a probability space and let n be a positive integer. Then a random

More information

Riemann integral and volume are generalized to unbounded functions and sets. is an admissible set, and its volume is a Riemann integral, 1l E,

Riemann integral and volume are generalized to unbounded functions and sets. is an admissible set, and its volume is a Riemann integral, 1l E, Tel Aviv University, 26 Analysis-III 9 9 Improper integral 9a Introduction....................... 9 9b Positive integrands................... 9c Special functions gamma and beta......... 4 9d Change of

More information

Integral Jensen inequality

Integral Jensen inequality Integral Jensen inequality Let us consider a convex set R d, and a convex function f : (, + ]. For any x,..., x n and λ,..., λ n with n λ i =, we have () f( n λ ix i ) n λ if(x i ). For a R d, let δ a

More information

MATH 426, TOPOLOGY. p 1.

MATH 426, TOPOLOGY. p 1. MATH 426, TOPOLOGY THE p-norms In this document we assume an extended real line, where is an element greater than all real numbers; the interval notation [1, ] will be used to mean [1, ) { }. 1. THE p

More information

Lecture 4 Lebesgue spaces and inequalities

Lecture 4 Lebesgue spaces and inequalities Lecture 4: Lebesgue spaces and inequalities 1 of 10 Course: Theory of Probability I Term: Fall 2013 Instructor: Gordan Zitkovic Lecture 4 Lebesgue spaces and inequalities Lebesgue spaces We have seen how

More information

A Bernstein-Chernoff deviation inequality, and geometric properties of random families of operators

A Bernstein-Chernoff deviation inequality, and geometric properties of random families of operators A Bernstein-Chernoff deviation inequality, and geometric properties of random families of operators Shiri Artstein-Avidan, Mathematics Department, Princeton University Abstract: In this paper we first

More information

Star bodies with completely symmetric sections

Star bodies with completely symmetric sections Star bodies with completely symmetric sections Sergii Myroshnychenko, Dmitry Ryabogin, and Christos Saroglou Abstract We say that a star body is completely symmetric if it has centroid at the origin and

More information

On the isotropic constant of marginals

On the isotropic constant of marginals On the isotropic constant of marginals Grigoris Paouris Abstract Let p < and n. We write µ B,p,n for the probability measure in R n with density B n p, where Bp n := {x R n : x p b p,n} and Bp n =. Let

More information

BRUNN MINKOWSKI AND ISOPERIMETRIC INEQUALITY IN THE HEISENBERG GROUP

BRUNN MINKOWSKI AND ISOPERIMETRIC INEQUALITY IN THE HEISENBERG GROUP Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 28, 23, 99 19 BRUNN MINKOWSKI AND ISOPERIMETRIC INEQUALITY IN THE HEISENBERG GROUP Roberto Monti Universität Bern, Mathematisches Institut Sidlerstrasse

More information

Random Bernstein-Markov factors

Random Bernstein-Markov factors Random Bernstein-Markov factors Igor Pritsker and Koushik Ramachandran October 20, 208 Abstract For a polynomial P n of degree n, Bernstein s inequality states that P n n P n for all L p norms on the unit

More information

L p Spaces and Convexity

L p Spaces and Convexity L p Spaces and Convexity These notes largely follow the treatments in Royden, Real Analysis, and Rudin, Real & Complex Analysis. 1. Convex functions Let I R be an interval. For I open, we say a function

More information

On John type ellipsoids

On John type ellipsoids On John type ellipsoids B. Klartag Tel Aviv University Abstract Given an arbitrary convex symmetric body K R n, we construct a natural and non-trivial continuous map u K which associates ellipsoids to

More information

MATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous:

MATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous: MATH 51H Section 4 October 16, 2015 1 Continuity Recall what it means for a function between metric spaces to be continuous: Definition. Let (X, d X ), (Y, d Y ) be metric spaces. A function f : X Y is

More information

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.

More information

Gaussian Measure of Sections of convex bodies

Gaussian 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 information

Probabilistic Methods in Asymptotic Geometric Analysis.

Probabilistic Methods in Asymptotic Geometric Analysis. Probabilistic Methods in Asymptotic Geometric Analysis. C. Hugo Jiménez PUC-RIO, Brazil September 21st, 2016. Colmea. RJ 1 Origin 2 Normed Spaces 3 Distribution of volume of high dimensional convex bodies

More information

PACKING-DIMENSION PROFILES AND FRACTIONAL BROWNIAN MOTION

PACKING-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 information

i=1 β i,i.e. = β 1 x β x β 1 1 xβ d

i=1 β i,i.e. = β 1 x β x β 1 1 xβ d 66 2. Every family of seminorms on a vector space containing a norm induces ahausdorff locally convex topology. 3. Given an open subset Ω of R d with the euclidean topology, the space C(Ω) of real valued

More information

THEOREMS, ETC., FOR MATH 515

THEOREMS, 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 information

Packing-Dimension Profiles and Fractional Brownian Motion

Packing-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 information

ON THE REGULARITY OF SAMPLE PATHS OF SUB-ELLIPTIC DIFFUSIONS ON MANIFOLDS

ON 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 information

MATHS 730 FC Lecture Notes March 5, Introduction

MATHS 730 FC Lecture Notes March 5, Introduction 1 INTRODUCTION MATHS 730 FC Lecture Notes March 5, 2014 1 Introduction Definition. If A, B are sets and there exists a bijection A B, they have the same cardinality, which we write as A, #A. If there exists

More information

NOTES ON FRAMES. Damir Bakić University of Zagreb. June 6, 2017

NOTES ON FRAMES. Damir Bakić University of Zagreb. June 6, 2017 NOTES ON FRAMES Damir Bakić University of Zagreb June 6, 017 Contents 1 Unconditional convergence, Riesz bases, and Bessel sequences 1 1.1 Unconditional convergence of series in Banach spaces...............

More information

Pseudo-Poincaré Inequalities and Applications to Sobolev Inequalities

Pseudo-Poincaré Inequalities and Applications to Sobolev Inequalities Pseudo-Poincaré Inequalities and Applications to Sobolev Inequalities Laurent Saloff-Coste Abstract Most smoothing procedures are via averaging. Pseudo-Poincaré inequalities give a basic L p -norm control

More information

Small ball probability and Dvoretzky Theorem

Small ball probability and Dvoretzky Theorem Small ball probability and Dvoretzy Theorem B. Klartag, R. Vershynin Abstract Large deviation estimates are by now a standard tool in Asymptotic Convex Geometry, contrary to small deviation results. In

More information

THE INVERSE FUNCTION THEOREM

THE INVERSE FUNCTION THEOREM THE INVERSE FUNCTION THEOREM W. PATRICK HOOPER The implicit function theorem is the following result: Theorem 1. Let f be a C 1 function from a neighborhood of a point a R n into R n. Suppose A = Df(a)

More information

Estimates for the affine and dual affine quermassintegrals of convex bodies

Estimates for the affine and dual affine quermassintegrals of convex bodies Estimates for the affine and dual affine quermassintegrals of convex bodies Nikos Dafnis and Grigoris Paouris Abstract We provide estimates for suitable normalizations of the affine and dual affine quermassintegrals

More information

Approximately gaussian marginals and the hyperplane conjecture

Approximately gaussian marginals and the hyperplane conjecture Approximately gaussian marginals and the hyperplane conjecture R. Eldan and B. Klartag Abstract We discuss connections between certain well-known open problems related to the uniform measure on a high-dimensional

More information

Another Low-Technology Estimate in Convex Geometry

Another 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 information

KLS-type isoperimetric bounds for log-concave probability measures

KLS-type isoperimetric bounds for log-concave probability measures Annali di Matematica DOI 0.007/s03-05-0483- KLS-type isoperimetric bounds for log-concave probability measures Sergey G. Bobkov Dario Cordero-Erausquin Received: 8 April 04 / Accepted: 4 January 05 Fondazione

More information

Real Analysis Notes. Thomas Goller

Real Analysis Notes. Thomas Goller Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................

More information

LECTURE 15: COMPLETENESS AND CONVEXITY

LECTURE 15: COMPLETENESS AND CONVEXITY LECTURE 15: COMPLETENESS AND CONVEXITY 1. The Hopf-Rinow Theorem Recall that a Riemannian manifold (M, g) is called geodesically complete if the maximal defining interval of any geodesic is R. On the other

More information

1 Directional Derivatives and Differentiability

1 Directional Derivatives and Differentiability Wednesday, January 18, 2012 1 Directional Derivatives and Differentiability Let E R N, let f : E R and let x 0 E. Given a direction v R N, let L be the line through x 0 in the direction v, that is, L :=

More information

Pointwise estimates for marginals of convex bodies

Pointwise estimates for marginals of convex bodies Journal of Functional Analysis 54 8) 75 93 www.elsevier.com/locate/jfa Pointwise estimates for marginals of convex bodies R. Eldan a,1,b.klartag b,, a School of Mathematical Sciences, Tel-Aviv University,

More information

ON A MAXIMAL OPERATOR IN REARRANGEMENT INVARIANT BANACH FUNCTION SPACES ON METRIC SPACES

ON A MAXIMAL OPERATOR IN REARRANGEMENT INVARIANT BANACH FUNCTION SPACES ON METRIC SPACES Vasile Alecsandri University of Bacău Faculty of Sciences Scientific Studies and Research Series Mathematics and Informatics Vol. 27207), No., 49-60 ON A MAXIMAL OPRATOR IN RARRANGMNT INVARIANT BANACH

More information

A remark on the slicing problem

A remark on the slicing problem A remark on the slicing problem A. Giannopoulos, G. Paouris and B-H. Vritsiou Abstract The purpose of this article is to describe a reduction of the slicing problem to the study of the parameter I 1(,

More information

Asymptotic Geometric Analysis, Fall 2006

Asymptotic Geometric Analysis, Fall 2006 Asymptotic Geometric Analysis, Fall 006 Gideon Schechtman January, 007 1 Introduction The course will deal with convex symmetric bodies in R n. In the first few lectures we will formulate and prove Dvoretzky

More information

PROPERTY OF HALF{SPACES. July 25, Abstract

PROPERTY OF HALF{SPACES. July 25, Abstract A CHARACTERIZATION OF GAUSSIAN MEASURES VIA THE ISOPERIMETRIC PROPERTY OF HALF{SPACES S. G. Bobkov y and C. Houdre z July 25, 1995 Abstract If the half{spaces of the form fx 2 R n : x 1 cg are extremal

More information

Invariances in spectral estimates. Paris-Est Marne-la-Vallée, January 2011

Invariances in spectral estimates. Paris-Est Marne-la-Vallée, January 2011 Invariances in spectral estimates Franck Barthe Dario Cordero-Erausquin Paris-Est Marne-la-Vallée, January 2011 Notation Notation Given a probability measure ν on some Euclidean space, the Poincaré constant

More information

A GENERAL THEOREM ON APPROXIMATE MAXIMUM LIKELIHOOD ESTIMATION. Miljenko Huzak University of Zagreb,Croatia

A GENERAL THEOREM ON APPROXIMATE MAXIMUM LIKELIHOOD ESTIMATION. Miljenko Huzak University of Zagreb,Croatia GLASNIK MATEMATIČKI Vol. 36(56)(2001), 139 153 A GENERAL THEOREM ON APPROXIMATE MAXIMUM LIKELIHOOD ESTIMATION Miljenko Huzak University of Zagreb,Croatia Abstract. In this paper a version of the general

More information

Introduction to Bases in Banach Spaces

Introduction to Bases in Banach Spaces Introduction to Bases in Banach Spaces Matt Daws June 5, 2005 Abstract We introduce the notion of Schauder bases in Banach spaces, aiming to be able to give a statement of, and make sense of, the Gowers

More information

1 Cheeger differentiation

1 Cheeger differentiation 1 Cheeger differentiation after J. Cheeger [1] and S. Keith [3] A summary written by John Mackay Abstract We construct a measurable differentiable structure on any metric measure space that is doubling

More information

Rapid Steiner symmetrization of most of a convex body and the slicing problem

Rapid Steiner symmetrization of most of a convex body and the slicing problem Rapid Steiner symmetrization of most of a convex body and the slicing problem B. Klartag, V. Milman School of Mathematical Sciences Tel Aviv University Tel Aviv 69978, Israel Abstract For an arbitrary

More information

On the Intrinsic Differentiability Theorem of Gromov-Schoen

On the Intrinsic Differentiability Theorem of Gromov-Schoen On the Intrinsic Differentiability Theorem of Gromov-Schoen Georgios Daskalopoulos Brown University daskal@math.brown.edu Chikako Mese 2 Johns Hopkins University cmese@math.jhu.edu Abstract In this note,

More information

SYMPLECTIC GEOMETRY: LECTURE 5

SYMPLECTIC GEOMETRY: LECTURE 5 SYMPLECTIC GEOMETRY: LECTURE 5 LIAT KESSLER Let (M, ω) be a connected compact symplectic manifold, T a torus, T M M a Hamiltonian action of T on M, and Φ: M t the assoaciated moment map. Theorem 0.1 (The

More information

ANALYSIS QUALIFYING EXAM FALL 2017: SOLUTIONS. 1 cos(nx) lim. n 2 x 2. g n (x) = 1 cos(nx) n 2 x 2. x 2.

ANALYSIS QUALIFYING EXAM FALL 2017: SOLUTIONS. 1 cos(nx) lim. n 2 x 2. g n (x) = 1 cos(nx) n 2 x 2. x 2. ANALYSIS QUALIFYING EXAM FALL 27: SOLUTIONS Problem. Determine, with justification, the it cos(nx) n 2 x 2 dx. Solution. For an integer n >, define g n : (, ) R by Also define g : (, ) R by g(x) = g n

More information

Empirical Processes and random projections

Empirical Processes and random projections Empirical Processes and random projections B. Klartag, S. Mendelson School of Mathematics, Institute for Advanced Study, Princeton, NJ 08540, USA. Institute of Advanced Studies, The Australian National

More information

Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem

Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem 56 Chapter 7 Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem Recall that C(X) is not a normed linear space when X is not compact. On the other hand we could use semi

More information

MATH MEASURE THEORY AND FOURIER ANALYSIS. Contents

MATH 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 information

On the constant in the reverse Brunn-Minkowski inequality for p-convex balls.

On the constant in the reverse Brunn-Minkowski inequality for p-convex balls. On the constant in the reverse Brunn-Minkowski inequality for p-convex balls. A.E. Litvak Abstract This note is devoted to the study of the dependence on p of the constant in the reverse Brunn-Minkowski

More information

Remarks on Extremization Problems Related To Young s Inequality

Remarks on Extremization Problems Related To Young s Inequality Remarks on Extremization Problems Related To Young s Inequality Michael Christ University of California, Berkeley University of Wisconsin May 18, 2016 Part 1: Introduction Young s convolution inequality

More information

Notes on Distributions

Notes on Distributions Notes on Distributions Functional Analysis 1 Locally Convex Spaces Definition 1. A vector space (over R or C) is said to be a topological vector space (TVS) if it is a Hausdorff topological space and the

More information

Viscosity Iterative Approximating the Common Fixed Points of Non-expansive Semigroups in Banach Spaces

Viscosity Iterative Approximating the Common Fixed Points of Non-expansive Semigroups in Banach Spaces Viscosity Iterative Approximating the Common Fixed Points of Non-expansive Semigroups in Banach Spaces YUAN-HENG WANG Zhejiang Normal University Department of Mathematics Yingbing Road 688, 321004 Jinhua

More information

The Entropy Per Coordinate of a Random Vector is Highly Constrained Under Convexity Conditions Sergey Bobkov and Mokshay Madiman, Member, IEEE

The Entropy Per Coordinate of a Random Vector is Highly Constrained Under Convexity Conditions Sergey Bobkov and Mokshay Madiman, Member, IEEE 4940 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 57, NO. 8, AUGUST 2011 The Entropy Per Coordinate of a Random Vector is Highly Constrained Under Convexity Conditions Sergey Bobkov and Mokshay Madiman,

More information

Continued fractions for complex numbers and values of binary quadratic forms

Continued fractions for complex numbers and values of binary quadratic forms arxiv:110.3754v1 [math.nt] 18 Feb 011 Continued fractions for complex numbers and values of binary quadratic forms S.G. Dani and Arnaldo Nogueira February 1, 011 Abstract We describe various properties

More information

NECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES

NECESSARY 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 information

Arithmetic progressions in sumsets

Arithmetic progressions in sumsets ACTA ARITHMETICA LX.2 (1991) Arithmetic progressions in sumsets by Imre Z. Ruzsa* (Budapest) 1. Introduction. Let A, B [1, N] be sets of integers, A = B = cn. Bourgain [2] proved that A + B always contains

More information

Heat kernels of some Schrödinger operators

Heat kernels of some Schrödinger operators Heat kernels of some Schrödinger operators Alexander Grigor yan Tsinghua University 28 September 2016 Consider an elliptic Schrödinger operator H = Δ + Φ, where Δ = n 2 i=1 is the Laplace operator in R

More information

An example of a convex body without symmetric projections.

An example of a convex body without symmetric projections. An example of a convex body without symmetric projections. E. D. Gluskin A. E. Litvak N. Tomczak-Jaegermann Abstract Many crucial results of the asymptotic theory of symmetric convex bodies were extended

More information

The 123 Theorem and its extensions

The 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 information

SCHWARTZ SPACES ASSOCIATED WITH SOME NON-DIFFERENTIAL CONVOLUTION OPERATORS ON HOMOGENEOUS GROUPS

SCHWARTZ SPACES ASSOCIATED WITH SOME NON-DIFFERENTIAL CONVOLUTION OPERATORS ON HOMOGENEOUS GROUPS C O L L O Q U I U M M A T H E M A T I C U M VOL. LXIII 1992 FASC. 2 SCHWARTZ SPACES ASSOCIATED WITH SOME NON-DIFFERENTIAL CONVOLUTION OPERATORS ON HOMOGENEOUS GROUPS BY JACEK D Z I U B A Ń S K I (WROC

More information

Part V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory

Part V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite

More information

Lecture Notes on Metric Spaces

Lecture Notes on Metric Spaces Lecture Notes on Metric Spaces Math 117: Summer 2007 John Douglas Moore Our goal of these notes is to explain a few facts regarding metric spaces not included in the first few chapters of the text [1],

More information

Finite-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

Finite-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 information

1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),

1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989), Real Analysis 2, Math 651, Spring 2005 April 26, 2005 1 Real Analysis 2, Math 651, Spring 2005 Krzysztof Chris Ciesielski 1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer

More information

A glimpse into convex geometry. A glimpse into convex geometry

A glimpse into convex geometry. A glimpse into convex geometry A glimpse into convex geometry 5 \ þ ÏŒÆ Two basis reference: 1. Keith Ball, An elementary introduction to modern convex geometry 2. Chuanming Zong, What is known about unit cubes Convex geometry lies

More information

ITERATED FUNCTION SYSTEMS WITH CONTINUOUS PLACE DEPENDENT PROBABILITIES

ITERATED FUNCTION SYSTEMS WITH CONTINUOUS PLACE DEPENDENT PROBABILITIES UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA, FASCICULUS XL 2002 ITERATED FUNCTION SYSTEMS WITH CONTINUOUS PLACE DEPENDENT PROBABILITIES by Joanna Jaroszewska Abstract. We study the asymptotic behaviour

More information

We denote the space of distributions on Ω by D ( Ω) 2.

We denote the space of distributions on Ω by D ( Ω) 2. Sep. 1 0, 008 Distributions Distributions are generalized functions. Some familiarity with the theory of distributions helps understanding of various function spaces which play important roles in the study

More information

Notions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy

Notions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy Banach Spaces These notes provide an introduction to Banach spaces, which are complete normed vector spaces. For the purposes of these notes, all vector spaces are assumed to be over the real numbers.

More information

PROBLEMS. (b) (Polarization Identity) Show that in any inner product space

PROBLEMS. (b) (Polarization Identity) Show that in any inner product space 1 Professor Carl Cowen Math 54600 Fall 09 PROBLEMS 1. (Geometry in Inner Product Spaces) (a) (Parallelogram Law) Show that in any inner product space x + y 2 + x y 2 = 2( x 2 + y 2 ). (b) (Polarization

More information

3 Integration and Expectation

3 Integration and Expectation 3 Integration and Expectation 3.1 Construction of the Lebesgue Integral Let (, F, µ) be a measure space (not necessarily a probability space). Our objective will be to define the Lebesgue integral R fdµ

More information

Covering an ellipsoid with equal balls

Covering 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 information

Zeros of Polynomials on Banach spaces: The Real Story

Zeros of Polynomials on Banach spaces: The Real Story 1 Zeros of Polynomials on Banach spaces: The Real Story R. M. Aron 1, C. Boyd 2, R. A. Ryan 3, I. Zalduendo 4 January 12, 2004 Abstract Let E be a real Banach space. We show that either E admits a positive

More information

Poincaré Inequalities and Moment Maps

Poincaré Inequalities and Moment Maps Tel-Aviv University Analysis Seminar at the Technion, Haifa, March 2012 Poincaré-type inequalities Poincaré-type inequalities (in this lecture): Bounds for the variance of a function in terms of the gradient.

More information