Table of Contents
Fetching ...

Optimizing Extension Techniques for Discovering Non-Algebraic Matroids

Michael Bamiloshin, Oriol Farràs

TL;DR

This work refines combinatorial and information-theoretic tools for distinguishing non-algebraic matroids by optimizing Dress-Lovász and Ahlswede-Körner extension techniques. It reduces AK/DL computations through flats-based checks and LP formulations, enabling discovery of new non-algebraic matroids on 9–10 points and yielding improved lower bounds for secret-sharing ports. The results advance matroid classification beyond Frobenius-flock methods, expanding the landscape of non-algebraic and non-almost-entropic matroids with concrete computational methods. Practically, the enhanced AK-based LP approach yields tighter information-ratio bounds for secret sharing, with implications for constructing and evaluating information-theoretic access structures. The work also provides open-source tooling to reproduce and extend these findings.

Abstract

In this work, we revisit some combinatorial and information-theoretic extension techniques for detecting non-algebraic matroids. These are the Dress-Lovász and Ahlswede-Körner extension properties. We provide optimizations of these techniques to reduce their computational complexity, finding new non-algebraic matroids on 9 and 10 points. In addition, we use the Ahlswede-Körner extension property to find better lower bounds on the information ratio of secret sharing schemes for ports of non-algebraic matroids.

Optimizing Extension Techniques for Discovering Non-Algebraic Matroids

TL;DR

This work refines combinatorial and information-theoretic tools for distinguishing non-algebraic matroids by optimizing Dress-Lovász and Ahlswede-Körner extension techniques. It reduces AK/DL computations through flats-based checks and LP formulations, enabling discovery of new non-algebraic matroids on 9–10 points and yielding improved lower bounds for secret-sharing ports. The results advance matroid classification beyond Frobenius-flock methods, expanding the landscape of non-algebraic and non-almost-entropic matroids with concrete computational methods. Practically, the enhanced AK-based LP approach yields tighter information-ratio bounds for secret sharing, with implications for constructing and evaluating information-theoretic access structures. The work also provides open-source tooling to reproduce and extend these findings.

Abstract

In this work, we revisit some combinatorial and information-theoretic extension techniques for detecting non-algebraic matroids. These are the Dress-Lovász and Ahlswede-Körner extension properties. We provide optimizations of these techniques to reduce their computational complexity, finding new non-algebraic matroids on 9 and 10 points. In addition, we use the Ahlswede-Körner extension property to find better lower bounds on the information ratio of secret sharing schemes for ports of non-algebraic matroids.
Paper Structure (17 sections, 23 theorems, 21 equations, 1 table, 5 algorithms)

This paper contains 17 sections, 23 theorems, 21 equations, 1 table, 5 algorithms.

Key Result

Theorem 3.1

DrLo87 Let $\mathcal{M}=(Q,r)$ be a full algebraic matroid. Then for every pair of flats $X,Y\subseteq Q$ of $\mathcal{M}$, there exists a flat $T\subseteq X$ such that, for every flat $X'$ contained in $X$, Moreover, $X$ and $Y$ are modular if and only if $T=X\cap Y$.

Theorems & Definitions (56)

  • Definition 2.1
  • Definition 2.2
  • Definition 2.3
  • Definition 2.4
  • Theorem 3.1
  • Definition 3.2
  • Lemma 3.3
  • proof
  • Definition 3.4
  • Definition 3.5
  • ...and 46 more