BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Edita Pelantová

Edita Pelantová appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.COmath.NTDiscrete Mathematicsmath-phmath.DSmath.MPFormal Languages and Automata Theorymath.RA

Catalog footprint

What is connected

25works
8topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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.

Published work

25 published item(s)

preprint2022arXiv

Asymptotic repetitive threshold of balanced sequences

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

0 citations0 reviewsNo code linkedOpen access
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 $\boldsymbolβ=(β_0,\dots,β_{p-1})$ determining sofic systems. We show that a necessary condition is that the product $δ=\prod_{i=0}^{p-1}β_i$ is an algebraic integer and all of the bases $β_0,\ldots,β_{p-1}$ belong to the algebraic field ${\mathbb Q}(δ)$. On the other hand, we also give a sufficient condition: if $δ$ is a Pisot number and $β_0,\ldots,β_{p-1}\in {\mathbb Q}(δ)$, then the system associated with the alternate base $\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 $\boldsymbolβ=(β_0,\dots,β_{p-1})$ such that $δ$ is a Pisot number and $β_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$ and an alphabet $A\subset {\mathbb Z}$ was introduced by Erdős et al. For our purposes, we use a generalized concept with $δ\in{\mathbb C}$ and $A\subset{\mathbb C}$ and study its topological properties.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

On positional representation of integer vectors

We show that any $m\times m$ matrix $M$ with integer entries and $\det M =Δ\neq 0$ can be equipped by a finite digit set $\mathcal{D}\subset\mathbb{Z}^m$ such that any integer $m$-dimensional vector belongs to the set $$ {\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 $M$ for which the sets $ {\rm Fin}_{\mathcal{D}}(M)$ and $ \bigcup\limits_{k\in \mathbb{N}} \frac{1}{Δ^k}\mathbb{Z}^{m}$ coincide.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

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

Cut-and-project sets $Σ\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 $A$ on $\mathbb{R}^n$ is a self-similarity of a cut-and-project set $Σ$, i.e.\ satisfies $AΣ\subsetΣ$. We characterize such mappings $A$ 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 $Σ$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

On non-repetitive complexity of Arnoux-Rauzy words

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

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Exchange of three intervals: itineraries, substitutions and palindromicity

Given a symmetric exchange of three intervals, we provide a detailed description of the return times to a subinterval and the corresponding itineraries. We apply our results to morphisms fixing words coding non-degenerate three interval exchange transformation. This allows us to prove that the conjecture stated by Hof, Knill and Simon is valid for such infinite words.

0 citations0 reviewsNo code linkedOpen access
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 $1$. 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}.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Palindromic sequences generated from marked morphisms

Fixed points ${\bf u}=φ({\bf u})$ of marked and primitive morphisms $φ$ over arbitrary alphabet are considered. We show that if ${\bf u}$ is palindromic, i.e., its language contains infinitely many palindromes, then some power of $φ$ has a conjugate in class ${\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).

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Balances of $m$-bonacci words

The $m$-bonacci word is a generalization of the Fibonacci word to the $m$-letter alphabet $\mathcal{A} = {0,...,m-1}$. It is the unique fixed point of the Pisot--type substitution $ φ_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)}$ such that the $m$-bonacci word is $c^{(m)}$-balanced, i.e., numbers of letter $a$ occurring in two factors of the same length differ at most by $c^{(m)}$ for any letter $a\in \mathcal{A}$. The constants $c^{(m)}$ have been already determined for $m=2$ and $m=3$. In this paper we study the bounds $c^{(m)}$ for a general $m\geq2$. We show that the $m$-bonacci word is $(\lfloor κm \rfloor +12)$-balanced, where $κ\approx 0.58$. For $m\leq 12$, we improve the constant $c^{(m)}$ by a computer numerical calculation to the value $\lceil\frac{m+1}{2}\rceil$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Description of spectra of quadratic Pisot units

The spectrum of a real number $β>1$ is the set $X^{m}(β)$ of $p(β)$ where $p$ ranges over all polynomials with coefficients restricted to ${\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 ${\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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

$k$-block parallel addition versus $1$-block parallel addition in non-standard numeration systems

Parallel addition in integer base is used for speeding up multiplication and division algorithms. $k$-block parallel addition has been introduced by Kornerup in 1999: instead of manipulating single digits, one works with blocks of fixed length $k$. 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 $d$-bonacci base, which satisfies the equation $X^d = X^{d-1} + X^{d-2} + \cdots + X + 1$. If in a base being a $d$-bonacci number $1$-block parallel addition is possible on the alphabet $\mathcal{A}$, then $\#\mathcal{A} \geq d+1$; on the other hand, there exists a $k\in\mathbb{N}$ such that $k$-block parallel addition in this base is possible on the alphabet $\{0,1,2\}$, which cannot be reduced. In particular, addition in the Tribonacci base is $14$-block parallel on alphabet $\{0,1,2\}$.

0 citations0 reviewsNo code linkedOpen access
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 $\mathcal{APR}_u$ of abelian returns of all prefixes of a Sturmian word $u$ 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 $\mathcal{APR}_u$ and we determine it for the characteristic Sturmian words.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Greedy and lazy representations in negative base systems

We consider positional numeration systems with negative real base $-β$, where $β>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$ 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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Palindromic closures using multiple antimorphisms

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

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Palindromic richness for languages invariant under more symmetries

For a given finite group $G$ consisting of morphisms and antimorphisms of a free monoid $\mathcal{A}^*$, we study infinite words with language closed under the group $G$. We focus on the notion of $G$-richness which describes words rich in generalized palindromic factors, i.e., in factors $w$ satisfying $Θ(w) = w$ for some antimorphism $Θ\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 $G$-rich words.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Languages invariant under more symmetries: overlapping factors versus palindromic richness

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

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Optimal number representations in negative base

For a given base $γ$ and a digit set ${\mathcal B}$ we consider optimal representations of a number $x$, as defined by Dajani at al. in 2012. For a non-integer negative base $γ=-β<-1$ and the digit set ${\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 $x$ has an optimal representation. For a positive base $γ=β>1$ and the alphabet ${\mathcal A}_β$ we provide an alternative proof of statements obtained by Dajani et al.

0 citations0 reviewsNo code linkedOpen access
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 $J$ containing the origin such that the $(-β)$-expansion of every rational number from $J$ 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 (${\rm Fin}(β)=\Z[β]$) is not only sufficient, but also necessary in the case of positive quadratic and cubic bases. We show that ${\rm Fin}(-β)=\Z[β]$ is not necessary in the case of negative bases.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Infinite words rich and almost rich in generalized palindromes

We focus on $Θ$-rich and almost $Θ$-rich words over a finite alphabet $\mathcal{A}$, where $Θ$ is an involutive antimorphism over $\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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$ 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\}$. This alphabet cannot be reduced any more.

0 citations0 reviewsNo code linkedOpen access
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 $-\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.

0 citations0 reviewsNo code linkedOpen access
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,\mathbb{C})$ in relation with its $\mathbb{Z}_2$-gradings. For representation theory of $sl(n,\mathbb{C})$ the Gel'fand-Tseitlin method turned out very effective.

0 citations0 reviewsNo code linkedOpen access
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 $\frac12(1+\sqrt5)$, $1+\sqrt2$, and $2+\sqrt3$ related to experimentally observed non-crystallographic symmetries are exceptional with respect to s-convexity.

0 citations0 reviewsNo code linkedOpen access