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

【差分隐私相关概念】瑞丽差分隐私(RDP)引理1

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述


引理1的详细推导过程

引理1陈述

若分布 P P P Q Q Q 满足:
D ∞ ( P ∥ Q ) ≤ ϵ 且 D ∞ ( Q ∥ P ) ≤ ϵ , D_\infty(P \parallel Q) \leq \epsilon \quad \text{且} \quad D_\infty(Q \parallel P) \leq \epsilon, D(PQ)ϵD(QP)ϵ,
则对任意 α ≥ 1 \alpha \geq 1 α1,有:
D α ( P ∥ Q ) ≤ 2 α ϵ 2 . D_\alpha(P \parallel Q) \leq 2\alpha \epsilon^2. Dα(PQ)2αϵ2.


证明步骤解析

步骤1:拆分两种情况
  1. α ≥ 1 + 1 ϵ \alpha \geq 1 + \frac{1}{\epsilon} α1+ϵ1
    由Rényi散度的单调性,对 α ≥ 1 \alpha \geq 1 α1,有:
    D α ( P ∥ Q ) ≤ D ∞ ( P ∥ Q ) = ϵ . D_\alpha(P \parallel Q) \leq D_\infty(P \parallel Q) = \epsilon. Dα(PQ)D(PQ)=ϵ.
    由于 α − 1 ≥ 1 ϵ \alpha - 1 \geq \frac{1}{\epsilon} α1ϵ1,进一步可得:
    ϵ ≤ ( α − 1 ) ϵ 2 ⟹ D α ( P ∥ Q ) ≤ ( α − 1 ) ϵ 2 ≤ 2 α ϵ 2 . \epsilon \leq (\alpha - 1)\epsilon^2 \implies D_\alpha(P \parallel Q) \leq (\alpha - 1)\epsilon^2 \leq 2\alpha \epsilon^2. ϵ(α1)ϵ2Dα(PQ)(α1)ϵ22αϵ2.
    此时引理成立。

  2. α < 1 + 1 ϵ \alpha < 1 + \frac{1}{\epsilon} α<1+ϵ1
    这是证明的核心部分,需通过不等式展开和积分分析。


步骤2:关键不等式推导

对任意 x > y > 0 x > y > 0 x>y>0,令 λ = log ⁡ ( x / y ) \lambda = \log(x/y) λ=log(x/y),且 0 ≤ β ≤ 1 / λ 0 \leq \beta \leq 1/\lambda 0β1/λ,有以下不等式:
x β + 1 y − β + x − β y β + 1 = x e β λ + y e − β λ ≤ ( 1 + ( β λ ) 2 ) ( x + y ) + β λ ( x − y ) . x^{\beta+1} y^{-\beta} + x^{-\beta} y^{\beta+1} = x e^{\beta \lambda} + y e^{-\beta \lambda} \leq (1 + (\beta \lambda)^2)(x + y) + \beta \lambda (x - y). xβ+1yβ+xβyβ+1=xeβλ+yeβλ(1+(βλ)2)(x+y)+βλ(xy).
推导依据

  • 指数函数的二次上界:当 t = β λ ∈ [ 0 , 1 ] t = \beta \lambda \in [0, 1] t=βλ[0,1] 时,
    e t ≤ 1 + t + t 2 且 e − t ≤ 1 − t + t 2 . e^t \leq 1 + t + t^2 \quad \text{且} \quad e^{-t} \leq 1 - t + t^2. et1+t+t2et1t+t2.
    代入后展开并合并同类项即得不等式。

步骤3:应用于Rényi散度的积分

α < 1 + 1 ϵ \alpha < 1 + \frac{1}{\epsilon} α<1+ϵ1,令 β = α − 1 \beta = \alpha - 1 β=α1,则 β ≤ 1 / ϵ \beta \leq 1/\epsilon β1/ϵ,且 β λ ≤ β ϵ ≤ 1 \beta \lambda \leq \beta \epsilon \leq 1 βλβϵ1,满足不等式条件。

  1. 展开Rényi散度的指数形式
    exp ⁡ [ ( α − 1 ) D α ( P ∥ Q ) ] = ∫ P ( x ) α Q ( x ) 1 − α d x . \exp\left[ (\alpha-1)D_\alpha(P \parallel Q) \right] = \int P(x)^\alpha Q(x)^{1-\alpha} dx. exp[(α1)Dα(PQ)]=P(x)αQ(x)1αdx.
    由于 D α ( Q ∥ P ) ≥ 0 D_\alpha(Q \parallel P) \geq 0 Dα(QP)0,可添加对称项并减去1:
    ∫ P α Q 1 − α d x ≤ ∫ ( P α Q 1 − α + Q α P 1 − α ) d x − 1. \int P^\alpha Q^{1-\alpha} dx \leq \int \left( P^\alpha Q^{1-\alpha} + Q^\alpha P^{1-\alpha} \right) dx - 1. PαQ1αdx(PαQ1α+QαP1α)dx1.

  2. 应用关键不等式
    x = P ( x ) x = P(x) x=P(x), y = Q ( x ) y = Q(x) y=Q(x),代入步骤2的不等式:
    P α Q 1 − α + Q α P 1 − α ≤ ( 1 + ( β λ ) 2 ) ( P + Q ) + β λ ∣ P − Q ∣ . P^\alpha Q^{1-\alpha} + Q^\alpha P^{1-\alpha} \leq \left( 1 + (\beta \lambda)^2 \right)(P + Q) + \beta \lambda |P - Q|. PαQ1α+QαP1α(1+(βλ)2)(P+Q)+βλPQ∣.
    其中 λ = log ⁡ ( P / Q ) ≤ ϵ \lambda = \log(P/Q) \leq \epsilon λ=log(P/Q)ϵ,故 ( β λ ) 2 ≤ ( β ϵ ) 2 = ( α − 1 ) 2 ϵ 2 (\beta \lambda)^2 \leq (\beta \epsilon)^2 = (\alpha - 1)^2 \epsilon^2 (βλ)2(βϵ)2=(α1)2ϵ2

  3. 积分处理
    对积分进行分解:
    ∫ ( 1 + ( α − 1 ) 2 ϵ 2 ) ( P + Q ) d x + ( α − 1 ) ϵ ∫ ∣ P − Q ∣ d x . \int \left( 1 + (\alpha - 1)^2 \epsilon^2 \right)(P + Q) dx + (\alpha - 1)\epsilon \int |P - Q| dx. (1+(α1)2ϵ2)(P+Q)dx+(α1)ϵPQdx.

    • 第一项积分: ∫ ( P + Q ) d x = 2 \int (P + Q) dx = 2 (P+Q)dx=2,故:
      ( 1 + ( α − 1 ) 2 ϵ 2 ) ⋅ 2. \left( 1 + (\alpha - 1)^2 \epsilon^2 \right) \cdot 2. (1+(α1)2ϵ2)2.
    • 第二项积分: ( α − 1 ) ϵ ⋅ ∥ P − Q ∥ 1 (\alpha - 1)\epsilon \cdot \|P - Q\|_1 (α1)ϵPQ1

    整体结果为:
    2 ( 1 + ( α − 1 ) 2 ϵ 2 ) + ( α − 1 ) ϵ ∥ P − Q ∥ 1 − 1. 2\left( 1 + (\alpha - 1)^2 \epsilon^2 \right) + (\alpha - 1)\epsilon \|P - Q\|_1 - 1. 2(1+(α1)2ϵ2)+(α1)ϵPQ11.
    化简为:
    1 + 2 ( α − 1 ) 2 ϵ 2 + ( α − 1 ) ϵ ∥ P − Q ∥ 1 . 1 + 2(\alpha - 1)^2 \epsilon^2 + (\alpha - 1)\epsilon \|P - Q\|_1. 1+2(α1)2ϵ2+(α1)ϵPQ1.


步骤4:处理 ∥ P − Q ∥ 1 \|P - Q\|_1 PQ1 的界
  1. L1范数的表达式
    ∥ P − Q ∥ 1 = ∫ ∣ P ( x ) − Q ( x ) ∣ d x . \|P - Q\|_1 = \int |P(x) - Q(x)| dx. PQ1=P(x)Q(x)dx.
  2. 分解为最小和最大项
    ∥ P − Q ∥ 1 = ∫ min ⁡ ( P , Q ) ∣ max ⁡ ( P , Q ) min ⁡ ( P , Q ) − 1 ∣ d x . \|P - Q\|_1 = \int \min(P, Q) \left| \frac{\max(P, Q)}{\min(P, Q)} - 1 \right| dx. PQ1=min(P,Q) min(P,Q)max(P,Q)1 dx.
  3. 利用 D ∞ D_\infty D 的条件
    D ∞ ( P ∥ Q ) ≤ ϵ D_\infty(P \parallel Q) \leq \epsilon D(PQ)ϵ,得 max ⁡ ( P Q , Q P ) ≤ e ϵ \max\left( \frac{P}{Q}, \frac{Q}{P} \right) \leq e^\epsilon max(QP,PQ)eϵ,因此:
    ∣ max ⁡ ( P , Q ) min ⁡ ( P , Q ) − 1 ∣ ≤ e ϵ − 1 ≤ 2 ϵ 2 ( 当  ϵ ≤ 1 ) . \left| \frac{\max(P, Q)}{\min(P, Q)} - 1 \right| \leq e^\epsilon - 1 \leq 2\epsilon^2 \quad (\text{当} \ \epsilon \leq 1). min(P,Q)max(P,Q)1 eϵ12ϵ2( ϵ1).
    因此:
    ∥ P − Q ∥ 1 ≤ 2 ϵ 2 ⋅ ∫ min ⁡ ( P , Q ) d x ≤ 2 ϵ 2 . \|P - Q\|_1 \leq 2\epsilon^2 \cdot \int \min(P, Q) dx \leq 2\epsilon^2. PQ12ϵ2min(P,Q)dx2ϵ2.

步骤5:结合所有项并取对数

∥ P − Q ∥ 1 ≤ 2 ϵ 2 \|P - Q\|_1 \leq 2\epsilon^2 PQ12ϵ2 代入步骤3的结果:
exp ⁡ [ ( α − 1 ) D α ( P ∥ Q ) ] ≤ 1 + 2 ( α − 1 ) 2 ϵ 2 + 2 ( α − 1 ) ϵ 3 . \exp\left[ (\alpha-1)D_\alpha(P \parallel Q) \right] \leq 1 + 2(\alpha - 1)^2 \epsilon^2 + 2(\alpha - 1)\epsilon^3. exp[(α1)Dα(PQ)]1+2(α1)2ϵ2+2(α1)ϵ3.
利用 log ⁡ ( 1 + x ) ≤ x \log(1 + x) \leq x log(1+x)x 对两边取对数:
( α − 1 ) D α ( P ∥ Q ) ≤ 2 ( α − 1 ) 2 ϵ 2 + 2 ( α − 1 ) ϵ 3 . (\alpha - 1)D_\alpha(P \parallel Q) \leq 2(\alpha - 1)^2 \epsilon^2 + 2(\alpha - 1)\epsilon^3. (α1)Dα(PQ)2(α1)2ϵ2+2(α1)ϵ3.
两边除以 ( α − 1 ) (\alpha - 1) (α1)
D α ( P ∥ Q ) ≤ 2 ( α − 1 ) ϵ 2 + 2 ϵ 3 ≤ 2 α ϵ 2 ( 因  α ≥ 1 ) . D_\alpha(P \parallel Q) \leq 2(\alpha - 1)\epsilon^2 + 2\epsilon^3 \leq 2\alpha \epsilon^2 \quad (\text{因} \ \alpha \geq 1). Dα(PQ)2(α1)ϵ2+2ϵ32αϵ2( α1).


关键点总结

  1. 指数函数的二次上界:核心在于将 e t e^t et e − t e^{-t} et 用二次多项式近似,适用于小 t t t(即 α \alpha α 接近1)。
  2. 对称性处理:通过添加 Q α P 1 − α Q^\alpha P^{1-\alpha} QαP1α 的积分,利用对称性简化分析。
  3. L1范数的控制:利用 D ∞ D_\infty D 的条件将 ∥ P − Q ∥ 1 \|P - Q\|_1 PQ1 的界转化为 ϵ 2 \epsilon^2 ϵ2 的倍数。
  4. 参数范围适配:通过拆分 α \alpha α 的范围,分别处理大 α \alpha α 和小 α \alpha α 的情况,最终统一结果。

结论:在 D ∞ D_\infty D 的约束下,Rényi散度 D α D_\alpha Dα 被二次放缩为 2 α ϵ 2 2\alpha \epsilon^2 2αϵ2,适用于所有 α ≥ 1 \alpha \geq 1 α1

相关文章:

  • 【差分隐私相关概念】瑞丽差分隐私(RDP)-命题1
  • Web前端开发——图像与多媒体文件(上)
  • 计算机视觉——基于 Yolov8 目标检测与 OpenCV 光流实现目标追踪
  • 在ros2上使用opencv显示一张图片
  • 智能指针(内存泄漏)
  • 高德地图自有数据添加图层
  • Ubuntu安装yum遇到Package ‘yum‘ has no installation candidate
  • CSRF(跨站请求伪造)漏洞概述
  • Windows服务器组建与综合服务部署技术方案
  • C# 使用.NET内置的 IObservable<T> 和 IObserver<T>-观察者模式
  • Python对ppt进行文本替换、插入图片、生成表格
  • Spark中Maven的用法
  • 如何查看自己抖音的IP属地?详细教程及如何修改
  • Chromium 134 编译指南 macOS篇:安装 Xcode(二)
  • scikit-learn初探
  • 巧记英语四级单词 Unit4-中【晓艳老师版】
  • RagFlow本地部署教程 :多模态检索+动态生成,用AI重构企业知识生产力
  • 软件架构设计:MVC、MVP、MVVM、RIA 四大风格优劣剖析
  • reactive 解构赋值给 ref
  • MVCC详细介绍及面试题
  • 伊朗外长:伊美第四轮间接谈判将于5月3日举行
  • 五大国货美妆去年业绩分化:珀莱雅百亿营收领跑,上海家化转亏
  • 200枚篆刻聚焦北京中轴线,“印记”申遗往事
  • 4月人民币对美元即期汇率微跌,今年以来升值0.48%
  • 圆桌|如何应对特朗普政府的关税霸凌?一种联合国视角的思考
  • 兴业银行一季度净赚超237亿降逾2%,营收降逾3%