[논문 리뷰] Joint universality for dependent $L$-functions

Łukasz Pańkowski|arXiv (Cornell University)|2016. 04. 15.

Analytic Number Theory ResearchMathematics참고 문헌 9인용 수 20

한 줄 요약

이 논문은 비선형적이고 비균일한 이동 형태 $L(s + i\beta t^{a}\log^b t; \chi)$ 에서 디리클레 $L$-함수의 동시 보편성을 확립한다. 이는 임의의 컴acts한 부분집합의 임의의 유한한 비영인 해석함수들의 집합이, 지수 쌍 $(a_j, b_j)$가 서로 다를 것과 함께 일정한 산술 조건을 만족할 경우, 이러한 이동에 의해 동시에 근사 가능하다는 것을 증명한다. 이 결과는 고전적 보편성 이론을 선형 이동을 초월하여 일반화하며, 연속적 및 이산적 설정 모두를 포함한다.

ABSTRACT

We prove that, for arbitrary Dirichlet $L$-functions $L(s;χ_1),\ldots,L(s;χ_n)$ (including the case when $χ_j$ is equivalent to $χ_l$ for $j e k$), suitable shifts of type $L(s+iα_jt^{a_j}\log^{b_j}t;χ_j)$ can simultaneously approximate any given analytic functions on a simply connected compact subset of the right open half of the critical strip, provided the pairs $(a_j,b_j)$ are distinct and satisfy certain conditions. Moreover, we consider a discrete analogue of this problem where $t$ runs over the set of positive integers.

연구 동기 및 목표

• 디리클레 $L$-함수의 고전적 동시 보편성 정리를 선형 이동을 초월하여 더 일반적인 비선형적, 비균일적 이동 형태 $t^{a_j} \log^{b_j} t$ 로 확장하는 것.
• 표준적인 동시 보편성이 기능적 의존성으로 인해 실패하는 종속적이거나 동치인 디리클레 문자에 대한 경우를 다루는 것.
• 연속적 및 이산적 설정 모두에서 보편성을 확립하는 것. 특히 $t$ 가 양의 정수를 빈도로 취할 경우를 포함한다.
• 오일러乘법을 갖는 $L$-함수에 적용 가능한 균일 분포 모od 1 및 해석적 근사 기법에 기반한 일반적 프레임워크를 제공하는 것.
• 정수 지수의 경우 발생하는 산술적 장벽을 극복하기 위해 보조 소수 집합과 수정된 이동 수열을 도입하는 것.

제안 방법

• 균일 분포 모od 1 와 해석함수 근사의 연결을 보장하는 보조정리 2.1 및 보조정리 3.1에 기반한 일반적 프레임워크를 활용한다.
• 비선형 함수 $\gamma_j(t) = \alpha_j t^{a_j} \log^{b_j} t$ 에 대해 이동 보편성 원리를 적용하며, 지수 쌍 $(a_j, b_j)$ 가 서로 다를 수 있도록 보장함으로써 열악한 경우를 피한다.
• 특히 $a_j \in \mathbb{Z}$ 이고 $b_j = 0$ 인 경우, 균일 분포 이론을 적용하기 위해 보조 소수 집합 $\mathcal{A}_j$ 와 $\mathcal{P}_j$ 를 도입하여 무리수 조건을 확보한다.
• 선택된 소수에 대한 오일러 인자들을 제거함으로써 수정된 $L$-함수 $f_j^*(s)$ 를 구성함으로써, 이동 수열이 모od 1에서 균일 분포를 이루도록 보장한다.
• 오차 항을 제어하고 컴팩트 집합 위에서 균일한 근사를 확보하기 위해 코시의 적분 공식과 칼라르슨 정리를 사용한다.
• 스케일링 인자 $q^*$ 를 통해 연속적 경우를 이산적 경우로 적응시키며, 조건을 만족하는 양의 정수 $k \in [2,N]$ 의 수가 적어도 $cN/q^*$ 이상이 되도록 보장한다.

실험 결과

연구 질문

• RQ1 비선형 이동 $t^{a} \log^b t$ 를 통한 디리클레 $L$-함수의 동시 보편성이 선형 이동 외에도 성립할 수 있는가?
• RQ2 지수 쌍 $(a_j, b_j)$ 에 어떤 조건이 성립하면, 이동 $\gamma_j(t) = \alpha_j t^{a_j} \log^{b_j} t$ 가 동시 보편성을 갖는가?
• RQ3 $L$-함수들이 종속적(예: 동치 문자와 관련된 경우)이거나 $a_j \in \mathbb{Z}$ 이고 $b_j = 0$ 인 경우는 어떻게 다룰 수 있는가?
• RQ4 $t$ 가 양의 정수를 빈도로 취하는 이산적 설정에서도 동시 보편성이 달성 가능한가?
• RQ5 좋은 이동의 밀도 측면에서 근사가 효과적으로 가능할 수 있으며, 이러한 이동의 하한 밀도는 얼마인가?

주요 결과

• 컴팩트 집합 $K$ 에서 $\{s \in \mathbb{C} : 1/2 < \operatorname{Re}(s) < 1\}$ 의 연결된 여집합을 갖는 임의의 유한한 비영인 해석함수들의 집합에 대해, $L(s + i\alpha_j t^{a_j} \log^{b_j} t; \chi_j)$ 의 이동이 이들 함수들을 컴팩트 집합 위에서 동시에 균일하게 근사할 수 있다.
• 지수 쌍 $(a_j, b_j)$ 가 서로 다를 것과 함께, $a_j \notin \mathbb{Z}$ 이거나 $b_j \neq 0$ 이거나, $a_j \in \mathbb{Z}$ 이고 $b_j = 0$ 이면, 관련 지수 합이 모od 1에서 무리수일 경우에 이동 매개변수 $\alpha_j$ 가 적절히 선택될 경우 동시 보편성이 성립한다.
• $a_j \in \mathbb{Z}$ 이고 $b_j = 0$ 인 경우, 방법론은 최소한의 소수 집합 $\mathcal{P}_j$ 와 스케일링 인자 $q^*$ 를 도입하여 이동 수열이 모od 1에서 균일 분포를 이루도록 보장한다.
• 근사 조건을 만족하는 정수 $k \in [2,N]$ 의 수는 적어도 $cN/q^*$ 이상이며, 여기서 $c > 0$ 은 절대 상수이고 $q^*$ 는 지수의 산술적 구조에 따라 달라진다.
• 결과는 이산적 설정으로도 확장 가능하다. 즉, $t$ 가 $\mathbb{N}$ 을 빈도로 취할 경우, 동일한 근사 성질이 양의 하한 밀도를 갖는 좋은 이동으로 성립한다.
• 증명은 코시의 적분 공식과 칼라르슨 정리를 포함한 해석적 기법에 기반하며, 오차 항을 제어하고 근사의 수렴성을 보장한다.