112,617 research outputs found
Near-Linear Time Insertion-Deletion Codes and (1+)-Approximating Edit Distance via Indexing
We introduce fast-decodable indexing schemes for edit distance which can be
used to speed up edit distance computations to near-linear time if one of the
strings is indexed by an indexing string . In particular, for every length
and every , one can in near linear time construct a string
with , such that, indexing
any string , symbol-by-symbol, with results in a string where for which edit
distance computations are easy, i.e., one can compute a
-approximation of the edit distance between and any other
string in time.
Our indexing schemes can be used to improve the decoding complexity of
state-of-the-art error correcting codes for insertions and deletions. In
particular, they lead to near-linear time decoding algorithms for the
insertion-deletion codes of [Haeupler, Shahrasbi; STOC `17] and faster decoding
algorithms for list-decodable insertion-deletion codes of [Haeupler, Shahrasbi,
Sudan; ICALP `18]. Interestingly, the latter codes are a crucial ingredient in
the construction of fast-decodable indexing schemes
On the lengths of divisible codes
In this article, the effective lengths of all -divisible linear codes
over with a non-negative integer are determined. For that
purpose, the -adic expansion of an integer is introduced. It is
shown that there exists a -divisible -linear code of
effective length if and only if the leading coefficient of the
-adic expansion of is non-negative. Furthermore, the maximum weight
of a -divisible code of effective length is at most ,
where denotes the cross-sum of the -adic expansion of .
This result has applications in Galois geometries. A recent theorem of
N{\u{a}}stase and Sissokho on the maximum size of a partial spread follows as a
corollary. Furthermore, we get an improvement of the Johnson bound for constant
dimension subspace codes.Comment: 17 pages, typos corrected; the paper was originally named "An
improvement of the Johnson bound for subspace codes
On the equivalence of linear sets
Let be a linear set of pseudoregulus type in a line in
, or . We provide examples of
-order canonical subgeometries such
that there is a -space with the property that for , is the projection
of from center and there exists no collineation of
such that and .
Condition (ii) given in Theorem 3 in Lavrauw and Van de Voorde (Des. Codes
Cryptogr. 56:89-104, 2010) states the existence of a collineation between the
projecting configurations (each of them consisting of a center and a
subgeometry), which give rise by means of projections to two linear sets. It
follows from our examples that this condition is not necessary for the
equivalence of two linear sets as stated there. We characterize the linear sets
for which the condition above is actually necessary.Comment: Preprint version. Referees' suggestions and corrections implemented.
The final version is to appear in Designs, Codes and Cryptograph
On effective sigma-boundedness and sigma-compactness
We prove several theorems on sigma-bounded and sigma-compact pointsets. We
start with a known theorem by Kechris, saying that any lightface \Sigma^1_1 set
of the Baire space either is effectively sigma-bounded (that is, covered by a
countable union of compact lightface \Delta^1_1 sets), or contains a
superperfect subset (and then the set is not sigma-bounded, of course). We add
different generalizations of this result, in particular, 1) such that the
boundedness property involved includes covering by compact sets and equivalence
classes of a given finite collection of lightface \Delta^1_1 equivalence
relations, 2) generalizations to lightface \Sigma^1_2 sets, 3) generalizations
true in the Solovay model.
As for effective sigma-compactness, we start with a theorem by Louveau,
saying that any lightface \Delta^1_1 set of the Baire space either is
effectively sigma-compact (that is, is equal to a countable union of compact
lightface \Delta^1_1 sets), or it contains a relatively closed superperfect
subset. Then we prove a generalization of this result to lightface \Sigma^1_1
sets.Comment: arXiv admin note: substantial text overlap with arXiv:1103.106
- …