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

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

基本信息

论文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 (Number Theory)
发表时间: 2025年10月13日（arXiv v2）
作者单位: Manipal Institute of Technology, Manipal Academy of Higher Education, India
论文链接: https://arxiv.org/abs/2506.16081

摘要

本文研究有限域上加性特征的和，特别关注具有指定 $\mathbb{F}_q$ -阶的加性特征。作者建立了这些特征和的一般公式，为经典的乘性特征结果提供了加性类比。作为应用，论文导出了多项式 $g \in \mathbb{F}_q[x]$ 的Möbius函数 $\mu(g)$ （类似于整数Möbius函数 $\mu(n)$ ），并开发了 $k$ -正规元素的特征函数。论文还将若干经典恒等式从整数设置推广到多项式设置，突出了这两个领域之间的结构相似性。

研究背景与动机

问题背景

有限域理论的核心问题：本文研究有限域 $\mathbb{F}_{q^m}$ 中的特殊元素，包括原始元素、正规元素及其推广形式（ $r$ -原始元素和 $k$ -正规元素）。这些元素在密码学和代数计算中具有重要应用价值。
特征和理论的发展需求：虽然乘性特征的理论已经相对成熟，但加性特征和的系统理论仍需完善。特别是具有指定 $\mathbb{F}_q$ -阶的加性特征和缺乏一般性公式。
整数理论与多项式理论的类比：整数理论中的许多经典结果（如Möbius函数、Euler phi函数等）在多项式环境中具有自然的类比，但这种类比的深度和广度仍需系统性研究。

研究动机

理论完备性：为加性特征理论提供与乘性特征理论相平行的完整框架
应用需求：构造 $k$ -正规元素的特征函数，为相关算法提供理论基础
结构揭示：通过整数-多项式类比揭示数学结构的深层联系

核心贡献

建立了加性特征和的一般公式：对于具有指定 $\mathbb{F}_q$ -阶的加性特征，给出了其和的精确表达式（定理3.2）
导出了多项式Möbius函数：证明了 $\sum_g \chi(\alpha) = \mu(g)$ ，其中 $\alpha$ 是正规元素，这是整数Möbius函数在多项式环境中的直接类比
构造了 $k$ -正规元素的特征函数：给出了判断元素是否为 $k$ -正规的显式特征函数（定理4.4）
推广了经典恒等式：将多个整数理论中的经典结果推广到多项式设置，包括Euler phi函数的性质和相关求和公式
提供了理论工具：为研究有限域中特殊元素的存在性和性质提供了新的分析工具

方法详解

任务定义

输入：有限域 $\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$ 分别是多项式Möbius函数和Euler phi函数。

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. 整数-多项式类比的深化

系统地建立了以下对应关系：

整数的素因数分解 ↔ 多项式的不可约因式分解
整数Möbius函数 ↔ 多项式Möbius函数
整数Euler函数 ↔ 多项式Euler函数

3. 特征函数的构造方法

通过Möbius反演公式构造 $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$ ）