MATH 669: COMBINATORICS, GEOMETRY and COMPLEXITY of INTEGER POINTS Alexander Barvinok 1

MATH 669: COMBINATORICS, GEOMETRY and COMPLEXITY of INTEGER POINTS Alexander Barvinok 1

MATH 669: COMBINATORICS, GEOMETRY AND COMPLEXITY OF INTEGER POINTS Alexander Barvinok Abstract. These are rather condensed notes, not really proofread or edited, pre- senting key definitions and results of the course that I taught in Winter 2011 term. Problems marked by ◦ are easy and basic, problems marked by ∗ may be difficult. Typeset by AMS-TEX 1 Contents 1. Lattices: definition and examples 3 2. Lattice subspaces 4 3. A basis of a lattice 5 4. The determinant of a lattice 7 5. A sublattice of a lattice 9 6. Minkowski Theorem 11 7. The volume of a unit ball 13 8.Anapplication:Lagrange’sfoursquarestheorem 14 9. An application: rational approximations of real numbers 16 10. Sphere packings 19 11. The Leech lattice 21 12. The Minkowski - Hlawka Theorem 24 13.Thereciprocityrelationforthepackingradius 27 14. The Korkin-Zolotarev basis of a lattice 28 15. The covering radius of a lattice 30 16. An application: Kronecker’s Theorem 33 17.ThePoissonsummationformulaforlattices 34 18. The covering radius via the Poisson summation formula 36 19. The packing density via the Poisson summation formula 39 20.Approximatingaconvexbodybyanellipsoid 40 21. The Flatness Theorem 42 22. The successive minima of a convex body 43 23. An almost orthogonal basis of the lattice 47 24. Successive minima via the Poisson summation formula 49 25. The Lenstra - Lenstra - Lov´asz basis of a lattice 52 26. Some applications of the Lenstra - Lenstra - Lov´asz basis 56 27. ThealgebraofpolyhedraandtheEulercharacteristic 59 28. Linear transformations and polyhedra 62 29. Minkowski sum 64 30. The structure of polyhedra 65 31. Rational generating functions for integer points in polyhedra 69 32. Tangent cones 76 33.TheEhrhartpolynomialofanintegerpolytope 79 34. The reciprocity relation for cones 82 35.ThereciprocityrelationfortheEhrhartpolynomial 85 36. Polarity for cones 87 37.TheconstanttermoftheEhrhartpolynomial 90 38. Unimodular cones 92 2 1. Lattices: definition and examples We work in a finite-dimensional real vector space V endowed with an inner product x,y (hence V is Euclidean space) and the corresponding Euclidean norm x = x,x . (1.1) Definitions. A lattice Λ V is a discrete additive subgroup of V which spans V . That is, span(Λ) = V , x⊂ y Λ for all x,y Λ (additive subgroup) and − ∈ ∈ there is an ǫ > 0 such that Bǫ Λ = 0 , where Bǫ = x V : x ǫ is the ball of radius ǫ (discrete). The dimension∩ { of} the ambient{ space∈ V is called ≤ } the rank of lattice Λ and denoted rank Λ. Lattices Λ1 V1 and Λ2 V2 are isomorphic if there is an invertible linear transformation ⊂φ : V V such⊂ that φ(x) = x for all x V (so that φ is an 1 −→ 2 ∈ 1 isometry) and φ (Λ1) = Λ2. (1.2) Problem. Let Λ V be a lattice. Show that Λ K is a finite set for every bounded set K V . ⊂ ∩ ⊂ (1.3) Examples. (1.3.1) Lattice Zn. Let V = Rn with the standard inner product n x,y = x y where x =(x ,...,x ) and y =(y ,...,y ) . i i 1 n 1 n i=1 Let Zn Rn be the set consisting of the points with integer coordinates, ⊂ Zn = (x ,...,x ): x Z for i =1,...,n . 1 n i ∈ (1.3.2) Lattice A .Let us identify V with the hyperplane H Rn+1 defined by n ⊂ the equation x1 + ... + xn+1 = 0. We let A = Zn+1 H. n ∩ n (1.3.3) Lattice Dn. Let V = R and let D = (x ,...,x ) Zn : x + ... + x 0 mod2 . n 1 n ∈ 1 n ≡ + n (1.3.4) Lattice Dn . Suppose that n is even. Let Dn R be the lattice of Example 1.3.3 and let us define u Rn by ⊂ ∈ 1 1 u = ,..., . 2 2 n times We let + Dn = Dn (Dn + u) . ∪ + (1.3.5) Lattices E8,E7 and E6. We denote E8 = D8 , E7 = E8 H, where 8 ∩ H R is the hyperplane defined by the equation x1+...+x8 = 0, and E6 = E8 L, where⊂ L R8 is the subspace defined by the equations x + x = x + x + x∩ + ⊂ 1 8 2 3 4 x5 + x6 + x7 = 0. n + (1.4) Problem. Prove that Z , An, Dn, Dn , E8, E7 and E6 are indeed lattices. 3 2. Lattice subspaces (2.1) Definitions. Let Λ V be a lattice and let L V be a subspace. We say that L is a Λ-subspace or just⊂ a lattice subspace if L is⊂ spanned by points from Λ, or, equivalently, if Λ L is a lattice in L. ∩ For a set A V and a point x V , we define the distance ⊂ ∈ dist(x,A) = inf x y . y A − ∈ In what follows, we denote by α the largest integer not exceeding a real number α and we denote α = α α⌊.⌋ Clearly, { } − ⌊ ⌋ 0 α < 1 forall α R. ≤ { } ∈ The main result of this section is that if L V is a lattice subspace such that L = V then among all lattice points not in L there⊂ is a point nearest to L. (2.2) Lemma. Let Λ V be a lattice and let L V , L = V , be a Λ-subspace. Then there exists a point⊂ v Λ L such that ⊂ ∈ \ dist(v,L) dist(w,L) for all w Λ L. ≤ ∈ \ Proof. Let k = dim L and let u1,...,uk be a basis of L consisting of lattice points, so u Λ for i =1,...,k. Let i ∈ k Π = λ u : 0 λ 1 for i =1,...,k i i ≤ i ≤ i=1 be the parallelepiped spanned by u1,...,uk. We claim that among the lattice points that are not in L there is a point nearest to Π. For ρ > 0, let us consider the ρ-neighborhood of Π, Π = x V : dist(x, Π) ρ . ρ ∈ ≤ Clearly, Πρ is bounded and hence Πρ Λ is a finite set, cf. Problem 1.2. Let us choose a sufficiently large ρ so that ∩ Π (Λ L) = ρ ∩ \ ∅ and let us choose a point v Π (Λ L) nearest to Π. Clearly, ∈ ρ ∩ \ (2.2.1) dist(v, Π) dist(w, Π) for all w Λ L. ≤ 4 ∈ \ Let us choose any w Λ L and let x L be the point such that ∈ \ ∈ dist(w,L) = w x . − We can write k k k x = α u = u + y where u = α u and y = α u . i i ⌊ i⌋ i { i} i i=1 i=1 i=1 Clearly, u Λ L and y Π. Moreover, w u Λ L and by (2.2.1) ∈ ∩ ∈ − ∈ \ dist(w,L) = w x = (w u) (x u) = (w u) y dist(w u, Π) − − − − − − ≥ − dist(v, Π) dist(v,L), ≥ ≥ which completes the proof. (2.3) Problems. 1. Let Λ V be a lattice and let L V be a Λ-subspace. Let us consider a decomposition⊂ V = L W and the projection⊂ pr : V W with the kernel L. Prove that pr(Λ) is a lattice⊕ in W . −→ 2. Let L R2 be a line with an irrational slope. Prove that there exist points w Z2 L arbitrarily⊂ close to L. ∈ \ 3. Let L R2 be a line with an irrational slope and let pr : R2 L be the orthogonal projection.⊂ Prove that pr Z2 is dense in L. −→ 3. A basis of a lattice We prove the following main result. (3.1) Theorem. Let V be a d-dimensional Euclidean space, d > 0. (1) Let Λ V be a lattice. Then there exist vectors u1,...,ud Λ such that every point⊂ u Λ admits a unique representation ∈ ∈ d u = m u where m Z for i =1,... ,d. i i i ∈ i=1 The set u ,...,u is called a basis of Λ. { 1 d} (2) Let u1,...,ud be a basis of V and let d Λ = miui where mi Z . ∈ i=1 Then Λ V is a lattice. ⊂ 5 Proof. We prove Part (1) by induction on d. Suppose that d = 1 so that we identify V = R. Since Λ is discrete, there exists the smallest positive number a Λ. We claim that every point x Λ can be written as x = ma for some m Z. Replacing∈ x by x, if necessary, without∈ loss of generality we may assume that∈ x > 0. Then we can− write x = µa = µ a + µ a for some µ > 0. ⌊ ⌋ { } We observe that µ a Λ and hence µ a Λ. Since 0 µ a<a we must have µ = 0. Therefore⌊ ⌋µ is∈ integer and a{is} a basis∈ of Λ. ≤{ } { } Suppose that d > 1. Let us choose d 1 linearly independent lattice points and let L be the subspace spanned by those− points. Hence L is a Λ-subspace and L Λ ∩ is a lattice in L. By the induction hypothesis, we can choose a basis u1,...,ud 1 of lattice L Λ in L. By Lemma 2.2, there is a point u Λ L such that − ∩ d ∈ \ dist (u ,L) dist(w,L) forall w Λ L. d ≤ ∈ \ We claim that u1,...,ud 1,ud is a basis of Λ. Indeed, let us choose any u Λ, so we can write − ∈ d u = α u for some α ,...,α R. i i 1 d ∈ i=1 Let d 1 − v = u α u = α u + α u . − ⌊ d⌋ d { d} d i i i=1 Clearly, v Λ and ∈ dist(v,L) = dist( α u , L) = α dist (u , L) < dist (u , L) , { d} d { d} d d from which it follows that v L. Hence α = 0 and α Z.

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    95 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us