生成のエンタングルメントのモロー・吉田近似と誤差評価
The Moreau-Yosida approximation of the Entanglement of Formation: basic properties and accuracy estimates
この論文をやさしく読む
ひとことで言うと
量子もつれの指標である生成のエンタングルメントを、扱いやすい連続な関数で近似し、誤差を評価する理論研究。
何に役立つ？
生成のエンタングルメントの値を近似するとき、近似誤差や収束速度を見積もるために役立つ。要旨で述べるのは数学的性質と評価であり、実機での利用は示していない。
この研究の面白いところ
有限次元だけでなく無限次元の部分系も扱い、一方の周辺状態の階数・エネルギーが有界という条件の下で一様収束速度を評価する。近似値と元の値が一致する状態のクラスも検討する。
どこまで分かった？
選択的LOCCに関する単調性は予想として述べられており、証明済みとはされていない。一様収束速度の評価には、要旨で示された階数またはエネルギーの有界性という条件が付く。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
有限次元または無限次元の部分系からなる二部量子系の状態集合上で定義された、凸で一様連続な関数の族 E_F^λ（λ>0）を記述する。これらの関数は、λが0に近づくにつれて単調に増加し、生成のエンタングルメント（EoF）に各点で収束する。これらは、現代の凸解析で凸集合上の凸関数に用いられるモロー・吉田正則化（モロー包絡）の構成に近い方法で定義される「非選択的」なエンタングルメント・モノトンである。そのため、EoFのモロー・吉田近似と呼び、同値な定義と基本的な性質を示す。既報のEoFの半連続性に関する評価を用いると、与えられた状態ρにおける差 E_F(ρ)−E_F^λ(ρ) の計算しやすい上界が得られる。この上界から、一方の周辺状態の階数またはエネルギーが有界な状態集合上で、λが正の側から0に近づくときの E_F^λ のEoFへの一様収束速度についても計算しやすい上界が得られる。また、ある状態ρにおいて、十分小さいすべてのλに対して E_F(ρ) と E_F^λ(ρ) が一致する十分条件を論じ、一致が成り立つ状態のいくつかのクラスを検討する。E_F^λ が選択的LOCCに関しても単調であるという予想と、その証明の可能な方法についても簡単に論じる。論文の副次的な部分はChatGPT-5.6の助けを借りて書かれている。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-24（UTC）
- 最新改訂
- 2026-09-24 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-24 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We describe a family of convex uniformly continuous functions $E^\lambda_F$, $\lambda>0$, on the set of states of a bipartite quantum system (consisting of finite-dimensional or infinite-dimensional subsystems), which monotonically increase and converge pointwise to the Entanglement of Formation (EoF) as $\lambda\to0$. These functions are "nonselective" entanglement monotones defined by the way close to the construction of the Moreau-Yosida regularization (the Moreau envelope) of a convex function on a convex set used in the modern convex analysis. So, we call the functions $E^\lambda_F$ the Moreau-Yosida approximations of the EoF and describe their equivalent definitions and basic properties. The semicontinuity bounds for the EoF (presented in [Lob.J.Math., 46(6), 2632-2658]) allow us to obtain easily computable upper bounds on the difference $E_F(\rho)-E^\lambda_F(\rho)$ for a given state $\rho$. These bounds give easily computable bounds on the rate of uniform convergence of the function $E^\lambda_F$ to the EoF as $\lambda\to0^+$ on the sets of states with bounded rank/energy of one of the marginal states. We also discuss sufficient conditions for the coincidence of $E_F(\rho)$ and $E^\lambda_F(\rho)$ at a given state $\rho$ for all $\lambda$ small enough and consider several classes of states for which such coincidence takes place. The conjectured selective LOCC-monotonicity of the functions $E^\lambda_F$ and a possible way to prove it are briefly discussed. Secondary parts of the article are written with the help of ChatGPT-5.6.
著者のコメント
23 pages, 2 figures, preliminary version, any comments are welcome
arXiv ID: 2609.30246 ／ 要約の誤りについて