[論文レビュー] Reductions in finite-dimensional quantum mechanics : from symmetries to operator algebras and beyond

Oleg Kabernik|arXiv (Cornell University)|Jan 1, 2021

Quantum Information and Cryptography参考文献 97被引用数 2

ひとこと要約

本学位論文は、対称性を超えて作用素代数および作用素系へと量子還元を拡張し、不変表現構造を解析的に導出するためのスキャッタリングアルゴリズムを導入する。これにより、対称性に依存しない動的還元が可能となり、作用素系を用いた量子粗粒化が定式化され、有限分解能測定下における量子から古典への転移が特徴づけられる。

ABSTRACT

The idea that symmetries simplify or reduce the complexity of a system has been remarkably fruitful in physics, and especially in quantum mechanics. On a mathematical level, symmetry groups single out a certain structure in the Hilbert space that leads to a reduction. This structure is given by the irreducible representations of the group, and in general it can be identified with an operator algebra (a.k.a. C*-algebra or von Neumann algebra). The primary focus of this thesis is the extension of the framework of reductions from symmetries to operator algebras, and its applications in finite-dimensional quantum mechanics. Finding the irreducible representations structure is the principal problem when working with operator algebras. We will therefore review the representation theory of finite-dimensional operator algebras and elucidate this problem with the help of two novel concepts: minimal isometries and bipartition tables. One of the main technical results that we present is the Scattering Algorithm for analytical derivations of the irreducible representations structure of operator algebras. For applications, we will introduce a symmetry-agnostic approach to the reduction of dynamics where we circumvent the non-trivial task of identifying symmetries, and directly reduce the dynamics generated by a Hamiltonian. We will also consider quantum state reductions that arise from operational constraints, such as the partial trace or the twirl map, and study how operational constraints lead to decoherence. Apart from that, we will extend the idea of reduction beyond operator algebras to operator systems, and formulate a quantum notion of coarse-graining that so far only existed in classical probability theory. We will also characterize how the uncertainty principle transitions to the classical regime under coarse-grained measurements and discuss the implications in a finite-dimensional setting.

研究の動機と目的

• 対称性に基づく枠組みから作用素代数および作用素系への量子還元を一般化し、事前の対称性同定なしに解析が可能な状態を実現すること。
• 有限次元作用素代数の不変表現（irrep）構造を体系的に導出する方法を開発すること、これは量子理論における主要な課題である。
• 作用素系を用いて、現実的な制約を考慮した量子状態の圧縮およびトモグラフィーに適した、古典的粗粒化の量子版を定式化すること。
• 離散系における有限分解能測定下で不確定性原理がどのように古典的挙動へと移行するかを調査すること。
• 最小長スケールが量子測定の撹乱および古典性の出現に与える影響を検討すること。

提案手法

• 生成集合から有限次元C*-代数の不変表現構造を計算するための新規な解析的手法、すなわちスキャッタリングアルゴリズムを導入する。
• 最小等長写像および二部分割表という二つの新概念を導入し、ヒルベルト空間の不変成分への分解を符号化する。
• ハミルトニアンの明示的対称性同定を要せず、スキャッタリングアルゴリズムを用いて直接的に動的還元を実行する。
• 作用素代数の枠組みを作用素系へと拡張し、乗法的閉包を満たさない物理的に実現可能な観測量をモデル化する。
• 部分的二部分割表によって表現されるCPTP写像として、量子的粗粒化の概念を提案し、古典的粗粒化を一般化する。
• 格子モデルを用いて、互いに不確定な観測量間の相互撹乱を定量的に評価し、有限分解能下での不確定性原理の挙動を分析する。

実験結果

リサーチクエスチョン

• RQ1 有限次元作用素代数の不変表現構造を、群の対称性に依存せずに体系的に導出する方法は何か？
• RQ2 ハミルトニアンからその背後にある対称性群を同定せずとも、どの程度まで動的還元を直接行えるか？
• RQ3 古典的粗粒化の量子版とは何か？また、作用素系を用いてどのように形式化できるか？
• RQ4 有限次元的で離散的な設定下で、測定分解能が低下するに従って不確定性原理はどのように変化するか？
• RQ5 最小長スケールの存在が量子測定に与える測定可能な効果は何か？また、それは状態の一貫性にどのように影響するか？

主な発見

• スキャッタリングアルゴリズムは、任意の有限次元C*-代数の不変表現構造を生成集合から完全に解析的に決定するための手法を提供する。
• 本フレームワークにより、ハミルトニアン項が生成する代数を直接解析することで、対称性に依存しない量子動的還元が可能になる。
• 作用素系は作用素代数を一般化し、物理的に実現可能な観測量をモデル化可能であり、量子粗粒化をCPTP写像として定式化することが可能になる。
• 二部分割表は、部分トレース、ユニタリ発展、測定など、さまざまな量子操作を表現でき、部分的な表は量子粗粒化を捉える。
• 不確定性原理は、格子単位長の平方根に比例する分解能スケールで古典的挙動へと移行し、量子から古典への転移が示唆される。
• 最小長スケールは、連続する位置測定の一貫性を攪乱し、最小長と最大長の幾何平均が不確定性原理に関連する特別なスケールとして現れる。