두 차원 가중 비근사 벡터의 하우스도르프 차원 완전 해석

초록

본 논문은 가중 파워‑법칙 근사함수 (ψ_i(q)=q^{-τ_i}) ( (τ_1≥τ_2>0,;τ_1+τ_2>1) )에 대해, 두 차원 가중 비근사 집합 (\mathcal B_2(Ψ_{\boldsymbol τ}))의 국소 하우스도르프 차원을 정확히 구한다. 모든 구 (B\subset

상세 분석

논문은 먼저 전통적인 디오판틴 근사 이론을 정리하고, 가중 파워‑법칙 (\psi_i(q)=q^{-τ_i})에 대한 기존 결과를 정리한다. (\sigma=τ_1+τ_2)가 1 이하이면 Dirichlet 정리로 (\mathcal B_2(Ψ_{\boldsymbol τ})=\varnothing)임을 보이고, (\sigma=1)에서는 Schmidt이 전역 차원 (2)를 얻는다. (\sigma>1) 구간에서는 Rynne‑Dickinson, Wang‑Wu, 그리고 Koivusalo 등(무가중) 의 결과를 인용해 (\dim_{\mathcal H}\mathcal A_2(Ψ_{\boldsymbol τ}))가 (\min{(3+τ_1-τ_2)/(1+τ_1),,3/(1+τ_2)})임을 확인한다.

핵심은 (\mathcal B_2(Ψ_{\boldsymbol τ}))의 차원을 (\mathcal A_2)와 동일하게 만드는 하위 집합을 직접 구성하는 것이다. 이를 위해 저자는 세 단계의 Cantor‑구조를 만든다.

1. (C_{\tau}(N))의 정의: 적절한 정수 (N)와 파라미터 (\rho=(\rho_1,\rho_2)) ((\rho_1+\rho_2=3,;\rho_1≥\rho_2,;1+τ_i-ρ_i>0))를 선택하고, 단위 정사각형을 (\rho)‑비율에 따라 격자화한다. 각 격자 셀 안에 존재하는 유리점들을 한 차원 평면(선) 위에 모이게 하는 Simplex Lemma을 이용해, 해당 평면의 (\delta)-이웃을 차례로 제거한다. 이렇게 하면 최종 집합 (C_{\tau}(N))는 모든 유리점 (p/q)에 대해 (\Delta(p/q,,c(N)q^{-1-τ}))와 겹치지 않는다. 즉, (C_{\tau}(N)\subset A_2(c(N)Ψ_{\tau})^c).

2. 선도 유리점(leading rationals)의 추출: 제거 과정에서 남은 격자 셀들의 경계에 해당하는 유리점들을 “선도 유리점”이라 정의하고, 이들의 분포와 거리 관계를 정밀히 제어한다. 특히, 각 단계 (n)에서 선택된 선도 유리점들은 분모가 (N^n) 정도이며, 그 주변의 제거 폭은 (\delta(n))와 정확히 맞물린다.

3. Cantor 집합 (D_{\varepsilon}(B))의 구축: 임의의 구 (B)와 작은 (\varepsilon>0)에 대해, 선도 유리점들의 계층적 구조를 이용해 (B\cap C_{\tau}(N)) 안에 또 다른 Cantor 집합을 만든다. 이때 각 단계에서 선택되는 셀의 개수와 크기는 (\rho)와 (\tau)에 의해 결정되며, 최종적으로
   \