[논문 리뷰] The Heyde characterization theorem on some locally compact Abelian groups

Gennadiy Feldman|arXiv (Cornell University)|2017. 02. 07.

advanced mathematical theories참고 문헌 14인용 수 9

한 줄 요약

이 논문은 국소적으로 컴act한 아벨 군에 대해 군론적 유사체를 제시하며, 히드 특성정리의 일반화를 이룩한다. 조건 $\operatorname{Ker}(I + \alpha) = \{0\}$ 하에서, $L_2 = \xi_1 + \alpha\xi_2$ 의 $L_1 = \xi_1 + \xi_2$ 에 대한 조건부 분포의 대칭성은 이러한 군 위에서 가우시안 분포를 특성화한다. 이 결과는 실수선에서의 고전적 히드 정리로부터 일반적인 국소적으로 컴act한 아벨 군으로의 확장이며, 자동형사와 2- torsion 원소의 부재 조건을 포함한다.

ABSTRACT

By the Heyde theorem, the Gaussian distribution on the real line is characterized by the symmetry of the conditional distribution of one linear form of of $n$ independent random variables given another. When $n=2$ we prove analogues of this theorem in the case when independent random variables take values in a locally compact Abelian group $X$ and coefficients of the linear forms are topological automorphisms of $X$.

연구 동기 및 목표

• 실수값을 가진 i.i.d. 랜덤 변수에 대해 원래 존재하던 고전적 히드 특성정리의 일반화를 국소적으로 컴act한 아벨 군의 맥락으로 확장하는 것.
• 선형 조합 $L_2 = \xi_1 + \alpha\xi_2$ 의 $L_1 = \xi_1 + \xi_2$ 에 대한 조건부 분포의 대칭성이 가우시안 분포를 특성화하는 데 필요한 및 충분한 조건을 topological automorphism $\alpha$ 에 대해 규명하는 것.
• 군이 0이 아닌 2- torsion 원소를 포함하지 않는 한, 조건 $\operatorname{Ker}(I + \alpha) = \{0\}$ 이 이 특성화에 대해 필수적이고 충분함을 입증하는 것.
• 유한한 컴팩트 부분군이 존재하고 2- torsion 원소를 포함하지 않는 군으로의 특성화를 확장하고, 특성 함수가 0이 아닐 경우를 다루는 것.

제안 방법

• 국소적으로 컴act한 아벨 군의 이중성 이론을 활용하여, 캐릭터 군 $Y$ 와 $Y$ 에서의 수반 자동형사 $\tilde{\alpha}$ 를 다룬다.
• 변형된 선형 형식 $M_1$ 과 $M_2$ 의 독립성에서 유도된 함수방정식에 유한차분 방법을 적용한다.
• 대칭 조건을 캐릭터 함수 $\hat{\mu}_1$ 과 $\hat{\mu}_2$ 를 포함하는 함수방정식으로 변환하여, 캐릭터 군 내에서 식 (33)을 도출한다.
• $\psi_j(y) = -\log|\hat{\mu}_j(y)|^2$ 를 도입하여 곱셈형 함수방정식을 덧셈형으로 변환하고, 이로써 유한차분 연산자를 적용할 수 있도록 한다.
• 항등식 $\Delta_h^3 P(y) = 0$ 을 이용하여 $P(y)$ 가 이차 함수방정식을 만족함을 유도하고, 이는 기저 분포의 가우시안성을 암시한다.
• Cramér 유형의 분해 정리(보조정리 9)를 활용하여, 만약 가우시안 분포가 두 분포의 콘볼루션으로 분해된다면, 두 성분 모두 가우시안임을 결론 내리며, 이는 군 $X$ 가 $\mathbb{T}$ 와 위상적으로 동형인 부분군을 포함하지 않는다는 가정 하에 성립한다.

실험 결과

연구 질문

• RQ1 국소적으로 컴act한 아벨 군 $X$ 의 topological automorphism $\alpha$ 에 대해, $L_2 = \xi_1 + \alpha\xi_2$ 의 $L_1 = \xi_1 + \xi_2$ 에 대한 조건부 분포의 대칭성이 $\xi_1$ 과 $\xi_2$ 의 분포가 가우시안임을 암시하는 조건은 무엇인가?
• RQ2 $\operatorname{Ker}(I + \alpha) = \{0\}$ 조건이 0이 아닌 2- torsion 원소를 포함하지 않는 군에서 히드 유형의 특성화에 대해 필수적이고 충분한가?
• RQ3 유한한 컴팩트 부분군이 존재하고 2- torsion 원소를 포함하지 않는 군으로 특성화 결과를 확장할 수 있는가?
• RQ4 특성 함수가 0이 아닐 경우, $I \pm \alpha \in \operatorname{Aut}(X)$ 를 만족하지 않더라도 더 약한 조건으로 특성화를 유지할 수 있는가?

주요 결과

• 2- torsion 원소가 없고, 비영인 컴팩트 원소도 없는 제2가산 국소적으로 컴팩트한 아벨 군 $X$ 에 대해, 조건 $\operatorname{Ker}(I + \alpha) = \{0\}$ 은 조건부 분포의 대칭성이 가우시안 분포를 특성화하는 데 필수적이고 충분하다.
• 조건부 분포의 대칭성은 선형 형식 $M_1 = (I + \alpha)\xi_1 + 2\alpha\xi_2$ 와 $M_2 = 2\xi_1 + (I + \alpha)\xi_2$ 가 독립적임을 암시하며, 이는 캐릭터 군 내에서 함수방정식을 이끌어낸다.
• 캐릭터 함수에 유한차분 방법을 적용하면, 함수 $P(y)$ 와 $Q(y)$ 가 이차 함수방정식을 만족함을 유도하고, 이는 기저 분포가 가우시안임을 암시한다.
• Cramér 유형의 분해 정리(보조정리 9)를 활용하면, 만약 가우시안 분포가 두 분포의 콘볼루션으로 분해된다면, 두 성분 모두 가우시안임을 보장한다. 이는 군 $X$ 가 $\mathbb{T}$ 와 위상적으로 동형인 부분군을 포함하지 않는다는 조건 하에 성립한다.
• 특성 함수가 0이 아닐 경우에도, 군 $X$ 가 2- torsion 원소를 포함하지 않으며 $\alpha$ 가 $\operatorname{Ker}(I + \alpha) = \{0\}$ 을 만족하는 한 결과는 그대로 유지된다.
• 증명은 $Y^{(2)}$ 와 $(I + \tilde{\alpha})(Y)$ 가 $Y$ 에서 조밀함을 근거로 하며, 이는 각각 2- torsion 의 부재와 조건 $\operatorname{Ker}(I + \alpha) = \{0\}$ 에 의해 유도된다.