arxiv: v2 [math.pr] 2 Nov 2015

Transcription

1 Weak and srong momens of l r -norms of log-concave vecors arxv: v2 [mah.pr] 2 Nov 2015 Rafa l Laa la and Mara Srzelecka revsed verson Absrac We show ha for 1 and r 1 he -h momen of he l r -norm of a logconcave random vecor s comarable o he sum of he frs momen and he weak -h momen u o a consan rooronal o r. Ths exends he revous resul of Paours concernng Eucldean norms. 1 Inroducon and Man Resuls A measure µ on a locally convex lnear sace F s called logarhmcally concave logconcave n shor f for any comac nonemy ses K,L F and λ [0,1], µλk + 1 λl µk λ µl 1 λ. A random vecor wh values n F s called log-concave f s dsrbuon s logarhmcally concave. The class of log-concave measures s closed under lnear ransformaons, convoluons and weak lms. By he resul of Borell [3] a d-dmensonal vecor wh a full dmensonal suor s log-concave ff has a log-concave densy,.e. a densy of he form e h, wherehs a convex funcon wh values n, ]. A ycal examle of a log-concave vecor s a vecor unformly dsrbued over a convex body. Varous resuls and conjecures abou log-concave measures are dscussed n he recenly ublshed monograh [4]. One of he fundamenal roeres of log-concave vecors s he Paours nequaly [9] see also [1] for a shorer roof. I saes ha for a log-concave vecor X n R n, E X 2 1/ C 1 E X 2 2 1/2 +σ X for 1, 1 where n 1/ σ X := su E X. 2 1 Here and n he sequel by C 1,C 2,... we denoe absolue consans. I s naural o ask wheher nequaly 1 may be generalzed o non-eucldean norms. In [6] he followng conjecure was formulaed and dscussed. Research suored by he NCN gran DEC-2012/05/B/ST1/

2 Conjecure 1. There exss a unversal consan C such ha for any log-concave vecor X wh values n a fne dmensonal normed sace F,, E X 1/ C E X + su E ϕx 1/ for 1. ϕ F, ϕ 1 Our man resul saes ha he conjecure holds for saces ha may be embedded n l r for some r 1. Theorem 2. Le X be a log-concave vecor wh values n a normed sace F, whch may be somercally embedded n l r for some r [1,. Then for 1, E X 1/ C 2 r E X + su E ϕx 1/. ϕ F, ϕ 1 Remark 3. Le X and F be as above. Then by Chebyshev s nequaly we oban large devaon esmae for X : P X 2eC 2 re X ex σ 1 X,F E X for 1, where σ X,F := denoes he weak -h momen of X. su EϕX 1/ for 1 ϕ F, ϕ 1 Remark 4. If : F l r s a nonsomerc embeddngand λ = F lr 1 F F, hen we may defneanoher norm onf by x := x / F lr. ObvouslyF, somercally embeds n l r, moreover x x λ x for x F. Hence Theorem 2 gves E X 1/ λe X 1/ C 2 rλ C 2 rλ E X + su ϕ F, ϕ 1 E X + su E ϕx 1/ ϕ F, ϕ 1 E ϕx 1/. Snce log-concavy s reserved under lnear ransformaons and, by he Hahn-Banach heorem, any lnear funconal on a subsace of l r s a resrcon of a funconal on he whole l r wh he same norm, s enough o rove Theorem 2 for F = l r. An easy aroxmaon argumen shows ha we may consder fne dmensonal saces l n r. To smlfy he noaon for an n-dmensonal vecor X and 1 we wre σ r,x := su r 1 n 1/ E X, where r denoes he Hölder s dual of r,.e. r = r r 1 for r > 1 and r = for r = 1. 2

3 Theorem 5. Le X be a fne dmensonal log-concave vecor and r [1,. Then E X r 1/ C 2 re X r +σ r,x for 1. To show he above heorem we follow he aroach from [7] and esablsh he followng resul. Theorem 6. Suose ha r [1, and X s a log-concave n-dmensonal random vecor. Le n 1/r d := EX 2 1/2, d := d r. 2 Then for r, E n /r d X r 1 { X d } C 3 rσ r,x for C 4 rlog. 3 σ r,x Remark 7. Any fne dmensonal sace embeds somercally n l, so o show Conjecure 1 s enough o esablsh Theorem 2 wh a unversal consan n lace of C 2 r for r =. Such a resul was shown for soroc log-concave vecors.e. log-concave vecors wh mean zero and deny covarance marx, cf. [8, Corollary 3.8]. However a lnear mage of an soroc vecor does no have o be soroc, so o esablsh he conjecure we need o consder eher soroc vecors and an arbrary norm or vecors wh a general covarance srucure and he sandard l -norm. 2 Proofs Le us frs dscuss he noaon. By C we denoe unversal consans, he value of C may dffer a each occurrence. Whenever we wan o fx he value of an absolue consan we use leers C 1,C 2,... We may always assume ha C 1. By I we denoe he cardnaly of a se I. For an n-dmensonal random vecor Z and a R n we wre az for he vecor a Z. Observe ha E az 2 2 = a2 EZ2. Le us recall some useful facs abou log-concave vecors for deals see [7]. If Z s log-concave real random varable hen P Z ex 2 2eEZ 2 1/2 for 0. Moreover, f f : R n R s a semnorm, EfZ 1/ C 5 q EfZq 1/q for q 1 see [4, Theorem 2.4.6]. Therefore for any log-concave vecor X and any r, σ r,x λ C 5 λσ r,x for λ 1, 2. 3

4 The Paours nequaly 1 ogeher wh Chebyshev s nequaly mly P X 2 ec 1 E X 2 2 1/2 +σ X e for 1. 4 The nex rooson generalzes Prooson 4 from [7]. Prooson 8. Le X, r, d, and d be as n Theorem 6 and A := {X K}, where K s a convex se n R n sasfyng 0 < PA 1/e. Then for every r, n for every > 0, u 1, E X r 1 A {X d } C6 r r PA r σr,x r logpa+dr e /C 7. 5 n 2 kr d r 1 {PA {X 2 k d } e u PA} k=0 Proof. Le Y be a random vecor defned by PY B = C 8u r σ r r r,x logpa+d r 1 {uc9 }. 6 PA {X B} PA = PX B K, PX K.e. Y s dsrbued as X condoned on A. Clearly, for every measurable se B one has PX B PAPY B. I s easy o see ha Y s log-concave. To smlfy he noaon se Le A := logpa and c := EY 2 1/2, = 1,...,n. I = Iv := { n: EY 2 v 2 d 2 }, where v s an absolue consan o be chosen laer. Le us also fx a sequence a n. Pu S = a c 1 Y 2. Observe ha S = a /c 1/2 Y 2 2, hence by he logconcavy of Y, ES 2 2C 5 4 ES 2, and he Paley-Zygmund nequaly yelds P a c 1 Y 2 1 a c = P S 12 2 ES 1 ES ES C 5 4. We have EY 4 2C 5 c 4, so by Chebyshev s nequaly we ge P a c 3 Y 4 2C 5 4 s a c 1 s for s >

5 Combnng 7 and 8 we conclude ha here exs consans C 10,C 11 such ha P a c 1 Y 2 1 a c, a c 3 Y 4 C 10 a c 1 2 C 11 and herefore P a c 1 X 2 1 a c, a c 3 X 4 C 10 a c 2 Then Le X be he vecor a 1/2 c 1/2 X condoned on he se { } B := a c 3 X 4 C 10 a c. P X a c 2 1 C 11 PA e C 12 A. 1 PB e C 12 A e C 12 A. 9 The random vecor X s log-concave and PB 1/2 f v s suffcenly large snce EX 4 Cd 4 Cv 4 c 4 for I. Thus E X 2 2 = 1 PB E a c 1 X 2 1 B 2 E a c 1 d 2 2v 2 a c. 10 Now we wll esmae σ X. To hs end fx R I wh 2 1. Le α,s > 0 be numbers o be chosen laer and We have X J α J α := { I: a c 1/2 α}. PB 1/ a c 1/2 a X J α 2ασ 1,aX. Moreover X 1 { X s a c 1/2 } s a c 1/2 s 2 / J α a c 1/2 s 2 s α α. / J α / J α Observe ha by he defnon of he se B and he vecor X we have a c 1 X4 C 10 a c. 5

6 Thus 1/2 X 1 { X >s a c 1/2 } X 2 1 / J α { X >s a c 1/2 } / Jα 1/2 1 1/2 a c 1 X4 s 1 C 10 a c. s Combnng he above esmaes we oban 1/2 X 2ασ 1,aX + s α + 1 C 10 a c. s Takng he suremum over and omzng over α > 0 we ge 1/2 σ X 4sσ 1,aX 1/2 + 1 C 10 a c s for s > Paours nequaly 4 aled o X nsead of X ogeher wh 10 and 11 mles ha 1/2 1/2 P X 2 ec 1 2 v 2 a c +4sσ 1,aX C 12 A 1/2 + 1 C 10 a c s Comarng he above wh 9 we ge 1/2 1/2 ec 1 2 v 2 a c +4sσ 1,aX C 12 A 1/2 + 1 C 10 a c s If we choose s and v o be suffcenly large absolue consans we wll ge a EY 2 1/2 = a c Cσ 1,aX C 12 A Cσ 1,aX A. 1 2 < e C 12 A 1/2 a c. 6

7 Pu a := E Y 2 r 1/2 1. If 1, hen a r 1/r a r. Thus he revous nequaly mles 1/r E Y 2 r/2 Cσ1,aX A C a r σ r,x A = C E Y 2 r/2 σ r,x A. Ths gves E Y 2 r/2 C r σr,x r A. Snce Y r max{1,c 5 r/2} Y 2 we also ge E Y r Cr r σr,x r A. To rove 5 noe ha f / I, hen P Y sd 2e s/c for s 0, hence for r, E Y r 1 {Y d } Cd r e /C and E Y r 1 {Y } Cd r e /C. / I Hence 1 PA n E X r 1 A {X d } = n E Y r 1 {Y d } C r r r σ r r,x logpa+d r e /C. To show 6 noe frs ha for every he random varable Y s log-concave, hence for s 0, PA {X s} s = PY s ex 2. PA 2e Y 2 Thus, f PA {X 2 k d } e u PA and u 1, hen Y 2 2 k d /2eu k d /6eu. In arcular hs canno haen f / I, k 0 and u /C 9 wh C 9 large 7

8 enough. Therefore n 2 kr d r 1 {PA {X 2 k d } e u PA} k=0 +1 {uc9 } / I +1 {uc9 } / I Cur r d r k=0 d r 2 kr 1 {EY 2 1/2 2 k d /6eu} Cu r d r EY 2 r/2 EY 2 r/2 +1 {uc9 } / I Cur σ r r r,x logpa+d r 1 {uc9 }. We wll also use he followng smle combnaoral lemma Lemma 11 n [5]. Lemma 9. Le l 0 l 1... l s be a fxed sequence of osve negers and Then F := {f: {1,2,...,l 0 } {0,1,2,...,s}: 1s {r: fr } l }. F s el 1 Proof of Theorem 6. Observe ha we may assume ha C 4 r. Indeed, f eσ r,x d hen by our assumon C 4 r. If eσ r,x > d hen n /r 1/ E X r 1 { X d } l l. n 1/r n /r C 4 r d r + E X r 1 { X max{,c 4 r}d } n /r ec 4 rσ r,x + E X r 1 { X max{,c 4 r}d } Moreover, hevecor X salsolog-concave, hashesamevaluesofd andσ r, X = σ r,x. Hence s enough o show ha n /r { } d E X r 1 {X d } Crσ r,x for C 4 rmax 1,log. σ r,x 8 d r 1/. 1/

9 Observe ha for l = 1,2,..., n l n E X r 1 {X d } E 2 k+1r d r 1 {X 2 k d } where Defne a osve neger l by k=0 = 2 rl n 1,..., l =1k 1,...,k l =0 l 2 k k l r d r 1...d r l PB 1,k 1..., l,k l, B 1,k 1..., l,k l := {X 1 2 k 1 d 1,...,X l 2 k l d l }. r < l 2 r and l = 2 M for some osve neger M. Then σ r,x σ r,x rl σ r,x 2 2C 5 σ r,x. Snce for any nonnegave r.v. Z we have EZ /r r/ EZ l 1/l, s enough o show ha where Crσr,X rl ml ml := k 1,...,k l =0 1,..., l =1 for C 4 rl rmax{ 1,log n d σ r,x rl 2 k k l r d r 1...d r l PB 1,k 1,..., l,k l. We dvde he sum n ml no several ars. Defne ses { I 0 := 1,k 1,..., l,k l : PB 1,k 1,..., l,k l > e rl}, and for j = 1,2,..., I j := Then ml = j 0 m jl, where { } 1,k 1,..., l,k l : PB 1,k 1,..., l,k l e rl2j,e rl2j 1 ]. m j l := To esmae m 0 l defne for 1 s l, 1,k 1,..., l,k l I j 2 k1+...+klr d r 1...d r l PB 1,k 1..., l,k l. P s I 0 := { 1,k 1,..., s,k s : 1,k 1,..., l,k l I 0 for some s+1,...,k l }. We have snce s assumed o be large PB 1,k 1,..., s,k s PB 1,k 1 ex2 2 k 1 1 /e e 1. }, 12 9

10 Thus for s = 1,...,l 1, 2 k1+...+ks+1r d r 1...d r s+1 PB 1,k 1,..., s+1,k s+1 1,k 1,..., s+1,k s+1 P s+1 I 0 2 k1+...+ksr d r 1 d r s F 1,k 1,..., s,k s, 1,k 1,..., s,k s P si 0 where F 1,k 1,..., s,k s := n k=0 n E2 r X r 1 B1,k 1,...,s,ks {X d } 2 r C r 6PB 1,k 1,..., s,k s 2 kr d r PB 1,k 1,..., s,k s {X 2 k d } r r σr,x logpb r 1,k 1,..., s,k s +d r e /C 7, where he las nequaly follows by 5. Noe ha for 1,k 1,..., s,k s P s I 0 we have PB 1,k 1,..., s,k s > e rl. Moreover, by our assumons on f C 4 s suffcenly large wh resec o C 7, d r e /C 7 r e /2C 7 d r e /2C 7 r r σ r r,xrl. Therefore 1,k 1,..., s+1,k s+1 P s+1 I 0 2 k1+...+ks+1r d r 1...d r s+1 PB 1,k 1,..., s+1,k s+1 By nducon we ge 4 r C 6 rσ r,x rl r m 0 l = 1,k 1,..., s,k s P si 0 2 k1+...+ksr d r 1...d r s PB 1,k 1,..., s,k s. 2 k1+...+klr d r 1 d r l PB 1,k 1,..., l,k l 1,k 1,..., l,k l I 0 4C6 rσ r,x rl rl 1 2 k1r d r 1 PB 1,k 1. 1,k 1 P 1 I 0 We have 2 k1r d r 1 PB 1,k 1 1,k 1 P 1 I 0 n d r 1 2 k1r e 2 2k 1 1 /e 1 =1 k 1 =0 n d r 1 2e 2 /2e Crσr,X rl r, 1 =1 10

11 where he las wo nequales follow from he assumons on. Thus Crσr,X rl rl m 0 l. Now we esmae m j l for j > 0. Fx j > 0 and defne a osve neger ρ 1 by r2 ρ 1 1 < C 9 r2 ρ 1. For all 1,k 1,..., l,k l I j defne a funcon f 1,k 1,..., l,k l : {1,...,l} {0,1,...} by PB 0 f 1,k 1,...,s,ks PB f 1,k 1,..., l,k l s := 1,k 1,..., s 1,k s 1 > e r, ρ f e r2ρ < PB 1,k 1,...,s,ks PB 1,k 1,..., s 1,k s 1 e r2ρ 1, ρ 1. Noe ha for every 1,k 1,..., l,k l I j one has 1 = PB PB 1,k 1 PB 1,k 1, 2,k 2... PB 1,k 1,..., l,k l > ex rl2 j. Denoe F j := {f 1,k 1,..., l,k l : 1,k 1,..., l,k l I j }. Then for f = f 1,k 1,..., l,k l F j and ρ 1 one has ex r2 j l < PB 1,k 1,..., l,k l = Hence for every ρ 1 one has l s=1 PB 1,k 1,..., s,k s PB 1,k 1,..., s 1,k s 1 ex r2 ρ 1 {s: fs ρ}. {s: fs ρ} mn{2 j+1 ρ l,l} =: l ρ. 13 In arcular f akes values n {0,1,...,j log 2 l}. Clearly, ρ 1 l ρ = j + 2l and l ρ 1 /l ρ 2, so by Lemma 9 F j Now fx f F j and defne and for s l, j+1+log 2 l ρ=1 elρ 1 l ρ lρ e 2j+2l. I j f := { 1,k 1,..., l,k l : f 1,k 1,..., l,k l = f} I j,s f := { 1,k 1,..., s,k s : f 1,k 1,..., l,k l = f for some s+1,k s+1..., l,k l }. 11

12 Recall ha for s 1, PB 1,k 1,..., s,k s e 1. Moreover for s l, σ X logpb 1,k 1,..., s,k s σ X logpb 1,k 1,..., l,k l σ X rl2 j C 5 2 j σ X rl. Hence esmae 6 aled wh u = r2 fs+1 mles for 1 s l 1, 1,k 1,..., s+1,k s+1 I j,s+1 f 2 k k s+1 r d r 1...d r s+1 PB 1,k 1,..., s+1,k s+1 gfs+1 1,k 1,..., s,k s I j,s f 2 k k sr d r 1...d r s PB 1,k 1,..., s,k s, where C 8 C 5 r r r 2 jr σ r,x rl r for ρ = 0, gρ := C 8 C 5 r r r 2 rρ+j σ r,x rl r ex r2 ρ 1 for 1 ρ < ρ 1, C 8 C 5 r r r 2 rρ 2 rj σ r,x rl r +d r ex r2 ρ 1 for ρ ρ 1. Suose ha 1,k 1 I 1 f and f1 = ρ. Then ex r2 ρ PX 1 2 k 1 d 1 ex2 2 k 1 1 /e, hence 2 k 1 er2 ρ+2. W.l.o.g. C 9 > 4e, herefore ρ ρ 1. Moreover, 2 rk 1 4er r 2 rρ r, hence 2 rk 1 d r 1 PB 1,k 1 d r 8er r r 2 rρ ex r2 ρ 1 gρ = gf1, 1,k 1 I j,1 f snce w.l.o.g. C 8 C 5 8e. Thus an easy nducon shows ha m j f := 2 k k l r d r 1...d r l PB 1,k 1,..., l,k l where n ρ := f 1 ρ. Observe ha 1,...,k l I j f l gfs = gρ nρ, s=1 e r2j 1l PB 1,k 1,..., l,k l = l s=1 ρ=0 PB 1,k 1,..., s,k s PB 1,k 1,..., s 1,k s 1 e lr s: fs 1 e r2fs. Therefore r n ρ 2 ρ 1 = r 2 ρ=1 2 fs r 2 l2j 1 1. s: fs 1 12

13 Moreover ρn ρ j +1l + ρ 1 Thus C8 C gρ nρ 5 r2 j σ r,x rl ρ=0 ρ j+2 rl 2 rl2j+4 1+ ρl ρ = 2j +4l. d r m ex σ r,x rl r rl 2 2j 1 1, where m = ρ ρ 1 n ρ l ρ1 2 j+1 ρ 1 l. By he assumon on we have 1+d r /σ r,x rl r 2ex/C 4 exr2 ρ 1 4 f C 4 s large enough wh resec o C 9. Hence We ge ml = j=0 m j l F j ec8 rl C 5 2 3j+4 rσ r,x rl ex rl2 j 3. Crσr,X rl rl C2 5j rl rσ r,x rl m j l + ex rl2 j 3. To fnsh he roof of 12, noe ha j=1 2 5j rl ex rl2 j 3 C rl ex rl2 j 4 C rl. j=1 j=1 Proof of Theorem 5. Snce E X r 1/ C 5 E X r, we may assume ha r. Le d and d be as n Theorem 6. Then Se d = EX 2 1/2 r 2C 5 E X r 2C 5 E X r. := nf{q : σ r,x q d}. Theorem 6 aled wh nsead of and = 0 yelds References E X r 1/ E X r 1/ C 3 rσ r,x = C 3 rmax{d,σ r,x } CrE X r +σ r,x. [1] R. Adamczak, R. Laa la, A. E. Lvak, K. Oleszkewcz, A. Pajor and N. Tomczak- Jaegermann, A shor roof of Paours nequaly, Canad. Mah. Bull ,

14 [2] R. Adamczak, R. Laa la, A. E. Lvak, A. Pajor and N. Tomczak-Jaegermann, Tal esmaes for norms of sums of log-concave random vecors, Proc. London Mah. Soc , [3] C. Borell, Convex measures on locally convex saces, Ark. Mah , [4] S. Brazkos, A. Gannooulos, P. Valeas and B. H. Vrsou, Geomery of soroc convex bodes, Mahemacal Surveys and Monograhs 196, Amercan Mahemacal Socey, Provdence, RI, [5] R. Laa la, Order sascs and concenraon of l r norms for log-concave vecors, J. Func. Anal , [6] R. Laa la, Weak and srong momens of random vecors, n: Marcnkewcz cenenary volume, , Banach Cener Publ. 95, Polsh Acad. Sc. Ins. Mah., Warsaw, [7] R. Laa la, Modfed Paours nequaly, n: Geomerc Asecs of Funconal Analyss, Israel Semnar , , Lecure Noes n Mah. 2116, Srnger, Hedelberg [8] R. Laa la, Sudakov-ye mnoraon for log-concave vecors, Suda Mah , [9] G. Paours, Concenraon of mass on convex bodes, Geom. Func. Anal ,