Reflection count for Dyck paths
ID: reflection-count-for-dyck-paths
There are paths with up steps and down steps, ignoring the height constraint. For , reflect the prefix of a bad path through its first visit to height , swapping its up and down steps. The resulting path has up steps and down steps, hence final height two. Its first visit to height one identifies the inverse reflection, so this is a bijection. There are bad paths. Subtracting givesThis count connects a global nonnegative-height requirement to an unrestricted binomial coefficient. The case is separately the unique empty path.
New to topics? Read the docs here!