[논문 리뷰] Constraints for the spectra of generators of quantum dynamical semigroups

Dariusz Chruściński, Ryohei Fujii외 2명|arXiv (Cornell University)|2021. 06. 15.

Spectral Theory in Mathematical Physics참고 문헌 29인용 수 13

한 줄 요약

이 논문은 힐버트-슈미트 내적과 복소행렬의 교환자에 의해 정의된 실수 값 기능 r(A, B)에 대해 최적의 상한과 하한을 유도하며, 양자 동역학적 반군에의 응용을 포함한다. 핵심 결과는 행렬 크기 n과 무관하게 c± = 1 ± √2/2인 최대의 일반적 상한과 하한이며, A가 트레이스가 0인 경우 더 날카운 상한과 하한 c± = [1 ± √2(1−1/n)]/2가 유도된다. 이러한 경계는 이전 결과보다 개방된 양자 시스템의 리라크세이션 속도를 더 엄격하게 제약한다.

ABSTRACT

Motivated by a spectral analysis of the generator of completely positive trace-preserving semigroup, we analyze a real functional $$ A,B \in M_n(\mathbb{C}) o r(A,B) = \frac{1}{2}\Bigl(\langle [B,A],BA angle + \langle [B,A^\ast],BA^\ast angle \Bigr) \in \mathbb{R} $$ where $\langle A,B angle := { m tr} (A^\ast B)$ is the Hilbert-Schmidt inner product, and $[A,B]:= AB - BA$ is the commutator. In particular we discuss the upper and lower bounds of the form $c_- \|A\|^2 \|B\|^2 \le r(A,B) \le c_+ \|A\|^2 \|B\|^2$ where $\|A\|$ is the Frobenius norm. We prove that the optimal upper and lower bounds are given by $c_\pm = \frac{1 \pm \sqrt{2}}{2}$. If $A$ is restricted to be traceless, the bounds are further improved to be $c_\pm = \frac{1 \pm \sqrt{2(1-\frac{1}{n})}}{2}$. Interestingly, these upper bounds, especially the latter one, provide new constraints on relaxation rates for the quantum dynamical semigroup tighter than previously known constraints in the literature. A relation with B\"{o}ttcher-Wenzel inequality is also discussed.

연구 동기 및 목표

• Hilbert-Schmidt 내적과 교환자에 의해 정의된 실수 기능 r(A, B) = 1/2(⟨[B, A], BA⟩ + ⟨[B, A∗], BA∗⟩)에 대해 날카로운 상한과 하한을 도출한다.
• 이 경계가 양자 동역학적 반군 생성자의 스펙트럼 성질, 특히 리라크세이션 속도와의 관계에 미치는 영향을 조사한다.
• 특히 A가 트레이스가 0인 조건에서 기존에 알려진 바보다 더 날카운 일반적 제약 조건을 유도한다.
• r-함수와 교환자 노름에 대한 B"ottcher-Wenzel 부등식 간의 관계를 명확히 한다.
• 등호 조건을 만족시키는 행렬의 명시적 구성을 통해 도출된 경계의 날카로움을 증명한다.

제안 방법

• Hilbert-Schmidt 내적 ⟨A, B⟩ = tr(A∗B)와 교환자 [A, B] = AB − BA를 사용하여 r-함수 r(A, B)를 정의한다.
• 자기 순환 성질과 추적 항등식을 활용해 r(A, B)를 여러 동치 형태로 표현하며, r(A, B) = 1/2 tr({A, A∗}B∗B) − Re tr(A∗BAB∗)를 포함한다.
• 행렬 A와 B의 프로베니우스 노름 ∥A∥ = √tr(A∗A)을 사용하여 경계를 c−∥A∥2∥B∥2 ≤ r(A, B) ≤ c+∥A∥2∥B∥2 형태로 재구성한다.
• 일반적인 (에르미트가 아닌) 행렬을 분석하기 위해 A = AR + iAI의 카르테시안 분해를 사용한다.
• 특이값 분해와 디랙 표기법을 활용해 r(A, A)를 명시적으로 계산하여 0 ≤ r(A, A) ≤ 1/2∥A∥4의 경계에 도달한다.
• 기초 도구로 프로베니우스 노름에 대한 B"ottcher-Wenzel 부등식 ∥[A, B]∥2 ≤ 2∥A∥2∥B∥2를 활용하고, 추적 항등식과 노름 부등식을 통해 r-함수와 연결한다.

실험 결과

연구 질문

• RQ1 행렬 A와 B의 프로베니우스 노름에 대해 r(A, B)의 최적의 일반 상한과 하한은 무엇인가?
• RQ2 행렬 A가 트레이스가 0임이 제약 조건일 경우 이 경계는 어떻게 변화하는가?
• RQ3 GKLS 형태로 지배되는 양자 동역학적 반군의 리라크세이션 속도에 대해 이러한 경계의 영향은 무엇인가?
• RQ4 r-함수는 교환자 노름에 대한 B"ottcher-Wenzel 부등식과 어떻게 관련이 있는가?
• RQ5 유도된 경계는 달성 가능한가? 만약 그렇다면 등호 조건을 만족시키는 행렬 구성은 무엇인가?

주요 결과

• r(A, B)에 대한 최적의 일반 경계는 행렬 차원 n과 무관하게 c± = 1 ± √2/2이며, 둘 다 날카로운 경계이다.
• A가 트레이스가 0이면 최적의 경계는 c± = [1 ± √2(1−1/n)]/2로 더 날카워지며, 일반 경계보다 엄격히 날카롭고 n → ∞일 때 일반 경계로 수렴한다.
• n = 2일 경우 경계는 0 ≤ r(A, B) ≤ ∥A∥2∥B∥2로 단순화되며, 둘 다 달성 가능하다.
• 상한 c+ = 1 + √2/2 ≈ 1.2071은 이전에 알려진 어떤 상한보다도 리라크세이션 속도에 대해 더 엄격한 제약 조건을 제공한다.
• 양자 동역학적 반군의 리라크세이션 속도 Γα는 일반 부등식 Γα ≤ c+(n)/ (n²−1) ∑Γβ를 만족하며, 이는 이전 결과보다 더 엄격하다.
• 경계의 등호 조건은 명시적으로 구성되었으며, 예를 들어 n=2인 경우 R³에서 정규직교 기저나 직교 특이 벡터를 사용할 수 있다.