New lower bounds on aperiodic crosscorrelation of binary codes

For the minimum aperiodic crosscorrelation θ(n,M) of binary codes of size M and length n over the alphabet {1,-1} there exists the celebrated Welch bound θ²(n,M)⩾(M-1)n²/2Mn-N-1 which was published in 1974 and remained in this form up to now. In the article this bound is strengthened for all M⩾4 and n⩾2. In particular, it is proved that θ²(n,M)⩾n-2n/√3M, M⩾3 and θ²(n,M)⩾n-[πn/√8M], M⩾5. In the asymptotic process when M tends to infinity as n→∞, these bounds are twice as large as the Welch bound and coincide with the corresponding asymptotic bound on the square of the minimum periodic crosscorrelation of binary codes. The main idea of the proof is a new sufficient condition for the mean value of a nonnegative definite matrix over the code to be greater than or equal to the average over the whole space. This allows one to take into account weights of cyclic shifts of code vectors and solve the problem of their optimal choice