{"id":"https://openalex.org/W7214151007","doi":"https://doi.org/10.48550/arxiv.2609.28102","title":"Biplanar graphs with independence number two are 9-colorable","display_name":"Biplanar graphs with independence number two are 9-colorable","publication_year":2026,"publication_date":"2026-09-23","ids":{"openalex":"https://openalex.org/W7214151007","doi":"https://doi.org/10.48550/arxiv.2609.28102"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.28102","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.28102","pdf_url":"https://arxiv.org/pdf/2609.28102","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/2609.28102","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037092803","display_name":"Stefan Szeider","orcid":"https://orcid.org/0000-0001-8994-1656","observed_orcids":["https://orcid.org/0000-0001-8994-1656"]},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Szeider, Stefan","raw_affiliation_strings":["Algorithms and Complexity Group TU Wien , Vienna , Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Algorithms and Complexity Group TU Wien , Vienna , Austria","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5037092803"],"corresponding_institution_ids":["https://openalex.org/I145847075"],"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.9785000085830688,"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.9785000085830688,"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.01679999940097332,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.000699999975040555,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/chromatic-number","display_name":"chromatic number","score":0.828000009059906},{"id":"https://openalex.org/keywords/independence-number","display_name":"independence number","score":0.6629999876022339},{"id":"https://openalex.org/keywords/planar-graphs","display_name":"planar graphs","score":0.6970000267028809},{"id":"https://openalex.org/keywords/lean-4-formal-verification","display_name":"Lean 4 formal verification","score":0.7480000257492065}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7328000068664551},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.7217000126838684},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.567300021648407},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.42800000309944153},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4154999852180481},{"id":"https://openalex.org/C80899671","wikidata":"https://www.wikidata.org/wiki/Q1304193","display_name":"Vertex (graph theory)","level":3,"score":0.40880000591278076},{"id":"https://openalex.org/C167750561","wikidata":"https://www.wikidata.org/wiki/Q1789512","display_name":"Critical graph","level":5,"score":0.3894999921321869},{"id":"https://openalex.org/C2984853995","wikidata":"https://www.wikidata.org/wiki/Q1060343","display_name":"Independence number","level":3,"score":0.3824999928474426},{"id":"https://openalex.org/C17758045","wikidata":"https://www.wikidata.org/wiki/Q2642629","display_name":"Multigraph","level":3,"score":0.3808000087738037},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.34360000491142273},{"id":"https://openalex.org/C168291704","wikidata":"https://www.wikidata.org/wiki/Q902252","display_name":"Complement graph","level":5,"score":0.34310001134872437},{"id":"https://openalex.org/C156340839","wikidata":"https://www.wikidata.org/wiki/Q2704791","display_name":"Enumeration","level":2,"score":0.31529998779296875},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.3021000027656555},{"id":"https://openalex.org/C196956537","wikidata":"https://www.wikidata.org/wiki/Q202021","display_name":"Chromatic scale","level":2,"score":0.2996000051498413},{"id":"https://openalex.org/C101837359","wikidata":"https://www.wikidata.org/wiki/Q547823","display_name":"Planar graph","level":3,"score":0.2937000095844269},{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.26010000705718994},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.2517000138759613}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.28102","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.28102","pdf_url":"https://arxiv.org/pdf/2609.28102","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.2609.28102","doi":"https://doi.org/10.48550/arxiv.2609.28102","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.28102","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2609.28102","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.28102","pdf_url":"https://arxiv.org/pdf/2609.28102","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/G5616752688","display_name":"Alternating Symmetry-Breaking Combinatorial Search with SAT","funder_award_id":"P 36688","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G9000355051","display_name":null,"funder_award_id":"10.55776/P36688","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7214151007.pdf","grobid_xml":"https://content.openalex.org/works/W7214151007.grobid-xml"},"referenced_works_count":35,"referenced_works":["https://openalex.org/W1979858320","https://openalex.org/W1983688799","https://openalex.org/W1985000598","https://openalex.org/W1990600049","https://openalex.org/W1999227640","https://openalex.org/W2023894060","https://openalex.org/W2036037092","https://openalex.org/W2047095042","https://openalex.org/W2072612858","https://openalex.org/W2166226944","https://openalex.org/W2564212270","https://openalex.org/W2887773522","https://openalex.org/W2898118195","https://openalex.org/W2980270303","https://openalex.org/W2981188613","https://openalex.org/W3048509133","https://openalex.org/W3178506813","https://openalex.org/W4231490970","https://openalex.org/W4233756358","https://openalex.org/W4250405963","https://openalex.org/W4315630258","https://openalex.org/W4322493954","https://openalex.org/W4366677950","https://openalex.org/W4393854882","https://openalex.org/W4399509059","https://openalex.org/W4400973078","https://openalex.org/W4414988634","https://openalex.org/W6947834766","https://openalex.org/W7167054941","https://openalex.org/W7168643262","https://openalex.org/W7168653108","https://openalex.org/W7170152082","https://openalex.org/W7204117328","https://openalex.org/W7214156670","https://openalex.org/W7223755906"],"related_works":["https://openalex.org/W7204223152","https://openalex.org/W7206191636","https://openalex.org/W7204280229","https://openalex.org/W1688988520","https://openalex.org/W7197044778","https://openalex.org/W3134975538","https://openalex.org/W2522936145","https://openalex.org/W1527539497","https://openalex.org/W4229556083","https://openalex.org/W3048509133"],"abstract_inverted_index":{"A":[0],"graph":[1,25,49,73,87],"is":[2,6,26,94,139,175],"biplanar":[3,24,48,86],"if":[4],"it":[5,78],"the":[7,14,103,114,123,147,164,167,170,190,194],"union":[8,104],"of":[9,22,105,125,137,163,169],"two":[10,106],"planar":[11,185],"graphs":[12,116],"on":[13,50,157,199],"same":[15],"vertex":[16],"set.":[17],"The":[18,34,96,160,187],"largest":[19],"chromatic":[20,59],"number":[21,44,55,60,90],"a":[23,47,72,99,119,127,132,141,143],"known":[27],"to":[28,150],"lie":[29],"between":[30],"9":[31],"and":[32,46,65,81,129,153,172,193],"12.":[33],"lower":[35],"bound":[36],"comes":[37],"from":[38],"Sulanke's":[39],"graph,":[40],"which":[41],"has":[42],"independence":[43,54,89],"2,":[45],"19":[51],"vertices":[52],"with":[53,88,110,131],"2":[56,93],"would":[57],"have":[58],"at":[61,91],"least":[62],"10.":[63],"Gethner":[64],"Sulanke":[66],"asked":[67],"in":[68,102,177],"2009":[69],"whether":[70],"such":[71,126,140],"exists.":[74],"We":[75],"show":[76],"that":[77,84,117,135],"does":[79],"not,":[80],"more":[82],"generally":[83],"every":[85,173],"most":[92],"9-colorable.":[95],"proof":[97],"embeds":[98],"hypothetical":[100],"counterexample":[101],"sphere":[107],"triangulations,":[108],"enumerates":[109],"SAT":[111,133,191],"modulo":[112],"symmetries":[113],"3271":[115],"pass":[118],"necessary":[120],"filter":[121],"for":[122],"complement":[124],"union,":[128],"shows":[130],"solver":[134],"none":[136],"them":[138],"complement;":[142],"matching":[144],"argument":[145],"reduces":[146],"general":[148],"statement":[149],"this":[151],"computation":[152],"one":[154],"further":[155],"case":[156],"18":[158],"vertices.":[159],"computational":[161],"part":[162],"proof,":[165],"including":[166],"completeness":[168],"enumeration":[171,195],"refutation,":[174],"checked":[176],"Lean":[178,188],"4,":[179],"assuming":[180],"three":[181],"classical":[182],"facts":[183],"about":[184],"graphs.":[186],"development,":[189],"instances,":[192],"certificates":[196],"are":[197],"available":[198],"Zenodo.":[200]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-09-25T00:00:00"}