<p>We obtain new linear programming (LP) and constructive bounds for the covering radius of binary orthogonal arrays of strength 2<i>k</i>. Our LP bounds develop in two alternative scenarios. First, if a point <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(y \in F_2^n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>y</mi> <mo>∈</mo> <msubsup> <mi>F</mi> <mn>2</mn> <mi>n</mi> </msubsup> </mrow> </math></EquationSource> </InlineEquation>, where the covering radius of some orthogonal array <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(C \subset F_2^n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>C</mi> <mo>⊂</mo> <msubsup> <mi>F</mi> <mn>2</mn> <mi>n</mi> </msubsup> </mrow> </math></EquationSource> </InlineEquation> of strength 2<i>k</i> is realized, is such that the farthest point of <i>C</i> to <i>y</i> is not antipodal to <i>y</i> we obtain a bound which is better than the Tietäväinen (or Fazekas-Levenshtein) bound for non-tight arrays (i.e., the cardinality strictly exceeds the Rao lower bound). Second, if all points where the covering radius is realized are such that their antipodes are in <i>C</i>, we obtain a bound which depends on the cardinality of <i>C</i> and is again better whenever the orthogonal array is not tight. We further describe three infinite families of binary orthogonal arrays related to the duals of BCH, Melas, and Zetterberg codes. For these families, we derive lower bounds on the covering radius by applying techniques from algebraic curves over finite fields, while the improved linear programming methods developed in this paper provide upper bounds, leading in some cases to fairly close estimates.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

New bounds on the covering radius of orthogonal arrays of even strength

  • Peter Boyvalenkov,
  • Ferruh Özbudak,
  • Maya Stoyanova

摘要

We obtain new linear programming (LP) and constructive bounds for the covering radius of binary orthogonal arrays of strength 2k. Our LP bounds develop in two alternative scenarios. First, if a point \(y \in F_2^n\) y F 2 n , where the covering radius of some orthogonal array \(C \subset F_2^n\) C F 2 n of strength 2k is realized, is such that the farthest point of C to y is not antipodal to y we obtain a bound which is better than the Tietäväinen (or Fazekas-Levenshtein) bound for non-tight arrays (i.e., the cardinality strictly exceeds the Rao lower bound). Second, if all points where the covering radius is realized are such that their antipodes are in C, we obtain a bound which depends on the cardinality of C and is again better whenever the orthogonal array is not tight. We further describe three infinite families of binary orthogonal arrays related to the duals of BCH, Melas, and Zetterberg codes. For these families, we derive lower bounds on the covering radius by applying techniques from algebraic curves over finite fields, while the improved linear programming methods developed in this paper provide upper bounds, leading in some cases to fairly close estimates.