{"id":"https://openalex.org/W7224995055","doi":"https://doi.org/10.5281/zenodo.23846708","title":"A certified re-check that every cubic bipartite graph on at most 68 vertices has a cycle of length 4, 8 or 16 (not new; a witness-checked recomputation)","display_name":"A certified re-check that every cubic bipartite graph on at most 68 vertices has a cycle of length 4, 8 or 16 (not new; a witness-checked recomputation)","publication_year":2026,"publication_date":"2026-10-31","ids":{"openalex":"https://openalex.org/W7224995055","doi":"https://doi.org/10.5281/zenodo.23846708"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23846708","doi":"https://doi.org/10.5281/zenodo.23846708","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23846708","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.23846708","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5136896505","display_name":"Xavier Callens","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Callens, Xavier","raw_affiliation_strings":["SocrateAI Lab"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SocrateAI Lab","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5136896505"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"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/T11329","display_name":"Limits and Structures in Graph Theory","score":0.6366999745368958,"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"}},"topics":[{"id":"https://openalex.org/T11329","display_name":"Limits and Structures in Graph Theory","score":0.6366999745368958,"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/T10374","display_name":"Advanced Graph Theory Research","score":0.33980000019073486,"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/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.0031999999191612005,"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/cubic-bipartite-graphs","display_name":"cubic bipartite graphs","score":0.968999981880188},{"id":"https://openalex.org/keywords/cycle-length","display_name":"cycle length","score":0.45100000500679016},{"id":"https://openalex.org/keywords/4-cycles","display_name":"4-cycles","score":0.8119999766349792},{"id":"https://openalex.org/keywords/berge-cycles","display_name":"Berge cycles","score":0.625},{"id":"https://openalex.org/keywords/linear-configuration","display_name":"linear configuration","score":0.5450000166893005},{"id":"https://openalex.org/keywords/exhaustive-search","display_name":"exhaustive search","score":0.6449999809265137},{"id":"https://openalex.org/keywords/erdos-gyarfas-conjecture","display_name":"Erd\u0151s\u2013Gy\u00e1rf\u00e1s conjecture","score":0.8360000252723694},{"id":"https://openalex.org/keywords/graph-enumeration","display_name":"graph enumeration","score":0.49799999594688416},{"id":"https://openalex.org/keywords/independent-auditing","display_name":"independent audit","score":0.32600000500679016},{"id":"https://openalex.org/keywords/sha-256-hash-verification","display_name":"SHA-256 hash verification","score":0.6449999809265137},{"id":"https://openalex.org/keywords/nauty","display_name":"nauty","score":0.31700000166893005}],"concepts":[{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.8328999876976013},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6714000105857849},{"id":"https://openalex.org/C197657726","wikidata":"https://www.wikidata.org/wiki/Q174733","display_name":"Bipartite graph","level":3,"score":0.6697999835014343},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.5314000248908997},{"id":"https://openalex.org/C100500283","wikidata":"https://www.wikidata.org/wiki/Q1374495","display_name":"Cubic graph","level":5,"score":0.506600022315979},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5040000081062317},{"id":"https://openalex.org/C87431388","wikidata":"https://www.wikidata.org/wiki/Q2070573","display_name":"Perfect hash function","level":4,"score":0.43689998984336853},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4050999879837036},{"id":"https://openalex.org/C134119311","wikidata":"https://www.wikidata.org/wiki/Q913598","display_name":"Complete bipartite graph","level":4,"score":0.37040001153945923},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.3571000099182129},{"id":"https://openalex.org/C2777759810","wikidata":"https://www.wikidata.org/wiki/Q149316","display_name":"Lemma (botany)","level":3,"score":0.3343999981880188},{"id":"https://openalex.org/C76444178","wikidata":"https://www.wikidata.org/wiki/Q72897900","display_name":"Connectivity","level":3,"score":0.3165999948978424},{"id":"https://openalex.org/C86524685","wikidata":"https://www.wikidata.org/wiki/Q273037","display_name":"Hamiltonian path","level":3,"score":0.3082999885082245},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.2935999929904938},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.2651999890804291},{"id":"https://openalex.org/C130367717","wikidata":"https://www.wikidata.org/wiki/Q189791","display_name":"Diagonal","level":2,"score":0.2639999985694885},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.2635999917984009},{"id":"https://openalex.org/C99138194","wikidata":"https://www.wikidata.org/wiki/Q183427","display_name":"Hash function","level":2,"score":0.2630999982357025},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.2583000063896179},{"id":"https://openalex.org/C200597783","wikidata":"https://www.wikidata.org/wiki/Q4391289","display_name":"Edge-transitive graph","level":5,"score":0.2572000026702881}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.23846708","doi":"https://doi.org/10.5281/zenodo.23846708","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23846708","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},{"id":"doi:10.5281/zenodo.23846709","doi":"https://doi.org/10.5281/zenodo.23846709","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23846709","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":"doi:10.5281/zenodo.23846708","doi":"https://doi.org/10.5281/zenodo.23846708","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23846708","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":2,"referenced_works":["https://openalex.org/W7171789760","https://openalex.org/W7223731086"],"related_works":["https://openalex.org/W7172490922","https://openalex.org/W7125919285","https://openalex.org/W7212354238","https://openalex.org/W7172411095","https://openalex.org/W1997180306","https://openalex.org/W7125934137","https://openalex.org/W2627076351","https://openalex.org/W7171555461","https://openalex.org/W7213922308","https://openalex.org/W2023774253"],"abstract_inverted_index":{"We":[0,42,208],"re-check,":[1],"with":[2,33,118,223,367,398],"exhaustive":[3],"search":[4,46,352,390],"and":[5,40,84,111,130,147,193,225,285,323,379,395,470],"machine-checkable":[6],"certificates,":[7],"that":[8,168],"every":[9,103,185],"simple":[10],"cubic":[11,171,186],"bipartite":[12,197],"graph":[13,187,305],"on":[14,188,424],"at":[15,54,102,189,250,420,435],"most":[16,190],"68":[17],"vertices":[18],"contains":[19],"a":[20,156,166,205,221,291,307,312,336,442],"cycle":[21],"of":[22,47,175,210,429,445,460],"length":[23,176],"4,":[24,177],"8":[25],"or":[26,237,310],"16":[27,179,438],"(equivalently:":[28],"no":[29,89,211,304,346,356,359,368,426],"connected":[30],"linear":[31],"v3-configuration":[32],"v":[34,265,280,286,296,385,436],"\u2264":[35,386],"34":[36],"avoids":[37],"Berge":[38],"4-":[39],"8-cycles).":[41],"follow":[43],"the":[44,69,80,95,126,138,145,149,169,218,233,253,270,274,277,318,361,372,388,392,399,414,417,446,466,474],"growth":[45],"Tranquilli":[48],"(arXiv:2608.02675),":[49],"whose":[50],"certified":[51],"range":[52],"stops":[53],"58":[55],"vertices,":[56,182,192],"in":[57,377,413,465,473],"two":[58,128],"root":[59,284],"modes:":[60],"triangle-rooted":[61,418],"(his":[62],"mode;":[63],"for":[64,94,215,264,295,384],"orders":[65,198,239,421],"62\u201368":[66,422],"it":[67],"needs":[68],"literature":[70],"premise":[71],"n(3,10)":[72,407],"=":[73,266,281,287,297,408,437],"70,":[74],"which":[75,183],"we":[76],"read":[77,412],"only":[78,383],"through":[79],"Exoo\u2013Jajcay":[81],"cage":[82,90],"survey)":[83],"arbitrary-root":[85,140,447],"(no":[86],"triangle":[87,289],"assumed,":[88],"premise).":[91],"Two":[92],"oracles":[93],"forbidden-cycle":[96],"test":[97,397],"give":[98],"identical":[99],"decision-transcript":[100],"hashes":[101],"cap.":[104],"Route":[105],"2":[106,249],"(arbitrary":[107],"root)":[108],"caps":[109,115],"29\u201334":[110],"route":[112,419],"1":[113],"(triangle-rooted)":[114],"30\u201335":[116],"close":[117],"0":[119,366],"completions.":[120],"Certificate":[121],"streams":[122],"are":[123,328,463,472,477],"accepted":[124],"by":[125,131,144,202,330,335],"producer's":[127],"checkers":[129,454],"an":[132,226,404],"independent":[133,227,405],"auditor's":[134,389],"own":[135],"C":[136,350,453],"checker;":[137],"68-vertex":[139],"stream":[141,449],"was":[142,243,410,432,439],"regenerated":[143],"auditor":[146,275],"has":[148],"same":[150],"sha256":[151,471],"(0112b808\u2026fad5).":[152],"This":[153],"is":[154,220,230,375],"NOT":[155],"new":[157],"bound.":[158],"Ripatti":[159,430],"(BAIKAL/MOTOR":[160],"2017,":[161],"one-page":[162],"abstract)":[163],"claims,":[164],"without":[165,173,204,306],"certificate,":[167],"smallest":[170],"graphs":[172],"cycles":[174],"8,":[178],"have":[180],"78":[181],"covers":[184],"76":[191],"Ducoffe\u2013Dumitru":[194],"(arXiv:2609.28594)":[195],"cover":[196],"up":[199,300],"to":[200,269,279,301],"66":[201],"SAT":[203],"proof":[206],"log.":[207],"know":[209],"earlier":[212],"witness-checked":[213],"computation":[214],"these":[216],"orders;":[217],"contribution":[219],"recomputation":[222],"certificates":[224,462],"audit.":[228,348],"Nothing":[229],"claimed":[231],"about":[232,238],"Erd\u0151s\u2013Gy\u00e1rf\u00e1s":[234],"conjecture":[235],"itself":[236],"above":[240],"68.":[241],"What":[242],"checked.":[244],"Controls":[245],"reproduce":[246],"Tranquilli's":[247],"Table":[248],"cap":[251],"29,":[252],"canonical":[254],"class":[255],"counts":[256],"1,":[257,258],"3,":[259],"10,":[260],"31,":[261],"229,":[262],"2036":[263],"7..13":[267],"(equal":[268],"nauty":[271,382],"genbg":[272,293,434],"sets;":[273],"extended":[276],"comparison":[278],"13":[282],"arbitrary":[283],"14":[288],"roots),":[290],"full":[292,427],"enumeration":[294],"7..15":[298],"(orders":[299],"30)":[302],"finds":[303,317],"4-,":[308],"8-":[309],"16-cycle,":[311],"filter-off":[313],"control":[314],"(C16":[315],"off)":[316],"one":[319],"self-dual":[320],"19-point":[321],"configuration,":[322],"eleven":[324],"further":[325],"tamper":[326],"kinds":[327],"rejected":[329],"all":[331],"checkers.":[332],"Independently":[333],"audited":[334],"different":[337],"AI":[338],"agent":[339],"instance":[340],"(AUDIT.md,":[341],"ACCEPT_WITH_CORRECTIONS,":[342],"nine":[343],"corrections":[344],"applied);":[345],"human":[347],"Tier":[349],"(exhaustive":[351],"plus":[353],"witness":[354],"checkers,":[355],"kernel":[357],"check,":[358],"Lean);":[360],"Elenchus":[362],"ledger":[363],"gate":[364],"exits":[365],"findings.":[369],"Limitations.":[370],"Unverified:":[371],"coverage":[373],"lemma":[374],"argued":[376],"prose":[378],"checked":[380],"against":[381],"13/14;":[387],"shares":[391],"proposal":[393],"schedule":[394],"path":[396],"producer":[400],"(independent":[401],"code,":[402],"not":[403,411,440,464],"method);":[406],"70":[409],"original":[415],"(only":[416],"depends":[423],"it);":[425],"text":[428],"2017":[431],"available;":[433],"repeated;":[441],"Python":[443],"check":[444],"cap-34":[448],"never":[450],"completed":[451],"(two":[452],"stand":[455],"in).":[456],"The":[457],"134,625,781":[458],"bytes":[459],"route-1":[461],"bundle":[467],"(names,":[468],"sizes":[469],"paper;":[475],"they":[476],"regenerable).":[478]},"counts_by_year":[],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2026-11-01T00:00:00"}