Source author record

Edita Pelantová

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

25works
8topics
4close collaborators

Published work

25 publications

preprint2022arXiv

Asymptotic repetitive threshold of balanced sequences

The critical exponent E(u)E(\mathbf u) of an infinite sequence u\mathbf u over a finite alphabet expresses the maximal repetition of a factor in u\mathbf u. By the famous Dejean's theorem, E(u)≥1+1d−1E(\mathbf u) \geq 1+\frac1{d-1} for every dd-ary sequence u\mathbf u. We define the asymptotic critical exponent E∗(u)E^*(\mathbf u) as the upper limit of the maximal repetition of factors of length nn. We show that for any d>1d>1 there exists a dd-ary sequence u\mathbf u having E∗(u)E^*(\mathbf u) arbitrarily close to 11. Then we focus on the class of dd-ary balanced sequences. In this class, the values E∗(u)E^*(\mathbf u) are bounded from below by a threshold strictly bigger than 1. We provide a method which enables us to find a dd-ary balanced sequence with the least asymptotic critical exponent for 2≤d≤102\leq d\leq 10.

preprint2022arXiv

Spectrum, algebraicity and normalization in alternate bases

The first aim of this article is to give information about the algebraic properties of alternate bases β=(β0,…,βp−1)\boldsymbolβ=(β_0,\dots,β_{p-1}) determining sofic systems. We show that a necessary condition is that the product δ=∏i=0p−1βiδ=\prod_{i=0}^{p-1}β_i is an algebraic integer and all of the bases β0,…,βp−1β_0,\ldots,β_{p-1} belong to the algebraic field Q(δ){\mathbb Q}(δ). On the other hand, we also give a sufficient condition: if δδ is a Pisot number and β0,…,βp−1∈Q(δ)β_0,\ldots,β_{p-1}\in {\mathbb Q}(δ), then the system associated with the alternate base β=(β0,…,βp−1)\boldsymbolβ=(β_0,\dots,β_{p-1}) is sofic. The second aim of this paper is to provide an analogy of Frougny's result concerning normalization of real bases representations. We show that given an alternate base β=(β0,…,βp−1)\boldsymbolβ=(β_0,\dots,β_{p-1}) such that δδ is a Pisot number and β0,…,βp−1∈Q(δ)β_0,\ldots,β_{p-1}\in {\mathbb Q}(δ), the normalization function is computable by a finite Büchi automaton, and furthermore, we effectively construct such an automaton. An important tool in our study is the spectrum of numeration systems associated with alternate bases. The spectrum of a real number δ>1δ>1 and an alphabet A⊂ZA\subset {\mathbb Z} was introduced by Erdős et al. For our purposes, we use a generalized concept with δ∈Cδ\in{\mathbb C} and A⊂CA\subset{\mathbb C} and study its topological properties.

preprint2021arXiv

On positional representation of integer vectors

We show that any m×mm\times m matrix MM with integer entries and det⁡M=Δ≠0\det M =Δ\neq 0 can be equipped by a finite digit set D⊂Zm\mathcal{D}\subset\mathbb{Z}^m such that any integer mm-dimensional vector belongs to the set FinD(M)={∑k∈IMkdk:∅≠I finite subset of Z and dk∈D for each k∈I}⊂⋃k∈N1ΔkZm . {\rm Fin}_{\mathcal{D}}(M)= \Bigl\{\sum_{k\in I}M^k {d}_k : \emptyset\neq I \text{ finite subset of } \mathbb{Z} \text{ and } {d}_k \in \mathcal{D} \text{ for each } k \in I\Bigr\} \subset \bigcup\limits_{k\in \mathbb{N}} \frac{1}{Δ^k}\mathbb{Z}^{m} \,. We also characterize the matrices MM for which the sets FinD(M) {\rm Fin}_{\mathcal{D}}(M) and ⋃k∈N1ΔkZm \bigcup\limits_{k\in \mathbb{N}} \frac{1}{Δ^k}\mathbb{Z}^{m} coincide.

preprint2020arXiv

On generalized self-similarities of cut-and-project sets

Cut-and-project sets Σ⊂RnΣ\subset\mathbb{R}^n represent one of the types of uniformly discrete relatively dense sets. They arise by projection of a section of a higher-dimensional lattice to a suitably oriented subspace. Cut-and-project sets find application in solid state physics as mathematical models of atomic positions in quasicrystals, the description of their symmetries is therefore of high importance. We focus on the question when a linear map AA on Rn\mathbb{R}^n is a self-similarity of a cut-and-project set ΣΣ, i.e.\ satisfies AΣ⊂ΣAΣ\subsetΣ. We characterize such mappings AA and provide a construction of a suitable cut-and-project set ΣΣ. We determine minimal dimension of a lattice which permits construction of such a set ΣΣ.

preprint2020arXiv

On non-repetitive complexity of Arnoux-Rauzy words

The non-repetitive complexity nrCunr\mathcal{C}_{\bf u} and the initial non-repetitive complexity inrCuinr\mathcal{C}_{\bf u} are functions which reflect the structure of the infinite word u{\bf u} with respect to the repetitions of factors of a given length. We determine nrCunr\mathcal{C}_{\bf u} for the Arnoux-Rauzy words and inrCuinr\mathcal{C}_{\bf u} for the standard Arnoux-Rauzy words. Our main tools are SS-adic representation of Arnoux-Rauzy words and description of return words to their factors. The formulas we obtain are then used to evaluate nrCunr\mathcal{C}_{\bf u} and inrCuinr\mathcal{C}_{\bf u} for the dd-bonacci word.

preprint2016arXiv

On periodic representations in non-Pisot bases

We study periodic expansions in positional number systems with a base $β\in\C,\ |β|>1$, and with coefficients in a finite set of digits $\A\subset\C.$ We are interested in determining those algebraic bases for which there exists $\A\subset \Q(β),$ such that all elements of $\Q(β)$ admit at least one eventually periodic representation with digits in $\A$. In this paper we prove a general result that guarantees the existence of such an $\A$. This result implies the existence of such an $\A$ when ββ is a rational number or an algebraic integer with no conjugates of modulus 11. We also consider eventually periodic representations of elements of $\Q(β)$ for which the maximal power of the representation is proportional to the absolute value of the represented number, up to some universal constant. We prove that if every element of $\Q(β)$ admits such a representation then ββ must be a Pisot number or a Salem number. This result generalises a well known result of Schmidt \cite{Schmidt}.

preprint2015arXiv

Palindromic sequences generated from marked morphisms

Fixed points u=φ(u){\bf u}=φ({\bf u}) of marked and primitive morphisms φφ over arbitrary alphabet are considered. We show that if u{\bf u} is palindromic, i.e., its language contains infinitely many palindromes, then some power of φφ has a conjugate in class P{\mathcal P}. This class was introduced by Hof, Knill, Simon (1995) in order to study palindromic morphic words. Our definitions of marked and well-marked morphisms are more general than the ones previously used by Frid (1999) or Tan (2007). As any morphism with aperiodic fixed point over binary alphabet is marked, our result generalizes the result of Tan. Labbé (2014) demonstrated that already on a ternary alphabet the property of morphisms to be marked is important for the validity of our theorem. The main tool used in our proof is the description of bispecial factors in fixed points of morphisms provided by Klouda (2012).

preprint2014arXiv

Balances of mm-bonacci words

The mm-bonacci word is a generalization of the Fibonacci word to the mm-letter alphabet A=0,...,m−1\mathcal{A} = {0,...,m-1}. It is the unique fixed point of the Pisot--type substitution φm:0→01,1→02,...,(m−2)→0(m−1),and(m−1)→0 φ_m: 0\to 01, 1\to 02, ..., (m-2)\to0(m-1), and (m-1)\to0. A result of Adamczewski implies the existence of constants c(m)c^{(m)} such that the mm-bonacci word is c(m)c^{(m)}-balanced, i.e., numbers of letter aa occurring in two factors of the same length differ at most by c(m)c^{(m)} for any letter a∈Aa\in \mathcal{A}. The constants c(m)c^{(m)} have been already determined for m=2m=2 and m=3m=3. In this paper we study the bounds c(m)c^{(m)} for a general m≥2m\geq2. We show that the mm-bonacci word is (⌊κm⌋+12)(\lfloor κm \rfloor +12)-balanced, where κ≈0.58κ\approx 0.58. For m≤12m\leq 12, we improve the constant c(m)c^{(m)} by a computer numerical calculation to the value ⌈m+12⌉\lceil\frac{m+1}{2}\rceil.

preprint2014arXiv

Description of spectra of quadratic Pisot units

The spectrum of a real number β>1β>1 is the set Xm(β)X^{m}(β) of p(β)p(β) where pp ranges over all polynomials with coefficients restricted to A={0,1,…,m}{\mathcal A}=\{0,1,\dots,m\}. For a quadratic Pisot unit ββ, we determine the values of all distances between consecutive points and their corresponding frequencies, by recasting the spectra in the frame of the cut-and-project scheme. We also show that shifting the set A{\mathcal A} of digits so that it contains at least one negative element, or considering negative base −β-β instead of ββ, the gap sequence of the generalized spectrum is a coding of an exchange of three intervals.

preprint2013arXiv

kk-block parallel addition versus 11-block parallel addition in non-standard numeration systems

Parallel addition in integer base is used for speeding up multiplication and division algorithms. kk-block parallel addition has been introduced by Kornerup in 1999: instead of manipulating single digits, one works with blocks of fixed length kk. The aim of this paper is to investigate how such notion influences the relationship between the base and the cardinality of the alphabet allowing parallel addition. In this paper, we mainly focus on a certain class of real bases --- the so-called Parry numbers. We give lower bounds on the cardinality of alphabets of non-negative integer digits allowing block parallel addition. By considering quadratic Pisot bases, we are able to show that these bounds cannot be improved in general and we give explicit parallel algorithms for addition in these cases. We also consider the dd-bonacci base, which satisfies the equation Xd=Xd−1+Xd−2+⋯+X+1X^d = X^{d-1} + X^{d-2} + \cdots + X + 1. If in a base being a dd-bonacci number 11-block parallel addition is possible on the alphabet A\mathcal{A}, then #A≥d+1\#\mathcal{A} \geq d+1; on the other hand, there exists a k∈Nk\in\mathbb{N} such that kk-block parallel addition in this base is possible on the alphabet {0,1,2}\{0,1,2\}, which cannot be reduced. In particular, addition in the Tribonacci base is 1414-block parallel on alphabet {0,1,2}\{0,1,2\}.

preprint2013arXiv

Enumerating Abelian Returns to Prefixes of Sturmian Words

We follow the works of Puzynina and Zamboni, and Rigo et al. on abelian returns in Sturmian words. We determine the cardinality of the set APRu\mathcal{APR}_u of abelian returns of all prefixes of a Sturmian word uu in terms of the coefficients of the continued fraction of the slope, dependingly on the intercept. We provide a simple algorithm for finding the set APRu\mathcal{APR}_u and we determine it for the characteristic Sturmian words.

preprint2013arXiv

Greedy and lazy representations in negative base systems

We consider positional numeration systems with negative real base −β-β, where β>1β>1, and study the extremal representations in these systems, called here the greedy and lazy representations. We give algorithms for determination of minimal and maximal (−β)(-β)-representation with respect to the alternate order. We also show that both extremal representations can be obtained as representations in the positive base β2β^2 and a non-integer alphabet. This enables us to characterize digit sequences admissible as greedy and lazy (−β)(-β)-representation. Such a characterization allows us to study the set of uniquely representable numbers. In case that ββ is the golden ratio and the Tribonacci constant, we give the characterization of digit sequences admissible as greedy and lazy (−β)(-β)-representation using a set of forbidden strings.

preprint2013arXiv

Palindromic closures using multiple antimorphisms

Generalized pseudostandard word u\bf u, as introduced in 2006 by de Luca and De Luca, is given by a directive sequence of letters from an alphabet A{\cal A} and by a directive sequence of involutory antimorphisms acting on A∗{\cal A}^*. Prefixes of u\bf u with increasing length are constructed using pseudopalindromic closure operator. We show that generalized Thue--Morse words tb,m{\bf t}_{b,m}, with b,m∈Nb, m \in \N and b,m≥2b, m \geq 2, are generalized pseudostandard words if and only if tb,m{\bf t}_{b,m} is a periodic word or b≤mb \leq m. This extends the result of de Luca and De Luca obtained for the classical Thue--Morse words.

preprint2013arXiv

Palindromic richness for languages invariant under more symmetries

For a given finite group GG consisting of morphisms and antimorphisms of a free monoid A∗\mathcal{A}^*, we study infinite words with language closed under the group GG. We focus on the notion of GG-richness which describes words rich in generalized palindromic factors, i.e., in factors ww satisfying Θ(w)=wΘ(w) = w for some antimorphism Θ∈GΘ\in G. We give several equivalent descriptions which are generalizations of know characterizations of rich words (in the terms of classical palindromes) and show two examples of GG-rich words.

preprint2012arXiv

Languages invariant under more symmetries: overlapping factors versus palindromic richness

Factor complexity C\mathcal{C} and palindromic complexity P\mathcal{P} of infinite words with language closed under reversal are known to be related by the inequality P(n)+P(n+1)≤2+C(n+1)−C(n)\mathcal{P}(n) + \mathcal{P}(n+1) \leq 2 + \mathcal{C}(n+1)-\mathcal{C}(n) for any n∈Nn\in \mathbb{N}\,. Word for which the equality is attained for any nn is usually called rich in palindromes. In this article we study words whose languages are invariant under a finite group GG of symmetries. For such words we prove a stronger version of the above inequality. We introduce notion of GG-palindromic richness and give several examples of GG-rich words, including the Thue-Morse sequence as well.

preprint2012arXiv

Optimal number representations in negative base

For a given base γγ and a digit set B{\mathcal B} we consider optimal representations of a number xx, as defined by Dajani at al. in 2012. For a non-integer negative base γ=−β<−1γ=-β<-1 and the digit set Aβ:=0,1,...,⌈β⌉−1{\mathcal A}_β:={0,1,...,\lceilβ\rceil-1} we derive the transformation which generates the optimal representation, if it exists. We show that -- unlike the case of negative integer base -- almost no xx has an optimal representation. For a positive base γ=β>1γ=β>1 and the alphabet Aβ{\mathcal A}_β we provide an alternative proof of statements obtained by Dajani et al.

preprint2012arXiv

Purely periodic expansions in systems with negative base

We study the question of pure periodicity of expansions in the negative base numeration system. In analogy of Akiyama's result for positive Pisot unit base ββ, we find a sufficient condition so that there exist an interval JJ containing the origin such that the (−β)(-β)-expansion of every rational number from JJ is purely periodic. We focus on the case of quadratic bases and demonstrate the following difference between the negative and positive bases: It is known that the finiteness property (Fin(β)=Z[β]{\rm Fin}(β)=\Z[β]) is not only sufficient, but also necessary in the case of positive quadratic and cubic bases. We show that Fin(−β)=Z[β]{\rm Fin}(-β)=\Z[β] is not necessary in the case of negative bases.

preprint2011arXiv

Infinite words rich and almost rich in generalized palindromes

We focus on ΘΘ-rich and almost ΘΘ-rich words over a finite alphabet A\mathcal{A}, where ΘΘ is an involutive antimorphism over A∗\mathcal{A}^*. We show that any recurrent almost ΘΘ-rich word $\uu$ is an image of a recurrent Θ′Θ'-rich word under a suitable morphism, where Θ′Θ' is again an involutive antimorphism. Moreover, if the word $\uu$ is uniformly recurrent, we show that Θ′Θ' can be set to the reversal mapping. We also treat one special case of almost ΘΘ-rich words. We show that every ΘΘ-standard words with seed is an image of an Arnoux-Rauzy word.

preprint2011arXiv

Infinite Words with Finite Defect

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.

preprint2011arXiv

Parallel addition in non-standard numeration systems

We consider numeration systems where digits are integers and the base is an algebraic number ββ such that ∣β∣>1|β|>1 and ββ satisfies a polynomial where one coefficient is dominant in a certain sense. For this class of bases ββ, we can find an alphabet of signed-digits on which addition is realizable by a parallel algorithm in constant time. This algorithm is a kind of generalization of the one of Avizienis. We also discuss the question of cardinality of the used alphabet, and we are able to modify our algorithm in order to work with a smaller alphabet. We then prove that ββ satisfies this dominance condition if and only if it has no conjugate of modulus 1. When the base ββ is the Golden Mean, we further refine the construction to obtain a parallel algorithm on the alphabet {−1,0,1}\{-1,0,1\}. This alphabet cannot be reduced any more.

preprint2010arXiv

Ito-Sadahiro numbers vs. Parry numbers

We consider positional numeration system with negative base, as introduced by Ito and Sadahiro. In particular, we focus on algebraic properties of negative bases −β-β for which the corresponding dynamical system is sofic, which happens, according to Ito and Sadahiro, if and only if the (−β)(-β)-expansion of −ββ+1-\fracβ{β+1} is eventually periodic. We call such numbers ββ Ito-Sadahiro numbers and we compare their properties with Parry numbers, occurring in the same context for Rényi positive base numeration system.

preprint2009arXiv

On representations of Lie algebras compatible with a grading

The paper extends existing Lie algebra representation theory related to Lie algebra gradings. The notion of a representation compatible with a given grading is defined and applied to finite-dimensional representations of sl(n,C)sl(n,\mathbb{C}) in relation with its Z2\mathbb{Z}_2-gradings. For representation theory of sl(n,C)sl(n,\mathbb{C}) the Gel'fand-Tseitlin method turned out very effective.

preprint1999arXiv

s-convexity, model sets and their relation

The relation of s-convexity and sets modeling physical quasicrystals is explained for quasicrystals related to quadratic unitary Pisot numbers. We show that 1-dimensional model sets may be characterized by s-convexity for finite set of parameters s. It is shown that the three Pisot numbers 12(1+5)\frac12(1+\sqrt5), 1+21+\sqrt2, and 2+32+\sqrt3 related to experimentally observed non-crystallographic symmetries are exceptional with respect to s-convexity.

Research graph

See the researcher in context

Open full explorer

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.