SearcharxivSearch

arXiv subjects

Chris Schulz

Publications and source records attributed to Chris Schulz.

5 recordsLinked to original sources

Frequencies of subwords in words of linear subword complexity

Using a method of Balkov\'a--Pelantov\'a, we show that if ${\bf w}$ is a right-infinite word over a finite alphabet, then for each nonnegative integer $N$ there are at most $3(p_{\bf w}(N+1)-p_{\bf w}(N))+1$ distinct upper (and likewise lower and ordinary when they exist) frequencies for length-$(N+1)$ subwords of ${\bf w}$, where $p_{\bf w}(n)$ is the subword complexity function of $n$. In particular, this gives a uniform upper bound when ${\bf w}$ has linearly bounded subword complexity. We provide examples showing that whenever $f(n)$ is a weakly increasing function tending to infinity, there is a word ${\bf w}$ such that the number of subwords of length $n$ is $O(nf(n))$ and for which the limit supremum of the number of distinct upper frequencies of length-$N$ subwords of ${\bf w}$ as $N\to\infty$ is infinite.

cs.FL

A Dichotomy for $k$-automatic expansions of Presburger Arithmetic

Let $k\ge 2$ and let $X$ be a subset of the natural numbers that is $k$-automatic and not eventually periodic. We show that the following dichotomy holds: either all $k$-automatic subsets are definable in the expansion of Presburger arithmetic in which we adjoin the predicate $X$, or $(\mathbb{N},+,X)$ has the same definable sets as $(\mathbb{N},+,k^{\mathbb{N}})$.

math.LO

A Cobham theorem for scalar multiplication

Let $\alpha,\beta \in \mathbb{R}_{>0}$ be such that $\alpha,\beta$ are quadratic and $\mathbb{Q}(\alpha)\neq \mathbb{Q}(\beta)$. Then every subset of $\mathbb{R}^n$ definable in both $(\mathbb{R},{<},+,\mathbb{Z},x\mapsto \alpha x)$ and $(\mathbb{R},{<},+,\mathbb{Z},x\mapsto \beta x)$ is already definable in $(\mathbb{R},{<},+,\mathbb{Z})$. As a consequence we generalize Cobham-Semenov theorems for sets of real numbers to $\beta$-numeration systems, where $\beta$ is a quadratic irrational.

math.LO

Consecutive Power Occurrences in Sturmian Words

We show that every Sturmian word has the property that the distance between consecutive ending positions of cubes occurring in the word is always bounded by $10$ and this bound is optimal, extending a result of Rampersad, who proved that the bound $9$ holds for the Fibonacci word. We then give a general result showing that for every $e \in [1,(5+\sqrt{5})/2)$ there is a natural number $N$, depending only on $e$, such that every Sturmian word has the property that the distance between consecutive ending positions of $e$-powers occurring in the word is uniformly bounded by $N$.

math.CO

A strong version of Cobham's theorem

Let $k,\ell\geq 2$ be two multiplicatively independent integers. Cobham's famous theorem states that a set $X\subseteq \mathbb{N}$ is both $k$-recognizable and $\ell$-recognizable if and only if it is definable in Presburger arithmetic. Here we show the following strengthening: let $X\subseteq \mathbb{N}^m$ be $k$-recognizable, let $Y\subseteq \mathbb{N}^n$ be $\ell$-recognizable such that both $X$ and $Y$ are not definable in Presburger arithmetic. Then the first-order logical theory of $(\mathbb{N},+,X,Y)$ is undecidable. This is in contrast to a well-known theorem of B\"uchi that the first-order logical theory of $(\mathbb{N},+,X)$ is decidable.

math.LO