Gauss Sum of Index Four

冯克勤,罗世新,杨晶

DOI: https://doi.org/10.11845/sxjz.2004.33.02.0253

IF: 1.675

2004-01-01

Advances in Mathematics

Abstract:Let p be a prime number, q = pf and m| q - 1. For a multiplicative character χ of Fq with order m, the Gauss sum G(χ) over Fq is defined by G(χ)=∑(X()Fq)χ(x)ζTP(x),ζp=e2πi/p,(1)where T is the mapping for Fq/Fp.

What problem does this paper attempt to address?

Gauss Sum of Index 4: (1) Cyclic Case

Ke Qin Feng,Jing Yang,Shi Xin Luo

DOI: https://doi.org/10.1007/s10114-005-0610-9

2005-01-01

Acta Mathematica Sinica English Series

Abstract:Let p be a prime, m ≥ 2, and (m, p(p – 1)) = 1. In this paper, we will calculate explicitlythe Gauss sum $G{\left( \chi \right)} = {\sum {_{{x \in \mathbb{F}^{ * }_{q} }} \chi {\left( x \right)}\zeta ^{{T{\left( x \right)}}}_{p} } }$in the case of [(ℤ/mℤ)* : 〈p〉] = 4, and −1 ∉ 〈p〉, whereq = p f , $f = \frac{{\varphi {\left( m \right)}}}{4}$, χ is a multiplicative character of ${\Bbb F}$ q with order m, and T is the trace map for${\Bbb F}$ q /${\Bbb F}$ p . Under the assumptions [(ℤ/mℤ)* : 〈p〉] = 4 and −1 ∉ 〈p〉, the decomposition field of p in thecyclotomic field ℚ(ζ m ) is an imaginary quartic (abelian) field. And G (χ) is an integer in K. We dealwith the case where K is cyclic in this paper and leave the non–cyclic case to the next paper.
Gauss Sum of Index 4: (2) Non–cyclic Case

Jing Yang,Shi Xin Luo,Ke Qin Feng

DOI: https://doi.org/10.1007/s10114-005-0645-y

2005-01-01

Acta Mathematica Sinica English Series

Abstract:Assume that m ≥, p is a prime number, (m, p(p – 1)) = 1, −1 ∉ 〈p〉 ⊂ (ℤ/mℤ)* and[(ℤ/mℤ)* : 〈p〉] = 4. In this paper, we calculate the value of Gauss sum $G{\left( \chi \right)} = {\sum {_{{x \in \mathbb{F}^{ * }_{q} }} \chi {\left( x \right)}\zeta ^{{T{\left( x \right)}}}_{p} } }$over ${\mathbb F}$ q , where q = p f , $f = \frac{{\varphi {\left( m \right)}}}{4}$, χ is a multiplicative character of ${\mathbb F}$ q and T is the trace map from${\mathbb F}$ q to ${\mathbb F}$ p . Under our assumptions, G(χ) belongs to the decomposition field K of p in ℚ(ζ m ) and Kis an imaginary quartic abelian number field. When the Galois group Gal(K/ℚ) is cyclic, we havestudied this cyclic case in another paper: "Gauss sums of index four: (1) cyclic case" (accepted byActa Mathematica Sinica, 2003). In this paper we deal with the non–cyclic case.
Evaluation of Gauss Sums for 2-Power Order in Index 4

Jing Yang,Keqin Feng

DOI: https://doi.org/10.1142/s1005386711000447

2011-01-01

Algebra Colloquium

Abstract:Let χ be a character of order N=2 t (t ⩾ 4) over a finite field 𝔽 q = 𝔽 p f with p ≡ 7, 9 (mod 16). In this paper, we evaluate explicitly the Gauss sums G(χ r ) related to the group generated by the character χ.
Complete Solving of Explicit Evaluation of Gauss Sums in the Index 2 Case

Jing Yang,LingLi Xia

DOI: https://doi.org/10.1007/s11425-010-3155-z

2010-01-01

Science China Mathematics

Abstract:Let p be a prime number, N be a positive integer such that gcd(N, p) = 1, q = p f where f is the multiplicative order of p modulo N. Let χ be a primitive multiplicative character of order N over finite field $\mathbb{F}_q $. This paper studies the problem of explicit evaluation of Gauss sums G(χ) in the “index 2 case” (i.e. [(ℤ/Nℤ)*: 〈p〉] = 2). Firstly, the classification of the Gauss sums in the index 2 case is presented. Then, the explicit evaluation of Gauss sums G(χλ) (1 ⩽ λ ⩽ N − 1) in the index 2 case with order N being general even integer (i.e. N = 2 r · N 0, where r, N 0 are positive integers and N 0 ⩾ 3 is odd) is obtained. Thus, combining with the researches before, the problem of explicit evaluation of Gauss sums in the index 2 case is completely solved.
Complete Solving for Explicit Evaluation of Gauss Sums in the Index 2 Case

Jing Yang,Lingli Xia

DOI: https://doi.org/10.1007/s11425-010-3155-z

2010-09-28

Abstract:Let $p$ be a prime number, $q=p^f$ for some positive integer $f$, $N$ be a positive integer such that $\gcd(N,p)=1$, and let $\k$ be a primitive multiplicative character of order $N$ over finite field $\fq$. This paper studies the problem of explicit evaluation of Gauss sums in "\textsl{index 2 case}" (i.e. $f=\f{\p(N)}{2}=[\zn:\pp]$, where $\p(\cd)$ is Euler function). Firstly, the classification of the Gauss sums in index 2 case is presented. Then, the explicit evaluation of Gauss sums $G(\k^\la) (1\laN-1)$ in index 2 case with order $N$ being general even integer (i.e. $N=2^{r}\cd N_0$ where $r,N_0$ are positive integers and $N_03$ is odd.) is obtained. Thus, the problem of explicit evaluation of Gauss sums in index 2 case is completely solved.

Number Theory
Equidistribution of Gauss Sums and Kloosterman Sums

Lei Fu,Chunlei Liu

DOI: https://doi.org/10.1007/s00209-004-0696-2

2004-01-01

Mathematische Zeitschrift

Abstract:Let m be a positive integer. Fix a nontrivial additive character ψ for each finite field F q . To state the first result of this paper, we also fix r distinct multiplicative characters χ1,...,χ r for each finite field F q with more than r elements. We shall prove that when χ varies over multiplicative characters of F q other than the m-th roots of Open image in new window the r-tuples Open image in new window of angles of Gauss sums are asymptotically equidistributed on the r-dimensional torus (S1) r as q goes to infinity.
Constructions of strongly regular Cayley graphs using index four Gauss sums

Gennian Ge,Qing Xiang,Tao Yuan

DOI: https://doi.org/10.1007/s10801-012-0368-y

2012-04-12

Journal of Algebraic Combinatorics

Abstract:We give a construction of strongly regular Cayley graphs on finite fields $$\mathbb{F}_{q}$$ by using union of cyclotomic classes and index 4 Gauss sums. In particular, we obtain two infinite families of strongly regular graphs with new parameters.

mathematics
The Gauss Sums and Jacobi Sums over Galois Ring GR( P 2 , R )

Jin Li,ShiXin Zhu,KeQin Feng

DOI: https://doi.org/10.1007/s11425-013-4629-6

2013-01-01

Science China Mathematics

Abstract:Galois rings and exponential sums over Galois rings have many applications in algebraic combinatorics, coding theory and cryptography. In this paper, we present explicit description on the Gauss sums and Jacobi sums over Galois ring GR(p 2, r), and show that the values of these sums can be reduced to the Gauss sums and Jacobi sums over finite field $\mathbb{F}_{p^r }$ for all non-trivial cases.
A NOTE ON THE CONGRUENCES WITH SUMS OF POWERS OF BINOMIAL COEFFICIENTS

Zhongyan Shen,Tianxin Cai

DOI: https://doi.org/10.7169/facm/1694

2018-01-01

Functiones et Approximatio Commentarii Mathematici

Abstract:Let p >= 7 be a prime, l >= 0 be an integer and k, m be two positive integers, we obtain the following congruences, Sigma((l+1)p-1)(s=lp) ((kp-1)(s))(m) {((k-1)(l))(m) 2(km(p-1)) (mod p(3)), if 2 inverted iota m, ((k-1)(l))(m) ((kmp-2)(p-1)) (mod p(4)), if 2 vertical bar m; and Sigma((l+1)p-1)(s=lp) (-1)(s)((kp-1)(s))(m) {(-1)(l)((k-1)(l))(m) 2(km(p-1)) (mod p(3)), if 2 inverted iota m, (-1)(l)((k-1)(l))(m) ((kmp-2)(p-1)) (mod p(4)), if 2 vertical bar m. Let p and q are distinct odd primes and k be a positive integer, we have ((kpq-1)((pq-1)/2)) ((kp-1)((p-1)/2)) ((kq-1)((q-1)/2)) (mod pq).
Sign or Root of Unity Ambiguities of Certain Gauss Sums

Lingli Xia,Jing Yang

DOI: https://doi.org/10.1007/s11464-012-0217-2

2012-01-01

Abstract:Gauss sums play an important role in number theory and arithmetic geometry. The main objects of study in this paper are Gauss sums over the finite field with q elements. Recently, the problem of explicit evaluation of Gauss sums in the small index case has been studied in several papers. In the process of the evaluation, it is realized that a sign (or a root of unity) ambiguity unavoidably occurs. These papers determined the ambiguities by the congruences modulo L, where L is certain divisor of the order of Gauss sum. However, such method is unavailable in some situations. This paper presents a new method to determine the sign (root of unity) ambiguities of Gauss sums in the index 2 case and index 4 case, which is not only suitable for all the situations with q being odd, but also comparatively more efficient and uniform than the previous method.
Finite period vectors and Gauss sums

Yeongseong Jo

2024-04-07

Abstract:We study four sums including the Jacquet--Piatetski-Shapiro--Shalika, Flicker, Bump--Friedberg, and Jacquet--Shalika sums associated to irreducible cuspidal representations of general linear groups over finite fields. By computing explicitly, we relate Asai and Bump--Friedberg gamma factors over finite fields to those over nonarchimedean local fields through level zero supercuspidal representation. Via Deligne--Kazhdan close field theory, we prove that exterior square and Bump--Friedberg gamma factors agree with corresponding Artin gamma factors of their associated tamely ramified representations through local Langlands correspondence. We also deduce product formulae for Asai, Bump--Friedberg, and exterior square gamma factors in terms of Gauss sums. By combining these results, we examine Jacquet--Piatetski-Shapiro--Shalika, Flicker--Rallis, Jacquet--Shalika, and Friedberg--Jacquet periods and vectors and their connections to Rankin-Selberg, Asai, exterior square, and Bump-Friedberg gamma factors, respectively.

Number Theory,Representation Theory
Exponential sums over singular binary quartic forms and applications

Yasuhiro Ishitsuka,Takashi Taniguchi,Frank Thorne,Stanley Yao Xiao

2024-03-31

Abstract:We investigate exponential sums over singular binary quartic forms, proving an explicit formula for the finite field Fourier transform of this set. Our formula shares much in common with analogous formulas proved previously for other vector spaces, but also exhibits a striking new feature: the point counting function $a_p(E) = p + 1 - \#E(\mathbb{F}_p)$ associated to an associated elliptic curve makes a prominent appearance. The proof techniques are also new, involving techniques from elementary algebraic geometry and classical invariant theory. As an application to prime number theory, we demonstrate the existence of `many' 2-Selmer elements for elliptic curves with discriminants that are squarefree and have at most four prime factors.

Number Theory
Bernoulli Numbers And Congruences For Harmonic Sums

BINZHOU XIA,TIANXIN CAI

DOI: https://doi.org/10.1142/S1793042110003265

2010-01-01

International Journal of Number Theory

Abstract:Zhao established the following harmonic congruence for prime p > 3:Sigma(i,j,k>0i+j+k=p) 1/ijk equivalent to -2B(p-3) (mod p).In this note, the authors improve it to the following congruence for prime p > 5:Sigma(i,j,k>0i+j+k=p) 1/ijk equivalent to 12B(p-3)/p-3 - 3B(2p-4)/p-2 (mod p(2)).Meanwhile, they also improve a generalization of Zhao's congruence and extend Eisenstein's congruence.
A curious congruence modulo prime powers

liuquan wang,tianxin cai

DOI: https://doi.org/10.1016/j.jnt.2014.04.004

IF: 0.679

2014-01-01

Journal of Number Theory

Abstract:Zhao established a curious congruence, i.e., for any prime p≥3,∑i+j+k=pi,j,k>01ijk≡−2Bp−3(modp). In this note we prove that for any prime p≥3 and positive integer r,∑i+j+k=pri,j,k∈Pp1ijk≡−2pr−1Bp−3(modpr), where Pn denotes the set of positive integers which are prime to n.
On sums of a prime and four prime squares in short intervals

Guang Shi Lü,Xian Meng Meng

DOI: https://doi.org/10.1007/s10114-008-6089-4

2008-07-05

Abstract:In this paper, we prove that each sufficiently large integer N ≢ 1 (mod 3) can be written as \documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$N = p + p_1^2 + p_2^2 + p_3^2 + p_4^2 ,$$\end{document}, with \documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\left| {p - \frac{N}{5}} \right| \leqslant U,\left| {p_j - \sqrt {\frac{N}{5}} } \right| \leqslant U,j = 1,2,3,4,$$\end{document} where U = N9/20 + ɛ and p, pj are primes.

mathematics, applied
A converse to a theorem of Gauss on Gauss sums

Jonathan W. Bober,Leo Goldmakher

2024-07-24

Abstract:In this note we prove (under mild hypotheses) that $f$ is a nontrivial character of $\mathbb{F}_p$ if and only if the Fourier transform of $f$ has magnitude 1 somewhere in $\mathbb{F}_p^\times$. This implies a converse to a theorem of Gauss on the magnitude of the Gauss sum, in addition to other consequences.

Number Theory,Representation Theory
Gauss $q$-ed from Heine cubed

P.L. Robinson

DOI: https://doi.org/10.48550/arXiv.2201.07049

2022-01-18

Abstract:We consider $q$-analytic derivations of the $q$-Gauss summation formula for a $\, _2\phi _1$ that respect the symmetry in its upper parameters.

Classical Analysis and ODEs
Gaussian hypergeometric functions and cyclotomic matrices involving squares over finite fields

Hai-Liang Wu,Li-Yuan Wang

2024-08-13

Abstract:Let $q=p^n$ be an odd prime power and let $\mathbb{F}_q$ be the finite field with $q$ elements. Let $\widehat{\mathbb{F}_q^{\times}}$ be the group of all multiplicative characters of $\mathbb{F}_q$ and let $\chi$ be a generator of $\widehat{\mathbb{F}_q^{\times}}$. In this paper, we investigate arithmetic properties of certain cyclotomic matrices involving nonzero squares over $\mathbb{F}_q$. For example, let $s_1,s_2,\cdots,s_{(q-1)/2}$ be all nonzero squares over $\mathbb{F}_q$. For any integer $1\le r\le q-2$, define the matrix $$B_{q,2}(\chi^r):=\left[\chi^r(s_i+s_j)+\chi^r(s_i-s_j)\right]_{1\le i,j\le (q-1)/2}.$$ We prove that if $q\equiv 3\pmod 4$, then $$\det (B_{q,2}(\chi^r))=\prod_{0\le k\le (q-3)/2}J_q(\chi^r,\chi^{2k})= \begin{cases} (-1)^{\frac{q-3}{4}}{\bf i}^nG_q(\chi^r)^{\frac{q-1}{2}}/\sqrt{q} & \mbox{if}\ r\equiv 1\pmod 2,\\ G_q(\chi^r)^{\frac{q-1}{2}}/q & \mbox{if}\ r\equiv 0\pmod 2, \end{cases}$$ where $J_q(\chi^r,\chi^{2k})$ and $G_q(\chi^r)$ are the Jacobi sum and the Gauss sum over $\mathbb{F}_q$ respectively.

Number Theory
Equivariant Gauss sum of finite quadratic forms

Shouhei Ma

DOI: https://doi.org/10.48550/arXiv.1703.07504

2017-03-22

Abstract:The classical quadratic Gauss sum can be thought of as an exponential sum attached to a quadratic form on a cyclic group. We introduce an equivariant version of Gauss sum for arbitrary finite quadratic forms, which is an exponential sum twisted by the action of the orthogonal group. We prove that simple arithmetic formulae hold for some basic classes of quadratic forms. In application, such invariant appears in the dimension formula for certain vector-valued modular forms.

Number Theory
Partial Gaussian sums in finite fields

Ke Gong

DOI: https://doi.org/10.48550/arXiv.1002.0670

2010-02-03

Abstract:We generalize Burgess' results on partial Gaussian sums to arbitrary finite fields. The main ingredients are the classical method of amplification, two deep results on multiplicative energy for subsets in finite fields which are obtained respectively by the tools from additive combinatorics and geometry of numbers, and a technique of Chamizo for treating the difficulty caused by additive character. Our results include the recent works on character sums in finite fields by M.-C. Chang and S. V. Konyagin.

Number Theory

Gauss Sum of Index Four

Gauss Sum of Index 4: (1) Cyclic Case

Gauss Sum of Index 4: (2) Non–cyclic Case

Evaluation of Gauss Sums for 2-Power Order in Index 4

Complete Solving of Explicit Evaluation of Gauss Sums in the Index 2 Case

Complete Solving for Explicit Evaluation of Gauss Sums in the Index 2 Case

Equidistribution of Gauss Sums and Kloosterman Sums

Constructions of strongly regular Cayley graphs using index four Gauss sums

The Gauss Sums and Jacobi Sums over Galois Ring GR( P 2 , R )

A NOTE ON THE CONGRUENCES WITH SUMS OF POWERS OF BINOMIAL COEFFICIENTS

Sign or Root of Unity Ambiguities of Certain Gauss Sums

Finite period vectors and Gauss sums

Exponential sums over singular binary quartic forms and applications

Bernoulli Numbers And Congruences For Harmonic Sums

A curious congruence modulo prime powers

On sums of a prime and four prime squares in short intervals

A converse to a theorem of Gauss on Gauss sums

Gauss $q$-ed from Heine cubed

Gaussian hypergeometric functions and cyclotomic matrices involving squares over finite fields

Equivariant Gauss sum of finite quadratic forms

Partial Gaussian sums in finite fields