## Construction X4 with Kerdock OAs

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

d = min{d1ʹ, d2ʹ, d1 + d2},

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

k = min{k1ʹ, k2ʹ, k1 + k2 +1}

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

G = .

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,

Ci = (vj(i) + Ciʹ),

then

C := (vj(1) + x1,vj(2) + x2)

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.,

Aiʹ = (vj(i) + Ai),

then

A := (vj(1) + x1,vj(2) + x2)

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 A1A1ʹ) considered by construction X, but only for the following pairs of codes C2ʹ ⊂ C2 (or their dual OAs A2A2ʹ):

• 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

 [1] Neil J. A. Sloane, S. M. Reddy, and Chin-Long Chen.New binary codes.IEEE Transactions on Information Theory, 18(4):503–510, July 1972. [2] A. S. Hedayat, Neil J. A. Sloane, and John Stufken.Orthogonal Arrays.Springer Series in Statistics. Springer-Verlag, 1999. [3] Yves Edel.Eine Verallgemeinerung von BCH-Codes.PhD thesis, Ruprecht-Karls-Universität, Heidelberg, 1996.
{"extraction_info": {"found_math": false, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.8885995745658875, "perplexity": 9082.460201748867}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2017-22/segments/1495463607245.69/warc/CC-MAIN-20170523005639-20170523025639-00095.warc.gz"}