{"id":"https://openalex.org/W4417086714","doi":"https://doi.org/10.1145/3798129.3800825","title":"Constructive Approximation under Carleman\u2019s Condition, with Applications to Smoothed Analysis","display_name":"Constructive Approximation under Carleman\u2019s Condition, with Applications to Smoothed Analysis","publication_year":2026,"publication_date":"2026-06-09","ids":{"openalex":"https://openalex.org/W4417086714","doi":"https://doi.org/10.1145/3798129.3800825"},"language":null,"primary_location":{"id":"doi:10.1145/3798129.3800825","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3798129.3800825","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 58th Annual ACM Symposium on Theory of Computing","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3798129.3800825","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5003106042","display_name":"Frederic Koehler","orcid":"https://orcid.org/0000-0001-5220-9680"},"institutions":[{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Frederic Koehler","raw_affiliation_strings":["University of Chicago, Department of Statistics and Data Science Institute, Chicago, USA"],"raw_orcid":"https://orcid.org/0000-0001-5220-9680","affiliations":[{"raw_affiliation_string":"University of Chicago, Department of Statistics and Data Science Institute, Chicago, USA","institution_ids":["https://openalex.org/I40347166"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101921578","display_name":"Bo Wu","orcid":null},"institutions":[{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Beining Wu","raw_affiliation_strings":["University of Chicago, Department of Statistics, Chicago, USA"],"raw_orcid":"https://orcid.org/0000-0003-1981-0890","affiliations":[{"raw_affiliation_string":"University of Chicago, Department of Statistics, Chicago, USA","institution_ids":["https://openalex.org/I40347166"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.06997879,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1133","last_page":"1144"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11545","display_name":"Advanced Banach Space Theory","score":0.18449999392032623,"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"}},"topics":[{"id":"https://openalex.org/T11545","display_name":"Advanced Banach Space Theory","score":0.18449999392032623,"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/T12404","display_name":"Mathematical Approximation and Integration","score":0.11789999902248383,"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"}},{"id":"https://openalex.org/T11049","display_name":"Advanced Harmonic Analysis Research","score":0.08410000056028366,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/constructive","display_name":"Constructive","score":0.5964000225067139},{"id":"https://openalex.org/keywords/approximation-theory","display_name":"Approximation theory","score":0.5317000150680542},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5271999835968018},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.4869000017642975},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4505000114440918},{"id":"https://openalex.org/keywords/function-approximation","display_name":"Function approximation","score":0.391400009393692},{"id":"https://openalex.org/keywords/characterization","display_name":"Characterization (materials science)","score":0.38370001316070557}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6977999806404114},{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.5964000225067139},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.5723000168800354},{"id":"https://openalex.org/C145242015","wikidata":"https://www.wikidata.org/wiki/Q774123","display_name":"Approximation theory","level":2,"score":0.5317000150680542},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5271999835968018},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.4869000017642975},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4505000114440918},{"id":"https://openalex.org/C91873725","wikidata":"https://www.wikidata.org/wiki/Q3445816","display_name":"Function approximation","level":3,"score":0.391400009393692},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.38370001316070557},{"id":"https://openalex.org/C161584116","wikidata":"https://www.wikidata.org/wiki/Q1952580","display_name":"Multivariate statistics","level":2,"score":0.3447999954223633},{"id":"https://openalex.org/C129997835","wikidata":"https://www.wikidata.org/wiki/Q806263","display_name":"Bandlimiting","level":3,"score":0.31850001215934753},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3034000098705292},{"id":"https://openalex.org/C102634674","wikidata":"https://www.wikidata.org/wiki/Q868473","display_name":"Smoothness","level":2,"score":0.28700000047683716},{"id":"https://openalex.org/C164660894","wikidata":"https://www.wikidata.org/wiki/Q2037833","display_name":"Piecewise","level":2,"score":0.28029999136924744},{"id":"https://openalex.org/C148764684","wikidata":"https://www.wikidata.org/wiki/Q621751","display_name":"Approximation algorithm","level":2,"score":0.2759000062942505},{"id":"https://openalex.org/C137800194","wikidata":"https://www.wikidata.org/wiki/Q11713455","display_name":"Interpolation (computer graphics)","level":3,"score":0.258899986743927},{"id":"https://openalex.org/C202854965","wikidata":"https://www.wikidata.org/wiki/Q3044470","display_name":"Constructive proof","level":2,"score":0.25459998846054077},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2540999948978424}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3798129.3800825","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3798129.3800825","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 58th Annual ACM Symposium on Theory of Computing","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2512.04371","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2512.04371","pdf_url":"https://arxiv.org/pdf/2512.04371","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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.2512.04371","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2512.04371","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.1145/3798129.3800825","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3798129.3800825","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 58th Annual ACM Symposium on Theory of Computing","raw_type":"proceedings-article"},"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":{"A":[0],"classical":[1],"consequence":[2],"of":[3,37,44,53,96,145],"Carleman\u2019s":[4,103],"condition":[5],"is":[6,109],"that":[7,59,120],"polynomials":[8],"are":[9,92],"dense":[10],"in":[11,34,47,70,165],"L2(\u00b5),":[12],"but":[13],"qualitative":[14],"density":[15],"does":[16],"not":[17],"quantify":[18],"the":[19,38,54,66,112,142,160,166],"degree":[20],"needed":[21],"for":[22,134],"approximation":[23,63,132],"over":[24],"general":[25],"noncompact":[26],"measures.":[27],"We":[28],"give":[29,130],"a":[30,42,97],"basis-free":[31],"Fourier-analytic":[32],"framework":[33],"which":[35],"orthogonality":[36],"degree-D":[39],"residual":[40],"forces":[41],"zero":[43,60],"order":[45],"D":[46],"its":[48],"transformed":[49],"residual,":[50],"and":[51,83,125,156],"analyticity":[52],"moment":[55],"generating":[56],"function":[57],"turns":[58],"into":[61],"explicit":[62],"rates.":[64],"In":[65],"two":[67,90],"regimes":[68],"used":[69],"this":[71,74],"proceedings":[72],"version,":[73],"yields":[75],"superexponential":[76],"low-frequency":[77],"decay":[78,85],"under":[79,86,102],"strictly":[80,167],"sub-exponential":[81,87,143,168],"inputs":[82],"tanh(c\u03a9)D":[84],"inputs.":[88],"These":[89],"formulas":[91],"concrete":[93],"special":[94],"cases":[95],"broader":[98],"quantitative":[99],"Denjoy\u2013Carleman":[100],"principle":[101],"condition,":[104],"whose":[105],"full":[106,113],"logarithmic-integral":[107],"form":[108],"deferred":[110],"to":[111],"version.":[114],"As":[115],"an":[116],"application,":[117],"we":[118],"show":[119],"Gaussian":[121,161],"smoothing,":[122],"intrinsic-dimension":[123],"reduction,":[124],"low-degree":[126,131],"polynomial":[127],"regression":[128],"together":[129],"guarantees":[133],"smoothed":[135,146],"low-intrinsic-dimensional":[136],"targets.":[137],"This":[138],"lets":[139],"us":[140],"solve":[141],"case":[144],"agnostic":[147],"learning":[148],"left":[149],"open":[150],"by":[151],"Chandrasekaran,":[152],"Klivans,":[153],"Kontonis,":[154],"Meka,":[155],"Stavropoulos,":[157],"while":[158],"removing":[159],"surface":[162],"area":[163],"assumption":[164],"setting.":[169]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-12-06T00:00:00"}