[논문 리뷰] Typical Dispersion and Generalized Lyapunov Exponents

Steven R. Finch, Zai-Qiao Bai외 1명|ArXiv.org|2008. 03. 18.

Advanced Differential Equations and Dynamical Systems참고 문헌 12인용 수 3

한 줄 요약

이 논문은 수론적 함수인 홀수 이항계수의 수와 같은 함수의 성장률의 분산을 측정하기 위해 일반화된 리아푸노프 지수 프레임워크를 도입한다. 고전적 리아푸노프 지수를 확장하여 성장률의 분산을 정량화하며, 급수 합과 수렴 가속 기법을 사용해 분산 매개변수 $\sigma^2$의 정확한 공식을 유도한다. 이는 희귀한 외곽값의 로그 감쇠로 인해 평균 분산보다 유의미하게 작은 일반 분산임을 확인한다.

ABSTRACT

Let f(n) denote the number of odd entries in the nth row of Pascal's binomial triangle. We study "average dispersion" and "typical dispersion" of f(n) -- the latter involves computing a generalized Lyapunov exponent -- and then turn to numerical analysis of higher dimensional examples.

연구 동기 및 목표

• 이항 및 삼항 전개에서 홀수 계수의 수와 같은 수론적 함수의 일반 분산을 정량화하는 것.
• 성장률의 분산을 측정하기 위해 고전적 리아푸노프 지수를 두 번째 차수의 일반화된 리아푸노프 지수(모멘트 리아푸노프 지수)로 확장하는 것.
• 금지된 부분어(binomial words)를 피하는 이진어의 무한 급수를 통해 분산 매개변수 $\sigma^2$의 정확한 해석적 표현을 도출하는 것.
• Wynns의 ε-과정과 같은 수렴 가속 기법을 적용하여 고차원 행렬 곱의 $\sigma^2$를 수치적으로 계산하는 것.
• 일반 분산($\sigma^2$)과 평균 분산($L(2)/\ln 2$)을 비교하여, 극단적 값의 로그 감쇠로 인해 일반 분산이 훨씬 작다는 것을 밝혀내는 것.

제안 방법

• 실수 $t$에 대해 일반화된 리아푸노프 지수 $L(t) = \lim_{k\to\infty} \frac{1}{k} \ln \mathbb{E}[\|D_z\|^t]$ 를 정의하며, 여기서 $D_z$는 비음수 행렬 $D_0$와 $D_1$의 랜덤 곱이다.
• 일반 분산을 로그 노름의 분산으로 표현하기 위해 항등식 $\sigma^2 = L''(0) = \lim_{k\to\infty} \frac{1}{k} \mathrm{Var}(\ln \|D_z\|)$ 를 사용한다.
• $D_0^q$ 가 질서 1을 가지며, 투영 행렬로 쌍대화될 수 있다는 성질을 활용하여, $0^q$ 를 피하는 이진어 $z$ 에 대해 $D_z'(0,0)$ 의 정확한 계산을 가능하게 한다.
• 무한 급수를 통해 $\chi(0^q)$, 즉 1로 끝나고 $0^q$ 를 피하는 유한 이진어의 집합을 이용해 $\lambda$, $\kappa$, $\mu$ 의 닫힌 형태 표현을 도출한다.
• 급수가 천천히 수렴하는 데에 적합한 Wynn의 ε-과정을 적용하여 $\sigma^2 = 3\lambda^2 - 2\lambda\kappa + \mu$ 의 수렴을 가속화한다.
• 결과를 이항계수 및 삼항계수의 수에 적용하여, 이항계수의 경우 $\sigma^2 = \ln^2(2)/4$ 이고 $L(2)/\ln 2 = 1.3219$ 임을 확인하며, 일반 분산 매개변수 $\sigma^2/\ln 2 = 0.1733$ 로 나타낸다.

실험 결과

연구 질문

• RQ1 $(1+x)^n$ 에서 홀수 이항계수의 수의 일반 분산이 평균 분산과 어떻게 비교되는가?
• RQ2 일반화된 리아푸노프 지수 $L(t)$ 는 행렬 곱의 로그 성장률의 분산을 계산하는 데 사용될 수 있는가?
• RQ3 주기적인 질서 1 행동을 보이는 행렬 곱에 대해 분산 매개변수 $\sigma^2$ 의 정확한 해석적 형태는 무엇인가?
• RQ4 로그 변환은 $f(n)$ 의 분포에서 희귀한 극단적 값의 영향을 어떻게 줄이는가?
• RQ5 $(1+x)^n$ 에서 홀수 계수의 수 또는 관련 함수에 대해 중심극한정리가 존재하는가?

주요 결과

• 이항계수의 홀수 계수의 수에 대해 일반 분산 매개변수는 $\sigma^2 / \ln 2 = \ln(2)/4 \approx 0.1733$ 이며, 이는 평균 분산 매개변수 $L(2)/\ln 2 \approx 1.3219$ 보다 유의미하게 작다.
• 급수 합과 Wynn의 ε-과정을 통한 수렴 가속을 통해 정확한 값 $\sigma^2 = \ln^2(2)/4 \approx 0.1201$ 이 도출되었으며, 이를 검증하였다.
• 이항계수의 경우 일반화된 리아푸노프 지수는 $L(t) = \ln((2^t + 1)/2)$ 를 만족하며, 이로부터 $\lambda = \ln(2)/2$ 와 $\sigma^2 = \ln^2(2)/4$ 를 도출하여 Kirschenhofer의 기존 결과와 일致함을 확인하였다.
• 삼항계수의 경우 평균 분산 매개변수는 $L(2)/\ln 2 \approx 1.4924$ 이며, $e^{L(2)}$ 는 삼차방정식 $\xi^3 - 2\xi^2 - 3\xi + 2 = 0$ 의 근이다.
• 이진 전개에서 1의 개수를 세는 디지털 합 $\#(n)$ 은 평균 $\ln n / (2\ln 2)$ 와 분산 $\ln n / (4\ln 2)$ 를 가지며, 선형형태 $aN + b$ 에서 동일한 분포를 가짐을 확인하였다.
• 논문은 아직 해결되지 않은 문제를 제기하며, $\#(n)$ 과 $f(n)$ 과 관련된 극한 함수 $\Phi(x)$ 와 $\Psi(x)$ 의 푸리에 전개 존재성과 $\inf \Psi(x)$ 의 닫힌 형태 표현이 없는 문제를 제기한다.