type
status
date
summary
password
category
slug
icon
继续学习格密码,今天是身体加精神一起痛苦……
🐳格密码基础🕊️连续最小长度👻Minkowski凸集定理(Convex body theorem)📑Blichfeldt引理👀凸集🫢Minkowski凸集定理定义🥹Minkowski凸集定理推论施密特正交化Gram-Schmidt Orthogonalization正交化 GSO定义❓如何理解施密特正交?二维空间三维空间N维空间例子📎 参考文章
🐳格密码基础
🕊️连续最小长度
![notion image](https://www.notion.so/image/https%3A%2F%2Fs3-us-west-2.amazonaws.com%2Fsecure.notion-static.com%2Fdb42996a-3405-4d1d-9460-6105c39f823b%2FUntitled.png?table=block&id=a859c241-5098-47e6-97a0-eff71231956a)
👻Minkowski凸集定理(Convex body theorem)
📑Blichfeldt引理
Blichfeld's Theorem:
![notion image](https://www.notion.so/image/https%3A%2F%2Fs3-us-west-2.amazonaws.com%2Fsecure.notion-static.com%2F997b9bcf-5cf1-443f-99ff-555239c6c68a%2FUntitled.png?table=block&id=e8e4c0f6-662b-4270-8aa4-a2ba56f9b3ef)
选取一个集合,只要所取集合的体积大于行列式,这里面一定有两个点,它们的差值是一个格点。注意,集合体积不能等于行列式,因为基本区域中有且只有一个格点(回忆基本区域的定义)
👀凸集
![notion image](https://www.notion.so/image/https%3A%2F%2Fs3-us-west-2.amazonaws.com%2Fsecure.notion-static.com%2F850cb4cc-7470-4dc9-b2d6-8e310f05acc0%2FUntitled.png?table=block&id=3d82f968-8058-459a-bb9f-731fb0cf32eb)
一个凸集是指其中的任意两点之间的线段都在该集合内部。简而言之,凸集是一个集合,其中任意两点之间的连线都在该集合内。
🫢Minkowski凸集定理定义
![notion image](https://www.notion.so/image/https%3A%2F%2Fs3-us-west-2.amazonaws.com%2Fsecure.notion-static.com%2Fdb073ff5-b640-4084-b5ea-0d6b57ef77a5%2FUntitled.png?table=block&id=512013a1-14c9-417a-910b-8d582448dfcf)
在中选取一个关于原点对称的凸集,如果它的体积大于格的基本区域的体积乘与,那么S中一定包含一个非零的格点。
在整数格中非常好理解,因为以原点出发到所有下一个点这段距离构成的空间,恰好就是,所以说任何凸集(集合的表面不能有凹陷)只要体积大于,那就一定会溢出这段空间,进而覆盖某个非0的格点。
换成一个不规则的Lattice,即在原有的上叠加线性变换,这个定理还是成立的。
🤔理解如下:
![notion image](https://www.notion.so/image/https%3A%2F%2Fs3-us-west-2.amazonaws.com%2Fsecure.notion-static.com%2F74518914-f91f-4987-b293-f8175b6f95c3%2FUntitled.png?table=block&id=d34cc26b-8b8b-4021-b1ce-817215849570)
定理的应用
![notion image](https://www.notion.so/image/https%3A%2F%2Fs3-us-west-2.amazonaws.com%2Fsecure.notion-static.com%2Fd958c537-3808-46fb-aaf5-73c5d1366f73%2FUntitled.png?table=block&id=f4fe10bf-b0a9-48c0-80eb-a8d3b079c9a1)
🥹Minkowski凸集定理推论
![notion image](https://www.notion.so/image/https%3A%2F%2Fs3-us-west-2.amazonaws.com%2Fsecure.notion-static.com%2F6fae8213-2ada-49b1-8e09-f00b08438687%2FUntitled.png?table=block&id=1dc030d7-4cdf-4466-901e-a2724a242d39)
![notion image](https://www.notion.so/image/https%3A%2F%2Fs3-us-west-2.amazonaws.com%2Fsecure.notion-static.com%2F6af448a7-8bfd-4f6f-84d6-fcf4dc2a88d7%2FUntitled.png?table=block&id=328ad5cb-91b4-4f36-93e4-1e529ba65347)
![notion image](https://www.notion.so/image/https%3A%2F%2Fs3-us-west-2.amazonaws.com%2Fsecure.notion-static.com%2Fc2778526-1a58-4e91-9a0a-96836394e355%2FUntitled.png?table=block&id=ef18cb72-846a-4cce-9501-7e7af021817d)
简单来说,L的最短向量,最长不会超过
如果说Minkowski第一定理给出了对于最短向量的一个上限的话,第二定理给出了对于其他最短向量的一个取值上限。
施密特正交化Gram-Schmidt Orthogonalization正交化 GSO
定义
![notion image](https://www.notion.so/image/https%3A%2F%2Fs3-us-west-2.amazonaws.com%2Fsecure.notion-static.com%2Fea478e6e-45ff-4e85-a147-d8cc73bd19bf%2FUntitled.png?table=block&id=95eb13cd-da8c-4a56-82a9-5c3b0c40089f)
在一个平面,或者三维空间中,任意一点都可以被坐标系表示出来。而我们更喜欢的是单位直角坐标系,因为在一个单位直角坐标系中,任意一个向量的坐标分量,通过简单的投影就可以搞定。因此,如何找到欧式空间的一个“直角坐标系”,变得非常重要。施密特正交化法就告诉我们了一种把“任意坐标系”变为“直角坐标系”的方法。
❓如何理解施密特正交?
首先需要理解一个向量2在另外一个向量1的投影公式。只要利用正交的定义,就很容易知道2在1的投影向量
![notion image](https://www.notion.so/image/https%3A%2F%2Fs3-us-west-2.amazonaws.com%2Fsecure.notion-static.com%2Fda65b587-6210-4090-b2ac-23f4549f2dc9%2FUntitled.png?table=block&id=8a92185d-5ad4-4631-8a31-70fcbef02bcc)
二维空间
平面上任意两个不共线的向量都可以构成平面的一个坐标系(也就是一组基),我们可以利用这两个向量之间的投影得到两个正交的向量
![notion image](https://www.notion.so/image/https%3A%2F%2Fs3-us-west-2.amazonaws.com%2Fsecure.notion-static.com%2F4febf29a-b3b8-4149-be06-540f6182317b%2FUntitled.png?table=block&id=f60c3f74-42b1-4f5d-bde0-808c0feec5fa)
![notion image](https://www.notion.so/image/https%3A%2F%2Fs3-us-west-2.amazonaws.com%2Fsecure.notion-static.com%2Fc0471615-12a0-4428-aa4d-eef5dcf1b42d%2FUntitled.png?table=block&id=78473c95-46a5-42f4-b2d2-172d09837f7b)
三维空间
![notion image](https://www.notion.so/image/https%3A%2F%2Fs3-us-west-2.amazonaws.com%2Fsecure.notion-static.com%2F5754cd74-1162-4032-907d-5374d75bbe30%2FUntitled.png?table=block&id=4650d21e-ef1c-45f6-b372-ab0a9e1120da)
![notion image](https://www.notion.so/image/https%3A%2F%2Fs3-us-west-2.amazonaws.com%2Fsecure.notion-static.com%2F22538f35-1366-4d0c-90a6-d304801ad353%2FUntitled.png?table=block&id=c2110536-436a-4732-bb3f-cead4007b94b)
![notion image](https://www.notion.so/image/https%3A%2F%2Fs3-us-west-2.amazonaws.com%2Fsecure.notion-static.com%2F1d47f73c-d732-4e14-9a97-cb12fb955928%2FUntitled.png?table=block&id=ce605f5d-88b2-405f-a576-f22762191cdb)
N维空间
![notion image](https://www.notion.so/image/https%3A%2F%2Fs3-us-west-2.amazonaws.com%2Fsecure.notion-static.com%2F2900d0f7-9a81-4681-b511-e55671c9004e%2FUntitled.png?table=block&id=59244e40-5943-499e-8663-58ab4af65c02)
要得到一个单位直角坐标系,或者单位正交基,还需要对得到的正交向量逐个单位化即可。
例子
假设我们拥有一个格的基B={b1,b2……bn},这两个基向量是不垂直的。接下来,我们尝试找到一组互相垂直的基
![notion image](https://www.notion.so/image/https%3A%2F%2Fs3-us-west-2.amazonaws.com%2Fsecure.notion-static.com%2F7bf353df-b348-4907-b96f-d8cfd602f103%2FUntitled.png?table=block&id=b3c28e85-00b5-478a-945a-f4fe31e7b147)
![notion image](https://www.notion.so/image/https%3A%2F%2Fs3-us-west-2.amazonaws.com%2Fsecure.notion-static.com%2F4d4f42d8-ca32-4c6a-b85d-617cb10a827a%2FUntitled.png?table=block&id=70020389-62c3-45b3-8bfd-a3537ed1f4d4)
📎 参考文章
有关Notion安装或者使用上的问题,欢迎您在底部评论区留言,一起交流~