{"id":"https://openalex.org/W7225610876","doi":"https://doi.org/10.5281/zenodo.24087926","title":"Validated numerics for the superharmonic instability of a steep Stokes wave","display_name":"Validated numerics for the superharmonic instability of a steep Stokes wave","publication_year":2026,"publication_date":"2026-11-09","ids":{"openalex":"https://openalex.org/W7225610876","doi":"https://doi.org/10.5281/zenodo.24087926"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24087926","doi":"https://doi.org/10.5281/zenodo.24087926","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24087926","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.24087926","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5161358283","display_name":"Neko2333OWO","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Neko2333OWO","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5161358283"],"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/T10248","display_name":"Nonlinear Waves and Solitons","score":0.8403000235557556,"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"}},"topics":[{"id":"https://openalex.org/T10248","display_name":"Nonlinear Waves and Solitons","score":0.8403000235557556,"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/T11654","display_name":"Advanced Mathematical Physics Problems","score":0.05510000139474869,"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/T11022","display_name":"Spectral Theory in Mathematical Physics","score":0.010300000198185444,"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/deep-water","display_name":"deep water","score":0.5740000009536743},{"id":"https://openalex.org/keywords/flint","display_name":"flint","score":0.5220000147819519},{"id":"https://openalex.org/keywords/conformal-mapping","display_name":"conformal mapping","score":0.6069999933242798},{"id":"https://openalex.org/keywords/numerical-verification","display_name":"numerical verification","score":0.4779999852180481},{"id":"https://openalex.org/keywords/floating-point-arithmetic","display_name":"floating-point arithmetic","score":0.39100000262260437},{"id":"https://openalex.org/keywords/spectral-stability","display_name":"spectral stability","score":0.37299999594688416},{"id":"https://openalex.org/keywords/exact-rational-arithmetic","display_name":"exact rational arithmetic","score":0.3149999976158142}],"concepts":[{"id":"https://openalex.org/C98214594","wikidata":"https://www.wikidata.org/wiki/Q850275","display_name":"Conformal map","level":2,"score":0.6930999755859375},{"id":"https://openalex.org/C147457402","wikidata":"https://www.wikidata.org/wiki/Q1588205","display_name":"Conservative vector field","level":3,"score":0.5475999712944031},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.52920001745224},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5135999917984009},{"id":"https://openalex.org/C29373527","wikidata":"https://www.wikidata.org/wiki/Q753658","display_name":"Subharmonic function","level":2,"score":0.4099000096321106},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4077000021934509},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.3952000141143799},{"id":"https://openalex.org/C86252789","wikidata":"https://www.wikidata.org/wiki/Q2247765","display_name":"Inviscid flow","level":2,"score":0.3869999945163727},{"id":"https://openalex.org/C53630964","wikidata":"https://www.wikidata.org/wiki/Q7618554","display_name":"Stokes wave","level":4,"score":0.36410000920295715},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.3562999963760376},{"id":"https://openalex.org/C102519508","wikidata":"https://www.wikidata.org/wiki/Q6520159","display_name":"Fourier transform","level":2,"score":0.3538999855518341},{"id":"https://openalex.org/C62884695","wikidata":"https://www.wikidata.org/wiki/Q184871","display_name":"Euler's formula","level":2,"score":0.3407999873161316},{"id":"https://openalex.org/C59696629","wikidata":"https://www.wikidata.org/wiki/Q193846","display_name":"Wave equation","level":2,"score":0.32420000433921814},{"id":"https://openalex.org/C6260449","wikidata":"https://www.wikidata.org/wiki/Q41364","display_name":"Wavelength","level":2,"score":0.31450000405311584},{"id":"https://openalex.org/C23463724","wikidata":"https://www.wikidata.org/wiki/Q2308831","display_name":"Spectral method","level":2,"score":0.31150001287460327},{"id":"https://openalex.org/C38409319","wikidata":"https://www.wikidata.org/wiki/Q375175","display_name":"Euler equations","level":2,"score":0.31130000948905945},{"id":"https://openalex.org/C110812573","wikidata":"https://www.wikidata.org/wiki/Q175515","display_name":"Symbolic computation","level":2,"score":0.30390000343322754},{"id":"https://openalex.org/C203024314","wikidata":"https://www.wikidata.org/wiki/Q1365258","display_name":"Fourier analysis","level":3,"score":0.30320000648498535},{"id":"https://openalex.org/C190330329","wikidata":"https://www.wikidata.org/wiki/Q190035","display_name":"Gravitational wave","level":2,"score":0.29820001125335693},{"id":"https://openalex.org/C186370098","wikidata":"https://www.wikidata.org/wiki/Q442787","display_name":"Energy (signal processing)","level":2,"score":0.29109999537467957},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.2847999930381775},{"id":"https://openalex.org/C22324862","wikidata":"https://www.wikidata.org/wiki/Q652707","display_name":"Lipschitz continuity","level":2,"score":0.27959999442100525},{"id":"https://openalex.org/C59282198","wikidata":"https://www.wikidata.org/wiki/Q51501","display_name":"Maxwell's equations","level":2,"score":0.27559998631477356},{"id":"https://openalex.org/C156778621","wikidata":"https://www.wikidata.org/wiki/Q1365748","display_name":"Spectrum (functional analysis)","level":2,"score":0.27489998936653137},{"id":"https://openalex.org/C74650414","wikidata":"https://www.wikidata.org/wiki/Q11397","display_name":"Classical mechanics","level":1,"score":0.27459999918937683},{"id":"https://openalex.org/C48753275","wikidata":"https://www.wikidata.org/wiki/Q11216","display_name":"Numerical analysis","level":2,"score":0.2563000023365021},{"id":"https://openalex.org/C165082838","wikidata":"https://www.wikidata.org/wiki/Q165848","display_name":"Wind wave","level":2,"score":0.25130000710487366}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24087926","doi":"https://doi.org/10.5281/zenodo.24087926","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24087926","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.24087927","doi":"https://doi.org/10.5281/zenodo.24087927","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24087927","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.24087926","doi":"https://doi.org/10.5281/zenodo.24087926","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24087926","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":2,"referenced_works":["https://openalex.org/W2609804531","https://openalex.org/W4414170922"],"related_works":["https://openalex.org/W4303646533","https://openalex.org/W2962722367","https://openalex.org/W3184066767","https://openalex.org/W4392093099","https://openalex.org/W2100610312","https://openalex.org/W4413913491","https://openalex.org/W2122297731","https://openalex.org/W3081978914","https://openalex.org/W7225261564","https://openalex.org/W2065110856"],"abstract_inverted_index":{"Files":[0],"and":[1,23,35,54,119,170,183,206,230,245,261,273,312,321,327,344],"how":[2],"to":[3,138,226,231],"check":[4],"them.":[5],"stokes-instability.pdf":[6],"is":[7,91,158,240,304],"the":[8,12,16,24,40,45,48,63,70,103,147,151,171,178,199,208,216,223,227,232,267,285,301,337,345,362,365],"article.":[9],"stokes-instability-supplement.zip":[10],"holds":[11,211],"certificate,":[13],"its":[14,307],"specification,":[15],"two":[17,41,252],"verification":[18,71],"programs,":[19],"eight":[20],"test":[21],"inputs,":[22],"three":[25,74],"written":[26,197,254,286,332],"proofs":[27,287,311],"exactly":[28,97],"as":[29,277],"reviewed,":[30],"with":[31,116,144,242,316],"their":[32,141],"replay":[33],"scripts":[34],"reviews;":[36],"it":[37,108],"also":[38],"keeps":[39],"superseded":[42],"versions":[43],"of":[44,50,95,140,150,181,203,238,294,361],"main":[46,346],"proof,":[47],"records":[49],"a":[51,92,110,159,189,257],"section-by-section":[52],"audit,":[53],"earlier":[55],"floating-point":[56],"experiments.":[57],"Running":[58],"\"python3":[59],"-I":[60],"check.py\"":[61],"inside":[62],"archive":[64],"(CPython":[65],"3.12,":[66,270],"python-flint":[67,271],"0.9.0)":[68],"repeats":[69],"in":[72,177,192,198,215],"about":[73,107],"minutes.":[75],"Result.":[76],"For":[77],"two-dimensional":[78],"irrotational":[79],"gravity":[80],"waves":[81,132],"on":[82,133],"infinite":[83],"depth":[84],"(g":[85],"=":[86,99],"1,":[87],"wavelength":[88],"2\u03c0)":[89],"there":[90],"Stokes":[93,131],"wave":[94,152,167,214],"steepness":[96],"69/500":[98],"0.138":[100],"such":[101],"that":[102,129,266,339],"linearized":[104],"water-wave":[105],"equations":[106,225,229],"admit":[109],"2\u03c0-periodic":[111],"solution":[112],"growing":[113],"like":[114],"e^{\u03bbt},":[115],"\u03bb":[117,122],"real":[118],"0.19735494607379934":[120],"\u2264":[121,123],"0.19735494607379940.":[124],"Computations":[125],"have":[126],"long":[127],"shown":[128],"steep":[130],"deep":[134],"water":[135],"are":[136,185],"unstable":[137],"perturbations":[139],"own":[142],"period,":[143],"onset":[145],"at":[146],"first":[148],"maximum":[149],"energy":[153],"(H/\u03bb":[154],"\u2248":[155],"0.1366);":[156],"this":[157],"proof":[160,264,333,347],"for":[161,212,306],"one":[162],"specific":[163],"wave.":[164],"Method.":[165],"The":[166,235,263,296,309],"(Babenko's":[168],"equation)":[169],"eigenpair":[172,209],"(the":[173],"co-periodic":[174],"spectral":[175],"problem":[176],"conformal":[179,201,224],"form":[180],"Dyachenko":[182,205],"Pelinovsky)":[184],"enclosed":[186],"together":[187],"by":[188,251,289,300,336,351,353],"Newton\u2013Kantorovich":[190],"estimate":[191,210],"weighted":[193],"\u2113\u00b9":[194],"Fourier":[195],"spaces,":[196],"auxiliary":[200],"variable":[202],"Lushnikov,":[204],"Silantyev;":[207],"every":[213],"enclosure.":[217],"Two":[218],"analytic":[219],"theorems":[220],"pass":[221],"from":[222,256],"Euler":[228],"Zakharov\u2013Craig\u2013Sulem":[233],"linearization.":[234],"finite":[236],"list":[237],"inequalities":[239],"checked":[241],"exact":[243],"rationals":[244],"Arb":[246],"balls":[247],"(python-flint":[248],"over":[249],"FLINT)":[250],"programs":[253],"separately":[255],"fixed":[258],"specification.":[259],"Assumptions":[260],"limitations.":[262],"assumes":[265],"hardware,":[268],"CPython":[269],"0.9.0":[272],"FLINT":[274],"3.6.0":[275],"behave":[276],"documented.":[278],"No":[279],"human":[280],"specialist":[281],"has":[282],"gone":[283],"through":[284],"line":[288,290],"so":[291],"far.":[292],"Use":[293],"AI.":[295],"work":[297],"was":[298,334,348],"directed":[299],"author,":[302],"who":[303],"responsible":[305],"content.":[308],"computations,":[310],"text":[313],"were":[314],"produced":[315],"Claude":[317],"Opus":[318],"5.5":[319],"(Anthropic)":[320],"GPT-6":[322,356],"Astra":[323,357],"(OpenAI)":[324],"between":[325],"7":[326],"9":[328],"November":[329],"2026.":[330],"Each":[331],"reviewed":[335],"model":[338],"did":[340],"not":[341],"write":[342],"it,":[343],"audited":[349],"section":[350,352],"five":[354],"further":[355],"referees.":[358],"Section":[359],"11":[360],"article":[363],"gives":[364],"details.":[366]},"counts_by_year":[],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2026-11-10T00:00:00"}