Mathematics Problem Archive

If two Birkhoff billiard maps $T_1$ and $T_2$ satisfy $T_1=ST_2S^{-1}$ for a homeomorphism $S$, must their tables be similar? Relatedly, can one hear ...

(a) Is the set of $n$-periodic orbits of a smooth strictly convex Birkhoff billiard nowhere dense for every $n$? (b) Does every polygonal Birkhoff bil...

In the space of area-preserving $C^1$ diffeomorphisms of a compact manifold, is it generic that the dynamics is either hyperbolic or has zero Lyapunov...

For the infinite-dimensional Calogero–Moser system, in which particles on the real line interact through the inverse-square potential, does the dynami...

Let $p$ be a prime for which $$f(u_1,u_2)=1+u_1u_2+u_1^2u_2+u_1^3u_2+u_1^4+u_2^2+u_1^4u_2^2$$ is irreducible, and consider the algebraic $\mathbb{Z}^2...

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 $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...

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-...

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...

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...

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

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...

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?...

Must every surjective $d$-dimensional cellular automaton have dense periodic points? Must its jointly spatially and temporally periodic points be dens...

For a $d$-dimensional cellular automaton with $d\ge2$, let $f_P$ and $f_F$ be its restrictions to spatially periodic and finite configurations. Does i...

Characterize the countable groups $G$ for which every injective $G$-equivariant cellular automaton on $A^G$, for every finite alphabet $A$, is surject...

Is every irreducible sofic shift topologically conjugate to a renewal shift?...

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

Classify subshifts up to flow equivalence....

Prove that the substitutive shift of every irreducible Pisot substitution has pure discrete spectrum....

Let $x\in A^{\mathbb Z^2}$ and let $N_x(n_1,n_2)$ be the number of distinct $n_1\times n_2$ rectangular patterns in $x$. If $N_x(n_1,n_2)\le n_1n_2$ f...

Let $(X,\mathcal X,\mu,T)$ be a system and $f, g, h\in L^\infty(\mu)$ be functions. Show that the averages $$ \frac{1}{N}\sum_{n=1}^N f(T^nx)\cdot g(T...

Does there exist an ergodic measure-preserving transformation whose Koopman operator has simple Lebesgue spectrum?...

For the quadratic Siegel polynomial with rotation angle $\theta_0=(\sqrt5-1)/2$, prove that the Siegel-disk boundary has the experimentally observed o...

For every real $c\in[-2,1/4]$, is the Julia set of $f_c(z)=z^2+c$ locally connected?...

Does every nested intersection $\bigcap_k H_1*\cdots*H_k*M$ of tuned copies of the Mandelbrot set consist of one point? Equivalently, are infinitely r...

Does there exist an entire function with a wandering Fatou component whose orbit of components is bounded?...

If a complete hyperbolic $3$-manifold $N$ has fundamental group generated by $n$ elements, is there a bound $R_n$, depending only on $n$, on the radiu...

Let $A$ be a hyperbolic attractor of a diffeomorphism of a compact $3$-manifold. Beyond the known Anosov, laminated, Williams, and invariant-torus cas...

Given an explicitly specified smooth orientation-preserving diffeomorphism $F$ of the $2$-sphere, is its topological entropy Turing-computable to arbi...