[논문 리뷰] Wilkie's conjecture for restricted elementary functions

Gal Binyamini, Dmitry Novikov|arXiv (Cornell University)|2016. 05. 16.

Advanced Topology and Set Theory참고 문헌 13인용 수 4

한 줄 요약

이 논문은 ℝ^RE에서 정의 가능한 집합에 대해 Wilkie의 추측과 Pila의 개선된 추측을 증명한다. ℝ^RE는 제한된 지수 및 사인 함수를 포함하는 구조이며, 이러한 집합의 초월 부분에서 높이가 유계인 유리점과 대수적 점의 수는 log H에 대해 다항식적으로 증가하며, 이는 정의 가능한 집합의 복잡성에 따라 효과적이고 균일한 상한을 가진다.

ABSTRACT

We consider the structure ${\mathbb R}^{\mathrm{RE}}$ obtained from $({\mathbb R},

연구 동기 및 목표

• ℝ^RE에서 정의 가능한 집합의 초월 부분에서의 유리점의 증가율에 대한 Wilkie의 추측을 확립하기 위해.
• ℝ^RE-정의 가능한 집합에서 고정된 수체나 고정된 차수를 가진 대수적 점을 세는 데 있어 Pila의 개선된 추측을 검증하기 위해.
• 정의 가능한 집합의 복잡성에 따라 변화하는 지수를 가진 효과적이고 균일한 상한을 제공하기 위해.
• 해석적-프라피안 다양체와 분할 기법을 제한된 초월 함수에 적용할 수 있도록 확장하기 위해.
• 타원 및 모듈라 함수를 포함하는 다른 희생적 구조로 결과를 일반화할 수 있는지 탐색하기 위해.

제안 방법

• 제한된 지수 및 사인 함수의 실해석적 및 프라피안 구조에 기반한 분할 기법을 사용한다.
• 함수의 프라피안 사슬 구조를 이용해 정의 가능한 집합을 여러 스트라타로 분해한다.
• 해석적-프라피안 다양체와 그 사영에 대한 효과적 상한에 의존하며, 모델 이론과 복소해석학의 결과를 활용한다.
• 초월 유리점과 특정 스트라타 사이에 단사 대응 관계를 설정함으로써, 이러한 스트라타의 수를 세는 방식으로 수를 세운다.
• ℝ^RE의 언어에서의 양자자 없는 공식을 사용하고, 프라피안 기하학의 효과적 추정을 적용한다.
• 정의 가능한 가족 전체에 걸쳐 균일한 방법을 적용하며, 최종 부등식의 지수와 상수에 대한 효과적 상한을 제공한다.

실험 결과

연구 질문

• RQ1 ℝ^RE에서 정의 가능한 집합의 초월 부분에서의 유리점 증가율에 대한 Wilkie의 추측을 증명할 수 있는가?
• RQ2 고정된 수체나 유계 차수를 가진 대수적 점을 세는 데 있어 Pila의 개선된 추측을 ℝ^RE-정의 가능한 집합에 대해 확립할 수 있는가?
• RQ3 성장 지수는 정의 가능한 집합의 복잡성과 수체 또는 차수에 따라 어떻게 의존하는가?
• RQ4 유리점 수에 대한 상한은 효과적인가? 그리고 공수는 공식의 복잡성으로부터 계산될 수 있는가?
• RQ5 이 방법은 타원 함수나 모듈라 함수를 포함하는 다른 구조로 확장될 수 있는가?

주요 결과

• 모든 ℝ^RE-정의 가능한 집합의 초월 부분에서 높이가 최대 H인 유리점의 수는 N·(log H)^κ 이하로 유계이며, 여기서 N과 κ는 집합에 따라 정해진 상수이다.
• 상한에서 지수 κ는 모든 수체에 대해 균일하게 선택할 수 있으며, 이는 Pila의 개선된 추측을 확인한다.
• 유계 차수 k를 가진 대수적 점의 경우, 초월 부분에서의 점의 수는 N·(log H)^κ 이하로 유계이며, 여기서 상수는 k와 집합에 따라 달라진다.
• 상한은 효과적이다: 지수 κ와 상수 N는 정의 공식의 복잡성로부터 계산될 수 있다.
• 이 방법은 정의 가능한 가족 전체에 걸쳐 균일하게 적용되며, 효과적 디오판틴 응용 가능성을 시사한다.
• 이 접근법은 타원 함수를 포함하는 구조로 일반화될 수 있으나, 모듈라 함수는 비-프라피안 행동으로 인해 여전히 도전 과제이다.