[論文レビュー] The Importance of Being Unistochastic

Ingemar Bengtsson|ArXiv.org|Mar 11, 2004

Matrix Theory and Algorithms参考文献 2被引用数 10

ひとこと要約

この論文は、ユニタリ行列の絶対値の二乗として得られる双確率行列（unistochastic行列）の数学的・物理的意義を調査する。主な問いは、与えられた双確率行列がunistochasticかどうか（問I）、およびそれに対応するユニタリ行列がどの程度一意に定まるか（問II）である。この研究は、量子基礎、量子情報、代数幾何学との深い関連を明らかにし、主な結果として、N=3ではユニタリ行列が離散的不定性を除き一意に定まり、N=4では連続的不定性が生じ、unistochastic集合は凸でないことが示された。

ABSTRACT

A bistochastic matrix is a square matrix with positive entries such that rows and columns sum to unity. A unistochastic matrix is a bistochastic matrix whose matrix elements are the absolute values squared of a unitary matrix. We can now ask questions such as when a given bistochastic matrix is unistochastic. I review these questions: Why they are asked, why they are difficult to answer, and what is known about them.

研究の動機と目的

• 双確率行列がunistochasticである、すなわちあるユニタリ行列の絶対値の二乗として表現可能である条件を特定すること。
• 与えられたunistochastic行列に対応するユニタリ行列の一意性の度合いを、特に量子力学および量子情報の文脈で調査すること。
• Birkhoffの多面体である双確率行列の集合内におけるunistochastic行列の集合の幾何学的・代数的構造を明確にすること。
• 複素Hadamard行列とそのパラメータ空間がunistochastic性を決定し、ユニタリ行列再構成における連続的不定性の存在に与える役割を分析すること。
• 数学的問題を物理的応用、特に量子力学、弱い相互作用（Kobayashi-Maskawa行列）、およびデュアルコーディングやトランスポートーションなどの量子情報プロトコルと結びつけること。

提案手法

• 論文は、N×N双確率行列の凸集合たるBirkhoffの多面体の枠組みを用い、unistochastic行列の幾何的構造を分析する。
• 位相を固定したユニタリ行列の概念を適用し、その行列空間からunistochastic集合への写像の像と特異点を分析する。
• 特にフーリエ行列およびその変形を含む複素Hadamard行列を用いて、unistochastic行列を構成し、そのパラメータ空間を研究する。
• N=3の場合、unistochastic集合が6つの頂点を持つ4次元多面体であることを利用し、ユニタリ行列が離散的不定性を除き一意に定まることを示す。
• N=4の場合、ユニタリ行列再構成における連続的不定性の存在を分析し、位相パラメータφを含む形の複素Hadamard行列においてその不定性が生じることを示す。
• 代数幾何学的手法を用いて、逆問題の可解性を検討する：与えられた双確率行列に対して、その絶対値の二乗がそれらを出力するユニタリ行列が存在するか。

実験結果

リサーチクエスチョン

• RQ1 与えられたN×N双確率行列がunistochasticである、すなわちあるユニタリ行列Uに対して|U_ij|²として表現可能である条件は何か？
• RQ2 unistochastic行列B = |U|²に対応するユニタリ行列Uは、量子力学および量子情報の文脈においてどの程度一意に定まるか？
• RQ3 Birkhoffの多面体内におけるunistochastic行列の集合の幾何学的構造は何か？また、複素Hadamard行列の構造とどのように関係するか？
• RQ4 UをBから再構成する際に連続的不定性が生じるか？もしそうなら、特にN=4およびN=6においてどのような条件下で生じるか？
• RQ5 van der Waerden行列（均一行列）はunistochastic集合の境界上にあるか？これはunistochastic多面体のグローバルトポロジーにどのような意味を持つのか？

主な発見

• N=3の場合、unistochastic行列の集合は6つの頂点を持つ4次元多面体であり、van der Waerden行列を除き、ユニタリ行列Uは離散的不定性を除き一意に定まる。
• N=4の場合、unistochastic集合は9次元であり、特に位相φを含む形の複素Hadamard行列において、ユニタリ行列Uの再構成に連続的不定性が生じる。
• N=4のunistochastic集合は凸ではなく、その境界には直交行列から得られるorthostochastic行列（直交的双確率行列）を含み、非自明な幾何的構造を持つことが示された。
• van der Waerden行列はunistochasticであり、フーリエ行列に対応する。素数Nに対して、unistochastic集合はこの行列の周囲に球体を含む。
• N=4の場合、Uの再構成における連続的不定性を持つ行列の集合は空でなく、1パラメータ族の複素Hadamard行列に対応しており、逆問題における退化を示している。
• 数値的および代数的証拠から、van der Waerden行列がunistochastic集合の境界上にあることが示唆され、後続の研究で確認された。