Let M=(…,e1,…,ek) be a Motzkin path of length n+k whose last k steps are e1,…,ek.
Terminal-pattern divisibility conjecture. The following implications hold:
M=(…,1,0,−1,−1)⇒(l+2n+5)∣wl(M),M=(…,1,0,0,−1,−1)⇒(l+2n+7)∣wl(M),M=(…,1,1,−1,−1,−1)⇒(l+2n+2)(l+2n+7)(l+2n+8)∣wl(M),M=(…,1,1,−1,0,−1,−1)⇒(l+2n+2)(l+2n+7)∣wl(M),M=(…,1,1,−1,0,0,−1,−1)⇒(l+2n+2)∣wl(M),M=(…,1,1,−1,0,0,0,−1,−1)⇒(l+2n+2)∣wl(M),M=(…,1,0,1,−1,−1,−1)⇒(l+2n+8)∣wl(M),M=(…,1,1,0,−1,−1,−1)⇒(l+2n+2)(l+2n+8)2∣wl(M),M=(…,1,1,0,−1,0,−1,−1)⇒(l+2n+2)∣wl(M),M=(…,1,1,0,−1,0,0,−1,−1)⇒(l+2n+2)∣wl(M),M=(…,1,1,0,−1,0,0,0,−1,−1)⇒(l+2n+2)∣wl(M),M=(…,1,1,0,0,−1,−1,−1)⇒(l+2n+2)(l+2n+10)∣wl(M).
These proposed divisibility relations connect rational roots of wl(M) with the ending of the Motzkin path. The supplied text gives no resolution.