78:
94:
385:. For this bijection, the Hanner polytopes are assumed to be represented geometrically using coordinates in {0,1,−1} rather than as combinatorial equivalence classes; in particular, there are two different geometric forms of a Hanner polytope even in two dimensions, the square with vertex coordinates (±1,±1) and the diamond with vertex coordinates (0,±1) and (±1,0). Given a
211:(including the polytope itself as a face but not including the empty set). For instance, the cube has 8 vertices, 12 edges, 6 squares, and 1 cube (itself) as faces; 8 + 12 + 6 + 1 = 27 = 3. The Hanner polytopes form an important class of examples for
227:
of the two facets is the whole polytope. As a simple consequence of this fact, all facets of a Hanner polytope have the same number of vertices as each other (half the number of vertices of the whole polytope). However, the facets may not all be isomorphic to each other. For instance, in the
393:
vertices correspond to the unit vectors of the space containing the polytope, and for which two vectors are connected by an edge if their sum lies outside the polytope. He observes that the graphs of Hanner polytopes are cographs, which he characterizes in two ways: the graphs with no
398:
of length three, and the graphs whose induced subgraphs are all either disconnected or the complements of disconnected graphs. Conversely, every cograph can be represented in this way by a Hanner polytope.
115:, is also a Hanner polytope, the direct sum of three line segments. In three dimensions all Hanner polytopes are combinatorially equivalent to one of these two types of polytopes. In higher dimensions the
58:
They are exactly the polytopes that can be constructed using only these rules: that is, every Hanner polytope can be formed from line segments by a sequence of product and dual operations.
65:, the dual of the Cartesian products. This direct sum operation combines two polytopes by placing them in two linearly independent subspaces of a larger space and then constructing the
191:
Because the polar dual of a Hanner polytope is another Hanner polytope, the Hanner polytopes have the property that both they and their duals have coordinates in {0,1,−1}.
471:
444:
799:
670:
312:
later showed that this property can be used to characterize the Hanner polytopes: they are (up to affine transformation) exactly the polytopes for which
51:
The
Cartesian product of every two Hanner polytopes is another Hanner polytope, whose dimension is the sum of the dimensions of the two given polytopes.
358:
236:. Dually, in every Hanner polytope, every two opposite vertices touch disjoint sets of facets, and together touch all of the facets of the polytope.
596:
248:
of a Hanner polytope (the product of its volume and the volume of its polar dual) is the same as for a cube or cross polytope. If the
223:
In a Hanner polytope, every two opposite facets are disjoint, and together include all of the vertices of the polytope, so that the
644:
Yaroslavl
International Conference "Discrete Geometry" dedicated to the centenary of A.D.Alexandrov (Yaroslavl, August 13-18, 2012)
641:
Kozachok, Marina (2012), "Perfect prismatoids and the conjecture concerning with face numbers of centrally symmetric polytopes",
840:
Hansen, Allan B.; Lima, Ȧsvald (1981), "The structure of finite-dimensional Banach spaces with the 3.2. intersection property",
642:
276:: every set of translates that have nonempty pairwise intersections has a nonempty intersection. Moreover, these are the only
61:
Alternatively and equivalently to the polar dual operation, the Hanner polytopes may be constructed by
Cartesian products and
123:, analogues of the cube and octahedron, are again Hanner polytopes. However, more examples are possible. For instance, the
819:
708:
Martini, H.; Swanepoel, K. J.; de Wet, P. Oloff (2009), "Absorbing angles, Steiner minimal trees, and antipodality",
156:
are Hanner polytopes with coordinates in this form, then the coordinates of the vertices of the
Cartesian product of
212:
336:
552:
668:
Reisner, S. (1991), "Certain Banach spaces associated with graphs and CL-spaces with 1-unconditional bases",
389:-dimensional polytope with vertex coordinates in {0,1,−1}, Reisner defines an associated graph whose
111:
is a Hanner polytope, and can be constructed as a
Cartesian product of three line segments. Its dual, the
300:
that do not form a Helly family (they intersect pairwise but have an empty intersection). He showed that
308:) is either three or four, and gave the Hanner polytopes as examples of polytopes for which it is four.
148:
Every Hanner polytope can be given vertex coordinates that are 0, 1, or −1. More explicitly, if
591:
449:
524:
184:
with a vector of zeros, or by concatenating a vector of zeros with the coordinates of a vertex in
885:
762:
717:
650:, P.G. Demidov Yaroslavl State University, International B.N. Delaunay Laboratory, pp. 46–49
605:
422:
252:
is true, these polytopes are the minimizers of Mahler volume among all the centrally symmetric
249:
132:
25:
851:
842:
772:
727:
679:
615:
561:
233:
229:
200:
128:
124:
101:
97:
865:
815:
784:
739:
691:
627:
573:
506:
861:
811:
780:
735:
687:
623:
569:
502:
29:
21:
419:. The Hanner spaces are the spaces that can be built up from one-dimensional spaces by
269:
204:
120:
879:
532:, Ph.D. thesis, Department of Mathematical Sciences, Chalmers Institute of Technology
245:
77:
412:
395:
333:
273:
208:
277:
253:
224:
66:
33:
683:
131:
with an octahedron as its base, is also a Hanner polytope, as is its dual, the
93:
54:
The dual of a Hanner polytope is another Hanner polytope of the same dimension.
776:
731:
619:
112:
86:
62:
547:
408:
366:
265:
116:
594:(2009), "On Kalai's conjectures concerning centrally symmetric polytopes",
44:
The Hanner polytopes are constructed recursively by the following rules:
856:
565:
374:
215:
that all centrally symmetric polytopes have at least 3 nonempty faces.
280:
with this property. For any other centrally symmetric convex polytope
493:
Hanner, Olof (1956), "Intersections of translates of convex bodies",
753:
Kim, Jaegil (2014), "Minimal volume product near Hanner polytopes",
328:
The number of combinatorial types of Hanner polytopes of dimension
767:
722:
610:
232:, two of the facets are octahedra, and the other eight facets are
180:
are formed either by concatenating the coordinates of a vertex in
92:
76:
550:(1989), "The number of faces of centrally-symmetric polytopes",
108:
82:
526:
Topics in algorithmic, enumerative and geometric combinatorics
353:
164:
are formed by concatenating the coordinates of a vertex in
172:. The coordinates of the vertices of the direct sum of
800:"Ein Satz über Parallelverschiebungen konvexer Körper"
452:
425:
48:
A line segment is a one-dimensional Hanner polytope.
351:1, 1, 2, 4, 8, 18, 40, 94, 224, 548, ... (sequence
465:
438:
710:Journal of Optimization Theory and Applications
296:) to be the smallest number of translates of
32:operations. Hanner polytopes are named after
8:
89:, the two three-dimensional Hanner polytopes
671:Journal of the London Mathematical Society
369:between the Hanner polytopes of dimension
309:
855:
766:
721:
663:
661:
659:
657:
609:
457:
451:
430:
424:
268:(or of an affine transformation of it, a
518:
516:
482:
382:
703:
701:
285:
597:Discrete & Computational Geometry
585:
583:
542:
540:
488:
486:
219:Pairs of opposite facets and vertices
7:
168:with the coordinates of a vertex in
458:
411:of a family of finite-dimensional
14:
804:Acta Universitatis Szegediensis
466:{\displaystyle \ell _{\infty }}
36:, who introduced them in 1956.
755:Journal of Functional Analysis
1:
590:Sanyal, Raman; Werner, Axel;
407:The Hanner polytopes are the
332:is the same as the number of
24:constructed recursively by
902:
777:10.1016/j.jfa.2013.08.008
732:10.1007/s10957-009-9552-1
620:10.1007/s00454-008-9104-8
439:{\displaystyle \ell _{1}}
324:Combinatorial enumeration
199:Every Hanner polytope is
144:Coordinate representation
684:10.1112/jlms/s2-43.1.137
553:Graphs and Combinatorics
495:Mathematica Scandinavica
310:Hansen & Lima (1981)
798:Sz.-Nagy, Béla (1954),
523:Freij, Ragnar (2012),
467:
440:
347:= 1, 2, 3, ... it is:
337:series–parallel graphs
104:
90:
81:The three-dimensional
468:
441:
381:vertices is given by
343:unlabeled edges. For
127:, a four-dimensional
96:
80:
450:
423:
320:) > 3.
264:The translates of a
213:Kalai's 3 conjecture
201:centrally symmetric
857:10.1007/BF02392457
592:Ziegler, Günter M.
566:10.1007/BF01788696
463:
436:
203:, and has exactly
105:
91:
85:and its dual, the
674:, Second Series,
250:Mahler conjecture
234:triangular prisms
133:cubical bipyramid
26:Cartesian product
893:
870:
868:
859:
843:Acta Mathematica
837:
831:
829:
828:
827:
818:, archived from
795:
789:
787:
770:
761:(4): 2360–2402,
750:
744:
742:
725:
705:
696:
694:
665:
652:
651:
649:
638:
632:
630:
613:
587:
578:
576:
544:
535:
533:
531:
520:
511:
509:
490:
472:
470:
469:
464:
462:
461:
445:
443:
442:
437:
435:
434:
365:A more explicit
356:
230:octahedral prism
125:octahedral prism
102:octahedral prism
98:Schlegel diagram
69:of their union.
901:
900:
896:
895:
894:
892:
891:
890:
876:
875:
874:
873:
839:
838:
834:
825:
823:
797:
796:
792:
752:
751:
747:
707:
706:
699:
667:
666:
655:
647:
640:
639:
635:
589:
588:
581:
546:
545:
538:
529:
522:
521:
514:
492:
491:
484:
479:
453:
448:
447:
426:
421:
420:
405:
352:
326:
262:
242:
221:
197:
195:Number of faces
146:
141:
121:cross polytopes
75:
42:
22:convex polytope
18:Hanner polytope
16:In geometry, a
12:
11:
5:
899:
897:
889:
888:
878:
877:
872:
871:
832:
790:
745:
716:(1): 149–157,
697:
678:(1): 137–148,
653:
633:
604:(2): 183–198,
579:
560:(1): 389–391,
536:
512:
481:
480:
478:
475:
473:combinations.
460:
456:
433:
429:
404:
401:
383:Reisner (1991)
363:
362:
325:
322:
261:
260:Helly property
258:
241:
238:
220:
217:
196:
193:
145:
142:
140:
137:
74:
71:
56:
55:
52:
49:
41:
38:
13:
10:
9:
6:
4:
3:
2:
898:
887:
884:
883:
881:
867:
863:
858:
853:
850:(1–2): 1–23,
849:
845:
844:
836:
833:
822:on 2016-03-04
821:
817:
813:
809:
805:
801:
794:
791:
786:
782:
778:
774:
769:
764:
760:
756:
749:
746:
741:
737:
733:
729:
724:
719:
715:
711:
704:
702:
698:
693:
689:
685:
681:
677:
673:
672:
664:
662:
660:
658:
654:
646:
645:
637:
634:
629:
625:
621:
617:
612:
607:
603:
599:
598:
593:
586:
584:
580:
575:
571:
567:
563:
559:
555:
554:
549:
543:
541:
537:
528:
527:
519:
517:
513:
508:
504:
500:
496:
489:
487:
483:
476:
474:
454:
431:
427:
418:
417:Hanner spaces
414:
413:Banach spaces
410:
403:Hanner spaces
402:
400:
397:
392:
388:
384:
380:
376:
372:
368:
360:
355:
350:
349:
348:
346:
342:
338:
335:
331:
323:
321:
319:
315:
311:
307:
303:
299:
295:
291:
287:
286:Hanner (1956)
283:
279:
278:convex bodies
275:
271:
270:parallelotope
267:
259:
257:
255:
254:convex bodies
251:
247:
246:Mahler volume
240:Mahler volume
239:
237:
235:
231:
226:
218:
216:
214:
210:
206:
202:
194:
192:
189:
187:
183:
179:
175:
171:
167:
163:
159:
155:
151:
143:
138:
136:
134:
130:
126:
122:
118:
114:
110:
103:
99:
95:
88:
84:
79:
72:
70:
68:
64:
59:
53:
50:
47:
46:
45:
39:
37:
35:
31:
27:
23:
19:
847:
841:
835:
824:, retrieved
820:the original
807:
803:
793:
758:
754:
748:
713:
709:
675:
669:
643:
636:
601:
595:
557:
551:
525:
498:
494:
416:
406:
396:induced path
390:
386:
378:
370:
364:
344:
340:
329:
327:
317:
313:
305:
301:
297:
293:
289:
281:
274:Helly family
263:
243:
222:
198:
190:
185:
181:
177:
173:
169:
165:
161:
157:
153:
149:
147:
106:
60:
57:
43:
40:Construction
17:
15:
810:: 169–177,
225:convex hull
67:convex hull
63:direct sums
34:Olof Hanner
826:2013-05-19
548:Kalai, Gil
477:References
409:unit balls
139:Properties
117:hypercubes
113:octahedron
87:octahedron
30:polar dual
886:Polytopes
768:1212.2544
723:1108.5046
611:0708.3661
501:: 65–87,
459:∞
455:ℓ
428:ℓ
367:bijection
272:) form a
266:hypercube
207:nonempty
880:Category
375:cographs
373:and the
288:defined
73:Examples
866:0594626
816:0065942
785:3150164
740:2545946
692:1099093
628:2471868
574:1554357
507:0082696
415:called
357:in the
354:A058387
100:of the
864:
814:
783:
738:
690:
626:
572:
505:
334:simple
763:arXiv
718:arXiv
648:(PDF)
606:arXiv
530:(PDF)
377:with
339:with
209:faces
129:prism
20:is a
446:and
359:OEIS
244:The
176:and
160:and
152:and
119:and
109:cube
83:cube
28:and
852:doi
848:146
773:doi
759:266
728:doi
714:143
680:doi
616:doi
562:doi
882::
862:MR
860:,
846:,
812:MR
808:15
806:,
802:,
781:MR
779:,
771:,
757:,
736:MR
734:,
726:,
712:,
700:^
688:MR
686:,
676:43
656:^
624:MR
622:,
614:,
602:41
600:,
582:^
570:MR
568:,
556:,
539:^
515:^
503:MR
497:,
485:^
361:).
284:,
256:.
188:.
135:.
107:A
869:.
854::
830:.
788:.
775::
765::
743:.
730::
720::
695:.
682::
631:/
618::
608::
577:.
564::
558:5
534:.
510:.
499:4
432:1
391:d
387:d
379:d
371:d
345:d
341:d
330:d
318:K
316:(
314:I
306:K
304:(
302:I
298:K
294:K
292:(
290:I
282:K
205:3
186:Q
182:P
178:Q
174:P
170:Q
166:P
162:Q
158:P
154:Q
150:P
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.