[論文レビュー] Security of quantum key distribution with discrete rotational symmetry

Masato Koashi|ArXiv.org|Jul 16, 2005

Laser-Matter Interactions and Applications被引用数 12

ひとこと要約

本稿は、離散的回転対称性を持つ減衰レーザーパルスを用いたSARG04量子鍵配送プロトコルおよびそのM状態への一般化の、条件なしの安全性を証明する。系の2M重回転対称性を活用し、問題をエンタングルメントベースのモデルに還元することで、SARG04では$ O(\eta^{3/2}) $、$ M = 2k-1 $ または $ 2k $ の場合に$ O(\eta^{(k+1)/k}) $ の鍵レートスケーリングを導出し、低ノイズチャンネル下で性能が向上することを示す。

ABSTRACT

We prove the unconditional security of quantum key distribution protocols using attenuated laser pulses with M different linear polarizations. When M=4, the proof covers the so-called SARG04 protocol [V.~Scarani et al., Phys. Rev.\ Lett. {\bf 92}, 057901 (2004)], which uses exactly the same quantum communication as the Bennett-Brassard 1984 protocol. For a channel with transmission $η$, we show that the key rate in SARG04 scales as $O(η^{3/2})$. When we increase the number of states to M=2k-1 or 2k, the key rate scaling improves as $O(η^{(k+1)/k})$.

研究の動機と目的

• 減衰レーザーパルスと離散的回転対称性を持つSARG04プロトコルの条件なしの安全性を確立すること。
• M個の線形偏光状態を持つM状態プロトコルへのSARG04プロトコルの一般化を行い、その鍵レートスケーリングを分析すること。
• 回転対称性と量子状態分解を活用することで、$ O(\eta^2) $ を超える鍵レートスケーリングを向上させること。
• さまざまな攻撃モデル下での鍵レートスケーリングとビット誤り率のトレードオフを定量化すること。

提案手法

• プロトコルは、$ M $ 個の異なる偏光状態（角度$ \theta = \pi l/M $ で符号化）を持つ位相ランダマイズされた減衰レーザーパルスを用い、離散的回転対称性を持つ量子状態を生成する。
• ヒルベルト空間$ \mathcal{H} \cong \mathbb{C}^M \otimes \mathbb{C}^2 $ におけるエンタングルメントベースのモデルへの写像により、簡略化されたセキュリティ解析が可能になる。
• ヒルベルト空間を角運動量でラベル付けされた部分空間に分解することで、標準的なエンタングルメントベースのセキュリティ技術の適用が可能になる。
• 主な技術的アプローチとして、高光子数成分の寄与を閾値$ K = \lceil M/2 \rceil $ で制限し、問題を低次元部分空間に還元する。
• セキュリティ証明は、測定演算子の凸包解析と状態の忠実度の上限に基づき、$ \gamma $、$ \epsilon $、および$ \beta(\epsilon) $ を含む鍵レート式を導出する。
• プロトコルは高損失限界$ \eta \to 0 $ で分析され、鍵利得は$ \eta^{(K+1)/K} $、$ \gamma $、およびビット誤り率$ \epsilon $ の関数として導出される。

実験結果

リサーチクエスチョン

• RQ1 任意の盗聴攻撃に対してSARG04プロトコルが条件なしに安全であると証明できるか？
• RQ2 チャネル損失が存在する状況下で、SARG04プロトコルが達成可能な最適な鍵レートスケーリングは何か？
• RQ3 偏光状態数$ M $ を増加させることで、鍵レートスケーリングとノイズ耐性にどのような影響があるか？
• RQ4 プロトコルの離散的回転対称性を活用することで、セキュリティ証明の簡略化と境界の向上が可能か？
• RQ5 $ M $状態プロトコルにおいて、$ O(\eta^{(K+1)/K}) $ スケーリングが達成可能な閾値ビット誤り率$ \epsilon $ は何か？

主な発見

• SARG04プロトコルは、高損失限界$ \eta \to 0 $ において、$ O(\eta^{3/2}) $ の鍵レートスケーリングを達成し、減衰レーザーを用いた標準BB84プロトコルの$ O(\eta^2) $ スケーリングを上回る性能を示す。
• $ M = 2k-1 $ または $ 2k $ の場合、鍵レートは$ O(\eta^{(k+1)/k}) $ にスケーリングし、$ k = \lceil M/2 \rceil $ である。$ M $ が大きくなるほど性能が向上することが示された。
• $ O(\eta^{(K+1)/K}) $ スケーリングが達成可能な閾値チャネルノイズ$ \epsilon $ は、$ \Theta = \pi L/M $ にのみ依存し、$ M $ には依存しない。最適性能は$ \Theta \sim \pi/(4(K-1)) $ の近傍で達成される。
• ビット誤り率$ \epsilon = 0 $ の場合、最適な光源強度は$ \mu \sim 1.51 \eta^{1/2} $ に比例し、SARG04における鍵レート損失を最小化する。
• $ (6,1) $ プロトコルは$ O(\eta^{5/4}) $ のスケーリングを達成し、$ (5,1) $ プロトコルを上回る性能を示す。両方の検出器出力を処理することで、鍵利得を倍増できる。
• セキュリティ証明は、曖昧な状態判別と光子数分割攻撃を組み合わせたハイブリッド攻撃に対しても頑健であり、このような攻撃を考慮すると$ K = \lceil M/2 \rceil $ の境界が最適であることが示された。