[논문 리뷰] From Random Matrix Theory to Coding Theory: Volume of a Metric Ball in Unitary Group

Lu Wei, Renaud-Alexandre Pitaval외 2명|arXiv (Cornell University)|2015. 06. 24.

Random Matrices and Applications참고 문헌 19인용 수 6

한 줄 요약

이 논문은 랜덤 매트릭스 이론의 도구를 사용하여 U(n)의 메트릭 볼에 대한 정확한 및 점점 가까워지는 부피 공식을 유도한다. 특히 베셀 함수를 갖는 토플리츠 행렬식과 셰고의 강한 극한 정리가 사용된다. 주요 기여는 빠르게 수렴하는 점점 가까워지는 공식을 제공함으로써, 유니터리 코드의 코딩 이론적 경계(예: 질베르트-바르샤모프 및 함밍 경계)의 정확한 해석적 계산을 가능하게 하고, 다변화 합에 대한 닫힌 형태의 상한을 제공한다.

ABSTRACT

Volume estimates of metric balls in manifolds find diverse applications in information and coding theory. In this paper, some new results for the volume of a metric ball in unitary group are derived via various tools from random matrix theory. The first result is an integral representation of the exact volume, which involves a Toeplitz determinant of Bessel functions. The connection to matrix-variate hypergeometric functions and Szegő's strong limit theorem lead independently from the finite size formula to an asymptotic one. The convergence of the limiting formula is exceptionally fast due to an underlying mock-Gaussian behavior. The proposed volume estimate enables simple but accurate analytical evaluation of coding-theoretic bounds of unitary codes. In particular, the Gilbert-Varshamov lower bound and the Hamming upper bound on cardinality as well as the resulting bounds on code rate and minimum distance are derived. Moreover, bounds on the scaling law of code rate are found. Lastly, a closed-form bound on diversity sum relevant to unitary space-time codes is obtained, which was only computed numerically in literature.

연구 동기 및 목표

• 유니터리 군 U(n)에서 현격한 거리에 대한 메트릭 볼의 정확한 및 점점 가까워지는 부피 공식을 도출하는 것.
• 이전 연구에서 수치적 적분에 의존하는 문제를 해결하기 위해, 랜덤 매트릭스 이론을 활용한 해석적 대안을 제공하는 것.
• 유니터리 코드에 대한 코딩 이론적 경계(예: 질베르트-바르샤모프 및 함밍 경계)의 정확한 해석적 평가를 가능하게 하는 것.
• 이전에는 수치적으로만 계산 가능했던, 유니터리 공간-시간 코드의 다변화 합에 대한 닫힌 형태의 상한을 설정하는 것.
• 점점 가까워지는 부피 공식의 수렴 행동을 조사하고, 그 빠른 수렴을 모의-가우시안 성질로 설명하는 것.

제안 방법

• 베셀 함수 성분을 갖는 토플리츠 행렬식을 포함하는 적분으로 정확한 부피 공식을 유도한다.
• 행렬 변수에 대한 초함수와 토플리츠 행렬식 간의 관계를 이용하여 점점 가까워지는 공식을 도출한다.
• 토플리츠 행렬식에 대한 셰고의 강한 극한 정리를 적용하여 동일한 점점 가까워지는 부피 공식을 독립적으로 유도한다.
• 메이저의 G-함수와 초함수 항등식을 활용하여 부피 계산에서 발생하는 적분을 평가한다.
• 하어 측도의 불변성과 유니터리 행렬의 고유값 분해를 활용하여 부피를 고유각 분포로 표현한다.
• 메이저의 G-함수의 이동 및 역변환 성질을 적용하여 유도된 적분을 단순화하고 평가한다.

실험 결과

연구 질문

• RQ1 랜덤 매트릭스 이론의 도구를 사용하여, U(n)의 메트릭 볼의 부피를 닫힌 형태 또는 빠르게 수렴하는 점점 가까워지는 공식으로 표현할 수 있는가?
• RQ2 점점 가까워지는 부피 공식의 수렴 속도는 어떠한가? 그리고 그 빠른 수렴을 설명하는 기초적인 수학적 성질은 무엇인가?
• RQ3 유도된 부피 공식을 어떻게 활용하여, 유니터리 코드에 대한 기초적인 코딩 이론적 경계(예: 질베르트-바르샤모프 및 함밍 경계)의 해석적 계산을 수행할 수 있는가?
• RQ4 유니터리 공간-시간 코드의 다변화 합에 대한 닫힌 형태의 상한을 해석적으로 유도할 수 있는가? 이는 수치적 적분을 피할 수 있는가?
• RQ5 유니터리 코드의 코드 레이트의 스케일링 법칙은 어떠한가? 그리고 점점 가까워지는 부피 공식을 사용하여 이를 어떻게 경계할 수 있는가?

주요 결과

• U(n)에서 메트릭 볼의 정확한 부피는 베셀 함수 성분을 갖는 토플리츠 행렬식을 포함하는 적분으로 표현된다.
• n=2인 경우, 메이저의 G-함수와 초함수 항등식을 활용하여 부피의 닫힌 형태 표현이 도출된다.
• 고유값 분포에서 발견된 모의-가우시안 성질로 인해 점점 가까워지는 부피 공식이 초지수적으로 빠르게 수렴한다.
• 차원 n=3에서도 점점 가까워지는 공식이 매우 정확하며, 정밀도와 속도 면에서 수치적 적분을 크게 능가한다.
• 점점 가까워지는 부피 공식을 활용하여, 코드워드의 기수에 대한 질베르트-바르샤모프 및 함밍 경계의 해석적 표현이 도출된다.
• 이전에는 수치 계산에 의존해야 했던, 유니터리 공간-시간 코드의 다변화 합에 대한 닫힌 형태의 상한이 해석적으로 확보된다.