[논문 리뷰] Semigroups related to additive and multiplicative, free and Boolean convolutions

Octavio Arizmendi, Takahiro Hasebe|arXiv (Cornell University)|2011. 05. 17.

Random Matrices and Applications참고 문헌 18인용 수 7

한 줄 요약

이 논문은 애드티브 자유 컨볼루션과 곱셈 자유 컨볼루션 양쪽에 대해 자유 무한 나누어짐 지표를 도입하고 분석하며, 벨린스키와 니카의 세미군 구조를 확장한다. 지표가 불리안 및 자유 거듭제곱에 대해 예측 가능하게 변형됨을 증명하고, 불리안 거듭제곱의 자유 무한 나누어짐에 관한 보셰지코의 추측을 해결하며, 불리안에서 자유로의 베텔리치-파타 이항사상의 고정점을 델타 및 코시 분포로 특성화한다.

ABSTRACT

Belinschi and Nica introduced a composition semigroup on the set of probability measures. Using this semigroup, they introduced a free divisibility indicator, from which one can know whether a probability measure is freely infinitely divisible or not. In this paper we further investigate this indicator, introduce a multiplicative version of it and are able to show many properties. Specifically, on the first half of the paper, we calculate how the indicator changes with respect to free and Boolean powers; we prove that free and Boolean 1/2-stable laws have free divisibility indicators equal to infinity; we derive an upper bound of the indicator in terms of Jacobi parameters. This upper bound is achieved only by free Meixner distributions. We also prove Bozejko's conjecture which says the Boolean power of a probability measure mu by 0 < t < 1 is freely infinitely divisible if mu is so. In the other half of this paper, we introduce an analogous composition semigroup for multiplicative convolutions and define free divisibility indicators for these convolutions. Moreover, we prove that a probability measure on the unit circle is freely infinitely divisible concerning the multiplicative free convolution if and only if the indicator is not less than one. We also prove how the multiplicative divisibility indicator changes under free and Boolean powers and then the multiplicative analogue of Bozejko's conjecture. We include an appendix, where the Cauchy distributions and point measures are shown to be the only fixed points of the Boolean-to-free Bercovici-Pata bijection.

연구 동기 및 목표

• 자유 무한 나누어짐 지표 이론을 애드티브 자유 컨볼루션을 초과하여 단위 원 위의 곱셈 자유 컨볼루션으로 확장한다.
• 자유 무한 나누어짐에 관한 불리안 거듭제곱의 성질에 대한 보셰지코의 추측을 해결한다.
• 자지 파라미터를 통해 자유 무한 나누어짐 지표의 상한을 기술하고, 이 상한을 달성하는 분포를 특정한다.
• 불리안에서 자유로의 베텔리치-파타 이항사상의 고정점을 특정하며, 오랫동안 미해결이었던 문제를 확인한다.
• 자유 및 불리안 거듭제곱에 대한 자유 무한 나누어짐 지표의 변환 법칙을 수립하여 새로운 구조적 통찰을 제공한다.

제안 방법

• 애드티브 자유 컨볼루션과 불리안 컨볼루션을 위한 복합 세미군 $\mathbb{B}_t(\mu) = (\mu^{\boxplus(1+t)})^{\uplus 1/(1+t)}$ 을 구성한다.
• 자유 무한 나누어짐 지표 $\phi(\mu) = \sup\{t \geq 0 : \mu^{\uplus t} \text{ 는 자유로 무한 나누어짐이다}\}$ 를 정의하고, 이를 세미군의 행동과 연결한다.
• 자지 파라미터 전개를 사용하여 $\phi(\mu)$ 의 상한을 유도하며, 이는 네 번째 모멘트가 유한한 측도에 대해 유효하다.
• 스펙트럼 및 모멘트 기반 분석을 통해 오직 자유 마이크너 분포만이 상한을 달성함을 증명한다.
• 단위 원 위의 측도를 위한 곱셈 형태의 세미군을 도입하며, 자유 곱셈 컨볼루션 $\boxtimes$ 를 사용한다.
• 다음과 같은 등가성을 확립한다: $\phi_{\text{mult}}(\mu) \geq 1$ 이다 ⇔ 곱셈 자유 컨볼루션 하에서 자유로 무한 나누어짐이다.

실험 결과

연구 질문

• RQ1 자유 무한 나누어짐 지표 $\phi(\mu)$ 는 불리안 및 자유 거듭제곱에 대해 어떻게 행동하는가?
• RQ2 만약 $\mu$ 가 자유로 무한 나누어짐이라면, 모든 $t \in [0,1]$ 에 대해 불리안 거듭제곱 $\mu^{\uplus t}$ 는 자유로 무한 나누어짐인가? (보셰지코의 추측)
• RQ3 자지 파라미터를 통해 자유 무한 나누어짐 지표의 상한은 무엇이며, 어떤 측도가 이를 달성하는가?
• RQ4 불리안에서 자유로의 베텔리치-파타 이항사상의 고정점은 어떤 확률 측도인가?
• RQ5 단위 원 위의 곱셈 자유 컨볼루션 하에서 자유로 무한 나누어짐의 특성은 무엇인가?

주요 결과

• 자유 무한 나누어짐 지표는 모든 $t > 0$ 에 대해 $\phi(\mu^{\uplus t}) = \phi(\mu)/t$ 를 만족하며, 스케일링 법칙을 제공한다.
• 보셰지코의 추측이 증명됨: 만약 $\mu$ 가 자유로 무한 나누어짐이라면, 모든 $t \in [0,1]$ 에 대해 $\mu^{\uplus t}$ 는 자유로 무한 나누어짐이다.
• 자유 스테이블 법칙과 불리안 스테이블 법칙의 인덱스 $1/2$ 의 자유 무한 나누어짐 지표는 무한대이다.
• 자지 파라미터를 통해 유도된 $\phi(\mu)$ 의 상한은 오직 자유 마이크너 분포일 때에만 달성된다.
• 델타 및 코시 분포 이외의 확률 측도는 불리안에서 자유로의 베텔리치-파타 이항사상의 고정점이 될 수 없다.
• 단위 원 위의 확률 측도는 곱셈 자유 컨볼루션 하에서 자유로 무한 나누어짐이 되기 위한 필요충분조건으로, 그 곱셈 자유 무한 나누어짐 지표가 1 이상임을 만족한다.