Stein引理:假设 X X X是均值为 μ \mu μ,方差 σ 2 \sigma^2 σ2的高斯随机变量(Gaussian random variable)。进一步假设映射 g g g存在期望 E [ g ( X ) ( X − μ ) ] \mathbb{E}[g(X)(X-\mu)] E[g(X)(X−μ)]和 E [ g ′ ( X ) ] \mathbb{E}[g'(X)] E[g′(X)],则有
E [ g ( X ) ( X − μ ) ] = σ 2 E [ g ′ ( X ) ] \mathbb{E}[g(X)(X-\mu)]=\sigma^2\mathbb{E}[g'(X)] E[g(X)(X−μ)]=σ2E[g′(X)]一般说,假设 X X X和 Y Y Y是联合高斯的,则
Cov ( g ( X ) , Y ) = Cov ( X , Y ) E ( g ′ ( X ) ) \text{Cov}(g(X),Y)=\text{Cov}(X,Y)\mathbb{E}(g'(X)) Cov(g(X),Y)=Cov(X,Y)E(g′(X))
证:
E [ g ′ ( X ) ] = ∫ − ∞ + ∞ ∂ g ( x ) ∂ x N ( x ∣ μ , σ 2 ) d x = ( a ) [ g ( x ) N ( x ∣ μ , σ 2 ) ] ∣ − ∞ + ∞ − ∫ − ∞ + ∞ g ( x ) ∂ N ( x ∣ μ , σ 2 ) ∂ x d x = ∫ − ∞ + ∞ ( x − μ ) σ 2 g ( x ) N ( x ∣ μ , σ 2 ) d x = 1 σ 2 E [ g ( X ) ( X − μ ) ] \mathbb{E}[g'(X)]=\int_{-\infty}^{+\infty} \frac{\partial g(x)}{\partial x} \mathcal{N}(x|\mu,\sigma^2)\text{d}x\\ \qquad \qquad \qquad \qquad \qquad \qquad \qquad \ \ \overset{(a)}{=}\left.{\left[{g(x)\mathcal{N}(x|\mu,\sigma^2)}\right]}\right|_{-\infty}^{+\infty}-\int_{-\infty}^{+\infty}g(x)\frac{\partial \mathcal{N}(x|\mu,\sigma^2)}{\partial x}\text{d}x\\ \qquad \qquad \qquad \ \ \ =\int_{-\infty}^{+\infty}\frac{(x-\mu)}{\sigma^2}g(x)\mathcal{N}(x|\mu,\sigma^2)\text{d}x\\ \quad =\frac{1}{\sigma^2}\mathbb{E}[g(X)(X-\mu)] E[g′(X)]=∫−∞+∞​∂x∂g(x)​N(x∣μ,σ2)dx  =(a)[g(x)N(x∣μ,σ2)]∣∣​−∞+∞​−∫−∞+∞​g(x)∂x∂N(x∣μ,σ2)​dx   =∫−∞+∞​σ2(x−μ)​g(x)N(x∣μ,σ2)dx=σ21​E[g(X)(X−μ)]其中,步骤 ( a ) (a) (a)成立根据分部积分公式 ∫ u ( x ) v ′ ( x ) d x = u ( x ) v ( x ) ∣ x = − ∞ + ∞ − ∫ u ′ ( x ) v ( x ) d x \int u(x)v'(x)\text{d}x=u(x)v(x)|_{x=-\infty}^{+\infty}-\int u'(x)v(x)\text{d}x ∫u(x)v′(x)dx=u(x)v(x)∣x=−∞+∞​−∫u′(x)v(x)dx。

Stein引理(Stein's lemma)相关推荐

  1. 矩阵行列式引理 Matrix Determinant Lemma

    在看论文时有用到矩阵行列式引理,搜了一下感觉很有趣,记录在这里. wiki:https://en.wikipedia.org/wiki/Matrix_determinant_lemma 数学描述:AA ...

  2. PaperNotes(8)-Stein Variational Gradient Descent A General Purpose Bayesian Inference Algorithm

    通用贝叶斯推理算法-Stein Variational Gradient Descent Abstract 1 Introduction 2 Background 3 Variational Infe ...

  3. 格密码学重要概念: 分叉引理Forking lemma

    简介:开始是用来证明盲签名的不可伪造性,后面被用来证明通用签名的不可伪造性. 1 为什么使用分叉引理? 证明数字签名方案的安全性常用的一种模型是随机预言模型ROM.在随机预言模型中,数字签名方案使用的 ...

  4. 模逆(5.Stein算法)

    一.Stein算法 Stein算法是一种计算两个数最大公约数的算法,是针对欧几里德算法在对大整数进行运算时,需要试商导致增加运算时间的缺陷而提出的改进算法. 1.1 Stein算法 Stein算法是基 ...

  5. 求最大公约数和最小公倍数——辗转相除法(欧几里得算法)、更相减损术、stein算法

    辗转相除法-- 辗转相除法求最大公约数的原理: 两个整数其中较小的数 和 两数相除(较大数除较小数)的余数(使用递归)的最大公约数. 辗转相除法求最小公倍数的原理: 两个整数分别除以最大公约数的结果相 ...

  6. 使用devstack在单机上安装openstack(stein版本)和zun的踩坑之路

    需求 公司已有环境是openstack分布式版本,调试有些麻烦,因此想在单机上安装openstack,即devstack,并安装组件zun及zun-ui,以便对zun组件进行调试开发 环境版本 ope ...

  7. IndProp章节中pumping lemma的证明

    在software foundations–Logic foudations–IndProp中,有一个证明pumping lemma的练习,本文介绍了一种证明方法. 辅助引理 为了证明pumping ...

  8. 蓝桥杯 结果填空 正六面体染色 Burnside引理

    正六面体用4种颜色染色. 共有多少种不同的染色样式? 要考虑六面体可以任意旋转.翻转. 参考答案: 240 可以想象,这道题如果编程的话,代码不会很少,关键是也没啥思路,其实组合数学早就给我们提供了数 ...

  9. 二阶齐次线性微分方程的通解可以表示成两个线性无关解的线性组合

    tex源代码如下: 1 \documentclass[a4paper, 12pt]{article} 2 \usepackage{amsmath,amsfonts,bm} 3 \usepackage{ ...

最新文章

  1. Tensorflow分批量读取tfrecords
  2. 直播回顾丨拆解 LTV:增长焦虑,企业如何诊断黄金流量?
  3. Spring EL hello world实例
  4. 使用场景_天然气重卡使用痛点及应用场景研究
  5. Spring Boot : Spring boot 的 AutoConfigurationImportSelector 自动配置原理
  6. java雪崩_【并发编程】java 如何解决redis缓存穿透、缓存雪崩(高性能示例代码)...
  7. 计算机会计系统审计的内容包括什么,会计电算化系统审计.docx
  8. numpy 转置_Python中Numpy.transpose()
  9. JS替换textarea里的回车换行
  10. iOS宏和__attribute__
  11. 【系统架构】类图怎么画
  12. jacob调用word宏
  13. XlsxWriter的使用
  14. onlyoffice5.4.2删除字体和添加字体
  15. 2018 Google 开发者大会.md
  16. 如何使用 Xcode8 进行开发调试
  17. camunda数据库表结构介绍
  18. 服务器无法取消指令方块显示,我的世界服务器如何关掉命令方块的提示(如图)...
  19. java 文本框排版_怎么用java代码实现将文本框输入的内容按照设计的排版格式
  20. C++ MFC 导出ListControl数据到Excel

热门文章

  1. Windows 10 on ARM, version 21H2 (released Nov 2021) ARM64 简体中文版、英文版(企业版)下载
  2. Java线程生命周期与状态切换
  3. inno setup 卸载注册表_inno setup 修改卸载文件名称
  4. myQNX account试用申请流程(license申请)
  5. jLBJwOvvyU
  6. CoAP协议学习笔记——CoAP格式详解
  7. 第四回:产品创新性思维方法论
  8. 宫崎骏最新动画——哈尔的移动城堡
  9. 手机植入木马可以监视你的一举一动,黑客是怎样入侵别人手机的?
  10. 微软的苹果香味——专访微软MacBU组成员