A note on the moments of Kloosterman sums
type: Item
instance of: scholarly article
title: A note on the moments of Kloosterman sums
zbMATH Open document ID: 1242.11096
author: Xiwang Cao
published in: Applicable Algebra in Engineering, Communication and Computing
publication date: 2010-01-18T00:00:00Z
review text: This paper considers several types of Kloosterman sums and proves identities between such sums. Three main types are considered: Kloosterman sums \(K_n(a)\) of degree \(n\), \(m\)-dimensional Kloosterman sums \(K^{(m)}(a)\), and \(m\)-dimensional Kloosterman sums \(K_n^{(m)}(a)\) of degree \(n\). In order to define these, we recall some notation: \(p\) is a prime, \(q=p^r\) for some fixed power \(r\), \({\text{tr}}\) denotes the trace from \(\mathbb{F}_q\) to \(\mathbb{F}_p\), namely \({\text{tr}}(x) = x+ x^p + x^{p^2} + \cdots + x^{p^{r-1}}\) for \(x \in \mathbb{F}_q\), and \({\text{Tr}}\) denotes the trace from \(\mathbb{F}_{q^m}\) to \(\mathbb{F}_q\), namely \({\text{Tr}}(x) = x+ x^q + x^{q^2} + \cdots + x^{q^{m-1}}\) for \(x \in \mathbb{F}_{q^m}\). Let \(\omega\) be a primitive \(p\)-th root of unity. The relevant Kloosterman sums are defined by: \[ K_n(a) = \sum_{x_1,\ldots, x_n \in \mathbb{F}_q^*} \omega ^{{\text{tr}} (x_1 + \cdots + x_n + \frac{a}{x_1 \cdots x_n})}, \] \[ K^{(m)}(a) = \sum_{x \in \mathbb{F}^*_{q^m}} \omega^{{\text{tr}}( {\text{Tr}}(x + ax^{-1}))}, \] \[ K_n^{(m)}(a) = \sum_{x_1,\ldots, x_n \in \mathbb{F}_{q^m}^*} \omega^{{\text{tr}}( {\text{Tr}}(x_1+ \cdots + x_n + \frac{a}{x_1\cdots x_n}))}. \] For a Kloosterman sum \(K(a)\) (where \(K\) may be any of the above three types), \(\sum_a (K(a))^d\) is the \(d\)-th moment. The main results of the paper pertain to the case \(q=2^r\), for which the author computes \(d\)-th moments in the following cases: for \(K_2\), the \(d\)-th moment for \(d=1,2,3,4\); for \(K^{(4)}\), \(d=2\); for \(K^{(2)},\) \(d=4\). A key theorem generalizes a result of \textit{L. Carlitz} [Math. Scand. 42, 39--48 (1978; Zbl 0388.12007)] and proves that in the case \(q=2^r\), for every positive integer \(m\), \[ K_2^{(m)}(a) = (K^{(m)}(a))^2 -q^m, \] for all \(a \in \mathbb{F}_{q^m}^*\). From this, the author is able to compute the following \(d\)-th moments: for \(K_2^{(2)},\) \(d=1,2\); for \(K_2^{(3)}\), \(d=1\); for \(K_…
reviewed by: Lillian Beatrix Pierce
Mathematics Subject Classification ID: 11T23
Mathematics Subject Classification ID: 11L05
zbMATH DE Number: 5659686
zbMATH Keywords: finite fields
zbMATH Keywords: exponential sums
zbMATH Keywords: Kloosterman sums
MaRDI profile type: Publication
full work available at URL: s00200-009-0109-1
OpenAlex ID: W2092491932
cites work: New Kloosterman sum identities and equalities over finite fields
cites work: A note on exponential sums
cites work: Kloosterman sums and finite field extensions
cites work: The divisibility modulo 24 of Kloosterman sums on \(\text{GF}(2^m)\), \(m\) odd
cites work: Propagation characteristics of \(x\mapsto x^{-1}\) and Kloosterman sums
cites work: Hyperbent Functions, Kloosterman Sums, and Dickson Polynomials
cites work: Unitary Kloosterman sums and the Gelfand-Graev representation of \(GL_2\)
cites work: Q4035809
cites work: New Kloosterman sums identities over \(\mathbb F_{2^m}\) for all \(m\).
cites work: Kloosterman sum identities over \(\mathbb F_{2^{m}}\).
cites work: Gauss Sums, Kloosterman Sums, and Monodromy Groups. (AM-116)
cites work: The weights of the orthogonals of the extended quadratic binary Goppa codes
cites work: Local and global character sums
cites work: On the general \(k\)-th Kloosterman sums and its fourth power mean
cites work: Kloosterman sum identities and low-weight codewords in a cyclic code with two zeros
cites work: On \(\mathbb{Z}_4\)-linear Goethals codes and Kloosterman sums
cites work: Minimal polynomials and distinctness of Kloosterman sums
cites work: On a problem of D. H. Lehmer and general Kloosterman sums
DOI: 10.1007/S00200-009-0109-1
description: scientific article; zbMATH DE number 5659686