[논문 리뷰] Limitations on the simulation of non-sparse hamiltonians

Andrew M. Childs, Robin Kothari|arXiv (Cornell University)|2010. 07. 01.

Quantum Computing Algorithms and Architecture참고 문헌 18인용 수 52

한 줄 요약

이 논문은 양자 컴퓨터에서 비희소 해밀토니안을 시뮬레이션할 수 있는 기본적인 한계를 규명하며, 희소 해밀토니안에 대해 기존에 알려진 '빠른 전진 금지 정리'를 밀도 높은 해밀토니안으로 일반화하고, ||H||가 해밀토니안 크기의 신뢰할 수 있는 척도가 아니어도, 일반적인 시뮬레이션은 o(||Ht||) 시간 내에 수행될 수 없음을 증명한다. 또한, poly(||Ht||, log N) 시간 내의 시뮬레이션은 불가능함을 입증하여, 기존의 이산 시간 양자 산책 기반 방법이 일반적으로 크게 향상될 수 없음을 보이며, 다만 일부 낮은 아보리시티를 가진 비희소 해밀토니안은 여전히 효율적으로 시뮬레이션 가능하다.

ABSTRACT

The problem of simulating sparse Hamiltonians on quantum computers is well studied. The evolution of a sparse N × N Hamiltonian H for time t can be simulated using O(||Ht|| poly(logN)) operations, which is essentially optimal due to a no-fast-forwarding theorem. Here, we consider non-sparse Hamiltonians and show significant limitations ontheir simulation. We generalize the no-fast-forwarding theorem to dense Hamiltonians, ruling out generic simulations taking time o(||Ht||), even though ||H|| is not a uniquemeasure of the size of a dense Hamiltonian H. We also present a stronger limitationruling out the possibility of generic simulations taking time poly(||Ht||; logN), showingthat known simulations based on discrete-time quantum walk cannot be dramatically improved in general. On the positive side, we show that some non-sparse Hamiltonianscan be simulated efficiently, such as those with graphs of small arboricity.

연구 동기 및 목표

• 비희소 해밀토니안을 양자 컴퓨터에서 시뮬레이션할 수 있는 이론적 한계를 조사하는 것.
• 희소 해밀토니안에 대해 적용되는 '빠른 전진 금지 정리'를 비희소 해밀토니안으로 확장하는 것.
• 일반적인 밀도 높은 해밀토니안의 시뮬레이션에서 ||Ht||와 log N에 대해 선형 이하 또는 다항식 의존성을 달성할 수 있는지 여부를 규명하는 것.
• 일반적인 제약 조건에도 불구하고 여전히 효율적으로 시뮬레이션 가능한 비희소 해밀토니안의 클래스를 특정하는 것.

제안 방법

• 스펙트럴 노름 분석과 양자 질의 복잡도를 활용하여, 비희소 해밀토니안으로의 '빠른 전진 금지 정리' 일반화.
• 밀도 높은 해밀토니안을 시뮬레이션하는 양자 알고리즘의 질의 복잡도를 분석하며, ||Ht||가 하한으로 작용하는 바를 중점적으로 다룸.
• 특히 아보리시티를 중심으로 한 그래프 이론적 성질을 활용하여, 효율적으로 시뮬레이션 가능한 비희소 해밀토니안을 식별함.
• 기존의 시뮬레이션 기법을 기준으로 이산 시간 양자 산책 프레임워크를 적용한 후, 일반적으로 최적성 도달이 불가능함을 증명함.
• 시뮬레이션 문제를 질의 문제로 환원하여 런타임에 대한 하한을 유도함.

실험 결과

연구 질문

• RQ1 ||H||가 해밀토니안 크기의 유일한 척도가 아니어도, 비희소 해밀토니안은 o(||Ht||) 시간 내에 시뮬레이션될 수 있는가?
• RQ2 현재의 양자 산책 기반 방법을 사용하여, 밀도 높은 해밀토니안의 일반적 시뮬레이션을 poly(||Ht||, log N) 시간 내에 달성할 수 있는가?
• RQ3 해밀토니안의 상호작용 그래프가 어떤 구조적 성질을 가지면, 비희소성에도 불구하고 효율적인 시뮬레이션이 가능할 수 있는가?
• RQ4 밀도 높은 해밀토니안 시뮬레이션의 제약 조건은 희소 해밀토니안의 제약 조건과 어떻게 비교되는가?

주요 결과

• 빠른 전진 금지 정리는 비희소 해밀토니안으로 일반화되며, ||H||가 크기 척도로 신뢰할 수 없더라도 일반적인 시뮬레이션은 o(||Ht||) 시간 내에 수행될 수 없음을 규명한다.
• 일반적인 밀도 높은 해밀토니안의 시뮬레이션은 poly(||Ht||, log N) 시간 내에 수행될 수 없으며, 이는 기존의 이산 시간 양자 산책 기반 방법이 일반적으로 크게 향상될 수 없음을 보여준다.
• 스펙트럴 노름과 진화 시간에 기반하여, 밀도 높은 해밀토니안을 시뮬레이션하는 어떤 양자 알고리즘의 런타임에 하한을 설정한다.
• 상호작용 그래프의 아보리시티가 낮은 해밀토니안은 효율적으로 시뮬레이션할 수 있으며, 이는 비희소 해밀토니안 중에서 빠른 시뮬레이션에 적합한 광범위한 클래스를 식별한다.