polytope ↗ reference
3112 papers tagged with this keyword
Factorization of Platonic Polytopes into canonical spheres
Published in {\it Geombinatorics}, {\bf XXXI}(1)(2021) 5--9
• Search Publication
Factorization into spheres is achieved for skeleta of the simplex, cube, and cross-polytope, both explicitly and using Keevash's proof of existence of designs.
Transportation Polytope and its Applications in Parallel Server Systems
A parallel server system is a stochastic processing network with applications in manufacturing, supply chain, ride-hailing, call centers, etc. Heterogeneous customers arrive in the system, and only a subset of servers can serve any customer type given by the flexibility graph. The goal of the system operator is to minimize the delay that depends on the scheduling policy and the flexibility graph. A long line of literature focuses on designing near-optimal scheduling policies given a flexibility graph. On the contrary, we fix the scheduling policy to be the so-called MaxWeight scheduling given its superior delay performance and focus on designing near-optimal, sparse flexibility graphs. Our contributions are threefold.
First, we analyze the expected delay in the heavy-traffic asymptotic regime in terms of the properties of the flexibility graph and use this result to translate the design question in terms of transportation polytope, the deterministic equivalent of parallel server queues. Second, we design the sparsest flexibility graph that achieves a given delay performance and shows the robustness of the design to demand uncertainty. Third, given the budget to add edges arrives sequentially in time, we present the optimal schedule for adding them to the flexibility graph. These results are obtained by proving new results for transportation polytopes and are of independent interest. In particular, translating the difficulties to a simpler model, i.e. transportation polytope, allows us to develop a unified framework to answer several design questions.
Generalized splines on graphs with two labels and polynomial splines on cycles
Published
• View Publication
• BIB
Generalized splines are an algebraic combinatorial framework that generalizes and unifies various established concepts across different fields, most notably the classical notion of splines and the topological notion of GKM theory. The former consists of piecewise polynomials on a combinatorial geometric object like a polytope, whose polynomial pieces agree to a specified degree of differentiability. The latter is a graph-theoretic construction of torus-equivariant cohomology that Shareshian and Wachs used to reformulate the well-known Stanley$\unicode{x2013}$Stembridge conjecture, a reformulation that was recently proven to hold by Brosnan and Chow and independently Guay-Paquet.
This paper focuses on the theory of generalized splines. A generalized spline on a graph $G$ with each edge labeled by an ideal in a ring $R$ consists of a vertex-labeling by elements of $R$ so that the labels on adjacent vertices $u, v$ differ by an element of the ideal associated to the edge $uv$. We study the $R$-module of generalized splines and produce minimum generating sets for several families of graphs and edge-labelings: $1)$ for all graphs when the set of possible edge-labelings consists of at most two finitely-generated ideals, and $2)$ for cycles when the set of possible edge-labelings consists of principal ideals generated by elements of the form $(ax+by)^2$ in the polynomial ring $\mathbb{C}[x,y]$. We obtain the generators using a constructive algorithm that is suitable for computer implementation and give several applications, including contextualizing several results in the theory of classical (analytic) splines.
Three families of toric rings arising from posets or graphs with small class groups
Published
• View Publication
• BIB
The main objects of the present paper are (i) Hibi rings (toric rings arising from order polytopes of posets), (ii) stable set rings (toric rings arising from stable set polytopes of perfect graphs), and (iii) edge rings (toric rings arising from edge polytopes of graphs satisfying the odd cycle condition). The goal of the present paper is to analyze those three toric rings and to discuss their structures in the case where their class groups have small rank. We prove that the class groups of (i), (ii) and (iii) are torsionfree. More precisely, we give descriptions of their class groups. Moreover, we characterize the posets or graphs whose associated toric rings have rank $1$ or $2$. By using those characterizations, we discuss the differences of isomorphic classes of those toric rings with small class groups.
Facets and facet subgraphs of symmetric edge polytopes
Published
• View Publication
• BIB
Symmetric edge polytopes, a.k.a. PV-type adjacency polytopes, associated with undirected graphs have been defined and studied in several seemingly independent areas including number theory, discrete geometry, and dynamical systems. In particular, the authors are motivated by the study of the algebraic Kuramoto equations of unmixed form whose Newton polytopes are the symmetric edge polytopes.
The interplay between the geometric structure of symmetric edge polytopes and the topological structure of the underlying graphs has been a recurring theme in recent studies. In particular, ``facet/face subgraphs'' have emerged as one of the central concepts in describing this symmetry. Continuing along this line of inquiry we provide a complete description of the correspondence between facets/faces of a symmetric edge polytope and maximal bipartite subgraphs of the underlying connected graph.
A polytopal generalization of Apollonian packings and Descartes' theorem
Published
• View Publication
• BIB
We present a generalization of Descartes' theorem for the family of polytopal sphere packings arising from uniform polytopes. The corresponding quadratic equation is expressed in terms of geometric invariants of uniform polytopes which are closely connected to canonical realizations of edge-scribable polytopes. We use our generalization to construct integral Apollonian packings based on the Platonic solids. Additionally, we also introduce and discuss a new spectral invariant for edge-scribable polytopes.
Random Permutations -- A geometric point of view
We look at geometric limits of large random non-uniform permutations. We mainly consider two theories for limits of permutations: permuton limits, introduced by Hoppen, Kohayakawa, Moreira, Rath, and Sampaio to define a notion of scaling limits for permutations; and Benjamini-Schramm limits, introduced by the author to define a notion of local limits for permutations. The models of random permutations that we consider are mainly constrained models, that is, uniform permutations belonging to a given subset of the set of all permutations. We often identify this subset using pattern-avoidance, focusing on: permutations avoiding a pattern of length three, substitution-closed classes, (almost) square permutations, permutation families encoded by generating trees, and Baxter permutations. We explore some universal phenomena for the models mentioned above. For Benjamini-Schramm limits we explore a concentration phenomenon for the limiting objects. For permuton limits we deepen the study of some known universal permutons, called biased Brownian separable permutons, and we introduce some new ones, called Baxter permuton and skew Brownian permutons. In addition, for (almost) square permutations, we investigate the occurrence of a phase transition for the limiting permutons. On the way, we establish various combinatorial results both for permutations and other related objects. Among others, we give a complete description of the feasible region for consecutive patterns as the cycle polytope of a specific graph; and we find new bijections relating Baxter permutations, bipolar orientations, walks in cones, and a new family of discrete objects called coalescent-walk processes.
Perfectness of Kirillov-Reshetikhin Crystals $B^{r,s}$ for types $E_{6}^{(1)}$ and $E_{7}^{(1)}$ with a minuscule node $r$
We prove the perfectness of Kirillov-Reshetikhin crystals $B^{r,s}$ for types $E_{6}^{(1)}$ and $E_{7}^{(1)}$ with $r$ being the minuscule node and $s\geq 1$ using the polytope model of KR crystals introduced by Jang.
Tensor slice rank and Cayley's first hyperdeterminant
Published
• View Publication
• BIB
Cayley's first hyperdeterminant is a straightforward generalization of determinants for tensors. We prove that nonzero hyperdeterminants imply lower bounds on some types of tensor ranks. This result applies to the slice rank introduced by Tao and more generally to partition ranks introduced by Naslund. As an application, we show upper bounds on some generalizations of colored sum-free sets based on constraints related to order polytopes.
The Signed (Total) Roman Domination Problem on some Classes of Planar Graphs -- Convex Polytopes
Published
• View Publication
• BIB
In this paper we deal with the calculation of the signed (total) Roman domination numbers, $γ_{sR}$ and $γ_{stR}$ respectively, on a few classes of planar graphs from the literature. We give proofs for the exact values of the numbers $γ_{sR}(A_n)$ and $γ_{sR}(R_n)$ as well as the numbers
$γ_{stR}(S_n)$ and $γ_{stR}(T_n)$. For some other classes of planar graphs, such as $Q_n$, %$S_n"$ and $T_n"$, lower and upper bounds on $γ_{sR}$ are calculated and proved. %We give some open problems on the exact values of $γ_{sR}$ and $γ_{stR}$ for some classes of planar graphs.
Column convex matrices, $G$-cyclic orders, and flow polytopes
We study polytopes defined by inequalities of the form $\sum_{i\in I} z_{i}\leq 1$ for $I\subseteq [d]$ and nonnegative $z_i$ where the inequalities can be reordered into a matrix inequality involving a column-convex $\{0,1\}$-matrix. These generalize polytopes studied by Stanley, and the consecutive coordinate polytopes of Ayyer, Josuat-Vergès, and Ramassamy. We prove an integral equivalence between these polytopes and flow polytopes of directed acyclic graphs $G$ with a Hamiltonian path, which we call spinal graphs. We show that the volume of these flow polytopes is the number of extensions of a set of partial cyclic orders defined by the graph $G$. As a special case we recover results on volumes of consecutive coordinate polytopes.
We study the combinatorics of $k$-Euler numbers, which are generalizations of the classical Euler numbers, and which arise as volumes of flow polytopes of a special family of spinal graphs. We show that their refinements, Ramassamy's $k$-Entringer numbers, can be realized as values of a Kostant partition function, satisfy a family of generalized boustrophedon recurrences, and are log concave along root directions.
Finally, via our main integral equivalence and the known formula for the $h^*$-polynomial of consecutive coordinate polytopes, we give a combinatorial formula for the $h^*$-polynomial of flow polytopes of non-nested spinal graphs. For spinal graphs in general, we present a conjecture on upper and lower bounds for their $h^*$-polynomial.
Discrete intrinsic volumes
For a convex lattice polytope $P\subset \mathbb R^d$ of dimension $d$ with vertices in $\mathbb Z^d$, denote by $L(P)$ its discrete volume which is defined as the number of integer points inside $P$. The classical result due to Ehrhart says that for a positive integer $n$, the function $L(nP)$ is a polynomial in $n$ of degree $d$ whose leading coefficient is the volume of $P$. In particular, $L(nP)$ approximates the volume of $nP$ for large $n$.
In convex geometry, one of the central notion which generalizes the volume is the intrinsic volumes. The main goal of this paper is to introduce their discrete counterparts. In particular, we show that for them the analogue of the Ehrhart result holds, where the volume is replaced by the intrinsic volume.
We also introduce and study a notion of Grassmann valuation which generalizes both the discrete volume and the solid-angle valuation introduced by Reeve and Macdonald.
On Expected Face Numbers of Random Beta and Beta' Polytopes
Published
• View Publication
• BIB
The random beta polytope is defined as the convex hull of $n$ independent random points with the density proportional to $(1-\|x\|^2)^β$ on the $d$-dimensional unit ball, where $β>-1$ is a parameter. Similarly, the random beta' polytope is defined as the convex hull of $n$ independent random points with the density proportional to $(1+\|x\|^2)^{-β}$ on $\mathbb R^d$, where $β>\frac d2$. In a previous work [Angles of random simplices and face numbers of random polytopes, Adv. Math., 380 (2021), 107612], we established exact and explicit formulae for the expected $f$-vectors of these random polytopes in terms of certain definite integrals. In the present paper, we use purely algebraic manipulations to derive several identities for these integrals which yield alternative formulae for the expected $f$-vectors. Similar algebraic manipulations apply to Stirling numbers and yield the following identity: $$ \sum_{s=0}^k \genfrac{\{}{\}}{0pt}{}{n-s}{d-s} (d-s) \genfrac{[}{]}{0pt}{}{d-s}{k-s} =
\sum_{s=0}^k (-1)^s \genfrac{\{}{\}}{0pt}{}{n-s}{d} \genfrac{[}{]}{0pt}{}{d+1}{k-s} =
\sum_{s=0}^{d-k} (-1)^s \genfrac{\{}{\}}{0pt}{}{n+1}{d-s} \genfrac{[}{]}{0pt}{}{d-s}{k}. $$
Integer decomposition property of polytopes
Published in The Electron. J. Combin. 31 (2024), no. 1, Paper No. 1.1, 22 pp
• View Publication
• BIB
We study the integer decomposition property of lattice polytopes associated with the $n$-dimensional smooth complete fans with at most $n+3$ rays. Using the classification of smooth complete fans by Kleinschmidt and Batyrev and a reduction to lower dimensional polytopes, we prove the integer decomposition property for lattice polytopes in this setting.
Faces of polyhedra associated with relation modules
Published
• View Publication
• BIB
Relation Gelfand-Tsetlin $\mathfrak{gl}_n$-modules were introduced in [FRZ19], and are determined by some special directed graphs and Gelfand-Tsetlin characters. In this work we constructed polyhedra associated with the class of relation modules, which includes as a particular case, any classical Gelfand-Tsetlin polytope. Following the ideas presented in [LM04] we give a characterization of $d$-faces of the associated polyhedra in terms of a matrix related to the corresponding graph.
Combinatorial mutations of Newton-Okounkov polytopes arising from plabic graphs
Published
• View Publication
• BIB
It is known that the homogeneous coordinate ring of a Grassmannian has a cluster structure, which is induced from the combinatorial structure of a plabic graph. A plabic graph is a certain bipartite graph described on the disk, and there is a family of plabic graphs giving a cluster structure of the same Grassmannian. Such plabic graphs are related by the operation called square move which can be considered as the mutation in cluster theory. By using a plabic graph, we also obtain the Newton--Okounkov polytope which gives a toric degeneration of the Grassmannian. The purposes of this article is to survey these phenomena and observe the behavior of Newton--Okounkov polytopes under the operation called the combinatorial mutation of polytopes. In particular, we reinterpret some operations defined for Newton--Okounkov polytopes using the combinatorial mutation.
A family of regular polytopes of order $4p^m$ with type $\{p, 2p\}$
In this paper, we construct an infinite families of group $G$ of order $4p^m$ which can be an automorphism group of some regular polytope with type $\{p, 2p\}$, where $m \geq 3$ and $p$ is an odd prime. For $p=3$, our polytopes are the regular toroidal maps $\{3, 6\}$.
Diameter estimates for graph associahedra
Published in Ann. Combin. 26(4), 873-902 (2022)
• View Publication
• BIB
Graph associahedra are generalized permutohedra arising as special cases of nestohedra and hypergraphic polytopes. The graph associahedron of a graph $G$ encodes the combinatorics of search trees on $G$, defined recursively by a root $r$ together with search trees on each of the connected components of $G-r$. In particular, the skeleton of the graph associahedron is the rotation graph of those search trees. We investigate the diameter of graph associahedra as a function of some graph parameters. We give a tight bound of $Θ(m)$ on the diameter of trivially perfect graph associahedra on $m$ edges. We consider the maximum diameter of associahedra of graphs on $n$ vertices and of given tree-depth, treewidth, or pathwidth, and give lower and upper bounds as a function of these parameters. We also prove that the maximum diameter of associahedra of graphs of pathwidth two is $Θ(n\log n)$. Finally, we give the exact diameter of the associahedra of complete split and of unbalanced complete bipartite graphs.
Combinatorial generation via permutation languages. IV. Elimination trees
Published
• View Publication
• BIB
An elimination tree for a connected graph $G$ is a rooted tree on the vertices of $G$ obtained by choosing a root $x$ and recursing on the connected components of $G-x$ to produce the subtrees of $x$. Elimination trees appear in many guises in computer science and discrete mathematics, and they encode many interesting combinatorial objects, such as bitstrings, permutations and binary trees. We apply the recent Hartung-Hoang-Mütze-Williams combinatorial generation framework to elimination trees, and prove that all elimination trees for a chordal graph $G$ can be generated by tree rotations using a simple greedy algorithm. This yields a short proof for the existence of Hamilton paths on graph associahedra of chordal graphs. Graph associahedra are a general class of high-dimensional polytopes introduced by Carr, Devadoss, and Postnikov, whose vertices correspond to elimination trees and whose edges correspond to tree rotations. As special cases of our results, we recover several classical Gray codes for bitstrings, permutations and binary trees, and we obtain a new Gray code for partial permutations. Our algorithm for generating all elimination trees for a chordal graph $G$ can be implemented in time $\mathcal{O}(σ)$ on average per generated elimination tree, where $σ=σ(G)$ denotes the maximum number of edges of an induced star in $G$. If $G$ is a tree, we improve this to a loopless algorithm running in time $\mathcal{O}(1)$ per generated elimination tree. We also prove that our algorithm produces a Hamilton cycle on the graph associahedron of $G$, rather than just Hamilton path, if the graph $G$ is chordal and 2-connected. Moreover, our algorithm characterizes chordality, i.e., it computes a Hamilton path on the graph associahedron of $G$ if and only if $G$ is chordal.
Weak faces of highest weight modules and root systems
Published
• View Publication
• BIB
Chari and Greenstein [Adv. Math. 2009] introduced combinatorial subsets of the roots of a finite-dimensional simple Lie algebra $\mathfrak{g}$ which were important in studying Kirillov-Reshetikhin modules over $U_q(\widehat{\mathfrak{g}})$ and their specializations. Later, Khare [J. Algebra. 2016] studied these subsets for many highest weight $\mathfrak{g}$-modules (in finite type), under the name of weak-$\mathbb{A}$-faces (for a subgroup $\mathbb{A}$ of $(\mathbb{R},+)$), and more generally, $(\{2\};\{1,2\})$-closed subsets. These notions extend and unify the faces of Weyl polytopes as well as the above combinatorial subsets.
In this paper, we consider these 'discrete' notions for all Kac-Moody algebras $\mathfrak{g}$, in four distinguished settings: (a) the weights of an arbitrary highest weight $\mathfrak{g}$-module $V$; (b) the convex hull of the weights of $V$; (c) the weights of the adjoint representation; (d) the roots of $\mathfrak{g}$. For (a) (resp., (b)) for all highest weight $\mathfrak{g}$-modules $V$, we show that the weak-$\mathbb{A}$-faces and $(\{2\};\{1,2\})$-closed subsets agree, and equal the sets of weights on exposed faces (resp., equal the exposed faces) of the convex hull of weights conv$_{\mathbb{R}}$ wt $V$. This completes the partial progress of Khare in finite type, and is novel in infinite type. Our proofs are type-free and self-contained.
For (c), (d) involving the root system, we similarly achieve complete classifications. For all Kac-Moody $\mathfrak{g}$ - interestingly, other than $\mathfrak{sl}_3, \widehat{\mathfrak{sl}_3}$ - we show the weak-$\mathbb{A}$-faces and $(\{2\};\{1,2\})$-closed subsets agree, and equal Weyl group translates of the sets of weights in certain 'standard faces' (which also holds for highest weight modules). This was proved by Chari and her coauthors for root systems in finite type, but is novel for other types.