伪随机性是复杂性理论和密码学中的关键概念,捕获了似乎随机与计算结合的对手的概念。最近的作品将计算伪随机性的理论扩展到了量子对象,特别关注类似于HAAR度量的量子状态和单一转换[JLS18,BS19,BFV20]。ji,liu和song [jls18]定义伪兰态(PRS)合奏,为量子状态的一个钥匙家族{| ϕ k⟩}k∈{0,1}κ,从集合中的状态可以在κ中产生。从多项式的许多副本中,ϕ k⟩。他们还定义了一个伪和统一转换(PRU)的集合,就像一组有效实现的单一转换,这些变换在计算上与HAAR量度无法区分。这些定义可以分别视为伪元发生器(PRGS)和伪andom函数(PRFS)的量子类似物。然后,作者提出了假设存在量子安全单向功能的PRSS的结构,并且还为他们猜想的PRU提供了候选PRUS的结构。已知伪随机状态和统一的几种应用。PRS和PRS在量子算法中很有用:在需要与HAAR度量近似的计算应用中,PRS和PRU可能比T -deSigns更有效,这些设计与HAAR度量相似的信息理论近似与T -Chise Indepen -dent -dent的功能相似。1此外,可以使用PRS和PRU(包括量子货币计划,量子承诺,安全的多方交流,一次性的数字签名,某些形式的对称对称性键加密等[JLS18,AQY22,AQY22,MY22B,BCQ23,My223,My23,My233)来实例化多种加密原始。最后,Bouland,Fe Q e Qulan和Vazirani [BFV20]在ADS/CFT对应关系中与所谓的“蠕虫孔生长悖论”之间建立了基本联系。
只要绝热演化的运行时间是绝热路径上任何哈密顿量的最小谱隙的倒数的多项式大,量子绝热定理就能保证计算与所需基态高度重叠 [3]。该模型得到了深入研究,不仅因为它本身很有趣,还因为它是量子退火的零温度极限。一般来说,已知绝热量子计算等同于基于标准电路的量子计算 [1]。然而,一个非常有趣的问题是,当所有哈密顿量都是“stoquatic”的,即限制为没有符号问题时,绝热量子计算的威力有多大。这意味着在某个基础上,𝐻的所有非对角线项都非正。没有符号问题的绝热量子计算包括最自然的情况,其中最终的哈密顿量是对角的,表示要优化的目标函数,初始哈密顿量由作用于每个量子位的泡利𝑋算子组成,基态是所有𝑛位串的均匀叠加。这个问题也是通过理解 D-Wave 公司实现的量子退火器的计算极限而产生的,其中所有的哈密顿量都是 stoquatic 的。Bravyi 和 Terhal [ 8 ] 证明,对于没有符号问题的无挫折哈密顿量,计算基态是经典可处理的,从而提出了一个问题,即对于没有符号问题的一般哈密顿量来说这是否也是如此。事实上,一个更有力的猜想是,量子蒙特卡罗(一种广泛用于计算凝聚态物理学的启发式方法)已经提供了一种有效的经典模拟技术。后一种可能性被 Hastings 和 Freedman [20] 的结果排除,他们证明了在此类问题上量子蒙特卡罗收敛存在拓扑障碍。对于没有符号问题的一般哈密顿量,经典可处理性问题一直悬而未决,直到 Hastings [19] 的最新突破性进展解决了这个问题,他证明了经典算法和绝热量子计算之间的拟多项式 Oracle 分离,没有符号问题。随后,Gilyén 和 Vazirani [18] 扩展并简化了 Hastings 的结果。他们证明了存在形式为 2 𝑛 𝛿 的(亚)指数 Oracle 分离
a. 通知。................................................................................................................................ 42 b. 额外通知要求.................................................................................................................... 43 c. 回复。.............................................................................................................................. 43 d. 豁免。............................................................................................................................. 44 e. 听证程序。...................................................................................................................... 44 f. 分离权限....................................................................................................................... 48 5.4. 关于受民事当局监禁的士兵的额外规定............................................................................. 49 5.5. 对某些预备役士兵的额外要求............................................................................................................. 50 a. 非现役预备役士兵............................................................................................................ 50 b. 转入 IRR。................................................................................................................ 51 c. 通知行政委员会。................................................................................................ 51 d. 服务到期。................................................................................................................ 51 e. 通知成员。 ........................................................................................................... 51 5.6. 因未经授权缺勤而不受军事控制的士兵的额外要求。 ...................................................................................................... 52 a. 适用性的确定。 ...................................................................................................................... 52 b. 通知。 ...................................................................................................................................... 52 c. 预备役士兵的分离限制。 ...................................................................................................... 52 5.7. 行政分离处理时间表的额外要求。 ............................................................................................. 53 5.8. 告知士兵分离政策的额外要求。 ............................................................................................. 53 5.9. 分离前健康评估的额外要求。 ............................................................................................. 54 5.10. 因连续未经授权缺勤 180 天或更长时间而导致在非光荣条件下退役所需的额外咨询。 55 5.11.5.12. 对无限制举报性侵犯行为的士兵进行非自愿行政解散的附加要求................................................................................................................. 55 5.13. 对因某些性侵犯被定罪的士兵进行行政解散的附加要求................................................................................................................. 55 5.13. 对获得非光荣服役描述的成员的附加要求....................................................................................................................................... 56 第 6 部分:提前释放士兵以便入读大学、职业或技术学校的程序......................................................................................................... 57
柯尔莫哥洛夫-所罗门诺夫-柴廷(Kolmogorov,简称 Kolmogorov)复杂度由 Solomonoff [ 1 ] 和 Kolmogorov [ 2 ] 独立提出,后来柴廷 [ 3 ] 也提出了这一复杂度。该复杂度基于可以模拟任何其他图灵机的通用图灵机的发现 [ 4 , 5 ]。单个有限字符串的柯尔莫哥洛夫复杂度是能够正确生成该字符串作为输出的通用图灵机的最短程序的长度,也是对字符串所含信息量的度量。已经证明,虽然存在多种图灵机,但最短程序的长度是不变的,在底层图灵机的选择下,其差异最多为一个加法常数 [ 6 ]。柯尔莫哥洛夫复杂度理论广泛应用于问答系统 [ 7 ]、组合学 [ 8 ]、学习理论 [ 9 ]、生物信息学 [ 10 ] 和密码学 [ 11 , 12 ] 等领域。1985 年,Deutsch [ 13 ] 引入量子图灵机作为量子计算机的理论模型。量子图灵机扩展了经典图灵机模型,因为它们允许在其计算路径上发生量子干涉。Bernstein 和 Vazirani [ 14 ] 表明量子图灵机在近似意义上具有通用性。最近,一些研究者提出了一些柯尔莫哥洛夫复杂度的量子版本。Vitányi [ 15 ] 提出了量子柯尔莫哥洛夫复杂度的定义,它度量近似量子态所需的经典信息量。Berthiaume 等人 [ 16 ] 提出了一种基于柯尔莫哥洛夫复杂度的量子柯尔莫哥洛夫复杂度定义。 [16] 提出了一种新的量子比特串量子柯尔莫哥洛夫复杂度定义,即通用量子计算机输出所需字符串的最短量子输入的长度。Zadeh [17] 提出了模糊计算的第一个公式,他基于图灵机和马尔可夫算法的模糊化,定义了模糊算法的概念。随后,Lee 和 Zadeh [18] 定义了模糊语言的概念。Santos [19] 证明了模糊算法和模糊图灵机之间的等价性。接下来,Wiedermann [20] 考虑了模糊计算的可计算性和复杂性。利用 Wiedermann 的工作,Bedregal 和 Figueira [21] 证明了不存在可以模拟所有模糊图灵机的通用模糊图灵机。随后,李[22,23]研究了模糊图灵机的一些变体。他证明了
众所周知,对于几乎所有现代经典和量子加密任务来说,计算假设都是必需的。对经典隐身性的最小假设是单向函数(OWF)的存在。该假设已知与许多其他加密应用的存在相当,例如伪数编号生成,伪界函数,数字签名,对称键加密和承诺(请参阅,例如,参见[GOL01,GOL04])。量子设置呈现出截然不同的图片:已知各种量子原始图,足以构建密码学,但可能比单向功能弱。最近,Tomoyuki Morimae创造了Microcrypt一词,是Impagliazzo的五个世界[IMP95]的补充,是指此类量子原始素(及其加密应用)2。MicroCrypt的租户之一是伪兰态(PRS),首先由JI,Liu和Song [JLS18]引入。这是一个有效生成的量子状态{| ϕk⟩}k∈{0,1} n,因此很难在多个副本上区分(a)|的多个副本。 ϕ k⟩从家族中采样,(b)均匀(HAAR)随机量子状态。ji,liu和Song还提供了OWF的Black Box结构。许多加密应用是基于MicroCrypt假设而知道的。也许更令人惊讶的是,MicroCrypt还包含一些隐藏狂的任务,即安全的多方计算[MY22B,BCKM21,GLSV21]和Quantum Publicum public Keys [BGHD + 23]。Subsequent to [ JLS18 ], many other tenants of Microcrypt have been introduced, such as pseudorandom function-like states ( PRFS ) [ AGQY22 ], efficiently samplable statistically far-but-computationally-indistinguishable pairs of (mixed) quan- tum states ( EFI pairs) [ Yan22 , BCQ23 ], one-way state generators [ MY22b ]和伪兰态具有破坏证明[BBSS23]。到目前为止,所有主要微型晶体3的变体已被证明在微晶中,包括对称 - 关键加密,承诺(最近,也承诺对量子状态[GJMZ23]),PRGS,PRFS,PRFS,GALBLED CICUCTITS,GALBLED CICUCTITS,MESSAGE AUTHERTICATION代码和数字信号。引起惊喜的关键因素是不可思议的和鲁迪奇的单向功能(微型级)和公钥加密4和遗忘转移(Cryptomania)[IR89]之间的分离。新的结构规定了古典不可能,因为它们涉及量子状态,例如承诺和多方计算取决于量子通信,加密方案具有量子密文。这些量子原语的证据比微小的弱点弱来自Kretschmer的PRS和OWF S [KRE21]的量子甲骨文分离。分离的甲骨文由一个族{u n}n∈N组成,其中u n是指数列表的许多HAAR随机n -qubit nimaries {u k}k∈{0,1} n。相对于此甲骨文,有一个简单的prs结构:k∈{0,1} n,让| ϕ k⟩:= u k | 0 n⟩。请注意,如果我们只考虑UNINERIES U K在标准基础上的行动,即一组状态U K | x⟩对于x∈{0,1} n,因此,对于每个n,可以将kretschmer的甲骨文视为提供2 2 2 n“本质上是Haar随机”状态5。在另一项作品中,Bouland,Fefferman和Vazirani [BFV19]显示了6 a prs构造相对于一个家庭{u n}n∈N,其中u n =(u,u - - 1)对于HAAR Random