The Steep-Bounce bijection conjecture

At least 7 years old · documented by

Fix integers nn and kk with k≤nk\le n. A Dyck path is a lattice path of semilength nn from (0,0)(0,0) to (n,n)(n,n) that stays weakly on one side of its diagonal; a nested pair (π1,π2)(\pi_1,\pi_2) consists of Dyck paths of size nn with the prescribed nesting relation. A bounce path has kk parts, and a steep path has isolated east steps strictly below the top. Steep-Bounce conjecture. For any k≤nk\le n, there is a bijection between nested pairs (π1,π2)(\pi_1,\pi_2) of Dyck paths of size nn such that π1\pi_1 is a bounce path with kk parts, and nested pairs (π1′,π2′)(\pi'_1,\pi'_2) of Dyck paths of size nn such that π2′\pi'_2 is a steep path with n−kn-k isolated east steps strictly below the top. This reformulates the refined pipe-dream and walk conjecture using the stated bijections with colored Dyck paths and nested pairs; the proposed bijection remains open in the source.

References

Primary source

Nantel Bergeron, Cesar Ceballos and Vincent Pilaud, “Hopf dreams and diagonal harmonics”, arXiv:1807.03044 (2021).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.