Finite descriptiveness conjecture for stepped surfaces of real cubic fields

From papers

Let αˉˉ=(α0,α1,α2)\bar{\bar \alpha}=\left(\alpha_{0},\alpha_{1},\alpha_{2}\right) be any Q\mathbb{Q}-basis of a real cubic number field. Let S(αˉˉ)\mathscr S\left(\bar{\bar \alpha}\right) denote the associated stepped surface, and let Ind=n=0IndnInd^{*}=\bigcup_{n=0}^{\infty}Ind^{n} be the set of finite words over the index set IndInd. For a finite patch PP of squares, let Θε\Theta_{\varepsilon} be the generalized substitution associated with εInd\varepsilon\in Ind, and let gΨs{}_g\Psi_s denote the stated geometric realization map. Finite descriptiveness conjecture. The stepped surface S(αˉˉ)\mathscr S\left(\bar{\bar \alpha}\right) is finitely descriptive: there exist a finite word ε0ε1εk1Ind\varepsilon_0\varepsilon_1\cdots\varepsilon_{k-1}\in Ind^{*}, a nonempty word εkεk+1εk+l1Ind\varepsilon_k\varepsilon_{k+1}\cdots\varepsilon_{k+l-1}\in Ind^{*} with k0k\geq0 and l>1l>1, and a finite patch PP consisting of squares such that

S(αˉˉ)=gΨs(Θε0Θε1Θεk1(limn(ΘεkΘεk+1Θεk+l1)n(P))).\mathscr S\left(\bar{\bar \alpha}\right)={}_g\Psi_s\left(\Theta_{\varepsilon_0}\Theta_{\varepsilon_1}\cdots\Theta_{\varepsilon_{k-1}}\left(\lim_{n\rightarrow\infty}\left(\Theta_{\varepsilon_k}\Theta_{\varepsilon_{k+1}}\cdots\Theta_{\varepsilon_{k+l-1}}\right)^n(P)\right)\right).

This conjecture asserts that every stepped surface associated with a real cubic number field can be generated from a finite initial patch by a finite prefix of substitutions followed by iteration of a periodic substitution word. The paper presents it as a consequence of the preceding conjectures together with Fernique's theorem, and the claim is supported by numerical experiments; no resolution is supplied here.

Progress summary

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

Sources & referencesView supporting material

Primary source

Maki Furukado, Shunji Ito, Asaki Saito, Jun-ichi Tamura and Shin-ichi Yasutomi, “A new multidimensional slow continued fraction algorithm and stepped surface”, arXiv:1310.7781 (2013).

Solutions 0

No solutions have been posted yet.