arXiv++ Combinatorics

Starting with an inclusion-exclusion proof of a combinatorial identity, a direct bijection can be produced using recursive subtraction (sometimes with a direct combinatorial description). We apply this method to identities for generalized Wilf equivalences among consecutive patterns in inversion sequences, giving direct bijective proofs of some generalized Wilf equivalences shown by Auli and Elizalde. We also give new bijective proofs of a stronger relation among some consecutive patterns.