File:Inverses in the hexadecachoric group, PT.png

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search

Original file(3,800 × 4,000 pixels, file size: 3.74 MB, MIME type: image/png)

Captions

Captions

Add a one-line explanation of what this file represents

Summary

[edit]
Description
Permutohedron
lattice
as a big tesseract with small permutohedra

Permutations in the hyperoctahedral group of order 4 (arranged as in the lattice)
with brown edges between inverses, and self-inverse permutations as big vertices

Coarsely, this image simply shows the permutohedron with edges between inverse vertices (of types white, orange).
In detail, these edge bundles are permutations of the tesseract, and so are the self-inverse vertices (of types neutral, bold, green).
If the 4-element permutation a has b as its inverse, the edge bundle from a to b describes the tesseract permutation (0, b).
E.g. the edge bundle from 3 to 4 describes the tesseract permutation (0, 4). One of the edges is (3, 10) to (4, 12).

The following dictionary shows this assignment, including the tesseract permutations in cycle notation:

edge_bundles = {

    # neutral (self-inverse)
    0: {'pair': (0, 0), 'cycles': []},

    # bold (self-inverse)
    7: {'pair': (0, 7), 'cycles': [[1, 2], [4, 8], [5, 10], [6, 9], [7, 11], [13, 14]]},
    16: {'pair': (0, 16), 'cycles': [[1, 4], [2, 8], [3, 12], [6, 9], [7, 13], [11, 14]]},
    23: {'pair': (0, 23), 'cycles': [[1, 8], [2, 4], [3, 12], [5, 10], [7, 14], [11, 13]]},

    # white
    3: {'pair': (0, 4), 'cycles': [[1, 2, 4], [3, 6, 5], [9, 10, 12], [11, 14, 13]]},
    4: {'pair': (0, 3), 'cycles': [[1, 4, 2], [3, 5, 6], [9, 12, 10], [11, 13, 14]]},

    8: {'pair': (0, 12), 'cycles': [[2, 4, 8], [3, 5, 9], [6, 12, 10], [7, 13, 11]]},
    12: {'pair': (0, 8), 'cycles': [[2, 8, 4], [3, 9, 5], [6, 10, 12], [7, 11, 13]]},

    11: {'pair': (0, 19), 'cycles': [[1, 4, 8], [3, 6, 10], [5, 12, 9], [7, 14, 11]]},
    19: {'pair': (0, 11), 'cycles': [[1, 8, 4], [3, 10, 6], [5, 9, 12], [7, 11, 14]]},

    15: {'pair': (0, 20), 'cycles': [[1, 2, 8], [3, 10, 9], [5, 6, 12], [7, 14, 13]]},
    20: {'pair': (0, 15), 'cycles': [[1, 8, 2], [3, 9, 10], [5, 12, 6], [7, 13, 14]]},

    # green (self-inverse)
    1: {'pair': (0, 1), 'cycles': [[1, 2], [5, 6], [9, 10], [13, 14]]},
    2: {'pair': (0, 2), 'cycles': [[2, 4], [3, 5], [10, 12], [11, 13]]},
    6: {'pair': (0, 6), 'cycles': [[4, 8], [5, 9], [6, 10], [7, 11]]},

    5: {'pair': (0, 5), 'cycles': [[1, 4], [3, 6], [9, 12], [11, 14]]},
    14: {'pair': (0, 14), 'cycles': [[2, 8], [3, 9], [6, 12], [7, 13]]},

    21: {'pair': (0, 21), 'cycles': [[1, 8], [3, 10], [5, 12], [7, 14]]},

    # orange
    9: {'pair': (0, 18), 'cycles': [[1, 2, 4, 8], [3, 6, 12, 9], [5, 10], [7, 14, 13, 11]]},
    18: {'pair': (0, 9), 'cycles': [[1, 8, 4, 2], [3, 9, 12, 6], [5, 10], [7, 11, 13, 14]]},

    10: {'pair': (0, 13), 'cycles': [[1, 4, 8, 2], [3, 5, 12, 10], [6, 9], [7, 13, 14, 11]]},
    13: {'pair': (0, 10), 'cycles': [[1, 2, 8, 4], [3, 10, 12, 5], [6, 9], [7, 11, 14, 13]]},

    17: {'pair': (0, 22), 'cycles': [[1, 4, 2, 8], [3, 12], [5, 6, 10, 9], [7, 14, 11, 13]]},
    22: {'pair': (0, 17), 'cycles': [[1, 8, 2, 4], [3, 12], [5, 9, 10, 6], [7, 13, 11, 14]]},

}
 
This image was created with POV-Ray.
inverses_perm.pov
Date
Source Own work
Author
Watchduck
You can name the author as "T. Piesk", "Tilman Piesk" or "Watchduck".

Licensing

[edit]
I, the copyright holder of this work, hereby publish it under the following licenses:
GNU head Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled GNU Free Documentation License.
w:en:Creative Commons
attribution
This file is licensed under the Creative Commons Attribution 4.0 International license.
You are free:
  • to share – to copy, distribute and transmit the work
  • to remix – to adapt the work
Under the following conditions:
  • attribution – You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
You may select the license of your choice.

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current00:25, 8 March 2020Thumbnail for version as of 00:25, 8 March 20203,800 × 4,000 (3.74 MB)Watchduck (talk | contribs)

Metadata