[논문 리뷰] Arithmetic and growth of periodic orbits

Yash R. Puri, Thomas Ward|Durham Research Online (Durham University)|1999. 07. 01.

Cellular Automata and Applications참고 문헌 10인용 수 40

한 줄 요약

이 논문은 정수 수열이 어떤 동역학계에서 정확히 또는 점점이 수렴하는 방식으로 주기점의 수를 나타낼 수 있는 조건을 조사한다. 모비우스 역행렬을 사용하여 주기점 수를 나타내는 수열의 특성을 기술하는 두 가지 성질—정확한 실현 가능성과 비율에 의한 실현 가능성—을 도입함으로써, 그러한 수열이 만족해야 할 필요 및 충분한 산술 조건을 규명한다.

ABSTRACT

We give necessary and sufficient conditions for a sequence to be exactly realizable as the sequence of numbers of periodic points in a dynamical system. Using these conditions, we show that no non-constant polynomial is realizable, and give some conditions on realizable binary recurrence sequences. Realization in rate is always possible for sufficiently rapidly-growing sequences, and is never possible for slowly-growing sequences. Finally, we discuss the relationship between the growth rate of periodic points and the growth rate of points with specified least period.

연구 동기 및 목표

• 어떤 동역학적 사상 하에서 정수 수열이 주기점의 수와 정확히 일치할 수 있는지 결정하는 것.
• 수열이 주기점 수에 점점이 수렴하는 방식을 분석하고, '비율에 의한 실현 가능성'을 정의하는 것.
• 실현 가능성을 위해 수열이 만족해야 할 산술 조건—특히 모비우스 역행렬 이후의 나누어떨어짐과 음이 아닌 성질—을 규명하는 것.
• 동역학계와 수론적 수열, 특히 OEIS의 수열 간의 연결 고리를 설정하는 것.
• 정확히 실현 가능한 것으로 알려지거나 추측되는 OEIS 수열들을 체계적으로 정리한 표를 제공하는 것.

제안 방법

• 주기점 수열 $ f_n(T) $ 와 최소주기점 수열 $ f_n^*(T) $ 간의 관계를 모비우스 역행렬을 통해 기술함: $ f_n^*(T) = \sum_{d|n} \mu(n/d) f_d(T) $.
• 필요 및 충분 조건 적용: 수열 $ \phi \in \mathcal{ER} $ 이면, 모든 $ n \geq 1 $ 에 대해 $ \sum_{d|n} \mu(n/d) \phi_d $ 가 음이 아니며 $ n $ 으로 나누어떨어져야 한다.
• 토럴 자동형사상, 유한 유형의 서브시프트, $ S $-정수 체계 등의 동역학계 예제를 활용하여 $ \mathcal{ER} $ 내 수열을 생성하는 것.
• OEIS에서 알려진 수열을 활용해 실현 가능성을 테스트함—피보나치 수열, 루카스 수열, 이항계수, 기약 다항식 수 등.
• 소수 $ n $ 에 대해 $ f_n(T) \equiv f_1(T) \mod n $ 의 구조를 실현 가능성에 대한 필수 조건으로 활용하는 것.
• 정확히 실현 가능한 것으로 알려지거나 추측되는 OEIS 수열들의 표를 구성하며, 각 항목에 동역학계 기반 출처를 주석으로 기재하는 것.

실험 결과

연구 질문

• RQ1 어떤 정수 수열이 어떤 동역학계에서 주기점의 수로 정확히 실현 가능한가?
• RQ2 주기점 수로 실현 가능한 수열이 만족해야 할 산술 조건은 무엇인가?
• RQ3 주기점 수열의 성장률은 궤도 수와 어떻게 관련되는가?
• RQ4 OEIS의 어떤 수열들이 정확히 실현 가능한 것으로 알려지거나 추측되는가?
• RQ5 토럴 자동형사상이나 유한 유형의 서브시프트와 같은 동역학계가 실현 가능성을 만족하는 수열을 생성할 수 있는가?

주요 결과

• 수열 $ \phi $ 가 정확히 실현 가능할 조건은 모든 $ n \geq 1 $ 에 대해 $ \sum_{d|n} \mu(n/d) \phi_d \geq 0 $ 이고 $ n $ 으로 나누어떨어져야 하며, 이는 완전한 특성화를 제공한다.
• 피보나치 수열(A000045)은 $ \mathcal{ER} $ 에 속하지 않으며, $ f_3 - f_1 = 2 - 1 = 1 $ 이므로 3으로 나누어떨어지지 않기 때문이다.
• 루카스 수열(A000204)은 금률 이동에서 유래하여 $ \mathcal{ER} $ 에 속하며, 동역학적 구성에 의해 실현 가능성이 확인된다.
• 모든 행렬 $ A \in GL_k(\mathbb{Z}) $ 에 대해 수열 $ \det(A^n - I) $ 는 모든 소수 $ n $ 에 대해 $ \det(A^n - I) \equiv \det(A - I) \mod n $ 를 만족하며, 이는 실현 가능성에 대한 필수 조건이다.
• $ \mathbb{F}_2 $ 상에서 차수 $ n $ 의 기약 다항식의 수를 세는 수열 $ f_n = 2^n $ 는 $ \mathcal{ER} $ 에 속하며, 2개의 기호로 이루어진 전체 이동과 대응된다.
• OEIS 수열 20개 이상의 표를 정리하였으며, 그 중 12개는 정확히 실현 가능함이 확인되었으며, A001037(기약 다항식), A007727(보내지), A004146(토럴 자동형사상) 등이 포함되며, 각 항목에 동역학계 기반 출처를 주석으로 기재하였다.