Abstract:A matroid $M$ is an ordered pair $(E,I)$, where $E$ is a finite set called the ground set and a collection $I\subset 2^{E}$ called the independent sets which satisfy the conditions: (i) $\emptyset \in I$, (ii) $I'\subset I \in I$ implies $I'\in I$, and (iii) $I_1,I_2 \in I$ and $|I_1| < |I_2|$ implies that there is an $e\in I_2$ such that $I_1\cup \{e\} \in I$. The rank $rank(M)$ of a matroid $M$ is the maximum size of an independent set. We say that a matroid $M=(E,I)$ is representable over the reals if there is a map $\varphi \colon E \rightarrow \mathbb{R}^{rank(M)}$ such that $I\in I$ if and only if $\varphi(I)$ forms a linearly independent set. We study the problem of matroid realizability over the reals. Given a matroid $M$, we ask whether there is a set of points in the Euclidean space representing $M$. We show that matroid realizability is $\exists \mathbb R$-complete, already for matroids of rank 3. The complexity class $\exists \mathbb R$ can be defined as the family of algorithmic problems that is polynomial-time is equivalent to determining if a multivariate polynomial with integers coefficients has a real root. Our methods are similar to previous methods from the literature. Yet, the result itself was never pointed out and there is no proof readily available in the language of computer science.

Realization Spaces of Uniform Phased Matroids

Real phase structures on matroid fans and matroid orientations

Representing Matroids over the Reals is $\exists \mathbb R$-complete

Irreducibility, Smoothness, and Connectivity of Realization Spaces of Matroids and Hyperplane Arrangements

The slack realization space of a matroid

Unavoidable Flats in Matroids Representable over Prime Fields

New Examples of Oriented Matroids with Disconnected Realization Spaces

Solvable and Nilpotent Matroids: Realizability and Irreducible Decomposition of Their Associated Varieties

Characterizing real-representable matroids with large average hyperplane-size

Uniform density in matroids, matrices and graphs

Matrix Approaches to Rough Sets Through Vector Matroids over Fields.

Orientable arithmetic matroids

Regular polygons, line operators, and elliptic modular surfaces as realization spaces of matroids

Patchworking Oriented Matroids

Enumerating Matroids and Linear Spaces

Representability of the direct sum of uniform q-matroids

Oriented matroid structures on rank 3 root systems

A new axiom system for matroids: 1. Uniform matroid recognition

Realizability of matroid quotients

Vertex-shellings of Euclidean Oriented Matroids

Matroids and amplitudes