General teleportation channel in Fermionic Quantum Theory

技術要約：フェルミオン量子論における一般的テレポーテーション・チャネル

問題提起
量子テレポーテーションは、量子情報を転送するための基本的なプロトコルであり、標準量子論（SQT）における最適フィデリティは、共有されたリソース状態の最大シングレット分率の関数として確立されている。しかし、フェルミオン量子論（FQT）はパリティ超選択則（PSSR）を課しており、これは偶数個および奇数個のフェルミオン数を持つ状態のコヒーレントな重ね合わせを禁止する。この制約は、物理的状態の景観を根本的に変え、「局所的にアクセス可能な」もつれと「局所的にアクセス不可能な」相関（トポロジカル相関）の区別を生じさせる。

本研究が扱う中心的な問題は、PSSR制約下でのフェルミオン系の最適テレポーテーション・フィデリティを決定することである。具体的には、著者らは、共有されるリソースがPSSRに従うフェルミオン状態である条件下で、いかにして$N \times N$モードのフェルミオン部分系の、局所的にアクセス可能なもつれを保持しながらテレポーテーションを行うかを調査している。課題は、SQTにおける等方的状態とは大きく異なるPSSR制約を尊重しつつ、共有リソースおよび結果として得られるテレポーテーション・チャネルの標準形を導出することにある。

手法
著者らは、区別可能な粒子に対して用いられるテンソル積形式ではなく、ウェッジ積形式を用いたフェルミオン・ヒルベルト空間による「モード局所（mode local）」の視点を用いている。彼らの手法は、以下の厳密なステップを経て進行する：

1. 数学的枠組み: 反交換関係を満たす生成・消滅演算子を用いてフェルミオン・ヒルベルト空間を定義する。PSSRを尊重する物理的状態および観測量の構造を確立し、物理的な密度行列は偶数/奇数パリティ基底においてブロック対角である（あるいはアンシラによってそのような形式に埋め込み可能である）ことに注意を払う。
2. トウィリングと不変性: HorodeckiらによるSQTのアプローチに従い、著者らはPSSR制限付きトウィリング操作を導入する。ブロック対角（$U_{BD}$）および反ブロック対角（$U_{ABD}$）ユニタリからなる制限付きユニタリ群$U_{res}$を定義する。これに対し、一意なハール測度を用いて積分を行うことで、局所的トウィリングに対して不変なフェルミオン状態の標準形を導出する。
3. ユニタリ2デザイン: 実験的検証を容易にするため、制限付きハール測度に対するユニタリ2デザインとして作用する制限付きクリフォード群（$C^N_{res}$）を構築する。これにより、任意のフェルミオン状態を有限の操作を用いて、その標準的なトウィル不変形へと簡約することが可能になる。
4. 状態-チャネル同型性: 著者らは、フェルミオンの状態-チャネル同型性を確立する。彼らは、最大もつれフェルミオン状態（「Choi状態」）の一方の半分に作用する任意のフェルミオン・チャネルが、特定のノイズを含むフェルミオン・リソース状態に対応することを証明する。この同型性により、テレポーテーション・チャネルの特性を共有リソース状態の特性に直接マッピングすることが可能となる。
5. フィデリティの導出: 著者らは、PSSR制約を尊重する（局所パリティ保存POVMを用いる）操作的もつれフィデリティの尺度を定義する。チャネルへのトウィリング操作を適用し、同型性を利用することで、平均もつれフィデリティの解析的な表現を導出する。

主要な貢献と結果

• フェルミオン等方的状態の標準形: 本論文は、トウィル不変なフェルミオン共有状態の標準構造（式19および式24）を導出している。著者らは、この構造がSQTにおける標準的な等方的状態とは異なることを指摘している。フェルミオン等方的状態には、偶数および奇数パリティの部分空間におけるノイズを表す項に加え、トポロジカル相関（$\Upsilon$によってパラメータ化される）を含む項が含まれている。
• 制限付きクリフォード・トウィリング: 著者らは、制限付きクリフォード群がFQTにおける厳密なユニタリ2デザインであることを証明した。これは、ユニタリ群上の連続的な積分を必要とせずに、フェルミオン・チャネルの平均フィデリティを実験的に検証するための極めて重要な結果である。
• 最適テレポーテーション・フィデリティの表現: 主な結果は、$N \times N$モードのフェルミオン系における部分系テレポーテーションの最大フィデリティの導出である（定理2）。フィデリティ $F(I \wedge E)_{max}$ は以下のように表される：
  $$F(I \wedge E)_{max} = \frac{4(1 + |\Upsilon_1|_{opt})}{d^2 + 4} + (F_f)_{max} \left( 1 - \frac{4(1 + |\Upsilon_1|_{opt})}{d^2 + 4} \right)$$
  ここで、$d = 2^N$であり、$F_f$は最大シングレット分率（正確なテレポーテーション成分の重みに関連する）であり、$\Upsilon_1$は偶数および奇数パリティ部分空間における恒等演算子の重みに関連するパラメータである。最適値は、局所操作および古典通信（LOCC）および局所フィルタリングを通じて達成可能である。
• もつれとトポロジカル相関の区別: 本研究は、導出された最適フィデリティが「局所的にアクセス可能なもつれ」の保持に関するものである一方で、トポロジカル相関（非ゼロの$\Upsilon$）の存在がリソース状態の構造に影響を与えることを明確にしている。著者らは、トポロジカル相関を保持する特定のクラスのチャネルにおいて、もつれが正確に保持される場合であっても、テレポーテーションが偶数および奇数パリティ間の位相減衰チャネルとして作用することを示している。

意義と主張
本論文は、モード局所的な視点において、PSSR制約下でのフェルミオン系における最適テレポーテーション・フィデリティの最初の厳密な導出を提供したと主張している。その意義は以下の通りである：

1. 理論的拡張: 区別可能な粒子（SQT）から区別不可能なフェルミオン（FQT）へと、最適テレポーテーションに関するHorodeckiの枠組みを拡張し、PSSRがいかにリソース状態の異なる標準形を必要とするかを浮き彫りにした。
2. 操作的定義: PSSRによる物理的制限（具体的には、局所トモグラフィーによる特定の状態の識別不能性）と一致する、もつれフィデリティの操作的定義を導入した。
3. 実験的妥当性: 制限付きクリフォード群をユニタリ2デザインとして確立することで、本研究はフェルミオン・テレポーテーション・プロトコルの実験的ベンチマークのための実用的な経路を提供している。著者らは、編み込み（braiding）操作によって必要な制限付きクリフォードゲートを実現できる、固体系におけるマヨラナ零モード（MZM）やフェルミオン中性原子プラットフォームを用いた実装の可能性を示唆している。
4. リソースの明確化: 本研究は、フェルミオンのもつれとトポロジカル相関の有用性を区別しており、トポロジカル相関がある種のタスクにはリソースとなる一方で、ここで導出された標準的な最適テレポーテーション・フィデリティは、局所的にアクセス可能なもつれの保持に焦点を当てていることを述べている。

著者らは、自分たちがもつれの保持に関する問題を解決したが、トポロジカル相関を特異的に保持するための最適フィデリティについては依然として未解決の問題であると控えめに結論づけている。また、彼らの結果は最大もつれ基底測定を想定しているが、非最大もつれ測定への拡張は可能であるとも述べている。