|
|
xi | |
Preface |
|
xiii | |
About the Author |
|
xvii | |
|
1 Introduction to Lattices |
|
|
1 | (20) |
|
|
1 | (4) |
|
|
5 | (8) |
|
|
13 | (2) |
|
|
15 | (1) |
|
|
15 | (6) |
|
2 Two-Dimensional Lattices |
|
|
21 | (20) |
|
2.1 The Euclidean algorithm |
|
|
21 | (4) |
|
2.2 Two-dimensional lattices |
|
|
25 | (6) |
|
2.3 Vallee's analysis of the Gaussian algorithm |
|
|
31 | (6) |
|
|
37 | (1) |
|
|
38 | (3) |
|
3 Gram-Schmidt Orthogonalization |
|
|
41 | (14) |
|
3.1 The Gram-Schmidt theorem |
|
|
41 | (6) |
|
3.2 Complexity of the Gram-Schmidt process |
|
|
47 | (2) |
|
3.3 Further results on the Gram-Schmidt process |
|
|
49 | (3) |
|
|
52 | (1) |
|
|
53 | (2) |
|
|
55 | (32) |
|
4.1 Reduced lattice bases |
|
|
55 | (7) |
|
4.2 The original LLL algorithm |
|
|
62 | (5) |
|
4.3 Analysis of the LLL algorithm |
|
|
67 | (11) |
|
4.4 The closest vector problem |
|
|
78 | (2) |
|
|
80 | (3) |
|
|
83 | (4) |
|
|
87 | (16) |
|
5.1 Modifying the exchange condition |
|
|
87 | (4) |
|
5.2 Examples of deep insertion |
|
|
91 | (3) |
|
|
94 | (4) |
|
|
98 | (1) |
|
|
99 | (4) |
|
6 Linearly Dependent Vectors |
|
|
103 | (12) |
|
6.1 Embedding dependent vectors |
|
|
103 | (3) |
|
6.2 The modified LLL algorithm |
|
|
106 | (5) |
|
|
111 | (1) |
|
|
112 | (3) |
|
|
115 | (16) |
|
7.1 The subset-sum problem |
|
|
115 | (2) |
|
7.2 Knapsack cryptosystems |
|
|
117 | (5) |
|
|
122 | (1) |
|
|
123 | (8) |
|
8 Coppersmith's Algorithm |
|
|
131 | (14) |
|
8.1 Introduction to the problem |
|
|
131 | (2) |
|
8.2 Construction of the matrix |
|
|
133 | (4) |
|
8.3 Determinant of the lattice |
|
|
137 | (3) |
|
8.4 Application of the LLL algorithm |
|
|
140 | (3) |
|
|
143 | (1) |
|
|
143 | (2) |
|
9 Diophantine Approximation |
|
|
145 | (10) |
|
9.1 Continued fraction expansions |
|
|
145 | (3) |
|
9.2 Simultaneous Diophantine approximation |
|
|
148 | (4) |
|
|
152 | (1) |
|
|
153 | (2) |
|
10 The Fincke-Pohst Algorithm |
|
|
155 | (24) |
|
10.1 The rational Cholesky decomposition |
|
|
155 | (3) |
|
10.2 Diagonalization of quadratic forms |
|
|
158 | (1) |
|
10.3 The original Fincke-Pohst algorithm |
|
|
159 | (9) |
|
10.4 The FP algorithm with LLL preprocessing |
|
|
168 | (7) |
|
|
175 | (1) |
|
|
175 | (4) |
|
|
179 | (18) |
|
|
179 | (3) |
|
11.2 Results from the geometry of numbers |
|
|
182 | (1) |
|
|
183 | (8) |
|
11.3.1 Procedure COMPUTEBASIS |
|
|
184 | (3) |
|
11.3.2 Procedure SHORTESTVECTOR |
|
|
187 | (2) |
|
11.3.3 Procedure REDUCEDBASIS |
|
|
189 | (2) |
|
11.4 Complexity of Kannan's algorithm |
|
|
191 | (2) |
|
11.5 Improvements to Kannan's algorithm |
|
|
193 | (1) |
|
|
194 | (1) |
|
|
195 | (2) |
|
|
197 | (12) |
|
12.1 Basic definitions and theorems |
|
|
197 | (5) |
|
12.2 A hierarchy of polynomial-time algorithms |
|
|
202 | (4) |
|
|
206 | (1) |
|
|
207 | (2) |
|
|
209 | (12) |
|
13.1 Combinatorial problems for lattices |
|
|
209 | (3) |
|
13.2 A brief introduction to NP-completeness |
|
|
212 | (1) |
|
13.3 NP-completeness of SVP in the max norm |
|
|
213 | (5) |
|
|
218 | (1) |
|
|
219 | (2) |
|
14 The Hermite Normal Form |
|
|
221 | (40) |
|
14.1 The row canonical form over a field |
|
|
222 | (3) |
|
14.2 The Hermite normal form over the integers |
|
|
225 | (4) |
|
14.3 The HNF with lattice basis reduction |
|
|
229 | (2) |
|
14.4 Systems of linear Diophantine equations |
|
|
231 | (3) |
|
14.5 Using linear algebra to compute the GCD |
|
|
234 | (5) |
|
14.6 The HMM algorithm for the GCD |
|
|
239 | (11) |
|
14.7 The HMM algorithm for the HNF |
|
|
250 | (7) |
|
|
257 | (1) |
|
|
258 | (3) |
|
15 Polynomial Factorization |
|
|
261 | (38) |
|
15.1 The Euclidean algorithm for polynomials |
|
|
262 | (2) |
|
15.2 Structure theory of finite fields |
|
|
264 | (3) |
|
15.3 Distinct-degree decomposition of a polynomial |
|
|
267 | (3) |
|
15.4 Equal---degree decomposition of a polynomial |
|
|
270 | (5) |
|
15.5 Hensel lifting of polynomial factorizations |
|
|
275 | (8) |
|
15.6 Polynomials with integer coefficients |
|
|
283 | (7) |
|
15.7 Polynomial factorization using LLL |
|
|
290 | (4) |
|
|
294 | (1) |
|
|
295 | (4) |
Bibliography |
|
299 | (12) |
Index |
|
311 | |