[论文解读] Periods and elementary real numbers

Masahiko Yoshinaga|ArXiv.org|May 3, 2008

Computability, Logic, AI Algorithms参考文献 14被引用 13

一句话总结

本文证明了所有周期——通过有理函数在半代数集上绝对收敛积分所定义的复数——均可由初等有理柯西序列有效逼近，从而证明周期是初等实数的子集。作为关键结果，本文通过初等柯西序列的对角化构造出一个可计算的实数，该数非初等，因此不可能是周期，从而解决了康采维奇与扎吉尔长期悬而未决的问题。

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：给出一个非周期的实数。
• 通过分析计算复杂度层级，阐明周期与非周期之间的定性差异。
• 通过从 $\mathbb{N}^\mathbb{N}$ 到 $\mathbb{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)$ 的收敛是有效的：存在常数 $L = L(D)$，使得当 $n > 4rL\sqrt{\ell}k$ 时，有 $|\text{vol}(D) - \text{vol}(V_n)| < 1/k$。
• 通过初等柯西序列集合上的对角化，显式构造出一个非初等的可计算实数。
• 由于所构造的数非初等，因此它不可能是周期，从而为康采维奇与扎吉尔的问题3提供了肯定解答。
• 边界 $\partial D$ 的闵可夫斯基 $(\ell-1)$-维内容有限，这使得有效收敛界成为可能。