arXiv++ Combinatorics

We characterize the entries of Hofstadter's G-sequence in terms of the lower and upper Wythoff sequences. This can be used to give a short and comprehensive proof of the equality of Hofstadter's G-sequence and the sequence of averages of the swapped Wythoff sequences. In a second part we give some results that hold when one replaces the golden mean by other quadratic algebraic numbers. In a third part we prove a close relationship between Hofstadter's G-sequence and a sequence studied by Avdivpahic and Zejnulahi.

We discuss the base 3/2 representation of the natural numbers. We prove that the sum of digits function of the representation is a fixed point of a 2-block substitution on an infinite alphabet, and that this implies that sum of digits function modulo 2 of the representation is a fixed point $x_{3/2}$ of a 2-block substitution on $\{0,1\}$. We prove that $x_{3/2}$ is mirror invariant, and present a list of conjectured properties of $x_{3/2}$, which we think will be hard to prove. Finally, we make a comparison with a variant of the base 3/2 representation, and give a general result on $p$-$q$-block substitutions.

We consider in general two-block substitutions and their fixed points. We prove that some of them have a simple structure: their fixed points are morphic sequences. Others are intrinsically more complex, such as the Kolakoski sequence. We prove this for the Thue-Morse sequence in base 3/2.

In a base phi representation a natural number is written as a sum of powers of the golden mean $\varphi$. There are many ways to do this. Well known is the standard representation, introduced by George Bergman in 1957, where a unique representation is obtained by requiring that no consecutive powers $\varphi^n$ and $\varphi^{n+1}$ do occur in the representation. In this paper we introduce a new representation by allowing that the powers $\varphi^0$ and $\varphi^1$ may occur at the same time, but no other consecutive powers. We then argue that this representation is much closer to the classical representation of the natural numbers by powers of an integer than Bergman's standard representation.

In this paper we classify the Zeckendorf expansions according to their digit blocks. It turns out that if we consider these digit blocks as labels on the Fibonacci tree, then the numbers ending with a given digit block in their Zeckendorf expansion appear as compound Wythoff sequences in a natural way on this tree. Here the digit blocks consisting of only $0$'s are an exception. We also give a second description of these occurrence sequences as generalized Beatty sequences. Finally, we characterize the numbers with a fixed digit block occurring at an arbitrary fixed position in their Zeckendorf expansions, and determine their densities.

We consider the sum of digits functions for both base phi, and for the Zeckendorf expansion of the natural numbers. For both sum of digits functions we present morphisms on infinite alphabets such that these functions viewed as infinite words are letter-to-letter projections of fixed points of these morphisms. We characterize the first differences of both functions a) with generalized Beatty sequences, or unions of generalized Beatty sequences, and b) with morphic sequences.

Morphic words are letter-to-letter images of fixed points $x$ of morphisms on finite alphabets. There are situations where these letter-to-letter maps do not occur naturally, but have to be replaced by a morphism. We call this a decoration of $x$. Theoretically, decorations of morphic words are again morphic words, but in several problems the idea of decorating the fixed point of a morphism is useful. We present two of such problems. The first considers the so called $AA$ sequences, where $α$ is a quadratic irrational, $A$ is the Beatty sequence defined by $A(n)=\lfloor αn\rfloor$, and $AA$ is the sequence $(A(A(n)))$. The second example considers homomorphic embeddings of the Fibonacci language into the integers, which turns out to lead to generalized Beatty sequences with terms of the form $V(n)=p\lfloor αn\rfloor+qn+r$, where $p,q$ and $r$ are integers.

Let S be a map from a language L to the integers satisfying S(vw)=S(v)+S(w) for all words v,w from the language. The classical Frobenius problem asks whether the complement of S(L) in the natural numbers will be infinite or finite, and in the latter case the value of the largest element in this complement. This is also known as the 'coin'-problem, and L is the full language consisting of all words over a finite alphabet. We solve the Frobenius problem for the golden mean language, any Sturmian language and the Thue-Morse language. We also consider two-dimensional embeddings.

We take a global view at substitution invariant Sturmian sequences. We show that homogeneous substitution invariant Sturmian sequences $s_{α,α}$ can be indexed by two binary trees, associated directly to Johannes Kepler's tree of harmonic fractions from 1619. We obtain similar results for the inhomogeneous sequences $s_{α,1-α}$ and $s_{α,0}$.

We give an in depth analysis of the subwords of the Thue-Morse sequence. This allows us to prove that there are infinitely many injective primitive substitutions with Perron-Frobenius eigenvalue 2 that generate a symbolic dynamical system topologically conjugate to the Thue-Morse dynamical system.

Polymetric walls are walls built from bricks in more than one size. Architects and builders want to built polymetric walls that satisfy certain structural and aesthetical constraints. In a recent paper by de Jong, Vinduska, Hans and Post these problems are solved by integer programming techniques, which can be very time consuming for patterns consisting of more than 40 bricks. Here we give an extremely fast method, generating patterns of arbitrary size.

An interesting class of automatic sequences emerges from iterated paperfolding. The sequences generate curves in the plane with an almost periodic structure. We generalize the results obtained by Davis and Knuth on the self-avoiding and planefilling properties of these curves, giving simple geometric criteria for a complete classification. Finally, we show how the automatic structure of the sequences leads to self-similarity of the curves, which turns the planefilling curves in a scaling limit into fractal tiles. For some of these tiles we give a particularly simple formula for the Hausdorff dimension of their boundary.