extending part of the bruck ryser chowla theorem to
play

Extending (part of) the Bruck-Ryser-Chowla Theorem to Coverings - PowerPoint PPT Presentation

Extending (part of) the Bruck-Ryser-Chowla Theorem to Coverings Daniel Horsley (Monash University, Australia) Joint work with Darryn Bryant, Melinda Buchanan, Barbara Maenhaut, and Victor Scharaschkin (University of Queensland) Extending (part


  1. Extending (part of) the Bruck-Ryser-Chowla Theorem to Coverings Daniel Horsley (Monash University, Australia) Joint work with Darryn Bryant, Melinda Buchanan, Barbara Maenhaut, and Victor Scharaschkin (University of Queensland)

  2. Extending (part of) the Bruck-Ryser-Chowla Theorem to Coverings Daniel Horsley (Monash University, Australia) Joint work with Darryn Bryant, Melinda Buchanan, Barbara Maenhaut, and Victor Scharaschkin (University of Queensland) I acknowledge the four institutions at which I have been employed during the refereeing process.

  3. Balanced Incomplete Block Designs

  4. Balanced Incomplete Block Designs 1 1 2 2 3 3 4 7 2 5 3 6 4 7 5 4 5 5 6 6 7 6 3 1 6 2 7 3 1 7 1 5 4 4 2 A ( v , k , λ )-BIBD with v = 7, k = 4, λ = 2, having b = 7 blocks.

  5. When do BIBDs exist?

  6. When do BIBDs exist? Obvious Necessary Conditions If there exists an ( v , k , λ )-BIBD then (1) λ ( v − 1) ≡ 0 ( mod k − 1); (2) λ v ( v − 1) ≡ 0 ( mod k ( k − 1)).

  7. When do BIBDs exist? Obvious Necessary Conditions If there exists an ( v , k , λ )-BIBD then (1) λ ( v − 1) ≡ 0 ( mod k − 1); (2) λ v ( v − 1) ≡ 0 ( mod k ( k − 1)). Fischer’s Inequality (1940) Any ( v , k , λ )-BIBD has at least v blocks.

  8. When do BIBDs exist? Obvious Necessary Conditions If there exists an ( v , k , λ )-BIBD then (1) λ ( v − 1) ≡ 0 ( mod k − 1); (2) λ v ( v − 1) ≡ 0 ( mod k ( k − 1)). Fischer’s Inequality (1940) Any ( v , k , λ )-BIBD has at least v blocks. Bruck-Ryser-Chowla Theorem (1950) If a ( v , k , λ )-BIBD with exactly v blocks exists then ◮ if v is even, then k − λ is a perfect square; and ◮ if v is odd, then z 2 = ( k − λ ) x 2 + ( − 1) ( v − 1) / 2 λ y 2 = 0 has a solution for integers x , y , z , not all zero.

  9. When do BIBDs exist? Obvious Necessary Conditions If there exists an ( v , k , λ )-BIBD then (1) λ ( v − 1) ≡ 0 ( mod k − 1); (2) λ v ( v − 1) ≡ 0 ( mod k ( k − 1)). Fischer’s Inequality (1940) Any ( v , k , λ )-BIBD has at least v blocks. Bruck-Ryser-Chowla Theorem (1950) If a ( v , k , λ )-BIBD with exactly v blocks exists then ◮ if v is even, then k − λ is a perfect square; and ◮ if v is odd, then z 2 = ( k − λ ) x 2 + ( − 1) ( v − 1) / 2 λ y 2 = 0 has a solution for integers x , y , z , not all zero. There are very few examples of ( v , k , λ )-BIBDs which are known not to exist, but which are not ruled out by the above results.

  10. Pair covering designs

  11. Pair covering designs 1 12 2 11 3 10 4 9 5 8 6 7 v = 12, k = 4, λ = 2.

  12. Pair covering designs 1 12 2 11 3 24 × 10 4 9 5 8 6 7 A (12 , 4 , 2)-covering.

  13. Pair covering designs 1 12 2 11 3 24 × 10 4 9 5 8 6 7 A (12 , 4 , 2)-covering with a C 12 excess.

  14. Pair covering designs 1 12 2 11 3 24 × 10 4 9 5 8 6 7 Any (12 , 4 , 2)-covering with 24 blocks will have a 2-regular excess.

  15. Pair covering designs 1 12 2 11 3 10 4 9 5 8 6 7 A C 12 excess.

  16. Pair covering designs 1 12 2 11 3 10 4 9 5 8 6 7 A C 7 ∪ C 5 excess.

  17. Pair covering designs 1 12 2 11 3 10 4 9 5 8 6 7 A C 4 ∪ C 4 ∪ C 2 ∪ C 2 excess.

  18. Bounds on coverings

  19. Bounds on coverings Let C λ ( v , k ) be the minimum number of blocks required for a ( v , k , λ )-covering.

  20. Bounds on coverings Let C λ ( v , k ) be the minimum number of blocks required for a ( v , k , λ )-covering. � � �� λ ( v − 1) v Sch¨ onheim Bound C λ ( v , k ) ≥ L λ ( v , k ) where L λ ( v , k ) = . k k − 1

  21. Bounds on coverings Let C λ ( v , k ) be the minimum number of blocks required for a ( v , k , λ )-covering. � � �� λ ( v − 1) v Sch¨ onheim Bound C λ ( v , k ) ≥ L λ ( v , k ) where L λ ( v , k ) = . k k − 1 Hanani C λ ( v , k ) ≥ L λ ( v , k ) + 1 when λ ( v − 1) ≡ 0 ( mod k − 1) and λ v ( v − 1) ≡ 1 ( mod k ).

  22. Bounds on coverings Let C λ ( v , k ) be the minimum number of blocks required for a ( v , k , λ )-covering. � � �� λ ( v − 1) v Sch¨ onheim Bound C λ ( v , k ) ≥ L λ ( v , k ) where L λ ( v , k ) = . k k − 1 Hanani C λ ( v , k ) ≥ L λ ( v , k ) + 1 when λ ( v − 1) ≡ 0 ( mod k − 1) and λ v ( v − 1) ≡ 1 ( mod k ). There are few general results which increase this lower bound (most are for specific ( v , k , λ ) and involve computer search).

  23. General improvements to the Sch¨ onheim Bound

  24. General improvements to the Sch¨ onheim Bound ◮ Fischer’s Inequality and the Bruck-Ryser-Chowla Theorem establish the non-existence of certain coverings whose excess would necessarily be empty.

  25. General improvements to the Sch¨ onheim Bound ◮ Fischer’s Inequality and the Bruck-Ryser-Chowla Theorem establish the non-existence of certain coverings whose excess would necessarily be empty. ◮ Bose and Connor (1952) used similar methods to establish the non-existence of certain coverings whose excess would necessarily be 1-regular.

  26. General improvements to the Sch¨ onheim Bound ◮ Fischer’s Inequality and the Bruck-Ryser-Chowla Theorem establish the non-existence of certain coverings whose excess would necessarily be empty. ◮ Bose and Connor (1952) used similar methods to establish the non-existence of certain coverings whose excess would necessarily be 1-regular. ◮ Our results focus on non-existence of certain coverings whose excess would necessarily be 2-regular.

  27. General improvements to the Sch¨ onheim Bound ◮ Fischer’s Inequality and the Bruck-Ryser-Chowla Theorem establish the non-existence of certain coverings whose excess would necessarily be empty. ◮ Bose and Connor (1952) used similar methods to establish the non-existence of certain coverings whose excess would necessarily be 1-regular. ◮ Our results focus on non-existence of certain coverings whose excess would necessarily be 2-regular. ◮ Todorov (1989) established the non-existence of certain coverings with b < v and λ = 1.

  28. Our results Fischer-type result Any ( v , k , λ )-covering with a 2-regular excess has at least v blocks, unless ( v , k , λ ) = (3 λ + 6 , 3 λ + 3 , λ ) for λ ≥ 1 or ( v , k , λ ) ∈ { (8 , 4 , 1) , (14 , 6 , 1) , (14 , 8 , 2) } .

  29. Our results Fischer-type result Any ( v , k , λ )-covering with a 2-regular excess has at least v blocks, unless ( v , k , λ ) = (3 λ + 6 , 3 λ + 3 , λ ) for λ ≥ 1 or ( v , k , λ ) ∈ { (8 , 4 , 1) , (14 , 6 , 1) , (14 , 8 , 2) } . BRC-type result If a ( v , k , λ )-covering with v blocks with a 2-regular excess exists for v even, then one of k − λ − 2 or k − λ + 2 is a perfect square, unless ( v , k , λ ) = ( λ + 4 , λ + 2 , λ ) for even λ ≥ 1.

  30. Our results Fischer-type result Any ( v , k , λ )-covering with a 2-regular excess has at least v blocks, unless ( v , k , λ ) = (3 λ + 6 , 3 λ + 3 , λ ) for λ ≥ 1 or ( v , k , λ ) ∈ { (8 , 4 , 1) , (14 , 6 , 1) , (14 , 8 , 2) } . BRC-type result If a ( v , k , λ )-covering with v blocks with a 2-regular excess exists for v even, then one of k − λ − 2 or k − λ + 2 is a perfect square, unless ( v , k , λ ) = ( λ + 4 , λ + 2 , λ ) for even λ ≥ 1. Theorem C λ ( v , k ) ≥ L λ ( v , k ) + 1 when ◮ λ ( v − 1) + 2 ≡ 0 ( mod k − 1); ◮ λ v ( v − 1) + 2 v ≡ 0 ( mod k ( k − 1)); ◮ v ≤ k 2 − k − 2 + 1; and λ ◮ if v = k 2 − k − 2 + 1 then v is even and neither k − λ − 2 nor k − λ + 2 is a λ perfect square; unless ( v , k , λ ) is in the exceptions listed above.

  31. Incidence matrices

  32. Incidence matrices The incidence matrix M of a ( v , k , λ )-covering is a v × b matrix whose ( i , j ) entry is 1 if point i is in block j and 0 otherwise.

  33. Incidence matrices The incidence matrix M of a ( v , k , λ )-covering is a v × b matrix whose ( i , j ) entry is 1 if point i is in block j and 0 otherwise.       point x 1 1 0 0 0 1 0 0 1 1 0 0 0              

  34. Incidence matrices The incidence matrix M of a ( v , k , λ )-covering is a v × b matrix whose ( i , j ) entry is 1 if point i is in block j and 0 otherwise. b 1       point x 1 1 0 0 0 1 0 0 1 1 0 0 0              

  35. Incidence matrices The incidence matrix M of a ( v , k , λ )-covering is a v × b matrix whose ( i , j ) entry is 1 if point i is in block j and 0 otherwise. b 2       point x 1 1 0 0 0 1 0 0 1 1 0 0 0              

  36. Incidence matrices The incidence matrix M of a ( v , k , λ )-covering is a v × b matrix whose ( i , j ) entry is 1 if point i is in block j and 0 otherwise.       point x 1 1 0 0 0 1 0 0 1 1 0 0 0               We will be interested in the matrix MM T .

  37. Incidence matrices The incidence matrix M of a ( v , k , λ )-covering is a v × b matrix whose ( i , j ) entry is 1 if point i is in block j and 0 otherwise.       point x 1 1 0 0 0 1 0 0 1 1 0 0 0             point x 2 0 1 0 0 1 0 1 0 1 0 0 0   We will be interested in the matrix MM T .

Recommend


More recommend