1。我们重新审视了Chailloux,Kerenidis和Rosgen引入的量子辅助输入承诺的概念(Comput。复杂。2016),其中参数和接收器都采用由量子辅助输入确定的相同量子状态,该状态由安全参数确定。我们表明,计算隐藏和统计结合的量子辅助输入承诺无条件地存在,即,而不依赖任何未经证实的假设,而Chailloux等人则存在。假定复杂性理论假设,qIP̸⊆QMA。另一方面,我们观察到,即使在量子辅助输入设置中,同时达到统计隐藏和统计结合也是不可能的。据我们所知,这是无条件证明无法使用统计安全性的任何形式的(经典或量子)承诺的计算安全的第一个例子。作为迈向我们建筑的中间步骤,我们介绍和无条件构建量子后稀疏的伪随机分布和量子辅助输入EFI对,可能具有独立的关注。
打开斑点时,宾夕法尼亚州是为了播放她在创建它时发行的股票。如果PA试图使用[BCC]的技术证明某些语句,则上一节的结果表明,正确创建和广播股票符合PA的利益。,但是在其他情况下,沟通失败或改变内心可能会阻止PA最终广播股票。即使其他参与者要公开PA的股票,以便在没有PA帮助的情况下打开Blob,他们也会遇到一个计算问题:不舒适的参与者可能会为其股份公开虚假价值,并且找到所代表的价值可能需要搜索与一个小于dypolnomial的size 2d-t的股票相一致的股份,该股票的份额多于dolynomial size size size size size size size size size size size size bicy的份额是一致的。更糟糕的是,如果PA创建Blob时已经在作弊,那么大多数投诉者可能会可靠。在这种情况下,不可靠的参与者可以在广播之间进行开放时选择,这些广播不会为秘密或其他广播留下独特的解决方案,这些解决方案会毫无意义地产生特定的价值。
自1990年以来就已经知道[IL89,GOL90],几乎所有有趣的经典加密任务都需要计算安全性,此外,硬度假设至少与单向函数的存在一样强。因此,这些密码任务无条件地面对“𝖯=𝖭𝖯”,通过复杂性理论家进行了强烈的研究这些密码任务特别包括构建承诺方案,其可行性等效于单向函数的存在。自1990年代以来[OW93]自1990年代以来所研究的辅助输入密码学是一个非均匀版本的加密版,协议中的每个方可以访问某些可能无法有效准备的公共信息的副本。这不是与非统一安全性混淆,这是默认的安全性概念,除了在多项式时间内运行,对手在开始时从其他协议执行中从效率低下的预处理阶段或一些残留信息中获取一些建议。遵循相同的证据,相同的障碍是“𝖯?=𝖭𝖯”仍然适用于这种更轻松的设置考虑到这个困难,自然要考虑构建量子承诺。最近的作品表明,就其与量子加密的紧密连接而言,量子承诺与经典作用相似,在大[yan22,bcq23,bcq23,bem + 23]和量子复杂性[BEM + 23]方面与量子密码的紧密联系起来。尽管如此,仍然有理由推测任何合理的量子计算密码学都可能面临其他障碍。虽然从统计上(理论上)对双方的承诺也是不可能的,甚至是量子上的[May97,LC97],但最近的作品表明,在复杂性假设[BCQ23,BEM + 23,BRA23]下,计算安全性的可能是可能的,显然比较温和的是较温和的。 LMW23]。这条工作表明,实现计算安全的量子密码学可能不容易受到适用于经典加密术的相同障碍的影响。的确,所有先前的量子计算密码
本文结构如下。我们的主要技术结果是定理 2.18,它表明与推论 1.5 中的格 L 类似的格 L 具有高概率的短向量基。使用简单的数几何(参见第 2.5 节),我们将这个问题简化为估计半径不断增长的球中的格点数。不幸的是,我们无法直接获得合适的 L 格点数。我们通过从论证一开始就考虑不同的格 LM 来解决这个问题(使用第 2.2 节中的引理)。在第 2.3 节中,我们根据模 N 的狄利克雷特征展开 LM 的格点数。这会产生一个可以精确估计的主项和一个误差项。证明的核心在于使用模 N 的狄利克雷特征的零密度估计来无条件地限制这个误差项。最后,我们在第 3 节中证明了我们的量子算法应用(定理 1.1 和 1.2)。
Liangyu Chen 1 ∗ , Simon Pettersson Fors 1 , Zixian Yan 1 , Anaida Ali 1 , Tahereh Abad 1 , Amr Osman 1 , 2 Eleftherios Moschandreou 1 , Benjamin Lienhard 2 , 3 , Sandoko Kosen 1 , Hang-Xi Li 1 , Daryoush Shiri 1 , Tong 3 Liu 1 , Stefan Hill 1 , Abdullah-Al Amin 1 , Robert Rehammar 1 , Mamta Dahiya 1 , Andreas Nylander 1 , 4 Marcus Rommel 1 , Anita Fadavi Roudsari 1 , Marco Caputo 4 , Leif Grönberg 4 , Joonas Govenius 4 , Miroslav 5 Dobsicek 1 , Michele Faucci Giannelli 1 , Anton Frisk Kockum 1、Jonas Bylander 1、Giovanna Tancredi 1、∗ 6 1 微技术与纳米科学系,7 查尔姆斯理工大学,41296 哥德堡,瑞典。8 2 普林斯顿大学化学系,普林斯顿,新泽西州 08544,美国 9 3 普林斯顿大学电气与计算机工程系,10 普林斯顿大学,普林斯顿,新泽西州 08544,美国 11 4 芬兰 VTT 技术研究中心,FI-02044 VTT,芬兰 12(日期:2024 年 9 月 24 日)13
相场方法的思想可以追溯到 [22] 和 [30] 的开创性工作。从那时起,它已成功应用于许多科学和工程领域。相场法使用辅助变量 ϕ(相场函数)来局部化相并用一层厚度较小的层来描述界面。相场函数在两个相中分别取两个不同的值(例如 +1 和 −1),并在整个界面上平滑变化。在相场模型中,界面被视为过渡层,在该过渡层上某些物理量会连续但急剧地发生变化。相场模型可以从变分原理自然推导出来,即通过最小化整个系统的自由能。因此,推导出的系统满足能量耗散定律,这证明了其热力学一致性并可得到一个数学上适定的模型。此外,能量定律的存在为设计能量稳定的数值方案提供了指导。相场法现在已成为研究界面现象的主要建模和计算工具之一(参见[8–13,20,25,26]及其参考文献)。
1 量子工程技术实验室,布里斯托大学 HH Wills 物理实验室和电气电子工程系,Merchant Venturers 大楼,Woodland Road,布里斯托 BS8 1UB,英国 2 光子学与量子科学研究所,赫瑞瓦特大学,英国 3 ICFO-Institut de Ciencies Fotoniques,巴塞罗那科学技术学院,08860 Castelldefels(巴塞罗那),西班牙 4 光子学和量子光学研究中心,先进材料和传感设备卓越中心,Rud − er Boˇskovi´c 研究所,萨格勒布,克罗地亚 5 维也纳量子光学与量子信息研究所(IQOQI)和维也纳量子科学与技术中心(VCQ),奥地利维也纳 6 国防科技大学高级跨学科研究学院,长沙,410073,中华人民共和国 7 斯洛伐克科学院物理研究所量子信息研究中心科学院,D ' ubravsk'a Cesta 9,84511 Bratislava,斯洛伐克 ∗ 通信和材料请求应发送至 Siddarth Koduru Joshi。 ∗∗ 任何通信应发送给作者。 8 现在位于:Universit ' e Cˆote d'Azur,CNRS,尼斯物理研究所(INPHYNI),UMR 7010,Parc Valrose,06108 Nice Cedex 2,法国 电子邮件:SK.Joshi@Bristol.ac.uk
位于不同地点的 M 个互不信任的参与方通过某个商定的协议 R 掷一个 N 面骰子,如果第 k 方诚实遵循 R 而其他方任意偏离 R,则结果 o 的概率为 P(o),满足 | P(o)−Po|≤δ,其中,对于所有 o∈ZN={0,1,...,N−1},对于所有 k∈[M]={1,2,...,M},对于商定的整数 M、N≥2 以及商定的概率分布 P={Po}N−1o=0。这项任务称为 M 方偏向的 N 面掷骰子,或简称为掷骰子,是最通用的随机安全多方计算类型,其中所有参与方都会收到计算的输出,并且没有任何一方提供秘密输入 [1]。无偏掷骰子对应于 P o = 1 / N 的情况,对于所有 o ∈ ZN 。掷骰子协议 R
29] 及其中的参考文献)。在演化过程中,薄膜/蒸汽界面可能会发生复杂的拓扑变化,如夹断、分裂和增厚,这些变化都给该界面演化的模拟带来了很大困难。[1] 提出了一种相场模型,该模型可以自然地捕捉形态演化过程中发生的拓扑变化,并且可以轻松扩展到高维空间,其中采用了稳定化方案的谱方法。相场方法的思想可以追溯到 [22] 和 [30] 的开创性工作。从那时起,它已成功应用于许多科学和工程领域。相场法使用辅助变量 φ(相场函数)来局部化相并用一层小厚度来描述界面。相场函数在两个相中分别取两个不同的值(例如 +1 和 −1),并在整个界面上平滑变化。在相场模型中,界面被视为过渡层,界面上某些物理量会连续但急剧地发生变化。相场模型可以从变分原理自然推导出来,即通过最小化整个系统的自由能。结果,导出的系统满足能量耗散定律,证明了其热力学一致性,并得到了一个数学上适定的模型。此外,能量定律的存在为设计能量稳定的数值方案提供了指导。相场方法现在已成为研究界面现象的主要建模和计算工具之一(参见[8–13,20,25,26]及其参考文献)。从数值角度来看,对于相场模型,数值近似中的一个主要挑战是如何设计无条件的能量稳定方案,使半离散和全离散形式下的能量都保持耗散。能量耗散定律的保持尤为重要,对于排除非物理数值解至关重要。事实上,已经观察到不遵守能量耗散定律的数值格式可能导致较大的数值误差,特别是对于长时间模拟,因此特别需要设计在离散级别保持能量耗散定律的数值格式。开发用于近似相场模型的数值格式的另一个重点是构建高阶时间推进格式。在一定精度的要求下,当我们想要使用更大的时间推进步骤来实现长时间模拟时,高阶时间推进格式通常比低阶时间推进格式更可取。这一事实促使我们开发更精确的格式。此外,不言而喻,线性数值格式比非线性数值格式更有效,因为非线性格式的求解成本很高。在本文中,我们研究了基于 SAV 方法的线性一阶和二阶时间精确、唯一可解且无条件能量稳定的数值格式,用于解决固态脱湿问题相场模型,该 SAV 方法适用于一大类梯度流 [15, 16]。引入辅助变量的梯度流格式首次在 [23,24] 中提出,称为不变能量二次化 (IEQ) 方法,其中辅助变量是一个函数。SAV 方法的基本思想是将梯度流的总自由能 E (φ) 分为两部分,写为