{"id":"https://openalex.org/W7160509541","doi":"https://doi.org/10.48550/arxiv.2605.04232","title":"Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities","display_name":"Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities","publication_year":2026,"publication_date":"2026-05-05","ids":{"openalex":"https://openalex.org/W7160509541","doi":"https://doi.org/10.48550/arxiv.2605.04232"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.04232","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.04232","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2605.04232","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5135616058","display_name":"Yichen Tao","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tao, Yichen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135590551","display_name":"Hongfei Fu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Fu, Hongfei","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135610919","display_name":"Jiawei Chen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chen, Jiawei","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5002069299","display_name":"Jean-Baptiste Jeannin","orcid":"https://orcid.org/0000-0001-6378-1447"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jeannin, Jean-Baptiste","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"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/T11697","display_name":"Numerical Methods and Algorithms","score":0.6021999716758728,"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"}},"topics":[{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.6021999716758728,"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/T10126","display_name":"Logic, programming, and type systems","score":0.11490000039339066,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.05009999871253967,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/probabilistic-logic","display_name":"Probabilistic logic","score":0.63919997215271},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5950999855995178},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.5864999890327454},{"id":"https://openalex.org/keywords/independence","display_name":"Independence (probability theory)","score":0.4887000024318695},{"id":"https://openalex.org/keywords/taylor-series","display_name":"Taylor series","score":0.4684999883174896},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.4374000132083893},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.42170000076293945},{"id":"https://openalex.org/keywords/expected-value","display_name":"Expected value","score":0.40299999713897705},{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.37950000166893005}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.63919997215271},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5950999855995178},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.5864999890327454},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5555999875068665},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.5077000260353088},{"id":"https://openalex.org/C35651441","wikidata":"https://www.wikidata.org/wiki/Q625303","display_name":"Independence (probability theory)","level":2,"score":0.4887000024318695},{"id":"https://openalex.org/C158946198","wikidata":"https://www.wikidata.org/wiki/Q131187","display_name":"Taylor series","level":2,"score":0.4684999883174896},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.4374000132083893},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.42170000076293945},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.40689998865127563},{"id":"https://openalex.org/C141042865","wikidata":"https://www.wikidata.org/wiki/Q200125","display_name":"Expected value","level":2,"score":0.40299999713897705},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.37950000166893005},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3407999873161316},{"id":"https://openalex.org/C2776650193","wikidata":"https://www.wikidata.org/wiki/Q264661","display_name":"Obstacle","level":2,"score":0.3391999900341034},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.3368000090122223},{"id":"https://openalex.org/C2780615836","wikidata":"https://www.wikidata.org/wiki/Q2471869","display_name":"USable","level":2,"score":0.3237000107765198},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.32100000977516174},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.31130000948905945},{"id":"https://openalex.org/C149441793","wikidata":"https://www.wikidata.org/wiki/Q200726","display_name":"Probability distribution","level":2,"score":0.30480000376701355},{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.3019999861717224},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.28949999809265137},{"id":"https://openalex.org/C24404364","wikidata":"https://www.wikidata.org/wiki/Q7246846","display_name":"Probabilistic analysis of algorithms","level":3,"score":0.28540000319480896},{"id":"https://openalex.org/C122383733","wikidata":"https://www.wikidata.org/wiki/Q865920","display_name":"Approximation error","level":2,"score":0.28200000524520874},{"id":"https://openalex.org/C191252586","wikidata":"https://www.wikidata.org/wiki/Q1671453","display_name":"Interval arithmetic","level":3,"score":0.26930001378059387},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.25870001316070557},{"id":"https://openalex.org/C127436580","wikidata":"https://www.wikidata.org/wiki/Q6452866","display_name":"Polynomial expansion","level":2,"score":0.2581000030040741},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.25459998846054077}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.04232","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.04232","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2605.04232","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.04232","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Floating-point":[0],"round-off":[1,33,44,61,80,100],"errors":[2,20,62],"are":[3],"ubiquitous":[4],"in":[5,10,54,117,163],"numerically":[6],"intensive":[7],"programs":[8],"arising":[9],"fields":[11],"such":[12],"as":[13],"scientific":[14],"computing":[15],"and":[16,25,216],"optimization.":[17],"As":[18],"floating-point":[19],"potentially":[21],"lead":[22],"to":[23,35,47,51,98,149,170,184],"unexpected":[24],"catastrophic":[26],"program":[27],"failures,":[28],"one":[29],"must":[30],"derive":[31],"guaranteed":[32],"thresholds":[34,45,69,239],"ensure":[36],"the":[37,76,79,107,123,132,135,139,159,196,201,214,222,244,247],"correctness":[38],"of":[39,78,134,138,203,206,219,232,246],"these":[40],"programs.":[41],"However,":[42],"deterministic":[43,71],"tend":[46],"be":[48,52],"too":[49],"conservative":[50],"usable":[53],"practice,":[55],"since":[56,195],"they":[57],"often":[58],"involve":[59],"large":[60],"that":[63,75,122,130,157,227],"occur":[64],"with":[65,188,209,240],"small":[66],"probability.":[67],"Probabilistic":[68],"relax":[70],"ones":[72],"by":[73,102,174],"specifying":[74],"probability":[77],"error":[81],"exceeding":[82],"a":[83,87,95,154,175],"threshold":[84],"is":[85,121,153,193,200,230],"below":[86],"given":[88],"confidence.":[89],"In":[90],"this":[91,151],"work,":[92],"we":[93,167,181],"propose":[94],"novel":[96],"approach":[97,187,192,229],"probabilistic":[99],"analysis,":[101],"applying":[103,118],"concentration":[104,119],"inequalities":[105,120],"over":[106],"Taylor":[108,124],"expansion":[109,125],"from":[110],"FPTaylor":[111],"(TOPLAS":[112],"2018).":[113],"A":[114],"major":[115],"obstacle":[116,152],"involves":[126],"absolute":[127,160],"value":[128,161],"operators":[129,162],"make":[131],"calculation":[133,202],"expected":[136,204],"values":[137,205],"first":[140,147],"order":[141],"partial":[142],"differential":[143],"terms":[144],"difficult.":[145],"Our":[146,191],"step":[148],"overcome":[150],"sound":[155],"over-approximation":[156],"removes":[158],"polynomial":[164,178,207],"expressions.":[165],"Then,":[166],"show":[168,182,226],"how":[169,183],"handle":[171],"fractional":[172],"expressions":[173,208],"transformation":[176],"into":[177],"case.":[179],"Finally,":[180],"improve":[185],"our":[186,228],"range":[189],"partitioning.":[190],"scalable":[194],"key":[197],"computational":[198],"part":[199],"independent":[210],"variables,":[211],"for":[212],"which":[213],"linear":[215],"independence":[217],"properties":[218],"expectation":[220],"boost":[221],"computation.":[223],"Experimental":[224],"results":[225],"orders":[231],"magnitude":[233],"more":[234],"time":[235],"efficient,":[236],"while":[237],"producing":[238],"comparable":[241],"precision":[242],"against":[243],"state":[245],"art.":[248]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-05-08T00:00:00"}