The paper introduces a new way to represent matroids, which are combinatorial structures that generalize the notion of linear independence from linear algebra. In the new framework, called folded-algebraic representation, each element of a matroid is replaced by a small tuple of algebraic numbers or functions rather than a single one, and the standard measure of algebraic complexity (transcendence degree) matches the matroid's rank after a simple uniform rescaling. This class of matroids sits neatly between two previously studied classes: it contains algebraic matroids (where elements are represented by single algebraic quantities) and folded-linear matroids (a linear analogue of the same folding trick), and it sits inside the broader class of almost-entropic matroids, where rank functions can be approximated by scaled versions of information-theoretic entropy functions from probability and coding theory.
The central technical achievement is a precise characterization of a classical family of matroids called Gordon's matroids, denoted M(p) for each prime p. The authors prove that M(p) can be given a folded-algebraic representation over a field if and only if that field has characteristic p, meaning roughly that arithmetic in the field cycles back to zero after p steps (as in clock arithmetic). This is a striking rigidity result: the algebraic characteristic of the underlying field is completely determined by the matroid itself. Using a geometric construction that glues matroids together by identifying points, the authors then build a specific 13-element matroid called C(2,3) that is almost-entropic but provably not folded-algebraic, which establishes that the containment between these two classes is strict rather than an equality.
The practical consequences extend into the theory of secret sharing, a cryptographic framework where a secret is distributed among participants so that only authorized subsets can reconstruct it. A matroid called a port governs which subsets of participants qualify as authorized. The point-identification construction also yields a 12-participant secret sharing port that simultaneously requires incompatible field characteristics for any folded-algebraic realization, ruling out efficient algebraic secret sharing schemes for that access structure. The paper rounds out by cataloging explicit small examples and size bounds that separate several other representation classes from one another, giving researchers a cleaner map of how these mathematical structures relate.