[논문 리뷰] The discrete case of the mixed joint universality for a class of certain partial zeta-functions

Roma Kačinskaitė, Kohji Matsumoto|ArXiv.org|2018. 08. 11.

Advanced Mathematical Identities참고 문헌 12인용 수 3

한 줄 요약

이 논문은 $ h > 0 $ 이고 $ \exp(2\pi/h) \in \mathbb{Q} $ 를 만족하며, $ \alpha $ 가 초월수일 때, 수정된 Matsumoto zeta-함수와 주기적 Hurwitz zeta-함수를 포함하는 부분 zeta-함수의 클래스에 대해 새로운 이산 공통 유니버설리티 정리를 확립한다. 주요 결과는 이산 이동 분포가 다중 토러스 위의 Haar 측도로 약수렴한다는 것이며, 이는 기존의 유니버설리티 결과를 대수적으로 독립적인 매개변수를 가진 혼합 시스템으로 일반화한다.

ABSTRACT

We give a new type of mixed discrete joint universality properties, which is satisfied by a wide class of zeta-functions. We study the universality for a certain modification of a Matsumoto zeta-function and a periodic Hurwitz zeta-function under certain arithmetic condition on the common difference of arithmetical progression and the shifting parameter. Also we generalize a known discrete universality result in our former paper and the new one as well.

연구 동기 및 목표

• 수정된 Matsumoto zeta-함수와 주기적 Hurwitz zeta-함수를 포함하는 zeta-함수의 클래스에 대해 새로운 혼합 이산 공통 유니버설리티의 성립을 보이기.
• 다중 주기적 zeta-함수와 이동된 Matsumoto zeta-함수를 통합함으로써 기존의 이산 유니버설리티 결과를 일반화하기.
• 콤���트 군 위의 값 분포 이론과 확률적 극한 정리의 맥락에서 이산 이동의 분포를 조사하기.
• 매개변수 간 대수적 독립성 조건 하에서 다중 토러스 위의 경험 측도가 Haar 측도로 약수렴함을 증명하기.

제안 방법

• 원래의 $ \widetilde{\varphi}(s) $ 를 $ \alpha + \beta $ 만큼 이동시켜 이동된 Matsumoto zeta-함수 $ \varphi_h(s) $ 를 정의하며, $ \sigma > 1 $ 에서 절대 수렴성을 확보한다.
• 메로모르픽 연장, 다항식 성장, 반평면에서의 평균제곱 유계성 조건을 만족하는 zeta-함수의 공간 $ \mathcal{M} $ 을 도입한다.
• 소수 및 산술적 등차수열 이동에 대응하는 토러스의 곱에 대한 Haar 측도를 지닌 확률 공간 $ (\underline{\Omega}_{hr}, \mathcal{B}(\underline{\Omega}_{hr}), m_{Hr}^h) $ 를 구성한다.
• 콤���트 아벨 군 위의 푸리에 분석을 이용하여 경험 측도 $ Q_{Nhr} $ 가 Haar 측도 $ m_{Hr}^h $ 로 약수렴함을 보이며, 이는 1이 아닌 비자명한 지수합에 의존한다.
• 특성 함수의 연속성 정리를 사용하여 $ N \to \infty $ 일 때 랜덤 벡터 $ \underline{Z}_{hr} $ 의 분포가 $ P_{\underline{Z}_{hr}} $ 로 약수렴함을 증명한다.
• 매개변수 $ \alpha_1, \dots, \alpha_r $ 이 $ \mathbb{Q} $ 위에서 대수적으로 독립임을 이용하여 비자명한 지수합이 1이 되지 않음을 보장함으로써, 이산 이동의 등분포를 확보한다.

실험 결과

연구 질문

• RQ1 이동된 Matsumoto zeta-함수와 다수의 주기적 Hurwitz zeta-함수를 포함하는 시스템에 대해 혼합 이산 공통 유니버설리티 정리를 성립시킬 수 있는가?
• RQ2 이동 매개변수 $ h $ 와 매개변수 $ \alpha $ 가 다중 토러스 위의 Haar 측도로의 이산 이동 분포의 약수렴을 보장하기 위해 어떤 조건을 가져야 하는가?
• RQ3 매개변수 $ \alpha_j $ 들의 대수적 독립성이 혼합 유니버설리티 프레임워크 내에서 이산 이동의 분포에 어떤 영향을 미치는가?
• RQ4 기존의 이산 유니버설리티 결과는 어느 정도까지 다수의 주기적 zeta-함수와 수정된 Matsumoto zeta-함수를 포함하도록 일반화될 수 있는가?
• RQ5 $ \exp(2\pi/h) \in \mathbb{Q} $ 라는 조건이 이산 이동 시스템의 유니버설리티 성질을 가능하게 하는 데 어떤 역할을 하는가?

주요 결과

• 조건 $ \exp(2\pi/h) $ 가 유리수일 때, $ N \to \infty $ 일 때 이산 이동 분포 $ Q_{Nhr} $ 는 다중 토러스 $ \underline{\Omega}_{hr} $ 위의 Haar 측도 $ m_{Hr}^h $ 로 약수렴한다.
• 랜덤 벡터 $ \underline{Z}_{hr} $ 의 분포, 즉 $ \varphi_h(s_1, \omega_{1h}) $ 와 $ \zeta(s_{2j}, \alpha_j, \omega_{2j}; \mathfrak{B}_j) $ 로 구성된 분포는 $ P_{\underline{Z}_{hr}} $ 로 약수렴하며, 이는 혼합 이산 공통 유니버설리티를 확립한다.
• 이러한 수렴은 $ \alpha_1, \dots, \alpha_r $ 의 대수적 독립성에 의해 결정되며, 이는 비자명한 지수합이 1이 되지 않음을 보장함으로써 등분포를 가능하게 한다.
• 증명은 콤팩트 군 위에서의 특성 함수의 연속성 정리를 사용하여, $ Q_{Nhr} $ 의 푸리에 변환이 원점에서 크로네커 델타로 수렴함을 보여준다.
• 결과는 정리 6을 일반화하며, 다수의 주기적 zeta-함수와 이동된 Matsumoto zeta-함수를 포함하는 시스템으로 이전의 이산 유니버설리티 결과를 확장한다.
• $ \exp(2\pi/h) \in \mathbb{Q} $ 라는 조건은 이동에 의해 생성되는 곱셈군이 콤팩트임을 보장하며, 이는 Haar 측도의 존재와 수렴성 확보에 필수적이다.