Butson-Hadamard matrices in association schemes of class 6 on Galois rings of characteristic 4
|
|
- Hugh Powell
- 5 years ago
- Views:
Transcription
1 Butson-Hadamard matrices in association schemes of class 6 on Galois rings of characteristic 4 Akihiro Munemasa Tohoku University (joint work with Takuya Ikuta) November 17, 2017 Combinatorics Seminar Shanghai Jiao Tong University A. Munemasa Galois rings November 17, / 15
2 Hadamard matrices and association schemes Goethals-Seidel (1970), regular symmetric Hadamard matrices with constant diagonal are equivalent to certain strongly regular graphs (symmetric association schemes of class 2). A. Munemasa Galois rings November 17, / 15
3 Hadamard matrices and association schemes Goethals-Seidel (1970), regular symmetric Hadamard matrices with constant diagonal are equivalent to certain strongly regular graphs (symmetric association schemes of class 2). From real (HH = ni) to complex (HH = ni): real Hadamard (±1) Butson-Hadamard (roots of unity) Complex Hadamard (absolute value 1) Inverse-orthogonal = type II A. Munemasa Galois rings November 17, / 15
4 Hadamard matrices and association schemes Goethals-Seidel (1970), regular symmetric Hadamard matrices with constant diagonal are equivalent to certain strongly regular graphs (symmetric association schemes of class 2). From real (HH = ni) to complex (HH = ni): real Hadamard (±1) Butson-Hadamard (roots of unity) Complex Hadamard (absolute value 1) Inverse-orthogonal = type II Jaeger-Matsumoto-Nomura (1998): type II matrices Chan-Godsil (2010): complex Hadamard Ikuta-Munemasa (2015): complex Hadamard A. Munemasa Galois rings November 17, / 15
5 Complex Hadamard matrices An n n matrix H = (h ij ) is called a complex Hadamard matrix if HH = ni and h ij = 1 ( i, j). A. Munemasa Galois rings November 17, / 15
6 Complex Hadamard matrices An n n matrix H = (h ij ) is called a complex Hadamard matrix if HH = ni and h ij = 1 ( i, j). It is called a Butson-Hadamard matrix if all h ij are roots of unity. It is called a (real) Hadamard matrix if all h ij are ±1. A. Munemasa Galois rings November 17, / 15
7 Complex Hadamard matrices An n n matrix H = (h ij ) is called a complex Hadamard matrix if HH = ni and h ij = 1 ( i, j). It is called a Butson-Hadamard matrix if all h ij are roots of unity. It is called a (real) Hadamard matrix if all h ij are ±1. The 5th workshop on Real and Complex Hadamard Matrices and Applications, July, 2017, Budapest, aimed at A. Munemasa Galois rings November 17, / 15
8 Complex Hadamard matrices An n n matrix H = (h ij ) is called a complex Hadamard matrix if HH = ni and h ij = 1 ( i, j). It is called a Butson-Hadamard matrix if all h ij are roots of unity. It is called a (real) Hadamard matrix if all h ij are ±1. The 5th workshop on Real and Complex Hadamard Matrices and Applications, July, 2017, Budapest, aimed at 1 The Hadamard conjecture: a (real) Hadamard matrix exists for every order which is a multiple of 4 (yes for order 664). A. Munemasa Galois rings November 17, / 15
9 Complex Hadamard matrices An n n matrix H = (h ij ) is called a complex Hadamard matrix if HH = ni and h ij = 1 ( i, j). It is called a Butson-Hadamard matrix if all h ij are roots of unity. It is called a (real) Hadamard matrix if all h ij are ±1. The 5th workshop on Real and Complex Hadamard Matrices and Applications, July, 2017, Budapest, aimed at 1 The Hadamard conjecture: a (real) Hadamard matrix exists for every order which is a multiple of 4 (yes for order 664). 2 Complete set of mutually unbiased bases (MUB) exists for non-prime power dimension? For example, 6. A. Munemasa Galois rings November 17, / 15
10 Complex Hadamard matrices An n n matrix H = (h ij ) is called a complex Hadamard matrix if HH = ni and h ij = 1 ( i, j). It is called a Butson-Hadamard matrix if all h ij are roots of unity. It is called a (real) Hadamard matrix if all h ij are ±1. The 5th workshop on Real and Complex Hadamard Matrices and Applications, July, 2017, Budapest, aimed at 1 The Hadamard conjecture: a (real) Hadamard matrix exists for every order which is a multiple of 4 (yes for order 664). 2 Complete set of mutually unbiased bases (MUB) exists for non-prime power dimension? For example, 6. 3 Understand the space of complex Hadamard matrices of order 6. A. Munemasa Galois rings November 17, / 15
11 Coherent Algebras and Coherent Configuration Let G be a finite permutation group acting on a finite set X. From the set of orbits of X X, one defines adjacency matrices d A 0, A 1,..., A d with A i = J (all-one matrix). i=0 A. Munemasa Galois rings November 17, / 15
12 Coherent Algebras and Coherent Configuration Let G be a finite permutation group acting on a finite set X. From the set of orbits of X X, one defines adjacency matrices d A 0, A 1,..., A d with A i = J (all-one matrix). i=0 Then the linear span A 0, A 1,..., A d is closed under multiplication and transposition ( coherent algebra, coherent configuration). A. Munemasa Galois rings November 17, / 15
13 Coherent Algebras and Coherent Configuration Let G be a finite permutation group acting on a finite set X. From the set of orbits of X X, one defines adjacency matrices d A 0, A 1,..., A d with A i = J (all-one matrix). i=0 Then the linear span A 0, A 1,..., A d is closed under multiplication and transposition ( coherent algebra, coherent configuration). If G acts transitively, we may assume A 0 = I ( Bose-Mesner algebra of an association scheme). A. Munemasa Galois rings November 17, / 15
14 Coherent Algebras and Coherent Configuration Let G be a finite permutation group acting on a finite set X. From the set of orbits of X X, one defines adjacency matrices d A 0, A 1,..., A d with A i = J (all-one matrix). i=0 Then the linear span A 0, A 1,..., A d is closed under multiplication and transposition ( coherent algebra, coherent configuration). If G acts transitively, we may assume A 0 = I ( Bose-Mesner algebra of an association scheme). If G contains a regular subgroup N, we may identify X with N, A i T i N, and d N = T i, T 0 = {1 N }, C[N] g 0 i d. g T i i=0 A. Munemasa Galois rings November 17, / 15
15 Schur rings d N = T i, T 0 = {1 N }, i=0 C[N] A = g T i g 0 i d (subalgebra). A. Munemasa Galois rings November 17, / 15
16 Schur rings d N = T i, T 0 = {1 N }, i=0 C[N] A = g T i g 0 i d (subalgebra). A is called a Schur ring if, in addition {T 1 i 0 i d} = {T i 0 i d}, where T 1 = {t 1 t T } for T N. A. Munemasa Galois rings November 17, / 15
17 Schur rings d N = T i, T 0 = {1 N }, i=0 C[N] A = g T i g 0 i d (subalgebra). A is called a Schur ring if, in addition {T 1 i 0 i d} = {T i 0 i d}, where T 1 = {t 1 t T } for T N. Examples: AGL(1, q) > G > N = GF (q) (cyclotomic). A. Munemasa Galois rings November 17, / 15
18 AGL(1, q) > G > N = GF (q) (cyclotomic) More generally, R : R > G > N = R : a ring. A. Munemasa Galois rings November 17, / 15
19 AGL(1, q) > G > N = GF (q) (cyclotomic) More generally, R : R > G > N = R : a ring. In Ito-Munemasa-Yamada (1991), we wanted to construct an association scheme with eigenvalue a multiple of i = 1. A. Munemasa Galois rings November 17, / 15
20 AGL(1, q) > G > N = GF (q) (cyclotomic) More generally, R : R > G > N = R : a ring. In Ito-Munemasa-Yamada (1991), we wanted to construct an association scheme with eigenvalue a multiple of i = 1. Not possible with R = GF (q). A. Munemasa Galois rings November 17, / 15
21 AGL(1, q) > G > N = GF (q) (cyclotomic) More generally, R : R > G > N = R : a ring. In Ito-Munemasa-Yamada (1991), we wanted to construct an association scheme with eigenvalue a multiple of i = 1. Not possible with R = GF (q). GF (p) GF (p e ) Z p n GR(p n, e) A. Munemasa Galois rings November 17, / 15
22 AGL(1, q) > G > N = GF (q) (cyclotomic) More generally, R : R > G > N = R : a ring. In Ito-Munemasa-Yamada (1991), we wanted to construct an association scheme with eigenvalue a multiple of i = 1. Not possible with R = GF (q). GF (p) GF (p e ) Z p n GR(p n, e) A Galois ring R = GR(p n, e) is a commutative local ring with characteristic p n, whose quotient by the maximal ideal pr is GF (p e ). A. Munemasa Galois rings November 17, / 15
23 Structure of GR(p n, e) Let R = GR(p n, e) be a Galois ring. Then R = p ne, pr is the unique maximal ideal, R = R \ pr = p ne p (n 1)e = (p e 1)p (n 1)e, R = T U, T = Z p e 1, U = p (n 1)e. Now specialize p n = 4, consider GR(4, e). A. Munemasa Galois rings November 17, / 15
24 Structure of GR(4, e) Let R = GR(4, e) be a Galois ring of characteristic 4. Then R = 4 e, 2R is the unique maximal ideal, R = R \ 2R = 4 e 2 e = (2 e 1)2 e, R = T U, T = Z 2 e 1, U = 1 + 2R = Z e 2. A. Munemasa Galois rings November 17, / 15
25 Structure of GR(4, e) Let R = GR(4, e) be a Galois ring of characteristic 4. Then R = 4 e, 2R is the unique maximal ideal, R = R \ 2R = 4 e 2 e = (2 e 1)2 e, R = T U, T = Z 2 e 1, U = 1 + 2R = Z e 2. To construct a Schur ring, we need to partition R = R 2R (into even smaller parts). In Ito-Munemasa-Yamada (1991), the orbits of a subgroup of the form T U 0 < R were used. Ma (2007) also considered orbits of a subgroup containing T. A. Munemasa Galois rings November 17, / 15
26 U 0 as a subgroup of U of index 2 R = GR(4, e), 2R is the unique maximal ideal, R = T U, T = Z 2 e 1, U = 1 + 2R = Z e 2 the principal unit group. A. Munemasa Galois rings November 17, / 15
27 U 0 as a subgroup of U of index 2 R = GR(4, e), 2R is the unique maximal ideal, R = T U, T = Z 2 e 1, U = 1 + 2R = Z e 2 the principal unit group. There is a bijection GF (2 e ) = R/2R T {0} 2R U, a + 2R a 2a 1 + 2a. A. Munemasa Galois rings November 17, / 15
28 U 0 as a subgroup of U of index 2 There is a bijection R = GR(4, e), 2R is the unique maximal ideal, R = T U, T = Z 2 e 1, U = 1 + 2R = Z e 2 the principal unit group. GF (2 e ) = R/2R T {0} 2R U, a + 2R a 2a 1 + 2a. So the trace-0 additive subgroup of GF (2 e ) is mapped to P 0 and U 0 with 2R : P 0 = U : U 0 = 2. A. Munemasa Galois rings November 17, / 15
29 U 0 as a subgroup of U of index 2 There is a bijection R = GR(4, e), 2R is the unique maximal ideal, R = T U, T = Z 2 e 1, U = 1 + 2R = Z e 2 the principal unit group. GF (2 e ) = R/2R T {0} 2R U, a + 2R a 2a 1 + 2a. So the trace-0 additive subgroup of GF (2 e ) is mapped to P 0 and U 0 with 2R : P 0 = U : U 0 = 2. Assume e is odd. Then 1 / trace-0 subgroup, so 2 / P 0 and 1 = 3 / U 0. A. Munemasa Galois rings November 17, / 15
30 Partition of R = GR(4, e) Assume e is odd. Then 2 / P 0, 1 / U 0. R = T U, T = Z 2 e 1, 2R = P 0 (2 + P 0 ), U = U 0 ( U 0 ). A. Munemasa Galois rings November 17, / 15
31 Partition of R = GR(4, e) Assume e is odd. Then 2 / P 0, 1 / U 0. R = T U, T = Z 2 e 1, 2R = P 0 (2 + P 0 ), U = U 0 ( U 0 ). Then U 0 acts on R, and the orbit decomposition is ( ) ( ) R = tu 0 ( tu 0 ) {a} = t T a 2R A. Munemasa Galois rings November 17, / 15
32 Partition of R = GR(4, e) Assume e is odd. Then 2 / P 0, 1 / U 0. R = T U, T = Z 2 e 1, 2R = P 0 (2 + P 0 ), U = U 0 ( U 0 ). Then U 0 acts on R, and the orbit decomposition is ( ) ( ) R = tu 0 ( tu 0 ) {a} t T = U 0 ( U 0 ) a 2R tu 0 t T \{1} t T \{1} {0} (P 0 \ {0}) (2 + P 0 ). ( tu 0 ) A. Munemasa Galois rings November 17, / 15
33 R \ {0} is partitioned into 6 parts T 0 = {0}, T 1 = t T \{1} tu 0, T 2 = t T \{1} ( tu 0), T 3 = U 0, T 4 = U 0, T 5 = P 0 \ {0}, T 6 = 2 + P 0. A. Munemasa Galois rings November 17, / 15
34 R \ {0} is partitioned into 6 parts T 0 = {0}, T 1 = t T \{1} tu 0, T 2 = t T \{1} ( tu 0), T 3 = U 0, T 4 = U 0, T 5 = P 0 \ {0}, T 6 = 2 + P 0. Theorem (Ikuta-M., 2017+) 1 {T 0, T 1,..., T 6 } defines a Schur ring on GR(4, e), 2 The matrices A 0 + ɛ 1 i(a 1 A 2 ) + ɛ 2 i(a 3 A 4 ) + A 5 + A 6, A 0 + ɛ 1 i(a 1 A 2 ) + ɛ 2 (A 3 + A 4 ) + A 5 A 6 are the only hermitian complex Hadamard matrices in its Bose-Mesner algebra, where ɛ 1, ɛ 2 {±1}. A. Munemasa Galois rings November 17, / 15
35 Proof T 0 = {0}, T 1 = t T \{1} tu 0, T 2 = t T \{1} ( tu 0), T 3 = U 0, T 4 = U 0, T 5 = P 0 \ {0}, T 6 = 2 + P 0. A. Munemasa Galois rings November 17, / 15
36 Proof T 0 = {0}, T 1 = t T \{1} tu 0, T 2 = t T \{1} ( tu 0), T 3 = U 0, T 4 = U 0, T 5 = P 0 \ {0}, T 6 = 2 + P 0. Theorem (Ikuta-M., 2017+) 1 {T 0, T 1,..., T 6 } defines a Schur ring on GR(4, e). A. Munemasa Galois rings November 17, / 15
37 Proof T 0 = {0}, T 1 = t T \{1} tu 0, T 2 = t T \{1} ( tu 0), T 3 = U 0, T 4 = U 0, T 5 = P 0 \ {0}, T 6 = 2 + P 0. Theorem (Ikuta-M., 2017+) 1 {T 0, T 1,..., T 6 } defines a Schur ring on GR(4, e). Proof. Compute the character sums (χ = χ b : additive character of R) α T j χ(a) = α T j 1 tr(ab) (b T i ), show that this is independent of b T i, depends only on i. A. Munemasa Galois rings November 17, / 15
38 Proof Theorem (Ikuta-M., 2017+) 2 The matrices A 0 + ɛ 1 i(a 1 A 2 ) + ɛ 2 i(a 3 A 4 ) + A 5 + A 6, A 0 + ɛ 1 i(a 1 A 2 ) + ɛ 2 (A 3 + A 4 ) + A 5 A 6 are the only hermitian complex Hadamard matrices in its Bose-Mesner algebra, where ɛ 1, ɛ 2 {±1}. A. Munemasa Galois rings November 17, / 15
39 Proof Theorem (Ikuta-M., 2017+) 2 The matrices A 0 + ɛ 1 i(a 1 A 2 ) + ɛ 2 i(a 3 A 4 ) + A 5 + A 6, A 0 + ɛ 1 i(a 1 A 2 ) + ɛ 2 (A 3 + A 4 ) + A 5 A 6 are the only hermitian complex Hadamard matrices in its Bose-Mesner algebra, where ɛ 1, ɛ 2 {±1}. Proof. Suppose H = 6 i=0 w ia i is a hermitian complex Hadamard matrix. Since the Bose-Mesner algebra is isomorphic to a subalgebra of the group ring of R, the relation HH = ni can be translated in terms of additive characters of R. Then one obtains a system of quadratic equations in w i s. A. Munemasa Galois rings November 17, / 15
40 Example H = A 0 + i(a 1 + A 3 ) i(a 2 + A 4 ) + (A 5 + A 6 ) A. Munemasa Galois rings November 17, / 15
41 Example H = A 0 + i(a 1 + A 3 ) i(a 2 + A 4 ) + (A 5 + A 6 ) A 0, A 1 + A 3, A 2 + A 4, A 5 + A 6. A. Munemasa Galois rings November 17, / 15
42 Example H = A 0 + i(a 1 + A 3 ) i(a 2 + A 4 ) + (A 5 + A 6 ) A 0, A 1 + A 3, A 2 + A 4, A 5 + A 6. Smaller Schur ring defined by T 0 = {0}, T 1 T 3 = tu 0, t T T 2 T 4 = ( tu 0 ), t T T 5 T 6 = 2R \ {0}. A. Munemasa Galois rings November 17, / 15
43 Example H = A 0 + i(a 1 + A 3 ) i(a 2 + A 4 ) + (A 5 + A 6 ) A 0, A 1 + A 3, A 2 + A 4, A 5 + A 6. Smaller Schur ring defined by T 0 = {0}, T 1 T 3 = tu 0, t T T 2 T 4 = ( tu 0 ), t T T 5 T 6 = 2R \ {0}. This defines a nonsymmetric amorphous association scheme of Latin square type L 2 e,1(2 e ) in the sense of Ito-Munemasa-Yamada (1991). A. Munemasa Galois rings November 17, / 15
44 Theorem (Ikuta-M. (2017+)) Let A 0 + w 1 A 1 + w 1 A 1 + w 3A 3 be a hermitian complex Hadamard matrix contained in the Bose-Mesner algebra A = A 0, A 1, A 2 = A 1, A 3 of a 3-class nonsymmetric association scheme. Then A is amorphous of Latin square type L a,1 (a), and w 1 = ±i, w 3 = 1. A. Munemasa Galois rings November 17, / 15
45 Theorem (Ikuta-M. (2017+)) Let A 0 + w 1 A 1 + w 1 A 1 + w 3A 3 be a hermitian complex Hadamard matrix contained in the Bose-Mesner algebra A = A 0, A 1, A 2 = A 1, A 3 of a 3-class nonsymmetric association scheme. Then A is amorphous of Latin square type L a,1 (a), and w 1 = ±i, w 3 = 1. This can be regarded as a nonsymmetric analogue of Theorem (Goethals-Seidel (1970)) Let H = A 0 + A 1 A 2 be a (real) Hadamard matrix contained in the Bose-Mesner algebra A = A 0, A 1, A 2 of a 2-class symmetric association scheme. Then A is (amorphous) of Latin or negative Latin square type. A. Munemasa Galois rings November 17, / 15
Butson-Hadamard matrices in association schemes of class 6 on Galois rings of characteristic 4
Butson-Hadamard matrices in association schemes of class 6 on Galois rings of characteristic 4 Akihiro Munemasa Tohoku University (joint work with Takuya Ikuta) November 17, 2017 Combinatorics Seminar
More informationComplex Hadamard matrices and 3-class association schemes
Complex Hadamard matrices and 3-class association schemes Akihiro Munemasa 1 1 Graduate School of Information Sciences Tohoku University (joint work with Takuya Ikuta) June 26, 2013 The 30th Algebraic
More informationComplex Hadamard matrices and 3-class association schemes
Complex Hadamard matrices and 3-class association schemes Akihiro Munemasa 1 (joint work with Takuya Ikuta) 1 Graduate School of Information Sciences Tohoku University June 27, 2014 Algebraic Combinatorics:
More informationGroup theoretic aspects of the theory of association schemes
Group theoretic aspects of the theory of association schemes Akihiro Munemasa Graduate School of Information Sciences Tohoku University October 29, 2016 International Workshop on Algebraic Combinatorics
More informationIntroduction to Association Schemes
Introduction to Association Schemes Akihiro Munemasa Tohoku University June 5 6, 24 Algebraic Combinatorics Summer School, Sendai Assumed results (i) Vandermonde determinant: a a m =. a m a m m i
More informationOriented covers of the triangular graphs
Oriented covers of the triangular graphs Akihiro Munemasa Tohoku University (joint work with Keiji Ito) March 30, 2018 Beijing Normal University A. Munemasa Triangular graphs March 30, 2018 1 / 23 Contents
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 informationStrongly Regular Decompositions of the Complete Graph
Journal of Algebraic Combinatorics, 17, 181 201, 2003 c 2003 Kluwer Academic Publishers. Manufactured in The Netherlands. Strongly Regular Decompositions of the Complete Graph EDWIN R. VAN DAM Edwin.vanDam@uvt.nl
More informationThe Terwilliger Algebras of Group Association Schemes
The Terwilliger Algebras of Group Association Schemes Eiichi Bannai Akihiro Munemasa The Terwilliger algebra of an association scheme was introduced by Paul Terwilliger [7] in order to study P-and Q-polynomial
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 informationMUBs. William M. Kantor. Newark August / 14
MUBs William M. Kantor Newark August 2017 1 / 14 MUBs: Mutually unbiased bases C d : complex space ( with hermitian inner product (xi ), (y i ) ) := i x iy i MUBs = Mutually unbiased orthonormal bases
More informationBinary codes of t-designs and Hadamard matrices
Binary codes of t-designs and Hadamard matrices Akihiro Munemasa 1 1 Graduate School of Information Sciences Tohoku University November 8, 2013 JSPS-DST Asian Academic Seminar 2013 Discrete Mathematics
More informationNormal cyclotomic schemes over a Galois ring
St.Petersburg Department of Steklov Mathematical Institute Russia (mostly joint work with Ilia Ponomarenko) The 11th International Conference on Finite Fields Friday, July 26, Magdeburg Outline Cyclotomic
More informationAlgebraic aspects of Hadamard matrices
Algebraic aspects of Hadamard matrices Padraig Ó Catháin University of Queensland 22 February 2013 Overview Difference set Relative difference set Symmetric Design Hadamard matrix Overview 1 Hadamard matrices
More informationGroup fusion power of association schemes
Group fusion power of association schemes Shanghai Jiao Tong University jasonzd@sjtu.edu.cn Aug 7th, 2018, G2R2 @ Novosibirsk There is a written proof of every mathematical theorem, in Russian. I couldn
More informationDifference sets and Hadamard matrices
Difference sets and Hadamard matrices Padraig Ó Catháin University of Queensland 5 November 2012 Outline 1 Hadamard matrices 2 Symmetric designs 3 Hadamard matrices and difference sets 4 Two-transitivity
More informationAbstract Algebra Study Sheet
Abstract Algebra Study Sheet This study sheet should serve as a guide to which sections of Artin will be most relevant to the final exam. When you study, you may find it productive to prioritize the definitions,
More informationMultipartite entangled states, orthogonal arrays & Hadamard matrices. Karol Życzkowski in collaboration with Dardo Goyeneche (Concepcion - Chile)
Multipartite entangled states, orthogonal arrays & Hadamard matrices Karol Życzkowski in collaboration with Dardo Goyeneche (Concepcion - Chile) Institute of Physics, Jagiellonian University, Cracow, Poland
More informationThe Terwilliger algebra of a Q-polynomial distance-regular graph with respect to a set of vertices
The Terwilliger algebra of a Q-polynomial distance-regular graph with respect to a set of vertices Hajime Tanaka (joint work with Rie Tanaka and Yuta Watanabe) Research Center for Pure and Applied Mathematics
More informationCombinatorics of p-ary Bent Functions
Combinatorics of p-ary Bent Functions MIDN 1/C Steven Walsh United States Naval Academy 25 April 2014 Objectives Introduction/Motivation Definitions Important Theorems Main Results: Connecting Bent Functions
More informationOn algebras arising from semiregular group actions
On algebras arising from semiregular group actions István Kovács Department of Mathematics and Computer Science University of Primorska, Slovenia kovacs@pef.upr.si . Schur rings For a permutation group
More informationTriply Regular Graphs
Triply Regular Graphs by Krystal J. Guo Simon Fraser University Burnaby, British Columbia, Canada, 2011 c Krystal J. Guo 2011 Abstract This project studies a regularity condition on graphs. A graph X
More informationCoherent Configurations and Association Schemes. Part I. Definitions, examples, simple facts
Coherent Configurations and Association Schemes Part I Definitions, examples, simple facts Mikhail Klin Department of Mathematics Ben Gurion University of the Negev Beer Sheva, Israel Special Semester
More informationDifference sets and Hadamard matrices
Difference sets and Hadamard matrices Padraig Ó Catháin National University of Ireland, Galway 14 March 2012 Outline 1 (Finite) Projective planes 2 Symmetric Designs 3 Difference sets 4 Doubly transitive
More informationHadamard matrices, difference sets and doubly transitive permutation groups
Hadamard matrices, difference sets and doubly transitive permutation groups Padraig Ó Catháin University of Queensland 13 November 2012 Outline 1 Hadamard matrices 2 Symmetric designs 3 Hadamard matrices
More information1. Group Theory Permutations.
1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7
More informationStructured Hadamard matrices and quantum information
Structured Hadamard matrices and quantum information Karol Życzkowski in collaboration with Adam G asiorowski, Grzegorz Rajchel (Warsaw) Dardo Goyeneche (Concepcion/ Cracow/ Gdansk) Daniel Alsina, José
More informationA study of permutation groups and coherent configurations. John Herbert Batchelor. A Creative Component submitted to the graduate faculty
A study of permutation groups and coherent configurations by John Herbert Batchelor A Creative Component submitted to the graduate faculty in partial fulfillment of the requirements for the degree of MASTER
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 informationOn fat Hoffman graphs with smallest eigenvalue at least 3
On fat Hoffman graphs with smallest eigenvalue at least 3 Qianqian Yang University of Science and Technology of China Ninth Shanghai Conference on Combinatorics Shanghai Jiaotong University May 24-28,
More informationApplication of the Representation Theory of Symmetric Groups for the Computation of Chromatic Polynomials of Graphs
Application of the Representation Theory of Symmetric Groups for the Computation of Chromatic Polynomials of Graphs Mikhail Klin Christian Pech 1 Department of Mathematics Ben Gurion University of the
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 informationSince G is a compact Lie group, we can apply Schur orthogonality to see that G χ π (g) 2 dg =
Problem 1 Show that if π is an irreducible representation of a compact lie group G then π is also irreducible. Give an example of a G and π such that π = π, and another for which π π. Is this true for
More informationB Sc MATHEMATICS ABSTRACT ALGEBRA
UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION B Sc MATHEMATICS (0 Admission Onwards) V Semester Core Course ABSTRACT ALGEBRA QUESTION BANK () Which of the following defines a binary operation on Z
More informationAlgebraic Structures Exam File Fall 2013 Exam #1
Algebraic Structures Exam File Fall 2013 Exam #1 1.) Find all four solutions to the equation x 4 + 16 = 0. Give your answers as complex numbers in standard form, a + bi. 2.) Do the following. a.) Write
More informationHadamard and conference matrices
Hadamard and conference matrices Peter J. Cameron University of St Andrews & Queen Mary University of London Mathematics Study Group with input from Rosemary Bailey, Katarzyna Filipiak, Joachim Kunert,
More informationHadamard and conference matrices
Hadamard and conference matrices Peter J. Cameron University of St Andrews & Queen Mary University of London Mathematics Study Group with input from Rosemary Bailey, Katarzyna Filipiak, Joachim Kunert,
More informationComplex Hadamard matrices and some of their applications
Complex Hadamard matrices and some of their applications Karol Życzkowski in collaboration with W. Bruzda and W. S lomczyński (Cracow) W. Tadej (Warsaw) and I. Bengtsson (Stockholm) Institute of Physics,
More informationSquare 2-designs/1. 1 Definition
Square 2-designs Square 2-designs are variously known as symmetric designs, symmetric BIBDs, and projective designs. The definition does not imply any symmetry of the design, and the term projective designs,
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 informationA modular absolute bound condition for primitive association schemes
J Algebr Comb (2009) 29: 447 456 DOI 10.1007/s10801-008-0145-0 A modular absolute bound condition for primitive association schemes Akihide Hanaki Ilia Ponomarenko Received: 29 September 2007 / Accepted:
More informationGalois Theory TCU Graduate Student Seminar George Gilbert October 2015
Galois Theory TCU Graduate Student Seminar George Gilbert October 201 The coefficients of a polynomial are symmetric functions of the roots {α i }: fx) = x n s 1 x n 1 + s 2 x n 2 + + 1) n s n, where s
More informationSAMPLE TEX FILE ZAJJ DAUGHERTY
SAMPLE TEX FILE ZAJJ DAUGHERTY Contents. What is the partition algebra?.. Graphs and equivalence relations.. Diagrams and their compositions.. The partition algebra. Combinatorial representation theory:
More informationThe Major Problems in Group Representation Theory
The Major Problems in Group Representation Theory David A. Craven 18th November 2009 In group representation theory, there are many unsolved conjectures, most of which try to understand the involved relationship
More informationScaffolds. A graph-based system for computations in Bose-Mesner algebras. William J. Martin
A graph-based system for computations in Bose-esner algebras Department of athematical Sciences and Department of Computer Science Worcester Polytechnic Institute Algebraic Combinatorics Seminar Shanghai
More informationAn infinite family of Goethals-Seidel arrays
An infinite family of Goethals-Seidel arrays Mingyuan Xia Department of Mathematics, Central China Normal University, Wuhan, Hubei 430079, China Email: xiamy@ccnu.edu.cn Tianbing Xia, Jennifer Seberry
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 informationMIT Algebraic techniques and semidefinite optimization May 9, Lecture 21. Lecturer: Pablo A. Parrilo Scribe:???
MIT 6.972 Algebraic techniques and semidefinite optimization May 9, 2006 Lecture 2 Lecturer: Pablo A. Parrilo Scribe:??? In this lecture we study techniques to exploit the symmetry that can be present
More informationHadamard and conference matrices
Hadamard and conference matrices Peter J. Cameron December 2011 with input from Dennis Lin, Will Orrick and Gordon Royle Hadamard s theorem Let H be an n n matrix, all of whose entries are at most 1 in
More informationOn pseudocyclic association schemes
Also available at http://amc.imfm.si ISSN 1855-3966 (printed edn.), ISSN 1855-3974 (electronic edn.) ARS MATHEMATICA CONTEMPORANEA 5 (2012) 1 25 On pseudocyclic association schemes Mikhail Muzychuk Netanya
More informationSPHERICAL UNITARY REPRESENTATIONS FOR REDUCTIVE GROUPS
SPHERICAL UNITARY REPRESENTATIONS FOR REDUCTIVE GROUPS DAN CIUBOTARU 1. Classical motivation: spherical functions 1.1. Spherical harmonics. Let S n 1 R n be the (n 1)-dimensional sphere, C (S n 1 ) the
More informationResidual modular Galois representations: images and applications
Residual modular Galois representations: images and applications Samuele Anni University of Warwick London Number Theory Seminar King s College London, 20 th May 2015 Mod l modular forms 1 Mod l modular
More information`-modular Representations of Finite Reductive Groups
`-modular Representations of Finite Reductive Groups Bhama Srinivasan University of Illinois at Chicago AIM, June 2007 Bhama Srinivasan (University of Illinois at Chicago) Modular Representations AIM,
More informationSubconstituent algebras of Latin squares
University of South Florida Scholar Commons Graduate Theses and Dissertations Graduate School 2008 Subconstituent algebras of Latin squares Ibtisam Daqqa University of South Florida Follow this and additional
More informationHands-on Matrix Algebra Using R
Preface vii 1. R Preliminaries 1 1.1 Matrix Defined, Deeper Understanding Using Software.. 1 1.2 Introduction, Why R?.................... 2 1.3 Obtaining R.......................... 4 1.4 Reference Manuals
More informationOn a lower bound on the Laplacian eigenvalues of a graph
On a lower bound on the Laplacian eigenvalues of a graph Akihiro Munemasa (joint work with Gary Greaves and Anni Peng) Graduate School of Information Sciences Tohoku University May 22, 2016 JCCA 2016,
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 informationTwists and residual modular Galois representations
Twists and residual modular Galois representations Samuele Anni University of Warwick Building Bridges, Bristol 10 th July 2014 Modular curves and Modular Forms 1 Modular curves and Modular Forms 2 Residual
More informationRelaxations of combinatorial problems via association schemes
1 Relaxations of combinatorial problems via association schemes Etienne de Klerk, Fernando M. de Oliveira Filho, and Dmitrii V. Pasechnik Tilburg University, The Netherlands; Nanyang Technological University,
More informationThe Image of Weyl Group Translations in Hecke Algebras
The Image of Weyl Group Translations in Hecke Algebras UROP+ Final Paper, Summer 2015 Arkadiy Frasinich Mentor: Konstantin Tolmachov Project Suggested By Roman Bezrukavnikov September 1, 2015 Abstract
More informationALGEBRA QUALIFYING EXAM SPRING 2012
ALGEBRA QUALIFYING EXAM SPRING 2012 Work all of the problems. Justify the statements in your solutions by reference to specific results, as appropriate. Partial credit is awarded for partial solutions.
More informationGeneric Picard-Vessiot extensions for connected by finite groups Kolchin Seminar in Differential Algebra October 22nd, 2005
Generic Picard-Vessiot extensions for connected by finite groups Kolchin Seminar in Differential Algebra October 22nd, 2005 Polynomial Galois Theory case Noether first introduced generic equations in connection
More informationNur Hamid and Manabu Oura
Math. J. Okayama Univ. 61 (2019), 199 204 TERWILLIGER ALGEBRAS OF SOME GROUP ASSOCIATION SCHEMES Nur Hamid and Manabu Oura Abstract. The Terwilliger algebra plays an important role in the theory of association
More informationSERRE S CONJECTURE AND BASE CHANGE FOR GL(2)
SERRE S CONJECTURE AND BASE CHANGE OR GL(2) HARUZO HIDA 1. Quaternion class sets A quaternion algebra B over a field is a simple algebra of dimension 4 central over a field. A prototypical example is the
More informationProblem 1. Let I and J be ideals in a ring commutative ring R with 1 R. Recall
I. Take-Home Portion: Math 350 Final Exam Due by 5:00pm on Tues. 5/12/15 No resources/devices other than our class textbook and class notes/handouts may be used. You must work alone. Choose any 5 problems
More informationSupplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.
Glossary 1 Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.23 Abelian Group. A group G, (or just G for short) is
More informationThe maximum size of a partial spread in H(4n + 1,q 2 ) is q 2n+1 + 1
The maximum size of a partial spread in H(4n +, 2 ) is 2n+ + Frédéric Vanhove Dept. of Pure Mathematics and Computer Algebra, Ghent University Krijgslaan 28 S22 B-9000 Ghent, Belgium fvanhove@cage.ugent.be
More informationAn infinite family of Goethals-Seidel arrays
University of Wollongong Research Online Faculty of Informatics - Papers (Archive) Faculty of Engineering and Information Sciences 2005 An infinite family of Goethals-Seidel arrays M. Xia Central China
More informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More informationTheorems of Erdős-Ko-Rado type in polar spaces
Theorems of Erdős-Ko-Rado type in polar spaces Valentina Pepe, Leo Storme, Frédéric Vanhove Department of Mathematics, Ghent University, Krijgslaan 28-S22, 9000 Ghent, Belgium Abstract We consider Erdős-Ko-Rado
More informationMath 250: Higher Algebra Representations of finite groups
Math 250: Higher Algebra Representations of finite groups 1 Basic definitions Representations. A representation of a group G over a field k is a k-vector space V together with an action of G on V by linear
More informationON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS
ON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS LISA CARBONE Abstract. We outline the classification of K rank 1 groups over non archimedean local fields K up to strict isogeny,
More informationCOMMUTATIVE ASSOCIATION SCHEMES
COMMUTATIVE ASSOCIATION SCHEMES WILLIAM J. MARTIN AND HAJIME TANAKA Abstract. Association schemes were originally introduced by Bose and his co-workers in the design of statistical experiments. Since that
More informationGALOIS GROUPS ATTACHED TO POINTS OF FINITE ORDER ON ELLIPTIC CURVES OVER NUMBER FIELDS (D APRÈS SERRE)
GALOIS GROUPS ATTACHED TO POINTS OF FINITE ORDER ON ELLIPTIC CURVES OVER NUMBER FIELDS (D APRÈS SERRE) JACQUES VÉLU 1. Introduction Let E be an elliptic curve defined over a number field K and equipped
More informationQUADRATIC AND SYMMETRIC BILINEAR FORMS OVER FINITE FIELDS AND THEIR ASSOCIATION SCHEMES
QUADRATIC AND SYMMETRIC BILINEAR FORMS OVER FINITE FIELDS AND THEIR ASSOCIATION SCHEMES KAI-UWE SCHMIDT Abstract. Let Q(m, q) and S (m, q) be the sets of quadratic forms and symmetric bilinear forms on
More informationTEST CODE: PMB SYLLABUS
TEST CODE: PMB SYLLABUS Convergence and divergence of sequence and series; Cauchy sequence and completeness; Bolzano-Weierstrass theorem; continuity, uniform continuity, differentiability; directional
More informationRepresentations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III
Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Lie algebras. Let K be again an algebraically closed field. For the moment let G be an arbitrary algebraic group
More informationREPRESENTATIONS OF FINITE GROUPS OF LIE TYPE: EXERCISES. Notation. 1. GL n
REPRESENTATIONS OF FINITE GROUPS OF LIE TYPE: EXERCISES ZHIWEI YUN Fix a prime number p and a power q of p. k = F q ; k d = F q d. ν n means ν is a partition of n. Notation Conjugacy classes 1. GL n 1.1.
More informationSome new constructions of orthogonal designs
University of Wollongong Research Online Faculty of Engineering and Information Sciences - Papers: Part A Faculty of Engineering and Information Sciences 2013 Some new constructions of orthogonal designs
More informationAdjoint Representations of the Symmetric Group
Adjoint Representations of the Symmetric Group Mahir Bilen Can 1 and Miles Jones 2 1 mahirbilencan@gmail.com 2 mej016@ucsd.edu Abstract We study the restriction to the symmetric group, S n of the adjoint
More informationSample algebra qualifying exam
Sample algebra qualifying exam University of Hawai i at Mānoa Spring 2016 2 Part I 1. Group theory In this section, D n and C n denote, respectively, the symmetry group of the regular n-gon (of order 2n)
More informationREPRESENTATION THEORY OF S n
REPRESENTATION THEORY OF S n EVAN JENKINS Abstract. These are notes from three lectures given in MATH 26700, Introduction to Representation Theory of Finite Groups, at the University of Chicago in November
More informationLINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM
LINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM Unless otherwise stated, all vector spaces in this worksheet are finite dimensional and the scalar field F is R or C. Definition 1. A linear operator
More informationMod p Galois representations attached to modular forms
Mod p Galois representations attached to modular forms Ken Ribet UC Berkeley April 7, 2006 After Serre s article on elliptic curves was written in the early 1970s, his techniques were generalized and extended
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 informationFIELD THEORY. Contents
FIELD THEORY MATH 552 Contents 1. Algebraic Extensions 1 1.1. Finite and Algebraic Extensions 1 1.2. Algebraic Closure 5 1.3. Splitting Fields 7 1.4. Separable Extensions 8 1.5. Inseparable Extensions
More informationA Block Negacyclic Bush-Type Hadamard Matrix and Two Strongly Regular Graphs
Journal of Combinatorial Theory, Series A 98, 118 126 (2002) doi:10.1006/jcta.2001.3231, available online at http://www.idealibrary.com on A Block Negacyclic Bush-Type Hadamard Matrix and Two Strongly
More informationTHIS paper is an extended version of the paper [1],
INTERNATIONAL JOURNAL OF MATHEMATICAL MODELS AND METHODS IN APPLIED SCIENCES Volume 8 04 Alternating Schur Series and Necessary Conditions for the Existence of Strongly Regular Graphs Vasco Moço Mano and
More informationReal representations
Real representations 1 Definition of a real representation Definition 1.1. Let V R be a finite dimensional real vector space. A real representation of a group G is a homomorphism ρ VR : G Aut V R, where
More informationLecture Notes Introduction to Cluster Algebra
Lecture Notes Introduction to Cluster Algebra Ivan C.H. Ip Update: May 16, 2017 5 Review of Root Systems In this section, let us have a brief introduction to root system and finite Lie type classification
More informationTilburg University. Strongly Regular Graphs with Maximal Energy Haemers, W. H. Publication date: Link to publication
Tilburg University Strongly Regular Graphs with Maximal Energy Haemers, W. H. Publication date: 2007 Link to publication Citation for published version (APA): Haemers, W. H. (2007). Strongly Regular Graphs
More informationSmall Unextendible Sets of Mutually Unbiased Bases (MUBs) Markus Grassl
Quantum Limits on Information Processing School of Physical & Mathematical Sciences Nanyang Technological University, Singapore Small Unextendible Sets of Mutually Unbiased Bases (MUBs) Markus Grassl Markus.Grassl@mpl.mpg.de
More informationEquiangular lines in Euclidean spaces
Equiangular lines in Euclidean spaces Gary Greaves 東北大学 Tohoku University 14th August 215 joint work with J. Koolen, A. Munemasa, and F. Szöllősi. Gary Greaves Equiangular lines in Euclidean spaces 1/23
More informationVertex subsets with minimal width and dual width
Vertex subsets with minimal width and dual width in Q-polynomial distance-regular graphs University of Wisconsin & Tohoku University February 2, 2011 Every face (or facet) of a hypercube is a hypercube...
More informationis an isomorphism, and V = U W. Proof. Let u 1,..., u m be a basis of U, and add linearly independent
Lecture 4. G-Modules PCMI Summer 2015 Undergraduate Lectures on Flag Varieties Lecture 4. The categories of G-modules, mostly for finite groups, and a recipe for finding every irreducible G-module of a
More information14 From modular forms to automorphic representations
14 From modular forms to automorphic representations We fix an even integer k and N > 0 as before. Let f M k (N) be a modular form. We would like to product a function on GL 2 (A Q ) out of it. Recall
More informationPROJECTIVE LINES OVER FINITE RINGS (RCQI Bratislava, August 10, 2006)
PROJECTIVE LINES OVER FINITE RINGS (RCQI Bratislava, August 10, 2006) METOD SANIGA Astronomical Institute of the Slovak Academy of Sciences SK-05960 Tatranská Lomnica, Slovak Republic (msaniga@astro.sk)
More informationMa/CS 6b Class 12: Graphs and Matrices
Ma/CS 6b Class 2: Graphs and Matrices 3 3 v 5 v 4 v By Adam Sheffer Non-simple Graphs In this class we allow graphs to be nonsimple. We allow parallel edges, but not loops. Incidence Matrix Consider a
More informationAn algebraic proof of the Erdős-Ko-Rado theorem for intersecting families of perfect matchings
Also available at http://amc-journal.eu ISSN 855-3966 (printed edn.), ISSN 855-3974 (electronic edn.) ARS MATHEMATICA CONTEMPORANEA 2 (207) 205 27 An algebraic proof of the Erdős-Ko-Rado theorem for intersecting
More informationStrongly regular graphs and Borsuk s conjecture
Seminar talk Department of Mathematics, Shanghai Jiao Tong University Strongly regular graphs and Borsuk s conjecture Andriy Bondarenko Norwegian University of Science and Technology and National Taras
More information