Showing 1–18 of 18 results for author: Kaneko, H

Rotational beta expansions and Schmidt games

Authors: Hajime Kaneko, Jonathan Caalim, Nathaniel Nollen

Abstract: We consider rotational beta expansions in dimensions 1, 2 and 4 and view them as expansions on real numbers, complex numbers, and quaternions, respectively. We give sufficient conditions on the parameters $α, β\in (0,1)$ so that particular cylinder sets arising from the expansions are winning or losing Schmidt $(α,β)$-game. We consider rotational beta expansions in dimensions 1, 2 and 4 and view them as expansions on real numbers, complex numbers, and quaternions, respectively. We give sufficient conditions on the parameters $α, β\in (0,1)$ so that particular cylinder sets arising from the expansions are winning or losing Schmidt $(α,β)$-game. △ Less

Submitted 14 June, 2025; v1 submitted 6 February, 2025; originally announced February 2025.

Comments: 32 pages. Revised in accordance with the referee report. In particular, we have corrected the deficiencies in the statement and proof of Theorem 4.1. To appear in Acta Mathematica Hungarica

MSC Class: 11K16; 11J25; 68R15; 37E05; 11R52

Markoff-Lagrange spectrum of one-sided shifts

Authors: Hajime Kaneko, Wolfgang Steiner

Abstract: For the Lagrange spectrum and other applications, we determine the smallest accumulation point of binary sequences that are maximal in their shift orbits. This problem is trivial for the lexicographic order, and its solution is the fixed point of a substitution for the alternating lexicographic order. For orders defined by cylinders, we show that the solutions are $S$-adic sequences, where $S$ is… ▽ More For the Lagrange spectrum and other applications, we determine the smallest accumulation point of binary sequences that are maximal in their shift orbits. This problem is trivial for the lexicographic order, and its solution is the fixed point of a substitution for the alternating lexicographic order. For orders defined by cylinders, we show that the solutions are $S$-adic sequences, where $S$ is a certain infinite set of substitutions that includes Sturmian morphisms. We also consider a similar problem for symmetric ternary shifts, which is applicable to the multiplicative version of the Markoff-Lagrange spectrum. △ Less

Submitted 9 October, 2023; originally announced October 2023.

Curious congruences for cyclotomic polynomials

Authors: Shigeki Akiyama, Hajime Kaneko

Abstract: Let $Φ_n^{(k)}(x)$ be the $k$-th derivative of $n$-th cyclotomic polynomial. Extending a work of D.~H.~Lehmer, we show some curious congruences: $2Φ^{(3)}_n(1)$ is divisible by $φ(n)-2$ and $Φ^{(2k+1)}_n(1)$ is divisible by $φ(n)-2k$ for $k\ge 2$. The congruence stems from a general property of self-reciprocal polynomials. Let $Φ_n^{(k)}(x)$ be the $k$-th derivative of $n$-th cyclotomic polynomial. Extending a work of D.~H.~Lehmer, we show some curious congruences: $2Φ^{(3)}_n(1)$ is divisible by $φ(n)-2$ and $Φ^{(2k+1)}_n(1)$ is divisible by $φ(n)-2k$ for $k\ge 2$. The congruence stems from a general property of self-reciprocal polynomials. △ Less

Submitted 27 October, 2022; v1 submitted 24 April, 2022; originally announced April 2022.

Comments: See remarks we recieved afterwards in the appendix. To appear in Research in Number Theory

MSC Class: 11A25; 11A07; 11R18

Exponential Diophantine approximation and symbolic dynamics

Authors: Shigeki Akiyama, Teturo Kamae, Hajime Kaneko

Abstract: We extend the key formula which intertwines multiplicative Markoff-Lagrange spectrum and symbolic dynamics. The proof uses complex analysis and elucidates the strategy of the problem. Moreover, the new method applies to a wide variety of polynomials possibly having multiple roots. We derive several consequences of this formula, which are expected on the Markoff-Lagrange spectrum. We extend the key formula which intertwines multiplicative Markoff-Lagrange spectrum and symbolic dynamics. The proof uses complex analysis and elucidates the strategy of the problem. Moreover, the new method applies to a wide variety of polynomials possibly having multiple roots. We derive several consequences of this formula, which are expected on the Markoff-Lagrange spectrum. △ Less

Submitted 28 January, 2025; v1 submitted 22 April, 2022; originally announced April 2022.

Comments: Minor changes and corrections after the referee report

MSC Class: 11J06; 37B10; 11J54; 11K16

On the binary digits of $n$ and $n^2$

Authors: Karam Aloui, Damien Jamet, Hajime Kaneko, Steffen Kopecki, Pierre Popoli, Thomas Stoll

Abstract: Let $s(n)$ denote the sum of digits in the binary expansion of the integer $n$. Hare, Laishram and Stoll (2011) studied the number of odd integers such that $s(n)=s(n^2)=k$, for a given integer $k\geq 1$. The remaining cases that could not be treated by theses authors were $k\in\{9,10,11,14,15\}$. In this paper we show that there is only a finite number of solutions for $k\in\{9,10,11\}$ and comme… ▽ More Let $s(n)$ denote the sum of digits in the binary expansion of the integer $n$. Hare, Laishram and Stoll (2011) studied the number of odd integers such that $s(n)=s(n^2)=k$, for a given integer $k\geq 1$. The remaining cases that could not be treated by theses authors were $k\in\{9,10,11,14,15\}$. In this paper we show that there is only a finite number of solutions for $k\in\{9,10,11\}$ and comment on the difficulties to settle the two remaining cases $k\in\{14,15\}$. A related problem is to study the solutions of $s(n^2)=4$ for odd integers. Bennett, Bugeaud and Mignotte (2012) proved that there are only finitely many solutions and conjectured that $n=13,15,47,111$ are the only solutions. In this paper, we give an algorithm to find all solutions with fixed sum of digits value, supporting this conjecture, as well as show related results for $s(n^2)=5$. △ Less

Submitted 12 October, 2022; v1 submitted 10 March, 2022; originally announced March 2022.

Comments: 28 pages

A Riemann-Roch theorem on a weighted infinite graph

Authors: Atsushi Atsuji, Hiroshi Kaneko

Abstract: A Riemann-Roch theorem on graph was initiated by M. Baker and S. Norine. In their article [2], a Riemann-Roch theorem on a finite graph with uniform vertex-weight and uniform edge-weight was established and it was suggested a Riemann-Roch theorem on an infinite graph was feasible. In this article, we take an edge-weighted infinite graph and focus on the importance of the spectral gaps of the Lapla… ▽ More A Riemann-Roch theorem on graph was initiated by M. Baker and S. Norine. In their article [2], a Riemann-Roch theorem on a finite graph with uniform vertex-weight and uniform edge-weight was established and it was suggested a Riemann-Roch theorem on an infinite graph was feasible. In this article, we take an edge-weighted infinite graph and focus on the importance of the spectral gaps of the Laplace operators defined on its finite subgraphs naturally given by Q-valued positive weights on the edges. We build a potential theoretic scheme for proof of a Riemann-Roch theorem on the edge-weighted infinite graph. △ Less

Submitted 19 January, 2022; originally announced January 2022.

Products of integers with few nonzero digits

Authors: Hajime Kaneko, Thomas Stoll

Abstract: Let $s(n)$ be the number of nonzero bits in the binary digital expansion of the integer $n$. We study, for fixed $k,\ell,m$, the Diophantine system $$ s(ab)=k, \quad s(a)=\ell,\quad \mbox{and }\quad s(b)=m, $$ in odd integer variables $a,b$. When $k=2$ or $k=3$, we establish a bound on $ab$ in terms of $\ell$ and $m$. While such a bound does not exist in the case of $k=4$, we give an upper bound… ▽ More Let $s(n)$ be the number of nonzero bits in the binary digital expansion of the integer $n$. We study, for fixed $k,\ell,m$, the Diophantine system $$ s(ab)=k, \quad s(a)=\ell,\quad \mbox{and }\quad s(b)=m, $$ in odd integer variables $a,b$. When $k=2$ or $k=3$, we establish a bound on $ab$ in terms of $\ell$ and $m$. While such a bound does not exist in the case of $k=4$, we give an upper bound for $\min\{a,b\}$ in terms of $\ell$ and $m$. △ Less

Submitted 6 December, 2021; originally announced December 2021.

Comments: 17 pages

MSC Class: 11A63; 11B83

Multiplicative analogue of Markoff-Lagrange spectrum and Pisot numbers

Authors: Shigeki Akiyama, Hajime Kaneko

Abstract: Markoff-Lagrange spectrum uncovers exotic topological properties of Diophantine approximation. We investigate asymptotic properties of geometric progressions modulo one and observe significantly analogous results on the set \[ {\mathcal L}(α)=\left\{\left.\limsup_{n\to \infty}\|ξα^n\|\ \right|\ ξ\in {\mathbb R}\right\}, \] where $\|x\|$ is the distance from $x$ to the nearest integer. First, we… ▽ More Markoff-Lagrange spectrum uncovers exotic topological properties of Diophantine approximation. We investigate asymptotic properties of geometric progressions modulo one and observe significantly analogous results on the set \[ {\mathcal L}(α)=\left\{\left.\limsup_{n\to \infty}\|ξα^n\|\ \right|\ ξ\in {\mathbb R}\right\}, \] where $\|x\|$ is the distance from $x$ to the nearest integer. First, we show that ${\mathcal L}(α)$ is closed in $[0,1/2]$ for any Pisot number $α$. Then we consider the case where $α$ is an integer with $α\geq 2$, or a quadratic unit with $α\ge 3$. We show that ${\mathcal L}(α)$ contains a proper interval when $α$ is quadratic but it does not when $α$ is an integer. We also determine the minimum limit point and all isolated points beneath this point. In the course of the proof, we revisit a property studied by Markoff which characterizes bi-infinite balanced words and sturmian words. △ Less

Submitted 20 June, 2021; v1 submitted 14 November, 2019; originally announced November 2019.

Comments: 31 pages. Version 2: Minor corrections. Version 3: Minor corrections. Version 4: More self-contained with improved presentation. Version 5: Minor corrections. to appear in Advances in Mathematics. Version 6: errata for the statement of Th.2.2

Generic point equivalence and Pisot numbers

Authors: Shigeki Akiyama, Hajime Kaneko, Dong Han Kim

Abstract: Let $β>1$ be an integer or generally a Pisot number. Put $T(x) = \{ βx \}$ on $[0,1]$ and let $S: [0,1]\to [0,1]$ be a piecewise linear transformation whose slopes have the form $\pm β^m$ with positive integers $m$. We give sufficient conditions that $T$ and $S$ have the same generic points. Let $β>1$ be an integer or generally a Pisot number. Put $T(x) = \{ βx \}$ on $[0,1]$ and let $S: [0,1]\to [0,1]$ be a piecewise linear transformation whose slopes have the form $\pm β^m$ with positive integers $m$. We give sufficient conditions that $T$ and $S$ have the same generic points. △ Less

Submitted 10 May, 2019; originally announced May 2019.

Comments: 12 pages

MSC Class: 11K16; 37E05

Journal ref: Ergod. Th. Dynam. Sys. 40 (2020) 3169-3180

The digit exchanges in the rotational beta expansions of algebraic numbers

Authors: Hajime Kaneko, Makoto Kawashima

Abstract: In this article, we investigate the $β$-expansions of real algebraic numbers. In particular, we give new lower bounds for the number of digit exchanges in the case where $β$ is a Pisot or Salem number. Moreover, we define a new class of algebraic numbers, quasi-Pisot numbers and quasi-Salem numbers, which gives a generalization of Pisot numbers and Salem numbers. Our method is applicable also to t… ▽ More In this article, we investigate the $β$-expansions of real algebraic numbers. In particular, we give new lower bounds for the number of digit exchanges in the case where $β$ is a Pisot or Salem number. Moreover, we define a new class of algebraic numbers, quasi-Pisot numbers and quasi-Salem numbers, which gives a generalization of Pisot numbers and Salem numbers. Our method is applicable also to the digit expansions of complex algebraic numbers, which gives new estimation. In particular, we investigate the digits of rotational beta expansion by Akiyama and Caalim $[3]$ and zeta-expansion by Surer $[20]$, where the base is a quasi-Pisot or quasi-Salem number. △ Less

Submitted 16 May, 2022; v1 submitted 14 February, 2019; originally announced February 2019.

Comments: 16 pages, Version 3: accepted version

Journal ref: Journal of Number Theory 241, 2022 (A22)

Arithmetical properties of real numbers related to beta-expansions

Authors: Hajime Kaneko

Abstract: The main purpose of this paper is to study the arithmetical properties of values \(\sum_{m=0}^{\infty} β^{-w(m)}\), where \(β\) is a fixed Pisot or Salem number and \(w(m)\) (\(m=0,1,\ldots\)) are distinct sequences of nonnegative integers with \(w(m+1)>w(m)\) for any sufficiently large \(m\). We first introduce criteria for the algebraic independence of such values. Our criteria are applicable to… ▽ More The main purpose of this paper is to study the arithmetical properties of values \(\sum_{m=0}^{\infty} β^{-w(m)}\), where \(β\) is a fixed Pisot or Salem number and \(w(m)\) (\(m=0,1,\ldots\)) are distinct sequences of nonnegative integers with \(w(m+1)>w(m)\) for any sufficiently large \(m\). We first introduce criteria for the algebraic independence of such values. Our criteria are applicable to certain sequences \(w(m)\) (\(m=0,1,\ldots\)) with \(\lim_{m\to\infty}w(m+1)/w(m)=1.\) For example, we prove that two numbers \[\sum_{m=1}^{\infty}β^{-\lfloor \varphi(1,0;m)\rfloor}, \sum_{m=3}^{\infty}β^{-\lfloor \varphi(0,1;m)\rfloor}\] are algebraically independent, where \(\varphi(1,0;m)=m^{\log m}\) and \(\varphi(0,1;m)=m^{\log\log m}\). \par Moreover, we also give criteria for linear independence of real numbers. Our criteria are applicable to the values \(\sum_{m=0}^{\infty}β^{-\lfloor m^ρ\rfloor}\), where \(β\) is a Pisot or Salem number and \(ρ\) is a real number greater than 1. △ Less

Submitted 10 August, 2017; originally announced August 2017.

Comments: 34 pages

MSC Class: 11J91; 11K16; 11J72

Corona limits of tilings : Periodic case

Authors: Shigeki Akiyama, Jonathan Caalim, Katsunobu Imai, Hajime Kaneko

Abstract: We study the limit shape of successive coronas of a tiling, which models the growth of crystals. We define basic terminologies and discuss the existence and uniqueness of corona limits, and then prove that corona limits are completely characterized by directional speeds. As an application, we give another proof that the corona limit of a periodic tiling is a centrally symmetric convex polyhedron (… ▽ More We study the limit shape of successive coronas of a tiling, which models the growth of crystals. We define basic terminologies and discuss the existence and uniqueness of corona limits, and then prove that corona limits are completely characterized by directional speeds. As an application, we give another proof that the corona limit of a periodic tiling is a centrally symmetric convex polyhedron (see [Zhuravlev 2001], [Maleev-Shutov 2011]). △ Less

Submitted 7 September, 2018; v1 submitted 7 July, 2017; originally announced July 2017.

Comments: Revised into 26 pages, to appear in Discrete and Computational Geometry

Hensel's lemma for general continuous functions

Authors: Hajime Kaneko, Thomas Stoll

Abstract: In the present paper, we generalize the well-known Hensel's lifting lemma to any continuous function $f : \mathbb{Z}_p\rightarrow \mathbb{Z}_p$. This answers a question posed by Axelsson and Khrennikov (2016) who showed the validity of Hensel's lemma for $1$- and for $p^α$-Lipschitz functions. For the statement and the proof, we introduce a suitable generalization of the original van der Put serie… ▽ More In the present paper, we generalize the well-known Hensel's lifting lemma to any continuous function $f : \mathbb{Z}_p\rightarrow \mathbb{Z}_p$. This answers a question posed by Axelsson and Khrennikov (2016) who showed the validity of Hensel's lemma for $1$- and for $p^α$-Lipschitz functions. For the statement and the proof, we introduce a suitable generalization of the original van der Put series. We use the concept of approximability of continuous functions to give numerical examples. △ Less

Submitted 20 June, 2018; v1 submitted 5 July, 2017; originally announced July 2017.

Comments: 12 pages, minor corrections, submitted

MSC Class: 11D88 (primary); 11S85 (secondary)

On subwords in the base-$q$ expansion of polynomial and exponential functions

Authors: Hajime Kaneko, Thomas Stoll

Abstract: Let $w$ be any word over the alphabet $\{0,1,\ldots, q-1\}$, and denote by $h$ either a polynomial of degree $d\geq 1$ or $h: n\mapsto m^n$ for a fixed $m$. Furthermore, denote by $e_q(w;h(n))$ the number of occurrences of $w$ as a subword in the base-$q$ expansion of $h(n)$. We show that \[ \limsup_{n\to\infty} \frac{e_q(w;h(n))}{\log n}\geq \frac{γ(w)}{l\log q}, \] where $l$ is the length of… ▽ More Let $w$ be any word over the alphabet $\{0,1,\ldots, q-1\}$, and denote by $h$ either a polynomial of degree $d\geq 1$ or $h: n\mapsto m^n$ for a fixed $m$. Furthermore, denote by $e_q(w;h(n))$ the number of occurrences of $w$ as a subword in the base-$q$ expansion of $h(n)$. We show that \[ \limsup_{n\to\infty} \frac{e_q(w;h(n))}{\log n}\geq \frac{γ(w)}{l\log q}, \] where $l$ is the length of $w$ and $γ(w)\geq 1$ is a constant depending on a property of circular shifts of $w$. This generalizes work by the second author as well as is related to a generalization of Lagarias of a problem of Erdős. △ Less

Submitted 5 July, 2017; originally announced July 2017.

Comments: 8 pages

MSC Class: 11A63 (primary); 11B85 (secondary)

Bernoulli-Carlitz and Cauchy-Carlitz numbers with Stirling-Carlitz numbers

Authors: Hajime Kaneko, Takao Komatsu

Abstract: Recently, the Cauchy-Carlitz number was defined as the counterpart of the Bernoulli-Carlitz number. Both numbers can be expressed explicitly in terms of so-called Stirling-Carlitz numbers. In this paper, we study the second analogue of Stirling-Carlitz numbers and give some general formulae, including Bernoulli and Cauchy numbers in formal power series with complex coefficients, and Bernoulli-Carl… ▽ More Recently, the Cauchy-Carlitz number was defined as the counterpart of the Bernoulli-Carlitz number. Both numbers can be expressed explicitly in terms of so-called Stirling-Carlitz numbers. In this paper, we study the second analogue of Stirling-Carlitz numbers and give some general formulae, including Bernoulli and Cauchy numbers in formal power series with complex coefficients, and Bernoulli-Carlitz and Cauchy-Carlitz numbers in function fields. We also give some applications of Hasse-Teichmüller derivative to hypergeometric Bernoulli and Cauchy numbers in terms of associated Stirling numbers. △ Less

Submitted 4 January, 2019; v1 submitted 24 April, 2017; originally announced April 2017.

Comments: This paper has been published in RIMS Kôkyûroku Bessatsu B72 (2018),23-35

MSC Class: 11B73; 11B68; 11B75; 11R58; 05A15; 05A19

On the digital representation of smooth numbers

Authors: Yann Bugeaud, Hajime Kaneko

Abstract: Let $b \ge 2$ be an integer. Among other results, we establish, in a quantitative form, that any sufficiently large integer which is not a multiple of $b$ cannot have simultaneously only few distinct prime factors and only few nonzero digits in its representation in base $b$. Let $b \ge 2$ be an integer. Among other results, we establish, in a quantitative form, that any sufficiently large integer which is not a multiple of $b$ cannot have simultaneously only few distinct prime factors and only few nonzero digits in its representation in base $b$. △ Less

Submitted 3 April, 2017; originally announced April 2017.

Comments: 10 pages

MSC Class: 11A63; 11J86

Cauchy-Carlitz numbers

Authors: Hajime Kaneko, Takao Komatsu

Abstract: In 1935 Carlitz introduced Bernoulli-Carlitz numbers as analogues of Bernoulli numbers for the rational function field $\mathbb F_r(T)$. In this paper, we introduce Cauchy-Carlitz numbers as analogues of Cauchy numbers. By using Stirling-Carlitz numbers, we give their arithmetical and combinatorial properties and relations with Bernoulli-Carlitz numbers for $\mathbb F_r(T)$. Several new identities… ▽ More In 1935 Carlitz introduced Bernoulli-Carlitz numbers as analogues of Bernoulli numbers for the rational function field $\mathbb F_r(T)$. In this paper, we introduce Cauchy-Carlitz numbers as analogues of Cauchy numbers. By using Stirling-Carlitz numbers, we give their arithmetical and combinatorial properties and relations with Bernoulli-Carlitz numbers for $\mathbb F_r(T)$. Several new identities are also obtained by using Hasse-Teichimüller derivatives. △ Less

Submitted 4 November, 2015; v1 submitted 8 August, 2015; originally announced August 2015.

Weak Solutions of Stochastic Differential Equations over the Field of p-Adic Numbers

Authors: Hiroshi Kaneko, Anatoly N. Kochubei

Abstract: Study of stochastic differential equations on the field of p-adic numbers was initiated by the second author and has been developed by the first author, who proved several results for the p-adic case, similar to the theory of ordinary stochastic integral with respect to Levy processes on the Euclidean spaces. In this article, we present an improved definition of a stochastic integral on the fiel… ▽ More Study of stochastic differential equations on the field of p-adic numbers was initiated by the second author and has been developed by the first author, who proved several results for the p-adic case, similar to the theory of ordinary stochastic integral with respect to Levy processes on the Euclidean spaces. In this article, we present an improved definition of a stochastic integral on the field and prove the joint (time and space) continuity of the local time for p-adic stable processes. Then we use the method of random time change to obtain sufficient conditions for the existence of a weak solution of a stochastic differential equation on the field, driven by the p-adic stable process, with a Borel measurable coefficient. △ Less

Submitted 13 August, 2007; originally announced August 2007.

Comments: To appear in Tohoku Math. J

MSC Class: 60H10 (Primary); 11S80; 60G52 (Secondary)