[논문 리뷰] A necessary condition for quantum adiabaticity applied to the Grover adiabatic search

Oleg Lychkovskiy|arXiv (Cornell University)|2018. 02. 16.

Quantum Computing Algorithms and Architecture참고 문헌 3인용 수 1

한 줄 요약

이 논문은 최근에 증명된 양자 애디아바틱성에 대한 필수 조건을 애디아바틱 고버의 검색 알고리즘에 적용하여, 유도된 진화 시간에 대한 하한이 최적의 √N 스케일링과 일치함을 보여준다. 이 방법은 애디아바틱 양자 알고리즘의 실행 시간을 추정하는 데 있어 조건의 실용적 유용성을 확인한다.

ABSTRACT

Numerous sufficient conditions for adiabaticity of the evolution of a driven quantum system have been known for quite a long time. In contrast, necessary adiabatic conditions are scarce. A practicable necessary condition well-suited for many-body systems has been proven recently in [Phys. Rev. Lett. 119, 200401 (2017)]. Here we tailor this condition for estimating run times of quantum adiabatic algorithms. As an illustration, the condition is applied to the adiabatic algorithm for searching in an unstructured database (adiabatic Grover search algorithm). We find that thus obtained lower bound on the run time of this algorithm reproduces $\sqrt N$ scaling ($N$ being the number of database entries) of the explicitly known optimal run time. This observation highlights the merits of the new adiabatic condition and its potential relevance to adiabatic quantum computing.

연구 동기 및 목표

• 최근 유도된 다체계에 대한 양자 애디아바틱성에 대한 필수 조건의 실용적 적용성을 평가하는 것.
• 이 조건을 사용하여 애디아바틱 고버 검색 알고리즘에 필요한 최소 실행 시간을 추정하는 것.
• 유도된 실행 시간 하한이 비정렬 데이터베이스 검색에 대해 알려진 최적의 √N 스케일링과 일치하는지 평가하는 것.

제안 방법

• 저자들은 일반적인 다체계에 대해 이전에 증명된 최근에 확립된 필수 애디아바틱 조건을 애디아바틱 고버 알고리즘의 구체적 사례에 적용한다.
• 시스템의 에너지 갭과 해밀토니안의 변화율을 분석하여 진화 시간에 대한 하한을 도출한다.
• 조건은 순간적인 기본 상태의 도함수의 노름에 기반하여, 시스템이 애디아바틱 영역에 머물도록 보장한다.
• 이 방법은 충분 조건에 의존하지 않고, 필수 조건에서 유도된 엄밀한 하한에 초점을 맞춘다.
• 분석은 간단한 초기 해밀토니안과 데이터베이스를 인코딩하는 최종 해밀토니안 사이를 연결하는 시간에 의존하는 해밀토니안의 맥락에서 수행된다.
• 유도된 하한은 고버 알고리즘에 대해 알려진 최적의 실행 시간 √N과 비교된다.

실험 결과

연구 질문

• RQ1 최근에 유도된 필수 애디아바틱 조건은 애디아바틱 양자 알고리즘의 최소 실행 시간을 효과적으로 추정하는 데 사용될 수 있는가?
• RQ2 이 조건을 통해 유도된 실행 시간 하한은 고버 검색 문제에 대해 알려진 최적의 √N 스케일링을 재현하는가?
• RQ3 이러한 필수 조건은 다체계에 대해 기존의 충분 조건과 비교해 실용성과 날카운성 측면에서 어떻게 다른가?

주요 결과

• 필수 애디아바틱 조건은 애디아바틱 고버 검색의 실행 시간에 대해 √N 스케일링으로 하한을 도출하며, 알려진 최적의 실행 시간과 일치한다.
• 유도된 하한은 정확한 고버 문제의 해와 일치하며, 조건의 정확성을 검증한다.
• 이 방법은 전체 스펙트럼에 대한 자세한 지식이 필요 없이도 엄밀한 비충분한 추정치를 제공한다.
• 이 조건은 전체 스펙트럼 갭 분석이 불가능한 상황에서도 효과적으로 작동함을 보여주며, 복잡한 다체계에 대한 실용성을 강조한다.
• 결과적으로 필수 애디아바틱 조건이 애디아바틱 양자 알고리즘의 벤치마킹과 최적화 도구로서의 잠재력을 보여준다.