量子信息理论与密码学的婚姻已经引起了一系列规程,这些方案利用了独特的量子现象,最著名的是无关原则[1,2,3],以实现在经典环境中无法实现的安全性。这样一个概念,即无法统一的加密,可以利用量子状态的不可分割性,以防止对手复制加密消息。术语“无统治加密(UE)”于2003年首次出现在Gottesman [4]的论文中。爱丽丝将经典消息加密到量子状态。引入了一个安全定义,基本上指出“如果鲍勃决定解密有效,那么夏娃,鉴于钥匙,只有关于宣传的信息可忽略不计。”安全定义是根据不同消息的加密之间的痕量距离提出的。在同一框架中,Leermakers和škorić通过钥匙回收设计了UE方案[5]。Broadbent和Lord [6]基于克隆游戏引入了修改的安全定义,并在随机的Oracle模型中构建了UE。在[7、8、9]中引入了几个UE方案,并在[10,11]中给出了UE的可行性和局限性结果。到目前为止,UE已在离散变量(DV)量子系统中专门研究。,在量子密钥分布(QKD)领域,连续变量(CV)量子系统已成为DV的有吸引力的替代品[12、13、14、14、15、15、16、17、18、19、20、21]。在本文中,我们提出了与连续可变状态一起使用的第一个不封合的加密方案。CV不需要昂贵的单光子探测器,并且可以使用低损失的电信波长(1310nm,1550nm)的优势,这使得可以利用数十年的连贯光学通信技术经验。超出QKD,实用的优势更普遍地用于其他量子信息处理应用程序,这引起了人们对将基于DV的加密思想转化为简历域的重大兴趣。我们在[6]的UE框架中提供了安全证明。事实证明,将UE从离散变为连续变量具有许多非平凡方面。在构造方面,需要调整方案的参数,以使得可以满足解密性和不荡情性。在验证技术方面,我们引入了许多“游戏啤酒花”,以将克隆游戏(在UE安全定义中具有特色的克隆游戏)连接到CV一夫一妻制的游戏中,最近证明了获胜概率上的上限[22]。此外,有必要稍微修改
1. Anita Buckley、Pavel Chuprikov、Rodrigo Otoni、Robert Soulé、Robert Rand 和 Patrick Eugster (2024)。用于指定量子网络的代数语言。编程语言设计和实现 (PLDI)。2. Anita Buckley、Pavel Chuprikov、Rodrigo Otoni、Robert Rand、Robert Soulé 和 Patrick Eugster (2023)。面向量子网络的代数规范。量子网络和分布式量子计算 (QuNet)。3. Yuxiang Peng、Kesha Hietala、Runzhou Tao、Liyi Li、Robert Rand、Michael Hicks 和 Xiaodi Wu (2023)。Shor 分解算法的正式认证端到端实现。美国国家科学院院刊 (PNAS)。 4. Finn Voichick、Liyi Li、Robert Rand 和 Michael Hicks (2023)。Qunity:一种用于量子和经典计算的统一语言。编程语言原理 (POPL)。5. Giovanni De Micheli、Jie-Hong R. Jiang、Robert Rand、Kaitlin Smith 和 Mathias Soeken (2022)。量子计算和量子技术的进展:设计自动化视角。IEEE 电路与系统新兴和精选主题杂志。6. Kartik Singhal、Kesha Hietala、Sarah Marshall 和 Robert Rand (2022)。Q# 作为量子算法语言。量子物理与逻辑 (QPL)。7. Kesha Hietala、Robert Rand、Shih-Han Hung、Liyi Li 和 Michael Hicks (2021)。证明量子程序正确。交互式定理证明 (ITP)。8. Kesha Hietala、Robert Rand、Shih-Han Hung、Xiaodi Wu 和 Michael Hicks (2021)。量子电路的经过验证的优化器。编程语言原理 (POPL)。9. Robert Rand、Aarthi Sundaram、Kartik Singhal 和 Brad Lackey (2020)。量子程序的 Gottesman 类型。量子物理和逻辑 (QPL)。10. Robert Rand、Kesha Hietala 和 Michael Hicks (2019)。形式验证与量子不确定性。编程语言进步峰会 (SNAPL)。11. Robert Rand、Jennifer Paykin、Dong-Ho Lee 和 Steve Zdancewic (2018)。ReQWIRE:关于可逆量子电路的推理。量子物理和逻辑 (QPL)。 12. Jennifer Paykin、Robert Rand 和 Steve Zdancewic (2017)。QWIRE:量子电路的核心语言。编程语言原理 (POPL)。13. Robert Rand、Jennifer Paykin 和 Steve Zdancewic (2017)。QWIRE 实践:Coq 中量子电路的形式化验证。量子物理与逻辑 (QPL)。
1 Danko, D.、Blay, JY 和 Garrison, LP (2019)。肿瘤靶向联合疗法的价值评估、定价和资助方面的挑战。健康政策,123(12),1230-1236。2 Briggs, Doyle、Schneider、Taylor、Roffe、Low、Davis、Kaiser、Hatswell、Rabin、Podkonjak。联合疗法的价值归因框架。(2021 年 1 月)3 Ferlay J、Colombet M 和 Bray F。五大洲癌症发病率,CI5plus:IARC CancerBase No. 9 [Internet]。法国里昂:国际癌症研究机构;2018 年。网址:http://ci5.iarc.fr。4 Dalmartello M;La Vecchia C;Bertuccio P;Boffetta P;Levi F;Negri E;Malvezzi M; 2022 年欧洲癌症死亡率预测,重点关注卵巢癌 [Internet]。美国国家医学图书馆;[引用于 2023 年 7 月 26 日]。可从以下网址获取:https://pubmed.ncbi.nlm.nih.gov/35090748/ 5 欧洲肿瘤内科学会 (ESMO)。(2022) 2022 年欧盟和英国的卵巢癌死亡率将下降 [Annals of Oncology 新闻稿]。2023 年 7 月 28 日访问。可从以下网址获取:https://www.esmo.org/newsroom/press-releases/death-rates-from-ovarian-cancer-will-fall-in-the-eu- and-uk-in-2022 6 欧盟委员会:Eurostat 癌症统计数据 [Internet]。[引用于 2023 年 7 月 24 日]。出处:https://ec.europa.eu/eurostat/statistics- explained/index.php?title=Cancer_statistics#:~:text=healthcare%20and%20equipment-,Deaths%20fro m%20cancer,among%20women%20(20.0%20%25)。7 Khdair A、Chen D、Patil Y、Ma L、Dou QP、Shekhar MP、Panyam J。纳米粒子介导的联合化疗和光动力疗法克服了肿瘤耐药性。J Control Release。2010;141:137-44。8 Gottesman MM、Fojo T、Bates SE。癌症中的多药耐药性:ATP 依赖性转运蛋白的作用。Nat Rev Cancer。2002;2:48-58。 9 Jardim DL、De Melo Gagliato D、Nikanjam M、Barkauskas DA、Kurzrock R。抗癌药物组合的疗效和安全性:以免疫疗法和基因靶向药物为重点的随机试验荟萃分析。Oncoimmunology。2020 年 1 月 1 日;9(1):1710052。10 Mokhtari, RB、Homayouni, TS、Baluch, N.、Morgatskaya, E.、Kumar, S.、Das, B. 和 Yeger, H.,2017 年。联合疗法对抗癌症。Oncotarget,8(23),第 38022 页。11 Boshuizen, J. 和 Peeper, DS (2020)“合理的癌症治疗组合:迫切的临床需求”,Molecular Cell,78(6),第 1002-1018 页。 12 Mokhtari, RB、Homayouni, TS、Baluch, N.、Morgatskaya, E.、Kumar, S.、Das, B. 和 Yeger, H.,2017 年。抗癌联合疗法。 Oncotarget,8(23),第 38022 页。
