[Paper Review] On a certain class of $g$-functions for subshifts

Wolfgang Krieger|ArXiv.org|Dec 13, 2006

Cellular Automata and Applications2 references3 citations

TL;DR

This paper introduces residually defined continuous g-functions for subshifts with property (D), establishing a one-to-one correspondence between such g-functions and residually contractive vertex sets in Shannon graphs. The key contribution is a characterization of subshifts with property (D) via residually contractive measure λ-graph systems, extending the theory of g-functions beyond finite-type subshifts.

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.

Motivation & Objective

• To extend the theory of g-functions beyond finite-type subshifts by introducing residually defined continuous g-functions.
• To characterize subshifts admitting such g-functions through a new structural property, (D).
• To establish a correspondence between residually defined g-functions and residually contractive vertex sets in Shannon graphs.
• To show that property (D) is equivalent to the existence of a presentation by a residually contractive measure λ-graph system.
• To lay the foundation for strong shift equivalence in the context of residually defined g-functions via residually contractive structures.

Proposed method

• Introduces the concept of a residually defined g-function g on a subshift X, where the domain D⁻(g) is a dense Gδ subset of X₍₋∞,₀₎.
• Defines property (D) for subshifts: for every admissible word bσ, there exists a word a ∈ Γ⁻(b) such that σ ∈ ω⁺₁(ab).
• Constructs a mapping from residually defined g-functions to residually contractive vertex sets M(g) in the space of probability measures on Σ.
• Establishes that a subshift admits a residually defined g-function if and only if it has property (D), via a bijective correspondence with residually contractive vertex sets.
• Uses the continuity and density of D⁻(g) to define g-measures and prove that such measures are supported on a dense Gδ set E(g).
• Applies measure λ-graph systems to represent residually contractive structures, showing that they yield g-functions and vice versa.

Experimental results

Research questions

• RQ1 When does a subshift admit a residually defined continuous g-function?
• RQ2 What structural condition on a subshift ensures the existence of such g-functions?
• RQ3 How can residually defined g-functions be classified or parameterized?
• RQ4 What is the relationship between residually defined g-functions and measure λ-graph systems?
• RQ5 Can strong shift equivalence be extended to residually defined g-functions via residually contractive structures?

Key findings

• A subshift admits a residually defined continuous g-function if and only if it satisfies property (D).
• The set of g-measures for a residually defined g-function is supported on a dense Gδ subset E(g) of the subshift.
• There is a one-to-one correspondence between residually defined g-functions and residually contractive vertex sets in Shannon graphs.
• For any residually defined g-function g, the associated vertex set M(g) is residually contractive and presents the subshift X.
• The mapping from residually contractive vertex sets to g-functions is invertible, with g_M(g) = g and M(g_M) = M.
• A subshift has property (D) if and only if it admits a presentation by a residually contractive measure λ-graph system.