[论文解读] Quantum query complexity of minor-closed graph properties

Andrew M. Childs, Robin Kothari|arXiv (Cornell University)|Nov 5, 2010

Quantum Computing Algorithms and Architecture参考文献 23被引用 3

一句话总结

该论文确定了退化闭合图性质的量子查询复杂度，表明大多数此类性质——即不被有限个禁止子图所刻画的性质——需要 Θ(n³/²) 次查询。相比之下，由有限个禁止子图定义的退化闭合性质可通过一种新颖的量子行走搜索框架在 o(n³/²) 次查询内解决，该框架利用了图的稀疏性。

ABSTRACT

We study the quantum query complexity of minor-closed graph properties, which include such problems as determining whether an $n$-vertex graph is planar, is a forest, or does not contain a path of a given length. We show that most minor-closed properties---those that cannot be characterized by a finite set of forbidden subgraphs---have quantum query complexity Θ(n^{3/2}). To establish this, we prove an adversary lower bound using a detailed analysis of the structure of minor-closed properties with respect to forbidden topological minors and forbidden subgraphs. On the other hand, we show that minor-closed properties (and more generally, sparse graph properties) that can be characterized by finitely many forbidden subgraphs can be solved strictly faster, in o(n^{3/2}) queries. Our algorithms are a novel application of the quantum walk search framework and give improved upper bounds for several subgraph-finding problems.

研究动机与目标

• 确定退化闭合图性质的量子查询复杂度，这是单调图性质的一个核心类别。
• 解决对平面性、森林和无路径性等性质的理解缺口，这些性质是退化闭合的，但通常不被禁止子图刻画。
• 为稀疏图中的子图查找开发新的量子算法，使其优于现有方法。
• 为这些问题建立紧致的上下界，区分具有与不具有有限禁止子图刻画的性质。
• 探索标准量子对偶方法的局限性，并为稀疏图中的子图检测开发新方法。

提出的方法

• 通过分析退化闭合族中禁止的拓扑极小图和子图的结构，证明了对偶下界。
• 为稀疏图开发了一种定制化的量子行走搜索框架，其中行走的转移基于顶点度数进行优化。
• 使用振幅放大和态制备技术，高效地制备低度顶点的叠加态，并在 O(n⁵/⁴) 次查询内检测 4-环。
• 通过识别关键顶点（例如度数接近 q 的顶点）并检查其邻接关系，将量子行走搜索应用于稀疏图中的子图检测。
• 引入了一种分层算法，迭代遍历可能的度数阈值 q，并通过误差缩减技术在对数开销内保持精度。
• 利用退化闭合图的稀疏性（例如有界退化性）将某些子图类别的查询复杂度降低至 n³/² 以下。

实验结果

研究问题

• RQ1 不被有限个禁止子图所刻画的退化闭合图性质的量子查询复杂度是什么？
• RQ2 对于由有限个禁止子图刻画的退化闭合性质，量子算法能否实现低于 n³/² 的查询复杂度？
• RQ3 为何标准量子对偶方法在三角形检测等子图查找问题中无法证明超过 Ω(n) 的下界？
• RQ4 当搜索空间事先未知时，如何将量子行走搜索适配于稀疏图中的子图检测？
• RQ5 图的稀疏性在突破一般 n³/² 障碍、实现更快的量子子图检测算法中起到什么作用？

主要发现

• 大多数不被有限个禁止子图刻画的退化闭合图性质具有 Θ(n³/²) 的量子查询复杂度，与对偶方法得出的下界一致。
• 由有限个禁止子图刻画的退化闭合性质可在 o(n³/²) 次查询内解决，具体为 O(nα)（其中 α < 3/2），如推论 4.3 所示。
• 检测稀疏图中 4-环的算法实现了 O(n⁵/⁴) 的查询复杂度，通过利用稀疏性和基于度数的过滤，优于一般的 n³/² 上界。
• 量子行走搜索框架被调整为动态识别相关顶点（例如度数接近 q 的顶点）并调整转移速率，从而实现更快收敛。
• 对于路径查找问题，长度 ≤4 的路径的量子查询复杂度为 ˜Θ(n)，长度为 5–7 的路径为 ˜O(n⁷/⁶)，对更长路径有非平凡的改进。
• 结果表明，稀疏性是实现更快量子算法的关键，且退化闭合族的结构特性（如有界退化性）可被超越简单子图检测加以利用。