[論文レビュー] Entropic uncertainty relations for incomplete sets of mutually unbiased observables

Adam Azarchs|ArXiv.org|Dec 10, 2004

Quantum Mechanics and Applications参考文献 8被引用数 9

ひとこと要約

本稿は、高次元量子系における、完全でない大規模な相互 unbiased 行動観測量の集合に対して、改善されたエントロピー的不確定性関係を導出する。純度制約と凸最適化を活用することで、M ≈ N/log N の中間的領域において、従来の境界を著しく上回る、Rényi エントロピーの和のより鋭い下界を確立する。

ABSTRACT

Entropic uncertainty relations, based on sums of entropies of probability distributions arising from different measurements on a given pure state, can be seen as a generalization of the Heisenberg uncertainty relation that is in many cases a more useful way to quantify incompatibility between observables. Of particular interest are relationships between `mutually unbiased' observables, which are maximally incompatible. Lower bounds on the sum of entropies for sets of two such observables, and for complete sets of observables within a space of given dimension, have been found. This paper explores relations in the intermediate regime of large, but far from complete, sets of unbiased observables.

研究の動機と目的

• M が大規模ではあるが d 次元ヒルベルト空間における M 個の相互 unbiased 基底のエントロピー和に対する非自明な下界を導出すること。
• 特に量子情報ロックに関連する M ≈ N/log N の領域において、不完全な相互 unbiased 行動観測量集合の不確定性関係のギャップを埋めること。
• 対ごとの不確定性関係からの弱い境界や、欠落した基底を除外する粗い推定に基づく境界を改善すること。
• M が完全な集合サイズ N+1 に近くない場合でも有効である、より鋭く解析的に取り扱いやすい境界を提供すること。

提案手法

• 各基底 k における状態の純度 π_k と全純度 Π を用いて、∑_{k=1}^{N+1} π_k = Π + 1 という恒等式を用い、M 基底における純度の和を制約する。
• ∑_{k=1}^M π_k ≤ (N - 1 + M)/N の制約下で、∏_{k=1}^M π_k ≤ ( (N - 1 + M)/(N M) )^M という不等式を適用する。
• H_k ≥ -ln π_k を用いて純度の境界をエントロピーの境界に翻訳し、∑_{k=1}^M H_k ≥ M log( N M / (N - 1 + M) ) を得る。
• Sánchez [8] が提示した凸不等式を用いて、π_k が 1/m の形でない場合にエントロピー-純度関係を鋭くする。
• m = ceil(N M / (N + M - 1)) を用いて、改善された境界を適用し、エントロピー和の推定値を精緻化する。
• 数値的および解析的に境界を検証し、中間的 M 領域において、対ごとの境界および除外に基づく境界を上回ることを示す。

実験結果

リサーチクエスチョン

• RQ1 d 次元系において M が大規模であるが M ≪ N+1 のとき、M 個の相互 unbiased 基底の Rényi エントロピー和に対する最も鋭い下界は何か？
• RQ2 中間的領域における非自明な不確定性関係を導くために、相互 unbiased 基底の部分集合における純度制約をどのように活用できるか？
• RQ3 凸最適化技術を用いてエントロピー-純度関係を鋭くすることで、標準的な対ごとのまたは完全集合のアプローチを凌駕する不確定性境界を改善できるか？
• RQ4 新しい境界は M=1 および M=N+1 の端点付近でどのように振る舞い、これらの極限で既知の鋭い境界と整合性を保っているか？

主な発見

• 本稿は新たな下界 ∑_{k=1}^M H_k ≥ M log( N M / (N - 1 + M) ) を導出し、M ≈ N/log N の中間的領域において、対ごとの境界 (4) や除外に基づく境界 (5) よりも鋭いことを示す。
• N = 1009 および M ≈ N/log N の場合、新しい境界 (8) は図1に示すように、弱い境界 (4) および (5) を著しく上回る。
• Sánchez の凸不等式を用いた精緻化された境界 (9) は、N M / (N + M - 1) が整数でない場合に (8) よりも改善される。このとき m = ceil(N M / (N + M - 1)) である。
• 境界 (8) は (9) よりわずかに弱いが、解析的に取り扱いやすく、実用的である。
• 導出された境界は、既知の鋭さの条件と整合している：M=1 および M=N+1 の極限で正しい極限値に還元される。
• 本手法は、対ごとの不確定性と完全集合の不確定性の間を系統的に補間する方法を提供し、量子情報理論における重要なギャップを埋める。