[논문 리뷰] Badly approximable points on non-linear carpets

Roope Anttila, Jonathan M. Fraser외 1명|arXiv (Cornell University)|2026. 03. 12.

Mathematical Dynamics and Fractals인용 수 0

한 줄 요약

이 논문은 좌표 열린 집합 조건(coordinate open set condition) 하에서 비선형 비정형(conformal이 아닌) 카펫의 한 클래스에서 badly approximable 점들이 전체 하우스도르프 차원을 가짐을 증명하고, 이 attractors에 대한 하우스도르프 차원 공식을 제시한다. 또한 적합한 비선형 카펫에 대해 Bad_2와의 교차가 전체 차원을 달성함을 보인다.

ABSTRACT

The badly approximable points in $\mathbb{R}^d$ are those for which Dirichlet's approximation theorem cannot be improved by more than a constant, that is, they are the points most difficult to approximate by rational vectors. An important problem in Diophantine approximation is to determine when the set of badly approximable points intersects a given set in full dimension. We find the first class of non-linear non-conformal attractors for which this full intersection property holds, thus answering a question of Das-Fishman-Simmons-Urbański from 2019. We also provide a formula for the Hausdorff dimension of these attractors which is of independent interest.

연구 동기 및 목표

• 비선형, 비정 conformal fractal attractors와 badly approximable 점이 어떻게 상호 작용하는지 동기를 부여하고 정량화한다.
• Schmidt게임 및 하위 차원 방법을 비선형, 비정형 설정으로 확장한다.
• 연구 대상인 비선형 카펫에 대한 하우스도르프 차원 공식을 제공한다.
• Bad_2가 이러한 카펫과의 교차에서 전체 차원을 달성하는 조건을 확립한다.
• 가능한 경우 결과를 파라볼릭 칸토르 집합과 관련지어 다룬다.

제안 방법

• 좌표 자기-컨포멀 IFS들로 구성된 평면 IFS의 attractor로 비선형 카펫을 정의한다.
• 좌표적으로 내부에서 비선형 카펫을 근사하기 위해 기하학적 Barański-카펫 프레임워크를 사용한다.
• 변분 원리를 증명한다: dim_H(X) = ergodic 측도 μ의 dim_H(μ)의 상계.
• 좌표 OSC 하에서 dim_H(X) = dim_ML(X) = sup{dim_L(X′): X′ ⊂ X}임을 보인다.
• 심볼 공간에서 Bernoulli-측정 최적화를 사용해 차원을 도출하고, 왜곡을 제어하는 bounded distortion 보조 정리를 활용한다.
• Schmidt-game–lower-dimension 접근법을 적용하여 Bad_d와의 교차, 특히 Bad_2와의 교차에 대한 교차 결과를 얻는다.

실험 결과

연구 질문

• RQ1 Schmidt의 게임 방법이 비선형, 비정형 카펫과 교차하는 Bad_2의 전체 차원을 도출할 수 있는가?
• RQ2 좌표 OSC 하에서 이러한 비선형 카펫의 하우스도르프 차원에 대한 정확한 공식은 무엇인가?
• RQ3 수정된 하위 차원이 이러한 카펫의 하우스도르프 차원과 같은가, 어떤 조건에서?
• RQ4 X ∩ Bad_2가 차원_H(X)을 달성하는 구조적 조건(열/행, 초평면 확산성)은 무엇인가?
• RQ5 유사한 방법에서 파라볼릭 칸토르 집합은 어떻게 거동하는가?

주요 결과

• 좌표 OSC를 갖는 비선형 카펫에 대해 dim_H(X) = ergodic μ들의 dim_H(μ)의 상계이다.
• dim_H(X) = dim_ML(X) 및 X′ ⊂ X에 대해 dim_L(X′)의 상계임도 성립한다.
• X가 좌표 OSC를 만족하고 특정 열에 두 개 이상의 사상 및 특정 행에 하나 이상의 사상을 가지면, dim_H(X ∩ Bad_2) = dim_H(X)이다.
• 이 프레임워크는 비선형 카펫을 기호적 Barański 카펫과 연결하여 Bernoulli 측정을 통한 차원 계산을 가능하게 한다.
• 결과는 변분 원리와 서브시스템 근사를 통한 수치 계산에 대한 구성적 접근을 제공한다.
• 또한 이 방법론은 이 방식으로 파라볼릭 칸토르 집합에 대한 통찰을 제공한다.