Combinatorics, Automata and Number Theory

Berth, Valrie; Rigo, Michel

doi:10.1017/cbo9780511777653

Cited by 57 publications

(2 citation statements)

References 386 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This is because the choice of including x(0) into X(N ) will lead to more consistent results. 6 We use the notion of singular expansion as defined by Flajolet, Gourdon and Dumas [18, Definition 2]: it is the formal sum of the principal parts of a meromorphic function over all poles in the domain given.…”

Section: Condensed Main Resultmentioning

confidence: 99%

Asymptotic Analysis of Regular Sequences

Heuberger

Krenn

2019

Algorithmica

View full text Add to dashboard Cite

In this article, q-regular sequences in the sense of Allouche and Shallit are analysed asymptotically. It is shown that the summatory function of a regular sequence can asymptotically be decomposed as a finite sum of periodic fluctuations multiplied by a scaling factor. Each of these terms corresponds to an eigenvalue of the sum of matrices of a linear representation of the sequence; only the eigenvalues of absolute value larger than the joint spectral radius of the matrices contribute terms which grow faster than the error term.The paper has a particular focus on the Fourier coefficients of the periodic fluctuations: They are expressed as residues of the corresponding Dirichlet generating function. This makes it possible to compute them in an efficient way. The asymptotic analysis deals with Mellin-Perron summations and uses two arguments to overcome convergence issues, namely Hölder regularity of the fluctuations together with a pseudo-Tauberian argument.Apart from the very general result, three examples are discussed in more detail:• sequences defined as the sum of outputs written by a transducer when reading a q-ary expansion of the input; • the amount of esthetic numbers in the first N natural numbers; and • the number of odd entries in the rows of Pascal's rhombus.For these examples, very precise asymptotic formulae are presented. In the latter two examples, prior to this analysis only rough estimates were known. The extended abstract [31] (with appendices containing proofs available as arXiv:1802.03266) imposes a restriction on the asymptotic growth. The extended abstract [30] (with appendices containing proofs available as arXiv:1808.00842) lifts this restriction by completely getting rid of the corresponding technical condition. This article now contains the full (majorly restructured) proof covering all cases. It is shorter and simpler. We now use a generating functions approach which also gives additional insights. For example, the cancellations in the proof in [31] seem to be a kind of magic at that point, but with the new approach, it is now clear and no surprise anymore that they have to appear. Besides, the examples investigated in [31,30] are now presented with full details. A new part on computational aspects of the computation of Fourier coefficients is added. Reading strategies for various interests are now outlined in Part I so that readers find their ways through this article.The authors thank Sara Kropf for her comments on an early version of this paper.

show abstract

Section: Condensed Main Resultmentioning

confidence: 99%

Asymptotic Analysis of Regular Sequences

Heuberger

Krenn

2019

Algorithmica

View full text Add to dashboard Cite

show abstract

“…This set is known as the Rauzy fractal associated to the substitution. For references on conditions under which the Pisot conjecture is true, we refer to, among other references, [1,2,3,4,5,6,7,11,12,15,16,21,22,23]. Before we define Rauzy fractals, we have to introduce some constructions and notations.…”

Section: Substitutions and Rauzy Fractalsmentioning

confidence: 99%