Equal matroids conjecture for CFN join varieties of a pair of tree pairs

Let T1,T2,S1,S2T_1,T_2,S_1,S_2 be the four-leaf trees specified by the paper's Equation (badTreeCase), and let VT1VT2V_{T_1} \ast V_{T_2} and VS1VS2V_{S_1} \ast V_{S_2} be their associated CFN join varieties. For an algebraic variety VV, write M(V)\mathcal{M}(V) for its associated algebraic matroid.

Equal matroids conjecture. The two join varieties have the same algebraic matroid:

M(VT1VT2)=M(VS1VS2).\mathcal{M}(V_{T_1} \ast V_{T_2})=\mathcal{M}(V_{S_1} \ast V_{S_2}).

The authors propose this because their matroid-based algorithm found no certificate distinguishing this pair, although the corresponding phylogenetic-invariant ideals are known to be different. If true, this would provide an instance in which distinct ideals define the same matroid; the supplied text does not report a resolution.

Sources & referencesView supporting material

Primary source

Benjamin Hollering and Seth Sullivant, “Identifiability in Phylogenetics using Algebraic Matroids”, arXiv:1909.13754 (2019).

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.