{"id":"https://openalex.org/W7220896123","doi":"https://doi.org/10.48550/arxiv.2610.07968","title":"An independent computer-assisted proof of the Chen-Raspaud conjecture for k=4","display_name":"An independent computer-assisted proof of the Chen-Raspaud conjecture for k=4","publication_year":2026,"publication_date":"2026-10-06","ids":{"openalex":"https://openalex.org/W7220896123","doi":"https://doi.org/10.48550/arxiv.2610.07968"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2610.07968","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.07968","pdf_url":"https://arxiv.org/pdf/2610.07968","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.07968","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5152450750","display_name":"Marysia Nazarczuk","orcid":null,"observed_orcids":[]},"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":true,"raw_author_name":"Nazarczuk, Marysia","raw_affiliation_strings":["Faculty of Mathematics , Informatics and Mechanics University of Warsaw , Poland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Mathematics , Informatics and Mechanics University of Warsaw , Poland","institution_ids":["https://openalex.org/I4654613"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5152450750"],"corresponding_institution_ids":["https://openalex.org/I4654613"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"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.9800000190734863,"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.9800000190734863,"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/T12541","display_name":"Graph Labeling and Dimension Problems","score":0.009499999694526196,"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.0034000000450760126,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/odd-girth","display_name":"odd girth","score":0.8460000157356262},{"id":"https://openalex.org/keywords/minimal-counterexample","display_name":"minimal counterexample","score":0.6729999780654907},{"id":"https://openalex.org/keywords/graph-homomorphisms","display_name":"graph homomorphisms","score":0.5189999938011169}],"concepts":[{"id":"https://openalex.org/C4042151","wikidata":"https://www.wikidata.org/wiki/Q215111","display_name":"Homomorphism","level":2,"score":0.7735000252723694},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7502999901771545},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5924999713897705},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.5849999785423279},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4948999881744385},{"id":"https://openalex.org/C161505775","wikidata":"https://www.wikidata.org/wiki/Q3240280","display_name":"Direct proof","level":2,"score":0.4645000100135803},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4422999918460846},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.3562999963760376},{"id":"https://openalex.org/C175316100","wikidata":"https://www.wikidata.org/wiki/Q3882299","display_name":"Algebra homomorphism","level":3,"score":0.3467999994754791},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.3402000069618225},{"id":"https://openalex.org/C118539577","wikidata":"https://www.wikidata.org/wiki/Q3402784","display_name":"Combinatorial proof","level":2,"score":0.3366999924182892},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.2849999964237213},{"id":"https://openalex.org/C126875415","wikidata":"https://www.wikidata.org/wiki/Q203425","display_name":"Unit circle","level":2,"score":0.258899986743927},{"id":"https://openalex.org/C184264201","wikidata":"https://www.wikidata.org/wiki/Q21199","display_name":"Natural number","level":2,"score":0.25600001215934753},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.25220000743865967}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2610.07968","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.07968","pdf_url":"https://arxiv.org/pdf/2610.07968","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.07968","doi":"https://doi.org/10.48550/arxiv.2610.07968","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2610.07968","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:2610.07968","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.07968","pdf_url":"https://arxiv.org/pdf/2610.07968","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":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7220896123.pdf","grobid_xml":"https://content.openalex.org/works/W7220896123.grobid-xml"},"referenced_works_count":14,"referenced_works":["https://openalex.org/W1996675574","https://openalex.org/W2002373719","https://openalex.org/W2003995429","https://openalex.org/W2045746955","https://openalex.org/W2055371634","https://openalex.org/W2067362800","https://openalex.org/W2069232717","https://openalex.org/W2094122556","https://openalex.org/W2532423618","https://openalex.org/W2559217904","https://openalex.org/W4239687444","https://openalex.org/W4388922880","https://openalex.org/W7171656999","https://openalex.org/W7214029379"],"related_works":["https://openalex.org/W4405783348","https://openalex.org/W4388922880","https://openalex.org/W7203708848","https://openalex.org/W2073826202","https://openalex.org/W7162846542","https://openalex.org/W7211955633","https://openalex.org/W7164141243","https://openalex.org/W6891917014","https://openalex.org/W119897947","https://openalex.org/W4321392568"],"abstract_inverted_index":{"We":[0,14],"give":[1],"an":[2,106],"independent":[3,107],"computer-assisted":[4,87],"proof":[5,37,92],"of":[6,10],"the":[7,11,32,64,91,109,117],"k=4":[8],"case":[9],"Chen-Raspaud":[12],"conjecture.":[13],"prove":[15],"that":[16],"every":[17],"graph":[18,34],"G":[19],"with":[20,42,82],"odd-girth(G)":[21],">=":[22],"9":[23],"and":[24,52,100,113],"mad(G)":[25],"<":[26],"9/4":[27],"admits":[28],"a":[29,39,43,53,80,101],"homomorphism":[30],"to":[31,79],"Kneser":[33],"K(9,4).":[35],"The":[36,86],"combines":[38],"minimal-counterexample":[40],"argument":[41],"rooted":[44],"star":[45],"replacement,":[46],"exact":[47,96],"finite":[48],"computations":[49],"in":[50,90],"K(9,4),":[51],"final":[54],"charging":[55],"argument.":[56],"After":[57],"all":[58],"reducible":[59],"local":[60,67],"types":[61],"are":[62,93],"removed,":[63],"unique":[65],"positive":[66],"type":[68],"is":[69,74],"(3,3,4).":[70],"Its":[71],"unit":[72],"excess":[73],"transferred":[75],"through":[76],"its":[77],"4-thread":[78],"relative":[81],"sufficient":[83],"negative":[84],"capacity.":[85],"statements":[88],"used":[89],"certified":[94],"by":[95],"C++":[97],"bitset":[98],"verifiers,":[99],"separate":[102],"Python":[103],"implementation":[104],"provides":[105],"cross-check;":[108],"complete":[110],"source":[111],"code":[112],"raw":[114],"certificates":[115],"accompany":[116],"manuscript.":[118]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-10-09T00:00:00"}