論文の概要: Self-testing of exact entanglement embezzlement
- arxiv url: http://arxiv.org/abs/2605.22713v1
- Date: Thu, 21 May 2026 16:50:39 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-05-22 16:35:42.352032
- Title: Self-testing of exact entanglement embezzlement
- Title(参考訳): エンタングルメントエンベジメントの自己検査
- Authors: Samuel J. Harris,
- Abstract要約: 我々はヒルベルト空間$mathcalH$における触媒状態ベクトル$$の正確なエンタングルメントエンベジメントをユニタリを用いて検討する。
そのようなプロトコルは、テンソル積 $mathcalO_d otimes MathcalO_d$ 上の一意の状態から生まれなければならないことを示す。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We consider bipartite exact entanglement embezzlement with a catalyst state vector $ψ$ in a Hilbert space $\mathcal{H}$ using unitaries (or more generally, contractions). If $\mathcal{M} \subseteq \mathcal{B}(\mathcal{H})$ is a von Neumann algebra and $U \in M_d \otimes \mathcal{M}$ and $V \in \mathcal{M}' \otimes M_d$ are unitaries (or more generally contractions), then such a protocol is of the form $(U \otimes I_d)(I_d \otimes V)(e_0 \otimes ψ\otimes e_0)=\sum_{i=0}^{d-1} α_i e_i \otimes ψ\otimes e_i$, where each $α_i>0$ and $\sum_{i=0}^{d-1} α_i^2=1$. We show that any such protocol must arise from a unique state on the tensor product $\mathcal{O}_d \otimes \mathcal{O}_d$ of the Cuntz algebra with itself. As a result, we prove that exact entanglement embezzlement is a self-test for a collection of $d$ Cuntz isometries for each party and a unique quasi-free state on the Cuntz algebra $\mathcal{O}_d$ in the sense of \cite{Iz93}. Moreover, we use modular theory to show that the von Neumann algebra generated by the copy of $\mathcal{O}_d$ is the unique separable approximately finite-dimensional Type $\text{III}_λ$ factor for some $0<λ\leq 1$, where $λ$ can be determined by an algebraic condition on the Schmidt coefficients of the state $\varphi=\sum_{i=0}^{d-1} α_i e_i \otimes e_i$.
- Abstract(参考訳): ヒルベルト空間$\mathcal{H}$ の触媒状態ベクトル $ をユニタリ(あるいはより一般的には縮約)を用いて両部共役の正確なエンタングルメントエンベジメントを考える。
もし、$\mathcal{M} \subseteq \mathcal{B}(\mathcal{H})$ がフォン・ノイマン代数であり、$U \in M_d \otimes \mathcal{M}$ と $V \in \mathcal{M}' \otimes M_d$ がユニタリー(あるいはより一般的な契約)であれば、そのようなプロトコルは $(U \otimes I_d)(I_d \otimes V)(e_0 \otimes )\otimes e_0)=\sum_{i=0}^{d-1} α_i e_i \otimes )\otimes e_i$ である。
そのようなプロトコルは、クンツ代数のテンソル積 $\mathcal{O}_d \otimes \mathcal{O}_d$ 上の一意の状態から生じなければならないことを示す。
結果として、正確な絡み合いの埋め込みは、各党に対する$d$ Cuntz等距離の集合の自己テストであり、かつ、Cuntz代数 $\mathcal{O}_d$ 上の一意な準自由状態は、 \cite{Iz93} の意味において証明される。
さらに、モジュラー理論を用いて、$\mathcal{O}_d$ のコピーによって生成されるフォン・ノイマン代数が、ある$0<λ\leq 1$ に対して、一意的に分離可能な Type $\text{III}_λ$ factor であることを示し、そこで$λ$ は状態 $\varphi=\sum_{i=0}^{d-1} α_i e_i \otimes e_i$ のシュミット係数上の代数的条件で決定できる。
関連論文リスト
- The structure of gauge invariant Gaussian quantum operations on finite Fermion systems [0.0]
量子演算の半群を$mathscr G_mathcal H_GIG$上で研究する。
それぞれの$etmathscr L$ は 1 対 1 であり、最初の主要な結果は $mathscr G_mathcal H_GIG$ 上のそのような量子演算の構造定理である。
論文 参考訳(メタデータ) (2026-05-01T17:00:29Z) - Discrete symmetries in classical and quantum oscillators [51.56484100374058]
複素バーグマン・フォック・セガル表現において、量子ハミルトニアンの固有函数 $_n=zn$ を示す。
重ね合わせ $=sum_n c_n_n$ は、シュルディンガー方程式を解くための初期データの不完全な知識によってのみ生じる。
論文 参考訳(メタデータ) (2026-01-05T10:04:39Z) - Approximating the operator norm of local Hamiltonians via few quantum states [53.16156504455106]
複素ヒルベルト空間上で作用するエルミート作用素 $A$ を 2n$ とする。
A$ がパウリ拡大において小さな次数を持つとき、あるいは言い換えれば、$A$ は局所 $n$-量子ハミルトニアンである。
A$ が $d$-local, textiti.e., $deg(A)le d$ であるときは常に、次の離散化型不等式を持つことを示す。
論文 参考訳(メタデータ) (2025-09-15T14:26:11Z) - Monogamy of entanglement between cones [43.57338639836868]
モノガミーは量子論の特徴であるだけでなく、凸錐の一般対の極小テンソル積を特徴づけることを示した。
我々の証明は、アフィン同値まで単純化された生成物の新たな特徴を生かしている。
論文 参考訳(メタデータ) (2022-06-23T16:23:59Z) - Uncertainties in Quantum Measurements: A Quantum Tomography [52.77024349608834]
量子系 $S$ に関連する可観測物は非可換代数 $mathcal A_S$ を形成する。
密度行列 $rho$ は可観測物の期待値から決定できると仮定される。
アーベル代数は内部自己同型を持たないので、測定装置は可観測物の平均値を決定することができる。
論文 参考訳(メタデータ) (2021-12-14T16:29:53Z) - Spectral properties of sample covariance matrices arising from random
matrices with independent non identically distributed columns [50.053491972003656]
関数 $texttr(AR(z))$, for $R(z) = (frac1nXXT- zI_p)-1$ and $Ain mathcal M_p$ deterministic, have a standard deviation of order $O(|A|_* / sqrt n)$.
ここでは、$|mathbb E[R(z)] - tilde R(z)|_F を示す。
論文 参考訳(メタデータ) (2021-09-06T14:21:43Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。