Existence and Optimality of -Non-adjacent Forms with an Algebraic Integer Base
arXiv:1205.4414 · doi:10.1007/s10474-013-0303-2
Abstract
We consider digital expansions in lattices with endomorphisms acting as base. We focus on the -non-adjacent form (-NAF), where each block of consecutive digits contains at most one non-zero digit. We prove that for sufficiently large and an expanding endomorphism, there is a suitable digit set such that each lattice element has an expansion as a -NAF. If the eigenvalues of the endomorphism are large enough and is sufficiently large, then the -NAF is shown to minimise the weight among all possible expansions of the same lattice element using the same digit system.