K-regular sequence explained

In mathematics and theoretical computer science, a k-regular sequence is a sequence satisfying linear recurrence equations that reflect the base-k representations of the integers. The class of k-regular sequences generalizes the class of k-automatic sequences to alphabets of infinite size.

Definition

There exist several characterizations of k-regular sequences, all of which are equivalent. Some common characterizations are as follows. For each, we take R′ to be a commutative Noetherian ring and we take R to be a ring containing R′.

k-kernel

Let k ≥ 2. The k-kernel of the sequence

s(n) _{n} is the set of subsequencesK _{k} (s) = \{s(k ^{e} n + r) _{n} : e \geq 0 and 0 \leq r \leq k ^{e} - 1 \}. The sequence s(n) _{n} is (R′, k)-regular (often shortened to just "k-regular") if the R' -module generated by K_k(s) is a finitely-generated R′-module.^[1]

In the special case when

R' = R = Q , the sequence s(n) _{n} is k -regular if K _{k(s)} is contained in a finite-dimensional vector space over Q .

Linear combinations

\sum _{i} c _{ij} s(k ^{f _{ij}} n + b _{ij} ) , where c_ij is an integer, f_ij ≤ E, and 0 ≤ b_ij ≤ k^f_ij − 1.^[2]

Alternatively, a sequence s(n) is k-regular if there exist an integer r and subsequences s₁(n), ..., s_r(n) such that, for all 1 ≤ i ≤ r and 0 ≤ a ≤ k − 1, every sequence s_i(kn + a) in the k-kernel K_k(s) is an R′-linear combination of the subsequences s_i(n).

Formal series

\sum _{n} s(n) \tau (n) is Z -rational.^[3]

Automata-theoretic

The formal series definition of a k-regular sequence leads to an automaton characterization similar to Schützenberger's matrix machine.^{[4] [5]}

History

The notion of k-regular sequences was first investigated in a pair of papers by Allouche and Shallit.^[6] Prior to this, Berstel and Reutenauer studied the theory of rational series, which is closely related to k-regular sequences.^[7]

Examples

Ruler sequence

Let

s(n) = \nu _{2(n+1)} be the 2 -adic valuation of n +1 . The ruler sequence s(n) _{n} = 0 , 1 , 0 , 2 , 0 , 1 , 0 , 3 , ... is 2 -regular, and the 2 -kernel\{s( 2 ^{e} n + r) _{n} : e \geq 0 and 0 \leq r \leq 2 ^{e} - 1 \} is contained in the two-dimensional vector space generated by s(n) _{n} and the constant sequence 1 , 1 , 1 , ... . These basis elements lead to the recurrence relations\begin{align} s( 2 n) & = 0 , \\ s( 4 n + 1 ) & = s( 2 n + 1 ) - s(n), \\ s( 4 n + 3 ) & = 2 s( 2 n + 1 ) - s(n), \end{align} which, along with the initial conditions s( 0 ) = 0 and s( 1 ) = 1 , uniquely determine the sequence.^[8]

Thue–Morse sequence

The Thue–Morse sequence t(n) is the fixed point of the morphism 0 → 01, 1 → 10. It is known that the Thue–Morse sequence is 2-automatic. Thus, it is also 2-regular, and its 2-kernel

\{t( 2 ^{e} n + r) _{n} : e \geq 0 and 0 \leq r \leq 2 ^{e} - 1 \} consists of the subsequences t(n) _{n} and t( 2 n + 1 ) _{n} .

Cantor numbers

The sequence of Cantor numbers c(n) consists of numbers whose ternary expansions contain no 1s. It is straightforward to show that

\begin{align} c( 2 n) & = 3 c(n), \\ c( 2 n +1 ) & = 3 c(n) + 2 , \end{align} and therefore the sequence of Cantor numbers is 2-regular. Similarly the Stanley sequence

0, 1, 3, 4, 9, 10, 12, 13, 27, 28, 30, 31, 36, 37, 39, 40, ... of numbers whose ternary expansions contain no 2s is also 2-regular.^[9]

Sorting numbers

A somewhat interesting application of the notion of k-regularity to the broader study of algorithms is found in the analysis of the merge sort algorithm. Given a list of n values, the number of comparisons made by the merge sort algorithm are the sorting numbers, governed by the recurrence relation

\begin{align} T( 1 ) & = 0 , \\ T(n) & = T(\lfloor n / 2 \rfloor) + T(\lceil n / 2 \rceil) + n - 1 , n \geq 2 . \end{align} As a result, the sequence defined by the recurrence relation for merge sort, T(n), constitutes a 2-regular sequence.^[10]

Other sequences

If

f(x) is an integer-valued polynomial, then f(n) _{n} is k-regular for every k \geq 2 .

The Glaisher–Gould sequence is 2-regular. The Stern–Brocot sequence is 2-regular.

Allouche and Shallit give a number of additional examples of k-regular sequences in their papers.

Properties

k-regular sequences exhibit a number of interesting properties.

• Every k-automatic sequence is k-regular.^[11]
• Every k-synchronized sequence is k-regular.
• A k-regular sequence takes on finitely many values if and only if it is k-automatic.^[12] This is an immediate consequence of the class of k-regular sequences being a generalization of the class of k-automatic sequences.
• The class of k-regular sequences is closed under termwise addition, termwise multiplication, and convolution. The class of k-regular sequences is also closed under scaling each term of the sequence by an integer λ.^{[13] [14] [15]} In particular, the set of k-regular power series forms a ring.^[16]
• If

s(n) _{n} is k-regular, then for all integers m \ge 1 , (s(n) \bmod{m}) _{n} is k-automatic. However, the converse does not hold.^[17]

• For multiplicatively independent k, l ≥ 2, if a sequence is both k-regular and l-regular, then the sequence satisfies a linear recurrence.^[18] This is a generalization of a result due to Cobham regarding sequences that are both k-automatic and l-automatic.^[19]
• The nth term of a k-regular sequence of integers grows at most polynomially in n.^[20]
• If

F is a field and x \in F , then the sequence of powers (x ^{n)} _{n \ge 0} is k-regular if and only if x = 0 or x is a root of unity.^[21]

Proving and disproving k-regularity

Given a candidate sequence

s = s(n) _{n} that is not known to be k-regular, k-regularity can typically be proved directly from the definition by calculating elements of the kernel of s and proving that all elements of the form (s(k ^{r} n + e)) _{n} with r sufficiently large and 0 \le e < 2 ^{r} can be written as linear combinations of kernel elements with smaller exponents in the place of r . This is usually computationally straightforward.

On the other hand, disproving k-regularity of the candidate sequence

s usually requires one to produce a Z -linearly independent subset in the kernel of s , which is typically trickier. Here is one example of such a proof.

Let

e _{0(n)} denote the number of 0 's in the binary expansion of n . Let e _{1(n)} denote the number of 1 's in the binary expansion of n . The sequence f(n) : = e _{0(n)-e} _{1(n)} can be shown to be 2-regular. The sequence g = g(n) : = |f(n)| is, however, not 2-regular, by the following argument. Suppose (g(n)) _{n} is 2-regular. We claim that the elements g( 2 ^{k} n) for n \ge 1 and k \ge 0 of the 2-kernel of g are linearly independent over Z . The function n \mapsto e _{0(n)-e} _{1(n)} is surjective onto the integers, so let x _{m} be the least integer such that e _{0(x} _{m)-e} _{1(x} _{m)} = m . By 2-regularity of (g(n)) _{n} , there exist b \ge 0 and constants c _{i} such that for each n \ge 0 ,\sum _{0} c _{i} g( 2 ^{i} n) = 0 .

Let

a be the least value for which c _{a} \ne 0 . Then for every n \ge 0 ,g( 2 ^{a} n) = \sum _{a+1} - (c _{i/c} _{a)} g( 2 ^{i} n).

Evaluating this expression at

n = x _{m} , where m = 0 , -1 , 1 , 2 , -2 and so on in succession, we obtain, on the left-hand sideg( 2 ^{a} x _{m)} = |e _{0(x} _{m)-e} _{1(x} _{m)+a|} = |m + a|,

and on the right-hand side,

\sum _{a+1} - (c _{i/c} _{a)|m+i|.}

It follows that for every integer

m ,|m + a| = \sum _{a+1} - (c _{i/c} _{a)} |m + i|.

But for

m \ge - a -1 , the right-hand side of the equation is monotone because it is of the form Am + B for some constants A,B , whereas the left-hand side is not, as can be checked by successively plugging in m = - a -1 , m = - a , and m = - a +1 . Therefore, (g(n)) _{n} is not 2-regular.^[22]

References

• .
• .
• Book: Allouche . Jean-Paul . Shallit . Jeffrey . Jeffrey Shallit . 978-0-521-82332-6 . . Automatic Sequences: Theory, Applications, Generalizations . 2003 . 1086.11015 .

Notes and References

1. Allouche and Shallit (1992), Definition 2.1.
2. Allouche & Shallit (1992), Theorem 2.2.
3. Allouche & Shallit (1992), Theorem 4.3.
4. Allouche & Shallit (1992), Theorem 4.4.
5. .
6. Allouche & Shallit (1992, 2003).
7. Book: Berstel . Jean . Reutenauer . Christophe . Rational Series and Their Languages . 12 . EATCS Monographs on Theoretical Computer Science . 1988 . 978-3-642-73237-9 . .
8. Allouche & Shallit (1992), Example 8.
9. Allouche & Shallit (1992), Examples 3 and 26.
10. Allouche & Shallit (1992), Example 28.
11. Allouche & Shallit (1992), Theorem 2.3.
12. Allouche & Shallit (2003) p. 441.
13. Allouche & Shallit (1992), Theorem 2.5.
14. Allouche & Shallit (1992), Theorem 3.1.
15. Allouche & Shallit (2003) p. 445.
16. Allouche and Shallit (2003) p. 446.
17. Allouche and Shallit (2003) p. 441.
18. J. . Bell . A generalization of Cobham's theorem for regular sequences. Séminaire Lotharingien de Combinatoire . 54A . 2006 .
19. A. . Cobham . On the base-dependence of sets of numbers recognizable by finite automata . Math. Systems Theory . 3 . 2 . 1969 . 186–192 . 10.1007/BF01746527 . 19792434 .
20. Allouche & Shallit (1992) Theorem 2.10.
21. Allouche and Shallit (2003) p. 444.
22. Allouche and Shallit (1993) p. 168–169.