[논문 리뷰] Sierpinski's triangle and the Prouhet-Thue-Morse word

David Callan|ArXiv.org|2006. 10. 30.

Mathematical Dynamics and Fractals참고 문헌 2인용 수 5

한 줄 요약

이 논문은 파스칼의 삼각형을 2로 모듈로 연산한 것으로 시각화된 시어르팡스키의 삼각형과 프루헤-투-모르스 단어 사이의 깊은 대수적 연결 고리를 확립한다. 이는 무한한 하삼각행렬 S(파스칼의 삼각형 mod 2를 나타내는)의 역행렬이 (-1,0,1)-행렬이며, 그 비영행렬 원소들이 프루헤-투-모르스 단어 $ t(1,-1) = ((-1)^{b(n)})_{n\geq 0} $에 따라 배열됨을 증명한다. 여기서 $ b(n) $은 $ n $의 이진수 자릿수의 합을 의미한다.

ABSTRACT

Sierpinski's triangle is a fractal and the Prouhet-Thue-Morse word is sufficiently chaotic to avoid cubes. Here we observe that there is at least a tenuous connection between them: the Sierpinski triangle is evident in Pascal's triangle mod 2 whose inverse, as an infinite lower-triangular matrix, involves the Prouhet-Thue-Morse word.

연구 동기 및 목표

• 프랙탈적 성질을 지닌 시어르팡스키의 삼각형과 조합론적으로 혼란스러운 프루헤-투-모르스 단어 사이의 구조적 관계를 탐색한다.
• 파스칼의 삼각형 mod 2로부터 유도된 무한한 하삼각행렬 S의 역행렬을 분석한다.
• 행렬 $ S^{-1} $의 비영원소 패턴을 특성화하고, 이를 프루헤-투-모르스 수열과 연결한다.
• 행렬 가족 $ S(x) $에 대한 함수방정식을 수립하여 $ S(x)S(y) = S(x+y) $임을 보이며, 이를 통해 행렬의 구조를 일반화한다.
• 유리수 $ r $에 대해 $ S^r = S(r) $임을 증명하여, 대수적 폐쇄를 통해 행렬의 거듭제곱을 유리수 지수로 확장한다.

제안 방법

• 파스칼의 삼각형을 2로 모듈로 연산한 결과로 얻어지는 무한한 하삼각행렬 $ S $를 정의하며, 대각선에는 1을 두고 (0,1)-행렬로 구성한다.
• 행렬 $ S(x) $를 도입하며, $ i-j $가 $ j $에 대해 캐리 없이 이진수 덧셈이 가능할 경우 $ x^{b(i-j)} $로 정의하고, 그 외의 경우 0으로 한다.
• 쿠머의 정리를 사용하여 이진수 덧셈에서의 캐리 없음 조건을 이항계수의 기수성과 연결한다.
• 인덱스 $ i, j, k $의 비트 패턴을 분석하여 $ S(x)S(y) = S(x+y) $를 증명한다. 기여도가 $ (x+y)^t $로 합산되며, 여기서 $ t $는 $ i $가 1이고 $ j $가 0인 위치의 수이다.
• 귀납법을 통해 $ S(x)^q = S(qx) $를 유도하고, $ S(p/q)^q = S(p) = S^p $를 통해 유리수 지수로 확장하여 $ S^r = S(r) $임을 증명한다.
• 행렬의 곱 $ S(-1)S(1) = S(0) = I $를 이용하여 $ S^{-1} = S(-1) $임을 확인함으로써, 역행렬이 프루헤-투-모르스 단어 $ t(1,-1) $와 연결됨을 입증한다.

실험 결과

연구 질문

• RQ1 프랙탈적 성질을 지닌 시어르팡스키의 삼각형과 프루헤-투-모르스 단어 사이에 구조적 연결 고리가 존재하는가?
• RQ2 파스칼의 삼각형 mod 2를 나타내는 행렬 $ S $의 역행렬의 대수적 형태는 무엇인가?
• RQ3 행렬 $ S^{-1} $의 비영원소들은 프루헤-투-모르스 수열과 어떻게 관련되어 있는가?
• RQ4 행렬 $ S(x) $가 $ S(x)S(y) = S(x+y) $를 만족함을 입증할 수 있으며, 이는 그 대수적 구조에 대해 어떤 함의를 갖는가?
• RQ5 유리수 $ r $에 대해 행렬 거듭제곱 $ S^r $이 $ S^r = S(r) $를 만족하는가? 그리고 이는 어떻게 증명되는가?

주요 결과

• 역행렬 $ S^{-1} $은 (-1,0,1)-행렬이며, 그 영원소의 패턴이 $ S $와 일치함을 확인하여 구조적 대칭성을 입증한다.
• $ S^{-1} $의 각 열에 있는 비영원소들은 프루헤-투-모르스 단어 $ t(1,-1) = ((-1)^{b(n)})_{n \geq 0} $를 이룬다. 여기서 $ b(n) $은 $ n $의 이진수 자릿수의 합이다.
• 행렬 $ S(x) $는 $ S(x)S(y) = S(x+y) $를 만족하며, 이는 연속적인 매개변수 $ x $로의 행렬 구조의 일반화를 의미한다.
• 임의의 양의 정수 $ q $에 대해 $ S(x)^q = S(qx) $이며, 이는 함수방정식과 귀납법에 의해 유도된다.
• 역행렬은 $ S^{-1} = S(-1) $를 만족하며, $ S(-1)S(1) = S(0) = I $를 통해 증명되어 유리수 지수의 확장이 확인된다.
• $ S(x) $의 $ 2^k \times 2^k $ 상단-좌측 부분행렬은 $ \begin{pmatrix} 1 & 0 \\ x & 1 \end{pmatrix} $의 $ k $중 텐서곱으로 구성되며, 이는 재귀적 구성 방법을 제공한다.