[논문 리뷰] On the dimension of Bernoulli convolutions for all transcendental parameters

Péter P. Varjú|arXiv (Cornell University)|2018. 10. 21.

Mathematical and Theoretical Analysis인용 수 51

한 줄 요약

이 논문은 (1/2, 1) 범위의 모든 초월 매개수 λ에 대해 베르누이 병합 측도 νλ의 차원이 정확히 1임을 증명한다. 대수적 수에서 다항식의 값을 평가하는 데 사용되는 추정과 전이성 성질을 활용하여, 차원이 1보다 작은 매개수의 집합이 가 SCH 수임을 보이며, 초월 λ에 대한 오랜 동안의 추측을 해결하고 하크만의 결과를 패킹 차원에서의 가산성으로 확장한다.

ABSTRACT

The Bernoulli convolution $ u_\lambda$ with parameter $\lambda\in(0,1)$ is the probability measure supported on $\mathbf{R}$ that is the law of the random variable $\sum\pm\lambda^n$, where the $\pm$ are independent fair coin-tosses. We prove that $\dim u_\lambda=1$ for all transcendental $\lambda\in(1/2,1)$.

연구 동기 및 목표

• 모든 초월 매개수 λ ∈ (1/2, 1)에 대해 베르누이 병합의 차원이 1인지 여부를 해결하는 것.
• dim νλ < 1인 매개수 λ ∈ (1/2, 1)의 집합이 가산임을 보여주는 것. 이는 하크만의 결과(이 집합의 패킹 차원과 하우스도르프 차원이 0임)를 향상시키는 것이다.
• 자기유사 측도에 대한 일반적인 추측—차원이 유사성 차원과 같고, 정확한 겹침이 발생하지 않는 한—을 초월 매개수에 대해 증명함으로써 베르누이 병합에까지 확장하는 것.
• 계수 집합 {−1, 0, 1}을 가진 다항식이 대수적 수 근처에서 평가될 때 |P(λ)|에 대한 효과적인 하한을, 마라르 측도와 차수에 따라 제어함으로써 설정하는 것.
• 가르시아, 솔로미악, 하크만, 브로이아르드–바르주 등 이전 결과를 통합하여, 다항식 근사와 엔트로피 추정을 활용한 모순 증명을 통해 차원 1 결과를 증명하는 것.

제안 방법

• 다항식의 계수 집합이 {−1, 0, 1}이고 대수적 λ에 대해 |P(λ)|의 하한을 마라르 측도와 차수에 기반하여 도출하기 위해 정리 4(Garsia 유형의 |P(λ)| 하한)를 사용하는 것.
• 전이성 성질(정리 5)을 적용하여 계수 집합 {−1, 0, 1}을 가진 다항식이 δ-전이성 구간에서 최대 하나의 근만 가지도록 보장함으로써, 영점 집합을 제어하는 것.
• 모든 큰 척도에서의 다항식 근사(정리 6)를 활용하여, 계수 집합 {−1, 0, 1}을 가진 다항식 P를 구성함으로써, dim νξ < 1인 대수적 ξ 근처의 λ에 대해 |P(λ)| < (20M)−n 이 되도록 하는 것.
• 자르기 적용된 베르누이 병합 근사(정리 7)를 사용하여, 근사 대수적 수 ξ > 2−2/3 인 경우를 다루며, 동일한 모순 전략을 적용할 수 있도록 하는 것.
• 모순 증명: 초월 λ에 대해 dim νλ < 1이라 가정하면, dim νξ < 1이고 |λ − ξ| ≤ exp(−d²)를 만족하는 대수적 ξ가 존재하게 되며, 이는 새로운 하한(정리 12)과 모순된다.
• Breuillard–Varjú(정리 11)의 결과와 Garsia–Hochman 엔트로피 이론을 활용하여 마라르 측도를 제어하고, d에 관계없이 M(ξ)에 대한 균일한 상한을 확보하는 것.

실험 결과

연구 질문

• RQ1 모든 초월 매개수 λ ∈ (1/2, 1)에 대해 dim νλ = 1이 성립하는가?
• RQ2 dim νλ < 1인 매개수 λ ∈ (1/2, 1)의 집합은 가산적인가?
• RQ3 자기유사 측도에 대한 일반 추측—차원이 유사성 차원과 같고, 정확한 겹침이 발생하지 않는 한—은 베르누이 병합에 대해서도 검증될 수 있는가?
• RQ4 계수 집합 {−1, 0, 1}을 가진 다항식이 대수적 수 근처에서 평가될 때, 마라르 측도와 차수에 따라 |P(λ)|에 효과적인 하한을 설정할 수 있는가?
• RQ5 Garsia 엔트로피와 마라르 측도는 대수적 λ에 대해 νλ의 차원을 결정하는 데 어떤 역할을 하는가?

주요 결과

• 모든 초월 매개수 λ ∈ (1/2, 1)에 대해 베르누이 병합 측도 νλ의 차원이 정확히 1임을 증명하여, 분수기하학 분야에서 오랫동안 남아있던 주요 열린 문제를 해결한다.
• dim νλ < 1인 매개수 λ ∈ (1/2, 1)의 집합이 가산임을 보이며, 이는 하크만의 결과(이 집합의 패킹 차원과 하우스도르프 차원이 0임)를 크게 강화한 것이다.
• 자기유사 측도에 대한 일반 추측은 베르누이 병합에 대해서도 확인된다: dim νλ = 1이며, 정확한 겹침이 발생하지 않는 한, 이는 모든 초월 매개수에 대해 성립한다.
• 새로운 효과적인 하한이 확립된다: 임의의 차수 ≤d, 마라르 측도 ≤M인 대수적 ξ에 대해, 모든 n > 10d log d에 대해, 계수 집합 {−1, 0, 1}을 가진 차수 ≤n인 모든 다항식 P와 모든 λ에 대해, (5M)−n ≤ |λ − ξ| ≤ (5M)−n+1 를 만족할 때 |P(λ)| > (20M)−n 이다.
• 증명은 모순 증명에 기반한다: 초월 λ에 대해 dim νλ < 1이라 가정하면, dim νξ < 1이고 |λ − ξ| ≤ exp(−d²)를 만족하는 대수적 근사자 ξ의 수열이 존재하게 되며, 이는 새로운 다항식 하한과 모순된다.
• 결과는 강건하다: λ가 (1/2, 2−2/3)에 속하지 않더라도, 자르기 적용된 측도 eνλ를 사용하여 다항식 근사가 적용 가능한 경우로 환원함으로써, 모든 초월 매개수 λ ∈ (1/2, 1)에 대해 일관성을 확보한다.