[논문 리뷰] Some new formulas for Appell series over finite fields

Long Li, Xin Li외 1명|arXiv (Cornell University)|2017. 01. 03.

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

한 줄 요약

이 논문은 유한체 위의 곱셈적 특성치를 사용하여 Appell의 F₁ 시리즈의 유한체 버전을 도입하며, 전환 및 축소 공식, 생성 함수, 이항계수 표현을 수립한다. 주요 기여는 유한체 위의 Appell 시리즈에 대한 다변수 생성 함수 항등식을 제시함으로써 Greene의 초함수 이론을 단변수에서 이변수로 확장하는 것이다. 명시적인 특성치 합 표현을 포함한다.

ABSTRACT

In 1987 Greene introduced the notion of the finite field analogue of hypergeometric series. In this paper we give a finite field analogue of Appell series and obtain some transformation and reduction formulas. We also establish the generating functions for Appell series over finite fields.

연구 동기 및 목표

• 유한체 위의 곱셈적 특성치를 사용하여 Appell의 F₁ 초함수 시리즈의 유한체 버전을 개발하기 위해.
• Greene의 유한체 초함수 이론을 단변수에서 이변수로 일반화하기 위해.
• 유한체 위의 새로운 Appell 시리즈에 대한 전환 및 축소 공식을 유도하기 위해.
• 특성치 합과 이항계수를 통해 Appell 시리즈의 생성 함수를 수립하기 위해.
• 기존의 고전적 초함수 결과를 명시적인 특성기반 항등식을 포함한 유한체 설정으로 확장하기 위해.

제안 방법

• 유한체 Appell F₁ 시리즈를 특성치 합으로 정의한다: $\mathbb{F}_1(A;B,B';C;x,y) = \varepsilon(xy)AC(-1)\sum_u A(u)\overline{A}C(1-u)\overline{B}(1-ux)\overline{B'}(1-uy)$.
• 이항계수를 통한 Appell 시리즈 표현을 위해 항등식 $\mathbb{F}_1(A;B,B';C;x,y) = \frac{1}{(q-1)^2}\sum_{\chi,\lambda}\binom{A\chi\lambda}{C\chi\lambda}\binom{B\chi}{\chi}\binom{B'\lambda}{\lambda}\chi(x)\lambda(y)$ 를 사용한다.
• 특성치 합과 자카비 합을 연결하기 위해 유한체 이항계수 $\binom{A}{B} = B(-1)J(A,\overline{B})$ 를 사용한다.
• 직교성 관계를 적용하면서 특성치 합 표현을 다루어 전환 항등식을 도출한다.
• 보조 특성치 $\theta$ 에 대해 합을 취함으로써 생성 함수를 수립하며, 이는 $\theta(t)$ 와 스케일된 인자들을 포함한 항등식을 이끈다.
• 결과를 적용하여 고전적 $_2\mathbb{F}_1$ 초함수의 생성 함수를 회복한다.

실험 결과

연구 질문

• RQ1 Appell의 F₁ 초함수 시리즈는 어떻게 곱셈적 특성치를 사용하여 자연스럽게 유한체 설정으로 확장될 수 있는가?
• RQ2 고전적 항등식에 대응하는 유한체 Appell F₁ 시리즈에 대한 전환 및 축소 공식은 무엇인가?
• RQ3 특성치 합 기법을 사용하여 유한체 Appell 시리즈의 생성 함수를 유도할 수 있는가?
• RQ4 유한체 Appell 시리즈는 유한체 초함수 $_2\mathbb{F}_1$ 과 어떻게 관련이 있는가?
• RQ5 이항계수와 자카비 합은 유한체 위에서 Appell 시리즈를 표현하고 간단화하는 데 어떤 역할을 하는가?

주요 결과

• 유한체 Appell F₁ 시리즈는 $\mathbb{F}_q$ 위에서 두 변수와 네 개의 곱셈적 특성치를 포함한 특성치 합을 통해 정의되며, 대칭성과 단순화를 위해 정규화 인자 $\varepsilon(xy)AC(-1)$ 를 포함한다.
• Appell 시리즈의 다른 표현은 특성치 $\chi, \lambda$ 에 대한 이중합으로 주어지며, 이항계수 $\binom{A\chi\lambda}{C\chi\lambda}$, $\binom{B\chi}{\chi}$, $\binom{B'\lambda}{\lambda}$ 를 포함한다.
• 시리즈는 대칭성 성질을 만족한다: $\mathbb{F}_1(A;B,B';C;x,y) = \mathbb{F}_1(A;B',B;C;y,x)$, 이는 고전적 F₁ 함수의 대칭성 반영한다.
• 다변수 생성 함수 항등식이 수립된다: $\frac{1}{q-1}\sum_\theta \binom{B\theta}{\theta} \mathbb{F}_1(A;B\theta,B';C;x,y)\theta(t) = \varepsilon(t)\overline{B}(1-t)\mathbb{F}_1(A;B,B';C;\frac{x}{1-t},y) - \varepsilon(y)\overline{B}(-t)B'\overline{C}(x)\overline{A}C(1-x)\overline{B'}(x-y)$.
• 이로부터 단변수 $_2\mathbb{F}_1$ 함수의 두 개의 생성 함수가 유도되며, 이는 유한체 설정에서 고전적 생성 함수 항등식과 일관성을 보인다.
• 결과는 Greene의 유한체 초함수 이론을 이변수 케이스로 일반화하며, 향후 유한체 위의 다변수 초함수 연구를 위한 프레임워크를 제공한다.