[論文レビュー] Access structure in graphs in high dimension and application to secret sharing

Anne Marin, Damian Markham+1 more|arXiv (Cornell University)|Apr 26, 2013

Quantum Computing Algorithms and Architecture参考文献 37被引用数 6

ひとこと要約

本稿は、素数次元系へのqubitベースの結果の拡張として、クオッドグラフ状態におけるアクセス構造の図形的特徴付けを、古典的および量子秘密分散の両者について提供する。$((k,n))_q$ 量子秘密分散スキームにおける閾値パラメータ $ k $ の下界を確立し、ある $ \alpha > 0.5 $ に対して $ k > \alpha n $ が高確率で成り立つことを証明する。また、二進エントロピー関数を用いた漸近的境界を導出し、高次元におけるこのようなスキームが存在するための最小の $ \alpha $ を定量化する。

ABSTRACT

We give graphical characterisation of the access structure to both classical and quantum information encoded onto a multigraph defined for prime dimension $q$, as well as explicit decoding operations for quantum secret sharing based on graph state protocols. We give a lower bound on $k$ for the existence of a $((k,n))_q$ scheme and prove, using probabilistic methods, that there exists $α$ such that a random multigraph has an accessing parameter $k\leq αn$ with high probability.

研究の動機と目的

• グラフ状態のアクセス構造の図形的特徴付けを、qubitから素数次元のクオッドに拡張すること。
• グラフ状態に基づくCQおよびQQ量子秘密分散プロトコルの明示的復号手順を提供すること。
• $((k,n))_q$ スキームにおける閾値パラメータ $ k $ の下界を導出すること。
• 確率的手法を用いて、$ k \leq \alpha n $ となる $((k,n))_q$ スキームが高確率で存在することを証明し、そのような $ \alpha $ の最小値を特定すること。
• グラフ状態形式を通じて、秘密分散、誤り訂正、および安定化子コードの間の関係を確立すること。

提案手法

• クオッドグラフ状態を表すために $ q $-多重グラフを用い、辺に $ \mathbb{F}_q $ の要素をラベル付けることで、F*-グラフの多重グラフ的解釈を可能にする。
• 多重集合に由来する頂点および部分多重グラフに対する多重集合演算を定義し、行列乗算 $ \Gamma \cdot D $ を用いて隣接多重度を計算する。
• 情報へのアクセス性を分析するために、核の差分 $ S_d(B) = \ker(\Gamma_G[B \cup \{d\}]) \setminus \ker(\Gamma_G[B]) $ の概念を導入する。
• カットランク関数 $ \text{cutrk}_G(B) $ を用いて情報の流れを特徴づけ、情報保持集合のサイズを束縛する確率的手法を適用する。
• 二進エントロピー関数 $ H_2(p) $ を用いたエントロピーに基づく漸近的解析により、$ \alpha $（アクセスに必要な参加者数の割合）の下界を導出する。
• 先行のqubitに関する結果に基づき、集合とその補集合の双対性を用いて、量子情報へのアクセス問題を古典的情報へのアクセス問題に還元する。

実験結果

リサーチクエスチョン

• RQ1 クオッドグラフ状態における承認済みおよび非承認済み集合の図形的特徴付けは何か？
• RQ2 グラフ状態形式を用いて、CQおよびQQプロトコルの両方の復号操作を明示的に構築する方法は何か？
• RQ3 $((k,n))_q$ 量子秘密分散スキームが存在する最小の閾値 $ k $ は、$ n $ および $ q $ の関数としてどのように表されるか？
• RQ4 確率的手法を用いて、$ k \leq \alpha n $ の場合にこのようなスキームが高確率で存在することを示せるか？ そのような $ \alpha $ の最小値は何か？
• RQ5 秘密分散に関する結果は、安定化子コードおよび誤り訂正コードの存在性とどのように関係するか？

主な発見

• $((k,n))_q$ 量子秘密分散スキームは、$ k \leq \alpha n $ であるとき、高確率で存在する。ここで $ \alpha $ は漸近不等式 $ H_2\left(\frac{\alpha q + 1}{q + 1}\right) + \alpha H_2\left(\frac{1 - \alpha}{\alpha}\right) \geq H_2(\alpha) $ を満たす。
• $ \alpha $ の下界はクオッド次元 $ q $ に依存し、すべての $ q $ に対して $ \alpha > 0.5 $ であり、$ q $ が増加するにつれて境界がきつくなる。
• 小規模な $ q $ に対しては、図2に最小の $ \alpha $ がプロットされており、$ q = 30 $ の場合に $ \alpha \approx 0.506 $ であることが示され、非自明な閾値であることがわかる。
• $((\alpha n, n))_q$ スキームの存在は、いかなる安定化子コードも導出された $ \alpha $ の下界を破ることが不可能であることを示唆し、秘密分散と量子誤り訂正の間の関係を結ぶ。
• 量子情報へのアクセス構造は、集合とその補集合の間の双対性により、古典的アクセスに還元され、CQおよびQQスキームの統一的取り扱いを可能にする。
• 核の差分 $ S_d(B) $ は、情報保持集合のサイズを束縛するために用いられ、$ \alpha $、$ n $、$ q $ を含む重要な不等式を導く。