{"paper":{"title":"A Space-Efficient Design for Reversible Floating Point Adder in Quantum Computing","arxiv_id":"1306.3760","primary_cat":"quant-ph","submitted_at":"2013-06-17T07:54:48+00:00","version_compiled":"v1"},"notice":"Every quoted sentence is the authors' text from the arXiv listing abstract. Labels and probabilities are the outputs of classifier-1.13-20260917 on the question bank abstract-p1-20260923, exactly as returned. No sentence in this record was written by a language model.","schema":"pith.compiled-record/v0","status":"compiled","abstract":{"source":"arXiv listing abstract v1","sentences":[{"i":0,"p":1.0,"id":"s0","own":false,"role":"background","text":"Reversible logic has applications in low-power computing and quantum computing.","hedge":{"p":1.0,"label":"asserted"},"own_p":0.06,"main_claim_p":0.02,"quantitative":false,"quantitative_p":0.03,"role_probabilities":{"gap":0.0,"method":0.0,"result":0.0,"background":1.0,"limitation":0.0,"future_work":0.0,"contribution":0.0,"interpretation":0.0}},{"i":1,"p":1.0,"id":"s1","own":false,"role":"gap","text":"However, there are few existing designs for reversible floating-point adders and none suitable for quantum computation.","hedge":{"p":1.0,"label":"asserted"},"own_p":0.09,"main_claim_p":0.03,"quantitative":false,"quantitative_p":0.34,"role_probabilities":{"gap":1.0,"method":0.0,"result":0.0,"background":0.0,"limitation":0.0,"future_work":0.0,"contribution":0.0,"interpretation":0.0}},{"i":2,"p":1.0,"id":"s2","own":true,"role":"contribution","text":"In this paper we propose a space-efficient reversible floating-point adder, suitable for binary quantum computation, improving the design of Nachtigal et al. Our work focuses on improving the reversible designs of the alignment unit and the normalization unit, which are the most expensive parts.","hedge":{"p":1.0,"label":"asserted"},"own_p":0.91,"main_claim_p":0.31,"quantitative":false,"quantitative_p":0.24,"role_probabilities":{"gap":0.0,"method":0.0,"result":0.0,"background":0.0,"limitation":0.0,"future_work":0.0,"contribution":1.0,"interpretation":0.0}},{"i":3,"p":0.85,"id":"s3","own":true,"role":"result","text":"By changing a few elements of the existing algorithm, including the circuit designs of the RLZC (reversible leading zero counter) and converter, we have reduced the cost about 68%.","hedge":{"p":1.0,"label":"asserted"},"own_p":0.95,"main_claim_p":0.32,"quantitative":true,"quantitative_p":0.99,"role_probabilities":{"gap":0.0,"method":0.09,"result":0.85,"background":0.0,"limitation":0.0,"future_work":0.0,"contribution":0.06,"interpretation":0.0}},{"i":4,"p":0.99,"id":"s4","own":true,"role":"contribution","text":"We also propose fault-tolerant designs for the circuits.","hedge":{"p":1.0,"label":"asserted"},"own_p":0.93,"main_claim_p":0.06,"quantitative":false,"quantitative_p":0.03,"role_probabilities":{"gap":0.0,"method":0.01,"result":0.0,"background":0.0,"limitation":0.0,"future_work":0.0,"contribution":0.99,"interpretation":0.0}},{"i":5,"p":0.88,"id":"s5","own":true,"role":"result","text":"The KQ for our fault-tolerant design is almost sixty times as expensive as for a 32-bit fixed-point addition.","hedge":{"p":0.99,"label":"asserted"},"own_p":0.85,"main_claim_p":0.08,"quantitative":true,"quantitative_p":0.99,"role_probabilities":{"gap":0.0,"method":0.0,"result":0.88,"background":0.0,"limitation":0.12,"future_work":0.0,"contribution":0.0,"interpretation":0.0}},{"i":6,"p":1.0,"id":"s6","own":true,"role":"limitation","text":"We note that the floating-point representation makes in-place, truly reversible arithmetic impossible, requiring us to retain both inputs, which limits the sustainability of its use for quantum computation.","hedge":{"p":1.0,"label":"asserted"},"own_p":0.68,"main_claim_p":0.36,"quantitative":false,"quantitative_p":0.07,"role_probabilities":{"gap":0.0,"method":0.0,"result":0.0,"background":0.0,"limitation":1.0,"future_work":0.0,"contribution":0.0,"interpretation":0.0}}]},"compiled":{"main_claim":{"p":0.48,"text":"In this paper we propose a space-efficient reversible floating-point adder, suitable for binary quantum computation, improving the design of Nachtigal et al. Our work focuses on improving the reversible designs of the alignment unit and the normalization unit, which are the most expensive parts.","location":"abstract s2","hedge_strength":{"p":1.0,"label":"asserted"}},"provenance":{"route":{"via":"OpenRouter","model":"classifier-1.13","endpoint":"https://openrouter.ai/api/v1/systemone","provider":"TypeSafe"},"packing":"one request per paper","requests":1,"input_tokens":5555,"cost_usd_reported":0.000233},"compiled_at":"2026-09-23","bank_version":"abstract-p1-20260923","model_version":"classifier-1.13-20260917","abstract_states":{"claims_first":0.28,"states_limitation":0.97,"human_participants":0.01,"controlled_comparison":0.29,"randomized_assignment":0.01,"states_quantitative_result":0.98,"compares_with_prior_results":0.95,"mentions_code_or_data_availability":0.02},"evidential_basis":{"p":0.43,"value":"argument","probabilities":{"argument":0.43,"literature":0.03,"proof_or_derivation":0.34,"analysis_of_existing_data":0.01,"observation_or_experiment":0.01,"simulation_or_computation":0.18}},"contribution_type":{"p":1.0,"value":"method or tool","probabilities":{"review":0.0,"method_or_tool":1.0,"empirical_study":0.0,"simulation_study":0.0,"theoretical_result":0.0,"dataset_or_benchmark":0.0,"position_or_commentary":0.0}},"contribution_statement":{"p":1.0,"text":"In this paper we propose a space-efficient reversible floating-point adder, suitable for binary quantum computation, improving the design of Nachtigal et al. Our work focuses on improving the reversible designs of the alignment unit and the normalization unit, which are the most expensive parts.","location":"abstract s2"}},"coverage":{"tier":"abstract","levels_run":["P abstract"],"not_examined":["full text","figures and tables","references and citing sentences","relations to other papers"],"sources_read":["arXiv listing abstract v1"],"levels_not_run":["S sections","T body sentences","C citations","R cross-paper relations"],"sentences_examined":7,"sentences_in_abstract":7},"measured_accuracy":{"url":"https://pith.science/accuracy","measured_on":"2026-10-02","method":"two independent model families labelled a fresh random sample blind; the figure is how often the published label matches their consensus","sentence_role_agreement":0.92,"main_claim_agreement":0.908,"typed_citation_agreement":0.933,"typed_citation_agreement_95_interval":[0.917,0.945],"review_comments_accurate":0.758,"review_comments_accurate_95_interval":[0.684,0.82],"review_caught_admitted_error_found_or_related":0.448}}