20 problems
Let be a finite alphabet of Verblunsky coefficients, and let be a minimal subshift that is not periodic. The associated measu…
Entropy-minimal symbolic characterization conjecture. There exists an entropy minimal subshift
Intrinsic ergodicity conjecture. The answer to the preceding question is positive at least for binary subshifts, and every bounded density shift is intrinsically ergodic.
Let be a minimal and aperiodic subshift over an alphabet , and let be given by … Let denote the associated CMV spectr…
Extender-entropy separation conjecture. The behavior of extender sets, and in particular extender entropy, could provide a way to separate the classes of sofic and effective subshi…
Let be the shift space associated with the word system, and let and denote the corresponding sets of forbidden and repetitive words, respecti…
A subshift is a shift-invariant closed subset of a full shift over a finite alphabet, and two subshifts are eventually conjugate if, for all sufficiently large positive integers…
Let be a subshift with a collection having property and entropy . Let be a free Borel system, and write its Gurevic e…
Let be a minimal subshift with zero entropy, and let denote the group of homeomorphisms of that commute with the…
Full-shift noncommutativity conjecture. The full vector shift is not compatible with a nontrivial Lie algebraic subshift structure.
Let . The -gap subshift is the set of bi-infinite sequences over in which the gap between any two nearest s has length in ,…
A decidable subshift is a subshift whose language is decidable, and its irreducibility rate measures its mixing strength. Consider decidable subshifts whose irreducibility rate is…
Let be a subshift, meaning a closed, shift-invariant subset of for a finite set . For each , let be the set of distinct follower sets of words o…
Let be a minimal, aperiodic and uniquely ergodic subshift, and let be its suspension. Let be a virtual eigenvalue of…
Let be finite, and let be a minimal subshift that is not periodic. By minimality, the Schrödinger operators…
Let be a countable quasiminimal recursive subshift. The model-checking problem asks whether the language of intersects a given formal language. Locally testable decidabilit…
A universal symbolic system is a symbolic dynamical system capable of simulating every effective symbolic system. Universality conjecture. Every universal symbolic system has infin…
Fix a finite alphabet . For a subshift , let denote its topological entropy and let denote its winning shift. High-entropy winning-shift con…
Weak conjugacy conjecture. The limit set of any stable cellular automaton is weakly conjugate to an SFT.
Equality conjecture. The two quantities are always equal: