[논문 리뷰] Integer symmetric matrices of small spectral radius and small Mahler measure

James McKee, Chris Smyth|ArXiv.org|2009. 07. 02.

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

한 줄 요약

이 논문은 최소 비순환성 정수 대칭 행렬을 전부 분류하여, 이러한 행렬에 대한 강력한 레이머 문제를 완전히 해결한다: 마플 측도는 1(순환성 경우)이거나 최소한 레이머의 상수 λ₀ ≈ 1.17628이다. 또한 스펙트럼 반경 < 2.019이면서 마플 측도 < 1.3인 모든 정수 대칭 행렬을 특정하여, ±1 원소를 가진 전하를 지닌 부호화된 그래프 이론의 확장 방법을 사용한다.

ABSTRACT

In a previous paper we completely described cyclotomic matrices--integer symmetric matrices of spectral radius at most 2. In this paper we find all minimal noncyclotomic matrices. As a consequence, we are able to determine all integer symmetric matrices of spectral radius at most 2.019, and to determine all integer symmetric matrices whose Mahler measure is at most 1.3. In particular we solve the strong version of Lehmer's problem for integer symmetric matrices: all noncyclotomic matrices have Mahler measure at least "Lehmer's number" 1.17628... .

연구 동기 및 목표

• 기존 순환 행렬 연구를 확장하여, 모든 최소 비순환성 정수 대칭 행렬을 분류하는 것.
• 정수 대칭 행렬에 대한 레이머 문제의 강력한 형태를 해결하여, 마플 측도의 하한이 1을 초과하는 경우를 규명하는 것.
• 스펙트럼 반경이 2.019 미만이면서 마플 측도가 1.3 미만인 모든 정수 대칭 행렬을 특정하는 것.
• 스펙트럼 및 마플 측도 성질을 분석하기 위해 그래프 이론을 ±1 원소를 가진 전하를 지닌 부호화된 그래프(이당 원소가 ±1)로 확장하는 것.
• 비순환성 정수 대칭 행렬에 대해 가능한 가장 작은 마플 측도가 정확히 레이머 수 λ₀임을 증명하고, 이 경계가 날카로운지 확인하는 것.

제안 방법

• 인접 행렬의 원소가 {−1, 0, 1}이며 대각선 원소가 ±1인 부호화된 그래프와 전하를 지닌 부호화된 그래프를 포함하여 순환성 및 비순환성 행렬 이론을 확장하는 것.
• 특성 다항식과 마플 측도 사이의 관계를 위해 R_A(z) = z^d * P(z + 1/z) 형태의 역다항식을 사용하는 것.
• 인터라싱 정리와 스펙트럼 경계를 적용하여, 비순환성 행렬은 반드시 스펙트럼 반경 ≥ √λ₀ + 1/√λ₀ ≈ 2.00659를 가져야 한다는 것을 보이는 것.
• 최소 비순환성 전하를 지닌 부호화된 그래프에서 비최소 비순환성 전하를 지닌 부호화된 그래프를 생성하는 점진적 절차를 사용하며, 컴퓨터 검증을 통해 마플 측도를 확인하는 것.
• 기존의 그래프 및 부호화된 그래프 이론(예: Cvetković, Doob, Gutman)을 활용하여 대각선 전하와 음수 간선 부호를 포함하도록 확장하는 것.
• 절댓값이 2 이상인 원소를 가진 행렬은 쉽게 배제 가능하므로, 오직 ±1 원소만을 고려하는 것.

실험 결과

연구 질문

• RQ1 비순환성 정수 대칭 행렬의 마플 측도의 하한은 무엇인가?
• RQ2 스펙트럼 반경이 2.019 미만인 정수 대칭 행렬은 무엇인가?
• RQ3 마플 측도가 1.3 미만인 정수 대칭 행렬은 무엇인가?
• RQ4 최소 비순환성 정수 대칭 행렬은 무엇이며, 어떻게 분류할 수 있는가?
• RQ5 부호화된 그래프와 전하를 지닌 그래프를 사용한 그래프 이론적 접근을 통해 정수 대칭 행렬에 대한 강력한 레이머 문제를 해결할 수 있는가?

주요 결과

• 최소 비순환성 정수 대칭 행렬은 4개의 무한 가닥과 125개의 산발적 예제로 구성되며, 논문에서 완전히 목록화되어 있다.
• 비순환성 정수 대칭 행렬의 마플 측도는 최소한 레이머의 상수 λ₀ ≈ 1.17628이며, 이 경계는 날카로운 것이다.
• 마플 측도가 λ₀에 도달하는 두 번째로 작은 행렬은 전하를 지닌 부호화된 그래프 5u와 5N의 인접 행렬이다.
• 스펙트럼 반경이 2.019 미만인 모든 정수 대칭 행렬은 순환성 행렬이거나, 10개의 특정 값 중 하나의 스펙트럼 반경을 가지며, 그 중 2.00659(그래프 10f에 해당)는 비순환성 행렬에 해당한다.
• 마플 측도가 1.3 미만인 모든 정수 대칭 행렬은 순환성 행렬이거나, 125개의 최소 비순환성 행렬 또는 그 비최소 확장과 동치이며, 모든 비최소 예제들은 점진적 절차를 통해 발견되었다.
• 마플 측도 < 1.3이면서 11개 이상의 정점을 가진 연결된 전하를 지닌 부호화된 그래프는 알려진 목록 외에는 존재하지 않으며, 이러한 모든 그래프는 최소한 하나의 전하를 지닌 정점을 포함한다.