[논문 리뷰] Multidimensional polynomial Euler products and infinitely divisible distributions on R^d

Takahiro Aoyama, Takashi Nakamura|arXiv (Cornell University)|2012. 04. 18.

Advanced Mathematical Identities참고 문헌 9인용 수 6

한 줄 요약

이 논문은 일변수 zeta 기반 오일러乘의 일반화로서 다변수 다항식 오일러乘을 도입하고, ℝ^d 위의 무한 가datable 분포의 특성 함수를 생성할 수 있는 필요 및 충분 조건을 확립한다. 크로네커의 근사정리와 로그의 선형형식에 관한 베커의 정리를 적용하여, 특히 복합 포isson형 zeta 분포의 경우에 대해 무한 가odable성의 기준을 도출한다.

ABSTRACT

It is known to be difficult to find out whether a certain multivariable function to be a characteristic function when its corresponding measure is not tirivial to be or not to be a probability measure on R^d. Such results were not obtained for a long while. In this paper, multidimensional polynomial Euler product is defined as a generalization of the polynomial Euler product. By applying the Kronecker's approximation theorem, a necessary and sufficient condition for some polynomial Euler products to generate characteristic functions is given. Furthermore, by using the Baker's theorem, that of some multidimensional polynomial Euler products is also given. As one of the most important properties of probability distributions, the infinite divisibility of them is studied as well.

연구 동기 및 목표

• 일변수 zeta 분포와 오일러乘 이론을 고차원으로 확장한다.
• 다변수 다항식 오일러乘이 ℝ^d 위의 유효한 특성 함수가 되는 조건을 규명한다.
• 다음과 같은 오일러乘이 무한 가odable 분포에 대응하기 위한 필요 및 충분 조건을 확립한다.
• 해석적 수론 도구를 활용하여 다변수 zeta 유형 분포의 무한 가odable성 분석을 수행한다.
• 일부 다변수 함수가 확률측도의 특성 함수인지 여부를 확인하는 데 어려움을 다룬다.

제안 방법

• ℤ^d 내 소수에 대한 고전적 오일러乘의 일반화로서 다변수 다항식 오일러乘을 정의한다.
• 크로네커의 근사정리를 적용하여 1 모듈로 지수합의 밀도를 분석하고, 생성함수의 영이 없는 영역을 특성화하는 데 핵심적인 역할을 한다.
• 로그의 선형형식에 관한 베커의 정리를 사용하여 초월성 성질을 확립하고 특성 함수 내의 비자명한 영이 존재하지 않음을 배제한다.
• 소인수분해와 로그 스케일링을 통해 레비 측도를 구성하여 복합 포isson형 분포의 레비–힌친 트리플렛을 표현한다.
• 로그의 실수부를 분석하여 (e^{i⟨t,x⟩} - 1)에 대해 통합함으로써 이것이 레비 측도를 나타낼 수 있는지 판단한다.
• 점근적 추정과 수렴 논증을 활용하여 무한乘과 급수 표현에서 尾部 기여를 제어한다.

실험 결과

연구 질문

• RQ1 다변수 다항식 오일러乘이 ℝ^d 위의 특성 함수가 되는 조건은 무엇인가?
• RQ2 다변수 다항식 오일러乘이 언제 무한 가odable 분포를 생성하는가?
• RQ3 크로네커의 근사정리는 다변수 특성 함수의 영이 존재하지 않음을 확인하는 데 어떻게 활용될 수 있는가?
• RQ4 로그의 선형형식에 관한 베커의 정리는 언제 함수가 특성 함수가 아니라는 것을 확인하는 데 도움이 되는가?
• RQ5 ζ 함수와 디리클레 L-함수를 다변수 곱에서 조합하여 유효한 무한 가odable 분포를 도출할 수 있는가?

주요 결과

• 크로네커의 근사정리를 활용하여 다변수 다항식 오일러乘이 특성 함수를 생성할 수 있는 필요 및 충분 조건을 도출하였다.
• 일부 클래스의 다변수 다항식 오일러乘에 대해, 베커의 정리를 적용하여 그 로그의 실수부가 특정 산술적 구조를 가지며 0이 아닐 경우, 오일러乘이 특성 함수가 될 수 없음을 보였다.
• σ > 1 인 경우, ζ(2σ + 2it)L(σ + it)ζ(2σ)^{-1}L(σ)^{-1}의 곱이 특성 함수가 아니라는 것이 입증되었으며, 이는 그 로그의 실수부가 양수가 되는 t₀가 존재하기 때문이다.
• 함수 f_σ(t) = ζ(σ + it)^2 L(2σ + 2it)는 ℝ 위의 유한한 레비 측도 N_σ를 명시적으로 구성함으로써 복합 포isson 특성 함수임을 증명하였으며, 따라서 무한 가odable임을 입증하였다.
• 레비 측도 N_σ는 제곱소수의 로그 승수에 대한 드라마 메이스의 합으로 명시적으로 구성되었으며, 계수는 이차 잔여물과 관련된 산술 함수로부터 유도되었다.
• 분석 결과, 다변수 zeta 분포의 무한 가odable성은 기저 소인수분해의 산술적 구조와 소수에 대한 지수합의 행동에 의해 결정됨을 확인하였다.