[논문 리뷰] Periods of the discretized Arnold Cat Map and its extension to n dimensions

Joe Nance|arXiv (Cornell University)|2011. 11. 13.

Chaos-based Image/Signal Encryption참고 문헌 4인용 수 4

한 줄 요약

이 논문은 2차원에서의 이산화 아르놀드 고양이 맵(DCM)의 주기 역학을 조사하고, 새로운 행렬 합성 구조를 사용하여 이를 n차원 시스템으로 확장한다. 주기의 결정 요소로 짝수 인덱스를 가진 피보나치 수의 N을 모듈로로 나누었을 때의 나눗셈 가능성을 규명하며, N ≥ 3인 경우 어떤 이미지도 스스로에 대해 밀도가 없음을 증명한다. n차원 DCM는 기저 맵을 통해 반복적으로 구성되며, 고유값 분석 결과 고차원 맵는 점점 더 지배적인 고유값을 가지므로 더 강한 혼돈적 행동을 보임을 시사한다.

ABSTRACT

A discrete dynamical system known as Arnold's Discrete Cat Map (Arnold's DCM) is given by (x_t+1, y_t+1) = (x_t + y_t, x_t + 2y_t) mod N; which acts on a two-dimensional square coordinate grid of size Nx?N. The defining characteristic of this map is that it has the property that when the NxN grid is a picture whose pixels are assigned (x,y) coordinates, the map scrambles the picture with each iteration. After a finite number of iterations, the picture is restored to its original shape and order. The number of iterations M, needed to restore the image, has a mysterious dependence on N. This period, as we will find out, is directly related to the divisibility of the Fibonacci numbers. We will exploit this property to show that, for any N, an image is not dense in itself. In the second half of the paper, we build on the work of Chen, Mao, and Chui to extend the DCM to three dimensions. Finally, we define the generalized n dimensional DCM by introducing the idea of a "matrix union".

연구 동기 및 목표

• 2차원 이산화 아르놀드 고양이 맵의 주기를 분석하고, 이미지 크기 N에 따른 주기의 의존성을 규명한다.
• N ≥ 3인 경우, 어떤 N×N 이미지도 DCM 하에서 스스로에 대해 밀도가 되지 않음을 증명한다.
• 새로운 행렬 합성 연산을 사용하여 2차원 DCM을 n차원으로 확장한다.
• 고차원 고양이 맵의 역학적 성질을 분석하며, 특히 고유값 분석을 통해 혼돈적 행동을 조사한다.

제안 방법

• 2차원 DCM은 행렬 [[1,1],[1,2]]을 모듈로 N으로 표현한 행렬 변환으로 기술된다.
• 주기 M은 A^{2t} ≡ I mod N 를 만족하는 가장 작은 t로 정의되며, 이는 u_{2t} ≡ 0 및 u_{2t-1} ≡ 1 mod N 를 풀이하는 것으로 축소된다.
• i-프레임에 삽입함으로써 (n-1)-차원 행렬에서 n차원 DCM 행렬을 재귀적으로 구성하는 데 사용되는 행렬 합성 연산 ⊗ 이 정의된다.
• 기저 맵 a_{n+1}^i 는 행렬 합성 연산을 통해 구성되며, 전체 n차원 행렬 A_{n+1} 은 이러한 모든 기저 맵의 곱으로 형성된다.
• n차원 맵의 역학적 행동은 특성 다항식과 고유값을 통해 분석되며, 어떤 고유값도 1이 아니고, 절댓값이 1을 초과하는 고유값이 하나 이상 존재할 경우 혼돈 궤도가 나타남을 보여준다.
• n차원 고양이 맵의 지배적 고유값은 차원이 증가함에 따라 증가할 것이라는 추측을 제기한다. 이는 고차원에서 더 강한 혼돈적 행동이 발생함을 시사한다.

실험 결과

연구 질문

• RQ1 주어진 N×N 이미지 크기에 대해 2차원 이산화 아르놀드 고양이 맵의 주기 M은 무엇에 의해 결정되는가?
• RQ2 왜 N ≥ 3인 경우 DCM 하에서 어떤 N×N 이미지도 스스로에 대해 밀도가 되지 않는가?
• RQ3 2차원 DCM은 어떻게 체계적으로 n차원으로 확장될 수 있는가?
• RQ4 n차원 DCM 행렬의 고유값과 그 혼돈적 역학적 행동 사이의 관계는 무엇인가?
• RQ5 n차원 고양이 맵의 지배적 고유값은 차원이 증가함에 따라 증가하는가? 이는 고차원에서 더 강한 혼돈적 행동을 의미하는가?

주요 결과

• 2차원 DCM의 주기 M은 2t번째 피보나치 수가 N으로 나누어떨어지고, (2t-1)번째 피보나치 수가 모듈로 N에서 1과 합동일 때 가장 작은 t 값으로 정의된다.
• 모든 N ≥ 3에 대해 DCM 하에서의 이미지는 스스로에 대해 밀도가 되지 않으며, 이는 모듈로 N에서 첫 번째 반복 피보나치 쌍이 (1,1)임을 증명함으로써 주기성이 전체 커버리지 이전에 발생함을 시사한다.
• n차원 DCM는 재귀적 행렬 합성 연산을 통해 구성되며, 각 기저 맵은 한 좌표를 고정하고 전체 행렬은 이러한 모든 맵의 곱으로 형성된다.
• 4차원 DCM의 특성 다항식은 λ⁴ - 562λ³ + 410λ² - 66λ + 1 이며, 지배적 고유값은 약 561.27로, 강한 늘림과 혼돈적 행동을 나타낸다.
• n차원 DCM 행렬의 고유값은 1과 같은 고유값이 없고, 절댓값이 1을 초과하는 고유값이 하나 이상 존재하므로 혼돈 궤도를 만족하는 조건을 충족한다.
• 논문은 n차원 DCM의 지배적 고유값이 n이 증가함에 따라 증가할 것이라는 추측을 제기하며, 이는 고차원 고양이 맵가 저차원보다 더 강한 혼돈적 행동을 보일 것임을 시사한다.