[논문 리뷰] Ubiquitous systems and metric number theory

Arnaud Durand|ArXiv.org|2007. 09. 22.

Mathematical Dynamics and Fractals참고 문헌 17인용 수 3

한 줄 요약

이 논문은 비균일 디오판틴스 추측 조건으로 정의된 집합—특히 반경이 거듭승 $ t \geq 1 $ 으로 승수된 구들의 가족에 의해 근사되는 $ \mathbb{R}^d $ 내 점들—이 가이드 함수 $ h $ 에 대해 대칭성의 큰 교차 성질을 갖는 클래스 $ \mathrm{G}^{h}(\mathbb{R}^d) $ 에 속한다는 것을 입증한다. 이는 기저 가족이 이질적 구조 시스템을 이룰 경우에 성립한다. 주요 결과는 이러한 집합이 영점 근처에서 $ h $ 보다 더 빠르게 증가하는 모든 가이드 함수 $ g $ 에 대해 무한한 하우스도르프 $ g $-측도를 갖는다는 것이다. 이는 메트릭 수론에서의 고전적 결과를 일반화한다.

ABSTRACT

We investigate the size and large intersection properties of $$E_{t}=\{x\in\R^d \:|\: \|x-k-x_{i}\|0$. We establish that the set $E_{t}$ belongs to the class $\grint^h(\R^d)$ of sets with large intersection with respect to a certain gauge function $h$, provided that $(x_{i},r_{i})_{i\in I}$ is a heterogeneous ubiquitous system with respect to $μ$. In particular, $E_{t}$ has infinite Hausdorff $g$-measure for every gauge function $g$ that increases faster than $h$ in a neighborhood of zero. We also give several applications to metric number theory.

연구 동기 및 목표

• 비균일 디오판틴스 추측에 의해 정의된 $ \mathbb{R}^d $ 내 집합의 크기 및 큰 교차 성질을 특성화하는 것.
• 균일한 근사 설정에서 하우스도르프 차원과 측도에 대한 고전적 결과를 이질적 구조 시스템을 포함하는 더 일반적인 설정으로 확장하는 것.
• 적절한 가이드 함수 $ h $ 에 대해 $ t $-근사 가능한 점들의 집합 $ E_t $ 가 클래스 $ \mathrm{G}^{h}(\mathbb{R}^d) $ 에 속한다는 것을 증명하는 것. 이는 더 빠르게 증가하는 $ g $ 에 대해 무한한 $ g $-측도를 암시한다.
• 이 틀을 구체적인 수론적 설정에 적용하는 것—예를 들어 분자와 분모가 모두 소수인 유리수, 그리고 자릿수 빈도가 제약을 받는 수들.

제안 방법

• 논문은 Borel 측도 $ \mu $ 와 지수 $ \alpha $ 에 대해 이질적 구조 시스템의 개념을 사용한다. 여기서 중심이 $ x_i $ 에 있는 구들의 $ \mu $-질량이 $ r_i^\alpha $ 와 같이 행동한다.
• 집합 $ E_t = \{x \in \mathbb{R}^d \mid \|x - k - x_i\| < r_i^t \text{ for infinitely many } (i,k)\} $ 를 도입하여, 고전적 근사 집합을 일반화한다.
• 주요 기술적 도구는 시스템의 차원과 성장 조건에서 유도된 적절한 가이드 함수 $ h_{\beta, \varphi} $ 를 구성하는 것으로, 이는 클래스 $ \mathrm{G}^h(\mathbb{R}^d) $ 를 정의한다.
• 레마들을 사용하여, 전개에서 자릿수 또는 부분분수의 渐近 빈도에 기반하여 구의 측도를 제어한다.
• 증명은 유사변환과 가산 교차에 대해 큰 교차 클래스의 불변성과 이차 큐브 및 빈도 조건에 기반한 커버링 추론을 활용한다.
• 이 틀은 세 가지 경우에 적용된다: 분자와 분모가 모두 소수인 유리수, 확률 벡터 $ \pi $ 로 제약을 받는 자릿수 빈도를 갖는 수, Birkhoff 유형 조건을 만족하는 부분분수를 갖는 수.

실험 결과

연구 질문

• RQ1 어떤 조건에서 $ \mathbb{R}^d $ 내 $ t $-근사 가능한 점들의 집합 $ E_t $ 가 모든 $ g \prec h $ 에 대해 무한한 하우스도르프 $ g $-측도를 갖는가?
• RQ2 어떤 조건에서 색인 $ i \in I^{\mu,\alpha} $ 에 의해 인덱싱된 구들의 가족이 측도 $ \mu $ 에 대해 이질적 구조 시스템을 이룰 수 있는가?
• RQ3 집합 $ E_t $ 의 큰 교차 성질은 반경 $ r_i $ 의 성장률과 중심 $ x_i $ 의 분포에 어떻게 의존하는가?
• RQ4 큰 교차 클래스 $ \mathrm{G}^h(\mathbb{R}^d) $ 는 메트릭 수론에서 근사 집합의 크기에 대한 고전적 결과를 어떻게 정교화할 수 있는가?
• RQ5 자릿수 빈도 또는 부분분수 제약 조건은 큰 교차 클래스에 대한 가이드 함수 $ h $ 를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 이질적 구조 시스템의 가정 하에 $ t > 1 $ 이면 $ h = h_{\beta/t, 2\varphi + \phi/(1+d)} $ 이고 $ t = 1 $ 이면 $ h = h_{\beta, \varphi} $ 인 가이드 함수 $ h $ 에 대해 집합 $ E_t $ 는 클래스 $ \mathrm{G}^{h}(\mathbb{R}^d) $ 에 속한다.
• 모든 $ g \prec h $ 인 가이드 함수 $ g $ 에 대해 $ E_t $ 의 하우스도르프 $ g $-측도는 무한하다. 이는 메트릭 이론의 관점에서 최대 크기를 의미한다.
• 분자와 분모가 모두 소수인 유리수에 의한 $ \tau $-근사 가능한 수들의 집합 $ J^\mathbb{P}_\tau $ 는 $ h $ 가 $ \sum_q h(q^{-\tau}) q / (\log q)^2 = \infty $ 를 만족할 경우 $ \mathrm{G}^h(\mathbb{R}) $ 에 속한다.
• 확률 벡터 $ \pi $ 로 제약을 받는 자릿수 빈도를 갖는 수들에 대해 집합 $ E^\mathrm{Dev}_t $ 는 $ \mathrm{G}^{h_{\beta,\varphi}}((0,1)^d) $ 에 속하며, 여기서 $ h_{\beta,\varphi} $ 는 엔트로피와 빈도 편차에 따라 달라진다.
• Birkhoff 유형 조건을 만족하는 부분분수를 갖는 수들에 대해 집합 $ E^\mathrm{Bir}_t $ 는 $ \mathrm{G}^{h_{\beta/t, 2\varphi + \phi}}((0,1)^d) $ 에 속하며, 여기서 $ \phi $ 는 Birkhoff 합의 성장과 관련된다.
• 이 틀은 이전의 하우스도르프 측도 및 차원에 대한 결과들을 통합하고 일반화한다. 이는 Jarník의 정리와 Falconer의 큰 교차 성질을 포함한다.