【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

相关文章

SpringBoot实现MD5加盐算法的示例代码

《SpringBoot实现MD5加盐算法的示例代码》加盐算法是一种用于增强密码安全性的技术,本文主要介绍了SpringBoot实现MD5加盐算法的示例代码,文中通过示例代码介绍的非常详细,对大家的学习... 目录一、什么是加盐算法二、如何实现加盐算法2.1 加盐算法代码实现2.2 注册页面中进行密码加盐2.

SpringBoot启动报错的11个高频问题排查与解决终极指南

《SpringBoot启动报错的11个高频问题排查与解决终极指南》这篇文章主要为大家详细介绍了SpringBoot启动报错的11个高频问题的排查与解决,文中的示例代码讲解详细,感兴趣的小伙伴可以了解一... 目录1. 依赖冲突:NoSuchMethodError 的终极解法2. Bean注入失败:No qu

MySQL新增字段后Java实体未更新的潜在问题与解决方案

《MySQL新增字段后Java实体未更新的潜在问题与解决方案》在Java+MySQL的开发中,我们通常使用ORM框架来映射数据库表与Java对象,但有时候,数据库表结构变更(如新增字段)后,开发人员可... 目录引言1. 问题背景:数据库与 Java 实体不同步1.1 常见场景1.2 示例代码2. 不同操作

Java时间轮调度算法的代码实现

《Java时间轮调度算法的代码实现》时间轮是一种高效的定时调度算法,主要用于管理延时任务或周期性任务,它通过一个环形数组(时间轮)和指针来实现,将大量定时任务分摊到固定的时间槽中,极大地降低了时间复杂... 目录1、简述2、时间轮的原理3. 时间轮的实现步骤3.1 定义时间槽3.2 定义时间轮3.3 使用时

如何解决mysql出现Incorrect string value for column ‘表项‘ at row 1错误问题

《如何解决mysql出现Incorrectstringvalueforcolumn‘表项‘atrow1错误问题》:本文主要介绍如何解决mysql出现Incorrectstringv... 目录mysql出现Incorrect string value for column ‘表项‘ at row 1错误报错

如何解决Spring MVC中响应乱码问题

《如何解决SpringMVC中响应乱码问题》:本文主要介绍如何解决SpringMVC中响应乱码问题,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录Spring MVC最新响应中乱码解决方式以前的解决办法这是比较通用的一种方法总结Spring MVC最新响应中乱码解

pip无法安装osgeo失败的问题解决

《pip无法安装osgeo失败的问题解决》本文主要介绍了pip无法安装osgeo失败的问题解决,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一... 进入官方提供的扩展包下载网站寻找版本适配的whl文件注意:要选择cp(python版本)和你py

解决Java中基于GeoTools的Shapefile读取乱码的问题

《解决Java中基于GeoTools的Shapefile读取乱码的问题》本文主要讨论了在使用Java编程语言进行地理信息数据解析时遇到的Shapefile属性信息乱码问题,以及根据不同的编码设置进行属... 目录前言1、Shapefile属性字段编码的情况:一、Shp文件常见的字符集编码1、System编码

Spring MVC使用视图解析的问题解读

《SpringMVC使用视图解析的问题解读》:本文主要介绍SpringMVC使用视图解析的问题解读,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录Spring MVC使用视图解析1. 会使用视图解析的情况2. 不会使用视图解析的情况总结Spring MVC使用视图

Redis解决缓存击穿问题的两种方法

《Redis解决缓存击穿问题的两种方法》缓存击穿问题也叫热点Key问题,就是⼀个被高并发访问并且缓存重建业务较复杂的key突然失效了,无数的请求访问会在瞬间给数据库带来巨大的冲击,本文给大家介绍了Re... 目录引言解决办法互斥锁(强一致,性能差)逻辑过期(高可用,性能优)设计逻辑过期时间引言缓存击穿:给