[논문 리뷰] Quantum Control Landscapes: A Closer Look

Pierre de Fouquieres, S. G. Schirmer|arXiv (Cornell University)|2010. 04. 20.

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

한 줄 요약

이 논문은 양자 제어 경관을 조사하여, 순수 상태 전달에서 유니터리 군 최적화는 함정이 없음을 보여주지만, 실제 $L^2(0,T)$ 제어 공간의 임계점에는 최적화되지 않은 함정이 존재하며, 일부는 무한 차원의 음의 정부호 헤시안을 가진다. 이는 경관이 함정이 없는 것으로 간주되는 것을 도전한다. 연구는 비정규 임계점이 진정한 함정으로 작용할 수 있음을 보여주며, 유니터리 군에서의 유리한 행동에도 불구하고 최적화를 복잡하게 만든다.

ABSTRACT

The control landscape for various canonical quantum control problems is considered. For the class of pure-state transfer problems, analysis of the fidelity as a functional over the unitary group reveals no suboptimal attractive critical points (traps). For the actual optimization problem over controls in $L^2(0,T)$, however, there are critical points for which the fidelity can assume any value in (0,1), critical points for which the second order analysis is inconclusive, and traps. For the class of unitary operator optimization problems analysis of the fidelity over the unitary group shows that while there are no traps over U(N), traps already emerge when the domain is restricted to the special unitary group. The traps on the group can be eliminated by modifying the performance index, corresponding to optimization over the projective unitary group. However, again, the set of critical points for the actual optimization problem for controls in $L^2(0,T)$ is larger and includes traps, some of which remain traps even when the target time is allowed to vary.

연구 동기 및 목표

• 정규 임계점 외의 부분최적 임계점(함정)이 양자 제어 경관에 존재하는지 여부와 그 성격을 조사하기 위해.
• 유니터리 군 $\mathbf{U}(N)$에서의 제어 경관과 실제 $L^2(0,T)$ 제어 공간 간의 괴리 분석하기 위해.
• $L^2(0,T)$에서의 비정규 임계점이 기울기가 0이고 헤시안이 음의 정부호인 진정한 함정으로 작용할 수 있는지 판단하기 위해.
• 함정이 변수가 되는 목표 시간에 대해서도 지속될 경우 최적화 전략의 강건성 평가하기 위해.
• 제어를 유한 차원 부분공간으로 제한할 경우 함정의 존재성과 흡인 영역에 미치는 영향 탐색하기 위해.

제안 방법

• 순수 상태 전달과 유니터리 연산자 최적화에서의 함정 탐지를 위해 유니터리 군 $\mathbf{U}(N)$와 특수 유니터리 군 $\mathbf{SU}(N)$ 위에서의 피델리티를 기능으로 분석하기 위해.
• 이阶 분석을 활용해 임계점에서의 헤시안 평가하여, 헤시안이 무한 차원에서 음의 정부호인 경우 식별하기 위해.
• 기울기가 0이고 음의 정부호 헤시안이 무한 차원인 비정상적인 $L^2(0,T)$ 제어의 명시적 예를 구성하여, 이것이 진정한 함정임을 증명하기 위해.
• 투영 연산자 $\Pi[f(\bullet)]$와 푸리에 기저 전개를 사용해 헤시안의 구조를 지배하는 연산자 $S$와 $C$를 특성화하기 위해.
• 목표 시간 $T$를 변동 가능하게 허용할 경우에도 함정이 지속됨을 보여, 함정 현상의 강건성을 입증하기 위해.
• $\mathbf{U}(N)$, $\mathbf{SU}(N)$, $L^2(0,T)$에서의 경관을 비교하여 제어 공간 구조가 함정 형성에 미치는 영향을 분리하기 위해.

실험 결과

연구 질문

• RQ1 $L^2(0,T)$ 제어 공간에서의 비정규 임계점이 기울기가 0이고 음의 정부호 헤시안을 가진 진정한 함정으로 작용할 수 있는가?
• RQ2 순수 상태 전달에서 $\mathbf{U}(N)$에서는 함정이 없음에도 불구하고, 왜 $L^2(0,T)$ 최적화에서는 함정이 나타나는가?
• RQ3 무한 차원 음의 정부호 헤시안을 가진 진정한 함정으로서의 비정상적인 $L^2(0,T)$ 제어의 명시적 예가 존재하는가?
• RQ4 함정의 흡인 영역은 최적화 알고리즘과 제어 공간 부분공간의 선택에 따라 어떻게 달라지는가?
• RQ5 목표 시간 $T$를 변동 가능하게 허용할 경우 함정이 지속되는가? 이는 함정의 구조가 강건한가를 나타내는가?

주요 결과

• 순수 상태 전달의 경우 $\mathbf{U}(N)$ 상에는 부분최적의 흡인 임계점이 존재하지 않지만, $L^2(0,T)$ 제어 공간에는 피델리티 값이 $(0,1)$ 범위에 속하는 함정이 존재한다.
• 기울기가 0이고 무한 차원 음의 정부호 헤시안을 가진 비정상적인 $L^2(0,T)$ 제어의 명시적 예를 구성하여, 이것이 진정한 함정임을 확인하였다.
• 목표 시간 $T$를 변동 가능하게 허용할 경우에도 $L^2(0,T)$ 공간에서 함정이 존재함을 보여, 이러한 함정은 고정된 $T$의 산물이 아님을 시사한다.
• $\mathbf{SU}(N)$에서는 $\mathbf{U}(N)$에서는 존재하지 않지만 함정이 나타남을 보여, 군의 구조 선택이 함정 존재성에 영향을 준다.
• 성능 지표를 사영 유니터리 군에서 최적화하도록 수정하면 $\mathbf{U}(N)$에서는 함정이 제거되지만, $L^2(0,T)$ 제어 공간에서는 여전히 존재한다.
• 제어 경관은 함수 공간에 의해 결정적으로 영향을 받는다: $L^2(0,T)$의 유한 차원 부분공간은 제로 제어 함정을 포함하며, 경관은 부분공간 간에 크게 달라질 수 있다.