Esse politopo de “embalagem de subgrupo” é integral?


10

Deixe ser um grupo abeliano finito, e deixá- P ser o poliepítopo em R Γ definido como sendo os pontos x satisfaçam as seguintes desigualdades:ΓPRΓx

gGxg|G|GΓxg0gΓ

onde significa G é um subgrupo de Γ . P é integral? Se sim, podemos caracterizar seus vértices?GΓGΓP


Minha pergunta surgiu originalmente com , onde alguns pequenos exemplos ( n = 2 , 3 ) sugerem que a resposta é "sim" e "talvez, mas não é simples". Eu também tentei o grupo cíclico com 9 e 10 elementos, bem como com F 2 3 , onde novamente o politopo é integral. O poliepítopo é não integrante quando Γ é qualquer um de S 3 , D 4 , e D 5 , de modo abelianness é aparentemente essencial.Γ=F2nn=2,3F32ΓS3D4D5

Devo mencionar que, se você escrever o primeiro conjunto de equações como , A não será necessariamente totalmente unimodular (o que implicaria que o politopo é integral). Quando Γ = F 3 2 , pode escolher três linearmente independente g e levar a três G 's gerado por cada par de elementos seleccionado g . A submatriz resultante é [ 0 1 1 1 0 1 1 1 0 ] até a permutação e, portanto, possui determinante ± 2 .AxbAΓ=F23gGg

[011101110]
±2

É fácil (embora tedioso) caracterizar os vértices para grupos de primeira ordem e observar que eles são integrais. Tenho certeza de que isso pode ser estendido a grupos cíclicos com ordem de potência principal. Não tenho certeza do que acontece ao receber produtos.

Esse sistema lembra muito os polímatróides definidores , mas, em vez de uma função de conjunto submodular, as restrições são uma "função de subgrupo" que eu suspeito que seja "submodular" depois de definida da maneira correta. Ainda assim, as técnicas para mostrar certos polímatoides são essenciais, também podem funcionar aqui, mas não vejo como.

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


11
F2nx10000xe2

11
xx

Sim, esta é uma pergunta muito interessante e curiosa. (Se você não se importa em compartilhar) Havia motivação para olhar para esses politopos em particular? Ou apenas algo que foi encontrado por acaso?
John Machacek

F2n

xiG

Respostas:


5

Andrew (o autor da pergunta) e eu discutimos isso por e-mail e mostramos que a conjectura é falsa. O politopo não é parte integrante dos grupos abelianos, nem mesmo dos grupos cíclicos.

Pelo lado positivo.

pkqpqkN

Isso ocorre porque a família de subgrupos é uma união de duas famílias laminares.

2×3×5=30

30

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

F2nnF24

Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.