¿Es este integral de politopo "empaque de subgrupo"?

Sea un grupo abeliano finito, y sea el politopo en definido como los puntos satisfacen las siguientes desigualdades:P R Γ$\Gamma$$P$$\mathbb{R}^\Gamma$$x$

donde significa que es un subgrupo de . ¿Es integral? Si es así, ¿podemos caracterizar sus vértices?$G \le \Gamma$$G$$\Gamma$$P$

Mi pregunta originalmente surgió con , donde algunos pequeños ejemplos ( ) sugieren que la respuesta es "sí" y "tal vez, pero no es simple". También probé el grupo cíclico en 9 y 10 elementos, así como , donde nuevamente el politopo es integral. El politopo no es integral cuando es cualquiera de , y , por lo que la abelianness es aparentemente esencial.$\Gamma = \mathbb{F}_2^n$$n = 2,3$$\mathbb{F}_3^2$$\Gamma$$S_3$$D_4$$D_5$

Debo mencionar que si escribe el primer conjunto de ecuaciones como , entonces no es necesariamente totalmente unimodular (lo que implicaría que el politopo es integral). Cuando , puede elegir tres linealmente independientes y tomar las tres abarca cada par de elementos seleccionados . La submatriz resultante es hasta la permutación, y también tiene determinante .$Ax \ge b$$A$$\Gamma = \mathbb{F}_2^3$$g$$G$$g$

Es fácil (aunque tedioso) caracterizar los vértices para grupos de primer orden y observar que son integrales. Estoy bastante seguro de que esto puede extenderse a grupos cíclicos con un orden de primer poder. No estoy seguro de lo que sucede al tomar productos.

Este sistema recuerda mucho a los que definen los polimatroides , pero en lugar de una función de conjunto submodular, las restricciones son una "función de subgrupo" que sospecho que es "submodular" una vez que se ha definido de la manera correcta. Aún así, las técnicas para mostrar que ciertos polimatroides son integrales también podrían funcionar aquí, pero no veo cómo.

Además, el análisis de Fourier puede ser relevante: cuando , parece que los vértices que maximizan son exactamente el punto con para todo , así como aquellos con donde es el -ésimo carácter de Fourier (siguiendo la notación estándar del análisis de funciones booleanas), y no está vacío. (Cuando está vacío, el punto correspondiente es , que también es un vértice).$\Gamma = \mathbb{F}_2^n$$\sum_g x_g$$x_g = 1$$g$$x_g = 1 - \chi_S(g)$$\chi_S$$S$$S$$S$$x_g = 0$

Andrew (el autor de la pregunta) y yo discutimos esto por correo electrónico, y hemos demostrado que la conjetura es falsa. El politopo no es integral para los grupos abelianos, ni siquiera para los grupos cíclicos.

En el lado positivo.

Teorema : para grupos cíclicos con el orden , donde p y q son primos y k ∈ N , la matriz de incidencia de elementos y subgrupos es totalmente unimodular.$p^kq$$p$$q$$k\in \mathbb{N}$

Esto se debe a que la familia de subgrupos es una unión de dos familias laminares.

$2\times 3\times 5 =30$

$30$

$x_0=1/2$$x_2=\frac{30}{2}-\frac{1}{2}=29/2$$x_3=\frac{30}{3}-\frac{1}{2}=19/2$$x_5=\frac{30}{5}-\frac{1}{2}=11/2$$0$$30$$2,3$$5$$30$$x$

$\mathbb{F}_2^n$$n$$\mathbb{F}_2^4$