[논문 리뷰] Topological Entropy and Algebraic Entropy for group endomorphisms

Dikran Dikranjan, Anna Giordano Bruno|arXiv (Cornell University)|2013. 08. 19.

Mathematical Dynamics and Fractals참고 문헌 46인용 수 27

한 줄 요약

이 논문은 국소적으로 컴팩트인 군의 자기형사상에 대한 위상수학적 및 대수적 엔트로피 이론을 종합적으로 조사하고 확장하며, 새로운 집합론적 엔트로피 함수와 e-스펙트럼을 도입하고 레이머의 문제 및 기하군론과의 연결 고리를 설정한다. 카테고리 이론적 프레임워크를 통해 엔트로피 개념을 통합하여, 대수적 엔트로피가 유도하는 유전적 토픽 이론이 있음을 증명하고, 직접 극한과 역극한에 대한 연속성에 기반해 공변형(대수적)과 반공변형(위상수학적) 엔트로피 함수를 구분한다.

ABSTRACT

The notion of entropy appears in many fields and this paper is a survey about entropies in several branches of Mathematics. We are mainly concerned with the topological and the algebraic entropy in the context of continuous endomorphisms of locally compact groups, paying special attention to the case of compact and discrete groups respectively. The basic properties of these entropies, as well as many examples, are recalled. Also new entropy functions are proposed, as well as generalizations of several known definitions and results. Furthermore we give some connections with other topics in Mathematics as Mahler measure and Lehmer Problem from Number Theory, and the growth rate of groups and Milnor Problem from Geometric Group Theory. Most of the results are covered by complete proofs or references to appropriate sources.

연구 동기 및 목표

• 국소적으로 컴팩트인 군의 자기형사상에 대한 위상수학적 및 대수적 엔트로피 이론을 통합하고 확장하기.
• 공변형 및 반공변형 집합론적 엔트로피 함수 두 종류를 도입하고 연구하기.
• 아벨 군의 e-스펙트럼을 통해 엔트로피, 마흐러 측도, 레이머의 문제 간의 연결 고리를 설정하기.
• 직접 극한과 역극한에 대한 연속성에 기반해, 아벨 및 준아벨 카테고리에서 엔트로피 함수를 일반화하고, 공변형 및 반공변형 유형을 구분하기.
• 대수적 엔트로피가 유전적 토픽 이론을 유도하며, 이와 이론 간의 이분법적 일대일 대응이 성립함을 보여주기.

제안 방법

• 집합 위의 자기형사상에 대해 공변형 및 반공변형 집합론적 엔트로피를 정의하여, 위상수학적 및 대수적 엔트로피의 계산 도구로 활용한다.
• 포트리아진 쌍대성을 사용하여 컴팩트 군에서의 위상수학적 엔트로피를 이산 군에서의 대수적 엔트로피와 연결한다.
• 군의 e-스펙트럼을 그 자기형사상에 의한 엔트로피 값의 집합으로 정의하고, 마흐러 측도를 통해 레이머의 문제와 연결한다.
• 대수적 엔트로피의 직접 극한에 대한 연속성과 위상수학적 엔트로피의 역극한에 대한 연속성을 확립하여, 공변형 및 반공변형 엔트로피 함수 간의 구분을 정당화한다.
• 아벨 및 준아벨 카테고리에서 엔트로피 함수를 구성하고, 대수적 엔트로피가 유전적 루트럴과 유전적 토픽 이론을 유도함을 증명한다.
• 이 프레임워크를 버누울 이동에 적용하여, 왼쪽/오른쪽 이동이 각각 이산적, 컴팩트한 카테고리에서 0 또는 log|K|의 엔트로피 값을 유도함을 보여준다.

실험 결과

연구 질문

• RQ1 새로운 집합론적 엔트로피 함수는 군 자기형사상의 위상수학적 및 대수적 엔트로피와 어떻게 관련되어 있는가?
• RQ2 e-스펙트럼은 엔트로피와 레이머의 문제와 같은 수론적 문제를 연결하는 데 어떤 역할을 하는가?
• RQ3 직접 극한과 역극한에 대한 엔트로피 함수의 연속성 특성은 대수적 엔트로피와 위상수학적 엔트로피를 어떻게 구분하는가?
• RQ4 아벨 카테고리에서의 엔트로피 함수는 그가 유도하는 유전적 토픽 이론을 통해 분류될 수 있는가?
• RQ5 이진 엔트로피 함수는 카테고리 내에서 엔트로피의 전체 구조를 포괄하는 데 있어 어떤 의미를 갖는가?

주요 결과

• 이산 군에서의 왼쪽 버누울 이동의 대수적 엔트로피는 0이며, 오른쪽 이동은 log|K|의 엔트로피를 가지며, 이는 이산적 경우의 대칭성에 기인한다.
• 컴팩트 군에서의 왼쪽 버누울 이동의 위상수학적 엔트로피는 log|K|이며, 오른쪽 이동은 엔트로피가 0이다. 이는 위상수학적 엔트로피의 반공변형 성격을 보여준다.
• 아벨 군의 e-스펙트럼은 그 자기형사상의 가능한 모든 엔트로피 값을 포괄하며, 마흐러 측도 및 레이머의 문제와 깊이 연결되어 있다.
• 대수적 엔트로피는 아벨 군의 카테고리에서 유전적 루트럴을 유도하며, 이에 대응하는 토픽 이론은 엔트로피 함수에 의해 완전히 결정된다.
• 이진 엔트로피 함수와 유전적 토픽 이론 사이에는 이분법적, 순서를 유지하는 일대일 대응이 존재하며, 이는 이진 함수가 중복 정보를 포함하지 않음을 보여준다.
• 위상수학적 엔트로피는 컴팩트 군의 카테고리에서 역극한에 대해 연속적이며, 대수적 엔트로피는 이산 군의 카테고리에서 직접 극한에 대해 연속적이다. 이는 공변형/반공변형의 구분을 정당화한다.