Cyclotomic schemes and related problems
|
|
- Julian Rogers
- 5 years ago
- Views:
Transcription
1
2 Definition Definition: Cayley graph G: a finite abelian group D: an inverse-closed subset of G (0 D and D = D) E := {(x, y) x, y G, x y D} (G, E) is called a Cayley graph, denoted by Cay(G, D) D is called the connection set of (G, E)
3 Paley graph G = Z 3 Z 3, D = {(0, 1), (0, 2), (2, 1), (1, 2)}
4 Definition Definition: Translation scheme Γ i := (G, E i ), 1 i d: Cayley graphs on an abelian group G R i : connection sets of (G, E i ) R 0 := {0} (G, {R i } d ) is called a translation scheme (TS) i=0 if (G, {Γ i } d ) is an association scheme (AS) i=0 In other words d R i=0 i = G, R i R j = {z (x, z) E i, (y, z) E j } is const according to l st (x, y) E l {z x z R i, y z R j } is const according to l st x y R l (R i + x y) R j is const according to l st x y R l (R i + w) R j is constant according to l st w R l
5 Fundamentals of characters of abelian groups A character ψ of G is a homomorphism from G to C Ĝ: the set of all characters of G e: the exponent of G Remark The image of ψ is an eth root of unity since ψ(x) e = ψ(x e ) = ψ(1 G ) = 1 Note that ψ(1 G ) = 1 by ψ(1 G ) 2 = ψ(1 G )
6 Fundamentals of characters of abelian groups Remark Define ψ 0 (g) := 1 for g G Then ψ 0 is a character, called the trivial character Theorem Define ψ 1 (g) := ψ(g) 1 for a character ψ Then ψ 1 is a character, called the inverse of ψ Define ψ 1 ψ 2 (g) := ψ 1 (g)ψ 2 (g) for characters ψ 1, ψ 2 Then ψ 1 ψ 2 is a character Ṭhe set Ĝ forms a group isomorphic to G
7 Example Example: Z 3 Possible cases: ψ((0, 1, 2)) = (1, 1, 1), (1, 1, ω), (1, 1, ω 2 ), (1, ω, 1), (1, ω 2, 1), (1, ω, ω), (1, ω, ω 2 ), (1, ω 2, ω 2 ), (1, ω 2, ω) By noting that ψ(1)ψ(2) = ψ(1 + 2) = ψ(0) = 1, Only ψ((0, 1, 2)) = (1, 1, 1), (1, ω, ω 2 ), (1, ω 2, ω) are possible These three are all characters of Z 3
8 Orthogonal relations Theorem (1) For ψ, ψ Ĝ, ψ(g)ψ (g) = δ ψ1,ψ 2 G, g G where δ ψ,ψ = { 1 if ψ = ψ, 0 if ψ ψ (2) For g, h G, ψ(g)ψ(h) = δ g,h G ψ G where δ g,h = { 1 if g = h, 0 if g h
9 Orthogonal relations Proof of (1): Put ϕ = ψψ 1 If ϕ = ψ 0, ϕ(g) = g G 1 = G g G If ϕ ψ 0, ϕ(g ) ϕ(g) = ϕ(g )ϕ(g) = ϕ(g g) = ϕ(g), g G g G which implies that g G ϕ(g) = 0 g G g G
10 Eigenvalues of Cayley graphs Γ: a Cayley graph on an abelian group G with connection set D Ĝ: the character group of G M: the character table of G (Each of rows and columns are labeled by the elements of Ĝ and the elements of G, respectively The (ψ, g)-entry is defined by ψ(g)) A: the adjacency matrix of Γ (Each row and column are labeled similar to the columns of M) Theorem: Eigenvalues and character sums M AM T = diag G ψ(x) x D ψ Ĝ ie, the eigenvalues of A are given by ψ(d), ψ Ĝ,
11 Proof (MM T ) ψ,ψ = ψ(h)ψ (h) = ψψ 1 (h) = h G h G This implies that M/ G is an orthogonal matrix By (M A) ψ,g = ψ(h) = ψ(e + g), we have (M AM T ) ψ,ψ = = = h G;h g D e D { G if ψ = ψ, 0 if ψ ψ, ψ(e + g)ψ (g) = ψ(e) ψ(g)ψ (g) g G e D ψ(e) ψψ 1 (g) e D g G e D { G e D ψ(e) if ψ = ψ, 0 if ψ ψ g G
12 Primitivity of translation schemes Γ: a Cayley graph on an abelian group G with connection set D Lemma Γ is connected ψ(d) D for any nontrivial ψ Ĝ Remark For any graph Γ, Γ has valency k Γ contains k as an eigenvalue Γ has valency k and is connected k occurs exactly once as an eigenvalue Γ has valency D, and all eigenvalues are given by ψ(d) For trivial ψ 0 Ĝ, ψ 0 (D) = D Γ is connected iff ψ(d) D for any nontrivial ψ Ĝ
13 Dual of translation schemes R 0 = {0}, R 1, R 2,, R d : an (inverse-closed) partition of G This partition induces a partition S 0 = {ψ 0 }, S 1, S 2,, S e, of Ĝ: ψ, ϕ Ĝ \ {ψ 0 } are in the same S j iff ψ(r i ) = ϕ(r i ) for 1 i d Theorem (Bridges-Mena, 1982) It holds that d e In particular, (G, {R i } d ) forms a TS iff d = e i=0 R 0 R 1 R 2 R 3 ψ 0 S 0 1 R 1 R 2 R 3 ψ S 1 1 a 1 a 2 a 3 ψ S 2 1 b 1 b 2 b 3 ψ S 3 1 c 1 c 2 c 3 If (G, {R i } d ) forms a TS, then so does (Ĝ, {S i } d ), which is called i=0 i=0 the dual of (G, {R i } d ) i=0 G P 1 is the first eigenmatrix of (Ĝ, {S i } d ) i=0 for the first eigenmatrix P of (G, {R i } d i=0 )
14 Cyclotomic scheme F q : the finite field of order q F q : the multiplicative group of F q C : F q st C = C Lemma: Cyclotomic scheme The partition F q /C of F q gives a TS on (F q, +), called a cyclotomic scheme Each coset (called a cyclotomic coset) of F q /C is expressed as C (N,q) i = γ i γ N, 0 i N 1, where N q 1 is a positive integer and γ is a fixed primitive element of F q For w C (N,q), l p l i, j = (C(N,q) i Hence, p l is depending on l not w i, j + w) C (N,q) = (C (N,q) + 1) C (N,q) j i l j l
15 Characters of finite fields There are two kinds of characters for finite fields, which are additive characters and multiplicative characters Lemma For a fixed primitive element γ F q, χ j : F q C, 0 j q 2, defined by χ j (γ k ) := ζ jk q 1 are all multiplicative characters of F q, where ζ q 1 = e 2πi Define the trace Tr q m /q from F q m to F q by Tr q m /q(x) = x + x q + x q2 + + x qm 1, which is a homomorphism from (F q m, +) to (F q, +) q 1
16 Characters of finite fields Lemma The function ψ j : F q C, j F q, defined by are all additive characters of F q ψ j (x) = ζ Tr q/p( jx) p It holds that ψ j (x + y) = ψ j (x)ψ j (y) since Tr is a homomorphism from F q to F p ψ 1 is called canonical Note that ψ a (x) = ψ 1 (ax) and ψ(x) = ψ( x)
17 Gauss sums and Jacobi sums Definition For the canonical additive character ψ of F q and a nontrivial multiplicative character χ of F q, the sum G(χ) := ψ(x)χ(x) is called a Gauss sum x F q Definition For two multiplicative characters χ 1, χ 2 of F q, the sum J(χ 1, χ 2 ) = χ 1 (1 x)χ 2 (x) is called a Jacobi sum x F q \{0,1}
18 Basic properties of Gauss sums and Jacobi sums Lemma For any nontrivial multiplicative characters χ 1, χ 2 of F q st χ 1 χ 2 is nontrivial, then J(χ 1, χ 2 ) = G(χ 1)G(χ 2 ) (1) G(χ 1 χ 2 ) Lemma For any nontrivial multiplicative character χ of F q, G(χ)G(χ) = q The lemma above implies that G(χ) = q Furthermore, by (1), we have J(χ 1, χ 2 ) = q
19 G(χ)G(χ) = q Proof: G(χ)G(χ) = ψ 1 (x)ψ 1 ( y)χ(x)χ 1 (y) = x,y F q ψ 1 (x y)χ(xy 1 ) (2) x,y F q Write z = xy 1 Then, (2) = χ(z)ψ 1 (y(z 1)) = y,z F q χ(z) ψ 1 (y(z 1)) χ(z) = q y F q z F q z F q
20 Intersection numbers of cyclotomic schemes Definition (C (N,q) + 1) C (N,q), 0 i, j N 1, are called cyclotomic i numbers, denoted by (i, j) N j Computation of (i, j) N : The characteristic function of C (N,q) on F i q is given by f i (γ a ) = 1 N N 1 k=0 ζ ik N χk (γ a ), where χ is a multiplicative character of order N of F q st χ(γ a ) = ζ a Then, we have N (i, j) N = f j (x) f i (x 1) (3) x F q \{0,1}
21 Intersection numbers of cyclotomic schemes p l i, j (3) = = = 1 N 1 N 2 x F q \{0,1} k,l=0 1 N 1 N 2 k,l=0 1 N 1 N 2 k,l=0 ζ ζ (ik+ jl) N (ik+ jl) N ζ (ik+ jl) N χ l ( 1) J(χ k, χ l ) χ k (x)χ l (x 1) x F q \{0,1} χ k (x)χ l ( x + 1) could be expressed as a linear combination of Jacobi sums! Remark Since J(χ k, χ l ) = q for k, l, k + l 0 (mod N), (i, j) N q 3N + 1 N 2 (N2 3N + 2) q N 2
22 Eigenvalues of cyclotomic schemes The eigenvalues are given by ψ(c (N,q) ), ψ Ĝ, called Gauss i periods We can write ψ(x) = ψ 1 (ax) for some a F q, where ψ 1 is the canonical additive character of F q Thus, ψ(c (N,q) ) = ψ i 1 (C (N,q) ), where a C (N,q) i+l l Write η i = ψ 1 (C (N,q) ) Then, the first eigenmatrix of the cyclotomic i scheme is given by 1 q 1 N q 1 N q 1 q 1 N N 1 η 0 η 1 η 2 η N 1 1 η 1 η 2 η 3 η 0 1 η N 1 η 0 η 1 η N 2
23 Gauss periods and Gauss sums Lemma: Gauss periods and Gauss sums (i) ψ 1 (C (N,q) ) = 1 N 1 G(χ h )χ h (γ i ), i N (ii) G(χ) = N 1 h=0 where χ is a multiplicative character of order N of F q i=0 ψ 1 (C (N,q) )χ(γ i ), i
24 Eigenvalues of cyclotomic schemes ψ 1 (C (N,q) ) = 1 i N = 1 N = = = 1 N ψ 1 (γ i x N ) x F q x F q 1 (q 1)N 1 (q 1)N χ C 0 1 q 1 where C 0 is the subgroup of F q ψ 1 (y) χ(γ i x N )χ(y) y F q x F q χ F q χ F q G(χ 1 )χ(γ i x N ) G(χ 1 )χ(γ i ) χ(x N ) χ F q G(χ 1 )χ(γ i ), x F q consisting of all χ trivial on C(N,q) 0
25 Evaluated Gauss sums (Small order) Gauss sums of order N 24 have been partially evaluated (Berndt et al, 1997) (Pureness) When Gauss sums take the form ζ N q was determined (Aoki, 2004, 2012) In particular, if 1 p (mod N), then G(χ N ) takes a rational value (Baumert et al, 1982) (Index 2 or 4 case) In the case where [Z : p ] = 2, Gauss N sums have been completely evaluated (Yang et al, 2010) In the case where [Z : p ] = 4, Gauss sums have been N partially evaluated (Feng et al, 2005)
26 Useful formulas on Gauss sums Hasse-Davenport product formula η: a mult character of order l > 1 of F p f For nontrivial mult character χ of F p f, G(χ) = G(χl ) χ l (l) l 1 i=1 G(η i ) G(χη i ) Hasse-Davenport lifting formula χ : a nontrivial mult character of F q χ: the lift of χ to F q m, ie, χ (α) = χ(α qm 1 q 1 ) for α F q m Then G q m(χ) = ( 1) m 1 (G q (χ )) m
27 Useful formulas on Gauss sums Stickelberger s formula N: a positive integer p: a prime st gcd (p, N) = 1 f: the order of p in Z N O M : the rings of integers of M = Q(ζ N, ζ p ) p: a prime ideal of O M lying over p σ j : Gal(M/Q(ζ p )) by σ j (ζ N ) = ζ j N, j Z N T := Z / p N Then, it holds that G f (χ 1 )O M = p t T s p ( t(q 1) )σ 1 k t, where s p ( t(q 1) N ) is the sum of all a i for t(q 1) N = n i=0 a i p i
28 Useful formulas on Gauss sums A useful algorithm for computing the p-divisibility of Gauss sums was found by Helleseth et al, 2009, called the modular p-ary add-with-carry algorithm A generalization of Stickelberger s formula (congruence) in p-adic fields was found by Gross and Koblitz, 1979
29 Cyclotomic schemes, cyclic codes, and related geometry Remarks The computation of eigenvalues of cyclotomic schemes is equivalent to that of weight distributions of certain cyclic codes, called irreducible cyclic codes A strongly regular graph obtained as a fusion of a cyclotomic scheme is described in terms of projective geometry
30 Irreducible cyclic codes Definition: Irreducible cyclic code f(x): an irreducible divisor of x m 1 F p [x], where gcd (m, p) = 1 The cyclic code of length m over F p generated by (x m 1)/ f(x) is called an irreducible cyclic code (This code has no proper cyclic subcodes) f: the order of p modulo m q := p f = 1 + km γ: a primitive root of F q f(x) := f 1 i=0 (x γkpi ) F p [x] irreducible over F p g(x) := l S(x γ kl ), where S = {l 0 l m 1, l a power of p (mod m)}
31 Irreducible cyclic codes Lemma C: the cyclic code generated by g(x) The q codewords in C are given by h α (x) := (Tr(α), Tr(αγ k ), Tr(αγ 2k ),, Tr(αγ (m 1)k )), α F q Proof: For any l S, h α (γ kl ) = h α (x) := m 1 j=0 m 1 j=0 Tr(αγ jk )x j, α F q f 1 Tr q/p (αγ jk )γ kl j = Hence, g(x) h α (x), ie, h α (x) C i=0 m 1 α pi j=0 γ jk(l pi) = 0
32 Proof Since C = q, it remains to show that h α (x) are all distinct Assume h α (x) = h β (x) Then, for ω := α β F q Tr(ω) = Tr(ωγ k ) = Tr(ωγ 2k ) = = Tr(ωγ (m 1)k ) = 0 For any choice of a j F p, 0 = f 1 j=0 f 1 a j Tr(ωγ jk ) = Tr(ω a j γ jk ) Since {1, γ k,, γ ( f 1)k } is a basis of F q over F p, the above is impossible j=0
33 Weight-distribution Theorem (McEliece) Let N := gcd (k, (q 1)/(p 1)) Then, w(h α (x)) = m(p 1) p 1 p pk ψ 1(αC (N,pf ) ) 0 Proof: Let χ be a mult character of order k of F q w(h α (x)) =m 1 p m 1 i=0 x F p ψ 1 (xαγ ki ) m(p 1) = 1 m 1 p p ψ 1 (xαγ ki ) i=0 x F p m(p 1) = 1 k 1 p pk G(χ j )χ j (xα) j=0 x F p
34 Weight-distribution Since for any y F p χ j (x) = χ j (yx) = χ j (y) χ j (x), x F p x F p x F p x F p χ j (x) = 0 iff χ j is nontrivial on F p Let χ be a mult character of order N of F q Then, m(p 1) w(h α (x)) = p 1 N 1 G(χ j )χ j (α) p pk j=0 m(p 1) = p 1 p pk ψ 1(αC (N,pf ) ) 0 Problem Characterize all two or three weight irreducible cyclic codes
35 Fusion schemes Given a d-class AS (X, {R i } d ), we can take union of classes to i=0 form graphs with larger edge sets (this process is called a fusion) Problem Given an N-class cyclotomic scheme on F q, determine its fusion schemes X j, j = 1, 2,, d: a partition of Z N The Bridges-Mena theorem (more generally, the Bannai-Muzychuk criterion) implies that i X j C (N,q) s forms a TS i iff a partition Y h, h = 1, 2,, d, of Z N st each ψ(γ a i X j C (N,q) ) is const according to a Y i h
36 Gauss sum and trace zero W consider 2-class fusion schemes (strongly regular graphs) of cyclotomic schemes of order N = qm 1 q 1 Proposition Let χ be a mult character of order N of F q m Let S 0 := {log γ x (mod N) Tr q m /q(x) = 0, x 0} Then, G(χ) = q χ(ω i ) i S 0 L :=a system of representatives of F q m/f q G(χ) = a F x L q χ(xa)ζ Tr q m /p(xa) p = =(q 1) χ(γ i ) i S 0 χ(x) x L a F q χ(γ i ) = q χ(γ i ) i L\S 0 i S 0 ζ Tr q/p(atr q m /q (x)) p
37 Geometric understanding X: a subset of Z N When is Γ = Cay( i X C (N,qm ) ) strongly regular? i (Γ is strongly regular iff ψ(γ a i X C (N,qm ) ), a = 0, 1,, N 1, i take exactly two values) ψ(γ a i X C (N,qm ) ) = 1 i N = q N i X χ G(χ 1 )χ(γ a+i ) X χ χ 0 N i X =q X (S 0 a) X, χ(γ a+i j ) X (1 + q S 0 ) N j S 0 where χ ranges through all mult characters of exponent N of F q m
38 Geometric understanding Proposition (Delsarte, 1972) Cay( i X C (N,qm ) ) is strongly regular iff X (S i 0 a), a Z N, take exactly two values Note that each S 0 a is a hyperplane of PG(m 1, q) Problem Find a subset X of PG(m 1, q), which has two intersection numbers with the hyperplanes of PG(m 1, q) (X is called a two-intersection set in PG(m 1, q)) See Caldervbank-Kantor (1986) for more on the geometric aspect of strongly regular graphs on F q
39 References Gauss sums and related character sums 1 B Berndt, R Evans, KS Williams, Gauss and Jacobi Sums, K Ireland, M Rosen, A Classical Introduction to Modern Number Theory, 2nd ed, R Lidl, H Niederreiter, Finite Fields, WM Schmidt, Equations over Finite Fields: An Elementary Approach, 2nd ed, A Robert, A Course in p-adic Analysis, 2000 Linkage with difference sets 1 T Storer, Cyclotomy and Difference Sets, RJ Turyn, Character sums and difference sets, Pacific J Math, (1965)
40 References Linkage with codes 1 AR Calderbank, WK Kantor, The geometry of two-weight codes, Bull London Math Soc, (1986) 2 B Schmidt, C White, All two-weight irreducible cyclic codes?, Finite Fields Appl, (2002) Computations of Gauss sums 1 LD Baumert, WH Mills, RL Ward, Uniform cyclotomy, J Number Theory, (1982) 2 KQ Feng, J Yang, SX Luo, Gauss sums of index 4: (1) cyclic case, Acta Math Sin, (2005) 3 J Yang, SX Luo, KQ Feng, Gauss sums of index 4: (2) non-cyclic case, Acta Math Sin, (2006) 4 J Yang, L Xia, Complete solving of explicit evaluation of Gauss sums in the index 2 case, Sci China Ser A, (2010) 5 N Aoki, On pure Gauss sums, Com Math Univ Sancti Pauli, (2012)
41 References General theory 1 AE Brouwer, WH Haemers, Spectra of Graphs, A Terras, Fourier Analysis on Finite Groups and Applications, 1999 p-divisibility: Modular p-ary add-with-carry algorithm 1 T Helleseth, HDL Hollmann, A Kholosha, Z Wang, Q Xiang, Proofs of two conjectures on ternary weakly regular bent functions, IEEE Trans Inform Theory, (2009) Japanese book 1,,,, ,,, 2003
Gauss periods and related Combinatorics
momihara@educkumamoto-uacjp 23-01-2015 Fundamentals of characters of abelian groups A character ψ of G is a homomorphism from G to C Ĝ: the set of all characters of G e: the exponent of G Remark The image
More informationConstructions of strongly regular Cayley graphs using index four Gauss sums
J Algebr Comb (03) 37:33 39 DOI 0.007/s080-0-0368-y Constructions of strongly regular Cayley graphs using index four Gauss sums Gennian Ge Qing Xiang Tao Yuan Received: 3 August 0 / Accepted: March 0 /
More information#A30 INTEGERS 17 (2017) CONFERENCE MATRICES WITH MAXIMUM EXCESS AND TWO-INTERSECTION SETS
#A3 INTEGERS 7 (27) CONFERENCE MATRICES WITH MAIMUM ECESS AND TWO-INTERSECTION SETS Koji Momihara Faculty of Education, Kumamoto University, Kurokami, Kumamoto, Japan momihara@educ.kumamoto-u.ac.jp Sho
More informationOn The Weights of Binary Irreducible Cyclic Codes
On The Weights of Binary Irreducible Cyclic Codes Yves Aubry and Philippe Langevin Université du Sud Toulon-Var, Laboratoire GRIM F-83270 La Garde, France, {langevin,yaubry}@univ-tln.fr, WWW home page:
More informationON THE SEMIPRIMITIVITY OF CYCLIC CODES
ON THE SEMIPRIMITIVITY OF CYCLIC CODES YVES AUBRY AND PHILIPPE LANGEVIN Abstract. We prove, without assuming the Generalized Riemann Hypothesis, but with at most one exception, that an irreducible cyclic
More informationCongruent Number Problem and Elliptic curves
Congruent Number Problem and Elliptic curves December 12, 2010 Contents 1 Congruent Number problem 2 1.1 1 is not a congruent number.................................. 2 2 Certain Elliptic Curves 4 3 Using
More information(This is a sample cover image for this issue. The actual cover is not yet available at this time.)
This is a sample cover image for this issue. The actual cover is not yet available at this time.) This article appeared in a journal published by Elsevier. The attached copy is furnished to the author
More informationON THE p-adic VALUE OF JACOBI SUMS OVER F p
Kyushu J. Math. 68 (014), 3 38 doi:10.06/kyushujm.68.3 ON THE p-adic VALUE OF JACOBI SUMS OVER F p 3 Takahiro NAKAGAWA (Received 9 November 01 and revised 3 April 014) Abstract. Let p be a prime and q
More informationSTRONGLY REGULAR GRAPHS, ASSOCIATION SCHEMES AND GAUSS SUMS. Fan Wu
STRONGLY REGULAR GRAPHS, ASSOCIATION SCHEMES AND GAUSS SUMS by Fan Wu A dissertation submitted to the Faculty of the University of Delaware in partial fulfillment of the requirements for the degree of
More informationAn Additive Characterization of Fibers of Characters on F p
An Additive Characterization of Fibers of Characters on F p Chris Monico Texas Tech University Lubbock, TX c.monico@ttu.edu Michele Elia Politecnico di Torino Torino, Italy elia@polito.it January 30, 2009
More informationKloosterman sum identities and low-weight codewords in a cyclic code with two zeros
Finite Fields and Their Applications 13 2007) 922 935 http://www.elsevier.com/locate/ffa Kloosterman sum identities and low-weight codewords in a cyclic code with two zeros Marko Moisio a, Kalle Ranto
More informationThe critical group of a graph
The critical group of a graph Peter Sin Texas State U., San Marcos, March th, 4. Critical groups of graphs Outline Laplacian matrix of a graph Chip-firing game Smith normal form Some families of graphs
More informationFourier Analysis. 1 Fourier basics. 1.1 Examples. 1.2 Characters form an orthonormal basis
Fourier Analysis Topics in Finite Fields (Fall 203) Rutgers University Swastik Kopparty Last modified: Friday 8 th October, 203 Fourier basics Let G be a finite abelian group. A character of G is simply
More informationNew Negative Latin Square Type Partial Difference Sets in Nonelementary Abelian 2-groups and 3-groups
New Negative Latin Square Type Partial Difference Sets in Nonelementary Abelian 2-groups and 3-groups John Polhill Department of Mathematics, Computer Science, and Statistics Bloomsburg University Bloomsburg,
More informationarxiv: v1 [math.co] 28 Feb 2012
arxiv:202.644v [math.co] 28 Feb 202 Strongly Regular Cayley Graphs, Sew Hadamard Difference Sets, and Rationality of Relative Gauss Sums Koji Momihara Abstract In this paper, we give constructions of strongly
More informationON THE EXISTENCE OF (196,91,42) HADAMARD DIFFERENCE SETS. 1. Introduction
Kragujevac Journal of Mathematics Volume 34 (010), Pages 113 130. ON THE EXISTENCE OF (196,91,4) HADAMARD DIFFERENCE SETS ADEGOKE S. A. OSIFODUNRIN Abstract. We use group representations and factorization
More informationCHARACTERS OF FINITE ABELIAN GROUPS (SHORT VERSION)
CHARACTERS OF FINITE ABELIAN GROUPS (SHORT VERSION) KEITH CONRAD 1. Introduction The theme we will study is an analogue on finite abelian groups of Fourier analysis on R. A Fourier series on the real line
More informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationFinite Field Waring s Problem
Finite Field Waring s Problem 12/8/10 1 Introduction In 1770, Waring asked the following uestion: given d N, can every positive integer can be written as a sum of a bounded number of dth powers of positive
More informationarxiv: v3 [math.nt] 19 Nov 2018
arxiv:1805.10452v3 [math.nt] 19 Nov 2018 WEIL SUMS OF BINOMIALS: PROPERTIES, APPLICATIONS, AND OPEN PROBLEMS DANIEL J. KATZ Abstract. We present a survey on Weil sums in which an additive character of
More informationJAMES A. DAVIS, QING XIANG
NEGATIVE LATIN SQUARE TYPE PARTIAL DIFFERENCE SETS IN NONELEMENTARY ABELIAN 2-GROUPS JAMES A. DAVIS, QING XIANG Abstract. Combining results on quadrics in projective geometries with an algebraic interplay
More informationSpectra of Semidirect Products of Cyclic Groups
Spectra of Semidirect Products of Cyclic Groups Nathan Fox 1 University of Minnesota-Twin Cities Abstract The spectrum of a graph is the set of eigenvalues of its adjacency matrix A group, together with
More informationA talk given at Suzhou Univ. (June 19) and Nankai Univ. (June 25, 2008) Zhi-Wei Sun
A talk given at Suzhou Univ. (June 19) and Nankai Univ. (June 25, 2008) AN EXTREMAL PROBLEM ON COVERS OF ABELIAN GROUPS Zhi-Wei Sun Department of Mathematics Nanjing University Nanjing 210093, P. R. China
More informationQuizzes for Math 401
Quizzes for Math 401 QUIZ 1. a) Let a,b be integers such that λa+µb = 1 for some inetegrs λ,µ. Prove that gcd(a,b) = 1. b) Use Euclid s algorithm to compute gcd(803, 154) and find integers λ,µ such that
More informationMath 203, Solution Set 4.
Math 203, Solution Set 4. Problem 1. Let V be a finite dimensional vector space and let ω Λ 2 V be such that ω ω = 0. Show that ω = v w for some vectors v, w V. Answer: It is clear that if ω = v w then
More informationCharacters (definition)
Characters (definition) Let p be a prime. A character on F p is a group homomorphism F p C. Example The map a 1 a F p denoted by ɛ. is called the trivial character, henceforth Example If g is a generator
More informationMATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM
MATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM Basic Questions 1. Compute the factor group Z 3 Z 9 / (1, 6). The subgroup generated by (1, 6) is
More information0 Sets and Induction. Sets
0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set
More informationDifference Sets Corresponding to a Class of Symmetric Designs
Designs, Codes and Cryptography, 10, 223 236 (1997) c 1997 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Difference Sets Corresponding to a Class of Symmetric Designs SIU LUN MA
More informationAlgebra Review. Instructor: Laszlo Babai Notes by Vincent Lucarelli and the instructor. June 15, 2001
Algebra Review Instructor: Laszlo Babai Notes by Vincent Lucarelli and the instructor June 15, 2001 1 Groups Definition 1.1 A semigroup (G, ) is a set G with a binary operation such that: Axiom 1 ( a,
More informationMATH HL OPTION - REVISION SETS, RELATIONS AND GROUPS Compiled by: Christos Nikolaidis
MATH HL OPTION - REVISION SETS, RELATIONS AND GROUPS Compiled by: Christos Nikolaidis PART B: GROUPS GROUPS 1. ab The binary operation a * b is defined by a * b = a+ b +. (a) Prove that * is associative.
More informationSolutions of exercise sheet 11
D-MATH Algebra I HS 14 Prof Emmanuel Kowalski Solutions of exercise sheet 11 The content of the marked exercises (*) should be known for the exam 1 For the following values of α C, find the minimal polynomial
More informationAUTOMORPHISM GROUPS AND SPECTRA OF CIRCULANT GRAPHS
AUTOMORPHISM GROUPS AND SPECTRA OF CIRCULANT GRAPHS MAX GOLDBERG Abstract. We explore ways to concisely describe circulant graphs, highly symmetric graphs with properties that are easier to generalize
More informationTight Sets and m-ovoids of Quadrics 1
Tight Sets and m-ovoids of Quadrics 1 Qing Xiang Department of Mathematical Sciences University of Delaware Newark, DE 19716 USA xiang@mathudeledu Joint work with Tao Feng and Koji Momihara 1 T Feng, K
More informationA combinatorial problem related to Mahler s measure
A combinatorial problem related to Mahler s measure W. Duke ABSTRACT. We give a generalization of a result of Myerson on the asymptotic behavior of norms of certain Gaussian periods. The proof exploits
More informationON PERMUTATION POLYNOMIALS OF PRESCRIBED SHAPE
ON PERMUTATION POLYNOMIALS OF PRESCRIBED SHAPE AMIR AKBARY, DRAGOS GHIOCA, AND QIANG WANG Abstract. We count permutation polynomials of F q which are sums of m + 2 monomials of prescribed degrees. This
More informationNUMBERS OF SOLUTIONS OF EQUATIONS IN FINITE FIELDS. The equations to be considered here are those of the type
BULLETIN (Old Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 55 (949), Pages 497 508 S (XX)0000-0 NUMBERS OF SOLUTIONS OF EQUATIONS IN FINITE FIELDS ANDRÉ WEIL The equations to be considered here
More informationRepresentation Theory
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 Paper 1, Section II 19I 93 (a) Define the derived subgroup, G, of a finite group G. Show that if χ is a linear character
More informationMath 2070BC Term 2 Weeks 1 13 Lecture Notes
Math 2070BC 2017 18 Term 2 Weeks 1 13 Lecture Notes Keywords: group operation multiplication associative identity element inverse commutative abelian group Special Linear Group order infinite order cyclic
More informationChapter 4. Characters and Gauss sums. 4.1 Characters on finite abelian groups
Chapter 4 Characters and Gauss sums 4.1 Characters on finite abelian groups In what follows, abelian groups are multiplicatively written, and the unit element of an abelian group A is denoted by 1 or 1
More informationA Survey of the Multiplier Conjecture
A Survey of the Multiplier Conjecture Daniel M. Gordon IDA Center for Communications Research 4320 Westerra Court San Diego, CA 92121 USA Bernhard Schmidt Division of Mathematical Sciences School of Physical
More informationCONSTRUCTIONS OF STRONGLY REGULAR CAYLEY GRAPHS AND SKEW HADAMARD DIFFERENCE SETS FROM CYCLOTOMIC CLASSES
COMBINATORICA Bolyai Society Sringer-Verlag Combinatorica 35 (4) (05) 43 434 DOI: 0.007/s00493-04-895-8 CONSTRUCTIONS OF STRONGLY REGULAR CAYLEY GRAPHS AND SKEW HADAMARD DIFFERENCE SETS FROM CYCLOTOMIC
More informationDONG QUAN NGOC NGUYEN
REPRESENTATION OF UNITS IN CYCLOTOMIC FUNCTION FIELDS DONG QUAN NGOC NGUYEN Contents 1 Introduction 1 2 Some basic notions 3 21 The Galois group Gal(K /k) 3 22 Representation of integers in O, and the
More informationQ N id β. 2. Let I and J be ideals in a commutative ring A. Give a simple description of
Additional Problems 1. Let A be a commutative ring and let 0 M α N β P 0 be a short exact sequence of A-modules. Let Q be an A-module. i) Show that the naturally induced sequence is exact, but that 0 Hom(P,
More informationarxiv: v4 [math.gr] 17 Jun 2015
On finite groups all of whose cubic Cayley graphs are integral arxiv:1409.4939v4 [math.gr] 17 Jun 2015 Xuanlong Ma and Kaishun Wang Sch. Math. Sci. & Lab. Math. Com. Sys., Beijing Normal University, 100875,
More informationFactorization in Integral Domains II
Factorization in Integral Domains II 1 Statement of the main theorem Throughout these notes, unless otherwise specified, R is a UFD with field of quotients F. The main examples will be R = Z, F = Q, and
More informationON VALUES OF CYCLOTOMIC POLYNOMIALS. V
Math. J. Okayama Univ. 45 (2003), 29 36 ON VALUES OF CYCLOTOMIC POLYNOMIALS. V Dedicated to emeritus professor Kazuo Kishimoto on his seventieth birthday Kaoru MOTOSE In this paper, using properties of
More informationA talk given at the Institute of Mathematics (Beijing, June 29, 2008)
A talk given at the Institute of Mathematics (Beijing, June 29, 2008) STUDY COVERS OF GROUPS VIA CHARACTERS AND NUMBER THEORY Zhi-Wei Sun Department of Mathematics Nanjing University Nanjing 210093, P.
More informationClassification of Formal Duality with an Example in Sphere Packing
Classification of Formal Duality with an Example in Sphere Packing UROP+ Final Paper Jianqiao Xia Mentor: Soohyun Park Project suggested by Henry Cohn August 29, 2016 Abstract We study the notion of formal
More informationEXPLICIT EVALUATIONS OF SOME WEIL SUMS. 1. Introduction In this article we will explicitly evaluate exponential sums of the form
EXPLICIT EVALUATIONS OF SOME WEIL SUMS ROBERT S. COULTER 1. Introduction In this article we will explicitly evaluate exponential sums of the form χax p α +1 ) where χ is a non-trivial additive character
More informationCSIR - Algebra Problems
CSIR - Algebra Problems N. Annamalai DST - INSPIRE Fellow (SRF) Department of Mathematics Bharathidasan University Tiruchirappalli -620024 E-mail: algebra.annamalai@gmail.com Website: https://annamalaimaths.wordpress.com
More informationGalois groups with restricted ramification
Galois groups with restricted ramification Romyar Sharifi Harvard University 1 Unique factorization: Let K be a number field, a finite extension of the rational numbers Q. The ring of integers O K of K
More informationMath 121 Homework 5: Notes on Selected Problems
Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements
More informationarxiv: v2 [math.nt] 12 Dec 2018
LANGLANDS LAMBDA UNCTION OR QUADRATIC TAMELY RAMIIED EXTENSIONS SAZZAD ALI BISWAS Abstract. Let K/ be a quadratic tamely ramified extension of a non-archimedean local field of characteristic zero. In this
More informationField Theory Qual Review
Field Theory Qual Review Robert Won Prof. Rogalski 1 (Some) qual problems ˆ (Fall 2007, 5) Let F be a field of characteristic p and f F [x] a polynomial f(x) = i f ix i. Give necessary and sufficient conditions
More informationMATH 420 FINAL EXAM J. Beachy, 5/7/97
MATH 420 FINAL EXAM J. Beachy, 5/7/97 1. (a) For positive integers a and b, define gcd(a, b). (b) Compute gcd(1776, 1492). (c) Show that if a, b, c are positive integers, then gcd(a, bc) = 1 if and only
More information3-Class Association Schemes and Hadamard Matrices of a Certain Block Form
Europ J Combinatorics (1998) 19, 943 951 Article No ej980251 3-Class Association Schemes and Hadamard Matrices of a Certain Block Form R W GOLDBACH AND H L CLAASEN We describe 3-class association schemes
More informationMath 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d
Math 201C Homework Edward Burkard 5.1. Field Extensions. 5. Fields and Galois Theory Exercise 5.1.7. If v is algebraic over K(u) for some u F and v is transcendental over K, then u is algebraic over K(v).
More informationMath 210B:Algebra, Homework 2
Math 210B:Algebra, Homework 2 Ian Coley January 21, 2014 Problem 1. Is f = 2X 5 6X + 6 irreducible in Z[X], (S 1 Z)[X], for S = {2 n, n 0}, Q[X], R[X], C[X]? To begin, note that 2 divides all coefficients
More informationQuasi-reducible Polynomials
Quasi-reducible Polynomials Jacques Willekens 06-Dec-2008 Abstract In this article, we investigate polynomials that are irreducible over Q, but are reducible modulo any prime number. 1 Introduction Let
More informationCHARACTERS OF FINITE GROUPS.
CHARACTERS OF FINITE GROUPS. ANDREI YAFAEV As usual we consider a finite group G and the ground field F = C. Let U be a C[G]-module and let g G. Then g is represented by a matrix [g] in a certain basis.
More informationDirichlet s Theorem and Algebraic Number Fields. Pedro Sousa Vieira
Dirichlet s Theorem and Algebraic Number Fields Pedro Sousa Vieira February 6, 202 Abstract In this paper we look at two different fields of Modern Number Theory: Analytic Number Theory and Algebraic Number
More informationTrace Representation of Legendre Sequences
C Designs, Codes and Cryptography, 24, 343 348, 2001 2001 Kluwer Academic Publishers. Manufactured in The Netherlands. Trace Representation of Legendre Sequences JEONG-HEON KIM School of Electrical and
More informationResolvability of a cyclic orbit of a subset of Z v and spread decomposition of Singer cycles of projective lines
ACA2015, Augst 26-30, 2015, Michigan Tech. Univ. Resolvability of a cyclic orbit of a subset of Z v and spread decomposition of Singer cycles of projective lines Masakazu Jimbo (Chubu University) jimbo@isc.chubu.ac.jp
More informationReducibility of Polynomials over Finite Fields
Master Thesis Reducibility of Polynomials over Finite Fields Author: Muhammad Imran Date: 1976-06-02 Subject: Mathematics Level: Advance Course code: 5MA12E Abstract Reducibility of certain class of polynomials
More informationarxiv: v1 [math.co] 3 Jan 2012
Constructions of Strongly Regular Cayley Grahs and Skew Hadamard Difference Sets from Cyclotomic Classes arxiv:0.070v [math.co] 3 Jan 0 Tao Feng Koji Momihara Qing Xiang Abstract In this aer, we give a
More informationTC10 / 3. Finite fields S. Xambó
TC10 / 3. Finite fields S. Xambó The ring Construction of finite fields The Frobenius automorphism Splitting field of a polynomial Structure of the multiplicative group of a finite field Structure of the
More informationAlgebra Exam Topics. Updated August 2017
Algebra Exam Topics Updated August 2017 Starting Fall 2017, the Masters Algebra Exam will have 14 questions. Of these students will answer the first 8 questions from Topics 1, 2, and 3. They then have
More informationERRATA. Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on February 14, 2018)
ERRATA Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on February 14, 2018) These are errata for the Third Edition of the book. Errata from previous editions have been
More informationAn Approach to Hensel s Lemma
Irish Math. Soc. Bulletin 47 (2001), 15 21 15 An Approach to Hensel s Lemma gary mcguire Abstract. Hensel s Lemma is an important tool in many ways. One application is in factoring polynomials over Z.
More informationPisano period codes. Ministry of Education, Anhui University No. 3 Feixi Road, Hefei Anhui Province , P. R. China;
Pisano period codes Minjia Shi 1,2,3, Zhongyi Zhang 4, and Patrick Solé 5 1 Key Laboratory of Intelligent Computing & Signal Processing, arxiv:1709.04582v1 [cs.it] 14 Sep 2017 Ministry of Education, Anhui
More informationPublic-key Cryptography: Theory and Practice
Public-key Cryptography Theory and Practice Department of Computer Science and Engineering Indian Institute of Technology Kharagpur Chapter 2: Mathematical Concepts Divisibility Congruence Quadratic Residues
More informationINTRODUCTION TO THE GROUP THEORY
Lecture Notes on Structure of Algebra INTRODUCTION TO THE GROUP THEORY By : Drs. Antonius Cahya Prihandoko, M.App.Sc e-mail: antoniuscp.fkip@unej.ac.id Mathematics Education Study Program Faculty of Teacher
More informationExamples: The (left or right) cosets of the subgroup H = 11 in U(30) = {1, 7, 11, 13, 17, 19, 23, 29} are
Cosets Let H be a subset of the group G. (Usually, H is chosen to be a subgroup of G.) If a G, then we denote by ah the subset {ah h H}, the left coset of H containing a. Similarly, Ha = {ha h H} is the
More informationRings, Paths, and Paley Graphs
Spectral Graph Theory Lecture 5 Rings, Paths, and Paley Graphs Daniel A. Spielman September 12, 2012 5.1 About these notes These notes are not necessarily an accurate representation of what happened in
More informationAbstract Algebra, Second Edition, by John A. Beachy and William D. Blair. Corrections and clarifications
1 Abstract Algebra, Second Edition, by John A. Beachy and William D. Blair Corrections and clarifications Note: Some corrections were made after the first printing of the text. page 9, line 8 For of the
More informationDivisibility Properties of Kloosterman Sums and Division Polynomials for Edwards Curves
Divisibility Properties of Kloosterman Sums and Division Polynomials for Edwards Curves by Richard Moloney A dissertation presented to University College Dublin in partial fulfillment of the requirements
More informationp-ary Weight problems in designs, coding, and cryptography (preceded by a brief research overview)
p-ary Weight problems in designs, coding, and cryptography (preceded by a brief research overview) Henk Hollmann Singapore, Nanyang Technological University, 29 Sept. 2010 (mostly joint work with Qing
More informationI. INTRODUCTION. A. Definitions and Notations
IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 56, NO. 7, JULY 2010 3605 Optimal Sets of Frequency Hopping Sequences From Linear Cyclic Codes Cunsheng Ding, Senior Member, IEEE, Yang Yang, Student Member,
More informationMath 451, 01, Exam #2 Answer Key
Math 451, 01, Exam #2 Answer Key 1. (25 points): If the statement is always true, circle True and prove it. If the statement is never true, circle False and prove that it can never be true. If the statement
More informationBasic Definitions: Group, subgroup, order of a group, order of an element, Abelian, center, centralizer, identity, inverse, closed.
Math 546 Review Exam 2 NOTE: An (*) at the end of a line indicates that you will not be asked for the proof of that specific item on the exam But you should still understand the idea and be able to apply
More informationAlgebra Qualifying Exam Solutions. Thomas Goller
Algebra Qualifying Exam Solutions Thomas Goller September 4, 2 Contents Spring 2 2 2 Fall 2 8 3 Spring 2 3 4 Fall 29 7 5 Spring 29 2 6 Fall 28 25 Chapter Spring 2. The claim as stated is false. The identity
More informationConstructing hyper-bent functions from Boolean functions with the Walsh spectrum taking the same value twice
Noname manuscript No. (will be inserted by the editor) Constructing hyper-bent functions from Boolean functions with the Walsh spectrum taking the same value twice Chunming Tang Yanfeng Qi Received: date
More informationPractice problems for first midterm, Spring 98
Practice problems for first midterm, Spring 98 midterm to be held Wednesday, February 25, 1998, in class Dave Bayer, Modern Algebra All rings are assumed to be commutative with identity, as in our text.
More informationDecomposing Bent Functions
2004 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 49, NO. 8, AUGUST 2003 Decomposing Bent Functions Anne Canteaut and Pascale Charpin Abstract In a recent paper [1], it is shown that the restrictions
More informationModern Algebra I. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points.
1 2 3 style total Math 415 Please print your name: Answer Key 1 True/false Circle the correct answer; no explanation is required. Each problem in this section counts 5 points. 1. Every group of order 6
More informationGALOIS THEORY. Contents
GALOIS THEORY MARIUS VAN DER PUT & JAAP TOP Contents 1. Basic definitions 1 1.1. Exercises 2 2. Solving polynomial equations 2 2.1. Exercises 4 3. Galois extensions and examples 4 3.1. Exercises. 6 4.
More informationGalois Theory, summary
Galois Theory, summary Chapter 11 11.1. UFD, definition. Any two elements have gcd 11.2 PID. Every PID is a UFD. There are UFD s which are not PID s (example F [x, y]). 11.3 ED. Every ED is a PID (and
More informationThree-dimensional imprimitive representations of PSL 2 (Z) and their associated vector-valued modular forms
Three-dimensional imprimitive representations of PSL 2 (Z) and their associated vector-valued modular forms U-M Automorphic forms workshop, March 2015 1 Definition 2 3 Let Γ = PSL 2 (Z) Write ( 0 1 S =
More informationGroup rings of finite strongly monomial groups: central units and primitive idempotents
Group rings of finite strongly monomial groups: central units and primitive idempotents joint work with E. Jespers, G. Olteanu and Á. del Río Inneke Van Gelder Vrije Universiteit Brussel Recend Trends
More informationSolutions to Assignment 4
1. Let G be a finite, abelian group written additively. Let x = g G g, and let G 2 be the subgroup of G defined by G 2 = {g G 2g = 0}. (a) Show that x = g G 2 g. (b) Show that x = 0 if G 2 = 2. If G 2
More informationClassification of Finite Fields
Classification of Finite Fields In these notes we use the properties of the polynomial x pd x to classify finite fields. The importance of this polynomial is explained by the following basic proposition.
More informationA PROOF OF BURNSIDE S p a q b THEOREM
A PROOF OF BURNSIDE S p a q b THEOREM OBOB Abstract. We prove that if p and q are prime, then any group of order p a q b is solvable. Throughout this note, denote by A the set of algebraic numbers. We
More informationAutomorphisms of strongly regular graphs and PDS in Abelian groups
Automorphisms of strongly regular graphs and PDS in Abelian groups Zeying Wang Department of Mathematical Sciences Michigan Technological University Joint work with Stefaan De Winter and Ellen Kamischke
More informationCommutative Association Schemes Whose Symmetrizations Have Two Classes*
Journal of Algebraic Combinatorics 5 (1996), 47-55 1996 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Commutative Association Schemes Whose Symmetrizations Have Two Classes* SUNG
More informationOn the generation of the coefficient field of a newform by a single Hecke eigenvalue
On the generation of the coefficient field of a newform by a single Hecke eigenvalue Koopa Tak-Lun Koo and William Stein and Gabor Wiese November 2, 27 Abstract Let f be a non-cm newform of weight k 2
More informationMathematics for Cryptography
Mathematics for Cryptography Douglas R. Stinson David R. Cheriton School of Computer Science University of Waterloo Waterloo, Ontario, N2L 3G1, Canada March 15, 2016 1 Groups and Modular Arithmetic 1.1
More informationDickson Polynomials that are Involutions
Dickson Polynomials that are Involutions Pascale Charpin Sihem Mesnager Sumanta Sarkar May 6, 2015 Abstract Dickson polynomials which are permutations are interesting combinatorial objects and well studied.
More informationLacunary Polynomials over Finite Fields Course notes
Lacunary Polynomials over Finite Fields Course notes Javier Herranz Abstract This is a summary of the course Lacunary Polynomials over Finite Fields, given by Simeon Ball, from the University of London,
More informationMath Introduction to Modern Algebra
Math 343 - Introduction to Modern Algebra Notes Field Theory Basics Let R be a ring. M is called a maximal ideal of R if M is a proper ideal of R and there is no proper ideal of R that properly contains
More information