Skip to main content
expanded to point out what both sides of identity count
Source Link
Russ Woodroofe
  • 3.4k
  • 1
  • 24
  • 22

It's not the formally published literature, but unless I'm mistaken, the last of your three identities appears in Stanley's list of bijective proof problems (dated 2009) as number 194. He says there that finding a combinatorial bijection for the identity is an open problem. (He suggests some of the open problems in the list as being of particular interest, however, and 194 is not one of those.)

This suggests rather strongly that a bijective proof for the third identity isn't known, or at least wasn't known as of 2009.

I always found it a little surprising that this one was open. Both sides of the identity count natural things: The LHS counts the number of lattice paths from $(0,0)$ to $(2n,2n)$ that do not go above the diagonal, and that return to the diagonal at a distinguished point $(2k,2k)$. The RHS the number of lattice paths from $(0,0)$ to $(n,n)$ that do not go above the diagonal, and whose edges/steps are 2-colored.

It's not the formally published literature, but unless I'm mistaken, the last of your three identities appears in Stanley's list of bijective proof problems (dated 2009) as number 194. He says there that finding a combinatorial bijection for the identity is an open problem. (He suggests some of the open problems in the list as being of particular interest, however, and 194 is not one of those.)

This suggests rather strongly that a bijective proof for the third identity isn't known, or at least wasn't known as of 2009.

It's not the formally published literature, but unless I'm mistaken, the last of your three identities appears in Stanley's list of bijective proof problems (dated 2009) as number 194. He says there that finding a combinatorial bijection for the identity is an open problem. (He suggests some of the open problems in the list as being of particular interest, however, and 194 is not one of those.)

This suggests rather strongly that a bijective proof for the third identity isn't known, or at least wasn't known as of 2009.

I always found it a little surprising that this one was open. Both sides of the identity count natural things: The LHS counts the number of lattice paths from $(0,0)$ to $(2n,2n)$ that do not go above the diagonal, and that return to the diagonal at a distinguished point $(2k,2k)$. The RHS the number of lattice paths from $(0,0)$ to $(n,n)$ that do not go above the diagonal, and whose edges/steps are 2-colored.

Source Link
Russ Woodroofe
  • 3.4k
  • 1
  • 24
  • 22

It's not the formally published literature, but unless I'm mistaken, the last of your three identities appears in Stanley's list of bijective proof problems (dated 2009) as number 194. He says there that finding a combinatorial bijection for the identity is an open problem. (He suggests some of the open problems in the list as being of particular interest, however, and 194 is not one of those.)

This suggests rather strongly that a bijective proof for the third identity isn't known, or at least wasn't known as of 2009.