Invariance of generalized wordlength patterns
Introduction
In a regular fractional factorial design , the quantities contain useful information about the design. In particular, the smallest index for which is the resolution of the design. Moreover, one way of comparing two designs having factors and equal resolution is to compare their wordlength patterns (Franklin, 1984, Fries and Hunter, 1980). The better design is said to have less aberration.
While nonregular designs no longer have defining words as such, a generalized wordlength pattern (GWLP) can be defined for them combinatorially. This was done for two-level designs by Tang and Deng (1999), and was generalized to arbitrary (possibly mixed-level) designs by Xu and Wu (2001) using group characters.
An intermediate computation in the two-level case gives a set of values that Tang and Deng called -characteristics (first introduced in Deng and Tang, 1999), and Tang (2001) showed that these numbers completely determine the design , somewhat analogous to the way that a defining subgroup determines a regular design. Ai and Zhang (2004) generalized this to arbitrary designs by looking closely at the corresponding computation in Xu and Wu (2001).
In defining GWLPs of arbitrary designs, Xu and Wu (2001) assigned to the th factor the cyclic group , where is the number of levels of the factor. While this choice is a computational convenience, it is also arbitrary, and in fact the calculation of the GWLP can be carried through using other abelian groups as well, as we indicate below.
This, however, raises the following question for non-prime . Since the (irreducible) characters of two groups of equal order will generally be different, does the choice of group affect either the -characteristics or the GWLP of a given design? Certainly any dependence of the GWLP on an arbitrary choice would raise a serious question about its use in comparing designs using relative aberration. It will be clearly seen that the -characteristics do depend on this choice. However, perhaps surprisingly, this does not affect the values of the GWLP. That is our main result.
There are many excellent expositions of character theory, such as Isaacs (1976), Ledermann (1987) and Serre (1977). In general, we will mention known results without citation. We will also use a number of results from multilinear algebra (the theory of tensor products). These are collected in Appendix A.
Notation: We will denote the integers by , and the integers modulo by as above. The complex numbers will be denoted by and complex Euclidean space by . Vectors in will be viewed as columns. The conjugate of will be denoted by , the transpose of a vector or matrix by a prime , and the adjoint (or conjugate transpose) of a matrix or linear transformation by . The inner product of and is given byThe cardinality of a set will be written .
The Hamming weight of , , is the number of nonzero components of . (In Section 2 we will replace “nonzero” by “nonidentity” in order to deal with groups whose identity element is not 0.)
We alert the reader to the fact that we will use (or ) as an index set, with elements or . Sometimes such sets will be groups, but often they will be viewed just as sets. We will try to make absolutely clear from context when a result requires a group structure and when it does not.
Section snippets
Definitions
A fractional factorial design on factors is a multisubset of a finite Cartesian product , that is, the set with the element repeated times, . The set indexes the levels of factor , and we let . We will refer to as the counting or multiplicity function of . The elements (-tuples) of the design are referred to as runs, and the number of runs in the design, counting multiplicities, isThe design may also be viewed as an orthogonal array
-characteristics. The character table
We see that the irreducible characters of a finite abelian group of order may be written , where are the elements of in some order. The values form the character table of , the columns of which are mutually orthogonal and of norm (with respect to the inner product (1)). Another way to say this is that the matrix formed by this table has the property that , where is the adjoint of ( is thus a complex Hadamard matrix).
Let where each
Independence of group structure
By imposing a group structure on the set , we define the irreducible characters . We want to show that the numbers appearing in (6) are independent of the group structure chosen. This sum is somewhat unwieldy, and so we will break it into smaller sums over elements which are not only of weight but also differ from the identity in exactly the same components.
To begin with, we fix an order of the elements in each set , with the understanding that whenever
Conclusion
The definition of the generalized wordlength pattern (GWLP) given by Xu and Wu (2001) makes sense if one chooses abelian rather than cyclic groups to index the levels of each factor. The choice to use cyclic groups there is arbitrary, and we have shown that while it does affect the so-called -characteristics of a design, it does not affect the GWLP. This removes a possible ambiguity in the definition of the GWLP, and therefore in the use of minimum aberration as an optimality criteria for
Acknowledgments
We thank Dan Lutter for some useful discussions, and the referee and editor for some helpful suggestions.
References (14)
Four fundamental parameters of a code and their combinatorial significance
Inform. and Control
(1973)- et al.
Projection justification of generalized minimum aberration for asymmetrical fractional factorial designs
Metrika
(2004) - et al.
A Comprehensive Introduction to Linear Algebra
(1989) - et al.
Generalized resolution and minimum aberration criteria for Plackett–Burman and other nonregular factorial designs
Statist. Sinica
(1999) - et al.
On the decomposition of orthogonal arrays
Utilitas Math.
(2002) Constructing tables of minimum aberration designs
Technometrics
(1984)- et al.
Minimum aberration designs
Technometrics
(1980)
Cited by (1)
Linear Models and Design
2022, Linear Models and Design