Divisibility of exponential sums via elementary methods
type: Item
instance of: scholarly article
title: Divisibility of exponential sums via elementary methods
zbMATH Open document ID: 1203.11082
author: Francis N. Castro
author: H. F. jun. Mattson
author: Hugues Randriam
author: Ivelisse M. Rubio
published in: Journal of Number Theory
publication date: 2010-07-20T00:00:00Z
review text: Let \(E=(e_{ij})\) be an \(n\times N\) non-negative integer matrix whose columns \({\mathbf e}_j=(e_{ij})_{i=1}^n\) are distinct and whose rows \(R_i=(e_{ij})_{j=1}^N\) are non-zero. The zero-rank \(r_E(\nu)\) of a non-negative integer \(N\)-tuple \(\nu=(\nu_1,\ldots,\nu_N)\) is the number of rows \(R_i\) of \(E\) such that \(R_i\cdot\nu=0\). Call \(\nu\) an \(m\)-covering when \(E\nu^T=\nu_1{\mathbf e}_1+\cdots+\nu_N{\mathbf e}_N\) has all its entries non-zero and divisible by \(m\). The \(m\)-th covering number \(\kappa_m(E)\) of \(E\) is the least value of \(\nu_1+\cdots+\nu_N\) for such an \(m\)-covering. Let \(F\) be a polynomial in \({\mathbb F}_p[{\mathbf x}]\) where \({\mathbf x}=(x_1,\ldots,x_n)\) and set \(S(F)=\sum_{{\mathbf x}\;\text{in}\;S^n} \zeta^{F({\mathbf x})}\) where \(\zeta\) is a primitive \(p\)-th root of unity and \(S=\{0,1,\ldots,p-1\}\). Denote by \(\nu_p\) the extension to \({\mathbb Q}(\zeta)\) of the \(p\)-adic valuation. Define \({\mathbb F}_p[{\mathbf x}]_E =\{\sum_{j=1}^N a_jx_1^{e_{1j}} \cdots x_n^{e_{nj}} :a_1,\ldots,a_N\;\text{in}\;{\mathbb F}_p\}\), a vector subspace of \({\mathbb F}_p[{\mathbf x}]\) of dimension \(N\). The authors show that \(\nu_p(S(F))\geq \kappa_{p-1}(E)/(p-1)\) and there is an \(F\) in \({\mathbb F}_p[{\mathbf x}]_E\) for which equality holds. This is proved by \(\theta\)-adic analysis where \(\theta=1-\zeta\) is the prime ideal in \({\mathbb Z}[\zeta]\) with \((p)=(\theta)^{p-1}\). Let \(F(x_1,\ldots,x_n)=\sum_{j=1}^N a_jx_1^{e_{1j}}\cdots x_n^{e_{nj}}\). Let \(\Delta(F)\) be the Newton polyhedron of \(F\), that is the convex hull in \({\mathbb R}^n\) of the set \(\{{\mathbf e}_j\}\cup\{0,\ldots,0\}\). Let \(\omega(F)\) be the smallest positive rational number such that \(\omega(F)\Delta(F)\) contains a point of \({\mathbb Z}^n\) with positive coordinates. The authors show that \(\kappa_{p-1}(E)/(p-1)\geq \omega(F)\). This leads to the theorem: Let \(P_1({\mathbf x}),\ldots,P_t({\mathbf x})\) in \({\mathbb F}…
reviewed by: John H. Loxton
Mathematics Subject Classification ID: 11T23
Mathematics Subject Classification ID: 11D79
zbMATH DE Number: 5757998
zbMATH Keywords: exponential sums
zbMATH Keywords: p-divisibility
zbMATH Keywords: common zeros
zbMATH Keywords: Newton polyhedra
MaRDI profile type: Publication
full work available at URL: j.jnt.2010.03.004
OpenAlex ID: W1970112329
cites work: $p$-adic estimates for exponential sums and the theorem of Chevalley-Warning
cites work: Q3975263
cites work: Zeroes of Polynomials Over Finite Fields
cites work: Improvements upon the Chevalley-Warning-Ax-Katz-type estimates
cites work: On a Theorem of Ax
cites work: Improvements of the Chevalley-Warning and the Ax-Katz Theorems
cites work: The MacWilliams-Sloane conjecture on the tightness of the Carlitz-Uchiyama bound and the weights of duals of BCH codes
cites work: Correction to "Divisibility Properties for Covering Radius of Certain Cyclic Codes"
cites work: Tight bounds for Chevalley–Warning–Ax–Katz type estimates, with improved applications
cites work: A note on the proof of a theorem of Katz
cites work: An Elementary Proof of a Theorem of Katz
cites work: A Chevalley-Warning Approach To p-Adic Estimates of Character Sums
cites work: Zeros of Diagonal Equations over Finite Fields
cites work: A lemma on polynomials modulo \(p^m\) and applications to coding theory
DOI: 10.1016/J.JNT.2010.03.004
description: scientific article; zbMATH DE number 5757998