On the packing dimension of weighted singular matrices on fractals

기술적 요약: 프랙탈 위의 가중 특이 행렬에 대한 포장 차원

문제 제기
본 논문은 행렬 공간 $M_{m \times n}(\mathbb{R})$의 프랙탈 부분집합과 교차된 가중 특이 행렬 집합의 포장 차원을 추정하는 문제를 다룬다.

디오판토스 근사의 맥락에서, 행렬 $\theta$는 주어진 가중치 벡터 $a$와 $b$에 대해 디리클레 정리가 해당 행렬에 대해 무한히 개선될 수 있을 때 $(a, b)$-특이 (singular) 라고 한다. 특이 벡터의 하우스도르프 차원은 (특히 Cheung, Chevallier, Kadyrov, Kleinbock, Lindenstrauss, Margulis 등에 의해) 광범위하게 연구되어 왔으나, 이러한 집합의 포장 차원, 특히 가중치 설정과 프랙탈로 제한된 경우의 차원은 여전히 잘 이해되지 않고 있다. 저자들은 다음과 같은 세 가지 집합에 대한 포장 차원의 첫 번째 알려진 상한을 제공하고자 한다:

1. 가중 특이 행렬 ($Sing(a, b)$).
2. 가중 $\omega$-특이 행렬 ($Sing(a, b, \omega)$).
3. 반복 함수계 (IFS) 로 정의된 프랙탈과 이러한 집합들의 교집합.

방법론
저자들은 동질적 역학 (homogeneous dynamics) 의 방법을 활용하며, 구체적으로 특이 행렬을 단모듈러 격자 공간 $X_{m+n} = SL_{m+n}(\mathbb{R}) / SL_{m+n}(\mathbb{Z})$에서의 발산 궤적과 연결하는 Dani 의 대응을 사용한다.

핵심 기술적 프레임워크는 세 가지 주요 구성 요소로 이루어진다:

1. Dani 의 대응과 발산: 저자들은 행렬의 디오판토스 성질을 대각 흐름 $g_t$ 하의 궤적의 역학적 성질로 변환한다. 행렬이 특이하다는 것은 해당 궤적이 발산함을 의미한다. 또한 저자들은 "평균적으로 특이한" 궤적과 특정 속도로 무한대로 도피하는 궤적도 고려한다.

2. 높이 함수와 수축 가설: 프랙탈 $K$와 교차된 발산 궤적 집합의 차원을 상한하기 위해, 저자들은 격자 공간 위에 높이 함수의 가족 $\{f_\tau\}$를 구성한다. 이러한 함수들은 프랙탈 측도 $\mu$에 대해 "수축 가설"을 만족하도록 맞춤 제작된다.

   • 이 구성은 벡터 공간의 외적 (exterior powers) 에 작용하는 $SL_{m+n}(\mathbb{R})$ 군의 표현에 대한 확장 성질을 확립하는 데 의존한다.
   • 저자들은 Oppenheim 추측에 관한 연구에서 영감을 받은 적분 부등식을 활용하여 프랙탈 측도가 수축 가설을 만족함을 증명한다. 이는 특정 지수 열 $\eta_l$에 대해 흐름 하에서 높이 함수의 적분이 지수적으로 감소함을 증명하는 것을 포함한다.

3. 반복적 차원 상한: 저자들은 수축 가설을 반복적으로 적용한다. 높이 함수가 크게 유지되는 (발산을 나타내는) 집합의 측도를 분석함으로써 포장 차원에 대한 상한을 유도한다. 이 과정은 불균등한 가중치 ($a_i \neq a_j$ 및 $b_i \neq b_j$) 를 처리해야 하므로, 켤레 하에서의 불균등한 확장에 관한 기술적 어려움을 야기한다. 저자들은 원래 측도에 대해서뿐만 아니라 작은 섭동에서 비롯된 측도에 대해서도 수축 가설을 증명함으로써 이를 해결한다.

주요 기여 및 결과

• 일반적 상한: 본 논문은 IFS 의 극한 집합들의 곱이며 열린 집합 조건을 만족하는 $K$에 대해 $Sing(a, b) \cap K$ 및 $Sing(a, b, \omega) \cap K$의 포장 차원에 대한 상한을 확립한다.

  • 상한은 다음과 같이 주어진다:
    $$\dim_P(Sing(a, b) \cap K) \le \dim_P(K) - \frac{1}{a_1 + b_1} \left( \min_{1 \le l \le d-1} \eta_l w_l \right)$$
    여기서 $w_l$은 가중치에서 유도된 임계 지수이며, $\eta_l$은 프랙탈 기하학 (특히 측도의 임계 지수와 관련됨) 에 의존하는 상수이다.

• 명시적 상수: 저자들은 세 가지 특정 경우에 대한 상수 $\eta_l$에 대한 명시적 공식을 제공한다:

  1. 전체 행렬 공간 $K = M_{m \times n}([0, 1])$.
  2. $n=1$인 경우 (행 벡터).
  3. $m=1$인 경우 (열 벡터).
     이러한 경우, 상수는 프랙탈 구성 요소의 차원들로 표현된다.

• 프랙탈로의 확장: 결과는 프랙탈 위의 특이 벡터에 대한 이전 발견들을 일반화한다. 이전 연구 (예: Khalil) 는 열린 집합 조건을 만족하는 $\mathbb{R}^n$의 자기 유사 프랙탈에 대한 하우스도르프 차원의 상한을 제공했으나, 본 논문은 다음과 같은 범위로 확장한다:

  • 가중 특이 행렬.
  • 포장 차원 (일반적으로 하우스도르프 차원보다 크거나 같다).
  • $\mathbb{R}$에서 동일한 수축 비율을 갖는 자기 유사 프랙탈들의 곱.
  • 중간 3 분의 1 칸토르 집합과 중간 5 분의 1 칸토르 집합의 곱과 같은 새로운 예시.

• 임계 지수: 본 논문은 프랙탈 측도와 관련된 "임계 지수" $\zeta_l(\mu)$를 도입하고 분석한다. 이러한 지수들은 특정 초곡면 근처에서의 측도 행동에 대한 정보를 인코딩하며, 차원 감소의 크기를 결정하는 데 중요하다.

의의 및 주장
저자들은 일반적 설정과 프랙탈과 교차된 경우 모두에서 가중 특이 행렬 및 가중 $\omega$-특이 행렬의 포장 차원에 대한 첫 번째 알려진 상한을 제공한다고 주장한다.

• 무가중 설정에서의 참신성: 가중치가 없는 경우에도 행렬에 대한 결과는 새로우며, 중간 3 분의 1 칸토르 집합 내의 특이 쌍에 관한 Bugeaud, Cheung, Chevalier 가 제기한 문제 6 의 알려진 범위를 확장한다.
• 일반화: 결과는 차원 상한이 알려진 프랙탈의 클래스를 확대하여, $\mathbb{R}^n$의 단순한 자기 유사 집합을 넘어 $\mathbb{R}$ 내의 프랙탈들의 곱으로 이동한다.
• 방법론적 기여: 본 논문은 방법론에 대한 두 가지 주요 기여를 강조한다:
  1. 표현에 대한 확장 성질을 증명하는 것을 포함하는 프랙탈 측도에 대한 수축 가설을 만족하는 높이 함수의 구성.
  2. 불균등한 확장의 기술적 어려움을 관리하기 위해 섭동 하의 측도에 대한 신중한 분석이 요구된 반복적 수축 과정에서의 불균등한 가중치 처리.

본 논문은 이러한 상한이 대각 흐름 하에서 궤적이 "평균적으로 도피"하거나 발산하는 단모듈러 격자 공간 위의 점들의 포장 차원에 관한 더 일반적인 정리에서 유도된다고 결론짓는다. 결과는 포장 차원이 하우스도르프 차원의 상한임을 인정하며 상한으로 제시되어, 이러한 디오판토스 집합의 크기에 대한 새로운 제약을 제공한다.