另一种已应用于电力系统的模块化状态空间建模方法是组件连接法 (CCM) [23],其中系统被分解为多个组件,这些组件的互连基于其输入和输出的代数关系建模为线性代数矩阵。因此,可以通过将线性代数矩阵与组件的各个状态空间模型相结合来获得系统状态空间模型 [24]。与 [22] 中报道的方法相比,该方法具有更好的模块化和可扩展性,并且显著减少了可以明确定义设备互连的电力网络的计算工作量。然而,CCM 仍然不易用于建模 VSC 的控制回路,因为外部控制回路的线性化引入了额外的子状态空间模型和互连,这些子状态空间模型和互连与物理子状态空间模型和互连相比是隐式的。因此,仍然缺少一种可以表征控制回路影响的模块化状态空间建模方法。
时间相关哈密顿量下的幺正演化是量子硬件模拟的关键组成部分。相应的量子电路的合成通常通过将演化分解为小的时间步骤来完成,这也称为 Trotter 化,这会导致电路的深度随步骤数而变化。当电路元件限制为 SU (4) 的子集时 — — 或者等效地,当哈密顿量可以映射到自由费米子模型上时 — — 存在几个可以组合和简化电路的恒等式。基于此,我们提出了一种算法,该算法使用相邻电路元件之间的代数关系将 Trotter 步骤压缩为单个量子门块。这会导致某些类哈密顿量的固定深度时间演化。我们明确展示了该算法如何适用于几种自旋模型,并展示了其在横向场 Ising 模型的绝热态制备中的应用。
摘要。非交互式零知识证明(NIZK)是阈值加密系统中的必不可少的构件,例如多党签名,分布式关键产生和可验证的秘密共享,允许当事方在不揭示秘密的情况下证明正确的行为。此外,普遍合并(UC)Nizks在较大的密码系统中启用无缝组成。构建Nizks的一种流行方式是使用Fiat-Shamir变换来编译交互式协议。不幸的是,菲亚特 - 沙米尔(Fiat-Shamir)转换的nizk需要倒带对手,并且不可直线提取,这与UC相反。使用Fischlin的转换具有直线提取性,但以基本协议的许多重复为代价,导致具体效率差且难以设定参数。在这项工作中,我们提出了一个简单的新变换,该转换将代数关系的Sigma协议编译为UC-NIZK协议,而没有任何重复的开销。
在假设可能信道之间的代数关系的先验知识的前提下,分析了确定性地区分多个量子信道的问题。通过明确构建一类新型量子算法,结果表明,当可能信道集如实地表示 SU(2) 的一个有限子群(例如 C n 、D 2 n 、A 4 、S 4 、A 5 )时,可以修改最近开发的量子信号处理技术以构成量子假设检验的子程序。这些用于群量子假设检验的算法直观地对 SU(2) 中信道集的离散属性进行编码,并且与简单重复二元假设检验相比,查询复杂度至少提高了二次,即 n(信道集和组的大小)。有趣的是,性能完全由显式群同态定义;而这些又为嵌入酉矩阵的多项式提供了简单的约束。这些构造展示了一种灵活的技术,用于将量子推理中的问题映射到函数逼近和离散代数的众所周知的子领域。讨论了对更大群体和噪声设置的扩展,以及改进的针对结构化通道集的量子假设检验协议在参考帧传输、量子密码学安全性证明和属性测试算法中的应用途径。
在假设可能信道之间的代数关系的先验知识的前提下,分析了确定性地区分多个量子信道的问题。通过明确构建一类新型量子算法,结果表明,当可能信道集如实地表示 SU(2) 的一个有限子群(例如 C n 、D 2 n 、A 4 、S 4 、A 5 )时,可以修改最近开发的量子信号处理技术以构成量子假设检验的子程序。这些用于群量子假设检验的算法直观地对 SU(2) 中信道集的离散属性进行编码,并且与简单重复二元假设检验相比,查询复杂度至少提高了二次,即 n(信道集和组的大小)。有趣的是,性能完全由显式群同态定义;而这些又为嵌入酉矩阵的多项式提供了简单的约束。这些构造展示了一种灵活的技术,用于将量子推理中的问题映射到函数逼近和离散代数的众所周知的子领域。讨论了对更大群体和噪声设置的扩展,以及改进的针对结构化通道集的量子假设检验协议在参考帧传输、量子密码学安全性证明和属性测试算法中的应用途径。