Badly approximable points on non-linear carpets

이 논문은 Das-Fishman-Simmons-Urbański 가 2019 년에 제기한 질문에 답하여, 비선형 비등각적 어트랙터에서 디오판틴 근사의 '나쁘게 근사 가능한 점' 집합이 전 차원 교집합 성질을 가진다는 최초의 예를 제시하고 해당 어트랙터의 하우스도르프 차원에 대한 공식을 유도합니다.

핵심

이 논문은 수학의 한 분야인 **수론 (수학의 기초)**과 **프랙탈 기하학 (복잡한 형태의 구조)**이 만나는 흥미로운 세계를 다룹니다. 전문 용어 대신 일상적인 비유를 사용하여 이 연구의 핵심 내용을 쉽게 설명해 드리겠습니다.

1. 배경: "가장 잡기 힘든 숫자"와 "미세한 구조"

우선, 이 논문이 다루는 두 가지 주요 개념을 이해해야 합니다.

• 나쁜 근사점 (Badly Approximable Points):
  상상을 해보세요. 유리수 (분수) 들이 무수히 많은 점들이 있고, 그 사이사이를 채우는 것이 무리수 (소수점 끝이 무한히 반복되는 숫자) 입니다. 보통 우리는 유리수를 이용해 무리수를 아주 정밀하게 근사 (대략적으로 맞추기) 할 수 있습니다. 하지만 어떤 무리수들은 유독 유리수들이 아무리 노력해도 그 정밀도를 일정 수준 이상으로 높일 수 없는 '고집 센' 숫자들이 있습니다. 이 논문에서는 이런 '가장 잡기 힘든 숫자'들을 나쁜 근사점이라고 부릅니다.

• 비선형 카펫 (Non-linear Carpets):
  프랙탈은 "자기 유사성"을 가진 도형입니다. 예를 들어, 커다란 카펫을 잘라내면 그 조각이 전체와 똑같은 모양을 하고 있고, 그 조각을 또 잘라내도 똑같은 모양이 나오는 구조죠. 보통 이런 카펫은 직선으로만 이루어진 규칙적인 격자 (선형) 형태였습니다. 하지만 이 논문에서 연구자들은 직선이 아닌, 구부러지고 뒤틀린 (비선형) 형태의 카펫을 다룹니다. 마치 정사각형 카펫 대신, 구불구불한 강물이나 나뭇가지처럼 생긴 복잡한 카펫을 상상해 보세요.

2. 연구의 핵심 질문: "잡기 힘든 숫자들이 이 복잡한 카펫에 있을까?"

수학자들은 오랫동안 궁금해했습니다.

"이렇게 구불구불하고 복잡한 (비선형) 카펫 위에, '가장 잡기 힘든 숫자'들이 정말로 충분히 많이 존재할까?"

과거에는 직선으로만 이루어진 단순한 카펫에서는 이 숫자들이 카펫 전체의 '크기 (차원)'만큼 많이 존재한다는 것이 증명되었습니다. 하지만 구부러진 비선형 카펫에서는 어떻게 될지 알 수 없었습니다. 마치 "구부러진 미로 속에 숨겨진 보물이 정말로 미로 전체에 골고루 퍼져 있을까?"를 묻는 것과 같습니다.

3. 이 논문의 발견: "네, 있습니다!"

이 논문 (안틸라, 프레이저, 코이불로 저자) 은 그 답을 '네'라고 증명했습니다.

• 주요 성과 1: 복잡한 구조에서도 보물은 가득하다.
  연구자들은 직선이 아닌, 구부러진 (비선형) 카펫 위에서도 '가장 잡기 힘든 숫자'들이 카펫 전체의 크기에 비례하여 충분히 많이 존재함을 보였습니다. 이는 2019 년에 제기된 수학자들의 오랜 질문을 해결한 것입니다.

• 주요 성과 2: 새로운 측정 도구 개발.
  이 복잡한 카펫의 크기를 재는 새로운 공식을 찾아냈습니다. 기존의 방법으로는 구부러진 구조의 크기를 정확히 잴 수 없었는데, 연구자들은 심볼 (記号) 과 확률을 이용해 이 카펫의 '진짜 크기 (하우스도르프 차원)'를 계산하는 방법을 개발했습니다.

4. 어떻게 증명했을까? (비유로 설명)

연구자들은 다음과 같은 전략을 사용했습니다.

1. 거울 속의 단순한 세계 (심볼 공간):
   복잡한 구부러진 카펫을 직접 분석하기는 너무 어렵습니다. 그래서 연구자들은 이 카펫을 **단순한 직선 격자 (심볼 공간)**로 변환하는 '거울'을 만들었습니다. 이 거울 속에서는 복잡한 구부러짐이 사라지고 규칙적인 직선 카펫처럼 보입니다.

2. 점점 더 작은 조각으로 나누기:
   이 거울 속 카펫을 아주 작은 조각 (서브시스템) 으로 나누어 보았습니다. 아주 작은 조각 안에서는 구부러짐이 거의 직선처럼 보이기 때문에, 기존의 잘 알려진 수학 도구들을 적용할 수 있었습니다.

3. 가장 얇은 부분 찾기 (하위 차원):
   프랙탈 카펫은 두꺼운 부분과 얇은 부분이 섞여 있습니다. 연구자들은 이 카펫에서 가장 얇은 부분을 찾아냈습니다. 만약 이 '가장 얇은 부분'에도 '잡기 힘든 숫자'들이 가득 차 있다면, 전체 카펫에도 당연히 그 숫자들이 가득 차 있다는 결론을 내릴 수 있습니다.

4. 결론:
   구부러진 카펫의 가장 얇은 부분에서도 '잡기 힘든 숫자'들이 충분히 많이 존재함을 증명함으로써, 전체 카펫에서도 마찬가지라는 것을 입증했습니다.

5. 왜 중요한가요?

• 수학적 도전: 이 연구는 '비선형'과 '비정규 (비동일)'한 구조에서도 수론의 중요한 원리가 성립함을 보여주었습니다. 이는 수학의 여러 분야가 서로 연결되어 있음을 보여주는 아름다운 사례입니다.
• 새로운 가능성: 이제 수학자들은 더 이상 직선적인 구조에만 국한되지 않고, 훨씬 더 복잡하고 자연스러운 형태 (나뭇가지, 구름, 해안선 등) 를 가진 도형들 속에서도 수학적 법칙이 어떻게 작동하는지 탐구할 수 있는 길을 열었습니다.

요약

이 논문은 **"구부러지고 복잡한 미로 (비선형 카펫) 속에서도, 가장 찾기 힘든 보물 (나쁜 근사점) 이 미로 전체에 골고루 숨어 있다"**는 것을 증명했습니다. 연구자들은 이를 위해 복잡한 미로를 단순한 지도로 변환하는 새로운 방법을 개발했고, 이는 수학의 새로운 지평을 여는 중요한 성과입니다.

기술 요약

1. 연구 배경 및 문제 제기

• 나쁘게 근사 가능한 점 (Badly Approximable Points, $Bad_d$): 디리클레 근사 정리 (Dirichlet's approximation theorem) 가 상수 배 이상으로 개선될 수 없는 점들입니다. 즉, 유리수 벡터로 근사하기 가장 어려운 점들입니다.
• 주요 문제: 프랙탈 집합 $X$ 위에서 $Bad_d$의 부분집합이 갖는 하우스도르프 차원이 $X$ 전체의 차원과 일치하는지 ($\dim_H(X \cap Bad_d) = \dim_H X$) 확인하는 것입니다. 이는 $X$가 $Bad_d$를 피하도록 특별히 설계되지 않았을 때 성립할 것으로 예상됩니다.
• 기존 연구: 아흐리프스 정규 집합 (Ahlfors regular sets) 이나 특정 선형 비등각 프랙탈 (Bedford-McMullen 카펫 등) 에 대해서는 이 성질이 입증되었습니다. Schmidt 게임 (Schmidt's game) 과 하부 차원 (lower dimension) 을 이용한 접근법이 주된 도구였습니다.
• 해결되지 않은 질문 (Question 1): Das–Fishman–Simmons–Urba´nski 는 "비등각 (non-conformal) 이면서 비선형 (non-linear) 인 동역학 시스템으로 정의된 프랙탈"에서도 Schmidt 게임을 통해 $Bad_d$가 전체 차원을 가질 수 있는지를 물었습니다. 기존 연구는 선형 (affine) 시스템에 국한되어 있었습니다.

2. 연구 대상 및 설정

저자들은 **비선형 카펫 (Non-linear carpets)**이라는 새로운 집합 클래스를 정의하고 연구합니다.

• 정의: 2 차원 평면 위의 어트랙터로, 두 개의 좌표 방향 (x, y) 에 대해 각각 비선형 자기준형 (self-conformal) IFS(반복함수계) 를 사용하여 정의됩니다.
  • 좌표 IFS: $(f_i)_{i \in \Lambda_1}$와 $(g_j)_{j \in \Lambda_2}$는 $[0, 1]$에서 정의된 $C^{1+\alpha}$ 균일 축소 사상입니다.
  • 평면 IFS: $S_{i,j} = (f_i, g_j)$로 정의되며, $\Lambda \subset \Lambda_1 \times \Lambda_2$인 부분 집합에 대해 작용합니다.
• 조건: 좌표 방향의 IFS 들이 **열린 집합 조건 (OSC, Open Set Condition)**을 만족한다고 가정합니다. 이는 비선형 카펫이 격자 구조를 가지도록 하여 분석을 가능하게 합니다.
• 특징: Bedford-McMullen 카펫 (선형 비등각) 의 비선형 일반화 버전으로 볼 수 있으며, 비등각성 (anisotropy) 과 비선형성을 동시에 가집니다.

3. 방법론 (Methodology)

논문은 다음과 같은 수학적 도구와 전략을 사용합니다.

1. 기호 공간 (Symbolic Spaces) 과 근사:

   • 비선형 시스템을 분석하기 위해 **기호 공간 (symbolic spaces)**을 도입합니다.
   • 비선형 카펫을 내부에서 **기호 Bara´nski 카펫 (Symbolic Bara´nski carpets)**의 사영으로 근사합니다. 이는 선형 자기어핀 (self-affine) 이론의 도구를 비선형 설정에 적용할 수 있게 합니다.
   • 유계 왜곡 (Bounded Distortion) 성질을 이용하여, 깊은 반복 (deep iterates) 을 통해 생성된 부분 시스템들이 점근적으로 자기어핀 집합처럼 행동함을 보입니다.

2. 변분 원리 (Variational Principle):

   • 하우스도르프 차원을 계산하기 위해, 에르고드 측정 (ergodic measures) 의 차원 최대값을 구하는 변분 원리를 증명합니다.
   • Bernoulli 측정을 구성하여 차원을 점근적으로 접근합니다.

3. 수정된 하부 차원 (Modified Lower Dimension, $\dim_{ML}$):

   • 일반적인 하부 차원 ($\dim_L$) 은 비선형 왜곡에 의해 불안정할 수 있어, 집합의 부분집합 중 가장 큰 하부 차원을 갖는 값을 정의한 수정된 하부 차원을 사용합니다.
   • $\dim_H(X \cap Bad_d) \ge \dim_{ML} X$임을 보이는 것이 핵심 전략입니다. 이를 위해 초평면 확산성 (hyperplane diffusivity) 조건을 만족하는 부분집합을 구성합니다.

4. Schmidt 게임:

   • 집합이 초평면 확산성을 가지면, Schmidt 게임을 통해 그 집합과 $Bad_d$의 교집합이 전체 차원을 가짐을 보입니다 (Proposition 1.1).

4. 주요 결과 (Key Results)

논문은 세 가지 주요 정리를 증명합니다.

• Theorem 2.1 (하우스도르프 차원 변분 원리):

  • 좌표 OSC 를 만족하는 비선형 카펫 $X$에 대해, 그 하우스도르프 차원은 에르고드 측정들의 하우스도르프 차원의 상한과 같습니다.
  • $\dim_H X = \sup \{ \dim_H \mu : \mu \text{ is ergodic} \}$.
  • 이는 고차원 자기어핀 시스템에서는 일반적으로 성립하지 않지만, 이 비선형 설정에서는 성립함을 보였습니다.

• Theorem 2.2 (수정된 하부 차원):

  • 비선형 카펫 $X$에 대해 하우스도르프 차원과 수정된 하부 차원이 일치합니다.
  • $\dim_H X = \dim_{ML} X$.
  • 이는 비선형 왜곡이 하부 차원에 미치는 영향을 제어하여, 차원을 최대화하는 측정들이 "우세 (dominated)"한 부분 시스템을 형성할 수 있음을 보여줍니다.

• Theorem 2.3 (나쁘게 근사 가능한 점의 전체 차원):

  • 주요 결론: 비선형 카펫 $X$가 좌표 OSC 를 만족하고, 적어도 하나의 열 (column) 과 하나의 행 (row) 에 2 개 이상의 사상이 존재하면, $Bad_2$와의 교집합이 전체 하우스도르프 차원을 가집니다.
  • $\dim_H(X \cap Bad_2) = \dim_H X$.
  • 이는 Das–Fishman–Simmons–Urba´nski 의 질문 (Question 1) 에 대한 긍정적 답변입니다. 즉, 비선형이면서 비등각인 시스템에서도 Schmidt 게임을 적용할 수 있음을 입증했습니다.

5. 부수적 결과 및 의의

• 차원 공식: 비선형 카펫의 하우스도르프 차원을 최적화 문제의 극한으로 표현하는 공식을 제시했습니다 (Theorem 4.2). 이는 수치적 계산에도 활용 가능할 것으로 기대됩니다.
• 포물선 칸토르 집합 (Parabolic Cantor Sets): 5 장에서는 비균일 축소 (non-uniformly contracting) 를 갖는 포물선 칸토르 집합에 대해서도 유사한 접근법 ($\dim_H(X \cap Bad) = \dim_H X$) 이 성립함을 보였습니다 (Proposition 5.1).
• 의의:
  1. 이론적 돌파구: Diophantine 근사 이론과 프랙탈 기하학의 교차점에서, 비선형 비등각 시스템에 대한 첫 번째 완전한 결과를 제공합니다.
  2. 방법론적 발전: 비선형 시스템의 차원 분석을 위해 기호 공간 근사와 수정된 하부 차원을 결합한 새로운 기법을 제시했습니다.
  3. 질문 해결: 2019 년에 제기된 중요한 미해결 문제를 해결하여, Schmidt 게임의 적용 범위를 확장했습니다.

요약

이 논문은 비선형 비등각 카펫이라는 새로운 프랙탈 클래스를 정의하고, 이 집합 위에서 나쁘게 근사 가능한 점들이 전체 하우스도르프 차원을 가진다는 것을 증명했습니다. 이를 위해 기호 공간 근사, 변분 원리, 그리고 수정된 하부 차원을 활용한 정교한 기법을 개발했으며, 이는 Diophantine 근사 이론과 프랙탈 기하학 분야에서 중요한 진전을 이룬 것으로 평가됩니다.