{"id":"https://openalex.org/W7223676947","doi":"https://doi.org/10.5281/zenodo.23652842","title":"The Frohmanian Symplectic Tether: Canonical Uniqueness on Coadjoint Orbits of SDiff(T3), Non-Degenerate Casimir Coupling, and Conditional Global Regularity via Quartic Young Absorption in Lean 4","display_name":"The Frohmanian Symplectic Tether: Canonical Uniqueness on Coadjoint Orbits of SDiff(T3), Non-Degenerate Casimir Coupling, and Conditional Global Regularity via Quartic Young Absorption in Lean 4","publication_year":2026,"publication_date":"2026-10-26","ids":{"openalex":"https://openalex.org/W7223676947","doi":"https://doi.org/10.5281/zenodo.23652842"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23652842","doi":"https://doi.org/10.5281/zenodo.23652842","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23652842","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.23652842","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5147864777","display_name":"Benjamin Frohman","orcid":"https://orcid.org/0009-0006-7068-3718","observed_orcids":["https://orcid.org/0009-0006-7068-3718"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Frohman, Benjamin Stanley","raw_affiliation_strings":["Independent Researcher, Texas, United States"],"raw_orcid":"https://orcid.org/0009-0006-7068-3718","affiliations":[{"raw_affiliation_string":"Independent Researcher, Texas, United States","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5147864777"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":4,"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/T10940","display_name":"Navier-Stokes equation solutions","score":0.18250000476837158,"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/T10940","display_name":"Navier-Stokes equation solutions","score":0.18250000476837158,"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/T10588","display_name":"Mathematical Dynamics and Fractals","score":0.13349999487400055,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"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/T10229","display_name":"Geometric Analysis and Curvature Flows","score":0.06129999831318855,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/coadjoint-orbits","display_name":"coadjoint orbits","score":0.7770000100135803},{"id":"https://openalex.org/keywords/global-regularity","display_name":"global regularity","score":0.8349999785423279},{"id":"https://openalex.org/keywords/vorticity","display_name":"vorticity","score":0.5619999766349792},{"id":"https://openalex.org/keywords/lean-4-formal-verification","display_name":"Lean 4 formal verification","score":0.6650000214576721}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7398999929428101},{"id":"https://openalex.org/C2777021972","wikidata":"https://www.wikidata.org/wiki/Q22976830","display_name":"Uniqueness","level":2,"score":0.6283000111579895},{"id":"https://openalex.org/C168619227","wikidata":"https://www.wikidata.org/wiki/Q2190991","display_name":"Symplectic geometry","level":2,"score":0.5896999835968018},{"id":"https://openalex.org/C34862557","wikidata":"https://www.wikidata.org/wiki/Q178985","display_name":"Ode","level":2,"score":0.5741000175476074},{"id":"https://openalex.org/C2779710842","wikidata":"https://www.wikidata.org/wiki/Q6086323","display_name":"Isospectral","level":2,"score":0.4171999990940094},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.41190001368522644},{"id":"https://openalex.org/C106881136","wikidata":"https://www.wikidata.org/wiki/Q275393","display_name":"Casimir effect","level":2,"score":0.37049999833106995},{"id":"https://openalex.org/C130432447","wikidata":"https://www.wikidata.org/wiki/Q11420049","display_name":"Quartic function","level":2,"score":0.3686000108718872},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.3686000108718872},{"id":"https://openalex.org/C202615002","wikidata":"https://www.wikidata.org/wiki/Q783507","display_name":"Differentiable function","level":2,"score":0.36579999327659607},{"id":"https://openalex.org/C152361515","wikidata":"https://www.wikidata.org/wiki/Q181328","display_name":"Bernoulli's principle","level":2,"score":0.32019999623298645},{"id":"https://openalex.org/C47556283","wikidata":"https://www.wikidata.org/wiki/Q1058314","display_name":"Diffeomorphism","level":2,"score":0.2994999885559082},{"id":"https://openalex.org/C38349280","wikidata":"https://www.wikidata.org/wiki/Q1434290","display_name":"Flow (mathematics)","level":2,"score":0.2842999994754791},{"id":"https://openalex.org/C163415756","wikidata":"https://www.wikidata.org/wiki/Q126473","display_name":"Contraction (grammar)","level":2,"score":0.28060001134872437},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.2766000032424927},{"id":"https://openalex.org/C9136319","wikidata":"https://www.wikidata.org/wiki/Q362640","display_name":"Covariant transformation","level":2,"score":0.2754000127315521},{"id":"https://openalex.org/C204707403","wikidata":"https://www.wikidata.org/wiki/Q1152398","display_name":"Canonical form","level":2,"score":0.2696000039577484},{"id":"https://openalex.org/C177918212","wikidata":"https://www.wikidata.org/wiki/Q803623","display_name":"Perturbation (astronomy)","level":2,"score":0.2651999890804291},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.26489999890327454},{"id":"https://openalex.org/C111458787","wikidata":"https://www.wikidata.org/wiki/Q215405","display_name":"Legendre polynomials","level":2,"score":0.25130000710487366}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.5281/zenodo.23652842","doi":"https://doi.org/10.5281/zenodo.23652842","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23652842","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.23652843","doi":"https://doi.org/10.5281/zenodo.23652843","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23652843","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.23717082","doi":"https://doi.org/10.5281/zenodo.23717082","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23717082","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.23749849","doi":"https://doi.org/10.5281/zenodo.23749849","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23749849","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.23867486","doi":"https://doi.org/10.5281/zenodo.23867486","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23867486","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":"Software"}],"best_oa_location":{"id":"doi:10.5281/zenodo.23652842","doi":"https://doi.org/10.5281/zenodo.23652842","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23652842","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W7206174843","https://openalex.org/W7206182600","https://openalex.org/W7223443202","https://openalex.org/W7223450928","https://openalex.org/W7223459025","https://openalex.org/W7223552896","https://openalex.org/W7223554463","https://openalex.org/W7223556077","https://openalex.org/W7223563254","https://openalex.org/W7223567419","https://openalex.org/W7223574862","https://openalex.org/W7223576998","https://openalex.org/W7223577865","https://openalex.org/W7223682763","https://openalex.org/W7223689489","https://openalex.org/W7223703095","https://openalex.org/W7223707757","https://openalex.org/W7224178972","https://openalex.org/W7224547083"],"related_works":["https://openalex.org/W7223689489","https://openalex.org/W7223551982","https://openalex.org/W2953145571","https://openalex.org/W7151375481","https://openalex.org/W7095416218","https://openalex.org/W7213592298","https://openalex.org/W1991735560","https://openalex.org/W4388867531","https://openalex.org/W3195821466","https://openalex.org/W2059061143"],"abstract_inverted_index":{"Single-Sentence":[0],"Final":[1,429],"Product":[2],"Theorem":[3],"(FrohmanianSymplecticTether.FinalProductTheorem.frohmanian_metriplectic_system_canonical_uniqueness_and_global_regularity_product_theorem):":[4],"For":[5],"every":[6,96,123,149],"viscosity":[7],"\u03bd":[8],">":[9,39,136],"0":[10,116,163,198,201],"on":[11,88,95,206,536,641,671,756],"the":[12,42,49,63,76,139,154,219,266,278,295,307,395,477,519,525,573,642,652,677,720,774,896,911,934,955,964],"dual":[13],"Lie":[14],"algebra":[15],"g*":[16],"=":[17,23,30,35,46,162,180,701],"SDiff(T3)*":[18],"with":[19,164,177,197,211,974],"Calder\u00f3n\u2013Zygmund":[20],"constant":[21],"CCZ":[22,107,130],"3/2":[24],"and":[25,59,80,91,147,200,214,218,300,312,340,377,455,474,483,557,614,631,636,651,663,682,686,692,733,796,804,808,816,880,903,907,921,947,978],"canonical":[26],"tether":[27,85,369,480],"coupling":[28],"\u03ba":[29],"27":[31],"CCZ4":[32],"/":[33,37,332,360,387,506,568,657,707,726,819,926,970],"(4\u03bd3)":[34],"2187":[36],"(64\u03bd3)":[38],"0,":[40],"(P1)":[41],"quadratic":[43],"density":[44,54],"\u03b1(\u03c9)":[45],"\u2212\u03ba||\u03c9||2":[47],"is":[48,92,275,304,646,649,960],"unique":[50],"minimal-degree":[51],"polynomial":[52],"kernel":[53,690,968],"satisfying":[55],"Casimir":[56,89],"preservation,":[57],"parity/negativity,":[58],"parabolic":[60],"scaling;":[61],"(P2)":[62],"full":[64],"pairing":[65],"TF(\u03b4F,":[66],"\u03b4G)":[67],"decomposes":[68],"into":[69],"an":[70],"alternating":[71],"Kirillov\u2013Kostant\u2013Souriau":[72],"symplectic":[73,368],"2-form":[74],"obeying":[75,127],"cyclic":[77],"Jacobi":[78],"identity":[79],"a":[81,628,632,693],"symmetric":[82],"negative-semidefinite":[83],"metriplectic":[84],"that":[86],"vanishes":[87],"gradients":[90],"strictly":[93,932],"negative":[94],"non-Casimir":[97],"transverse":[98],"perturbation;":[99],"(P3)":[100],"conjugate":[101],"(4/3,":[102],"4)":[103,189],"Young":[104],"absorption":[105],"satisfies":[106,138],"m3":[108],"\u2212":[109,112,132],"(\u03bd/3)":[110],"m2":[111],"(\u03ba/4)":[113],"m6":[114],"\u2264":[115,129,144],"for":[117,697,937],"all":[118,172],"m":[119],"\u2265":[120],"0;":[121],"(P4)":[122],"continuous":[124],"vorticity":[125,622,640],"envelope":[126],"M'(t)":[128],"M(t)2":[131],"\u03ba''":[133],"M(t)3":[134],"(\u03ba''":[135],"0)":[137],"global":[140,754],"Lyapunov":[141,905],"ceiling":[142],"M(t)":[143],"max(M(0),":[145],"CCZ/\u03ba'');":[146],"(P5)":[148],"physical":[150,891],"flow":[151],"governed":[152],"by":[153,306,963],"Frohmanian":[155,282,396,526,897],"tethered":[156,904],"dynamics":[157],"(non-vacuously":[158],"inhabited":[159],"at":[160,538],"u0":[161],"discontinuous":[165],"step-jump":[166],"fields":[167],"excluded)":[168],"extends":[169],"smoothly":[170],"to":[171,413,461],"t":[173],"\u2208":[174],"[0,":[175],"\u221e)":[176],"T*(u0,":[178],"\u03bd)":[179],"\u221e.":[181],"This":[182,273],"standalone":[183],"Lean":[184,301,465,575,608,729,759,822,835,849,863,938,957,966],"4":[185,302,466,576,609,730,823,836,850,864,939,958,967],"repository":[186,578],"(leanprover/lean4:v4.30.0-rc1,":[187],"Mathlib":[188],"contains":[190],"350":[191],"kernel-verified":[192],"theorems":[193],"across":[194],"13":[195],"modules":[196],"sorry":[199,976],"custom":[202,980],"axioms":[203,977],"(depending":[204],"only":[205],"[propext,":[207],"Classical.choice,":[208],"Quot.sound]),":[209],"together":[210],"Ed25519-signed":[212],"titan-audit":[213],"sealguard":[215],"cryptographic":[216,310],"certificates":[217],"compiled":[220],"monograph":[221],"PDF.":[222],"Provenance":[223],"&":[224,235,253,285,324,497,547,606,763,782,787,871,885],"Chronological":[225],"Priority":[226],"Ledger":[227],"(April":[228],"2026":[229,257,319,493,499,601,660,668],"\u2013":[230],"October":[231],"2026)":[232],"Sole":[233],"Author":[234],"Mathematical":[236],"Originator:":[237],"Benjamin":[238,258,916],"Stanley":[239,259,917],"Frohman":[240,794],"(ORCID:":[241],"0009-0006-7068-3718;":[242],"Independent":[243],"Researcher,":[244],"Texas,":[245],"United":[246],"States;":[247],"GitHub:":[248],"@BenFrohman;":[249],"X.com:":[250],"@Investor0x).":[251],"License":[252],"Copyright:":[254],"Copyright":[255],"\u00a9":[256],"Frohman.":[260,918],"All":[261,888],"rights":[262],"reserved.":[263],"Released":[264],"under":[265,933],"Apache":[267],"License,":[268],"Version":[269],"2.0":[270],"(SPDX:":[271],"Apache-2.0).":[272],"record":[274],"part":[276],"of":[277,294,394,518,572,621,639,915],"unified,":[279],"cryptographically":[280],"cross-linked":[281],"Symplectohydrodynamics":[283,786],"(FSymHD)":[284],"3D":[286,366,520,624,672,698,721],"Navier\u2013Stokes":[287,367,673,699],"Regularity":[288,522,675],"research":[289],"corpus.":[290],"The":[291],"chronological":[292],"lineage":[293],"theoretical":[296],"framework,":[297],"analytical":[298],"reductions,":[299],"formalizations":[303,732],"anchored":[305],"following":[308],"verifiable":[309],"digests":[311],"persistent":[313],"identifiers:":[314],"Tier":[315,488,597],"1":[316],"\u2014":[317,336,364,391,490,599,739,748,766,831,845,859],"April\u2013May":[318],"Foundational":[320,337],"Prior-Art":[321],"Archives":[322],"(SHA-256":[323],"MD5":[325],"Cryptographic":[326],"Digests)":[327],"2026-04-29":[328],"(09:26:38":[329],"AM":[330,381,425,434,446,453,504,545],"CDT":[331,359,386,505,567],"14:26:38":[333],"UTC):":[334,362,389,508,570],"Mathematical_Food_Forethought.pdf":[335],"mathematical":[338,889],"notes":[339,662],"early":[341],"symplectic/structural":[342],"conceptualization":[343],"(Google":[344,372,400],"Drive":[345,373,401,471],"File":[346,374,402],"ID:":[347,375,403],"1fbHzbd4f8rB8ry-uC9Zeb-2G8nCAxR3M;":[348],"Size:":[349,405],"127,523":[350],"bytes;":[351,407],"MD5:":[352,408],"46f660856892bcd241b58e35971a6d3c;":[353],"SHA-256:":[354,410,427,448,530,533,595],"20dd3b53e02a5a3a5a02fd9f753844b162ad920cfd3e4c5f6f89106d7d66dac5).":[355],"2026-05-04":[356],"(05:21:24":[357],"PM":[358,385,440,550,566],"22:21:24":[361],"NS_Polished.pdf":[363],"Early":[365],"manuscript":[370,417],"iteration":[371],"15RmvaT2uvH1L7CXmXmWejS5U8xKklM9i)":[376],"appendix.tex":[378],"(2026-05-04":[379],"11:01:00":[380],"CDT).":[382,459],"2026-05-09":[383],"(01:19:45":[384],"18:19:45":[388],"Triple_conjecture_a_rigorous_refinement.pdf":[390],"Rigorous":[392],"refinement":[393],"triple":[397],"regularization":[398],"architecture":[399],"1cK7a4805-y-y5f31-8vU118c0Q81b8e9;":[404],"667,751":[406],"e2f771dc85f2358f49c888c50ab6a49d;":[409],"a7e3cd19697eed920549cdfa2f6177a45312b9c2cf8e2e33fe220691f550ba61).":[411],"2026-05-16":[412],"2026-05-26:":[414],"Dated":[415],"LaTeX/PDF":[416],"iterations":[418],"in":[419,515,562,623,719,758,954],"drafts/:":[420],"5:17":[421],"DRAFTV1.pdf":[422],"(2026-05-16":[423],"10:43:08":[424],"CDT,":[426,447],"f3f20f391b865932d0d5cbbf4ff2af7fe1fcb52e203629daa772300b34c0f042),":[428],"draftv1":[430],"Frohmanian_Tether_Theorem.pdf":[431],"(2026-05-18":[432,438],"09:30:28":[433],"CDT),":[435,441,454],"FINAL":[436],"(1).pdf":[437],"04:54:41":[439],"5:19":[442],"EDITS.pdf":[443],"(2026-05-19":[444],"09:51:12":[445],"ee6ce9b88dd650e6858afa5727c818b454963abf02659db34de6f410772afdb7),":[449],"NEXT.pdf":[450],"(2026-05-21":[451],"11:21:13":[452],"Full_Living_Document_NS_Millennium_Proof_with_All_PASS_Blocks_and_Insertions.pdf":[456],"(2026-05-26":[457],"23:32:20":[458],"2026-05-27":[460],"2026-05-30":[462],"(CDT):":[463,585],"Initial":[464],"formalization":[467,577,922],"archives":[468],"(Lean_Formalization_2026-05-28,":[469],"Google":[470],"IDs":[472],"1t6gNjlug13-j2amIgXashkoMoLwQ2-sv":[473],"1VtDm0DBEpiNeh3fepG5S9P9gTRzfc2sy),":[475],"establishing":[476],"5-step":[478],"minimal":[479],"uniqueness":[481],"proof":[482,908],"coadjoint":[484],"orbit":[485],"degeneracy":[486],"lemmas.":[487],"2":[489],"June":[491],"1,":[492],"GitHub":[494,511],"Origin":[495],"Commit":[496],"June\u2013August":[498],"Archival":[500],"Snapshots":[501],"2026-06-01":[502,543],"(01:20:57":[503],"06:20:57":[507],"Earliest":[509],"public":[510],"root":[512],"commit":[513,582],"6c6cac908304d1ed3c90bddc907c4d2c3f4a8d79":[514],"BenFrohman/frohmanian-tether-manuscript-2026-06-01":[516],"(\"Resolution":[517],"Navier-Stokes":[521],"Problem":[523],"via":[524],"Symplectic":[527,795,898],"Tether\";":[528],"main.pdf":[529],"d4d1753f12e580a8675ca4a51aa0c0832ed3b31c01a2ef71aacb030fdaf075c4;":[531],"main.tex":[532],"710c97158f736d57e2c63370e54beb194698fad1ff489aff326cdb8736db9980),":[534],"archived":[535],"Zenodo":[537,587],"10.5281/zenodo.23629499":[539],"(Concept":[540,591],"DOI:":[541,592],"10.5281/zenodo.23629498).":[542],"(12:10:20":[544],"CDT)":[546],"2026-06-22":[548],"(04:05:10":[549],"CDT):":[551],"Companion":[552],"monographs":[553],"Frohmanian_Tether_Neural_Scaling_Secondary_Paper.pdf":[554],"(SHA-256:":[555,559],"573f4fcc326708d8c6b5f4ceeef67d113d472170234cfb3105ec123663e20a1a)":[556],"Frohmanian_Symplectic_Tether_and_Frohmanian_Curve.pdf":[558],"3cf0e2a1be2a03cb165659fa5315f6d6642579341b3bd90f21de455dac451e7e),":[560],"preserved":[561],"10.5281/zenodo.23629499.":[563],"2026-06-19":[564],"(04:29:21":[565],"21:15:05":[569],"Creation":[571],"primary":[574],"BenFrohman/NS_Millennium_Proof":[579,860],"(oldest":[580],"author-dated":[581],"c4fc018).":[583],"2026-08-19":[584],"Historical":[586],"archival":[588],"snapshot":[589],"10.5281/zenodo.21856430":[590],"10.5281/zenodo.21856429;":[593],"Frohmanian_Symplectic_Tether_Zenodo_21856430.pdf":[594],"54cb95bf8fd87ba325f7bdc68597bba8406d499c9bcccad0f576fc3671325120).":[596],"3":[598],"September\u2013October":[600],"Analytical":[602],"Criteria,":[603,676],"Boundary":[604],"Ledgers":[605],"Zero-sorry":[607,728],"Formalizations":[610],"2026-09-01:":[611],"Vorticity":[612,722],"direction":[613,936],"high-set":[615],"Campanato":[616,654],"regularity":[617,695,772],"criteria:":[618],"10.5281/zenodo.22240168":[619],"(Direction":[620,638],"Navier\u2013Stokes:":[625],"closed":[626],"identities,":[627],"geometric":[629,893],"reduction,":[630],"scale-sharp":[633],"remaining":[634,653],"estimate)":[635],"10.5281/zenodo.22240549":[637],"high":[643],"set:":[644],"what":[645,648],"closed,":[647],"false,":[650],"bound).":[655],"2026-09-16":[656],"2026-09-18:":[658],"September":[659],"working":[661,703],"referee":[664],"audits:":[665],"10.5281/zenodo.22835028":[666],"(September":[667],"Working":[669],"Notes":[670],"Conditional":[674],"Hodge\u2013Navier\u2013Stokes":[678],"Architecture":[679],"Referee":[680],"Audit,":[681],"Triadic":[683],"Multiscale":[684],"Homogenization)":[685],"10.5281/zenodo.22835069":[687],"(Identified":[688],"strain":[689,710],"A(\u03b8,\u03c9)":[691],"conditional":[694,771],"criterion":[696],"(\u03ba":[700],"3/2;":[702],"notes),":[704],"BenFrohman/ns-i11-conditional-criterion).":[705],"2026-09-11":[706],"2026-09-25:":[708],"Two-point":[709],"coercivity":[711],"analysis:":[712],"10.5281/zenodo.23627618":[713],"(On":[714],"Local":[715],"Two-Point":[716],"Strain":[717],"Coercivity":[718],"Equation,":[723],"BenFrohman/two-point-strain-coercivity).":[724],"2026-10-06":[725],"2026-10-07:":[727],"modular":[731],"boundary":[734,768],"ledgers:":[735],"10.5281/zenodo.23629497":[736],"(Concept:":[737,746,827,841,855],"10.5281/zenodo.23629496)":[738],"BenFrohman/bohm-identities":[740],"(Pointwise":[741],"Bohm":[742],"quantum-potential":[743],"identities).":[744],"10.5281/zenodo.23653003":[745],"10.5281/zenodo.23653002)":[747],"BenFrohman/global-from-local-restart":[749],"(Uniform":[750],"local":[751],"continuation":[752],"implies":[753],"existence":[755],"[0,\u221e)":[757],"4).":[760],"10.5281/zenodo.23653013":[761],"(BenFrohman/Clay-)":[762],"10.5281/zenodo.23653015":[764],"(BenFrohman/Clay-CD-not-certified)":[765],"Formal":[767],"ledgers":[769],"separating":[770],"from":[773],"open":[775],"unconditional":[776],"Clay":[777],"problems":[778],"(A)\u2013(D).":[779],"10.5281/zenodo.23629465":[780],"(BenFrohman/functional-equation-tether-b4)":[781],"10.5281/zenodo.23629467":[783],"(BenFrohman/triadic-homogenization-lean).":[784],"2026-10-24:":[785],"Master":[788,801],"Functional":[789,802],"Monograph":[790],"Series:":[791],"10.5281/zenodo.23632786":[792],"(The":[793],"Holographic":[797],"Dual":[798],"Regularization":[799],"Conjecture:":[800],"Reduction":[803],"Metriplectic":[805],"Enstrophy":[806],"Control)":[807],"companion":[809],"preprints":[810],"10.5281/zenodo.23632776,":[811],"10.5281/zenodo.23632778,":[812],"10.5281/zenodo.23632780,":[813],"10.5281/zenodo.23632782,":[814],"10.5281/zenodo.23632784,":[815],"10.5281/zenodo.23632788.":[817],"2026-10-25":[818],"2026-10-27:":[820],"Primary":[821],"Formalization":[824,884],"Releases:":[825],"10.5281/zenodo.23717082":[826],"10.5281/zenodo.23652842;":[828],"v1.0.0:":[829,843],"10.5281/zenodo.23652843)":[830],"BenFrohman/frohmanian-symplectic-tether-regularity":[832],"(v1.1.0,":[833,847],"29":[834],"modules,":[837,851],"zero":[838,852,868,975,979],"sorry).":[839,853,869],"10.5281/zenodo.23717083":[840],"10.5281/zenodo.23652840;":[842],"10.5281/zenodo.23652841)":[844],"BenFrohman/fefferman-clay-navier-stokes":[846],"34":[848],"10.5281/zenodo.23717084":[854],"10.5281/zenodo.23627609;":[856],"v2.1.0:":[857],"10.5281/zenodo.23627610)":[858],"(v2.2.0,":[861],"48":[862],"files,":[865],"360":[866],"theorems/lemmas,":[867],"Verification":[870],"Containment":[872],"Scaffolding:":[873],"10.5281/zenodo.23630648":[874],"(BenFrohman/titan-audit),":[875],"10.5281/zenodo.23631670":[876],"(BenFrohman/sealguard),":[877],"10.5281/zenodo.23632766":[878],"(BenFrohman/sentinel-gate),":[879],"10.5281/zenodo.23632768":[881],"(BenFrohman/Agentic-Dev).":[882],"AI-Assisted":[883],"Tooling":[886],"Disclosure":[887],"definitions,":[890],"models,":[892],"constructions":[894],"(including":[895],"Tether,":[899],"coadjoint-orbit":[900],"projection":[901],"operators,":[902],"functionals),":[906],"architectures":[909],"are":[910],"sole":[912],"original":[913],"work":[914],"AI":[919],"coding":[920],"assistants":[923],"(specifically":[924],"Grok":[925,927],"Bot,":[928],"xAI)":[929],"were":[930],"utilized":[931],"author's":[935],"proof-term":[940],"translation,":[941],"Mathlib4":[942,973],"tactic":[943],"elaboration,":[944],"LaTeX":[945],"typesetting,":[946],"repository/provenance":[948],"audit":[949],"scaffolding.":[950],"Every":[951],"formal":[952],"theorem":[953],"released":[956],"artifacts":[959],"independently":[961],"verified":[962],"deterministic":[965],"(leanprover/lean4:v4.29.0-rc2":[969],"v4.30.0-rc1)":[971],"against":[972],"axioms.":[981]},"counts_by_year":[{"year":2026,"cited_by_count":4}],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2026-10-27T00:00:00"}