[논문 리뷰] On minors of maximal determinant matrices

Richard P. Brent, Judy-anne H. Osborn|arXiv (Cornell University)|2012. 08. 19.

graph theory and CDMA systems참고 문헌 32인용 수 5

한 줄 요약

이 논문은 최대 행렬식 {±1}-행렬의 부분행렬을 조사하며, Cohn의 힐베르트 행렬 결과를 확장하여 힐베르트 추측을 가정할 경우, 최대 행렬식 부분행렬의 순서 m가 [n/2 + 5 log n, n-2] 구간에 있을 수 없음을 보여준다. 또한 k×k 부분행렬의 평균 제곱 행렬식에 대한 하한 추측을 제시하고, 순서 ≤21에 대해 모든 부분행렬을 체계적으로 정리한 표를 제공하며, 조합적 재귀와 메모리 최적화를 활용한 효율적인 알고리즘—특히 알고리즘 D—를 상세히 기술한다.

ABSTRACT

By an old result of Cohn (1965), a Hadamard matrix of order n has no proper Hadamard submatrices of order m > n/2. We generalise this result to maximal determinant submatrices of Hadamard matrices, and show that an interval of length asymptotically equal to n/2 is excluded from the allowable orders. We make a conjecture regarding a lower bound for sums of squares of minors of maximal determinant matrices, and give evidence in support of the conjecture. We give tables of the values taken by the minors of all maximal determinant matrices of orders up to and including 21 and make some observations on the data. Finally, we describe the algorithms that were used to compute the tables.

연구 동기 및 목표

• 히르베르트 행렬의 Cohn 결과를 최대 행렬식 부분행렬으로 일반화한다.
• 순서 n ≤ 21인 최대 행렬식 행렬 내의 부분행렬의 구조와 분포를 조사한다.
• 최대 행렬식 행렬의 k×k 부분행렬의 평균 제곱 행렬식에 대한 하한을 추측한다.
• 최적화된 알고리즘을 사용하여 순서 1에서 21까지의 최대 행렬식 행렬의 모든 부분행렬을 계산하고 표로 정리한다.
• {±1}-행렬 내의 부분행렬을 열거하는 데 효과적인 계산 방법을 개발하고 평가한다.

제안 방법

• Cohn의 원래 결과에서 유도된 일반화된 증명 기법을 사용하여, 힐베르트 행렬 내 최대 행렬식 부분행렬의 가능한 순서에 대한 범위를 설정한다.
• 힐베르트 추측을 적용하여 최대 행렬식 부분행렬에 대한 더 견고한 배제 구간 [n/2 + 5 log n, n-2)을 도출한다.
• 알고리즘 D—라플라스 전개 기반의 순환적이고 메모리 효율적인 방법으로, k개의 행 조합을 반복하면서 더 작은 순서의 부분행렬을 재귀적으로 계산한다.
• 희소한 고유 부분행렬 값 집합을 저장하고 관리하기 위해 해시 테이블 데이터 구조를 구현하여 비트 벡터 표현 방식에 비해 메모리 사용량을 줄인다.
• 작은 경우에서 알고리즘 A(행렬식 단위 계산)와 알고리즘 D를 모두 사용하여 구현을 검증하며, k ≈ n/2일 때 성능이 뛰어난 D를 더 선호한다.
• HT-동치성(Hadamard 동치성, 전치 포함)을 활용하여 중복 계산을 줄이고, 동치 클래스 간 대표성을 확보한다.

실험 결과

연구 질문

• RQ1 순서 n인 최대 행렬식 행렬 내에 포함된 최대 행렬식 부분행렬의 순서 m은 최대 몇 개인가?
• RQ2 배제 구간을 n/2를 초과하여 확장할 수 있으며, 이는 힐베르트 추측에 어떻게 의존하는가?
• RQ3 최대 행렬식 행렬 내 k×k 부분행렬의 평균 제곱 행렬식에 대해 통일된 하한이 존재하는가? 그리고 이는 무작위 {±1}-행렬에서와 마찬가지로 m!를 초과하는가?
• RQ4 순서 1에서 21까지의 최대 행렬식 행렬 내에서 부분행렬 값의 분포에 어떤 패턴이 존재하는가?
• RQ5 n ≤ 21에서 메모리와 계산 비용을 효율적으로 관리하면서 모든 부분행렬을 효율적이고 정확하게 계산할 수 있는 알고리즘 접근 방식은 무엇인가?

주요 결과

• 힐베르트 추측을 가정할 경우, 최대 행렬식 부분행렬의 순서 m이 [n/2 + 5 log n, n-2)에 속할 수는 없다.
• 힐베르트 추측을 가정하지 않더라도, 길이 ∼n/2인 구간이 여전히 최대 행렬식 부분행렬 순서에서 배제되며, 특히 [n/2 + o(n), n - o(n)) 구간이 그러하다.
• 논문은 순서 n ≤ 21인 모든 최대 행렬식 행렬에 대해 모든 부분행렬 값을 체계적으로 정리한 표를 제시하며, 부분행렬 값 집합이 특히 n이 4의 배수일 경우 희소함을 드러낸다.
• 최대 행렬식 행렬 내 k×k 부분행렬의 평균 제곱 행렬식은 각 k에 대해 m! 이상으로 하한이 존재할 것이라 추측되며, 이 추측은 1 ≤ m ≤ n ≤ 21 범위의 계산 결과에 의해 지지된다.
• 큰 k ≈ n/2일 때 알고리즘 D는 알고리즘 A보다 훨씬 빠르며, 총 연산 횟수는 4^{n-1}n이며, 행 조합에 대해 병렬 처리에 적합하다.
• 부분행렬 값을 저장하기 위해 해시 테이블을 사용함으로써 n=16일 때 메모리 요구량을 131073비트에서 약 200단어 수준으로 줄여 실용적인 효율성을 입증하였다. 이는 n ≤ 25 범위에서 유의미하다.