Construction X4 with Extended Narrow-Sense BCH Codes
Let C1ʹ denote an [s1, n1, d1ʹ]-code which is a subcode of an [s1, n1 + Δn, d1]-code C1. Similarly, let C2ʹ denote an [s2, n2, d2ʹ]-code which is a subcode of an [s2, n2 + Δn, d2]-code C2. Then construction X4 allows the construction of an [s1 + s2, n1 + n2 + Δn, d]-code C with
where a value of diʹ = si + 1 (i.e., Ciʹ = { 0}) can be treated as diʹ = ∞ [1].
Correspondingly, if A1 denotes a linear orthogonal array OA(bm1, s1,Fb, k1) which is a subspace of a linear OA(bm1+Δm, s1,Fb, k1ʹ) A1ʹ, and if A2 denotes a linear OA(bm2, s2,Fb, k2) which is a subspace of a linear OA(bm2+Δm, s2,Fb, k2ʹ) A2ʹ, then a linear OA(bm1+m2+Δm, s1 + s2,Fb, k) with
can be constructed, where a value of kiʹ = si (i.e., Aiʹ = Fbsi) can be treated as kiʹ = ∞.
Equivalent results hold also for non-linear codes as well as for non-linear OAs, provided that the larger codes/OAs can be partitioned in translates of the smaller ones (see below).
Construction
For i ∈ {1, 2} let Giʹ denote generator matrices of Ciʹ and let Gi denote generator matrices for Ci such that the first ni rows of Gi are equal to Giʹ. Furthermore let Gi†denote the remaining Δn rows of Gi. Then a generator matrix of C is given by
The construction is self-dual, i.e., if the same construction is performed using the check-matrices of C1, C1ʹ, C2, C2ʹ instead of the generator matrices of C1ʹ, C1, C2ʹ, C2, respectively, a check-matrix of C is obtained. In particular, this implies that this construction can be applied directly to the generator matrices of orthogonal arrays.
Construction for Non-Linear Codes
Suppose that the codes Ciʹ and Ci are (si, Ni, diʹ)- and (si, Ni⋅ΔN, di)-codes, respectively, and Ci is the union of ΔN disjoint translates of Ciʹ, i.e,
then
is an (s1 + s2, N1N1⋅ΔN, d)-code.
Construction for Non-Linear Orthogonal Arrays
Suppose that the Ai and Aiʹ are OA(Mi, si, Sb, ki) and OA(Mi⋅ΔM, si, Sb, kiʹ), respectively, and Aiʹ is the union of ΔM disjoint translates of Ai, i.e.,
then
is an OA(M1M2⋅ΔM, s1 + s2, Sb, k) [2, Theorem 10.5].
Special Cases
If Ciʹ = { 0} (or Aiʹ = Fqsi) for one i, construction X applied to the remaining three codes / OAs follows.
If Ciʹ = { 0} (or Aiʹ = Fqsi) for i = 1 and i = 2, juxtaposition applied to C1 and C2 (or A1 and A2) follows.
If C1 = C1ʹ and C2 = C2ʹ, the direct product of C1 and C2 follows.
Applications
Construction X4 is not used in its general form by MinT. In addition to the cases covered by Construction X, it is applied to all pairs C1ʹ ⊂ C1 (or A1 ⊂ A1ʹ) considered by construction X, but only for the following pairs of codes C2ʹ ⊂ C2 (or their dual OAs A2 ⊂ A2ʹ):
If b ≠2 or s2 is even, then the [s2, s2 − 1, 2]-parity-check code C2 contains an [s2, 1, s2]-code C2ʹ.
For b = 2 and s2 odd, the [s2, s2 − 1, 2]-parity-check code C2 contains only an [s2, 1, s2 − 1]-code C2ʹ.
Truncating the ternary Hamming code H(3, 3) yields a [12, 9, 3]-code C2 containing a [12, 1, 12]-code C2ʹ .
These are exactly the cases considered in [3, Section 3.6].
References
Copyright
Copyright © 2004, 2005, 2006, 2007, 2008, 2009, 2010 by Rudolf Schürer and Wolfgang Ch. Schmid.
Cite this as: Rudolf Schürer and Wolfgang Ch. Schmid. “Construction X4 with Extended Narrow-Sense BCH Codes.”
From MinT—the database of optimal net, code, OA, and OOA parameters.
Version: 2024-09-05.
http://mint.sbg.ac.at/desc_CConsX4-NS.html