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.

Most $q$-matroids are not representable

Representability of the direct sum of uniform q-matroids

Representability of orthogonal matroids over partial fields

The cyclic flats of a q-matroid

The direct sum of q-matroids

Unavoidable Flats in Matroids Representable over Prime Fields

Chow rings and augmented Chow rings of uniform matroids and their $q$-analogs

On entropic and almost multilinear representability of matroids

The Critical Theorem for q-Polymatroids

A q-analogue of delta-matroids and related concepts

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

The irreducible representations of the coordinate ring of the quantum matrix space

Critical Problem for a q-analogue of polymatroids

Alternatives for the $q$-matroid axioms of independent spaces, bases, and spanning spaces

Locally free representations of quivers over commutative Frobenius algebras

Evolution of random representable matroids: minors, circuits, connectivity and the critical number

Invariants of Tutte Partitions and a $q$-Analogue

Generalized rank functions and quilts of alternating sign matrices

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

$q$-Independence of the $C^{*}$-algebra of "Continuous Functions" on a Quantum $2\times 2$-Matrix Ball

An Intersection Matrix for Affine Hyperplane Arrangements