[논문 리뷰] Quantum Control Landscapes Are Almost Always Trap Free

Benjamin Russell, Herschel Rabitz외 1명|arXiv (Cornell University)|2016. 08. 22.

Laser-Matter Interactions and Applications참고 문헌 21인용 수 11

한 줄 요약

이 논문은 미분기하학, 특히 매개변수적 횡단정리(Parametric Transversality Theorem)를 사용하여 거의 모든 유한차원 양자 제어 경관이 국소 최적점이 없는 '함정 없음(trap-free)'임을 증명한다. 이는 일반적으로 함정을 일으킬 것으로 여겨지는 특이 제어(singular controls)가 거의 항상 문제되지 않음을 보여주며, 전체 사상성(onto) 조건보다 더 약한 조건인 보완된 횡단 조건이 충분함을 보여주며, 그로 인해 기울기 기반 양자 제어 방법의 경험적 성공을 설명한다.

ABSTRACT

A proof that almost all quantum systems have trap free (that is, free from local optima) landscapes is presented for a large and physically general class of quantum system. This result offers an explanation for why gradient methods succeed so frequently in quantum control in both theory and practice. The role of singular controls is analyzed using geometric tools in the case of the control of the propagator of closed finite dimension systems. This type of control field has been implicated as a source of landscape traps. The conditions under which singular controls can introduce traps, and thus interrupt the progress of a control optimization, are discussed and a geometrical characterization of the issue is presented. It is shown that a control being singular is not sufficient to cause a control optimization progress to halt and sufficient conditions for a trap free landscape are presented. It is further shown that the local surjectivity axiom of landscape analysis can be refined to the condition that the end-point map is transverse to each of the level sets of the fidelity function. This novel condition is shown to be sufficient for a quantum system's landscape to be trap free. The control landscape for a quantum system is shown to be trap free for all but a null set of Hamiltonians using a novel geometric technique based on the parametric transversality theorem. Numerical evidence confirming this is also presented. This result is the analogue of the work of Altifini, wherein it is shown that controllability holds for all but a null set of quantum systems in the dipole approximation. The presented results indicate that by-and-large limited control resources are the most physically relevant source of landscape traps.

연구 동기 및 목표

• 기울기 기반 양자 제어 방법의 광범위한 경험적 성공을 설명하기 위해, 이는 이론적 우려에도 불구하고 흔히 국소 최적점들을 피하는 경향이 있다.
• 특이 제어가 유도하는 경관 함정이 양자 시스템에서 일반적인가 아니면 드문가지 조사하기 위해.
• 양자 제어 경관이 함정이 없는 조건을 더 정교하게 수학적으로 규명하기 위해, 엄격한 사상성 가정을 넘어서기 위해.
• 함정을 일으키는 특이 제어를 가진 해밀토니안의 집합이 영집합(null set)임을 입증하여, 실질적으로 거의 항상 함정이 없는 행동을 보임을 의미한다.
• 경관이 함정이 없는지를 보장하는 기하학적 기준—즉, 종점 사상(end-point map)이 충성도 수준집합(fidelity level sets)과 횡단되는 조건—을 정형화하기 위해.

제안 방법

• 저자들은 미분기하학의 매개변수적 횡단정리를 적용하여 양자 제어 경관의 구조를 분석한다.
• 경관 이론에서 표준적인 사상성 가정을 종점 사상과 충성도 함수의 수준집합 사이의 횡단 조건으로 재구성한다.
• 사르의 정리(Sard's theorem)와 측도 이론적 추론을 사용하여, 특이 임계점(잠재적 함정)을 가진 해밀토니안의 집합이 르베그 측도가 0임을 보여준다.
• 이 방법은 거의 모든 해밀토니안에 대해 특이 제어의 존재와 관계없이 경관이 함정이 없음을 보여준다.
• 이론적 분석을 뒷받침하기 위해 수치적 증거를 제공하며, 현실적인 시스템에서 함정의 희귀성을 확인한다.
• 이 접근법은 이전의 관계 가능성 결과를 일반화하고, 제어 자원이 최적화 성공의 주요 결정 요소임을 보여주며, 경관 위상론으로 확장한다.

실험 결과

연구 질문

• RQ1 모든 유한차원 양자 시스템의 공간에서 국소 최적점(함정)이 있는 양자 제어 경관은 흔한가 아니면 드문가지?
• RQ2 일반적으로 함정을 일으킬 것으로 의심되는 특이 제어의 존재가 일반적으로 문제가 되지 않는다고 보여줄 수 있는가?
• RQ3 양자 제어 경관 이론에서 표준적인 局부 사상성 가정(local surjectivity assumption)이 너무 엄격한가이며, 더 약하고 자연스러운 조건으로 대체 가능한가?
• RQ4 종점 사상이 충성도 수준집합과 횡단되는가에 따라 경관이 함정이 없는가를 보장할 수 있으며, 이 조건이 거의 모든 시스템에서 만족되는가?
• RQ5 위상적 장애물이 거의 항상 존재하지 않는다는 점을 감안할 때, 제어 자원의 역할은 무엇인가?

주요 결과

• 함정을 일으키는 특이 제어를 가진 양자 시스템의 집합은 모든 해밀토니안 공간에서 영집합이므로, 실질적으로 이러한 시스템은 거의 만날 수 없다.
• 논문은 종점 사상이 충성도 함수의 모든 수준집합과 횡단될 경우 경관이 함정이 없음을 입증한다. 이 조건은 전체 사상성보다 엄격히 더 약한 조건이다.
• 횡단 조건이 역학적 및 운동학적 경관의 임계점 구조가 동일함을 보여주며, 이는 임의의 가짜 국소 최적점이 존재하지 않음을 보장한다.
• 이 결과는 거의 모든 양자 시스템에서 기울기 기반 최적화 방법이 전역적으로 성공함을 의미하며, 그 경험적 강건성을 설명한다.
• 수치 시뮬레이션은 이론적 예측과 일치하여, 특이 제어가 있는 시스템에서도 함정이 매우 드물게 나타남을 확인한다.
• 충분한 제어 자원의 가용성이 최적화 성공의 주요 물리적 결정 요소임을 유지하며, 위상적 장애물은 거의 항상 존재하지 않기 때문이다.