2025-11-20T03:25:14.241468

On the Sum of Additive Characters and its Applications over Finite Fields

K., R., P

In this paper, we study the sum of additive characters over finite fields, with a focus on those of specified $\mathbb{F}_q$-Order. We establish a general formula for these character sums, providing an additive analogue to classical results previously known for multiplicative characters. As an application, we derive a MÃ¶bius function $Î¼(g)$ for polynomials $g \in \mathbb{F}_q[x]$, analogous to the integer MÃ¶bius function $Î¼(n)$, and develop a characteristic function for $k$-normal elements. We also generalize several classical identities from the integer setting to the polynomial setting, highlighting the structural parallels between these two domains.

academic

有限体上の加法的指標の和とその応用について

基本情報

論文ID: 2506.16081
タイトル: On the Sum of Additive Characters and its Applications over Finite Fields
著者: Maithri K., Vadiraja Bhatta G. R., Indira K. P.
分類: math.NT（数論）
発表日時: 2025年10月13日（arXiv v2）
著者所属: Manipal Institute of Technology, Manipal Academy of Higher Education, インド
論文リンク: https://arxiv.org/abs/2506.16081

要旨

本論文は有限体上の加法的指標の和を研究し、特に指定された $\mathbb{F}_q$ -位数を持つ加法的指標に焦点を当てている。著者らは、これらの指標の和に対する一般公式を確立し、古典的な乗法的指標の結果に対する加法的類似物を提供している。応用として、論文は多項式 $g \in \mathbb{F}_q[x]$ のメビウス関数 $\mu(g)$ （整数のメビウス関数 $\mu(n)$ に類似）を導出し、 $k$ -正規元素の特性関数を開発している。論文はまた、整数の設定から多項式の設定へ複数の古典的恒等式を一般化し、これら二つの領域間の構造的類似性を強調している。

研究背景と動機

問題背景

有限体理論の中心的問題：本論文は有限体 $\mathbb{F}_{q^m}$ における特殊な元素、すなわち原始元素、正規元素およびそれらの一般化形式（ $r$ -原始元素と $k$ -正規元素）を研究している。これらの元素は暗号学と代数計算において重要な応用価値を有している。
指標和理論の発展の必要性：乗法的指標の理論は比較的成熟しているが、加法的指標和の体系的理論はなお完成が必要である。特に、指定された $\mathbb{F}_q$ -位数を持つ加法的指標和には一般公式が欠けている。
整数理論と多項式理論の類似性：整数理論における多くの古典的結果（メビウス関数、オイラーのファイ関数など）は多項式環境において自然な類似物を有しているが、この類似性の深さと広さはなお体系的研究を必要としている。

研究動機

理論の完全性：加法的指標理論に乗法的指標理論と平行する完全な枠組みを提供する
応用の必要性： $k$ -正規元素の特性関数を構成し、関連するアルゴリズムに理論的基礎を提供する
構造の解明：整数-多項式類似性を通じて数学的構造の深層的な関連性を明らかにする

核心的貢献

加法的指標和の一般公式の確立：指定された $\mathbb{F}_q$ -位数を持つ加法的指標に対し、その和の正確な表現式を与えた（定理3.2）
多項式メビウス関数の導出： $\sum_g \chi(\alpha) = \mu(g)$ を証明した。ここで $\alpha$ は正規元素であり、これは整数メビウス関数の多項式環境における直接的な類似物である
$k$ -正規元素の特性関数の構成：元素が $k$ -正規であるかどうかを判定する明示的な特性関数を与えた（定理4.4）
古典的恒等式の一般化：複数の整数理論における古典的結果を多項式の設定に一般化した。これにはオイラーのファイ関数の性質と関連する求和公式が含まれる
理論的ツールの提供：有限体における特殊な元素の存在性と性質を研究するための新しい分析ツールを提供した

方法の詳細説明

タスク定義

入力：有限体 $\mathbb{F}_{q^m}$ の元素 $\alpha$ 、多項式 $g(x) \in \mathbb{F}_q[x]$ で $g|x^m-1$ 出力：加法的指標和 $\sum_g \chi(\alpha)$ の正確な値。ここで求和は $\mathbb{F}_q$ -位数が $g$ であるすべての加法的指標 $\chi$ に対して行われる制約： $g(x)$ は $x^m-1$ を整除する必要があり、 $\alpha$ の $\mathbb{F}_q$ -位数は特定の構造を有する

核心的理論枠組み

1. $\mathbb{F}_q$ -位数の定義

元素 $\alpha \in \mathbb{F}_{q^m}$ に対して、その $\mathbb{F}_q$ -位数は $f \circ \alpha = 0$ を満たす最小首一多項式 $f$ である。ここで $f \circ \alpha$ は線形化多項式 $f(x) = \sum a_i x^{q^i}$ の $\alpha$ における値を表す。

加法的指標 $\chi$ に対して、その $\mathbb{F}_q$ -位数は $f \circ \chi = \chi_0$ を満たす最小首一多項式 $f$ である。

2. 主定理（定理3.2）

$x^m-1 = f_1(x)f_2(x)$ 、 $g(x)|x^m-1$ 、 $\alpha \in \mathbb{F}_{q^m}$ の $\mathbb{F}_q$ -位数が $f_1$ であるとき、以下が成立する：

$\sum_g \chi(\alpha) = \mu(d)\frac{\varphi(g)}{\varphi(d)}$

ここで $d(x) = \frac{g(x)}{\gcd(g(x), f_2)}$ であり、 $\mu$ と $\varphi$ はそれぞれ多項式メビウス関数とオイラーのファイ関数である。

3. 証明戦略

分解方法： $g = g_1^{e_1} \cdots g_k^{e_k}$ の素因数分解を利用
乗法性：Carlitzの補題（補題2.1）を適用して積形式の指標和を分解
場合分け：
- 場合1： $d=1$ （ $g$ が $f_2$ を整除）
- 場合2： $d$ が無平方因子の積
- 場合3： $d$ が平方因子を含む

技術的革新点

1. 統一的な分析枠組み

$d(x) = \frac{g(x)}{\gcd(g(x), f_2)}$ という重要な量を導入することにより、複雑な指標和の計算を多項式論における標準的な演算に変換した。

2. 整数-多項式類似性の深化

以下の対応関係を体系的に確立した：

整数の素因数分解 ↔ 多項式の既約因式分解
整数メビウス関数 ↔ 多項式メビウス関数
整数オイラー関数 ↔ 多項式オイラー関数

3. 特性関数の構成方法

メビウス反転公式を通じて $k$ -正規元素の特性関数を構成した：

$\eta_f(\alpha) = \frac{\varphi(f)}{q^m} \sum_{h|f} \frac{\mu(h)}{\varphi(h)} \sum_{\substack{g|\frac{x^m-1}{f} \\ \gcd(h,\frac{x^m-1}{fg})=1}} \sum_{hg} \chi(\alpha)$

実験設定

理論的検証

本論文は主に理論的な研究であり、以下の方法で結果を検証している：

特殊情況の検証： $\alpha$ が正規元素である場合、 $\sum_g \chi(\alpha) = \mu(g)$ であることを検証
既知結果の再現：新公式が特殊情況においてCarlitzの古典的結果に退化することを証明
一貫性チェック：特性関数の正確性を検証（ $\eta_f(\alpha) = 1$ 当且つつ $\alpha$ の $\mathbb{F}_q$ -位数が $f$ である場合のみ）