{"id":"https://openalex.org/W7225758231","doi":"https://doi.org/10.5281/zenodo.24103499","title":"BINDU\u2013VECTRA: Machine-Checked Ancilla-Uniform Mixing Bounds for Independent Generalized Amplitude-Damping Channels","display_name":"BINDU\u2013VECTRA: Machine-Checked Ancilla-Uniform Mixing Bounds for Independent Generalized Amplitude-Damping Channels","publication_year":2026,"publication_date":"2026-11-10","ids":{"openalex":"https://openalex.org/W7225758231","doi":"https://doi.org/10.5281/zenodo.24103499"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24103499","doi":"https://doi.org/10.5281/zenodo.24103499","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24103499","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.24103499","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5116497723","display_name":"Boris Batenin","orcid":"https://orcid.org/0009-0000-7027-8583","observed_orcids":["https://orcid.org/0009-0000-7027-8583"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Batenin, Boris","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0000-7027-8583","affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5133416360","display_name":"Andrei Preece","orcid":"https://orcid.org/0009-0004-5978-795X","observed_orcids":["https://orcid.org/0009-0004-5978-795X"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Preece, Andrei","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0004-5978-795X","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"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/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.6273999810218811,"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.6273999810218811,"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/T10020","display_name":"Quantum Information and Cryptography","score":0.30250000953674316,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10622","display_name":"Quantum Mechanics and Applications","score":0.0414000004529953,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[],"concepts":[{"id":"https://openalex.org/C2777984123","wikidata":"https://www.wikidata.org/wiki/Q9248237","display_name":"Pointwise","level":2,"score":0.8070999979972839},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.704200029373169},{"id":"https://openalex.org/C138777275","wikidata":"https://www.wikidata.org/wiki/Q6884054","display_name":"Mixing (physics)","level":2,"score":0.6991999745368958},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.44530001282691956},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.4406999945640564},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.41370001435279846},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.3935999870300293},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.3474000096321106},{"id":"https://openalex.org/C155281189","wikidata":"https://www.wikidata.org/wiki/Q3518150","display_name":"Tensor (intrinsic definition)","level":2,"score":0.3244999945163727},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.32429999113082886},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.3215000033378601},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3181999921798706},{"id":"https://openalex.org/C95611797","wikidata":"https://www.wikidata.org/wiki/Q17502105","display_name":"Infimum and supremum","level":2,"score":0.2842000126838684},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.2782999873161316},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.2711000144481659},{"id":"https://openalex.org/C2776639384","wikidata":"https://www.wikidata.org/wiki/Q840396","display_name":"Ideal (ethics)","level":2,"score":0.2685000002384186},{"id":"https://openalex.org/C14158598","wikidata":"https://www.wikidata.org/wiki/Q853831","display_name":"Lebesgue integration","level":2,"score":0.26669999957084656},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.26579999923706055},{"id":"https://openalex.org/C51255310","wikidata":"https://www.wikidata.org/wiki/Q1163016","display_name":"Tensor product","level":2,"score":0.2565000057220459}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24103499","doi":"https://doi.org/10.5281/zenodo.24103499","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24103499","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.24103500","doi":"https://doi.org/10.5281/zenodo.24103500","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24103500","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.24103499","doi":"https://doi.org/10.5281/zenodo.24103499","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24103499","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":{"BINDU\u2013VECTRA":[0],"reports":[1],"a":[2,91,103,166,228,265],"Lean":[3,126,205],"4.19.0":[4],"machine-checked,":[5],"ancilla-uniform":[6],"Schatten-1":[7],"mixing":[8,255,284],"bound":[9,168],"for":[10,259,269],"finite":[11,96],"products":[12],"of":[13,25,107,117,169,190,278],"independent":[14,230,271],"generalized":[15],"amplitude-damping":[16],"(GAD)":[17],"channels.":[18],"The":[19,111,174,193,209,243],"result":[20],"covers":[21],"any":[22],"number":[23],"N":[24],"sites,":[26],"strictly":[27],"positive":[28],"local":[29],"pumping":[30],"and":[31,35,43,77,121,140,143,203,218,276],"decay":[32],"rates":[33],"G\u2096":[34],"K\u2096,":[36],"nonnegative":[37],"time":[38],"t,":[39],"every":[40],"finite-dimensional":[41],"ancilla,":[42],"arbitrary":[44],"complex":[45],"input":[46],"matrices":[47],"X\u2014not":[48],"only":[49,222],"density":[50],"operators.":[51],"With":[52],"r\u2096(t)":[53],"=":[54,62],"exp[\u2212(G\u2096":[55],"+":[56,66,156],"K\u2096)t/2],":[57],"the":[58,69,72,78,108,115,133,145,162,180],"explicit":[59,273],"envelope":[60],"C_N(t)":[61],"min{2,":[63],"\u03a3\u2096\u208c\u2080\u1d3a\u207b\u00b9":[64],"[r\u2096(t)":[65,155],"r\u2096(t)\u00b2]}":[67],"controls":[68],"distance":[70],"between":[71],"product":[73],"GAD":[74,250],"evolution":[75],"\u03a6\u209c\u207d\u1d3a\u207e":[76],"stationary-replacement":[79],"channel":[80,136],"\u211b\u207d\u1d3a\u207e:":[81],"\u2016[(\u03a6\u209c\u207d\u1d3a\u207e":[82],"\u2212":[83,150],"\u211b\u207d\u1d3a\u207e)":[84],"\u2297":[85,152],"id_A](X)\u2016\u2081":[86,153],"\u2264":[87,154],"C_N(t)\u2016X\u2016\u2081.":[88],"This":[89],"is":[90,99,114,177],"pointwise":[92],"estimate":[93],"uniform":[94,167],"over":[95],"ancillas;":[97],"it":[98],"not":[100,246],"presented":[101],"as":[102,186],"separate":[104],"formal":[105,267],"construction":[106],"diamond-norm":[109,274],"supremum.":[110],"principal":[112],"advance":[113],"removal":[116],"previously":[118],"conditional":[119],"site-kernel":[120],"hybrid-step":[122],"hypotheses.":[123],"Eight":[124],"named":[125],"declarations":[127,212],"connect":[128],"physical":[129],"Kraus":[130],"actions":[131],"to":[132],"global":[134],"native-index":[135],"representation,":[137],"establish":[138,247],"stationary-replacer":[139],"Pauli-Z/dephasing":[141],"bridges,":[142],"prove":[144],"unconditional":[146],"hybrid":[147],"increment":[148],"\u2016[(\u210b\u2096\u208a\u2081":[149],"\u210b\u2096)":[151],"r\u2096(t)\u00b2]\u2016X\u2016\u2081.":[157],"Telescoping":[158],"these":[159],"increments":[160],"yields":[161],"N-site":[163],"envelope,":[164],"while":[165],"2":[170],"supplies":[171,264],"its":[172],"cap.":[173],"site-to-global":[175],"correspondence":[176],"established":[178],"in":[179],"proof":[181],"chain":[182],"rather":[183],"than":[184],"assumed":[185],"an":[187,236,248,253],"informal":[188],"relabeling":[189],"tensor":[191],"indices.":[192],"accompanying":[194],"reproducibility":[195],"materials":[196],"identify":[197],"53":[198],"source":[199],"modules,":[200],"SHA-256":[201],"inventories,":[202],"pinned":[204],"4.19.0/Mathlib":[206],"v4.19.0":[207],"dependencies.":[208],"eight":[210],"target":[211],"have":[213],"source-matched,":[214],"user-supplied":[215],"successful":[216],"build":[217],"axiom":[219],"records":[220],"reporting":[221],"Lean\u2019s":[223],"standard":[224],"foundational":[225],"axioms;":[226],"however,":[227],"fresh":[229],"kernel":[231],"replay":[232],"remains":[233],"necessary":[234],"before":[235],"independently":[237],"certified":[238],"release":[239],"can":[240],"be":[241],"claimed.":[242],"work":[244],"does":[245],"exact":[249],"diamond":[251],"norm,":[252],"optimal":[254],"exponent,":[256],"or":[257,280],"results":[258],"interacting":[260],"Lindbladians.":[261],"It":[262],"instead":[263],"reproducible":[266],"foundation":[268],"future":[270],"certification,":[272],"formalization,":[275],"investigation":[277],"sharper":[279],"more":[281],"general":[282],"quantum":[283],"estimates.":[285]},"counts_by_year":[],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2026-11-11T00:00:00"}