, Without the refinement involving m, non-bijective proofs of this theorem have been given by Carlos Nicolas
, 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
, Lattice path matroids: enumerative aspects and Tutte polynomials, J. Combin. Theory Ser. A, vol.104, issue.1, pp.63-94, 1997.
, 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
, The Tutte polynomial, Aequationes Math, pp.211-229, 1969.
, A bijection on Dyck paths and its consequences, Discrete Math, pp.253-256, 1998.
, An involution on Dyck paths and its consequences, Discrete Math, pp.163-166, 1999.
, Symmetries of statistics on lattice paths between two boundaries, Advances in Mathematics, vol.287
DOI : 10.1016/j.aim.2015.09.025
, 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
, 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
, Another bijection between 2-triangulations and pairs of non-crossing Dyck paths, Discrete Math, Theor. Comput. Sci. Proc. AK, pp.699-710, 2009.
, Maximal fillings of moon polyominoes, simplicial complexes, and Schubert polynomials, Electron. J. Combin, vol.19, p.16, 2012.
, Topics in Algebraic Combinatorics, lecture notes, 2010.