[논문 리뷰] Periods and elementary real numbers

Masahiko Yoshinaga|ArXiv.org|2008. 05. 03.

Computability, Logic, AI Algorithms참고 문헌 14인용 수 13

한 줄 요약

이 논문은 유리 함수의 절대수렴적 적분에 의해 정의된 복소수인 주기(periods)가 모두 초등 유리 코시 수열에 의해 효과적으로 근사 가능하다는 것을 입증하며, 주기가 초등 실수의 부분집합임을 증명한다. 주요 결과로는 초등적이지 않은 계산 가능한 실수를 구성하여, 이것이 주기가 될 수 없음을 보이며, 콘체비치와 자지어가 제기한 오랜 문제를 해결한다.

ABSTRACT

The periods, introduced by Kontsevich and Zagier, form a class of complex numbers which contains all algebraic numbers and several transcendental quantities. Little has been known about qualitative properties of periods. In this paper, we compare the periods with hierarchy of real numbers induced from computational complexities. In particular we prove that periods can be effectively approximated by elementary rational Cauchy sequences. As an application, we exhibit a computable real number which is not a period.

연구 동기 및 목표

• 콘체비치와 자지어의 문제 3을 해결하기 위해 주기가 아닌 실수를 제시한다.
• 계산 복잡도 계층을 분석하여 주기와 비주기 사이의 정성적 차이를 명확히 한다.
• N^N에서 N으로의 초등 함수를 통해 초등 실수의 집합을 정의하고 분석한다.
• 주기가 초등 함수로 정의된 유리 코시 수열에 의해 효과적으로 근사 가능하다는 것을 보인다.
• 초등적이지 않은 계산 가능한 실수를 구성함으로써, 이것이 주기가 될 수 없음을 증명한다.

제안 방법

• 정수 계수 다항부등식으로 정의된 유계 반대수학적 집합의 체적을 계산하는 문제를 주기 근사 문제로 환원한다.
• 크기 $1/n$인 큐브 격자 위에서 리만 합을 사용하여 이러한 도메인의 체적을 근사한다.
• 타르스키의 양자자기소거를 적용하여 주어진 큐브가 도메인에 포함되어 있는지 알고리즘적으로 결정함으로써, 소속 함수가 초등적임을 보장한다.
• 격자 인덱스에 대한 유한 합을 통해 포함된 큐브들의 체적을 $n$의 초등 함수로 표현한다.
• 민코프스키 체내와 차원 이론을 적용하여 수렴 속도를 추정하고, 체적 차이 $|\text{vol}(D) - \text{vol}(V_n)|$를 $4r\tilde{L}\tilde{\rho}/n$으로 유계화한다.
• 초등 코시 수열의 집합에 대한 대각선화를 활용하여 초등 클래스에 속하지 않는 계산 가능한 실수를 구성한다.

실험 결과

연구 질문

• RQ1 초등 함수로 정의된 유리 코시 수열에 의해 주기를 효과적으로 근사할 수 있는가?
• RQ2 주기가 아닌 계산 가능한 실수가 존재하는가? 만약 존재한다면, 어떻게 구성할 수 있는가?
• RQ3 정수 계수 다항부등식으로 정의된 반대수학적 집합의 체적을 근사하는 데 필요한 계산 복잡도는 무엇인가?
• RQ4 반대수학적 집합의 체적에 대한 리만 합 근사의 수렴 속도를 초등적으로 유계화할 수 있는가?
• RQ5 초등 실수의 집합은 주기의 집합을 진정으로 포함하는가? 그리고 이는 주기와 비주기 사이를 분리하는 데 사용될 수 있는가?

주요 결과

• 모든 실수 주기는 초등 실수이며, 이는 초등 함수로 정의된 유리 수의 코시 수열의 극한으로 표현될 수 있음을 의미한다.
• 정수 계수 다항부등식으로 정의된 모든 유계 반대수학적 집합 $D$의 체적은 초등 유리 수열 $\text{vol}(V_n)$에 의해 근사 가능하다.
• $\text{vol}(V_n)$의 수렴은 효과적이다: 체적 차이 $|\text{vol}(D) - \text{vol}(V_n)| < 1/k$를 만족시키기 위해 $n > 4rL\sqrt{\ell}k$이면 충분하며, 이때 상수 $L = L(D)$가 존재한다.
• 초등 코시 수열의 집합에 대한 대각선화를 통해 초등적이지 않은 계산 가능한 실수를 명시적으로 구성하였다.
• 구성된 수가 초등적이지 않기 때문에 주기가 될 수 없으며, 이는 콘체비치와 자지어의 문제 3에 대한 긍정적 해결을 제공한다.
• 경계 $\partial D$의 민코프스키 $(\ell-1)$차원 체내는 유한하며, 이는 효과적 수렴 유계화를 가능하게 한다.