简洁论证 [Kil92、Mic94] 允许证明者说服验证者语句 x 属于语言 L,并且通信长度短于对应关系的见证长度。简洁论证已成为现代密码学的基石,并推动了许多现实世界应用的发展,如可验证计算和匿名加密货币。近年来,基于各种密码学假设,简洁论证的构造呈爆炸式增长。然而,量子计算的出现对这些进步构成了重大威胁。一方面,Shor 算法 [Sho94] 迫使我们过渡到基于后量子假设的密码系统,例如带错学习 (LWE) 问题的难度 [Reg05]。另一方面,由于量子信息的根本性质不同,一些已知的证明密码协议安全性的技术不再适用于后量子时代。最值得注意的是倒带技术,这种技术在简洁论证的安全性证明中无处不在。在倒带证明中,有人认为,如果对手在一次随机挑战中以足够高的概率取得成功,那么他一定能在多次挑战中取得成功。这种经典的直观想法在量子环境中不成立,因为测量对手对一次挑战的反应会导致不可逆转的信息丢失,这可能使其无法用于回答其他挑战。一类重要的简洁论证是基于 [ BCC + 16 , BBB + 18 ] 递归折叠技术的交互式协议,在文献中也称为 Bulletproofs 。利用密码方案的代数性质,类似 Bulletproofs 的协议可以实现比基于 PCP 和 IOP 的简洁论证 [ Kil92 , BCS16 ] 小得多的证明大小,同时保留公共币设置的好处。然而,与基于 PCP 和 IOP 的论证不同,原始的 Bulletproofs 构造不是后量子安全的,而是基于离散对数问题的难度。这激发了一系列旨在设计“后量子 Bulletproofs” [BLNS20、AL21、ACK21、BCS21] 的工作。虽然这些工作不依赖于量子不安全的加密假设,但它们对后量子安全性的分析只是启发式的,因为健全性只能在面对经典对手时才能体现出来。受此情况的启发,我们提出以下问题:
* 共同第一作者 1 麻省理工学院麦戈文脑研究所脑与认知科学系,美国马萨诸塞州剑桥 2 麻省理工学院大脑、心智与机器中心,美国马萨诸塞州剑桥 3 哈佛大学语音与听觉生物科学与技术项目,美国马萨诸塞州剑桥 4 罗彻斯特大学医学中心,美国纽约州罗彻斯特 摘要 深度神经网络通常用作视觉系统的模型,但在听觉方面的研究较少。先前的研究提供了音频训练神经网络的例子,这些网络可以很好地预测听觉皮层 fMRI 反应,并显示出模型阶段与大脑区域之间的对应关系,但这些结果是否推广到其他神经网络模型尚不清楚。我们评估了公开可用的音频神经网络模型以及在四个不同任务上训练的内部模型的大脑模型对应关系。大多数测试模型的预测效果都优于之前的听觉皮层滤波器组模型,并表现出系统的模型-大脑对应关系:中间阶段最能预测初级听觉皮层,而深层阶段最能预测非初级皮层。然而,一些最先进的模型产生了明显更差的大脑预测。训练任务影响了特定皮质调节特性的预测质量,最好的整体预测来自在多个任务上训练的模型。结果表明任务优化在限制大脑表征方面的重要性。
2 q a ij kl =⟨ψ| [ˆ h,ˆσ†iσ†j ˆ σlˆσk] | ψ⟩ + +⟨| | [ˆ h,ˆσ†iσ†j ˆ σlˆσk] | ψ⟩-(23)
努力促进公平、问责和透明被认为对于培养人工智能信任 (TAI) 至关重要,但现有文献对这种“信任”的阐述令人沮丧。缺乏对信任本身的阐述表明信任是普遍理解的、不复杂的,甚至无趣的。但真的是这样吗?我们对 TAI 出版物的分析揭示了许多不同的倾向,这些倾向在谁在信任(代理人)、信任什么(对象)、基于什么(基础)、为了什么(目标)和为什么(影响)方面有所不同。我们开发了一个本体来封装这些关键差异轴,以 a) 阐明文献中看似不一致的地方,b) 更有效地管理令人眼花缭乱的 TAI 考虑因素。然后,我们通过探索公平、问责和透明度的出版物语料库来反映这个本体,以研究在这些促进信任的方法中和之间考虑 TAI 的各种方式。
通过利用一对量子比特之间的共享纠缠,可以将量子态从一个粒子传送到另一个粒子。最近的进展揭示了量子隐形传态的内在多体泛化,与引力有着巧妙而令人惊讶的联系。具体来说,量子信息的隐形传态依赖于多体动力学,这种动力学源于与引力全息对偶的强相互作用系统;从引力的角度来看,这种量子隐形传态可以理解为通过可穿越虫洞传输信息。在这里,我们提出并分析了一种新的多体量子隐形传态机制——被称为峰值隐形传态。有趣的是,峰值隐形传态利用的量子电路类型与可穿越虫洞隐形传态完全相同,但微观起源却完全不同:它依赖于一般热动力学下局部算子的扩散,而不是引力物理。我们通过分析和数值证明了峰值尺寸隐形传态在各种物理系统中的普遍性,包括随机单元电路、Sachdev-Ye-Kitaev 模型(高温)、一维自旋链和带有弦校正的体引力理论。我们的研究结果为使用多体量子隐形传态作为强大的实验工具铺平了道路,用于 (i) 表征强关联系统中算子的尺寸分布和 (ii) 区分一般和内在引力扰乱动力学。为此,我们提供了在捕获离子和里德堡原子阵列中实现多体量子隐形传态的详细实验蓝图;分析了退相干和实验缺陷的影响。
通过利用一对量子比特之间的共享纠缠,可以将量子态从一个粒子传送到另一个粒子。最近的进展揭示了量子隐形传态的内在多体泛化,与引力有着巧妙而令人惊讶的联系。具体来说,量子信息的隐形传态依赖于多体动力学,这种动力学源于与引力全息对偶的强相互作用系统;从引力的角度来看,这种量子隐形传态可以理解为通过可穿越虫洞传输信息。在这里,我们提出并分析了一种新的多体量子隐形传态机制——被称为峰值隐形传态。有趣的是,峰值隐形传态利用的量子电路类型与可穿越虫洞隐形传态完全相同,但微观起源却完全不同:它依赖于一般热动力学下的局部算子的扩散,而不是引力物理。我们通过分析和数值方法证明了峰值尺寸隐形传态在各种物理系统中的普遍性,包括随机单元电路、Sachdev-Ye-Kitaev 模型(高温)、一维自旋链和带弦校正的体引力理论。我们的研究结果为使用多体量子隐形传态作为强大的实验工具铺平了道路,用于 (i) 表征强关联系统中算子的尺寸分布和 (ii) 区分一般和内在引力扰乱动力学。为此,我们提供了在捕获离子和里德堡原子阵列中实现多体量子隐形传态的详细实验蓝图;分析了退相干和实验缺陷的影响。
摘要 - 芯片上的许多核心系统(MCSOC)包含操作元素(PES),系统附加到系统的外围设备以及连接它们的NOC。这些系统具有不同的流动,遍历了NOC:PE-PE和PE-PERPHERAL流动。恶意硬件或软件可能会因为资源共享功能而阻碍系统安全性,例如用于多任务处理的CPU共享或共享属于不同应用程序的流量的NOC链接。将应用程序隔离为安全限制(例如安全区域(SZ))的方法保护PE-PE流动与文献中报告的大多数攻击。提出的提案用文献中与外围设备进行通信的方法很少,其中大多数都集中在共享内存保护上。本文介绍了一种原始方法,使用访问点-SEMAP的安全映射,该方法为SZS创建映射策略,以及与IO设备的沟通策略,以保护PE-外布流。结果表明,应用程序执行时间不会通过应用SEMAP来惩罚,与最新方法相比,具有优势。在安全性方面,SEMAP成功抵抗了攻击活动,阻止了试图进入SZ的恶意数据包。索引项 - 确定性,基于NOC的多核,安全区域,外围设备。
我们推出了 NetKet 的第 3 版,它是用于多体量子物理的机器学习工具箱。NetKet 围绕神经量子态构建,并为其评估和优化提供有效的算法。这个新版本建立在 JAX 之上,JAX 是 Python 编程语言的可微分编程和加速线性代数框架。最重要的新功能是可以使用机器学习框架的简洁符号在纯 Python 代码中定义任意神经网络解析器,这允许即时编译以及由于自动微分而隐式生成梯度。NetKet 3 还支持 GPU 和 TPU 加速器、对离散对称群的高级支持、分块以扩展到数千个自由度、量子动力学应用程序的驱动程序以及改进的模块化,允许用户仅使用工具箱的部分内容作为自己代码的基础。
镥-177-PSMA-617 (PLUVICTO) 已获美国食品药品监督管理局批准,用于治疗已接受雄激素受体 (AR) 通路抑制和紫杉烷类化疗治疗的前列腺特异性膜抗原 (PSMA) 阳性转移性去势抵抗性前列腺癌 (mCRPC) 患者 (1)。这一巨大成功得益于 VISION 试验的设计、执行和结果 (2),患者、患者家属和治疗团队对此翘首以盼。我们之前曾对核治疗诊断学提供过一些简化的业务预测 (3)。我们预计前列腺特异性膜抗原 (PSMA) – 最初为靶向分子放射治疗 – 的需求将很高,随着适应症扩展到疾病早期阶段,这种需求将进一步增加。随机 II 期 TheraP 试验表明,对于使用多西他赛治疗后病情进展的转移性去势抵抗性前列腺癌患者,177 Lu-PSMA-617 作为二线治疗可能比紫杉烷类(卡巴他赛)获得更好的前列腺特异性抗原反应和无进展生存期 ( 4 )。其他几项临床试验正在探索 PSMA 靶向分子放射治疗的作用,从新辅助治疗到激素敏感治疗,再到转移性去势抵抗性前列腺癌的一线治疗,这些试验正在进行或即将开始 ( 5 )。治疗诊断中心将来还将治疗甲状腺癌、神经内分泌肿瘤(包括副神经节瘤和嗜铬细胞瘤)和其他类型癌症的患者。我们将如何以及在哪里能够为我们的患者提供最好的护理?首先,我们必须建立能力。实施培训和认证标准是必不可少的先决条件。两篇文章即将在《核医学杂志》上发表并提供指导,其中一篇来自澳大利亚专家,另一篇来自欧洲核医学协会、核医学和分子成像学会和国际原子能机构。其次,我们必须建立健全的供应链。鉴于有限的生产能力因当前的地缘政治不确定性而面临进一步的风险,建立健全的治疗同位素供应链至关重要。无法可靠地提供治疗方法将导致治疗方法失败。这对工业界和学术界来说既是挑战也是机遇,因为可以共同开发新的生产策略。第三,我们必须建立大量的治疗诊断中心。神经内分泌肿瘤的发病率正在上升,
3 用于分子模拟的量子计算 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ... . ...