[论文解读] Special Functions and the Range of Multiplicative Functions on C[x], R[x] and Z[x]

Christopher D. Sinclair|arXiv (Cornell University)|Sep 25, 2005

Analytic Number Theory Research被引用 4

一句话总结

本文引入了乘法距离函数，将马勒测度推广至复平面上多项式零点分布的多项式复杂度量化。研究证明，复数与实数矩函数——作为关联分布函数的梅林变换——可分别表示为格拉姆矩阵的行列式与反对称矩阵的帕菲安行列式，揭示了深刻的算术结构；特别地，对于单位容量椭圆，这些矩函数为具有有理系数或π-有理系数的有理函数，且在原点具有高阶零点。

ABSTRACT

Mahler’s measure is generalized to create the class of multiplicative distance functions. These functions measure the complexity of polynomials based on the location of their zeros in the complex plane. Several examples of multiplicative distance functions are given including those formed from equilibrium potentials of compact connected subsets of C. To each multiplicative distance function we associate two families of analytic functions which encode information about its range on C[x] and R[x]. These moment functions are Mellin transforms of distribution functions associated to the multiplicative distance function and demonstrate a great deal of arithmetic structure. As an example of this we will demonstrate that the moment functions associated to the equilibrium potential of a family of ellipses of capacity 1 turn out to be rational functions with coefficients which are either rational or rational times a power of π. Moreover the poles of these functions are at positive and negative integers, and each of these functions has a high multiplicity zero at the origin. These results follow from the discovery that the complex moment functions of a multiplicative distance function can be written as determinants of Gram matrices formed from an inner product associated to the multiplicative distance function. Similarly the real moment functions can be written as Pfaffians of antisymmetric matrices formed from a skew-symmetric inner product associated to the multiplicative distance function. As a practical application of this theory we give asymptotic estimates for the number of reciprocal polynomials of fixed degree with Mahler measure less than T as T → ∞.

研究动机与目标

• 将马勒测度推广至更广泛的乘法距离函数类，通过复平面上多项式零点位置编码多项式复杂度。
• 通过关联的解析矩函数分析这些函数在多项式环C[x]、R[x]和Z[x]上的取值范围。
• 通过将矩函数表示为基于内积构造的矩阵形式的行列式与帕菲安行列式，揭示其背后隐藏的算术结构。
• 将理论应用于推导当T → ∞时，固定次数的倒数多项式中马勒测度小于阈值T的个数的渐近估计。

提出的方法

• 利用复平面上紧致连通子集的平衡势定义乘法距离函数，特别关注单位容量椭圆。
• 将复数与实数矩函数构造为与乘法距离函数相关的分布函数的梅林变换。
• 将复数矩函数表示为与距离函数相关联的正定内积所生成的格拉姆矩阵的行列式。
• 将实数矩函数表示为与距离函数关联的斜对称内积所导出的反对称矩阵的帕菲安行列式。
• 利用矩阵结构证明，单位容量椭圆的矩函数为具有有理系数或π-有理系数的有理函数。
• 通过矩函数的解析性质，推导出固定次数的倒数多项式中马勒测度小于T的个数的渐近估计。

实验结果

研究问题

• RQ1 如何将马勒测度推广至反映多项式零点在复平面上位置的乘法距离函数？
• RQ2 此类乘法距离函数关联的矩函数中会涌现出何种算术结构？
• RQ3 为何单位容量椭圆的矩函数表现出有理系数或π-有理系数，并在原点具有高重数零点？
• RQ4 复数与实数矩函数的行列式与帕菲安行列式表示如何揭示其更深层的分析与数论性质？
• RQ5 当T → ∞时，马勒测度小于T的倒数多项式个数的渐近行为如何表征？

主要发现

• 乘法距离函数的复数矩函数是基于关联正定内积所生成的格拉姆矩阵的行列式。
• 实数矩函数是基于关联斜对称内积所生成的反对称矩阵的帕菲安行列式。
• 对于单位容量椭圆的平衡势，矩函数为具有有理系数或π的有理倍数的有理函数。
• 这些矩函数在正整数与负整数处恰有极点，表明其解析行为中存在深刻的算术结构。
• 每个矩函数在原点具有高重数零点，反映了相关多项式族的底层对称性与复杂性。
• 该理论导出了当T → ∞时，固定次数的倒数多项式中马勒测度小于T的个数的渐近估计，其推导基于矩函数的解析性质。