{"id":"https://openalex.org/W7128635920","doi":"https://doi.org/10.1109/focs63196.2025.00109","title":"Query-Efficient Fixpoints of \u2113 <sub>p</sub> -Contractions","display_name":"Query-Efficient Fixpoints of \u2113 <sub>p</sub> -Contractions","publication_year":2025,"publication_date":"2025-12-14","ids":{"openalex":"https://openalex.org/W7128635920","doi":"https://doi.org/10.1109/focs63196.2025.00109"},"language":null,"primary_location":{"id":"doi:10.1109/focs63196.2025.00109","is_oa":false,"landing_page_url":"https://doi.org/10.1109/focs63196.2025.00109","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 66th Annual Symposium on Foundations of Computer Science (FOCS)","raw_type":"proceedings-article"},"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/A5019688727","display_name":"Sebastian Haslebacher","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Sebastian Haslebacher","raw_affiliation_strings":["ETH Z&#x00FC;rich,Department of Computer Science,Z&#x00FC;rich,Switzerland"],"affiliations":[{"raw_affiliation_string":"ETH Z&#x00FC;rich,Department of Computer Science,Z&#x00FC;rich,Switzerland","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5125678456","display_name":"Jonas Lill","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jonas Lill","raw_affiliation_strings":["ETH Z&#x00FC;rich,Department of Computer Science,Z&#x00FC;rich,Switzerland"],"affiliations":[{"raw_affiliation_string":"ETH Z&#x00FC;rich,Department of Computer Science,Z&#x00FC;rich,Switzerland","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000735637","display_name":"Patrick Schnider","orcid":"https://orcid.org/0000-0002-2172-9285"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Patrick Schnider","raw_affiliation_strings":["ETH Z&#x00FC;rich,Department of Computer Science,Z&#x00FC;rich,Switzerland"],"affiliations":[{"raw_affiliation_string":"ETH Z&#x00FC;rich,Department of Computer Science,Z&#x00FC;rich,Switzerland","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011682995","display_name":"Simon Weber","orcid":"https://orcid.org/0000-0003-1901-3621"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Simon Weber","raw_affiliation_strings":["ETH Z&#x00FC;rich,Department of Computer Science,Z&#x00FC;rich,Switzerland"],"affiliations":[{"raw_affiliation_string":"ETH Z&#x00FC;rich,Department of Computer Science,Z&#x00FC;rich,Switzerland","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5019688727"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.86405868,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"2037","last_page":"2053"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10996","display_name":"Computational Geometry and Mesh Generation","score":0.771399974822998,"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"}},"topics":[{"id":"https://openalex.org/T10996","display_name":"Computational Geometry and Mesh Generation","score":0.771399974822998,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.04639999940991402,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10374","display_name":"Advanced Graph Theory Research","score":0.041200000792741776,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.47600001096725464},{"id":"https://openalex.org/keywords/fixed-point","display_name":"Fixed point","score":0.35690000653266907},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.3330000042915344},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.3328000009059906},{"id":"https://openalex.org/keywords/fixed-point-theorem","display_name":"Fixed-point theorem","score":0.33079999685287476},{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.32760000228881836},{"id":"https://openalex.org/keywords/existential-quantification","display_name":"Existential quantification","score":0.31769999861717224}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6615999937057495},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5022000074386597},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.47600001096725464},{"id":"https://openalex.org/C61445026","wikidata":"https://www.wikidata.org/wiki/Q217608","display_name":"Fixed point","level":2,"score":0.35690000653266907},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.3330000042915344},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.3328000009059906},{"id":"https://openalex.org/C45962547","wikidata":"https://www.wikidata.org/wiki/Q1422068","display_name":"Fixed-point theorem","level":2,"score":0.33079999685287476},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.32760000228881836},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.31769999861717224},{"id":"https://openalex.org/C177774035","wikidata":"https://www.wikidata.org/wiki/Q1246948","display_name":"Granularity","level":2,"score":0.29339998960494995},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.2833000123500824},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.2800000011920929},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.2791000008583069},{"id":"https://openalex.org/C2776230367","wikidata":"https://www.wikidata.org/wiki/Q7314222","display_name":"Representation theorem","level":2,"score":0.27570000290870667},{"id":"https://openalex.org/C2781302003","wikidata":"https://www.wikidata.org/wiki/Q3294091","display_name":"G\u00f6del","level":2,"score":0.27410000562667847},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.27300000190734863},{"id":"https://openalex.org/C112313634","wikidata":"https://www.wikidata.org/wiki/Q7886648","display_name":"Complement (music)","level":5,"score":0.26820001006126404},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.26409998536109924},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2565000057220459}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/focs63196.2025.00109","is_oa":false,"landing_page_url":"https://doi.org/10.1109/focs63196.2025.00109","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 66th Annual Symposium on Foundations of Computer Science (FOCS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"We":[0,100],"prove":[1,119,151],"that":[2,84,152,159],"an":[3,28,109],"$\\varepsilon$-approximate":[4],"fixpoint":[5],"of":[6,41,94,113,126,174],"a":[7,38,91,103,155,166,172],"map":[8],"$f:[0,1]^{d}":[9],"\\rightarrow[0,1]^{d}$":[10],"can":[11],"be":[12],"found":[13],"with":[14,25],"$\\mathcal{O}\\left(d^{2}\\left(\\log":[15],"\\frac{1}{\\varepsilon}+\\log":[16],"\\frac{1}{1-\\lambda}\\right)\\right)$":[17],"queries":[18,86],"to":[19,27,51,82,87],"f":[20,22,88],"if":[21],"is":[23],"$\\lambda$-contracting":[24],"respect":[26],"$\\ell_{p}$-metric":[29],"for":[30,60,105,137],"some":[31],"$p":[32,61,139],"\\in[1,":[33,62,140],"\\infty)":[34,63,141],"\\cup\\{\\infty\\}$.":[35],"This":[36],"generalizes":[37],"recent":[39],"result":[40],"Chen,":[42,75],"Li,":[43,76],"and":[44,77,128,143,165],"Yannakakis":[45,78],"[STOC":[46],"2024]":[47],"from":[48,134],"the":[49,98,106,114,124,130,175],"$\\ell_{\\infty}$-case":[50],"all":[52,56,85],"$\\ell_{p}$":[53],"metrics.":[54],"Previously,":[55],"query":[57],"upper":[58],"bounds":[59],"\\backslash\\{2\\}$":[64],"were":[65],"either":[66],"exponential":[67],"in":[68,97,116],"$d,":[69],"\\log":[70],"\\frac{1}{\\varepsilon}$,":[71],"or":[72],"$\\log":[73],"\\frac{1}{1-\\lambda}$.":[74],"also":[79],"show":[80],"how":[81],"ensure":[83],"lie":[89],"on":[90],"discrete":[92,135],"grid":[93],"limited":[95],"granularity":[96],"$\\ell_{\\infty}$-case.":[99],"provide":[101],"such":[102,158],"rounding":[104],"$\\ell_{1}$-case,":[107],"placing":[108],"appropriately":[110],"defined":[111,162],"version":[112],"$\\ell_{1}$-case":[115],"FPdt.":[117],"To":[118],"our":[120],"results,":[121],"we":[122,150],"introduce":[123],"notion":[125],"$\\ell_{p}$-halfspaces":[127],"generalize":[129],"classical":[131],"centerpoint":[132,156],"theorem":[133],"geometry:":[136],"any":[138,144],"\\cup\\{\\infty\\}$":[142],"mass":[145,176],"distribution":[146],"(or":[147,177],"point":[148],"set),":[149],"there":[153],"exists":[154],"c":[157,164],"every":[160],"$\\ell_{p}$-halfspace":[161],"by":[163],"normal":[167],"vector":[168],"contains":[169],"at":[170],"least":[171],"$\\frac{1}{d+1}$-fraction":[173],"points).":[178]},"counts_by_year":[],"updated_date":"2026-02-12T06:17:30.163165","created_date":"2026-02-12T00:00:00"}