extremal problems for convex lattice polytopes
play

Extremal problems for convex lattice polytopes Imre Brny Rnyi - PowerPoint PPT Presentation

Sep 16, 2023 •272 likes •1.74k views

Extremal problems for convex lattice polytopes Imre Brny Rnyi Institute, Hungarian Academy of Sciences & Department of Mathematics, University College London A sample problem Jarnk proved in 1926 that if R 2 is a (closed)

  1. Notations: P = P d the set of primitive vectors in Z d K = K d the set of convex bodies in R d (convex compact sets with non-empty interior) P = P d set of convex lattice polytopes, for P ∈ P , f 0 ( P ) = number of vertices of P , f s ( P ) = number of s -dim faces of P

  2. Notations: P = P d the set of primitive vectors in Z d K = K d the set of convex bodies in R d (convex compact sets with non-empty interior) P = P d set of convex lattice polytopes, for P ∈ P , f 0 ( P ) = number of vertices of P , f s ( P ) = number of s -dim faces of P

  3. Notations: P = P d the set of primitive vectors in Z d K = K d the set of convex bodies in R d (convex compact sets with non-empty interior) P = P d set of convex lattice polytopes, for P ∈ P , f 0 ( P ) = number of vertices of P , f s ( P ) = number of s -dim faces of P

  4. Notations: P = P d the set of primitive vectors in Z d K = K d the set of convex bodies in R d (convex compact sets with non-empty interior) P = P d set of convex lattice polytopes, for P ∈ P , f 0 ( P ) = number of vertices of P , f s ( P ) = number of s -dim faces of P

  5. Notations: P = P d the set of primitive vectors in Z d K = K d the set of convex bodies in R d (convex compact sets with non-empty interior) P = P d set of convex lattice polytopes, for P ∈ P , f 0 ( P ) = number of vertices of P , f s ( P ) = number of s -dim faces of P

  6. THE PROBLEMS 1. Minimal volume. Determine or estimate V d ( n ) = min { Vol P : P ∈ P d and f 0 ( P ) = n } 2. Minimal surface area. Determine or estimate S d ( n ) = min { S ( P ) : P ∈ P d and f 0 ( P ) = n } just solved it for d = 2. 3. Minimal lattice width. Determine or estimate w d ( n ) = min { w ( P ) : P ∈ P d and f 0 ( P ) = n } where w ( P ) is the lattice width of P ∈ P d

  7. THE PROBLEMS 1. Minimal volume. Determine or estimate V d ( n ) = min { Vol P : P ∈ P d and f 0 ( P ) = n } 2. Minimal surface area. Determine or estimate S d ( n ) = min { S ( P ) : P ∈ P d and f 0 ( P ) = n } just solved it for d = 2. 3. Minimal lattice width. Determine or estimate w d ( n ) = min { w ( P ) : P ∈ P d and f 0 ( P ) = n } where w ( P ) is the lattice width of P ∈ P d

  8. THE PROBLEMS 1. Minimal volume. Determine or estimate V d ( n ) = min { Vol P : P ∈ P d and f 0 ( P ) = n } 2. Minimal surface area. Determine or estimate S d ( n ) = min { S ( P ) : P ∈ P d and f 0 ( P ) = n } just solved it for d = 2. 3. Minimal lattice width. Determine or estimate w d ( n ) = min { w ( P ) : P ∈ P d and f 0 ( P ) = n } where w ( P ) is the lattice width of P ∈ P d

  9. THE PROBLEMS 1. Minimal volume. Determine or estimate V d ( n ) = min { Vol P : P ∈ P d and f 0 ( P ) = n } 2. Minimal surface area. Determine or estimate S d ( n ) = min { S ( P ) : P ∈ P d and f 0 ( P ) = n } just solved it for d = 2. 3. Minimal lattice width. Determine or estimate w d ( n ) = min { w ( P ) : P ∈ P d and f 0 ( P ) = n } where w ( P ) is the lattice width of P ∈ P d

  10. THE PROBLEMS 1. Minimal volume. Determine or estimate V d ( n ) = min { Vol P : P ∈ P d and f 0 ( P ) = n } 2. Minimal surface area. Determine or estimate S d ( n ) = min { S ( P ) : P ∈ P d and f 0 ( P ) = n } just solved it for d = 2. 3. Minimal lattice width. Determine or estimate w d ( n ) = min { w ( P ) : P ∈ P d and f 0 ( P ) = n } where w ( P ) is the lattice width of P ∈ P d

  11. Definition K ∈ K d , z ∈ Z d and z � = 0, then w ( K , z ) = max { z · ( x − y ) : x , y ∈ K } . The lattice width of K is w ( K ) = min { w ( K , z ) : z ∈ Z d , z � = 0 } . How many parallel lattice hyperplanes meet K ? FACT. For P ∈ P d , w ( P ) + 1 = minimal number of parallel lattice lines meeting P .

  12. Definition K ∈ K d , z ∈ Z d and z � = 0, then w ( K , z ) = max { z · ( x − y ) : x , y ∈ K } . The lattice width of K is w ( K ) = min { w ( K , z ) : z ∈ Z d , z � = 0 } . How many parallel lattice hyperplanes meet K ? FACT. For P ∈ P d , w ( P ) + 1 = minimal number of parallel lattice lines meeting P .

  13. Definition K ∈ K d , z ∈ Z d and z � = 0, then w ( K , z ) = max { z · ( x − y ) : x , y ∈ K } . The lattice width of K is w ( K ) = min { w ( K , z ) : z ∈ Z d , z � = 0 } . How many parallel lattice hyperplanes meet K ? FACT. For P ∈ P d , w ( P ) + 1 = minimal number of parallel lattice lines meeting P .

  14. x z K y w ( K ) is invariant under lattice preserving affine transformations

  15. x z K y w ( K ) is invariant under lattice preserving affine transformations

  16. 4. Arnold’s question. How many convex lattice polytopes are there? P , Q ∈ P d are equivalent if P can be carried to Q by a lattice preserving affine transformation. Equivalent polytopes have the same volume. Arnold’s question. (1980) How many equivalence classes are there in R d , of volume ≤ V ? not an extremal question yet ..

  17. 4. Arnold’s question. How many convex lattice polytopes are there? P , Q ∈ P d are equivalent if P can be carried to Q by a lattice preserving affine transformation. Equivalent polytopes have the same volume. Arnold’s question. (1980) How many equivalence classes are there in R d , of volume ≤ V ? not an extremal question yet ..

  18. 4. Arnold’s question. How many convex lattice polytopes are there? P , Q ∈ P d are equivalent if P can be carried to Q by a lattice preserving affine transformation. Equivalent polytopes have the same volume. Arnold’s question. (1980) How many equivalence classes are there in R d , of volume ≤ V ? not an extremal question yet ..

  19. 4. Arnold’s question. How many convex lattice polytopes are there? P , Q ∈ P d are equivalent if P can be carried to Q by a lattice preserving affine transformation. Equivalent polytopes have the same volume. Arnold’s question. (1980) How many equivalence classes are there in R d , of volume ≤ V ? not an extremal question yet ..

  20. 4. Arnold’s question. How many convex lattice polytopes are there? P , Q ∈ P d are equivalent if P can be carried to Q by a lattice preserving affine transformation. Equivalent polytopes have the same volume. Arnold’s question. (1980) How many equivalence classes are there in R d , of volume ≤ V ? not an extremal question yet ..

  21. 5. Maximal polytopes. Assume K ∈ K d is “large”. Determine max { f 0 ( P ) : P ∈ P d , P ⊂ K } . equivalently, determine or estimate the maximal number of points in K ∩ Z d that are in convex position, i.e., none of them is in the convex hull of the others answers: order of magnitude, asymptotic, precise..

  22. 5. Maximal polytopes. Assume K ∈ K d is “large”. Determine max { f 0 ( P ) : P ∈ P d , P ⊂ K } . equivalently, determine or estimate the maximal number of points in K ∩ Z d that are in convex position, i.e., none of them is in the convex hull of the others answers: order of magnitude, asymptotic, precise..

  23. 5. Maximal polytopes. Assume K ∈ K d is “large”. Determine max { f 0 ( P ) : P ∈ P d , P ⊂ K } . equivalently, determine or estimate the maximal number of points in K ∩ Z d that are in convex position, i.e., none of them is in the convex hull of the others answers: order of magnitude, asymptotic, precise..

  24. 1. Minimal volume V d ( n ) Theorem (Andrews ’63) If P ∈ P d and Vol P > 0 , then d + 1 d − 1 ≤ c d Vol P . f 0 ( P ) or with better notation: d + 1 d − 1 ≪ Vol P . f 0 ( P ) Corollary d + 1 d − 1 ≪ V d ( n ) . n Several proofs, none easy: Andrews ’63, Arnold ’80 ( d = 2), Konyagin, Sevastyanov ’84 , ( d ≥ 2), W. Schmidt ’86, B.-Vershik ’92, B.-Larman ’98, Reisner-Schütt-Werner ’01, and more

  25. 1. Minimal volume V d ( n ) Theorem (Andrews ’63) If P ∈ P d and Vol P > 0 , then d + 1 d − 1 ≤ c d Vol P . f 0 ( P ) or with better notation: d + 1 d − 1 ≪ Vol P . f 0 ( P ) Corollary d + 1 d − 1 ≪ V d ( n ) . n Several proofs, none easy: Andrews ’63, Arnold ’80 ( d = 2), Konyagin, Sevastyanov ’84 , ( d ≥ 2), W. Schmidt ’86, B.-Vershik ’92, B.-Larman ’98, Reisner-Schütt-Werner ’01, and more

  26. 1. Minimal volume V d ( n ) Theorem (Andrews ’63) If P ∈ P d and Vol P > 0 , then d + 1 d − 1 ≤ c d Vol P . f 0 ( P ) or with better notation: d + 1 d − 1 ≪ Vol P . f 0 ( P ) Corollary d + 1 d − 1 ≪ V d ( n ) . n Several proofs, none easy: Andrews ’63, Arnold ’80 ( d = 2), Konyagin, Sevastyanov ’84 , ( d ≥ 2), W. Schmidt ’86, B.-Vershik ’92, B.-Larman ’98, Reisner-Schütt-Werner ’01, and more

  27. Definition A tower of P ∈ P d is F 0 ⊂ F 1 ⊂ .. ⊂ F d − 1 where F i is an i -dim face of P . T ( P ) = number of towers of P . Theorem If P ∈ P d and Vol P > 0 , then d + 1 d − 1 ≪ Vol P . T ( P ) implies the same bound for f i ( P ) . OPEN PROBLEM. For all polytopes P ∈ K d T ( P ) ≪ f 0 ( P ) + f 1 ( P ) + . . . f d − 1 ( P )????

  28. Definition A tower of P ∈ P d is F 0 ⊂ F 1 ⊂ .. ⊂ F d − 1 where F i is an i -dim face of P . T ( P ) = number of towers of P . Theorem If P ∈ P d and Vol P > 0 , then d + 1 d − 1 ≪ Vol P . T ( P ) implies the same bound for f i ( P ) . OPEN PROBLEM. For all polytopes P ∈ K d T ( P ) ≪ f 0 ( P ) + f 1 ( P ) + . . . f d − 1 ( P )????

  29. Definition A tower of P ∈ P d is F 0 ⊂ F 1 ⊂ .. ⊂ F d − 1 where F i is an i -dim face of P . T ( P ) = number of towers of P . Theorem If P ∈ P d and Vol P > 0 , then d + 1 d − 1 ≪ Vol P . T ( P ) implies the same bound for f i ( P ) . OPEN PROBLEM. For all polytopes P ∈ K d T ( P ) ≪ f 0 ( P ) + f 1 ( P ) + . . . f d − 1 ( P )????

  30. Definition A tower of P ∈ P d is F 0 ⊂ F 1 ⊂ .. ⊂ F d − 1 where F i is an i -dim face of P . T ( P ) = number of towers of P . Theorem If P ∈ P d and Vol P > 0 , then d + 1 d − 1 ≪ Vol P . T ( P ) implies the same bound for f i ( P ) . OPEN PROBLEM. For all polytopes P ∈ K d T ( P ) ≪ f 0 ( P ) + f 1 ( P ) + . . . f d − 1 ( P )????

  31. FACT. n ( d + 1 ) / ( d − 1 ) is best possible estimate Example 1. (Arnold 80’) G is the graph of the parabola y = x 2 , | x | ≤ t , and P = P t = conv ( G ∩ Z 2 ) . Then f 0 ( P ) = 2 t + 1 and Area P ≈ 2 3 t 3 . in d -dim, G = G t is given by x d = x 2 1 + · · · + x 2 d − 1 ≤ t , P t = conv ( G t ∩ Z d ) . f 0 ( P ) ≈ t d − 1 and Vol P ≈ t d + 1 .

  32. FACT. n ( d + 1 ) / ( d − 1 ) is best possible estimate Example 1. (Arnold 80’) G is the graph of the parabola y = x 2 , | x | ≤ t , and P = P t = conv ( G ∩ Z 2 ) . Then f 0 ( P ) = 2 t + 1 and Area P ≈ 2 3 t 3 . in d -dim, G = G t is given by x d = x 2 1 + · · · + x 2 d − 1 ≤ t , P t = conv ( G t ∩ Z d ) . f 0 ( P ) ≈ t d − 1 and Vol P ≈ t d + 1 .

  33. FACT. n ( d + 1 ) / ( d − 1 ) is best possible estimate Example 1. (Arnold 80’) G is the graph of the parabola y = x 2 , | x | ≤ t , and P = P t = conv ( G ∩ Z 2 ) . Then f 0 ( P ) = 2 t + 1 and Area P ≈ 2 3 t 3 . in d -dim, G = G t is given by x d = x 2 1 + · · · + x 2 d − 1 ≤ t , P t = conv ( G t ∩ Z d ) . f 0 ( P ) ≈ t d − 1 and Vol P ≈ t d + 1 .

  34. FACT. n ( d + 1 ) / ( d − 1 ) is best possible estimate Example 1. (Arnold 80’) G is the graph of the parabola y = x 2 , | x | ≤ t , and P = P t = conv ( G ∩ Z 2 ) . Then f 0 ( P ) = 2 t + 1 and Area P ≈ 2 3 t 3 . in d -dim, G = G t is given by x d = x 2 1 + · · · + x 2 d − 1 ≤ t , P t = conv ( G t ∩ Z d ) . f 0 ( P ) ≈ t d − 1 and Vol P ≈ t d + 1 .

  35. FACT. n ( d + 1 ) / ( d − 1 ) is best possible estimate Example 1. (Arnold 80’) G is the graph of the parabola y = x 2 , | x | ≤ t , and P = P t = conv ( G ∩ Z 2 ) . Then f 0 ( P ) = 2 t + 1 and Area P ≈ 2 3 t 3 . in d -dim, G = G t is given by x d = x 2 1 + · · · + x 2 d − 1 ≤ t , P t = conv ( G t ∩ Z d ) . f 0 ( P ) ≈ t d − 1 and Vol P ≈ t d + 1 .

  36. FACT. n ( d + 1 ) / ( d − 1 ) is best possible estimate Example 1. (Arnold 80’) G is the graph of the parabola y = x 2 , | x | ≤ t , and P = P t = conv ( G ∩ Z 2 ) . Then f 0 ( P ) = 2 t + 1 and Area P ≈ 2 3 t 3 . in d -dim, G = G t is given by x d = x 2 1 + · · · + x 2 d − 1 ≤ t , P t = conv ( G t ∩ Z d ) . f 0 ( P ) ≈ t d − 1 and Vol P ≈ t d + 1 .

  37. rB P

  38. Example 2. (B.-Balog ’92 (d=2), B.-Larman ’98, all d ) P r = conv ( rB d ∩ Z d ) the integer convex hull of rB d Vol P r ≈ r d implies via Andrews’s theorem f 0 ( P r ) ≪ ( Vol P r ) ( d − 1 ) / ( d + 1 ) ≈ r d ( d − 1 ) / ( d + 1 ) . needed: f 0 ( P r ) ≫ r d ( d − 1 ) / ( d + 1 ) .

  39. Example 2. (B.-Balog ’92 (d=2), B.-Larman ’98, all d ) P r = conv ( rB d ∩ Z d ) the integer convex hull of rB d Vol P r ≈ r d implies via Andrews’s theorem f 0 ( P r ) ≪ ( Vol P r ) ( d − 1 ) / ( d + 1 ) ≈ r d ( d − 1 ) / ( d + 1 ) . needed: f 0 ( P r ) ≫ r d ( d − 1 ) / ( d + 1 ) .

  40. Example 2. (B.-Balog ’92 (d=2), B.-Larman ’98, all d ) P r = conv ( rB d ∩ Z d ) the integer convex hull of rB d Vol P r ≈ r d implies via Andrews’s theorem f 0 ( P r ) ≪ ( Vol P r ) ( d − 1 ) / ( d + 1 ) ≈ r d ( d − 1 ) / ( d + 1 ) . needed: f 0 ( P r ) ≫ r d ( d − 1 ) / ( d + 1 ) .

  41. Example 2. (B.-Balog ’92 (d=2), B.-Larman ’98, all d ) P r = conv ( rB d ∩ Z d ) the integer convex hull of rB d Vol P r ≈ r d implies via Andrews’s theorem f 0 ( P r ) ≪ ( Vol P r ) ( d − 1 ) / ( d + 1 ) ≈ r d ( d − 1 ) / ( d + 1 ) . needed: f 0 ( P r ) ≫ r d ( d − 1 ) / ( d + 1 ) .

  42. Lemma Vol ( rB d \ P r ) ≪ r d ( d − 1 ) / ( d + 1 ) . The proof uses the Flatness Theorem, combined with a statement from approximation theory: Lemma If P ⊂ B d is a polytope with f 0 ( P ) ≤ n, then n − 2 / ( d − 1 ) ≪ Vol ( B d \ P ) . f 0 ( P r ) − 2 / ( d − 1 ) ≪ Vol ( rB d \ P r ) ≪ r d ( d − 1 ) / ( d + 1 ) ≪ r − 2 d / ( d + 1 ) . Vol rB d r d implies f 0 ( P r ) ≫ r d ( d − 1 ) / ( d + 1 ) .

  43. Lemma Vol ( rB d \ P r ) ≪ r d ( d − 1 ) / ( d + 1 ) . The proof uses the Flatness Theorem, combined with a statement from approximation theory: Lemma If P ⊂ B d is a polytope with f 0 ( P ) ≤ n, then n − 2 / ( d − 1 ) ≪ Vol ( B d \ P ) . f 0 ( P r ) − 2 / ( d − 1 ) ≪ Vol ( rB d \ P r ) ≪ r d ( d − 1 ) / ( d + 1 ) ≪ r − 2 d / ( d + 1 ) . Vol rB d r d implies f 0 ( P r ) ≫ r d ( d − 1 ) / ( d + 1 ) .

  44. Lemma Vol ( rB d \ P r ) ≪ r d ( d − 1 ) / ( d + 1 ) . The proof uses the Flatness Theorem, combined with a statement from approximation theory: Lemma If P ⊂ B d is a polytope with f 0 ( P ) ≤ n, then n − 2 / ( d − 1 ) ≪ Vol ( B d \ P ) . f 0 ( P r ) − 2 / ( d − 1 ) ≪ Vol ( rB d \ P r ) ≪ r d ( d − 1 ) / ( d + 1 ) ≪ r − 2 d / ( d + 1 ) . Vol rB d r d implies f 0 ( P r ) ≫ r d ( d − 1 ) / ( d + 1 ) .

  45. Lemma Vol ( rB d \ P r ) ≪ r d ( d − 1 ) / ( d + 1 ) . The proof uses the Flatness Theorem, combined with a statement from approximation theory: Lemma If P ⊂ B d is a polytope with f 0 ( P ) ≤ n, then n − 2 / ( d − 1 ) ≪ Vol ( B d \ P ) . f 0 ( P r ) − 2 / ( d − 1 ) ≪ Vol ( rB d \ P r ) ≪ r d ( d − 1 ) / ( d + 1 ) ≪ r − 2 d / ( d + 1 ) . Vol rB d r d implies f 0 ( P r ) ≫ r d ( d − 1 ) / ( d + 1 ) .

  46. Lemma Vol ( rB d \ P r ) ≪ r d ( d − 1 ) / ( d + 1 ) . The proof uses the Flatness Theorem, combined with a statement from approximation theory: Lemma If P ⊂ B d is a polytope with f 0 ( P ) ≤ n, then n − 2 / ( d − 1 ) ≪ Vol ( B d \ P ) . f 0 ( P r ) − 2 / ( d − 1 ) ≪ Vol ( rB d \ P r ) ≪ r d ( d − 1 ) / ( d + 1 ) ≪ r − 2 d / ( d + 1 ) . Vol rB d r d implies f 0 ( P r ) ≫ r d ( d − 1 ) / ( d + 1 ) .

  47. REMARK. Works for all K ∈ K d (instead of B d ) with smooth enough boundary. OPEN PROBLEM. Does lim n − d + 1 d − 1 V d ( n ) exist???? will come back when d = 2.

  48. REMARK. Works for all K ∈ K d (instead of B d ) with smooth enough boundary. OPEN PROBLEM. Does lim n − d + 1 d − 1 V d ( n ) exist???? will come back when d = 2.

  49. REMARK. Works for all K ∈ K d (instead of B d ) with smooth enough boundary. OPEN PROBLEM. Does lim n − d + 1 d − 1 V d ( n ) exist???? will come back when d = 2.

  50. 2. Minimal surface area S d ( n ) Isoperimetric inequality: For all K ∈ K d S ( K ) d S ( B d ) d ( Vol K ) d − 1 ≥ ( Vol B d ) d − 1 implies S ( P ) ≫ ( Vol P ) ( d − 1 ) / d ≫ f 0 ( P ) ( d + 1 ) / d Corollary n ( d + 1 ) / d ≪ S d ( n ) Example 2 shows that this is best possible OPEN PROBLEM. Does lim n − d + 1 d S d ( n ) exist???? d = 2 Jarník

  51. 2. Minimal surface area S d ( n ) Isoperimetric inequality: For all K ∈ K d S ( K ) d S ( B d ) d ( Vol K ) d − 1 ≥ ( Vol B d ) d − 1 implies S ( P ) ≫ ( Vol P ) ( d − 1 ) / d ≫ f 0 ( P ) ( d + 1 ) / d Corollary n ( d + 1 ) / d ≪ S d ( n ) Example 2 shows that this is best possible OPEN PROBLEM. Does lim n − d + 1 d S d ( n ) exist???? d = 2 Jarník

  52. 2. Minimal surface area S d ( n ) Isoperimetric inequality: For all K ∈ K d S ( K ) d S ( B d ) d ( Vol K ) d − 1 ≥ ( Vol B d ) d − 1 implies S ( P ) ≫ ( Vol P ) ( d − 1 ) / d ≫ f 0 ( P ) ( d + 1 ) / d Corollary n ( d + 1 ) / d ≪ S d ( n ) Example 2 shows that this is best possible OPEN PROBLEM. Does lim n − d + 1 d S d ( n ) exist???? d = 2 Jarník

  53. 2. Minimal surface area S d ( n ) Isoperimetric inequality: For all K ∈ K d S ( K ) d S ( B d ) d ( Vol K ) d − 1 ≥ ( Vol B d ) d − 1 implies S ( P ) ≫ ( Vol P ) ( d − 1 ) / d ≫ f 0 ( P ) ( d + 1 ) / d Corollary n ( d + 1 ) / d ≪ S d ( n ) Example 2 shows that this is best possible OPEN PROBLEM. Does lim n − d + 1 d S d ( n ) exist???? d = 2 Jarník

  54. 2. Minimal surface area S d ( n ) Isoperimetric inequality: For all K ∈ K d S ( K ) d S ( B d ) d ( Vol K ) d − 1 ≥ ( Vol B d ) d − 1 implies S ( P ) ≫ ( Vol P ) ( d − 1 ) / d ≫ f 0 ( P ) ( d + 1 ) / d Corollary n ( d + 1 ) / d ≪ S d ( n ) Example 2 shows that this is best possible OPEN PROBLEM. Does lim n − d + 1 d S d ( n ) exist???? d = 2 Jarník

  55. 2. Minimal surface area S d ( n ) Isoperimetric inequality: For all K ∈ K d S ( K ) d S ( B d ) d ( Vol K ) d − 1 ≥ ( Vol B d ) d − 1 implies S ( P ) ≫ ( Vol P ) ( d − 1 ) / d ≫ f 0 ( P ) ( d + 1 ) / d Corollary n ( d + 1 ) / d ≪ S d ( n ) Example 2 shows that this is best possible OPEN PROBLEM. Does lim n − d + 1 d S d ( n ) exist???? d = 2 Jarník

  56. 2. Minimal surface area S d ( n ) Isoperimetric inequality: For all K ∈ K d S ( K ) d S ( B d ) d ( Vol K ) d − 1 ≥ ( Vol B d ) d − 1 implies S ( P ) ≫ ( Vol P ) ( d − 1 ) / d ≫ f 0 ( P ) ( d + 1 ) / d Corollary n ( d + 1 ) / d ≪ S d ( n ) Example 2 shows that this is best possible OPEN PROBLEM. Does lim n − d + 1 d S d ( n ) exist???? d = 2 Jarník

  57. 3. Minimal lattice width w d ( n ) first d = 2. w ( P ) + 1 is the minimal number of consecutive lattice lines intersecting P . each such line contains at most two vertices of P = ⇒ f 0 ( P ) ≤ 2 ( w ( P ) + 1 ) FACT. w 2 ( n ) = ⌈ n 2 ⌉ − 1 FACT. w d ( n ) = 1 OPEN PROBLEM. Modify the question!!!

  58. 3. Minimal lattice width w d ( n ) first d = 2. w ( P ) + 1 is the minimal number of consecutive lattice lines intersecting P . each such line contains at most two vertices of P = ⇒ f 0 ( P ) ≤ 2 ( w ( P ) + 1 ) FACT. w 2 ( n ) = ⌈ n 2 ⌉ − 1 FACT. w d ( n ) = 1 OPEN PROBLEM. Modify the question!!!

  59. 3. Minimal lattice width w d ( n ) first d = 2. w ( P ) + 1 is the minimal number of consecutive lattice lines intersecting P . each such line contains at most two vertices of P = ⇒ f 0 ( P ) ≤ 2 ( w ( P ) + 1 ) FACT. w 2 ( n ) = ⌈ n 2 ⌉ − 1 FACT. w d ( n ) = 1 OPEN PROBLEM. Modify the question!!!

  60. 3. Minimal lattice width w d ( n ) first d = 2. w ( P ) + 1 is the minimal number of consecutive lattice lines intersecting P . each such line contains at most two vertices of P = ⇒ f 0 ( P ) ≤ 2 ( w ( P ) + 1 ) FACT. w 2 ( n ) = ⌈ n 2 ⌉ − 1 FACT. w d ( n ) = 1 OPEN PROBLEM. Modify the question!!!

  61. 3. Minimal lattice width w d ( n ) first d = 2. w ( P ) + 1 is the minimal number of consecutive lattice lines intersecting P . each such line contains at most two vertices of P = ⇒ f 0 ( P ) ≤ 2 ( w ( P ) + 1 ) FACT. w 2 ( n ) = ⌈ n 2 ⌉ − 1 FACT. w d ( n ) = 1 OPEN PROBLEM. Modify the question!!!

  62. 3. Minimal lattice width w d ( n ) first d = 2. w ( P ) + 1 is the minimal number of consecutive lattice lines intersecting P . each such line contains at most two vertices of P = ⇒ f 0 ( P ) ≤ 2 ( w ( P ) + 1 ) FACT. w 2 ( n ) = ⌈ n 2 ⌉ − 1 FACT. w d ( n ) = 1 OPEN PROBLEM. Modify the question!!!

  63. 4. Arnold’s question P , Q ∈ P d are equivalent if a lattice preserving affine transformation maps P to Q . FACT. P ∼ Q = ⇒ f 0 ( P ) = f 0 ( Q ) , w ( P ) = w ( Q ) , Vol P = Vol Q . N d ( V ) = number of equivalent classes of P ∈ P d with Vol P ≤ V N 2 ( A ) for d = 2 motivation

  64. 4. Arnold’s question P , Q ∈ P d are equivalent if a lattice preserving affine transformation maps P to Q . FACT. P ∼ Q = ⇒ f 0 ( P ) = f 0 ( Q ) , w ( P ) = w ( Q ) , Vol P = Vol Q . N d ( V ) = number of equivalent classes of P ∈ P d with Vol P ≤ V N 2 ( A ) for d = 2 motivation

  65. 4. Arnold’s question P , Q ∈ P d are equivalent if a lattice preserving affine transformation maps P to Q . FACT. P ∼ Q = ⇒ f 0 ( P ) = f 0 ( Q ) , w ( P ) = w ( Q ) , Vol P = Vol Q . N d ( V ) = number of equivalent classes of P ∈ P d with Vol P ≤ V N 2 ( A ) for d = 2 motivation

  66. 4. Arnold’s question P , Q ∈ P d are equivalent if a lattice preserving affine transformation maps P to Q . FACT. P ∼ Q = ⇒ f 0 ( P ) = f 0 ( Q ) , w ( P ) = w ( Q ) , Vol P = Vol Q . N d ( V ) = number of equivalent classes of P ∈ P d with Vol P ≤ V N 2 ( A ) for d = 2 motivation

  67. 4. Arnold’s question P , Q ∈ P d are equivalent if a lattice preserving affine transformation maps P to Q . FACT. P ∼ Q = ⇒ f 0 ( P ) = f 0 ( Q ) , w ( P ) = w ( Q ) , Vol P = Vol Q . N d ( V ) = number of equivalent classes of P ∈ P d with Vol P ≤ V N 2 ( A ) for d = 2 motivation

  68. 4. Arnold’s question P , Q ∈ P d are equivalent if a lattice preserving affine transformation maps P to Q . FACT. P ∼ Q = ⇒ f 0 ( P ) = f 0 ( Q ) , w ( P ) = w ( Q ) , Vol P = Vol Q . N d ( V ) = number of equivalent classes of P ∈ P d with Vol P ≤ V N 2 ( A ) for d = 2 motivation

  69. Theorem (Arnold 1980) A 1 / 3 ≪ log N 2 ( A ) ≪ A 1 / 3 log A. lower bound: let P be the polytope from Example 1 or 2. ⇒| W | ≈ A 1 / 3 . Its vertex set W = For each subset U ⊂ W , conv U ∈ P 2 . there are 2 | W | ≈ 2 A 1 / 3 such subpolygons. Most of them distinct. for the upper bound we need: Lemma (Square lemma) For every P ∈ P 2 there is Q ∼ P which is contained in the square [ 0 , 36 A ] 2 . So each equivalence class is represented in this square. Proof follows from Andrews theorem + Square lemma

  70. Theorem (Arnold 1980) A 1 / 3 ≪ log N 2 ( A ) ≪ A 1 / 3 log A. lower bound: let P be the polytope from Example 1 or 2. ⇒| W | ≈ A 1 / 3 . Its vertex set W = For each subset U ⊂ W , conv U ∈ P 2 . there are 2 | W | ≈ 2 A 1 / 3 such subpolygons. Most of them distinct. for the upper bound we need: Lemma (Square lemma) For every P ∈ P 2 there is Q ∼ P which is contained in the square [ 0 , 36 A ] 2 . So each equivalence class is represented in this square. Proof follows from Andrews theorem + Square lemma

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

Convex hulls of spheres and convex hulls of convex polytopes lying on parallel hyperplanes

Convex hulls of spheres and convex hulls of convex polytopes lying on parallel hyperplanes

Introduction Parallel polytopes Convex hull of spheres Summary, extensions & open problems Convex hulls of spheres and convex hulls of convex polytopes lying on parallel hyperplanes Menelaos I. Karavelas joint work with Eleni Tzanaki

622 views • 59 slides
Convex hull 1 - 1 Convex hull 1 - 2 Convex hull 1 - 3 Convex hull Definition, extremal

Convex hull 1 - 1 Convex hull 1 - 2 Convex hull 1 - 3 Convex hull Definition, extremal

Convex hull 1 - 1 Convex hull 1 - 2 Convex hull 1 - 3 Convex hull Definition, extremal point Jarvis algorithm Orientation predicate Buggy degenerate example Real RAM model and general position hypothesis Graham

1.41k views • 114 slides
On lattice polytopes, convex matroid optimization, and degree sequences of hypergraphs Antoine

On lattice polytopes, convex matroid optimization, and degree sequences of hypergraphs Antoine

On lattice polytopes, convex matroid optimization, and degree sequences of hypergraphs Antoine Deza , Paris Sud based on joint works with : Asaf Levin , Technion George Manoussakis , Ben Gurion Shmuel Onn , Technion Linear Optimization? Given an n

854 views • 44 slides
h -polynomials of dilated lattice polytopes Katharina Jochemko KTH Stockholm Einstein

h -polynomials of dilated lattice polytopes Katharina Jochemko KTH Stockholm Einstein

h -polynomials of dilated lattice polytopes Katharina Jochemko KTH Stockholm Einstein Workshop Discrete Geometry and Topology, March 13, 2018 Lattice polytopes A set P R d is a lattice polytope if there are x 1 , . . . , x m Z d with

339 views • 33 slides
Exploiting Symmetries of Lattice Polytopes Achill Schrmann (Universitt Rostock) ( with parts

Exploiting Symmetries of Lattice Polytopes Achill Schrmann (Universitt Rostock) ( with parts

Einstein Workshop on Lattice Polytopes Berlin, December 11th-15th, 2016 Exploiting Symmetries of Lattice Polytopes Achill Schrmann (Universitt Rostock) ( with parts based on work with David Bremner, Mathieu Dutour Sikiri , Erik

381 views • 27 slides
Lattice Points in Polytopes Richard P. Stanley U. Miami & M.I.T. A lattice polygon Georg

Lattice Points in Polytopes Richard P. Stanley U. Miami & M.I.T. A lattice polygon Georg

Lattice Points in Polytopes Richard P. Stanley U. Miami & M.I.T. A lattice polygon Georg Alexander Pick (18591942) P : lattice polygon in R 2 (vertices Z 2 , no self-intersections) Boundary and interior lattice points Picks

1.4k views • 120 slides
8. Geometric problems extremal volume ellipsoids centering classification placement

8. Geometric problems extremal volume ellipsoids centering classification placement

Convex Optimization Boyd & Vandenberghe 8. Geometric problems extremal volume ellipsoids centering classification placement and facility location 81 Minimum volume ellipsoid around a set L owner-John ellipsoid of a

346 views • 16 slides
Lattice Simplices of Bounded Degree Einstein Workshop on Lattice Polytopes 2016 Johannes

Lattice Simplices of Bounded Degree Einstein Workshop on Lattice Polytopes 2016 Johannes

Lattice Simplices of Bounded Degree Einstein Workshop on Lattice Polytopes 2016 Johannes Hofscheier Otto-von-Guericke-Universit at Magdeburg joint with Akihiro Higashitani Tuesday 13 December 2016 Motivation LLS LSD Deg. 2 Appl. Basic

784 views • 77 slides
On the covering radius of lattice polytopes and its relation to view-obstructions and densities

On the covering radius of lattice polytopes and its relation to view-obstructions and densities

On the covering radius of lattice polytopes and its relation to view-obstructions and densities of lattice arrangements Matthias Schymura (n e Henze) Freie Universit at Berlin based on joint work with Bernardo Gonz alez Merino

1.5k views • 87 slides
Classification of Regular and Chiral Polytopes by Topology Egon Schulte Northeastern University,

Classification of Regular and Chiral Polytopes by Topology Egon Schulte Northeastern University,

Classification of Regular and Chiral Polytopes by Topology Egon Schulte Northeastern University, Boston November 2013, Toronto Classical Regular Polytopes Review Convex polytope : convex hull of finitely many points in E n Key observation:

670 views • 45 slides
Convex Optimization 8. Geometric Problems Prof. Ying Cui Department of Electrical Engineering

Convex Optimization 8. Geometric Problems Prof. Ying Cui Department of Electrical Engineering

Convex Optimization 8. Geometric Problems Prof. Ying Cui Department of Electrical Engineering Shanghai Jiao Tong University 2018 SJTU Ying Cui 1 / 26 Outline Extremal volume ellipsoids Centering Classification Placement and facility

622 views • 26 slides
Weighted lattice point sums in lattice polytopes Paul Gunnels Matthias Beck University of

Weighted lattice point sums in lattice polytopes Paul Gunnels Matthias Beck University of

Weighted lattice point sums in lattice polytopes Paul Gunnels Matthias Beck University of Massachusetts San Francisco State University Freie Universit at Berlin Evgeny Materov math.sfsu.edu/beck Siberian Fire and Rescue Academy of

393 views • 25 slides
Thrifty approximations of convex bodies by polytopes Alexander Barvinok November 28, 2016, ICERM

Thrifty approximations of convex bodies by polytopes Alexander Barvinok November 28, 2016, ICERM

Thrifty approximations of convex bodies by polytopes Alexander Barvinok November 28, 2016, ICERM http://www.math.lsa.umich.edu/ barvinok/papers.html Alexander Barvinok Thrifty approximations of convex bodies by polytopes The problem Let B

428 views • 19 slides
Realizing Planar Graphs as Convex Polytopes G unter Rote Freie Universit at Berlin G

Realizing Planar Graphs as Convex Polytopes G unter Rote Freie Universit at Berlin G

Realizing Planar Graphs as Convex Polytopes G unter Rote Freie Universit at Berlin G unter Rote, Freie Universit at Berlin Realizing Planar Graphs as Convex Polytopes Graph Drawing, Eindhoven, 21.23. 9. 2011 General Problem

740 views • 62 slides
CS675: Convex and Combinatorial Optimization Spring 2018 Convex Optimization Problems

CS675: Convex and Combinatorial Optimization Spring 2018 Convex Optimization Problems

CS675: Convex and Combinatorial Optimization Spring 2018 Convex Optimization Problems Instructor: Shaddin Dughmi Outline Convex Optimization Basics 1 Common Classes 2 Interlude: Positive Semi-Definite Matrices 3 More Convex Optimization

887 views • 61 slides
Reflexive Polytopes - Combinatorics and Convex Geometry Benjamin Nill University of T

Reflexive Polytopes - Combinatorics and Convex Geometry Benjamin Nill University of T

Reflexive Polytopes - Combinatorics and Convex Geometry Benjamin Nill University of T ubingen Topics of this talk What is a reflexive polytope? How many are there? What special properties do they have? What classification

534 views • 39 slides
linear spaces of tilings Richard Kenyon (Brown University) Thursday, May 12, 16 Rectangle tilings

linear spaces of tilings Richard Kenyon (Brown University) Thursday, May 12, 16 Rectangle tilings

linear spaces of tilings Richard Kenyon (Brown University) Thursday, May 12, 16 Rectangle tilings come in linear families (polytopes) y 2 2 y 1 x 2 x 3 x 1 y 1 < y 2 { P x 1 < x 2 , x 3 Thursday, May 12, 16 GUE minors Given such a

578 views • 20 slides
The Sound and the Noise of Black Holes a High Energy Physics Colloquium Edgardo Franzin

The Sound and the Noise of Black Holes a High Energy Physics Colloquium Edgardo Franzin

The Sound and the Noise of Black Holes a High Energy Physics Colloquium Edgardo Franzin Cagliari, 4th July 2016 Outline The experimental setup and the discovery Event horizons and light rings in Schwarzschild Black hole

848 views • 31 slides
of Epidemiology (LIRE): The Beginning of the End (or The End of the Beginning?) Jeffrey (Jerry)

of Epidemiology (LIRE): The Beginning of the End (or The End of the Beginning?) Jeffrey (Jerry)

Lumbar Imaging with Reporting of Epidemiology (LIRE): The Beginning of the End (or The End of the Beginning?) Jeffrey (Jerry) Jarvik, MD MPH Departments of Radiology, Neurological Surgery, Health Services Comparative Effectiveness, Cost and

1.02k views • 52 slides
Sierd Cloetingh Roland Oberhnsli Alexander Rudloff TOPO-EUROPE TOPO-EUROPE: geoscience of

Sierd Cloetingh Roland Oberhnsli Alexander Rudloff TOPO-EUROPE TOPO-EUROPE: geoscience of

IGCPs 40s anniversary: global partnership in Earth sciences Sierd Cloetingh Roland Oberhnsli Alexander Rudloff TOPO-EUROPE TOPO-EUROPE: geoscience of coupled surface and lithosphere & mantle processes of continental Europe and

165 views • 5 slides
Continuity of Solutions for a problem in the Calculus of Variations Pierre Bousquet June 2011,

Continuity of Solutions for a problem in the Calculus of Variations Pierre Bousquet June 2011,

Continuity of Solutions for a problem in the Calculus of Variations Pierre Bousquet June 2011, Ancona 1 / 18 A basic problem in the Calculus of Variations To minimize u L ( u ( x )) dx u | = Standing

227 views • 18 slides
25-09-2014 Decision making in general When a decision is made concerning a unit, the following

25-09-2014 Decision making in general When a decision is made concerning a unit, the following

25-09-2014 Decision making in general When a decision is made concerning a unit, the following information is necessary: The present state of the unit Linear programming The relation between factors and production Immediate

826 views • 5 slides
Quantum and Classical Algorithms for Approximate Submodular Function Minimization Yassine

Quantum and Classical Algorithms for Approximate Submodular Function Minimization Yassine

Quantum and Classical Algorithms for Approximate Submodular Function Minimization Yassine Hamoudi, Patrick Rebentrost, Ansis Rosmanis, Miklos Santha arXiv: 1907.05378 1. Approximate Submodular Function Minimization 2. Quantum speed-up for

1.54k views • 113 slides
Combinatorial Algorithms to Solve Network Interdiction and Scheduling Problems with Multiple

Combinatorial Algorithms to Solve Network Interdiction and Scheduling Problems with Multiple

Combinatorial Algorithms to Solve Network Interdiction and Scheduling Problems with Multiple Parameters S.T. McCormick; GP Oriolo; B. Peis Sauder School of Business, UBC; U. Rome; TU Berlin CanaDAM 2013 McCormick et al (UBC-Rome-Berlin)

1.41k views • 129 slides

More recommend