Equivalence of mutually unbiased bases via orbits: general theory and a $d=4$ case study

技術要約：軌道による相互無相関基底の同値性

問題の定義
相互無相関基底（MUB）とは、複素ヒルベルト空間 $\mathcal{H} = \mathbb{C}^n$ における正規直交基底の集合であり、異なる基底間の任意のベクトル間の内積の絶対値が $1/\sqrt{n}$ で一定となるものである。素数冪の次元においては、完全な集合（$n+1$ 個）の存在が保証されている一方で、ユニタリ同値性の観点からのMUB集合の分類は、特に合成次元において依然として大きな課題となっている。MUBリストの構築における特有の困難は、反復的な選択肢に冗長性があることである。すなわち、異なる反復的選択がしばしばユニタリ同ally等価な集合をもたらし、それが個別のMUB構造の真の分類を不明瞭にしている。本論文は、2つのMUBリストがいつ同値であるかを特徴付けるための厳密な幾何学的枠組みを構築することで、分類に必要なパラメータ空間を削減する必要性に取り組んでいる。

手法
著者らは、正規直交基底の多様体 $M_n$ に基づく幾何学的枠組みを構築する。

1. $M_n$ の幾何学的構成： $M_n$ は、$\mathbb{C}^n$ の順序なし正規直交基底（射影基底）の集合として定義される。これは、完全旗多様体 $\tilde{M}_n = U(n)/T_n$ を対称群 $S_n$ によって離散的に商をとったもの、あるいは、等価的には $M_n = U(n)/C_n$（ここで $C_n = S_n \ltimes T_n$ は極大トーラスの正規化群である）として構成される。
2. MUB性（MUBness）の計量： $M_n$ 上に「MUB性」と呼ばれる計量 $D(p,q)$ を導入する。この計量は、基底をそのランク1の射影によって生成される部分空間（恒等行列によるシフト）へと送る写像 $\phi$ を通じて、$M_n$ をグラスマン多様体 $Gr(n-1, \mathfrak{su}(n))$ へ埋め込むことで導出される。グラスマン多様体上の弦距離（chordal distance）のプルバックによって $D(p,q)$ が定義され、$p$ と $q$ が相互無相関であるとき、$D(p,q) = \sqrt{n-1}$ となる。ユニタリ群 $U(n)$ は $M_n$ 上に等長変換として作用する。
3. 反復的構成とスタビライザー： 本論文は、MUBリストの構築を反復プロセスとして捉える。$k-1$ 個の基底が与えられたとき、$k$ 番目の基底の候補集合は、$N(q_1, \dots, q_{k-1}) = \bigcap_{i=1}^{k-1} V(q_i)$ である。ここで $V(q)$ は $q$ に対して無相関な基底の集合である。
4. 軌道解析： コアとなる理論的ツールは、候補集合 $N(q_1, \dots, q_{k-1})$ に対する「同時スタビライザー（同時安定化部分群）」$U(n)_{q_1, \dots, q_{k-1}} = \bigcap_{i=1}^{k-1} U(n)_{q_i}$ の作用の解析である。著者らは、2つの候補基底 $p$ と $r$ が、ユニタリ同値なMUBリスト $(q_1, \dots, q_{k-1}, p)$ と $(q_1, \dots, q_{k-1}, r)$ を与えるための必要十分条件は、$p$ と $r$ が同時スタビライザーの下で同一の軌道に属することであることを証明している。

主要な貢献と結果

• 一般同値定理（定理4）： 本論文は、ユニタリ同値性の観点におけるMUBリストの分類が、同時スタビライザー群の軌道の下での候補空間 $N(q_1, \dots, q_{k-1})$ 内の点の分類と同値であることを確立している。これは、複素アダマール行列とMUBペアの関係（スタビライザーが $C_n$ である場合）を、任意の長さのMUBリストへと一般化したものである。
• 離散的な軌道構造： $k > 1$ の場合、候補空間上の同時スタビライザーの軌道は離散的（有限）であることが証明された。これは、MUBリストの構築における冗長性が連続的なものではなく、任意のステップにおいて有限個の等価な選択肢からなることを意味している。
• 次元 $d=4$ におけるケーススタディ： 著者らはこの枠組みを次元 $n=4$ に適用した。
  • 固定されたペア $(e, f_0)$（ここで $e$ は標準基底であり、$f_0$ は特定の複素アダマール行列 $F_4(0)$ に対応する）を拡張するMUBトリプルを分析する。
  • 候補空間 $N(e, f_0)$ は、2つの実変数 $(y, z) \in [0, \pi)^2$ によってパラメータ化される。
  • 同時スタビライザー群 $G = (C_4 \cap F_4(0)C_4 F_4(0)^\dagger) / Z(U(4))$ を明示的に計算したところ、これは位数32の有限群（$G \cong B \ltimes \mathbb{Z}_4$）であることが判明し、この群のパラメータ空間への作用を決定した。
  • 新たな同値性： この解析により、次元4におけるMUBトリプルのパラメータ空間が4分の1に減少することが明らかになった。具体的には、4つの異なるパラメータ対 $(y, z)$ が群の作用の下で等価であり、ユニタリ同値性の観点から同一のMーブトリプルを与えることが示された。これらの同値性はこれまで知られていなかったものである。

意義
この幾何学的定式化は、MUBの反復的構築に内在する冗長性を軽減するための体系的な手法を提供すると主張されている。軌道を通じて等価な選択肢を特徴付けることにより、このアプローチは以下のを実現する：

1. 分類の一般化： 複素アダマール行列の分類（$k=2$ のケース）を、任意の長さのMUB集合の分類というより広い問題へと統一する。
2. 複雑性の低減： 次元 $d=4$ のトリプル・ケースで示されたように、パラメータ空間を大幅に縮小できることを実証している。
3. 探索の容易化： 軌道の離散的な性質は、スタビライザー作用の基本領域に注意を制限することで、MUBの完全な数値探索がより実行可能になる可能性を示唆している。
4. 幾何学的洞察： MUBの存在問題を、入れ子状の部分集合 $N(q_1, \dots, q_k)$ 内の点を見つけるという幾何学的な問題へと再構成しており、これにより、次元 $n=6$ におけるアダマール行列の分類のような未解決問題に対して、コンパクトなリー群作用を持つ滑らかな多様体の理論のツールを適用できる可能性がある。

著者らは、現在の研究は順序付きのMUBリストに焦点を当てているが、この枠組みは順序なしの集合へと拡張可能であり、幾何学的構造（$M_n$ 上のベクトル束など）は表現論や旗多様体のコホモロジーへのさらなるつながりを提供する可能性があると述べている。