Sign conjecture for the abstract matrix-tree Laplacian

About 10 years old · traced to

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,k∣Pm∗G∈Sn,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,k∣Pm∗G∈Sn,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.

References

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.