[논문 리뷰] Complexity of Robust Orbit Problems for Torus Actions and the abc-Conjecture

Peter Bürgisser, Mahmut Levent Doğan외 3명|arXiv (Cornell University)|2024. 01. 01.

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.

연구 동기 및 목표

• 토르스 작용 하에서 궤도 문제의 강건한 일반화를 정의하고 연구하여, 두 벡터가 같은 궤도에 있거나 매우 먼 궤도에 있는지를 근사적으로 결정할 수 있도록 한다.
• C^n에서 궤도 간 거리의 근사화 복잡도를 γ ≥ 1인 인자에 대해 분석한다.
• 다항시간 내에 해를 구할 수 있는 강건한 궤도 문제의 해법이 abc-추측의 한 형태와 동치임을 보여주는 새로운 연결 고리를 수립함으로써, 계산 복잡도와 수론 간의 관계를 밝혀낸다.

제안 방법

• 최근접 벡터 문제(CVP)를 격자에서 강건한 궤도 문제로 감소시켜, γ = n^{Ω(1/log log n)}일 때 NP-난이도임을 증명한다.
• 불변량 이론과 알고리즘적 격자 이론의 도구를 조합하여, 근사 인자 γ = exp(poly(n))을 달성하는 알고리즘을 설계한다.
• Kempf-Ness 정리를 사용하여 궤도 거리 계산을 토르스의 리 대수 위에서 볼록 함수(즉, Kempf-Ness 함수)의 최소화 문제로 감소시킨다.
• 증거 찾기 메커니즘을 활용하여, t ∈ T인 군 원소 t를 반환하여 t·v가 w로부터 γ 배의 진짜 궤도 거리 이내에 있도록 한다.
• 정확성과 효율성을 보장하기 위해, 추측 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를 반환하여 ‖t·v − w‖ ≤ γ · dist(O_v, O_w)를 만족한다.
• 알고리즘이 다항시간 내에 작동하는 것과 오직 abc-추측의 한 형태가 참일 경우에만 성립함을 증명하여, 계산 복잡도와 수론적 추측 간의 날카로운 등가성을 확립한다.
• 추측 7.3과 분리 가설 1.7을 가정할 경우, Kempf-Ness 궤도 간의 로그 거리 δ_log(C_v*, C_w*)는 충분한 정밀도로 근사 가능하며, 이는 궤도 동치성 판단을 다항시간 내에 가능하게 한다.
• 입력 비트 길이에 대해 궤도 간 거리는 심지어 궤도가 다를 때도 이중 지수적으로 작을 수 있으며, 이는 고정밀 근사화의 필요성을 강조한다.
• 유리 불변량이 다를 경우 δ_log(C_v*, C_w*) ≥ log 2 / (2N)임을 증명하여, 분리 가설을 뒷받침하는 하한을 제공한다.