[논문 리뷰] Reductions in finite-dimensional quantum mechanics : from symmetries to operator algebras and beyond

Oleg Kabernik|arXiv (Cornell University)|2021. 01. 01.

Quantum Information and Cryptography참고 문헌 97인용 수 2

한 줄 요약

이 학위논문은 대칭성을 초월하여 연산자 대수학과 시스템으로 양자 감소를 확장하며, 비가역 표현의 구조를 분석적으로 유도하는 데 사용되는 산산이 흩어지는 알고리즘(Scattering Algorithm)을 도입한다. 이는 대칭성에 의존하지 않는 동역학 감소를 가능하게 하고, 연산자 시스템을 통한 양자 거시화를 정식화하며, 유한 해상도 측정 하에서의 양자에서 고전으로의 전이를 특성화한다.

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*-대수학의 비가역 표현 구조를 생성 집합에서 분석적으로 계산하는 데 사용되는 새로운 분석적 방법인 산산이 흩어지는 알고리즘(Scattering Algorithm)을 도입한다.
• 최소等장과 이분할 표를 두 가지 새로운 개념으로 도입하여, 힐베르트 공간의 비가역 구성 요소로의 분해를 인코딩한다.
• 대칭성 식별이 필요 없이도 하미르토니안에 직접적으로 적용하여 동역학 감소를 가능하게 하는 산산이 흩어지는 알고리즘을 적용한다.
• 연산자 대수학에서 연산자 시스템으로의 프레임워크 확장을 통해, 곱셈에 대해 닫히지 않는 물리적으로 실현 가능한 관측 가능성을 모델링한다.
• 부분 이분할 표를 통해 표현되는 CPTP 사상으로서의 양자 거시화 개념을 제안하여 고전적 거시화를 일반화한다.
• 격자 기반 모델을 사용하여 상호 간섭 가능한 관측 가능성을 상호 간섭하는 정도로 정량화하고, 유한 해상도에서 불확정성 원리의 행동을 분석한다.

실험 결과

연구 질문

• RQ1 유한 차원 연산자 대수학의 비가역 표현 구조는 군 대칭성에 의존하지 않고 어떻게 체계적으로 도출될 수 있는가?
• RQ2 하미르토니안의 기저 대칭군을 식별하지 않고도 동역학은 어느 정도 직접적으로 감소시킬 수 있는가?
• RQ3 고전적 거시화의 양자 버전은 무엇이며, 어떻게 연산자 시스템을 사용하여 정식화할 수 있는가?
• RQ4 이산적이고 유한 차원적인 설정에서 측정 해상도가 감소함에 따라 불확정성 원리는 어떻게 변화하는가?
• RQ5 최소 길이 척도 존재가 양자 측정에서 어떤 측정 가능한 영향을 미치며, 상태 일관성에 어떻게 영향을 미치는가?

주요 결과

• 산산이 흩어지는 알고리즘은 임의의 유한 차원 C*-대수학의 비가역 표현 구조를 생성 집합에서 완전하고 분석적으로 결정하는 데에 효과적인 방법을 제공한다.
• 이 프레임워크는 하미르토니안의 항들을 직접 분석함으로써 대칭성에 의존하지 않는 양자 동역학 감소를 가능하게 한다.
• 연산자 시스템은 물리적으로 실현 가능한 관측 가능성을 모델링하기 위해 연산자 대수학을 일반화하며, CPTP 사상으로서의 양자 거시화를 정식화할 수 있도록 한다.
• 이분할 표는 부분 표로 표현되는 양자 거시화를 포함하여, 부분 추적, 유니터리 진동, 측정 등 다양한 양자 연산을 표현할 수 있다.
• 불확정성 원리는 격자 단위 길이의 제곱근 비례의 해상도 척도에서 고전적 행동으로 전이되며, 이는 양자에서 고전으로의 전이점으로서의 특징을 나타낸다.
• 최소 길이 척도는 연속적인 위치 측정 간의 일관성에 영향을 미치며, 최소 길이와 최대 길이의 기하 평균이 불확정성 원리와 연결된 특별한 척도로 나타난다.