[논문 리뷰] An Introduction to Quantum Computing for Non-Physicists

Eleanor Rieffel, Wolfgang Polak|arXiv (Cornell University)|1998. 09. 08.

Quantum Computing Algorithms and Architecture참고 문헌 45인용 수 12

한 줄 요약

이 논문은 컴퓨터 과학자와 물리학자 외의 사람들에게 양자 컴퓨팅에 대한 비기술적 소개를 제공하며, 중첩과 얽힘과 같은 양자 원리를 설명하고, 쇼어의 알고리즘과 그로버의 알고리즘과 같은 알고리즘을 통해 그들의 계산 능력을 입증한다. 이는 지수적 병렬 처리, 측정 및 프로그래밍의 과제, 양자 오류 수정의 역할을 강조하며, 양자 알고리즘과 양자 암호화, 전송 등 응용 분야로의 개념적 다리를 놓는다.

ABSTRACT

Richard Feynman's observation that quantum mechanical effects could not be simulated efficiently on a computer led to speculation that computation in general could be done more efficiently if it used quantum effects. This speculation appeared justified when Peter Shor described a polynomial time quantum algorithm for factoring integers. In quantum systems, the computational space increases exponentially with the size of the system which enables exponential parallelism. This parallelism could lead to exponentially faster quantum algorithms than possible classically. The catch is that accessing the results, which requires measurement, proves tricky and requires new non-traditional programming techniques. The aim of this paper is to guide computer scientists and other non-physicists through the conceptual and notational barriers that separate quantum computing from conventional computing. We introduce basic principles of quantum mechanics to explain where the power of quantum computers comes from and why it is difficult to harness. We describe quantum cryptography, teleportation, and dense coding. Various approaches to harnessing the power of quantum parallelism are explained, including Shor's algorithm, Grover's algorithm, and Hogg's algorithms. We conclude with a discussion of quantum error correction.

연구 동기 및 목표

• 개념적 및 표기적 장벽을 극복함으로써 컴퓨터 과학자와 비물리학자들에게 양자 컴퓨팅을 비밀스럽게 풀어내는 것.
• 특히 중첩을 통한 지수적 병렬 처리를 통해 양자 계산 능력의 근원을 설명하는 것.
• 얽힘, 양자 전송, 조밀한 코딩과 같은 주요 양자 현상을 소개하는 것.
• 쇼어의 인수 분해 알고리즘과 그로버의 검색 알고리즘과 같은 실용적 양자 알고리즘을 설명하는 것.
• 측정 및 오류에 따른 과제를 다루며, 양자 오류 수정의 중요성을 강조하는 것.

제안 방법

• 양자 중첩과 얽힘을 설명하기 위해 접근하기 쉬운 비유와 최소한의 수학적 형식을 사용하는 것.
• 디랙 표기법과 기본 선형 대수학을 사용하여 양자 회로와 큐비트 상태를 소개하는 것.
• 완전한 수학적 유도 대신 개념적 설명을 통해 양자 알고리즘을 설명하는 것.
• 쇼어의 알고리즘의 구조와 그로버의 확률 증폭을 통해 양자 병렬 처리를 입증하는 것.
• 상태 준비 및 측정을 사용하여 전송 및 조밀한 코딩과 같은 양자 통신 프로토콜을 설명하는 것.
• 양자 정보가 분해의 영향으로부터 보호될 수 있도록 하는 필수 프레임워크로 양자 오류 수정을 제시하는 것.

실험 결과

연구 질문

• RQ1 측정의 제약에도 불구하고 양자 컴퓨터는 어떻게 고전적 컴퓨터보다 지수적 속도 향상을 달성할 수 있는가?
• RQ2 양자 중첩은 어떻게 양자 병렬 처리를 가능하게 하는가?
• RQ3 쇼어의 알고리즘과 그로버의 알고리즘이 각각 어떤 방식으로 속도 향상을 달성하는가?
• RQ4 측정 붕괴로 인해 유용한 결과를 추출하는 데 있어 근본적인 과제는 무엇인가?
• RQ5 양자 오류 수정은 어떻게 분해를 완화하고 고장 내성 양자 계산을 가능하게 하는가?

주요 결과

• 양자 컴퓨터는 중첩을 통해 지수적 상태 공간 증가를 활용하여 지수적 병렬 처리를 실현한다.
• 쇼어의 알고리즘은 다항 시간 내에 정수를 인수 분해하며, 고전적 방법에 비해 잠재적인 지수적 속도 향상을 보여준다.
• 그로버의 알고리즘은 비정렬 검색 문제에 대해 제곱근 속도 향상을 제공한다.
• 양자 전송과 조밀한 코딩은 얽힘에 의해 가능해지는 비고전적 통신 프로토콜을 보여준다.
• 양자 오류 수정은 양자 정보를 보호하고 확장 가능하며 고장 내성 양자 계산을 가능하게 하는 데 필수적이다.
• 측정는 양자 상태를 붕괴시켜 결과 추출을 비틀어지게 만들며, 이는 새로운 프로그래밍 기법이 필요로 한다.