【Applied Algebra】隐藏子群问题和Shor算法的新视角

2024-04-20 15:44

本文主要是介绍【Applied Algebra】隐藏子群问题和Shor算法的新视角,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

隐藏子群问题和Shor算法的新视角

在这里插入图片描述

隐藏子群问题是指给定一个群和一个函数,该函数对于群的一个子群是常数,并且对于子群的任何两个不同的左陪集有不同的值,问题是找到这个子群.HSP是许多量子算法的基础,其中最著名的是Shor的算法,它可以用来分解大整数和计算离散对数,这直接威胁到RSA和ECC等基于这些数学问题难度的公钥加密系统的安全性.


隐藏子群问题

隐藏子群问题(Hidden Subgroup Problem, HSP) 是量子计算中一个非常重要的问题,它在理论计算机科学和量子算法的设计中扮演着核心角色.在密码学中,隐藏子群问题的解决方案构成了解决一些基础密码学问题的基石,尤其是与数论相关的那些问题.

隐藏子群问题的定义

隐藏子群问题涉及到以下的组件:

  • 一个有限群 G G G.
  • 一个保密的子群 H ⊂ G H \subset G HG.
  • 一个函数 f : G → X f:G \rightarrow X f:GX,它对于子群 H H H 的所有元素有相同的输出,并且对于 H H H 的不同左陪集有不同的输出.

问题的目标是确定子群 H H H 的生成元,仅仅通过观察函数 f f f 的行为.这个问题在量子计算中特别重要,因为量子算法能够利用量子叠加和纠缠来同时查询多个函数值,从而有效地揭示出隐藏的群结构.

  • 例(整数群的一个HSP):令 f f f是一个 Z N → 颜色 \mathbb{Z}_N \rightarrow \text{颜色} ZN颜色的一个函数,满足有 s ∈ Z N s \in \mathbb{Z}_N sZN,对于任意的 x ∈ Z N x \in \mathbb{Z}_N xZN,要么有 f ( x ) = f ( x + r ) f(x)=f(x+r) f(x)=f(x+r),要么 f f f的值不同(此时 Z s \mathbb{Z}_s Zs即为一个隐藏子群);

整数分解问题:在整数分解问题中,目标是找到一个大数 N N N 的素数相乘的分解.Shor的算法通过量子傅立叶变换解决了这一问题的一个隐藏子群版本.具体来说,给定一个随机选择的 a < N a < N a<N,算法寻找满足 a r ≡ 1 ( mod N ) a^r \equiv 1 (\text{mod} \, N) ar1(modN) 的最小正整数 r r r,即 a a a 的阶.这实际上涉及到寻找循环群 Z N × \mathbb{Z}_N^\times ZN× 的一个隐藏子群.

在这个问题中,我们可以构造一个周期函数 f ( x ) = a x m o d N f(x) = a^x \mod N f(x)=axmodN,其周期就是 a a a 的阶 r r r.隐藏子群 H H H 就是所有满足 f ( x ) = f ( x + r ) f(x) = f(x+r) f(x)=f(x+r) x x x 的集合.量子算法通过构建和测量这个周期函数的量子叠加状态来高效地找到周期 r r r,从而解决整数分解问题.

离散对数问题:在离散对数问题中,给定一个群 G G G,一个生成元 g g g 和一个元素 h ∈ G h \in G hG,需要找到一个整数 x x x,使得 g x = h g^x = h gx=h.Shor提出了一个量子算法来解决这个问题,这也可以视为一个关于寻找循环群的隐藏子群的问题.

对于阶为 q q q 的循环群 G G G 和子群 H H H,如果 H H H 是由 h h h 生成的,则所有 H H H 的元素都具有相同的离散对数相对于 g g g, 将每个元素 u ∈ G u \in G uG 映射到 ( u , g u m o d N ) (u, g^u \mod N) (u,gumodN);可以看出这里的隐藏子群就是所有具有相同 g g g 幂次的元素的集合,相当于 H H H G G G 中的核.而离散对数问题的量子算法利用了HSP框架,通过找到该核构成的子群,从而得出离散对数 x x x.

  • 例(一个HSP算例):假设 N = 21 N = 21 N=21,且 a = 2 a = 2 a=2,那么 a a a 相对于 N N N 的阶是 r = 6 r = 6 r=6,因为 2 6 ≡ 1 ( m o d 21 ) 2^6 \equiv 1 \pmod{21} 261(mod21).我们可以观察到 2 0 , 2 6 , 2 12 , … 2^0, 2^6, 2^{12}, \ldots 20,26,212, 都模 21 21 21 同余于 1 1 1,因此 6 ⋅ Z 6\cdot\mathbb{Z} 6Z构成了 Z \mathbb{Z} Z 中的一个隐藏子群(加法群的意义下).量子算法可以在 a x m o d 21 a^x \mod 21 axmod21 上操作,高效地找到这个隐藏子群的周期 6 6 6.

Shor’s算法的物理视角

关于Shor’s算法的教程已经汗牛充栋了,我们就不再费口舌再讲了;但是我们从感性的物理视角来看看它的本质;首先是傅里叶变换和逆变换的解读,其实就是波的分解和再叠加,比如潮汐力的因素有很多,傅里叶变换相当于找到这些基因素(逆变换相当于再揉在一起):

在这里插入图片描述
现在来解读"量子门"这个东西的本质,其实就是一种酉作用,指可逆,作用就相当于说是某种效应的"等效";总而言之,就是对某种状态的变换:
在这里插入图片描述
现在使用一个简单的循环来寻找HSP隐藏的周期.实际上,寻找这种函数的周期是Shor算法的基础,这其中使用量子傅立叶逆变换可以高效地完成周期的寻找,为什么?因为量子傅立叶逆变换就是"揉",揉出来一个综合的波形,最终的效果,其实就相当于是离散对数上的双缝干涉实验!!(这是Shor本人的解读)
在这里插入图片描述

这篇关于【Applied Algebra】隐藏子群问题和Shor算法的新视角的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/920664

相关文章

MyBatis模糊查询报错:ParserException: not supported.pos 问题解决

《MyBatis模糊查询报错:ParserException:notsupported.pos问题解决》本文主要介绍了MyBatis模糊查询报错:ParserException:notsuppo... 目录问题描述问题根源错误SQL解析逻辑深层原因分析三种解决方案方案一:使用CONCAT函数(推荐)方案二:

Redis 热 key 和大 key 问题小结

《Redis热key和大key问题小结》:本文主要介绍Redis热key和大key问题小结,本文给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考下吧... 目录一、什么是 Redis 热 key?热 key(Hot Key)定义: 热 key 常见表现:热 key 的风险:二、

IntelliJ IDEA 中配置 Spring MVC 环境的详细步骤及问题解决

《IntelliJIDEA中配置SpringMVC环境的详细步骤及问题解决》:本文主要介绍IntelliJIDEA中配置SpringMVC环境的详细步骤及问题解决,本文分步骤结合实例给大... 目录步骤 1:创建 Maven Web 项目步骤 2:添加 Spring MVC 依赖1、保存后执行2、将新的依赖

Spring 中的循环引用问题解决方法

《Spring中的循环引用问题解决方法》:本文主要介绍Spring中的循环引用问题解决方法,本文给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考下吧... 目录什么是循环引用?循环依赖三级缓存解决循环依赖二级缓存三级缓存本章来聊聊Spring 中的循环引用问题该如何解决。这里聊

Spring Boot中JSON数值溢出问题从报错到优雅解决办法

《SpringBoot中JSON数值溢出问题从报错到优雅解决办法》:本文主要介绍SpringBoot中JSON数值溢出问题从报错到优雅的解决办法,通过修改字段类型为Long、添加全局异常处理和... 目录一、问题背景:为什么我的接口突然报错了?二、为什么会发生这个错误?1. Java 数据类型的“容量”限制

关于MongoDB图片URL存储异常问题以及解决

《关于MongoDB图片URL存储异常问题以及解决》:本文主要介绍关于MongoDB图片URL存储异常问题以及解决方案,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐... 目录MongoDB图片URL存储异常问题项目场景问题描述原因分析解决方案预防措施js总结MongoDB图

SpringBoot项目中报错The field screenShot exceeds its maximum permitted size of 1048576 bytes.的问题及解决

《SpringBoot项目中报错ThefieldscreenShotexceedsitsmaximumpermittedsizeof1048576bytes.的问题及解决》这篇文章... 目录项目场景问题描述原因分析解决方案总结项目场景javascript提示:项目相关背景:项目场景:基于Spring

解决Maven项目idea找不到本地仓库jar包问题以及使用mvn install:install-file

《解决Maven项目idea找不到本地仓库jar包问题以及使用mvninstall:install-file》:本文主要介绍解决Maven项目idea找不到本地仓库jar包问题以及使用mvnin... 目录Maven项目idea找不到本地仓库jar包以及使用mvn install:install-file基

usb接口驱动异常问题常用解决方案

《usb接口驱动异常问题常用解决方案》当遇到USB接口驱动异常时,可以通过多种方法来解决,其中主要就包括重装USB控制器、禁用USB选择性暂停设置、更新或安装新的主板驱动等... usb接口驱动异常怎么办,USB接口驱动异常是常见问题,通常由驱动损坏、系统更新冲突、硬件故障或电源管理设置导致。以下是常用解决

Mysql如何解决死锁问题

《Mysql如何解决死锁问题》:本文主要介绍Mysql如何解决死锁问题,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录【一】mysql中锁分类和加锁情况【1】按锁的粒度分类全局锁表级锁行级锁【2】按锁的模式分类【二】加锁方式的影响因素【三】Mysql的死锁情况【1