자기‑아핀 타일링을 위한 확장 행렬의 새로운 조건

본 논문은 자기‑아핀 타일링(Self‑Affine Tiling, SAT)의 확장 행렬 φ가 어떤 대수적 성질을 가져야 하는지를 연구한다. 서론에서는 SAT가 동역학, 논리, 수론, 물리학 등 다양한 분야에서 나타나는 중요한 구조임을 언급하고, 1차원에서는 Lind가 증명한 “|λ|가 퍼론 수이면 그리고 오직 그 경우에만 λ가 SAT의 확장 인자가 된다”는 정리를, 2차원에서는 φ가 유사변환일 때 복소 퍼론 수가 필요조건이라는 Thurston의 결과를 소개한다. 이러한 저차원 결과를 고차원으로 일반화하고자 하는 것이 논문의 핵심 목표이다. 논문은 φ가 ℂ 위에서 대각화 가능하다는 가정 하에, φ가 SAT의 확장 행렬이면 반드시 다음 두 조건을 만족한다는 정리(Theorem 3.1)를 제시한다. 1) φ의 모든 고유값은 대수정수이다. 2) 고유값 λ의 켤레근 γ가 |γ|≥|λ|를 만족하면, γ 역시 φ의 고유값이며, 그 기하중복도(다중도)는 λ의 중복도보다 작지 않다. 정리를 증명하기 위해 저자는 먼저 SAT의 “제어점 집합”(control points) C를 정의한다. C는 각 타일 유형마다 하나씩 선택된 점들의 집합으로, φ(C)⊂C 를 만족하도록 구성한다. 제어점들의 차이 집합 Ψ는 FLC(유한 지역 구성) 조건에 의해 유한하며, 이를 이용해 자유 아벨 군 J=⟨C⟩를 만든다. J는 유한 생성이며, φ가 J에 작용함을 정수 행렬 M으로 표현한다(φV = VM, 여기서 V는 J의 정수 생성기들을 열벡터로 모은 행렬). 이때 M은 φ와 같은 고유값을 가지므로, φ의 고유값은 정수 행렬의 고유값이 되어 대수정수임을 얻는다. 또한, M이 ℂ 위에서 대각화 가능함을 보이기 위해 Q·J와 Q·J′(각 고유값에 대한 모듈러 구조) 사이의 관계를 분석하고, 최소다항식의 동반 행렬이 중복근을 갖지 않음으로부터 M이 대각화 가능함을 도출한다. 다음 단계에서는 켤레근에 대한 중복도 제약을 증명한다. 고유값 λ에 대응하는 실(또는 복소) 고유공간 E_i를 이용해 Rⁿ을 직합으로 분해하고, 각 고유값에 대해 실공간 U_γ를 정의한다. φ와 M 사이의 투사 π_γ를 이용해 C에서 U_γ로의 선형 사상 f_γ(ξ)=π_γ a(ξ) (a는 주소 사상)를 만든다. f_γ는 φ와 M 사이의 교환 관계 f_γ∘φ = M∘f_γ 를 만족한다. 이후 f_γ를 C의 조밀한 집합 C^∞=⋃_{k≥0} φ^{-k}C에 Hölder 연속으로 연장한다. 핵심은 Lemma 3.4에서 제시된 Hölder 연속성: |f_γ(ξ₁)-f_γ(ξ₂)| ≤ L₂|ξ₁-ξ₂|^{α}, 여기서 α = log|γ| / log|λ_max|. 이 식은 φ가 가장 큰 고유값 λ_max에 의해 지배되는 팽창률을 이용해 거리 비례를 정량화한다. Hölder 연속성을 이용해 f_γ를 전체 Rⁿ으로 연장하고, 연장된 함수가 M에 대한 고유값 γ를 보존함을 보이면, |γ|≥|λ|이면 반드시 γ가 φ의 고유값이어야 함을 얻는다. 또한, γ가 λ와 다른 경우라면 γ의 기하중복도가 λ의 중복도보다 작지 않음도 동일한 논법으로 증명한다. 정리의 의미를 논의하면서, 저자는 기존 1차원·2차원 결과를 일반화한 것이며, 특히 “복소 퍼론 수” 개념을 고차원에서 “대수정수 + 켤레근 중복도 조건”으로 확장한 점을 강조한다. 논문 말미에서는 충분조건에 대한 추측을 제시한다. 즉, 어떤 정수 행렬 M이 존재하고, 차원 n의 불변 실부분공간 W에서 M이 다른 n‑차원 불변 부분공간보다 행렬식(성장률)이 크게 되면, φ가 W에 제한된 M과 선형 동형이면 φ는 SAT의 확장 행렬이 될 것이라는 것이다. 이 추측은 현재까지 증명되지 않았으며, 비대각화 가능한 경우에 대한 연구는 아직 남아 있다. 저자는 3차원에서 대각화 불가능한 행렬이 SAT을 만들 수 없다는 가설적 예시를 제시하며, 향후 연구 방향을 제시한다. 전체적으로 논문은 SAT 이론에서 확장 행렬의 대수적 구조를 명확히 규정하고, 기존 결과들의 고차원 일반화를 제공함으로써, 타일링 동역학, 대수적 동역학, 그리고 수 체 이론 사이의 연결 고리를 강화한다.