[論文レビュー] Quamtumness, Generalized Spherical 2-Design and Symmetric Informationally Complete POVM

Isaac H. Kim|arXiv (Cornell University)|Aug 2, 2006

Matrix Theory and Algorithms参考文献 6被引用数 4

ひとこと要約

この論文は、量子状態集合の最小量子性——測定戦略のすべてについての利用可能忠実度の下限として定義される——が、一般化2-デザインを形成する場合にかつその場合に限り達成されることを確立する。この論文は、$ d $次元ヒルベルト空間において、最小量子性を達成するには正確に $ d^2 $ 個の状態が必要であり、このような最小集合は対称情報的に完全なPOVM（SIC-POVM）であることを示し、SIC-POVMと最小量子性集合との間の同等性を確立する。

ABSTRACT

C. A. Fuchs and M. Sasaki defined the quantumness of a set of quantum states in \cite{Quantumness}, which is closely related to the fidelity loss in transmission of the quantum states through a classical channel. In \cite{Fuchs}, Fuchs showed that in $d$-dimensional Hilbert space, minimum quantumness is $\frac{2}{d+1}$, and this can be achieved by all rays in the space. He left an open problem, asking whether fewer than $d^2$ states can achieve this bound. Recently, in a different context, A. J. Scott introduced a concept of generalized $t$-design in \cite{GenSphet}, which is a natural generalization of spherical $t$-design. In this paper, we show that the lower bound on the quantumness can be achieved if and only if the states form a generalized 2-design. As a corollary, we show that this bound can be only achieved if the number of states are larger or equal to $d^2$, answering the open problem. Furthermore, we also show that the minimal set of such ensemble is Symmetric Informationally Complete POVM(SIC-POVM). This leads to an equivalence relation between SIC-POVM and minimal set of ensemble achieving minimal quantumness.

研究の動機と目的

• Fuchsが提起した未解決問題、すなわち、$ d $次元ヒルベルト空間において、$ d^2 $ 個未満の状態で最小量子性を達成できるか否かを解明すること。
• 量子性が $ \frac{2}{d+1} $ の最小値に達するための構造的条件を明確化すること。
• 最小量子性、一般化2-デザイン、対称情報的に完全なPOVM（SIC-POVM）との間の厳密な関係を確立すること。
• 最小量子性を達成するために必要な状態の最小数が正確に $ d^2 $ であり、そのような集合は必然的にSIC-POVMであることを示すこと。

提案手法

• 論文は、POVM測定と状態再構築戦略のすべてについての利用可能忠実度の下限として量子性を定義する。
• 球面$ t $-デザインを任意の演算子基底に拡張する一般化$ t $-デザインの概念を導入する。
• 集合が最小量子性を達成するための必要十分条件が、一般化2-デザインを形成することであることを、トレース恒等式と$ \mathcal{B}(\mathcal{H}_d) $上での演算子平均を用いて証明する。
• ラグランジュ乗数法を用いて重なり$ \lambda_{jk} = |\langle \psi_j | \psi_k \rangle|^2 $の上限を導出し、最小量子性の境界が$ \lambda_{jk} = \frac{1}{d+1} $かつ$ p_j = \frac{1}{d^2} $のときにのみ達成されることを示す。
• 一般化2-デザインに$ d^2 $ 個の要素が存在する場合、トレース制約$ \rho^2 $と$ \tilde{\rho}^2 $を介して球面2-デザインであることも示す。
• 既知のトレース恒等式$ \int_{\mathcal{S}_d} d\psi \, |\psi\rangle\!\langle\psi| A |\psi\rangle\!\langle\psi| = \frac{1}{d(d+1)}(A + \mathrm{Tr}(A)I) $を用いて、このようなデザインに必要な最小状態数が$ d^2 $であることを示す。

実験結果

リサーチクエスチョン

• RQ1 $ d^2 $ 個未満の状態からなる集合が、$ \frac{2}{d+1} $ の最小量子性を達成できるか？
• RQ2 量子状態集合が最小量子性を達成するための構造的条件は何か？
• RQ3 デザイン理論の観点から、最小量子性の必要十分条件は何か？
• RQ4 SIC-POVMは最小量子性を達成する唯一の最小集合か？
• RQ5 $ d^2 $ 個の要素を持つ一般化2-デザインは、必然的に球面2-デザインと一致するか？

主な発見

• 最小量子性$ \frac{2}{d+1} $は、かつその場合に限り、集合が一般化2-デザインを形成するとき達成される。
• 最小量子性を達成する集合には、少なくとも$ d^2 $ 個の状態が必要であり、Fuchsの未解決問題が解決される。
• 最小量子性を達成する最小集合は、正確に対称情報的に完全なPOVM（SIC-POVM）である。
• $ d^2 $ 個の要素を持つ一般化2-デザインは、重なり$ \lambda_{jk} $と確率分布$ p_j $の極値解析により、球面2-デザインであることも示される。
• このような集合に対して最適な測定戦略は、測定結果から入力状態を直接再構築することであり、追加処理は不要である。
• SIC-POVMと最小量子性集合との同等性により、SIC-POVMは量子性最小化による新たな操作的特徴付けが得られる。