Hoeffding证明

来源:互联网 发布:c语言成员变量 编辑:程序博客网 时间:2024/05/17 02:31

Hoeffdinng 不等式证明


不等式的证明摘录自维基百科,其中加入自己不理解部分的证明。

Hoeffding不等式内容:

  设Sn=ni=1Xi是独立随机变量X1,X2,...,Xn之和,Xi[ai,bi],则对任意t>0,以下不等式成立:

P(SnESnt)exp(2t2ni=1(biai)2)
P(ESnSnt)exp(2t2ni=1(biai)2)

证明:

Step One:

  • 引入马尔科夫(Markov)不等式:
    P(Xε)EXεε>0
  • 马尔科夫不等式证明:
    P(Xε)=Xεp(x)dxXεxεp(x)dx=1εXεxp(x)dx1ε+xp(x)dx=EXε

Step Two:

  • 引入Hoeffding引理(Hoeffding’s Lemma):
      对于随机变量X,满足条件aXbEX=0,则对于λR
    E[eλX]exp(λ2(ba)28)
  • Hoeffding引理证明:
    因为eλx是一个下凸函数,根据其性质:
    f(ρx1+(1ρ)x2)ρf(x1)+(1ρ)f(x2)0ρ1
    x1=b,x2=a,ρ=xaba,则有:
    eλ(xabab+bxbaa)xabaeλb+bxbaeλaeλ(xaba(ba)+a)xabaeλb+bxbaeλa

    eλxxabaeλb+bxbaeλa
    因为EX=0,所以若a,b中存在一个为0P(X=0)=1,若a,b均非0,则a0,b0。对两边求期望:
    E[eλX]bEXbaeλa+EXabaeλb=bbaeλa+abaeλb=(aba)eλa(ba+eλbλa)=(aba)eλa(ba+aa+e(ba))=(aba)eλa(baa1+e(ba))=(1θ+θeλ(ba))eλθ(ba)θ=aba>0
    μ=λ(ba)
    {φ:RRφ(u)=θμ+log(1θ+θeu)
    φ(u)即是对上式中取对数。因为:
    (1θ+θeu)=θ(1θ1+eu)=θ(ba+eu)>0θ>0,ba>0
    所以φ(u)是有意义的,由定义可知E(eλX)eλ(u)
    根据泰勒中值定理:
    φ(u)=φ(0)+uφ(0)+12u2φ′′(v)
    计算可知:
    φ(0)φ(0)φ′′(v)=0=θ+θeu1θ+θeuu=0=0=θev(1θ+θev)θ2e2v(1θ+θev)2=θev1θ+θev(1θev1θ+θev)=t(1t)14t=θev1θ+θev>0
    所以φ(u)0+u0+12u214=18λ2(ba)2
    E[eλX]exp(λ2(ba)28)

Step Three:

P(SnESnt)=P(eλ(SnESn)eλt)eλtE[eλ(SnESn)]=eλti=1nE[eλ(XiEXi)]eλti=1neλ2(biai)28=exp(λt+18λ2i=1n(biai)2)
定义关于λ的函数g(λ):
{g:R+Rg(λ)=λt+λ28ni=1(biai)2
g(λ)=0得到λ=4tni=1(biai)2
代入上式可得:
P(SnESnt)exp(2t2ni=1(biai)2)

原创粉丝点击