[논문 리뷰] The Lie Algebra Rank Condition for Non-Bilinear Quantum System

Domenico D’Alessandro|arXiv (Cornell University)|2003. 01. 27.

Advanced Algebra and Geometry참고 문헌 9인용 수 4

한 줄 요약

이 논문은 비이차형 양자 시스템이 SU(n)에서 유니터리 진동으로 기술될 때, 리 대수 질량 조건(Lie Algebra Rank Condition, LARC)이 전체 가역성을 보장함을 입증한다. 제어 해밀토니안에 의해 생성된 리 대수의 지수와 일치하는 도달 가능한 상태가 성립함을 보이며, 이는 이차형이 아님을 전제로 하지 않는다. 이 결과는 기존의 연구를 비이차형 제어 의존 해밀토니안으로 확장하였으며, 컴팩트 리 군에서의 조밀성과 이웃 생성에 관한 위상수학적 및 대수적 추론을 사용한다.

ABSTRACT

The controllability condition for finite dimensional quantum systems, the Lie Algebra Rank Condition, has been stated assuming that the right invariant differential system under consideration is bilinear. We remark that this assumption is not necessary and discuss the extension to the general case.

연구 동기 및 목표

• 비이차형 양자 시스템을 초월하여 일반적인 비이차형 제어 의존 해밀토니안에 대해 리 대수 질량 조건(LARC)의 적용 범위를 확장하는 것.
• 시스템 해밀토니안이 제어에 대해 선형이 아닐 경우에도 LARC가 여전히 유효한지 여부에 대한 열린 문제를 해결하는 것.
• 비이차형 형태일 경우에도 유니터리 진동의 도달 가능한 집합이 제어 해밀토니안에 의해 생성된 연결 리 군 eᴸ과 일치함을 증명하는 것.
• U(n)의 컴팩트성과 은둔 함수 정리에 기반한 이웃 생성 추론을 사용하여 자가 일관된 증명을 제공하는 것.

제안 방법

• 제어에 의존하는 헤르미트 해밀토니안 H(u₁,…,uₘ)에 의해 지배되는 오른쪽 불변 유니터리 진동으로 시스템을 정의한다.
• 모든 제어 값이 포함된 집합 U에서 iH(u₁,…,uₘ)의 실수 선형 결합으로 이루어진 리 대수 L을 구성한다.
• 도달 가능한 집합 R이 연결 리 군 eᴸ에 포함된 준군임을 증명한다.
• 모든 군 원소를 생성자들의 지수의 유한한 곱으로 표현하고, 컴팩트성을 이용해 음의 시간 지수를 근사함으로써 R이 eᴸ에 조밀함을 입증한다.
• 은둔 함수 정리를 적용하여 (1,…,1)에서 야코비안이 0이 아닌 매개변수화된 사상 Φ를 구성함으로써 R이 항등원의 이웃을 포함함을 보인다.
• R이 연결 군 eᴸ 내에서 항등원의 이웃을 포함하는 준군임을 고려할 때, R은 반드시 eᴸ와 일치함을 결론짓는다.

실험 결과

연구 질문

• RQ1 비이차형 제어 해밀토니안을 갖는 양자 시스템에서 리 대수 질량 조건이 가역성을 보장하는가?
• RQ2 비이차형 양자 시스템의 도달 가능한 집합이 여전히 제어 해밀토니안에 의해 생성된 전체 연결 리 군 eᴸ와 일치하는가?
• RQ3 표준 LARC 증명에서 이차형 가정이 필수적인가?
• RQ4 시스템이 비이차형인 경우, 임의의 원소 eᴸ에 도달하기 위해 조각별로 일정한 제어를 어떻게 구성할 수 있는가?
• RQ5 컴팩트 리 군과 은둔 함수 정리에 기반한 위상수학적 추론을 통해 이차형이 아닐 경우에도 전체 가역성을 증명할 수 있는가?

주요 결과

• 비이차형 제어에 의존하는 양자 시스템(1)의 도달 가능한 집합 R은 제어 해밀토니안에 의해 생성된 리 대수 L로부터 생성된 연결 리 군 eᴸ와 일치한다.
• R이 eᴸ에 조밀하고 항등원의 이웃을 포함함을 보임으로써, 준군 성질에 의해 R = eᴸ임을 유도한다.
• R이 eᴸ에 조밀함은 임의의 군 원소를 생성자들의 지수의 유한한 곱으로 표현하고, 컴팩트성을 이용해 음의 시간 진동을 시뮬레이션함으로써 입증된다.
• 항등원의 이웃이 R에 존재함은 (1,…,1)에서 야코비안이 0이 아닌 매개변수화된 사상 Φ에 은둔 함수 정리를 적용하여 증명된다.
• 사상 Φ의 구성과 V₁,…,Vₙ의 선택은 편미분들이 리 대수를 생성함을 보장하여 야코비안이 비특이임을 확인한다.
• 일반적인 컴팩트 리 군의 컴팩트성과 위상수학적 추론을 사용함으로써, 이 결과는 U(n)뿐만 아니라 임의의 연결 리 부분군에도 적용 가능하다.