{"id":"https://openalex.org/W7225629007","doi":"https://doi.org/10.32388/8c43ek","title":"Current-State Interfaces and the Future Quotient in a Finite Icosahedral (AKN-Type) Attachment Geometry: Untouchable Differences and Persistent History Parity","display_name":"Current-State Interfaces and the Future Quotient in a Finite Icosahedral (AKN-Type) Attachment Geometry: Untouchable Differences and Persistent History Parity","publication_year":2026,"publication_date":"2026-11-09","ids":{"openalex":"https://openalex.org/W7225629007","doi":"https://doi.org/10.32388/8c43ek"},"language":"en","primary_location":{"id":"doi:10.32388/8c43ek","doi":"https://doi.org/10.32388/8c43ek","is_oa":true,"landing_page_url":"https://doi.org/10.32388/8c43ek","pdf_url":"https://www.qeios.com/read/8C43EK/pdf","source":{"id":"https://openalex.org/S4210177074","display_name":"Qeios","issn_l":"2632-3834","issn":["2632-3834"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":["anvur-scientific","norway-1"],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Qeios","raw_type":"posted-content"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://www.qeios.com/read/8C43EK/pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5119237974","display_name":"Masaru Numagaki","orcid":"https://orcid.org/0000-0001-5683-0845","observed_orcids":["https://orcid.org/0000-0001-5683-0845"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Masaru Numagaki","raw_affiliation_strings":["MedCure Co., Ltd"],"raw_orcid":"https://orcid.org/0000-0001-5683-0845","affiliations":[{"raw_affiliation_string":"MedCure Co., Ltd","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5119237974"],"corresponding_institution_ids":[],"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/T11567","display_name":"semigroups and automata theory","score":0.5131999850273132,"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/T11567","display_name":"semigroups and automata theory","score":0.5131999850273132,"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/T12162","display_name":"Cellular Automata and Applications","score":0.3467000126838684,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.01850000023841858,"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/finite-state-machines","display_name":"finite automata","score":0.4169999957084656},{"id":"https://openalex.org/keywords/reachable-states","display_name":"reachable states","score":0.4449999928474426},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.44200000166893005},{"id":"https://openalex.org/keywords/lean-theorem-prover","display_name":"Lean theorem prover","score":0.7760000228881836}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6190000176429749},{"id":"https://openalex.org/C199422724","wikidata":"https://www.wikidata.org/wiki/Q41118","display_name":"Quotient","level":2,"score":0.592199981212616},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4372999966144562},{"id":"https://openalex.org/C2777151079","wikidata":"https://www.wikidata.org/wiki/Q141160","display_name":"Parity (physics)","level":2,"score":0.41190001368522644},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.41040000319480896},{"id":"https://openalex.org/C77926391","wikidata":"https://www.wikidata.org/wiki/Q603880","display_name":"Finite field","level":2,"score":0.374099999666214},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.366100013256073},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.36469998955726624},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.34869998693466187},{"id":"https://openalex.org/C88626702","wikidata":"https://www.wikidata.org/wiki/Q1128903","display_name":"Continuation","level":2,"score":0.3472999930381775},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3409999907016754},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.33899998664855957},{"id":"https://openalex.org/C42812","wikidata":"https://www.wikidata.org/wiki/Q1082910","display_name":"Partition (number theory)","level":2,"score":0.3386000096797943},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.32820001244544983},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.31839999556541443},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.3156000077724457},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.3116999864578247},{"id":"https://openalex.org/C164660894","wikidata":"https://www.wikidata.org/wiki/Q2037833","display_name":"Piecewise","level":2,"score":0.2572999894618988}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.32388/8c43ek","doi":"https://doi.org/10.32388/8c43ek","is_oa":true,"landing_page_url":"https://doi.org/10.32388/8c43ek","pdf_url":"https://www.qeios.com/read/8C43EK/pdf","source":{"id":"https://openalex.org/S4210177074","display_name":"Qeios","issn_l":"2632-3834","issn":["2632-3834"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":["anvur-scientific","norway-1"],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Qeios","raw_type":"posted-content"}],"best_oa_location":{"id":"doi:10.32388/8c43ek","doi":"https://doi.org/10.32388/8c43ek","is_oa":true,"landing_page_url":"https://doi.org/10.32388/8c43ek","pdf_url":"https://www.qeios.com/read/8C43EK/pdf","source":{"id":"https://openalex.org/S4210177074","display_name":"Qeios","issn_l":"2632-3834","issn":["2632-3834"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":["anvur-scientific","norway-1"],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Qeios","raw_type":"posted-content"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7225629007.pdf","grobid_xml":"https://content.openalex.org/works/W7225629007.grobid-xml"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W1547562281","https://openalex.org/W1551871633","https://openalex.org/W1565611252","https://openalex.org/W1971190826","https://openalex.org/W1996109622","https://openalex.org/W2019907608","https://openalex.org/W2031655727","https://openalex.org/W2031763496","https://openalex.org/W2043100293","https://openalex.org/W2068361557","https://openalex.org/W2088432971","https://openalex.org/W2336389848","https://openalex.org/W2889751235","https://openalex.org/W2981188613","https://openalex.org/W3178506813","https://openalex.org/W4251111478","https://openalex.org/W4283778709","https://openalex.org/W7221513107","https://openalex.org/W7222812739"],"related_works":["https://openalex.org/W7222952841","https://openalex.org/W7221513107","https://openalex.org/W7172396812","https://openalex.org/W7212428018","https://openalex.org/W7224978147","https://openalex.org/W4394029609","https://openalex.org/W345589172","https://openalex.org/W7203447736","https://openalex.org/W7213878866","https://openalex.org/W2397815892"],"abstract_inverted_index":{"On":[0],"a":[1,10,14,160,182,187,194,253,283,304],"frozen":[2,91],"691-cell":[3],"patch":[4],"of":[5,55,70,89,104,142,201,212,238],"AKN-type":[6],"rhombohedral":[7],"geometry":[8],"with":[9,62,131,271,308],"single-face":[11],"attachment":[12,306],"grammar,":[13],"companion":[15],"paper":[16],"constructed":[17],"finite":[18,87,305],"current-state":[19],"codes":[20],"that":[21,74,97,155,180,227,252],"decide":[22],"the":[23,30,48,53,58,63,66,90,105,113,121,126,143,175,210,217,228,258,265,297],"complete":[24,102,164],"legal":[25,49,107,128,158,199,289],"future,":[26,50],"without":[27],"determining":[28],"whether":[29],"normalised":[31,59,115,273],"code":[32,60,116,274],"\\(R_{K}^{(2)}\\)":[33,61,98],"among":[34,152],"them":[35],"is":[36,99,148,184,295,299,321],"minimal.":[37],"Here":[38],"we":[39,93,178],"ask":[40],"which":[41],"differences":[42,219],"between":[43,269],"current":[44,259],"states":[45,56,111,154,270],"act":[46],"on":[47,163],"and":[51,125,197,214,234,275,313],"compare":[52],"partition":[54,67],"by":[57,68,172,221,277],"future":[64,146,222,266,292],"quotient,":[65,267],"equality":[69],"extension":[71],"languages.":[72],"Assuming":[73],"every":[75,287],"face":[76],"belongs":[77],"to":[78],"at":[79],"most":[80],"two":[81,109],"catalogue":[82,110],"cells":[83,124,226],"(K1,":[84],"an":[85,100,132,206,235,247,278],"audited":[86],"property":[88],"catalogue),":[92],"prove":[94,179],"in":[95,186,193,225,303],"Lean":[96],"exact":[101],"invariant":[103],"one-step":[106],"interface:":[108],"have":[112,120,157],"same":[114,122,127,176],"exactly":[117],"when":[118],"they":[119],"available":[123,185,229],"moves.":[129],"Together":[130],"exhaustive":[133,236],"enumeration,":[134],"this":[135],"yields":[136],"all":[137,239],"identifications":[138],"within":[139],"eight":[140],"insertions":[141],"seed.":[144],"The":[145,291],"quotient":[147,293],"strictly":[149],"coarser":[150],"even":[151,268],"reachable":[153,188,316],"still":[156],"moves:":[159],"preregistered":[161,249],"computation":[162],"descendant":[165],"DAGs":[166],"certifies":[167],"5,384,241":[168],"future-equivalent":[169],"pairs":[170,242],"separated":[171],"\\(R_{K}^{(2)}\\).":[173],"Under":[174],"assumption":[177],"if":[181],"cell":[183],"state":[189,195],"\\(s\\)":[190,202,213],"but":[191],"not":[192,262],"\\(t\\),":[196],"some":[198],"continuation":[200],"touches":[203],"it,":[204],"then":[205],"explicit":[207,301],"word":[208],"distinguishes":[209],"futures":[211],"\\(t\\);":[215],"hence":[216],"availability":[218],"absorbed":[220],"equivalence":[223],"lie":[224],"side":[230],"can":[231],"never":[232],"touch,":[233],"audit":[237],"certified":[240,315],"nonterminal":[241],"found":[243],"no":[244],"exception.":[245],"Finally,":[246],"outcome-blind,":[248],"test":[250],"shows":[251],"history-derived":[254],"parity,":[255],"evaluable":[256],"from":[257],"state,":[260],"does":[261],"factor":[263],"through":[264],"identical":[272],"size;":[276],"existing":[279],"integration":[280],"law,":[281],"such":[282],"difference":[284],"persists":[285],"along":[286],"common":[288],"continuation.":[290],"itself":[294],"classical;":[296],"contribution":[298],"its":[300],"realisation":[302],"geometry,":[307],"formally":[309],"verified":[310],"general":[311],"theorems":[312],"computationally":[314],"witnesses.":[317],"No":[318],"physical":[319],"claim":[320],"made.":[322]},"counts_by_year":[],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2026-11-10T00:00:00"}