Chinese remaindering with errors

Oded Goldreich*, Dana Ron, Madhu Sudan

*Corresponding author for this work

Research output: Contribution to journalConference articlepeer-review

56 Scopus citations

Abstract

The Chinese Remainder Theorem states that a positive integer m is uniquely specified by its remainder modulo k relatively prime integers p1,...,pk, provided m<∏i = 1k pi. Thus the residues of m modulo relatively prime integers p1<p2<...<pn form a redundant representation of m if m <∏i = 1k pi and k<n. This suggests a number-theoretic construction of an `error-correcting code' that has been implicitly considered often in the past. In this paper we provide a new algorithmic tool to go with this error-correcting code: namely, a polynomial-time algorithm for error-correction. Specifically, given n residues r1,...,rn and an agreement parameter t, we find a list of all integers m<∏i = 1k pi such that (m mod p1) = ri for at least t values of iε{1,...,n}, provided t = Ω(√kn log pn/log p1). We also give a simpler algorithm, with a nearly linear time implementation, to decode from a smaller number of errors, i.e., when t>n-(n-k)log p1/log p1+log pn. In such a case there is a unique integer which has such agreement with the sequence of residues. One consequence of our result is a strengthening of the relationship between average-case complexity of computing the permanent and its worst-case complexity. Specifically we show that if a polynomial time algorithm is able to guess the permanent of a random n×n matrix on 2n-bit integers modulo a random n-bit prime with inverse polynomial success rate, then then P#P = BPP. Previous results of this nature typically worked over a fixed prime moduli or assumed success probability very close to one (as opposed to bounded away from zero).

Original languageEnglish
Pages (from-to)225-234
Number of pages10
JournalConference Proceedings of the Annual ACM Symposium on Theory of Computing
DOIs
StatePublished - 1999
Externally publishedYes
EventProceedings of the 1999 31st Annual ACM Symposium on Theory of Computing - FCRC '99 - Atlanta, GA, USA
Duration: 1 May 19994 May 1999

Fingerprint

Dive into the research topics of 'Chinese remaindering with errors'. Together they form a unique fingerprint.

Cite this