Source author record

Juhani Karhumäki

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CO Discrete Mathematics Formal Languages and Automata Theory

Catalog footprint

Research overview

5works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

On Abelian Closures of Infinite Non-binary Words

Two finite words $u$ and $v$ are called abelian equivalent if each letter occurs equally many times in both $u$ and $v$ . The abelian closure $\mathcal{A}(\mathbf{x})$ of an infinite word $\mathbf{x}$ is the set of infinite words $\mathbf{y}$ such that, for each factor $u$ of $\mathbf{y}$ , there exists a factor $v$ of $\mathbf{x}$ which is abelian equivalent to $u$ . The notion of an abelian closure gives a characterization of Sturmian words: among uniformly recurrent binary words, periodic and aperiodic Sturmian words are exactly those words for which $\mathcal{A}(\mathbf{x})$ equals the shift orbit closure $Ω(\mathbf{x})$ . Furthermore, for an aperiodic binary word that is not Sturmian, its abelian closure contains infinitely many minimial subshifts. In this paper we consider the abelian closures of well-known families of non-binary words, such as balanced words and minimal complexity words. We also consider abelian closures of general subshifts and make some initial observations of their abelian closures and pose some related open questions.

preprint2016arXiv

On cardinalities of $k$ -abelian equivalence classes

Two words $u$ and $v$ are $k$ -abelian equivalent if, for each word $x$ of length at most $k$ , $x$ occurs equally many times as a factor in both $u$ and $v$ . The notion of $k$ -abelian equivalence is an intermediate notion between the abelian equivalence and the equality of words. In this paper, we study the equivalence classes induced by the $k$ -abelian equivalence, mainly focusing on the cardinalities of the classes. In particular, we are interested in the number of singleton $k$ -abelian classes, i.e., classes containing only one element. We find a connection between the singleton classes and cycle decompositions of the de Bruijn graph. We show that the number of classes of words of length $n$ containing one single element is of order $\mathcal O(n^{N_m(k-1)-1})$ , where $N_m(l) = \tfrac{1}{l}\sum_{d\mid l} φ(d)m^{l/d}$ is the number of necklaces of length $l$ over an $m$ -ary alphabet. We conjecture that the upper bound is sharp. We also remark that, for $k$ even and $m = 2$ , the lower bound $Ω(n^{N_m(k-1)-1})$ follows from an old conjecture on the existence of Gray codes for necklaces of odd length. We verify this conjecture for necklaces of length up to 15.

preprint2015arXiv

On maximal chains of systems of word equations

We consider systems of word equations and their solution sets. We discuss some fascinating properties of those, namely the size of a maximal independent set of word equations, and proper chains of solution sets of those. We recall the basic results, extend some known results and formulate several fundamental problems of the topic.

preprint2013arXiv

Variations of the Morse-Hedlund Theorem for $k$ -Abelian Equivalence

In this paper we investigate local to global phenomena for a new family of complexity functions of infinite words indexed by $k \in \Ni \cup \{+\infty\}$ where $\Ni$ denotes the set of positive integers. Two finite words $u$ and $v$ in $A^*$ are said to be $k$ -Abelian equivalent if for all $x \in A^*$ of length less than or equal to $k$ , the number of occurrences of $x$ in $u$ is equal to the number of occurrences of $x$ in $v$ . This defines a family of equivalence relations $\sim_k$ on $A^*$ , bridging the gap between the usual notion of Abelian equivalence (when $k = 1$ ) and equality (when $k = +\infty$ ). Given an infinite word $w \in A^ω$ , we consider the associated complexity function $\mathcal P^{(k)}_w : \Ni \rightarrow \Ni$ which counts the number of $k$ -Abelian equivalence classes of factors of $w$ of length $n$ . As a whole, these complexity functions have a number of common features: Each gives a characterization of periodicity in the context of bi-infinite words, and each can be used to characterize Sturmian words in the framework of aperiodic one-sided infinite words. Nevertheless, they also exhibit a number of striking differences, the study of which is one of the main topics of our paper.

preprint2011arXiv

Observations and Problems on k-abelian avoidability

We introduce new avoidability problems for words by considering equivalence relations, k-abelian equivalences, which lie properly in between equality and commutative equality, i.e. abelian equality. For two k-abelian equivalent words the numbers of occurrences of different factors of length k coincide and the prefixies (resp. suffixies) of length k-1 are equal as well. The size of the smallest alphabet avoiding 2-repetitions of words, i.e. squares, is three and for abelian squares it is four. It follows that for 2-abelian squares this size has to be three or four. Similarly, the size of the smallest alphabet where 2-abelian cubes, i.e. 3-repetitions, can be avoided is two or three, because cubes (resp. abelian cubes) are avoidable in binary (resp. ternary) alphabet. We show that for 2-abelian squares the required size is four, as in the case of abelian squares. The longest 2-abelian square-free ternary word is of length 537. The question for 2-abelian cubes is open. Though, we have computational evidence that the size would be two, since there exists 2-abelian cube-free binary word of length 100 000, meaning that the 2-abelian case would behave like that of words.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Juhani Karhumäki

Research overview

Is this your work?

5 publications

On Abelian Closures of Infinite Non-binary Words

On cardinalities of $k$ -abelian equivalence classes

On maximal chains of systems of word equations

Variations of the Morse-Hedlund Theorem for $k$ -Abelian Equivalence

Observations and Problems on k-abelian avoidability

See the researcher in context

Building this map preview

Juhani Karhumäki

Research overview

Is this your work?

5 publications

On Abelian Closures of Infinite Non-binary Words

On cardinalities of kkk-abelian equivalence classes

On maximal chains of systems of word equations

Variations of the Morse-Hedlund Theorem for kkk-Abelian Equivalence

Observations and Problems on k-abelian avoidability

See the researcher in context

Building this map preview

On cardinalities of $k$ -abelian equivalence classes

Variations of the Morse-Hedlund Theorem for $k$ -Abelian Equivalence