. Remark, Without the refinement involving m, non-bijective proofs of this theorem have been given by Carlos Nicolas

P. , =. , Q. , =. P-j-for-j, and =. , where By definition, t j (P) = t j (Q) and m j (P) = m j (Q) for j / ? {i ? 1, i}. By Lemma 2.11, the number of east steps where P i and P i+1 (respectively P i?1 ) coincide equals the number of east steps where ?(P i ) and P i?1 (respectively P i+1 ) coincide, so t i (P) = t i?1 (Q) and t i?1 (P) = t i (Q). It remains to show that m i?1 (P) + m i (P) = m i?1 (Q) + m i (Q), which we do in

E. Joseph, A. Bonin, M. De-mier, and . Noy, Lattice path matroids: enumerative aspects and Tutte polynomials, J. Combin. Theory Ser. A, vol.104, issue.1, pp.63-94, 1997.

R. Brak and J. W. Essam, Return polynomials for non-intersecting paths above a surface on the directed square lattice, Journal of Physics A: Mathematical and General, vol.34, issue.49, pp.10763-10782, 2001.
DOI : 10.1088/0305-4470/34/49/303

H. Henry and . Crapo, The Tutte polynomial, Aequationes Math, pp.211-229, 1969.

E. Deutsch, A bijection on Dyck paths and its consequences, Discrete Math, pp.253-256, 1998.

E. Deutsch, An involution on Dyck paths and its consequences, Discrete Math, pp.163-166, 1999.

S. Elizalde and M. Rubey, Symmetries of statistics on lattice paths between two boundaries, Advances in Mathematics, vol.287
DOI : 10.1016/j.aim.2015.09.025

I. Gessel and X. G. Viennot, Binomial determinants, paths, and hook length formulae, Advances in Mathematics, vol.58, issue.3, pp.300-321, 1985.
DOI : 10.1016/0001-8708(85)90121-5

URL : http://doi.org/10.1016/0001-8708(85)90121-5

C. Krattenthaler, Watermelon configurations with wall interaction: exact and asymptotic results, Journal of Physics: Conference Series, vol.42, issue.1, p.179, 2006.
DOI : 10.1088/1742-6596/42/1/017

C. M. Nicolás, Another bijection between 2-triangulations and pairs of non-crossing Dyck paths, Discrete Math, Theor. Comput. Sci. Proc. AK, pp.699-710, 2009.

L. Serrano and C. Stump, Maximal fillings of moon polyominoes, simplicial complexes, and Schubert polynomials, Electron. J. Combin, vol.19, p.16, 2012.

R. P. Stanley, Topics in Algebraic Combinatorics, lecture notes, 2010.