[論文レビュー] The Dual Polynomial of Bipartite Perfect Matching

Gal Beniamini|arXiv (Cornell University)|Apr 29, 2020

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 要因を除いて、より強い下界を生み出せないことを示唆している。