[논문 리뷰] On the exceptional set for absolute continuity of Bernoulli convolutions

Pablo Shmerkin|arXiv (Cornell University)|2013. 03. 16.

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

한 줄 요약

이 논문은 (1/2, 1) 내의 예외적 매개변수 λ ∈ (1/2, 1) 중에서 베르누이 복합체가 특이성이 되는 집합이 허스트로프 차원이 0임을 증명하며, 이를 편향된 베르누이 복합체 및 동차 자기유사 측도의 복합체로 확장한다. 증명은 자기유사 측도의 푸리에 감쇠, 복합체의 차원 결과 및 새로운 복합체 분해를 바탕으로 하며, 전체 차원을 가진 측도와 거듭제곱 푸리에 감쇠를 가지는 측도를 분리함으로써 초임계 영역에서 절대연속성에 대한 예외적 집합이 0차원이 됨을 도출한다.

ABSTRACT

We prove that the set of exceptional $λ\in (1/2,1)$ such that the associated Bernoulli convolution is singular has zero Hausdorff dimension, and likewise for biased Bernoulli convolutions, with the exceptional set independent of the bias. This improves previous results by Erdös, Kahane, Solomyak, Peres and Schlag, and Hochman. A theorem of this kind is also obtained for convolutions of homogeneous self-similar measures. The proofs are very short, and rely on old and new results on the dimensions of self-similar measures and their convolutions, and the decay of their Fourier transform.

연구 동기 및 목표

• 매개변수 λ ∈ (1/2, 1) 중에서 관련 베르누이 복합체가 절대연속이 아닌 특이성이 되는 집합의 크기를 규명하는 것.
• 이 결과를 편향된 베르누이 복합체 및 동차 자기유사 측도의 복합체로 확장하여, 편향이나 측도 구조와 관계없이 예외적 집합이 여전히 0차원임을 보이는 것.
• 초임계 영역(유사성 차원 > 1)에서 특이 측도를 유도하는 매개변수 집합이 허스트로프 차원이 0임을 증명하여 이전 결과보다 개선된 결과를 도출하는 것.
• 자기유사 측도의 차원과 푸리에 감쇠에 관한 기존 결과를 통합하고 단순화하기 위해, 서로 다른 역동적 행동을 분리하는 복합체 분해를 구성하는 것.

제안 방법

• 베르누이 복합체를 두 측도의 복합체로 분해: 하나는 0차원 예외 집합 외에 전체 허스트로프 차원을 가지며, 다른 하나는 0차원 예외 집합 외에 거듭제곱 푸리에 감쇠를 가짐.
• 초임계 영역에서 자기유사 측도의 차원에 관한 알려진 결과를 활용하여, 측도의 차원이 0차원 예외 집합 외에는 1(즉, 전체 차원)임을 보임.
• 에르되시와 카한의 고전적 결과를 활용하여, 자기유사 측도의 푸리에 변환이 수축 비율의 0차원 집합 외에서는 거듭제곱으로 감쇠함을 보임.
• 복합체 구조의 추론을 적용: μ * ν가 절대연속이고 μ가 전체 차원을 가진다면, 적절한 조건 하에서 μ * ν가 절대연속성을 유지함을 보이며, 이를 레이마 2.1로 형식화함.
• 차원과 푸리에 감쇠에 대한 예외 집합이 0차원이며, 대수적 연산(예: λ ↦ λ^k)에 대해 닫혀 있으므로, k에 대한 그들의 합집합 역시 0차원임을 이용함.
• 해석적 의존성을 가지는 IFS의 매개변수 가중 가중치 가족에 대한 정리 3.1을 적용하여, 매개변수 공간에서의 차원 결과가 0차원 예외 집합 외에 성립함을 보장함.

실험 결과

연구 질문

• RQ1 베르누이 복합체가 특이성이 되는 매개변수 λ ∈ (1/2, 1) 집합의 허스트로프 차원은 얼마인가?
• RQ2 편향된 베르누이 복합체에서 절대연속성에 대한 예외 집합이 편향과 무관하게 0차원임을 보일 수 있는가?
• RQ3 동차 자기유사 측도 두 개의 복합체에서 절대연속성에 대한 예외 집합은 매개변수에 대해 0차원인가?
• RQ4 복합체와 푸리에 감쇠 기법을 사용하여 초임계 영역에서 절대연속성에 대한 예외 집합을 이전의 전 또는 양의 차원에서 0차원으로 줄일 수 있는가?

주요 결과

• 베르누이 복합체가 특이성이 되는 λ ∈ (1/2, 1) 집합의 허스트로프 차원은 0이다.
• 편향된 베르누이 복합체의 경우, 특이 측도를 유도하는 매개변수의 예외 집합은 편향과 무관하게 허스트로프 차원이 0이다.
• 동차 자기유사 측도의 복합체에서 절대연속성에 대한 예외 집합 역시 허스트로프 차원이 0이며, 측도가 동일하지 않은 경우에도 성립한다.
• 증명은 전체 차원을 가진 측도와 거듭제곱 푸리에 감쇠를 가지는 측도의 복합체로 측도를 분해하는 데 기반하며, 이 두 측도 모두 0차원 예외 집합 외에서는 잘 행동함을 보임.
• 초임계 영역(유사성 차원 > 1) 전역에서 이 결과는 일관되게 성립하며, 예외 집합은 가산 개의 0차원 집합의 합집합이므로 스스로 0차원이다.