{"id":"https://openalex.org/W7214070331","doi":"https://doi.org/10.1137/25m1781851","title":"From Heteroclinic Loops to Homoclinic Snaking in Reversible Systems: Rigorous Forcing through Computer-Assisted Proofs","display_name":"From Heteroclinic Loops to Homoclinic Snaking in Reversible Systems: Rigorous Forcing through Computer-Assisted Proofs","publication_year":2026,"publication_date":"2026-09-23","ids":{"openalex":"https://openalex.org/W7214070331","doi":"https://doi.org/10.1137/25m1781851"},"language":"en","primary_location":{"id":"doi:10.1137/25m1781851","doi":"https://doi.org/10.1137/25m1781851","is_oa":false,"landing_page_url":"https://doi.org/10.1137/25m1781851","pdf_url":null,"source":{"id":"https://openalex.org/S161160597","display_name":"SIAM Journal on Applied Dynamical Systems","issn_l":"1536-0040","issn":["1536-0040"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","dongbi-b","jufo-1","norway-1","poland-100","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Applied Dynamical Systems","raw_type":"journal-article"},"volume":null,"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"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":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Jan Bouwe van den Berg","raw_affiliation_strings":["Department of Mathematics, VU Amsterdam, 1081 HV Amsterdam, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, VU Amsterdam, 1081 HV Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063812088","display_name":"Gabriel William Duchesne","orcid":null,"observed_orcids":[]},"institutions":[{"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"],"is_corresponding":false,"raw_author_name":"Gabriel William Duchesne","raw_affiliation_strings":["Department of Mathematics and Statistics, McGill University, Montreal, QC H3A 0B9, Canada"],"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"]}]},{"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/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Jean-Philippe Lessard","raw_affiliation_strings":["Department of Mathematics and Statistics, McGill University, Montreal, QC H3A 0B9, Canada"],"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"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.8300468,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"25","issue":"3","first_page":"2355","last_page":"2400"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12396","display_name":"Advanced Differential Equations and Dynamical Systems","score":0.826200008392334,"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"}},"topics":[{"id":"https://openalex.org/T12396","display_name":"Advanced Differential Equations and Dynamical Systems","score":0.826200008392334,"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/T11187","display_name":"Nonlinear Dynamics and Pattern Formation","score":0.08169999718666077,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10588","display_name":"Mathematical Dynamics and Fractals","score":0.029500000178813934,"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/homoclinic-snaking","display_name":"homoclinic snaking","score":0.9980000257492065},{"id":"https://openalex.org/keywords/heteroclinic-connections","display_name":"heteroclinic connections","score":0.8840000033378601},{"id":"https://openalex.org/keywords/time-reversible-systems","display_name":"time-reversible systems","score":0.7319999933242798},{"id":"https://openalex.org/keywords/swift-hohenberg-equation","display_name":"Swift-Hohenberg equation","score":0.8230000138282776},{"id":"https://openalex.org/keywords/gray-scott-model","display_name":"Gray-Scott model","score":0.9610000252723694},{"id":"https://openalex.org/keywords/computer-assisted-proof","display_name":"computer-assisted proof","score":0.7390000224113464},{"id":"https://openalex.org/keywords/connecting-orbits","display_name":"connecting orbits","score":0.6589999794960022},{"id":"https://openalex.org/keywords/periodic-orbits","display_name":"periodic orbits","score":0.6899999976158142},{"id":"https://openalex.org/keywords/equilibrium","display_name":"equilibrium","score":0.5550000071525574}],"concepts":[{"id":"https://openalex.org/C200581526","wikidata":"https://www.wikidata.org/wiki/Q690494","display_name":"Homoclinic orbit","level":4,"score":0.9573000073432922},{"id":"https://openalex.org/C184481792","wikidata":"https://www.wikidata.org/wiki/Q1992087","display_name":"Heteroclinic orbit","level":5,"score":0.7623999714851379},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.7215999960899353},{"id":"https://openalex.org/C73888704","wikidata":"https://www.wikidata.org/wiki/Q1154357","display_name":"Heteroclinic bifurcation","level":5,"score":0.7160999774932861},{"id":"https://openalex.org/C142115181","wikidata":"https://www.wikidata.org/wiki/Q16948232","display_name":"Heteroclinic cycle","level":5,"score":0.6280999779701233},{"id":"https://openalex.org/C197115733","wikidata":"https://www.wikidata.org/wiki/Q1003136","display_name":"Forcing (mathematics)","level":2,"score":0.5855000019073486},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.5824999809265137},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5480999946594238},{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.5},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.43380001187324524},{"id":"https://openalex.org/C155405617","wikidata":"https://www.wikidata.org/wiki/Q1154357","display_name":"Homoclinic bifurcation","level":5,"score":0.42179998755455017},{"id":"https://openalex.org/C2984157986","wikidata":"https://www.wikidata.org/wiki/Q3884964","display_name":"Periodic orbits","level":2,"score":0.39089998602867126},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.38440001010894775},{"id":"https://openalex.org/C74650414","wikidata":"https://www.wikidata.org/wiki/Q11397","display_name":"Classical mechanics","level":1,"score":0.3619000017642975},{"id":"https://openalex.org/C13662910","wikidata":"https://www.wikidata.org/wiki/Q193139","display_name":"Trajectory","level":2,"score":0.33660000562667847},{"id":"https://openalex.org/C184670325","wikidata":"https://www.wikidata.org/wiki/Q512604","display_name":"Loop (graph theory)","level":2,"score":0.33640000224113464},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.30970001220703125},{"id":"https://openalex.org/C173613240","wikidata":"https://www.wikidata.org/wiki/Q1150675","display_name":"Computer-assisted proof","level":3,"score":0.30649998784065247},{"id":"https://openalex.org/C33962884","wikidata":"https://www.wikidata.org/wiki/Q378637","display_name":"Dynamical system (definition)","level":3,"score":0.28760001063346863},{"id":"https://openalex.org/C116834253","wikidata":"https://www.wikidata.org/wiki/Q2039217","display_name":"Identification (biology)","level":2,"score":0.2824999988079071},{"id":"https://openalex.org/C2781349735","wikidata":"https://www.wikidata.org/wiki/Q4904824","display_name":"Bifurcation","level":3,"score":0.2775999903678894},{"id":"https://openalex.org/C121864883","wikidata":"https://www.wikidata.org/wiki/Q677916","display_name":"Statistical physics","level":1,"score":0.2759999930858612},{"id":"https://openalex.org/C121047784","wikidata":"https://www.wikidata.org/wiki/Q7623607","display_name":"Strict-feedback form","level":5,"score":0.2671000063419342}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1137/25m1781851","doi":"https://doi.org/10.1137/25m1781851","is_oa":false,"landing_page_url":"https://doi.org/10.1137/25m1781851","pdf_url":null,"source":{"id":"https://openalex.org/S161160597","display_name":"SIAM Journal on Applied Dynamical Systems","issn_l":"1536-0040","issn":["1536-0040"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","dongbi-b","jufo-1","norway-1","poland-100","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Applied Dynamical Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"sustainable_development_goals_aurora":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":42,"referenced_works":["https://openalex.org/W44921523","https://openalex.org/W1603340857","https://openalex.org/W1955999532","https://openalex.org/W1965378656","https://openalex.org/W1970039091","https://openalex.org/W1970608193","https://openalex.org/W1974005577","https://openalex.org/W1975956496","https://openalex.org/W1985434612","https://openalex.org/W1989018928","https://openalex.org/W1993430945","https://openalex.org/W2014301409","https://openalex.org/W2018008514","https://openalex.org/W2020804487","https://openalex.org/W2022974730","https://openalex.org/W2033311861","https://openalex.org/W2036319645","https://openalex.org/W2051982903","https://openalex.org/W2054589454","https://openalex.org/W2054872603","https://openalex.org/W2055325291","https://openalex.org/W2060322526","https://openalex.org/W2072500636","https://openalex.org/W2076033814","https://openalex.org/W2077821020","https://openalex.org/W2093569281","https://openalex.org/W2335681000","https://openalex.org/W2389184278","https://openalex.org/W2749417548","https://openalex.org/W2759506811","https://openalex.org/W2765469564","https://openalex.org/W2803799276","https://openalex.org/W2901614211","https://openalex.org/W2916201277","https://openalex.org/W2963881724","https://openalex.org/W3186613051","https://openalex.org/W3212085523","https://openalex.org/W4233402243","https://openalex.org/W4254828465","https://openalex.org/W4379016117","https://openalex.org/W4379162539","https://openalex.org/W4387835052"],"related_works":[],"abstract_inverted_index":{"Abstract.":[0],"Homoclinic":[1],"snaking":[2,82],"is":[3],"a":[4,22,78,107],"widespread":[5],"phenomenon":[6],"observed":[7],"in":[8,15,71,83,102],"many":[9],"pattern-forming":[10],"systems.":[11,74],"Demonstrating":[12],"its":[13],"occurrence":[14],"nonperturbative":[16],"regimes":[17],"has":[18,25],"proven":[19],"difficult,":[20],"although":[21],"forcing":[23],"theory":[24],"been":[26],"developed":[27],"based":[28],"on":[29,117],"the":[30,46,50,85],"identification":[31],"of":[32,49,63,80,96,99],"patterned":[33],"front":[34],"solutions.":[35],"These":[36],"heteroclinic":[37,64],"solutions":[38],"are":[39,106],"themselves":[40],"challenging":[41],"to":[42,45,59,77],"analyze":[43],"due":[44],"nonlinear":[47,103],"nature":[48],"problem.":[51],"In":[52],"this":[53],"paper,":[54],"we":[55],"use":[56],"computer-assisted":[57,94],"proofs":[58,95],"find":[60],"parameterized":[61],"loops":[62],"connections":[65],"between":[66],"equilibria":[67],"and":[68,87,114],"periodic":[69],"orbits":[70,101],"time":[72],"reversible":[73],"This":[75],"leads":[76],"proof":[79],"homoclinic":[81],"both":[84],"Swift\u2013Hohenberg":[86],"Gray\u2013Scott":[88],"problems.":[89],"Our":[90],"results":[91],"demonstrate":[92],"that":[93],"continuous":[97],"families":[98],"connecting":[100],"dynamical":[104],"systems":[105],"powerful":[108],"tool":[109],"for":[110],"understanding":[111],"global":[112],"dynamics":[113],"their":[115],"dependence":[116],"parameters.":[118]},"counts_by_year":[],"updated_date":"2026-10-12T09:40:04.860316","created_date":"2026-09-24T00:00:00"}