Keller's invariant-measure representation conjecture for regular Toeplitz freefree systems

Let BsubseteqmathbbN\mathscr{B}subseteqmathbb{N} be such that η\eta^* is a regular Toeplitz sequence. Let HH be the associated dynamical system with transformation RR, let φ,φ\varphi,\underline{\varphi} define the endpoints of the fiber interval [φ,φ][\underline{\varphi},\varphi], and let XφX_\varphi be the corresponding B\mathscr{B}-free subshift. For hinHhin H and xin\ta0,1\taZxin\ta{0,1\ta}^{\mathbb{Z}}, define

MH(h,x)=φ(h)+xcdot(φ(h)φ(h)).M_H(h,x)=\underline{\varphi}(h)+xcdot(\varphi(h)-\underline{\varphi}(h)).

Keller's conjecture. For every nuin\taP(Xφ)nuin\ta{P}(X_\varphi), there exists rhoin\taP(Hxtimes\ta0,1\taZ,Rxtimessigma)rhoin\ta{P}(Hxtimes\ta{0,1\ta}^{\mathbb{Z}},Rxtimessigma) such that, for every measurable AsubseteqXφAsubseteq X_\varphi,

nu(A)=Hxtimes\ta0,1\taZ1A(φ(h)+xcdot(φ(h)φ(h)))drho(h,x).nu(A)=\int_{Hxtimes\ta{0,1\ta}^{\mathbb{Z}}}\mathbf{1}_A(\underline{\varphi}(h)+xcdot(\varphi(h)-\underline{\varphi}(h)))\,drho(h,x).

Equivalently, nu=(MH)ρnu=(M_H)_*\rho for some such ρ\rho. The conjecture gives a complete representation of invariant measures on XφX_\varphi through measures on the skew-product system; its resolution is not established by the supplied source context.

Sources & referencesView supporting material

Primary source

Aurelia Dymek, Joanna Kułaga-Przymus and Daniel Sell, “Invariant measures for B-free systems revisited”, arXiv:2307.02134 (2024).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.