Mathematics Problem Archive

Let $\log_p:\mathbb{C}_p^*\to\mathbb{C}_p$ be the branch of the $p$-adic logarithm with $\log_p(p)=0$, and let $T_\lambda:x\mapsto\lambda x$ on $\math...

Let $X=\{0,1\}^{\mathbb{Z}}$ and $Y=\{y\in\{0,1,2\}^{\mathbb{Z}}:y_i\neq y_{i+1}\}$. Both are mixing shifts of finite type with entropy $\log2$, but t...

Let $T:[0,1)\to[0,1)$ be the doubling map $x\mapsto2x\pmod1$, and let $\mu$ be an ergodic measure for $T$ with $0<h(\mu)<1$. Call $f:\mathbb{R}\to\mat...

Let $A=\{0,1,\ldots,d-1\}$ and let $\sigma$ be the shift on $A^{\mathbb{Z}}$. Define $(v_n(x))_i=\#\{0\leq j\leq n:x_j=i\}$ and $(w_n(x))_i=\#\{0\leq ...

With $\mathcal{F}^+$ and $\mathcal{F}^-$ defined from the forward and backward symbol-count tail fields on the full shift $A^{\mathbb{Z}}$, if $\mathc...

Let $M$ be a compact Riemannian manifold of constant negative curvature and $(g_t)_{t\in\mathbb{R}}$ its geodesic flow. Does there exist a probability...

Let $(M,T)$ be a smooth map on a manifold with a good symbolic cover: a mixing shift of finite type factors onto $(M,T)$ and is injective on a set of ...

Characterize mixing shifts of finite type up to topological orbit equivalence....

Let $S$ and $T$ be subshifts. If $S$ is a mixing shift of finite type and $T$ is topologically orbit equivalent to $S$, must $T$ also be a mixing shif...

Consider billiard tables formed by two concentric semicircles joined by two line segments. Consider trajectories with a fixed circle, concentric with ...

If a nonnegative integer matrix $A$ has a unique, simple, nonzero eigenvalue $n$, prove that $A$ is strong shift equivalent over $\mathbb Z_+$ to the ...

Classify shifts of finite type up to topological conjugacy; in particular, give a decision procedure determining whether two nonnegative integer matri...

Given a mixing shift of finite type $S_A$, determine the range of the dimension representation $\operatorname{Aut}(S_A)\to\operatorname{Aut}(G_A)$....

If positive square matrices $A,B$ are shift equivalent over $\mathbb Q_+$, prove that they are strong shift equivalent over $\mathbb Q_+$....

Let $S\subset\mathbb R$ be a unital subring. Prove that a tuple $\Lambda=(\lambda_1,\ldots,\lambda_k)$ is the nonzero spectrum of a primitive matrix o...

Let $S\subset\mathbb R$ be a unital subring and let $A$ be a square matrix over $S$ whose nonzero spectrum satisfies the spectral-conjecture condition...

Let $A,B$ be irreducible integer matrices of the same spectral radius. Suppose $\operatorname{tr}(A^n)>0$ implies $\operatorname{tr}(B^n)>0$ for every...

For sofic shifts $S,T$ with $h(S)\ge h(T)$, give necessary and sufficient conditions for a factor map from $S$ onto $T$. The most fundamental unequal-...

Prove that two mixing Markov shifts admit a magic-word isomorphism exactly when they have the same beta function, the same ratio group $\Delta$, and t...

Characterize the functions that occur as stochastic zeta functions of mixing Markov shifts....

Characterize the functions that occur as beta functions of mixing Markov shifts....

For a $\mathbb Z^2$ shift of finite type $\alpha$, characterize the possible sets $E_1(\alpha)$ of expansive directions, especially under the assumpti...

Suppose a $\mathbb Z^2$ action $\alpha$ has $\alpha^{\boldsymbol n}$ an SFT for some $\boldsymbol n$. Can $\alpha$ have infinitely many expansive comp...

If $S$ is an expansive automorphism of an irreducible shift of finite type, must $S$ itself be a shift of finite type?...

Prove that every expansive automorphism of a one-sided full shift is topologically conjugate to a two-sided full shift....

If $S$ and $T$ are mixing shifts of finite type, prove that $S^i$ and $T^j$ can commute for all sufficiently large integers $i,j$....

For multiplicatively independent integers $p,q>1$, can there exist a nonatomic Borel probability measure on the circle, other than Haar measure, that ...

For the symbolic system $X$ constructed in Section 14 of the source from a commuting pair of full-shift endomorphisms, is Haar measure its only invari...

Determine all shift-invariant Borel probability measures and all subsystems of the symbolic system $X$ constructed in Section 14 of the source from th...

For $d>1$, must every $\mathbb Z^d$ sofic shift be a factor of a $\mathbb Z^d$ shift of finite type having the same entropy?...

For $d>1$, if a continuous factor map sends a $\mathbb Z^d$ SFT $X$ onto a sofic shift $Y$, must $X$ contain a sofic subshift $W$ with $h(W)=h(Y)$ and...

Characterize the stable limit sets of one-dimensional cellular automata....

Let $T$ be a mixing sofic shift with a receptive fixed point. When is there a block code $f:T\to T$ and an SFT $T'\supset T$ such that $f(T')\subset T...

Let $f$ be a surjective block code from a mixing sofic shift $T$ to itself. When does there exist an SFT $T'\supset T$ such that $f(T')\subset T$?...

Does every nonabelian $\mathbb Z^d$ group shift factor algebraically onto a Bernoulli group shift?...

Is every nonabelian $\mathbb Z^d$ group shift weakly algebraically equivalent to a Bernoulli group shift?...

Classify group shifts up to topological conjugacy, especially abelian group shifts with completely positive entropy....

If a translation-invariant Markov random field $\mu$ on a shift is the unique Markov random field, even without assuming translation invariance, with ...

If a $\mathbb Z^d$ SFT has a unique measure of maximal entropy and that measure is Bernoulli, must an i.i.d. process map finitarily onto it?...

Determine whether algorithms exist to: decide conjugacy of two SFTs; decide conjugacy of two two-sided or one-sided sofic shifts; compute the expansiv...

Let $T$ be a mixing one-sided SFT and $S$ a subshift with $h(S)<h(T)$. Give useful necessary and sufficient conditions for $S$ to be isomorphic to a s...

Let $S$ be a one-sided subshift and $T$ the full one-sided shift on $N$ symbols, with $h(S)<\log N$, and suppose no point of $S$ has more than $N$ pre...

Classify one-sided sofic shifts up to topological conjugacy....

Give a procedure deciding whether two canonical left-resolving irreducible covers of a one-sided irreducible SFT are related by an automorphism carryi...

Are the groups $\operatorname{Aut}(\sigma_2)$ and $\operatorname{Aut}(\sigma_3)$ isomorphic?...

For a mixing SFT $S$, let $\operatorname{Aut}_0(S)$ be the inert automorphisms and $F_0(S)$ its finite-order-generated subgroup. Prove that $\operator...

Is every minimal action of a countable amenable group on the Cantor set topologically orbit equivalent to a $\mathbb Z$ action?...

Classify irreducible SFTs up to topological orbit equivalence; characterize and classify their unital ordered cohomology groups; determine when windin...

Can a $C^r$ diffeomorphism of a compact Riemannian manifold have infinite symbolic-extension entropy?...

For each $1\le r\le\infty$, characterize the entropy structures that can occur for $C^r$ diffeomorphisms of compact Riemannian manifolds....