<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(A_0,A_1\)</EquationSource> </InlineEquation> be nonnegative matrices in <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\({{\,\textrm{GL}\,}}_{n+1}\mathbb {Z}\)</EquationSource> </InlineEquation> such that the subsimplexes <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(A_0[\Delta ],A_1[\Delta ]\)</EquationSource> </InlineEquation> split the standard unit <i>n</i>-dimensional simplex <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\Delta \)</EquationSource> </InlineEquation> in two. We prove that, for every <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(n=1,2,\ldots \)</EquationSource> </InlineEquation> and up to the natural action of the symmetric group by conjugation, there are precisely three choices for the pair <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\((A_0,A_1)\)</EquationSource> </InlineEquation> such that the resulting projective Iterated Function System is topologically contractive. In equivalent terms, in every dimension there exist precisely three continued fraction algorithms that assign distinct two-symbol expansions to distinct points. These expansions are induced by the Gauss-type map <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(G:\Delta \rightarrow \Delta \)</EquationSource> </InlineEquation> with branches <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(A_0^{-1},A_1^{-1}\)</EquationSource> </InlineEquation>, which is continuous in exactly one of these three cases, namely when it equals the Farey-Mönkemeyer map.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

There is only one Farey map

  • Giovanni Panti

摘要

Let \(A_0,A_1\) be nonnegative matrices in \({{\,\textrm{GL}\,}}_{n+1}\mathbb {Z}\) such that the subsimplexes \(A_0[\Delta ],A_1[\Delta ]\) split the standard unit n-dimensional simplex \(\Delta \) in two. We prove that, for every \(n=1,2,\ldots \) and up to the natural action of the symmetric group by conjugation, there are precisely three choices for the pair \((A_0,A_1)\) such that the resulting projective Iterated Function System is topologically contractive. In equivalent terms, in every dimension there exist precisely three continued fraction algorithms that assign distinct two-symbol expansions to distinct points. These expansions are induced by the Gauss-type map \(G:\Delta \rightarrow \Delta \) with branches \(A_0^{-1},A_1^{-1}\) , which is continuous in exactly one of these three cases, namely when it equals the Farey-Mönkemeyer map.