[논문 리뷰] The Space-Time Cost of Purifying Quantum Computations

Mark Zhandry|arXiv (Cornell University)|2024. 01. 01.

Quantum Computing Algorithms and Architecture인용 수 1

한 줄 요약

이 논문은 양자 계산에서 기본적인 상충 관계를 규명한다: 양자 알고리즘에서 중간 측정을 제거하는 데 있어 어떤 블랙박스 변환도 시간 복잡도 또는 공간 복잡도에 상당한 증가를 초래해야 한다. 저자들은 소규모이지만 초로그형 이상의 공간 복잡도를 갖는 알고리즘에 대해 이러한 증가가 본질적으로 피할 수 없다는 것을 증명하며, 중간 측정이 없는 양자 계산을 위한 同시 효율적인 시간과 공간 변환의 가능성에 대한 열린 문제를 해결한다.

ABSTRACT

General quantum computation consists of unitary operations and also measurements. It is well known that intermediate quantum measurements can be deferred to the end of the computation, resulting in an equivalent purely unitary computation. While time efficient, this transformation blows up the space to linear in the running time, which could be super-polynomial for low-space algorithms. Fefferman and Remscrim (STOC'21) and Girish, Raz and Zhan (ICALP'21) show different transformations which are space efficient, but blow up the running time by a factor that is exponential in the space. This leaves the case of algorithms with small-but-super-logarithmic space as incurring a large blowup in either time or space complexity. We show that such a blowup is likely inherent, demonstrating that any "black-box" transformation which removes intermediate measurements must significantly blow up either space or time.

연구 동기 및 목표

• 양자 알고리즘에서 중간 측정을 제거할 수 있는지에 대한 열린 문제를 해결하기 위해, 시간과 공간 복잡도에 상당한 영향을 주지 않고도 가능할지 여부를 밝히는 것.
• 중간 측정이 포함된 양자 회로를 유니터리만 포함하는 회로로 변환하는 데 있어 블랙박스 변환의 한계를 조사하는 것.
• 소규모이지만 초로그형 이상의 공간 복잡도를 갖는 알고리즘에 대해, 이러한 변환은 반드시 시간 또는 공간 복잡도에 상당한 증가를 초래한다는 것을 입증하는 것.
• 유니터리 측정(혼합 상태를 유지함)과 표준 측정(상태를 붕괴시키고 고전적 정보 처리를 허용함) 간의 차이를 체계화하고 분석하는 것.

제안 방법

• 중간 측정을 제거하는 문제를 계산적 행동을 유지하는 블랙박스 변환을 통해 체계화하는 것.
• 특히 구성된 오라클 OΨ∗,o∗를 사용하여, 구조화된 오라클을 갖는 양자 질의 문제에서 측정 없는 유니터리 계산으로의 감소를 제시하는 것.
• 독립적이고 동일하게 분포된 변수들에 대한 동시 누출이 근사적인 분포 성질을 유지함을 보여주는 기술적 보조정리(보조정리 6.4)를 도입하는 것.
• Pinsker의 부등식과 Jensen의 부등식을 활용하여 서로 다른 오라클 모델 간의 성공 확률 차이를 정량화하는 것.
• 측정 제거 변환을 시뮬레이션하는 유니터리 회로 B를 구성하고, 특정 조건 하에서 그 성공 확률이 7/12 이상으로 유계임을 보이는 것.
• 감소를 기존의 하한값(보조정리 5.2)과 결합하여, 효율적인 측정 제거 변환이 존재하지 않음을 배제함으로써 주요 장벽 결과를 증명하는 것.

실험 결과

연구 질문

• RQ1 중간 측정을 제거하는 방식으로 동시에 시간과 공간 효율성을 유지할 수 있는가?
• RQ2 시간 또는 공간 복잡도에 지수적 증가 없이 중간 측정을 제거하는 데 있어 블랙박스 변환이 존재하는가?
• RQ3 중간 측정이 있는 양자 알고리즘을 유니터리만 포함하는 형태로 변환할 때, 시간과 공간 복잡도 간의 본질적 상충 관계는 무엇인가?
• RQ4 측정 모델—특히 유니터리 측정과 표준(비유니터리) 측정—은 측정 제거의 가능성에 어떻게 영향을 미치는가?
• RQ5 알고리즘이 측정에서 유도된 고전적 정보에 의존할 경우, 측정 제거 후 성공 확률를 유지할 수 있는가?

주요 결과

• 중간 측정을 제거하는 데 있어 어떤 블랙박스 변환도 원래의 공간 복잡도에 대해 초다항적 증가를 겪는 시간 또는 공간 복잡도 증가를 피할 수 없다.
• 공간 복잡도 S와 시간 복잡도 T를 갖는 알고리즘에 대해, S가 소규모이지만 초로그형 이상일 경우(예: S = ω(log n)), 변환은 반드시 시간 또는 공간 복잡도에 지수적 증가를 겪는다.
• 논문은 Fefferman과 Remscrim(2021) 및 Girish, Raz, Zhan(2021)의 결과가 공간 최적화는 달성하지만 시간 복잡도에 지수적 증가를 초래한다는 점에서, 블랙박스 환경에서 최적임을 증명한다.
• 저자들은 Girish와 Raz(2022)가 사용한 모델—유니터리 측정만 허용하고(고전적 출력 없음, 상태 초기화 없음)—는 표준 양자 알고리즘에서 고전적 측정 결과에 의존하는 데에는 부적절하다고 보여준다.
• 시간-공간 효율적인 측정 제거 변환이 존재한다면, 기존의 양자 질의 복잡도 하한값과 모순됨을 보여주는 감소를 구성한 바, 이는 그러한 변환이 존재하지 않음을 시사한다.
• 결과로 도출된 측정 없는 회로 B의 성공 확률가 최소 7/12임을 보여주며, 표준 가정 하에서 이러한 변환이 존재하지 않음을 배제하는 데에 충분하다.