Alphabets, rewriting trails and periodic representations in algebraic bases
نویسندگان
چکیده
For $$\beta > 1$$ a real algebraic integer (the base), the finite alphabets $${\mathcal {A}} \subset {\mathbb {Z}}$$ which realize identity $${\mathbb {Q}}(\beta ) = \mathrm{Per}_{{\mathcal {A}}}(\beta )$$ , where $$\mathrm{Per}_{{\mathcal is set of complex numbers are $$(\beta {\mathcal {A}})$$ -eventually periodic representations, investigated. Comparing with greedy algorithm, minimal and natural defined. The shown to be correlated asymptotics Pierce base $$ Lehmer’s problem. notion rewriting trail introduced construct intermediate associated small polynomial values base. Consequences on representations neighbourhoods origin in generalizing Schmidt’s theorem related Pisot numbers, Applications Galois conjugation given for convergent sequences bases $$\gamma _s := \gamma _{n, m_1 \ldots m_s}$$ such that _{s}^{-1}$$ unique root (0, 1) an almost Newman type $$-1+x+x^n +x^{m_1}+\cdots + x^{m_s}$$ $$n \ge 3$$ $$s $$m_1 - n n-1$$ $$m_{q+1}-m_q all $$q . reciprocal close one, poles modulus $$< dynamical zeta function -shift $$\zeta _{\beta }(z)$$ shown, under some assumptions, zeroes
منابع مشابه
On finite alphabets and infinite bases
Van Glabbeek (1990) presented the linear time – branching time spectrum of behavioral semantics. He studied these semantics in the setting of the basic process algebra BCCSP, and gave finite, sound and ground-complete, axiomatizations for most of these semantics. Groote (1990) proved for some of van Glabbeek’s axiomatizations that they are ω-complete, meaning that an equation can be derived if ...
متن کاملDiscovering Periodic Patterns in Database Audit Trails
Information about periodic processing of database operations has a pivotal importance for continuous physical database design and automated performance tuning of database systems. This work shows how to detect the oscillations of database workloads caused by the periodical invocations of user applications. In particular, we present an algorithm for discovering the periodic patterns in processin...
متن کاملNumber representations and term rewriting
In this paper we examine a number of term rewriting system for integer number representations, building further upon the datatype defining systems described in [2]. In particular, we look at automated methods for proving confluence and termination in binary and decimal term rewriting systems for both append and tree constructor functions. We find that some of these term rewriting systems are no...
متن کاملOn Finite Alphabets and Infinite Bases III: Simulation
This paper studies the (in)equational theory of simulation preorder and equivalence over the process algebra BCCSP. We prove that in the presence of a finite alphabet with at least two actions, the (in)equational theory of BCCSP modulo simulation preorder or equivalence does not have a finite basis. In contrast, in the presence of an alphabet that is infinite or a singleton, the equational theo...
متن کاملCrystal bases , finite complete rewriting systems , and
This paper constructs presentations via finite complete rewriting systems for Plactic monoids of types An, Bn, Cn, Dn, and G2, using a unified proof strategy that depends on Kashiwara’s crystal bases and analogies of Young tableaux, and on Lecouvey’s presentations for these monoids. As corollaries, we deduce that Plactic monoids of these types have finite derivation type and satisfy the homolog...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Research in number theory
سال: 2021
ISSN: ['2363-9555', '2522-0160']
DOI: https://doi.org/10.1007/s40993-021-00290-w