Sparse positive maps on qutrits with exact nondecomposability thresholds and PPT-entanglement transitions

技術要約：正確な非分解性閾値とPPTもつれ転移を持つ、キュトリット上の疎な正写像

問題設定
二部系の混合状態が可分（セパラブル）か、あるいはもつれている（エンタングルしている）かを判定することは、計算量的に困難な問題である。ペレス・ヘロデスキ基準（正の部分転置、PPT）は、$2 \times 2$ および $2 \times 3$ の系においては可分性の必要十分条件であるが、高次元においては「バウンドもつれ（bound entangled）」状態（PPTでありながらもつれている状態）が存在するため、この基準は機能しない。正写像の理論は、この問題を扱うための強力な枠組みを提供する。すなわち、ある状態が可分であるための必要十分条件は、すべての正写像 $\Phi$ に対して $id \otimes \Phi$ の作用下で正性を保つことである。極めて重要な点として、PPTもつれ状態を検出するためには、非分解な正写像が必要となる。なぜなら、分解可能な写像はそれらの状態を検出できないからである。非分解な正写像の解析的な扱いが容易な、明示的な境界と関連するPPTもつれ状態を持つ一族は、これまで極めて稀であった。

手法
著者らは、最適化ベースの探索によって特定された、キュトリット（$d=3$）に作用する特定の疎な正写像の一族を調査している。写像 $\Phi: B(\mathbb{C}^3) \to B(\mathbb{C}^3)$ は、パラメータ $a, b, c \geq 0$ および複素数 $w, z$ によって定義される。関連するチョイ行列 $C_\Phi$ の疎性は、正確な解析的扱いを可能にする中心的な構造的特徴である。

手法は、主に以下の3つの解析ステップで構成される：

1. 正性解析： 写像が正である（ただし必ずしも完全正である必要はない）という条件は、エルミート二重二次形式 $Q(x, y)$ の非負性、あるいは同等に $C_\Phi$ のブロック正性に帰着される。これは、単体変数に依存する $3 \times 3$ 行列 $M(x)$ のシルベスターの判定法を用いて解析される。
2. 分解性閾値： 写像が分解可能か非分解かを区別するために、著者らは特定のPPT状態に対してチョイ行列をテストする。もしPPT状態 $\rho$ に対して $\text{Tr}[C_\Phi \rho] < 0$ であれば、その写像は非分解であることが証明される。逆に、分解可能性は、完全正写像と完全共正写像の明示的な凸結合を構成することによって確立される。
3. 状態の構成： 著者らは、これらの写像によって検出される二部系状態の家族を構成する。彼らは2種類の状態を分析する：「証拠適合型（witness-adapted）」の変形（分解性解析に直接関連するもの）と、「鋭鋭化された（sharpened）」家族（固定された正写像によってPPTもつれの全領域が検出されるもの）である。

主要な貢献と結果
本論文は、キュトリット写像クラスにおける3つの代表的なパラメータ一族に対して、正確な解析的境界を導出している：

• ケース1 ($b=c, w=z=1$): 著者らは、正確な正性境界 $b_{\min}(a)$ と、正確な分解性閾値 $b_{\text{dec}}(a) = 1 - a/\sqrt{2}$ を導出している。写像が非分解であるための必要十分条件は $b < b_{\text{dec}}(a)$ であることを示している。
• ケース2 ($b=c=(1-a)/2, w=z \geq 0$): この一族はトレース保存写像に対応する。著者らは、正性領域が $w_{\max}(a)$ によって境界付けられ、分解性閾値 $w_{\text{dec}}(a) = \frac{\sqrt{2}-1}{2}a + \frac{1}{2}$ によって制限されることを決定した。さらに、これらの結果を2-正写像に関する最近のスペクトル境界（文献[26]）と比較し、正写像であるが2-正性を満たさない特定の領域（パラメータ空間における「赤い三角形」）を特定し、1-正性と2-正性の間のギャップを明示的に特徴付けた。
• ケース3 ($a=c, b=1-2a, w=z \geq 0$): 著者らは、外部ブランチと内部ブランチからなる複雑な正性境界を導出している。また、正確な分解性閾値 $w_{\text{dec}}(a) = a\sqrt{2} + \sqrt{a - 2a^2}$ を確立している。

PPTもつれ状態の構成
本研究は、明示的な二キュトリット状態の一族を構成している：

1. 証拠適合型家族: 非分解性を証明するために用いられたPPT状態の変形。これらの状態は、可分な状態からPPTもつれ状態へと遷移するが、単純な固定された証拠（ウィットネス）では必ずしも最適に検出されない場合がある（特定のパラメータ範囲ではCCNRやDPSの階層のような、より強い基準を必要とする）。
2. 鋭鋭化された家族: 単一の固定された正写像によって、PPTもつれの全ブランチ（可分性の閾値からPPT限界まで）が検出される、代替的な一パラメータ家族。これにより、これらの特定の状態家族における可分性とバウンドもつれ間の正確な閾値が得られる。

意義
本論文は、このキュトリットの一族が、正性、分解可能性、およびPPTもつれを等しく扱うことができる「解析的に制御された設定」を提供すると主張している。チョイ行列の疎さを活用することで、著者らは文献では稀なレベルの明示性を達成している：

• 正性領域と分解性閾値に対して、正確な閉形式の式を提供している。
• 明示的なPPTもつれ状態を構成し、その可分性ともつれの領域を解析的に解決している。
• トレース保存の部分クラスにおいて、正性と高次の正性（特に2-正性）の間のギャップを完全に明示している。

本研究は、最適化ベースの探索と構造的解析を組み合わせることで、いかにして新しい、厳密に解可能な非分解写像の一族が得られるかを示す、「低次元の実験室」としての役割を果たすものである。