[논문 리뷰] Minimal growth harmonic functions on lamplighter groups

Itaï Benjamini, Hugo Duminil‐Copin외 2명|arXiv (Cornell University)|2016. 07. 04.

Advanced Mathematical Modeling in Engineering참고 문헌 18인용 수 5

한 줄 요약

이 논문은 램플라이터 군에서 비상수 조화 함수의 최소 성장률을 조사하며, $(\mathbb{Z}/2)\wr\mathbb{Z}$는 하향성 조화 함수를 가지지 않으며, $(\mathbb{Z}/2)\wr\mathbb{Z}^2$는 하대수 조화 함수를 가지지 않으며, $\mathbb{Z}^2$와 반복적으로 와이어드한 군 역시 이러한 함수를 갖지 않는다고 증명한다. 커플링 추론과 엔트로피 기반 경계를 사용하여, Derriennic-Kaimanovich-Vershik 정리에서 유도된 $\sqrt{n/H_n}$ 성장 경계가 이러한 군에서는 날카롭지 않음을 보이며, 이전까지 알려진 바보다 더 강한 조건을 조화 함수의 성장에 부과하고 있음을 드러낸다.

ABSTRACT

We study the minimal possible growth of harmonic functions on lamplighters. We find that $(\mathbb{Z}/2)\wr \mathbb{Z}$ has no sublinear harmonic functions, $(\mathbb{Z}/2)\wr \mathbb{Z}^2$ has no sublogarithmic harmonic functions, and neither has the repeated wreath product $(\dotsb(\mathbb{Z}/2\wr\mathbb{Z}^2)\wr\mathbb{Z}^2)\wr\dotsb\wr\mathbb{Z}^2$. These results have implications on attempts to quantify the Derriennic-Kaimanovich-Vershik theorem.

연구 동기 및 목표

• 비상수 조화 함수의 램플라이터 군에서의 최소 가능한 성장률을 규명하는 것.
• Derriennic-Kaimanovich-Vershik 정리에서 유도된 $\sqrt{n/H_n}$ 성장 경계가 램플라이터 군에 대해 날카로운지 여부를 조사하는 것.
• 특정 램플라이터 군에서 $\sqrt{n/H_n}$ 경계의 실패를 정량화하여 더 강력한 성장 제약 조건을 규명하는 것.
• 다항성장 군의 성질을 고려해, $\mathbb{Z}^2$와 반복적으로 와이어드한 군으로의 조화 함수 성장 결과를 확장하는 것 — 이러한 군들은 재귀적이다.

제안 방법

• 위치 0의 램프 상태만 다를 떄, 인접한 군 원소에서 시작하는 $(\mathbb{Z}/2)\wr\mathbb{Z}$ 위의 두 랜덤 워크의 커플링 구성 방법을 사용한다.
• 두 워크가 $\pm r$에 도달하는 첫 번째 시간에서 조화 함수의 값을 평가하고, 옵셔널 스탑핑 정리를 적용하여 함수 값의 차이를 제한한다. 이때 커플링을 이용해 차이를 제어한다.
• 간단한 랜덤 워크의 재귀성과 비재귀성 성질을 활용하여, 시간 $T_r$ 이전에 접합되지 않은 확률을 $C/r$ 이하로 제한한다.
• 특히 상대정보량과 피셔 정보량을 통한 상호정보량을 이용해, 증분 엔트로피 $H(X_n) - H(X_{n-1})$ 와 조화 함수의 분산 간의 관계를 규명하는 엔트로피 기반 부등식을 적용한다.
• 상호정보량을 통한 Cramér-Rao 부등식의 한 형태를 적용하여 핵심 부등식을 유도한다: $(\mathbb{E}_z |h(X_1)-h(z)|)^2 \leq 4 \mathbb{E}_z[|h(X_n)-h(z)|^2] \cdot (H(X_n) - H(X_{n-1}))$.
• 다항성장 군의 경우 $H(X_n) = O(\log n)$ 이고, 무수히 많은 $n$에 대해 $H(X_n) - H(X_{n-1}) = O(n^{-1})$ 임을 이용하여, 하향성 조화 함수는 반드시 상수여야 한다는 것을 보인다.

실험 결과

연구 질문

• RQ1 $\sqrt{n/H_n}$ 경계가 $(\mathbb{Z}/2)\wr\mathbb{Z}$에서 조화 함수 성장의 진정한 최소 성장률을 나타내는가?
• RQ2 Derriennic-Kaimanovich-Vershik 경계가 이를 암시함에도 불구하고, $(\mathbb{Z}/2)\wr\mathbb{Z}$에서 하향성 조화 함수가 존재할 수 있는가?
• RQ3 $(\mathbb{Z}/2)\wr\mathbb{Z}^2$와 $\mathbb{Z}^2$와의 반복 와이어드 제품에서는 로그보다 느리게 성장하는 비상수 조화 함수가 존재하는가?
• RQ4 $\sqrt{n/H_n}$ 경계는 모든 유한 생성 군에 대해 날카로운가, 아니면 더 강력한 조화 함수 성장 제약 조건이 존재하는 군이 있는가?
• RQ5 엔트로피 기반 경계를, 예를 들어 램플라이터 군처럼 더 높은 엔트로피를 가진 군에 대해 정량적으로 향상시킬 수 있는가?

주요 결과

• 램플라이터 군 $(\mathbb{Z}/2)\wr\mathbb{Z}$는 하향성 성장($h(x) = o(|x|)$)을 갖는 비상수 조화 함수를 포함하지 않으며, 이는 $\sqrt{n/H_n}$ 경계가 $n^{1/4}$까지의 성장 가능성을 암시하지만 실제로는 하향성 함수가 존재하지 않음을 의미한다.
• $(\mathbb{Z}/2)\wr\mathbb{Z}^2$의 경우, 하대수 성장($h(x) = o(\log |x|)$)을 갖는 비상수 조화 함수는 존재하지 않는다.
• 반복 와이어드 제품 $\dotsb(\mathbb{Z}/2\wr\mathbb{Z}^2)\wr\dotsb\wr\mathbb{Z}^2$ (k번) 역시 하대수 성장 조화 함수를 갖는 비상수 함수를 포함하지 않는다.
• $(\mathbb{Z}/2)\wr\mathbb{Z}$에서 랜덤 워크의 엔트로피는 $\sqrt{n}$ 이므로, $\sqrt{n/H_n}$ 경계는 오직 $n^{1/4}$ 성장만을 암시하지만, 실제 경계는 훨씬 더 날카롭다: 하향성 함수는 존재하지 않는다.
• 증명 기법은 조화 함수가 선형보다 느리게 성장하면, 커플링 추론에 의해 모든 램프 상태로부터 독립적이어야 하므로, $(\mathbb{Z}/2)\wr\mathbb{Z}$에서 조화 함수는 반드시 상수여야 한다는 것을 보여준다.
• 결과적으로 $\sqrt{n/H_n}$ 경계는 램플라이터 군에 대해 날카롭지 않으며, 엔트로피만으로는 설명되지 않는 더 강력한 구조적 제약 조건이 조화 함수 성장에 존재한다는 것을 시사한다.