TY - JOUR

T1 - One more proof of the first linear programming bound for binary codes and two conjectures

AU - Samorodnitsky, Alex

N1 - Publisher Copyright:
© 2023, The Hebrew University of Jerusalem.

PY - 2023/9

Y1 - 2023/9

N2 - We give one more proof of the first linear programming bound for binary codes, following the line of work initiated by Friedman and Tillich [9]. The new argument is somewhat similar to the one given in [24], but we believe it to be both simpler and more intuitive. Moreover, it provides the following ‘geometric’ explanation for the bound. A binary code with minimal distance δn is small because the projections of the characteristic functions of its elemes on the subspace spanned by the Walsh–Fourier characters of weight up to (12−δ(1−δ))⋅n are essentially independent. Hence the cardinality of the code is bounded by the dimension of the subspace. We present two conjectures, suggested by the new proof, one for linear and one for general binary codes which, if true, would lead to an improvement of the first linear programming bound. The conjecture for linear codes is related to and is influenced by conjectures of Håstad and of Kalai and Linial. We verify the conjectures for the (simple) cases of random linear codes and general random codes.

AB - We give one more proof of the first linear programming bound for binary codes, following the line of work initiated by Friedman and Tillich [9]. The new argument is somewhat similar to the one given in [24], but we believe it to be both simpler and more intuitive. Moreover, it provides the following ‘geometric’ explanation for the bound. A binary code with minimal distance δn is small because the projections of the characteristic functions of its elemes on the subspace spanned by the Walsh–Fourier characters of weight up to (12−δ(1−δ))⋅n are essentially independent. Hence the cardinality of the code is bounded by the dimension of the subspace. We present two conjectures, suggested by the new proof, one for linear and one for general binary codes which, if true, would lead to an improvement of the first linear programming bound. The conjecture for linear codes is related to and is influenced by conjectures of Håstad and of Kalai and Linial. We verify the conjectures for the (simple) cases of random linear codes and general random codes.

UR - http://www.scopus.com/inward/record.url?scp=85173757849&partnerID=8YFLogxK

U2 - 10.1007/s11856-023-2514-8

DO - 10.1007/s11856-023-2514-8

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:85173757849

SN - 0021-2172

VL - 256

SP - 639

EP - 673

JO - Israel Journal of Mathematics

JF - Israel Journal of Mathematics

IS - 2

ER -