[논문 리뷰] Bijective arithmetic codings of hyperbolic automorphisms of the 2-torus, and binary quadratic forms

Nikita Sidorov, A. M. Vershik|ArXiv.org|1998. 10. 13.

Mathematical Dynamics and Fractals참고 문헌 4인용 수 6

한 줄 요약

이 논문은 2토러스 위의 쌍곡적 자기동형사상에 대한 이중사상 산술 코딩의 존재를 보장하는 필요충분조건을 도출한다. 이 조건은 자기동형사상으로부터 유도된 이항형식을 통해 기술되며, 핵심 결과는 이러한 이중사상 코딩이 존재하는 것과 그 이항형식의 비영 래티스 점들에서의 최소값이 관련 군 준동형사상의 최소 가능한 핵의 순서와 정확히 일치할 때 정확히 일치함을 보여준다. 이는 디리클레 군을 통해 대응하는 이차체의 정수환의 단위군을 고려함으로써 동역학계 이론과 대수적 수론을 연결한다.

ABSTRACT

We study the arithmetic codings of hyperbolic automorphisms of the 2-torus, i.e. the continuous mappings acting from a certain symbolic space of sequences with a finite alphabet endowed with an appropriate structure of additive group onto the torus which preserve this structure and turn the two-sided shift into a given automorphism of the torus. This group is uniquely defined by an automorphism, and such an arithmetic coding is a homomorphism of that group onto the 2-torus. The necessary and sufficient condition of the existence of a bijective arithmetic coding is obtained; it is formulated in terms of a certain binary quadratic form constructed by means of a given automorphism. Furthermore, we describe all bijective arithmetic codings in terms the Dirichlet group of the corresponding quadratic field. The minimum of that quadratic form over the nonzero elements of the lattice coincides with the minimal possible order of the kernel of a homomorphism described above.

연구 동기 및 목표

• 2토러스의 쌍곡적 자기동형사상이 군의 구조를 유지하는 이중사상 산술 코딩을 갖는 조건을 규명하는 것.
• 이러한 코딩의 존재를 이끌어내는 정확한 대수적 조건을 이항형식을 통해 기술하는 것.
• 관련된 이차체의 디리클레 군을 이용하여 모든 가능한 이중사상 산술 코딩을 묘사하는 것.
• 기호군에서 토러스로의 준동형사상의 핵의 최소 가능한 순서를 결정하고, 이것이 언제 달성되는지 밝혀내는 것.

제안 방법

• 2토러스의 쌍곡적 자기동형사상의 행렬로부터 이항형식을 구성하는 것.
• 기호군(유한 알파벳을 갖는)에서 토러스로의 연속적이고 구조를 유지하는 준동형사상을 산술 코딩으로 정의하는 것.
• 기호 공간과 토러스의 군 구조를 이용해 준동형사상의 핵을 분석하는 것.
• 이항형식의 비영 래티스 벡터에서의 최소값을 통해 코딩의 이중성 조건을 규명하는 것.
• 특히 관련된 실이차체의 디리클레 군을 활용한 대수적 수론 도구의 적용.
• 이중사상 코딩과 관련 이차체의 정수환의 단위군 사이의 대응관계 수립.

실험 결과

연구 질문

• RQ1 2토러스의 쌍곡적 자기동형사상이 군의 구조를 유지하는 이중사상 산술 코딩을 갖는 조건은 무엇인가?
• RQ2 이러한 이중사상 코딩의 존재는 자기동형사상으로부터 유도된 이항형식의 산술적 성질과 어떻게 관련되어 있는가?
• RQ3 기호군에서 토러스로의 준동형사상의 핵의 최소 가능한 순서는 무엇이며, 언제 달성되는가?
• RQ4 모든 이중사상 산술 코딩은 어떻게 대수적 수론의 관점에서 매개변수화할 수 있는가?
• RQ5 관련된 이차체의 디리클레 군은 이러한 코딩을 분류하는 데 어떤 역할을 하는가?

주요 결과

• 이중사상 산술 코딩이 존재하는 것은 유도된 이항형식의 비영 래티스 점들에서의 최소값이 준동형사상의 최소 가능한 핵의 순서와 정확히 일치할 때에만 성립한다.
• 최소 핵의 순서는 이항형식이 비영 래티스 벡터에서 최소값을 취할 때 정확히 달성되며, 이는 이차체의 정수환의 단위에 대응된다.
• 모든 이중사상 산술 코딩은 관련된 실이차체의 디리클레 군(단위군)에 의해 매개변수화된다.
• 기호군의 구조는 실이차체의 정수환의 덧셈군과 동형이며, 이는 코딩의 명시적 구성 가능성을 보장한다.
• 이중사상 코딩의 존재는 유니모듈라 행렬로 표현 가능한 자기동형사상과 동치이며, 이 행렬의 트레이스와 판별식이 양의 정부호 이항형식을 만들어내며 최소값이 1이 되는 경우에 해당한다.
• 논문은 기저가 되는 이차체의 산술을 활용하여 이러한 코딩을 완전히 분류하였으며, 동역학계 이론과 대수적 수론을 연결한다.