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

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

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