[논문 리뷰] NAND-Trees, Average Choice Complexity, and Effective Resistance

Stacey Jeffery, Shelby Kimmel|arXiv (Cornell University)|2015. 11. 06.

Quantum Computing Algorithms and Architecture참고 문헌 11인용 수 4

한 줄 요약

이 논문은 두 명의 플레이어가 참가하는 nand-트리 게임의 승리 난이도를 측정하기 위해 평균 선택 복잡도를 도입하고, 평균 선택 복잡도가 $W$ 이하인 nand-트리의 평가에 대해 $O(W)$의 양자 질의 복잡도를 확립한다. 또한 효과적 저항을 통해 nand-트리, $st$-연결성, 스펜 프로그램 간의 연결 고리를 활용하여, 무작위 상대방과의 대결에서 승리하기 위한 양자 전략을 개발하였으며, 이 전략은 $\widetilde{O}(N^{1/4}\sqrt{\mathcal{C}})$의 질의 횟수를 사용한다. 여기서 $\mathcal{C}$는 평균 선택 복잡도이다.

ABSTRACT

We show that the quantum query complexity of evaluating NAND-tree instances with average choice complexity at most $W$ is $O(W)$, where average choice complexity is a measure of the difficulty of winning the associated two-player game. This generalizes a superpolynomial speedup over classical query complexity due to Zhan et al. [Zhan et al., ITCS 2012, 249-265]. We further show that the player with a winning strategy for the two-player game associated with the NAND-tree can win the game with an expected $\widetilde{O}(N^{1/4}\sqrt{{\cal C}(x)})$ quantum queries against a random opponent, where ${\cal C }(x)$ is the average choice complexity of the instance. This gives an improvement over the query complexity of the naive strategy, which costs $\widetilde{O}(\sqrt{N})$ queries. The results rely on a connection between NAND-tree evaluation and $st$-connectivity problems on certain graphs, and span programs for $st$-connectivity problems. Our results follow from relating average choice complexity to the effective resistance of these graphs, which itself corresponds to the span program witness size.

연구 동기 및 목표

• nand-트리 두 명 플레이어 게임의 난이도를 보다 정교한 척도로 평가하기 위해 평균 선택 복잡도를 정의하고 체계화하는 것. 이는 최악의 경우 장애 복잡도를 초월한다.
• 특정 그래프에서 $st$-연결성 문제에 대해 평균 선택 복잡도와 스펜 프로그램의 증거 크기 사이의 날카로운 연결 고리를 확립하는 것.
• 무작위 상대방과의 대결에서 승리하기 위한 양자 알고리즘을 개발하여, 기존의 단순한 $\widetilde{O}(\sqrt{N})$ 전략에 비해 향상된 질의 복잡도를 달성하는 것.
• Zhan 등이 이전에 장애 복잡도 기반 초다항식 양자 스피드업을 보였던 것을 평균 선택 복잡도로 일반화하여, 평균 선택 복잡도가 $W$일 때 $O(W)$의 질의 복잡도를 보여주는 것.

제안 방법

• 저자들은 nand-트리 평가와 특정 그래프의 가족 및 그 이중성에 대한 $st$-연결성 문제 사이의 대응 관계를 수립하였으며, 1-인스턴스는 해당 그래프의 $st$-연결된 부분그래프에 대응하고, 0-인스턴스는 이중 그래프의 $st$-연결된 부분그래프에 대응한다.
• 그들은 평균 선택 복잡도가 정확히 스펜 프로그램의 증거 크기와 일치함을 증명하였으며, 이는 관련 그래프의 효과적 저항과 동치임을 보였다.
• 양자 알고리즘은 최근에 개발된 스펜 프로그램 증거 크기 추정 알고리즘을 활용하여 자식 서브트리의 평균 선택 복잡도를 추정하는 재귀 전략을 사용한다.
• 분석은 트리 깊이에 대한 귀납법을 적용하여, 각 단계에서 기대 질의 복잡도를 제한하기 위해 젠슨 부등식을 활용하며, 평균 선택 복잡도의 부분합성 성장 특성을 활용한다.
• 각 노드에서 'Select' 서브루틴을 사용하여 평균 선택 복잡도가 낮은 자식 서브트리를 선택함으로써 기대 질의 비용을 최소화한다.
• 성공 확률 강화를 적용하고, 효과적 저항과 깊이에 따라 변하는 질의 복잡도 경계를 통해 총 질의 복잡도를 경계한다.

실험 결과

연구 질문

• RQ1 평균 선택 복잡도는 nand-트리 평가의 양자 질의 복잡도와 어떻게 관련되어 있으며, 장애 복잡도보다 더 날카로운 경계를 제공할 수 있는가?
• RQ2 평균 선택 복잡도는 무작위 상대방과의 대결에서 승리하기 위한 양자 질의 비용으로서 실질적인 해석이 가능한가?
• RQ3 nand-트리 평가, 그래프에서의 $st$-연결성, 그리고 기초가 되는 그래프 구조의 효과적 저항 사이의 정밀한 연결 고리는 무엇인가?
• RQ4 $st$-연결성에 대한 스펜 프로그램은 공식 평가를 위한 시간과 질의 효율적인 양자 알고리즘을 설계하는 데 어떻게 활용될 수 있는가?
• RQ5 $st$-연결성 문제에서 1-인스턴스와 0-인스턴스 사이의 이중성은 현재의 학습 그래프 프레임워크를 초월하여 대칭적이고 시간 효율적인 양자 알고리즘 설계를 위한 확장 가능성을 어떻게 제공하는가?

주요 결과

• 평균 선택 복잡도가 $W$ 이하인 nand-트리의 양자 질의 복잡도는 $O(W)$이며, 이는 이전의 장애 복잡도 기반 초다항식 스피드업을 일반화한 것이다.
• 무작위 상대방과의 대결에서 승리하기 위한 양자 전략은 평균 선택 복잡도 $\mathcal{C}$를 고려하여 기대 질의 복잡도 $\widetilde{O}(N^{1/4}\sqrt{\mathcal{C}})$를 달성한다.
• nand-트리 인스턴스의 평균 선택 복잡도는 정확히 해당 스펜 프로그램의 증거 크기와 일치하며, 이는 관련 그래프의 효과적 저항과 동치이다.
• 재귀적 'Select' 알고리즘의 기대 질의 복잡도는 귀납법과 젠슨 부등식을 통해 $\widetilde{O}(N^{1/4}\sqrt{\mathcal{C}})$로 경계되며, 평균 선택 복잡도의 성장은 부분합성 경계에 의해 제어된다.
• $st$-연결성 공식화에서 1-인스턴스와 0-인스턴스 사이의 이중성은 기초가 되는 그래프에서의 이중성을 반영하며, 문제의 대칭성에 대한 구조적 통찰을 제공한다.
• 결과는 $st$-연결성에 대한 스펜 프로그램이 현재의 학습 그래프 프레임워크를 초월하여 대칭적이고 시간 효율적인 양자 알고리즘 설계를 위한 자연스러운 프레임워크를 제공할 수 있음을 시사한다.