직교 배열 생성 새로운 방법

초록

본 논문은 기존의 선형 직교 배열을 입력으로 하여 크로네커 곱 연산과 단위 열벡터를 활용해 동일한 강도를 유지하면서 새로운 직교 배열을 생성하는 알고리즘을 제안한다. 제안 방법은 강도와 수준 수에 제한을 두지 않으며, 생성된 배열이 기존 라이브러리에 존재하지 않는 경우를 다수 확인하였다.

상세 분석

본 연구는 직교 배열(Orthogonal Array, OA)의 확장 생성에 초점을 맞추었다. 기존의 OA 생성 방법은 주로 직접 구성, 재귀적 구조, 혹은 수학적 설계 이론에 의존했으며, 특히 높은 강도와 다수 수준(level) 조합에서는 설계가 복잡하고 제한이 많았다. 논문은 이러한 한계를 극복하기 위해 ‘크로네커 곱(Kronecker Product)’ 연산과 ‘단위 열벡터(unit column vector)’를 결합한 새로운 생성 메커니즘을 제시한다.

알고리즘의 핵심은 다음과 같다. 먼저, 임의의 선형 OA (A) (행 수 (N), 열 수 (k), 수준 (s), 강도 (t))를 선택한다. 각 열 (a_i)에 대해 동일 차원의 단위 열벡터 (e)를 정의하고, (a_i \otimes e) 형태의 크로네커 곱을 수행한다. 이때, (e)는 (s) 차원에서 하나의 원소만 1이고 나머지는 0인 벡터이며, 이를 통해 원본 배열의 각 원소를 ‘복제’하면서도 새로운 차원을 삽입한다. 결과적으로 얻어지는 배열 (B)는 행 수가 (N \times s), 열 수가 (k \times s)인 새로운 OA가 된다.

강도 보존에 대한 증명은 두 단계로 이루어진다. 첫 번째 단계에서는 크로네커 곱이 원본 배열의 모든 (t)-튜플 조합을 그대로 유지함을 보이며, 두 번째 단계에서는 단위 열벡터가 추가된 차원에서 발생할 수 있는 새로운 조합이 기존 조합과 독립적임을 수학적으로 증명한다. 따라서 최종 배열 (B)는 원본 배열과 동일한 강도 (t)를 유지한다는 것이 핵심 결과이다.

알고리즘의 장점은 다음과 같다. (1) 선형 OA만 있으면 언제든 적용 가능하므로, 기존에 구축된 OA 라이브러리를 활용해 손쉽게 새로운 배열을 생성할 수 있다. (2) 강도와 수준 수에 대한 사전 제한이 없으며, 특히 높은 수준(s>2)에서도 동일한 절차로 확장이 가능하다. (3) 생성된 배열은 기존 표준 OA 리스트(예: Hamming, Bose‑Bush, Rao 등)와 겹치지 않는 경우가 다수 발견되어, 실험 설계와 통계적 샘플링 분야에 새로운 선택지를 제공한다.

한계점으로는 생성된 배열의 크기가 원본 대비 (s) 배로 증가하기 때문에 메모리와 계산 비용이 급격히 상승한다는 점이다. 또한, 비선형 OA에 대해서는 현재 알고리즘이 직접 적용되지 않으며, 향후 연구에서는 비선형 구조를 포괄하는 일반화된 연산을 탐색할 필요가 있다.

실험 결과 섹션에서는 다양한 선형 OA(예: OA(9,4,3,2), OA(16,5,4,2) 등)를 시드로 사용해 새로운 OA를 30여 개 생성했으며, 이 중 22개는 기존 OA 데이터베이스에 존재하지 않는 새로운 구성임을 확인하였다. 생성된 배열의 강도와 수준 검증은 표준 통계적 검정(χ² 검정)과 직접적인 조합 카운팅을 통해 이루어졌다.

결론적으로, 본 논문은 크로네커 곱과 단위 열벡터를 이용한 직교 배열 생성 메커니즘을 제시함으로써, 기존 설계 이론의 제약을 크게 완화하고, 실무에서 활용 가능한 새로운 OA 풀(pool)을 제공한다는 점에서 의의가 크다. 향후 연구에서는 비선형 OA 확장, 메모리 효율화, 그리고 실험 설계 최적화와의 연계 등을 다룰 예정이다.