[논문 리뷰] An algorithm for minimization of quantum cost

Anindita Banerjee, Anirban Pathak|arXiv (Cornell University)|2009. 10. 12.

Quantum Computing Algorithms and Architecture참고 문헌 47인용 수 13

한 줄 요약

이 논문은 가시적이고 양자 회로의 양자 비용을 최소화하기 위한 새로운 알고리즘을 제안한다. 이는 게이트 수준의 분해와 재구성 방식을 체계적으로 최적화함으로써 이루어지며, 기존 방법보다 더 효과적으로 양자 비용을 감소시켜, Maslov 등, Revlib, Gupta 등이 제시한 모든 벤치마크 회로에서 알려진 바 중 가장 낮은 양자 비용을 달성한다.

ABSTRACT

A new algorithm for minimization of quantum cost of quantum circuits has been designed. The quantum cost of different quantum circuits of particular interest (eg. circuits for EPR, quantum teleportation, shor code and different quantum arithmetic operations) are computed by using the proposed algorithm. The quantum costs obtained using the proposed algorithm is compared with the existing results and it is found that the algorithm has produced minimum quantum cost in all cases.

연구 동기 및 목표

• 양자 및 가역 회로에서의 양자 비용 최소화를 위한 표준화되고 체계적인 접근 방식의 부족을 해결한다.
• 히우리스틱 규칙이나 유일하지 않은 게이트 라이브러리에 의존하는 기존 방법의 한계를 극복하여 일관되지 않은 양자 비용 측정을 방지한다.
• 양자 비용을 동시에 최소화하면서도 게이트 수와 가비지 비트 수를 낮추는 통합 알고리즘을 개발한다.
• Maslov의 벤치마크 세트 및 Revlib과 같은 널리 사용되는 자료원에서 유래한 회로에 알고리즘을 적용함으로써 신뢰할 수 있는 양자 비용 기준을 제공한다.

제안 방법

• 기본 양자 게이트(예: CNOT, V, V†, Toffoli)를 사용한 게이트 재구성 및 분해를 바탕으로 한 체계적인 알고리즘 설계.
• 반복적인 게이트 패턴을 더 효율적인 등가 회로로 대체하는 게이트 수준 최적화를 위한 템플릿 적용.
• 복잡한 게이트를 최소 비용의 기본 게이트 시퀀스로 분해하기 위한 재귀적 분해 전략 사용.
• 점선 상자로 묶인 게이트 그룹을 하나의 복합 게이트로 간주하는 새로운 게이트 표현 방식 도입으로, 양자 비용 수를 감소시킴.
• Maslov, Gupta, Revlib, Mohammadi 등 다양한 출처의 회로에 대해 일관된 게이트 라이브러리 가정을 바탕으로 알고리즘 적용.
• 이전 연구에서 발표된 값과의 비교를 통해 결과를 검증함으로써 일관성과 정확성을 확보함.

실험 결과

연구 질문

• RQ1 체계적인 알고리즘이 히우리스틱 또는 규칙 기반 방법보다 가역적 및 양자 회로의 양자 비용 최소화에서 뛰어난 성능을 발휘할 수 있는가?
• RQ2 게이트 수나 가비지 비트 수를 증가시키지 않고 다양한 벤치마크 회로에서 양자 비용을 얼마나 줄일 수 있는가?
• RQ3 기존 문헌과의 대조를 통해 검증된 바, 제안된 알고리즘이 알려진 회로에 대해 이론적 최소 양자 비용을 달성하는가?
• RQ4 테스트된 벤치마크를 초월해 다른 게이트 라이브러리나 회로 유형에도 일반화될 수 있는가?
• RQ5 기존에 알려진 양자 비용 값이 없는 순수 양자 회로(예: EPR, 양자 텔레포테이션, 쇼어 코드)에 적용했을 때 알고리즘의 성능은 어떠한가?

주요 결과

• 제안된 알고리즘은 테스트된 모든 회로에서 가능한 최소 양자 비용을 달성하며, Maslov 등, Gupta 등, Revlib의 결과를 모두 초월한다.
• 3_17 최악의 3입력 함수의 경우, 알고리즘이 이전에 보고된 모든 값 이하의 양자 비용을 달성하여 그 슈퍼리오리티를 확인한다.
• 4_49 4입력 함수의 경우, 알고리즘이 기존의 어떤 방법보다 낮은 양자 비용을 생성하여 일관된 향상을 입증한다.
• EPR, 양자 텔레포테이션, 쇼어 코드와 같은 순수 양자 회로에 대해 이전에 보고되지 않은 양자 비용을 성공적으로 계산하여 새로운 기준을 제공한다.
• 게이트 수나 가비지 비트 수를 증가시키지 않으면서도 양자 비용을 감소시켜 핵심 회로 지표 간 균형 잡힌 최적화를 보여준다.
• 알고리즘의 성능은 애드어, 승승, 디코더, 오류 정정 회로 등 다양한 회로 유형에서 일관되게 우수하다.