[논문 리뷰] The Euler adic dynamical system and path counts in the Euler graph

Karl Petersen, Alexander Varchenko|ArXiv.org|2008. 11. 11.

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

한 줄 요약

이 논문은 일반화된 오일러 수 $ A_{p,q}(i,j) $ 에 대한 닫힌 형식의 공식을 수립하고, 핵심 비율의 단조성과 증명을 제시하며, 오일러 그래프 위의 브라텔리-버시크 시스템에 대해 대칭 측도가 유일한 완전히 지지된 불변 에르고딕 보렐 확률 측도임을 새롭게 증명한다. 증명은 이중 차원 귀납법과 동일한 종점으로 향하는 서로 다른 출발점에서의 경로 사이의 이항 대응에 기반한다.

ABSTRACT

We give a formula for generalized Eulerian numbers, prove monotonicity of sequences of certain ratios of the Eulerian numbers, and apply these results to obtain a new proof that the natural symmetric measure for the Bratteli-Vershik dynamical system based on the Euler graph is the unique fully supported invariant ergodic Borel probability measure. Key ingredients of the proof are a two-dimensional induction argument and a one-to-one correspondence between most paths from two vertices at the same level to another vertex.

연구 동기 및 목표

• 오일러 그래프에서 $ (p,q) $ 에서 $ (p+i,q+j) $ 로 가는 경로를 세는 일반화된 오일러 수 $ A_{p,q}(i,j) $ 에 대한 닫힌 형식의 표현을 유도하는 것.
• 불변 측도 분석에 필수적인 오일러 수의 비율의 단조성 성질을 증명하는 것.
• 오일러 애드릭 시스템에서 자연스러운 대칭 측도가 유일한 완전히 지지된 에르고딕 불변 측도임을 확립하는 것.
• 순열 코딩이 더 이상 사용 불가능한 오일러 애드릭 시스템의 고차원 일반화에 적용 가능한 방법을 개발하는 것.

제안 방법

• 포함배제 원리와 이항계수 항등식을 사용하여 $ A_{p,q}(i,j) $ 에 대한 닫힌 형식의 공식을 유도한다.
• 이중 차원 귀납법을 활용하여 공식과 오일러 수 비율의 단조성을 증명한다.
• $ (p,q) $ 와 $ (p',q') $ 에서 동일한 종점 $ (i,j) $ 로 향하는 경로 사이의 일대일 대응을 설정하며, 인코딩 순서를 유지한다.
• 모서리 표시된 간선, 수평 비표시 간선, 수직 비표시 간선의 인코딩을 이용하여 서로 다른 기원에서의 경로 집합 간 이항 대응을 정의한다.
• 경로 수 계산 결과를 브라텔리-버시크 시스템의 에르고딕 이론에 적용하기 위해 극한 공식 $ \lim_{i,j\to\infty} \frac{A_{p,q}(i,j)}{A_{0,0}(p+i,q+j)} = \frac{1}{(p+q+1)!} $ 을 활용한다.
• 이 극한 공식을 활용하여, 대칭 측도의 일반적인 점은 양 방향 좌표가 모두 발산하는 경로임을 보여준다.

실험 결과

연구 질문

• RQ1 오일러 그래프에서 $ (p,q) $ 에서 $ (p+i,q+j) $ 로 가는 경로 수 $ A_{p,q}(i,j) $ 의 닫힌 형식의 표현은 무엇인가요?
• RQ2 비율 $ \frac{A_{p,q}(i,j+1)}{A_{p,q-1}(i,j+1)} $ 과 $ \frac{A_{p,q}(i,j)}{A_{p,q-1}(i,j)} $ 는 $ j $ 에 대한 함수로서 어떻게 행동하며, 이는 측도의 유일성에 어떤 함의를 갖는가?
• RQ3 경로 수 계산 기법을 통해 오일러 애드릭 시스템의 대칭 측도가 유일한 완전히 지지된 에르고딕 불변 측도로 특징지어질 수 있는가?
• RQ4 경로 대응과 단조성 논증은 순열 기반 코딩이 실패하는 고차원 오일러 애드릭 시스템의 일반화로 확장 가능한가?

주요 결과

• 일반화된 오일러 수 $ A_{p,q}(i,j) $ 는 공식 $ \sum_{t=0}^{i} (-1)^{i-t} \binom{p+q+t+1}{t} \binom{p+q+i+j+2}{i-t} (p+1+t)^{i+j} $ 으로 주어진다.
• 비율 $ \frac{A_{p,q}(i,j)}{A_{p,q-1}(i,j)} $ 는 $ j $ 에 대해 비증가하며, 부등식 $ \frac{A_{p,q}(i,j+1)}{A_{p,q-1}(i,j+1)} \leq \frac{A_{p,q}(i,j)}{A_{p,q-1}(i,j)} \leq \frac{q+j}{q+1+j} \cdot \frac{A_{p,q}(i+1,j)}{A_{p,q-1}(i+1,j)} $ 를 만족한다.
• 극한 $ \lim_{i,j\to\infty} \frac{A_{p,q}(i,j)}{A_{0,0}(p+i,q+j)} = \frac{1}{(p+q+1)!} $ 이 성립하며, 이는 에르고딕성 증명의 핵심이다.
• 무한 경로 중 $ i_n $ 과 $ j_n $ 이 모두 유계가 아닌 경로는 모두 대칭 측도에 대해 일반적인 점이며, 이는 방향성 유일한 에르고디시티를 의미한다.
• 대칭 측도는 오일러 그래프 위의 브라텔리-버시크 시스템에 대해 유일한 완전히 지지된 불변 에르고딕 보렐 확률 측도이다.
• 경로 대응과 단조성 기법은 순열 기반 코딩이 실패하는 고차원 오일러 애드릭 시스템으로도 확장 가능하다.