[논문 리뷰] Toward a standardized methodology for constructing quantum computing use cases

Nicholas Chancellor, ROBERT L CUMMING외 1명|arXiv (Cornell University)|2020. 06. 10.

Quantum Computing Algorithms and Architecture참고 문헌 22인용 수 5

한 줄 요약

이 논문은 근접한 시장에서 양자 계산 또는 양자 유도 알고리즘을 활용해 실제 문제를 실현 가능하게 해결할 수 있는지 평가하기 위한 표준화되고 체계적인 방법론을 제안한다. 이 프레임워크를 구급차 파견 문제에 적용하여, 극히 드문 사건의 조건부 샘플링에 대해 양자 계산이 잠재적으로 유용할 수 있지만, 모든 하위 문제에 대해선 그렇지 않음을 입증한다. 이는 편향된 평가를 방지하고 실용적 구현 결정을 안내하기 위한 체계적이고 객관적인 접근법을 제공한다.

ABSTRACT

We propose a standardized methodology for developing and evaluating use cases for quantum computers and quantum inspired methods. This methodology consists of a standardized set of questions which should be asked to determine how and indeed if, near term quantum computing can play a role in a given application. Developing such a set of questions is important because it allows different use cases to be evaluated in a fair and objective way, rather than considering each case on an ad hoc basis which could lead to an evaluation which focuses on positives of a use case, while ignoring weaknesses. To demonstrate our methodology we apply it to a concrete use case, ambulance dispatch, and find that there are some ways in which near term quantum computing could be deployed sensibly, but also demonstrate some cases ways in which its use would not be advised. The purpose of this paper is to initiate a dialogue within the community of quantum computing scientists and potential end users on what questions should be asked when developing real world use cases.

연구 동기 및 목표

• 실제 응용 분야에서 양자 계산 활용 가능성을 평가하기 위한 객관적 기준의 부족을 해결하기 위해.
• 임의의 평가 방식을 표준화되고 반복 가능한 프레임워크로 대체하여 활용 가능성 평가의 편향을 줄이기 위해.
• 근접한 양자 또는 양자 유도 계산에 적합한 문제인지 판단하는 데 있어 양자 전문가와 최종 사용자 모두를 안내하기 위해.
• 특히 NISQ 시대 기기들을 대상으로 하여 유망한 응용과 비현실적인 응용을 구분하는 체계적 방법론을 제공하기 위해.
• 양자 활용 가능성을 객관적으로 평가하기 위한 핵심 질문을 정의하는 데 있어 공동체 차원의 논의를 시작하기 위해.

제안 방법

• 문제가 양자 또는 양자 유도 계산에 적합한지 평가하기 위한 표준화된 의사결정 질문 세트를 개발하기 위해.
• 다섯 가지 핵심 기준인 총합 가치, 고전적 난이도, 인스턴스별 가치, 데이터 처리량, 현재 방법의 실현 가능성에 따라 평가하는 플로우차트 기반 의사결정 프레임워크를 적용하기 위해.
• 실제 사례 연구로써 구급차 파견 문제를 분석하여, 양자 또는 양자 유도 솔루션에 적합한 하위 문제들을 특정하기 위해.
• 특히 비상 대응에서 중요도는 높지만 발생 빈도는 낮은 사건에 대해 표준 샘플링과 조건부 샘플링 접근 방식을 구분하기 위해.
• 특정 하위 문제를 이징 모델에 매핑하여, 고전적 방법으로는 어려운 조건부 샘플링과 같은 문제들에 대해 양자 계산 가능성 평가하기 위해.
• 프레임워크를 반복적으로 적용하여 구현 전략을 정교화하고, '구현 결정' 문제와 '구현 설계' 문제를 구분하기 위해.

실험 결과

연구 질문

• RQ1 근접한 양자 계산에 적합한지 객관적으로 평가하기 위해 어떤 표준화된 기준을 사용할 수 있는가?
• RQ2 초기에는 유망해 보이지만 실제로는 유망하지 않은 문제들을 어떻게 구분할 수 있는가?
• RQ3 완전한 양자 계산이 실현 가능하지 않을 경우, 양자 유도 알고리즘이 어떤 식으로 실용적인 대안이 될 수 있는가?
• RQ4 구현 전략(예: 하위 문제 선택, 데이터 처리량, 극단적으로 드문 사건에 대한 조건화)이 양자 계산의 적합성에 어떤 영향을 미치는가?
• RQ5 체계적인 방법론이 양자 전문가와 도메인 전문가 간의 협업을 향상시키고 편향을 줄일 수 있는가?

주요 결과

• 구급차 파견 문제 자체는 본질적으로 양자적이지는 않지만, 특히 드문 사건의 조건부 샘플링과 같은 하위 문제들은 고전적 방법으로는 계산적으로 어려운 문제이며, 근접한 양자 계산에 적합할 수 있다.
• 구급차 파견에서 드문 사건의 조건부 샘플링은 높은 가치를 지닌 고전적 방법으로는 해결하기 어려운 문제로 확인되었으며, 의사결정 프레임워크의 다섯 가지 기준을 모두 충족하여, 양자 기법의 적용 가능성이 높다고 판단된다.
• 조건화되지 않은 표준 몬테카를로 샘플링은 드문 사건에 대해 최적의 방법이 아니며, 낮은 데이터 처리량을 감수하더라도 더 정교한 양자 샘플링 방법의 사용이 정당화된다.
• 이 방법론은 양자 계산이 반드시 전반적으로 적용 가능한 것은 아니라는 점을 성공적으로 규명하였다. 예를 들어, 드문 사건에 대한 조건화가 없는 단순한 파견 결정 문제들은 강력한 후보가 아니다.
• 문제를 이징 모델에 매핑함으로써 일부 하위 문제가 양자 알고리즘에 적합함을 확인하였으며, 이는 양자 유도 또는 하이브리드 접근 방식의 실현 가능성을 뒷받침한다.
• 프레임워크는 객관적이고 반복 가능한 평가를 가능하게 하여, 양자 기술 잠재력에 대한 과도한 기대를 줄이고, 양자 기술 능력과 실제 요구 사항 간의 일치를 향상시킨다.