arxiv: v1 [math.co] 13 Apr 2018

Transcription

1 Constructions of Augmented Orthogonal Arrays Lijun Ji 1, Yun Li 1 and Miao Liang 2 1 Department of Mathematics, Soochow University, Suzhou , China arxiv: v1 [mathco] 13 Apr jilijun@sudaeducn 2 Department of Mathematics and Physics, Suzhou Vocational University, Suzhou , PRChina liangmiao@jssvceducn Abstract Augmented orthogonal arrays (AOAs) were introduced by Stinson, who showed the equivalence between ideal ramp schemes and augmented orthogonal arrays In this paper, we show that there is an AOA(s,t,k,v) if and only if there is an OA(t,k,v) which can be partitioned into v t s subarrays, each being an OA(s,k,v), and that there is a linear AOA(s,t,k,q) if and only if there is a linear maximum distance separable (MDS) code of length k and dimension t over F q which contains a linear MDS subcode of length k and dimension s over F q Some constructions for AOAs and some new infinite classes of AOAs are also given Keywords: augmented orthogonal array, orthogonal array, ideal ramp scheme 1 Introduction An orthogonal array, denoted by OA(t,k,v), is a v t by k array with entries from a symbol set X of size v such that each of its v t t subarrays contains every t-tuple from X t exactly once It is well known that an OA(2,k,v) and a set of k 2 mutually orthogonal Latin squares (MOLSs) of side v are equivalent The following elegant theorem was due to Bush [4] Theorem 11 ([4]) For any prime power q and any positive integer t with t q, an OA(t,q+1,q) exists, and if q 4 is a power of 2 then an OA(3,q+2,q) exists Orthogonal arrays belong to an important and high-profile area of combinatorics and statistics They are of fundamental importance as ingredients in the construction of other useful combinatorial objects (see [1, 7, 10]) Recently, Stinson introduced a new variant of orthogonal arrays in terms of augmented orthogonal arrays in order to characterize ideal ramp schemes [15] An augmented orthogonalarray, denoted by AOA(s,t,k,v), is a v t by k+1 array A that satisfies the following properties: 1 the first k columns of A form an orthogonal array OA(t,k,v) on a symbol set X of size v; 2 the last column of A contains symbols from a set Y of size v t s ; 3 any s of the first k columns of A, together with the last column of A, contain all possible (s+1)-tuples from X s Y exactly once Informally, an (s, t, n) ramp scheme ([2]) is a method of distributing secret information (called shares) to n players, in such a way that any t of the playerscan compute a predetermined secrete, no Research supported by NSFC grants (L Ji), (M Liang) 1

2 subset of s players can determine the secret The parameters of a ramp scheme satisfy the conditions 0 s < t n A (t 1,t,n) ramp scheme is usually called a (t,n) threshold scheme [14] If there are v possible shares in an (s,t,n) ramp scheme, then the number of possible secrets is bounded above by v t s If an (s,t,n) ramp scheme can be constructed with v t s possible secrets (given v possible shares), then the ramp scheme is ideal [15] Stinson showed the equivalence between ideal ramp schemes and augmented orthogonal arrays [15] Theorem 12 ([15]) There is an ideal (s,t,n) ramp scheme defined over a set of v shares if and only if there is an AOA(s,t,n,v) For more information on ideal ramp schemes, we refer the reader to [15] and the references therein Stinson also gave some constructions for linear AOAs, which are listed in the following Theorem 13 ([15]) An AOA(t 1,t,k,v) is equivalent to an OA(t,k +1,v) Theorem 14 ([15]) If there exists an OA(t,k+t s,v), then there exists an AOA(s,t,k,v) Theorem 15 ([15]) Suppose there is a linear OA(t s,t,q) Then there exists an AOA(s,t,t,q) Theorem 16 ([15]) Suppose q is a prime power and 1 s < t k q Then there exists a linear AOA(s,t,k,q) Stinsion also pointed out that it is interesting to identify parameters for which there exists an AOA(s,t,k,q) but there does not exist an OA(t,k +t s,q) [15] Theorem 17 ([15]) Suppose q is a prime power and s q 1 Then there exists an AOA(s,q+ 1,q +1,q) but there does not exist an OA(q +1,2(q +1) s,q) An OA(t,k,v), say A, over X is called s-resolvable if the array A can be partitioned into v t s subarrays P i, 1 i v t s, such that each P i is an OA(s,k,v) over X Usually, when s = 1, we simply call resolvable We give a characterization of AOAs in terms of s-resolvable OAs as follows Theorem 18 There is an AOA(s,t,k,v) if and only if there is an s-resolvable OA(t,k,v) Proof Let A be an AOA(s,t,k,v) where the elements of the first k columns come from the symbol set X and the symbols of the last column come from the set Y of size v t s Take an arbitrary element y from Y and consider subarray A y consisting of all rows with the last coordinate element being y Since any s of the first k columns of A, together with the last column of A, contain all possible (s+1)-tuples from X s Y exactly once, each s-tuple from X s occurs exactly once in any s of the first k columns of A y It follows that the array A y obtained by deleting the last column of A y is an OA(s,k,v) over X Since the first k columns of A form an OA(t,k,v) and all A y form a partition of the first k columns of A, the first k columns of A form an s-resolvable OA(t,k,v) over X Conversely, let A be an s-resolvable OA(t,k,v) over X Then A can be partitioned into v t s subarrays A i, 1 i v t s, such that each A i is an OA(s,k,v) over X For 1 i v t s, append a column vector with all coordinates being i to A i to obtain a new array A i It is routine to check that the new array consisting of A i, 1 i vt s, is an AOA(s,t,k,v) By Theorem 18, we only need to pay attention to constructions of s-resolvable OAs Note that s-resolvable OAs are of interest in design theory Similar combinatorial structures such as resolvable t-designs and 2-resolvable Steiner quadruple systems have been widely studied, see [7, 9] Stinson pointed out that constructions of AOAs over alphabets of non-prime power order are of also 2

3 interest [15] By Theorem 13, an AOA(1,2,k,v) is equivalent to an OA(2,k+1,v), ie, a resolvable OA(2,k,v) A lot of work has been done on the existence of OA(2,k,v), see [7] In this paper, we establish some constructions of AOAs with t 3 Many infinite classes of AOAs over alphabets of non-prime power orders and linear AOAs are obtained The remainder of this paper is organized as follows In Section 2, we give some constructions of AOAs over alphabets of non-prime power order In Section 3, we rewrite Stionson s construction for linear AOAs and give some direct constructions of linear AOAs The last section concludes the paper 2 Constructions of AOAs of non-prime power order In this section, we give some constructions of AOAs over alphabets of non-prime power order Theorem 21 If there is an AOA(s,t,k,v) and an AOA(s,t,k,u) then there is an AOA(s,t,k,uv) Proof By assumption and the equivalence between AOAs and s-resolvable OAs in Theorem 18, we can assume that A is an s-resolvable OA(t,k,v) over G and B is an s-resolvable OA(t,k,u) over G Then A can be partitioned into v t s subarrays A i, 1 i v t s, each being an OA(s,k,v) over G, and B can be partitioned into v t s subarrays B j, 1 j u t s, each being an OA(s,k,u) over G For each row vector (a i,l,1,a i,l,2,,a i,l,k ) of A i and each row vector (b j,l,1,b j,l,2,,b j,l,k) of B j where 1 l v s and 1 l u s, construct a row vector ((a i,l,1,b j,l,1),(a i,l,2,b j,l,2),,(a i,l,k,b j,l,k)) By the well known product construction for orthogonal arrays (for example see [5]), the subarray C i,j consisting of all row vectors constructed from A i and B j is an OA(s,k,uv) over G G, and all these (uv) t s subarrays C i,j form an OA(t,k,uv) Therefore the conclusion holds by Theorem 18 Applying Theorem 21 with the known AOAs can yield many AOAs of non-prime power orders Theorem 22 Suppose each prime divisor of v is not less than k and 1 s < t k Then there exists an AOA(s,t,k,v) Proof Applying Theorem 21 with the known AOAs in Theorem 16 gives the result Theorem 23 Suppose that v and k are positive integers, v 2 (mod 4) and k 3 There is an AOA(1,k 1,k,v) Proof Applying Theorem 21 with the known AOAs in Theorem 36 gives the result Theorem 24 Let v,k be positive integers with k 0 (mod 2) Then there is an AOA(1,k 1,k,v) Proof Let A consist of the following k-tuples: (x 1,x 2,,x k ), where x 1,x 2,,x k Z v and x 1 + x x k 0 (mod v) By the well known zero-sum construction for OAs, the array A is an OA(k 1,k,v) By Theorem 18, we only need to show that this OA is resolvable For a 1,,a k 2 Z v, let A a1,,a k 2 consist of the following v k-tuples: (a 1 +b,a 2 b,,a k 3 +b,a k 2 b,b, (a 1 + +a k 2 ) b), where b Z v Since the ith coordinate runs through Z v when b runs through Z v, A a1,,a k 2 is an OA(1, k, v), thereby this OA is resolvable 3

4 Theorem 25 If there is an OA(s,t,v) with s < t then there is an AOA(s,t,t,v) Proof Let A = (a i,j ) be an OA(s,t,v) over Z v For any (t s)-tuple (b 1,b 2,,b t s ) from Z t s v, let A b1,b 2,,b t s consist of row vectors (a i,1 +b 1,a i,2 +b 2,,a i,t s +b t s,a i,t s+1,,a i,t ), 1 i v s Clearly, A b1,b 2,,b t s is an OA(s,t,v) over Z v It is routine to check that all A b1,b 2,,b t s form an OA(t, t, v) So, an s-resolvable OA(t, t, v) exists and the conclusion follows from Theorem 18 Corollary 26 ([15]) Suppose q is a prime power and 1 s k q + 1 Then there is an AOA(s,k,k,q) Proof Since q is a prime power, there is an OA(s,k,q) by Theorem 11 The conclusion then follows by Theorem 25 Let G be an abelian group of order n An (n,k,1)-difference matrix (DM) is an n k matrix D = (d i,j ) with entries from G such that for 1 j < l k, the difference list {a i,j a i,l : 1 i n} contains each element of G exactly once It is well known that an (n,k,1)-dm can be used to construct an OA(2,k+1,n) (for example, see [7]) It is proved that there is an OA(3,5,n) if there is an (n,4,1)-dm [11] Lemma 27 There is an AOA(1,3,5,n) for any odd integer n 4 Proof From [8], there is an (n,4,1)-dm D = (d i,j ) over an abelian group G of order n From [11], the array consisting of the following vectors (d i,1 +u,d i,2 +u,d i,3 +u+e,d i,4 +u+e,e) where 1 i n and u,e G, is an OA(3,5,n) over G By Theorem 18, we only need to show that this OA is resolvable Clearly, for 1 i n and e G, the subarray A i,e consisting of the vectors (d i,1 + u,d i,2 + u,d i,3 +u+u+e,d i,4 +u+u+e,u+e ), u G, is an OA(1,5,n) Hence, this OA is resolvable JiandYin introducedaconceptof(n,4,1)-dmwithanadderinordertoconstructanoa(3,6,n) [11] Let D = (d ij ) be an (n,4,1)-dm over an abelian group G An n-tuple s = (s 1,s 2,,s n ) T over G is called an adder of the difference matrix D if {s 1,s 2,,s n } = G and the matrix D s = (d ij ), where d ij = d ij for j {1,2} and d ij = d ij +s i for j {3,4}, is also an (n,4,1)-dm over the group G Lemma 28 There is an AOA(1,3,6,n) for n {12,24} Proof From [11], there is a (12,4,1)-DM D with an adder s over Z 6 Z 2, and the array consisting of the following row vectors (d i,1 +u,d i,2 +u,d i,3 +u+e+s i,d i,4 +u+e+s i,e,e+s i ) where 1 i 12 and u,e Z 6 Z 2, is an OA(3,6,12) By Theorem 18, we only need to show that this OA is resolvable 4

5 A mapping σ : Z 6 Z 2 Z 6 Z 2 is defined as follows: (x,y) if (x,y) {0,2,4} {0}, (x+1,y) if (x,y) {0,2,4} {1}, σ((x,y)) = (x+1,y+1) if (x,y) {1,3,5} {0}, (x,y +1) if (x,y) {1,3,5} {1} It is easy to see that {u+σ(u) : u Z 6 Z 2 } = Z 6 Z 2 Clearly, for 1 i 12 and e Z 6 Z 2, the subarray A i,e consisting of the row vectors (d i,1 +u,d i,2 +u,d i,3 +u+σ(u)+e +s i,d i,4 +u+ σ(u)+e +s i,σ(u)+e,σ(u)+e +s i ), u Z 6 Z 2, is an OA(1,6,12) Hence, this OA(3,6,12) is resolvable From [11], there is a (24,4,1)-DM D with an adder s over Z 3 F 8, and the array consisting of the following row vectors (d i,1 +u,d i,2 +u,d i,3 +u+e+s i,d i,4 +u+e+s i,e,e+s i ) where 1 i 24 and u,e Z 3 F 8, is an OA(3,6,24) By Theorem 18, we only need to show that this OA is resolvable Let α be a primitive element of F 8 satisfying 1+α+α 3 = 0 Define a mapping σ : Z 3 F 8 Z 3 F 8 by σ((x,y)) = (x,αy) for (x,y) Z 3 F 8 It is easy to see that {(x,y)+(x,αy): (x,y) Z 3 F 8 } = Z 3 F 8 Then for 1 i 24 and e Z 3 F 8, the subarray A i,e consisting of the row vectors (d i,1 +u,d i,2 +u,d i,3 +u+σ(u)+e +s i,d i,4 +u+σ(u)+e +s i,σ(u)+e,σ(u)+e +s i ), u Z 3 F 8, is an OA(1,6,24) Hence, this OA(3,6,24) is also resolvable Theorem 29 Let v be a positive integer satisfying gcd(v,4) 2 and gcd(v,18) 3 Then there is an AOA(1,3,6,v) Proof The result for v {12, 24} follows from Lemma 28 For other values of v, we write v = 2 α 3 β p γ1 1 pγ1 2 pγr r for its prime factorization, where p j 5 By assumption, we know that α 1 and (α,β) (0,1) If β 1, by Theorem 21 there is an AOA(1,3,6,v) since there is an AOA(1,3,6,p γj j ), an AOA(1,3,6,3β ) from Theorem 310 and an AOA(1,3,6,2 α ) from Theorem 311 If β = 1, then α 2 When α is even, by Theorem 21 there is an AOA(1,3,6,v) since both an AOA(1,3,6,12) and an AOA(1,3,6,2 α 2 p γ1 1 pγ1 2 pγr r ) exist When α is odd, by Theorem 21 there is an AOA(1,3,6,v) since both an AOA(1,3,6,24) and an AOA(1,3,6,2 α 3 p γ1 1 pγ1 2 pγr r ) exist Lemma 210 There is an AOA(1,3,6,v) for any odd integer v {15,21} Proof From [11], there is a (v,4,1)-dm D with an adder s over Z v, and the array consisting of the following vectors (d i,1 +u,d i,2 +u,d i,3 +u+e+s i,d i,4 +u+e+s i,e,e+s i ) where 1 i v and u,e Z v, is an OA(3,6,v) By Theorem 18, we only need to show that this OA is resolvable Clearly, for 1 i v and e Z v, the subarray A i,e consisting of the vectors (d i,1 +u,d i,2 + u,d i,3 +u+u+e,d i,4 +u+u+e,u+e,u+e +s i ), u Z v, is an OA(1,6,v) Hence, this OA is resolvable Applying Theorem 21 with the known AOAs in Lemma 27 and Theorem 29 yields the following Theorem 211 Let v 4 be an integer If v 2 (mod 4), then an AOA(1,3,5,v) exists 5

6 Blanchard proved that for any positive integers t and k, t k, there is an integer v = v (t,k) such that for any integer v v there is an OA(t,k,v) [3] Such a fact was pointed by Mohácsy in [12] By Blanchard s asymptotic existence result and Theorem 14, asymptotic existence result for AOAs also holds Theorem 212 For any positive integers s,t,k with s < t k, there is an integer v = v (t,k+t s) such that there is an AOA(s,t,k,v) for any integer v v 3 Linear AOAs Stinson [15] presented an effective construction of linear AOAs as follows Construction 31 ([15]) Suppose that q is a prime power Suppose there is a t by k+t s matrix M, having entries from the finite field F q of order q, which satisfies the following two properties: 1 any t of the first k columns of M are linearly independent, and 2 any s of the first k columns of M, along with the last t s columns of M, are linearly independent Then there exists a linear AOA(s,t,k,q) Let M be a t by k +t s matrix over F q satisfying the two properties in Construction 31 By linear algebra theory, there is a t by t invertible matrix P over F q such that PM is of the form ( ) M1 0, M 2 E t s where M 1 is an s by k matrix, M 2 is a t s by k matrix and E t s is an ( identity ) matrix of order M1 t s Since P is invertible and M has the two properties, the sub matrix has the following M 2 properties: (1 ) any t columns are linearly independent, ( and )(2 ) any s columns of M 1 are linearly M1 independent Conversely, if there is a t by k matrix with these two properties, then the M ( ) 2 M1 0 matrix satisfies the properties in Construction 31 Therefore, Construction 31 can M 2 E t s be rewritten as follows Construction 32 Suppose that q is a prime power Suppose there is a t by k matrix M, having entries from F q, which satisfies the following two properties: (1) any t columns of M are linearly independent, and (2) there are s rows such that any s columns of these s rows are linearly independent Then there exists a linear AOA(s,t,k,q) A maximum distance separable code (MDS code) of length k and size v t over an alphabet X of size v is a set of v t vectors (called codewords) in X k, having the property that the hamming distance between any two codewords is at least k t+1 It is well known that an OA(t,k,v) is equivalent to an MDS code of length k and size v t over an alphabet of size v It is also well known that a linear OA(t,k,q) defined over F q is equivalent to a linear MDS code of length k and dimension t over F q Also, the dual code of a linear MDS code of length k and dimension t over F q is a linear MDS code of length k and dimension k t over F q A linear code of length k and dimension t over F q generated by the t by k matrix M is a linear MDS if and only if any t columns of M are linearly independent There is a linear OA(t,q +1,q) for any t q For more information on linear MDS codes, we refer the reader to [13] 6

7 If a t by k matrix M over F q satisfies the properties in Construction 32, then there is a linear MDS code of length k and dimension t over F q which contains a linear MDS subcode of length k and dimension s over F q Conversely, if there is a linear MDS code of length k and dimension t over F q which contains a linear MDS subcode of length k and dimension s over F q, there is a t by k matrix M over F q satisfies the properties in Construction 32 Therefore, a linear AOA can be characterized in terms of a specially linear MDS code Theorem 33 There is a linear AOA(s,t,k,q) if and only if there is a linear MDS code of length k and dimension t over F q which contains a linear MDS subcode of length k and dimension s over F q Stinson has proved that if there is a linear OA(t s,t,q) then there is a linear AOA(s,t,t,q) [15] We can give an alternative proof by Theorem 33 When there is a linear OA(t s,t,q), there is a linear MDS code of length t and dimension t s The dual code is a linear MDS code C of length t and dimension s Since the trivial linear MDS code F t q of length t and dimension t contains C, there is a linear AOA(s,t,t,q) by Theorem 33 Theorem 34 If there is a linear OA(s,t,q), then there is a linear AOA(s,t,t,q) and a linear AOA(t s,t,t,q) Theorem 35 If there is a linear AOA(s,t,k,q), then there is a linear AOA(k t,k s,k,q) Proof By assumption and Theorem 33, there is a a linear MDS code C of length k and dimension t over F q which contains a linear MDS subcode C of length k and dimension s over F q The dual code of C contains the dual code of C Since the dual code of C is a linear MDS code of length k and dimension k s and the dual code of C is a linear MDS code of length k and dimension k t, there is a linear MDS code of length k and dimension k s containing a linear MDS subcode of length k and dimension k t The conclusion then follows from by Theorem 33 Theorem 36 Suppose that q > 2 is a prime power and k 3 is an integer There is a linear AOA(1,k 1,k,q) Proof Clearly, there is an element α F q \{0} such that α+k 2 0 It is well known that the dual code C of the linear MDS code of length k generated by (1,1,,1) is a linear MDS code of length k and dimension k 1 Furthermore, C contains a codeword (α+k 2, α, 1, 1,, 1) Therefore, C contains a linear MDS subcode of length k and dimension 1 The conclusion follows from Theorem 33 Theorem 37 Suppose that q 4 is a prime power and that s,t are positive integers with 3 < t < q,t 1 (mod s) and (s,q 1) = 1 There exists a linear AOA( t+s 1 s,t,q +1,q) Proof Denote F q = {a 1,a 2,,a q } and define a 1 a 2 a 3 a q 0 a M = 2 1 a 2 2 a 2 3 a 2 q 0 a t 1 1 a t 1 2 a t 1 3 a t 1 q 1 It is easy to see that the matrix M satisfies the property (1) of Construction 32 and the sub matrix consisting of the first, (s+1)-th, (2s+1)-th,, (t s)-th rows and the last row also satisfies the property (2) of Construction 32 Therefore, there is a linear AOA having the stated parameters 7

8 Take s = t 1 in Theorem 37, we have the following Corollary 38 Suppose that q 4 is a prime power and t is an integer with 3 t < q and gcd(t 1,q 1) = 1 Then there is a linear AOA(2,t,q+1,q) Since gcd(q 2,q 1) = 1, applying Corollary 38 yields the following Corollary 39 Suppose that q is a prime power Then there is a linear AOA(2,q 1,q +1,q) Theorem 310 Let q be a prime power, t an integer with 3 t q Then there is a linear AOA(1,t,q+1,q) Proof Denote F q = {a 1,a 2,,a q } Take a monic irreducible polynomial h(x) = h 0 +h 1 x+ + h t 2 x t 2 +x t 1 of degree t 1 over F q Define h(a 1 ) h(a 2 ) h(a q ) 1 a 1 a 2 a q 0 a 2 1 a 2 2 a 2 q 0 M = a t 2 1 a t 2 2 a t 2 q 0 a t 1 1 a t 1 2 a t 1 q 1 Sinceh(x) isamonicirreduciblepolynomialofdegreet 1 overf q, eachofh(a 1 ),h(a 2 ),,h(a q ) is nonzero Clearly, h 0 0 It is easy to see from Vandermoode determinant that any t columns of M are linearly independent and the first row satisfies the property (2) Applying Construction 32 yields the result Theorem 311 If q 4 is a power of 2 then there is a linear AOA(1,3,q+2,q) Proof It is easy to see that there is an element α F q \{0}, so that α a+a 1 for anya F q \{0} It follows that the polynomial h(x) = x 2 +αx+1 is irreducible over F q Denote F q = {a 1,a 2,,a q } and define M = h(a 1 ) h(a 2 ) h(a q ) 1 1 αa 1 αa 2 αa q 0 1 a 2 1 a 2 2 a 2 q 1 0 The matrix M satisfies the conditions of Construction 32 where each coordinate of the first row is nonzero, and therefore it yields a linear AOA having the stated parameters Theorem 312 If q 4 is a power of 2 then there exists a linear AOA(1,q 1,q +2,q) Proof Denote F q = {a 1,a 2,,a q } and take a primitive element α from F q Define a 1 a 2 a q 0 0 a 2 1 a 2 2 a 2 q 0 0 M = a q 3 1 a q 3 2 aq q αa 1 + q 2 i=1 ai 1 1+αa 2 + q 2 i=1 ai 2 1+αa q + q 2 i=1 ai q 1 1 It is routine to check that any q 1 columns of M are linearly independent Since α is a primitive element, each coordinate of the last row is nonzero Therefore, applying Construction 32 yields the result 8

9 Theorem 313 Suppose that q 4 is a power of 2 There exists a linear AOA(3,q 1,q +1,q) Proof Denote F q = {a 1,a 2,,a q } and define M = a 1 a 2 a 3 a q 0 a 2 1 a 2 2 a 2 3 a 2 q 0 a q 3 1 a q 3 2 a q 2 3 aq q 3 0 a q 2 1 a q 2 2 a q 2 3 aq q 2 1 Clearly, any q 1 columns of M are linearly independent, and any three columns of the submatrix consisting of the first two rows and the last row are linearly independent Applying Construction 32 yields a linear AOA(3,q 1,q +1,q) 4 Conclusion Augmented orthogonal arrays are equivalent to ideal ramp threshold schemes The existence of AOAs is worth studying In this paper, we showed that there is an AOA(s,t,k,v) if and only if there is an OA(t,k,v) which can be partitioned into v t s subarrays, each being an OA(s,k,v) We also rewrote Stionson s construction for linear AOAs and proved that there is a linear AOA(s,t,k,q) if and only if there is a linear MDS code of length k and dimension t over F q which contains a linear MDS subcode of length k and dimension s over F q We also modified some known constructions for OAs to AOAs Many infinite classes of AOAs over alphabets of non-prime power orders and linear AOAs were obtained By Blanchard s asymptotic existence result for OAs and Theorem 14, an asymptotic existence result for AOAs was also obtained In[16], a Wilson type recursive construction for OA(3,5,v) was given However, we have not given a Wilson type recursive construction for AOAs because we failed in constructing small input designs More constructions for AOAs are worth finding References [1] T Beth, D Jungnickel and H Lenz, Design Theory, Cambridge University Press, 1999 [2] G R Blakley and C Meadows, Security of ramp schemes, Lecture Notes in Computer Science, 196 (1985) (Advances in Cryptology: Proceedings of CRTPTO 84) [3] J L Blanchard,The existence of orthogonal arrays of any strength with large order, Unpublished manuscript, California Institute of Technology, Pasadena, 1994 [4] K A Bush, Orthogonal arrays of index unity, Ann Math Stat 23 (1952) [5] K A Bush, A generalization of the theorem due to MacNeish, Ann Math Stat 23 (1952) [6] W Chu and S W Golomb, A new recursive construction for optical orthogonal codes, IEEE Trans Inform Theory 49 (2003) [7] C J Colbourn and J H Dinitz, The CRC Handbook of Combinatorial Designs, CRC Press, Boca Raton, FL, 2007 [8] G Ge, On (g, 4; 1)-difference matrices, Discrete Math 301 (2005)

10 [9] A Hartman and K T Phelps, Steiner quadruple systems, in: Contemporary Design Theory, J H Dinitz and D R Stinson (Editors), Wiley, New York, 1992, [10] A S Hedayat, N J A Sloane and J Stufken, Orthogonal Arrays Theory and Applications, Springer-Verlag, New York, 1999 [11] L Ji and J Yin, Constructions of new orthogonal arrays and covering arrays of strength three, J Combin Theory A 117 (2010) [12] H Mohácsy, The asymptotic existence of group divisible t-designs of large order with index one, J Combin Designs 21 (2013) [13] R M Roth, Introduction to Coding Theory, Cambridge University Press, New York, 2006 [14] A Shamir, How to share a secret, Commun ACM 22 (1979) [15] D R Stinson, Optimal ramp schemes and related combinatorial objects, Discrete Math (2017), [16] J Yin, J Wang, L Ji and Y Li, On the existence of orthogonal arrays OA(3,5,4n+ 2), J Combin Theory Ser A 118 (2011)