Showing 1–22 of 22 results for author: Holub, Š

Binary codes that do not preserve primitivity

Authors: Štěpán Holub, Martin Raška, Štěpán Starosta

Abstract: A code $X$ is not primitivity preserving if there is a primitive list ${\mathbf w} \in {\tt lists} X$ whose concatenation is imprimitive. We formalize a full characterization of such codes in the binary case in the proof assistant Isabelle/HOL. Part of the formalization, interesting on its own, is a description of $\{x,y\}$-interpretations of the square $xx$ if $|y| \leq |x|$. We also provide a fo… ▽ More A code $X$ is not primitivity preserving if there is a primitive list ${\mathbf w} \in {\tt lists} X$ whose concatenation is imprimitive. We formalize a full characterization of such codes in the binary case in the proof assistant Isabelle/HOL. Part of the formalization, interesting on its own, is a description of $\{x,y\}$-interpretations of the square $xx$ if $|y| \leq |x|$. We also provide a formalized parametric solution of the related equation $x^jy^k = z^\ell$. △ Less

Submitted 21 March, 2022; originally announced March 2022.

The Intersection of $3$-Maximal Submonids

Authors: Giuseppa Castiglione, Štěpán Holub

Abstract: Very little is known about the structure of the intersection of two $k$-generated monoids of words, even for $k=3$. Here we investigate the case of $k$-maximal monoids, that is, monoids whose basis of cardinality $k$ cannot be non-trivially decomposed into at most $k$ words. We characterize the intersection in the case of two $3$-maximal monoids. Very little is known about the structure of the intersection of two $k$-generated monoids of words, even for $k=3$. Here we investigate the case of $k$-maximal monoids, that is, monoids whose basis of cardinality $k$ cannot be non-trivially decomposed into at most $k$ words. We characterize the intersection in the case of two $3$-maximal monoids. △ Less

Submitted 4 August, 2020; originally announced August 2020.

MSC Class: 68R15

Journal ref: Theoretical Computer Science 901 (2022) 35-44

Binary intersection formalized

Authors: Štěpán Holub, Štěpán Starosta

Abstract: We provide a reformulation and a formalization of the classical result by Juhani Karhumäki characterizing intersections of two languages of the form $\{x,y\}^*\cap \{u,v\}^*$. We use the terminology of morphisms which allows to formulate the result in a shorter and more transparent way, and we formalize the result in the proof assistant Isabelle/HOL. We provide a reformulation and a formalization of the classical result by Juhani Karhumäki characterizing intersections of two languages of the form $\{x,y\}^*\cap \{u,v\}^*$. We use the terminology of morphisms which allows to formulate the result in a shorter and more transparent way, and we formalize the result in the proof assistant Isabelle/HOL. △ Less

Submitted 30 June, 2020; originally announced June 2020.

Journal ref: Theoretical Computer Science 866 (2021) 14-24

Pseudo-solutions of word equations

Authors: Štěpán Holub

Abstract: We present a framework which allows a uniform approach to the recently introduced concept of pseudo-repetitions on words in the morphic case. This framework is at the same time more general and simpler. We introduce the concept of a pseudo-solution and a pseudo-rank of an equation. In particular, this allows to prove that if a classical equation forces periodicity then it also forces pseudo-period… ▽ More We present a framework which allows a uniform approach to the recently introduced concept of pseudo-repetitions on words in the morphic case. This framework is at the same time more general and simpler. We introduce the concept of a pseudo-solution and a pseudo-rank of an equation. In particular, this allows to prove that if a classical equation forces periodicity then it also forces pseudo-periodicity. Consequently, there is no need to investigate generalizations of important equations one by one. △ Less

Submitted 13 September, 2019; v1 submitted 25 June, 2019; originally announced June 2019.

Comments: small corrections

Journal ref: Theoretical Computer Science 814 (2020) 13-18

Maximal State Complexity and Generalized de Bruijn Words

Authors: Daniel Gabric, Štěpán Holub, Jeffrey Shallit

Abstract: We compute the exact maximum state complexity for the language consisting of $m$ words of length $N$, and characterize languages achieving the maximum. We also consider a special case, namely languages $C(w)$ consisting of the conjugates of a single word $w$. The words for which the maximum state complexity of $C(w)$ is achieved turn out to be a natural generalization of de Bruijn words. We show t… ▽ More We compute the exact maximum state complexity for the language consisting of $m$ words of length $N$, and characterize languages achieving the maximum. We also consider a special case, namely languages $C(w)$ consisting of the conjugates of a single word $w$. The words for which the maximum state complexity of $C(w)$ is achieved turn out to be a natural generalization of de Bruijn words. We show that generalized de Bruijn words exist for each length and consider the number of them. △ Less

Submitted 18 December, 2019; v1 submitted 13 March, 2019; originally announced March 2019.

Comments: Corrected and extended version

State spaces of convolutional codes, codings and encoders

Authors: Štěpán Holub

Abstract: In this paper we give a compact presentation of the theory of abstract spaces for convolutional codes and convolutional encoders, and show a connection between them that seems to be missing in the literature. We use it for a short proof of two facts: the size of a convolutional encoder of a polynomial matrix is at least its inner degree, and the minimal encoder has the size of the external degree… ▽ More In this paper we give a compact presentation of the theory of abstract spaces for convolutional codes and convolutional encoders, and show a connection between them that seems to be missing in the literature. We use it for a short proof of two facts: the size of a convolutional encoder of a polynomial matrix is at least its inner degree, and the minimal encoder has the size of the external degree if the matrix is reduced. △ Less

Submitted 5 December, 2017; originally announced December 2017.

Comments: Submitted to IEEE Transactions on Information Theory

On the Height of Towers of Subsequences and Prefixes

Authors: Štěpán Holub, Tomáš Masopust, Michaël Thomazo

Abstract: A tower is a sequence of words alternating between two languages in such a way that every word is a subsequence of the following word. The height of the tower is the number of words in the sequence. If there is no infinite tower (a tower of infinite height), then the height of all towers between the languages is bounded. We study upper and lower bounds on the height of maximal finite towers with r… ▽ More A tower is a sequence of words alternating between two languages in such a way that every word is a subsequence of the following word. The height of the tower is the number of words in the sequence. If there is no infinite tower (a tower of infinite height), then the height of all towers between the languages is bounded. We study upper and lower bounds on the height of maximal finite towers with respect to the size of the NFA (the DFA) representation of the languages. We show that the upper bound is polynomial in the number of states and exponential in the size of the alphabet, and that it is asymptotically tight if the size of the alphabet is fixed. If the alphabet may grow, then, using an alphabet of size approximately the number of states of the automata, the lower bound on the height of towers is exponential with respect to that number. In this case, there is a gap between the lower and upper bound, and the asymptotically optimal bound remains an open problem. Since, in many cases, the constructed towers are sequences of prefixes, we also study towers of prefixes. △ Less

Submitted 8 May, 2017; originally announced May 2017.

MSC Class: 68R05; 68Q45

Journal ref: Information and Computation 265 (2019) 77-93

Prefix frequency of lost positions

Authors: Štěpán Holub

Abstract: The concept of "lost positions" is a recently introduced tool for counting the number of runs in words. We investigate the frequency of lost positions in prefixes of words. This leads to an algorithm that allows to show, using an extensive computer search, that the asymptotic density of runs in binary words is less than $183/193\approx 0.9482$. The concept of "lost positions" is a recently introduced tool for counting the number of runs in words. We investigate the frequency of lost positions in prefixes of words. This leads to an algorithm that allows to show, using an extensive computer search, that the asymptotic density of runs in binary words is less than $183/193\approx 0.9482$. △ Less

Submitted 9 December, 2016; v1 submitted 3 June, 2016; originally announced June 2016.

Comments: Expanded and corrected version with examples and figures

Journal ref: Theoretical Computer Science 684 (2017) 43-52

Periods and borders of random words

Authors: Štěpán Holub, Jeffrey Shallit

Abstract: We investigate the behavior of the periods and border lengths of random words over a fixed alphabet. We show that the asymptotic probability that a random word has a given maximal border length $k$ is a constant, depending only on $k$ and the alphabet size $\ell$. We give a recurrence that allows us to determine these constants with any required precision. This also allows us to evaluate the expec… ▽ More We investigate the behavior of the periods and border lengths of random words over a fixed alphabet. We show that the asymptotic probability that a random word has a given maximal border length $k$ is a constant, depending only on $k$ and the alphabet size $\ell$. We give a recurrence that allows us to determine these constants with any required precision. This also allows us to evaluate the expected period of a random word. For the binary case, the expected period is asymptotically about $n-1.641$. We also give explicit formulas for the probability that a random word is unbordered or has maximum border length one. △ Less

Submitted 17 September, 2015; originally announced September 2015.

MSC Class: 68R15

Journal ref: STACS 2016, LIPIcs 47, 44:1-44:10

Fully bordered words

Authors: Štěpán Holub, Mike Müller

Abstract: We characterize binary words that have exactly two unbordered conjugates and show that they can be expressed as a product of two palindromes. We characterize binary words that have exactly two unbordered conjugates and show that they can be expressed as a product of two palindromes. △ Less

Submitted 4 June, 2016; v1 submitted 9 April, 2015; originally announced April 2015.

Comments: A significantly expanded version

MSC Class: 68R15

Journal ref: Theoretical Computer Science 684 (2017) 53-58

Beyond the Runs Theorem

Authors: Johannes Fischer, Štěpán Holub, Tomohiro I, Moshe Lewenstein

Abstract: Recently, a short and elegant proof was presented showing that a binary word of length $n$ contains at most $n-3$ runs. Here we show, using the same technique and a computer search, that the number of runs in a binary word of length $n$ is at most $\frac{22}{23}n<0.957n$. Recently, a short and elegant proof was presented showing that a binary word of length $n$ contains at most $n-3$ runs. Here we show, using the same technique and a computer search, that the number of runs in a binary word of length $n$ is at most $\frac{22}{23}n<0.957n$. △ Less

Submitted 30 April, 2015; v1 submitted 16 February, 2015; originally announced February 2015.

Comments: New version with substantially improved bound and coauthors who carried out a similar research independently

MSC Class: 68R15

Journal ref: SPIRE 2015, LNCS 9309, 277-286

Equation $x^iy^jx^k=u^iv^ju^k$ in words

Authors: Jana Hadravová, Štěpán Holub

Abstract: We will prove that the word $a^ib^ja^k$ is periodicity forcing if $j \geq 3$ and $i+k \geq 3$, where $i$ and $k$ are positive integers. Also we will give examples showing that both bounds are optimal. We will prove that the word $a^ib^ja^k$ is periodicity forcing if $j \geq 3$ and $i+k \geq 3$, where $i$ and $k$ are positive integers. Also we will give examples showing that both bounds are optimal. △ Less

Submitted 15 January, 2015; originally announced January 2015.

MSC Class: 68R15

Journal ref: LATA 2015, LNCS 8977 414-423

Alternating Towers and Piecewise Testable Separators

Authors: Štěpán Holub, Tomáš Masopust, Michaël Thomazo

Abstract: Two languages are separable by a piecewise testable language if and only if there exists no infinite tower between them. An infinite tower is an infinite sequence of strings alternating between the two languages such that every string is a subsequence (scattered substring) of all the strings that follow. For regular languages represented by nondeterministic finite automata, the existence of an inf… ▽ More Two languages are separable by a piecewise testable language if and only if there exists no infinite tower between them. An infinite tower is an infinite sequence of strings alternating between the two languages such that every string is a subsequence (scattered substring) of all the strings that follow. For regular languages represented by nondeterministic finite automata, the existence of an infinite tower is decidable in polynomial time. In this paper, we investigate the complexity of a particular method to compute a piecewise testable separator. We show that it is closely related to the height of maximal finite towers, and provide the upper and lower bounds with respect to the size of the given nondeterministic automata. Specifically, we show that the upper bound is polynomial with respect to the number of states with the cardinality of the alphabet in the exponent. Concerning the lower bound, we show that towers of exponential height with respect to the cardinality of the alphabet exist. Since these towers mostly turn out to be sequences of prefixes, we also provide a comparison with towers of prefixes. △ Less

Submitted 12 November, 2015; v1 submitted 13 September, 2014; originally announced September 2014.

Comments: Update on the state complexity of AFAs under the operation of downward closure

MSC Class: 68Q45; 68Q17; 68Q25; 03D05

Universal Lyndon Words

Authors: Arturo Carpi, Gabriele Fici, Stepan Holub, Jakub Oprsal, Marinella Sciortino

Abstract: A word $w$ over an alphabet $Σ$ is a Lyndon word if there exists an order defined on $Σ$ for which $w$ is lexicographically smaller than all of its conjugates (other than itself). We introduce and study \emph{universal Lyndon words}, which are words over an $n$-letter alphabet that have length $n!$ and such that all the conjugates are Lyndon words. We show that universal Lyndon words exist for eve… ▽ More A word $w$ over an alphabet $Σ$ is a Lyndon word if there exists an order defined on $Σ$ for which $w$ is lexicographically smaller than all of its conjugates (other than itself). We introduce and study \emph{universal Lyndon words}, which are words over an $n$-letter alphabet that have length $n!$ and such that all the conjugates are Lyndon words. We show that universal Lyndon words exist for every $n$ and exhibit combinatorial and structural properties of these words. We then define particular prefix codes, which we call Hamiltonian lex-codes, and show that every Hamiltonian lex-code is in bijection with the set of the shortest unrepeated prefixes of the conjugates of a universal Lyndon word. This allows us to give an algorithm for constructing all the universal Lyndon words. △ Less

Submitted 23 June, 2014; originally announced June 2014.

Comments: To appear in the proceedings of MFCS 2014

MSC Class: 68R15

Journal ref: Lecture Notes in Computer Science, 8634: 135-146 (2014)

On Upper and Lower Bounds on the Length of Alternating Towers

Authors: Štěpán Holub, Galina Jirásková, Tomáš Masopust

Abstract: A tower between two regular languages is a sequence of strings such that all strings on odd positions belong to one of the languages, all strings on even positions belong to the other language, and each string can be embedded into the next string in the sequence. It is known that if there are towers of any length, then there also exists an infinite tower. We investigate upper and lower bounds on t… ▽ More A tower between two regular languages is a sequence of strings such that all strings on odd positions belong to one of the languages, all strings on even positions belong to the other language, and each string can be embedded into the next string in the sequence. It is known that if there are towers of any length, then there also exists an infinite tower. We investigate upper and lower bounds on the length of finite towers between two regular languages with respect to the size of the automata representing the languages in the case there is no infinite tower. This problem is relevant to the separation problem of regular languages by piecewise testable languages. △ Less

Submitted 9 July, 2014; v1 submitted 17 April, 2014; originally announced April 2014.

Journal ref: MFCS 2014, LNCS 8634, pp. 315-326

Algebraic properties of word equations

Authors: Štěpán Holub, Jan Žemlička

Abstract: The question about maximal size of independent system of word equations is one of the most striking problems in combinatorics on words. Recently, Aleksi Saarela has introduced a new approach to the problem that is based on linear-algebraic properties of polynomials encoding the equations and their solutions. In this paper we develop further this approach and take into account other algebraic prope… ▽ More The question about maximal size of independent system of word equations is one of the most striking problems in combinatorics on words. Recently, Aleksi Saarela has introduced a new approach to the problem that is based on linear-algebraic properties of polynomials encoding the equations and their solutions. In this paper we develop further this approach and take into account other algebraic properties of polynomials, namely their factorization. This, in particular, allows to improve the bound for the number of independent equations with maximal rank from quadratic to linear. △ Less

Submitted 3 October, 2014; v1 submitted 8 March, 2014; originally announced March 2014.

Comments: revised version, an improved and extended exposition

MSC Class: 68R15; 13P05

Journal ref: Journal of Algebra 434 (2015) 283-301

Words with unbounded periodicity complexity

Authors: Štěpán Holub

Abstract: If an infinite non-periodic word is uniformly recurrent or is of bounded repetition, then the limit of its periodicity complexity is infinity. Moreover, there are uniformly recurrent words with the periodicity complexity arbitrarily high at infinitely many positions. If an infinite non-periodic word is uniformly recurrent or is of bounded repetition, then the limit of its periodicity complexity is infinity. Moreover, there are uniformly recurrent words with the periodicity complexity arbitrarily high at infinitely many positions. △ Less

Submitted 25 July, 2013; v1 submitted 13 June, 2013; originally announced June 2013.

Comments: some references adjusted

MSC Class: 68R15

Journal ref: International Journal of Algebra and Computation 24 (2014) , 827-836

On an algorithm for multiperiodic words

Authors: Štěpán Holub

Abstract: We consider an algorithm by Tijdeman and Zamboni constructing a word of a given length that has a given set of periods, and the richest possible alphabet. We show that this algorithm can be easily stated and its correctness briefly proved using the class equivalence approach. We consider an algorithm by Tijdeman and Zamboni constructing a word of a given length that has a given set of periods, and the richest possible alphabet. We show that this algorithm can be easily stated and its correctness briefly proved using the class equivalence approach. △ Less

Submitted 15 January, 2013; v1 submitted 29 December, 2012; originally announced December 2012.

Comments: changes in the introduction, missing references added

MSC Class: 68R15

Journal ref: Acta Polytechnica 53(4) (2013) 344-346

Binary equality sets are generated by two words

Authors: Štěpán Holub

Abstract: We show that the equality language of two non-periodic binary morphisms is generated by at most two words. If its rank is two, then the generators start (and end) with different letters. This in particular implies that any binary language has a test set of cardinality at most two. We show that the equality language of two non-periodic binary morphisms is generated by at most two words. If its rank is two, then the generators start (and end) with different letters. This in particular implies that any binary language has a test set of cardinality at most two. △ Less

Submitted 18 September, 2012; originally announced September 2012.

Comments: Thoroughly revised version of a journal publication

MSC Class: 68R15

Journal ref: Journal of Algebra 259 (2003), 1-42

Complexity of testing morphic primitivity

Authors: Vojtěch Matocha, Štěpán Holub

Abstract: We analyze the algorithm in [Holub, 2009], which decides whether a given word is a fixed point of a nontrivial morphism. We show that it can be implemented to have complexity in O(mn), where n is the length of the word and m the size of the alphabet. We analyze the algorithm in [Holub, 2009], which decides whether a given word is a fixed point of a nontrivial morphism. We show that it can be implemented to have complexity in O(mn), where n is the length of the word and m the size of the alphabet. △ Less

Submitted 24 July, 2012; originally announced July 2012.

MSC Class: 68R15

Journal ref: Kybernetika, 49 (2) (2013), 216-223

Abelian powers in paper-folding words

Authors: Štěpán Holub

Abstract: We show that paper folding words contain arbitrarily large abelian powers. We show that paper folding words contain arbitrarily large abelian powers. △ Less

Submitted 18 July, 2012; v1 submitted 16 July, 2012; originally announced July 2012.

MSC Class: 68Q45

Journal ref: Journal of Combinatorial Theory Series A 120 (4) (2013) 872-881

Proceedings 8th International Conference Words 2011

Authors: Petr Ambrož, Štěpán Holub, Zuzana Masáková

Abstract: WORDS is the main international event in Combinatorics on Words. It is a biannual conference devoted to research of words (i.e., finite or infinite sequences of symbols over a finite alphabet) from combinatorial, algebraic and algorithmic points of view. The emphasis of the conference is on mathematical theory of words but the conference is also open to applications, mainly in computer science, bi… ▽ More WORDS is the main international event in Combinatorics on Words. It is a biannual conference devoted to research of words (i.e., finite or infinite sequences of symbols over a finite alphabet) from combinatorial, algebraic and algorithmic points of view. The emphasis of the conference is on mathematical theory of words but the conference is also open to applications, mainly in computer science, biology, linguistics and physics, gaining from the fact that words arise as a natural object in many areas. The eighth edition of the conference was organized in Prague from 12th to 16th September 2011 as a joint undertaking of the Czech Technical University and the Charles University. This volume consists of contributed papers accepted for presentation at the conference and summaries of invited lectures. △ Less

Submitted 17 August, 2011; originally announced August 2011.

Comments: EPTCS 63, 2011