arXiv subjects

Jean-Paul Allouche

Publications and source records attributed to Jean-Paul Allouche.

At least 19 recordsLinked to original sources

arXiv2025

Doubling modulo odd integers, generalizations, and unexpected occurrences

The starting point of this work is an equality between two quantities $A$ and $B$ found in the literature, which involve the {\em doubling-modulo-an-odd-integer} map, i.e., $x\in {\mathbb N} \mapsto 2x \bmod{(2n+1)}$ for some positive integer $n$. More precisely, this doubling map defines a permutation $\sigma_{2,n}$ and each of $A$ and $B$ counts the number $C_2(n)$ of cycles of $\sigma_{2,n}$, hence $A=B$. In the first part of this note, we give a direct proof of this last equality. To do so, we consider and study a generalized $(k,n)$-perfect shuffle permutation $\sigma_{k,n}$, where we multiply by an integer $k\ge 2$ instead of $2$, and its number $C_k(n)$ of cycles. The second part of this note lists some of the many occurrences and applications of the doubling map and its generalizations in the literature: in mathematics (combinatorics of words, dynamical systems, number theory, correcting algorithms), but also in card-shuffling, juggling, bell-ringing, poetry, and music composition.

math.NT↗

arXiv2024

The reflection complexity of sequences over finite alphabets

In combinatorics on words, the well-studied factor complexity function $\rho_{\infw{x}}$ of a sequence $\infw{x}$ over a finite alphabet counts, for every nonnegative integer $n$, the number of distinct length-$n$ factors of $\infw{x}$. In this paper, we introduce the \emph{reflection complexity} function $r_{\infw{x}}$ to enumerate the factors occurring in a sequence $\infw{x}$, up to reversing the order of symbols in a word. We prove a number of results about the growth properties of $r_{\infw{x}}$ and its relationship with other complexity functions. We also prove a Morse--Hedlund-type result characterizing eventually periodic sequences in terms of their reflection complexity, and we deduce a characterization of Sturmian sequences. We investigate the reflection complexity of quasi-Sturmian, episturmian, $(s+1)$-dimensional billiard, complementation-symmetric Rote, and rich sequences. Furthermore, we prove that if $\infw{x}$ is $k$-automatic, then $r_{\infw{x}}$ is computably $k$-regular, and we use the software \texttt{Walnut} to evaluate the reflection complexity of some automatic sequences, such as the Thue--Morse sequence. We note that there are still many unanswered questions about this reflection measure.

math.CO↗

arXiv2024

Ellipsephic harmonic series revisited

Ellipsephic or Kempner-like harmonic series are series of inverses of integers whose expansion in base $B$, for some $B \geq 2$, contains no occurrence of some fixed digit or some fixed block of digits. A prototypical example was proposed by Kempner in 1914, namely the sum inverses of integers whose expansion in base $10$ contains no occurrence of a nonzero given digit. Results about such series address their convergence as well as closed expressions for their sums (or approximations thereof). Another direction of research is the study of sums of inverses of integers that contain only a given finite number, say $k$, of some digit or some block of digits, and the limits of such sums when $k$ goes to infinity. Generalizing partial results in the literature, we give a complete result for any digit or block of digits in any base.

math.NT↗

arXiv2024

Combinatorics on words and generating Dirichlet series of automatic sequences

Generating series are crucial in enumerative combinatorics, analytic combinatorics, and combinatorics on words. Though it might seem at first view that generating Dirichlet series are less used in these fields than ordinary and exponential generating series, there are many notable papers where they play a fundamental role, as can be seen in particular in the work of Flajolet and several of his co-authors. In this paper, we study Dirichlet series of integers with missing digits or blocks of digits in some integer base $b$; i.e., where the summation ranges over the integers whose expansions form some language strictly included in the set of all words over the alphabet $\{0, 1, \dots, b-1\}$ that do not begin with a $0$. We show how to unify and extend results proved by Nathanson in 2021 and by K\"ohler and Spilker in 2009. En route, we encounter several sequences from Sloane's On-Line Encyclopedia of Integer Sequences, as well as some famous $b$-automatic sequences or $b$-regular sequences. We also consider a specific sequence that is not $b$-regular.

math.CO↗

arXiv2023

Summing the sum of digits

We revisit and generalize inequalities for the summatory function of the sum of digits in a given integer base. We prove that several known results can be deduced from a theorem in a 2023 paper by Mohanty, Greenbury, Sarkany, Narayanan, Dingle, Ahnert, and Louis, whose primary scope is the maximum mutational robustness in genotype-phenotype maps.

math.NT↗

arXiv2023

Kempner-like harmonic series

Inspired by a question asked on the list {\tt mathfun}, we revisit {\em Kempner-like series}, i.e., harmonic sums $\sum' 1/n$ where the integers $n$ in the summation have ``restricted'' digits. First we give a short proof that $\lim_{k \to \infty}(\sum_{s_2(n) = k} 1/n) = 2 \log 2$, where $s_2(n)$ is the sum of the binary digits of the integer $n$. Then we propose two generalizations. One generalization addresses the case where $s_2(n)$ is replaced with $s_b(n)$, the sum of $b$-ary digits in base $b$: we prove that $\lim_{k \to \infty}\sum_{s_b(n) = k} 1/n = (2 \log b)/(b-1)$. The second generalization replaces the sum of digits in base $2$ with any block-counting function in base $2$, e.g., the function $a(n)$ of -- possibly overlapping -- $11$'s in the base-$2$ expansion of $n$, for which we obtain $\lim_{k \to \infty}\sum_{a(n) = k} 1/n = 4 \log 2$.

math.NT↗

arXiv2022

Automata and automatic sequences

In the following pages we discuss infinite sequences defined on a finite alphabet, and more specially those which are generated by finite automata. We have divided our paper into seven parts which are more or less self-contained. Needless to say, we feel that the order we propose is the most natural one. References appear at the end of each one of the parts which implies some redundancy. Extra references are listed at the very end of our paper.

cs.FL↗

arXiv2022

Human and automated approaches for finite trigonometric sums

We show that identities involving trigonometric sums recently proved by Harshitha, Vasuki and Yathirajsharma, using Ramanujan's theory of theta functions, were either already in the literature or can be proved easily by adapting results that can be found in the literature. Also we prove two conjectures given in that paper. After mentioning many other works dealing with identities for various trigonometric sums, we end this paper by describing an automated approach for proving such trigonometric identities.

math.NT↗

arXiv2021

Additive Properties of the Evil and Odious Numbers and Similar Sequences

First we reprove two results in additive number theory due to Dombi and Chen & Wang, respectively, on the number of representations of n as the sum of two odious or evil numbers, using techniques from automata theory and logic. We also use this technique to prove a new result about the numbers represented by five summands. Furthermore, we prove some new results on the tenfold sums of the evil and odious numbers, as well as k-fold sums of similar sequences of integers, by using techniques of analytic number theory involving trigonometric sums associated with the (+-1)-characteristic sequences of these integers.

math.NT↗

arXiv2019

Sum-free sets generated by the period-k-folding sequences and some Sturmian sequences

First, we show that the sum-free set generated by the period-doubling sequence is not $\kappa$-regular for any $\kappa\geq 2$. Next, we introduce a generalization of the period-doubling sequence, which we call the period-$k$-folding sequences. We show that the sum-free sets generated by the period-$k$-folding sequences also fail to be $\kappa$-regular for all $\kappa\geq 2$. Finally, we study the sum-free sets generated by Sturmian sequences that begin with `11', and their difference sequences.

math.CO↗

arXiv2019

Automatic sequences are also non-uniformly morphic

It is well-known that there exist infinite sequences that are the fixed point of non-uniform morphisms, but not $k$-automatic for any $k$. In this note we show that every $k$-automatic sequence is the image of a fixed point of a {\it non-uniform\/} morphism.

math.NT↗

arXiv2017

A Taxonomy of Morphic Sequences

In this note we classify sequences according to whether they are morphic, pure morphic, uniform morphic, pure uniform morphic, primitive morphic, or pure primitive morphic, and for each possibility we either give an example or prove that no example is possible.

cs.FL↗

arXiv2017

More Infinite Products: Thue-Morse and the Gamma function

Letting $(t_n)$ denote the Thue-Morse sequence with values $0, 1$, we note that the Woods-Robbins product $$ \prod_{n \geq 0} \left(\frac{2n+1}{2n+2}\right)^{(-1)^{t_n}} = 2^{-1/2} $$ involves a rational function in $n$ and the $\pm 1$ Thue-Morse sequence $((-1)^{t_n})_{n \geq 0}$. The purpose of this paper is twofold. On the one hand, we try to find other rational functions for which similar infinite products involving the $\pm 1$ Thue-Morse sequence have an expression in terms of known constants. On the other hand, we also try to find (possibly different) rational functions $R$ for which the infinite product $\prod R(n)^{t_n}$ also has an expression in terms of known constants.

math.NT↗

arXiv2017

A generalization of an identity due to Kimura and Ruehr

An identity stated by Kimura and proved by Ruehr, Kimura and others stipulates that for any function $f$ continuous on $[-\frac{1}{2}, \frac{3}{2}]$ one has $$ \int_{-1/2}^{3/2} f(3x^2 - 2x^3) dx = 2 \int_0^1 f(3x^2 - 2x^3) dx. $$ We prove that this equality is not an isolated example by providing a family of polynomials, related to the Tchebychev polynomials and of which $(3x^2 - 2x^3)$ is a particular case, giving rise to similar identities.

math.NT↗

arXiv2016

Mock characters and the Kronecker symbol

We introduce and study a family of functions we call the "mock characters". These functions satisfy a number of interesting properties, and of all completely multiplicative arithmetic functions seem to come as close as possible to being Dirichlet characters. Along the way we prove a few new results concerning the behavior of the Kronecker symbol.

math.NT↗

arXiv2014

Summation of rational series twisted by strongly B-multiplicative coefficients

We evaluate in closed form series of the type $\sum u(n) R(n)$, where $(u(n))_n$ is a strongly $B$-multiplicative sequence and $R(n)$ a (well-chosen) rational function. A typical example is: $$ \sum_{n \geq 1} (-1)^{s_2(n)} \frac{4n+1}{2n(2n+1)(2n+2)} = -\frac{1}{4} $$ where $s_2(n)$ is the sum of the binary digits of the integer $n$. Furthermore closed formulas for series involving automatic sequences that are not strongly $B$-multiplicative, such as the regular paperfolding and Golay-Shapiro-Rudin sequences, are obtained; for example, for integer $d \geq 0$: $$ \sum_{n \geq 0} \frac{v(n)}{(n+1)^{2d+1}} = \frac{\pi^{2d+1} |E_{2d}|}{(2^{2d+2}-2)(2d)!} $$ where $(v(n))_n$ is the $\pm 1$ regular paperfolding sequence and $E_{2d}$ is an Euler number.

math.NT↗

arXiv2014

Variations on an error sum function for the convergents of some powers of $e$

Several years ago the second author playing with different "recognizers of real constants", e.g., the LLL algorithm, the Plouffe inverter, etc. found empirically the following formula. Let $p_n/q_n$ denote the $n$th convergent of the continued fraction of the constant $e$, then $$ \sum_{n \geq 0} |q_n e - p_n| = \frac{e}{4} \left(- 1 + 10 \sum_{n \geq 0} \frac{(-1)^n}{(n+1)! (2n^2 + 7n + 3)}\right). $$ The purpose of the present paper is to prove this formula and to give similar formulas for some powers of $e$.

math.NT↗

arXiv2014

Paperfolding infinite products and the gamma function

Taking the product of (2n+1)/(2n+2) raised to the power +1 or -1 according to the n-th term of the Thue-Morse sequence gives rise to an infinite product P while replacing (2n+1)/(2n+2) with (2n)/(2n+1) yields an infinite product Q, where P = (1/2)(4/3)(6/5)(7/8)(10/9)... and Q = (2/3)(5/4)(7/6)(8/9)(11/10)... Though it is known that P = 2^{-1/2}, nothing is known about Q. Looking at the corresponding question when the Thue-Morse sequence is replaced by the regular paperfolding sequence, we obtain two infinite products A and B, where A = (1/2)(3/4)(6/5)(7/8)(9/10)... and B = (2/3)(4/5)(7/6)(8/9)(10/11)... Here nothing is known for A, but we give a closed form for B that involves the value of the gamma function at 1/4. We then prove general results where (2n+1)/(2n+2) or (2n)/(2n+1) are replaced by specific rational functions. The corresponding infinite products have a closed form involving gamma values. In some cases there is no explicit gamma value occurring in the closed-form formula, but only trigonometric functions.

math.NT↗