Normality of the Thue-Morse function for finite fields along polynomial values

Abstract: Let

{m a t h b b F}_{q}

be the finite field of

q

elements, where

q = p^{r}

is a power of the prime

p

, and

be an ordered basis of

{m a t h b b F}_{q}

over

{m a t h b b F}_{p}

. For

xi=sum_{i=1}^rx_i�eta_i, quad quad x_iin{mathbb F}_p,

we define the Thue-Morse or sum-of-digits function

T (x i)

on

{m a t h b b F}_{q}

by [ T(xi)=sum_{i=1}^{r}x_i.%,quad xi=x_1�eta_1+cdots +x_r�eta_rin {mathbb F}_q. ] For a given pattern length

s

with

1 l e s l e q

, a subset

c a l A = a l p h a_{1}, l d o t s, a l p h a_{s} s u b s e t {m a t h b b F}_{q}

, a polynomial

f (X) i n {m a t h b b F}_{q} [X]

of degree

d

and a vector

u n d e r l i n e c = (c_{1}, l d o t s, c_{s}) i n {m a t h b b F}_{p}^{s}

we put [ {cal T}(underline{c},{cal A},f)={xiin{mathbb F}_q : T(f(xi+alpha_i))=c_i,~i=1,ldots,s}. ] In this paper we will see that under some natural conditions, the size of~

c a l T (u n d e r l i n e c, c a l A, f)

is asymptotically the same for all~

u n d e r l i n e c

and

c a l A

in both cases,

p i g h t a r r o w i n f t y

and

r i g h t a r r o w i n f t y

, respectively. More precisely, we have [ left||{cal T}(underline{c},{cal A},f)|-p^{r-s} ight|le (d-1)q^{1/2}] under certain conditions on

d, q

and

s

. For monomials of large degree we improve this bound as well as we find conditions on

d, q

and

s

for which this bound is not true. In particular, if

1 l e d < p

we have the dichotomy that the bound is valid if

s l e d

and fails for some

u n d e r l i n e c

and

c a l A

if

s g e d + 1

. The case

s = 1

was studied before by Dartyge and S'ark"ozy.

Recommendations

Cites work

Cited in

(3)

This page was built for publication: Normality of the Thue-Morse function for finite fields along polynomial values

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2145887)