当前位置: 首页 > news >正文

【差分隐私相关概念】瑞丽差分隐私(RDP)命题10

在这里插入图片描述


命题10证明中的最后一个不等号成立,关键在于将事件 A A A上的积分与Rényi散度 D α ( P ∥ Q ) D_\alpha(P \parallel Q) Dα(PQ)的定义联系起来,并通过积分放缩得到上界。具体推导如下:

  1. Rényi散度的定义
    D α ( P ∥ Q ) = 1 α − 1 log ⁡ ∫ P ( x ) α Q ( x ) 1 − α d x D_\alpha(P \parallel Q) = \frac{1}{\alpha - 1} \log \int P(x)^\alpha Q(x)^{1-\alpha} \, dx Dα(PQ)=α11logP(x)αQ(x)1αdx
    由此可得:
    ∫ P ( x ) α Q ( x ) 1 − α d x = exp ⁡ ( ( α − 1 ) D α ( P ∥ Q ) ) . \int P(x)^\alpha Q(x)^{1-\alpha} \, dx = \exp\left( (\alpha - 1) D_\alpha(P \parallel Q) \right). P(x)αQ(x)1αdx=exp((α1)Dα(PQ)).

  2. 事件 A A A上的积分放缩
    由于事件 A ⊆ R A \subseteq \mathcal{R} AR是支撑集的子集,有:
    ∫ A P ( x ) α Q ( x ) 1 − α d x ≤ ∫ P ( x ) α Q ( x ) 1 − α d x = exp ⁡ ( ( α − 1 ) D α ( P ∥ Q ) ) . \int_A P(x)^\alpha Q(x)^{1-\alpha} \, dx \leq \int P(x)^\alpha Q(x)^{1-\alpha} \, dx = \exp\left( (\alpha - 1) D_\alpha(P \parallel Q) \right). AP(x)αQ(x)1αdxP(x)αQ(x)1αdx=exp((α1)Dα(PQ)).

  3. 代入不等式
    原证明通过赫尔德不等式得到:
    ∫ A P ( x ) d x ≤ ( ∫ A P ( x ) α Q ( x ) 1 − α d x ) 1 α ⋅ Q ( A ) α − 1 α . \int_A P(x) \, dx \leq \left( \int_A P(x)^\alpha Q(x)^{1-\alpha} \, dx \right)^{\frac{1}{\alpha}} \cdot Q(A)^{\frac{\alpha - 1}{\alpha}}. AP(x)dx(AP(x)αQ(x)1αdx)α1Q(A)αα1.
    将步骤2的放缩代入,得到:
    ( ∫ A P ( x ) α Q ( x ) 1 − α d x ) 1 α ≤ exp ⁡ ( D α ( P ∥ Q ) ⋅ α − 1 α ) . \left( \int_A P(x)^\alpha Q(x)^{1-\alpha} \, dx \right)^{\frac{1}{\alpha}} \leq \exp\left( D_\alpha(P \parallel Q) \cdot \frac{\alpha - 1}{\alpha} \right). (AP(x)αQ(x)1αdx)α1exp(Dα(PQ)αα1).

  4. 合并结果
    结合上述,最终不等式为:
    P ( A ) ≤ exp ⁡ ( D α ( P ∥ Q ) ⋅ α − 1 α ) ⋅ Q ( A ) α − 1 α , P(A) \leq \exp\left( D_\alpha(P \parallel Q) \cdot \frac{\alpha - 1}{\alpha} \right) \cdot Q(A)^{\frac{\alpha - 1}{\alpha}}, P(A)exp(Dα(PQ)αα1)Q(A)αα1,
    即:
    P ( A ) ≤ ( exp ⁡ ( D α ( P ∥ Q ) ) ⋅ Q ( A ) ) α − 1 α . P(A) \leq \left( \exp(D_\alpha(P \parallel Q)) \cdot Q(A) \right)^{\frac{\alpha - 1}{\alpha}}. P(A)(exp(Dα(PQ))Q(A))αα1.

结论:最后一个不等号成立的原因是,将事件 A A A上的积分 ∫ A P α Q 1 − α d x \int_A P^\alpha Q^{1-\alpha} \, dx APαQ1αdx替换为更大的全空间积分 ∫ P α Q 1 − α d x \int P^\alpha Q^{1-\alpha} \, dx PαQ1αdx,并通过Rényi散度的定义将其转化为指数形式,从而完成上界推导。

http://www.dtcms.com/a/134725.html

相关文章:

  • 每日算法(双指针算法)(Day 1)
  • docker多架构镜像构建
  • 大模型面经 | 请你介绍一下ReAct(Reasoning and Acting)?
  • FreeRTOS菜鸟入门(五)·空闲任务与阻塞延时的实现
  • 《白龙马购销存》软件分享
  • ElasticSearch中常用的数据类型
  • lustre共享存储是免费的吗
  • 案例:塔能科技驱动河南某市政照明智慧升级
  • 郑州工程技术学院党委书记甘勇一行莅临埃文科技调研交流
  • 适用于 HAL 的 AIDL
  • 第二十讲:SHAP 值与模型可解释性详解(附案例) [特殊字符]
  • 4种方法将文件映射到内存提升读写速度
  • 关于tomcat乱码和idea中控制台乱码的问题
  • MySQL:B+树索引
  • Midnight Flag CTF 2025
  • 施工用电的基本原则与相关的安全规定
  • 【Linux篇】ELF文件及其加载与动态链接机制
  • 配置阿里云服务器
  • QT QCHeckBox 互斥设置方法
  • 3.8 字符串的常用函数
  • 通过命令行操作把 本地IDE 项目上传到 GitHub(小白快速版)
  • 基于PyTorch的DETR(Detection Transformer)目标检测模型
  • 【报错】解决pytorch出现RuntimeError: An attempt has been made to start a new process...
  • 现代测试自动化框架教程:Behave接口测试与Airtest移动端UI自动化
  • 氧气桌面TV版下载,安卓电视版使用教程
  • XSS漏洞及常见处理方案
  • 3月报|DolphinScheduler项目进展一览
  • Android 14音频系统之音频框架分析
  • 网络安全-Http\Https协议和Bp抓包
  • 洛谷普及P2239 [NOIP 2014 普及组] 螺旋矩阵 和 B3751 [信息与未来 2019] 粉刷矩形