[논문 리뷰] Complexity of strong approximation on the sphere

Naser T. Sardari|arXiv (Cornell University)|2017. 03. 08.

Advanced Mathematical Identities참고 문헌 7인용 수 8

한 줄 요약

이 논문은 다항시간 정수 인수분해와 이차형식에 대한 강력한 근사 추측인 추측 1.1을 가정할 때, LPS 라만두잔 그래프를 탐색하기 위한 결정적 다항시간 알고리즘을 제시한다. 경로 탐색 문제를 특정 합동 조건을 갖는 네 제곱수의 합으로 표현하는 문제로 환원함으로써, 대각 꼭짓점 간의 최단 경로를 계산하며, 이로써 추측된 점근적 지름 $ (4/3)/\log_p|X^{p,q}| + O(1) $ 와 일치하는 경계를 확보한다. 100자리 소수 $ q $ 에 대한 수치적 검증도 수행되었다.

ABSTRACT

By assuming some widely-believed arithmetic conjectures, we show that the task of accepting a number that is representable as a sum of $d\geq2$ squares subjected to given congruence conditions is NP-complete. On the other hand, we develop and implement a deterministic polynomial-time algorithm that represents a number as a sum of 4 squares with some restricted congruence conditions, by assuming a polynomial-time algorithm for factoring integers and Conjecture~ ef{cc}. As an application, we develop and implement a deterministic polynomial-time algorithm for navigating LPS Ramanujan graphs, under the same assumptions.

연구 동기 및 목표

• 이론적 컴퓨터 과학 및 양자 회로 설계에서 중요한 역할을 하는 LPS 라만두잔 그래프를 탐색하기 위한 결정적 다항시간 알고리즘을 개발한다.
• 일반적인 경우에 대해 이러한 그래프에서의 경로 탐색 문제의 계산적 난이도를 증명하여, 일반적인 경우에 대해 NP-완전성을 확립한다.
• 이차형식의 정수해의 조밀도에 관한 추측 1.1을 제안하고 그 타당성을 설명함으로써, 알고리즘의 종료성과 효율성을 보장한다.
• LPS 라만두잔 그래프의 지름에 대한 정량적 경계를 설정하여, 대부분의 대각 꼭짓점 쌍은 길이 $ \log_p|X^{p,q}| + O(\log\log|X^{p,q}|) $ 의 경로로 연결됨을 보여준다.
• 구체적인 수치 예제를 제공하며, 100자리 소수 $ q $ 에 대해 432단계의 경로를 포함하여, 알고리즘이 이론적 하한값에 대해 최대 두 단계 이내로 최적화됨을 검증한다.

제안 방법

• LPS 라만두잔 그래프에서의 탐색 문제를 특정 합동 조건을 갖는 정수를 네 제곱수의 합으로 표현하는 문제로 환원한다.
• $ X^{p,q} $ 의 대각 꼭짓점과 $ \mathbb{Z}^2 $ 의 인덱스 $ q $ 부분격자 사이의 새로운 대응관계를 이용하여, 경로 탐색 문제의 기하학적 해석을 가능하게 한다.
• 제한된 합동 조건을 갖는 네 제곱수의 합 표현을 위한 결정적 알고리즘을 적용하며, 이는 다항시간 정수 인수분해 알고리즘을 가정한다.
• 추측 1.1을 활용한다. 이 추측은 만약 이차형식 $ Q(t_0,t_1) $ 가 반지름 $ r $ 의 구 안에 충분히 많은 정수점이 있다면, 그 영역 내에서 두 제곱수의 합으로 표현됨을 주장한다.
• 쿼터니언 $ x + iy + jz + kw $ 를 $ V $-게이트로 인수분해함으로써 그래프 내 경로를 구성한다. 여기서 $ V $-게이트는 LPS 생성자에 대응한다.
• 100자리 소수 $ q $ 에 대해 알고리즘을 수치적으로 구현하여, 계산된 경로 길이가 이론적 하한값 $ 3\log_5(q) \approx 428.5 $ 에 대해 최대 두 단계 이내임을 검증한다.

실험 결과

연구 질문

• RQ1 주어진 합동 조건을 갖는 $ d \geq 2 $ 개의 제곱수의 합으로 표현하는 문제는 표준 산술 추측 하에 NP-완전인가?
• RQ2 제한된 합동 조건이 있는 네 제곱수의 합 표현으로 환원함으로써, 결정적 다항시간 알고리즘이 LPS 라만두잔 그래프를 탐색할 수 있는가?
• RQ3 이차형식의 정수해의 조밀도에 관한 추측 1.1은 알고리즘이 다항시간 내에 종료됨을 보장하는가?
• RQ4 LPS 라만두잔 그래프 $ X^{p,q} $ 의 점근적 지름은 무엇이며, 이는 이차형식에 대한 강력한 근사 원리로 경계를 설정할 수 있는가?
• RQ5 경로 탐색 알고리즘은 실질적으로 효율적으로 구현될 수 있으며, 그 출력 경로 길이는 이론적 하한값에 얼마나 가까운가?

주요 결과

• 다항시간 정수 인수분해와 추측 1.1을 가정할 경우, 알고리즘은 $ \log q $ 에 대해 결정적 다항시간 내에 $ X^{p,q} $ 의 임의의 두 대각 꼭짓점 사이의 최단 경로를 계산한다.
• 최대 $ 89q^4 / p^{\alpha-1} $ 쌍을 제외한 모든 꼭짓점 쌍에 대해, 경로 길이는 $ \max(\alpha, 3\log_p q + \gamma\log_p\log q + \log_p C_\gamma + \log_p 89) $ 로 경계지며, 이는 거의 최적의 성능임을 보여준다.
• 큰 $ q $ 에 대해, 항등원에서 어떤 대각 꼭짓점까지의 거리는 최대 $ (4/3)\log_p|X^{p,q}| + \log_p(89) $ 이며, 이는 그래프의 추측된 점근적 지름과 일치한다.
• 수치적 결과는 100자리 소수 $ q $ 에 대해 알고리즘이 길이 432의 경로를 생성함을 확인하며, 이는 이론적 하한값 $ 3\log_5 q \approx 428.5 $ 와 최대 두 단계 이내임을 보여주며, 거의 최적임을 시사한다.
• 행렬 $ \begin{bmatrix}i&0\\0&-i\end{bmatrix} $ 에 대해 알고리즘의 출력 경로 길이가 571이며, 이는 $ 4\log_5 q \approx 571.20 $ 과 매우 가까워, 이 값이 $ X^{p,q} $ 의 점근적 지름임을 지지하는 증거가 된다.