Search arXivSearch

arXiv · 1801.01062

Construction of Algorithms for Parallel Addition

Abstract

An algebraic number $β\in \mathbb{C}$ with no conjugate of modulus 1 can serve as the base of a numeration system $(β, \mathcal{A})$ with parallel addition, i.e., the sum of two operands represented in base $β$ with digits from $\mathcal{A}$ is calculated in constant time, irrespective of the length of the operands. In order to allow parallel addition, sufficient level of redundancy must be given to the alphabet $\mathcal{A}$. The complexity of parallel addition algorithm depends heavily on the size $\#\mathcal{A}$ of the alphabet: the bigger alphabet is considered, the lower complexity of the parallel addition algorithm may be reached, and vice versa. Here we aim to find parallel addition algorithms on alphabets of the minimal possible size, for a given base. As the complexity of these algorithms becomes quite huge in general, we introduce a so-called Extending Window Method (EWM) - in fact an algorithm to construct parallel addition algorithms. This method can be applied on bases $β$ which are expanding algebraic integers, i.e., $β$ whose all conjugates are greater than 1 in modulus. Convergence of the EWM is not guaranteed, nevertheless, we have developed tools for revealing non-convergence, and there is a number of successful applications. Firstly, the EWM provides the same parallel addition algorithms as were previously introduced by A. Avizienis, C.Y. Chow & J.E. Robertson or B. Parhami for integer bases and alphabets. Then, by applying the EWM on selected complex bases $β$ with non-integer alphabets $\mathcal{A} \subset \mathbb{Z}[β]$, we obtain new results - parallel addition algorithms on alphabets of minimal possible size, which could not be found so far (manually). The EWM is helpful also in the case of block parallel addition.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jan Legerský, Milena Svobodová. 2018-11-27. Construction of Algorithms for Parallel Addition. https://doi.org/10.1016/j.tcs.2019.08.010

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

On the factorisation of the $p$-adic Rankin-Selberg $L$-function in the supersingular case

Given a cusp form $f$ which is supersingular at a fixed prime $p$ away from the level, and a Coleman family $F$ through one of its $p$-stabilisations, we construct a $2$-variable meromorphic $p$-adic $L$-function for the symmetric square of $F$. We prove that this new $p$-adic $L$-function interpolates values of complex imprimitive symmetric square $L$-functions, for the various specialisations of the family $F$. We use this $p$-adic $L$-function to prove a $p$-adic factorisation formula, expressing the geometric $p$-adic $L$-function attached to the Rankin--Selberg convolution of $f$ with itself as a the product of the $p$-adic symmetric square $L$-function of $f$ and a Kubota-Leopoldt $L$-function. This extends a result of Dasgupta in the ordinary case.

math.NT

Exceptional poles of archimedean Rankin-Selberg L-functions for irreducible generic representations of GL(n,R)

For irreducible generic representations $π_1$ and $π_2$ of $\operatorname{GL}_n(\mathbb R)$, we prove that the notions of exceptional pole of type $1$ and type $2$ coincide at every level. When both representations are in general position, we use this identification to express the Rankin--Selberg $L$-function $L(s,π_1\timesπ_2)$ in terms of the exceptional $L$-factors attached to the irreducible constituents of their derivatives.

math.NT