Noncanonical number systems in the integers

The well-known binary and decimal representations of the integers, and other similar number systems, admit many generalisations. Here, we investigate whether still every integer could have a finite expansion on a given integer base b, when we choose a digit set that does not contain 0. We prove that such digit sets exist and we provide infinitely many examples for every base b with |b|?4, and for b=−2. For the special case b=−2, we give a full characterisation of all valid digit sets.     

On optimal binary signed digit representations of integers

Binary signed digit representation （BSD-R） of an integer is widely used in computer arithmetic, cryptography and digital signal processing. This paper studies what the exact number of optimal BSD-R of an integer is and how to generate them entirely. We also show which kinds of integers have the maximum number of optimal BSD-Rs.     

Unbalanced digit sets and the closest choice strategy for minimal weight integer representations

An algorithm is presented that produces an optimal radix-2 representation of an input integer n using digits from the set , where ℓ ≤ 0 and u ≥ 1. The algorithm works by scanning the digits of the binary representation of n from left-to-right (i.e., from most-significant to least-significant); further, the algorithm is of the online variety in that it needs to scan only a bounded number of input digits before giving an output digit (i.e., the algorithm produces output before scanning the entire input). The output representation is optimal in the sense that, of all radix-2 representations of n with digits from D _ℓ,u , it has as few nonzero digits as possible (i.e., it has minimal weight). Such representations are useful in the efficient implementation of elliptic curve cryptography. The strategy the algorithm utilizes is to choose an integer of the form d 2 ⁱ , where , that is closest to n with respect to a particular distance function. It is possible to choose values of ℓ and u so that the set D _ℓ,u is unbalanced in the sense that it contains more negative digits than positive digits, or more positive digits than negative digits. Our distance function takes the possible unbalanced nature of D _ℓ,u into account.      

Integer Optimization on Convex Semialgebraic Sets

Let Y be a convex set in \Re ^k defined by polynomial inequalities and equations of degree at most d ≥ 2 with integer coefficients of binary length at most l . We show that if the set of optimal solutions of the integer programming problem min is not empty, then the problem has an optimal solution of binary length ld ^O(k4) . For fixed k , our bound implies a polynomial-time algorithm for computing an optimal integral solution y ^* . In particular, we extend Lenstra's theorem on the polynomial-time solvability of linear integer programming in fixed dimension to semidefinite integer programming. Received August 3, 1998, and in revised form March 22, 1999.     

Redundant <Emphasis Type="Italic">τ</Emphasis>-adic expansions I: non-adjacent digit sets and their applications to scalar multiplication

This paper investigates some properties of τ-adic expansions of scalars. Such expansions are widely used in the design of scalar multiplication algorithms on Koblitz curves, but at the same time they are much less understood than their binary counterparts. Solinas introduced the width-w τ-adic non-adjacent form for use with Koblitz curves. This is an expansion of integers \({z = \sum_{i=0}^\ell z_i \tau^i}\) , where τ is a quadratic integer depending on the curve, such that z _i ≠ 0 implies z _w+i-1 = . . . = z _i+1 = 0, like the sliding window binary recodings of integers. It uses a redundant digit set, i.e., an expansion of an integer using this digit set need not be uniquely determined if the syntactical constraints are not enforced. We show that the digit sets described by Solinas, formed by elements of minimal norm in their residue classes, are uniquely determined. Apart from this digit set of minimal norm representatives, other digit sets can be chosen such that all integers can be represented by a width-w non-adjacent form using those digits. We describe an algorithm recognizing admissible digit sets. Results by Solinas and by Blake, Murty, and Xu are generalized. In particular, we introduce two new useful families of digit sets. The first set is syntactically defined. As a consequence of its adoption we can also present improved and streamlined algorithms to perform the precomputations in τ-adic scalar multiplication methods. The latter use an improvement of the computation of sums and differences of points on elliptic curves with mixed affine and López–Dahab coordinates. The second set is suitable for low-memory applications, generalizing an approach started by Avanzi, Ciet, and Sica. It permits to devise a scalar multiplication algorithm that dispenses with the initial precomputation stage and its associated memory space. A suitable choice of the parameters of the method leads to a scalar multiplication algorithm on Koblitz Curves that achieves sublinear complexity in the number of expensive curve operations.     

Left distance binary tree representations

We present a new scheme for representing binary trees. The scheme is based on rotations as a previous scheme of Zerling. In our method the items of a representation have a natural geometric interpretation, and the algorithms related to the method are simple. We give an algorithm for enumerating all the representations for trees onn nodes, and an algorithm for building the tree corresponding to a given representation.This work was supported by the Academy of Finland.     

Analysis of Alternative Digit Sets for Nonadjacent Representations

It is known that every positive integer n can be represented as a finite sum of the form ∑_ia_i2ⁱ, where a_i ∈ {0, 1,−1} and no two consecutive a_i’s are non-zero (“nonadjacent form”, NAF). Recently, Muir and Stinson [14, 15] investigated other digit sets of the form {0, 1, x}, such that each integer has a nonadjacent representation (such a number x is called admissible). The present paper continues this line of research. The topics covered include transducers that translate the standard binary representation into such a NAF and a careful topological study of the (exceptional) set (which is of fractal nature) of those numbers where no finite look-ahead is sufficient to construct the NAF from left-to-right, counting the number of digits 1 (resp. x) in a (random) representation, and the non-optimality of the representations if x is different from 3 or −1. This paper was written while the first author was a visitor at the John Knopfmacher Centre for Applicable Analysis and Number Theory, School of Mathematics, University of the Witwatersrand, Johannesburg. He thanks the centre for its hospitality. He was also supported by the grant S8307-MAT of the Austrian Science Fund. This author is supported by the grant NRF 2053748 of the South African National Research Foundation. The research of this author was done while he was with the John Knopfmacher Centre for Applicable Analysis and Number Theory, University of the Witwatersrand, Johannesburg.     

Positional number systems with digits forming an arithmetic progression

A novel digit system that arises in a natural way in a graph-theoretical problem is studied. It is defined by a set of positive digits forming an arithmetic progression and, necessarily, a complete residue system modulo the base b. Since this is not enough to guarantee existence of a digital representation, the most significant digit is allowed to come from an extended set. We provide explicit formul? for the j th digit in such a representation as well as for the length. Furthermore, we study digit frequencies and average lengths, thus generalising classical results for the base-b representation. For this purpose, an appropriately adapted form of the Mellin-Perron approach is employed.     

Integral quadratic forms and Dirichlet series

A Dirichlet series with multiplicative coefficients has an Euler product representation. In this paper we consider the special case where these coefficients are derived from the numbers of representations of an integer by an integral quadratic form. At first we suppose this quadratic form to be positive definite. In general the representation numbers are not multiplicative. Instead we consider the average number of representations over all classes in the genus of the quadratic form. And we consider only representations of integers of the form tk ² with t square-free. If we divide the average representation number for these integers by a suitable factor, we do get a multiplicative function. Using results from Siegel (Ann. Math. 36:527–606, 1935), we derive a uniform expression for the Euler product expansion of the corresponding Dirichlet series. As a special case, we consider the standard quadratic form in n variables corresponding to the identity matrix. Here we use results from Shimura (Am. J. Math. 124:1059–1081, 2002). For 2≤n≤8, the genus of this particular quadratic form contains only one class, and this leads to a rather simple expression for the Dirichlet series, where the coefficients are just the number of representations of a square as the sum of n squares. Finally we consider the indefinite case, where we can get results similar to the definite case.     

Minimal expansions in redundant number systems: Fibonacci bases and Greedy algorithms

We study digit expansions with arbitrary integer digits in base q (q integer) and the Fibonacci base such that the sum of the absolute values of the digits is minimal. For the Fibonacci case, we describe a unique minimal expansion and give a greedy algorithm to compute it. Additionally, transducers to calculate minimal expansions from other expansions are given. For the case of even integer bases q, similar results are given which complement those given in [6].     

Binary Representations of Finite Fields and Their Application to Complexity Theory

Binary representations of finite fields are defined as an injective mapping from a finite field tol-tuples with components in {0, 1} where 0 and 1 are elements of the field itself. This permits one to study the algebraic complexity of a particular binary representation, i.e., the minimum number of additions and multiplications in the field needed to compute the binary representation. The two-way complexity of a binary representation is defined as the sum of the algebraic complexities of the binary representation and of its inverse mapping. Two particular binary representations are studied: the standard representation and the logarithmic representation. A method of surrogate computation is developed and used to deduce relationships between the algebraic complexities of certain functions. The standard representation of a finite field is shown to be among the two-way easiest representations of this field. In particular, the standard representation of a finite field with characteristicpis two-way easy wheneverp− 1 has only small prime factors. For any finite field having a two-way easy binary representation, the algebraic complexity in this field is shown to be essentially equivalent to Boolean circuit complexity. For any finite field, the Boolean circuit complexity of Zech's (or Jacobi's) logarithm is shown to be closely related to the Boolean circuit complexity of the discrete logarithm problem that is used in public-key cryptography.     

On Rotations and the Generation of Binary Trees

The rotation graph, G_n, has vertex set consisting of all binary trees with n nodes. Two vertices are connected by an edge if a single rotation will transform one tree into the other. We provide a simpler proof of a result of Lucas that G_n, contains a Hamilton path. Our proof deals directly with the pointer representation of the binary tree. This proof provides the basis of an algorithm for generating all binary trees that can be implemented to run on a pointer machine and to use only constant time between the output of successive trees. Ranking and unranking algorithms are developed for the ordering of binary trees implied by the generation algorithm. These algorithms have time complexity O(n²) (arithmetic operations). We also show strong relationships amongst various representations of binary trees and amongst binary tree generation algorithms that have recently appeared in the literature.     

On <Emphasis Type="Italic">τ</Emphasis>-adic representations of integers

Elliptic curve cryptosystems (ECCs) have become increasingly popular due to their efficiency and the small size of the keys they use. Particularly, the anomalous curves introduced by Koblitz allow a complex representation of the keys, denoted τNAF, that make the computations over these curves more efficient. In this article, we propose an efficient method for randomizing a τNAF to produce different equivalent representations of the same key to the same complex base τ. We prove that the average Hamming density of the resulting representations is 0.5. We identify the pattern of the τNAFs yielding the maximum number of representations and the formula governing this number. We also present deterministic methods to compute the average and the exact number of possible representations of a τNAF.      

Intensional dynamic programming. A Rosetta stone for structured dynamic programming

We present intensional dynamic programming (IDP), a generic framework for structured dynamic programming over atomic, propositional and relational representations of states and actions. We first develop set-based dynamic programming and show its equivalence with classical dynamic programming. We then show how to describe state sets intensionally using any form of structured knowledge representation and obtain a generic algorithm that can optimally solve large, even infinite, MDPs without explicit state space enumeration. We derive two new Bellman backup operators and algorithms. In order to support the view of IDP as a Rosetta stone for structured dynamic programming, we review many existing techniques that employ either propositional or relational knowledge representation frameworks.     

Representations of torsion-free arithmetic matroids

We study the representability problem for torsion-free arithmetic matroids. After introducing a “strong gcd property” and a new operation called “reduction”, we describe and implement an algorithm to compute all essential representations, up to equivalence. As a consequence, we obtain an upper bound to the number of equivalence classes of representations. In order to rule out equivalent representations, we describe an efficient way to compute a normal form of integer matrices, up to left-multiplication by invertible matrices and change of sign of the columns (we call it the “signed Hermite normal form”). Finally, as an application of our algorithms, we disprove two conjectures about the poset of layers and the independence poset of a toric arrangement.     

Writing representations over minimal fields

The chief aim of this paper is to describe a procedure which, given a d-dimensional absolutely irreducible matrix representation of a finite group over a finite field E, produces an equivalent representation such that all matrix entries lie in a subfield F of E which is as small as possible. The algorithm relies on a matrix version of Hilbert's Theorem 90, and is probabilistic with expected running time O(|E:F|d³) when |F| is bounded. Using similar methods we then describe an algorithm which takes as input a prime number and a power-conjugate presentation for a finite soluble group, and as output produces a full set of absolutely irreducible representations of the group over fields whose characteristic is the specified prime, each representation being written over its minimal field.     

Integer extended ABS algorithms and possible control of intermediate results for linear Diophantine systems

We present a new class of integer extended ABS algorithms for solving linear Diophantine systems. The proposed class contains the integer ABS (the so-called EMAS and our proposed MEMAS) algorithms and the generalized Rosser’s algorithm as its members. After an application of each member of the class a particular solution of the system and an integer basis for the null space of the coefficient matrix are at hand. We show that effective algorithms exist within this class by appropriately setting the parameters of the members of the new class to control the growth of intermediate results. Finally, we propose two effective heuristic rules for selecting certain parameters in the new class of integer extended ABS algorithms.      

Positional number systems with digits forming an arithmetic progression

A novel digit system that arises in a natural way in a graph-theoretical problem is studied. It is defined by a set of positive digits forming an arithmetic progression and, necessarily, a complete residue system modulo the base b. Since this is not enough to guarantee existence of a digital representation, the most significant digit is allowed to come from an extended set. We provide explicit formulæ for the j th digit in such a representation as well as for the length. Furthermore, we study digit frequencies and average lengths, thus generalising classical results for the base-b representation. For this purpose, an appropriately adapted form of the Mellin-Perron approach is employed.     

A construction of binary Golay sequence pairs from odd‐length Barker sequences

Binary Golay sequence pairs exist for lengths 2, 10 and 26 and, by Turyn's product construction, for all lengths of the form 2^a10^b26^c where a, b, c are non‐negative integers. Computer search has shown that all inequivalent binary Golay sequence pairs of length less than 100 can be constructed from five “seed” pairs, of length 2, 10, 10, 20 and 26. We give the first complete explanation of the origin of the length 26 binary Golay seed pair, involving a Barker sequence of length 13 and a related Barker sequence of length 11. This is the special case m=1 of a general construction for a length 16m+10 binary Golay pair from a related pair of Barker sequences of length 8m+5 and 8m+3, for integer m≥0. In the case m=0, we obtain an alternative explanation of the origin of one of the length 10 binary Golay seed pairs. The construction cannot produce binary Golay sequence pairs for m>1, having length greater than 26, because there are no Barker sequences of odd length greater than 13. © 2009 Wiley Periodicals, Inc. J Combin Designs 17: 478–491, 2009