Qué anidaedra son quitaedra?

Which nestohedra are removahedra?

Un quitaedro es un politopo obtenido quitando desigualdades en la descripción de las facetas de un permutaedro clásico. Ejemplos pertinentes van del asociaedro al permutaedro, lo cual levanta la pregunta de caracterizar cuales anidaedra se pueden realizar como quitaedra. En este artículo, demostramos que el complejo anidado de cualquier conjunto de construcción cerrado por intersección se puede realizar como quitaedron. Presentamos dos construcciones complementarias: una basada en los árboles de construcción y el albanico anidado, y la otra basada en sumas de Minkowski de dilatación de caras del simplejo estándar. En general, este condición de clausura es suficiente pero no necesaria para obtener quitaedra. En contraste, demostramos que el abanico anidado de un conjunto de construcción gráfico es el abanico normal de un quitaedro si y solo si el conjunto de construcción gráfico es cerrado por intersección, lo cual es equivalente a que el grafo correspondiente sea plena de cuerdas (i.e., que cada ciclo induce un grafo completo).

A removahedron is a polytope obtained by deleting inequalities from the facet description of the classical permutahedron. Relevant examples range from the associahedron to the permutahedron itself, which raises the natural question to characterize which nestohedra can be realized as removahedra. In this paper, we show that the nested complex of any connected building set closed under intersection can be realized as a removahedron. We present two complementary constructions: one based on the building trees and the nested fan, and the other based on Minkowski sums of dilated faces of the standard simplex. In general, this closure condition is sufficient but not necessary to obtain removahedra. In contrast, we show that the nested fan of a graphical building set is the normal fan of a removahedron if and only if the graphical building set is closed under intersection, which is equivalent to the corresponding graph being chordful (i.e., any cycle induces a clique).