I Introduction
The redundant number system plays a key role in computer arithmetic, with uses ranging from carryfree addition, multiplication and division algorithms [ercegovacDigitalArithmetic2004] to Mostsignificant Digit (MSD) first operations such as Online arithmetic [ercegovacOnlineArithmeticDSP1989] or the Emethod for evaluating polynomials [ercegovacGeneralHardwareOrientedMethod1977]. Recent work has extended MSD first arithmetic to the implementation of iterative methods, with the ARCHITECT framework proposed by Li et al. in [liARCHITECTArbitraryPrecisionHardware2020] showing large speedups in FPGA implementations of the Jacobi method by exploiting the ideas of “don’tchange” stable MSDs and “don’tcare” Leastsignificant Digits (LSDs) to reduce the number of total digits computed in each iteration. Prior work to analyze and exploit the stable MSDs, which are the MSDs that don’t change their digit value in any future iteration, has been algorithmspecific, with works such as [liDigitStabilityInference2021] and [ercegovacGeneralHardwareOrientedMethod1977] starting with a specific algorithm and then showing that its iterate sequence has MSD stability.
In this paper, we instead propose to reverse the order of the analysis by finding sequences of numbers in the redundant number system with stable MSDs, and then finding iterative methods that have those sequences as iterates. We start by showing that a Fejér monotone sequence can have stable MSDs when represented using redundant numbers, and we then use that result to show that any iterative method whose iterates are a Fejér monotone sequence (such as fixedpoint iterations of contractive Lipschitz continuous functions) can have digit stability. This allows us to derive theoretical guarantees for the existence of stable MSDs in the iterate sequence of both the Jacobi method (which was previously analyzed in [liDigitStabilityInference2021]), and Newton’s method (which was only experimentally shown to have stable digits in [liARCHITECTArbitraryPrecisionHardware2020])
Ii Background
Iia Redundant Number Representation
A redundant number representation is one where a real number can be represented by multiple different digit patterns, with a commonly used representation being the signeddigit representation [avizienisSignedDigitNumbeRepresentations1961], where the digits of a radix number using a symmetric signeddigit representation can take any value from the set
where . The choice of determines the level of redundancy in the representation, with the choice known as a maximally redundant representation.
A key difference of the symmetric maximally redundant number representation compared to the standard number representation is in the real numbers that can be represented by just appending/changing the least significant digits of a number, a property known as the representation interval. In the standard representation, the representation interval is singlesided, with changes in the leastsignificant digits only able to increase the value of the real number being represented. However, a redundant representation introduces a dualsided representation interval that is able to both increase and decrease the value of the represented real number by simply adding/changing leastsignificant digits, with Li et al. [liDigitStabilityInference2021] deriving the representation interval for a symmetric maximally redundant representation, shown here in Lemma 1.
Lemma 1 (Representation interval [liDigitStabilityInference2021]).
Let be a digit number in the symmetric maximally redundant signeddigit redundant number system with radix . If additional digits are appended to to form a new number, , then
IiB Fejér Monotonicity and Nonexpansive Operators
Fejér monotone sequences play an important role in the analysis and understanding of iterative methods, especially in fields involving monotone operators such as convex optimization [bauschkeConvexAnalysisMonotone2011]. At its core, a Fejér monotone sequence is one where the distance between the elements of the sequence and a given set is not increasing as the sequence grows in length, which we define formally in Definition 1.
Definition 1 (Fejér monotonicity [bauschkeConvexAnalysisMonotone2011, §5.1]).
Let be a nonempty subset of a Hilbert space and let be a sequence in . Then is Fejér monotone with respect to if
(1) 
Closely related to the idea of Fejér monotone sequences is that of monotone operators, and we specifically focus on nonexpansive and contractive operators in this work, which we define in Definition 2.
Definition 2 (Nonexpansive/contractive operators [ryuPrimerMonotoneOperator2016]).
Let be a nonempty subset of the Hilbert space and let be Lipschitz continuous with Lipschitz constant , i.e.
(2) 
Then

if , is a nonexpansive opertor, or

if , is a contractive operator.
Fejér monotone sequences and nonexpansive operators are very closely linked, with the iterate sequence for a fixedpoint iteration of a nonexpansive operator generating a Fejér monotone sequence with respect to the fixedpoint, as shown in Lemma 2.
Lemma 2.
Let be a nonexpansive/contractive operator (i.e. ) and be the nonempty set of fixed points of , then the sequence of iterates of the iteration
(3) 
is Fejér monotone with respect to .
Iii Fejér Monotonicity of Redundant Numbers
We now begin our analysis of the redundant number system by noting the similarity between the Fejér monotone sequences in Definition 1 and the representation interval in Lemma 1, which we turn into an existence guarantee for digit stability of Fejér monotone sequences in Theorem 1. We will be carrying out our analysis using the infinity norm in Definitions 1 and 2, since when examining digit stability, we want to look at the largest error between the iterates and their limit point.
Theorem 1.
Let be a Fejér monotone sequence in the symmetric maximally redundant number representation of radix and be the only point in the set . If element of the sequence satisfies
(4) 
for some positive integer , then there exists a representation of the sequence where the MSDs of all future elements with index satisfy
(5) 
Proof.
Since we are using the infinity norm, we can without loss of generality focus on the 1dimensional case (e.g. just the element in the vector
that is the furthest from the corresponding element in ). From the infinity norm, we know that if satisfies condition (4), then the point lies in the interval(6) 
Since is in the redundant number representation, we see that the interval (6) exactly matches the representation interval given in Lemma 1, meaning that the redundant representation of can represent by only appending digits and not changing the first MSDs.
We know that since and belong to a Fejér monotone sequence, they will satisfy the inequality
(7) 
which means that is also contained within the representation interval of given by (6), meaning can be represented by only appending new digits to . The Fejér montonicity means that relation (7) will also hold for all iterates after element , meaning we can represent all future elements by simply appending new digits to , leading to the digit stability condition in (5). ∎
Note that the proof for Theorem 1 is simpler than the equivalent proof for Lemma 3 by Li et al. in [liDigitStabilityInference2021], since we can make use of the Fejér montonicity of the sequence instead of having to use algorithmspecific information about how the iterates are generated and the intervals will change.
The digit stability result presented in Theorem 1 is a direct result of having the redundancy in the number representation. In the standard representation, the representation intervals will be singlesided and encompass only
while the relation between the elements of a Fejér monotone sequence uses normwise relations that are doublesided. This means that when a Fejér monotone sequence converges to a limit point with a finite number of decimal places, any oscillation around the limit point during the sequence will require changing the MSDs in the standard representation, but the redundant representation is able to accommodate for these oscillations using only the future LSDs.
An example of this oscillation can be seen in the Fejér monotone sequence with a limit point of given in Table I. The sequence oscillates around , and the standard (base 10 and binary) representations cannot stabilize the MSDs in the sequence, while the symmetric maximally redundant representation in radix2 can stabilize the MSDs in the presence of the oscillation. This example also showcases the requirement that inequality (4) in Theorem 1 must be satisfied to generate stable digits. While we have two stable digits starting at element two, we do not generate the next stable digit until after element four, since the distance to 0.5 for elements two and three are both strictly greater than .
The digit sequences for values of a Fejér monotone sequence in the redundant representation are not unique though, especially in the symmetric maximally redundant representation we use in this work. In a symmetric maximally redundant representation, a value can always be represented using its original (nonredundant) digit sequence as well as a sequence utilizing the redundant digits. This can also be seen in the example sequence in Table I, since the column listing the binary representation utilizes a strict subset of the digits used in the redundant column (i.e. using only ). Therefore, Theorem 1 simply says that such a sequence using the redundant representation exists, not that the Fejér monotone sequence will always be represented by it.
Element #  Standard  Binary  Redundant  

1  
2  
3  
4  
5  
6  
7  
Iv MSD Stability in Iterative Methods
Now that we have shown that a Fejér monotone sequence can have digit stability in the redundant representation, we can easily say that any fixedpoint iteration in the redundant number representation that generates a sequence of iterates that are Fejér monotone can have digit stability of its iterates when they satisfy condition (4).
Theorem 2.
Let be a function that has a fixedpoint of and is used in the fixedpoint iteration with the redundant number representation to generate the Fejér monotone sequence of iterates . If element of the sequence generated by satisfies
for some positive integer , then there exists a representation of the iterate sequence where the MSDs of all future elements with index satisfy
Proof.
This follows directly from the result in Theorem 1. ∎
While Theorem 2 is a nice and simple result, we can now also derive more specific results for classes of iterative methods, such as Lipschitz continuous methods in Theorem 3.
Theorem 3.
Let be a function that is locally Lipschitz inside the set with Lipschitz constant . If has a fixedpoint of and is used in the fixedpoint iteration with the redundant number representation to generate the sequence of iterates , then given a number of digits there exists an element index such that
(8) 
Proof.
We begin by noting that since is locally Lipschitz inside with a Lipschitz constant , will be a contractive operator inside and Lemma 2 says that the iterates of will form a Fejér monotone sequence that stays in the set . Since is strictly less than 1, the residuals between the iterates and the fixed point will be a decreasing sequence that can be bounded using a function of the Lipschitz constant and the difference between the two initial iterates [suliIntroductionNumericalAnalysis2003, Thm. 4.1]
(9) 
with . This means that the residual between the iterates and will eventually be less than for a given and , satisfying the condition in Theorem 1 and allowing it to be used to create the digit stability result (8). ∎
A key point to notice in Theorems 2 and 3 is that they are concerned only with the existence of an iterate sequence with stable MSDs, and do not comment on how such a sequence can be constructed. The construction of the sequence with stable MSDs will still be application/algorithmspecific, with the designer needing to ensure that the computations performed in the fixedpoint iteration will preserve the MSD stability as they are performed, such as through the use of online arithmetic or the ARCHITECT system [liARCHITECTArbitraryPrecisionHardware2020].
V Example Iterative Methods with MSD Stability
Now that we have presented conditions for when the MSDs of iterates can be stable, we turn our attention to showing two example iterative methods where we can apply these conditions and derive a guarantee for digit stability.
Va Stationary iterative linear solvers
A common iterative method examined by prior work on redundant number systems (e.g. [liDigitStabilityInference2021] and [ercegovacGeneralHardwareOrientedMethod1977]) is the stationary iterative method for solving linear systems of the form , which has the fixedpoint iteration
Common forms of this method are the Jacobi method when is the diagonal of , the GaussSeidel method when is the lower triangular portion of , and the successive overrelaxation (SOR) method when [Greenbaum1997, Chap. 2]. To begin our analysis, we examine the difference between two successive function values
Simplifying this, we find that it is equal to
and by applying the triangle inequality we find that
This inequality is equivalent to a Lipschitz condition for the stationary iterative solver, with the Lipschitz constant
We now can apply Theorem 3 to this method to find out that the simple iterative linear solvers will have digit stability when using the redundant number system, provided the condition
is satisfied, which is the same condition derived by Li et al. in [liDigitStabilityInference2021].
VB Newton’s method
Another popular iterative method utilized in many fields is Newton’s method for finding the roots of the function , which is given by the fixedpoint iteration (for 1dimension)
(10) 
where is the derivative of . We can manipulate the Lipschitz continuous condition in Definition 2 to be
which for the 1dimensional case can be translated into a condition on the derivative of that , meaning a contractive operator has for all in its region of convergence [suliIntroductionNumericalAnalysis2003, Chap. 1].
Vi Conclusion
In this work, we examined the conditions needed for there to be MSD stability in sequences represented in the redundant number system. We did this through two key results: showing that a Fejér monotone sequence can have a redundant representation with MSD stability, and then using that result to show that an iterative method that generates a Fejér monotone sequence of iterates can have MSD stability when using the redundant number system.
These results only focused on the existence of these sequences, though, and did not discuss how to identify or create them. These are both key points in the successful use of these results in realworld applications, so future work should explore them in more detail. For instance, future work can explore if there is a redundant representation where a Fejér monotone sequence is guaranteed to have digit stability in all its representations (e.g. nonsymmetric or nonmaximal redundancy), and also how the representation is preserved during the computations in an iterative method (e.g. will the redundant sequence be preserved). Additionally, the results linking Lipschitz continuous functions with digit stable redundant sequences can be further exploited to try to predict the number of stable MSDs that will appear in each iteration, allowing for more general results than those previously presented in [liDigitStabilityInference2021].
Acknowledgment
We would like to thank Dr. He Li for reading and commenting on an early version of this manuscript. This work was supported by Engineering and Physical Sciences Research Council grant EP/P020720/1.