Sullivant's secant–initial ideal conjecture for Plücker tree ideals

Let d4b1d4b1 be a binary phylogenetic [n][n]-tree, let d714d7d9R(n2)d714 d7d9 \in \mathbb{R}^{\binom{n}{2}} be a weight vector, and let d70f{±1}(n2)d70f \in \{\pm1\}^{\binom{n}{2}} be a sign vector such that

JT=τinω(I2,n).J_{\mathcal{T}}=\tau\cdot \operatorname{in}_{\omega}(I_{2,n}).

Sullivant's conjecture. For every rr, one has

τinω(I2,n{r})=JT{r}.\tau\cdot \operatorname{in}_{\omega}\left(I_{2,n}^{\{r\}}\right)=J_{\mathcal{T}}^{\{r\}}.

The conjecture asks whether taking secant ideals commutes with taking the corresponding signed initial ideal for Plücker tree ideals. It is attributed in the source to Sullivant's Conjecture 7.10; no resolution is supplied here.

Sources & referencesView supporting material

Primary source

Colby Long, “Initial Ideals of Pfaffian Ideals”, arXiv:1610.06524 (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.