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...
Saved in:
| Published in: | 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) pp. 678 - 690 |
|---|---|
| Main Authors: | , , , , |
| Format: | Conference Proceeding |
| Language: | English |
| Published: |
IEEE
23.06.2025
|
| Subjects: | |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract | 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. |
|---|---|
| AbstractList | 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. |
| Author | Oum, Sang-il Guillon, Bruno Kim, Eun Jung Campbell, Rutger Kante, Mamadou Moustapha |
| Author_xml | – sequence: 1 givenname: Rutger surname: Campbell fullname: Campbell, Rutger email: rutger@ibs.re.kr organization: Institute for Basic Science,Discrete Mathematics Group,Daejeon,Korea – sequence: 2 givenname: Bruno surname: Guillon fullname: Guillon, Bruno email: bruno.guillon@uca.fr organization: Université Clermont Auvergne,Clermont Auvergne INP, LIMOS, CNRS,Clermont-Ferrand,France – sequence: 3 givenname: Mamadou Moustapha surname: Kante fullname: Kante, Mamadou Moustapha email: mamadou.kante@uca.fr organization: Université Clermont Auvergne,Clermont Auvergne INP, LIMOS, CNRS,Clermont-Ferrand,France – sequence: 4 givenname: Eun Jung surname: Kim fullname: Kim, Eun Jung email: eunjung.kim@kaist.ac.kr organization: Institute for Basic Science,School of Computing, KAIST and Discrete Mathematics Group,Daejeon,Korea – sequence: 5 givenname: Sang-il surname: Oum fullname: Oum, Sang-il email: sangil@ibs.re.kr organization: Institute for Basic Science,Discrete Mathematics Group,Daejeon,Korea |
| BookMark | eNo1zL1OwzAUQGEjwQClb9DBL5Dgv9jxCKWllYJApRITqm7ia2IpOCVxh7w9lYDpSN9wbshl7CMSsuAs55zZu2q7fNOFkjIXTBQ5Y6wwF2RujS2l5IWxZ7gmHzts-s8YRqhDF9JEV98n6Eb6iD7Ef_P9QNchhoTdRHd4HHDEmKDukD5DGvrgRtp7-tCfokNHXyG12Xtwqb0lV_58w_lfZ2S_Xu2Xm6x6edou76us5cKkjGtmjWqaWttGgQKrmUAvSgXgPJfeaGsFgK8L3ShXQ4nAmNMl4w04U8gZWfxuAyIejkP4gmE6cM5LLaWSPyCKUrc |
| CODEN | IEEPAD |
| ContentType | Conference Proceeding |
| DBID | 6IE 6IH CBEJK RIE RIO |
| DOI | 10.1109/LICS65433.2025.00057 |
| DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Proceedings Order Plan (POP) 1998-present by volume IEEE Xplore All Conference Proceedings IEEE Electronic Library (IEL) IEEE Proceedings Order Plans (POP) 1998-present |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 9798331579005 |
| EndPage | 690 |
| ExternalDocumentID | 11186334 |
| Genre | orig-research |
| GroupedDBID | 6IE 6IH CBEJK RIE RIO |
| ID | FETCH-LOGICAL-h127t-160974ccb69c4a4a9602ef284aadf13f76992aafb56c4dba8ea00d6801cad753 |
| IEDL.DBID | RIE |
| IngestDate | Wed Oct 29 06:13:32 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | true |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-h127t-160974ccb69c4a4a9602ef284aadf13f76992aafb56c4dba8ea00d6801cad753 |
| PageCount | 13 |
| ParticipantIDs | ieee_primary_11186334 |
| PublicationCentury | 2000 |
| PublicationDate | 2025-June-23 |
| PublicationDateYYYYMMDD | 2025-06-23 |
| PublicationDate_xml | – month: 06 year: 2025 text: 2025-June-23 day: 23 |
| PublicationDecade | 2020 |
| PublicationTitle | 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) |
| PublicationTitleAbbrev | LICS |
| PublicationYear | 2025 |
| Publisher | IEEE |
| Publisher_xml | – name: IEEE |
| Score | 2.302356 |
| Snippet | 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... |
| SourceID | ieee |
| SourceType | Publisher |
| StartPage | 678 |
| SubjectTerms | branch-width Computer science decomposition-width definability Galois fields Logic matroid monadic second-order logic path-width recognisability transduction |
| Title | Recognisability Equals Definability for Finitely Representable Matroids of Bounded Path-Width |
| URI | https://ieeexplore.ieee.org/document/11186334 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LSwMxGAy2ePDkq-KbHLzG7mazSfZqbVGopdSCvUjJ4wtdKK20W6H_3mR3q3jw4C3kEkgI882XmQxCd5pR54HOEe5SSZiveYlyjJPYGsMESCar1JK-GAzkZJINa7N66YUBgFJ8BvdhWL7l26XZhFZZ299LyZOENVBDCF6ZtWo7XBxl7f5z5zVYJRNP-2holUTp79CUEjN6h_9c7Qi1ftx3ePiNK8doDxYn6HAXv4Dr23iK3keV-Kf6JLfY4m5wSK7xI7jgiKrmfE2Ke3koLOdbPCplr0EtrueAX0IbPLdrvHT4IaQrgcVDXxCSt9wWsxYa97rjzhOp0xLILKaiIDGPPDcwRvPMMMWUpyYUnEcfpayLEyd4llGlnE65YVYrCSqKLPcIZZT1pOUMNRfLBZwjDNZxYTX1PFsz7kBxmbooYZammjohL1Ar7Nb0o_oPY7rbqMs_5q_QQTiQILCiyTVqFqsN3KB981nk69VteYpfnT2h0Q |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LSwMxGAxaBT3VR8W3OXiNZrPZbPZqbWlxW0ot2IuUPOlCaaXdCv33JrtbxYMHbyGXQEKYb77MZAC4l5RYB3QWMRtxRF3Ni4SlDAVaKRobTnmZWpLG_T4fj5NBZVYvvDDGmEJ8Zh78sHjL1wu19q2yR3cvOQtDugv2IkoJLu1alSEuwMlj2m2-erNk6Igf8c0SHP2OTSlQo13_53pHoPHjv4ODb2Q5BjtmfgLq2wAGWN3HU_A-LOU_5Te5-Qa2vEdyBZ-N9Z6ocs5VpbCd-dJytoHDQvjq9eJyZmDPN8IzvYILC598vpLRcOBKQvSW6XzaAKN2a9TsoCovAU0DEucoYNixA6UkSxQVVDhyQox1-COEtkFoY5YkRAgrI6aoloIbgbFmDqOU0I62nIHafDE35wAabVmsJXFMW1JmjWA8sjikmkSS2JhfgIbfrclH-SPGZLtRl3_M34GDzqiXTtJu_-UKHPrD8XIrEl6DWr5cmxuwrz7zbLW8LU70CzIkpRg |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=2025+40th+Annual+ACM%2FIEEE+Symposium+on+Logic+in+Computer+Science+%28LICS%29&rft.atitle=Recognisability+Equals+Definability+for+Finitely+Representable+Matroids+of+Bounded+Path-Width&rft.au=Campbell%2C+Rutger&rft.au=Guillon%2C+Bruno&rft.au=Kante%2C+Mamadou+Moustapha&rft.au=Kim%2C+Eun+Jung&rft.date=2025-06-23&rft.pub=IEEE&rft.spage=678&rft.epage=690&rft_id=info:doi/10.1109%2FLICS65433.2025.00057&rft.externalDocID=11186334 |