1. Some Notes on the Binary GV Bound for Linear Codes Sixth International Workshop on Optimal Codes and Related Topics June 16 - 22, 2009, Varna, BULGARIA Dejan Spasov, Marjan Gusev

2. Agenda Intro The greedy algorithm The Varshamov estimate Main result(s) Proof outline Comparison with other results

3. The Greedy Algorithm Given d and m ; Initialize H For each add x to H, i f the x is NOT linear combination of d- 2 columns of H x x

4. The Varshamov’s Estimate The greedy code will have parameters AT LEAST as good as the code parameters that satisfy Example: Let m=32 The greedy [ 8752, 8720, 5 ] does exist Varshamov - [ 2954, 2922, 5 ] Can we find a better estimate?

5. Main Result The code can be extended to a code provided The existence of can be confirmed by the GV bound or recursively until

6. Some Intuition 1.Every d -1 columns of are linearly independent 2.Let and let 3.This is OK if 4.But the Varshamov’s estimate will count twice 1 1 n n 2 2 1 1 2 2 j j 1 1 2 2 i i

7. Proof Outline - all vectors that are linear combination of d-2 columns from H Find As long as Keep adding vectors - Varshamov bound

8. Proof Outline Use only odd number of columns

9. Further Results The code can be extended to a code provided

10. Comparison: Elia’s result 00000000 00000000 1 1

11. Comparison: A. Barg et al. 00000000 00000000 1 1 00000000 00000000 0 0 1 1 0 0 00000000 00000000 0 0 1 1

12. Comparison: Jiang & Vardy

13. For d/n=const For d/n->0

14. Conclusion The greedy [ 8752, 8720, 5 ] does exist Varshamov - [ 2954, 2922, 5 ] The Improvement - [ 3100, 3100-32, 5 ] The asymptotical R≥1-H(δ) ? Generalization