Source author record

Markus A. Whiteland

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

ResearcherUnclaimed source record

Discrete Mathematics math.CO Formal Languages and Automata Theory Logic in Computer Science math.NT

Catalog footprint

Research overview

5works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

The boundedness and zero isolation problems for weighted automata over nonnegative rationals

We consider linear cost-register automata (equivalent to weighted automata) over the semiring of nonnegative rationals, which generalise probabilistic automata. The two problems of boundedness and zero isolation ask whether there is a sequence of words that converge to infinity and to zero, respectively. In the general model both problems are undecidable so we focus on the copyless linear restriction. There, we show that the boundedness problem is decidable. As for the zero isolation problem we need to further restrict the class. We obtain a model, where zero isolation becomes equivalent to universal coverability of orthant vector addition systems (OVAS), a new model in the VAS family interesting on its own. In standard VAS runs are considered only in the positive orthant, while in OVAS every orthant has its own set of vectors that can be applied in that orthant. Assuming Schanuel's conjecture is true, we prove decidability of universal coverability for three-dimensional OVAS, which implies decidability of zero isolation in a model with at most three independent registers.

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.

preprint2020arXiv

On Positivity and Minimality for Second-Order Holonomic Sequences

An infinite sequence $\langle{u_n}\rangle_{n\in\mathbb{N}}$ of real numbers is holonomic (also known as P-recursive or P-finite) if it satisfies a linear recurrence relation with polynomial coefficients. Such a sequence is said to be positive if each $u_n \geq 0$ , and minimal if, given any other linearly independent sequence $\langle{v_n}\rangle_{n \in\mathbb{N}}$ satisfying the same recurrence relation, the ratio $u_n/v_n$ converges to $0$ . In this paper, we focus on holonomic sequences satisfying a second-order recurrence $g_3(n)u_n = g_2(n)u_{n-1} + g_1(n)u_{n-2}$ , where each coefficient $g_3, g_2,g_1 \in \mathbb{Q}[n]$ is a polynomial of degree at most $1$ . We establish two main results. First, we show that deciding positivity for such sequences reduces to deciding minimality. And second, we prove that deciding minimality is equivalent to determining whether certain numerical expressions (known as periods, exponential periods, and period-like integrals) are equal to zero. Periods and related expressions are classical objects of study in algebraic geometry and number theory, and several established conjectures (notably those of Kontsevich and Zagier) imply that they have a decidable equality problem, which in turn would entail decidability of Positivity and Minimality for a large class of second-order holonomic sequences.

preprint2019arXiv

On $k$ -abelian Equivalence and Generalized Lagrange Spectra

We study the set of $k$ -abelian critical exponents of all Sturmian words. It has been proven that in the case $k = 1$ this set coincides with the Lagrange spectrum. Thus the sets obtained when $k > 1$ can be viewed as generalized Lagrange spectra. We characterize these generalized spectra in terms of the usual Lagrange spectrum and prove that when $k > 1$ the spectrum is a dense non-closed set. This is in contrast with the case $k = 1$ , where the spectrum is a closed set containing a discrete part and a half-line. We describe explicitly the least accumulation points of the generalized spectra. Our geometric approach allows the study of $k$ -abelian powers in Sturmian words by means of continued fractions.

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.

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.

Markus A. Whiteland

Research overview

Is this your work?

5 publications

The boundedness and zero isolation problems for weighted automata over nonnegative rationals

On Abelian Closures of Infinite Non-binary Words

On Positivity and Minimality for Second-Order Holonomic Sequences

On $k$ -abelian Equivalence and Generalized Lagrange Spectra

On cardinalities of $k$ -abelian equivalence classes

See the researcher in context

Building this map preview

Markus A. Whiteland

Research overview

Is this your work?

5 publications

The boundedness and zero isolation problems for weighted automata over nonnegative rationals

On Abelian Closures of Infinite Non-binary Words

On Positivity and Minimality for Second-Order Holonomic Sequences

On kkk-abelian Equivalence and Generalized Lagrange Spectra

On cardinalities of kkk-abelian equivalence classes

See the researcher in context

Building this map preview

On $k$ -abelian Equivalence and Generalized Lagrange Spectra

On cardinalities of $k$ -abelian equivalence classes