Anti-power j-fixes of the Thue-Morse word

Abstract: Recently, Fici, Restivo, Silva, and Zamboni introduced the notion of a

k

-anti-power, which is defined as a word of the form

w^{(1)} w^{(2)} c d o t s w^{(k)}

, where

w^{(1)}, w^{(2)}, l d o t s, w^{(k)}

are distinct words of the same length. For an infinite word

w

and a positive integer

k

, define

A P_{j} (w, k)

to be the set of all integers

m

such that

w_{j + 1} w_{j + 2} c d o t s w_{j + k m}

is a

k

-anti-power, where

w_{i}

denotes the

i

-th letter of

w

. Define also

m a t h c a l F_{j} (k) = (2 m a t h b b Z^{+} - 1) c a p A P_{j} (m a t h b f t, k)

, where

m a t h b f t

denotes the Thue-Morse word. For all

k i n m a t h b b Z^{+}

,

g a m m a_{j} (k) = m i n (A P_{j} (m a t h b f t, k))

is a well-defined positive integer, and for

k i n m a t h b b Z^{+}

sufficiently large,

G a m m a_{j} (k) = s u p ((2 m a t h b b Z^{+} - 1) s e t m i n u s m a t h c a l F_{j} (k))

is a well-defined odd positive integer. In his 2018 paper, Defant shows that

g a m m a_{0} (k)

and

G a m m a_{0} (k)

grow linearly in

k

. We generalize Defant's methods to prove that

g a m m a_{j} (k)

and

G a m m a_{j} (k)

grow linearly in

k

for any nonnegative integer

j

. In particular, we show that

d i s p l a y s t y l e 1 / 10 l e q l i m i n f_{k i g h t a r r o w i n f t y} (g a m m a_{j} (k) / k) l e q 9 / 10

and

d i s p l a y s t y l e 1 / 5 l e q l i m s u p_{k i g h t a r r o w i n f t y} (g a m m a_{j} (k) / k) l e q 3 / 2

. Additionally, we show that

d i s p l a y s t y l e l i m i n f_{k i g h t a r r o w i n f t y} (G a m m a_{j} (k) / k) = 3 / 2

and

d i s p l a y s t y l e l i m s u p_{k i g h t a r r o w i n f t y} (G a m m a_{j} (k) / k) = 3

.

Recommendations

Cites Work

Cited In (4)

This page was built for publication: Anti-power \(j\)-fixes of the Thue-Morse word