直交表

組合せ数学やその応用分野において直交表（ちょっこうひょう）あるいは直交配列（ちょっこうはいれつ、）とは、どの 列をとっても要素の -組のとりうる全てが行として等しい回数ずつ現れる2次元配列である。
1940年代にが導入して以来、実験計画法において大きな役割を担い続けているほか、誤り訂正符号やアダマール行列と密接な関連を持つなど、統計学、計算機科学、暗号理論において重要な概念である。
定義.
要素の種類数が の 行列 が強度(strength) と指数(index) の 因子(factors) 水準(levels) -実施(runs)直交配列であるとは、全ての 部分配列において 種類の要素の -組の各々が の行として 回ずつ含まれることであり、これを で表す。特に であるとき、この直交配列は index unity を持つという。また、全ての行が異なるとき、単純(simple)であるという。
2つの直交配列の一方から他方を、行の置換、列の置換、因子ごとの水準の置換、を組み合わせて得ることができるとき、その2つの直交配列は同型(isomorphic)、特に行の置換だけで得られる場合は統計学上同値(statistically equivalent)であるという。
線型性と生成行列.
単純直交配列 の行全体が有限体 F 上の線型空間とみなせるとき、この直交配列は線型(linear)であるといい、その線型空間の次元 を線型直交配列の次元(dimension)と呼び、その線型空間の基底を取り出して縦に結合した行列を生成行列(generator matrix)という。生成行列が与えられれば、その行たちの線型包として直交配列を構成できて、それは統計学上同値な違いを除いて一意に定まるので、生成行列を用いることで線型直交配列を非常にコンパクトに表すことができる。
 行列 の行全体が F 上の線型空間をなすとき、 が直交配列であることは、任意の 列が F 上線型独立であることと同値であり、特に、F 上線型独立な 行からなり、任意の 列が F 上線型独立な 行列は直交配列 の生成行列となる。
直交計画.
直交配列は、実験計画法において因子と水準の割り付け表に用いられる。
一般的な多元配置の実験では、一つの因子のみを変化させた条件で行うため、膨大な数の実験を行わなければならない。直交表で割り付けた実験は、複数の因子を変化させるが、どの因子・水準の組み合わせも同回数だけ実験するようにし、その因子の主効果を求められる。最小限の実験数に抑えられるという利点がある。
直交表を用いる実験は、交互作用に重きをおかず、主効果のみの実験を行う目的の場合に適する。