本地化差分隐私保护的实现机制(三)

       下面是该篇论文提出的第二种解决方法:Hybrid Mechanism(混合机制)(简称HM)。

       如上篇文章所讨论的,PM的最坏情况下的结果精度优于Laplace机制的精度,但是它仍然比Duchi等人的解决方案稍差一点,因为前者引起的噪声方差随|t_{i}|的减小而减小,Duchi等人的解决方案会随着|t_{i}|的减小而为增加。那能否构造一种既保留PM优势又同时不比Duchi等人的解决方案差的方法?答案是肯定的:可以将PM和Duchi等人的解决方案结合到一个新的混合机制(HM)中。结果,HM的噪声方差通常小于PM和Duchi等人的解决方案,如图所示:

                                            

       在给定输入值t_{i}的情况下和\epsilon,HM引起的噪声方差为:

                                            \sigma _{H}^{2}(t_{i},\epsilon )=\alpha \cdot \sigma _{P}^{2}(t_{i},\epsilon )+(1-\alpha )\sigma _{D}^{2}(t_{i},\epsilon )
       上篇文章提到,当\epsilon ≥ 1.29时,PM的最坏情况方差明显小于Duchi等人的解; 当\epsilon < 1.29时,PM的最差方差仅略大于后者。所以\alpha就相当于\epsilon大于某一值(例如1.29)时的概率,而大于该值的输入用PM进行扰动;小于该值的输入用Duchi等人的解决方案进行扰动。其中,\sigma _{P}^{2}(t_{i},\epsilon )\sigma _{D}^{2}(t_{i},\epsilon )分别表示给定t_{i}和作为输入时PM和Duchi等人的解决方案引起的噪声方差。

        引理3:\epsilon ^{\ast }定义为:

                                 

        若 \underset{t_{i}\in [-1,1]}{max}\sigma _{H}^{2}(t_{i},\epsilon )想取最小值,则需满足(论文未给出证明^_^)。而当α满足上述分段函数时,HM的最坏情况噪声方差为:

                                  

         上式即:\epsilon > \epsilon ^{*}时,最小方差采用PM的最小方差;\epsilon \leq \epsilon ^{*}最小方差采用Duchi等人的解决方案。

         推论1:假设α满足分段函数

         \epsilon >\epsilon ^{*},则:

                                 

         \epsilon \leq \epsilon ^{*},则:

                               

         下图的红线显示了HM引起的最坏情况下的噪声方差,该方差始终不高于其他所有三种方法(对于\epsilon >\epsilon ^{*},HM≤Duchi等人的解决方案 )。 此外,请注意PM的精度接近HM,这证明了PM的有效性。  

                                            

         至此,论文中差分隐私实现机制的内容就结束了,多维数据收集和分析的方法放到以后在讲吧。

         That's all, good luck.

 

 

 

评论 3
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值