{"id":"https://openalex.org/W7220650046","doi":"https://doi.org/10.48550/arxiv.2610.05263","title":"A Logic for Minor-Free Graph Classes: Model Checking, Dependence, and Combinatorial Reconfiguration","display_name":"A Logic for Minor-Free Graph Classes: Model Checking, Dependence, and Combinatorial Reconfiguration","publication_year":2026,"publication_date":"2026-10-04","ids":{"openalex":"https://openalex.org/W7220650046","doi":"https://doi.org/10.48550/arxiv.2610.05263"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2610.05263","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.05263","pdf_url":"https://arxiv.org/pdf/2610.05263","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2610.05263","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5000402695","display_name":"Nikolas M\u00e4hlmann","orcid":"https://orcid.org/0000-0003-3657-7736","observed_orcids":["https://orcid.org/0000-0003-3657-7736"]},"institutions":[{"id":"https://openalex.org/I4654613","display_name":"University of Warsaw","ror":"https://ror.org/039bjqg32","country_code":"PL","type":"education","lineage":["https://openalex.org/I4654613"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"M\u00e4hlmann, Nikolas","raw_affiliation_strings":["University of Warsaw , Poland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Warsaw , Poland","institution_ids":["https://openalex.org/I4654613"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004397700","display_name":"Patrice Ossona de Mendez","orcid":"https://orcid.org/0000-0003-0724-3729","observed_orcids":["https://orcid.org/0000-0003-0724-3729"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"de Mendez}, Patrice {Ossona","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043312324","display_name":"Nicole Schirrmacher","orcid":"https://orcid.org/0000-0002-1740-7478","observed_orcids":["https://orcid.org/0000-0002-1740-7478"]},"institutions":[{"id":"https://openalex.org/I180437899","display_name":"University of Bremen","ror":"https://ror.org/04ers2y35","country_code":"DE","type":"education","lineage":["https://openalex.org/I180437899"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Schirrmacher, Nicole","raw_affiliation_strings":["University of Bremen , Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Bremen , Germany","institution_ids":["https://openalex.org/I180437899"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073548944","display_name":"Sebastian Siebertz","orcid":"https://orcid.org/0000-0002-6347-1198","observed_orcids":["https://orcid.org/0000-0002-6347-1198"]},"institutions":[{"id":"https://openalex.org/I180437899","display_name":"University of Bremen","ror":"https://ror.org/04ers2y35","country_code":"DE","type":"education","lineage":["https://openalex.org/I180437899"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Siebertz, Sebastian","raw_affiliation_strings":["University of Bremen , Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Bremen , Germany","institution_ids":["https://openalex.org/I180437899"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070659804","display_name":"Giannos Stamoulis","orcid":"https://orcid.org/0000-0002-4175-7793","observed_orcids":["https://orcid.org/0000-0002-4175-7793"]},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]},{"id":"https://openalex.org/I4210117673","display_name":"Institut de Recherche en Informatique Fondamentale","ror":"https://ror.org/02krdtz55","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I204730241","https://openalex.org/I4210089394","https://openalex.org/I4210117673","https://openalex.org/I4210139971"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Stamoulis, Giannos","raw_affiliation_strings":["Universit\u00e9 Paris Cit\u00e9 , CNRS , IRIF , F-75013 , Paris , France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 Paris Cit\u00e9 , CNRS , IRIF , F-75013 , Paris , France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I204730241","https://openalex.org/I4210117673"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085447779","display_name":"Dimitrios M. Thilikos","orcid":"https://orcid.org/0000-0003-0470-1800","observed_orcids":["https://orcid.org/0000-0003-0470-1800"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Thilikos, {Dimitrios M. }","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5016804612","display_name":"Alexandre Vigny","orcid":"https://orcid.org/0000-0002-4298-8876","observed_orcids":["https://orcid.org/0000-0002-4298-8876"]},"institutions":[{"id":"https://openalex.org/I198244214","display_name":"Universit\u00e9 Clermont Auvergne","ror":"https://ror.org/01a8ajp46","country_code":"FR","type":"education","lineage":["https://openalex.org/I198244214"]},{"id":"https://openalex.org/I4210099416","display_name":"Laboratoire d'Informatique, de Mod\u00e9lisation et d'Optimisation des Syst\u00e8mes","ror":"https://ror.org/00t3fpp34","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I198244214","https://openalex.org/I203339264","https://openalex.org/I205703379","https://openalex.org/I3019848993","https://openalex.org/I4210099416","https://openalex.org/I4210123221","https://openalex.org/I4210159245","https://openalex.org/I4387154249"]},{"id":"https://openalex.org/I4387154552","display_name":"Institut national du patrimoine","ror":"https://ror.org/03c2nxn64","country_code":"FR","type":"archive","lineage":["https://openalex.org/I4387154552"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Vigny, Alexandre","raw_affiliation_strings":["INP , France","LIMOS , Univ Clermont Auvergne , Clermont Auvergne"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INP , France","institution_ids":["https://openalex.org/I4387154552"]},{"raw_affiliation_string":"LIMOS , Univ Clermont Auvergne , Clermont Auvergne","institution_ids":["https://openalex.org/I198244214","https://openalex.org/I4210099416"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":8,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11329","display_name":"Limits and Structures in Graph Theory","score":0.0003000000142492354,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.0003000000142492354,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/graph-minors","display_name":"graph minors","score":0.7160000205039978},{"id":"https://openalex.org/keywords/twin-width","display_name":"twin-width","score":0.6729999780654907},{"id":"https://openalex.org/keywords/hadwiger-number","display_name":"Hadwiger number","score":0.8669999837875366},{"id":"https://openalex.org/keywords/model-checking","display_name":"model checking","score":0.8059999942779541},{"id":"https://openalex.org/keywords/graph-expansion","display_name":"graph expansion","score":0.6840000152587891},{"id":"https://openalex.org/keywords/database-queries","display_name":"database queries","score":0.7289999723434448}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.65829998254776},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6327999830245972},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.6136999726295471},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5085999965667725},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.39899998903274536},{"id":"https://openalex.org/C2834757","wikidata":"https://www.wikidata.org/wiki/Q4925424","display_name":"Monotone polygon","level":2,"score":0.3869999945163727},{"id":"https://openalex.org/C101837359","wikidata":"https://www.wikidata.org/wiki/Q547823","display_name":"Planar graph","level":3,"score":0.3790999948978424},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.3610999882221222},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.351500004529953},{"id":"https://openalex.org/C119701452","wikidata":"https://www.wikidata.org/wiki/Q5165881","display_name":"Control reconfiguration","level":2,"score":0.3287999927997589},{"id":"https://openalex.org/C5737132","wikidata":"https://www.wikidata.org/wiki/Q1101814","display_name":"Clique-width","level":5,"score":0.31610000133514404},{"id":"https://openalex.org/C203776342","wikidata":"https://www.wikidata.org/wiki/Q1378376","display_name":"Line graph","level":3,"score":0.29649999737739563},{"id":"https://openalex.org/C43517604","wikidata":"https://www.wikidata.org/wiki/Q7144893","display_name":"Pathwidth","level":4,"score":0.29269999265670776},{"id":"https://openalex.org/C146380142","wikidata":"https://www.wikidata.org/wiki/Q1137726","display_name":"Directed graph","level":2,"score":0.25999999046325684},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.2572999894618988},{"id":"https://openalex.org/C13251829","wikidata":"https://www.wikidata.org/wiki/Q3085841","display_name":"Dense graph","level":5,"score":0.2563999891281128},{"id":"https://openalex.org/C128067373","wikidata":"https://www.wikidata.org/wiki/Q1415372","display_name":"Path graph","level":5,"score":0.25060001015663147}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2610.05263","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.05263","pdf_url":"https://arxiv.org/pdf/2610.05263","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2610.05263","doi":"https://doi.org/10.48550/arxiv.2610.05263","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2610.05263","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2610.05263","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.05263","pdf_url":"https://arxiv.org/pdf/2610.05263","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G1136415967","display_name":"PIQ","funder_award_id":"ANR-24-RRII-0002","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G1302621641","display_name":"Unifying Theories for Multivariate Algorithms","funder_award_id":"ANR-20-CE92-0027","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G2601637665","display_name":null,"funder_award_id":"810115","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G3994523055","display_name":"Ordered graphs, decompositions, algorithms and structures","funder_award_id":"ANR-24-CE48-4377","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G5296751580","display_name":null,"funder_award_id":"ANR-20","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G7089885606","display_name":"Verallgemeinernde Prinzipien f\u00fcr multivariate Algorithmen","funder_award_id":"446200270","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7220650046.pdf","grobid_xml":"https://content.openalex.org/works/W7220650046.grobid-xml"},"referenced_works_count":5,"referenced_works":["https://openalex.org/W3141750800","https://openalex.org/W4406231079","https://openalex.org/W4415963533","https://openalex.org/W7125503868","https://openalex.org/W7143357255"],"related_works":["https://openalex.org/W2165223420","https://openalex.org/W4399889778","https://openalex.org/W6996582924","https://openalex.org/W7152048472","https://openalex.org/W4225332064","https://openalex.org/W2126513401","https://openalex.org/W7165137869","https://openalex.org/W3023264700","https://openalex.org/W7214005105","https://openalex.org/W3183116209"],"abstract_inverted_index":{"We":[0,113,200,247],"introduce":[1],"\\emph{sub-connectivity":[2],"logic},":[3],"denoted":[4],"by":[5,34,73,122,265],"$\\textsf{FOscon}$,":[6],"an":[7,102,120,158],"extension":[8,261],"of":[9,19,40,65,68,128,167,262],"first-order":[10,117],"logic":[11,118],"for":[12,55,145,203,218],"graphs":[13,69],"with":[14,135,147,179],"a":[15,35,88,95,123,141,189,227,238,259],"specified":[16],"set":[17],"$Z$":[18,41],"admissible":[20],"edges.":[21],"Its":[22],"additional":[23,103],"atom":[24],"$\\textsf{scon}(x,y;\\bar":[25],"z)$":[26],"asserts":[27],"that":[28,106,202,233],"$x$":[29],"and":[30,42,82,161,171,221,253,257],"$y$":[31],"are":[32],"connected":[33],"path":[36],"using":[37],"only":[38,83,222],"edges":[39],"avoiding":[43],"the":[44,63,129,164,180,185,211],"vertices":[45],"in":[46,70,110],"$\\bar":[47],"z$.":[48],"Our":[49],"main":[50],"structural":[51,137],"result":[52,241],"states":[53],"that,":[54],"every":[56,204],"weakly":[57,205],"sparse":[58,206],"graph":[59,190,207],"class":[60,64,191,208,212],"$\\mathscr":[61,71,85,92,192,195,209,213,224],"C$,":[62,210],"all":[66],"expansions":[67],"C$":[72,86,93,193,225],"rooted":[74],"spanning":[75,125],"forest":[76,126],"orders":[77],"has":[78],"bounded":[79,108],"twin-width":[80,109],"if":[81,84,220,223],"excludes":[87,94,226],"fixed":[89,96,228],"minor.":[90,229],"When":[91],"minor,":[97],"we":[98,139],"can":[99],"also":[100],"compute":[101],"linear":[104],"order":[105,127],"preserves":[107],"polynomial":[111],"time.":[112],"translate":[114],"$\\textsf{FOscon}$":[115,146,219,263],"into":[116],"over":[119],"expansion":[121],"depth-first":[124],"admissible-edge":[130],"graph.":[131,187],"Combining":[132],"this":[133,243],"translation":[134,170],"our":[136],"result,":[138],"obtain":[140],"model":[142],"checking":[143],"algorithm":[144,173],"running":[148],"time":[149],"$f(|\u03d5|,h(G))\\cdot":[150],"|G|^c$,":[151],"where":[152],"$f$":[153],"is":[154,157,163,215],"computable,":[155],"$c$":[156],"absolute":[159],"constant,":[160],"$h(G)$":[162],"Hadwiger":[165,181],"number":[166,182],"$G$.":[168],"The":[169],"model-checking":[172],"extend":[174],"to":[175,250],"binary":[176],"relational":[177],"structures,":[178],"measured":[183],"on":[184],"Gaifman":[186],"For":[188,230],"let":[194],"C_Z:=\\{(G,Z):G\\in\\mathscr":[196],"C,\\":[197],"Z\\subseteq":[198],"E(G)\\}$.":[199],"show":[201],"C_Z$":[214],"monadically":[216],"dependent":[217],"monotone":[231],"classes":[232],"admit":[234],"efficient":[235],"minor":[236],"encodings,":[237],"corresponding":[239],"hardness":[240],"makes":[242],"frontier":[244],"computationally":[245],"tight.":[246],"give":[248],"applications":[249],"combinatorial":[251],"reconfiguration":[252],"solution":[254],"discovery":[255],"problems,":[256],"study":[258],"guarded":[260],"motivated":[264],"database":[266],"queries.":[267]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-10-07T00:00:00"}