Mandel's extension conjecture for oriented matroids

An oriented matroid is a combinatorial abstraction of a vector or hyperplane configuration, and an extension Og\mathcal{O}\cup g adds a new ground-set element gg; the extension is in general position when gg is not a coloop and satisfies the usual general-position condition. For elements ff of O\mathcal{O} that are neither loops nor coloops, (Og,g,f)(\mathcal{O}\cup g,g,f) denotes the corresponding oriented matroid program.

Mandel's conjecture. Every oriented matroid O\mathcal{O} has an extension gg in general position (not a coloop) such that (Og,g,f)(\mathcal{O}\cup g,g,f) is a Euclidean oriented matroid program for all elements ff of O\mathcal{O} that are not loops or coloops.

This conjecture is the source of the paper's definition of Mandel oriented matroids. The supplied text gives no resolution status or general theorem establishing the claim.

Sources & referencesView supporting material

Primary source

Michael Wilhelmi, “Mutations and (Non-)Euclideaness in oriented matroids”, arXiv:2501.12951 (2025).

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.