[논문 리뷰] Are Quantum Computing Models Realistic?

Subhash Kak|ArXiv.org|2001. 10. 05.

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

한 줄 요약

이 논문은 양자 회로 모델의 물리적 실현 가능성에 대해 비판적으로 분석하며, 순수 초월 상태 준비의 부정확성, 입자 불가분성(보손/페르미온 통계), 그리고 소규모 아날로그 위상 오차에 대한 부적절한 오류 보정을 포함한 기본 양자 제약 조건을 간과하고 있다고 주장한다. 저자는 현재의 양자 컴퓨팅 모델이 양자역학과 완전히 일치하지 않으며, '반-양자' 모델로 더 잘 기술될 수 있다고 주장하며, 더 물리적으로 타당한 계산 프레임워크가 필요하다고 제안한다.

ABSTRACT

The commonly used circuit model of quantum computing leaves out the problems of imprecision in the initial state preparation, particle statistics (indistinguishability of particles belonging to the same quantum state), and error correction (current techniques cannot correct all small errors). The initial state in the circuit model computation is obtained by applying potentially imprecise Hadamard gate operations whereas useful quantum computation requires a state with no uncertainty. We review some limitations of the circuit model and speculate on the question if a hierarchy of quantum-type computing models exists.

연구 동기 및 목표

• 표준 양자 회로 모델의 물리적 실현 가능성에 의문을 제기하기 위해.
• 모델에서 간과된 핵심 물리적 제약 조건—예를 들어, 상태 준비의 부정확성, 입자 불가분성, 완전하지 않은 오류 보정—을 규명하기 위해.
• 현재의 양자 컴퓨팅 모델이 수학적으로 우아할 수는 있지만 물리적으로 실현 불가능하며, '반-양자' 모델로 간주되어야 한다고 주장하기 위해.
• 고전적 계산과 완전한 양자 계산 사이의 계산 모델 계층 구조가 존재할 수 있는지 탐색하기 위해.
• 모든 양자역학적 제약 조건(통계 및 아날로그 오류 보정 포함)을 존중하는 더 물리적으로 일관된 프레임워크를 제안하기 위해.

제안 방법

• 이상화된 순수 초월 상태 준비 방식(불완전한 하다드 게이트를 통한)을 포함한 양자 회로 모델의 가정을 분석한다.
• 보손/페르미온의 양자 통계가 회로 내에서 큐비트를 구분 가능한 개체로 간주하는 데 영향을 미치는 방식을 검토한다.
• 고전적 오류 보정과 양자 오류 보정을 비교하며, 고전 코드가 임계값을 적용해 모든 소규모 아날로그 오차를 보정하는 데 반해, 양자 코드는 그렇지 않음을 강조한다.
• 현재의 양자 오류 보정 코드가 소규모 위상 오차(아날로그 성격을 띠며 비트 플립 또는 위상 플립 유형에 국한되지 않는)를 보정하지 못함을 강조한다.
• 양자역학 이론적 추론을 통해 유니터리 진화가 알려지지 않은 양자 상태를 복제하거나 삭제하는 비선형 연산을 수행할 수 없다는 점을 보여준다.
• 실제로 구현 가능한 양자 컴퓨팅 모델은 불가분성 및 강력한 아날로그 오류 보정을 포함한 모든 양자역학적 제약 조건을 통합해야 한다고 제안한다.

실험 결과

연구 질문

• RQ1 양자 회로 모델이 입자 불가분성과 같은 양자역학의 기본 원칙을 어느 정도 위반하는가?
• RQ2 왜 현재의 양자 오류 보정 코드는 소규모 아날로그 위상 오차를 충분히 보정하지 못하는가? 이는 고전적 오류 보정과 어떻게 비교되는가?
• RQ3 고전적 계산과 완전한 양자 계산 사이에 계산 모델의 계층이 존재할 수 있으며, 그러한 계층을 정의하는 데 어떤 제약 조건이 작용할 수 있는가?
• RQ4 왜 양자 회로의 물리적 실현에서 완벽하게 준비된 초기 상태를 가정하는 것이 문제시되는가?
• RQ5 유니터리 진화가 상태 복제나 삭제와 같은 비선형 매핑을 수행할 수 없다는 사실의 의미는 무엇인가?

주요 결과

• 양자 회로 모델은 완벽하게 준비된 초기 상태를 가정하지만, 실질적으로 하다드 게이트는 부정확성을 유도하여 순수 초월 상태는 물리적으로 도달 불가능하다.
• 동일한 유형의 양자 입자는 본질적으로 불가분하나, 회로 모델은 큐비트를 고유하게 라벨링하고 구분 가능한 개체로 간주하여 양자 통계를 위반한다.
• 현재의 양자 오류 보정 코드는 고전적 오류 보정 코드와 달리 모든 소규모 아날로그 위상 오차를 보정하지 못한다. 고전 코드는 임계값을 통해 이러한 오차를 완전히 보정하기 때문이다.
• 모델는 위상 오차가 이산적인 것이 아니라 연속적이고 아날로그적이라는 점을 고려하지 못하여, 표준 양자 코드는 전체 오류 보정에 부적합하다.
• 유니터리 변환은 알려지지 않은 양자 상태를 복제하거나 삭제하는 비선형 연산을 수행할 수 없으며, 이는 양자 회로의 계산 범위를 제한한다.
• 논문은 양자 회로 모델이 현재의 가정 하에서는 물리적으로 실현 불가능하며, '반-양자' 모델로 간주되어야 한다고 결론 내린다.