{"id":"https://openalex.org/W7214933765","doi":"https://doi.org/10.48550/arxiv.2609.35844","title":"A Branch-Free General Renormalization Scheme for Pair Arithmetic and Its Performance Evaluation","display_name":"A Branch-Free General Renormalization Scheme for Pair Arithmetic and Its Performance Evaluation","publication_year":2026,"publication_date":"2026-09-25","ids":{"openalex":"https://openalex.org/W7214933765","doi":"https://doi.org/10.48550/arxiv.2609.35844"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.35844","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.35844","pdf_url":"https://arxiv.org/pdf/2609.35844","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.35844","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5083237480","display_name":"Tomonori Kouya","orcid":"https://orcid.org/0000-0003-0178-5519","observed_orcids":["https://orcid.org/0000-0003-0178-5519"]},"institutions":[{"id":"https://openalex.org/I121165721","display_name":"Otemon Gakuin University","ror":"https://ror.org/009mysd22","country_code":"JP","type":"education","lineage":["https://openalex.org/I121165721"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Kouya, Tomonori","raw_affiliation_strings":["Faculty of Science and Engineering Otemon Gakuin University , Ibaraki , Osaka , Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Science and Engineering Otemon Gakuin University , Ibaraki , Osaka , Japan","institution_ids":["https://openalex.org/I121165721"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5083237480"],"corresponding_institution_ids":["https://openalex.org/I121165721"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"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.9980000257492065,"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.9980000257492065,"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/T10792","display_name":"Matrix Theory and Algorithms","score":0.0010999999940395355,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.0003000000142492354,"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/renormalization","display_name":"renormalization","score":0.8080000281333923},{"id":"https://openalex.org/keywords/multiple-precision-arithmetic","display_name":"multiple-precision arithmetic","score":0.7419999837875366},{"id":"https://openalex.org/keywords/simd-vectorization","display_name":"SIMD vectorization","score":0.6269999742507935},{"id":"https://openalex.org/keywords/iterative-solvers","display_name":"iterative solvers","score":0.6579999923706055},{"id":"https://openalex.org/keywords/conjugate-gradient-method","display_name":"conjugate gradient method","score":0.9179999828338623},{"id":"https://openalex.org/keywords/bicgstab","display_name":"BiCGSTAB","score":0.9940000176429749},{"id":"https://openalex.org/keywords/floating-point-rounding","display_name":"floating-point rounding","score":0.4230000078678131}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7329999804496765},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.6209999918937683},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.5662999749183655},{"id":"https://openalex.org/C135598885","wikidata":"https://www.wikidata.org/wiki/Q1366302","display_name":"Row","level":2,"score":0.4894999861717224},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.4781999886035919},{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.46970000863075256},{"id":"https://openalex.org/C134765980","wikidata":"https://www.wikidata.org/wiki/Q879126","display_name":"Bitwise operation","level":2,"score":0.46869999170303345},{"id":"https://openalex.org/C68060419","wikidata":"https://www.wikidata.org/wiki/Q40754","display_name":"Subtraction","level":2,"score":0.4422999918460846},{"id":"https://openalex.org/C166124518","wikidata":"https://www.wikidata.org/wiki/Q1047702","display_name":"Renormalization","level":2,"score":0.4408999979496002},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.435699999332428},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4172999858856201},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.40880000591278076},{"id":"https://openalex.org/C97399411","wikidata":"https://www.wikidata.org/wiki/Q825367","display_name":"Coin flipping","level":2,"score":0.38019999861717224},{"id":"https://openalex.org/C104140500","wikidata":"https://www.wikidata.org/wiki/Q2088159","display_name":"Row and column spaces","level":3,"score":0.357699990272522},{"id":"https://openalex.org/C83581934","wikidata":"https://www.wikidata.org/wiki/Q527381","display_name":"Arbitrary-precision arithmetic","level":2,"score":0.3537999987602234},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.325300008058548},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.31189998984336853},{"id":"https://openalex.org/C55526617","wikidata":"https://www.wikidata.org/wiki/Q719375","display_name":"Operand","level":2,"score":0.3050999939441681},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.2937999963760376},{"id":"https://openalex.org/C35912277","wikidata":"https://www.wikidata.org/wiki/Q1243369","display_name":"Double-precision floating-point format","level":3,"score":0.28769999742507935},{"id":"https://openalex.org/C90805587","wikidata":"https://www.wikidata.org/wiki/Q10944557","display_name":"Word (group theory)","level":2,"score":0.2768999934196472},{"id":"https://openalex.org/C150552126","wikidata":"https://www.wikidata.org/wiki/Q339387","display_name":"SIMD","level":2,"score":0.2766000032424927},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.27649998664855957},{"id":"https://openalex.org/C120553275","wikidata":"https://www.wikidata.org/wiki/Q4903720","display_name":"Biconjugate gradient stabilized method","level":3,"score":0.2745000123977661},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.2694999873638153},{"id":"https://openalex.org/C2781089630","wikidata":"https://www.wikidata.org/wiki/Q21856745","display_name":"Realization (probability)","level":2,"score":0.26759999990463257},{"id":"https://openalex.org/C179254644","wikidata":"https://www.wikidata.org/wiki/Q13222844","display_name":"Moment (physics)","level":2,"score":0.26660001277923584},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.26510000228881836},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.2538999915122986},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.2500999867916107}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.35844","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.35844","pdf_url":"https://arxiv.org/pdf/2609.35844","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.35844","doi":"https://doi.org/10.48550/arxiv.2609.35844","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.35844","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2609.35844","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.35844","pdf_url":"https://arxiv.org/pdf/2609.35844","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":[{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7214933765.pdf","grobid_xml":"https://content.openalex.org/works/W7214933765.grobid-xml"},"referenced_works_count":1,"referenced_works":["https://openalex.org/W7168238097"],"related_works":["https://openalex.org/W7064639986","https://openalex.org/W1736129430","https://openalex.org/W2000833532","https://openalex.org/W4416203788","https://openalex.org/W1918786243","https://openalex.org/W1556502813","https://openalex.org/W2283035009","https://openalex.org/W7167035914","https://openalex.org/W2269478462","https://openalex.org/W2016512550"],"abstract_inverted_index":{"Pair":[0],"arithmetic":[1,152],"omits":[2],"the":[3,8,18,52,57,82,101,119,124,129,132,199,209,227],"renormalization":[4],"stage":[5],"performed":[6],"at":[7],"end":[9],"of":[10,13,70],"each":[11],"operation":[12,19],"multi-component":[14],"multiple-precision":[15],"arithmetic,":[16],"reducing":[17],"count":[20,54,85],"and,":[21],"by":[22,51],"eliminating":[23],"conditional":[24],"branches,":[25],"easing":[26],"SIMD":[27],"vectorization.":[28],"Renormalization":[29],"cannot":[30],"be":[31],"omitted":[32],"entirely,":[33],"however,":[34],"because":[35],"iterative":[36],"solvers":[37],"may":[38],"then":[39],"fail":[40],"to":[41,220],"converge.":[42],"We":[43,113],"propose":[44],"RenormBF-pair,":[45],"a":[46,61,64,71,106,139],"branch-free":[47],"fixed-trip-count":[48],"renormalizer":[49],"parameterized":[50],"word":[53],"\\(K\\)":[55],"and":[56,67,96,128,148,155,171,196],"input":[58,120],"length":[59],"\\(n\\):":[60],"VecSum":[62],"sweep,":[63],"tail":[65],"fold,":[66],"\\(r\\)":[68],"rounds":[69],"FastTwoSum":[72],"chain,":[73],"costing":[74],"\\(6(n-1)+(n-K)+3r(K-1)\\)":[75],"flops.":[76],"Over":[77],"\\(200{,}000\\)":[78],"trials":[79],"per":[80],"condition,":[81],"smallest":[83],"round":[84],"producing":[86],"no":[87],"non-overlap":[88,214],"violation":[89],"was":[90],"\\(r=1\\)":[91],"for":[92,98,111,184,226],"\\(K":[93],"\\leq":[94],"3\\)":[95],"\\(r=2\\)":[97],"\\(K=4\\),":[99],"whereas":[100],"same":[102],"cost":[103,223],"spent":[104],"on":[105],"VecSum\\(K\\)-style":[107],"TwoSum":[108],"chain":[109],"fails":[110],"\\(K=4\\).":[112],"delimit":[114],"with":[115],"explicit":[116],"counterexamples":[117],"both":[118,178],"condition":[121],"under":[122],"which":[123],"sum":[125],"relation":[126],"holds":[127],"fact":[130],"that":[131],"scheme":[133,170],"does":[134],"not,":[135],"in":[136,153,186],"general,":[137],"guarantee":[138],"correctly":[140],"rounded":[141],"lowest":[142],"component.":[143],"Integrating":[144],"it":[145],"into":[146],"CG":[147,185,229],"BiCGStab":[149],"over":[150],"pair":[151],"binary64":[154],"binary32,":[156],"we":[157],"sweep":[158],"\\(240\\)":[159],"paired":[160],"runs":[161],"including":[162],"real":[163],"matrices":[164],"screened":[165],"from":[166,217],"SuiteSparse.":[167],"The":[168,222],"proposed":[169],"VecSum\\(K\\)":[172,192],"returned":[173],"bitwise":[174],"identical":[175],"words":[176],"wherever":[177],"succeeded,":[179],"so":[180],"they":[181],"are":[182],"indistinguishable":[183],"binary64;":[187],"differences":[188],"appear":[189],"only":[190],"where":[191],"breaks,":[193],"namely":[194],"binary32":[195],"BiCGStab.":[197],"There":[198],"\\(22\\)--\\(16\\)":[200],"win--loss":[201],"record":[202],"is":[203,212,224],"not":[204],"significant":[205],"(sign":[206],"test,":[207],"\\(p=0.42\\));":[208],"clear":[210],"bias":[211],"structural,":[213],"violations":[215],"dropping":[216],"\\(66\\)":[218],"rows":[219],"\\(37\\).":[221],"\\(+3.4\\%\\)":[225],"whole":[228],"solver.":[230]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-10-01T00:00:00"}