A note on Hamming spheres (Q2266715)

The purpose of the paper is to prove in a more natural way three theorems, which were found by \textit{J. Körner} and \textit{V. K. Wei} [Discrete Math. 51, 147--165 (1984; Zbl 0547.05004)]. The first two theorems are concerned with subsets of \(\mathbb F^ n_ 2\), having inner distance \(\geq 2\) and attaining minimal boundary. The third theorem deals with pairs of sets \(A,B\) having inner distance \(\geq 2\) and with distance between \(A\) and \(B\) as large as possible. The proofs given by Körner and Wei were generalizations of proofs found by \textit{G. O. H. Katona} [Studia Sci. Math. Hung. 10, 131--140 (1975; Zbl 0366.05003)] and \textit{P. Frankl} and \textit{Z. Füredi} [Discrete Math. 34, 311--313 (1981; Zbl 0482.05002)], whereas the present author's proofs are obtained by puncturing and extending subsets of \(\mathbb F^ n_ 2\) in a suitable way, using the results of Katona and Frankl and Füredi.