REVIEW 2 major objections 4 minor 31 references
Correcting Bursty/Localized Deletions: A New Error-Position-Estimation Code
T0 review · 2 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read For any fixed alphabet size q and any burst length t < 2q (with q even in the upper range), there are q-ary codes correcting a burst of at most t deletions—and codes correcting a single t-localized deletion—with redundancy log n + (t-1)…
desk verdict A genuinely new position-estimation scheme that improves redundancy for burst and localized deletions, but the main theorems currently rest on an unstated parameter regime of a cited lemma; fixable, but unsupported as written. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The machinery is the differential sequence ψ(x), defined by ψ(x)_i = (x_{i−1} − x_i) mod q with x_0 = x_{n+1} = 0; deleting one symbol simply merges two adjacent entries of ψ with a mod-q sum. The codes select codewords whose ψ is strong-(ℓ,ϵ)-locally-balanced—every substring of length at least ℓ has L1-weight near (q−1)/2 per symbol—and then impose the two checksum constraints on ψ. The locally-balanced condition makes the key gap equation (j − i)Δsum + σ(j) − σ(i) impossible when j − i ≥ ℓ, unless a 'good triple' (q,t,ϵ) with a certain integer s_{t′} exists; Lemma III.4 shows such triples exist exactly for t < q or even q with t < 2q. The final correction uses a P-bounded (t1,t2)-burst-error correcting code from Lemma III.3 to repair whatever remains in a window of length P = ℓ + t − 1.
What would settle it
Run a finite computer search for q=3, t=2, and small n, enumerating all codewords satisfying the constraints in Theorem IV.1 and testing whether any two have overlapping two-deletion-burst balls; a single intersection would refute the construction in that parameter range. A narrower check is to verify whether Lemma III.3 actually supplies the t2=0 case, since the final correction step in Theorem IV.1 (and Theorem V.1 at t′=t) depends on that unstated case.
Extended reading notes
Core claim
The central claim is Theorem IV.1 and Theorem V.1: for fixed q and t with 2 ≤ t < 2q (even q required in the upper range), there is a q-ary code correcting a burst of at most t deletions, and a q-ary code correcting a single t-localized deletion, both with redundancy log n + (t-1) log log n + O(1). The codes are intersections of four constraints: the differential sequence ψ(x) is strong-(ℓ,ϵ)-locally-balanced; for each possible burst length t′ a P-bounded code checksum is fixed; VT(ψ(x)) ≡ b (mod N); and Sum(ψ(x)) ≡ cq (mod (t+1)q). The VT and L1 constraints carry the position information that survives deletion, and the locally-balanced condition bounds how far wrong the position estimate can be—Claim 1 shows the estimated start satisfies j − i < ℓ, a window of length O(log n). Inside that window a P-bounded burst-error code finishes the correction. Because the same position-estimation code handles every burst length t′ and also corrects a single deletion on its own, the redundancy saves one log log n factor compared with approaches that split the alphabet or handle each burst length separately.
Load-bearing premise
The decoding proof relies on a component that fixes purely deleted symbols inside a known short window, but the lemma it cites is stated only for mixed deletion-and-substitution errors, and the purely deletion case is not proved separately.
Editorial extensions
If this is right
- For q-ary alphabets with t < q, the (≤t)-burst code achieves redundancy log n + (t−1) log log n + O(1), improving on the previous log n + 8 log log n + o(log log n) for general q.
- For even q in the range q ≤ t < 2q, both the burst and localized codes achieve the same redundancy, and the localized code improves on the previous log n + 2t log log n + O(1).
- The position-estimation code corrects a single deletion on its own and serves all burst lengths up to t with one set of constraints, so the redundancy does not accumulate an extra log log n per possible burst length.
- The new encoder turns any length-(n−2) sequence into a length-n sequence whose differential sequence is strong-(ℓ,ϵ)-locally-balanced with two redundant symbols, running in O(n^C) time for a constant C depending on the chosen parameters.
- The decoding algorithms run in O(n log n) time and locate the damaged window before applying the local correction step.
- The redundancy gap to the log n + Ω(1) lower bound is narrowed but not closed; the paper leaves open whether the lower bound is asymptotically tight for general t and q.
Reading between the lines
- The t < 2q restriction is an artifact of the good-triple condition; extending past t ≥ 2q would need a different local-balance ratio or a different invariant, and nothing here suggests the log-log factor is removable in that range.
- Because ψ is a bijection onto sequences with Sum ≡ 0 (mod q), the same position-estimation scheme may transfer to insertion or edit-burst models where differential sequences also merge or split locally.
- The encoder's two-symbol overhead raises the natural question of whether one redundant symbol suffices; the counting in Lemma III.2 gives at least q^n/2 valid codewords, so the existential bound does not rule out a one-symbol encoder.
- The good-triple characterization in Lemma III.4 is a self-contained design tool that could be reused for other constrained codes that require local balance on differential sequences.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper proposes new q-ary codes correcting bursts of at most t deletions and t-localized deletions, achieving redundancy log n + (t−1) log log n + O(1) for q ≥ 2, t < q (or even q, t < 2q). The construction selects codewords whose differential sequences are strong-(ℓ,ε)-locally-balanced and satisfies a VT-type constraint and an L1-weight constraint. The error-correction algorithm first estimates error positions within a short window, then invokes a P-bounded (t1,t2)-burst-error correcting code on the located window. The paper also provides an efficient encoder mapping arbitrary length-(n−2) sequences to length-n sequences with strong locally balanced differential sequences. The main technical novelty is a simpler position-estimation code that also corrects a single deletion.
Significance. If the technical gaps identified below are resolved, the redundancy improvement is real and meaningful: it saves one log log n factor for all q with t<q and extends to even q up to t<2q, and the position-estimation method is conceptually simpler than prior array-based or dense-sequence methods. The efficient encoder for strong locally balanced differential sequences appears to be new. The paper is well-structured and contains detailed proof sketches for the main lemmas, with external results from [19] and [31] used as black boxes.
major comments (2)
- [Lemma III.3; Theorems IV.1 and V.1] Theorems IV.1 and V.1 invoke the function f_{P,t1,t2} of Lemma III.3 with t2=0 (and in Theorem V.1 also with t2=1). Specifically, Theorem IV.1 uses f_{P,t',0} for 2≤t'≤t, and Theorem V.1 uses f_{P,t,t−t'} with t−t'=0 for t'=t and t−t'=1 for t'=t−1. However, Lemma III.3 is stated only for integers t1≥t2≥2, and Definition III.2 also requires 1≤t2≤t1. No derivation is given for the cases t2=0 or t2=1. Consequently, the assertion 'By Lemma III.3, the code is a P-bounded ... code' in the final correction step of both theorems is not supported by the quoted lemma. The authors need to either extend Lemma III.3 to cover t2=0 and t2=1, or provide an alternative P-bounded code for deletion-only and single-symbol-replacement errors inside the located window, together with a proof.
- [Theorem V.1, Step 3] After Claim 2, the proof states that the substring y'_{[j−ℓ+1,j]} contains y'_{i_s−∑_{r=1}^{s-1} t_r} for all 1≤s≤k. This does not follow from Claim 2. Claim 2 only gives j−i1 < ℓ−t'+t1, which yields an upper bound on j and implies j−ℓ+1 < i1, but it gives no lower bound on j. To cover the starts of all deleted blocks, one needs j ≥ i_k−∑_{r=1}^{k−1} t_r, which can be as large as i1+t−t'. Since j is chosen as the first (largest) index from the right satisfying (28), the proof must show that some such index exists in that range. As written, the located window could end before the later deleted blocks, and the subsequent correction step would fail. Please provide an argument that the scanning procedure yields a window covering all block starts.
minor comments (4)
- [Definition III.1] The upper endpoint of the interval in Definition III.1 is written as (q+1)/2 + ε, but Lemma III.2, Claim 1, and Section VI all use (q−1)/2 + ε. Please correct this typo for consistency.
- [Section VI] Propositions VI.1–VI.3 are stated without proofs, with the remark that they are direct q-ary generalizations of binary results. Since these propositions are central to the claimed encoder, please provide proofs or precise references to the q-ary versions.
- [Theorem IV.1] The existence of parameters a_{t'}, b, c for which the redundancy bound holds is asserted without the standard counting argument. A short pigeonhole argument would make the redundancy claim complete.
- [Section VI-B] There is a typo in 'the anaysis'; it should be 'the analysis'.
Circularity Check
No significant circularity: the position-estimation and redundancy derivation are self-contained; the t2=0/1 application of Lemma III.3 is a correctness gap, not a circular step.
full rationale
The main construction selects codewords whose differential sequence is strong-(l,e)-locally-balanced and then imposes VT and L1-sum constraints; the decoding algorithm recovers the syndrome values from these constraints and locates a short window via the locally-balanced property (Claims 1 and 2). The redundancy count is direct: one bit for the balance property, about (t-1) log log n for the P-bounded constraints, log n for the VT constraint, and O(1) for the sum constraint. No fitted parameter is renamed as a prediction, and no defining equation of the code is equivalent to the error-correcting property being proved. The cited Lemma III.3, from [19, Corollary 3], is a published parameter-free result by partially overlapping authors, but it does not assume the target redundancy bound and its proof is independent; therefore it does not create circularity. The serious defect is that Theorems IV.1 and V.1 invoke f_{P,t',0} and f_{P,t,t-t'} with second parameter 0 or 1, while Lemma III.3 is stated only for t1 >= t2 >= 2 and Definition III.2 requires 1 <= t2 <= t1. In the differential sequence a t'-burst deletion is a (t'+1,1)-burst-error, so the t2=0 and t2=1 cases require a separate derivation. This is a load-bearing gap in the proof, but it is a correctness gap rather than a circularity: the claimed code existence is not obtained by assuming the theorem, and the derivation does not reduce to its own inputs.
Assumptions & free parameters
free parameters (2)
- epsilon (ϵ) =
Any value satisfying Lemma III.4, e.g. 0 < ϵ < min{q/(2t), q/t2 - 1/2, 1/(2(q+1))} depending on the case
- eta1, eta2, s =
Chosen so that 0 < η2 < ϵ < (q-1)/2 and the inequality in Lemma VI.1 holds; s ≥ 1
assumptions (4)
- ad hoc to paper Good triple condition (Definition III.3, Lemma III.4)
- domain assumption P-bounded (t1,t2)-burst-error correcting codes exist with redundancy log P + O(1) (Lemma III.3 from [19, Corollary 3])
- domain assumption Generalization of the sliding-window encoder of [31] to q-ary alphabets (Propositions VI.1-VI.3)
- standard math Hoeffding's inequality and inclusion-exclusion (Lemma III.2)
Cite this review
Pith. "Pith review of Correcting Bursty/Localized Deletions: A New Error-Position-Estimation Code." pith.science (2026). https://pith.science/paper/W3I2WGU2
@misc{pith2026250704797,
author = {Pith},
title = {Pith review of: Correcting Bursty/Localized Deletions: A New Error-Position-Estimation Code},
year = {2026},
howpublished = {\url{https://pith.science/paper/W3I2WGU2}},
note = {Machine review of arXiv:2507.04797}
}
abstract
Codes correcting bursts of deletions and localized deletions have garnered significant research interest in recent years. One of the primary objectives is to construct codes with minimal redundancy. Currently, the best known constructions of $q$-ary codes correcting a burst of at most $t$ deletions ($(\le t)$-burst-deletion correcting codes) achieve redundancy $\log n+8\log\log n+o(\log\log n)$ (for any $q$ and $t$) or $\log n+t\log\log n+O(1)$ (for even $q$). For codes correcting single $t$-localized-deletion ($t$-localized-deletion correcting codes), state-of-the-art constructions attain redundancy $\log n+O\parenv{t(\log\log n)^2}$ (for any $q$ and $t$) or $\log n+2t\log\log n+O(1)$ (for even $q$). Here, $n$ denotes the code-length, and $q$ and $t$ are fixed. These codes employ a position-estimation component to approximate error positions, augmented by additional constraints that enable error-correction given the information about error positions. In this work, we select codewords from the set of sequences whose differential sequences are strong-$(\ell,\epsilon)$-locally-balanced. By imposing a VT-type constraint and an $L_1$-weight constraint on the differential sequences of codewords, we construct novel position-estimation codes. When $q\ge 2$ and $t<q$, or $q$ is even and $t<2q$, this approach gives a $q$-ary $(\le t)$-burst-deletion correcting code and a $t$-localized-deletion correcting code with redundancy $\log n+(t-1)\log\log n+O(1)$. In addition to improving previous redundancy, the method is new and our position-estimation codes are simpler than those in previous works. Finally, we give an efficient encoder to encode an arbitrary input sequence into a sequence whose differential sequence is strong-$(\ell,\epsilon)$-locally-balanced. To our knowledge, no prior algorithm for this specific task has been reported.
Reference graph
Works this paper leans on
-
[31]
Efficient Design of Subblock Energy-Constrained Codes and Sliding Window-Constrained Codes,
T. T. Nguyen, K. Cai, and K. A. S. Immink, “Efficient Design of Subblock Energy-Constrained Codes and Sliding Window-Constrained Codes,” IEEE Trans. Inf. Theory, vol. 67, no. 12, pp. 7914–7924, Dec. 2021
work page 2021
-
[19]
Asymptotically Optimal Codes for (t, s)-Burst Error,
Y . Sun, Z. Lu, Y . Zhang, and G. Ge, “Asymptotically Optimal Codes for (t, s)-Burst Error,” IEEE Trans. Inf. Theory , vol. 71, no. 3, pp. 1570–1584, Mar. 2025
work page 2025
-
[26]
Codes for Correcting a Burst of Edits Using Weighted-Summation VT Sketch,
Y . Sun and G. Ge, “Codes for Correcting a Burst of Edits Using Weighted-Summation VT Sketch,” IEEE Trans. Inf. Theory , vol. 71, no. 3, pp. 1631–1646, Mar. 2025
work page 2025
-
[1]
Code Correcting Single Asymmetric Errors (in Russian),
R. R. Varshamov and G. M. Tenengolts, “Code Correcting Single Asymmetric Errors (in Russian),” Avtomat. i Telemekh., vol. 26, no. 2, pp. 288–292, 1965
work page 1965
-
[2]
Binary codes capable of correcting deletions, insertions and reversals,
V . I. Levenshtein, “Binary codes capable of correcting deletions, insertions and reversals,” Soviet Physics Doklady , vol. 10, no. 8, pp. 707–710, Feb. 1966
work page 1966
-
[3]
Nonbinary codes, correcting single deletion or insertion (corresp.),
G. Tenengolts, “Nonbinary codes, correcting single deletion or insertion (corresp.),” IEEE Trans. Inf. Theory , vol. 30, no. 5, pp. 766–769, Sept. 1984
work page 1984
-
[4]
Dna-Based Storage: Trends and Methods,
S. M. H. T. Yazdi, H. M. Kiah, E. Garcia-Ruiz, J. Ma, H. Zhao, and O. Milenkovic, “Dna-Based Storage: Trends and Methods,” IEEE Tran. Mol. Biol. Multi-Scale Commun., vol. 1, no. 3, pp. 230–248, Sept. 2015
work page 2015
-
[5]
Correcting Multiple Deletions and Insertions in Racetrack Memory,
J. Sima and J. Bruck, “Correcting Multiple Deletions and Insertions in Racetrack Memory,” IEEE Trans. Inf. Theory , vol. 69, no. 9, pp. 5619–5639, Sept. 2023
work page 2023
Show all 31 references
-
[6]
Optimal Document Exchange and New Codes for Insertions and Deletions,
B. Haeupler, “Optimal Document Exchange and New Codes for Insertions and Deletions,” in Proc. Annu. Symp. Found. Comput. Sci. (FOCS), Baltimore, MD, USA, Nov. 2019, pp. 334–347. 17
2019
-
[7]
Optimal Codes for the q-ary Deletion Channel,
J. Sima, R. Gabrys, and J. Bruck, “Optimal Codes for the q-ary Deletion Channel,” in Proc. Int. Symp. Inf. Theory (ISIT) , Los Angeles, CA, USA, Jun. 2020, pp. 740–745
2020
-
[8]
Optimal systematic t-deletion correcting codes,
——, “Optimal systematic t-deletion correcting codes,” in Proc. Int. Symp. Inf. Theory (ISIT) , Los Angeles, CA, USA, Jun. 2020, pp. 769–774
2020
-
[9]
Syndrome Compression for Optimal Redundancy Codes,
——, “Syndrome Compression for Optimal Redundancy Codes,” in Proc. Int. Symp. Inf. Theory (ISIT) , Los Angeles, CA, USA, Jun. 2020, pp. 751–756
2020
-
[10]
On Optimal k-Deletion Correcting Codes,
J. Sima and J. Bruck, “On Optimal k-Deletion Correcting Codes,” IEEE Trans. Inf. Theory , vol. 67, no. 6, pp. 3360–3375, Jun. 2021
2021
-
[11]
Explicit Two-Deletion Codes With Redundancy Matching the Existential Bound,
V . Guruswami and J. H ˚astad, “Explicit Two-Deletion Codes With Redundancy Matching the Existential Bound,” IEEE Trans. Inf. Theory, vol. 67, no. 10, pp. 6384–6394, Oct. 2021
2021
-
[12]
Systematic Codes Correcting Multiple-Deletion and Multiple-Substitution Errors,
W. Song, N. Polyanskii, K. Cai, and X. He, “Systematic Codes Correcting Multiple-Deletion and Multiple-Substitution Errors,” IEEE Trans. Inf. Theory, vol. 68, no. 10, pp. 6402–6416, Oct. 2022
2022
-
[13]
Non-binary Two-Deletion Correcting Codes and Burst-Deletion Correcting Codes,
W. Song and K. Cai, “Non-binary Two-Deletion Correcting Codes and Burst-Deletion Correcting Codes,” IEEE Trans. Inf. Theory , vol. 69, no. 10, pp. 6470–6484, Oct. 2023
2023
-
[14]
Asymptotically optimum binary code with correction for losses of one or two adjacent bits,
V . I. Levenshtein, “Asymptotically optimum binary code with correction for losses of one or two adjacent bits,” Problemy Kibernetiki , vol. 19, pp. 293–298, 1967
1967
-
[15]
Codes Correcting a Burst of Deletions or Insertions,
C. Schoeny, A. Wachter-Zeh, R. Gabrys, and E. Yaakobi, “Codes Correcting a Burst of Deletions or Insertions,” IEEE Trans. Inf. Theory, vol. 63, no. 4, pp. 1971–1985, Jan. 2017
1971
-
[16]
Codes for Correcting Three or More Adjacent Deletions or Insertions,
L. Cheng, T. G. Swart, H. C. Ferreira, and K. A. S. Abdel-Ghaffar, “Codes for Correcting Three or More Adjacent Deletions or Insertions,” in Proc. Int. Symp. Inf. Theory (ISIT) , Honolulu, HI, USA, Jul. 2014, pp. 1246–1250
2014
-
[17]
Novel Combinatorial Coding Results for DNA Sequencing and Data Storage,
C. Schoeny, F. Sala, and L. Dolecek, “Novel Combinatorial Coding Results for DNA Sequencing and Data Storage,” in 2017 51st Asilomar Conference on Signals, Systems, and Computers , Pacific Grove, CA, USA, Oct. 2017, pp. 511–515
2017
-
[18]
An Improvement of Non-binary Code Correcting Single b-Burst of Insertions or Deletions,
T. Saeki and T. Nozaki, “An Improvement of Non-binary Code Correcting Single b-Burst of Insertions or Deletions,” in Proc. Int. Symp. Inf. Theory Its Appl. (ISITA), Singapore, Oct. 2018, pp. 6–10
2018
-
[20]
Codes in the Damerau Distance for Deletion and Adjacent Transposition Correction,
R. Gabrys, E. Yaakobi, and O. Milenkovic, “Codes in the Damerau Distance for Deletion and Adjacent Transposition Correction,” IEEE Trans. Inf. Theory, vol. 64, no. 4, pp. 2550–2570, Apr. 2018
2018
-
[21]
Optimal Codes Correcting a Burst of Deletions of Variable Length,
A. Lenz and N. Polyanskii, “Optimal Codes Correcting a Burst of Deletions of Variable Length,” in Proc. Int. Symp. Inf. Theory (ISIT) , Los Angeles, CA, USA, Jun. 2020, pp. 757–762
2020
-
[22]
Non-binary Codes for Correcting a Burst of at Most t Deletions,
S. Wang, Y . Tang, J. Sima, R. Gabrys, and F. Farnoud, “Non-binary Codes for Correcting a Burst of at Most t Deletions,” IEEE Trans. Inf. Theory , vol. 70, no. 2, pp. 964–979, Feb. 2024
2024
-
[23]
Some New Constructions of q-ary Codes for Correcting a Burst of at Most t Deletions,
W. Song, K. Cai, and T. Q. S. Quek, “Some New Constructions of q-ary Codes for Correcting a Burst of at Most t Deletions,” Entropy, vol. 27, no. 85, Jan. 2025
2025
- [24]
-
[25]
Optimal Codes Correcting Localized Deletions,
R. Bitar, S. K. Hanna, N. Polyanskii, and I. V orobyev, “Optimal Codes Correcting Localized Deletions,” in Proc. Int. Symp. Inf. Theory (ISIT), Melbourne, Australia, Jul. 2021, pp. 1991–1996
2021
- [27]
-
[28]
A New Version of q-Ary Varshamov-Tenengolts Codes With More Efficient Encoders: The Differential VT Codes and The Differential Shifted VT Codes,
T. Thanh Nguyen, K. Cai, and P. H. Siegel, “A New Version of q-Ary Varshamov-Tenengolts Codes With More Efficient Encoders: The Differential VT Codes and The Differential Shifted VT Codes,” IEEE Trans. Inf. Theory , vol. 70, no. 10, pp. 6989–7004, Oct. 2024
2024
-
[29]
Binary Codes for Correcting Two Edits,
Y . Sun and G. Ge, “Binary Codes for Correcting Two Edits,” IEEE Trans. Inf. Theory , vol. 70, no. 10, pp. 6877–6898, Oct. 2024
2024
-
[30]
t-Deletion-s-Insertion-Burst Correcting Codes,
Z. Lu and Y . Zhang, “ t-Deletion-s-Insertion-Burst Correcting Codes,” IEEE Trans. Inf. Theory , vol. 69, no. 10, pp. 6401–6413, Oct. 2023
2023
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.