Strong Singleton type upper bounds for linear insertion-deletion codes

The insertion-deletion codes was motivated to correct the synchronization errors. In this paper we prove several Singleton type upper bounds on the insdel distance of linear codes insertion-deletion codes, based on generalized Hamming weights and the formation of minimum Hamming weight codewords. Our bound are stronger than some previous known bounds. These upper bounds are valid for any fixed ordering of coordinate positions. We apply these upper bounds to some binary cyclic codes and binary Reed-Muller codes with any coordinate ordering, and some binary Reed-Muller codes and algebraic-geometric codes with certain special coordinate ordering.