The toggle-buildability conjecture for signed peak-count generating functions

Let G2G_2 be the signed peak-count generating function for the quarter-planar paths under consideration. Define B={1}{Binj(2j)/2:jN}={1}{Binj(2j1):jN}B=\{1\}\cup\{\operatorname{Bin}^{j}(2j)/2:j\in\mathbb{N}\}=\{1\}\cup\{\operatorname{Bin}^{j}(2j-1):j\in\mathbb{N}\}, and call a polynomial toggle-buildable if it is a linear combination of elements of BB with non-negative coefficients. A polynomial is (x+1)(x+1)-positive when it belongs to N0[x+1]\mathbb{N}_0[x+1]. The toggle-buildability conjecture. The generating function G2G_2 is toggle-buildable exactly when it is (x+1)(x+1)-positive. The conjecture was tested for r,l,u,d5r,l,u,d\leq 5 and concerns whether two positivity descriptions of the signed peak-count polynomial coincide.

Sources & referencesView supporting material

Primary source

William Kuszmaul, “Signed Enumeration of Upper-Right Corners in Path Shuffles”, arXiv:1510.00777 (2016).

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.