{"id":"https://openalex.org/W7225754570","doi":"https://doi.org/10.5281/zenodo.24116191","title":"The Floor of an Inverse-Sqrt Kickmix Circuit: A Full-Domain Optimality Analysis","display_name":"The Floor of an Inverse-Sqrt Kickmix Circuit: A Full-Domain Optimality Analysis","publication_year":2026,"publication_date":"2026-11-10","ids":{"openalex":"https://openalex.org/W7225754570","doi":"https://doi.org/10.5281/zenodo.24116191"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24116191","doi":"https://doi.org/10.5281/zenodo.24116191","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24116191","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.24116191","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5161399716","display_name":"Masum Huq","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Huq, Masum","raw_affiliation_strings":["Lisaiceland (Independent Researcher)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Lisaiceland (Independent Researcher)","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5161399716"],"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/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9970999956130981,"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"}},"topics":[{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9970999956130981,"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/T13182","display_name":"Quantum-Dot Cellular Automata","score":0.00019999999494757503,"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/T11693","display_name":"Cryptography and Residue Arithmetic","score":0.00019999999494757503,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[],"concepts":[{"id":"https://openalex.org/C203087015","wikidata":"https://www.wikidata.org/wiki/Q378201","display_name":"Qubit","level":3,"score":0.5425000190734863},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5097000002861023},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4948999881744385},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4560999870300293},{"id":"https://openalex.org/C124584101","wikidata":"https://www.wikidata.org/wiki/Q1053266","display_name":"Multiplier (economics)","level":2,"score":0.42170000076293945},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.42100000381469727},{"id":"https://openalex.org/C169460222","wikidata":"https://www.wikidata.org/wiki/Q1206311","display_name":"Quantum logic","level":4,"score":0.3630000054836273},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.3547999858856201},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.3440999984741211},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.32580000162124634},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.32499998807907104},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.31779998540878296},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.3084000051021576},{"id":"https://openalex.org/C74050887","wikidata":"https://www.wikidata.org/wiki/Q848368","display_name":"Rotation (mathematics)","level":2,"score":0.3028999865055084},{"id":"https://openalex.org/C124148022","wikidata":"https://www.wikidata.org/wiki/Q2122210","display_name":"Quantum circuit","level":5,"score":0.2851000130176544},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.28349998593330383},{"id":"https://openalex.org/C164620267","wikidata":"https://www.wikidata.org/wiki/Q376953","display_name":"Adder","level":3,"score":0.27810001373291016},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.2773999869823456},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2734000086784363},{"id":"https://openalex.org/C190560348","wikidata":"https://www.wikidata.org/wiki/Q3245116","display_name":"Circuit design","level":2,"score":0.27140000462532043},{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.26579999923706055}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24116191","doi":"https://doi.org/10.5281/zenodo.24116191","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24116191","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},{"id":"doi:10.5281/zenodo.24116192","doi":"https://doi.org/10.5281/zenodo.24116192","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24116192","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":"doi:10.5281/zenodo.24116191","doi":"https://doi.org/10.5281/zenodo.24116191","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24116191","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"The":[0,40,203,232],"Google":[1],"Quantum":[2],"AI":[3],"\"kickmix\"":[4],"challenge":[5],"scores":[6],"a":[7,46,53,56,61,68,130,150,225,237],"submitted":[8],"quantum":[9],"circuit":[10,59,75,230],"for":[11],"computing":[12],"2/\u221ax":[13],"by":[14,158,192],"the":[15,21,27,37,95,110,171,183,209,212,217],"product":[16],"Q\u00b7C,":[17],"where":[18],"Q":[19],"is":[20,190,205,208,235],"declared":[22],"qubit":[23,148],"count":[24,32],"and":[25,108,174,257],"C":[26],"per-shot":[28],"executed":[29],"cost":[30,153],"(Toffoli":[31],"plus":[33,243],"one":[34,118],"quarter":[35],"of":[36,49,73,154,182,211],"rotation":[38,96],"T-charge).":[39],"public":[41],"competition":[42],"frontier":[43],"converged,":[44],"across":[45,76,129],"22-step":[47],"lineage":[48],"independent":[50],"submissions,":[51],"to":[52,260],"single":[54],"point:":[55],"62-qubit,":[57],"97,747.215-cost":[58],"implementing":[60],"Newton\u2013Raphson":[62,213],"fixed-point":[63],"pipeline.":[64],"This":[65],"report":[66],"presents":[67],"complete,":[69],"measured":[70,103,151],"optimality":[71],"analysis":[72],"that":[74,206,248,258],"seven":[77],"axes:":[78],"op-level":[79],"editability":[80],"(1,475":[81],"toffoli-like":[82],"gates":[83,181],"scanned":[84],"\u2014":[85,156,240,247],"zero":[86,89,92],"constant":[87],"controls,":[88],"canceling":[90],"pairs,":[91],"degenerate":[93],"gates),":[94],"floor":[97,210],"(information-bounded":[98],"at":[99],"~32":[100],"bits;":[101],"41":[102],"rotations":[104],"are":[105],"individually":[106],"live":[107,128],"accuracy-locked),":[109],"algorithm":[111,227],"configuration":[112],"space":[113],"(156":[114],"candidate":[115],"configurations;":[116],"exactly":[117],"feasible":[119,141],"shape),":[120],"register":[121],"liveness":[122],"(all":[123],"40":[124],"scratch":[125],"slots":[126],"genuinely":[127],"16,366-line":[131],"occupancy":[132],"plateau),":[133],"erase-and-recompute":[134],"economics":[135],"(a":[136],"set-cover":[137],"formulation":[138],"over":[139,196],"381":[140],"replay":[142],"windows;":[143],"break-even":[144],"25.8":[145],"cost-centers":[146],"per":[147],"against":[149],"recompute":[152],"52":[155],"uneconomic":[157],"2\u00d7),":[159],"value-fact":[160],"edits":[161],"(three":[162],"full-domain-verified":[163],"arithmetic":[164],"identities":[165],"with":[166,252],"no":[167],"gate-level":[168],"referent":[169],"in":[170],"fused":[172],"synthesis),":[173],"block-level":[175],"exact":[176,194],"tightness":[177],"(full-domain":[178],"ablation:":[179],"204/204":[180],"decoded":[184],"multiplier":[185],"block":[186],"load-bearing).":[187],"Every":[188],"verdict":[189],"backed":[191],"full-domain":[193,241],"computation":[195],"all":[197],"3,133,452":[198],"in-domain":[199],"inputs,":[200],"not":[201,229],"sampling.":[202],"conclusion":[204],"62q/97,747.215":[207],"design":[214,250],"family:":[215],"reaching":[216],"#1":[218],"leaderboard":[219],"position":[220],"(~60,300":[221],"implied":[222],"cost)":[223],"requires":[224],"new":[226],"family,":[228],"surgery.":[231],"durable":[233],"contribution":[234],"methodological:":[236],"reusable":[238],"toolchain":[239],"ablation":[242],"whole-circuit":[244],"equivalence":[245],"proving":[246],"closes":[249],"spaces":[251],"proofs":[253],"rather":[254],"than":[255],"conjectures,":[256],"generalizes":[259],"any":[261],"kickmix-style":[262],"or":[263],"verifiable-circuit":[264],"competition.":[265]},"counts_by_year":[],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2026-11-11T00:00:00"}