{"id":"https://openalex.org/W7225633916","doi":"https://doi.org/10.5281/zenodo.24072733","title":"KPP fronts in the 1-1-1 ABC flow speed up linearly in every direction","display_name":"KPP fronts in the 1-1-1 ABC flow speed up linearly in every direction","publication_year":2026,"publication_date":"2026-11-09","ids":{"openalex":"https://openalex.org/W7225633916","doi":"https://doi.org/10.5281/zenodo.24072733"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24072733","doi":"https://doi.org/10.5281/zenodo.24072733","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24072733","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.24072733","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5159121649","display_name":"P. Graham","orcid":"https://orcid.org/0009-0007-8493-1505","observed_orcids":["https://orcid.org/0009-0007-8493-1505"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Graham, P.","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0007-8493-1505","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5159121649"],"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/T10194","display_name":"Nonlinear Partial Differential Equations","score":0.2969000041484833,"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/T10194","display_name":"Nonlinear Partial Differential Equations","score":0.2969000041484833,"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/T11187","display_name":"Nonlinear Dynamics and Pattern Formation","score":0.22550000250339508,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10588","display_name":"Mathematical Dynamics and Fractals","score":0.11509999632835388,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/abc-flow","display_name":"ABC flow","score":0.8080000281333923},{"id":"https://openalex.org/keywords/arnold-beltrami-childress-flow","display_name":"Arnold-Beltrami-Childress flow","score":0.8679999709129333},{"id":"https://openalex.org/keywords/reaction-diffusion-systems","display_name":"reaction-diffusion systems","score":0.6819999814033508},{"id":"https://openalex.org/keywords/front-velocity","display_name":"front velocity","score":0.43299999833106995},{"id":"https://openalex.org/keywords/conserved-quantities","display_name":"first integrals","score":0.7879999876022339},{"id":"https://openalex.org/keywords/periodic-orbits","display_name":"periodic orbits","score":0.7229999899864197},{"id":"https://openalex.org/keywords/twist-maps","display_name":"twist maps","score":0.503000020980835},{"id":"https://openalex.org/keywords/kam-theory","display_name":"KAM theory","score":0.7059999704360962},{"id":"https://openalex.org/keywords/interval-arithmetic","display_name":"interval arithmetic","score":0.6190000176429749},{"id":"https://openalex.org/keywords/lean-formalization","display_name":"Lean formalization","score":0.6639999747276306},{"id":"https://openalex.org/keywords/certified-computation","display_name":"certified computation","score":0.42899999022483826}],"concepts":[{"id":"https://openalex.org/C95611797","wikidata":"https://www.wikidata.org/wiki/Q17502105","display_name":"Infimum and supremum","level":2,"score":0.741100013256073},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6897000074386597},{"id":"https://openalex.org/C22324862","wikidata":"https://www.wikidata.org/wiki/Q652707","display_name":"Lipschitz continuity","level":2,"score":0.6883999705314636},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.6158000230789185},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5748999714851379},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.5206000208854675},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.48489999771118164},{"id":"https://openalex.org/C38349280","wikidata":"https://www.wikidata.org/wiki/Q1434290","display_name":"Flow (mathematics)","level":2,"score":0.44749999046325684},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.3930000066757202},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.30090001225471497},{"id":"https://openalex.org/C84316537","wikidata":"https://www.wikidata.org/wiki/Q36255","display_name":"Unit vector","level":2,"score":0.2987000048160553},{"id":"https://openalex.org/C196644772","wikidata":"https://www.wikidata.org/wiki/Q3884964","display_name":"Orbit (dynamics)","level":2,"score":0.29760000109672546},{"id":"https://openalex.org/C2984157986","wikidata":"https://www.wikidata.org/wiki/Q3884964","display_name":"Periodic orbits","level":2,"score":0.28870001435279846},{"id":"https://openalex.org/C91188154","wikidata":"https://www.wikidata.org/wiki/Q186247","display_name":"Vector field","level":2,"score":0.28349998593330383},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.2808000147342682},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.25440001487731934},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.2524000108242035}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.5281/zenodo.24072733","doi":"https://doi.org/10.5281/zenodo.24072733","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24072733","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.24072734","doi":"https://doi.org/10.5281/zenodo.24072734","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24072734","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.24081425","doi":"https://doi.org/10.5281/zenodo.24081425","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24081425","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.24072733","doi":"https://doi.org/10.5281/zenodo.24072733","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24072733","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":0,"referenced_works":[],"related_works":["https://openalex.org/W2116626296","https://openalex.org/W2076474489","https://openalex.org/W2099545506","https://openalex.org/W2963510816","https://openalex.org/W1522405230","https://openalex.org/W103453931","https://openalex.org/W2064321210","https://openalex.org/W2417527027","https://openalex.org/W1606782906","https://openalex.org/W2049510839"],"abstract_inverted_index":{"Let":[0],"$V(x,y,z)=(\\sin":[1],"z+\\cos":[2],"y,\\":[3],"\\sin":[4,7],"x+\\cos":[5],"z,\\":[6],"y+\\cos":[8],"x)$":[9],"be":[10,20],"the":[11,21,32,69,96,141,156,161,187,191,204,224],"Arnold\u2013Beltrami\u2013Childress":[12],"(ABC)":[13],"flow":[14],"with":[15,126,132,144,168,209],"$A=B=C=1$,":[16],"and":[17,47,61,71,74,170,190,200,211],"let":[18],"$c^*_e(K)$":[19],"minimal":[22],"speed":[23],"of":[24,27,39,68,80,89,104,140],"pulsating":[25],"fronts":[26],"$T_t+K\\,V\\cdot\\nabla":[28],"T=\\Delta":[29],"T+f(T)$":[30],"in":[31,166],"direction":[33],"$e$,":[34],"for":[35,50],"a":[36,63,86,101,114,145,150],"reaction":[37],"$f$":[38],"KPP":[40],"type.":[41],"We":[42,110],"prove":[43,111],"that":[44,57,85,100,112],"$\\lim_{K\\to\\infty}c^*_e(K)/K$":[45],"exists":[46,60],"is":[48,164],"positive":[49],"every":[51],"unit":[52],"vector":[53],"$e$.":[54],"Zlato\u0161":[55],"proved":[56],"this":[58,81],"limit":[59,97],"equals":[62],"supremum":[64],"over":[65],"first":[66,152],"integrals":[67],"flow,":[70,82],"Xin,":[72],"Yu":[73],"Zlato\u0161,":[75],"who":[76],"constructed":[77],"periodic":[78,124],"orbits":[79,90],"pointed":[83],"out":[84],"positive-measure":[87],"tube":[88,115],"moving":[91],"roughly":[92],"linearly":[93],"would":[94],"make":[95],"positive,":[98],"but":[99],"rigorous":[102],"proof":[103],"such":[105,113],"tubes":[106],"was":[107],"not":[108,179,214],"known.":[109],"exists.":[116],"Two":[117],"independent":[118],"interval-arithmetic":[119],"computations":[120],"certify":[121],"an":[122],"elliptic":[123],"orbit":[125],"nonzero":[127],"twist;":[128],"P\u00f6schel's":[129,171],"KAM":[130],"theorem":[131],"frequencies":[133],"as":[134,173],"parameters":[135],"then":[136],"gives":[137],"invariant":[138],"curves":[139],"return":[142],"map":[143],"Lipschitz":[146,151],"label,":[147],"which":[148],"yield":[149],"integral":[153],"supported":[154],"on":[155],"tube.":[157],"The":[158,185],"deduction":[159],"from":[160],"certified":[162],"facts":[163],"checked":[165],"Lean,":[167],"Zlato\u0161's":[169],"theorems":[172],"cited":[174],"inputs.":[175],"This":[176],"work":[177],"has":[178],"yet":[180,215],"been":[181],"reviewed":[182,216],"by":[183,195,217,220],"experts.":[184,218],"proofs,":[186],"Lean":[188,210],"formalization":[189],"text":[192],"were":[193],"produced":[194],"AI":[196,221],"models":[197,222],"(from":[198],"OpenAI":[199],"Anthropic),":[201],"working":[202],"under":[203,223],"author's":[205,225],"direction.":[206,226],"Written":[207],"proof,":[208],"computer":[212],"checks;":[213],"Produced":[219]},"counts_by_year":[],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2026-11-10T00:00:00"}