[논문 리뷰] Jacques Peyrière et les produits de Riesz

Jean‐Pierre Kahane|arXiv (Cornell University)|2010. 03. 24.

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

한 줄 요약

이 논문에서 Jean-Pierre Kahane는 조르주 페리에르의 리에스 곱에 대한 기초적인 연구에 대해 종합적인 역사적 검토를 제공한다. 이는 조화 해석학, 분수기하학, 시돈 집합 이론에서 리에스 곱의 역할을 다루며, 계수에 대한 조건 하에서 리에스 곱 측도의 상호 독립성과 절대 연속성 분석, 에르고딕 평균을 통한 차원 경계 설정, 아벨 군 내에서 극단적인 성질을 지닌 준독립 집합을 구성하는 데 있어 페리에르의 방법의 선구적 성격을 강조한다.

ABSTRACT

Jacques Peyrière investigated Riesz products associated with a given set of frequencies and the corresponding coefficients : mutual singularity or absolute continuity of the measures defined by two such products, Hausdorff dimensions of the sets carrying such measures, multifractal analysis. The present expository paper starts from Peyrière's results and give some new ways to investigate the same questions. Since Riesz products are also an essential tool for Sidon sets, the characterisations of Sidon sets by Pisier and Bourgain, using quasi-independent sets, are given and commented. The paper ends with an elementary construction of a <> quasi-independent set. The paper is in French. An introduction, in English, explains why it will not be published in the book to which it was intended to contribute.

연구 동기 및 목표

• 리에스 곱 이론에서 조르주 페리에르의 영향력 있는 기여를 조화 해석학, 측도론, 분수기하학의 맥락에서 조사하고 분석하는 것.
• 계수의 차이에 기반하여 두 리에스 곱 측도 $ \mu_a $와 $ \mu_b $가 상호 독립적이거나 절대 연속적이게 되는 조건을 설정하는 것.
• 에르고딕 평균과 로그 적분을 이용해 리에스 곱에 의해 양의 측도를 가진 집합의 차원 경계를 유도하는 것.
• 페리에르의 1973년과 1975년 논문이 준독립 집합 이론과 시돈 집합 이론에 있어 현대 이론의 기초를 다진 바를 부각하는 것.
• 페리에르의 접근 방식이 극단적인 해석적·기하학적 성질을 지닌 집합을 구성하는 데 있어서의 방법론적 혁신성과 장기적 영향을 강조하는 것.

제안 방법

• 빈도 간격 조건 $ \lambda_{j+1}/\lambda_j \geq 3 $ 를 만족하는 $ \lambda_j $ 를 가진 형태의 리에스 곱 $ \prod_{j=0}^\infty (1 + \operatorname{Re}(a_j e^{i\lambda_j t})) $ 를 분석한다.
• 부분곱을 $ \varepsilon_j \in \{-1,0,1\} $ 에 대한 지수합으로 표현하며, 갭 조건으로 인해 서로 다른 주파수를 가지게 되어 측도 $ \mu_a $ 의 푸리에 급수 표현을 이끌어낸다.
• 위너의 기준을 적용하여 $ |a_j| \leq 1 $ 일 때 $ \mu_a $ 가 연속 측도임을 보인다.
• 함수 $ e^{i\lambda_j t} - \frac{1}{2} \overline{a}_j $ 가 $ L^2(\mu_a) $ 에서 정규직교임을 이용해 $ \sum |a_j - b_j|^2 = \infty $ 일 때의 독립성을 증명한다.
• 부분곱의 정규화된 로그 적분의 상한과 하한을 이용해 $ \mu_a $-양의 보렐 집합에 대한 차원 경계를 도출한다.
• 리에스 곱 기법을 이용해 아벨 군 내 준독립 집합을 구성하며, 특정 조건 하에서 $ k $-공 안에 $ \gg k \log k $ 개의 점을 가질 수 있음을 보인다.

실험 결과

연구 질문

• RQ1 계수 $ a_j $와 $ b_j $ 에 대해 두 리에스 곱 측도 $ \mu_a $와 $ \mu_b $ 가 상호 독립적이게 되는 조건은 무엇인가?
• RQ2 특히 $ \sum |a_j - b_j|^2 / (1 - |a_j|) < \infty $ 일 때, 두 리에스 곱 측도 $ \mu_a $와 $ \mu_b $ 가 상호 절대 연속적이게 되는 조건은 무엇인가?
• RQ3 부분곱의 로그 적분에 기반해, $ \mu_a(E) > 0 $ 인 보렐 집합 $ E $ 의 하우스도르프 차원 경계는 어떻게 되는가?
• RQ4 아벨 군 내에서 $ k $-공 안에 $ \gg k \log k $ 개의 점을 가진 준독립 집합을 구성할 수 있는가? 어떤 군 조건이 필요한가?
• RQ5 페리에르의 초기 논문들(1973년, 1975년)이 현대 준독립 집합 이론과 시돈 집합 이론의 기초를 어떻게 마련했는가?

주요 결과

• 만약 $ \sum |a_j - b_j|^2 = \infty $ 이면 $ \mu_a \perp \mu_b $ 이며, 이는 두 측도가 상호 독립적임을 의미한다.
• 만약 $ \sum |a_j - b_j|^2 / (1 - |a_j|) < \infty $ 이면 $ \mu_a \sim \mu_b $ 이며, 이는 두 측도가 상호 절대 연속적임을 의미한다.
• 모든 보렐 집합 $ E $ 에 대해 $ \mu_a(E) > 0 $ 이면, 다음 경계를 만족한다: $ 1 - \limsup_{n \to \infty} \frac{1}{\log \lambda_n} \int \log P_{a,n}(t) \, d\mu_a(t) \leq \dim E \leq 1 - \liminf_{n \to \infty} \frac{1}{\log \lambda_n} \int \log P_{a,n}(t) \, d\mu_a(t) $.
• 만약 $ \lambda_j = 2^j $ 이면, $ \sup |a_j| < 1 $ 일 때 리에스 곱 측도 $ \mu_a $ 는 잘 정의되며, 동일한 조건 하에서 독립성 결과도 성립한다.
• 어떤 $ k $-공 $ M $ 에 대해 $ |\Lambda \cap M| \gg k \log_2 k $ 가 되는 준독립 집합 $ \Lambda $ 를 구성할 수 있으며, 이는 군에 임의의 큰 순서를 가진 원소가 존재할 경우에 성립한다.
• 그러나 $ p_j $ 가 유계인 군 $ \prod_{j=1}^\infty (\mathbb{Z}/p_j\mathbb{Z}) $ 와 같은 군에서는 구성이 실패하며, 이는 Pisier의 비구성적 결과에 의해 최대 $ O(k) $ 개의 교점만 존재함을 보여준다.