Showing 1–17 of 17 results for author: Balkova, L

On Periodicity and Complexity of Generalized Pseudostandard Words

Authors: Josef Florian, Lubomira Balkova

Abstract: Generalized pseudostandard words have been introduced by de Luca and De Luca in 2006. In comparison to the palindromic and pseudopalindromic closure, only little is known about the generalized pseudopalindromic closure and the associated generalized pseudostandard words. We present two new results concerning these words. The first one is a necessary and sufficient condition for their periodicity.… ▽ More Generalized pseudostandard words have been introduced by de Luca and De Luca in 2006. In comparison to the palindromic and pseudopalindromic closure, only little is known about the generalized pseudopalindromic closure and the associated generalized pseudostandard words. We present two new results concerning these words. The first one is a necessary and sufficient condition for their periodicity. The second result is a counterexample to Conjecture 43 from the paper: A. B. Masse, G.Paquin, H. Tremblay, and L. Vuillon, On Generalized Pseudostandard Words over Binary Alphabet (Journal of Int. Sequences, 16:Article 13.2.11, 2013) that estimated the complexity of binary generalized pseudostandard words as C(n) being less than or equal to 4n for all sufficiently large n. △ Less

Submitted 7 November, 2016; v1 submitted 22 August, 2014; originally announced August 2014.

Comments: This article has been withdrawn because it has been extended and divided into two papers, the first part appears as arXiv:1508.02020. The second part will be submitted soon

MSC Class: 68R15

Aperiodic pseudorandom number generators based on infinite words

Authors: Lubomira Balkova, Michelangelo Bucci, Alessandro De Luca, Jiri Hladky, Svetlana Puzynina

Abstract: In this paper we study how certain families of aperiodic infinite words can be used to produce aperiodic pseudorandom number generators (PRNGs) with good statistical behavior. We introduce the \emph{well distributed occurrences} (WELLDOC) combinatorial property for infinite words, which guarantees absence of the lattice structure defect in related pseudorandom number generators. An infinite word… ▽ More In this paper we study how certain families of aperiodic infinite words can be used to produce aperiodic pseudorandom number generators (PRNGs) with good statistical behavior. We introduce the \emph{well distributed occurrences} (WELLDOC) combinatorial property for infinite words, which guarantees absence of the lattice structure defect in related pseudorandom number generators. An infinite word $u$ on a $d$-ary alphabet has the WELLDOC property if, for each factor $w$ of $u$, positive integer $m$, and vector $\mathbf v\in\mathbb Z_{m}^{d}$, there is an occurrence of $w$ such that the Parikh vector of the prefix of $u$ preceding such occurrence is congruent to $\mathbf v$ modulo $m$. (The Parikh vector of a finite word $v$ over an alphabet $\mathcal A$ has its $i$-th component equal to the number of occurrences of the $i$-th letter of $\mathcal A$ in $v$.) We prove that Sturmian words, and more generally Arnoux-Rauzy words and some morphic images of them, have the WELLDOC property. Using the TestU01 and PractRand statistical tests, we moreover show that not only the lattice structure is absent, but also other important properties of PRNGs are improved when linear congruential generators are combined using infinite words having the WELLDOC property. △ Less

Submitted 1 December, 2014; v1 submitted 23 November, 2013; originally announced November 2013.

Comments: updated and extended version; 24 pages

MSC Class: 68R15 ACM Class: G.3; F.4.3; G.2.1; G.2.3

Journal ref: Theoret. Comput. Sci. 647 (2016), 85 -- 100

Continued Fractions of Quadratic Numbers

Authors: Lubomíra Balková, Aranka Hrušková

Abstract: In this paper, we will first summarize known results concerning continued fractions. Then we will limit our consideration to continued fractions of quadratic numbers. The second author described periods and sometimes precise form of continued fractions of $\sqrt{N}$, where $N$ is a natural number. In cases where we were able to find such results in literature, we recall the original authors, howev… ▽ More In this paper, we will first summarize known results concerning continued fractions. Then we will limit our consideration to continued fractions of quadratic numbers. The second author described periods and sometimes precise form of continued fractions of $\sqrt{N}$, where $N$ is a natural number. In cases where we were able to find such results in literature, we recall the original authors, however many results seem to be new. △ Less

Submitted 3 February, 2013; originally announced February 2013.

Comments: 13 pages

Journal ref: Acta Polytechnica, 53(4) (2013), 322-328

Proof of Brlek-Reutenauer conjecture

Authors: Lubomira Balkova, Edita Pelantova, Stepan Starosta

Abstract: Brlek and Reutenauer conjectured that any infinite word u with language closed under reversal satisfies the equality 2D(u) = \sum_{n=0}^{\infty}T_u(n) in which D(u) denotes the defect of u and T_u(n) denotes C_u(n+1)-C_u(n) +2 - P_U(n+1) - P_u(n), where C_u and P_u are the factor and palindromic complexity of u, respectively. This conjecture was verified for periodic words by Brlek and Reutenauer… ▽ More Brlek and Reutenauer conjectured that any infinite word u with language closed under reversal satisfies the equality 2D(u) = \sum_{n=0}^{\infty}T_u(n) in which D(u) denotes the defect of u and T_u(n) denotes C_u(n+1)-C_u(n) +2 - P_U(n+1) - P_u(n), where C_u and P_u are the factor and palindromic complexity of u, respectively. This conjecture was verified for periodic words by Brlek and Reutenauer themselves. Using their results for periodic words, we have recently proved the conjecture for uniformly recurrent words. In the present article we prove the conjecture in its general version by a new method without exploiting the result for periodic words. △ Less

Submitted 23 December, 2012; v1 submitted 13 August, 2012; originally announced August 2012.

Comments: 9 pages

MSC Class: 68R15

Journal ref: Theoretical Computer Science 475 (2013), 120-125

Factor frequencies in generalized Thue-Morse words

Authors: Lubomira Balkova

Abstract: We describe factor frequencies of the generalized Thue-Morse word t_{b,m} defined for integers b greater than 1, m greater than 0 as the fixed point starting in 0 of the morphism φ_{b,m} given by φ_{b,m}(k)=k(k+1)...(k+b-1), where k = 0,1,..., m-1 and where the letters are expressed modulo m. We use the result of A. Frid, On the frequency of factors in a D0L word, Journal of Automata, Languages an… ▽ More We describe factor frequencies of the generalized Thue-Morse word t_{b,m} defined for integers b greater than 1, m greater than 0 as the fixed point starting in 0 of the morphism φ_{b,m} given by φ_{b,m}(k)=k(k+1)...(k+b-1), where k = 0,1,..., m-1 and where the letters are expressed modulo m. We use the result of A. Frid, On the frequency of factors in a D0L word, Journal of Automata, Languages and Combinatorics 3 (1998), 29-41 and the study of generalized Thue-Morse words by S. Starosta, Generalized Thue-Morse words and palindromic richness, arXiv:1104.2476v2 [math.CO]. △ Less

Submitted 25 July, 2011; originally announced July 2011.

Comments: 11 pages

Journal ref: Kybernetika 48(3) (2012), 371-385

Factor frequencies in languages invariant under more symmetries

Authors: Lubomira Balkova

Abstract: The number of frequencies of factors of length $n+1$ in a recurrent aperiodic infinite word does not exceed $3Δ\C(n)$, where $Δ\C (n)$ is the first difference of factor complexity, as shown by Boshernitzan. Pelantová together with the author derived a better upper bound for infinite words whose language is closed under reversal. In this paper, we further diminish the upper bound for uniformly recu… ▽ More The number of frequencies of factors of length $n+1$ in a recurrent aperiodic infinite word does not exceed $3Δ\C(n)$, where $Δ\C (n)$ is the first difference of factor complexity, as shown by Boshernitzan. Pelantová together with the author derived a better upper bound for infinite words whose language is closed under reversal. In this paper, we further diminish the upper bound for uniformly recurrent infinite words whose language is invariant under all elements of a finite group of symmetries and we prove the optimality of the obtained upper bound. △ Less

Submitted 3 July, 2011; originally announced July 2011.

Comments: 13 pages

MSC Class: 68R15

Journal ref: Integers - Electronic Journal of Combinatorial Number Theory 12 (2012), A36

On Brlek-Reutenauer conjecture

Authors: Lubomira Balkova, Edita Pelantova, Stepan Starosta

Abstract: Brlek and Reutenauer conjectured that any infinite word u with language closed under reversal satisfies the equality 2D(u)=\sum_{n=0}^{\infty} T(n) in which D(u) denotes the defect of u and T(n) denotes C(n+1)-C(n)+2-P(n+1)-P(n), where C and P are the factor and palindromic complexity of u, respectively. Brlek and Reutenauer verified their conjecture for periodic infinite words. We prove the conje… ▽ More Brlek and Reutenauer conjectured that any infinite word u with language closed under reversal satisfies the equality 2D(u)=\sum_{n=0}^{\infty} T(n) in which D(u) denotes the defect of u and T(n) denotes C(n+1)-C(n)+2-P(n+1)-P(n), where C and P are the factor and palindromic complexity of u, respectively. Brlek and Reutenauer verified their conjecture for periodic infinite words. We prove the conjecture for uniformly recurrent words. Moreover, we summarize results and some open problems related to defect, which may be useful for the proof of Brlek-Reutenauer Conjecture in full generality. △ Less

Submitted 26 January, 2011; originally announced January 2011.

Journal ref: Theoret. Comput. Sci. 412 (2011), 5649-5655

Abelian Complexity of Infinite Words Associated with Quadratic Parry Numbers

Authors: Ľubomíra Balková, Karel Břinda, Ondřej Turek

Abstract: We derive an explicit formula for the Abelian complexity of infinite words associated with quadratic Parry numbers. We derive an explicit formula for the Abelian complexity of infinite words associated with quadratic Parry numbers. △ Less

Submitted 7 January, 2011; originally announced January 2011.

Comments: 12 pages

MSC Class: 68R15

Journal ref: Theor. Comput. Sci. 412 (2011), 6252-6260

Infinite Words with Finite Defect

Authors: Lubomíra Balková, Edita Pelantová, Štěpán Starosta

Abstract: In this paper, we provide a new characterization of uniformly recurrent words with finite defect based on a relation between the palindromic and factor complexity. Furthermore, we introduce a class of morphisms P_ret closed under composition and we show that a uniformly recurrent word with finite defect is an image of a rich (also called full) word under a morphism of class P_ret. This class is cl… ▽ More In this paper, we provide a new characterization of uniformly recurrent words with finite defect based on a relation between the palindromic and factor complexity. Furthermore, we introduce a class of morphisms P_ret closed under composition and we show that a uniformly recurrent word with finite defect is an image of a rich (also called full) word under a morphism of class P_ret. This class is closely related to the well-known class P defined by Hof, Knill, and Simon; every morphism from P_ret is conjugate to a morphism of class P. △ Less

Submitted 10 January, 2011; v1 submitted 26 September, 2010; originally announced September 2010.

Comments: 13 pages

MSC Class: 68R15

Journal ref: Advances in Applied Mathematics, 2011

Critical exponent of infinite words coding beta-integers associated with non-simple Parry numbers

Authors: L. Balková, K. Klouda, E. Pelantová

Abstract: In this paper, we study the critical exponent of infinite words $\ubeta$ coding $β$-integers for $β$ being a~non-simple Parry number. In other words, we investigate the maximal consecutive repetitions of factors that occur in the infinite word in question. We calculate also the ultimate critical exponent that expresses how long repetitions occur in the infinite word $\ubeta$ when the factors of le… ▽ More In this paper, we study the critical exponent of infinite words $\ubeta$ coding $β$-integers for $β$ being a~non-simple Parry number. In other words, we investigate the maximal consecutive repetitions of factors that occur in the infinite word in question. We calculate also the ultimate critical exponent that expresses how long repetitions occur in the infinite word $\ubeta$ when the factors of length growing ad infinitum are considered. The basic ingredients of our method are the description of all bispecial factors of $\ubeta$ and the notion of return words. This method can be applied to any fixed point of any primitive substitution. △ Less

Submitted 16 July, 2010; originally announced July 2010.

Comments: 24 pages

Journal ref: Integers - Electronic Journal of Combinatorial Number Theory 11B (2011), 1-25

Sturmian Jungle (or Garden?) on Multiliteral Alphabets

Authors: Lubomira Balkova, Edita Pelantova, Stepan Starosta

Abstract: The properties characterizing Sturmian words are considered for words on multiliteral alphabets. We summarize various generalizations of Sturmian words to multiliteral alphabets and enlarge the list of known relationships among these generalizations. We also collect many examples of infinite words to illustrate differences in the generalized definitions of Sturmian words. The properties characterizing Sturmian words are considered for words on multiliteral alphabets. We summarize various generalizations of Sturmian words to multiliteral alphabets and enlarge the list of known relationships among these generalizations. We also collect many examples of infinite words to illustrate differences in the generalized definitions of Sturmian words. △ Less

Submitted 5 March, 2010; originally announced March 2010.

Comments: 21 pages

MSC Class: 68R15

Journal ref: RAIRO - Theor. Inf. Appl. 44 (2010), 443-470

A Note on Symmetries in the Rauzy Graph and Factor Frequencies

Authors: L. Balkova, E. Pelantova

Abstract: We focus on infinite words with languages closed under reversal. If frequencies of all factors are well defined, we show that the number of different frequencies of factors of length n+1 does not exceed 2C(n+1)-2C(n)+1. We focus on infinite words with languages closed under reversal. If frequencies of all factors are well defined, we show that the number of different frequencies of factors of length n+1 does not exceed 2C(n+1)-2C(n)+1. △ Less

Submitted 26 September, 2010; v1 submitted 3 February, 2009; originally announced February 2009.

Comments: 7 pages

MSC Class: 68R15

Journal ref: Theoret. Comput. Sci. 410 (2009), 2779-2783

Palindromes in infinite ternary words

Authors: Lubomira Balkova, Edita Pelantova, Stepan Starosta

Abstract: We study infinite words u over an alphabet A satisfying the property P : P(n)+ P(n+1) = 1+ #A for any n in N, where P(n) denotes the number of palindromic factors of length n occurring in the language of u. We study also infinite words satisfying a stronger property PE: every palindrome of u has exactly one palindromic extension in u. For binary words, the properties P and PE coincide and thes… ▽ More We study infinite words u over an alphabet A satisfying the property P : P(n)+ P(n+1) = 1+ #A for any n in N, where P(n) denotes the number of palindromic factors of length n occurring in the language of u. We study also infinite words satisfying a stronger property PE: every palindrome of u has exactly one palindromic extension in u. For binary words, the properties P and PE coincide and these properties characterize Sturmian words, i.e., words with the complexity C(n)=n+1 for any n in N. In this paper, we focus on ternary infinite words with the language closed under reversal. For such words u, we prove that if C(n)=2n+1 for any n in N, then u satisfies the property P and moreover u is rich in palindromes. Also a sufficient condition for the property PE is given. We construct a word demonstrating that P on a ternary alphabet does not imply PE. △ Less

Submitted 27 January, 2009; originally announced January 2009.

Comments: 12 pages

MSC Class: 68R15

Journal ref: RAIRO - Theor. Inform. Appl. 43 (2009), 687-702

Repetitions in beta-integers

Authors: L. Balková, K. Klouda, E. Pelantová

Abstract: Classical crystals are solid materials containing arbitrarily long periodic repetitions of a single motif. In this paper, we study the maximal possible repetition of the same motif occurring in beta-integers -- one dimensional models of quasicrystals. We are interested in beta-integers realizing only a finite number of distinct distances between neighboring elements. In such a case, the problem… ▽ More Classical crystals are solid materials containing arbitrarily long periodic repetitions of a single motif. In this paper, we study the maximal possible repetition of the same motif occurring in beta-integers -- one dimensional models of quasicrystals. We are interested in beta-integers realizing only a finite number of distinct distances between neighboring elements. In such a case, the problem may be reformulated in terms of combinatorics on words as a study of the index of infinite words coding beta-integers. We will solve a particular case for beta being a quadratic non-simple Parry number. △ Less

Submitted 21 December, 2008; originally announced December 2008.

Comments: 11 pages

MSC Class: 68R15

Journal ref: Letters in Mathematical Physics 87 (2009), 181-195

Palindromic Saturation

Authors: L. Balková, E. Pelantová

Abstract: We consider two {seemingly} different definitions of infinite words which contain {the} utmost number of palindromes. We show that these two definitions coincide. {The keynote of the proof is a meticulous inspection of properties of complete return words and the application of some basic graph theory.} In fact, we provide another proof of the result announced in \cite{Zamboni}. We consider two {seemingly} different definitions of infinite words which contain {the} utmost number of palindromes. We show that these two definitions coincide. {The keynote of the proof is a meticulous inspection of properties of complete return words and the application of some basic graph theory.} In fact, we provide another proof of the result announced in \cite{Zamboni}. △ Less

Submitted 26 February, 2008; v1 submitted 21 February, 2008; originally announced February 2008.

Comments: 6 pages

Palindromic complexity of infinite words associated with non-simple Parry numbers

Authors: L'ubomíra Balková, Zuzana Masáková

Abstract: We study the palindromic complexity of infinite words $u_β$, the fixed points of the substitution over a binary alphabet, $φ(0)=0^a1$, $φ(1)=0^b1$, with $a-1\geq b\geq 1$, which are canonically associated with quadratic non-simple Parry numbers $β$. We study the palindromic complexity of infinite words $u_β$, the fixed points of the substitution over a binary alphabet, $φ(0)=0^a1$, $φ(1)=0^b1$, with $a-1\geq b\geq 1$, which are canonically associated with quadratic non-simple Parry numbers $β$. △ Less

Submitted 16 November, 2006; originally announced November 2006.

Comments: 16 pages

MSC Class: 68R15; 11A63

Sequences with constant number of return words

Authors: Lubomira Balkova, Edita Pelantova, Wolfgang Steiner

Abstract: An infinite word has the property $R_m$ if every factor has exactly $m$ return words. Vuillon showed that $R_2$ characterizes Sturmian words. We prove that a word satisfies $R_m$ if its complexity function is $(m-1)n+1$ and if it contains no weak bispecial factor. These conditions are necessary for $m=3$, whereas for $m=4$ the complexity function need not be $3n+1$. New examples of words satisfy… ▽ More An infinite word has the property $R_m$ if every factor has exactly $m$ return words. Vuillon showed that $R_2$ characterizes Sturmian words. We prove that a word satisfies $R_m$ if its complexity function is $(m-1)n+1$ and if it contains no weak bispecial factor. These conditions are necessary for $m=3$, whereas for $m=4$ the complexity function need not be $3n+1$. New examples of words satisfying $R_m$ are given by words related to digital expansions in real bases. △ Less

Submitted 27 September, 2007; v1 submitted 24 August, 2006; originally announced August 2006.