Abstract:This article studies two notions of generalized matroid representations motivated by algorithmic information theory and cryptographic secret sharing. The first (entropic representability) involves discrete random variables, while the second (almost-multilinear representability) deals with approximate subspace arrangements. In both cases, we prove that determining whether an input matroid has such a representation is undecidable. Consequently, the conditional independence implication problem is also undecidable, providing an independent answer to a question posed by Geiger and Pearl, recently resolved by Cheuk Ting Li. These problems are also closely related to characterizing achievable rates in network coding and constructing secret sharing schemes. For example, another corollary of our work is that deciding whether an access structure admits an ideal secret sharing scheme is undecidable. Our approach reduces undecidable problems from group theory to matroid representation problems. Specifically, we reduce the uniform word problem for finite groups to entropic representability and the word problem for sofic groups to almost-multilinear representability. A key part of this reduction involves modifying group presentations into forms where linear or sofic representations are generic in an appropriate sense when restricted to the generating set.

On the complex-representable excluded minors for real-representability

Computing excluded minors for classes of matroids representable over partial fields

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

The excluded minors for GF(5)-representable matroids on ten elements

There are only a finite number of excluded minors for the class of bicircular matroids

Unavoidable Flats in Matroids Representable over Prime Fields

A Sylvester–Gallai-Type Theorem for Complex-Representable Matroids

Realizability of matroid quotients

Classes of binary matroids with small lists of excluded induced minors

A Sylvester-Gallai-type theorem for complex-representable matroids

Average plane-size in complex-representable matroids

The $9$-connected Excluded Minors for the Class of Quasi-graphic Matroids

The matroid secretary problem for minor-closed classes and random matroids

On complete classes of valuated matroids

Counter Example to a Strong Matroid Minor Conjecture

On entropic and almost multilinear representability of matroids

On the representability of the bi-uniform matroid

The excluded minors for the intersection of bicircular and lattice path matroids

Classification of minimal representations of real simple Lie groups

Lattice Minors and Eulerian Posets