[論文レビュー] Recovery of Sparse Matrices via Matrix Sketching

Thakshila Wimalajeewa, Yonina C. Eldar+1 more|arXiv (Cornell University)|Nov 11, 2013

Sparse and Compressive Sensing Techniques参考文献 18被引用数 37

ひとこと要約

本稿は、2モードにおける3つの同一粒子ボソンの純粋状態の標準形を導出し、その量子もつれを、キュービット系に類似したGHZ型およびW型に分類する。この標準形を用いて、もつれ尺度（concurrence 𝒞 および三重もつれ 𝜏）とスピンスクリーニングパラメータ 𝜉 を計算し、2体系とは異なり、3ボソン系では 𝜉 がもつれ尺度として適切でないことを示している。

ABSTRACT

In this paper, we consider the problem of recovering an unknown sparse matrix X from the matrix sketch Y = AX B^T. The dimension of Y is less than that of X, and A and B are known matrices. This problem can be solved using standard compressive sensing (CS) theory after converting it to vector form using the Kronecker operation. In this case, the measurement matrix assumes a Kronecker product structure. However, as the matrix dimension increases the associated computational complexity makes its use prohibitive. We extend two algorithms, fast iterative shrinkage threshold algorithm (FISTA) and orthogonal matching pursuit (OMP) to solve this problem in matrix form without employing the Kronecker product. While both FISTA and OMP with matrix inputs are shown to be equivalent in performance to their vector counterparts with the Kronecker product, solving them in matrix form is shown to be computationally more efficient. We show that the computational gain achieved by FISTA with matrix inputs over its vector form is more significant compared to that achieved by OMP.

研究の動機と目的

• 2モードにおける3つの同一ボソンの純粋状態の標準形を確立し、系の系統的なもつれ分類を可能にする。
• この状態のもつれ構造を、3キュービット系に類似したGHZ型とW型に分類する。
• これらの状態に対して、concurrence 𝒞 および三重もつれ 𝜏 といった主要なもつれ尺度を計算・分析する。
• スピンスクリーニングパラメータ 𝜉 を用いたスピンスクリーニングの性質を調査し、それがもつれ尺度として妥当かどうかを検証する。

提案手法

• 3ボソン状態の一般化されたシュミット分解を導出し、特定の係数を有する基底状態の重ね合わせとして状態を表現する。
• 局所ユニタリ変換を適用して一部の係数を消去し、最小限のパラメータで表される標準形に状態を簡約する。
• 係数消去方程式の解の存在を保証するため、代数の基本定理を用いて証明する。これにより、標準形が常に達成可能であることが保証される。
• 状態の密度行列とスピン演算子から直接、スピンスクリーニングパラメータ 𝜉 を計算する。
• pairwise もつれ（𝒞 を通じて）とスピンスクリーニング（𝜉 を通じて）の関係を分析し、もつれタイプに応じた挙動を比較する。
• 標準形の構造と残存パラメータの値に基づいて、もつれタイプ（GHZ 対 W）を分類する。

実験結果

リサーチクエスチョン

• RQ1 2モードにおける任意の3ボソン純粋状態の標準形は何か？
• RQ2 この状態のもつれ構造は、3キュービット系に類似したGHZ型とW型にどのように分類できるか？
• RQ3 これらの状態における concurrence 𝒞 と三重もつれ尺度 𝜏 の値は何か？ また、もつれタイプに応じてどのように変化するか？
• RQ4 スピンスクリーニングパラメータ 𝜉 は3ボソン系において信頼できるもつれ尺度として使用可能か？ また、pairwise もつれと比較してどう異なるか？

主な発見

• 2モードにおける3ボソン状態の標準形が導出され、任意の純粋状態が局所ユニタリ変換によって5つの独立パラメータを持つ標準形に変換可能であることが示された。
• もつれは2種類に分類される：GHZ型（最大もつれ、対称的）とW型（粒子損失に対してより頑健）。これは3キュービット系に類似している。
• スピンスクリーニングパラメータ 𝜉 はW型状態で最大（反スクリーニングが顕著）となり、この系では一般にもつれ尺度として使用できないことが判明した。
• concurrence 𝒞 と三重もつれ尺度 𝜏 が明示的に計算され、GHZ状態とW状態で異なる挙動を示した。特に 𝜏 は、真の三粒子もつれ状態でのみ非ゼロとなる。
• pairwise もつれとスピンスクリーニングの間には定量的関係がなく、両者は多粒子相関の異なる側面を反映している。
• 標準形の存在証明は、係数消去から導かれる多項方程式の解法に依拠しており、代数の基本定理により解の存在が保証されている。