arXiv++ Combinatorics

Motivated by sequence reconstruction and reconstruction codes, we study extremal intersections of deletion balls over a fixed $q$-ary alphabet. Let $Σ_q^n$ be the set of sequences of length $n$ over $Σ_q$, and let $D_t(x)$ denote the set of all sequences obtained from $x\inΣ_q^n$ by deleting exactly $t$ symbols. Our first result gives a finite upper bound under a lower-order deletion-correction constraint. We prove that if $x,y\inΣ_q^n$ satisfy $D_{s-1}(x)\cap D_{s-1}(y)=\varnothing$, then \[ |D_t(x)\cap D_t(y)| \le \binom{2s}{s}\binom{n-s}{t-s}. \] For binary alphabets, this strengthens a recent asymptotic upper bound of Pham, Goyal, and Kiah (2025, JCTA). We then investigate deletion-ball intersections under simultaneous constraints on run counts and lower-order deletion-ball intersections. For fixed $0<γ\le1$, integers $1\le s\le t$, and $m\ge1$, we show that if $x,y\inΣ_q^n$ have at most $γn$ runs and satisfy $|D_s(x)\cap D_s(y)|\le m$, then \[ |D_t(x)\cap D_t(y)|\le \frac{mγ^{t-s}}{(t-s)!}n^{t-s}+O_{s,t,m}(n^{t-s-1}). \] Moreover, the leading term can be attainable whenever $m$ is realized by a fixed finite-length seed pair. As a consequence, we obtain a direct lifting theorem for deletion reconstruction codes, transferring reconstruction properties from radius $s$ to larger radii $t$. Finally, we establish a parallel insertion theory and derive corresponding results for insertion-ball intersections and insertion reconstruction codes.

We study optimal reconstruction codes over the multiple-burst substitution channel. Our main contribution is establishing a trade-off between the error-correction capability of the code, the number of reads used in the reconstruction process, and the decoding list size. We show that over a channel that introduces at most $t$ bursts, we can use a length-$n$ code capable of correcting $ε$ errors, with $Θ(n^ρ)$ reads, and decoding with a list of size $O(n^λ)$, where $t-1=ε+ρ+λ$. In the process of proving this, we establish sharp asymptotic bounds on the size of error balls in the burst metric. More precisely, we prove a Johnson-type lower bound via Kahn's Theorem on large matchings in hypergraphs, and an upper bound via a novel variant of Kleitman's Theorem under the burst metric, which might be of independent interest. Beyond this main trade-off, we derive several related results using a variety of combinatorial techniques. In particular, along with tools from recent advances in discrete geometry, we improve the classical Gilbert-Varshamov bound in the asymptotic regime for multiple bursts, and determine the minimum redundancy required for reconstruction codes with polynomially many reads. We also propose an efficient list-reconstruction algorithm that achieves the above guarantees, based on a majority-with-threshold decoding scheme.

Consider a length-$n$ sequence $\bm{x}$ over a $q$-ary alphabet. The \emph{fixed-length Levenshtein ball} $\mathcal{L}_t(\bm{x})$ of radius $t$ encompasses all length-$n$ $q$-ary sequences that can be derived from $\bm{x}$ by performing $t$ deletions followed by $t$ insertions. Analyzing the size and structure of these balls presents significant challenges in combinatorial coding theory. Recent studies have successfully characterized fixed-length Levenshtein balls in the context of a single deletion and a single insertion. These works have derived explicit formulas for various key metrics, including the exact size of the balls, extremal bounds (minimum and maximum sizes), as well as expected sizes and their concentration properties. However, the general case involving an arbitrary number of $t$ deletions and $t$ insertions $(t>1)$ remains largely uninvestigated. This work systematically examines fixed-length Levenshtein balls with multiple deletions and insertions, focusing specifically on \emph{fixed-length burst Levenshtein balls}, where deletions occur consecutively, as do insertions. We provide comprehensive solutions for explicit cardinality formulas, extremal bounds (minimum and maximum sizes), expected size, and concentration properties surrounding the expected value.