[논문 리뷰] Small orders of Hadamard matrices and base sequences

Dragomir Ž. Djoković|arXiv (Cornell University)|2010. 08. 12.

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

한 줄 요약

이 논문은 10,000 미만인 홀수 정수 n에 대해 힐베르트 행렬이 존재하는 것으로 알려진 목록을 갱신하여, 이전에 '나쁜' 정수로 간주되었던 42개의 정수에 대해 힐베르트 행렬의 존재를 입증한다. 주요 기여는 BS(40,39) 기저 수열의 첫 번째 구성이며, 이는 길이 79인 T-수열과 d=79인 직교 설계 OD(4d)의 존재를 가능하게 하여 n=97에서의 첫 번째 미결정 케이스를 해결한다.

ABSTRACT

We update the list of odd integers n<10000 for which an Hadamard matrix of order 4n is known to exist. We also exhibit the first example of base sequences BS(40,39). Consequently, there exist T-sequences TS(n) of length n=79. The first undecided case has the length n=97.

연구 동기 및 목표

• 10,000 미만인 홀수 정수 n에 대해 힐베르트 행렬이 존재하는 것으로 알려진 목록을 갱신한다.
• 기존에 검증되지 않은 42개의 이전 '나쁜' 정수를 새로운 힐베르트 행렬의 구성으로 '좋은' 정수로 전환한다.
• BS(40,39) 기저 수열의 첫 번째 구성으로 길이 79인 T-수열의 존재를 입증한다.
• 특히 n=97의 케이스에 초점을 맞춰 힐베르트 행렬 추측의 미결정 케이스 수를 줄인다.

제안 방법

• 특정 소수 순서에 대해 대칭 컨ferent 행렬에 관한 매톤의 정리를 적용하여 힐베르트 행렬을 구성한다.
• 특히 q ≡ 1 또는 5 (mod 8)인 소수에 대해 양다의 정리를 사용하여 기존의 힐베르트 행렬에서 새로운 힐베르트 행렬을 유도한다.
• 미야모토의 윌리엄슨 유형 행렬과 힐베르트 행렬에 관한 정리를 활용하여 복합 순서로의 구성 확장을 도모한다.
• 컴퓨터 검색을 통해 기저 수열 BS(40,39)의 첫 번째 알려진 예를 구성하며, 이는 직접적으로 길이 79인 T-수열의 존재를 암시한다.
• 기존의 T-수열과 윌리엄슨 유형 행렬을 포함한 직교 설계 OD(4d)를 조합하여 더 큰 힐베르트 행렬을 구축한다.
• 기존 결과와 계산적 검증을 통해 필요한 기울어진 힐베르트 행렬과 직교 설계의 존재를 확인한다.

실험 결과

연구 질문

• RQ1 이전에 '나쁜' 정수로 간주되었던 42개의 새로운 홀수 정수 n < 10,000에 대해 힐베르트 행렬의 존재를 입증할 수 있는가?
• RQ2 BS(40,39) 기저 수열의 존재가 길이 79인 T-수열과 d=79인 직교 설계 OD(4d)의 존재를 암시하는가?
• RQ3 새로운 기저 수열의 구성으로 T-수열에 대한 미결정 케이스인 n=97를 해결할 수 있는가?
• RQ4 기존의 컨퍼런스 행렬, 윌리엄슨 유형 행렬, 직교 설계에 관한 정리를 어떻게 조합하여 알려진 힐베르트 행렬 순서의 범위를 확장할 수 있는가?
• RQ5 새로운 기저 수열 구성이 힐베르트 행렬 추측의 전체 미결정 케이스 수에 어떤 영향을 미치는가?

주요 결과

• 논문은 T-수열 구성에 있어 중요한 돌파구가 되는 BS(40,39) 기저 수열의 첫 번째 알려진 예를 구성한다.
• 이 구성은 길이 79인 T-수열의 존재를 확인하여 직교 설계 연구에서 핵심적인 미해결 케이스를 해결한다.
• 저자들은 성공적으로 42개의 이전 '나쁜' 정수를 '좋은' 정수로 전환하여 n < 10,000일 때 힐베르트 행렬 순서 4n에 대한 미결정 케이스 수를 822개로 줄였다.
• 모든 d ≤ 100에 대해 T-수열 TS(d)는 이제 존재함을 알 수 있으나, d=97의 경우를 제외하고는 모두 미해결 상태이다.
• BS(40,39)의 구성은 d=79에 대해 직교 설계 OD(4d)의 존재를 가능하게 하여 향후 행렬 구성에 기여한다.
• 기존 정리와 새로운 계산 결과를 조합하여 11개의 새로운 소수 순서 n(787, 823, 883, 8237 포함)에 대해 힐베르트 행렬의 존재를 확인한다.