{"id":"https://openalex.org/W7214040678","doi":"https://doi.org/10.48550/arxiv.2609.24454","title":"The logarithmic spiral is optimal for shoreline search: a computer-assisted proof","display_name":"The logarithmic spiral is optimal for shoreline search: a computer-assisted proof","publication_year":2026,"publication_date":"2026-09-21","ids":{"openalex":"https://openalex.org/W7214040678","doi":"https://doi.org/10.48550/arxiv.2609.24454"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.24454","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.24454","pdf_url":"https://arxiv.org/pdf/2609.24454","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/2609.24454","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5001916677","display_name":"Alexander Temerev","orcid":"https://orcid.org/0000-0001-5875-8066","observed_orcids":["https://orcid.org/0000-0001-5875-8066"]},"institutions":[{"id":"https://openalex.org/I114457229","display_name":"University of Geneva","ror":"https://ror.org/01swzsf04","country_code":"CH","type":"education","lineage":["https://openalex.org/I114457229"]}],"countries":["CH"],"is_corresponding":true,"raw_author_name":"Temerev, Alexander","raw_affiliation_strings":["University of Geneva"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Geneva","institution_ids":["https://openalex.org/I114457229"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5001916677"],"corresponding_institution_ids":["https://openalex.org/I114457229"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":1,"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/T12288","display_name":"Optimization and Search Problems","score":0.989300012588501,"subfield":{"id":"https://openalex.org/subfields/2614","display_name":"Theoretical Computer Science"},"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/T12288","display_name":"Optimization and Search Problems","score":0.989300012588501,"subfield":{"id":"https://openalex.org/subfields/2614","display_name":"Theoretical Computer Science"},"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/T10996","display_name":"Computational Geometry and Mesh Generation","score":0.0020000000949949026,"subfield":{"id":"https://openalex.org/subfields/1704","display_name":"Computer Graphics and Computer-Aided Design"},"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/T13187","display_name":"Diffusion and Search Dynamics","score":0.0007999999797903001,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/logarithmic-spiral","display_name":"logarithmic spiral","score":0.9660000205039978},{"id":"https://openalex.org/keywords/search-path-optimization","display_name":"search path optimization","score":0.4560000002384186},{"id":"https://openalex.org/keywords/competitive-ratio","display_name":"competitive ratio","score":0.9259999990463257},{"id":"https://openalex.org/keywords/storage-function","display_name":"storage function","score":0.8709999918937683},{"id":"https://openalex.org/keywords/dissipation-inequality","display_name":"dissipation inequality","score":0.9160000085830688},{"id":"https://openalex.org/keywords/b-splines","display_name":"B-splines","score":0.722000002861023},{"id":"https://openalex.org/keywords/computer-assisted-proof","display_name":"computer-assisted proof","score":0.8389999866485596}],"concepts":[{"id":"https://openalex.org/C60934299","wikidata":"https://www.wikidata.org/wiki/Q724944","display_name":"Logarithmic spiral","level":2,"score":0.7989000082015991},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7383999824523926},{"id":"https://openalex.org/C39927690","wikidata":"https://www.wikidata.org/wiki/Q11197","display_name":"Logarithm","level":2,"score":0.5753999948501587},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.5630000233650208},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.5188999772071838},{"id":"https://openalex.org/C122041747","wikidata":"https://www.wikidata.org/wiki/Q838611","display_name":"Ball (mathematics)","level":2,"score":0.5156999826431274},{"id":"https://openalex.org/C70943382","wikidata":"https://www.wikidata.org/wiki/Q505356","display_name":"Antipodal point","level":2,"score":0.4788999855518341},{"id":"https://openalex.org/C203616005","wikidata":"https://www.wikidata.org/wiki/Q620495","display_name":"Hessian matrix","level":2,"score":0.4519999921321869},{"id":"https://openalex.org/C2834757","wikidata":"https://www.wikidata.org/wiki/Q4925424","display_name":"Monotone polygon","level":2,"score":0.43309998512268066},{"id":"https://openalex.org/C7356347","wikidata":"https://www.wikidata.org/wiki/Q1307838","display_name":"Unit square","level":2,"score":0.41519999504089355},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.38119998574256897},{"id":"https://openalex.org/C198352243","wikidata":"https://www.wikidata.org/wiki/Q37105","display_name":"Line (geometry)","level":2,"score":0.3756999969482422},{"id":"https://openalex.org/C182124507","wikidata":"https://www.wikidata.org/wiki/Q166154","display_name":"Line segment","level":2,"score":0.35440000891685486},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.3517000079154968},{"id":"https://openalex.org/C53118041","wikidata":"https://www.wikidata.org/wiki/Q45867","display_name":"Parallelogram","level":3,"score":0.3450999855995178},{"id":"https://openalex.org/C2776799497","wikidata":"https://www.wikidata.org/wiki/Q484298","display_name":"Surface (topology)","level":2,"score":0.3391999900341034},{"id":"https://openalex.org/C191948623","wikidata":"https://www.wikidata.org/wiki/Q1307800","display_name":"Unit sphere","level":2,"score":0.3382999897003174},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.3379000127315521},{"id":"https://openalex.org/C126875415","wikidata":"https://www.wikidata.org/wiki/Q203425","display_name":"Unit circle","level":2,"score":0.33500000834465027},{"id":"https://openalex.org/C173386949","wikidata":"https://www.wikidata.org/wiki/Q192735","display_name":"Inertial frame of reference","level":2,"score":0.3197999894618988},{"id":"https://openalex.org/C17825722","wikidata":"https://www.wikidata.org/wiki/Q17285","display_name":"Plane (geometry)","level":2,"score":0.3172000050544739},{"id":"https://openalex.org/C84135550","wikidata":"https://www.wikidata.org/wiki/Q3154022","display_name":"Linear inequality","level":3,"score":0.314300000667572},{"id":"https://openalex.org/C174128100","wikidata":"https://www.wikidata.org/wiki/Q846907","display_name":"Spiral (railway)","level":2,"score":0.31119999289512634},{"id":"https://openalex.org/C135692309","wikidata":"https://www.wikidata.org/wiki/Q111124","display_name":"Square (algebra)","level":2,"score":0.2973000109195709},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.2888000011444092},{"id":"https://openalex.org/C135402231","wikidata":"https://www.wikidata.org/wiki/Q898440","display_name":"Dissipation","level":2,"score":0.28769999742507935},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.2867000102996826},{"id":"https://openalex.org/C16171025","wikidata":"https://www.wikidata.org/wiki/Q863349","display_name":"Singularity","level":2,"score":0.2865000069141388},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.27799999713897705},{"id":"https://openalex.org/C2780428219","wikidata":"https://www.wikidata.org/wiki/Q16952335","display_name":"Cover (algebra)","level":2,"score":0.27630001306533813},{"id":"https://openalex.org/C148189969","wikidata":"https://www.wikidata.org/wiki/Q146657","display_name":"Great circle","level":2,"score":0.27000001072883606},{"id":"https://openalex.org/C188198153","wikidata":"https://www.wikidata.org/wiki/Q1613840","display_name":"Limiting","level":2,"score":0.2554999887943268},{"id":"https://openalex.org/C130367717","wikidata":"https://www.wikidata.org/wiki/Q189791","display_name":"Diagonal","level":2,"score":0.2522999942302704},{"id":"https://openalex.org/C134786449","wikidata":"https://www.wikidata.org/wiki/Q3391255","display_name":"Planar","level":2,"score":0.2517000138759613},{"id":"https://openalex.org/C182964748","wikidata":"https://www.wikidata.org/wiki/Q208216","display_name":"Triangle inequality","level":2,"score":0.250900000333786}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.24454","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.24454","pdf_url":"https://arxiv.org/pdf/2609.24454","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.2609.24454","doi":"https://doi.org/10.48550/arxiv.2609.24454","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.24454","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:2609.24454","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.24454","pdf_url":"https://arxiv.org/pdf/2609.24454","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":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7214040678.pdf","grobid_xml":"https://content.openalex.org/works/W7214040678.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2038342425","https://openalex.org/W1770419565","https://openalex.org/W7203923334","https://openalex.org/W1587220204","https://openalex.org/W2025158214","https://openalex.org/W3081701091","https://openalex.org/W2094588925","https://openalex.org/W7204624998","https://openalex.org/W3084779176","https://openalex.org/W2038290834"],"abstract_inverted_index":{"A":[0],"ship":[1],"starts":[2],"at":[3,11,47,179,187,208],"a":[4,36,63,75,121,125,138,164,169],"point":[5],"of":[6,22,35,44,98,105,137,176,197],"the":[7,25,28,39,45,49,81,84,87,96,102,106,110,119,131,135,154,173,180,188,209],"plane":[8],"and":[9,59,86,151,183,204],"moves":[10],"unit":[12],"speed;":[13],"it":[14,116],"has":[15],"to":[16,101],"reach":[17],"an":[18,148,201,205],"unknown":[19],"straight":[20],"line,":[21],"which":[23,48,144],"neither":[24],"distance":[26,82],"nor":[27],"direction":[29],"is":[30,38,51,71,147,184,191],"known.":[31],"The":[32,93],"competitive":[33],"ratio":[34,67],"path":[37],"supremum,":[40],"over":[41],"all":[42],"lines,":[43],"time":[46],"line":[50],"reached":[52],"divided":[53],"by":[54,134],"its":[55],"distance.":[56],"Baeza-Yates,":[57],"Culberson":[58],"Rawlins":[60],"conjectured":[61],"that":[62,177],"logarithmic":[64],"spiral,":[65],"with":[66,124,193],"$C_{\\mathrm{sp}}":[68],"=":[69],"13.8111351794611\\ldots$,":[70],"optimal.":[72],"We":[73],"give":[74],"computer-assisted":[76],"proof.":[77],"Paths":[78],"are":[79,157],"arbitrary:":[80],"from":[83],"start":[85],"polar":[88,111],"angle":[89,112],"may":[90],"both":[91],"decrease.":[92],"proof":[94],"lifts":[95],"set":[97],"found":[99],"directions":[100],"universal":[103],"cover":[104],"circle,":[107],"where":[108],"unfolding":[109],"can":[113],"only":[114,186],"increase":[115],"(Kneser-Poulsen":[117],"on":[118],"line);":[120],"bookkeeping":[122],"inequality":[123],"monotone":[126],"final":[127],"source":[128],"then":[129],"bounds":[130],"covered":[132],"measure":[133],"reward":[136],"three-state":[139],"relaxed":[140],"control":[141,150],"problem,":[142],"in":[143],"inward":[145],"motion":[146],"ordinary":[149],"excursions":[152],"below":[153],"guaranteed":[155],"disk":[156],"impulses.":[158],"An":[159],"explicit":[160],"$C^1$":[161],"storage":[162],"function,":[163],"tensor":[165],"cubic":[166],"B-spline":[167],"plus":[168],"closed-form":[170],"term,":[171],"satisfies":[172],"dissipation":[174],"inequalities":[175],"problem":[178],"spiral's":[181],"level":[182],"tight":[185],"spiral;":[189],"this":[190],"verified":[192],"about":[194],"$10^6$":[195],"boxes":[196],"Arb":[198],"ball":[199],"arithmetic,":[200],"exact":[202],"jet":[203],"interval":[206],"Hessian":[207],"spiral.":[210]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-09-23T00:00:00"}