[论文解读] Information Flow in Secret Sharing Protocols

Elham Kashefi, Damian Markham+2 more|HAL (Le Centre pour la Communication Scientifique Directe)|Sep 24, 2009

Cryptography and Data Security被引用 6

一句话总结

本文提出了一种基于图态和流的图形化框架，用于表征量子秘密共享协议中的信息流，实现了新协议的系统性构建，并识别出可作为“无意义测量”的量子比特——即不影响计算结果的量子比特。其主要贡献是为这类无意义测量提供了必要且充分的条件，从而可将测量基量子计算模式扩展为秘密共享方案，并支持容错设计。

ABSTRACT

The entangled graph states have emerged as an elegant and powerful quantum resource, indeed almost all multiparty protocols can be written in terms of graph states including measurement based quantum computation (MBQC), error correction and secret sharing amongst others. In addition they are at the forefront in terms of implementations. As such they represent an excellent opportunity to move towards integrated protocols involving many of these elements. In this paper we look at expressing and extending graph state secret sharing and MBQC in a common framework and graphical language related to flow. We do so with two main contributions. First we express in entirely graphical terms which set of players can access which information in graph state secret sharing protocols. These succinct graphical descriptions of access allow us to take known results from graph theory to make statements on the generalisation of the previous schemes to present new secret sharing protocols. Second, we give a set of necessary conditions as to when a graph with flow, i.e. capable of performing a class of unitary operations, can be extended to include vertices which can be ignored, pointless measurements, and hence considered as unauthorised players in terms of secret sharing, or error qubits in terms of fault tolerance. This offers a way to extend existing MBQC patterns to secret sharing protocols. Our characterisation of pointless measurements is believed also to be a useful tool for further integrated measurement based schemes, for example in constructing fault tolerant MBQC schemes.

研究动机与目标

• 将基于图态的秘密共享协议与测量基量子计算（MBQC）统一于同一图形化框架下。
• 提供一种图形化表征方法，以确定在图态基础上的秘密共享中，哪些参与者集合可访问或被拒绝访问密钥。
• 推导出在具有流的MBQC模式中，添加“无意义测量”（即不影响计算结果的量子比特）的必要且充分条件。
• 将现有MBQC模式扩展以包含未经授权的参与者或错误量子比特，从而实现与秘密共享及容错方案的集成。
• 探索该框架在构建对称、可扩展的秘密共享协议以及容错MBQC方面的潜力。

提出的方法

• 本文利用图态中‘流’的概念来表征MBQC的可行性，借助严格偏序关系与奇数邻域条件。
• 提出一种图形化规则，用于判断哪些参与者集合可访问或被拒绝访问密钥，该规则基于图的结构以及测量集合的奇数邻域。
• 通过Z与X错误传播的条件，对‘无意义测量’（即其测量不影响整体计算结果的量子比特）进行形式化表征。
• 该方法涉及构造一个量子比特集合S，使得S的奇数邻域包含于目标量子比特p的邻域中，以确保错误抵消。
• 应用相位映射分解，以关联添加无意义量子比特前后测量角度的关系，确保结果计算的幺正等价性。
• 该框架已扩展至广义流，但对对称协议的完整表征仍是开放问题。

实验结果

研究问题

• RQ1 在基于图态的秘密共享协议中，哪些参与者集合可访问密钥，哪些被拒绝访问？
• RQ2 如何利用具有流的图态的图形结构，系统性地生成新的有效秘密共享协议？
• RQ3 在具有流的MBQC模式中，何种条件下可添加一个量子比特，使其测量为‘无意义’（即不影响计算结果）？
• RQ4 能否通过添加无意义测量，将秘密共享功能嵌入到现有MBQC模式中？
• RQ5 如何调整该框架以支持对称秘密共享协议，使得任意量子比特子集均可被指定为未经授权？

主要发现

• 基于Z与X错误通过对称错误传播实现抵消，确立了在具有流的MBQC模式中，某量子比特为无意义测量的必要且充分条件。
• 若存在集合S满足Odd(S) ⊆ N(p)，则可确保来自p的Z错误被抵消，而X错误的条件则通过测量角度的相位映射等价性来保证。
• 该框架可通过识别基于参与者集合结构的访问受限或被授予的图形配置，实现新秘密共享协议的构建。
• 该方法允许将现有MBQC模式扩展以包含未经授权的参与者或错误量子比特，从而在单一MBQC框架中集成秘密共享与容错机制。
• 该方法为构建对称秘密共享协议提供了路径，但本文指出实现完全对称性仍是开放挑战。
• 研究结果被认为不仅对秘密共享有用，尤其在设计容错测量基量子计算方案方面也具有广泛潜在价值。