Recognisability Equals Definability for Finitely Representable Matroids of Bounded Path-Width

Let {\mathbb{F}} be a finite field. We prove that there is an MSO-transduction which, given an {\mathbb{F}}-representable matroid of path-width k, produces a branch-decomposition of width at most f(k), for some function f. As a corollary, any recognizable property of {\mathbb{F}}-representable matro...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) S. 678 - 690
Hauptverfasser: Campbell, Rutger, Guillon, Bruno, Kante, Mamadou Moustapha, Kim, Eun Jung, Oum, Sang-il
Format: Tagungsbericht
Sprache:Englisch
Veröffentlicht: IEEE 23.06.2025
Schlagworte:
branch-width
Computer science
decomposition-width
definability
Galois fields
Logic
matroid
monadic second-order logic
path-width
recognisability
transduction
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Let {\mathbb{F}} be a finite field. We prove that there is an MSO-transduction which, given an {\mathbb{F}}-representable matroid of path-width k, produces a branch-decomposition of width at most f(k), for some function f. As a corollary, any recognizable property of {\mathbb{F}}-representable matroids with bounded path-width is definable in MSO logic, and therefore recognizability is equivalent to MSO-definability on classes of {\mathbb{F}}-representable matroids of bounded path-width. This generalizes the result of Bojańczyk, Grohe and Pilipczuk [Logical Methods in Computer Science 17(1), 2021] which asserts the equivalence of the two notions on graphs of bounded linear clique-width.
DOI:10.1109/LICS65433.2025.00057