Regularity of a function related to the 2-adic logarithm (Q550448)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Regularity of a function related to the 2-adic logarithm |
scientific article |
Statements
Regularity of a function related to the 2-adic logarithm (English)
0 references
11 July 2011
0 references
The author answers a question of J. Shallit and the reviewer by proving that the sequence \((f(n))_n\), where \(f(n)= \min_{k\geq n} (k- v_2(k))\), is not 2-regular. Actually, even more is proved: The sequences \(n\to f(2^kn)\) are \(\mathbb{Q}\)-linearly independent.
0 references
2-regular sequences
0 references
2-adic valuation
0 references
linear independence over \(\mathbb{Q}\)
0 references
