[論文レビュー] Complexity of Robust Orbit Problems for Torus Actions and the abc-Conjecture

Peter Bürgisser, Mahmut Levent Doğan+3 more|arXiv (Cornell University)|Jan 1, 2024

Geometric and Algebraic Topology被引用数 1

ひとこと要約

この論文は、C^nにおけるトーラス作用のロバストな軌道問題の計算複雑性を調査し、要因 γ ≥ 1 の範囲で軌道間距離を近似するフレームワークを導入する。γ = n^{Ω(1/log log n)} に対してNP困難であることを証明し、γ = exp(poly(n)) に対して多項式時間アルゴリズムを構築する。驚くべき同値性を確立する：これらのアルゴリズムは、多項式時間で動作するが、かつそれが成り立つのはabc予想のバージョンが成り立つ場合に限る—計算複雑性と深い数論の間の関係を示している。

ABSTRACT

When a group acts on a set, it naturally partitions it into orbits, giving rise to orbit problems. These are natural algorithmic problems, as symmetries are central in numerous questions and structures in physics, mathematics, computer science, optimization, and more. Accordingly, it is of high interest to understand their computational complexity. Recently, Bürgisser et al. gave the first polynomial-time algorithms for orbit problems of torus actions, that is, actions of commutative continuous groups on Euclidean space. In this work, motivated by theoretical and practical applications, we study the computational complexity of robust generalizations of these orbit problems, which amount to approximating the distance of orbits in $\mathbb{C}^n$ up to a factor $γ>1$. In particular, this allows deciding whether two inputs are approximately in the same orbit or far from being so. On the one hand, we prove the NP-hardness of this problem for $γ= n^{Ω(1/\log\log n)}$ by reducing the closest vector problem for lattices to it. On the other hand, we describe algorithms for solving this problem for an approximation factor $γ= \exp(\mathrm{poly}(n))$. Our algorithms combine tools from invariant theory and algorithmic lattice theory, and they also provide group elements witnessing the proximity of the given orbits (in contrast to the algebraic algorithms of prior work). We prove that they run in polynomial time if and only if a version of the famous number-theoretic $abc$-conjecture holds -- establishing a new and surprising connection between computational complexity and number theory.

研究の動機と目的

• トーラス作用下での軌道問題のロバストな一般化を定義・研究し、2つのベクトルが同じ軌道上にあるか、あるいは大きく離れているかを近似的に決定可能とする。
• C^nにおける軌道間距離を要因 γ ≥ 1 の範囲で近似する際の計算複雑性を分析する。
• 多項式時間でのロバストな軌道問題の解法がabc予想のバージョンと同値であることを示すことで、計算複雑性と数論の間の新規な接点を確立する。

提案手法

• 最近接ベクトル問題（CVP）を格子に対して、ロバストな軌道問題に還元することで、γ = n^{Ω(1/log log n)} に対してNP困難性を証明する。
• 不変理論とアルゴリズム的格子理論の道具を組み合わせ、近似要因 γ = exp(poly(n)) を達成するアルゴリズムを設計する。
• Kempf-Ness定理を用いて、軌道距離の計算をトーラスのリー代数上での凸関数（Kempf-Ness関数）の最小化問題に還元する。
• 見せかけの要因（witness-finding）メカニズムを用い、t ∈ T で、t·v が w から真の軌道距離の γ 倍以内に近づくような群元 t を返す。
• 正しさと効率性を保証するため、推測7.3（Kempf-Ness関数の最小化子の近似に関するもの）と分離仮説1.7（対数的軌道距離の下界に関するもの）に依存する。
• 指数的ディオファントス近似の境界を用いて、アルゴリズムが多項式時間で動作するのは、abc予想のバージョンが成り立つ場合に限ることを確立する。

実験結果

リサーチクエスチョン

• RQ1 近似要因 γ ≥ 1 の範囲で軌道間距離を近似するロバストな軌道問題は、小さな近似要因では計算的に困難であるか？
• RQ2 大きな近似要因に対して多項式時間アルゴリズムを設計できるか。その効率性に必要な・十分な条件は何か？
• RQ3 軌道問題の計算複雑性と、abc予想のような数論の深い予想との間の正確な関係は何か？
• RQ4 ロバストな軌道問題のアルゴリズムは、距離の決定を越えて、軌道間の近接性を示す明示的な群元（証拠）を返すことができるか？
• RQ5 このロバストな軌道問題に対する多項式時間アルゴリズムの存在は、数論的予想の真偽に依存するか、あるいはそれと同値であるか？

主な発見

• 近似要因が γ = n^{Ω(1/log log n)} の場合、最近接ベクトル問題（CVP）への還元により、ロバストな軌道問題はNP困難であることが示された。
• 近似要因 γ = exp(poly(n)) の場合、多項式時間で動作するアルゴリズムを提示し、さらに t ∈ T で、‖t·v − w‖ ≤ γ · dist(O_v, O_w) を満たす明示的な群元 t を返すことができる。
• アルゴリズムが多項式時間で動作するのは、abc予想のバージョンが成り立つ場合に限るという、きわめて鋭い同値性が確立された。
• 推測7.3と分離仮説1.7を仮定すると、Kempf-Ness軌道間の対数的距離 δ_log(C_v*, C_w*) は、十分な精度で近似可能であり、多項式時間で軌道の同一性を決定できることが証明された。
• 軌道間の距離は、入力ビット長に対して二重指数的（doubly exponentially）に小さくなる可能性があり、高精度近似の必要性を強調している。
• 有理不変量が異なる場合、δ_log(C_v*, C_w*) ≥ log 2 / (2N) が成り立つことを示し、分離仮説を支持する下界を提供した。