[논문 리뷰] Special Functions and the Range of Multiplicative Functions on C[x], R[x] and Z[x]

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

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 → ∞ 일 때

제안 방법

• 콤��� 연결 부분집합의 평형 잠재력에 기반하여 복소수에서 C[x]에 대한 곱셈 거리 함수를 정의하며, 특히 단위 용량 타원에 초점을 맞춘다.
• 곱셈 거리 함수와 연관된 분포 함수의 멜린 변환으로 복소수 및 실수 모멘트 함수를 구성한다.
• 거리 함수와 관련된 양의 정부호 내적에서 유도된 그램 행렬의 행렬식으로 복소수 모멘트 함수를 표현한다.
• 거리 함수와 연결된 반대칭 내적에서 유도된 반대칭 행렬의 펠리안으로 실수 모멘트 함수를 표현한다.
• 행렬의 구조를 이용하여 단위 용량 타원의 경우 모멘트 함수가 유리수 또는 π의 유리수 배 계수를 가지며 유리함수임을 증명한다.
• 모멘트 함수의 해석적 성질을 활용하여 고정된 차수를 가진 역다항식의 수에 대한 渐近적 추정치를 도출한다. 마할러 측도가 T 이하인 경우

실험 결과

연구 질문

• RQ1 마할러 측도는 어떻게 복소평면에서 다항식의 영점 위치를 반영하는 곱셈 거리 함수의 더 넓은 범주로 일반화될 수 있는가?
• RQ2 그러한 곱셈 거리 함수와 관련된 모멘트 함수에서 어떤 산술적 구조가 드러나는가?
• RQ3 왜 단위 용량 타원의 경우 모멘트 함수는 유리수 또는 π의 유리수 배 계수를 가지며 원점에서 고차수의 영을 가지는가?
• RQ4 복소수 및 실수 모멘트 함수의 행렬식 및 펠리안 표현은 어떤 깊이 있는 해석적 및 수론적 성질을 드러내는가?
• RQ5 T → ∞ 일 때, 마할러 측도가 T 이하인 역다항식의 수는 어떤 渐近적 행동을 보이는가?

주요 결과

• 곱셈 거리 함수의 복소수 모멘트 함수는 관련된 양의 정부호 내적에서 유도된 그램 행렬의 행렬식이다.
• 실수 모멘트 함수는 거리 함수와 연결된 반대칭 내적에서 유도된 반대칭 행렬의 펠리안이다.
• 단위 용량 타원의 평형 잠재력의 경우, 모멘트 함수는 유리수 또는 π의 유리수 배 계수를 가지며 유리함수이다.
• 이러한 모멘트 함수는 양의 정수와 음의 정수에서 극을 정확히 가지며, 이는 해석적 행동에서 깊이 있는 산술적 구조를 나타낸다.
• 각 모멘트 함수는 원점에서 고차수의 영을 가지며, 이는 관련 다항식 집합의 기저 대칭성과 복잡성 반영한다.
• 이 이론은 모멘트 함수의 해석적 성질을 기반으로 하여 고정된 차수를 가진 역다항식의 수에 대한 渐近적 추정치를 도출한다. 마할러 측도가 T 이하인 경우 T → ∞ 일 때