直交表

組合せ数学やその応用分野において直交表（ちょっこうひょう）あるいは直交配列（ちょっこうはいれつ、英: orthogonal array）とは、どの $t$ 列をとっても要素の $t$ -組のとりうる全てが行として等しい回数ずつ現れる2次元配列である。

1940年代にC・R・ラオ（英語版）が導入して以来、実験計画法において大きな役割を担い続けている^[1]ほか、誤り訂正符号やアダマール行列と密接な関連を持つなど、統計学、計算機科学、暗号理論において重要な概念である^[2]。

定義[編集]

要素の種類数が $s$ の $N \times k$ 行列 $A$ が強度(strength) $t$ と指数(index) $λ$ の $k$ 因子(factors) $s$ 水準(levels) $N$ -実施(runs)直交配列^{[注釈 1]}であるとは、全ての $N \times t$ 部分配列^{[注釈 2]}において $s$ 種類の要素の $t$ -組の各々が行として $λ$ 回ずつ含まれることであり、これを $OA(N, k, s, t)$ で表す^{[注釈 3]}。特に $λ = 1$ であるとき、この直交配列は単指数性(index unity)を持つという^[4]。また、全ての行が異なるとき、単純(simple)であるという^[5]。

2つの直交配列の一方から他方を、行の置換、列の置換、因子ごとの水準の置換、を組み合わせて得ることができるとき、その2つの直交配列は同型(isomorphic)、特に行の置換だけで得られる場合は統計的に同等(statistically equivalent)であるという^[6]。

線型性と生成行列[編集]

単純直交配列 $OA(N, k, s, t)$ の行全体が有限体 F $s$ 上の線型空間とみなせるとき、この直交配列は線型(linear)であるといい、その線型空間の次元 $n$ を線型直交配列の次元(dimension)と呼び、その線型空間の基底を取り出して縦に結合した行列を生成行列(generator matrix)という^[5]。生成行列が与えられれば、その行空間によって統計的に同等な違いを除いて一意に直交配列を構成できるので、生成行列を用いることで線型直交配列を非常に短く表すことができる^{[注釈 4]}。

$N \times k$ 行列 $A$ の行全体が F $s$ 上の線型空間をなすとき、 $A$ が直交配列であることは、任意の $t$ 列が F $s$ 上線型独立であることと同値であり、特に、F $s$ 上線型独立な $n$ 行からなり、任意の $t$ 列が F $s$ 上線型独立な $n \times k$ 行列は直交配列 $OA(s n, k, s, t)$ の生成行列となる^{[注釈 5]}^[7]。

直交計画[編集]

直交配列は、実験計画法において因子と水準の割り付け表に用いられる。

一般的な多元配置の実験では、一つの因子のみを変化させた条件で行うため、膨大な数の実験を行わなければならない。直交表で割り付けた実験は、複数の因子を変化させるが、どの因子・水準の組み合わせも同回数だけ実験するようにし、その因子の主効果を求められる。最小限の実験数に抑えられるという利点がある。直交表を用いる実験は、交互作用に重きをおかず、主効果のみの実験を行う目的の場合に適する。

脚注[編集]

[脚注の使い方]

注釈[編集]

^ パラメータのうち $N$ 、 $k$ 、 $s$ の3つには複数の異称が存在する。
^ 任意に $t$ 列を取り出して横に結合することでできる行列
^ $λ = N / s t$ であるため指数を明記する必要はない。また、記法には複数の流儀があり、この記事とは反対に $OA λ (t, k, s)$ と指数を明記して実施数を省略する場合もある。また $t = 2$ に限定して議論する文脈（例えば^[3]）では $L N (λ \times s k)$ という表記（ $s k$ の部分は、 $s$ の $k$ 乗の値ではなく、 $k$ の値を上付き添え字として書く）を用いて $t$ を省くこともある。
^ 線型直交配列の行数が $N = s n$ であるのに対して生成行列の行数はわずか $n$ であるから、線型直交配列の行数が $s$ 倍になっても生成行列は1行増えるにとどまる。
^ 生成行列から $t$ 列を任意に選び $G 1$ とするとき、その退化次数は $n - t$ であるから、どの $t$ 次元横ベクトル $z$ についても、左から $G 1$ にかけて $z$ を得られる $n$ 次元横ベクトルは $s n - t$ 個ずつ存在する。つまり、生成行列の行たちの線型包はどの $t$ 列についても全ての $t$ -組が $s n - t$ 回ずつ現れるようなもの、すなわち直交配列 $OA(s n, k, s, t)$ である。

出典[編集]

^ Hedayat, Sloane & Stufken 1999, p. 1.
^ Hedayat, Sloane & Stufken 1999, p. vii.
^ 田口玄一 1976.
^ Hedayat, Sloane & Stufken 1999, pp. 2–3.
^ ^a ^b Hedayat, Sloane & Stufken 1999, p. 40.
^ Hedayat, Sloane & Stufken 1999, pp. 5–6.
^ Hedayat, Sloane & Stufken 1999, pp. 54–55.

文献[編集]

日本語

田口玄一『実験計画法』（3版）丸善出版、1976年。

外国語

Hedayat, A.S.; Sloane, N.J.A.; Stufken, John (1999). Orthogonal Arrays: Theory and Applications. Springer Series in Statistics. Springer-Verlag. ISBN 0-387-98766-5