[논문 리뷰] A finite field analogue for Appell series F_3

Bing He|arXiv (Cornell University)|2017. 04. 04.

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

한 줄 요약

이 논문은 $$\mathbb{F}_q$$ 위에서 곱셈적 특성과 자카비 합을 사용하여 Appell 시리즈 $F_3$ 의 유한체 버전을 도입하며, 환원 공식과 생성함수를 수립한다. 주요 기여는 $F_3(A,A';B,B';C;x,y)$ 를 포함하는 생성함수 항등식으로, 이는 고전적 초함수 항등식을 유한체로 일반화하여 산술 초함수 이론에서 새로운 대수적 구조를 가능하게 한다.

ABSTRACT

In this paper we introduce a finite field analogue for the Appell series F_3 and give some reduction formulae and certain generating functions for this function over finite fields.

연구 동기 및 목표

• 고전적 Appell 시리즈 $F_3$ 의 유한체 버전을 개발하여 산술 초함수 함수에 활용하기 위해.
• Greene 의 유한체 초함수 프레임워크를 이중 초함수 함수, 특히 $F_3$ 로 확장하기 위해.
• 특성 합과 자카비 합을 사용하여 새로운 유한체 $F_3$ 버전의 환원 공식과 생성함수를 도출하기 위해.
• 고전적 초함수 변환 항등식을 유한체로 일반화하는 항등식을 수립하기 위해.
• 유한체 위에서 다변수 초함수 함수의 향후 연구를 위한 기초를 마련하기 위해.

제안 방법

• 유한체 버전의 $F_3$ 를 $F_3(A,A';B,B';C;x,y) = \varepsilon(xy)BB'(-1)\sum_{u,v} B(u)B'(v)C\overline{B}\overline{B'}(1-u-v)\overline{A}(1-ux)\overline{A'}(1-vy)$ 로 정의한다.
• $$\mathbb{F}_q$$ 위에서 정의된 곱셈적 특성 $A, A', B, B', C \in \widehat{\mathbb{F}_q}^*$ 와 항등 특성 $\varepsilon$ 를 사용하여 함수를 표현한다.
• 자카비 합 $J(\chi,\lambda) = \sum_u \chi(u)\lambda(1-u)$ 와 이항계수의 유사체 ${A \choose B} = B(-1)J(A, \overline{B})$ 의 성질을 적용한다.
• 특성 합 전개와 정규직교관계를 통해 생성함수를 유도하며, 특히 $\frac{1}{q-1}\sum_\chi \chi(x)$ 를 사용하여 계수를 추출한다.
• 특성 합 변환과 Greene 의 연구에서 알려진 항등식(예: $\sum_\chi {A\chi \choose \chi} \chi(x) = (q-1){}_{2}F_1(A,B;C|x)$) 을 조합하여 항등식을 수립한다.
• 환원 및 생성함수 유도에 핵심 도구로 $\,{}_{2}F_1(A,B;C|1) = A(-1){B \choose \overline{A}C}$ 를 사용한다.

실험 결과

연구 질문

• RQ1 어떻게 특성 합과 자카비 합을 사용하여 Appell 시리즈 $F_3$ 를 유한체에서 유사 정의할 수 있는가?
• RQ2 유한체 $F_3$ 버전에 대해 존재하는 환원 공식은 무엇이며, 고전적 초함수 항등식과는 어떻게 관련되어 있는가?
• RQ3 유한체 $F_3$ 의 생성함수를 도출할 수 있으며, 어떤 함수 방정식을 만족하는가?
• RQ4 생성함수는 고전적 $F_3$ 항등식과 유사한 변환 성질을 어떻게 반영하는가?
• RQ5 특성 합 정규직교성과 자카비 합 항등식은 유한체 $F_3$ 구성 및 단순화에 어떤 역할을 하는가?

주요 결과

• 곱셈적 특성과 자카비 합을 포함한 $$\mathbb{F}_q$$ 위에서의 이중 합을 통한 Appell 시리즈 $F_3$ 의 유한체 버전이 정의된다: $F_3(A,A';B,B';C;x,y) = \varepsilon(xy)BB'(-1)\sum_{u,v} B(u)B'(v)C\overline{B}\overline{B'}(1-u-v)\overline{A}(1-ux)\overline{A'}(1-vy)$.
• 생성함수 항등식이 수립된다: $\frac{1}{q-1}\sum_\theta {BB'\overline{C}\theta \choose \theta} F_3(A,A';B\theta,B';C;x,y)\theta(t) = \overline{B}(1-t)F_3(A,A';B,B';C;\frac{x}{1-t},y) - \overline{B}(-t)\overline{B'}C(t)\left(\overline{C}B'(-x){\overline{A}\choose \overline{C}B'}{\overline{A'}\choose \overline{B'}}\overline{B'}(y) - CB'(-1)F_3(A,A';C\overline{B'},B';C;x,y)\right)$.
• 두 번째 생성함수를 도출한다: $\frac{1}{q-1}\sum_\theta {BB'\overline{C}\theta \choose \theta} F_3(A,A';B,B'\theta;C;x,y)\theta(t) = \overline{B'}(1-t)F_3(A,A';B,B';C;x,\frac{y}{1-t}) + \overline{B}\overline{B'}C(-t)F_3(A,A';B,C\overline{B};C;x,y) - \overline{B}(y)\overline{B'}(-t)\overline{C}B\left(-\frac{y}{t}\right){\overline{A'}\choose \overline{C}B}{\overline{A}\choose \overline{B}}$.
• 특성 합 전개와 정규직교성으로부터 환원 공식 $F_3(A,A';B,B';C;x,y) = \frac{1}{q-1}\sum_{\chi,\lambda} {\overline{A}\choose \chi}{\overline{A'}\choose \lambda}{C\overline{B'}\chi\choose C\chi\lambda} \chi(-x)\lambda(y)$ 이 도출된다.
• 결과는 고전적 초함수 항등식을 유한체로 일반화하며, 이는 유한체 $F_3$ 가 고전적 $F_3$ 와 유사한 함수 방정식을 만족함을 보여준다.
• 증명은 특성 합 변환, 정규직교성, 그리고 Greene 의 연구에서 알려진 항등식(특히 $\sum_\chi {A\chi \choose \chi} \chi(x) = (q-1){}_{2}F_1(A,B;C|x)$ 와 이전 연구에서의 $F_2$-유형 항등식) 에 기반한다.