{"id":"https://openalex.org/W7225337354","doi":"https://doi.org/10.5281/zenodo.23990072","title":"Connected quandles that refute Hayashi's conjecture","display_name":"Connected quandles that refute Hayashi's conjecture","publication_year":2026,"publication_date":"2026-11-05","ids":{"openalex":"https://openalex.org/W7225337354","doi":"https://doi.org/10.5281/zenodo.23990072"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23990072","doi":"https://doi.org/10.5281/zenodo.23990072","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23990072","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":null,"license_id":null,"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.23990072","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5159121649","display_name":"P. Graham","orcid":"https://orcid.org/0009-0007-8493-1505","observed_orcids":["https://orcid.org/0009-0007-8493-1505"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Graham, P.","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0007-8493-1505","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5159121649"],"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/T12504","display_name":"Mathematics and Applications","score":0.46219998598098755,"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"}},"topics":[{"id":"https://openalex.org/T12504","display_name":"Mathematics and Applications","score":0.46219998598098755,"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"}},{"id":"https://openalex.org/T10304","display_name":"Geometric and Algebraic Topology","score":0.2939000129699707,"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"}},{"id":"https://openalex.org/T10849","display_name":"Finite Group Theory Research","score":0.0949999988079071,"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/right-translations","display_name":"right translations","score":0.8149999976158142},{"id":"https://openalex.org/keywords/cycle-length","display_name":"cycle length","score":0.9319999814033508},{"id":"https://openalex.org/keywords/finite-quandles","display_name":"finite quandles","score":0.8199999928474426},{"id":"https://openalex.org/keywords/knot-invariants","display_name":"knot invariants","score":0.7900000214576721},{"id":"https://openalex.org/keywords/conjugacy-classes","display_name":"conjugacy classes","score":0.7990000247955322},{"id":"https://openalex.org/keywords/affine-transformation","display_name":"affine transformation","score":0.8659999966621399},{"id":"https://openalex.org/keywords/counterexample","display_name":"counterexample","score":0.800000011920929}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8241000175476074},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.8125},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.7534000277519226},{"id":"https://openalex.org/C87945829","wikidata":"https://www.wikidata.org/wiki/Q1353233","display_name":"Conjugacy class","level":2,"score":0.6607999801635742},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.5195000171661377},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.5055000185966492},{"id":"https://openalex.org/C200288055","wikidata":"https://www.wikidata.org/wiki/Q2621792","display_name":"Element (criminal law)","level":2,"score":0.4805000126361847},{"id":"https://openalex.org/C92757383","wikidata":"https://www.wikidata.org/wiki/Q382497","display_name":"Affine transformation","level":2,"score":0.4699999988079071},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4440000057220459},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.4375},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.4327000081539154},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.3828999996185303},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.37630000710487366},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3686000108718872},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.34310001134872437},{"id":"https://openalex.org/C18116961","wikidata":"https://www.wikidata.org/wiki/Q734209","display_name":"Generating set of a group","level":2,"score":0.3203999996185303},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.2946000099182129},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.2921999990940094},{"id":"https://openalex.org/C2776379255","wikidata":"https://www.wikidata.org/wiki/Q3406705","display_name":"Crossed product","level":3,"score":0.28450000286102295}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.5281/zenodo.23990072","doi":"https://doi.org/10.5281/zenodo.23990072","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23990072","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.23990073","doi":"https://doi.org/10.5281/zenodo.23990073","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23990073","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.24027691","doi":"https://doi.org/10.5281/zenodo.24027691","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24027691","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.23990072","doi":"https://doi.org/10.5281/zenodo.23990072","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23990072","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":null,"license_id":null,"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":4,"referenced_works":["https://openalex.org/W2121581319","https://openalex.org/W2922037077","https://openalex.org/W2962951834","https://openalex.org/W4398192192"],"related_works":["https://openalex.org/W4398192192","https://openalex.org/W7135610056","https://openalex.org/W4398229801","https://openalex.org/W1585984347","https://openalex.org/W7098976770","https://openalex.org/W4416099781","https://openalex.org/W1698283709","https://openalex.org/W3036658281","https://openalex.org/W2922037077","https://openalex.org/W1489362333"],"abstract_inverted_index":{"We":[0],"construct":[1],"connected":[2,43],"quandles":[3,76,104,113,148],"of":[4,16,36,49,56,79,124,127,145,152,168,171],"orders":[5,96],"1890":[6],"and":[7,21,26,75,93,101,106,177,202,221,246,256],"5670":[8],"whose":[9],"right":[10,51,181],"translations":[11],"$x\\mapsto":[12],"x*y$":[13],"have":[14],"cycles":[15,91],"lengths":[17],"60,":[18,24],"84,":[19],"140":[20,27],"210.":[22],"Since":[23],"84":[25],"do":[28],"not":[29,235,264],"divide":[30],"210,":[31],"this":[32],"disproves":[33],"the":[34,45,58,166,172,228,243,247,260,274],"conjecture":[35,82,159],"Hayashi":[37],"(2013)":[38],"that":[39,110,121,158],"in":[40,72],"a":[41,50,54,63,66,73,118,122,128,142,200],"finite":[42,129],"quandle":[44,61,225],"longest":[46],"cycle":[47,162],"length":[48,163],"translation":[52,182,197],"is":[53,62,115,134,164,198],"multiple":[55],"all":[57],"others.":[59],"A":[60],"set":[64],"with":[65,87,141],"self-distributive":[67],"operation":[68,230],"modeled":[69],"on":[70,227],"conjugation":[71,112],"group,":[74],"give":[77],"invariants":[78],"knots.":[80],"The":[81,186,211,241],"was":[83],"known":[84],"for":[85,95,102,111],"profiles":[86],"at":[88],"most":[89],"five":[90],"(Lages":[92],"Lopes),":[94],"up":[97],"to":[98,117],"47":[99],"(Watanabe)":[100],"affine":[103,153],"(Kajiwara":[105],"Nakayama).":[107],"Filipi":[108],"showed":[109],"it":[114,139,206],"equivalent":[116],"group-theoretic":[119],"conjecture,":[120],"power":[123],"an":[125,189],"element":[126,144],"generating":[130],"conjugacy":[131,150],"class":[132],"$C$":[133],"central":[135],"as":[136,138],"soon":[137],"commutes":[140],"suitable":[143],"$C$.":[146],"Our":[147],"are":[149,213],"classes":[151],"maps,":[154],"so":[155],"they":[156],"refute":[157],"too.":[160],"Each":[161],"twice":[165],"product":[167],"only":[169],"three":[170],"primes":[173],"2,":[174],"3,":[175],"5":[176],"7,":[178],"while":[179],"each":[180],"has":[183,207,234],"order":[184,208],"420.":[185],"construction":[187],"gives":[188],"infinite":[190],"family,":[191],"including":[192],"latin":[193],"counterexamples":[194],"(every":[195],"left":[196],"also":[199],"bijection),":[201],"no":[203],"counterexample":[204],"from":[205],"below":[209],"1890.":[210],"proofs":[212],"by":[214,239,251,267,270],"hand.":[215],"Independent":[216],"programs":[217,245],"recompute":[218],"both":[219],"quandles,":[220],"one":[222],"checks":[223],"every":[224],"axiom":[226],"full":[229],"table.":[231],"This":[232],"work":[233],"yet":[236,265],"been":[237],"reviewed":[238,266],"experts.":[240,268],"proofs,":[242],"checking":[244],"text":[248],"were":[249],"produced":[250],"AI":[252,271],"models":[253,272],"(from":[254],"OpenAI":[255],"Anthropic),":[257],"working":[258],"under":[259,273],"author's":[261,275],"direction.":[262,276],"Computer-assisted;":[263],"Produced":[269]},"counts_by_year":[],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2026-11-06T00:00:00"}
