[논문 리뷰] The Dual Polynomial of Bipartite Perfect Matching

Gal Beniamini|arXiv (Cornell University)|2020. 04. 29.

Quantum Computing Algorithms and Architecture참고 문헌 15인용 수 2

한 줄 요약

이 논문은 이분 그래프 완전 매칭 문제의 부정적 부울 함수를 실수 계수의 다항식으로 특성화하며, 이 다항식의 단항식 수와 계수의 크기 값이 모두 O(n log n)에 대해 지수적으로 최대한의 크기를 가짐을 보여준다. 그 결과, 매칭 함수의 근사도수에 대한 새로운 상계 O(n^{1.5} √log n)를 확립하며, 이는 이전의 상계를 향상시키고 다항식 방법이 양자 질의 복잡도 하한을 더 향상시키는 데 가지는 잠재적 한계를 제한한다.

ABSTRACT

We obtain a description of the Boolean dual function of the Bipartite Perfect Matching decision problem, as a multilinear polynomial over the Reals. We show that in this polynomial, both the number of monomials and the magnitude of their coefficients are at most exponential in $\mathcal{O}(n \log n)$. As an application, we obtain a new upper bound of $\mathcal{O}(n^{1.5} \sqrt{\log n})$ on the approximate degree of the bipartite perfect matching function, improving the previous best known bound of $\mathcal{O}(n^{1.75})$. We deduce that, beyond a $\mathcal{O}(\sqrt{\log n})$ factor, the polynomial method cannot be used to improve the lower bound on the bounded-error quantum query complexity of bipartite perfect matching.

연구 동기 및 목표

• 이분 그래프 완전 매칭 결정 문제의 이중 함수를 실수 위에서의 다항식으로 특성화하기.
• 이 이중 다항식의 단항식 수와 계수의 크기를 제한하기.
• 이분 그래프 완전 매칭 함수의 근사도수에 대한 개선된 상계 유도하기.
• 완전 매칭의 유계 오차 양자 질의 복잡도에 대해 더 강력한 하한을 증명하는 데 다항식 방법의 한계 평가하기.

제안 방법

• 이분 그래프 완전 매칭 문제의 이중 함수를 실수 위에서의 다항식으로 표현하기.
• 이 다항식의 구조를 분석하여 단항식 수와 계수의 절대값을 제한하기.
• 이 제한을 바탕으로 매칭 함수의 근사도수에 대한 새로운 상계 유도하기.
• 근사도수 상계를 적용하여 다항식 방법이 양자 질의 복잡도 하한을 증명하는 데 가지는 제약 요건을 추론하기.
• 근사도수와 양자 질의 복잡도 사이의 알려진 관계를 활용하여 향후 하한 개선의 제약을 제한하기.

실험 결과

연구 질문

• RQ1 실수 위에서의 이분 그래프 완전 매칭 결정 문제에 대한 이중 다항식의 구조는 어떠한가?
• RQ2 이 이중 다항식은 몇 개인가? 그리고 계수의 크기는 얼마나 클 수 있는가?
• RQ3 이중 다항식의 성질을 활용하여 매칭 함수의 근사도수에 대한 더 낫게 조인 상계를 도출할 수 있는가?
• RQ4 이 새로운 근사도수 상계는 다항식 방법이 완전 매칭의 양자 질의 복잡도 하한을 더 향상시키는 데 가지는 적용 가능성을 어느 정도 제한하는가?

주요 결과

• 이분 그래프 완전 매칭의 이중 다항식은 O(n log n)에 대해 지수적으로 최대한 많은 단항식을 가진다.
• 이중 다항식의 계수는 크기로 볼 때 O(n log n)에 대해 지수적으로 제한된다.
• 이분 그래프 완전 매칭 함수의 근사도수는 최대 O(n^{1.5} √log n)이다.
• 이 새로운 상계는 이전까지 알려진 최선의 상계인 O(n^{1.75})를 향상시킨다.
• 결과적으로, √log n 요소를 제외하고는 다항식 방법이 완전 매칭의 유계 오차 양자 질의 복잡도에 대해 더 강력한 하한을 도출할 수 없다는 것을 시사한다.