Exact Dynamic Range--Robustness Tradeoff for Chinese Remainder Theorem under Non-Uniformly Bounded Remainder Errors

Abstract

The Chinese remainder theorem (CRT) is highly sensitive to remainder errors. Robust CRT addresses this problem by recovering the folding integers correctly from erroneous remainders, so that the final reconstruction error is bounded by the remainder error level. The existing dynamic range--robustness tradeoff results mainly assume a uniform remainder error bound, where all remainders share one scalar error bound. This paper studies the exact tradeoff when the remainder error bound is a vector in the sense that different remainders may have different error bounds. For any fixed candidate range length, which specifies the integer interval over which an unknown integer is to be determined from its erroneous remainders, and any fixed remainder error bound vector, we derive a scalar necessary and sufficient condition for robust determination. Based on this condition, we characterize the largest admissible range length, called the dynamic range, for a given remainder error bound vector. Conversely, for a given range length, we characterize all remainder error bound vectors under which remainder errors can be tolerated. We also give an exact folding integer vector decoding algorithm. We show that the proposed results reduce to the classical CRT in the error-free case and coincide with the known result when all remainder error bounds are equal. Numerical results show that the dynamic range depends on the full remainder error bound vector. They also show that the remainders are coupled in the robustness, which cannot be captured by a single uniform error bound.