[논문 리뷰] Entropy on abelian groups

Dikran Dikranjan, Anna Giordano Bruno|arXiv (Cornell University)|2010. 07. 04.

Mathematical Dynamics and Fractals참고 문헌 20인용 수 16

한 줄 요약

이 논문은 임의의 아벨 군의 자기사상에 대한 대수적 엔트로피의 새로운 정의를 제안하며, 페터스의 개념을 역행렬이 없는 사상으로 일반화한다. 주요 기여는 불변 부분군에 대해 대수적 엔트로피가 가환적임을 보여주는 덧셈 정리이며, 이는 유일성 정리와 수론에서 마하러 측도 및 레이머 문제와 깊은 연관성을 이끌어낸다.

ABSTRACT

We introduce the algebraic entropy for endomorphisms of arbitrary abelian groups, appropriately modifying existing notions of entropy. The basic properties of the algebraic entropy are given, as well as various examples. The main result of this paper is the Addition Theorem showing that the algebraic entropy is additive in appropriate sense with respect to invariant subgroups. We give several applications of the Addition Theorem, among them the Uniqueness Theorem for the algebraic entropy in the category of all abelian groups and their endomorphisms. Furthermore, we point out the delicate connection of the algebraic entropy with the Mahler measure and Lehmer Problem in Number Theory.

연구 동기 및 목표

• 임의의 아벨 군의 자기사상에 대해 대수적 엔트로피 개념을 자동사상이나 비틀림 군에 국한되지 않게 일반화하는 것.
• 불변 부분군에 대해 대수적 엔트로피가 가환적임을 보여주는 덧셈 정리를 수립하는 것.
• 정의된 엔트로피가 아벨 군의 범주에서 자연스러운 공리들(예: 단조성, 공轭에 대한 불변성, 불변 부분군에서의 가환성)을 만족하는 유일한 함수임을 보여주는 유일성 정리 증명.
• 대수적 엔트로피와 수론적 불변량(특히 마하러 측도 및 레이머 문제) 간의 관계를 명확히 하는 것.
• 대수적 엔트로피가 어떤 유한 부분집합에 대해 실현되는 조건을 조사하는 것, 특히 비틀림 군과 유한계수 비틀림 자유 아벨 군의 경우에 중점을 두어.

제안 방법

• 아벨 군 $ G $ 의 자기사상 $ \phi $ 에 대해, 모든 비어있지 않은 유한 부분집합 $ F \subset G $ 에 대해 $ \lim_{n\to\infty} \frac{\log|T_n(\phi,F)|}{n} $ 의 상한으로서 대수적 엔트로피 $ h(\phi) $ 를 정의한다. 여기서 $ T_n(\phi,F) = F + \phi(F) + \cdots + \phi^{n-1}(F) $ 이다.
• 모든 유한 부분집합 $ F $ 에 대해 극한 $ H(\phi,F) = \lim_{n\to\infty} \frac{\log|T_n(\phi,F)|}{n} $ 이 존재함을 증명하여 엔트로피가 잘 정의되어 있음을 보장한다.
• 덧셈 정리 수립: $ \phi $-불변 부분군 $ H \leq G $ 에 대해 $ h(\phi) = h(\phi|_H) + h(\overline{\phi}) $ 를 만족하며, 여기서 $ \overline{\phi} $ 는 $ G/H $ 에 유도된 자기사상이다.
• 덧셈 정리를 활용하여 유일성 정리 증명: 엔트로피 함수가 아벨 군의 범주에서 표준 공리들(덧셈 정리 포함)을 만족하는 유일한 함수임을 보여준다.
• 이론을 적용하여 비틀림 군 또는 유한계수 비틀림 자유 아벨 군에서 엔트로피가 어떤 유한 부분집합에 의해 실현됨을 보여준다.
• 유한 부분집합의 궤적 성장과 연결하여 엔트로피를 마하러 측도와 연결하고, 레이머 문제의 맥락에서 이를 분석한다.

실험 결과

연구 질문

• RQ1 아벨 군의 자동사상에서의 대수적 엔트로피 개념을 일반 아벨 군의 자기사상으로 일관적으로 확장할 수 있는가?
• RQ2 대수적 엔트로피는 불변 부분군과 몫군의 엔트로피의 합으로 분해되는 덧셈 정리를 만족하는가?
• RQ3 정의된 대수적 엔트로피는 단조성, 공轭에 대한 불변성, 불변 부분군에서의 가환성 등의 자연스러운 공리를 만족하는 유일한 함수인가?
• RQ4 대수적 엔트로피와 마하러 측도 사이의 관계는 무엇이며, 특히 레이머 문제의 맥락에서 어떻게 연결되는가?
• RQ5 언제 대수적 엔트로피가 어떤 유한 부분집합에 대한 엔트로피로 실현되는가?

주요 결과

• 덧셈 정리가 성립한다: 임의의 $ \phi $-불변 부분군 $ H \leq G $ 에 대해 $ h(\phi) = h(\phi|_H) + h(\overline{\phi}) $ 를 만족하며, 여기서 $ \overline{\phi} $ 는 $ G/H $ 에 유도된 자기사상이다.
• 유일성 정리가 확립되었다: 정의된 엔트로피는 아벨 군의 자기사상에 대해 표준 공리(덧셈 정리 포함)를 만족하는 유일한 함수이다.
• 비틀림 아벨 군에서는 새로운 엔트로피 $ h $ 가 고전적 $ \operatorname{ent} $ 와 일치하며, 어떤 유한 부분군 $ F $ 가 존재하여 $ h(\phi) = H(\phi,F) $ 를 만족한다.
• 유한계수 비틀림 자유 아벨 군에서는 엔트로피 역시 실현된다: $ h(\phi) = H(\phi,F) $ 를 만족하는 유한 부분집합 $ F $ 가 존재한다.
• 대수적 엔트로피는 마하러 측도와 연결되어 있으며, 레이머 문제는 최소 양의 엔트로피 값의 맥락에서 자연스럽게 나타난다.
• 모든 유한 부분집합에 의해 실현되지 않는 유한하지만 $ h(\phi) $ 가 유한한 자기사상이 존재함을 보여, 실현이 항상 보장되지 않음을 밝혔다.