


Study with the several resources on Docsity
Earn points by helping other students or get them with a premium plan
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
Various concepts in linear codes and graph theory, including e-perfect codes, 2-designs, and strongly regular graphs. Topics covered include their definitions, properties, and proofs of related theorems. The document also includes exercises to test understanding.
Typology: Exams
1 / 4
This page cannot be seen from the preview
Don't miss anything!



(b) Define what is meant by a 2-design with parameters (v, k, λ). Let c be a positive integer. Prove the following statements. (You may use any results from the course provided you state them clearly.) (i) There is no 2-design with parameters (2c^2 − c + 1, 2 c, 1), where c > 1. (ii) If there exists a 2-design with parameters (8c^2 + 6c + 2, 4 c + 2, 2), then c must be a square.
(c) Define what is meant by a strongly regular graph with parameters (v, k, a, b). Prove that there is no such connected graph with the property that v = 2 k + 2. (You may use any results from the course provided you state them clearly.)
(a) Prove that if d(C) ≥ 5 then dim C < n + 1 − 2 log 2 n.
(b) Now suppose that d(C) = 4 and that C has check matrix A, a k × n matrix of rank k. (i) Let the columns of A be c 1 ,... , cn. Prove that for any i, j, the sum ci + cj is not a column of A. (ii) Deduce that the number of columns of A is at most 2k−^1. (iii) Hence show dim C ≤ n − log 2 n − 1. (iv) For n = 8, show that equality can hold in part (iii), i.e. there exists a linear code of length 8, minimum distance 4, and dimension 4 (= 8 − log 2 8 − 1).
(You may use any results from the course provided you state them clearly.)
(i) Prove that M M T^ = λJv + (r − λ)Iv, where Jv denotes the v × v matrix in which all entries are 1.
(ii) Prove that M T^ M = (y − x)A + xJb + (k − x)Ib.
(iii) Show that there exist real numbers α, β, γ such that A^2 = αA + βJb + γIb.
Deduce that Γ is strongly regular.
(iv) By multiplying both sides of the equation in (ii) by the column vector (1, 1 ,... , 1)T^ , or otherwise, show that the valency of Γ is
(r − 1)k − (b − 1)x y − x.