{"id":"https://openalex.org/W7224092500","doi":"https://doi.org/10.48550/arxiv.2610.36216","title":"Computer-assisted proofs of periodic solutions of state-dependent delay equations beyond perturbative regimes","display_name":"Computer-assisted proofs of periodic solutions of state-dependent delay equations beyond perturbative regimes","publication_year":2026,"publication_date":"2026-10-26","ids":{"openalex":"https://openalex.org/W7224092500","doi":"https://doi.org/10.48550/arxiv.2610.36216"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2610.36216","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.36216","pdf_url":"https://arxiv.org/pdf/2610.36216","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2610.36216","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5068716450","display_name":"Jan Bouwe van den Berg","orcid":"https://orcid.org/0000-0003-3503-7535","observed_orcids":["https://orcid.org/0000-0003-3503-7535"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Berg, Jan Bouwe van den","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035205040","display_name":"Maxime Breden","orcid":"https://orcid.org/0009-0000-0072-404X","observed_orcids":["https://orcid.org/0009-0000-0072-404X"]},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I142476485","display_name":"\u00c9cole Polytechnique","ror":"https://ror.org/05hy3tk52","country_code":"FR","type":"education","lineage":["https://openalex.org/I142476485","https://openalex.org/I4210145102"]},{"id":"https://openalex.org/I4210107641","display_name":"Centre de Math\u00e9matiques Appliqu\u00e9es de l'\u00c9cole polytechnique","ror":"https://ror.org/012e1xn46","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I142476485","https://openalex.org/I4210107641","https://openalex.org/I4210141950","https://openalex.org/I4210145102"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Breden, Maxime","raw_affiliation_strings":["CMAP , CNRS , \u00c9cole polytechnique ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CMAP , CNRS , \u00c9cole polytechnique ,","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I142476485","https://openalex.org/I4210107641"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045942307","display_name":"Matthieu Cadiot","orcid":"https://orcid.org/0009-0001-9983-9150","observed_orcids":["https://orcid.org/0009-0001-9983-9150"]},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I142476485","display_name":"\u00c9cole Polytechnique","ror":"https://ror.org/05hy3tk52","country_code":"FR","type":"education","lineage":["https://openalex.org/I142476485","https://openalex.org/I4210145102"]},{"id":"https://openalex.org/I4210107641","display_name":"Centre de Math\u00e9matiques Appliqu\u00e9es de l'\u00c9cole polytechnique","ror":"https://ror.org/012e1xn46","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I142476485","https://openalex.org/I4210107641","https://openalex.org/I4210141950","https://openalex.org/I4210145102"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Cadiot, Matthieu","raw_affiliation_strings":["CMAP , CNRS , \u00c9cole polytechnique ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CMAP , CNRS , \u00c9cole polytechnique ,","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I142476485","https://openalex.org/I4210107641"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078307052","display_name":"Kevin E. M. Church","orcid":"https://orcid.org/0000-0001-8996-0726","observed_orcids":["https://orcid.org/0000-0001-8996-0726"]},"institutions":[{"id":"https://openalex.org/I4405269201","display_name":"Centre de recherches math\u00e9matiques","ror":"https://ror.org/03czdsq06","country_code":"CA","type":"facility","lineage":["https://openalex.org/I4405269201","https://openalex.org/I70931966"]},{"id":"https://openalex.org/I70931966","display_name":"Universit\u00e9 de Montr\u00e9al","ror":"https://ror.org/0161xgx34","country_code":"CA","type":"education","lineage":["https://openalex.org/I70931966"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Church, Kevin E. M.","raw_affiliation_strings":["Centre de Recherches Math\u00e9matiques , Universit\u00e9 de Montr\u00e9al , Pavillon Andr\u00e9-Aisenstadt , 2920 chemin de la Tour , Montr\u00e9al , QC , H3T 1J4 , Canada ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centre de Recherches Math\u00e9matiques , Universit\u00e9 de Montr\u00e9al , Pavillon Andr\u00e9-Aisenstadt , 2920 chemin de la Tour , Montr\u00e9al , QC , H3T 1J4 , Canada ,","institution_ids":["https://openalex.org/I4405269201","https://openalex.org/I70931966"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5010664127","display_name":"Jean\u2010Philippe Lessard","orcid":"https://orcid.org/0000-0001-7672-6623","observed_orcids":["https://orcid.org/0000-0001-7672-6623"]},"institutions":[{"id":"https://openalex.org/I4210145102","display_name":"Institut Polytechnique de Paris","ror":"https://ror.org/042tfbd02","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210145102"]},{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]}],"countries":["CA","FR"],"is_corresponding":false,"raw_author_name":"Lessard, Jean-Philippe","raw_affiliation_strings":["Department of Mathematics and Statistics , McGill University , Montreal , QC , H3A 0B9 , Canada ,","Institut Polytechnique de Paris , 91120 Palaiseau , France,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Statistics , McGill University , Montreal , QC , H3A 0B9 , Canada ,","institution_ids":["https://openalex.org/I5023651"]},{"raw_affiliation_string":"Institut Polytechnique de Paris , 91120 Palaiseau , France,","institution_ids":["https://openalex.org/I4210145102"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"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/T10541","display_name":"Nonlinear Differential Equations Analysis","score":0.5077999830245972,"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/T10541","display_name":"Nonlinear Differential Equations Analysis","score":0.5077999830245972,"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/T12396","display_name":"Advanced Differential Equations and Dynamical Systems","score":0.1964000016450882,"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"}},{"id":"https://openalex.org/T11416","display_name":"Numerical Solvers for Ordinary Differential Equations","score":0.15889999270439148,"subfield":{"id":"https://openalex.org/subfields/2612","display_name":"Numerical Analysis"},"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/periodic-solutions","display_name":"periodic solutions","score":0.9950000047683716},{"id":"https://openalex.org/keywords/computer-assisted-proof","display_name":"computer-assisted proof","score":0.921999990940094},{"id":"https://openalex.org/keywords/newton-kantorovich-method","display_name":"Newton-Kantorovich method","score":0.8119999766349792},{"id":"https://openalex.org/keywords/trigonometric-polynomial-approximation","display_name":"trigonometric polynomial approximation","score":0.9179999828338623},{"id":"https://openalex.org/keywords/gene-expression-regulation","display_name":"gene expression regulation","score":0.9319999814033508},{"id":"https://openalex.org/keywords/two-delays","display_name":"two delays","score":0.32100000977516174}],"concepts":[{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.7421000003814697},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6272000074386597},{"id":"https://openalex.org/C147504518","wikidata":"https://www.wikidata.org/wiki/Q2146125","display_name":"Delay differential equation","level":3,"score":0.5803999900817871},{"id":"https://openalex.org/C102519508","wikidata":"https://www.wikidata.org/wiki/Q6520159","display_name":"Fourier transform","level":2,"score":0.5527999997138977},{"id":"https://openalex.org/C57691317","wikidata":"https://www.wikidata.org/wiki/Q1289248","display_name":"Scalar (mathematics)","level":2,"score":0.5063999891281128},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.4627000093460083},{"id":"https://openalex.org/C51544822","wikidata":"https://www.wikidata.org/wiki/Q465274","display_name":"Ordinary differential equation","level":3,"score":0.4388999938964844},{"id":"https://openalex.org/C29001434","wikidata":"https://www.wikidata.org/wiki/Q8084","display_name":"Trigonometry","level":2,"score":0.4359999895095825},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.4332999885082245},{"id":"https://openalex.org/C78045399","wikidata":"https://www.wikidata.org/wiki/Q11214","display_name":"Differential equation","level":2,"score":0.40860000252723694},{"id":"https://openalex.org/C203024314","wikidata":"https://www.wikidata.org/wiki/Q1365258","display_name":"Fourier analysis","level":3,"score":0.3465999960899353},{"id":"https://openalex.org/C178009071","wikidata":"https://www.wikidata.org/wiki/Q93344","display_name":"Trigonometric functions","level":2,"score":0.3402000069618225},{"id":"https://openalex.org/C130187892","wikidata":"https://www.wikidata.org/wiki/Q133327","display_name":"Spacetime","level":2,"score":0.3319000005722046},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.32739999890327454},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.32690000534057617},{"id":"https://openalex.org/C93779851","wikidata":"https://www.wikidata.org/wiki/Q271977","display_name":"Partial differential equation","level":2,"score":0.32429999113082886},{"id":"https://openalex.org/C98644592","wikidata":"https://www.wikidata.org/wiki/Q184743","display_name":"Periodic function","level":2,"score":0.2825999855995178},{"id":"https://openalex.org/C2779844894","wikidata":"https://www.wikidata.org/wiki/Q5421516","display_name":"Exponential dichotomy","level":3,"score":0.27970001101493835},{"id":"https://openalex.org/C207864730","wikidata":"https://www.wikidata.org/wiki/Q179467","display_name":"Fourier series","level":2,"score":0.27379998564720154},{"id":"https://openalex.org/C162355945","wikidata":"https://www.wikidata.org/wiki/Q1066983","display_name":"Almost periodic function","level":2,"score":0.26269999146461487},{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.25589999556541443},{"id":"https://openalex.org/C96402334","wikidata":"https://www.wikidata.org/wiki/Q3030793","display_name":"Space time","level":2,"score":0.25450000166893005},{"id":"https://openalex.org/C1911482","wikidata":"https://www.wikidata.org/wiki/Q854531","display_name":"Real analysis","level":2,"score":0.2526000142097473},{"id":"https://openalex.org/C110521144","wikidata":"https://www.wikidata.org/wiki/Q193460","display_name":"Scalar field","level":2,"score":0.2515000104904175}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2610.36216","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.36216","pdf_url":"https://arxiv.org/pdf/2610.36216","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2610.36216","doi":"https://doi.org/10.48550/arxiv.2610.36216","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2610.36216","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"pmh:oai:arXiv.org:2610.36216","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.36216","pdf_url":"https://arxiv.org/pdf/2610.36216","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G2011461449","display_name":"Science et Technologie \u00e0 Polytechnique Paris","funder_award_id":"ANR-22-EXES-0013","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G2181492775","display_name":"Computer-Assisted Proofs for Partial differential equations and Stochastic differential equations","funder_award_id":"ANR-23-CE40-0004","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G52575968","display_name":null,"funder_award_id":"ANR-22-EXES-0013","funder_id":"https://openalex.org/F4320324478","funder_display_name":"Fondation Math\u00e9matique Jacques Hadamard"},{"id":"https://openalex.org/G7080048889","display_name":null,"funder_award_id":"ANR-23","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G8939321883","display_name":null,"funder_award_id":"ANR-23-CE40-0004-01","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320324478","display_name":"Fondation Math\u00e9matique Jacques Hadamard","ror":"https://ror.org/0153me927"},{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7224092500.pdf","grobid_xml":"https://content.openalex.org/works/W7224092500.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W3213279295","https://openalex.org/W3186823439","https://openalex.org/W3096014207","https://openalex.org/W2011401245","https://openalex.org/W3024489438","https://openalex.org/W2222937479","https://openalex.org/W4400904002","https://openalex.org/W4406127059","https://openalex.org/W2020320135","https://openalex.org/W1992657189"],"abstract_inverted_index":{"Rigorous":[0],"existence":[1,37,155],"results":[2],"for":[3,107,171],"periodic":[4,39,54,68,157],"solutions":[5,40,158],"of":[6,38,41,66,96,118,154,156,159],"state-dependent":[7,132],"delay":[8,137],"differential":[9,27],"equations":[10],"(SDDEs)":[11],"are":[12,149,186],"scarce":[13],"outside":[14,161],"perturbative":[15,162],"regimes,":[16],"where":[17],"the":[18,36,64,75,79,90,112,150,166,179,183],"equation":[19,129],"is":[20,47,57,81],"close":[21],"to":[22,114,168],"an":[23,126],"ordinary":[24],"or":[25],"constant-delay":[26],"equation.":[28],"We":[29,92,110],"develop":[30],"a":[31,48,52,60,84,121,135],"computer-assisted":[32,152,169,176],"framework":[33,113],"that":[34,86],"proves":[35],"SDDEs":[42,160,172],"directly.":[43],"The":[44,70],"numerical":[45],"approximation":[46],"trigonometric":[49],"polynomial,":[50],"and":[51,134,182],"true":[53],"solution":[55,80],"nearby":[56],"obtained":[58],"by":[59,100],"Newton--Kantorovich":[61],"argument":[62],"in":[63,74,77,142],"space":[65],"$C^1$":[67],"functions.":[69],"main":[71],"difficulty":[72],"lies":[73],"terms":[76],"which":[78],"evaluated":[82],"at":[83,190],"time":[85],"itself":[87],"depends":[88],"on":[89,188],"solution.":[91],"obtain":[93],"rigorous":[94],"enclosures":[95],"their":[97],"Fourier":[98,104],"coefficients":[99],"adapting":[101],"validated":[102],"discrete":[103],"transform":[105],"techniques":[106],"analytic":[108],"nonlinearities.":[109],"apply":[111],"three":[115],"representative":[116],"examples":[117],"increasing":[119],"complexity:":[120],"periodically":[122],"forced":[123],"toy":[124],"model,":[125],"autonomous":[127],"scalar":[128],"with":[130],"two":[131],"delays,":[133],"threshold-type":[136],"model":[138],"from":[139],"operon":[140],"dynamics":[141],"gene":[143],"regulation.":[144],"To":[145],"our":[146],"knowledge,":[147],"these":[148],"first":[151],"proofs":[153,170],"regimes.":[163],"This":[164],"opens":[165],"way":[167],"more":[173],"broadly.":[174],"All":[175],"proofs,":[177],"including":[178],"requisite":[180],"codes":[181],"approximate":[184],"objects,":[185],"accessible":[187],"GitHub":[189],"\\cite{code_proof}.":[191]},"counts_by_year":[],"updated_date":"2026-11-01T11:40:01.658920","created_date":"2026-10-29T00:00:00"}