2026/08/05 by Haihua Deng
Mathematics · Computer Science · #math.CO #cs.IT #math.IT #msc:94B05 #msc:94B65 #msc:51E20 #acm:94B05 #acm:94B65 #acm:51E20
20 pages
arxiv created 2026/08/05 · arxiv updated 2026/08/06
We present three proofs of the generalized Griesmer bound together with the corresponding proofs of the generalized antiGriesmer bound. The first proof follows from inequalities relating consecutive minimum and maximum subcode support weights. We also write the projective construction of Tsfasman and Vlăduţ as a residual code argument and express the geometric proof of Kurz, Landjev, and Rousseva in terms of shortened subcodes. In addition, complements in repeated simplex codes show that the two bounds are equivalent. The residual and shortening arguments also determine the consequences of equality for the resulting residual codes and shortened subcodes. Finally, the complement relation transfers known divisibility results for Griesmer codes to antiGriesmer codes.