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 distances of linear insertion-deletion codes, based on the generalized Hamming weights and the formation of minimum Hamming weight codewords. Our bound are stronger than some previous known bounds. Some or our upper bounds are valid for any fixed ordering of coordinate positions. We apply these upper bounds to some binary cyclic codes with any rearrangement of coordinate positions, binary Reed-Muller codes and one algebraic-geometric code from elliptic curves.