[논문 리뷰] Searching for partial Hadamard matrices

Víctor Álvarez, José-Andrés Armario외 5명|arXiv (Cornell University)|2012. 01. 19.

graph theory and CDMA systems참고 문헌 12인용 수 3

한 줄 요약

이 논문은 Ito의 Hadamard 그래프 $\Delta(4t)$의 부분그래프 $G_t$에서 클리크를 탐색하여 큰 부분 Hadamard 행렬을 구성하기 위한 세 가지 알고리즘을 제안한다. 주요 기여는 최고의 휴리스틱 알고리즘이 기존 De Launey와 Gordon의 방법으로부터 얻은 부분 행렬을 초기화할 경우, 전체 $4t \times 4t$ Hadamard 행렬의 크기의 절반을 초월하는 부분 Hadamard 행렬을 생성할 수 있으며, 이는 이전의 점근적 경계를 뛰어넘는 결과를 낳는다는 것이다.

ABSTRACT

Three algorithms looking for pretty large partial Hadamard matrices are described. Here "large" means that hopefully about a third of a Hadamard matrix (which is the best asymptotic result known so far, [dLa00]) is achieved. The first one performs some kind of local exhaustive search, and consequently is expensive from the time consuming point of view. The second one comes from the adaptation of the best genetic algorithm known so far searching for cliques in a graph, due to Singh and Gupta [SG06]. The last one consists in another heuristic search, which prioritizes the required processing time better than the final size of the partial Hadamard matrix to be obtained. In all cases, the key idea is characterizing the adjacency properties of vertices in a particular subgraph G_t of Ito's Hadamard Graph Delta (4t) [Ito85], since cliques of order m in G_t can be seen as (m+3)*4t partial Hadamard matrices.

연구 동기 및 목표

• 완전한 Hadamard 행렬이 필요로 하지 않는 응용 분야에서 유용한 직교 행을 가진 큰 부분 Hadamard 행렬을 효율적으로 구성하기 위한 알고리즘 개발.
• 전체 탐색의 계산 비용이 과도한 점을 고려해, $G_t$에서 클리크 탐지에 대한 휴리스틱 및 유전 알고리즘 기반 접근법을 도입함으로써 이를 해결.
• 전체 $4t \times 4t$ Hadamard 행렬의 크기의 절반을 초월하는 깊이를 가진 부분 Hadamard 행렬을 클리크 기반 방법을 통해 구성할 수 있음을 입증.

제안 방법

• 부분 Hadamard 행렬 탐색을 Ito의 Hadamard 그래프 $\Delta(4t)$의 부분그래프 $G_t$에서의 클리크 탐색 문제로 모델링하며, 정점은 특정 직교성 및 분포 제약 조건을 만족하는 $\{+1,-1\}$-벡터로 표현된다.
• 첫 번째 방법은 $G_t$에서 국소적인 완전 탐색을 수행하여 클리크를 찾는 것으로, 정확성은 보장하지만 계산 비용이 매우 높다.
• 두 번째 방법은 Singh와 Gupta의 최대 클리크 문제를 위한 유전 알고리즘을 변형하여 적용하지만, 여전히 완전 탐색 서브루틴에 의존하기 때문에 계산 비용이 높다.
• 세 번째 방법, 알고리즘 4.3은 클리크 크기보다는 런타임 효율성을 우선시하는 휴리스틱으로, 더 큰 클리크 탐색을 빠르게 수행할 수 있다.
• 클리크 확장은 짝짓기 직교성을 유지하는 정점을 반복적으로 추가함으로써 수행되며, $G_t$의 구조를 활용해 탐색 공간을 제한한다.
• 알고리즘들은 De Launey(2000) 및 De Launey-Gordon(2001)의 기존 부분 행렬로부터 얻은 부분 행렬로 초기화되며, 이를 기반으로 더 큰 깊이로 확장된다.

실험 결과

연구 질문

• RQ1 휴리스틱 및 유전 알고리즘이 큰 부분 Hadamard 행렬을 구성하는 데 있어 전체 탐색을 능가할 수 있는가?
• RQ2 클리크 기반 방법을 통해 $G_t$에서 전체 $4t \times 4t$ Hadamard 행렬의 크기의 절반을 초월하는 깊이를 가진 부분 Hadamard 행렬을 구성할 수 있는가?
• RQ3 제안된 휴리스틱 알고리즘(알고리즘 4.3)은 이전 연구에서 얻은 부분 행렬을 얼마나 효과적으로 확장하는가?
• RQ4 $G_t$의 구조를 활용해 전체 탐색을 피하는 효율적인 클리크 탐색 알고리즘을 설계할 수 있는가?
• RQ5 초기 클리크의 품질이 구성된 부분 Hadamard 행렬의 최종 깊이에 어떤 영향을 미치는가?

주요 결과

• 알고리즘 4.3은 $G_4$에서 5개 정점 클리크를 12개 정점 클리크로 확장하여 $15 \times 16$ 부분 Hadamard 행렬을 생성하였으며, 이는 전체 $16 \times 16$ Hadamard 행렬의 크기의 절반을 초월한다.
• t=6일 경우, 알고리즘은 1분 7초 내에 9개 정점 클리크를 15개 정점 클리크로 확장하여 $18 \times 24$ 부분 Hadamard 행렬을 생성하였다.
• t=8일 경우, 알고리즘은 13개 정점 클리크를 17개 정점 클리크로 확장하여 $20 \times 32$ 부분 Hadamard 행렬을 생성하였으며, 다시 한 번 절반 크기의 임계점을 초월하였다.
• t=7일 경우, 확장을 수행할 수 없었으며, 이는 입력 클리크가 최대임을 시사하며, 특정 초기 설정에서는 확장 가능성의 한계가 존재할 수 있음을 나타낸다.
• 결과적으로 De Launey(2000) 및 De Launey-Gordon(2001)의 고품질 부분 행렬로 초기화된 경우, 휴리스틱 알고리즘이 $2t$를 초월하는 깊이를 가진 부분 Hadamard 행렬을 생성할 수 있음을 보여주며, 이는 전체 $4t \times 4t$ 행렬의 크기의 절반을 초월하는 것이다.
• 코시클릭 프레임워크는 본질적으로 제한되어 있음을 입증되었으며, 코시클릭 행렬에서 유도된 부분 Hadamard 행렬은 행 쌍화 제약 조건으로 인해 원래 행렬 크기의 절반을 초과할 수 없다.