[논문 리뷰] Absolute Continuity of Self Similar Measures

Samuel Kittle|arXiv (Cornell University)|2021. 03. 23.

Mathematical Dynamics and Fractals참고 문헌 12인용 수 5

한 줄 요약

이 논문은 엔트로피와 마플러 측도를 활용하여 자기유사 측도, 특히 베르누이 복합체가 절대연속임을 보장하는 충분조건을 설정한다. 만약 대수적 매개변수 λ가 그의 마플러 측도와 가르시아 엔트로피를 포함하는 특정 부등식을 만족하면, 해당 베르누이 복합체는 절대연속임을 증명한다. 이는 λ ≈ 0.782일 때에도 성립하며, 이는 이전의 예제들보다 훨씬 큰 값이다.

ABSTRACT

We prove that a self similar measure is absolutely continuous providing that it satisfies a condition depending on its Garsia entropy, contraction ratio, and the separation between different points in approximations of the self similar measure. In the special case of Bernoulli convolutions this paper gives a sufficient condition for the Bernoulli convolution with parameter lambda to be absolutely continuous in terms of lambda and its Mahler measure.

연구 동기 및 목표

• 자기유사 측도의 절대연속성에 대한 일반적인 충분조건을 엔트로피와 분리 성질의 상호작용을 통해 수립하기.
• 기존의 베르누이 복합체 결과를 확장하여, 측도가 절대연속이 되는 명시적인 매개변수 λ ∈ (1/2, 1)를 규명하기.
• 1차원 시스템의 곱이 아닌 R² 내 절대연속 자기유사 측도의 예를 제시하기.
• 이전의 경계를 개선하기 위해, 1에 가까운 매개변수 외의 λ를 사용한 예시를 구성함으로써, 절대연속성이 오직 1에 가까운 매개변수에서만 성립한다는 가정에 도전하기.

제안 방법

• λ의 마플러 측도, 그의 가르시아 엔트로피, 반복함수계 내의 지수적 분리 성질 간의 상호작용에 기반한 기준을 도입한다.
• 소규모 척도에서 측도의 세부 정보에 대한 엔트로피 기반의 경계를 사용하여 겹침을 통제하고 절대연속성을 보장한다.
• log M_λ, log 2, 및 λ를 포함하는 함수적 부등식을 적용하여 절대연속성을 결정하는 임계 함수 F(λ)를 유도한다.
• 특히 Z[i] 내 이상의 성질을 활용한 대수적 수론을 통해 R² 내 곱이 아닌 구조를 가진 예를 구성한다.
• Z[i]에서의 모듈로 산술을 사용하여 IFS 내 정확한 겹침이 없음을 증명함으로써, 엔트로피 조건이 날카로움을 보장한다.
• 호크만의 차원 결과를 기초로 삼되, 새로운 기준 하에 절대연속성으로 확장한다.

실험 결과

연구 질문

• RQ1 매개변수 λ가 어떤 조건을 만족할 경우, 베르누이 복합체 측도가 절대연속이 되는가?
• RQ2 이러한 절대연속성 기준은 베르누이 복합체를 초월하여 일반 자기유사 측도로도 확장될 수 있는가?
• RQ3 1에 가까운 값이 아닌 명시적인 대수적 매개변수 λ ∈ (1/2, 1) 중에서 베르누이 복합체가 절대연속이 되는 경우가 존재하는가?
• RQ4 엔트로피와 산술 조건을 활용하여 R² 내 곱이 아닌 자기유사 측도의 절대연속성을 입증할 수 있는가?
• RQ5 새로운 기준 하에서, 베르누이 복합체가 증명적으로 절대연속이 되는 최소 λ는 얼마인가?

주요 결과

• 논문은 대수적 λ를 갖는 베르누이 복합체가 다음 부등식을 만족할 경우 절대연속임을 입증한다: (log M_λ − log 2)(log M_λ)² < (1/27)(log M_λ − log λ⁻¹)³ λ².
• 이 방법을 통해 증명 가능한 절대연속성의 최소 λ는 약 0.78207이며, 이는 최소 다항식 X⁸ − 2X⁷ − X + 1을 가진다.
• 모든 n ≥ 8에 대해, Xⁿ − 2Xⁿ⁻¹ − X + 1의 (1/2, 1) 내에 근이 존재하며, 이에 대응하는 베르누이 복합체는 절대연속이다.
• R²에서 복소 곱셈과 Z[i] 내 이상을 활용하여, 곱이 아닌 자기유사 측도를 구성하였으며, 이는 α = (p−1+i)/p (p ≡ 3 mod 4인 소수)와 같은 매개변수를 포함한다.
• m = p² − 1 이고 p ≥ 7, p ≡ 3 mod 4 이면, 정리 6.6의 기준이 충족되어 해당 측도의 절대연속성이 보장된다.
• 임계 함수 F(λ)는 λ → 1일 때 F(λ) → 2.054이며, F(λ) > 2를 만족한다. 이는 λ가 0, ±1 계수 다항식의 근이 되지 않아야 한다는 조건으로 인해 필수적이다.