---
title: Conditional Oriented Matroids
url: https://www.emergentmind.com/topics/conditional-oriented-matroids
type: topic
---

# Conditional Oriented Matroids

Conditional oriented matroids (COMs) are sign-vector systems that generalize oriented matroids, affine oriented matroids, and lopsided sets by retaining face symmetry and strong elimination while not requiring the zero covector or global symmetry/composition. In the standard sign-vector language, a COM is a nonempty set \(\mathcal L\subseteq\{+,-,0\}^E\) (equivalently \(\{-1,0,1\}^E\)) of covectors such that \(X\circ -Y\in\mathcal L\) for all \(X,Y\in\mathcal L\), and whenever \(e\in Sep(X,Y)\), there exists \(Z\in\mathcal L\) with \(Z_e=0\) and \(Z_f=(X\circ Y)_f\) for all \(f\in E\setminus Sep(X,Y)\). If \(\mathcal L\) also contains the zero vector, then it is an ordinary oriented matroid [1507.06111, 2309.10762].

## 1. Axiomatic framework and position among sign-vector systems

A COM is built from the same basic sign-vector operations as oriented matroid theory. For \(X,Y\in\mathcal L\), the composition is defined coordinatewise by
\[
(X\circ Y)_e=
\begin{cases}
X_e & \text{if } X_e\neq 0,\\
Y_e & \text{otherwise},
\end{cases}
\]
and the separator is
\[
S(X,Y)=\{f\in E:X_fY_f=-1\}.
\]
A partial order is defined by
\[
X\preceq Y \Longleftrightarrow \forall e\in E,\ X_e\in\{0,Y_e\},
\]
so that \(X\) is obtained from \(Y\) by replacing some nonzero entries by \(0\). Maximal elements in this order are the topes [2309.10762].

The defining COM axioms are **face symmetry** and **strong elimination**. Face symmetry is
\[
X\circ -Y\in\mathcal L\qquad\forall X,Y\in\mathcal L,
\]
and strong elimination requires that for each \(X,Y\in\mathcal L\) and each \(e\in S(X,Y)\), there exists \(Z\in\mathcal L\) such that
\[
Z_e=0,\qquad Z_f=(X\circ Y)_f\ \text{for all } f\in E\setminus S(X,Y).
\]
These axioms preserve the elimination-theoretic core of oriented matroids while weakening their global symmetry package [1507.06111].

Within the standard hierarchy of sign-vector systems, the principal classes are separated by four axioms: composition \((C)\), strong elimination \((SE)\), symmetry \((Sym)\), face symmetry \((FS)\), and ideal composition \((IC)\). A strong elimination system satisfies \((C)+(SE)\); a COM satisfies \((FS)+(SE)\); an oriented matroid satisfies \((C)+(Sym)+(SE)\); and a lopsided system satisfies \((IC)+(SE)\). In this sense COMs sit between oriented matroids and lopsided systems [1507.06111].

A precise relation to oriented matroids is given by the zero-vector condition
\[
(0,\dots,0)\in\mathcal L.
\]
An oriented matroid is exactly a COM satisfying this condition. Conversely, if a COM contains the zero vector, then face symmetry with \(X=0\) yields symmetry, and composition follows from face symmetry applied to \(X\) and \(-Y\) [2309.10762].

## 2. Realizable models and principal examples

The fundamental realizable model of a COM is a hyperplane arrangement restricted to an open convex set. Given a central or affine hyperplane arrangement in \(\mathbb R^d\) and an open convex set \(C\), one restricts the arrangement sign vectors to the regions inside \(C\); the resulting sign-vector system is a realizable COM. This construction unifies several familiar special cases: if the arrangement is central and \(C\) contains the origin, one recovers an oriented matroid; if the arrangement is affine and \(C=\mathbb R^d\), one obtains a realizable affine oriented matroid; and for the coordinate arrangement one gets realizable lopsided sets [1507.06111].

A more explicit arrangement-pair model uses a cooriented affine arrangement \(A=\{H_e\}_{e\in E}\) in a real vector space \(V\) together with a nonempty convex open set \(K\subset V\). For each sign vector \(X\), define
\[
F_X := \bigcap_{X_e = -} H_e^- \cap \bigcap_{X_e = 0} H_e \cap \bigcap_{X_e = +} H_e^+.
\]
Then
\[
L(A,K):=\{X \mid F_X\cap K\neq \emptyset\}
\]
is a conditional oriented matroid. When \(K=V\), this is an oriented matroid exactly when the hyperplanes have a common intersection point in \(K\) [2507.06365].

Apartments of hyperplane arrangements form another important class of realizable COMs. If \(K\) is a chamber of a subarrangement, then after deleting the hyperplanes disjoint from \(K\), the induced sign system is a conditional oriented matroid. This realization is central to the use of COMs in computation, because an apartment need not carry the symmetry and zero-vector structure of an oriented matroid while still admitting a valid COM encoding [2309.10762].

The example theory extends beyond arrangements. For a poset \((P,\le)\), the ranking COM \(\mathcal R(P,\le)\) is a realizable COM whose topes are exactly the linear extensions of the poset and whose tope graph is the linear extension graph. More generally, relaxing realizability to local realizability yields COMs from non-positively curved Coxeter zonotopal complexes; in that setting, the resulting sign-vector system is a simple COM whose tope graph is the graph of the zonotopal complex [1507.06111].

## 3. Faces, topes, cocircuits, and decomposition into oriented-matroid pieces

For a covector \(X\), the standard notation is
\[
\underline{X}=\{e\in E:X_e\neq 0\},\qquad
X^0=E\setminus\underline X,\qquad
X^+=\{e\in E:X_e=+\},\qquad
X^-=\{e\in E:X_e=-\}.
\]
The face of \(X\) is
\[
F(X):=\{X\circ Y:Y\in\mathcal L\}.
\]
If \(S(V,W)\neq\varnothing\), then \(F(V)\cap F(W)=\varnothing\); otherwise,
\[
F(V)\cap F(W)=F(V\circ W).
\]
Closure under deletion and contraction holds, and every fiber of a COM is again a COM. Moreover, if \(X\) is fixed, then the face \(F(X)\) yields an oriented matroid after contraction:
\[
(E\setminus\underline X,\ F(X)\setminus\underline X).
\]
This is the local mechanism behind the phrase “complexes of oriented matroids” [1507.06111].

Topes are the maximal sign vectors in the natural partial order. For semisimple COMs, the set of topes determines the COM uniquely, and the tope graph is a partial cube. In fact, a semisimple strong elimination system has a partial-cube tope graph, with edges corresponding to sign vectors having singleton zero sets; a simple COM is determined by its tope graph up to reorientation [1507.06111]. In a broader graph-theoretic characterization, COMs correspond to partial cubes whose antipodal subgraphs are gated [2002.11403].

The cocircuit theory of COMs parallels the oriented-matroid cocircuit formalism but is intrinsically one-sided. Let \(\mathcal J\) denote the supremum-irreducible sign vectors. A minimal sign vector of \(\mathcal L\) is called an improper cocircuit, and a proper cocircuit is a sign vector covering an improper cocircuit. The cocircuit set \(\mathcal C(\mathcal L)\) then consists of the improper and proper cocircuits together, and it characterizes the COM via the axioms \((SE1)\), \((FS^\prec)\), and \((COC)\) [1507.06111].

Structurally, every semisimple COM can be built by successive COM amalgamations from its maximal faces, and those maximal faces contract to oriented matroids. This gives a binary composition scheme in which the global COM is assembled from oriented-matroid pieces. The associated Euler–Poincaré relation is
\[
\sum_{X\in\mathcal L}(-1)^{r(X)}=1.
\]
For lopsided systems, where \(r(X)=\#X^0\), this becomes the zero-set Euler formula
\[
\sum_{X\in\mathcal L}(-1)^{\#X^0}=1.
\]
These identities distinguish COMs from arbitrary sign systems and identify lopsided systems inside the COM class [1507.06111].

## 4. Reconstruction from topes and computational use

A major reconstruction theorem for COMs generalizes Mandel’s theorem for oriented matroids. If \((E,\mathcal L)\) is a conditional oriented matroid with tope set \(\mathcal T\), then
\[
\mathcal{L} = \left\{ X\in\{-1,0,1\}^E \ \middle|\  \forall T\in\mathcal{T},\ X\circ -T\in\mathcal{T} \right\}.
\]
Thus the full covector set is determined by the topes alone, but in the COM setting the criterion uses \(X\circ -T\), not \(X\circ T\) as in the oriented-matroid case [2309.10762].

The proof mechanism reflects the COM axioms rather than oriented-matroid composition. Forward inclusion uses face symmetry: if \(X\in\mathcal L\) and \(T\) is a tope, then \(X\circ -T\in\mathcal L\), and maximality forces it to be a tope. Reverse inclusion proceeds by induction on \(\mathrm{rk}\,\mathcal L\) and \(\#E\), combining deletion, contraction, adjacency of topes differing in one coordinate, and strong elimination [2309.10762].

This theorem has direct algorithmic consequences. The procedure `GeneratingCOM(T)` takes a tope set \(\mathcal T\), enumerates all \(X\in\{-1,0,1\}^l\), and keeps precisely those satisfying
\[
\forall Y\in\mathcal T,\quad X\circ -Y\in\mathcal T.
\]
A second procedure, `ApartmentToCOM(A,P)`, starts from a hyperplane arrangement and a set of sample points chosen inside chambers, computes the resulting topes, and then applies `GeneratingCOM`. These algorithms are presented as practical tools for converting apartments into COMs [2309.10762].

The computational significance is explicit: COMs are described as more suitable for computer calculations than ordinary oriented matroids for certain geometric configurations, especially apartments of hyperplane arrangements. The cited applications include determining the covector set, computing the \(f\)-polynomial, and computing other invariants like the Varchenko determinant after converting an apartment into a COM. In the worked example from a specific arrangement in \(\mathbb R^2\), the apartment \(f\)-polynomial is
\[
f_K(x)=3x^2+11x+9.
\]
This suggests a computational workflow in which topes are primary data and the covector structure is reconstructed afterward [2309.10762].

## 5. Topology, Salvetti complexes, and tope-graph geometry

COMs admit a topological representation by regular cell complexes. For a COM \((E,\mathcal L)\), there is a regular cell complex \(\Delta(\mathcal L)\) that is contractible, and the tope graph of \(\mathcal L\) is the \(1\)-skeleton of \(\Delta(\mathcal L)\). Realizable COMs are zonotopally realizable, hence locally realizable, and each face is combinatorially a zonotope [1507.06111].

A stronger arrangement-theoretic model is provided by the Salvetti construction in the conditional setting. For a COM \(L\), the Salvetti poset consists of pairs \((X,T)\) with \(X\le T\) and \(T\) a tope, ordered by
\[
(X,T)\preceq (X',T') \quad\Longleftrightarrow\quad X\le X' \text{ and } X'\circ T = T'.
\]
For an arrangement pair \((A,K)\), the order complex \(|Sal(A,K)|\) is homotopy equivalent to the partial complexified complement \(M(A,K)\), and also to the canonical non-Hausdorff gluing space \(Z(A,K)\):
\[
|Sal(A,K)| \simeq Z(A,K) \simeq M(A,K).
\]
This extends the classical Salvetti theorem from oriented matroids to conditional oriented matroids [2507.06365].

The proof uses a nerve-style argument adapted to a cover that is not necessarily a good cover. For each \((X,T)\), one defines a contractible set \(U_{X,T}\subset Z(A,K)\), and for each point \(z\in Z(A,K)\) the local poset
\[
Sal(A,K)_z := \{(X,T)\in Sal(A,K)\mid z\in U_{X,T}\}
\]
is shown to be isomorphic to a covector poset \(L(A,K_z)\). Since \(|L(A,K_z)|\) is contractible, the local order complexes are contractible, and the resulting homotopy-colimit argument yields \(|Sal(A,K)|\simeq Z(A,K)\) [2507.06365].

The geometry of tope graphs also supports a theory of corners. In the COM setting, corners generalize corners in lopsided sets and simplicial topes in oriented matroids. Realizable COMs, rank \(2\) COMs, and hypercellular graphs admit corner peelings. This identifies broad classes in which the tope graph can be recursively decomposed while staying inside the COM category [2002.11403].

## 6. Algebraic invariants, determinant phenomena, and broader conditionality

COMs support ring-theoretic invariants modeled on the classical Varchenko–Gelfand and Gelfand–Rybnikov constructions. If \(T\) is the set of topes of a COM \(\mathcal L\), the Gelfand–Rybnikov ring is
\[
GR(\mathcal{L})=\{\text{functions }T\to \mathbb{Z}\}.
\]
For each ground-set element \(i\), the Heaviside generators are
\[
h_i^+(X)=
\begin{cases}
1 & X_i=+,\\
0 & X_i=-,
\end{cases}
\qquad
h_i^- = 1-h_i^+.
\]
These generate \(GR(\mathcal L)\), and polynomial degree defines the Heaviside filtration. When \(\mathcal L=\mathcal L(\mathcal A,K)\), this ring is exactly the Varchenko–Gelfand ring \(VG(\mathcal A,K)\) as a filtered ring [2208.04855].

The same paper gives a cohomological interpretation of these constructions. For the arrangement pair \((\mathcal A,K)\), there are canonical isomorphisms
\[
VG(\mathcal{A},K)\cong H^*(M_3(\mathcal{A},K)^T;\mathbb{Z}),
\]
\[
\operatorname{gr}VG(\mathcal{A},K)\cong H^*(M_3(\mathcal{A},K);\mathbb{Z}),
\]
\[
\operatorname{Rees}VG(\mathcal{A},K)\cong H_T^*(M_3(\mathcal{A},K);\mathbb{Z}),
\]
with \(H^*(BT;\mathbb Z)\cong\mathbb Z[u]\). In the purely combinatorial direction, the ring, its associated graded, and its Rees algebra admit circuit-based presentations for arbitrary COMs [2208.04855].

Determinant theory for COMs is less complete, but oriented-matroid results indicate a plausible extension pattern. The Varchenko matrix of an oriented matroid is defined directly from topes and separators,
\[
V_{P,Q}=\prod_{e\in \Sep(P,Q)} U_e,
\]
and its determinant factors over covectors. The proof of the supertope contractibility theorem in that setting uses only covector elimination, and the authors explicitly remark that parts of the argument should extend beyond oriented matroids to COMs, particularly to structures such as closed supertopes without boundary. A plausible implication is that determinant formulas for broader sign-vector systems will depend on having suitable contraction/restriction behavior, a tope-poset topology, and a replacement for the contractibility of supertopes [1805.07183].

COMs also belong to a wider relaxation program in matroidal sign theories. “Modular elimination in matroids and oriented matroids” shows that the oriented elimination axiom need only be imposed on modular pairs of signed circuits, so full elimination is redundant at the level of oriented-matroid circuit axioms [1002.2357]. In a different direction, “Foundations for a theory of complex matroids” replaces signs by phases in \(S^1\cup\{0\}\) and adopts modular elimination because general circuit elimination fails, even for realizable complex matroids [1005.3560]. These developments do not define COMs, but they clarify the role of conditional or restricted elimination in generalized orientation theories.

Taken together, these results place conditional oriented matroids at a junction of sign-vector combinatorics, hyperplane arrangement topology, partial-cube geometry, and filtered algebra. Their distinctive feature is that they preserve local oriented-matroid behavior—especially elimination and face structure—while allowing global asymmetry and the absence of the zero covector. That combination explains both their geometric origin in arrangements restricted to convex regions and their usefulness as a framework for extending oriented-matroid constructions beyond the classical symmetric setting [1507.06111].

Source: https://www.emergentmind.com/topics/conditional-oriented-matroids