{"id":"https://openalex.org/W7225656376","doi":"https://doi.org/10.5281/zenodo.24079622","title":"Geometric Phase-Space Completion and Conditional Global Regularity for the 3D Incompressible Navier\u2013Stokes Equations","display_name":"Geometric Phase-Space Completion and Conditional Global Regularity for the 3D Incompressible Navier\u2013Stokes Equations","publication_year":2026,"publication_date":"2026-11-09","ids":{"openalex":"https://openalex.org/W7225656376","doi":"https://doi.org/10.5281/zenodo.24079622"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24079622","doi":"https://doi.org/10.5281/zenodo.24079622","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24079622","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.24079622","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"],"raw_orcid":"https://orcid.org/0009-0006-7068-3718","affiliations":[{"raw_affiliation_string":"Independent Researcher","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":2,"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.9945999979972839,"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.9945999979972839,"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/T11654","display_name":"Advanced Mathematical Physics Problems","score":0.000699999975040555,"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/T10194","display_name":"Nonlinear Partial Differential Equations","score":0.0003000000142492354,"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/3d-incompressible-navier-stokes-equations","display_name":"3D incompressible Navier-Stokes equations","score":0.8759999871253967},{"id":"https://openalex.org/keywords/global-regularity","display_name":"global regularity","score":0.9739999771118164},{"id":"https://openalex.org/keywords/conditional-regularity","display_name":"conditional regularity","score":0.7699999809265137},{"id":"https://openalex.org/keywords/vorticity-equation","display_name":"vorticity equation","score":0.8569999933242798},{"id":"https://openalex.org/keywords/critical-sobolev-spaces","display_name":"critical Sobolev spaces","score":0.5419999957084656},{"id":"https://openalex.org/keywords/clay-millennium-prize","display_name":"Clay Millennium Prize","score":0.4480000138282776}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7996000051498413},{"id":"https://openalex.org/C102634674","wikidata":"https://www.wikidata.org/wiki/Q868473","display_name":"Smoothness","level":2,"score":0.5489000082015991},{"id":"https://openalex.org/C2777021972","wikidata":"https://www.wikidata.org/wiki/Q22976830","display_name":"Uniqueness","level":2,"score":0.5281999707221985},{"id":"https://openalex.org/C22324862","wikidata":"https://www.wikidata.org/wiki/Q652707","display_name":"Lipschitz continuity","level":2,"score":0.438400000333786},{"id":"https://openalex.org/C140479938","wikidata":"https://www.wikidata.org/wiki/Q5254619","display_name":"Iterated function","level":2,"score":0.3767000138759613},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.37070000171661377},{"id":"https://openalex.org/C27142425","wikidata":"https://www.wikidata.org/wiki/Q1139334","display_name":"Almost everywhere","level":2,"score":0.3628000020980835},{"id":"https://openalex.org/C88626702","wikidata":"https://www.wikidata.org/wiki/Q1128903","display_name":"Continuation","level":2,"score":0.33410000801086426},{"id":"https://openalex.org/C27851653","wikidata":"https://www.wikidata.org/wiki/Q829653","display_name":"Bounded variation","level":2,"score":0.3296000063419342},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.3197999894618988},{"id":"https://openalex.org/C2778355321","wikidata":"https://www.wikidata.org/wiki/Q17079427","display_name":"Identity (music)","level":2,"score":0.31679999828338623},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.3084999918937683},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.3052000105381012},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.2987000048160553},{"id":"https://openalex.org/C194053038","wikidata":"https://www.wikidata.org/wiki/Q7245087","display_name":"Principal part","level":2,"score":0.27549999952316284},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.2718999981880188},{"id":"https://openalex.org/C38349280","wikidata":"https://www.wikidata.org/wiki/Q1434290","display_name":"Flow (mathematics)","level":2,"score":0.27090001106262207},{"id":"https://openalex.org/C152361515","wikidata":"https://www.wikidata.org/wiki/Q181328","display_name":"Bernoulli's principle","level":2,"score":0.26750001311302185},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.2667999863624573},{"id":"https://openalex.org/C62354387","wikidata":"https://www.wikidata.org/wiki/Q875399","display_name":"Boundary (topology)","level":2,"score":0.26440000534057617},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.26010000705718994},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.25949999690055847},{"id":"https://openalex.org/C112680207","wikidata":"https://www.wikidata.org/wiki/Q714886","display_name":"Regular polygon","level":2,"score":0.25459998846054077}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.5281/zenodo.24079622","doi":"https://doi.org/10.5281/zenodo.24079622","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24079622","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.24079623","doi":"https://doi.org/10.5281/zenodo.24079623","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24079623","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.24083331","doi":"https://doi.org/10.5281/zenodo.24083331","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24083331","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.24079622","doi":"https://doi.org/10.5281/zenodo.24079622","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24079622","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":["https://openalex.org/W7225656333","https://openalex.org/W7216073964","https://openalex.org/W7106026938","https://openalex.org/W7223459025","https://openalex.org/W6893344405","https://openalex.org/W7203580649","https://openalex.org/W7166843927","https://openalex.org/W7224086403","https://openalex.org/W7107955670","https://openalex.org/W6968294573"],"abstract_inverted_index":{"Correction":[0],"(Nov":[1],"2026).":[2],"An":[3],"audit":[4],"of":[5,88,157,168,237,445,498],"the":[6,10,28,38,55,64,67,175,185,229,244,260,265,345,439,453,468,489,519,670,784],"Lean":[7,572,632,641],"formalization":[8],"in":[9,109,135,344,360,597,622,653,667],"companion":[11,346,672],"repository":[12],"BenFrohman/frohmanian-tether-conditional-regularity":[13],"found":[14],"three":[15,338,551,640,679],"vacuity":[16],"/":[17,533,557,561,565,568,571,574,636,702,729,731,733],"model-adequacy":[18],"defects.":[19],"(1)":[20,430],"The":[21,105,115,155,225,337,508],"legacy":[22],"NSSolution":[23],"structure":[24,744],"did":[25],"not":[26,212,355,392,493,524,627,754],"encode":[27],"Navier\u2013Stokes":[29,153,171,268],"equations:":[30],"solves_NS":[31],"and":[32,37,54,77,100,125,149,390,426,467,522,541,577],"maximal":[33,122],"were":[34,79,133,506],"unconstrained":[35],"propositions":[36],"lifespan":[39,48],"was":[40,59,71,107,424,753],"arbitrary,":[41],"so":[42,73,98],"a":[43,52,121,201,235,358,364,375,396,416,431,472,514],"zero":[44],"velocity":[45,261],"field":[46,422],"with":[47,302,316,363,419,501,537,614,619],"1":[49],"counted":[50],"as":[51,127,234,357,483],"solution":[53],"stated":[56,294],"analytic-bridge":[57],"target":[58],"provably":[60],"false.":[61],"(2)":[62,452],"For":[63],"same":[65],"reason":[66],"cited":[68,129,233],"hypothesis":[69],"BKMCriterion":[70],"uninhabitable,":[72],"clayB_iff_bkm_integrable,":[74],"formB_implies_clayB,":[75],"hypothesisB_implies_clayB":[76],"formB_Hs_bound":[78],"vacuously":[80],"true.":[81],"(3)":[82,474],"In":[83],"FrohmanianTripleArchitecture.lean,":[84],"NavierStokesUnifiedData":[85],"required":[86],"continuity":[87],"strainSup":[89],"on":[90,120,172,259,279,289,399,465,644,669],"every":[91,280],"[0,T],":[92],"which":[93],"already":[94],"forces":[95],"Hypothesis":[96],"B,":[97],"hypothesisB_implies_clayStatementB":[99,701],"three_way_equivalence":[101,718],"carried":[102],"no":[103,219,385,477],"information.":[104],"refutation":[106],"merged":[108,134],"PR":[110,136],"#3":[111],"(merge":[112,138],"commit":[113,139],"7803f272c5ef88181735a912769493e9bb475d34).":[114],"fixes":[116],"(genuine":[117],"classical":[118,339,388,594],"solutions":[119],"lifespan,":[123,301],"BKM":[124,292,389,569,585,595,686,708],"Kato\u2013Ponce":[126,306],"named":[128],"hypotheses,":[130],"non-vacuity":[131],"lemmas)":[132],"#4":[137],"d07c647152acee61df58dddd073cc394b5bf4f22).":[140],"Full":[141],"account:":[142],"10.5281/zenodo.24102969.":[143],"Clay":[144,186,526,575,748],"Statement":[145,527],"(B)":[146],"remains":[147,189],"open,":[148],"nothing":[150],"here":[151],"proves":[152],"regularity.":[154],"files":[156,642],"this":[158,361,645],"record":[159],"are":[160,341,463],"unchanged.":[161],"Review":[162],"draft":[163,347],"(unpublished).":[164],"Conditional":[165,556],"geometric":[166],"reformulation":[167],"3D":[169],"incompressible":[170],"\ud835\udd4b\u00b3":[173],"via":[174],"Frohmanian":[176],"Symplectic":[177],"Tether.":[178],"No":[179,746],"unconditional":[180,298,323,402,412,747],"large-data":[181],"claim":[182,222],"is":[183,211,218,232,384,458,492,582,750],"made;":[184],"Millennium":[187],"problem":[188],"open.":[190],"Status":[191],"summary":[192],"(audited).":[193],"Architecture:":[194],"skew-symmetric":[195],"Arnold":[196],"Lie\u2013Poisson":[197],"transport":[198],"{F,G}LP,":[199],"plus":[200],"symmetric":[202],"metriplectic":[203,728],"sector":[204],"[F,G]total":[205],"=":[206],"[F,G]diss":[207],"+":[208,309,312,760],"B(F,G).":[209],"B":[210,274,395,550,558],"claimed":[213],"to":[214,720],"be":[215],"Poisson;":[216],"there":[217],"Jacobi":[220,226,544],"identity":[221,227],"for":[223,228,286,319,326,335,411,518,588,601,617,630,725],"B.":[224,382],"LP":[230,249],"bracket":[231],"theorem":[236],"Marsden\u2013Weinstein":[238],"coadjoint-orbit":[239],"reduction":[240],"(Arnold1966,":[241],"MW1983,":[242,539],"AK1998);":[243],"paper":[245],"retains":[246],"its":[247],"written":[248],"convention":[250],"without":[251],"curls.":[252],"Strict":[253],"degeneracy":[254,730],"B(F,H)":[255],"\u2261":[256],"0":[257,437,689,711],"(projection":[258],"slot":[262],"\u2207\u00d7\u03b4F/\u03b4\u03c9)":[263],"recovers":[264],"exact":[266],"unmodified":[267],"vorticity":[269,520],"equation.":[270],"Theorem":[271,296,321,549],"A:":[272],"Form":[273,381,394],"(\u222b":[275],"\u2016S\u2016\u221e":[276],"dt":[277],"bounded":[278],"finite":[281,290],"interval)":[282],"\u21d2":[283],"global":[284,324,413],"smoothness":[285,318,334,587,600,629],"t>0;":[287,602],"converse":[288],"horizons.":[291],"continuation":[293,596,612],"one-directional.":[295],"B:":[297],"local":[299],"Kato":[300],"expanded":[303,548],"sketch":[304],"(full":[305],"both":[307],"terms":[308],"absorb;":[310],"mollified/Galerkin":[311],"Aubin\u2013Lions;":[313],"L\u00b2":[314],"uniqueness":[315],"\u2207v;":[317],"t>0).":[320,589],"C:":[322],"regularity":[325],"small":[327],"critical":[328],"data":[329],"\u2016u0\u2016\u1e221/2":[330],"\u2264":[331,371,456],"\u03b5":[332],"\u03bd;":[333],"t>0.":[336,631],"pillars":[340],"also":[342],"recorded":[343],"10.5281/zenodo.24080310.":[348],"Repaired":[349],"weighted":[350],"Lyapunov":[351],"(author's":[352],"audited":[353],"status;":[354],"present":[356],"file":[359],"deposit):":[362],"damped":[365],"weight":[366],"\u03d5":[367,370],"(0":[368,658],"<":[369],"1),":[372],"one":[373],"obtains":[374],"sign-consistent":[376],"conditional":[377],"energy":[378],"inequality":[379,517],"under":[380,649],"It":[383],"stronger":[386],"than":[387,449,512],"does":[391,523],"prove":[393],"priori.":[397],"Note":[398],"an":[400,420],"examined":[401,425],"attempt":[403],"(five":[404],"flaws;":[405],"rejected).":[406],"A":[407],"proposed":[408],"Lyapunov-functional":[409],"argument":[410,509],"regularity,":[414],"using":[415],"mollified":[417],"functional":[418],"auxiliary":[421],"\u03d5,":[423],"rejected.":[427],"Its":[428],"gaps:":[429],"sign":[432],"error,":[433],"since":[434,495],"\u2202t\u03d5\u03b5":[435],"\u2265":[436,481],"makes":[438],"term":[440],"(\u03ba/4)\u222b|\u03c9\u03b5|\u2074\u2202t\u03d5\u03b5":[441],"positive,":[442],"adding":[443],"growth":[444],"order":[446],"\u222b|\u03c9|\u2076":[447,480],"rather":[448,511],"quartic":[450],"absorption;":[451],"bound":[454,479,604],"\u2016\u2207u\u2016\u221e":[455],"CCZ\u2016\u03c9\u2016\u221e":[457],"false,":[459],"because":[460],"Calder\u00f3n\u2013Zygmund":[461],"operators":[462],"unbounded":[464],"L\u221e":[466],"correct":[469],"estimate":[470],"carries":[471],"logarithm;":[473],"Gagliardo\u2013Nirenberg":[475],"gives":[476],"lower":[478],"cM\u2076/E0,":[482],"tall":[484],"thin":[485],"spikes":[486],"show;":[487],"(4)":[488],"comparison":[490],"ODE":[491],"autonomous,":[494],"residual":[496],"powers":[497],"\u2016\u03d5\u03b5\u2016\u221e":[499],"grow":[500],"\u222bM\u00b2;":[502],"(5)":[503],"mollification":[504],"commutators":[505],"dropped.":[507],"assumes":[510],"derives":[513],"closed":[515],"cubic":[516],"supremum":[521],"resolve":[525],"(B).":[528],"Primary":[529],"manuscript":[530],"\u2014":[531,593,610,656,683,705,758],"Frohmanian_Tether_Unified.tex":[532],".pdf":[534],"(plus":[535],"references.bib":[536],"keys":[538],"AK1998,":[540],"companions).":[542],"Includes":[543],"coadjoint-reduction":[545],"remark":[546],"(\u00a72.1),":[547],"pillars,":[552],"status":[553],"matrix":[554],"(A":[555],"Unconditional":[559],"Local":[560],"C":[562],"Small-Data":[563],"Global":[564],"geometry":[566],"Exact":[567],"one-directional":[570,598,613,700],"scope":[573],"Open),":[576],"amsplain":[578],"BibTeX.":[579],"Earlier":[580],"Frohmanian_Tether_Full_Expanded.tex/.pdf":[581],"retained":[583],"(referee-audited:":[584],"one-directional;":[586,688,710],"Supplementary":[590],"notes":[591],"Conditional_BKM_Continuation.tex/.pdf":[592],"form;":[599],"log":[603],"includes":[605],"+\u2016\u03c9\u2016L\u00b2;":[606,615],"indices":[607],"s>5/2.":[608],"Littlewood_Paley_Conditional_and_SmallData.tex/.pdf":[609],"Kozono\u2013Taniuchi":[611],"Chemin/Fujita\u2013Kato":[616],"1\u2264p\u2264\u221e":[618],"smallness":[620],"linear":[621],"\u03bd":[623],"(proof":[624],"scaling":[625],"C/\u03bd,":[626],"C/\u03bd\u00b2);":[628],"4":[633],"modules":[634],"(Lean":[635],"Mathlib":[637],"v4.30.0-rc1;":[638],"all":[639,726],"presently":[643],"deposit":[646],"now":[647],"compile":[648],"lake":[650],"env":[651],"lean":[652],"NS_Millennium_Proof):":[654],"FrohmanianTripleArchitecture.lean":[655],"compiles":[657,684,706],"sorry;":[659,690,712],"axioms":[660,691,713],"[propext,":[661,692,714],"Classical.choice,":[662,693,715],"Quot.sound]).":[663,694,716],"Also":[664],"builds":[665],"green":[666],"CI":[668],"private":[671],"repo":[673],"frohmanian-tether-conditional-regularity":[674,771],"(run":[675],"42614257456:":[676],"14":[677],"declarations,":[678],"standard":[680],"axioms).":[681],"FrohmanianTetherComplete.lean":[682],"(corrected;":[685,707],"interface":[687,709],"Prior":[695,717],"name":[696],"conditional_global_regularity_iff_clay_B":[697],"replaced":[698],"by":[699],"clayStatementB_implies_hypothesisB.":[703],"ConditionalNavierStokesTetherFull.lean":[704],"renamed":[719],"hypothesisB_clay_continuation":[721],"(one-directional":[722],"package).":[723],"Scope":[724],"three:":[727],"alignment":[732],"Gronwall":[734],"logic":[735],"over":[736],"abstract":[737],"PDE":[738],"input":[739],"types;":[740],"Clay/BKM":[741],"remain":[742],"assumed":[743],"fields.":[745],"resolution":[749],"claimed.":[751],"FrohmanianTetherUnified.lean":[752],"received.":[755],"Python":[756],"check":[757],"verify_tether_tg.py":[759],"verify_tether_tg_output.txt":[761],"(rerun":[762],"confirmed":[763],"matching":[764],"output).":[765],"Related":[766],"identifiers:":[767],"isSupplementedBy":[768,770],"NS_Millennium_Proof;":[769],"(private).":[772],"License:":[773],"Apache-2.0.":[774],"Creator:":[775],"Frohman,":[776],"Benjamin":[777],"Stanley":[778],"(ORCID":[779],"0009-0006-7068-3718).":[780],"Keep":[781],"unpublished":[782],"until":[783],"author":[785],"explicitly":[786],"confirms.":[787]},"counts_by_year":[{"year":2026,"cited_by_count":2}],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2026-11-10T00:00:00"}