Sign conjecture for the abstract matrix-tree Laplacian

Let Pm=def([1,2],[1,3],,[1,m])Γn,mP_m \stackrel{\text{def}}{=} ([1,2],[1,3],\dots,[1,m])\in\Gamma_{n,m}. For any kk, define

X({GΓn,kPmGSn,k+m})X(\{G\in\Gamma_{n,k}\mid P_m*G\in\mathop{\rm \mathfrak S}\nolimits_{n,k+m}^\varnothing\})

and write its Laplacian as an element of the graph space:

Δ(X({GΓn,kPmGSn,k+m}))=HΓn,kxHH.\Delta\bigl(X(\{G\in\Gamma_{n,k}\mid P_m*G\in\mathop{\rm \mathfrak S}\nolimits_{n,k+m}^\varnothing\})\bigr)=\sum_{H\in\Gamma_{n,k}}x_HH.

Sign conjecture. All coefficients xHx_H are integers of the same sign.

This conjecture is presented as a generalization of the paper's codimension-one theorem. The source provides explicit calculations motivating the claim, but the supplied text gives no resolution, so its status remains open.

Sources & referencesView supporting material

Primary source

Yurii Burman, “Abstract matrix-tree theorem”, arXiv:1612.03873 (2017).

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.