量子多方秘密共享 QSS-LOCC（二）

Ying-Hui Yang（2015）

主要贡献：指出之前Rahaman提出的框架中，存在信息泄露问题，非认证用户能获取与秘密有关的信息。因此，提出两种可能的攻击形势，提出两种可以用来量化信息泄露的可能性的指标，并且提出一个接近完美的（2，n）框架。

背景：Rahaman提出的框架中，存在信息泄露问题，

量子多方秘密共享的目标：多个参与者共享一个量子态，该状态是从一组已知的正交量子态中秘密挑选的。通过本地操作和经典通信（LOCC）来完美识别区分未知量子态。因此要求挑选的正交量子态组中，每个量子态对应不同的测量基和测量结果。

使用的d维量子正交态组：

结论1：正交纠缠态可被两个及以上的参与者用LOCC区分。

note：k=1，每个粒子的约化密度矩阵都是I/d，因此单个粒子没法从自身的测量结果中得到与量子态有关的信息

测量部分：每个参与者根据稳定子，选择测量基来测量自己收到的粒子。当n是质数的时候，正交态的稳定子G有n个生成元g；当n不是质数的时候，G可能有多于n个生成元。

本文使用的正交组对应的稳定子和生成元：

                

d维的Pauli算符：

结论2：如果特征值（测量结果）为1，则为|φ1>，如果特征值为wj-1，则为|φ2>。

（1）框架安全性分析：

窃听策略1：拦截-测量-重新发送

Eve拦截Alice发送的粒子，选择全局或者局部测量，然后再将替换的粒子发送给Bob。如果Eve选择全局测量，因为Eve不知道收到的L-qubit里，哪n-qubit是一个状态的，所以无法全局测量；如果Eve选择局部测量，但并不知道用什么基测量，并且测量后的状态会崩塌，没法发送给Bob满足判断条件的状态。

窃听策略2：拦截-替换-重新发送

Eve拦截Alice发送的粒子，并发给Bob替换的伪造的状态。如果d是质数，则Eve没法找到其他的也能满足窃听判断条件的量子态，Alice会根据测量结果发现有窃听者；如果d不是质数，可能存在其他满足窃听判断条件的状态，但是由于Eve不知道哪n-qubit是状态中的，或者用什么基测量，所以没法制造出符合窃听条件的量子态。

窃听策略3：纠缠-测量

Eve让收到的状态与辅助位纠缠，想要通过测量辅助位获取与秘密有关的信息。如果d是质数，辅助位如果和原始量子态发生纠缠，则将使窃听判断条件无法被满足，所以不能发生纠缠；如果d不是质数，根据计算得出新加的辅助位和原始状态是没法纠缠的，只会形成张量积的形式，由于辅助位都相等，所以没法获得有用的信息。

note：两个矩阵相乘等于0，说明两个矩阵的秩的和小于等于A的行数（即B的列数）。

范德蒙德矩阵的计算结果是将各式的公比两两相减，再计算差的乘积。其性质是：如果各公比都不同，则是满秩矩阵，如果公比有相同的，则将满秩减去公比相同的个数。一共有(d-1)个公比，所以秩为d-1。

（2）量化信息泄露

unambiguous probability：参与者可以直接从秘密中获取信息，知道秘密信息。

guessing probability：参与者可以从自己的粒子的测量结果，获得部分与秘密信息有关的信息。

引入k1，k2来评估框架（k1,k2,k,n）的信息泄露：

如果小于k1个合作者，无法得到任何信息；

大于k1但小于k个合作者，可以得到信息的猜测概率大于1/2；

大于k2但小于k个参与者，可以得到信息的明确概率非0。

k1，k2越接近k，则框架信息泄露的越少。

（3）提出近似完美（3,4）框架

背景：上一篇文章中提出的框架没法设计出近似完美的（3,4）框架，可以达到（2,3,3,4），且能区分出量子态。

使用的量子态组： 

结论3：该正交态的区分至少需要3个参与者合作。

note：一个参与者是I/d，两个参与者的可能得到信息的概率为 ，，可以根据约化密度矩阵计算出两个合作者能区分状态的概率是0.5536，概率太小，这说明两个合作者不足以完美区分。

区分方法：对每个粒子用Z基测量，如果三个人的测量结果都相同，或者都不同，则为φ1，如果两个相同，另一个与他们不同，则为φ2。