[논문 리뷰] A Lauricella hypergeometric series over finite fields

Bing He|arXiv (Cornell University)|2016. 10. 12.

Advanced Mathematical Identities참고 문헌 7인용 수 4

한 줄 요약

이 논문은 라우리셀라 초함수 $F_D^{(n)}$ 의 유한체 버전을 제안하며, 그레빈과 리 등이 연구한 유한체 초함수 이론을 일반화한다. 이는 적분 공식, 축소 및 변환 항등식, 그리고 두 종류의 생성함수를 도출하여 고전 이론을 유한체 위의 다변수 설정으로 확장한다.

ABSTRACT

In this paper we introduce a finite field analogue of a Lauricella hypergeometric series. An integral formula for the Lauricella hypergeometric series and its finite field analogue are deduced. Transformation and reduction formulae and several generating functions for the Lauricella hypergeometric series over finite fields are obtained. Some of these generalize certain results of Li \emph{et al} and Greene as well as several other known results.

연구 동기 및 목표

• 다변수 라우리셀라 초함수 $F_D^{(n)}$ 의 유한체 버전을 개발하여 고전 초함수 이론을 유한체로 확장한다.
• 그레빈과 리 등의 유한체 초함수 이론 결과를 다변수 경우로 일반화한다.
• 유한체 라우리셀라 초함수에 대한 변환 및 축소 공식을 수립한다.
• 기존 ${}_2F_1$ 및 애플란 $F_1$ 에 대한 결과를 일반화하는 유한체 라우리셀라 초함수의 생성함수를 유도한다.
• 수론 및 산술기하학 분야에서의 응용을 고려하여, 특수함수를 유한체 위에서 연구할 수 있는 프레임워크를 제공한다.

제안 방법

• 다항식의 특성합을 통해 $F_D^{(n)}$ 의 유한체 버전을 정의한다: $F_D^{(n)}(A;B_1,\dots,B_n;C|x_1,\dots,x_n) = \varepsilon(x_1\cdots x_n)AC(-1)\sum_u A(u)\overline{A}C(1-u)\overline{B_1}(1-x_1u)\cdots\overline{B_n}(1-x_nu)$.
• 고전적 $F_D^{(n)}$ 의 적분 공식을 모방한 유한체 적분 표현을 사용하며, 감마 함수 대신 특성합과 자코비 합을 사용한다.
• 가우스 합과 자코비 합의 성질, 특히 $J(\chi,\lambda) = \sum_u \chi(u)\lambda(1-u)$ 를 활용하여 변환 및 축소 공식을 유도한다.
• 곱셈적 특성 $\theta \in \widehat{\mathbb{F}_q}^*$ 에 대한 합을 포함하는 생성함수 기법을 적용하여 새로운 생성 항등식을 도출한다.
• 그레빈(1984)과 리 등(2014)의 유한체 초함수 이론에서 알려진 결과를 기본 도구로 활용한다.
• 유한체 위에서의 이항계수의 유사체로 ${A \choose B} = B(-1)J(A,\overline{B})$ 를 사용하여 시리즈를 대수적으로 표현하고 다룬다.

실험 결과

연구 질문

• RQ1 다변수 라우리셀라 초함수 $F_D^{(n)}$ 은 어떻게 유한체로 일반화할 수 있는가?
• RQ2 고전적 적분 표현 및 변환 항등식에 대응하는 유한체 버전의 $F_D^{(n)}$ 이 존재하는가?
• RQ3 기존 ${}_2F_1$ 및 $F_1$ 에 대한 결과를 일반화하는 라우리셀라 초함수의 생성함수를 도출할 수 있는가?
• RQ4 유한체 $F_D^{(n)}$ 의 축소 및 변환 공식은 고전적 경우와 어떻게 관련되어 있는가?
• RQ5 특성합과 자코비 합은 유한체 버전의 $F_D^{(n)}$ 을 구성하고 분석하는 데 어떤 역할을 하는가?

주요 결과

• 라우리셀라 초함수 $F_D^{(n)}$ 의 유한체 버전이 특성합 $\varepsilon(x_1\cdots x_n)AC(-1)\sum_u A(u)\overline{A}C(1-u)\overline{B_1}(1-x_1u)\cdots\overline{B_n}(1-x_nu)$ 을 포함하는 방식으로 정의되며, 그레빈과 리 등의 연구를 일반화한다.
• 유한체 $F_D^{(n)}$ 에 대한 적분 공식이 수립되었으며, 감마 함수 대신 특성합을 사용하는 고전적 적분 표현을 모방한다.
• 축소 및 변환 공식이 도출되었으며, 변수 스케일링 $x_i \to x_i/(1+t)$ 를 포함하는 변환은 기존의 $F_1$ 및 ${}_2F_1$ 에 대한 항등식을 일반화한다.
• 두 종류의 생성함수를 확보하였다: 하나는 특성 $\theta$ 에 대한 합을 포함하며, $F_D^{(n)}(A;B_1,\dots,B_n;C\overline{\theta}|x_1,\dots,x_n)$ 과 $F_D^{(n)}(A;B_1,\dots,B_n;C|x_1/(1+t),\dots,x_n/(1+t))$ 간의 관계를 유도한다.
• 생성함수 항등식은 $n=1$ 또는 $n=2$ 일 때 기존 결과로 축소되며, 가우스 초함수 ${}_2F_1$ 과 애플란 시리즈 $F_1$ 의 생성함수를 복원한다.
• 결과는 리 등과 그레빈의 이전 연구를 일반화하며, 그들의 유한체 초함수 이론을 명시적인 특성합 표현을 포함한 다변수 라우리셀라 설정으로 확장한다.