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

DOI10.1007/S40993-022-00335-8zbMATH Open1493.11020arXiv2106.12218OpenAlexW3175048493WikidataQ114218023 ScholiaQ114218023MaRDI QIDQ2145887FDOQ2145887

Authors: Mehdi Makhul, Arne Winterhof 

Publication date: 15 June 2022

Published in: Research in Number Theory (Search for Journal in Brave)

Abstract: Let ${mathbbF}_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 ${mathbbF}_q$ over ${mathbbF}_p$. For ${\displaystyle }$xi=sum_{i=1}^rx_i�eta_i, quad quad x_iin{mathbb F}_p,${\displaystyle }$ we define the Thue-Morse or sum-of-digits function $T(xi)$ on ${mathbbF}_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 $1lesleq$, a subset $calA=alph{a}_1,ldots,alph{a}_{s}subset{mathbbF}_q$, a polynomial $f(X)in{mathbbF}_q[X]$ of degree $d$ and a vector $underlinec=(c_1,ldots,c_s)in{mathbbF}_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~$calT(underlinec,calA,f)$ is asymptotically the same for all~$underlinec$ and $calA$ in both cases, $pightarrowinfty$ and $rightarrowinfty$, 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 $1led<p$ we have the dichotomy that the bound is valid if $sled$ and fails for some $underlinec$ and $calA$ if $sged+1$. The case $s=1$ was studied before by Dartyge and S'ark"ozy.

Full work available at URL: https://arxiv.org/abs/2106.12218

Recommendations

• Thue-Morse along two polynomial subsequences
• Distribution of completely \(Q\)-additive functions along squares of polynomials over a finite field
• Prescribing digits in finite fields
• Normality of the Thue-Morse sequence along Piatetski-Shapiro sequences. II
• The sum of digits function in finite fields

zbMATH Keywords

normalityexponential sumsfinite fieldspolynomial equationssum of digitsThue-Morse function

Mathematics Subject Classification ID

Radix representation; digital problems (11A63) Estimates on exponential sums (11L07) Polynomials over finite fields (11T06) Exponential sums (11T23)

Cites Work

• Handbook of finite fields
• Title not available (Why is that?)
• On Some Exponential Sums
• Equations over finite fields. An elementary approach
• On the linear complexity profile of explicit nonlinear pseudorandom numbers.
• Applied Number Theory
• Incomplete exponential sums over finite fields and their applications to new inversive pseudorandom number generators
• Binomial Coefficients Modulo a Prime
• On the number of points on a complete intersection over a finite field. (Appendix: Number of points on singular complete intersections by Nicholas M. Katz)
• Exponential Sums and Goppa Codes: I
• Character sums and primitive roots in finite fields
• Estimates of character sums in finite fields
• О квадратах во множестве элементов конечного поля с ограничениями на коэффициенты при разложении по базису
• Normality along squares
• Title not available (Why is that?)
• On the lattice structure of pseudorandom numbers generated over arbitrary finite fields
• The sum of digits function in finite fields
• Prescribing the binary digits of squarefree numbers and quadratic residues
• Prescribing digits in finite fields
• Polynomial values and generators with missing digits in finite fields
• On the sum of digits of special sequences in finite fields
• The Rudin–Shapiro Sequence and Similar Sequences Are Normal Along Squares
• On the distribution of the Rudin-Shapiro function for finite fields

Cited In (3)

• The fractal structure of rarefied sums of the Thue-Morse sequence
• Character sums over sparse elements of finite fields
• Pseudorandom sequences derived from automatic sequences

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)