{"id":"https://openalex.org/W7225780286","doi":"https://doi.org/10.5281/zenodo.24134895","title":"A Sharp Preperiod and Explicit Nim-Words for the Four-Move Subtraction Sets {3,7,9,c}","display_name":"A Sharp Preperiod and Explicit Nim-Words for the Four-Move Subtraction Sets {3,7,9,c}","publication_year":2026,"publication_date":"2026-11-11","ids":{"openalex":"https://openalex.org/W7225780286","doi":"https://doi.org/10.5281/zenodo.24134895"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24134895","doi":"https://doi.org/10.5281/zenodo.24134895","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24134895","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.24134895","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5148078153","display_name":"Ryutaro Yonezu","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Yonezu, Ryutaro","raw_affiliation_strings":["Independent Researcher"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Independent Researcher","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5148078153"],"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/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.9189000129699707,"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/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.9189000129699707,"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/T11567","display_name":"semigroups and automata theory","score":0.011800000444054604,"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/T11166","display_name":"Analytic Number Theory Research","score":0.006399999838322401,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[],"concepts":[{"id":"https://openalex.org/C68060419","wikidata":"https://www.wikidata.org/wiki/Q40754","display_name":"Subtraction","level":2,"score":0.5134999752044678},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.4982999861240387},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4449000060558319},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.44350001215934753},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4262000024318695},{"id":"https://openalex.org/C554936623","wikidata":"https://www.wikidata.org/wiki/Q199657","display_name":"Reading (process)","level":2,"score":0.4004000127315521},{"id":"https://openalex.org/C43169469","wikidata":"https://www.wikidata.org/wiki/Q580922","display_name":"Preprint","level":2,"score":0.39419999718666077},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.37380000948905945},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.36079999804496765},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3513000011444092},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3303999900817871},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.28619998693466187},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.2806999981403351},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.26579999923706055},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.26579999923706055},{"id":"https://openalex.org/C173856430","wikidata":"https://www.wikidata.org/wiki/Q3257964","display_name":"Separation logic","level":2,"score":0.25920000672340393},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2565000057220459},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.25360000133514404}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24134895","doi":"https://doi.org/10.5281/zenodo.24134895","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24134895","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.24134896","doi":"https://doi.org/10.5281/zenodo.24134896","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24134896","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.24134895","doi":"https://doi.org/10.5281/zenodo.24134895","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24134895","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":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Research":[0],"No.63.":[1],"Ryutaro":[2,311],"Yonezu,":[3],"Independent":[4],"Researcher.":[5],"Preprint":[6],"v1.0,":[7],"dated":[8],"2026-11-11.":[9],"For":[10,40],"the":[11,29,34,112,119,124,141,147,161,195,203,233,292],"normal-play":[12],"one-heap":[13],"subtraction":[14,79],"game":[15],"with":[16],"move":[17],"set":[18],"{3,7,9,c},":[19],"where":[20],"c>9":[21],"is":[22,81,100,111,134,230,320],"odd,":[23],"this":[24,115,169],"limited":[25],"mathematical":[26,317],"preprint":[27],"determines":[28],"complete":[30],"Sprague-Grundy":[31],"nim-word":[32,129],"and":[33,37,57,63,123,155,194,207,255,262,302,346,371],"least":[35,121],"preperiod":[36,122],"eventual":[38],"period.":[39],"c=13":[41],"these":[42],"are":[43,51,200,211,218,332,391],"(0,16);":[44],"for":[45,72,114,237],"every":[46],"other":[47],"admissible":[48],"c":[49],"they":[50],"(c+5,2).":[52],"An":[53],"explicit":[54,125],"block":[55],"formula":[56],"induction":[58],"handle":[59,68],"all":[60],"odd":[61],"c>=23,":[62],"six":[64],"finite":[65,96,227],"recurrence":[66,281],"certificates":[67],"c=11,13,15,17,19,21.":[69],"No":[70,375],"result":[71],"even":[73],"c,":[74],"general":[75],"a>3,":[76],"or":[77,387],"arbitrary":[78],"sets":[80],"asserted.":[82],"The":[83,108,276,316,339,354,359],"period-two":[84],"phenomenon":[85],"was":[86,273,283],"already":[87],"reported":[88,278],"in":[89],"Zhang":[90],"(2024),":[91],"Remark":[92],"7,":[93],"as":[94,103,131],"a":[95,104,132,187],"computational":[97],"observation.":[98],"It":[99],"not":[101,166,175,185,212,274,284,290],"claimed":[102],"new":[105,269],"discovery":[106],"here.":[107,286],"prospective":[109],"contribution":[110],"proof":[113],"restricted":[116],"infinite":[117,293],"family,":[118],"exact":[120],"Grundy":[126],"words.":[127],"Four-move":[128],"construction":[130],"method":[133],"known":[135],"from":[136,221,232],"Flammenkamp.":[137],"Relevant":[138],"passages":[139],"of":[140,182],"original":[142],"dissertation":[143],"were":[144,244],"compared,":[145],"but":[146],"enlarged":[148],"book":[149],"remains":[150],"unverified.":[151],"Moriwaki":[152],"Theorem":[153,156],"2":[154],"4":[157],"have":[158,174],"distinct":[159],"assumptions;":[160],"stated":[162],"direct":[163,188],"constructions":[164],"do":[165,289],"instantiate":[167],"to":[168,322,350],"all-odd":[170],"target.":[171],"Indirect":[172],"implications":[173],"been":[176],"exhaustively":[177],"excluded.":[178],"Targeted":[179],"full-text":[180],"reading":[181],"Inoue-Inazu":[183],"did":[184],"identify":[186],"predecessor.":[189],"AI-assisted":[190],"research.":[191],"MODEL/PROOF/COMPUTATION/SCOPE":[192],"PASS":[193,199,229],"subsequent":[196],"v0.4":[197],"differential":[198],"inherited":[201,231],"within":[202],"author-supplied":[204],"AI-review":[205],"reports":[206],"follow-up":[208],"evidence.":[209],"These":[210],"institutional":[213],"certificates.":[214],"Author-side":[215],"primary-source":[216],"comparisons":[217],"separately":[219,277],"attributed":[220],"reviewer":[222],"checks.":[223],"Windows":[224,271,377],"PowerShell":[225],"5.1":[226],"reproduction":[228],"author-provided":[234],"sanitized":[235],"summary":[236],"unchanged":[238,364],"code.":[239],"All":[240,313,328,334],"three":[241,329],"frozen":[242],"verifiers":[243],"rerun":[245,285],"on":[246],"Linux":[247],"during":[248],"publication":[249],"preparation,":[250],"reproducing":[251],"Python":[252],"490":[253],"cases":[254],"1,286,250":[256],"positions,":[257,261],"large":[258],"C++":[259,264],"3,406,220":[260],"small":[263],"230":[265],"certificate":[266],"positions.":[267],"A":[268],"v1.0":[270],"execution":[272],"performed.":[275],"996-parameter":[279],"AI":[280],"enumeration":[282],"Finite":[287],"checks":[288],"replace":[291],"proof.":[294],"NOVELTY":[295],"INCONCLUSIVE.":[296],"REFERENCES":[297],"PARTIAL.":[298],"Human":[299],"peer":[300],"review":[301],"full":[303],"formal":[304],"verification:":[305],"NOT":[306],"PERFORMED.":[307],"Copyright":[308],"(c)":[309],"2026":[310],"Yonezu.":[312],"rights":[314],"reserved.":[315],"TeX":[318,342],"range":[319],"byte-identical":[321],"v0.4:":[323],"6656":[324],"bytes;":[325],"SHA256":[326,347],"3314bc24a76be60369880f1ce03bd69cb3c5845e59406b23b17cad656aa05431.":[327],"verifier":[330],"sources":[331],"unchanged.":[333],"ten":[335],"prepublication":[336],"gates":[337],"passed.":[338],"accompanying":[340],"PDF,":[341],"source,":[343],"reproducibility":[344],"ZIP":[345],"manifest":[348],"correspond":[349],"GitHub":[351,393],"Release":[352,396],"v1.0.":[353],"PDF":[355],"has":[356],"four":[357],"pages.":[358],"archive":[360],"includes":[361],"portable":[362],"instructions,":[363],"sources,":[365],"certificates,":[366],"clean":[367],"expected":[368],"output,":[369],"provenance":[370],"scoped":[372],"review/Windows":[373],"summaries.":[374],"raw":[376],"logs,":[378],"personal":[379],"workstation":[380],"paths,":[381],"private":[382],"account":[383],"information,":[384],"credentials,":[385],"binaries,":[386],"third-party":[388],"copyrighted":[389],"papers":[390],"redistributed.":[392],"repository:":[394],"https://github.com/yonezaemon1-hub/no63-four-move-subtraction-sharp-preperiodGitHub":[395],"v1.0:":[397],"https://github.com/yonezaemon1-hub/no63-four-move-subtraction-sharp-preperiod/releases/tag/v1.0":[398]},"counts_by_year":[],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2026-11-12T00:00:00"}