-
Restivo Salemi property for $α$-power free languages with $α\geq 5$ and $k\geq 3$ letters
Authors:
Josef Rukavicka
Abstract:
In 2009, Shur published the following conjecture: Let $L$ be a power-free language and let $e(L)\subseteq L$ be the set of words of $L$ that can be extended to a bi-infinite word respecting the given power-freeness. If $u, v \in e(L)$ then $uwv \in e(L)$ for some word $w$. Let $L_{k,α}$ denote an $α$-power free language over an alphabet with $k$ letters, where $α$ is a positive rational number and…
▽ More
In 2009, Shur published the following conjecture: Let $L$ be a power-free language and let $e(L)\subseteq L$ be the set of words of $L$ that can be extended to a bi-infinite word respecting the given power-freeness. If $u, v \in e(L)$ then $uwv \in e(L)$ for some word $w$. Let $L_{k,α}$ denote an $α$-power free language over an alphabet with $k$ letters, where $α$ is a positive rational number and $k$ is positive integer. We prove the conjecture for the languages $L_{k,α}$, where $α\geq 5$ and $k\geq 3$.
△ Less
Submitted 4 December, 2023;
originally announced December 2023.
-
Note on dissecting power of regular languages
Authors:
Josef Rukavicka
Abstract:
Let $c>1$ be a real constant. We say that a language $L$ is $c$-\emph{constantly growing} if for every word $u\in L$ there is a word $v\in L$ with $\vert u\vert<\vert v\vert\leq c+\vert u\vert$. We say that a language $L$ is $c$-\emph{geometrically growing} if for every word $u\in L$ there is a word $v\in L$ with $\vert u\vert<\vert v\vert\leq c\vert u\vert$. Given a language $L$, we say that $L$…
▽ More
Let $c>1$ be a real constant. We say that a language $L$ is $c$-\emph{constantly growing} if for every word $u\in L$ there is a word $v\in L$ with $\vert u\vert<\vert v\vert\leq c+\vert u\vert$. We say that a language $L$ is $c$-\emph{geometrically growing} if for every word $u\in L$ there is a word $v\in L$ with $\vert u\vert<\vert v\vert\leq c\vert u\vert$. Given a language $L$, we say that $L$ is $REG$-\emph{dissectible} if there is a regular language $R$ such that $\vert L\setminus R\vert=\infty$ and $\vert L\cap R\vert=\infty$. In 2013, it was shown that every $c$-constantly growing language $L$ is $REG$-dissectible. In 2023, the following open question has been presented: "Is the family of geometrically growing languages $REG$-dissectible?" We construct a $c$-geometrically growing language $L$ that is not $REG$-dissectible. Hence we answer negatively to the open question.
△ Less
Submitted 21 October, 2023;
originally announced October 2023.
-
Property of upper bounds on the number of rich words
Authors:
Josef Rukavicka
Abstract:
A finite word $w$ is called \emph{rich} if it contains $\vert w\vert+1$ distinct palindromic factors including the empty word. Let $q\geq 2$ be the size of the alphabet. Let $R(n)$ be the number of rich words of length $n$. Let $d>1$ be a real constant and let $φ, ψ$ be real functions such that \begin{itemize}\item there is $n_0$ such that $2ψ(2^{-1}φ(n))\geq dψ(n)$ for all $n>n_0$, \item…
▽ More
A finite word $w$ is called \emph{rich} if it contains $\vert w\vert+1$ distinct palindromic factors including the empty word. Let $q\geq 2$ be the size of the alphabet. Let $R(n)$ be the number of rich words of length $n$. Let $d>1$ be a real constant and let $φ, ψ$ be real functions such that \begin{itemize}\item there is $n_0$ such that $2ψ(2^{-1}φ(n))\geq dψ(n)$ for all $n>n_0$, \item $\frac{n}{φ(n)}$ is an upper bound on the palindromic length of rich words of length $n$, and \item $\frac{x}{ψ(x)}+\frac{x\ln{(φ(x))}}{φ(x)}$ is a strictly increasing concave function. \end{itemize} We show that if $c_1,c_2$ are real constants and $R(n)\leq q^{c_1\frac{n}{ψ(n)}+c_2\frac{n\ln(φ(n))}{φ(n)}}$ then for every real constant $c_3>0$ there is a positive integer $n_0$ such that for all $n>n_0$ we have that \[R(n)\leq q^{(c_1+c_3)\frac{n}{dψ(n)}+c_2\frac{n\ln(φ(n))}{φ(n)}(1+\frac{1}{c_2\ln{q}}+c_3)}\mbox{.}\]
△ Less
Submitted 18 December, 2022;
originally announced December 2022.
-
Upper bound for the number of privileged words
Authors:
Josef Rukavicka
Abstract:
A non-empty word $w$ is a \emph{border} of a word $u$ if $\vert w\vert<\vert u\vert$ and $w$ is both a prefix and a suffix of $u$. A word $u$ is \emph{privileged} if $\vert u\vert\leq 1$ or if $u$ has a privileged border $w$ that appears exactly twice in $u$. Peltomäki (2016) presented the following open problem: ``Give a nontrivial upper bound for $B(n)$'', where $B(n)$ denotes the number of priv…
▽ More
A non-empty word $w$ is a \emph{border} of a word $u$ if $\vert w\vert<\vert u\vert$ and $w$ is both a prefix and a suffix of $u$. A word $u$ is \emph{privileged} if $\vert u\vert\leq 1$ or if $u$ has a privileged border $w$ that appears exactly twice in $u$. Peltomäki (2016) presented the following open problem: ``Give a nontrivial upper bound for $B(n)$'', where $B(n)$ denotes the number of privileged words of length $n$.
Let $\ln^{[0]}{(n)}=n$ and let $\ln^{[j]}{(n)}=\ln{(\ln^{[j-1]}{(n)})}$, where $j,n$ are positive integers. We show that if $q>1$ is a size of the alphabet and $j\geq 3$ is an integer then there are constants $α_j$ and $n_j$ such that \[B(n)\leq α_j\frac{q^{n}\sqrt{\ln{n}}}{\sqrt{n}}\ln^{[j]}{(n)}\prod_{i=2}^{j-1}\sqrt{\ln^{[i]}(n)}\mbox{, where }n\geq n_j\mbox{.}\] This result improves the upper bound of Rukavicka (2020).
△ Less
Submitted 25 May, 2022;
originally announced May 2022.
-
Construction of a bi-infinite power free word with a given factor and a non-recurrent letter
Authors:
Josef Rukavicka
Abstract:
Let $L_{k,α}^{\mathbb{Z}}$ denote the set of all bi-infinite $α$-power free words over an alphabet with $k$ letters, where $α$ is a positive rational number and $k$ is positive integer. We prove that if $α\geq 5$, $k\geq 3$, $v\in L_{k,α}^{\mathbb{Z}}$, and $w$ is a finite factor of $v$, then there are $\widetilde v\in L_{k,α}^{\mathbb{Z}}$ and a letter $x$ such that $w$ is a factor of…
▽ More
Let $L_{k,α}^{\mathbb{Z}}$ denote the set of all bi-infinite $α$-power free words over an alphabet with $k$ letters, where $α$ is a positive rational number and $k$ is positive integer. We prove that if $α\geq 5$, $k\geq 3$, $v\in L_{k,α}^{\mathbb{Z}}$, and $w$ is a finite factor of $v$, then there are $\widetilde v\in L_{k,α}^{\mathbb{Z}}$ and a letter $x$ such that $w$ is a factor of $\widetilde v$ and $x$ has only a finitely many occurrences in $\widetilde v$.
△ Less
Submitted 16 April, 2022; v1 submitted 24 February, 2022;
originally announced February 2022.
-
Palindromic factorization of rich words
Authors:
Josef Rukavicka
Abstract:
A finite word $w$ is called \emph{rich} if it contains $\vert w\vert+1$ distinct palindromic factors including the empty word. For every finite rich word $w$ there are distinct nonempty palindromes $w_1, w_2,\dots,w_p$ such that $w=w_pw_{p-1}\cdots w_1$ and $w_i$ is the longest palindromic suffix of $w_pw_{p-1}\cdots w_i$, where $1\leq i\leq p$. This palindromic factorization is called \emph{UPS-f…
▽ More
A finite word $w$ is called \emph{rich} if it contains $\vert w\vert+1$ distinct palindromic factors including the empty word. For every finite rich word $w$ there are distinct nonempty palindromes $w_1, w_2,\dots,w_p$ such that $w=w_pw_{p-1}\cdots w_1$ and $w_i$ is the longest palindromic suffix of $w_pw_{p-1}\cdots w_i$, where $1\leq i\leq p$. This palindromic factorization is called \emph{UPS-factorization}. Let $luf(w)=p$ be \emph{the length of UPS-factorization} of $w$.
In 2017, it was proved that there is a constant $c$ such that if $w$ is a finite rich word and $n=\vert w\vert$ then $luf(w)\leq c\frac{n}{\ln{n}}$. We improve this result as follows: There are constants $μ, π$ such that if $w$ is a finite rich word and $n=\vert w\vert$ then \[luf(w)\leq μ\frac{n}{e^{π\sqrt{\ln{n}}}}\mbox{.}\] The constants $c,μ,π$ depend on the size of the alphabet.
△ Less
Submitted 25 October, 2021;
originally announced October 2021.
-
Palindromic Length and Reduction of Powers
Authors:
Josef Rukavicka
Abstract:
Given a nonempty finite word $v$, let $PL(v)$ be the palindromic length of $v$; it means the minimal number of palindromes whose concatenation is equal to $v$. Let $v^R$ denote the reversal of $v$. Given a finite or infinite word $y$, let $Fac(y)$ denote the set of all finite factors of $y$ and let $maxPL(y)=\max\{PL(t)\mid t\in Fac(y)\}$. Let $x$ be an infinite non-ultimately periodic word with…
▽ More
Given a nonempty finite word $v$, let $PL(v)$ be the palindromic length of $v$; it means the minimal number of palindromes whose concatenation is equal to $v$. Let $v^R$ denote the reversal of $v$. Given a finite or infinite word $y$, let $Fac(y)$ denote the set of all finite factors of $y$ and let $maxPL(y)=\max\{PL(t)\mid t\in Fac(y)\}$. Let $x$ be an infinite non-ultimately periodic word with $maxPL(x)=k<\infty$ and let $u\in Fac(x)$ be a primitive nonempty factor such that $u^5$ is recurrent in $x$. Let $Ψ(x,u)=\{t\in Fac(x)\mid u,u^R\not\in Fac(t)\}\mbox{.}$ We construct an infinite non-ultimately periodic word $\overline x$ such that $u^5, (u^R)^5\not\in Fac(\overline x)$, $Ψ(x,u)\subseteq Fac(\overline x)$, and $maxPL(\overline x)\leq 3k^3$. Less formally said, we show how to reduce the powers of $u$ and $u^R$ in $x$ in such a way that the palindromic length remains bounded.
△ Less
Submitted 26 March, 2021;
originally announced March 2021.
-
Dissecting power of intersection of two context-free languages
Authors:
Josef Rukavicka
Abstract:
We say that a language $L$ is \emph{constantly growing} if there is a constant $c$ such that for every word $u\in L$ there is a word $v\in L$ with $\vert u\vert<\vert v\vert\leq c+\vert u\vert$. We say that a language $L$ is \emph{geometrically growing} if there is a constant $c$ such that for every word $u\in L$ there is a word $v\in L$ with $\vert u\vert<\vert v\vert\leq c\vert u\vert$. Given tw…
▽ More
We say that a language $L$ is \emph{constantly growing} if there is a constant $c$ such that for every word $u\in L$ there is a word $v\in L$ with $\vert u\vert<\vert v\vert\leq c+\vert u\vert$. We say that a language $L$ is \emph{geometrically growing} if there is a constant $c$ such that for every word $u\in L$ there is a word $v\in L$ with $\vert u\vert<\vert v\vert\leq c\vert u\vert$. Given two infinite languages $L_1,L_2$, we say that $L_1$ \emph{dissects} $L_2$ if $\vert L_2\setminus L_1\vert=\infty$ and $\vert L_1\cap L_2\vert=\infty$. In 2013, it was shown that for every constantly growing language $L$ there is a regular language $R$ such that $R$ dissects $L$.
In the current article we show how to dissect a geometrically growing language by a homomorphic image of intersection of two context-free languages.
Consider three alphabets $Γ$, $Σ$, and $Θ$ such that $\vert Σ\vert=1$ and $\vert Θ\vert=4$. We prove that there are context-free languages $M_1,M_2\subseteq Θ^*$, an erasing alphabetical homomorphism $π:Θ^*\rightarrow Σ^*$, and a nonerasing alphabetical homomorphism $\varphi : Γ^*\rightarrow Σ^*$ such that: If $L\subseteq Γ^*$ is a geometrically growing language then there is a regular language $R\subseteq Θ^*$ such that $\varphi^{-1}\left(π\left(R\cap M_1\cap M_2\right)\right)$ dissects the language $L$.
△ Less
Submitted 18 September, 2023; v1 submitted 26 June, 2020;
originally announced June 2020.
-
Palindromic Length of Words with Many Periodic Palindromes
Authors:
Josef Rukavicka
Abstract:
The palindromic length $\text{PL}(v)$ of a finite word $v$ is the minimal number of palindromes whose concatenation is equal to $v$. In 2013, Frid, Puzynina, and Zamboni conjectured that: If $w$ is an infinite word and $k$ is an integer such that $\text{PL}(u)\leq k$ for every factor $u$ of $w$ then $w$ is ultimately periodic.
Suppose that $w$ is an infinite word and $k$ is an integer such…
▽ More
The palindromic length $\text{PL}(v)$ of a finite word $v$ is the minimal number of palindromes whose concatenation is equal to $v$. In 2013, Frid, Puzynina, and Zamboni conjectured that: If $w$ is an infinite word and $k$ is an integer such that $\text{PL}(u)\leq k$ for every factor $u$ of $w$ then $w$ is ultimately periodic.
Suppose that $w$ is an infinite word and $k$ is an integer such $\text{PL}(u)\leq k$ for every factor $u$ of $w$. Let $Ω(w,k)$ be the set of all factors $u$ of $w$ that have more than $\sqrt[k]{k^{-1}\vert u\vert}$ palindromic prefixes. We show that $Ω(w,k)$ is an infinite set and we show that for each positive integer $j$ there are palindromes $a,b$ and a word $u\in Ω(w,k)$ such that $(ab)^j$ is a factor of $u$ and $b$ is nonempty. Note that $(ab)^j$ is a periodic word and $(ab)^ia$ is a palindrome for each $i\leq j$. These results justify the following question: What is the palindromic length of a concatenation of a suffix of $b$ and a periodic word $(ab)^j$ with "many" periodic palindromes?
It is known that $\lvert\text{PL}(uv)-\text{PL}(u)\rvert\leq \text{PL}(v)$, where $u$ and $v$ are nonempty words. The main result of our article shows that if $a,b$ are palindromes, $b$ is nonempty, $u$ is a nonempty suffix of $b$, $\vert ab\vert$ is the minimal period of $aba$, and $j$ is a positive integer with $j\geq3\text{PL}(u)$ then $\text{PL}(u(ab)^j)-\text{PL}(u)\geq 0$.
△ Less
Submitted 4 May, 2020;
originally announced May 2020.
-
Transition Property for $α$-Power Free Languages with $α\geq 2$ and $k\geq 3$ Letters
Authors:
Josef Rukavicka
Abstract:
In 1985, Restivo and Salemi presented a list of five problems concerning power free languages. Problem $4$ states: Given $α$-power-free words $u$ and $v$, decide whether there is a transition from $u$ to $v$. Problem $5$ states: Given $α$-power-free words $u$ and $v$, find a transition word $w$, if it exists.
Let $Σ_k$ denote an alphabet with $k$ letters. Let $L_{k,α}$ denote the $α$-power free…
▽ More
In 1985, Restivo and Salemi presented a list of five problems concerning power free languages. Problem $4$ states: Given $α$-power-free words $u$ and $v$, decide whether there is a transition from $u$ to $v$. Problem $5$ states: Given $α$-power-free words $u$ and $v$, find a transition word $w$, if it exists.
Let $Σ_k$ denote an alphabet with $k$ letters. Let $L_{k,α}$ denote the $α$-power free language over the alphabet $Σ_k$, where $α$ is a rational number or a rational "number with $+$". If $α$ is a "number with $+$" then suppose $k\geq 3$ and $α\geq 2$. If $α$ is "only" a number then suppose $k=3$ and $α>2$ or $k>3$ and $α\geq 2$. We show that: If $u\in L_{k,α}$ is a right extendable word in $L_{k,α}$ and $v\in L_{k,α}$ is a left extendable word in $L_{k,α}$ then there is a (transition) word $w$ such that $uwv\in L_{k,α}$. We also show a construction of the word $w$.
△ Less
Submitted 9 January, 2020; v1 submitted 7 January, 2020;
originally announced January 2020.
-
Upper bound for the number of closed and privileged words
Authors:
Josef Rukavicka
Abstract:
A non-empty word $w$ is a border of the word $u$ if $\vert w\vert<\vert u\vert$ and $w$ is both a prefix and a suffix of $u$. A word $u$ with the border $w$ is closed if $u$ has exactly two occurrences of $w$. A word $u$ is privileged if $\vert u\vert\leq 1$ or if $u$ contains a privileged border $w$ that appears exactly twice in $u$.
Peltomäki (2016) presented the following open problem: "Give…
▽ More
A non-empty word $w$ is a border of the word $u$ if $\vert w\vert<\vert u\vert$ and $w$ is both a prefix and a suffix of $u$. A word $u$ with the border $w$ is closed if $u$ has exactly two occurrences of $w$. A word $u$ is privileged if $\vert u\vert\leq 1$ or if $u$ contains a privileged border $w$ that appears exactly twice in $u$.
Peltomäki (2016) presented the following open problem: "Give a nontrivial upper bound for $B(n)$", where $B(n)$ denotes the number of privileged words of length $n$. Let $D(n)$ denote the number of closed words of length $n$. Let $q>1$ be the size of the alphabet. We show that there is a positive real constant $c$ such that \[D(n)\leq c\ln{n}\frac{q^{n}}{\sqrt{n}}\mbox{, where }n>1\mbox{.}\]
Privileged words are a subset of closed words, hence we show also an upper bound for the number of privileged words.
△ Less
Submitted 25 November, 2019;
originally announced November 2019.
-
A Unique Extension of Rich Words
Authors:
Josef Rukavicka
Abstract:
A word $w$ is called rich if it contains $| w|+1$ palindromic factors, including the empty word. We say that a rich word $w$ can be extended in at least two ways if there are two distinct letters $x,y$ such that $wx,wy$ are rich. Let $R$ denote the set of all rich words. Given $w\in R$, let $K(w)$ denote the set of all words such that if $u\in K(w)$ then $wu\in R$ and $wu$ can be extended in at le…
▽ More
A word $w$ is called rich if it contains $| w|+1$ palindromic factors, including the empty word. We say that a rich word $w$ can be extended in at least two ways if there are two distinct letters $x,y$ such that $wx,wy$ are rich. Let $R$ denote the set of all rich words. Given $w\in R$, let $K(w)$ denote the set of all words such that if $u\in K(w)$ then $wu\in R$ and $wu$ can be extended in at least two ways. Let $ω(w)=\min\{| u| \mid u\in K(w)\}$ and let $φ(n)=\max\{ω(w)\mid w\in R\mbox{ and }| w|=n\}$, where $n>0$. Vesti (2014) showed that $φ(n)\leq 2n$. In other words, it says that for each $w\in R$ there is a word $u$ with $| u|\leq 2| w|$ such that $wu\in R$ and $wu$ can be extended in at least two ways. We prove that $φ(n)\leq n$. In addition we prove that for each real constant $c>0$ and each integer $m>0$ there is $n>m$ such that $φ(n)\geq (\frac{2}{9}-c)n$. The results hold for each finite alphabet having at least two letters.
△ Less
Submitted 24 October, 2019; v1 submitted 2 October, 2019;
originally announced October 2019.