[논문 리뷰] On a certain class of $g$-functions for subshifts

Wolfgang Krieger|ArXiv.org|2006. 12. 13.

Cellular Automata and Applications참고 문헌 2인용 수 3

한 줄 요약

이 논문은 성질 (D)를 가진 서브시프트에 대해 잔여적으로 정의된 연속 g-함수를 도입하며, 이러한 g-함수와 샤논 그래프 내 잔여적으로 수축 가능한 정점 집합 사이의 일대일 대응을 수립한다. 주요 기여는 유한형 서브시프트를 초월하여 g-함수 이론을 확장하는 바이며, 잔여적으로 수축 가능한 측도 λ-그래프 시스템을 통한 성질 (D)를 가진 서브시프트의 특성화이다.

ABSTRACT

A property $(D)$ of subshifts was defined in: Wolfgang Krieger, On $g$-functions for subshifts, IMS Lecture Notes- Monograph Series, Vol. 48, Dynamics & Stochastics (2006) 306 - 316, arXiv:math.DS/0608259. With a view towards a theory of $g$-fnctions beyond the case of finte type subshifts partially defined continuous $g$-functions of property $(D)$ subshifts are studied.

연구 동기 및 목표

• 잔여적으로 정의된 연속 g-함수를 도입함으로써, 유한형 서브시프트를 초월한 g-함수 이론을 확장한다.
• 새로운 구조적 성질인 (D)를 통해 그러한 g-함수를 허용하는 서브시프트를 특성화한다.
• 잔여적으로 정의된 g-함수와 샤논 그래프 내 잔여적으로 수축 가능한 정점 집합 사이의 대응 관계를 수립한다.
• 성질 (D)가 잔여적으로 수축 가능한 측도 λ-그래프 시스템에 의한 표현의 존재성과 동치임을 보인다.
• 잔여적으로 수축 가능한 구조를 통해 잔여적으로 정의된 g-함수의 맥락에서 강한 시프트 동치의 기초를 마련한다.

제안 방법

• 서브시프트 X 위에서 정의된 잔여적으로 정의된 g-함수 g를 도입하며, 정의역 D⁻(g)는 X₍₋∞,₀₎의 조밀한 Gδ 부분집합이다.
• 서브시프트에 대한 성질 (D)를 정의한다: 모든 허용 가능한 단어 bσ에 대해, σ ∈ ω⁺₁(ab)를 만족하는 단어 a ∈ Γ⁻(b)가 존재한다.
• 잔여적으로 정의된 g-함수에서 확률 측도 공간 위의 정점 집합 M(g)으로의 사상 구축.
• 서브시프트가 잔여적으로 정의된 g-함수를 허용함과 동시에 성질 (D)를 만족함이 일대일 대응을 통해 잔여적으로 수축 가능한 정점 집합을 통해 동치임을 증명한다.
• D⁻(g)의 연속성과 조밀성을 활용해 g-측도를 정의하고, 이러한 측도가 밀도 있는 Gδ 집합 E(g) 위에 지지됨을 증명한다.
• 측도 λ-그래프 시스템을 사용해 잔여적으로 수축 가능한 구조를 표현하며, 이들이 g-함수를 유도하고 반대로 g-함수를 생성함을 보인다.

실험 결과

연구 질문

• RQ1 언제 서브시프트가 잔여적으로 정의된 연속 g-함수를 허용하는가?
• RQ2 서브시프트의 어떤 구조적 조건이 그러한 g-함수의 존재를 보장하는가?
• RQ3 잔여적으로 정의된 g-함수는 어떻게 분류하거나 매개변수화할 수 있는가?
• RQ4 잔여적으로 정의된 g-함수와 측도 λ-그래프 시스템 사이의 관계는 무엇인가?
• RQ5 잔여적으로 수축 가능한 구조를 통해 잔여적으로 정의된 g-함수로의 강한 시프트 동치를 확장할 수 있는가?

주요 결과

• 서브시프트가 잔여적으로 정의된 연속 g-함수를 허용함과 동시에 성질 (D)를 만족함이 동치이다.
• 잔여적으로 정의된 g-함수에 대한 g-측도의 집합은 서브시프트의 조밀한 Gδ 부분집합 E(g) 위에 지지된다.
• 잔여적으로 정의된 g-함수와 샤논 그래프 내 잔여적으로 수축 가능한 정점 집합 사이에는 일대일 대응이 존재한다.
• 모든 잔여적으로 정의된 g-함수 g에 대해, 관련된 정점 집합 M(g)는 잔여적으로 수축 가능하며 서브시프트 X를 표현한다.
• 잔여적으로 수축 가능한 정점 집합에서 g-함수로의 사상은 가역적이며, g_M(g) = g 및 M(g_M) = M를 만족한다.
• 서브시프트가 성질 (D)를 가진다면, 잔여적으로 수축 가능한 측도 λ-그래프 시스템에 의한 표현이 존재한다.