Ridge-graph structure conjecture for NHM m-hemimetric cones

From papers

Let NHMnmNHM_n^m be the cone of nonnegative mm-hemimetrics. Denote by Ti1im+1,im+2T_{i_1\dots i_{m+1},i_{m+2}} an (m+1)(m+1)-simplex facet and by Ni1im+1N_{i_1\dots i_{m+1}} a nonnegativity facet. Let F1F_1 and F2F_2 be the two facet orbits, and write G(F2)G(F_2) for the subgraph induced by F2F_2. Ridge-graph structure conjecture. The ridge graph of NHMnmNHM_n^m satisfies: (i) Ti1im+1,im+2T_{i_1\dots i_{m+1},i_{m+2}} is adjacent to every other facet except the following m+2m+2 facets: all other (m+1)(m+1)-simplex facets with the same support and Ni1im+1N_{i_1\dots i_{m+1}}; (ii)

G(F2)=J(n,3)for m=2,G(F_2)=\overline{J(n,3)}\quad\text{for }m=2,

and

G(F2)=K(nm+1)for m3.G(F_2)=K_{\binom{n}{m+1}}\quad\text{for }m\geq 3.

Consequently, the restriction to F1F_1 is G(F1)=Km+2,,m+2G(F_1)=K_{m+2,\dots,m+2}, and the conjecture would imply that the ridge graph of NHMnmNHM_n^m has diameter 22. The diameter-22 conclusion is known for m=1m=1, where NHMn1=METnNHM_n^1=MET_n.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

M. Deza and I. Rosenberg, “Small cones of m-hemimetrics”, arXiv:math/0005270 (2001).

Solutions 0

No solutions have been posted yet.