{"id":"https://openalex.org/W7225791478","doi":"https://doi.org/10.5281/zenodo.24124221","title":"Beyond Associativity and Alternativity in 16D Sedenion Signal Processing: Mutually-Annihilating Filter Cascades, the Cubic Alternativity-Defect Calculus N_u, and Closed-Form Pontryagin Optimal Control","display_name":"Beyond Associativity and Alternativity in 16D Sedenion Signal Processing: Mutually-Annihilating Filter Cascades, the Cubic Alternativity-Defect Calculus N_u, and Closed-Form Pontryagin Optimal Control","publication_year":2026,"publication_date":"2026-11-11","ids":{"openalex":"https://openalex.org/W7225791478","doi":"https://doi.org/10.5281/zenodo.24124221"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24124221","doi":"https://doi.org/10.5281/zenodo.24124221","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24124221","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.24124221","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5159337790","display_name":"Dionisio Agourakis","orcid":"https://orcid.org/0009-0000-4863-9143","observed_orcids":["https://orcid.org/0009-0000-4863-9143"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Agourakis, Dionisio Chiuratto","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0000-4863-9143","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5159337790"],"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/T12037","display_name":"Algebraic and Geometric Analysis","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/2604","display_name":"Applied Mathematics"},"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/T12037","display_name":"Algebraic and Geometric Analysis","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/2604","display_name":"Applied Mathematics"},"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/T11673","display_name":"Advanced Topics in Algebra","score":0.0003000000142492354,"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"}},{"id":"https://openalex.org/T12504","display_name":"Mathematics and Applications","score":0.00019999999494757503,"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"}}],"keywords":[],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7890999913215637},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.4253999888896942},{"id":"https://openalex.org/C159423971","wikidata":"https://www.wikidata.org/wiki/Q177251","display_name":"Associative property","level":2,"score":0.40720000863075256},{"id":"https://openalex.org/C129844170","wikidata":"https://www.wikidata.org/wiki/Q41299","display_name":"Quadratic equation","level":2,"score":0.39890000224113464},{"id":"https://openalex.org/C130787639","wikidata":"https://www.wikidata.org/wiki/Q5645293","display_name":"Hamiltonian (control theory)","level":2,"score":0.37619999051094055},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.3725000023841858},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.36410000920295715},{"id":"https://openalex.org/C106131492","wikidata":"https://www.wikidata.org/wiki/Q3072260","display_name":"Filter (signal processing)","level":2,"score":0.35989999771118164},{"id":"https://openalex.org/C2780813799","wikidata":"https://www.wikidata.org/wiki/Q3274237","display_name":"Zero (linguistics)","level":2,"score":0.33009999990463257},{"id":"https://openalex.org/C91575142","wikidata":"https://www.wikidata.org/wiki/Q1971426","display_name":"Optimal control","level":2,"score":0.32850000262260437},{"id":"https://openalex.org/C57493831","wikidata":"https://www.wikidata.org/wiki/Q3134666","display_name":"Projection (relational algebra)","level":2,"score":0.32089999318122864},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.31209999322891235},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.29789999127388},{"id":"https://openalex.org/C42355184","wikidata":"https://www.wikidata.org/wiki/Q1361088","display_name":"Matrix decomposition","level":3,"score":0.287200003862381},{"id":"https://openalex.org/C44292817","wikidata":"https://www.wikidata.org/wiki/Q333871","display_name":"Orthogonal matrix","level":3,"score":0.28679999709129333},{"id":"https://openalex.org/C92207270","wikidata":"https://www.wikidata.org/wiki/Q939253","display_name":"Matrix norm","level":3,"score":0.28459998965263367},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.28119999170303345},{"id":"https://openalex.org/C43929395","wikidata":"https://www.wikidata.org/wiki/Q1198874","display_name":"Operator theory","level":2,"score":0.2800000011920929},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.27709999680519104},{"id":"https://openalex.org/C35958075","wikidata":"https://www.wikidata.org/wiki/Q1425077","display_name":"Spectral theorem","level":3,"score":0.2685999870300293},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.26820001006126404},{"id":"https://openalex.org/C54848796","wikidata":"https://www.wikidata.org/wiki/Q339011","display_name":"Symmetric matrix","level":3,"score":0.2669999897480011},{"id":"https://openalex.org/C191795146","wikidata":"https://www.wikidata.org/wiki/Q3878446","display_name":"Norm (philosophy)","level":2,"score":0.2660999894142151},{"id":"https://openalex.org/C207467116","wikidata":"https://www.wikidata.org/wiki/Q4385666","display_name":"Inverse","level":2,"score":0.26080000400543213},{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.25929999351501465},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.258899986743927},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.257099986076355},{"id":"https://openalex.org/C10628310","wikidata":"https://www.wikidata.org/wiki/Q619458","display_name":"Orthogonal polynomials","level":2,"score":0.2502000033855438}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24124221","doi":"https://doi.org/10.5281/zenodo.24124221","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24124221","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.24124222","doi":"https://doi.org/10.5281/zenodo.24124222","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24124222","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.24124221","doi":"https://doi.org/10.5281/zenodo.24124221","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24124221","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":4,"referenced_works":["https://openalex.org/W7167600737","https://openalex.org/W7171664994","https://openalex.org/W7172292277","https://openalex.org/W7223308543"],"related_works":[],"abstract_inverted_index":{"In":[0,72],"every":[1,346],"associative":[2],"algebra":[3,94],"(\u211d,":[4],"\u2102,":[5],"\u210d,":[6],"and":[7,84,134,158,207,243,265,316,438,450,510,534,561],"matrix":[8],"rings":[9],"Mn(\u2102)),":[10],"two":[11,258,323],"linear":[12,167,347],"filter":[13],"stages":[14],"w1,":[15,374],"w2":[16,23,42,271,342,371],"that":[17,77,459],"annihilate":[18],"each":[19],"other":[20],"(w1":[21,46,269],"\u00b7":[22,39,41,45,47,270,341,368,370,392,396,408,522],"=":[24,43,49,96,170,174,178,187,215,272,280,290,301,320,332,343,350,372,389,406,434,478,482,490,524],"0)":[25],"produce":[26],"identically":[27],"zero":[28,121,356],"output":[29],"when":[30],"cascaded":[31],"on":[32,235,428,439,526,554],"any":[33],"input":[34],"signal":[35],"x,":[36],"since":[37],"(x":[38],"w1)":[40,369],"x":[44,391],"w2)":[48,338],"0.":[50,377],"Similarly,":[51],"inverting":[52],"or":[53,60],"equalizing":[54],"a":[55,62,334,411],"16-dimensional":[56,91],"channel":[57,220],"operator":[58,168,185],"L(u)":[59,248],"solving":[61],"quadratic":[63,414],"optimal":[64],"control":[65],"Hamiltonian":[66],"conventionally":[67],"requires":[68],"O(163)":[69],"Cholesky/SVD":[70],"decompositions.":[71],"this":[73],"work,":[74],"we":[75],"prove":[76],"crossing":[78],"both":[79,102],"the":[80,90,116,147,163,183,193,209,236,275,284,363,402,429,451,460],"Hurwitz":[81],"(dim":[82,86],"8)":[83],"Moufang":[85],"16)":[87],"thresholds":[88],"into":[89],"Cayley\u2013Dickson":[92],"sedenion":[93,365],"\ud835\udd4a":[95],"\ud835\udd46":[97,99],"\u2295":[98,486],"e8":[100],"overturns":[101],"paradigms":[103],"via":[104,401],"five":[105],"exact":[106,164,219,355],"algebraic":[107],"laws,":[108],"all":[109,203,545],"formally":[110],"verified":[111],"from":[112,470,499],"first":[113],"principles":[114],"in":[115,125,254,417,463,484],"Lean":[117,143],"4.15.0":[118,144],"kernel":[119],"with":[120,283],"axioms":[122],"(204/204":[123],"theorems":[124,145],"MaxwellExterior.lean":[126],"reporting":[127],"0":[128,130,132,135,344],"propext,":[129],"Quot.sound,":[131],"Classical.choice,":[133],"sorry;":[136],"376":[137],"zero-axiom":[138],"/":[139],"516":[140],"total":[141],"machine-checked":[142],"across":[146,294],"unified":[148],"v3sp3r":[149],"+":[150,352],"sedenion-pg32":[151],"formalization):":[152],"Symmetric":[153],"Alternativity-Defect":[154],"Calculus":[155],"(Nu):":[156],"Left":[157],"right":[159],"alternativity":[160],"fail":[161],"by":[162,422,432,442],"same":[165],"symmetric":[166],"Nu(y)":[169],"u(uy)":[171],"\u2212":[172,176,190,394,398],"u2y":[173],"(yu)u":[175],"yu2":[177],"([a,b,d]\ud835\udd46,":[179],"\u2212[a,b,c]\ud835\udd46),":[180],"which":[181],"governs":[182],"normal":[184],"L(u)TL(u)":[186],"||u||22":[188],"I16":[189],"Nu,":[191],"extends":[192],"unit-Moreno-cone":[194],"square":[195],"decomposition":[196],"2(T1d,":[197],"T2c)":[198],"of":[199,549],"SedenionRank.square_identity":[200],"unconditionally":[201],"to":[202,250,354,410,495],"u":[204],"\u2208":[205,309,492],"\ud835\udd4a,":[206],"satisfies":[208],"universal":[210,518],"cubic":[211],"minimal":[212],"polynomial":[213],"Nu3":[214],"4\u039b(u)2":[216],"Nu.":[217],"Consequently,":[218],"inversion":[221],"L(u)\u22121":[222],"(2.87":[223],"\u00d7":[224,230,241,299,425,454,467],"10\u221214":[225],"residual),":[226,427],"Tikhonov/MMSE":[227],"equalization":[228],"(1.04":[229],"10\u221214),":[231],"Moore\u2013Penrose":[232],"pseudoinversion":[233],"L(u)+":[234],"singular":[237,505],"zero-divisor":[238,430,532],"cone":[239],"(1.45":[240],"10\u221215),":[242],"rank-4":[244],"nullspace":[245],"projection":[246],"Pker":[247,435],"collapse":[249],"3-term":[251,419],"SVD-free":[252,420],"polynomials":[253],"Nu":[255],"costing":[256],"only":[257,317],"octonion":[259],"associators.":[260],"Co-Axial":[261],"Box-Kite":[262],"Kernel":[263],"Dichotomy":[264],"Mutually-Annihilating":[266],"2-Stage":[267],"Cascades":[268],"0):":[273],"Unites":[274],"Moreno":[276],"partner":[277],"map":[278],"(a'p)b'":[279],"\u2212n(u)p":[281],"(SedenionReal.nullspace)":[282],"S6":[285],"box-kite":[286,296],"axis":[287],"fibration":[288],"n(u)":[289],"(a'":[291],"\u00d7\ud835\udd46":[292],"b')/\u039b(u)":[293],"14":[295],"sextets":[297],"(14":[298],"6":[300],"84),":[302],"proving":[303],"dim(ker":[304],"L(u1)":[305,328],"\u2229":[306,329],"ker":[307,330],"L(u2))":[308],"{0,":[310],"2,":[311],"4}":[312],"is":[313],"non-zero":[314],"if":[315,318],"n(u1)":[319],"+n(u2).":[321],"When":[322],"jammers":[324],"are":[325],"non-coaxial":[326],"(ker":[327],"L(u2)":[331],"{0}),":[333],"2-stage":[335],"cascade":[336],"(w1,":[337],"satisfying":[339],"w1":[340],"drives":[345],"combination":[348],"J":[349],"\u03b1u1":[351],"\u03b2u2":[353],"while":[357],"transmitting":[358],"desired":[359],"signals":[360],"100%":[361],"through":[362],"non-associative":[364],"associator":[366],"(s":[367],"[s,":[373],"w2]":[375],"\u2260":[376],"Closed-Form":[378],"Sedenion":[379],"Pontryagin":[380],"Maximum":[381],"Principle":[382],"(PMP):":[383],"Maximizing":[384],"H(x,":[385],"p,":[386],"J,":[387],"w)":[388],"\u27e8p,":[390],"w\u27e9":[393],"(\u03b3/2)||J":[395],"w||22":[397],"(\u03c1/2)||w||22":[399],"reduces":[400],"switching":[403],"vector":[404],"\u03c8":[405],"x*":[407],"p":[409],"strictly":[412],"concave":[413],"program":[415],"solved":[416],"closed":[418],"form":[421],"NJ(\u03c8)":[423],"(1.11":[424],"10\u221216":[426],"sphere":[431],"w*ker":[433],"L(J)(\u03c8)/||Pker":[436],"L(J)(\u03c8)||2,":[437],"pre-ADC":[440],"hardware":[441],"168-blade":[443],"bang-bang":[444],"selection.":[445],"Eisenstein":[446],"S3":[447,455,461,468],"Phase":[448],"Automorphisms":[449],"Sextic":[452],"G2":[453,466],"Invariant":[456],"J3(u):":[457],"Proves":[458],"factor":[462],"Aut(\ud835\udd4a)":[464],"\u2245":[465],"originates":[469],"cube-root-of-unity":[471],"phase":[472],"rotations":[473],"Z":[474],"\u21a6":[475],"e2\u03c0i/3Z":[476],"(\u03c9\u03042":[477],"\u03c9":[479],"\u21d4":[480],"\u03c93":[481],"1)":[483],"\u2102":[485],"\u21027,":[487],"yielding":[488],"J3(u)":[489],"Re(q3)/|q|3":[491],"[\u22121,":[493],"+1]":[494],"separate":[496],"lower-octonion":[497],"(+1)":[498],"twisted-sector":[500],"(\u22121)":[501],"states":[502],"sharing":[503],"identical":[504],"values.":[506],"Hurwitz\u2013Radon":[507],"9-Frame":[508],"Isometries":[509],"Extremal":[511],"[16,":[512,539],"8,":[513,540],"6]3":[514,541],"Ternary":[515],"FEC:":[516],"Establishes":[517],"norm":[519],"preservation":[520],"||u":[521],"x||2":[523],"||u||2||x||2":[525],"span{e0,":[527],"...,":[528],"e8}":[529],"against":[530],"arbitrary":[531],"keys":[533],"constructs":[535],"an":[536],"extremal":[537],"self-dual":[538],"ternary":[542],"code":[543],"correcting":[544],"513/513":[546],"error":[547],"patterns":[548],"Hamming":[550],"weight":[551],"\u2264":[552],"2":[553],"bare-metal":[555],"64":[556],"MHz":[557,563],"STM32WB55RG":[558],"ARM":[559],"Cortex-M4F":[560],"240":[562],"ESP32-S2":[564],"Xtensa":[565],"LX7":[566],"hardware.":[567]},"counts_by_year":[],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2026-11-12T00:00:00"}