[논문 리뷰] Topological Entropy of Free Product Automorphisms

Nathanial P. Brown, Kenneth J. Dykema외 1명|ArXiv.org|2000. 08. 16.

Advanced Operator Algebra Research참고 문헌 17인용 수 6

한 줄 요약

이 논문은 유한 차원 C*-대수 위에서 암시된 두 자동형사의 자유곱의 위상적 엔트로피가 그들의 개별 엔트로피의 최댓값과 정확히 일치함을 증명한다. 즉, ht(α*β) = max(ht(α), ht(β))이다. 자유 확률론과 Cuntz–Pimsner C*-대수 구성법을 이용해 이 결과를 증명하며, 이는 자유 이동이 영 엔트로피를 가지며, O∞ 및 O₂로의 엔트로피 보존 임bedding을 가능하게 한다. 이는 임의의 분리 가능하고 핵심적인 순수 무한 C*-대수에서 [0, ∞] 내의 임의의 엔트로피 값을 갖는 자동형사가 존재함을 시사한다.

ABSTRACT

Using free probability constructions involving Cuntz-Pimsner C*-algebras we show that the topological entropy of the free product of two automorphisms is equal to the maximum of the individual entropies. As applications we show that general free shifts have entropy zero. We show that any nuclear C*-dynamical system admits an entropy preserving covariant embedding into the Cuntz algebra on infinitely many generators. It follows that any simple nuclear purely infinite C*-algebra admits an automorphism with any given value of entropy. As a final application we show that if two automorphisms satisfy a CNT-variational principle then so does their free product.

연구 동기 및 목표

• 자기 연산자에 대한 자유곱의 위상적 엔트로피의 행동을 규명하는 것.
• 자기 연산자에 대해 Connes–Narnhofer–Thirring(CNT) 변분 원리가 개별 구성 요소에 대해 성립할 경우 자유곱 자동형사에 대해서도 성립하는지 조사하는 것.
• 분리 가능하고 핵심적인 C*-동역학계를 Cuntz 대수 O∞ 및 O₂로의 엔트로피 보존 공변 임베딩을 확립하는 것.
• 특히 핵심적인 순수 무한 C*-대수에 대해 자동형사가 가질 수 있는 가능한 엔트로피 값의 집합을 특성화하는 것.

제안 방법

• O₂ 및 O∞의 구조를 활용하여 상태를 갖는 C*-대수의 자유곱으로부터 Cuntz–Pimsner C*-대수를 구성하는 것.
• 정확성과 핵심성의 성질을 활용하여 자유 확률 기법을 적용해 암시된 자유곱에서의 엔트로피를 분석하는 것.
• 유니버설 계수 정리와 Kirchberg–Phillips 분류를 활용하여 결과 대수를 O∞와 동형임을 식별하는 것.
• 교차곱과 유니터리 표현을 통한 엔트로피 보존 공변 임베딩을 활용하여 엔트로피 데이터를 전이하는 것.
• 불변 상태의 상한에서 엔트로피 등식이 성립함을 검증함으로써 자유곱에 대해 CNT 변분 원리를 적용하는 것.
• 내부 자동형사의 자유곱에 대한 작용을 분석하여 곱의 엔트로피와 구성 요소의 엔트로피 간의 관계를 규명하는 것.

실험 결과

연구 질문

• RQ1 자기 연산자 α*β의 자유곱 자동형사의 위상적 엔트로피는 어떤가? 단, 이는 유한 차원 C*-대수 위에서 암시된 것이다.
• RQ2 자기 연산자 α와 β 각각에 대해 CNT 변분 원리가 성립할 경우, 자유곱 α*β에 대해서도 성립하는가?
• RQ3 모든 분리 가능하고 핵심적인 C*-동역학계는 O∞ 또는 O₂로의 엔트로피 보존 방식의 공변 임베딩이 가능한가?
• RQ4 특히 핵심적인 순수 무한 C*-대수에 대해 자동형사가 가질 수 있는 가능한 위상적 엔트로피 값은 무엇인가?

주요 결과

• 자기 연산자 α*β의 자유곱 자동형사의 위상적 엔트로피는 유한 차원 C*-대수 위에서 암시된 경우 정확히 max(ht(α), ht(β))이다.
• 자유곱 *_{i∈ℤ}(A,ϕ)의 자유 이동은 주어진 결과의 직접적인 결과로 위상적 엔트로피가 0이다.
• 모든 분리 가능하고 핵심적인 C*-동역학계는 O∞로의 엔트로피 보존 공변 임베딩이 가능하다.
• O∞의 자동형사가 가질 수 있는 가능한 엔트로피 값의 집합은 정확히 [0, ∞]이며, 즉 TE(O∞) = [0, ∞]이다.
• 모든 분리 가능하고 핵심적이며 순수 무한 단순 C*-대수 B는 TE(B) = [0, ∞]를 만족하며, 이는 임의의 음이 아닌 엔트로피 값을 갖는 자동형사가 존재함을 의미한다.
• α와 β가 CNT 변분 원리를 만족할 경우, α*β 역시 동일한 원리를 만족함을 증명하여 자유곱에 의한 이 원리의 보존을 확립한다.