Ist dieses Polytop der Untergruppenverpackung ein integraler Bestandteil?

10

Sei eine endliche abelsche Gruppe und sei P das Polytop in R Γ, definiert als die Punkte x, die die folgenden Ungleichungen erfüllen:ΓPRΓx

gGxg|G|GΓxg0gΓ

wobei bedeutet, dass G eine Untergruppe von Γ ist . Ist P ein Integral? Wenn ja, können wir seine Eckpunkte charakterisieren?GΓGΓP


Meine Frage stellte sich ursprünglich mit , wobei einige kleine Beispiele ( n = 2 , 3 ) darauf hindeuten, dass die Antwort "Ja" und "Vielleicht, aber es ist nicht einfach" lautet. Ich habe auch die zyklische Gruppe an 9 und 10 Elementen sowie an F 2 3 ausprobiert , wobei das Polytop wieder ein integraler Bestandteil ist. Das Polytop ist nicht ganzzahlig, wenn Γ eines von S 3 , D 4 und D 5 ist , so dass Abelianness offensichtlich wesentlich ist.Γ=F2nn=2,3F32ΓS3D4D5

Ich sollte erwähnen, dass wenn Sie den ersten Satz von Gleichungen als schreiben , A nicht unbedingt völlig unimodular ist (was bedeuten würde, dass das Polytop ganzzahlig ist). Wenn Γ = F 3 2 ist , können Sie drei linear unabhängige g auswählen und die drei Gs nehmen, die von jedem Paar der ausgewählten Elemente g überspannt werden . Die resultierende Submatrix ist bis zur Permutation [ 0 1 1 1 0 1 1 1 0 ] und hat somit eine Determinante ± 2 .AxbAΓ=F23gGg

[011101110]
±2

Es ist einfach (wenn auch mühsam), die Eckpunkte für Gruppen erster Ordnung zu charakterisieren und zu beobachten, dass sie ganzheitlich sind. Ich bin mir ziemlich sicher, dass dies auf zyklische Gruppen mit der Reihenfolge einer Primzahl ausgedehnt werden kann. Ich bin mir nicht sicher, was bei der Einnahme von Produkten passiert.

Dieses System erinnert sehr an diejenigen, die Polymatroide definieren , aber anstatt einer submodularen Mengenfunktion sind die Einschränkungen eine "Untergruppenfunktion", von der ich vermute, dass sie "submodular" ist, sobald sie richtig definiert wurde. Trotzdem könnten die Techniken zum Zeigen bestimmter Polymatroide auch hier funktionieren, aber ich verstehe nicht, wie.

Γ=F2ngxgxg=1gxg=1χS(g)χSSSSxg=0

Andrew Morgan
quelle
1
F2nx10000xe2
1
xx
Ja, das ist eine sehr interessante und merkwürdige Frage. (Wenn es Ihnen nichts ausmacht zu teilen) Gab es eine Motivation, sich diese speziellen Polytope anzuschauen? Oder nur etwas, über das man zufällig gestolpert ist?
John Machacek
F2n
xiG

Antworten:

5

Andrew (der Fragesteller) und ich hatten dies per E-Mail besprochen, und wir haben gezeigt, dass die Vermutung falsch ist. Das Polytop ist für abelsche Gruppen nicht ganzzahlig, auch nicht für cyclische Gruppen.

Positiv ist, dass.

pkqpqkN

Dies liegt daran, dass die Familie der Untergruppen eine Vereinigung zweier laminarer Familien ist.

2×3×5=30

30

x0=1/2x2=30212=29/2x3=30312=19/2x5=30512=11/20302,3530x

F2nnF24

Chao Xu
quelle