LARGE DEVIATIONS OF TYPICAL LINEAR FUNCTIONALS ON A CONVEX BODY WITH UNCONDITIONAL BASIS. S. G. Bobkov and F. L. Nazarov. September 25, 2011
|
|
- Alberta Bryan
- 5 years ago
- Views:
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 S.G. Bobkov School of Mathematics, University of Minnesota, 127 Vincent Hall, 26 Church St. S.E., Minneapolis, MN 55455,
More informationLarge 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 informationOn 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 informationHigh-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 informationConvex 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 informationWeak 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 informationOn 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 informationConcentration 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 informationDimensional 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 informationLocal 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 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 informationKLS-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 informationSuper-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 informationA 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 informationApproximately Gaussian marginals and the hyperplane conjecture
Approximately Gaussian marginals and the hyperplane conjecture Tel-Aviv University Conference on Asymptotic Geometric Analysis, Euler Institute, St. Petersburg, July 2010 Lecture based on a joint work
More informationarxiv: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 informationPERTURBATION 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 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 informationBanach 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 informationGeometry 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 informationOn 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 informationGeometry 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 informationALEXANDER 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 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 informationA 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 informationCourse 212: Academic Year Section 1: Metric Spaces
Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........
More informationLecture 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 informationRiemann 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 informationIntegral 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 informationMATH 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 informationLecture 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 informationA 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 informationStar 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 informationOn 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 informationBRUNN 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 informationRandom 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 informationL 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 informationOn 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 informationMATH 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 informationReal 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 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 informationProbabilistic 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 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 informationi=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 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 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 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 informationMATHS 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 informationNOTES 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 informationPseudo-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 informationSmall 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 informationTHE 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 informationEstimates 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 informationApproximately 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 informationAnother Low-Technology Estimate in Convex Geometry
Convex Geometric Analysis MSRI Publications Volume 34, 1998 Another Low-Technology Estimate in Convex Geometry GREG KUPERBERG Abstract. We give a short argument that for some C > 0, every n- dimensional
More informationKLS-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 informationReal 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 informationLECTURE 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 information1 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 informationPointwise 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 informationON 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 informationA 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 informationAsymptotic 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 informationPROPERTY 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 informationInvariances 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 informationA 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 informationIntroduction 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 information1 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 informationRapid 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 informationOn 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 informationSYMPLECTIC 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 informationANALYSIS 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 informationEmpirical 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 informationLocally 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 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 informationOn 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 informationRemarks 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 informationNotes 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 informationViscosity 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 informationThe 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 informationContinued 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 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 informationArithmetic 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 informationHeat 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 informationAn 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 informationThe 123 Theorem and its extensions
The 123 Theorem and its extensions Noga Alon and Raphael Yuster Department of Mathematics Raymond and Beverly Sackler Faculty of Exact Sciences Tel Aviv University, Tel Aviv, Israel Abstract It is shown
More informationSCHWARTZ 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 informationPart 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 informationLecture 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 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 information1/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 informationA 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 informationITERATED 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 informationWe 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 informationNotions 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 informationPROBLEMS. (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 information3 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 informationCovering an ellipsoid with equal balls
Journal of Combinatorial Theory, Series A 113 (2006) 1667 1676 www.elsevier.com/locate/jcta Covering an ellipsoid with equal balls Ilya Dumer College of Engineering, University of California, Riverside,
More informationZeros 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 informationPoincaré 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