arXiv++ Combinatorics

Let $m$ be a positive integer larger than $1$, let $w$ be a finite word over $\left\{0,1,...,m-1\right\}$ and let $a_{m;w}(n)$ be the number of occurrences of the word $w$ in the $m$-expansion of $n$ mod $p$ for any non-negative integer $n$. In this article, we first give a fast algorithm to generate all sequences of the form $(a_{m;w}(n))_{n \in \mathbf{N}}$; then, under the hypothesis that $m$ is a prime, we prove that all these sequences are $m$-uniformly but not purely morphic, except for $w=1,2,...,m-1$; finally, under the same assumption of $m$ as before, we prove that the power series $\sum_{i=0}^{\infty} a_{m;w}(n)t^n$ is algebraic of degree $m$ over $\mathbb{F}_m(t)$.

We present family of automatic sequences that define algebraic continued fractions in characteristic 2. This family is constructed from ultimately period words and contains the period-doubling sequence.

We present two families of automatic sequences that define algebraic continued fractions in characteristic $2$. The period-doubling sequence belongs to the first first family $\mathcal{P}$; and its sum, the Thue-Morse sequence, belongs to the second family $\mathcal{G}$. The family $\mathcal{G}$ contains all the iterated sums of sequences from the $\mathcal{P}$ and more.

Considering an arbitrary pair of distinct and non constant polynomials, $a$ and $b$ in $\mathbb{F}_2[t]$, we build a continued fraction in $\mathbb{F}_2((1/t))$ whose partial quotients are only equal to $a$ or $b$. In a previous work of the first author and Han (to appear in Acta Arithmetica), the authors considered two cases where the sequence of partial quotients represents in each case a famous and basic $2$-automatic sequence, both defined in a similar way by morphisms. They could prove the algebraicity of the corresponding continued fractions for several pairs $(a,b)$ in the first case (the Prouhet-Thue-Morse sequence) and gave the proof for a particular pair for the second case (the period-doubling sequence). Recently Bugeaud and Han (arXiv:2203.02213) proved the algebraicity for an arbitrary pair in the first case. Here we give a short proof for an arbitrary pair in the second case.

We put forward several general conjectures concerning the algebraicity or transcendence of continued fractions and Stieltjes continued fractions defined by the Thue-Morse and period-doubling sequences in characteristic $2$. We present our Guess'n'Prove method, in which we exploit the structure of automata, for proving some of our conjectures in special cases.

Continued fraction expansions and Hankel determinants of automatic sequences are extensively studied during the last two decades. These studies found applications in number theory in evaluating irrationality exponents. The present paper is motivated by the converse problem: to study continued fractions of which the elements form an automatic sequence. We consider two such continued fractions defined by the Thue-Morse and period-doubling sequences respectively, and prove that they are congruent to algebraic series in $\mathbb{Z}[[x]]$ modulo $4$. Consequently, the sequences of the coefficients of the power series expansions of the two continued fractions modulo $4$ are $2$-automatic. Our approach is to first guess the explicit formulas of certain subsequences of $(P_n(x))$ and $(Q_n(x))$, where $P_n(x)/Q_n(x)$ is the canonical representation of the truncated continued fractions, then prove these formulas by an intricate induction involving eight subsequences while exploiting the relations between these subsequences.

Hankel determinants and automatic sequences are two classical subjects widely studied in Mathematics and Theoretical Computer Science. However, these two topics were considered totally independently, until in 1998, when Allouche, Peyrière, Wen and Wen proved that all the Hankel determinants of the Thue-Morse sequence are nonzero. This property allowed Bugeaud to prove that the irrationality exponents of the Thue-Morse-Mahler numbers are exactly 2. Since then, the Hankel determinants of several other automatic sequences, in particular, the paperfolding sequence, the Stern sequence, the period-doubling sequence, are studied by Coons, Vrbik, Guo, Wu, Wen, Bugeaud, Fu, Han, Fokkink, Kraaikamp, and Shallit. On the other hand, it is known that the Hankel determinants of a rational power series are ultimately zero, and the Hankel determinants of a quadratic power series over finite fields are ultimately periodic. It is therefore natural to ask if we can obtain similar results about the Hankel determinants of algebraic series. In the present paper, we provide a partial answer to this question by establishing the automaticity of the reduced Hankel determinants modulo $2$ of $\pm 1$-automatic sequences with kernel of cardinality at most $2$.

Several results about the union-closed sets conjecture are presented.

We give a combinatorial proof of the transcendence of $L(1,χ_s)/Π$, where $L(1,χ_s)$ (resp. $Π$) is the analogue in characteristic $p$ of the function $L$ of Dirichlet (resp. $π$). This result has been proven by G. Damamme using the criteria of de Mathan. Our proof is based on the Theorem of Christol and another property of $k$-automatic sequences.

In this article, we prove that for a completely multiplicative function $f$ from $\mathbb{N}^*$ to a field $K$ such that the set $$\{p \;|\; f(p)\neq 1_K \;\mbox{and }p \mbox{ is prime}\}$$ is finite, the asymptotic subword complexity of $f$ is $Θ(n^t)$, where $t$ is the number of primes $p$ that $f(p)\neq 0_K, 1_K$. This proves in particular that sequences like $((-1)^{v_2(n)+v_3(n)})_n$ are not $k$-automatic for $k\geq 2$.

In this article, using a Proposition of Furstenberg, we give a coefficient extraction formula for algebraic series that is valid for all fields, of which the Flajolet-Soria coefficient extraction formula for the complex field is a special case.