码迷,mamicode.com
首页 > 其他好文 > 详细

格的相关基本知识

时间:2020-10-07 20:26:05      阅读:31      评论:0      收藏:0      [点我收藏+]

标签:temp   概率   user   容错   中心   距离   个人   理解   loading   

格的相关知识

格的相关定义

1.格

技术图片是m维欧式空间 Rm上确定的一组线性无关的向量的整数线性组合。格 L的基 B=b1,b2,…bn∈Rm×n,其中的每个分量线性无关。

技术图片

同一个格可以由不同的格基表示。m 称为格的维数,n称为格的秩。满足 m = n 的格称为满秩的,通常我们只考虑满秩的格。

2.

对于格的任意一组基B,定义基本的平行六面体为:

技术图片

3.对偶格

技术图片的对偶格定义为与格技术图片上的向量具有整数内积技术图片的所有向量的集合,即

技术图片

一个格的对偶格也是一个格,并且如果格技术图片是由基B生成的格,则B*=(BT)-1是对偶格技术图片的一个基,其中矩阵BT是矩阵B的转置矩阵。根据对偶格的对称性,可知技术图片
一个格技术图片,它的一组基构成矩阵B,它的行列式技术图片定义为平行六面体Ρ(B)的体积,可通过下列等式求出:技术图片
一个格的行列式是一个不变量,与格的基的选取无关。

4.最短非零向量

令![img](file:///C:\Users\luyao\AppData\Local\Temp\ksohtml1616\wps14.png)为秩为n的格,格![img](file:///C:\Users\luyao\AppData\Local\Temp\ksohtml1616\wps15.png)的最短非零向量的长度表示为![img](file:///C:\Users\luyao\AppData\Local\Temp\ksohtml1616\wps16.png),![img](file:///C:\Users\luyao\AppData\Local\Temp\ksohtml1616\wps17.png)也称为一个格的最小距离,是任意两个不同格点的最小距离,等于最短非零格向量的长度:

![img](file:///C:\Users\luyao\AppData\Local\Temp\ksohtml1616\wps18.png)

5. q模格

给定随机矩阵![img](file:///C:\Users\luyao\AppData\Local\Temp\ksohtml1616\wps19.png),其规模为较大的整数n和m,q为大素数,q模格为

![img](file:///C:\Users\luyao\AppData\Local\Temp\ksohtml1616\wps20.png)

个人理解*:![img](file:///C:\Users\luyao\AppData\Local\Temp\ksohtml1616\wps21.png)中的向量x={x1,x2,x3,…,xm},x满足Ax得到的n维向量中的每一个数xi mod q=0。![img](file:///C:\Users\luyao\AppData\Local\Temp\ksohtml1616\wps22.png)是m维格。

![img](file:///C:\Users\luyao\AppData\Local\Temp\ksohtml1616\wps23.png)

![img](file:///C:\Users\luyao\AppData\Local\Temp\ksohtml1616\wps24.png)和![img](file:///C:\Users\luyao\AppData\Local\Temp\ksohtml1616\wps25.png)是m维格整数格,而且为对偶格。


高斯分布

定义1:对于任意向量c,x∈Rn和任意s>0,令![img](file:///C:\Users\luyao\AppData\Local\Temp\ksohtml1616\wps26.png),是以c为中心,参数为s>0的高斯密度函数。通常,当c=0,s=1时省略s和c。

因为![img](file:///C:\Users\luyao\AppData\Local\Temp\ksohtml1616\wps27.png),所有以c为中心,参数s>0的连续的高斯分布可以定义为其概率密度函数

(![img](file:///C:\Users\luyao\AppData\Local\Temp\ksohtml1616\wps28.png))![img](file:///C:\Users\luyao\AppData\Local\Temp\ksohtml1616\wps29.png)

从该分布中选择的向量与中心c的预期平方距离是![img](file:///C:\Users\luyao\AppData\Local\Temp\ksohtml1616\wps30.png),所以,![img](file:///C:\Users\luyao\AppData\Local\Temp\ksohtml1616\wps31.png)可以被看认为是中心在c,半径为![img](file:///C:\Users\luyao\AppData\Local\Temp\ksohtml1616\wps32.png)的球体。

定义2: 格![img](file:///C:\Users\luyao\AppData\Local\Temp\ksohtml1616\wps33.png)上的离散高斯概率分布![img](file:///C:\Users\luyao\AppData\Local\Temp\ksohtml1616\wps34.png)定义如下

![img](file:///C:\Users\luyao\AppData\Local\Temp\ksohtml1616\wps35.png)

格中的困难问题

密码学方案的安全性的一个重要条件是:底层的数学问题是困难的。格问题的经典困难问题有很多,如最短向量问题(SVP)、近似最短向量问题判定版本(GapSVP)、最近向量问题 (CVP)等等。

1996 年,Ajtai 给出了格中困难问题从最坏情况到平均情况的规约证明。密码学中的困难性需要的是在 "平均情况" 下的困难性。Ajtai 的工作使得基于格问题构造的密码方案具有了可证明安全的性质。新的格困难问题中,有几种重要的平均情况困难的问题:SIS、LWE、RLWE 及变种。

*最短向量问题(SVP)*:给定n维格基B。寻找![img](file:///C:\Users\luyao\AppData\Local\Temp\ksohtml1616\wps36.png)格中的非零向量v,使得![img](file:///C:\Users\luyao\AppData\Local\Temp\ksohtml1616\wps37.png),即向量v是格![img](file:///C:\Users\luyao\AppData\Local\Temp\ksohtml1616\wps38.png)中最短的向量。

*最近向量问题(CVP)*:给定n维格基B,目标向量t。寻找格![img](file:///C:\Users\luyao\AppData\Local\Temp\ksohtml1616\wps39.png)中的非零向量v,使得向量v与目标向量t的距离最小,把这个最小距离记为![img](file:///C:\Users\luyao\AppData\Local\Temp\ksohtml1616\wps40.png)。

*最短无关向量组问题(SIVP)*:给定n维格基B,有理数γ≥1。寻找格![img](file:///C:\Users\luyao\AppData\Local\Temp\ksohtml1616\wps41.png)中的n个线性无关的格向量S,使得![img](file:///C:\Users\luyao\AppData\Local\Temp\ksohtml1616\wps42.png),其中![img](file:///C:\Users\luyao\AppData\Local\Temp\ksohtml1616\wps43.png)是S中向量范数的最大值。

*小整数解问题(SIS)*:给定整数m、n和p,随机选取矩阵A∈Zqn×m和界定参数 β,求解非零整数向量 z∈Zm\0,使得 Az = 0 mod q ,且 ![img](file:///C:\Users\luyao\AppData\Local\Temp\ksohtml1616\wps44.png)。

*容错学习问题 ( LWE)*:给定均匀随机生成的矩阵 A∈Zqn×m ,s∈Zqn和s∈Zqm服从分布 ![img](file:///C:\Users\luyao\AppData\Local\Temp\ksohtml1616\wps45.png), ![img](file:///C:\Users\luyao\AppData\Local\Temp\ksohtml1616\wps46.png)。A搜索版本的 LWE 问题(Search LWE)为:给定多组 (Ai,bi),找到 s,一般在密钥交换中bi作为公钥,s作为私钥,ei是不公开的部分。。定版本的 LWE 问题(Decision LWE)为:将bi和均匀随机生成的向量区分开。

*环上容错学习问题 (RLWE)*:给定均匀随机生成的多项式 a∈Rq,s∈Rq和 e∈Rq 服从分布![img](file:///C:\Users\luyao\AppData\Local\Temp\ksohtml1616\wps47.png) ,![img](file:///C:\Users\luyao\AppData\Local\Temp\ksohtml1616\wps48.png)。搜索版本的 RLWE 问题 (Search RLWE) 为:给定多组 (ai,bi),找到s。判定版本的 RLWE 问题 (Decision RLWE) 为:将bi和均匀随机生成的向量区分开。

格的相关基本知识

标签:temp   概率   user   容错   中心   距离   个人   理解   loading   

原文地址:https://www.cnblogs.com/2499mly/p/13774318.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!