“…Proof. With the fact that, r − c = Γ−r + c , it is clear that {r + c , r − c } must fall into one of the following four cases, 1) r + c ∈ [Γ/4, Γ/2) and r − c ∈ (Γ/2, 3Γ/4] 2) r + c ∈ [Γ/2, 3Γ/4) and r − c ∈ (Γ/4, Γ/2] 3) r + c ∈ [0, Γ/4) and r − c ∈ (3Γ/4, Γ] 4) r + c ∈ [3Γ/4, Γ) and r − c ∈ (0, Γ/4] Recall (22), to ensure robustness, we consider applying τ + l ∈ {0, 1} to determine the order of l such that ∆ + l are in ascending order, i.e., r+ c,l = r + c,l − τ + l Γ are sorted in the order of ∆ + l . Here, we use r + c,l = r + l Γ , the noisy observation of common residue from the l-th sampler.…”