{"title":"独特的双基地扩展","authors":"","doi":"10.1007/s00605-024-01973-z","DOIUrl":null,"url":null,"abstract":"<h3>Abstract</h3> <p>For two real bases <span> <span>\\(q_0, q_1 > 1\\)</span> </span>, we consider expansions of real numbers of the form <span> <span>\\(\\sum _{k=1}^{\\infty } i_k/(q_{i_1}q_{i_2}\\ldots q_{i_k})\\)</span> </span> with <span> <span>\\(i_k \\in \\{0,1\\}\\)</span> </span>, which we call <span> <span>\\((q_0,q_1)\\)</span> </span>-expansions. A sequence <span> <span>\\((i_k)\\)</span> </span> is called a unique <span> <span>\\((q_0,q_1)\\)</span> </span>-expansion if all other sequences have different values as <span> <span>\\((q_0,q_1)\\)</span> </span>-expansions, and the set of unique <span> <span>\\((q_0,q_1)\\)</span> </span>-expansions is denoted by <span> <span>\\(U_{q_0,q_1}\\)</span> </span>. In the special case <span> <span>\\(q_0 = q_1 = q\\)</span> </span>, the set <span> <span>\\(U_{q,q}\\)</span> </span> is trivial if <em>q</em> is below the golden ratio and uncountable if <em>q</em> is above the Komornik–Loreti constant. The curve separating pairs of bases <span> <span>\\((q_0, q_1)\\)</span> </span> with trivial <span> <span>\\(U_{q_0,q_1}\\)</span> </span> from those with non-trivial <span> <span>\\(U_{q_0,q_1}\\)</span> </span> is the graph of a function <span> <span>\\(\\mathcal {G}(q_0)\\)</span> </span> that we call generalized golden ratio. Similarly, the curve separating pairs <span> <span>\\((q_0, q_1)\\)</span> </span> with countable <span> <span>\\(U_{q_0,q_1}\\)</span> </span> from those with uncountable <span> <span>\\(U_{q_0,q_1}\\)</span> </span> is the graph of a function <span> <span>\\(\\mathcal {K}(q_0)\\)</span> </span> that we call generalized Komornik–Loreti constant. We show that the two curves are symmetric in <span> <span>\\(q_0\\)</span> </span> and <span> <span>\\(q_1\\)</span> </span>, that <span> <span>\\(\\mathcal {G}\\)</span> </span> and <span> <span>\\(\\mathcal {K}\\)</span> </span> are continuous, strictly decreasing, hence almost everywhere differentiable on <span> <span>\\((1,\\infty )\\)</span> </span>, and that the Hausdorff dimension of the set of <span> <span>\\(q_0\\)</span> </span> satisfying <span> <span>\\(\\mathcal {G}(q_0)=\\mathcal {K}(q_0)\\)</span> </span> is zero. We give formulas for <span> <span>\\(\\mathcal {G}(q_0)\\)</span> </span> and <span> <span>\\(\\mathcal {K}(q_0)\\)</span> </span> for all <span> <span>\\(q_0 > 1\\)</span> </span>, using characterizations of when a binary subshift avoiding a lexicographic interval is trivial, countable, uncountable with zero entropy and uncountable with positive entropy respectively. Our characterizations in terms of <em>S</em>-adic sequences including Sturmian and the Thue–Morse sequences are simpler than those of Labarca and Moreira (Ann Inst Henri Poincaré Anal Non Linéaire 23, 683–694, 2006) and Glendinning and Sidorov (Ergod Theory Dyn Syst 35, 1208–1228, 2015), and are relevant also for other open dynamical systems.</p>","PeriodicalId":18913,"journal":{"name":"Monatshefte für Mathematik","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2024-04-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Unique double base expansions\",\"authors\":\"\",\"doi\":\"10.1007/s00605-024-01973-z\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<h3>Abstract</h3> <p>For two real bases <span> <span>\\\\(q_0, q_1 > 1\\\\)</span> </span>, we consider expansions of real numbers of the form <span> <span>\\\\(\\\\sum _{k=1}^{\\\\infty } i_k/(q_{i_1}q_{i_2}\\\\ldots q_{i_k})\\\\)</span> </span> with <span> <span>\\\\(i_k \\\\in \\\\{0,1\\\\}\\\\)</span> </span>, which we call <span> <span>\\\\((q_0,q_1)\\\\)</span> </span>-expansions. A sequence <span> <span>\\\\((i_k)\\\\)</span> </span> is called a unique <span> <span>\\\\((q_0,q_1)\\\\)</span> </span>-expansion if all other sequences have different values as <span> <span>\\\\((q_0,q_1)\\\\)</span> </span>-expansions, and the set of unique <span> <span>\\\\((q_0,q_1)\\\\)</span> </span>-expansions is denoted by <span> <span>\\\\(U_{q_0,q_1}\\\\)</span> </span>. In the special case <span> <span>\\\\(q_0 = q_1 = q\\\\)</span> </span>, the set <span> <span>\\\\(U_{q,q}\\\\)</span> </span> is trivial if <em>q</em> is below the golden ratio and uncountable if <em>q</em> is above the Komornik–Loreti constant. The curve separating pairs of bases <span> <span>\\\\((q_0, q_1)\\\\)</span> </span> with trivial <span> <span>\\\\(U_{q_0,q_1}\\\\)</span> </span> from those with non-trivial <span> <span>\\\\(U_{q_0,q_1}\\\\)</span> </span> is the graph of a function <span> <span>\\\\(\\\\mathcal {G}(q_0)\\\\)</span> </span> that we call generalized golden ratio. Similarly, the curve separating pairs <span> <span>\\\\((q_0, q_1)\\\\)</span> </span> with countable <span> <span>\\\\(U_{q_0,q_1}\\\\)</span> </span> from those with uncountable <span> <span>\\\\(U_{q_0,q_1}\\\\)</span> </span> is the graph of a function <span> <span>\\\\(\\\\mathcal {K}(q_0)\\\\)</span> </span> that we call generalized Komornik–Loreti constant. We show that the two curves are symmetric in <span> <span>\\\\(q_0\\\\)</span> </span> and <span> <span>\\\\(q_1\\\\)</span> </span>, that <span> <span>\\\\(\\\\mathcal {G}\\\\)</span> </span> and <span> <span>\\\\(\\\\mathcal {K}\\\\)</span> </span> are continuous, strictly decreasing, hence almost everywhere differentiable on <span> <span>\\\\((1,\\\\infty )\\\\)</span> </span>, and that the Hausdorff dimension of the set of <span> <span>\\\\(q_0\\\\)</span> </span> satisfying <span> <span>\\\\(\\\\mathcal {G}(q_0)=\\\\mathcal {K}(q_0)\\\\)</span> </span> is zero. We give formulas for <span> <span>\\\\(\\\\mathcal {G}(q_0)\\\\)</span> </span> and <span> <span>\\\\(\\\\mathcal {K}(q_0)\\\\)</span> </span> for all <span> <span>\\\\(q_0 > 1\\\\)</span> </span>, using characterizations of when a binary subshift avoiding a lexicographic interval is trivial, countable, uncountable with zero entropy and uncountable with positive entropy respectively. Our characterizations in terms of <em>S</em>-adic sequences including Sturmian and the Thue–Morse sequences are simpler than those of Labarca and Moreira (Ann Inst Henri Poincaré Anal Non Linéaire 23, 683–694, 2006) and Glendinning and Sidorov (Ergod Theory Dyn Syst 35, 1208–1228, 2015), and are relevant also for other open dynamical systems.</p>\",\"PeriodicalId\":18913,\"journal\":{\"name\":\"Monatshefte für Mathematik\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-04-06\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Monatshefte für Mathematik\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1007/s00605-024-01973-z\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Monatshefte für Mathematik","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1007/s00605-024-01973-z","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
For two real bases \(q_0, q_1 > 1\), we consider expansions of real numbers of the form \(\sum _{k=1}^{\infty } i_k/(q_{i_1}q_{i_2}\ldots q_{i_k})\) with \(i_k \in \{0,1\}\), which we call \((q_0,q_1)\)-expansions. A sequence \((i_k)\) is called a unique \((q_0,q_1)\)-expansion if all other sequences have different values as \((q_0,q_1)\)-expansions, and the set of unique \((q_0,q_1)\)-expansions is denoted by \(U_{q_0,q_1}\). In the special case \(q_0 = q_1 = q\), the set \(U_{q,q}\) is trivial if q is below the golden ratio and uncountable if q is above the Komornik–Loreti constant. The curve separating pairs of bases \((q_0, q_1)\) with trivial \(U_{q_0,q_1}\) from those with non-trivial \(U_{q_0,q_1}\) is the graph of a function \(\mathcal {G}(q_0)\) that we call generalized golden ratio. Similarly, the curve separating pairs \((q_0, q_1)\) with countable \(U_{q_0,q_1}\) from those with uncountable \(U_{q_0,q_1}\) is the graph of a function \(\mathcal {K}(q_0)\) that we call generalized Komornik–Loreti constant. We show that the two curves are symmetric in \(q_0\) and \(q_1\), that \(\mathcal {G}\) and \(\mathcal {K}\) are continuous, strictly decreasing, hence almost everywhere differentiable on \((1,\infty )\), and that the Hausdorff dimension of the set of \(q_0\) satisfying \(\mathcal {G}(q_0)=\mathcal {K}(q_0)\) is zero. We give formulas for \(\mathcal {G}(q_0)\) and \(\mathcal {K}(q_0)\) for all \(q_0 > 1\), using characterizations of when a binary subshift avoiding a lexicographic interval is trivial, countable, uncountable with zero entropy and uncountable with positive entropy respectively. Our characterizations in terms of S-adic sequences including Sturmian and the Thue–Morse sequences are simpler than those of Labarca and Moreira (Ann Inst Henri Poincaré Anal Non Linéaire 23, 683–694, 2006) and Glendinning and Sidorov (Ergod Theory Dyn Syst 35, 1208–1228, 2015), and are relevant also for other open dynamical systems.