비근사성, 비율 제한과 디오판틴 지수의 관계

초록

이 논문은 실수 행렬의 최적 근사 벡터 열에서 나타나는 인덱스 비율 (X_{i+1}/X_i)와 (L_i/L_{i+1})의 유계성이 행렬의 나쁜 근사성(bad approximability)과 디오판틴 지수 (\omega(\xi),\hat\omega(\xi))에 미치는 영향을 조사한다. 특히 (2\times2) 행렬에 대해 두 비율이 동시에 유계이면 (\hat\omega(\xi)\le 4/3)임을 보이며, 이 경계가 최적임을 입증한다.

상세 분석

논문은 먼저 전통적인 디오판틴 근사 이론을 정리하고, “최선 근사 벡터” (\mathbf x_i\in\mathbb Z^{m+n}) 의 크기 (X_i=|\mathbf x_i|)와 잔차 (L_i=|\xi\mathbf x_i|) 가 각각 단조 증가·감소한다는 기본 성질을 이용한다. 여기서 (m)은 열 차원, (n)은 행 차원이다. 저자들은 세 가지 핵심 속성을 정의한다. (A) (\xi)가 나쁜 근사성, (B) 비율 (X_{i+1}/X_i)가 유계, (C) 비율 (L_i/L_{i+1})가 유계. 기존 연구에서는 (m=1) 혹은 (n=1)인 경우 (A)와 (B) 혹은 (A)와 (C)가 서로 동치임을 알고 있었으며, 반대 방향의 함의는 일반적으로 성립하지 않는다.

이 논문은 이러한 관계를 전 차원으로 확장하고, 특히 (B)와 (C)만 동시에 만족하면서 (A)를 만족하지 않는 행렬이 존재함을 보인다. 이를 위해 파라메트릭 기하학(parametric geometry of numbers, PGN)의 변분 원리를 활용한다. PGN은 (\psi)-함수와 그라디언트 흐름을 통해 근사 지수의 상한·하한을 정밀히 제어할 수 있게 해 주며, 여기서 저자들은 “다중 그래프” 구조를 도입해 원하는 비율 제한을 만족하는 (\xi)를 구축한다.

주요 결과는 다음과 같다.

1. 모든 (m,n\ge1)에 대해 (A)⇒(B),(C)이며, (m=1)이면 (B)⇒(A),(C), (n=1)이면 (C)⇒(A),(B)가 성립한다.
2. (m,n\ge2)인 경우 (B)와 (C)만 만족하고 (A)를 만족하지 않는 행렬이 존재하고, 그 집합은 전체 차원 (mn)의 하우스도프 차원을 가진다.
3. (m+n=3)인 경우, (C) 혹은 (B) 중 하나만 만족하면 행렬은 특이(singular)하지 않으며, 따라서 (\hat\omega(\xi)=\frac12) 혹은 (2)가 된다.
4. 일반적인 (m,n)에 대해 (B)만 만족하는 경우 (\omega(\xi))는 최소 (mn)까지 임의로 크게 만들 수 있다. (C)만 만족하면 (\omega(\xi))는 (